Showing 20 papers (Total: 82000 papers, 47479 authors in database)
Bulgarian Solitaire: A new representation for depth generating functions
Bulgarian Solitaire is an interesting self-map on the set of integer partitions of a fixed number $n$. As a finite dynamical system, its long-term behavior is well-understood, having recurrent orbits parametrized by necklaces of beads with two colors black $B$ and white $W$. However, the behavior of the transient elements within each orbit is much less understood.
Recent work of Pham considered the orbits corresponding to a family of necklaces $P^\ell$ that are concatenations of $\ell$ copies of a fixed primitive necklace $P$. She proved striking limiting behavior as $\ell$ goes to infinity: the level statistic for the orbit, counting how many steps it takes a partition to reach the recurrent cycle, has a limiting distribution, whose generating function $H_p(x)$ is rational. Pham also conjectured that $H_P(x), H_{P^*}(x)$ share the same denominator whenever $P^*$ is obtained from $P$ by reading it backwards and swapping $B$ for $W$.
Here we introduce a new representation of Bulgarian Solitaire that is convenient for the study of these generating functions. We then use it to prove two instances of Pham's conjecture, showing that
$$H_{BWBWB \cdots WB}(x)=H_{WBWBW \cdots BW}(x)$$ and that $H_{BWWW\cdots W}(x),H_{WBBB\cdots B}(x)$ share the same denominator.
Note on Hamiltonicity of basis graphs of even delta-matroids
Published in J. Graph Theory, 109(4):446-453, August 2025
• View Publication
• BIB
We show that the basis graph of an even delta-matroid is Hamiltonian if it has more than two vertices. More strongly, we prove that for two distinct edges $e$ and $f$ sharing a common end, it has a Hamiltonian cycle using $e$ and avoiding $f$ unless it has at most two vertices or it is a cycle of length at most four. We also prove that if the basis graph is not a hypercube graph, then each vertex belongs to cycles of every length $\ell\ge 3$, and each edge belongs to cycles of every length $\ell \ge 4$. For the last theorem, we provide two proofs, one of which uses the result of Naddef (1984) on polytopes and the result of Chepoi (2007) on basis graphs of even delta-matroids, and the other is a direct proof using various properties of even delta-matroids. Our theorems generalize the analogous results for matroids by Holzmann and Harary (1972) and Bondy and Ingleton (1976).
Optimal chromatic bound for ($P_3\cup P_2$, house)-free graphs
Published
• View Publication
• BIB
Let $G$ and $H$ be two vertex disjoint graphs. The {\em union} $G\cup H$ is the graph with $V(G\cup H)=V(G)\cup V(H)$ and $E(G\cup H)=E(G)\cup E(H)$. We use $P_k$ to denote a {\em path} on $k$ vertices, use {\em house} to denote the complement of $P_5$. In this paper, we show that $χ(G)\le2ω(G)$ if $G$ is ($P_3\cup P_2$, house)-free. Moreover, this bound is optimal when $ω(G)\ge2$.
Extensions of transversal valuated matroids
Published
• View Publication
• BIB
Following up on our previous work, we study single-element extensions of transversal valuated matroids. We show that tropical presentations of valuated matroids with a minimal set of finite entries enjoy counterparts of the properties proved by Bonin and de Mier of minimal non-valuated transversal presentations.
Sullivant-Talaska ideal of the cyclic Gaussian Graphical Model
Published
• View Publication
• BIB
In this paper, we settle a conjecture due to Sturmfels and Uhler concerning generation of the prime ideal of the variety associated to the Gaussian graphical model of any cycle graph. Our methods are general and applicable to a large class of ideals with radical initial ideals.
Erdős-Gyárfás Conjecture for $P_{10}$-free Graphs
Published
• View Publication
• BIB
Let $P_{10}$ be a path on $10$ vertices. A graph is said to be $P_{10}$-free if it does not contain $P_{10}$ as an induced subgraph. The well-known Erdős-Gyárfás Conjecture states that every graph with minimum degree at least three has a cycle whose length is a power of $2$. In this paper, we show that every $P_{10}$-free graph with minimum degree at least three contains a cycle of length $4$ or $8$. This implies that the conjecture is true for $P_{10}$-free graphs.
Counting geodesics between surface triangulations
Published in Math. Proc. Camb. Phil. Soc. 178 (2025) 45-63
• View Publication
• BIB
Given a surface $Σ$ equipped with a set $P$ of marked points, we consider the triangulations of $Σ$ with vertex set $P$. The flip-graph of $Σ$ whose vertices are these triangulations, and whose edges correspond to flipping arcs appears in the study of moduli spaces and mapping class groups. We consider the number of geodesics in the flip-graph of $Σ$ between two triangulations as a function of their distance. We show that this number grows exponentially provided the surface has enough topology, and that in the remaining cases the growth is polynomial.
Towards the Automorphism Conjecture I: Combinatorial Control
This paper exploits adjacencies between the orbits of an ordered set P and a consequence of the classification of finite simple groups to, in many cases, exponentially bound the number of automorphisms. Results clearly identify the structures which currently prevent the proof of such an exponential bound, or which indeed inflate the number of automorphisms beyond such a bound. This is a first step towards a possible resolution of the Automorphism Conjecture for ordered sets.
Comparing Width Parameters on Graph Classes
Published
• View Publication
• BIB
We study how the relationship between non-equivalent width parameters changes once we restrict to some special graph class. As width parameters, we consider treewidth, clique-width, twin-width, mim-width, sim-width and tree-independence number, whereas as graph classes we consider $K_{t,t}$-subgraph-free graphs, line graphs and their common superclass, for $t \geq 3$, of $K_{t,t}$-free graphs.
We first provide a complete comparison when restricted to $K_{t,t}$-subgraph-free graphs, showing in particular that treewidth, clique-width, mim-width, sim-width and tree-independence number are all equivalent. This extends a result of Gurski and Wanke (2000) stating that treewidth and clique-width are equivalent for the class of $K_{t,t}$-subgraph-free graphs.
Next, we provide a complete comparison when restricted to line graphs, showing in particular that, on any class of line graphs, clique-width, mim-width, sim-width and tree-independence number are all equivalent, and bounded if and only if the class of root graphs has bounded treewidth. This extends a result of Gurski and Wanke (2007) stating that a class of graphs ${\cal G}$ has bounded treewidth if and only if the class of line graphs of graphs in ${\cal G}$ has bounded clique-width.
We then provide an almost-complete comparison for $K_{t,t}$-free graphs, leaving one missing case. Our main result is that $K_{t,t}$-free graphs of bounded mim-width have bounded tree-independence number. This result has structural and algorithmic consequences. In particular, it proves a special case of a conjecture of Dallard, Milanič and Štorgel.
Finally, we consider the question of whether boundedness of a certain width parameter is preserved under graph powers. We show that the question has a positive answer for sim-width precisely in the case of odd powers.
Posiform Planting: Generating QUBO Instances for Benchmarking
Published in Frontiers in Computer Science, 2023 Sec. Theoretical Computer Science
• View Publication
• BIB
We are interested in benchmarking both quantum annealing and classical algorithms for minimizing Quadratic Unconstrained Binary Optimization (QUBO) problems. Such problems are NP-hard in general, implying that the exact minima of randomly generated instances are hard to find and thus typically unknown. While brute forcing smaller instances is possible, such instances are typically not interesting due to being too easy for both quantum and classical algorithms. In this contribution, we propose a novel method, called posiform planting, for generating random QUBO instances of arbitrary size with known optimal solutions, and use those instances to benchmark the sampling quality of four D-Wave quantum annealers utilizing different interconnection structures (Chimera, Pegasus, and Zephyr hardware graphs) as well as the simulated annealing algorithm. Posiform planting differs from many existing methods in two key ways. It ensures the uniqueness of the planted optimal solution, thus avoiding groundstate degeneracy, and it enables the generation of QUBOs that are tailored to a given hardware connectivity structure, provided that the connectivity is not too sparse. Posiform planted QUBOs are a type of 2-SAT boolean satisfiability combinatorial optimization problems. Our experiments demonstrate the capability of the D-Wave quantum annealers to sample the optimal planted solution of combinatorial optimization problems with up to $5627$ qubits.
Periodic Points of Consecutive-Pattern-Avoiding Stack-Sorting Maps
Published
• View Publication
• BIB
West's stack-sorting map involves a stack which avoids the permutation $21$ consecutively. Defant and Zheng extended this to a consecutive-pattern-avoiding stack-sorting map $SC_σ$, where the stack must always avoid a given permutation $σ$ consecutively. We address one of the main conjectures raised by Defant and Zheng in their dynamical approach to $SC_σ$. Specifically, we show that the periodic points of $SC_σ$ are precisely the permutations that consecutively avoid $σ$ and its reverse.
Continued fractions and lines across the Stern--Brocot diagram
Published in Involve 18 (2025) 373-385
• View Publication
• BIB
This paper concerns the relationships between continued fractions and the geometry of the Stern-Brocot diagram. Each rational number can be expressed as a continued fraction $[a_0; a_1, \ldots, a_n]$ whose terms $a_i$ are integers and are positive if $i \geq 1$. Select an index $i \in \{ 1, \ldots, n \}$ and replace $a_i$ with an integer $m$ to obtain a continued fraction expansion for an extended rational $α_m \in \mathbb{Q} \cup \{ \infty \}$. This paper shows that the vertices of the Stern-Brocot diagram corresponding to the numbers $\{ α_m \}_{m \in \mathbb{Z}}$ lie on a pair of (extended) Euclidean lines across the diagram. The slopes of these two lines differ only by a sign change and they meet at the point $L=\left([a_0; a_1, \ldots, a_{i-1}], 0\right) \in \mathbb{R}^2$. Moreover, as $\lvert m \rvert \to \infty$, the associated vertices move down these lines and converge to $L$. This paper concludes with a discussion which interprets this result in the context of 2-bridge link complements and Thurston's work on hyperbolic Dehn surgery.
Note on disjoint faces in simple topological graphs
Published
• View Publication
• BIB
We prove that every $n$-vertex complete simple topological graph generates at least $Ω(n)$ pairwise disjoint $4$-faces. This improves upon a recent result by Hubard and Suk. As an immediate corollary, every $n$-vertex complete simple topological graph drawn in the unit square generates a $4$-face with area at most $O(1/n)$. This can be seen as a topological variant of the Heilbronn problem for quadrilaterals. We construct examples showing that our result is asymptotically tight. We also discuss the similar problem for $k$-faces with arbitrary $k\geq 3$.
Hurwitz numbers for reflection groups III: Uniform formulas
Published in J. London Math. Soc. 111 (2025), Paper e70102
• View Publication
• BIB
We give uniform formulas for the number of full reflection factorizations of a parabolic quasi-Coxeter element in a Weyl group or complex reflection group, generalizing the formula for the genus-0 Hurwitz numbers. This paper is the culmination of a series of three.
A new approach to pancyclicity of Paley graphs I
Let $G$ be an undirected graph of order $n$ and let $C_i$ be an $i$-cycle graph. $G$ is called pancyclic if $G$ contains a $C_i$ for any $i\in \{3,4,\ldots,n\}$. We show that the pancyclicity of specific Cayley graphs and the Cartesian product of specific two graphs. As a corollary of these two theorems, we provide a new proof of the pancyclicity of the Paley graph.
Induced-Minor-Free Graphs: Separator Theorem, Subexponential Algorithms, and Improved Hardness of Recognition
Published
• View Publication
• BIB
A graph $G$ contains a graph $H$ as an induced minor if $H$ can be obtained from $G$ by vertex deletions and edge contractions. The class of $H$-induced-minor-free graphs generalizes the class of $H$-minor-free graphs, but unlike $H$-minor-free graphs, it can contain dense graphs. We show that if an $n$-vertex $m$-edge graph $G$ does not contain a graph $H$ as an induced minor, then it has a balanced vertex separator of size $O_{H}(\sqrt{m})$, where the $O_{H}(\cdot)$-notation hides factors depending on $H$. More precisely, our upper bound for the size of the balanced separator is $O(\min(|V(H)|^2, \log n) \cdot \sqrt{|V(H)|+|E(H)|} \cdot \sqrt{m})$. We give an algorithm for finding either an induced minor model of $H$ in $G$ or such a separator in randomized polynomial-time. We apply this to obtain subexponential $2^{O_{H}(n^{2/3} \log n)}$ time algorithms on $H$-induced-minor-free graphs for a large class of problems including maximum independent set, minimum feedback vertex set, 3-coloring, and planarization.
For graphs $H$ where every edge is incident to a vertex of degree at most 2, our results imply a $2^{O_{H}(n^{2/3} \log n)}$ time algorithm for testing if $G$ contains $H$ as an induced minor. Our second main result is that there exists a fixed tree $T$, so that there is no $2^{o(n/\log^3 n)}$ time algorithm for testing if a given $n$-vertex graph contains $T$ as an induced minor unless the Exponential Time Hypothesis (ETH) fails. Our reduction also gives NP-hardness, which solves an open problem asked by Fellows, Kratochvíl, Middendorf, and Pfeiffer [Algorithmica, 1995], who asked if there exists a fixed planar graph $H$ so that testing for $H$ as an induced minor is NP-hard.
Mean-Biased Processes for Balanced Allocations
We introduce a new class of balanced allocation processes which bias towards underloaded bins (those with load below the mean load) either by skewing the probability by which a bin is chosen for an allocation (probability bias), or alternatively, by adding more balls to an underloaded bin (weight bias). A prototypical process satisfying the probability bias condition is Mean-Thinning: At each round, we sample one bin and if it is underloaded, we allocate one ball; otherwise, we allocate one ball to a second bin sample. Versions of this process have been in use since at least 1986. An example of a process, introduced by us, which satisfies the weight bias condition is Twinning: At each round, we only sample one bin. If the bin is underloaded, then we allocate two balls; otherwise, we allocate only one ball.
Our main result is that for any process with a probability or weight bias, with high probability the gap between maximum and minimum load is logarithmic in the number of bins. This result holds for any number of allocated balls (heavily loaded case), covers many natural processes that relax the Two-Choice process, and we also prove it is tight for many such processes, including Mean-Thinning and Twinning.
Our analysis employs a delicate interplay between linear, quadratic and exponential potential functions. It also hinges on a phenomenon we call "mean quantile stabilization", which holds in greater generality than our framework and may be of independent interest.
Inversion and Cubic Vectors for Permutrees
We introduce two generalizations of bracket vectors from binary trees to permutrees. These new vectors help describe algebraic and geometric properties of the rotation lattice of permutrees defined by Pilaud and Pons. The first generalization serves the role of an inversion vector for permutrees allowing us to define an explicit meet operation and provide a new constructive proof of the lattice property for permutree rotation lattices. The second generalization, which we call cubic vectors, allows for the construction of a cubic realization of these lattices which is proven to form a cubical embedding of the corresponding permutreehedra. These results specialize to those known about permutahedra and associahedra.
Total positivity from a kind of lattice paths
Total positivity of matrices is deeply studied and plays an important role in various branches of mathematics. The main purpose of this paper is to study total positivity of a matrix $M=[M_{n,k}]_{n,k}$ generated by the weighted lattice paths in $\mathbb{N}^2$ from the origin $(0,0)$ to the point $(k,n)$ consisting of types of steps: $(0,1)$ and $(1,t+i)$ for $0\leq i\leq \ell$, where each step $(0,1)$ from height~$n-1$ gets the weight~$b_n(\textbf{y})$ and each step $(1,t+i)$ from height~$n-t-i$ gets the weight $a_n^{(i)}(\textbf{x})$.
Using an algebraic method, we prove that the $\textbf{x}$-total positivity of the weight matrix $[a_i^{(i-j)}(\textbf{x})]_{i,j}$ implies that of $M$. Furthermore, using the Lindström-Gessel-Viennot lemma, we obtain that both $M$ and the Toeplitz matrix of each row sequence of $M$ with $t\geq1$ are $\textbf{x}$-totally positive under the following three cases respectively: (1) $\ell=1$, (2) $\ell=2$ and restrictions for $a_n^{(i)}$, (3) general $\ell$ and both $a^{(i)}_n$ and $b_n$ are independent of $n$. In addition, for the case (3), we show that the matrix $M$ is a Riordan array, present its explicit formula and prove total positivity of the Toeplitz matrix of the each column of $M$. In particular, from the results for Toeplitz-total positivity, we also obtain the Pólya frequency and log-concavity of the corresponding sequence.
Finally, as applications, we in a unified manner establish total positivity and the Toeplitz-total positivity for many well-known combinatorial triangles, including the Pascal triangle, the Pascal square, the Delannoy triangle, the Delannoy square, the signless Stirling triangle of the first kind, the Legendre-Stirling triangle of the first kind, the Jacobi-Stirling triangle of the first kind, the Brenti's recursive matrix, and so on.
Cycles in graphs and in hypergraphs: results and problems
This is an expository paper. A $1$-cycle in a graph is a set $C$ of edges such that every vertex is contained in an even number of edges from $C$. E.g., a cycle in the sense of graph theory is a $1$-cycle, but not vice versa. It is easy to check that the sum (modulo $2$) of $1$-cycles is a $1$-cycle. In this text we study the following problems: to find
$\bullet$ the number of all 1-cycles in a given graph;
$\bullet$ a small number of 1-cycles in a given graph such that any 1-cycle is the sum of some of them.
We also consider generalizations (of these problems) to graphs with symmetry, and to $2$-cycles in $2$-dimensional hypergraphs.