
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 ReedMuller decompositions. Thus we benefit from a better
knowledge of coincident functions and introduce new properties. We show
experimentally that for many features, coincident functions look like any
Boolean functions.

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 selfdual
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.

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\"utzenberger 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.

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 GelfandTsetlin 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.

We describe an approach to finding a bijection between Alternating Sign
Matrices and Totally Symmetric SelfComplementary Plane Partitions, which is
based on the Schutzenberger involution. In particular we give an explicit
bijection between Gog and Magog trapezoids with two diagonals.