Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Heffter arrays over partial loops
A Heffter array over an additive group $G$ is any partially filled array $A$ satisfying that: (1) each one of its rows and columns sum to zero in $G$, and (2) if $i\in G\setminus\{0\}$, then either $i$ or $-i$ appears exactly once in $A$. In this paper, this notion is naturally generalized to that of $\mathcal{B}$-Heffter array over a partial loop, where $\mathcal{B}$ is a set of block-sum polynomials over an affine $1$-design on the set of entries in $A$.
Strict inequalities for arm exponents in planar percolation
Published
• View Publication
• BIB
We discuss a general method to prove quantitative improvements on correlation inequalities and apply it to arm estimates for Bernoulli bond percolation on the square lattice. Our first result is that the two-arm exponent is strictly larger than twice the one-arm exponent and can be seen as a quantitative improvement on the Harris-FKG inequality. This answers a question of Garban and Steif, which was motivated by the study of exceptional times in dynamical percolation. Our second result is that the monochromatic arm exponents are strictly larger than their polychromatic versions, and can be seen as a quantitative improvement on Reimer's main lemma. This second result is not new and was already proved by Beffara and Nolin using a different argument.
Bridge indices of spatial graphs and diagram colorings
Published in Discrete Math. 349.3 (2026) 114813
• View Publication
• BIB
We extend the Wirtinger number of links, an invariant originally defined by Blair, Kjuchukova, Velazquez, and Villanueva in terms of extending initial colorings of some strands of a diagram to the entire diagram, to spatial graphs. We prove that the Wirtinger number equals the bridge index of spatial graphs, and we implement an algorithm in Python which gives a more efficient way to estimate upper bounds of bridge indices. Combined with lower bounds from diagram colorings by elements from certain algebraic structures and clasping techniques, we obtain exact bridge indices for a large family of almost unknotted spatial graphs. We also show that for every possible negative Euler characteristic, there exist almost unknotted graphs of arbitrarily large bridge index.
Chip Firing on Directed $k$-ary Trees
Published
• View Publication
• BIB
Chip-firing is a combinatorial game played on a graph in which we place and disperse chips on vertices until a stable state is reached. We study a chip-firing variant played on an infinite rooted directed $k$-ary tree, where we place $k^\ell$ chips on the root for some positive integer $\ell$, and we say a vertex $v$ can fire if it has at least $k$ chips. A vertex fires by dispersing one chip to each out-neighbor. Once every vertex has less than $k$ chips, we reach a stable configuration since no vertex can fire. We determine the exact number and properties of the possible stable configurations of chips in the setting where chips are distinguishable.
Counting the fission trees and nonabelian Hodge graphs (untwisted case)
Published in J. Geom. Phys. 214 (2025) 105512
• View Publication
• BIB
Any algebraic connection on a vector bundle on a smooth complex algebraic curve determines an irregular class and in turn a fission tree at each puncture. The fission trees are the discrete data classifying the admissible deformation classes. Here we explain how to count the fission trees with given slope and number of leaves, in the untwisted case. This also leads to a clearer picture of the ``periodic table'' of the atoms that play the role of building blocks in 2d gauge theory.
Enumerating tame friezes over $\mathbb{Z}/n\mathbb{Z}$
We use a class of Farey graphs introduced by the final three authors to enumerate the tame friezes over $\mathbb{Z}/n\mathbb{Z}$. Using the same strategy we enumerate the tame regular friezes over $\mathbb{Z}/n\mathbb{Z}$, thereby reproving a recent result of Böhmler, Cuntz, and Mabilat.
Periodic orbits on 2-regular circulant digraphs
Published
• View Publication
• BIB
Periodic orbits (equivalence classes of closed paths up to cyclic shifts) play an important role in applications of graph theory. For example, they appear in the definition of the Ihara zeta function and exact trace formulae for the spectra of quantum graphs. Circulant graphs are Cayley graphs of $\mathbb{Z}_n$. Here we consider directed Cayley graphs with two generators (2-regular Cayley digraphs). We determine the number of primitive periodic orbits of a given length (total number of directed edges) in terms of the number of times edges corresponding to each generator appear in the periodic orbit (the step count). Primitive periodic orbits are those periodic orbits that cannot be written as a repetition of a shorter orbit. We describe the lattice structure of lengths and step counts for which periodic orbits exist and characterize the repetition number of a periodic orbit by its winding number (the sum of the step sequence divided by the number of vertices) and the repetition number of its step sequence. To obtain these results, we also evaluate the number of Lyndon words on an alphabet of two letters with a given length and letter count.
Rigidity and reconstruction in matroids of highly connected graphs
A graph matroid family $\mathcal{M}$ is a family of matroids $\mathcal{M}(G)$ defined on the edge set of each finite graph $G$ in a compatible and isomorphism-invariant way. We say that $\mathcal{M}$ has the Whitney property if there is a constant $c$ such that every $c$-connected graph $G$ is uniquely determined by $\mathcal{M}(G)$. Similarly, $\mathcal{M}$ has the Lovász-Yemini property if there is a constant $c$ such that for every $c$-connected graph $G$, $\mathcal{M}(G)$ has maximal rank among graphs on the same number of vertices.
We show that if $\mathcal{M}$ is unbounded (that is, there is no absolute constant bounding the rank of $\mathcal{M}(G)$ for every $G$), then $\mathcal{M}$ has the Whitney property if and only if it has the Lovász-Yemini property. We also give a complete characterization of these properties in the bounded case. As an application, we show that if some graph matroid families have the Whitney property, then so does their union. Finally, we show that every $1$-extendable graph matroid family has the Lovász-Yemini (and thus the Whitney) property. These results unify and extend a number of earlier results about graph reconstruction from an underlying matroid.
Combinatorial connections in snake graphs: Tilings, lattice paths, and perfect matchings
Snake graphs and their perfect matchings play a key role in the description of cluster variables of cluster algebras associated to surfaces. In this paper, we introduce triangular snake graphs and establish a bijection between their routes (non-intersecting lattice paths), perfect matchings of their underlying snake graphs, and tilings. As an application, we show that the number of perfect matchings in straight snake graphs can be expressed in terms of determinants of Hankel matrices with Catalan number entries. Moreover, we prove that the number of perfect matchings in snake graphs can be expressed as a sum of products of Fibonacci numbers, and we show how Fibonacci and Pell sequences arise from determinants of matrices with Fibonacci entries.
A combinatorial extension of tropical cycles
This article discusses a combinatorial extension of tropical intersection theory to spaces given by glueing quotients of partially open convex polyhedral cones by finitely many automorphisms. This extension is done in terms of linear poic-complexes and poic-fibrations, mainly motivated by the case of the moduli spaces of tropical curves of arbitrary genus and marking. We define tropical cycles of a linear poic-complex and of a poic-fibration, and discuss the pushforward maps in these situations. In the context of moduli spaces of tropical curves, we also discuss "clutching morphisms" and "forgetting the marking" morphisms. In a subsequent article we apply this framework to moduli spaces of discrete admissible covers and study the loci of tropical curves that appear as the source of a degree-$d$ discrete admissible cover of a genus-$h$ $m$-marked tropical curve, for fixed $d$, $h$ and $m$.
Optimization Tools for Computing Colorings of $[1,\cdots ,n]$ with Few Monochromatic Solutions on $3$-variable Linear Equations
Published
• View Publication
• BIB
A famous result in arithmetic Ramsey theory says that for many linear homogeneous equations $E$ there is a threshold value $R_k(E)$ (the Rado number of $E$) such that for any $k$-coloring of the integers in the interval $[1,n]$, with $n \ge R_k(E)$, there exists at least one monochromatic solution. But one can further ask, how many monochromatic solutions is the minimum possible in terms of $n$? Several authors have estimated this function before, here we offer new tools from integer and semidefinite optimization that help find either optimal or near optimal 2-colorings minimizing the number of monochromatic solutions of several families of 3-variable non-regular homogeneous linear equations. In the last part of the paper we further extend to three and more colors for the Schur equation, improving earlier work.
Dual Mixed Volume
Published
• View Publication
• BIB
We define and study the dual mixed volume rational function of a sequence of polytopes, a dual version of the mixed volume polynomial. This concept has direct relations to the adjoint polynomials and the canonical forms of polytopes. We show that dual mixed volume is additive under mixed subdivisions, and is related by a change of variables to the dual volume of the Cayley polytope. We study dual mixed volume of zonotopes, generalized permutohedra, and associahedra. The latter reproduces the planar $φ^3$-scalar amplitude at tree level.
Zero Forcing and Vertex Independence Number on Cubic and Subcubic Graphs
Motivated by a conjecture from the automated conjecturing program TxGraffiti, in this paper the relationship between the zero forcing number, $Z(G)$, and the vertex independence number, $α(G)$, of cubic and subcubic graphs is explored. TxGraffiti conjectures that for all connected cubic graphs $G$, that are not $K_4$, $Z(G) \leq α(G) + 1$. This work uses decycling partitions of upper-embeddable graphs to show that almost all cubic graphs satisfy $Z(G) \leq α(G) + 2$, provides an infinite family of cubic graphs where $Z(G) = α(G) + 1$, and extends known bounds to subcubic graphs.
Berge Pancyclic hypergraphs
Published
• View Publication
• BIB
A Berge cycle of length $\ell$ in a hypergraph is an alternating sequence of $\ell$ distinct vertices and $\ell$ distinct edges $v_1,e_1,v_2, \ldots, v_\ell, e_{\ell}$ such that $\{v_i, v_{i+1}\} \subseteq e_i$ for all $i$, with indices taken modulo $\ell$. We call an $n$-vertex hypergraph pancyclic if it contains Berge cycles of every length from $3$ to $n$. We prove a sharp Dirac-type result guaranteeing pancyclicity in uniform hypergraphs: for $n \geq 70$, $3 \leq r \leq \lfloor (n-1)/2\rfloor - 2$, if $\cH$ is an $n$-vertex, $r$-uniform hypergraph with minimum degree at least ${\lfloor (n-1)/2 \rfloor \choose r-1} + 1$, then $\cH$ is pancyclic.
Adjacent cycle-chains are $e$-positive
Published
• View Publication
• BIB
We describe a way to decompose the chromatic symmetric function as a positive sum of smaller pieces. We show that these pieces are $e$-positive for cycles. Then we prove that attaching a cycle to a graph preserves the $e$-positivity of these pieces. From this, we prove an $e$-positive formula for graphs of cycles connected at adjacent vertices. We extend these results to graphs formed by connecting a sequence of cycles and cliques.
Twisted multiline queues for the steady states of TASEP and TAZRP
Published in Electron. J. Probab., 30 (2025) pp. 1-31
• View Publication
• BIB
We define an algorithm on fermionic and bosonic twisted multiline queues that projects to the multispecies totally asymmetric simple exclusion process (TASEP) and the totally asymmetric zero range process (TAZRP) on a ring, respectively. Our algorithm on fermionic multiline queues generalizes the Ferrari-Martin algorithm for TASEP, and we show it is equivalent to the algorithm of Arita-Ayyer-Mallick-Prolhac (2011). Our algorithm on bosonic multiline queues is novel and generalizes the corresponding algorithm of Kuniba-Maruyama-Okado (2016) for the TAZRP. We also define a Markov process on bosonic twisted multiline queues that projects to the TAZRP and intertwines with the symmetric group action on the rows of the multiline queues.
Maximal Independent Sets in Planar Triangulations
We show that every planar triangulation on $n$ vertices has a maximal independent set of size at most $n/3$. This affirms a conjecture by Botler, Fernandes and Gutiérrez [Electron.\ J.\ Comb., 2024], which in turn would follow if an open question of Goddard and Henning [Appl.\ Math.\ Comput., 2020] which asks if every planar triangulation has three disjoint maximal independent sets were answered in the affirmative. Since a maximal independent set is a special type of dominating set (independent dominating set), this is a structural strengthening of a major result by Matheson and Tarjan [Eur.\ J.\ Comb., 1996] that every triangulated disc has a dominating set of size at most $n/3$, but restricted to triangulations.
The number of arcs in $\mathbb{F}_q^2$ of a given cardinality
Published
• View Publication
• BIB
A subset of $\mathbb{F}_q^2$ is called an arc if it does not contain three collinear points. We show that there are at most $\binom{(1 + o(1))q}{m}$ arcs of size $m \gg q^{1/2} (\log q)^{3/2}$, nearly matching a trivial lower bound $\binom{q}{m}$. This was previously known to hold for $m \gg q^{2/3} (\log q)^3$, due to Bhowmick and Roche-Newton. The lower bound on $m$ is best possible up to a logarithmic factor.
A new grounded partition identity of type $D_4^{(3)}$
Published
• View Publication
• BIB
In this paper, we prove a new Rogers--Ramanujan-type identity, involving grounded partitions, by computing a character of the affine Kac--Moody algebra $D_4^{(3)}$ in two different ways. The product side is derived using Lepowsky's product formula, while the sum side is obtained using perfect crystals with a technique of Dousse and Konan.
Graphs with positive Lin-Lu-Yau curvature without quadrilaterals
Published
• View Publication
• BIB
The definition of Ricci curvature on graphs was given in Lin-Lu-Yau, Tohoku Math., 2011, which is a variation of Ollivier, J. Funct. Math., 2009. Recently, a powerful limit-free formulation of Lin-Lu-Yau curvature using the graph Laplacian has been given in Münch-Wojciechowski, Adv. Math., 2019. Let $F_k$ be the friendship graph obtained from $k$ triangles by sharing a common vertex and $T$ be the graph obtained from a triangle and $K_{1,3}$ by adding a matching between every leaf of $K_{1,3}$ and a vertex of the triangle. In this paper, we classify all the simple connected $C_4$-free graphs with positive Lin-Lu-Yau curvature for minimum degree at least 2: the cycles $C_3,C_5$, the friendship graphs $F_2,F_3$, the line graph of Peterson graph, and $T$.