Showing 20 papers (Total: 81914 papers, 47441 authors in database)
The squish map and the $\text{SL}_2$ double dimer model
Published in Electron. J. Combin.31(2024), no.1, Paper No. 1.61, 24 pp
• View Publication
• BIB
A plane partition, whose 3D Young diagram is made of unit cubes, can be approximated by a ``coarser" plane partition, made of cubes of side length 2. Indeed, there are two such approximations obtained by ``rounding up" or ``rounding down" to the nearest cube. We relate this coarsening (or downsampling) operation to the squish map introduced by the second author in earlier work. We exhibit a related measure-preserving map between the dimer model on the honeycomb graph, and the $\text{SL}_2$ double dimer model on a coarser honeycomb graph; we compute the most interesting special case of this map, related to plane partition $q$-enumeration with 2-periodic weights. As an application, we specialize the weights to be certain roots of unity, obtain novel generating functions (some known, some new, and some conjectural) that $(-1)$-enumerate certain classes of pairs of plane partitions according to how their dimer configurations interact.
Bangle functions are the generic basis for cluster algebras from punctured surfaces with boundary
We prove that for any possibly-punctured surface with non-empty boundary $\mathbfΣ=(Σ, \mathbb{M}, \mathbb{P})$, and any tagged triangulation $T$ of $\mathbfΣ$ in the sense of Fomin--Shapiro--Thurston, the coefficient-free bangle functions of Musiker--Schiffler--Williams coincide with the coefficient-free generic Caldero--Chapoton functions arising from the Jacobian algebra of the quiver with potential $(Q(T), W(T))$ associated to $T$ by Cerulli Irelli and the second author.
When the set of boundary marked points $\mathbb{M}$ has at least two elements, Schröer and the first two authors have shown, relying heavily on results of Mills, Muller and Qin, that the generic coefficient-free Caldero-Chapoton functions form a basis of the coefficient-free (upper) cluster algebra $\mathcal{A}(\mathbfΣ)=\mathcal{U}(\mathbfΣ)$. So, the set of bangle functions proposed by Musiker--Schiffler--Williams over ten years ago is indeed a basis.
An exactly solvable asymmetric $K$-exclusion process
Published in J. Phys. A: Math. Theor., Vol 57 no. 31, (2024) 315001, 24pp
• View Publication
• BIB
We study an interacting particle process on a finite ring with $L$ sites with at most $K$ particles per site, in which particles hop to nearest neighbors with rates given in terms of $t$-deformed integers and asymmetry parameter $q$, where $t>0$ and $q \geq 0$ are parameters. This model, which we call the $(q, t)$~$K$-ASEP, reduces to the usual ASEP on the ring when $K = 1$ and to a model studied by Schütz and Sandow (\emph{Phys. Rev. E}, 1994) when $t = q = 1$. This is a special case of the misanthrope process and as a consequence, the steady state does not depend on $q$ and is of product form, generalizing the same phenomena for the ASEP. What is interesting here is the steady state weights are given by explicit formulas involving $t$-binomial coefficients, and are palindromic polynomials in $t$. Interestingly, although the $(q, t)$~$K$-ASEP does not satisfy particle-hole symmetry, its steady state does. We analyze the density and calculate the most probable number of particles at a site in the steady state in various regimes of $t$. Lastly, we construct a two-dimensional exclusion process on a discrete cylinder with height $K$ and circumference $L$ which projects to the $(q, t)$~$K$-ASEP and whose steady state distribution is also of product form. We believe this model will serve as an illustrative example in constructing two-dimensional analogues of misanthrope processes.
Simulations are attached as ancillary files.
Two product formulas for counting successive vertex orderings
A vertex ordering of a graph $G$ is a bijection $π\colon\{1,\dots,|V(G)|\}\to V(G)$. It is successive if the induced subgraph $G[v_{π(1)},\dots,v_{π(k)}]$ is connected for each $k$. Lixing Fang, Hao Huang, János Pach, Gábor Tardos, and Junchi Zuo [J. Comb. Theory A199 (2023), 105776] gave formulas for counting the number of successive vertex orderings for a class of graphs they called "fully regular," and conjectured that these formulas could be written as certain products involving differences or ratios of binomial coefficients in two cases: When the graph is the line graph $L(K_n^{(3)})$ of the complete $3$-uniform hypergraph, or when it is the line graph $L(K_{m,n}^{(1,2)})$ of a complete "bipartite" $3$-uniform hypergraph. In this paper, we confirm both of these conjectures.
Maximal line-free sets in $\mathbb{F}_p^n$
Published
• View Publication
• BIB
We study subsets of $\mathbb{F}_p^n$ that do not contain progressions of length $k$. We denote by $r_k(\mathbb{F}_p^n)$ the cardinality of such subsets containing a maximal number of elements.
In this paper we focus on the case $k=p$ and therefore sets containing no full line. A~trivial lower bound $r_p(\mathbb{F}_p^n)\geq(p-1)^n$ is achieved by a hypercube of side length $p-1$ and it is known that equality holds for $n\in\{1,2\}$. We will however show that $r_p(\mathbb{F}_p^3)\geq (p-1)^3+p-2\sqrt{p}$, which is the first improvement in the three dimensional case that is increasing in $p$.
We will also give the upper bound $r_p(\mathbb{F}_p^{3})\leq p^3-2p^2-(\sqrt{2}-1)p+2$ as well as generalizations for higher dimensions.
Finally we present some bounds for individual $p$ and $n$, in particular $r_5(\mathbb{F}_5^{3})\geq 70$ and $r_7(\mathbb{F}_7^{3})\geq 225$ which can be used to give the asymptotic lower bound $4.121^n$ for $r_5(\mathbb{F}_5^{n})$ and $6.082^n$ for $r_7(\mathbb{F}_7^{n})$.
Prohibited Minors For Graphic Matroids That Gives A Binary Gammoid After Splitting
Splitting operation in Matroid Theory does not preserve graphicness, connectedness, cographicness, etc. Also, the splitting of binary gammoid does not necessarily be binary gammoid after splitting. We have characterized a class of graphic matroids that gives binary gammoids after splitting. We have obtained prohibited minors for graphic and cographic matroid which gives binary gammoid after splitting using two and three elements.
Indicated total domination game
Published
• View Publication
• BIB
A vertex $u$ in a graph $G$ totally dominates a vertex $v$ if $u$ is adjacent to $v$ in $G$. A total dominating set of $G$ is a set $S$ of vertices of $G$ such that every vertex of $G$ is totally dominated by a vertex in $S$. The indicated total domination game is played on a graph $G$ by two players, Dominator and Staller, who take turns making a move. In each of his moves, Dominator indicates a vertex $v$ of the graph that has not been totally dominated in the previous moves, and Staller chooses (or selects) any vertex adjacent to $v$ that has not yet been played, and adds it to a set $D$ that is being built during the game. The game ends when every vertex is totally dominated, that is, when $D$ is a total dominating set of $G$. The goal of Dominator is to minimize the size of $D$, while Staller wants just the opposite. Providing that both players are playing optimally with respect to their goals, the size of the resulting set $D$ is the indicated total domination number of $G$, denoted by $γ_t^{\rm i}(G)$. In this paper we present several results on indicated total domination game. Among other results we prove that the indicated total domination number of a graph is bounded below by the well studied upper total domination number.
Periodic $q$-Whittaker and Hall-Littlewood processes
We study the periodic $q$-Whittaker and Hall-Littlewood processes, two probability measures on sequences of partitions. We prove that a certain observable of the periodic $q$-Whittaker process exhibits a $(q,u)$ symmetry after a random shift, generalizing a previous result of Imamura, Mucciconi, and Sasamoto who showed a matching between the periodic Schur and $q$-Whittaker measures, and also give a vertex model formulation of their result. As part of our proof of the $(q,u)$ symmetry, we obtain contour integral formulas for both the periodic $q$-Whittaker and Hall-Littlewood processes. We also show a matching between certain observables in the periodic Hall-Littlewood process and in a quasi-periodic stochastic six vertex model after a suitable random shift, and discuss a limit to the stationary periodic stochastic six vertex model.
Minimum number of arcs in $k$-critical digraphs with order at most $2k-1$
Published
• View Publication
• BIB
The dichromatic number $\vecχ(D)$ of a digraph $D$ is the least integer $k$ for which $D$ has a coloring with $k$ colors such that there is no monochromatic directed cycle in $D$. The digraphs considered here are finite and may have antiparallel arcs, but no parallel arcs. A digraph $D$ is called $k$-critical if each proper subdigraph $D'$ of $D$ satisfies $\vecχ(D')<\vecχ(D)=k$. For integers $k$ and $n$, let $\overrightarrow{\mathrm{ext}}(k,n)$ denote the minimum number of arcs possible in a $k$-critical digraph of order $n$. It is easy to show that $\overrightarrow{\mathrm{ext}}(2,n)=n$ for all $n\geq 2$, and $\overrightarrow{\mathrm{ext}}(3,n)\geq 2n$ for all possible $n$, where equality holds if and only if $n$ is odd and $n\geq 3$. As a main result we prove that if $n, k$ and $p$ are integers with $n=k+p$ and $2\leq p \leq k-1$, then $\overrightarrow{\mathrm{ext}}(k,n)=2({\binom{n}{2}} - (p^2+1))$, and we give an exact characterisation of $k$-critical digraphs for which equality holds. This generalizes a result about critical graphs obtained in 1963 by Tibor Gallai.
The Nash-Williams orientation theorem for graphs with countably many ends
Published in European Journal of Combinatorics (2024)
• View Publication
• BIB
Nash-Williams proved in 1960 that a finite graph admits a $k$-arc-connected orientation if and only if it is $2k$-edge-connected, and conjectured that the same result should hold for all infinite graphs, too.
Progress on Nash-Williams's problem was made by C. Thomassen, who proved in 2016 that all $8k$-edge-connected infinite graphs admit a $k$-arc connected orientation, and by the first author, who recently showed that edge-connectivity of $4k$ suffices for locally-finite, 1-ended graphs.
In the present article, we establish the optimal bound $2k$ in Nash-Williams's conjecture for all locally finite graphs with countably many ends.
Minimal free resolutions of numerical semigroup algebras via Apéry specialization
Published in Pacific J. Math. 334 (2025) 211-231
• View Publication
• BIB
Numerical semigroups with multiplicity $m$ are parameterized by integer points in a polyhedral cone $C_m$, according to Kunz. For the toric ideal of any such semigroup, the main result here constructs a free resolution whose overall structure is identical for all semigroups parametrized by the relative interior of a fixed face of $C_m$. The matrix entries of this resolution are monomials whose exponents are parametrized by the coordinates of the corresponding point in $C_m$, and minimality of the resolution is achieved when the semigroup is maximal embedding dimension, which is the case parametrized by the interior of $C_m$ itself.
The cluster complex for cluster Poisson varieties and representations of acyclic quivers
Published
• View Publication
• BIB
Let $\mathcal{X}$ be a skew-symmetrizable cluster Poisson variety. The cluster complex $Δ^+(\mathcal{X})$ was introduced by Gross, Hacking, Keel and Kontsevich. It codifies the theta functions on $\mathcal{X}$ that restrict to a character of a seed torus. Every seed ${ \bf s}$ for $\mathcal{X}$ determines a fan realization $Δ^+_{\bf s}(\mathcal{X})$ of $Δ^+(\mathcal{X})$. For every ${\bf s}$ we provide a simple and explicit description of the cones of $Δ^+_{\bf s}(\mathcal{X})$ and their facets using ${\bf c}$-vectors. Moreover, we give formulas for the theta functions parametrized by the integral points of $Δ^+_{ \bf s}(\mathcal{X})$ in terms of $F$-polynomials. In case $\mathcal{X}$ is skew-symmetric and the quiver $Q$ associated to ${\bf s}$ is acyclic, we describe the normal vectors of the supporting hyperplanes of the cones of $Δ^+_{\bf s}(\mathcal{X})$ using ${\bf g}$-vectors of (non-necessarily rigid) objects in $\mathsf{K}^{\rm b}(\text{proj} \; kQ)$.
Taylor coefficients and series involving harmonic numbers
During 2022--2023 Z.-W. Sun posed many conjectures on infinite series with summands involving generalized harmonic numbers. Motivated by this, we deduce $58$ series identities involving harmonic numbers, eight of which were previously conjectured by the second author. For example, we obtain that \[ \sum_{k=1}^{\infty} \frac{(-1)^k}{k^2{2k \choose k}{3k \choose k}} \left( \frac{7 k-2}{2 k-1} H_{k-1}^{(2)}-\frac{3}{4 k^2} \right) = \frac{π^4}{720}. \] and \[ \sum_{k=1}^\infty \frac{1}{k^2 {2k \choose k}^2} \left( \frac{30k-11}{k(2k-1)} (H_{2k-1}^{(3)} + 2 H_{k-1}^{(3)}) + \frac{27}{8k^4} \right) = 4 ζ(3)^2, \] where $H_n^{(m)}$ denotes $\sum_{0<j \le n}j^{-m}$.
Quantum K Whitney relations for partial flag varieties
In a recent paper, we stated conjectural presentations for the equivariant quantum K ring of partial flag varieties, motivated by physics considerations. In this companion paper, we analyze these presentations mathematically. We start by proving a Nakayama type result for quantum K theory: if the conjectured set of relations deforms a complete set of relations of the classical K theory ring, then they must form a complete set of relations for the quantum K ring. We prove the conjectured presentation in the case of the incidence varieties, and we show that if a quantum K divisor axiom holds (as conjectured by Buch and Mihalcea), then the conjectured presentation also holds for the complete flag variety. Finally, we briefly revisit the change of variables relating the mathematics and physics presentations.
On two conjectures about the intersection of longest paths and cycles
A conjecture attributed to Smith states that every pair of longest cycles in a $k$-connected graph intersect each other in at least $k$ vertices. In this paper, we show that every pair of longest cycles in a~$k$-connected graph on $n$ vertices intersect each other in at least~$\min\{n,8k-n-16\}$ vertices, which confirms Smith's conjecture when $k\geq (n+16)/7$. An analog conjecture for paths instead of cycles was stated by Hippchen. By a simple reduction, we relate both conjectures, showing that Hippchen's conjecture is valid when either $k \leq 6$ or $k \geq (n+9)/7$.
Stanley-Wilf Limits for Patterns in Rooted Labeled Forests
Published
• View Publication
• BIB
Building off recent work of Garg and Peng, we continue the investigation into classical and consecutive pattern avoidance in rooted forests. We prove a forest analogue of the Stanley-Wilf conjecture for avoiding a single pattern as well as certain other sets of patterns. Our techniques are analytic, easily generalizing to different types of pattern avoidance and allowing for computations of convergent lower bounds of the forest Stanley-Wilf limit in the cases covered by our result. We end with several open questions and directions for future research, including some on the limit distributions of certain statistics of pattern-avoiding forests.
Poset Associahedra and Stack-sorting
Published
• View Publication
• BIB
For any finite connected poset $P$, Galashin introduced a simple convex $(|P|-2)$-dimensional polytope $\mathscr{A}(P)$ called the poset associahedron. For a certain family of posets, whose poset associahedra interpolate between the classical permutohedron and associahedron, we give a simple combinatorial interpretation of the $h$-vector. Our interpretation relates to the theory of stack-sorting of permutations. It also allows us to prove real-rootedness of some of their $h$-polynomials.
Apex Graphs and Cographs
Published
• View Publication
• BIB
A class $\mathcal{G}$ of graphs is called hereditary if it is closed under taking induced subgraphs. We denote by $\mathcal{G}^\mathrm{apex}$ the class of graphs $G$ that contain a vertex $v$ such that $G-v$ is in $\mathcal{G}$. We prove that if a hereditary class $\mathcal{G}$ has finitely many forbidden induced subgraphs, then so does $\mathcal{G}^\mathrm{apex}$.
The hereditary class of cographs consists of all graphs $G$ that can be generated from $K_1$ using complementation and disjoint union. A graph is an apex cograph if it contains a vertex whose deletion results in a cograph. Cographs are precisely the graphs that do not have the $4$-vertex path as an induced subgraph. Our main result finds all such forbidden induced subgraphs for the class of apex cographs.
The tropical polytope is the set of all weighted tropical Fermat-Weber points
Let $\mathbf{v}_1,\ldots,\mathbf{v}_m$ be points in a metric space with distance $d$, and let $w_1,\ldots,w_m$ be positive real weights. The weighted Fermat-Weber points are those points $\mathbf{x}$ which minimize $\sum w_i d(\mathbf{v}_i, \mathbf{x})$. We extend a result of Comăneci and Joswig, that the set of unweighted Fermat-Weber points agrees with the "central" covector cell of the tropical convex hull of $\mathbf{v}_1,\ldots,\mathbf{v}_m$, to the weighted setting. In particular, we show that for any fixed data points $\mathbf{v}_1, \ldots, \mathbf{v}_m$, and any covector cell of the tropical convex hull of the data, there is a choice of weights that makes that cell the Fermat-Weber set. We similarly extend the method of Comăneci and Joswig for computing consensus trees in phylogenetics.
A Faster Deterministic Approximation Algorithm for TTP-2
Published
• View Publication
• BIB
The traveling tournament problem (TTP) is to minimize the total traveling distance of all teams in a double round-robin tournament. In this paper, we focus on TTP-2, in which each team plays at most two consecutive home games and at most two consecutive away games. For the case where the number of teams $n\equiv2$ (mod 4), Zhao and Xiao (2022) presented a $(1+5/n)$-approximation algorithm. This is a randomized algorithm running in $O(n^3)$ time, and its derandomized version runs in $O(n^4)$ time. In this paper, we present a faster deterministic algorithm running in $O(n^3)$ time, with approximation ratio $1+9/n$. This ratio improves the previous approximation ratios of the deterministic algorithms with the same time complexity.