math.CO ↗ arXiv
7121 papers in this category
Minimum-excess coverings of complete graphs by 3-, 4-, and 5-cliques
We study two-level optimal coverings of the complete graph $K_v$ by cliques of orders $3$, $4$, and $5$. The first level minimizes the excess, namely the number of repeated edge occurrences, and the second level minimizes the number of cliques among coverings with minimum excess. We first isolate the two-size problem for triangles and 4-cliques, where the main congruence and local-degree methods already appear and where nonzero excess is unavoidable for one residue class of $v$. This motivates the passage to quintuples. For $\{K_3,K_4,K_5\}$ coverings we determine the minimum excess for every $v$, use an edge-count reduction for the secondary optimization, obtain exact values in ten residue classes modulo $20$, and give bounds for the remaining classes.
The Combinatorics of the Leading Root of the Partial Theta Function
Let $x_0(q)=-ξ_0(q)$ be the leading formal root of $Θ_0(x,q)=\sum_{n\geq0}x^nq^{\binom n2}$. I give here explicit combinatorial interpretations of the positive integer coefficients of $ξ_0(q)=1+q+2q^2+4q^3+9q^4+\cdots$ in terms of rooted trees enriched by stack polyominoes or certain Ferrers diagrams, weighted by total area. The two enrichments may be chosen independently at each level of the tree. A decomposition along the first-child path gives a combinatorial interpretation of $1-ξ_0^{-1}$. By reserving two successor slots at the root, I also obtain an interpretation of $1-ξ_0^{-2}$ and its zero coefficient in degree three. The sequence decomposition gives a Lyndon-word interpretation of the Euler-product exponents and proves their positivity and weak monotonicity. Finally, I derive the coefficient asymptotic $[q^n]ξ_0(q)\sim ξ_0(ρ)ρ^{-n}n^{-3/2}/(2\sqrtπ)$, where $ρ$ is the radius of convergence. The tree models are equinumerous with the braid classes studied by Flores and González-Meneses.
Uniquely labelled geodesics of Coxeter groups
Studying geodesics in Cayley graphs of groups has been a very active area of research over the last decades. We introduce the notion of a uniquely labelled geodesic, abbreviated with u.l.g. These will be studied first in finite Coxeter groups of type $A_n$. Here we introduce a generating function, and hence are able to precisely describe how many u.l.g.'s we have of a certain length and with which label combination. These results generalize several results about unique geodesics in Coxeter groups. In the second part of the paper, we expand our investigation to infinite Coxeter groups described by simply laced trees. We show that any u.l.g. of finite branching index has finite length. We use the example of the group $\widetilde{D}_6$ to show the existence of infinite u.l.g.'s in groups which do not have any infinite unique geodesics. We conclude by exhibiting a detailed description of the geometry of such u.l.g.'s and their relation to each other in the group $\widetilde{D}_6$.
A polynomial time algebraic solution to exact marginal inference in Markov Random Field models
This paper develops on algebraic grounds a polynomial time exact linear solution to the hard combinatorial problem of marginal inference in Markov random field (MRF) models under general assumptions. To prove our claim, we first implicitly remodel a MRF joint distribution as the unique solution of some linear identity assuming its clique potential functions (equivalently, its individual conditional distributions) to be specified. Then, by assuming an arbitrary point subset, we relax accordingly such a (global) linear identity for deriving a second linear identity, solely, acting on a polynomial time number of entries (e.g.; local marginals or Fourier frequencies) of a solution. Then, we show, only using linear algebraic techniques, that such an identity enables to capture all the entries necessary for the exact reconstruction of an MRF marginal distribution, thus, allowing to solve for the latter, exactly and in polynomial time, using a standard linear solver. Last, but not least, this paper probably solves, once and for all, the P = NP conjecture.
Two poset polytopes are mutation-equivalent
The combinatorial mutation $\mathrm{mut}_w(P,F)$ for a lattice polytope $P$ was introduced in the context of mirror symmetry for Fano manifolds in [1]. It was also proved in \cite{ACGK} that for a lattice polytope $P \subseteq N_\mathbb{R}$ containing the origin in its interior, the polar dual $P^* \subseteq M_\mathbb{R}$ and $\mathrm{mut}_w(P,F)^* \subseteq M_\mathbb{R}$ have the same Ehrhart quasi-polynomial. To extend this framework, we introduce combinatorial mutation for rational pointed polyhedra in $N_\mathbb{R}$ containing the origin in their interiors. Such polyhedra are Minkowski sums of rational polytopes and rational polyhedral pointed cones. On the dual side $M_\mathbb{R}$, the construction applies to full-dimensional rational polytopes containing the origin, not necessarily in their interiors. As an application of this extension of the combinatorial mutation, we prove that the chain polytope of a poset $Π$ can be obtained by a sequence of combinatorial mutations in $M_\mathbb{R}$ from the order polytope of $Π$. Namely, the order polytope and the chain polytope of the same poset $Π$ are mutation-equivalent.
The skew Brownian permuton: a new universality class for random constrained permutations
Published in Proceedings of the London Mathematical Society 126 (6), pp. 1842-1883 (2023)
• View Publication
• BIB
We construct a new family of random permutons, called skew Brownian permuton, which describes the limits of several models of random constrained permutations. This family is parametrized by two real parameters.
For a specific choice of the parameters, the skew Brownian permuton coincides with the Baxter permuton, i.e., the permuton limit of Baxter permutations. We prove that for another specific choice of the parameters, the skew Brownian permuton coincides with the biased Brownian separable permuton, a one-parameter family of permutons previously studied in the literature as the limit of uniform permutations in substitution-closed classes. This brings two different limiting objects under the same roof, identifying a new larger universality class.
The skew Brownian permuton is constructed in terms of flows of solutions of certain stochastic differential equations (SDEs) driven by two-dimensional correlated Brownian excursions in the non-negative quadrant. We call these SDEs skew perturbed Tanaka equations because they are a mixture of the perturbed Tanaka equations and the equations encoding skew Brownian motions. We prove existence and uniqueness of (strong) solutions for these new SDEs.
In addition, we show that some natural permutons arising from Liouville quantum gravity spheres decorated with two Schramm-Loewner evolution curves are skew Brownian permutons and such permutons cover almost the whole range of possible parameters. Some connections between constrained permutations and decorated planar maps have been investigated in the literature at the discrete level; this paper establishes this connection directly at the continuum level. Proving the latter result, we also give an SDE interpretation of some quantities related to SLE-decorated Liouville quantum gravity spheres.
The permuton limit of strong-Baxter and semi-Baxter permutations is the skew Brownian permuton
Published in Electronic Journal of Probability, vol. 27, 2022, pp. 1-53
• View Publication
• BIB
We recently introduced a new universal family of permutons, depending on two parameters, called skew Brownian permuton. For some specific choices of the parameters, the skew Brownian permuton coincides with some previously studied permutons: the biased Brownian separable permuton and the Baxter permuton. The latter two permutons are degenerate cases of the skew Brownian permuton.
In the present paper we prove the first convergence result towards a non-degenerate skew Brownian permuton. Specifically, we prove that strong-Baxter permutations converge in the permuton sense to the skew Brownian permuton for a non-degenerate choice of the two parameters. In order to do that, we develop a robust technique to prove convergence towards the skew Brownian permuton for various families of random constrained permutations. This technique relies on generating trees for permutations, allowing an encoding of permutations with multi-dimensional walks in cones. We apply this technique also to semi-Baxter permutations.
On the Multi-Robber Damage Number
Published in Discrete Mathematics & Theoretical Computer Science, vol. 28:3, Graph Theory (October 5, 2026) dmtcs:16953
• View Publication
• BIB
We study a variant of the Cops and Robbers game on graphs in which the robbers damage the visited vertices, aiming to maximize the number of damaged vertices. For that game with one cop against $s$ robbers a conjecture was made by Carlson, Halloran and Reinhart that the cop can save three vertices from being damaged as soon as the maximum degree of the base graph is at least $\binom{s}{2} + 2$.
We are able to verify the conjecture and prove that it is tight once we add the assumption that the base graph is triangle free. We also study the game without that assumption, disproving the conjecture in full generality and further attempting to locate the smallest maximum degree of a base graph which guarantees that the cop can save three vertices against $s$ robbers. We show that this number is between $2\binom{s}{2} - 3$ and $2\binom{s}{2} + 1$.
Furthermore, after the game has been previously studied with one cop and multiple robbers, as well as with one robber and multiple cops, we initiate the study of the game with two cops and two robbers. In the case when the base graph is a cycle we determine the exact number of damaged vertices. Additionally, when the base graph is a path we provide bounds that differ by an additive constant.
Exceptional sets for length under restricted families of projections onto lines in $\mathbb{R}^3$
It is shown that if $A \subseteq \mathbb{R}^3$ is a Borel set of Hausdorff dimension $\dim A>1$, and if $ρ_θ$ is orthogonal projection to the line spanned by $( \cos θ, \sin θ, 1 )$, then $ρ_θ(A)$ has positive length for all $θ$ outside a set of Hausdorff dimension at most $\frac{3-\dim A}{2}$.
The burning game on graphs
Published in N. Chiarelli, V. Iršič Chenoweth, M. Jakovac, W. B. Kinnersley, M. Mikalački, The burning game on graphs, Discrete Mathematics, Volume 349, Issue 5, 2026, 115027, ISSN 0012-365X
• View Publication
• BIB
Motivated by the burning and cooling processes, the burning game is introduced. Two players (Burner and Staller) play the game on a graph $G$ by alternately selecting vertices of $G$ to burn; as in the burning process, burning vertices spread fire to unburned neighbors. Burner aims to burn all vertices of $G$ as quickly as possible, while Staller wants the process to last as long as possible. If both players play optimally, then the number of time steps needed to burn the whole graph $G$ is the game burning number $b_{\rm g}(G)$ if Burner makes the first move, and the Staller-start game burning number $b_{\rm g}'(G)$ if Staller starts.
In this paper, basic bounds on $b_{\rm g}(G)$ are given and several fundamental properties of the burning game established. Graphs with small game burning numbers are characterized and the game is studied on paths and cycles. An analogue of the burning number conjecture for the burning game is also considered. Finally, it is shown that the problem of determining whether or not $b_{\rm g}(G) \le k$ is NP-hard.
Tensorial free convolution, semicircular, free Poisson and R-transform in high order
This work builds on our previous developments regarding a notion of freeness for tensors. We aim to establish a tensorial free convolution. We aggregate all connected rooted $p$-regular trace invariants with a fixed number of vertices into moments. First, we define higher-order analogues of the semicircular (or Wigner) law and the free Poisson (or Marčenko-Pastur) law, giving their moments and free cumulants. We prove the convergence of the moments of a Wishart-type tensor to the ones of the free Poisson law and recall the convergence of the moments of a Wigner tensor to the moments of the semicircular law. We also present a free Central Limit Theorem in this context. Next, we introduce a tensorial free convolution at the level of exponentially bounded moment and cumulant sequences.
Pin Classes I: Growth Rates
Pin sequences play an important role in the structural study of permutation classes. In this paper, we study the permutation classes that comprise all the finite subpermutations contained in an infinite pin sequence. We prove that these permutation classes have proper growth rates and establish a procedure for calculating these growth rates.
Permuton and local limits for the Luce model
We investigate the asymptotic properties of permutations drawn from the Luce model, a natural probabilistic framework in which permutations are generated sequentially by sampling without replacement, with selection probabilities proportional to prescribed positive weights. These permutations arise in applications such as ranking models, the Tsetlin library, and related Markov processes. Under minimal assumptions on the weights, we establish a permuton limit theorem describing the global behavior of Luce-distributed permutations and derive an explicit density of the limiting permuton. We further compute limiting pattern densities and analyze the differences between exact Luce permutations and their permuton approximations. We also study the local convergence of these permutations, proving a quenched Benjamini--Schramm limit and a central limit theorem for consecutive pattern occurrences. Finally, we prove a central limit theorem for the number of inversions.
Hyperbolic links associated to Hamiltonian subgraphs in simple $3$-polytopes
We build a large family of hyperbolic links with an explicit decomposition of the complement into right-angled hyperbolic polytopes of finite volume. Namely, in a series of papers A.D.Mednykn and A.Yu.Vesnin introduced a construction that for a given right-angled polytope $P$ in geometry $\mathbb L^3$, $\mathbb R^3$, $\mathbb S^3$, $\mathbb L^2\times \mathbb R$, $\mathbb S^2\times \mathbb R$ and a Hamiltonian cycle, theta-subgraph or $K_4$-subgraph $Γ$ in the $1$-skeleton of $P$ builds a geometric $3$-manifold $N(P,Γ)$ with an involution $τ$ such that $N(P,Γ)/\langleτ\rangle\simeq S^3$. The brach set of the corresponding $2$-sheeted branched covering $N(P,Γ)\to S^3$ is a link $C_Γ\subset S^3$ consisting of trivially embedded circles. This construction reformulated in the language of toric topology works for such a subgraph $Γ$ in any simple $3$-polytope $P$ and gives a topological $3$-manifold $N(P,Γ)$. We give a criterion when $S^3\setminus C_Γ$ has a complete hyperbolic structure of finite volume and generalize this criterion to similar links in $3$-manifolds different from $S^3$. We prove that hyperbolic links $C_Γ$ are parametrized by nonselfcrossing Eulerian cycles, Eulerian theta-subgraphs and Eulerian $K_4$-subgraphs in hyperbolic right-angled $3$-polytopes of finite volume in $\mathbb L^3$ with $0$, $2$ or $4$ finite vertices. The complement $S^3\setminus C_Γ$ is glued of $4$, $8$ or $16$ copies of the corresponding right-angled polytope. We give a criterion when the link $C_Γ$ consists of mutually unlinked circles and prove that if such a link is nontrivial, then it contains the Borromean rings. The latter problem is motivated by the Efimov effect in quantum mechanics. We consider higher-dimensional analogues of hyperbolic links $C_Γ$.
Completing the enumeration of inversion sequences avoiding triples of relations
An inversion sequence of length $n$ is an integer sequence $(a_1, \ldots, a_n)$ such that $0 \le a_i < i$ for all $i$. The study of pattern-avoiding inversion sequences was initiated in 2015 by Mansour and Shattuck and in 2016 by Corteel, Martinez, Savage and Weselcouch. Martinez and Savage later defined a new type of pattern, a triple of binary relations, of which there are currently 14 uncounted avoidance classes. We complete the enumeration for all of these classes using generating tree methods "growing on the left" and "growing on the right". For many of these classes we are able to find algebraic generating functions. We also discuss the asymptotic behaviour of the counting sequences.
Minimum-Excess $\{K_3,K_4\}$-Coverings of $K_{17}$, $K_{18}$, and $K_{19}$
We determine the minimum-excess coverings of $K_{17}$, $K_{18}$, and $K_{19}$ by 3-cliques and 4-cliques, minimizing first the number of repeated edge occurrences and then the number of blocks. The three secondary optima are $$ C^ξ(17,\{3,4\},2)=29,\qquad C^ξ(18,\{3,4\},2)=33,\qquad C^ξ(19,\{3,4\},2)=35. $$ For $K_{18}$ and $K_{19}$ the minimum excess is zero, so the optimal covers are decompositions, with block vectors $15K_3+18K_4$ and $13K_3+22K_4$, respectively. Their lower bounds follow directly from the known values $g^{(4)}(18)=33$ and $g^{(4)}(19)=35$ for pairwise balanced designs with maximum block size four. For $K_{17}$ the minimum excess is two and every optimal cover has block vector $12K_3+17K_4$. At this optimum the excess multigraph may be $P_3$ or $2K_2$, but not $K_2^2$; in fact a cover with excess $K_2^2$ requires at least $31$ blocks. The remaining order-$17$ nonexistence cases are excluded by computer-assisted exhaustive searches. Explicit constructions are given for all attainable optima. For completeness, an appendix also records the independent proof for orders $18$ and $19$ from the earlier version of this work, including its structural case analysis.
Cycle-factors of regular graphs via entropy
Published
• View Publication
• BIB
It is a classical result that a random permutation of $n$ elements has, on average, about $\log n$ cycles. We generalise this fact to all directed $d$-regular graphs on $n$ vertices by showing that, on average, a random cycle-factor of such a graph has $\mathcal{O}((n\log d)/d)$ cycles. This is tight up to the constant factor and improves the best previous bound of the form $\mathcal{O}(n/\sqrt{\log d})$ due to Vishnoi. Our results also yield randomised polynomial-time algorithms for finding such a cycle-factor and for finding a tour of length $(1+\mathcal{O}((\log d)/d)) \cdot n$ if the graph is connected. This makes progress on a conjecture of Magnant and Martin and on a problem studied by Vishnoi and by Feige, Ravi, and Singh. Our proof uses the language of entropy to exploit the fact that the upper and lower bounds on the number of perfect matchings in regular bipartite graphs are extremely close.
Top to random and reverse: analysis of a new descent algebra shuffle
We study the "top-to-random-and-reverse shuffle", defined as the top-to-random shuffle in the symmetric group algebra composed with the permutation $w_0$ (which sends each $i$ to $n+1-i$). More generally, we analyze the composition of any B-basis element of the descent algebra with $w_0$. We show that the minimal polynomial of any such composition (over $\mathbb{Q}$) factors into distinct linear factors, which correspond to the "signed knapsack numbers" of set compositions. This is a counterpart to an analogous property of the B-basis elements themselves, which was proved by Brown using Bidigare's face monoid. In the case of the top-to-random-and-reverse shuffle, the minimal polynomial turns out to be $\prod_{k \in \{-n+2\} \cup [-n+4, n-3] \cup \{0\} \cup \{n\}} (x-k)$.
Strengthened upper bound on the third eigenvalue of graphs
Let $G$ be a graph on $n \ge 3$ vertices, whose adjacency matrix has eigenvalues $λ_1 \ge λ_2 \ge \dots \ge λ_n$. The problem of bounding $λ_k$ in terms of $n$ was first proposed by Hong and was studied by Nikiforov, who demonstrated strong upper and lower bounds for arbitrary $k$. Nikiforov also claimed a strengthened upper bound for $k \ge 3$, namely that $\frac{λ_k}{n} < \frac{1}{2\sqrt{k-1}} - \varepsilon_k$ for some positive $\varepsilon_k$, but omitted the proof due to its length. In this paper, we give a proof of this bound for $k = 3$. We achieve this by instead looking at $λ_{n-1} + λ_n$ and introducing a new graph operation which provides structure to minimising graphs, including $ω\le 3$ and $χ\le 4$. Then we reduce the hypothetical worst case to a graph that is $n/2$-regular and invariant under said operation. By considering a series of inequalities on the restricted eigenvector components, we prove that a sequence of graphs with $\frac{λ_{n-1} + λ_n}{n}$ converging to $-\frac{\sqrt{2}}{2}$ cannot exist.
Laurentness of Svinin's even-order recurrences
We prove every term of Svinin's even-order recurrences is a Laurent polynomial in the initial values.