math.CO ↗ arXiv
7187 papers in this category
Pebble trees
Published in Canad. J. Math., 78 (5):1738-1765, 2026
• View Publication
• BIB
A pebble tree is an ordered tree where each node receives some colored pebbles, in such a way that each unary node receives at least one pebble, and each subtree has either one more or as many leaves as pebbles of each color. We show that the contraction poset on pebble trees is isomorphic to the face poset of a convex polytope called pebble tree polytope. Beside providing intriguing generalizations of the classical permutahedra and associahedra, our motivation is that the faces of the pebble tree polytopes provide realizations as convex polytopes of all assocoipahedra constructed by K. Poirier and T. Tradler only as polytopal complexes.
Summing the sum of digits
Published in Communications in Mathematics, Volume 33 (2025), Issue 2 (Special issue: Numeration, Liège 2023, dedicated to the 75th birthday of professor Christiane Frougny) (May 9, 2024) cm:12610
• View Publication
• BIB
We revisit and generalize inequalities for the summatory function of the sum of digits in a given integer base. We prove that several known results can be deduced from a theorem in a 2023 paper by Mohanty, Greenbury, Sarkany, Narayanan, Dingle, Ahnert, and Louis, whose primary scope is the maximum mutational robustness in genotype-phenotype maps.
Counterexamples to generalizations of the Erdős $B+B+t$ problem
Published in Electronic Journal of Combinatorics 33(3) (2026) P3.89
• View Publication
• BIB
Following their resolution of the Erdős $B+B+t$ problem, Kra Moreira, Richter, and Robertson posed a number of questions and conjectures related to infinite configurations in positive density subsets of the integers and other amenable groups. We give a negative answer to several of these questions and conjectures by producing families of counterexamples based on a construction of Ernst Straus.
Included among our counterexamples, we exhibit, for any $\varepsilon > 0$, a set $A \subseteq \mathbb{N}$ with multiplicative upper Banach density at least $1 - \varepsilon$ such that $A$ does not contain any dilated product set $\{b_1b_2t : b_1, b_2 \in B, b_1 \ne b_2\}$ for an infinite set $B \subseteq \mathbb{N}$ and $t \in \mathbb{Q}_{>0}$. We also prove the existence of a set $A \subseteq \mathbb{N}$ with additive upper Banach density at least $1 - \varepsilon$ such that $A$ does not contain any polynomial configuration $\{b_1^2 + b_2 + t : b_1, b_2 \in B, b_1 < b_2\}$ for an infinite set $B \subseteq \mathbb{N}$ and $t \in \mathbb{Z}$. Counterexamples to some closely related problems are also discussed.
A determinantal point process approach to scaling and local limits of random Young tableaux
Published in The Annals of Probability, vol. 53, no. 1, 2025, pp. 299-354
• View Publication
• BIB
We obtain scaling and local limit results for large random Young tableaux of fixed shape $λ^0$ via the asymptotic analysis of a determinantal point process due to Gorin and Rahman (2019). More precisely, we prove:
(1) an explicit description of the limiting surface of a uniform random Young tableau of shape $λ^0$, based on solving a complex-valued polynomial equation;
(2) a simple criteria to determine if the limiting surface is continuous in the whole domain;
(3) and a local limit result in the bulk of a random Poissonized Young tableau of shape $λ^0$.
Our results have several consequences, for instance: they lead to explicit formulas for the limiting surface of $L$-shaped tableaux, generalizing the results of Pittel and Romik (2007) for rectangular shapes; they imply that the limiting surface for $L$-shaped tableaux is discontinuous for almost-every $L$-shape; and they give a new one-parameter family of infinite random Young tableaux, constructed from the so-called random infinite bead process.
Veronese sections and interlacing matrices of polynomials and formal power series
The concept of a fully interlacing matrix of formal power series with real coefficients is introduced. This concept extends and strengthens that of an interlacing sequence of real-rooted polynomials with nonnegative coefficients, in the special case of row and column matrices. The fully interlacing property is shown to be preserved under matrix products, flips across the reverse diagonal and Veronese sections of the power series involved. These results and their corollaries generalize, unify and simplify several results which have previously appeared in the literature. An application to the theory of uniform triangulations of simplicial complexes is included.
Transcendence properties of the Artin-Hasse exponential modulo $p$
Published in Alg. Number Th. 20 (2026) 1597-1614
• View Publication
• BIB
Let $E_p(x)$ denote the Artin-Hasse exponential and let $\overline{E}_p(x)$ denote its reduction modulo $p$ in $\mathbb{F}_p[[x]]$. In this article we study transcendence properties of $\overline{E}_p(x)$ over $\mathbb{F}_p[x]$. We give two proofs that $\overline{E}_p(x)$ is transcendental, affirmatively answering a question of Thakur. We also prove algebraic independence results: i) for $f_1,\dots,f_r \in x\mathbb{F}_p[x]$ satisfying certain linear independence properties, we show that the $\overline{E}_p(f_1), \dots, \overline{E}_p(f_r)$ are algebraically independent over $\mathbb{F}_p[x]$ and ii) we determine the algebraic relations between $\overline{E}_p(cx)$, where $c \in \mathbb{F}_p^\times$. Our proof studies the higher derivatives of $\overline{E}_p(x)$ and makes use of iterative differential Galois theory.
Power-law bounds for increasing subsequences in Brownian separable permutons and homogeneous sets in Brownian cographons
Published in Advances in Mathematics, vol. 439, 2024, article 109480
• View Publication
• BIB
The Brownian separable permutons are a one-parameter family -- indexed by $p\in(0,1)$ -- of universal limits of random constrained permutations. We show that for each $p\in (0,1)$, there are explicit constants $1/2 < α_*(p) \leq β^*(p) < 1$ such that the length of the longest increasing subsequence in a random permutation of size $n$ sampled from the Brownian separable permuton is between $n^{α_*(p) - o(1)}$ and $n^{β^*(p) + o(1)}$ with probability tending to 1 as $n\to\infty$. In the symmetric case $p=1/2$, we have $α_*(p) \approx 0.812$ and $β^*(p)\approx 0.975$. We present numerical simulations which suggest that the lower bound $α_*(p)$ is close to optimal in the whole range $p\in(0,1)$.
Our results work equally well for the closely related Brownian cographons. In this setting, we show that for each $p\in (0,1)$, the size of the largest clique (resp. independent set) in a random graph on $n$ vertices sampled from the Brownian cographon is between $n^{α_*(p) - o(1)}$ and $n^{β^*(p) + o(1)}$ (resp. $n^{α_*(1-p) - o(1)}$ and $n^{β^*(1-p) + o(1)}$) with probability tending to 1 as $n\to\infty$.
Our proofs are based on the analysis of a fragmentation process embedded in a Brownian excursion introduced by Bertoin (2002). We expect that our techniques can be extended to prove similar bounds for uniform separable permutations and uniform cographs.
Counting mobiles by integrable systems
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 13 (2026), no 3, pp. 505-577
• View Publication
• BIB
Mobiles are a particular class of decorated plane trees which serve as codings for planar maps. Here we address the question of enumerating mobiles in their most general flavor, in correspondence with planar Eulerian (i.e., bicolored) maps. We show that the generating functions for such mobiles satisfy a number of recursive equations which lie in the field of integrable systems, leading us to explicit expressions for these generating functions as ratios of particular determinants. In particular we recover known results for mobiles associated with uncolored maps and prove some conjectured formulas for the generating functions of mobiles associated with $p$-constellations.
On the geometry of uniform meandric systems
Published in Communications in Mathematical Physics, vol. 404, no. 1, 2023, pp. 439-494
• View Publication
• BIB
A meandric system of size $n$ is the set of loops formed from two arc diagrams (non-crossing perfect matchings) on $\{1,\dots,2n\}$, one drawn above the real line and the other below the real line. A uniform random meandric system can be viewed as a random planar map decorated by a Hamiltonian path (corresponding to the real line) and a collection of loops (formed by the arcs). Based on physics heuristics and numerical evidence, we conjecture that the scaling limit of this decorated random planar map is given by an independent triple consisting of a Liouville quantum gravity (LQG) sphere with parameter $γ=\sqrt 2$, a Schramm-Loewner evolution (SLE) curve with parameter $κ=8$, and a conformal loop ensemble (CLE) with parameter $κ=6$.
We prove several rigorous results which are consistent with this conjecture. In particular, a uniform meandric system admits loops of nearly macroscopic graph-distance diameter with high probability. Furthermore, a.s., the uniform infinite meandric system with boundary has no infinite path. But, a.s., its boundary-modified version has a unique infinite path whose scaling limit is conjectured to be chordal SLE$_6$.
More on Rainbow Cliques in Edge-Colored Graphs
Published
• View Publication
• BIB
In an edge-colored graph $G$, a rainbow clique $K_k$ is a $k$-complete subgraph in which all the edges have distinct colors. Let $e(G)$ and $c(G)$ be the number of edges and colors in $G$, respectively. In this paper, we show that for any $\varepsilon>0$, if $e(G)+c(G) \geq (1+\frac{k-3}{k-2}+2\varepsilon) {n\choose 2}$ and $k\geq 3$, then for sufficiently large $n$, the number of rainbow cliques $K_k$ in $G$ is $Ω(n^k)$.
We also characterize the extremal graphs $G$ without a rainbow clique $K_k$, for $k=4,5$, when $e(G)+c(G)$ is maximum.
Our results not only address existing questions but also complete the findings of Ehard and Mohr (Ehard and Mohr, Rainbow triangles and cliques in edge-colored graphs. {\it European Journal of Combinatorics, 84:103037,2020}).
Characterisation of the Set of Ground States of Uniformly Chaotic Finite-Range Lattice Models
Published
• View Publication
• BIB
Chaotic dependence on temperature refers to the phenomenon of divergence of Gibbs measures as the temperature approaches a certain value. Models with chaotic behaviour near zero temperature have multiple ground states, none of which are stable. We study the class of uniformly chaotic models, that is, those in which, as the temperature goes to zero, every choice of Gibbs measures accumulates on the entire set of ground states. We characterise the possible sets of ground states of uniformly chaotic finite-range models up to computable homeomorphisms.
Namely, we show that the set of ground states of every model with finite-range and rational-valued interactions is topologically closed and connected, and belongs to the class $Π_2$ of the arithmetical hierarchy. Conversely, every $Π_2$-computable, topologically closed and connected set of probability measures can be encoded (via a computable homeomorphism) as the set of ground states of a uniformly chaotic two-dimensional model with finite-range rational-valued interactions.
Flattened Stirling Permutations
Published
• View Publication
• BIB
Recall that a Stirling permutation is a permutation on the multiset $\{1,1,2,2,\ldots,n,n\}$ such that any numbers appearing between repeated values of $i$ must be greater than $i$. We call a Stirling permutation ``flattened'' if the leading terms of maximal chains of ascents (called runs) are in weakly increasing order. Our main result establishes a bijection between flattened Stirling permutations and type $B$ set partitions of $\{0,\pm1,\pm2,\ldots,\pm (n-1)\}$, which are known to be enumerated by the Dowling numbers, and we give an independent proof of this fact. We also determine the maximal number of runs for any flattened Stirling permutation, and we enumerate flattened Stirling permutations with a small number of runs or with two runs of equal length. We conclude with some conjectures and generalizations worthy of future investigation.
Forest polynomials and the class of the permutahedral variety
Published
• View Publication
• BIB
We study a basis of the polynomial ring that we call forest polynomials. This family of polynomials is indexed by a combinatorial structure called indexed forests and permits several definitions, one of which involves flagged P-partitions. As such, these polynomials have a positive expansion in the basis of slide polynomials. By a novel insertion procedure that may be viewed as a generalization of the Sylvester correspondence we establish that Schubert polynomials decompose positively in terms of forest polynomials. Our insertion procedure involves a correspondence on words which allows us to show that forest polynomials multiply positively.
We proceed to show that forest polynomials are a particularly convenient basis in regards to studying the quotient of the polynomial ring modulo the ideal of positive degree quasisymmetric polynomials. This aspect allows us to give a manifestly nonnegative integral description for the Schubert class expansion of the cohomology class of the permutahedral variety in terms of a parking procedure. We study the associated combinatorics in depth and introduce a multivariate extension of mixed Eulerian numbers.
A shape theorem for exploding sandpiles
Published in Annals of Applied Probability 34(1A): 714-742 (2024)
• View Publication
• BIB
We study scaling limits of exploding Abelian sandpiles using ideas from percolation and front propagation in random media. We establish sufficient conditions under which a limit shape exists and show via a family of counterexamples that convergence may not occur in general. A corollary of our proof is a simple criteria for determining if a sandpile is explosive; this strengthens a result of Fey, Levine, and Peres (2010).
Large deviation principle for random permutations
Published in International Mathematics Research Notices, 2024(3), 2138-2191
• View Publication
• BIB
We derive a large deviation principle for random permutations induced by probability measures of the unit square, called permutons. These permutations are called $μ$-random permutations. We also introduce and study a new general class of models of random permutations, called Gibbs permutation models, which combines and generalizes $μ$-random permutations and the celebrated Mallows model for permutations. Most of our results hold in the general setting of Gibbs permutation models.
We apply the tools that we develop to the case of $μ$-random permutations conditioned to have an atypical proportion of patterns. Several results are made more concrete in the specific case of inversions. For instance, we prove the existence of at least one phase transition for a generalized version of the Mallows model where the base measure is non-uniform. This is in contrast with the results of Starr (2009, 2018) on the (standard) Mallows model, where the absence of phase transition, i.e., phase uniqueness, was proven.
Our results naturally lead us to investigate a new notion of permutons, called conditionally constant permutons, which generalizes both pattern-avoiding and pattern-packing permutons. We describe some properties of conditionally constant permutons with respect to inversions. The study of conditionally constant permutons for general patterns seems to be a challenging problem.
On the Turán Number of Generalized Theta Graphs
Published
• View Publication
• BIB
Let $Θ_{k_1,\cdots,k_\ell}$ denote the generalized theta graph, which consists of $\ell$ internally disjoint paths with lengths $k_1,\cdots, k_{\ell}$, connecting two fixed vertices. We estimate the corresponding extremal number $\text{ex}(n,Θ_{k_1,\cdots,k_\ell})$. When the lengths of all paths have the same parity and at most one path has length 1, $\text{ex}(n,Θ_{k_1,\cdots,k_\ell})$ is $O(n^{1+1/k^\ast})$, where $2k^\ast$ is the length of the smallest cycle in $Θ_{k_1,\cdots,k_\ell}$. We also establish matching lower bound in the particular case of $\text{ex}(n,Θ_{3,5,5})$.
Baxter permuton and Liouville quantum gravity
Published in Probability Theory and Related Fields, vol. 187, no. 3-4, 2023, pp. 869-941
• View Publication
• BIB
The Baxter permuton is a random probability measure on the unit square which describes the scaling limit of uniform Baxter permutations. We find an explict formula for the expectation of the Baxter permuton, i.e.\ the density of its intensity measure. This answers a question of Dokos and Pak (2014).
We also prove that all pattern densities of the Baxter permuton are strictly positive, distinguishing it from other permutons arising as scaling limits of pattern-avoiding permutations. Our proofs rely on a recent connection between the Baxter permuton and Liouville quantum gravity (LQG) coupled with the Schramm-Loewner evolution (SLE). The method works equally well for a two-parameter generalization of the Baxter permuton recently introduced by the first author, except that the density is not as explicit. This new family of permutons, called \emph{skew Brownian permuton}, describes the scaling limit of a number of random constrained permutations. We finally observe that in the LQG/SLE framework, the expected proportion of inversions in a skew Brownian permuton equals $\frac{π-2θ}{2π}$ where $θ$ is the so-called imaginary geometry angle between a certain pair of SLE curves.
Supermagic labeling of $C_n\Box C_m$
Published
• View Publication
• BIB
A supermagic labeling (often also called supermagic labeling) of a graph $G(V,E)$ with $|E|=k$ is a bijection from $E$ to the set of first $k$ positive integers such that the sum of labels of all incident edges of every vertex $x\in V$ is equal to the same integer $c$. An existence of a supermagic labeling of Cartesian product of two cycles, $C_{n}\Box C_m$ for $n,m\geq4$ and both $n,m$ even and for any $C_n\Box C_n$ with $n\geq3$ was proved by Ivančo. Ivančo also conjectured that such labeling is possible for any $C_n\Box C_m$ with $n,m\geq3$. We prove his conjecture for all $n,m$ odd that are not relatively prime.
Spectrum of $3$-uniform $6$- and $9$-cycle systems over $K_v^{(3)}-I$
Published in Discrete Mathematics 347 (3), 2024, 113782
• View Publication
• BIB
We consider edge decompositions of $K_v^{(3)}-I$, the complete 3-uniform hypergraph of order $v$ minus a 1-factor (parallel class, packing of $v/3$ disjoint edges). We prove that a decomposition into tight 6-cycles exists if and only if $v\equiv 0,3,6$ (mod 12) and $v\geq 6$; and a decomposition into tight 9-cycles exists for all $v\geq 9$ divisible by 3. These results are complementary to the theorems of Akin et al. [Discrete Math. 345 (2022)] and Bunge et al. [Australas. J. Combin. 80 (2021)].
Arithmetical Hierarchy of the Besicovitch-Stability of Noisy Tilings
Published in Theory of Computing Systems (2023)
• View Publication
• BIB
The purpose of this article is to study the algorithmic complexity of the Besicovitch stability of noisy subshifts of finite type, a notion studied in a previous article. First, we exhibit an unstable aperiodic tiling, and then see how it can serve as a building block to implement several reductions from classical undecidable problems on Turing machines. It will follow that the question of stability of subshifts of finite type is undecidable, and the strongest lower bound we obtain in the arithmetical hierarchy is $Π_2$-hardness. Lastly, we prove that this decision problem, which requires to quantify over an uncountable set of probability measures, has a $Π_4$ upper bound.