Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Bound on shortest cycle covers
Assume $G$ is a bridgeless graph. A cycle cover of $G$ is a collection of cycles of $G$ such that each edge of $G$ is contained in at least one of the cycles. The length of a cycle cover of $G$ is the sum of the lengths of the cycles in the cover. The minimum length of a cycle cover of $G$ is denoted by $cc(G)$. It was proved independently by Alon and Tarsi and by Bermond, Jackson, and Jaeger that $cc(G)\le \frac{5}{3}m$ for every bridgeless graph $G$ with $m$ edges. This remained the best-known upper bound for $cc(G)$ for 40 years. In this paper, we prove that if $G$ is a bridgeless graph with $m$ edges and $n_2$ vertices of degree $2$, then $cc(G) < \frac{29}{18}m+ \frac 1{18}n_2$. As a consequence, we show that $cc(G) \le \frac 53 m - \frac 1{42} \log m$. The upper bound $ cc(G) < \frac{29}{18}m \approx 1.6111 m$ for bridgeless graphs $G$ of minimum degree at least 3 improves the previous known upper bound $1.6258m$. A key lemma used in the proof confirms Fan's conjecture that if $C$ is a circuit of $G$ and $G/C$ admits a nowhere zero 4-flow, then $G$ admits a 4-flow $f$ such that $E(G)-E(C)\subseteq \text{supp} (f)$ and $|\textrm{supp}(f)\cap E(C)|>\frac{3}{4}|E(C)|$.
On Minimal Polynomials of Elements in Symmetric and Alternating Groups
Let $ (ρ, V) $ be an irreducible representation of the symmetric group $ S_n$ (or the alternating group $ A_n$), and let $ g $ be a permutation on $n$ letters with each of its cycle lengths divides the length of its largest cycle. We describe completely the minimal polynomial of $ρ(g)$, showing that, in most cases, it equals $x^{o(g)} - 1 $, with a few explicit exceptions. As a by-product, we obtain a new proof (using only combinatorics and representation theory) of a theorem of Swanson that gives a necessary and sufficient condition for the existence of a standard Young tableau of a given shape and major index $r \ \text{mod} \ n$, for all $r$. Thereby, we give a new proof of a celebrated result of Klyachko on Lie elements in a tensor algebra, and of a conjecture of Sundaram on the existence of an invariant vector for $n$-cycles. We also show that for elements $g$ in $S_n$ or $A_n$ of even order, in most cases, $ρ(g)$ has eigenvalue $-1$, with a few explicit exceptions.
Bootstrap percolation on a generalized Hamming cube
We consider the $r$-neighbor bootstrap percolation process on the graph with vertex set $V=\{0,1\}^n$ and edges connecting the pairs at Hamming distance $1,2,\dots,k$, where $k\ge 2$. We find asymptotics of the critical probability of percolation for $r=2,3$. In the deterministic setting, we obtain several results for the size of the smallest percolating set for $k\ge 2$.
The Turán density of the tight 5-cycle minus one edge
Let the tight $\ell$-cycle minus one edge $C_\ell^{3-}$ be the $3$-graph on $\{1,\dots,\ell\}$ consisting of $\ell-1$ consecutive triples in the cyclic order. We show that, for every $\ell\ge 5$ not divisible by $3$, the Turán density of $C_{\ell}^{3-}$ is $1/4$ and also prove some finer structure results. This proves a conjecture of Mubayi--Sudakov--Pikhurko from 2011 and extends the results of Balogh--Luo [Combinatorica 44 (2024) 949--976] who established analogous claims for all sufficiently large $\ell$.
Results similar to ours were independently obtained by Lidický--Mattes--Pfender [arXiv:2409.14257].
On the Algebraic Connectivity of Token Graphs and Graphs under Perturbations
Given a graph $G=(V,E)$ on $n$ vertices and an integer $k$ between 1 and $n-1$, the $k$-token graph $F_k(G)$ has vertices representing the $k$-subsets of $V$, and two vertices are adjacent if their symmetric difference is the two end-vertices of an edge in $E$. Using the theory of Markov chains of random walks and the interchange process, it was proved that the algebraic connectivities (second smallest Laplacian eigenvalues) of $G$ and $F_k(G)$ coincide, but a combinatorial/algebraic proof has been shown elusive. In this paper, we use the latter approach and prove that such equality holds for different new classes of graphs under perturbations, such as extended cycles, extended complete bipartite graphs, kite graphs, and graphs with a cut clique. Kite graphs are formed by a graph (head) with several paths (tail) rooted at the same vertex and with exciting properties. For instance, we show that the different eigenvalues of a kite graph are also eigenvalues of its perturbed graph obtained by adding edges. Moreover, as a particular case of one of our theorems, we generalize a recent result of Barik and Verma \cite{bv24} about graphs with a cut vertex of degree $n-1$. Along the way, we give conditions under which the perturbed graph $G+uv$, with $uv\in E$, has the same algebraic connectivity as $G$.
The homological shift algebra of a monomial ideal
Let $S=K[x_1,\dots,x_n]$ be the polynomial ring over a field $K$, and let $I\subset S$ be a monomial ideal. In this paper, we introduce the $i$th \textit{homological shift algebras} $\text{HS}_i(\mathcal{R}(I))=\bigoplus_{k\ge1}\text{HS}_i(I^k)$ of $I$. If $I$ has linear powers, these algebras have the structure of a finitely generated bigraded module over the Rees algebra $\mathcal{R}(I)$ of $I$. Hence, many invariants of $\text{HS}_i(I^k)$, such as depth, associated primes, regularity, and the $\text{v}$-number, exhibit well behaved asymptotic behavior. We determine several families of monomial ideals $I$ for which $\text{HS}_i(I^k)$ has linear resolution for all $k\gg0$. Finally, we show that $\text{HS}_i(I^k)$ is Golod for all monomial ideals $I\subset S$ with linear powers and all $k\gg0$.
Symmetry of meromorphic differentials produced by involution identity, and relation to integer partitions
We prove that meromorphic differentials $ω^{(0)}_n(z_1,...,z_n)$ which are recursively generated by an involution identity are symmetric in all their arguments $z_1,...,z_n$. The proof involves an intriguing combinatorial identity between integer partitions into given number of parts.
Random Fibonacci Words via Clone Schur Functions
Published in Forum of Mathematics, Sigma 14 (2026) e15
• View Publication
• BIB
We study positivity and probabilistic properties arising from the Young--Fibonacci lattice $\mathbb{YF}$, a 1-differential poset on binary (Fibonacci) words of 1's and 2's, graded by digit sum. Building on Okada's theory of clone Schur functions (Trans. Amer. Math. Soc. 346 (1994), 549--568), we define clone coherent measures on $\mathbb{YF}$ that generate random Fibonacci words of increasing length; unlike for the Young lattice (powered by the classical Schur functions), clone coherent measures are generally not extremal on $\mathbb{YF}$.
Our first main result is a complete characterization of Fibonacci positive specializations -- parameter sequences which yield positive clone Schur functions on $\mathbb{YF}$. Second, we connect Fibonacci positivity with: (i) total positivity of tridiagonal matrices; (ii) Stieltjes moment sequences; (iii) the combinatorics of set partitions; and (iv) families of univariate orthogonal polynomials from the (q-)Askey scheme. We further link moment sequences of orthogonal polynomials to combinatorial structures on Fibonacci words, a connection that may be of independent interest. Third, we analyze scaling limits of the induced random words, obtaining stick-breaking-type limits (linked to GEM laws), new dependent stick-breaking limits, and limits supported on the discrete part of the Martin boundary of $\mathbb{YF}$. These results significantly extend the asymptotics of the Plancherel measure on $\mathbb{YF}$ proved by Gnedin--Kerov (Math. Proc. Camb. Philos. Soc. 129 (2000), 433--446).
Finally, we prove Cauchy-type identities for clone Schur functions with quadridiagonal-determinant right-hand side (in contrast to the product form for classical Schur functions), and construct models of random permutations and involutions from Fibonacci-positive specializations together with a Robinson--Schensted correspondence adapted to $\mathbb{YF}$.
Lattice random walks and quantum A-period conjecture
Published in SciPost Phys. 19, 053 (2025)
• View Publication
• BIB
We derive explicit closed-form expressions for the generating function $C_N(A)$, which enumerates classical closed random walks on square and triangular lattices with $N$ steps and a signed area $A$, characterized by the number of moves in each hopping direction. This enumeration problem is mapped to the trace of powers of anisotropic Hofstadter-like Hamiltonian and is connected to the cluster coefficients of exclusion particles: exclusion strength parameter $g = 2$ for square lattice walks, and a mixture of $g = 1$ and $g = 2$ for triangular lattice walks. By leveraging the intrinsic link between the Hofstadter model and high energy physics, we propose a conjecture connecting the above signed area enumeration $C_N(A)$ in statistical mechanics to the quantum A-period of associated toric Calabi-Yau threefold in topological string theory: square lattice walks correspond to local $\mathbb{F}_0$ geometry, while triangular lattice walks are associated with local $\mathcal{B}_3$.
The Shortest Interesting Binary Words
I will show that there exist two binary words (one of length 4 and one of length 6) that play a special role in many different problems in combinatorics on words. They can therefore be considered \textit{the shortest interesting binary words}. My claim is supported by the fact that these two words appear in dozens of papers in combinatorics on words.
Low coordinate degree algorithms II: Categorical signals and generalized stochastic block models
We study when low coordinate degree functions (LCDF) -- linear combinations of functions depending on small subsets of entries of a vector -- can test for the presence of categorical structure, including community structure and generalizations thereof, in high-dimensional data. This complements the first paper of this series, which studied the power of LCDF in testing for continuous structure like real-valued signals perturbed by additive noise. We apply the tools developed there to a general form of stochastic block model (SBM), where a population is assigned random labels and every $p$-tuple of the population generates an observation according to an arbitrary probability measure associated to the $p$ labels of its members. We show that the performance of LCDF admits a unified analysis for this class of models. As applications, we prove tight lower bounds against LCDF (and therefore also against low degree polynomials) for nearly arbitrary graph and regular hypergraph SBMs, always matching suitable generalizations of the Kesten-Stigum threshold. We also prove tight lower bounds for group synchronization and abelian group sumset problems under the "truth-or-Haar" noise model, and use our technical results to give an improved analysis of Gaussian multi-frequency group synchronization. In most of these models, for some parameter settings our lower bounds give new evidence for conjectural statistical-to-computational gaps. Finally, interpreting some of our findings, we propose a precise analogy between categorical and continuous signals: a general SBM as above behaves, in terms of the tradeoff between subexponential runtime cost of testing algorithms and the signal strength needed for a testing algorithm to succeed, like a spiked $p_*$-tensor model of a certain order $p_*$ that may be computed from the parameters of the SBM.
On the clique number of random Cayley graphs and related topics
We prove that a random Cayley graph on a group of order $N$ has clique number $O(\log N \log \log N)$ with high probability. This bound is best possible up to the constant factor for certain groups, including~$\mathbb{F}_2^n$, and improves the longstanding upper bound of $O(\log^2 N)$ due to Alon. Our proof does not make use of the underlying group structure and is purely combinatorial, with the key result being an essentially best possible upper bound for the number of subsets of given order that contain at most a given number of colors in a properly edge-colored complete graph. As a further application of this result, we study a conjecture of Alon stating that every group of order $N$ has a Cayley graph whose clique number and independence number are both $O(\log N)$, proving the conjecture for all abelian groups of order $N$ for almost all $N$. For finite vector spaces of order $N$ with characteristic congruent to $1 \pmod 4$, we prove the existence of a self-complementary Cayley graph on the vector space whose clique number and independence number are both at most $(2+o(1))\log N$. This matches the lower bound for Ramsey numbers coming from random graphs and solves, in a strong form, a problem of Alon and Orlitsky motivated by information theory.
Abundancy of $z$-\v Soltés' digraphs
We prove the existence of infinitely many \v Soltés' digraphs, the digraph analogue of \v Soltés' graphs. We also give an example of a \v Soltés' digraph with trivial automorphism group.
Oriented Matroid Circuit Polytopes
Matroids give rise to several natural constructions of polytopes. Inspired by this, we examine polytopes that arise from the signed circuits of an oriented matroid. We give the dimensions of these polytopes arising from graphical oriented matroids and their duals. Moreover, we consider polytopes constructed from cocircuits of oriented matroids generated by the positive roots in any type A root system. We give an explicit description of their face structure and determine the Ehrhart series. We also study an action of the symmetric group on these polytopes, giving a full description the subpolytopes fixed by each permutation. These type A polytopes are graphic zonotopes, are polar duals of symmetric edge polytopes, and also make an appearance in Stapledon's paper introducing Equivariant Ehrhart Theory.
Loops with involution and the Cayley-Dickson doubling process
We develop a theory of loops with involution. On this basis we define a Cayley-Dickson doubling on loops, and use it to investigate the lattice of varieties of loops with involution, focusing on properties that remain valid in the Cayley-Dickson double. Specializing to central-by-abelian loops with elementary abelian $2$-group quotients, we find conditions under which one can characterize the automorphism groups of iterated Cayley-Dickson doubles. A key result is a corrected proof that for $n>3$, the automorphism group of the Cayley-Dickson loop $Q_n$ is $\text{GL}_3(\mathbb{F}_2) \times \{\pm 1\}^{n-3}$.
A Demigod's Number for the Rubik's Cube
It is well-known by now that any state of the $3\times 3 \times 3$ Rubik's Cube can be solved in at most 20 moves, a result often referred to as "God's Number". However, this result took Rokicki et al. around 35 CPU years to prove and is therefore very challenging to reproduce.
We provide a novel approach to obtain a worse bound of 36 moves with high confidence, but that offers two main advantages: (i) it is easy to understand, reproduce, and verify, and (ii) our main idea generalizes to bounding the diameter of other vertex-transitive graphs by at most twice its true value, hence the name "demigod number".
Our approach is based on the fact that, for vertex-transitive graphs, the average distance between vertices is at most half the diameter, and by sampling uniformly random states and using a modern solver to obtain upper bounds on their distance, a standard concentration bound allows us to confidently state that the average distance is around $18.32 \pm 0.1$, from where the diameter is at most $36$.
Alon-Tarsi for hypergraphs
Given a hypergraph $H=(V,E)$, define for every edge $e\in E$ a linear expression with arguments corresponding with the vertices. Next, let the polynomial $p_H$ be the product of such linear expressions for all edges. Our main goal was to find a relationship between the Alon-Tarsi number of $p_H$ and the edge density of $H$. We prove that $AT(p_H)=\lceil ed(H)\rceil+1$ if all the coefficients in $p_H$ are equal to $1$. Our main result is that, no matter what those coefficients are, they can be permuted within the edges so that for the resulting polynomial $p_H^\prime$, $AT(p_H^\prime)\leq 2\lceil ed(H)\rceil+1$ holds. We conjecture that, in fact, permuting the coefficients is not necessary. If this were true, then in particular a significant generalization of the famous 1-2-3 Conjecture would follow.
Induced Minor Models. II. Sufficient conditions for polynomial-time detection of induced minors
The $H$-Induced Minor Containment problem ($H$-IMC) consists in deciding if a fixed graph $H$ is an induced minor of a graph $G$ given as input, that is, whether $H$ can be obtained from $G$ by deleting vertices and contracting edges. Equivalently, the problem asks if there exists an induced minor model of $H$ in $G$, that is, a collection of disjoint subsets of vertices of $G$, each inducing a connected subgraph, such that contracting each subgraph into a single vertex results in $H$.
It is known that $H$-IMC is NP-complete for several graphs $H$, even when $H$ is a tree. In this work, we investigate which properties of $H$ guarantee the existence of an induced minor model whose structure can be leveraged to solve the problem in polynomial time. This allows us to identify four infinite families of graphs $H$ that enjoy such properties. Moreover, we show that if the input graph $G$ excludes long induced paths, then $H$-IMC is polynomial-time solvable for any fixed graph $H$. As a byproduct of our results, this implies that $H$-IMC is polynomial-time solvable for all graphs $H$ with at most $5$ vertices, except for three open cases.
The Aldous--Lyons Conjecture II: Undecidability
This paper, and its companion [BCLV24], are devoted to a negative resolution of the Aldous--Lyons Conjecture [AL07, Ald07].
In this part we study tailored non-local games. This is a subclass of non-local games -- combinatorial objects which model certain experiments in quantum mechanics, as well as interactive proofs in complexity theory. Our main result is that, given a tailored non-local game $G$, it is undecidable to distinguish between the case where $G$ has a special kind of perfect strategy, and the case where every strategy for $G$ is far from being perfect. Using a reduction introduced in the companion paper [BCLV24], this undecidability result implies a negative answer to the Aldous--Lyons conjecture. Namely, it implies the existence of unimodular networks that are non-sofic.
To prove our result, we use a variant of the compression technique developed in MIP*=RE [JNV+21]. Our main technical contribution is to adapt this technique to the class of tailored non-local games. The main difficulty is in establishing answer reduction, which requires a very careful adaptation of existing techniques in the construction of probabilistically checkable proofs. As a byproduct, we are reproving the negation of Connes' embedding problem [Con76] -- i.e., the existence of a $\mathrm{II}_1$-factor which cannot be embedded in an ultrapower of the hyperfinite $\mathrm{II}_1$-factor -- first proved in [JNV+21], using an arguably more streamlined proof. In particular, we incorporate recent simplifications from the literature [dlS22b, Vid22] due to de la Salle and the third author.
On the joint distribution of the area and the number of peaks for Bernoulli excursions
Published in Bernoulli 30(4), 2024, 2700--2720
• View Publication
• BIB
Let $P_n$ be a random Bernoulli excursion of length $2n$. We show that the area under $P_n$ and the number of peaks of $P_n$ are asymptotically independent. We also show that these statistics have the correlation coefficient asymptotic to $c /\sqrt{n}$ for large $n$, where $c < 0$, and explicitly compute the coefficient $c$.