Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Evolution of discordant edges in the voter model on random sparse digraphs
Published
• View Publication
• BIB
We explore the voter model dynamics on a directed random graph model ensemble (digraphs), given by the Directed Configuration Model. The voter model captures the evolution of opinions over time on a graph where each vertex represents an individual holding a binary opinion. Our primary interest lies in the density of discordant edges, defined as the fraction of edges connecting vertices with different opinions, and its asymptotic behavior as the graph size grows to infinity. This analysis provides valuable insights, not only into the consensus time behavior but also into how the process approaches this absorption time on shorter time scales. Our analysis is based on the study of certain annealed random walk processes evolving on out-directed, marked Galton-Watson trees, which describe the locally tree-like nature of the considered random graph model. Additionally, we employ innovative coupling techniques that exploit the classical stochastic dual process of coalescing random walks. We extend existing results on random regular graphs to the more general setting of heterogeneous and directed configurations, highlighting the role of graph topology in the opinion dynamics.
Pattern avoidance and the fundamental bijection
Published
• View Publication
• BIB
The fundamental bijection is a bijection $θ:\mathcal{S}_n\to\mathcal{S}_n$ in which one uses the standard cycle form of one permutation to obtain another permutation in one-line form. In this paper, we enumerate the set of permutations $π\in \mathcal{S}_n$ that avoids a pattern $σ\in \mathcal{S}_3$, whose image $θ(π)$ also avoids $σ$. We additionally consider what happens under repeated iterations of $θ$; in particular, we enumerate permutations $π\in \mathcal{S}_n$ that have the property that $π$ and its first $k$ iterations under $θ$ all avoid a pattern $σ$. Finally, we consider permutations with the property that $π=θ^2(π)$ that avoid a given pattern $σ$, and end the paper with some directions for future study.
$θ$-free matching covered graphs
A nontrivial connected graph is matching covered if each edge belongs to some perfect matching. For most problems pertaining to perfect matchings, one may restrict attention to matching covered graphs; thus, there is extensive literature on them. A cornerstone of this theory is an ear decomposition result due to Lovász and Plummer. Their theorem is a fundamental problem-solving tool, and also yields interesting open problems; we discuss two such problems below, and we solve one of them.
A subgraph $H$ of a graph $G$ is conformal if $G-V(H)$ has a perfect matching. This notion is intrinsically related to the aforementioned ear decomposition theorem -- which implies that each matching covered graph (apart from $K_2$ and even cycles) contains a conformal bisubdivision of $θ$, or a conformal bisubdivision of $K_4$, possibly both. (Here, $θ$ refers to the graph with two vertices joined by three edges.) This immediately leads to two problems: characterize $θ$-free (likewise, $K_4$-free) matching covered graphs. A characterization of planar $K_4$-free matching covered graphs was obtained by Kothari and Murty [J. Graph Theory, 82 (1), 2016]; the nonplanar case is open.
We provide a characterization of $θ$-free matching covered graphs that immediately implies a poly-time algorithm for the corresponding decision problem. Our characterization relies heavily on a seminal result due to Edmonds, Lovász and Pulleyblank [Combinatorica, 2, 1982] pertaining to the tight cut decomposition theory of matching covered graphs. As corollaries, we provide two upper bounds on the size of a $θ$-free graph, namely, $m\leq 2n-1$ and $m\leq \frac{3n}{2}+b-1$, where $b$ denotes the number of bricks obtained in any tight cut decomposition of the graph; for each bound, we provide a characterization of the tight examples. The Petersen graph and $K_4$ play key roles in our results.
Macdonald polynomials at t = 0 through twisted multiline queues
Published
• View Publication
• BIB
Multiline queues are versatile combinatorial objects that play a key role in understanding the remarkable connection between the asymmetric simple exclusion process (ASEP) on a circle and Macdonald polynomials. Specializing the results of Corteel--Mandelshtam--Williams (2018) to the $t=0$ case yields a formula for the $q$-Whittaker polynomials through the Ferrari--Martin (2007) algorithm with a major index ($\texttt{maj}$) statistic. In this paper, we reinterpret the $\texttt{maj}$ statistic as a $\texttt{charge}$ statistic on reading words, thereby bypassing the Ferrari--Martin algorithm to obtain an elegant formula for the $q$-Whittaker polynomials. Our methods naturally extend to the case of bosonic multiline queues, with which we obtain analogous results for the modified Hall--Littlewood polynomials using a $\texttt{cocharge}$ statistic on reading words.
Twisted multiline queues (GMLQs) are obtained from the action of the symmetric group on the rows of a multiline queue. The Ferrari--Martin algorithm was extended to GMLQs by Arita--Ayyer--Mallick--Prolhac (2011), and Aas--Grinberg--Scrimshaw (2020) showed it is preserved under this action. We extend these results by defining a $\texttt{maj}$ statistic on GMLQs that is also preserved under this action. This yields a novel family of formulas, indexed by compositions, for the $q$-Whittaker polynomials. Additionally, we define a procedure on both GMLQs and bosonic multiline queues that we call collapsing, which can can be realized via the Kashiwara (crystal) operators on type-A Kirillov--Reshetikhin crystals. As an application, we naturally recover the Lascoux--Schützenberger $\texttt{charge}$ formula for the $q$-Whittaker and modified Hall--Littlewood polynomials, and the classical and dual Cauchy identities for Schur functions.
A Novel Property of Generalized Fibonacci Sequence in Grids
Fibonacci sequence, generated by summing the preceding two terms, is a classical sequence renowned for its elegant properties. In this paper, leveraging properties of generalized Fibonacci sequences and formulas for consecutive sums of equidistant subsequences, we investigate the ratio of the sum of numbers along main-diagonal and sub-diagonal of odd-order grids containing generalized Fibonacci sequences. We show that this ratio is solely dependent on the order of the grid, providing a concise and splendid identity.
Some orbits of a two-vertex stabilizer in a Grassmann graph
Published
• View Publication
• BIB
Let $\mathbb{F}_q$ denote a finite field with $q$ elements. Let $n,k$ denote integers with $n>2k\geq 6$. Let $V$ denote a vector space over $\mathbb{F}_{q}$ that has dimension $n$. The vertex set of the Grassmann graph $J_q(n,k)$ consists of the $k$-dimensional subspaces of $V$. Two vertices of $J_q(n,k)$ are adjacent whenever their intersection has dimension $k-1$. Let $\partial$ denote the path-length distance function of $J_q(n,k)$. Pick vertices $x,y$ of $J_q(n,k)$ such that $1<\partial(x,y)<k$. Let $\text{Stab}(x,y)$ denote the subgroup of $GL(V)$ that stabilizes both $x$ and $y$. In this paper, we investigate the orbits of $\text{Stab}(x,y)$ acting on the local graph $Γ(x)$. We show that there are five orbits. By construction, these five orbits give an equitable partition of $Γ(x)$; we find the corresponding structure constants. In order to describe the five orbits more deeply, we bring in a Euclidean representation of $J_q(n,k)$ associated with the second largest eigenvalue of $J_q(n,k)$. By construction, for each orbit its characteristic vector is represented by a vector in the associated Euclidean space. We compute many inner products and linear dependencies involving the five representing vectors.
Spectral supersaturation: Triangles and bowties
Published in European Journal of Combinatorics 128 (2025) 104171
• View Publication
• BIB
Recently, Ning and Zhai (2023) proved that every $n$-vertex graph $G$ with $λ(G) \ge \sqrt{\lfloor n^2/4\rfloor}$ has at least $\lfloor n/2\rfloor -1$ triangles, unless $G=K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}$. The aim of this paper is two-fold. Using the supersaturation-stability method, we prove a stability variant of Ning-Zhai's result by showing that such a graph $G$ contains at least $n-3$ triangles if no vertex is in all triangles of $G$. This result could also be viewed as a spectral version of a result of Xiao and Katona (2021). The second part concerns with the spectral supersaturation for the bowtie, which consists of two triangles sharing a common vertex. A theorem of Erdős, Füredi, Gould and Gunderson (1995) says that every $n$-vertex graph with more than $\lfloor n^2/4\rfloor +1$ edges contains a bowtie. For graphs of given order, the spectral supersaturation problem has not been considered for substructures that are not color-critical. In this paper, we give the first such theorem by counting the number of bowties. Let $K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}^{+2}$ be the graph obtained from $K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}$ by embedding two disjoint edges into the vertex part of size $\lceil \frac{n}{2} \rceil$. Our result shows that every graph $G$ with $n\ge 8.8 \times 10^6$ vertices and $λ(G)\ge λ(K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}^{+2})$ contains at least $\lfloor \frac{n}{2} \rfloor$ bowties, and $K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}^{+2}$ is the unique spectral extremal graph. This gives a spectral correspondence of a theorem of Kang, Makai and Pikhurko (2020). The method used in our paper provides a probable way to establish the spectral counting results for other graphs, even for non-color-critical graphs.
Counting Permutation Patterns with Multidimensional Trees
We consider the well-studied pattern counting problem: given a permutation $π\in \mathbb{S}_n$ and an integer $k > 1$, count the number of order-isomorphic occurrences of every pattern $τ\in \mathbb{S}_k$ in $π$.
Our first result is an $\widetilde{\mathcal{O}}(n^2)$-time algorithm for $k=6$ and $k=7$. The proof relies heavily on a new family of graphs that we introduce, called pattern-trees. Every such tree corresponds to an integer linear combination of permutations in $\mathbb{S}_k$, and is associated with linear extensions of partially ordered sets. We design an evaluation algorithm for these combinations, and apply it to a family of linearly-independent trees. For $k=8$, we show a barrier: the subspace spanned by trees in the previous family has dimension exactly $|\mathbb{S}_8| - 1$, one less than required.
Our second result is an $\widetilde{\mathcal{O}}(n^{7/4})$-time algorithm for $k=5$. This algorithm extends the framework of pattern-trees by speeding-up their evaluation in certain cases. A key component of the proof is the introduction of pair-rectangle-trees, a data structure for dominance counting.
Multisum Sets
Complete infinite multisum sets are eventually linear. After 30 years of sitting in a file cabinet, the proof (thanks to James H. Schmerl) is brought from darkness into light.
Clustering in typical unit-distance avoiding sets
Published
• View Publication
• BIB
In the 1960s Moser asked how dense a subset of $\mathbb{R}^d$ can be if no pairs of points in the subset are exactly distance 1 apart. There has been a long line of work showing upper bounds on this density. One curious feature of dense unit distance avoiding sets is that they appear to be ``clumpy,'' i.e. forbidding unit distances comes hand in hand with having more than the expected number distance $\approx 2$ pairs.
In this work we rigorously establish this phenomenon in $\mathbb{R}^2$. We show that dense unit distance avoiding sets have over-represented distance $\approx 2$ pairs, and that this clustering extends to typical unit distance avoiding sets. To do so, we build off of the linear programming approach used previously to prove upper bounds on the density of unit distance avoiding sets.
A Polynomial Algorithm for Minimizing $k$-Distant Submodular Functions
This paper considers the minimization problem of relaxed submodular functions. For a positive integer $k$, a set function is called $k$-distant submodular if the submodular inequality holds for every pair whose symmetric difference is at least $k$. This paper provides a polynomial time algorithm to minimize $k$-distant submodular functions for a fixed positive integer $k$. This result generalizes the tractable result of minimizing 2/3-submodular functions, which satisfy the submodular inequality for at least two pairs formed from every distinct three sets.
Chip-firing on the Platonic solids: a primer for studying graph gonality
This paper provides a friendly introduction to chip-firing games and graph gonality. We use graphs coming from the five Platonic solids to illustrate different tools and techniques for studying these games, including independent sets, treewidth, scramble number, and Dhar's burning algorithm. In addition to showcasing some previously known results, we present the first proofs that the dodecahedron graph has gonality $6$, and that the icosahedron graph has gonality~$9$.
Exact enumeration of RNA secondary structures by helices and loops
Enumerative studies of RNA secondary structures were initiated four decades ago by Waterman and his coworkers. Since then, RNA secondary structures have been explored according to many different structural characteristics, for instance, helices, components and loops by Hofacker, Schuster and Stadler, orders by Nebel, saturated structures by Clote, the $5^{\prime}$-$3^{\prime}$ end distance by Clote, Ponty and Steyaert, and the rainbow spectrum by Li and Reidys. However, the majority of the contributions are asymptotic results, and it is harder to derive explicit formulas. In this paper, we obtain exact formulas counting RNA secondary structures with a given number of helices as well as a given joint size distribution of helices and loops, while some related asymptotic results due to Hofacker, Schuster and Stadler have been known for about twenty years. Our approach is combinatorial, analyzing a recent bijection between RNA secondary structures and plane trees discovered by the first author and proposing a variation of Chen's bijective approach of counting trees by forests of simple trees.
Reconfiguration of Independent Transversals
Published
• View Publication
• BIB
Given integers $Δ\ge 2$ and $t\ge 2Δ$, suppose there is a graph of maximum degree $Δ$ and a partition of its vertices into blocks of size at least $t$. By a seminal result of Haxell, there must be some independent set of the graph that is transversal to the blocks, a so-called independent transversal. We show that, if moreover $t\ge2Δ+1$, then every independent transversal can be transformed within the space of independent transversals to any other through a sequence of one-vertex modifications, showing connectivity of the so-called reconfigurability graph of independent transversals.
This is sharp in that for $t=2Δ$ (and $Δ\ge 2$) the connectivity conclusion can fail. In this case we show furthermore that in an essential sense it can only fail for the disjoint union of copies of the complete bipartite graph $K_{Δ,Δ}$. This constitutes a qualitative strengthening of Haxell's theorem.
The Fibonacci-Fubini and Lucas-Fubini numbers
Published
• View Publication
• BIB
Based on the combinatorial interpretation of the ordered Bell numbers, which count all the ordered partitions of the set $[n]=\{1,2,\dots,n\}$, we introduce the Fibonacci partition as a Fibonacci permutation of its blocks. Then we define the Fibonacci-Fubini numbers that count the total number of Fibonacci partitions of $[n]$. We study the classical properties of this sequence (generating function, explicit and Dobiński-like formula, etc.), we give combinatorial interpretation, and we extensively examine the Fibonacci-Fubini arithmetic triangle. We give some associate linear recurrence sequences, where in some sequences the Stirling numbers of the first and second kinds appear as well.
A combinatorial formula for the coefficients of multidimensional resultants
Published
• View Publication
• BIB
The classical multidimensional resultant can be defined as the, suitably normalized, generator of a projective elimination ideal in the ring of universal coefficients. This is the approach via the so-called inertia forms or Trägheitsformen. Using clever substitutions, Mertens and Hurwitz gave a criterion, for recognizing such inertia forms, which amounts to a linear system for their numerical coefficients. In this article we explicitly solve this linear system. We do so by identifying a subset of the available equations which forms a unitriangular system. The key notion we use is that of transversal, i.e., a selection of a monomial term in each of the homogeneous polynomials at hand. We need two such transversals which are disjoint and extremal, in the sense that they relate to extremizers of a, possibly new, determinantal inequality for differences of two substochastic matrices. Thanks to this notion of extremal pair of transversals, we derive an explicit formula for the coefficients of general multidimensional resultants, as a sum of terms made of a sign times a product of multinomial coefficients, thereby explicitly showing they are integer-valued. As an application of our formula, we recover Sombra's bound on the height of resultants, in the classical case.
On the number of sets with small sumset
We investigate subsets with small sumset in arbitrary abelian groups. For an abelian group $G$ and an $n$-element subset $Y \subseteq G$ we show that if $m \ll s^2/(\log n)^2$, then the number of subsets $A \subseteq Y$ with $|A| = s$ and $|A + A| \leq m$ is at most \[2^{o(s)}\binom{\frac{m+β}{2}}{s},\] where $β$ is the size of the largest subgroup of $G$ of size at most $\left(1+o(1)\right)m$. This bound is sharp for $\mathbb{Z}$ and many other groups. Our result improves the one of Campos and nearly bridges the remaining gap in a conjecture of Alon, Balogh, Morris, and Samotij.
We also explore the behaviour of uniformly chosen random sets $A \subseteq \{1,\ldots,n\}$ with $|A| = s$ and $|A + A| \leq m$. Under the same assumption that $m \ll s^2/(\log n)^2$, we show that with high probability there exists an arithmetic progression $P \subseteq \mathbb{Z}$ of size at most $m/2 + o(m)$ containing all but $o(s)$ elements of $A$. Analogous results are obtained for asymmetric sumsets, improving results by Campos, Coulson, Serra, and Wötzel.
The main tool behind our results is a more efficient container-type theorem developed for sets with small sumset, which gives an essentially optimal collection of containers. The proof of this combines an adapted hypergraph container lemma, that caters to the asymmetric setup as well, with a novel ``preprocessing'' graph container lemma, which allows the hypergraph container lemma to be called upon significantly less times than was necessary before.
An identity involving $h$-polynomials of poset associahedra and type B Narayana polynomials
For any finite connected poset $P$, Galashin introduced a simple convex $(|P|-2)$-dimensional polytope $\mathscr{A}(P)$ called the poset associahedron. Let $P$ be a poset with a proper autonomous subposet $S$ that is a chain of size $n$. For $1\leq i \leq n$, let $P_i$ be the poset obtained from $P$ by replacing $S$ by an antichain of size $i$. We show that the $h$-polynomial of $\mathscr{A}(P)$ can be written in terms of the $h$-polynomials of $\mathscr{A}(P_i)$ and type B Narayana polynomials. We then use the identity to deduce several identities involving Narayana polynomials, Eulerian polynomials, and stack-sorting preimages.
A degree bound for planar functions
Published in Comb. Theory 5(3): #17 (2025)
• View Publication
• BIB
Using Stickelberger's theorem on Gauss sums, we show that if $F$ is a planar function on a finite field $\mathbb{F}_q$, then for all non-zero functions $G : \mathbb{F}_q \to \mathbb{F}_q$, we have \begin{equation*} d_{\mathsf{alg}}(G \circ F) - d_{\mathsf{alg}}(G) \le \frac{n(p-1)}{2}, \end{equation*} where $q = p^n$ with $p$ a prime and $n$ a positive integer, and $d_{\mathsf{alg}}(F)$ is the algebraic degree of $F$, i.e., the maximum degree of the corresponding system of $n$ lowest-degree interpolating polynomials for $F$ considered as a function on $\mathbb{F}_p^n$. This bound implies the (known) classification of planar polynomials over $\mathbb{F}_p$ and planar monomials over $\mathbb{F}_{p^2}$. As a new result, using the same degree bound, we complete the classification of planar monomials for all $n = \smash{2^k}$ with $p>5$ and $k$ a non-negative integer. Finally, we state a conjecture on the sum of the base-$p$ digits of integers modulo $q-1$ that implies the complete classification of planar monomials over finite fields of characteristic $p>5$.
Weak coloring numbers of minor-closed graph classes
Published
• View Publication
• BIB
We study the growth rate of weak coloring numbers of graphs excluding a fixed graph as a minor. Van den Heuvel et al. (European J. of Combinatorics, 2017) showed that for a fixed graph $X$, the maximum $r$-th weak coloring number of $X$-minor-free graphs is polynomial in $r$. We determine this polynomial up to a factor of $\mathcal{O}(r \log r)$. Moreover, we tie the exponent of the polynomial to a structural property of $X$, namely, $2$-treedepth. As a result, for a fixed graph $X$ and an $X$-minor-free graph $G$, we show that $\mathrm{wcol}_r(G)= \mathcal{O}(r^{\mathrm{td}(X)-1}\mathrm{log}\ r)$, which improves on the bound $\mathrm{wcol}_r(G) = \mathcal{O}(r^{g(\mathrm{td}(X))})$ given by Dujmović et al. (SODA, 2024), where $g$ is an exponential function. In the case of planar graphs of bounded treewidth, we show that the maximum $r$-th weak coloring number is in $\mathcal{O}(r^2\mathrm{log}\ r$), which is best possible.