Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Rank fluctuations of matrix products and a moment method for growing groups
We consider the cokernel $G_n = \mathbf{Cok}(A_{k} \cdots A_2 A_1)$ of a product of independent $n \times n$ random integer matrices with iid entries from generic nondegenerate distributions, in the regime where both $n$ and $k$ are sent to $\infty$ simultaneously. In this regime we show that the cokernel statistics converge universally to the reflecting Poisson sea, an interacting particle system constructed in arXiv:2312.11702, at the level of $1$-point marginals. In particular, $\operatorname{corank}(A_{k} \cdots A_2 A_1 \pmod{p}) \sim \log_p k$, and its fluctuations are $O(1)$ and converge to a discrete random variable defined in arXiv:2310.12275.
The main difference with previous works studying cokernels of random matrices is that $G_n$ does not converge to a random finite group; for instance, the $p$-rank of $G_n$ diverges. This means that the usual moment method for random groups does not apply. Instead, we proceed by proving a `rescaled moment method' theorem applicable to a general sequence of random groups of growing size. This result establishes that fluctuations of $p$-ranks and other statistics still converge to limit random variables, provided that certain rescaled moments $\mathbb{E}[\#\operatorname{Hom}(G_n,H)]/C(n,H)$ converge.
Paths, Ends and The Separation Problem for Infinite Graphs
Published in Discrete Applied Mathematics, Volume 386, 15 June 2026, Pages 139-155
• View Publication
• BIB
We introduce and study the Separation Problem for infinite graphs, which involves determining whether a connected graph splits into at least two infinite connected components after the removal of a given finite set of edges. We prove that this problem is decidable for every highly computable graph with finitely many ends. Using this result, we demonstrate that König's Infinity Lemma is effective for such graphs. We also apply it to analyze the complexity of the Eulerian Path Problem for infinite graphs, showing that much of its complexity arises from counting ends. Indeed, the Eulerian Path Problem becomes strictly easier when restricted to graphs with a fixed number of ends. Under this restriction, we provide a complete characterization of the problem. Finally, we study the Separation Problem in a uniform setting (i.e., where the graph is also part of the input) and offer a nearly complete characterization of its complexity and its relationship to counting the number of ends.
Happy Ending or Many Concurrent Lines
For each $n \geq 2$, $l \geq 3$, let ${ES}_L (l,n)$ be the minimum $N$ such that every family of $N$-lines in the plane contains either $l$ concurrent lines or $n$ lines in convex position. In this papar, we give the upper and lower bounds for $ES_L (l,n)$. This is one of the extensions of the line version of Erdös-Szekeres convex polygon problem.
Ruzsa's problem on Bi-Sidon sets
Published
• View Publication
• BIB
A subset $S$ of real numbers is called bi-Sidon if it is a Sidon set with respect to both addition and multiplication, i.e., if all pairwise sums and all pairwise products of elements of $S$ are distinct. Imre Ruzsa asked the following question: What is the maximum number $f(N)$ such that every set $S$ of $N$ real numbers contains a bi-Sidon subset of size at least $f(N)$? He proved that $f(N)\geq cN^{\frac13}$, for a constant $c>0$. In this note, we improve this bound to $N^{\frac13+\frac7{78}+o(1)}$.
Rigged Horse Numbers and their Modular Periodicity
The Fubini numbers count the permutations of horse racing where ties are possible. The closely related $r$-horse numbers count the finishes of a horse race where some subset of $r$ horses agree to finish the race in a specific relative strong ordering. We express the $r$-Fubini numbers as a sum of $r$ index-shifted sequences of Fubini numbers weighted with the signed Stirling numbers of the first kind. We use a novel shift operator counting. Further, we demonstrate the eventual modular periodicity of $r$-Fubini numbers. Their maximum period is determined to be the Carmichael function of the modulus. The maximum period occurs in the case of an odd modulus for Fubini numbers.
Bipartite graphs are $(\frac{4}{5}-\varepsilon) \fracΔ{\log Δ}$-choosable
Alon and Krivelevich conjectured that if $G$ is a bipartite graph of maximum degree $Δ$, then the choosability (or list chromatic number) of $G$ satisfies $χ_{\ell}(G) = O \left ( \log Δ\right )$. Currently, the best known upper bound for $χ_{\ell}(G)$ is $(1 + o(1)) \fracΔ{\log Δ}$, which also holds for the much larger class of triangle-free graphs. We prove that for $\varepsilon = 10^{-3}$, every bipartite graph $G$ of sufficiently large maximum degree $Δ$ satisfies $χ_{\ell}(G) < (\frac{4}{5} -\varepsilon) \fracΔ{\log Δ}$. This improved upper bound suggests that list coloring is fundamentally different for bipartite graphs than for triangle-free graphs and hence gives a step toward solving the conjecture of Alon and Krivelevich.
Parity statistics on restricted permutations and the Catalan--Schett polynomials
Published
• View Publication
• BIB
Motivated by Kitaev and Zhang's recent work on non-overlapping ascents in stack-sortable permutations and Dumont's permutation interpretation of the Jacobi elliptic functions, we investigate some parity statistics on restricted permutations. Some new related bijections are constructed and two refinements of the generating function for descents over $321$-avoiding permutations due to Barnabei, Bonetti and Silimbanian are obtained. In particular, an open problem of Kitaev and Zhang about non-overlapping ascents on $321$-avoiding permutations is solved and several combinatorial interpretations for the Catalan--Schett polynomials are found. The stack-sortable permutations are at the heart of our approaches.
Regularity of two classes of Cohen-Macaulay binomial edge ideals
Some recent investigations indicate that for the classification of Cohen-Macaulay binomial edge ideals, it suffices to consider biconnected graphs with some whiskers attached (in short, `block with whiskers'). This paper provides explicit combinatorial formulae for the Castelnuovo-Mumford regularity of two specific classes of Cohen-Macaulay binomial edge ideals: (i) chain of cycles with whiskers and (ii) $r$-regular $r$-connected block with whiskers. For the first type, we introduce a new invariant of graphs in terms of the number of blocks in certain induced block graphs, and this invariant may help determine the regularity of other classes of binomial edge ideals. For the second type, we present the formula as a linear function of $r$.
Improved fewnomial upper bounds from Wronskians and dessins d'enfant
We use Grothendieck's dessins d'enfant to show that if $P$ and $Q$ are two real polynomials, any real function of the form $x^α(1-x)^β P - Q$, has at most $°P +°Q + 2$ roots in the interval $]0,~1[$. As a consequence, we obtain an upper bound on the number of positive solutions to a real polynomial system $f=g=0$ in two variables where $f$ has three monomials terms, and $g$ has $t$ terms. The approach we adopt for tackling this Fewnomial bound relies on the theory of Wronskians, which was used in Koiran et.\ al.\ (J.\ Symb.\ Comput., 2015) for producing the first upper bound which is polynomial in $t$.
Uniquely colorable hypergraphs
An $r$-uniform hypergraph is uniquely $k$-colorable if there exists exactly one partition of its vertex set into $k$ parts such that every edge contains at most one vertex from each part. For integers $k \ge r \ge 2$, let $Φ_{k,r}$ denote the minimum real number such that every $n$-vertex $k$-partite $r$-uniform hypergraph with positive codegree greater than $Φ_{k,r} \cdot n$ and no isolated vertices is uniquely $k$-colorable. A classic result by of Bollobás\cite{Bol78} established that $Φ_{k,2} = \frac{3k-5}{3k-2}$ for every $k \ge 2$.
We consider the uniquely colorable problem for hypergraphs. Our main result determines the precise value of $Φ_{k,r}$ for all $k \ge r \ge 3$. In particular, we show that $Φ_{k,r}$ exhibits a phase transition at approximately $k = \frac{4r-2}{3}$, a phenomenon not seen in the graph case. As an application of the main result, combined with a classic theorem by Frankl--Füredi--Kalai, we derive general bounds for the analogous problem on minimum positive $i$-degrees for all $1\leq i<r$, which are tight for infinitely many cases.
Subgraph-universal planar graphs for trees
Published
• View Publication
• BIB
We show that there exists an outerplanar graph on $O(n^{c})$ vertices for $c = \log_2(3+\sqrt{10}) \approx 2.623$ that contains every tree on $n$ vertices as a subgraph. This extends a result of Chung and Graham from 1983 who showed that there exist (non-planar) $n$-vertex graphs with $O(n \log n)$ edges that contain all trees on $n$ vertices as subgraphs and a result from Gol'dberg and Livshits from 1968 who showed that there exists a universal tree for $n$-vertex trees on $n^{O(\log(n))}$ vertices.
Furthermore, we determine the number of vertices needed in the worst case for a planar graph to contain three given trees as subgraph to be on the order of $\frac{3}{2}n$, even if the three trees are caterpillars. This answers a question recently posed by Alecu et al. in 2024.
Lastly, we investigate (outer)planar graphs containing all (outer)planar graphs as subgraph, determining exponential lower bounds in both cases. We also construct a planar graph on $n^{O(\log(n))}$ vertices containing all $n$-vertex outerplanar graphs as subgraphs.
The complexity of recognizing $ABAB$-free hypergraphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:1, Permutation Patterns 2024, Special issues (April 24, 2025) dmtcs:14610
• View Publication
• BIB
The study of geometric hypergraphs gave rise to the notion of $ABAB$-free hypergraphs. A hypergraph $\mathcal{H}$ is called $ABAB$-free if there is an ordering of its vertices such that there are no hyperedges $A,B$ and vertices $v_1,v_2,v_3,v_4$ in this order satisfying $v_1,v_3\in A\setminus B$ and $v_2,v_4\in B\setminus A$. In this paper, we prove that it is NP-complete to decide if a hypergraph is $ABAB$-free. We show a number of analogous results for hypergraphs with similar forbidden patterns, such as $ABABA$-free hypergraphs. As an application, we show that deciding whether a hypergraph is realizable as the incidence hypergraph of points and pseudodisks is also NP-complete.
Record-biased permutations and their permuton limit
Published
• View Publication
• BIB
In this article, we study a non-uniform distribution on permutations biased by their number of records that we call \emph{record-biased permutations}. We give several generative processes for record-biased permutations, explaining also how they can be used to devise efficient (linear) random samplers. For several classical permutation statistics, we obtain their expectation using the above generative processes, as well as their limit distributions in the regime that has a logarithmic number of records (as in the uniform case). Finally, increasing the bias to obtain a regime with an expected linear number of records, we establish the convergence of record-biased permutations to a deterministic permuton, which we fully characterize.
This model was introduced in our earlier work [N. Auger, M. Bouvel, C. Nicaud, C. Pivoteau, \emph{Analysis of Algorithms for Permutations Biased by Their Number of Records}, AofA 2016], in the context of realistic analysis of algorithms. We conduct here a more thorough study but with a theoretical perspective.
On the fractional matching extendability of Cayley graphs of Abelian groups
Published in Published in the Electronic Journal of Combinatorics, 32 (2025), no. 3, Paper No. 3.9, 22 pp
• View Publication
• BIB
Fractional matching extendability is a concept that brings together two widely studied topics in graph theory, namely that of fractional matchings and that of matching extendability. A {\em fractional matching} of a graph $Γ$ with edge set $E$ is a function $f$ from $E$ to the real interval $[0,1]$ with the property that for each vertex $v$ of $Γ$, the sum of $f$-values of all the edges incident to $v$ is at most $1$. When this sum equals $1$ for each vertex $v$, the fractional matching is {\em perfect}. A graph of order at least $2t+1$ is {\em fractional $t$-extendable} if it contains a matching of size $t$ and if each such matching $M$ can be extended to a fractional perfect matching in the sense that the corresponding function $f$ assigns value $1$ to each edge of $M$.
In this paper, we study fractional matching extendability of Cayley graphs of Abelian groups. We show that, except for the odd cycles, all connected Cayley graphs of Abelian groups are fractional $1$-extendable and we classify the fractional $2$-extendable Cayley graphs of Abelian groups. This extends the classification of $2$-extendable (in the classical sense) connected Cayley graphs of Abelian groups of even order from 1995, obtained by Chan, Chen and Yu.
Intersection Graphs with and without Product Structure
A graph class $\mathcal{G}$ admits product structure if there exists a constant $k$ such that every $G \in \mathcal{G}$ is a subgraph of $H \boxtimes P$ for a path $P$ and some graph $H$ of treewidth $k$. Famously, the class of planar graphs, as well as many beyond-planar graph classes are known to admit product structure. However, we have only few tools to prove the absence of product structure, and hence know of only a few interesting examples of classes. Motivated by the transition between product structure and no product structure, we investigate subclasses of intersection graphs in the plane (e.g., disk intersection graphs) and present necessary and sufficient conditions for these to admit product structure. Specifically, for a set $S \subset \mathbb{R}^2$ (e.g., a disk) and a real number $α\in [0,1]$, we consider intersection graphs of $α$-free homothetic copies of $S$. That is, each vertex $v$ is a homothetic copy of $S$ of which at least an $α$-portion is not covered by other vertices, and there is an edge between $u$ and $v$ if and only if $u \cap v \neq \emptyset$. For $α= 1$ we have contact graphs, which are in most cases planar, and hence admit product structure. For $α= 0$ we have (among others) all complete graphs, and hence no product structure. In general, there is a threshold value $α^*(S) \in [0,1]$ such that $α$-free homothetic copies of $S$ admit product structure for all $α> α^*(S)$ and do not admit product structure for all $α< α^*(S)$. We show for a large family of sets $S$, including all triangles and all trapezoids, that it holds $α^*(S) = 1$, i.e., we have no product structure, except for the contact graphs (when $α= 1$). For other sets $S$, including regular $n$-gons for infinitely many values of $n$, we show that $0 < α^*(S) < 1$ by proving upper and lower bounds.
Improving the Crossing Lemma by Characterizing Dense 2-Planar and 3-Planar Graphs
The classical Crossing Lemma by Ajtai et al.~and Leighton from 1982 gave an important lower bound of $c \frac{m^3}{n^2}$ for the number of crossings in any drawing of a given graph of $n$ vertices and $m$ edges. The original value was $c= 1/100$, which then has gradually been improved. Here, the bounds for the density of $k$-planar graphs played a central role. Our new insight is that for $k=2,3$ the $k$-planar graphs have substantially fewer edges if specific local configurations that occur in drawings of $k$-planar graphs of maximum density are forbidden. Therefore, we are able to derive better bounds for the crossing number $\text{cr}(G)$ of a given graph $G$. In particular, we achieve a bound of $\text{cr}(G) \ge \frac{37}{9}m-\frac{155}{9}(n-2)$ for the range of $5n < m \le 6n$, while our second bound $\text{cr}(G) \ge 5m - \frac{203}{9}(n-2)$ is even stronger for larger $m>6n$.
For $m > 6.77n$, we finally apply the standard probabilistic proof from the BOOK and obtain an improved constant of $c>1/27.48$ in the Crossing Lemma. Note that the previous constant was $1/29$. Although this improvement is not too impressive, we consider our technique as an important new tool, which might be helpful in various other applications.
On S-Packing Coloring of Subcubic Graphs
Given a sequence $S = (s_1, s_2, \ldots, s_k)$ of positive integers with $s_1 \leq s_2 \leq \ldots \leq s_k$, an $S$-packing coloring of a graph $G$ is a partition of $V(G)$ into $k$ subsets $V_1, V_2, \ldots, V_k$ such that for each $1 \leq i \leq k$ the distance between any two distinct $x, y \in V_i$ is at least $s_i + 1$. In 2023, Yang and Wu proved that all 3-irregular subcubic graphs are $(1,1,3)$-packing colorable. In 2024, Mortada and Togni proved that every 1-saturated subcubic graph is $(1, 1, 2)$-packing colorable. In this paper, we provide new, concise proofs for these two theorems using a novel tool.
An exploration of the balance game
The balance game is played on a graph $G$ by two players, Admirable (A) and Impish (I), who take turns selecting unlabeled vertices of $G$. Admirable labels the selected vertices by $0$ and Impish by $1$, and the resulting label on any edge is the sum modulo $2$ of the labels of the vertices incident to that edge. Let $e_0$ and $e_1$ denote the number of edges labeled by $0$ and $1$ after all the vertices are labeled. The discrepancy in the balance game is defined as $d = e_1 - e_0$. The two players have opposite goals: Admirable attempts to minimize the discrepancy $d$ while Impish attempts to maximize $d$. When (A) makes the first move in the game, the (A)-start game balance number, $b^A_g(G)$, is the value of $d$ when both players play optimally, and when (I) makes the first move in the game, the (I)-start game balance number, $b^I_g(G)$, is the value of $d$ when both players play optimally. Among other results, we show that if $G$ has order $n$, then $-\log_2(n) \le b^A_g(G) \le \frac{n}{2}$ if $n$ is even and $0 \le b^A_g(G) \le \frac{n}{2} + \log_2(n)$ if $n$ is odd. Moreover we show that $b^A_g(G) + b^I_g(\overline{G}) = \lfloor n/2 \rfloor$.
Simplicial arrangements with few double points
Published
• View Publication
• BIB
In their solution to the orchard-planting problem, Green and Tao established a structure theorem which proves that in a line arrangement in the real projective plane with few double points, most lines are tangent to the dual curve of a cubic curve. We provide geometric arguments to prove that in the case of a simplicial arrangement, the aforementioned cubic curve cannot be irreducible. It follows that Grünbaum's conjectural asymptotic classification of simplicial arrangements holds under the additional hypothesis of a linear bound on the number of double points.
Online Ramsey numbers of ordered graphs
Published
• View Publication
• BIB
The online ordered Ramsey game is played between two players, Builder and Painter, on an infinite sequence of vertices with ordered graphs $(G_1,G_2)$, which have linear orderings on their vertices. On each turn, Builder first selects an edge before Painter colors it red or blue. Builder's objective is to construct either an ordered red copy of $G_1$ or an ordered blue copy of $G_2$, while Painter's objective is to delay this for as many turns as possible. The online ordered Ramsey number $r_o(G_1,G_2)$ is the number of turns Builder takes to win in the case that both players play optimally.
Few lower bounds are known for this quantity. In this paper, we introduce a succinct proof of a new lower bound based on the maximum left- and right-degrees in the ordered graphs. We also upper bound $r_o(G_1,G_2)$ in two cases: when $G_1$ is a cycle and $G_2$ a complete bipartite graph, and when $G_1$ is a tree and $G_2$ a clique.