Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Perfect t-Embeddings of Uniformly Weighted Generalized Tower Graphs
In this paper, we study sequences of perfect t-embeddings of a uniformly weighted family of graphs we call generalized tower graphs. We show that the embeddings of these graphs satisfy certain technical assumptions, in particular, the rigidity assumption of Berggren-Nicoletti-Russkikh. As a result, we confirm the convergence of the gradients of the height function fluctuations of these graphs to those of the Gaussian free field.
From finding a spanning subgraph $H$ to an $H$-factor
A typical Dirac-type problem in extremal graph theory is to determine the minimum degree threshold for a graph $G$ to have a spanning subgraph $H$, e.g. the Dirac theorem. A natural following up problem would be to seek an $H$-factor, which a spanning set of vertex-disjoint copies of $H$. In this short note, we present a method of obtaining an upper bound on the minimum degree threshold for an $H$-factor from one for finding a spanning copy of $H$.
As an application, we proved that, for all $\varepsilon>0$ and $\ell$ sufficiently large, any oriented graph $G$ on $\ell m$ vertices with minimum semi-degree $δ^0(G) \ge (3/8+ \varepsilon) k \ell$ contains a $C_\ell$-factor, where $C_\ell$ is an arbitrary orientation of a cycle on $\ell$ vertices. This improves a result of Wang, Yan and Zhang.
Perfect Divisibility and Coloring of Some Bull-Free Graphs
A graph $G$ is {\em perfectly divisible} if, for each induced subgraph $H$ of $G$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$. A {\em bull} is a graph consisting of a triangle with two disjoint pendant edges, a {\em fork } is a graph obtained from $K_{1,3}$ by subdividing an edge once, and an {\em odd torch} is a graph obtained from an odd hole by adding an edge $xy$ such that $x$ is non-adjacent to any vertex on the odd hole and the set of neighbors of $y$ on the odd hole is a stable set.
Chudnovsky and Sivaraman [J. Graph Theory 90 (2019) 54-60] proved that every (odd hole, bull)-free graph and every ($P_5$, bull)-free graph are perfectly divisible. Karthick {\em et al.} [The Electron. J. of Combin. 29 (2022) P3.19.] proved that every (fork, bull)-free graph is perfectly divisible. Chen and Xu [Discrete Appl. Math. 372 (2025) 298-307.] proved that every ($P_7,C_5$, bull)-free graph is perfectly divisible. Let $H\in$\{\{odd~torch\}, $\{P_8,C_5\}\}$. In this paper, we prove that every ($H$, bull)-free graph is perfectly divisible. We also prove that a ($P_6$, bull)-free graph is perfectly divisible if and only if it contains no Mycielski-Grötzsch graph as an induced subgraph. As corollaries, these graphs are $\binom{ω+1}{2}$-colorable. Notice that every odd torch contains an odd hole, an induced $P_5$, and an induced fork. Therefore, our results generalize their findings. Moreover, we prove that every ($P_6$, bull)-free graph $G$ satisfies $χ(G)\leqω(G)^7$.
Pair state transfer in tensor product and double cover
Quantum state transfer, first introduced by Bose in 2003, is an important physical phenomenon in quantum networks, which plays a vital role in quantum communication and quantum computing. In 2004, Christandl et al. proposed the concept of perfect state transfer on graphs by modeling the quantum network using graphs, and unveiled the feasibility of applying graph theory to quantum state transfer. In 2018, Chen and Godsil proposed the definition of Laplacian perfect pair state transfer on graphs, which is a brilliant generalization of perfect state transfer. In this paper, we investigate the existence of Laplacian perfect pair state transfer in tensor product and double cover of two regular graphs, respectively, and reveal fundamental connections between perfect state transfer and Laplacian perfect pair state transfer. We give necessary and sufficient conditions for the tensor product of two regular graphs to admit Laplacian perfect pair state transfer, where one of the two regular graphs admits perfect state transfer or Laplacian perfect pair state transfer. Additionally, we characterize the existence of Laplacian perfect pair state transfer in the double cover of two regular graphs. By our results, a variety of families of graphs admitting Laplacian perfect pair state transfer can be constructed.
Covering rings by proper ideals
Let $R$ be an associative (not necessarily commutative or unital) ring. A cover by left ideals of $R$ is a collection of proper left ideals whose set-theoretic union equals $R$. If such a cover exists, we define the left ideal covering number $η_\ell(R)$ to be the cardinality of a minimal cover, and we also define $R$ to be $η_\ell$-elementary if $η_\ell(R) < η_\ell(R/I)$ for every nonzero two-sided ideal $I$ of $R$. Similarly, we can define analogous notions for covers by right ideals $η_r(R)$ and two-sided ideals $η(R)$. In this paper, we classify all $η_\ell$-, $η_r$-, and $η$-elementary rings, and determine their corresponding ideal covering numbers. Since any ring $R$ that admits a finite cover by left ideals has an $η_\ell$-elementary residue ring $R/I$ such that $η_\ell(R) = η_\ell(R/I)$, this completely characterizes such rings and their ideal covering numbers, and likewise for rings coverable by right or two-sided ideals.
Direct Paths in the Temporal Hypercube
We consider the $n$-dimensional random temporal hypercube, i.e., the $n$-dimensional hypercube graph with its edges endowed with i.i.d. continuous random weights. We say that a vertex $w$ is accessible from another vertex $v$ if and only if there is a path from $v$ to $w$ with increasing edge weights. We study accessible "direct" paths from a fixed vertex to its antipodal point and show that as $n \to \infty$, the number of such paths converges in distribution to a mixed Poisson law with mixture given by the product of two independent exponentials with rate $1$. Our proof makes use of the Chen-Stein method, coupling arguments, as well as combinatorial arguments which show that typical pairs of accessible paths have small overlap.
Extending total colorings in planar graphs
We initiate the study of total-coloring extensions, and focus our attention on planar graphs, asking: ``When can a total-$k$-coloring of some subgraph $H$ of a planar graph $G$ be extended to a total-$k$-coloring of $G$?'' We prove that if $H$ is a matching, then any total-$(Δ+3)$-coloring of $H$ in $G$ extends to $G$ provided $Δ\geq 28$; this number of colors is best-possible without introducing a distance condition on $H$. We also prove that if $H$ is a set of distance-3 cliques then any total-$(Δ+1)$-coloring of $H$ extends to $G$ provided $Δ\geq 27$; this distance condition cannot be lowered.
Tight eigenvalue bound on the traveling salesman problem
A lower bound on the solution to the traveling salesman problem is provided, which is expressed in terms of eigenvalues related to the distance matrix for the problem. This bound has many interesting properties such as transforming appropriately under affine distance transformations and is notably tight for various families of traveling salesman problems with arbitrarily many cities. It is also computed for some real world traveling salesman problems. The eigenvalues in the bound are further related to the Schoenberg criterion from Euclidean geometry. Graph theoretic applications to the Hamiltonian cycle and path problems are given by the fact that the new bound entails necessary graph eigenvalue conditions for a graph to be Hamiltonian or traceable. Various non-trivial families of Cayley graphs saturate these Hamiltonicity conditions, thus in a sense providing almost counterexamples to the famous conjecture that all Cayley graphs are Hamiltonian.
Meanders and Dyck-Path Billiards
Published in RAIRO-Theor. Inf. Appl., 59 (2025) 3
• Search Publication
We study a statistic $\mathsf{traj}$ on the ordered pairs $(P,Q)$ of Dyck paths of size $n$, which counts the number of billiard trajectories in the grid polygon enclosed by $P$ and $-Q$, where $-Q$ is the path obtained by reflecting $Q$ over the ground line. It turns out to coincide with the component statistic of meanders. In terms of grid polygon, we establish an involution on the set of such ordered pairs $(P,Q)$ which either increases or decreases $\mathsf{traj}(P,Q)$ by 1. This proves a result by Di Francesco--Golinelli--Guitter that the numbers of semimeanders (meanders, respectively) of order $n$ with even and odd numbers of components are equal if $n$ is even and differ by a Catalan number (the square of a Catalan number, respectively) if $n$ is odd. Some results about $(-1)$-evaluation of the generating functions for the statistic $\mathsf{traj}$ on restricted sets of Dyck paths are also presented.
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
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
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.
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.