Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Counting partitions by genus. I. Genus 0 to 2
Published
• View Publication
• BIB
The counting of partitions according to their genus is revisited. The case of genus 0 -- non-crossing partitions -- is well known. Our approach relies on two pillars: first a functional equation between generating functions, originally written in genus 0 and interpreted graphically by Cvitanovic, is generalized to higher genus; secondly, we show that all partitions may be reconstructed from the "(semi)-primitive" ones introduced by Cori and Hetyei. Explicit results for the generating functions of all types of partitions are obtained in genus 1 and 2. This gives a second order interpolation between expansions on ordinary or on free cumulants
Triangulations of cosmological polytopes
Published
• View Publication
• BIB
A cosmological polytope is defined for a given Feynman diagram, and its canonical form may be used to compute the contribution of the Feynman diagram to the wavefunction of certain cosmological models. Given a subdivision of a polytope, its canonical form is obtained as a sum of the canonical forms of the facets of the subdivision. In this paper, we identify such formulas for the canonical form via algebraic techniques. It is shown that the toric ideal of every cosmological polytope admits a Gröbner basis with a squarefree initial ideal, yielding a regular unimodular triangulation of the polytope. In specific instances, including trees and cycles, we recover graphical characterizations of the facets of such triangulations that may be used to compute the desired canonical form. For paths and cycles, these characterizations admit simple enumeration. Hence, we obtain formulas for the normalized volume of these polytopes, extending previous observations of Kühne and Monin.
The spectral radius of graphs with fractional matching number
Let $\mathcal{G}_{n, β^*}$ $(\mathcal{G}^*_{n,β^*})$ be the set of all (connected) graphs of order $n$ with fractional matching number $β^*$. In this paper, the graphs with maximal spectral radius in $\mathcal{G}_{n,β^*}$ and $\mathcal{G}^*_{n,β^*}$ are characterized, respectively. Moreover, a lower bound for the spectral radius in graphs with order $n$ to guarantee the existence of a perfect fractional matching is also given, which generalizes the main result of O [Suil O, Spectral radius and matchings in graphs, Linear Algebra and its Applications, 2020].
Metric dimension in a prime ideal sum graph of a commutative ring
Published
• View Publication
• BIB
The prime ideal sum graph of a commutative unital ring $R$, denoted by $PIS(R)$, is an undirect and simple graph whose vertices are non-trivial ideals of $R$ and there exists and edge between to distinct vertices if and only if their sum is a prime ideal of $R$. In this paper, the metric dimension of $PIS(R)$ is discussed and some formulae for this parameter in $PIS(R)$ are given.
The trianguline variety, tangent spaces and the Grothendieck-Springer resolution
By the work of Breuil-Hellmann-Schraen, we know that the trianguline variety contains crystalline companion points which are parametrised by pairs (w,w_sat) of permutations. We first define and study a certain combinatorial property of a pair (w',w) of permutations, linked to the Bruhat order, in the context of Weyl groups of root systems. We call good pairs the pairs satisfying this property (which is the vast majority of pairs) and bad pairs the other ones. We then give an exact formula for the dimension of the tangent space to the trianguline variety at (generic) crystalline companion points such that (w,w_sat) is a good pair. The method (due to Breuil-Hellmann-Schraen) is to first compute an analogous dimension for a local model of the trianguline variety built out of Grothendieck's simultaneous resolution. To achieve this, we prove a conjecture of Breuil-Hellmann-Schraen, describing the intersection of the closure of a Schubert cell with another Schubert cell on this local model (in the context of an arbitrary split reductive group), when this pair of cells is parametrised by a good pair of permutations. We give counter-examples to this conjecture for an infinite family of pairs of cells (associated to bad pairs).
The fundamental group in discrete homotopy theory
Published in Adv. in Appl. Math. 164 (2025), Paper No. 102838, 56 pp
• View Publication
• BIB
We develop a robust foundation for studying the fundamental group(oid) in discrete homotopy theory, including: equivalent definitions and basic properties, the theory of covering graphs, and the discrete version of the Seifert-van Kampen theorem.
Thinness and its variations on some graph families and coloring graphs of bounded thinness
Published
• View Publication
• BIB
Interval graphs and proper interval graphs are well known graph classes, for which several generalizations have been proposed in the literature. In this work, we study the (proper) thinness, and several variations, for the classes of cographs, crowns graphs and grid graphs.
We provide the exact values for several variants of thinness (proper, independent, complete, precedence, and combinations of them) for the crown graphs $CR_n$. For cographs, we prove that the precedence thinness can be determined in polynomial time. We also improve known bounds for the thinness of $n \times n$ grids $GR_n$ and $m \times n$ grids $GR_{m,n}$, proving that $\left \lceil \frac{n-1}{3} \right \rceil \leq \mbox{thin}(GR_n) \leq \left \lceil \frac{n+1}{2} \right \rceil$. Regarding the precedence thinness, we prove that $\mbox{prec-thin}(GR_{n,2}) = \left \lceil \frac{n+1}{2} \right \rceil$ and that $\left \lceil \frac{n-1}{3} \right \rceil \left \lceil\frac{n-1}{2} \right \rceil + 1 \leq \mbox{prec-thin}(GR_n) \leq \left \lceil\frac{n-1}{2} \right \rceil^2+1$. As applications, we show that the $k$-coloring problem is NP-complete for precedence $2$-thin graphs and for proper $2$-thin graphs, when $k$ is part of the input. On the positive side, it is polynomially solvable for precedence proper $2$-thin graphs, given the order and partition.
Fast computation of permutation equivariant layers with the partition algebra
Linear neural network layers that are either equivariant or invariant to permutations of their inputs form core building blocks of modern deep learning architectures. Examples include the layers of DeepSets, as well as linear layers occurring in attention blocks of transformers and some graph neural networks. The space of permutation equivariant linear layers can be identified as the invariant subspace of a certain symmetric group representation, and recent work parameterized this space by exhibiting a basis whose vectors are sums over orbits of standard basis elements with respect to the symmetric group action. A parameterization opens up the possibility of learning the weights of permutation equivariant linear layers via gradient descent. The space of permutation equivariant linear layers is a generalization of the partition algebra, an object first discovered in statistical physics with deep connections to the representation theory of the symmetric group, and the basis described above generalizes the so-called orbit basis of the partition algebra. We exhibit an alternative basis, generalizing the diagram basis of the partition algebra, with computational benefits stemming from the fact that the tensors making up the basis are low rank in the sense that they naturally factorize into Kronecker products. Just as multiplication by a rank one matrix is far less expensive than multiplication by an arbitrary matrix, multiplication with these low rank tensors is far less expensive than multiplication with elements of the orbit basis. Finally, we describe an algorithm implementing multiplication with these basis elements.
Hadamard matrices of order $36$ formed by codewords in some ternary self-dual codes
Published
• View Publication
• BIB
In this note, we study the existence of Hadamard matrices of order $36$ formed by codewords of weight $36$ in some ternary near-extremal self-dual codes of length $36$.
A definitely periodic chain in the integral Lie ring of partitions
Published
• View Publication
• BIB
Given an integer $n$, we introduce the integral Lie ring of partitions with bounded maximal part, whose elements are in one-to-one correspondence to integer partitions with parts in $\{1,2,\dots, n-1\}$. Starting from an abelian subring, we recursively define a chain of idealizers and we prove that the sequence of ranks of consecutive terms in the chain is definitely periodic. Moreover, we show that its growth depends of the partial sum of the partial sum of the sequence counting the number of partitions. This work generalizes our previous recent work on the same topic, devoted to the modular case where partitions were allowed to have a bounded number of repetitions of parts in a ring of coefficients of positive characteristic.
M-Representation of Polytopes
We introduce the M-representation of polytopes, which makes it possible to compute linear transformations, convex hulls, and Minkowski sums with linear complexity in the dimension of the polytopes. When the polytope is a convex hull of a zonotope and a polytope, the representation size can be smaller than any of the known representations (V-representation, H-representation, and Z-representation). We also provide a variant of the M-representation: The chain representation is more compact and we can directly use it to compute linear transformations and convex hulls -- for all other operations on the chain representation, one requires a conversion to the M-representation.
Infinitely many absolute universes
Published
• View Publication
• BIB
Absolute combinatorial game theory was recently developed as a unifying tool for constructive/local game comparison (Larsson et al. 2018). The theory concerns {\em parental universes} of combinatorial games; standard closure properties are satisfied and each pair of non-empty sets of forms of the universe makes a form of the universe. Here we prove that there is an infinite number of absolute misère universes, by recursively expanding the dicot misère universe and the dead-ending universe. On the other hand, we prove that normal-play has exactly two absolute universes, namely the full space, and the universe of all-small games.
Multiple 3-Coloring, an Approach to 4-Coloring of Planar Graphs
A planar graph can be embedded in a piecewise linear manifold, and the lattice on each linear piece can be colored with 3-coloring. If a planar graph can be colored with multiple 3-coloring, i.e. coloring the graph in pieces with different 3-color subsets of 4 colors, then the graph is 4-colorable. In this paper, multiple 3-coloring was introduced, and then the combination and partition of planar graphs for multiple 3-coloring was studied. The study reveals that planar graphs can generally be decomposed into independent subgraphs, and each subgraph can be triangulated into a symmetric structure for multiple 3-coloring.
A classification of S-boxes generated by Orthogonal Cellular Automata
Published
• View Publication
• BIB
Most of the approaches published in the literature to construct S-boxes via Cellular Automata (CA) work by either iterating a finite CA for several time steps, or by a one-shot application of the global rule. The main characteristic that brings together these works is that they employ a single CA rule to define the vectorial Boolean function of the S-box. In this work, we explore a different direction for the design of S-boxes that leverages on Orthogonal CA (OCA), i.e. pairs of CA rules giving rise to orthogonal Latin squares. The motivation stands on the facts that an OCA pair already defines a bijective transformation, and moreover the orthogonality property of the resulting Latin squares ensures a minimum amount of diffusion. We exhaustively enumerate all S-boxes generated by OCA pairs of diameter $4 \le d \le 6$, and measure their nonlinearity. Interestingly, we observe that for $d=4$ and $d=5$ all S-boxes are linear, despite the underlying CA local rules being nonlinear. The smallest nonlinear S-boxes emerges for $d=6$, but their nonlinearity is still too low to be used in practice. Nonetheless, we unearth an interesting structure of linear OCA S-boxes, proving that their Linear Components Space (LCS) is itself the image of a linear CA, or equivalently a polynomial code. We finally classify all linear OCA S-boxes in terms of their generator polynomials.
Higher Order Turan Inequalities for the Distinct Partition Function
Published in J. Number Theory 260 (2024) 71-102
• View Publication
• BIB
We prove that the number $q(n)$ of partitions into distinct parts is log-concave for $n \geq 33$ and satisfies the higher order Turán inequalities for $n\geq 121$ conjectured by Craig and Pun. In doing so, we establish explicit error terms for $q(n)$ and for $q(n-1)q(n+1)/q(n)^2$ based on Chern's asymptotic formulas for $η$-quotients.
Distribution of Andrews' Singular Overpartitions $\overline{C}_{p,1}(n)$
Published
• View Publication
• BIB
Andrews introduced the partition function $\overline{C}_{k, i}(n)$, called singular overpartition, which counts the number of overpartitions of $n$ in which no part is divisible by $k$ and only parts $\equiv \pm i\pmod{k}$ may be overlined. We study the parity and distribution results for $\overline{C}_{k,i}(n),$ where $k>3$ and $1\leq i \leq \left\lfloor\frac{k}{2}\right\rfloor$. More particularly, we prove that for each integer $\ell\geq 2$ depending on $k$ and $i$, the interval $\left[\ell, \frac{\ell(3\ell+1)}{2}\right]$ $\Big($resp.\ $\left[2\ell-1, \frac{\ell(3\ell-1)}{2}\right] \Big)$ contains an integer $n$ such that $\overline{C}_{k,i}(n)$ is even (resp.\ odd). Finally we study the distribution for $\overline{C}_{p,1}(n)$ where $p\geq 5$ be a prime number.
Divisibility and distribution of $MEX$ related integer partitions of Andrews and Newman
Published in International Journal of Number Theory, Vol. 19 (2023)
• View Publication
• BIB
Andrews and Newman introduced the minimal excludant or ``$mex$'' function for an integer partition $π$ of a positive integer $n$, $mex(π)$, as the smallest positive integer that is not a part of $π$. They defined $σmex(n)$ to be the sum of $mex(π)$ taken over all partitions $π$ of $n$. We prove infinite families of congruence and multiplicative formulas for $σmex(n)$. By restricting to the part of $π$, Andrews and Newman also introduced $moex(π)$ to be the smallest odd integer that is not a part of $π$ and $σmoex(n)$ to be the sum of $moex(π)$ taken over all partitions $π$ of $n$. In this article, we show that for any sufficiently large $X$, the number of all positive integer $n\leq X$ such that $σmoex(n)$ is an even (or odd) number is at least $\mathcal{O}(\log \log X)$.
Orthogonal matroids over tracts
Published in Forum of Mathematics, Sigma 13 (2025) e130
• View Publication
• BIB
We generalize Baker-Bowler's theory of matroids over tracts to orthogonal matroids, define orthogonal matroids with coefficients in tracts in terms of Wick functions, orthogonal signatures, circuit sets, and orthogonal vector sets, and establish basic properties on functoriality, duality, and minors. Our cryptomorphic definitions of orthogonal matroids over tracts provide proofs of several representation theorems for orthogonal matroids. In particular, we give a new proof that an orthogonal matroid is regular if and only if it is representable over $\mathbb{F}_2$ and $\mathbb{F}_3$, which was originally shown by Geelen, and we prove that an orthogonal matroid is representable over the sixth-root-of-unity partial field if and only if it is representable over $\mathbb{F}_3$ and $\mathbb{F}_4$.
Hamilton cycles in pseudorandom graphs
Published
• View Publication
• BIB
Finding general conditions which ensure that a graph is Hamiltonian is a central topic in graph theory. An old and well known conjecture in the area states that any $d$-regular $n$-vertex graph $G$ whose second largest eigenvalue in absolute value $λ(G)$ is at most $\frac{d}{C}$, for some universal constant $C>0$, has a Hamilton cycle. In this paper, we obtain two main results which make substantial progress towards this problem. Firstly, we settle this conjecture in full when the degree $d$ is at least a small power of $n$. Secondly, in the general case we show that $λ(G) \leq \frac{d}{C(\log n)^{1/3}}$ implies the existence of a Hamilton cycle, improving the 20-year old bound of $\frac{d}{ \log^{1-o(1)} n}$ of Krivelevich and Sudakov. We use in a novel way a variety of methods, such as a robust Pósa rotation-extension technique, the Friedman-Pippenger tree embedding with rollbacks and the absorbing method, combined with additional tools and ideas.
Our results have several interesting applications, giving best bounds on the number of generators which guarantee the Hamiltonicity of random Cayley graphs, which is an important partial case of the well known Hamiltonicity conjecture of Lovász. They can also be used to improve a result of Alon and Bourgain on additive patterns in multiplicative subgroups.
On the cop number and the weak Meyniel conjecture for algebraic graphs
Published in European Journal of Combinatorics (2025)
• View Publication
• BIB
We show that the cop number of the Cayley sum graph of a finite group $G$ with respect to a symmetric subset $S$ is at most twice its degree when the graph is connected, undirected. We also prove that a similar bound holds for the cop number of generalised Cayley graphs and twisted Cayley sum graphs under some conditions. These extend a result of Frankl to such graphs. Using the above bounds and a result of Bollobás--Janson--Riordan, we show that the weak Meyniel conjecture holds for these algebraic graphs.