BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Hayat Cheballah

Hayat Cheballah contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.COCryptography and SecurityData Structures and Algorithms

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2020arXiv

On the computation of the M{ö}bius transform

The M{ö}bius transform is a crucial transformation into the Boolean world; it allows to change the Boolean representation between the True Table and Algebraic Normal Form. In this work, we introduce a new algebraic point of view of this transformation based on the polynomial form of Boolean functions. It appears that we can perform a new notion: the M{ö}bius computation variable by variable and new computation properties. As a consequence, we propose new algorithms which can produce a huge speed up of the M{ö}bius computation for sub-families of Boolean function. Furthermore we compute directly the M{ö}bius transformation of some particular Boolean functions. Finally, we show that for some of them the Hamming weight is directly related to the algebraic degree of specific factors.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Combinatorial Hopf algebra structure on packed square matrices

We construct a new bigraded Hopf algebra whose bases are indexed by square matrices with entries in the alphabet $\{0, 1, ..., k\}$, $k \geq 1$, without null rows or columns. This Hopf algebra generalizes the one of permutations of Malvenuto and Reutenauer, the one of $k$-colored permutations of Novelli and Thibon, and the one of uniform block permutations of Aguiar and Orellana. We study the algebraic structure of our Hopf algebra and show, by exhibiting multiplicative bases, that it is free. We moreover show that it is self-dual and admits a bidendriform bialgebra structure. Besides, as a Hopf subalgebra, we obtain a new one indexed by alternating sign matrices. We study some of its properties and algebraic quotients defined through alternating sign matrices statistics.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Properties and constructions of coincident functions

Extensive studies of Boolean functions are carried in many fields. The Mobius transform is often involved for these studies. In particular, it plays a central role in coincident functions, the class of Boolean functions invariant by this transformation. This class -- which has been recently introduced -- has interesting properties, in particular if we want to control both the Hamming weight and the degree. We propose an innovative way to handle the Mobius transform which allows the composition between several Boolean functions and the use of Shannon or Reed-Muller decompositions. Thus we benefit from a better knowledge of coin-cident functions and introduce new properties. We show experimentally that for many features, coincident functions look like any Boolean functions.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Inversions and the Gog-Magog problem

We consider the problem of finding a bijection between the sets of alternating sign matrices and of totally symmetric self complementary plane partitions, which can be reformulated using Gog and Magog triangles. In a previous work we introduced GOGAm triangles, which are images of Magog triangles by the Schützenberger involution. In this paper we introduce left Gog and GOGAm trapezoids. We conjecture that they are equienumerated, and we give an explicit bijection between such trapezoids with one or two diagonals. We also study the distribution of inversions and coinversions in Gog triangles.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Gog, Magog and Schützenberger II: Left trapezoids

We are interested in finding an explicit bijection between two families of combinatorial objects: Gog and Magog triangles. These two families are particular classes of Gelfand-Tsetlin triangles and are respectively in bijection with alternating sign matrices (ASM) and totally symmetric self complementary plane partitions (TSSCPP). For this purpose, we introduce left Gog and GOGAm trapezoids. We conjecture that these two families of trapezoids are equienumerated and we give an explicit bijection between the trapezoids with one or two diagonals.

0 citations0 reviewsNo code linkedOpen access