Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Addition theorems for Ziegler pairs of hyperplane arrangements
Inspired by Terao's freeness conjecture, we examine Ziegler pairs, which are pairs of hyperplane arrangements that share the same underlying matroid but have different modules of logarithmic derivations. In this paper, we present a general construction that yields the first known families of Ziegler pairs in arbitrary dimension and size, starting from examples in the complex projective plane.
Exact Lagrangian fillings of twist-spun torus links
Published
• View Publication
• BIB
We construct exact Lagrangian fillings of Legendrian torus links $Λ(k, n-k)$ that are fixed by a Legendrian loop that acts by $2π\ell/n$ rotation. Using these rotationally symmetric fillings, we produce fillings of the corresponding Legendrian twist-spun tori. Our construction is combinatorial in nature, relating symmetric weakly separated collections and plabic graphs to symmetric Legendrian weaves via the T-shift procedure of Casals, Le, Sherman-Bennett, and Weng. The main technical ingredient in this process is a necessary and sufficient condition for the existence of maximal weakly separated collections of $k$-element subsets of $\{1, \dots, n\}$ that are fixed by addition of $\ell$ modulo $n$.
Interpreting a Sum of Third Powers by using a Geometric Assembly in Four Dimensions
We present new combinatorial proofs of Nicomachus's Theorem for the sum of the third powers of the first n natural numbers. The key step is that we define a 4-dimensional block which comprises unit hyper-cubes. In our first proof we assemble 4 copies of this block to construct a rectangular solid. In our second proof we partition the block into two parts, then map and reassemble them into a solid whose shape is a step triangle along two coordinate axes, and is likewise on the other two. For corollaries we present a q-analogue of this identity using taxicab distance, and we interpret q-analogues from 4 different (sets of) authors, using taxicab distances from different starting points.
B-facets in dimension 4
Published
• View Publication
• BIB
We complete the classification of B-facets of a 4-dimensional Newton polyhedron, filling a gap in the classification of arXiv:1309.0630, found by the authors of arXiv:2209.03553.
CayleyPy Growth: Efficient growth computations and hundreds of new conjectures on Cayley graphs (Brief version)
This is the third paper of the CayleyPy project applying artificial intelligence to problems in group theory. We announce the first public release of CayleyPy, an open source Python library for computations with Cayley and Schreier graphs. Compared with systems such as GAP and Sage, CayleyPy handles much larger graphs and performs several orders of magnitude faster.
Using CayleyPy we obtained about 200 new conjectures on Cayley and Schreier graphs, focused on diameters and growth. For many Cayley graphs of symmetric groups Sn we observe quasi polynomial diameter formulas: a small set of quadratic or linear polynomials indexed by n mod s. We conjecture that this is a general phenomenon, giving efficient diameter computation despite the problem being NP hard. We propose a refinement of the Babai type conjecture on diameters of Sn: n^2/2 + 4n upper bounds in the undirected case, compared to previous O(n^2) bounds. We also provide explicit generator families, related to involutions in a square with whiskers pattern, conjectured to maximize the diameter; search confirms this for all n up to 15. We further conjecture an answer to a question posed by V M Glushkov in 1968 on directed Cayley graphs generated by a cyclic shift and a transposition.
For nilpotent groups we conjecture an improvement of J S Ellenberg's results on upper unitriangular matrices over Z/pZ, showing linear dependence of diameter on p. Moreover.
Some conjectures are LLM friendly, naturally stated as sorting problems verifiable by algorithms or Python code. To benchmark path finding we created more than 10 Kaggle datasets. CayleyPy works with arbitrary permutation or matrix groups and includes over 100 predefined generators. Our growth computation code outperforms GAP and Sage up to 1000 times in speed and size.
Infinitely many groups exhibiting intermediate growth in maximal sum-free sets
Given an Abelian groups $G$, denote $μ(G)$ the size of its largest sum-free subset and $f_{\max}(G)$ the number of maximal sum-free sets in $G$. Confirming a prediction by Liu and Sharifzadeh, we prove that all even-order $G\ne \mathbb{Z}_2^k$ have exponentially fewer maximal sum-free sets than $\mathbb{Z}_2^k$, i.e. $f_{\max}(G) \leq 2^{(1/2-c)μ(G)}$, where $c > 10^{-64}$.
We construct an infinite family of Abelian groups $G$ with intermediate growth in the number of maximal sum-free sets, i.e., with $
2^{(\frac{1}{2}+c)μ(G)}\leq f_{\max}(G) \leq 3^{(\frac{1}{3}-c)μ(G)}
$, where $c=10^{-4}$. This disproves a conjecture of Liu and Sharifzadeh and also answers a question of Hassler and Treglown in the negative.
Furthermore, we determine for every even-order group $G$, the number of maximal distinct sum-free sets (where a distinct sum is $a+b= c$ with distinct $a,b,c$): it is $ 2^{(1/2+o(1))μ(G)}$
with the only exception being $G=\mathbb{Z}_2^k \oplus \mathbb{Z}_3$, when this function is $3^{(1/3+o(1))μ(G)}$, refuting a conjecture of Hassler and Treglown.
Our proofs rely on a container theorem due to Green and Ruzsa. Other key ingredient is a sharp upper bound we establish on the number of maximal independent sets in graphs with given matching number, which interpolates between the classical results of Moon and Moser, and Hujter and Tuza. A special case of our bound implies that every $n$-vertex graph with a perfect matching has at most $2^{n/2}$ maximal independent sets, resolving another conjecture of Hassler and Treglown.
Extremal Bounds on the Properties of Sigma and Albertson Indices for Non-Decreasing Degree Sequences
In this paper, we establish bounds on the topological index -- the Sigma index -- focusing on analyzing the upper bound of its maximum value, which is known as $σ_{\max}(\mathcal{S}) = \max \{σ(\mathscr{G}) \mid \mathscr{G} \in \mathcal{S}\}$, where $\mathcal{S}$ is a class of graphs. We establish precise lower and upper bounds for the Sigma index by leveraging degree sequences $\mathscr{D} = (d_1, d_2, \dots, d_n)$, $\mathscr{R} = (t_1, t_2, \dots, t_m)$, and $\mathscr{A} = (a_1, a_2, \dots, a_r)$.
The minimum bound for the Albertson index related to the Sigma index bounds incorporates terms such as $\mathrm{irr}(T)$ and $\left\lfloor \frac{n-2}{a_r - t_m} \right\rfloor $. These results, rooted in extremal graph theory, enhance the understanding of topological indices in molecular and network analysis.
Bounding the Eviction Number of a Graph in Terms of its Independence Number
An eternal dominating family of graph $G$ in the eviction game is a collection $\mathcal{D}_{k}=\{D_{1},...,D_{l}\}$ of dominating sets of $G$ such that (a) $|D_{i}|=|D_{j}|$ for all $i,j\in\{1,2,...,l\}$, and (b) for any $i\in \{1,2,...,l\}$ and any $v\in D_{i}$, either all neighbours of $v$ belong to $D_{i}$, or there are a neighbour $w$ of $v$ not in $D_{i}$ and an integer $j\in\{1,2,...,l\}\setminus\{i\}$ such that $D_{i}\cup\{w\}\setminus \{v\}=D_{j}$. The eviction number of $G$, denoted by $e^{\infty}(G)$, is the smallest cardinality of the sets in such an eternal dominating family.
We compare $e^{\infty}$ to the independence number $α$. We show that the ratio $α/e^{\infty}$ is unbounded and construct an infinite class of connected graphs for which $e^{\infty}/α\approx 4/3$. As our main result, we use Ramsey numbers to show that for any integer $k\geq1$, there exists a function $f(k)$ such that any graph with independence number $k$ has eviction number at most $f(k)$.
Majority relations for Condorcet domains of tiling type
Condorcet domains are subsets of permutations arising in voting theory: regarding their permutations as preference orders on a list of candidates, one avoids Condorcet's paradox when aggregating the preferences via a simple majority relation. We use poset theory to show that, for the subclass of Condorcet domains of tiling type, the majority rule has stronger properties. We then develop techniques to predict the majority rule explicitly for the uniform vote tally on Condorcet domains of tiling type, and apply this to several well-known examples.
A Stable-Set Bound and Maximal Numbers of Nash Equilibria in Bimatrix Games
Published in Mathematics of Operations Research 2025
• View Publication
• BIB
Quint and Shubik (1997) conjectured that a non-degenerate n-by-n game has at most 2^n-1 Nash equilibria in mixed strategies. The conjecture is true for n at most 4 but false for n=6 or larger. We answer it positively for the remaining case n=5, which had been open since 1999. The problem can be translated to a combinatorial question about the vertices of a pair of simple n-polytopes with 2n facets. We introduce a novel obstruction based on the index of an equilibrium, which states that equilibrium vertices belong to two equal-sized disjoint stable sets of the graph of the polytope. This bound is verified directly using the known classification of the 159,375 combinatorial types of dual neighborly polytopes in dimension 5 with 10 facets. Non-neighborly polytopes are analyzed with additional combinatorial techniques where the bound is used for their disjoint facets.
Lattice Models for Double Whittaker Polynomials and Motivic Chern Classes
We will describe solvable lattice models whose partition functions depend on two sets of variables, $x_1,\cdots,x_n$ and $y_1, y_2, \cdots $ that have different connections with the representation theory of $\text{GL}(n,F)$ where $F$ is a nonarchimedean local field. If the boundary conditions are chosen in one way, they are essentially the Motivic Chern classes that were used very effectively by Aluffi, Mihalcea, Schürmann and Su (AMSS) to study such problems. In particular, using this specialization we can obtain deformations $r_{u,v}$ of the Kazhdan-Lusztig R-polynomials that were used by Bump, Nakasuji and Naruse to study matrix coefficients of intertwining operators (introduced by Casselman). Thus we are able see that the recursion formula for the $r_{u,v}$ is a reflection of the Yang-Baxter equation. On the other hand, with more general boundary conditions, specializing the parameters $y_i\to 0$ we recover colored lattice models that were previously used by Brubaker, Buciumas, Bump and Gustafsson to represent Iwahori Whittaker functions on $GL(n,F)$. Thus we term the resulting two-variable-set family of functions as ``double Whittaker polynomials.''
Labeled Chip-Firing on Undirected $k$-ary Trees
We explore labeled chip-firing on undirected $k$-ary trees, trees where every vertex has degree $k+1$. First, we extend known results for binary trees from Musiker and Nguyen, including the endgame and the locations of the smallest and largest chips, as well as relations between chips at different vertices. Then, inspired by recent work on the binary tree by the first author, Khovanova, and Luo, we use these properties to construct an upper bound, which we call the zigzag bound, on the number of stable configurations in labeled chip-firing on $k$-ary trees with $\frac{k^{\ell}-1}{k-1}$ labeled chips starting at the root. We further provide a novel lower bound on the number of stable configurations of $k$-ary trees, complementing our upper bounds.
An Inductive Proof that Lights Out Configurations are Invertible
We give an elementary inductive proof of a classical result for the \emph{Lights Out problem} on graphs: from any configuration of vertices, one can reach the complementary configuration by a sequence of moves, where a move consists of toggling a vertex and its neighbors. Unlike the usual linear-algebraic approach over $\mathbb{F}_2$, our argument is purely combinatorial.
Generalized DP-colorings of digraphs
In this paper we consider the following three coloring concepts for digraphs. First of all, the generalized coloring concept, in which the same colored vertices of a digraph induce a subdigraph that satisfies a given digraph property. Second, the concept of variable degeneracy, introduced for graphs by Borodin, Kostochka and Toft in 2000; this allows to give a common generalization of the point partition number and the list dichromatic number. Finally, the DP-coloring concept as introduced for graphs by Dvořák and Postle in 2018, in which a list assignment of a graph is replaced by a cover. Combining these three coloring concepts leads to generalizations of several classical coloring results for graphs and digraphs, including the theorems of Brooks, of Gallai, of Erdős, Rubin, and Taylor, and of Bernshteyn, Kostochka, and Pron for graphs, and the corresponding theorems for digraphs due to Harutyunyan and Mohar. Our main result combines the DP-coloring and variable degeneracy concepts for digraphs.
Edge version of the inducibility via the entropy method
Published
• View Publication
• BIB
The inducibility of a graph $H$ is about the maximum number of induced copies of $H$ in a graph on $n$ vertices. We consider its edge version, that is, the maximum number of induced copies of $H$ in a graph with $m$ edges. Let $c(G,H)$ be the number of induced copies of $H$ in $G$ and $ρ(H,m) = \max \{c(G,H) \mid |E(G)| = m\}$. For any graph $H$, we prove that $ρ(H,m) = Θ(m^{α_f(H)})$ where $α_f(H)$ is the fractional independence number of $H$. Therefore, we now focus on the constant factor in front of $m^{α_f(H)}$. In this paper, we give some results of $ρ(H,m)$ when $H$ is a cycle or path. We conjecture that for any cycle $C_k$ with $k \ge 5$, $ρ(C_k,m)= (1+o(1))\left( m/k\right)^{k/2}$ and the bound achieves by the blow up of $C_k$. For even cycles, we establish an upper bound with an extra constant factor. For odd cycles, we can only establish an upper bound with an extra factor depending on $k$. We prove that $ρ(P_{2l},m) \le \frac{m^l}{2(l-1)^{l-1}}$ and $ρ(P_{2l+1},m) \le \frac{m^{l+1}}{4l^l}$, where $l \ge 2$. We also conjecture the asymptotic value of $ρ(P_k, m)$. The entropy method is mainly used to prove our results.
Two-Dimensional Faces of Order and Chain Polytopes
Published
• View Publication
• BIB
We give an explicit combinatorial description of the two-dimensional faces of both the order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ of a partially ordered set $P$. Using these descriptions, we show that for any $P$, $\mathcal{C}(P)$ has equally many square faces, and at least as many triangular faces, as $\mathcal{O}(P)$ does. Moreover, the inequality is shown to be strict except when $\mathcal{O}(P)$ and $\mathcal{C}(P)$ are unimodularly equivalent. This proves the case $i=2$ of a conjecture by Hibi and Li.
Incidence theorems for multivariate polynomials over finite fields
We prove several bounds on the number of incidences between two sets of multivariate polynomials of bounded degree over finite fields. From these results, we deduce bounds on incidences between points and multivariate polynomials, extending and strengthening a recent bound of Tamo for points and univariate polynomials. Our bounds are asymptotically tight for a wide range of parameters.
To prove these results, we establish a novel connection between the incidence problem and a naturally defined Cayley color graph, in which the weight of colored edges faithfully reflects the number of incidences. This motivates us to prove an expander mixing lemma for general abelian Cayley color graphs, which generalizes the classic mixing lemma of Alon and Chung, and controls the total weight of colored edges crossing two vertex subsets via eigenvalues.
The Sign Pattern Problem for Ehrhart Polynomials
We investigate the sign patterns of coefficients in the Ehrhart polynomial of the Cartesian product between the $r$-th pyramid over the Reeve tetrahedron and the hypercube $[0, n]^n$. This investigation yields partial results on the sign pattern problem for Ehrhart polynomials. Moreover, we show that for each dimension $d \geq 4$, there exists a $d$-dimensional integral polytope $\mathcal{P}$ such that arbitrarily many of the low-degree coefficients in the Ehrhart polynomial $i(\mathcal{P}, t)$ are negative, while all higher-degree coefficients are positive. Finally, we establish five embedding theorems that enable the sign pattern of a lower-dimensional integral polytope to be embedded into a higher-dimensional integral polytope in various ways. As an application, we completely resolve the Ehrhart coefficient sign pattern problem for dimensions $d = 7, 8, 9$.
Triangle-free quantum graphs
Published
• View Publication
• BIB
We introduce notions of being "triangle-free" and "strongly triangle-free" for operator systems in M_n(C) considered as quantum graphs. Several examples and non-examples are discussed. We provide a complete characterization of strongly triangle-free operator systems.
Smaller universal posets
We show that there is a constant $C>0$ such that for each integer $n\geq 1$, there is a poset on at most $2^{2n/3+C\sqrt{n}}$ elements that contains each $n$-element poset as an (induced) subposet.