Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Strong odd coloring in minor-closed classes
We show that the strong odd chromatic number on any proper minor-closed graph class is bounded by a constant. We almost determine the smallest such constant for outerplanar graphs.
A family of polynomials and related congruences and series
Published in Frontiers in Combinatorics and Number Theory 2 (2026), 1--22
• View Publication
• BIB
In this paper we study a family of polynomials $$S_n^{(m)}(x):=\sum_{i,j=0}^n\binom ni^m\binom nj^m\binom{i+j}ix^{i+j}\ \ (m,n=0,1,2,\ldots).$$ For example, we show that $$\sum_{k=0}^{p-1}S_k^{(0)}(x)\equiv\frac x{2x-1}\left(1+\left(\frac{1-4x^2}p\right)\right)\pmod p $$ for any odd prime $p$ and integer $x\not\equiv1/2\pmod p$, where $(\frac{\cdot}p)$ denotes the Legendre symbol.
We also formulate some open conjectures on related congruences and series for $1/π$. For example, we conjecture that $$\sum_{k=0}^\infty(7k+1)\frac{S_k^{(2)}(1/11)}{9^k}=\frac{5445}{104\sqrt{39}\,π}$$ and $$\sum_{k=0}^\infty(1365k+181)\frac{S_k^{(2)}(1/18)}{16^k}=\frac{1377}{\sqrt2\,π}.$$
Linear colorings of graphs
Published
• View Publication
• BIB
Motivated by algorithmic applications, Kun, O'Brien, Pilipczuk, and Sullivan introduced the parameter linear chromatic number as a relaxation of treedepth and proved that the two parameters are polynomially related. They conjectured that treedepth could be bounded from above by twice the linear chromatic number.
In this paper we investigate the properties of linear chromatic number and provide improved bounds in several graph classes.
Totally odd subdivisions in Kneser graphs
As evidence for the Odd Hadwiger Conjecture, Simonyi and Zsbán (2010) showed that every Kneser graph $G$ with large enough order (compared to $χ(G)$) contains a totally odd subdivision of $K_{χ(G)}$. A recent result of Steiner (2024), shows that every Schriver graph, and thus every Kneser graph, satisfies the Odd Hadwiger Conjecture, that is, it contains $K_{χ(G)}$ as an odd minor. We strengthen these results for Kneser graphs in two ways. We show that for every $t\ge 8$, there are $t$-chromatic Kneser graphs that contain arbitrarily large complete totally odd subdivisions (and thus, odd minors). We also show that every Kneser graph contains a totally odd subdivision of $K_{χ(G)}$.
Kneser graphs are the prime example of graphs having chromatic number equal to its topological lower bounds. Motivated by our main results, we also study totally odd immersions on graphs with this property, proving, in particular, that if the chromatic number of $G$ is equal to any of its topological lower bounds, then $G$ contains a totally odd immersion of $K_{\lfloor χ(G)/2 \rfloor +1}$. This gives evidence for the immersion-analogue of the Odd Hadwiger Conjecture.
The Arboricity Polynomial
We introduce a new matroid (graph) invariant, the arboricity polynomial. Given a matroid, the arboricity polynomial enumerates the number of covers of the ground set by disjoint independent sets. We establish the polynomiality of the counting function as a special case of a scheduling polynomial, i.e. both in terms of quasisymmetric functions and via Ehrhart theory of the normal fan of the matroid base polytope. We show basic properties of the polynomial and demonstrate that it is not a Tutte invariant. Namely, the arboricity polynomial does not satisfy a contraction / deletion recursion.
Relativistic Toda lattice and equivariant $K$-homology of affine Grassmannian
Published
• View Publication
• BIB
We investigate the phenomenon known as ``quantum equals affine'' in the setting of $T$-equivariant quantum $K$-theory of the flag variety $G/B$, as established by Kato for any semisimple algebraic group $G$. In particular, we focus on the $K$-Peterson isomorphism between the $T$-equivariant quantum $K$-ring $QK_T(SL_n(\mathbb{C})/B)$ and the $T$-equivariant $K$-homology ring $K_*^T(\mathrm{Gr}_{SL_n})$ of the affine Grassmannian, after suitable localizations on both sides. Building on an earlier work by Ikeda, Iwao, and Maeno, we present an explicit algebraic realization of the $K$-Peterson map via a rational substitution that sends the generators of the quantum $K$-theory ring to explicit rational expressions in the fundamental generators of $K_*^T(\mathrm{Gr}_{SL_n})$, thereby matching the Schubert bases on both sides. Our approach builds on recent developments in the theory of $QK_T(SL_n(\mathbb{C})/B)$ by Maeno, Naito, and Sagaki, as well as the theory of $K$-theoretic double $k$-Schur functions introduced by Ikeda, Shimozono, and Yamaguchi. This concrete formulation provides new insight into the combinatorial structure of the $K$-Peterson isomorphism in the equivariant setting. As an application, we establish a factorization formula for the $K$-theoretic double $k$-Schur function associated with the maximal $k$-irreducible $k$-bounded partition.
On the smallest eigenvalues of $3$-colorable graphs
We prove that the set of the smallest eigenvalues attained by $3$-colorable graphs is dense in $(-\infty, -λ^*)$, where $λ^* = ρ^{1/2} + ρ^{-1/2} \approx 2.01980$ and $ρ$ is the positive real root of $x^3 = x + 1$. As a consequence, in the context of spherical two-distance sets, our result precludes any further refinement of the forbidden-subgraph method through the chromatic number of signed graphs.
On two conjectures about pattern avoidance of cyclic permutations
Let $π$ be a cyclic permutation that can be expressed in its one-line form as $π= π_1π_2 \cdot\cdot\cdot π_n$ and in its standard cycle form as $π= (c_1,c_2, ..., c_n)$ where $c_1=1$. Archer et al. introduced the notion of pattern avoidance of one-line and the standard cycle form for a cyclic permutation $π$, defined as both $π_1π_2 \cdot\cdot\cdot π_n$ and its standard cycle form $c_1c_2\cdot\cdot\cdot c_{n}$ avoiding a given pattern. Let $\mathcal{A}_n(σ_1,...,σ_k; τ)$ denote the set of cyclic permutations in the symmetric group $S_n$ that avoid each pattern of $\{σ_1,...,σ_k\}$ in their one-line forms and avoid $τ$ in their standard cycle forms. In this paper, we obtain some results about the cyclic permutations avoiding patterns in both one-line and cycle forms. In particular, we resolve two conjectures of Archer et al.
The inversion statistic in derangements and in other permutations with a prescribed number of fixed points
Published
• View Publication
• BIB
We study how the inversion statistic is influenced by fixed points in a permutation. %The expected number of inversions in a uniformly random permutation in $S_n$ is $\frac{n(n-1)}4$. For each $n\in\mathbb{N}$, and each $k\in\{0,1,\cdots, n\}$, let $P_n^{(k)}$ denote the uniform probability measure on the set of permutations in $S_n$ with exactly $k$ fixed points. We obtain an exact formula for the expected number of inversions under the measure $P_n^{(k)}$ as well as for $P_n^{(k)}(σ^{-1}_i<σ^{-1}_j)$, for $1\le i<j\le n$, the $P_n^{(k)}$-probability that the number $i$ precedes the number $j$. In particular,
up to a super-exponentially small correction as $n\to\infty$, the expected number of inversions in a random derangement $(k=0)$ is $\frac16n+\frac1{12}$ more than
the value $\frac{n(n-1)}4$ that one obtains for a uniformly random
general permutation in $S_n$. On the other hand, up to a super-exponentially small correction, for $k\ge2$, the expected number of inversions in a random permutation with $k$ fixed points is $\frac{k-1}6n+\frac{k^2-k-1}{12}$ less than $\frac{n(n-1)}4$. In the borderline case, $k=1$, up to a super-exponentially small correction, the expected number of inversions in a random permutation with one fixed point is $\frac1{12}$ more than $\frac{n(n-1)}4$. The proofs make strategic and perhaps novel use of the Chinese restaurant construction for a uniformly random permutation.
Three combinatorial sums involving central binomial coefficients
We study three classes of combinatorial sums involving central binomial coefficients and harmonic numbers, odd harmonic numbers, and even indexed harmonic numbers, respectively. In each case we use summation by parts to derive recursive expressions for these sums. In addition, we offer an alternative approach to express one class of sums and some related sums in closed form in terms of Stirling numbers and r-Stirling numbers of the second kind.
Regularity properties of Macbeath-Hurwitz and related maps and surfaces
The Macbeath-Hurwitz maps $M$ of type $\{3,7\}$, obtained from the Hurwitz groups $G={\rm PSL}_2(q)$ found by Macbeath, are fully regular by a result of Singerman, with automorphism group $G\times{\rm C}_2$ or ${\rm PGL}_2(q)$. Hall's criterion determines which of these two properties, called inner and outer regularity, $M$ has. Inner (but not outer) regular maps $M$ yield non-orientable regular maps $M/{\rm C}_2$ of the same type with automorphism group $G$. If $q=p^3$ for a prime $p\equiv\pm 2$ or $\pm 3$ mod~$(7)$ the unique map $M$ is inner regular if and only if $p\equiv 1$ mod~$(4)$. If $q=p$ for a prime $p\equiv\pm 1$ mod~$(7)$ there are three maps $M$; we use the density theorems of Frobenius and Chebotarev to show that in this case the sets of such primes $p$ for which $0, 1, 2$ or $3$ of them are inner regular have relative densities $1/8$, $3/8$, $3/8$ and $1/8$ respectively. Hall's criterion and its consequences are extended to the analogous Macbeath maps of type $\{3,n\}$ obtained from ${\rm PSL}_2(q)$ for all $n\ge 7$; theoretical predictions on their number and properties are supported by evidence from the map databases of Conder and Poto\v cnik.
Paired 2-disjoint path covers of Bcube under the partitioned edge fault model
BCube network, as a typical distributed data center network topology, has significant advantages in fault tolerance, load balancing, and efficient routing due to its unique hierarchical structure. In terms of efficient routing, paired many-to-many m-disjoint path cover (m-DPC) plays an important role in message passing. To explore the capability of BCube in constructing paired many-to-many m-DPCs, this paper investigates whether arbitrary 2-DPC paths can be successfully constructed under the partitioned edge fault (PEF) model, especially in the case of a large number of link failures. Through this investigation, the paper aims to address the network fault tolerance issues related to path embedding problems. Theoretical proofs show that under the partitioned edge fault model, BCube exhibits exponential fault tolerance for constructing 2-DPC paths. This study, on one hand, expands the application of the partitioned edge fault model, and on the other hand, contributes to enhancing BCube's ability to achieve large-scale edge fault tolerance.
Incidences, tilings, and fields
Published
• View Publication
• BIB
The master theorem, introduced independently by Richter-Gebert and by Fomin and the first author, provides a method for proving incidence theorems of projective geometry using triangular tilings of surfaces. We investigate which incidence theorems over C and R can or cannot be proved via the master theorem. For this, we formalize the notion of a tiling proof. We introduce a hierarchy of classes of theorems based on the underlying topological spaces. A key tool is considering the same theorems over finite fields.
Finite Free Convolution: Infinitesimal Distributions
Finite-free additive and multiplicative convolutions are operations on the set of polynomials with real roots, introduced independently by Szegö and Walsh in the 1920s. These operations have regained some interest, in the last decade, after being rediscovered by Marcus, Spielman, and Srivastava as the expected characteristic polynomial of randomly rotated matrices. They converge, as the degree $d$ of the polynomials increases, to the additive and multiplicative convolution of measures from free probability of Voiculescu. In this paper, we investigate the fluctuations of order $1/d$ -- also known as infinitesimal distributions -- related to these two operations and their limiting behavior, providing a detailed description of their convergence. Our approach relies on understanding the infinitesimal moment-cumulant formulas and the corresponding functional relations. We also establish several applications and examples, including instances related to the infinitesimal free convolution of Belinschi and Shlyakhtenko, as well as the computation of infinitesimal distributions after differentiation of polynomials.
Tesler identities for wreath Macdonald polynomials
We give an explicit formula for an operator that sends a wreath Macdonald polynomial to the delta function at a character associated to its partition. This allows us to prove many new results for wreath Macdonald polynomials, especially pertaining to reciprocity: Macdonald--Koornwinder duality, evaluation formulas, etc. Additionally, we initiate the study of wreath interpolation Macdonald polynomials, derive a plethystic formula for wreath $(q,t)$-Kostka coefficients, and present series solutions to the bispectral problem involving wreath Macdonald operators. Our approach is to use the eigenoperators for wreath Macdonald polynomials that have been produced from quantum toroidal and shuffle algebras.
Free line arrangements with low maximal multiplicity
Published
• View Publication
• BIB
Let $\mathcal{A}$ be a free arrangement of $d$ lines in the complex projective plane, with exponents $d_1\leq d_2$. Let $m$ be the maximal multiplicity of points in $\mathcal{A}$. In this note, we describe first the simple cases $d_1 \leq m$. Then we study the case $d_1=m+1$, and describe which line arrangements can occur by deleting or adding a line to $\mathcal{A}$. When $d \leq 14$, there are only two free arrangements with $d_1=m+2$, namely one with degree $13$ and the other with degree $14$. We study their geometries in order to deepen our understanding of the structure of free line arrangements in general.
Paired domination in graphs with minimum degree four
A set $S$ of vertices in a graph $G$ is a paired dominating set if every vertex of $G$ is adjacent to a vertex in $S$ and the subgraph induced by $S$ admits a perfect matching. The minimum cardinality of a paired dominating set of $G$ is the paired domination number $\gpr(G)$ of $G$. We show that if $G$ is a graph of order~$n$ and $δ(G) \ge 4$, then $\gpr(G) \le \frac{10}{17}n < 0.5883 n$.
The Zero Forcing Number of Twisted Hypercubes
Twisted hypercubes are graphs that generalize the structure of the hypercube by relaxing the symmetry constraint while maintaining degree-regularity and connectivity. We study the zero forcing number of twisted hypercubes. Zero forcing is a graph infection process in which a particular colour change rule is iteratively applied to the graph and an initial set of vertices. We use the alternative framing of forcing arc sets to construct a family of twisted hypercubes of dimension k$\geq 3$ with zero forcing sets of size $2^{k-1}-2^{k-3}+1$, which is below the minimum zero forcing number of the hypercube.
Noncommutative Equiangular Lines: van Lint-Seidel Relative and Gerzon Universal Bounds
Published
• View Publication
• BIB
We introduce the notion of noncommutative equiangular lines and derive noncommutative versions of fundamental van Lint-Seidel relative and Gerzon universal bounds.
The tape reconfiguration problem and its consequences for dominating set reconfiguration
A dominating set of a graph $G=(V,E)$ is a set of vertices $D \subseteq V$ whose closed neighborhood is $V$, i.e., $N[D]=V$. We view a dominating set as a collection of tokens placed on the vertices of $D$. In the token sliding variant of the Dominating Set Reconfiguration problem (TS-DSR), we seek to transform a source dominating set into a target dominating set in $G$ by sliding tokens along edges, and while maintaining a dominating set all along the transformation.
TS-DSR is known to be PSPACE-complete even restricted to graphs of pathwidth $w$, for some non-explicit constant $w$ and to be XL-complete parameterized by the size $k$ of the solution. The first contribution of this article consists in using a novel approach to provide the first explicit constant for which the TS-DSR problem is PSPACE-complete, a question that was left open in the literature.
From a parameterized complexity perspective, the token jumping variant of DSR, i.e., where tokens can jump to arbitrary vertices, is known to be FPT when parameterized by the size of the dominating sets on nowhere dense classes of graphs. But, in contrast, no non-trivial result was known about TS-DSR. We prove that DSR is actually much harder in the sliding model since it is XL-complete when restricted to bounded pathwidth graphs and even when parameterized by $k$ plus the feedback vertex set number of the graph. This gives, for the first time, a difference of behavior between the complexity under token sliding and token jumping for some problem on graphs of bounded treewidth. All our results are obtained using a brand new method, based on the hardness of the so-called Tape Reconfiguration problem, a problem we believe to be of independent interest.