math.CO ↗ arXiv
5220 papers in this category
Link between bipartite and general unicellular toroidal maps via slit--slide--sew bijections
We relate general maps to bipartite maps through a bijection of type slit-slide-sew. We provide an involution on arbitrary genus maps with even degree faces. This allow a full interpretation of the relation between general and bipartite maps, in the case of genus $1$ maps with a unique face.
The main tool is the use of rotations along well-chosen specific loops. Once a noncontractible simple loop is given, one slit along it, slide one notch, and sew back. This mildly modifies the structure of the map along the loop, changing the parity of the length of other loops crossing it. In the case of unicellular toroidal maps, the simple structure of noncontractible loops makes it possible to fully relate general maps to bipartite maps.
Cuboids are canonically Ramsey
We say a set of points $C\subset \mathbb{R}^n$ is canonically Ramsey if there is some set of points $S\subset \mathbb{R}^{n'}$ such that any colouring of $S$, with any number of colours, admits either a monochromatic or rainbow copy of $C$ -- that is to say, some set of points congruent to $C$ either all receive the same colour, or all receive different colours. Mao, Ozeki, and Wang introduced this notion, proving that 30-60-90 triangles are canonically Ramsey, since when various other canonically Ramsey configurations have been identified (by Gehér, Sagdeev, and Tóth, and others). Fang, Ge, Shu, Xu, Xu, and Yang showed that all triangles and rectangles are canonically Ramsey, and asked whether all cuboids are canonically Ramsey. Here cuboids are sets of the form $\{0,b_1\}\times\dots\times\{0,b_s\}$, and in particular may have dimension greater than three. We resolve this question, proving that all cuboids are canonically Ramsey.
Thirty-six quantum officers are entangled
There exist pairs of orthogonal Latin squares of any order n except if n=2 or n=6 [Bose, Shrikhande and Parker, 1960]. In particular, the problem of Euler's thirty-six officers does not have a solution. However, it has a "quantum solution": there exist so-called entangled quantum Latin squares of order six [Rather et al., 2022]. We prove that mutually orthogonal quantum Latin squares of order six do not exist if entanglement is not allowed.
The stable set of associated primes of a complementary edge ideal
We explicitly determine the associated primes of every power of a complementary edge ideal, prove that they satisfy the persistence property, and compute the $\text{v}$-function. In the course of the proofs, we completely describe the homological properties of all powers of squarefree monomial ideals generated in degrees large relative to the number of variables defining them.
Classification of equiangular lines with fixed angle $\arccos(1/(1+2\sqrt2))$
We determine the maximum number $N_α(d)$ of equiangular lines with fixed angle $\arccosα$ for $α= 1/(1+2\sqrt2)$ in $d$-dimensional Euclidean space: $2,3,4,6,8,10,14,15,16,17,18,20,22$ for $d \in \{2,\dots,14\}$, and $\max(24, \lfloor 3(d-1)/2 \rfloor)$ for $d \ge 15$. This appears to be the first complete determination of $N_α(d)$ in all dimensions $d$ for a fixed nontrivial $α$, since the work of Lemmens and Seidel for $α= 1/3$ in 1973.
A strong nullity parameter for rooted graphs
The inverse eigenvalue problem of a graph $G$ studies the possible spectra of matrices associated with $G$, including as an important subproblem the possible nullities of such a matrix. Much research in this area to date has focused only on the spectrum of the matrix itself, but there are applications of inverse eigenvalue problems that also involve the interaction between that spectrum and the spectrum of some maximal proper principal submatrix, or in other words the interlacing spectrum that results from crossing out any one row and the same column. Motivated by this refined information, given a graph $G$ on $n$ vertices with a designated root vertex, we investigate all possible nullity pairs where the first nullity is that of an $n \times n$ symmetric matrix associated to $G$ and the second nullity is that of the principal submatrix of size $(n - 1) \times (n - 1)$ that results from deleting the row and column associated to the root vertex. We define a new parameter $ξξ(G,i)$ for rooted graphs $(G,i)$ equipped with the strong nullity interlacing property that coordinates the two values of a nullity pair, and we show that this graph parameter is minor monotone. Moreover, we prove a bifurcation lemma for the strong nullity interlacing property. We use these new tools to characterize the rooted graphs with $ξξ(G,i) \geq s$ for $s \in \{ 0,1,2,3,4, 5\}$ by finding the minimal minors for each of these families. These families turn out to have strong connections to the minimal minors for $ξ(G) \geq k$.
Hamiltonian Properties of 3-Connected Claw-Free Graphs and Line Graphs of 3-Hypergraphs
Motivated by Thomassen's well-known line graph conjecture, many researchers have explored sufficient conditions for claw-free graphs to be Hamiltonian or Hamilton-connected. In 1994, Ageev proved that every $2$-connected claw-free graph with domination number at most $2$ is Hamiltonian. In this paper, we extend this line of research to $3$-connected graphs by establishing the best possible upper bound on the domination number that guarantees Hamiltonicity. Specifically, we show that, except for some well-defined exceptional graphs, every $3$-connected claw-free graph $G$ with domination number at most $5$ is Hamiltonian. Furthermore, we prove that, apart from a few exceptional cases, every $3$-connected claw-free graph $G$ with domination number at most $4$ is Hamilton-connected, thereby generalizing earlier results of Zheng, Broersma, Wang and Zhang and Vrána, Zhan and Zhang. We further investigate the Hamiltonian properties of line graphs of $3$-hypergraphs, and prove that every 3-connected line graph of a 3-hypergraph with domination number at most $4$ is Hamiltonian.
Optimal strategy in the game Risk or Safety
In the paper it is proven that the two-players turn-based stochastic game "Risk or Safety" has a unique solution. Both players need to play the same strategy if they want to maximize their winning chances. An analytical method based on the transition equations depending on the players decisions at each game situation is presented. However, the method requires the solution of many large linear equation systems, which makes the problem practically unsolvable for more than 6 coins. Hence, an iterative method is used to determine the optimal strategy for up to 20 coins. A look-up table gives the number of coins a player should toss at each possible game situation.
On shortening universal words for multi-dimensional permutations
A universal word (u-word) for $d$-dimensional permutations of length $n$ is a 2-dimensional word with $d-1$ rows, any size $n$ window of which is order-isomorphic to exactly one permutation of length $n$, and all permutations of length $n$ are covered. It is known that u-words (in fact, even u-cycles, a stronger claim) for $d$-dimensional permutations exist.
In this paper, we use the idea of incomparable elements to prove that u-words of length $(n!)^{d-1}+n-1-i(n-1)$, for $d\geq 2$ and $$0\leq i\leq \frac{2^{d-1}}{n-1}\left[(1+(n-1)!)^{d-1}-\left(1+\frac{(n-1)!}{2}\right)^{d-1}\right],$$ for $d$-dimensional permutations of length $n$ exist, which generalizes the respective result of Kitaev, Potapov and Vajnovszki for ``usual'' permutations ($d=2$).
A note on the Möbius uncertainty principle for posets
We consider two generalizations of Pollack's uncertainty principle for Möbius inversion to locally finite posets.
The first generalization was previously studied by Goh. Here, we provide a simplified sufficient criterion for the uncertainty principle to hold. We also provide a necessary criterion for the same which, in particular, disproves Goh's conjecture on the characterization of posets for which an uncertainty principle holds.
The second generalization is new and applies to posets with reduced incidence algebras of a certain form. Here, we make some preliminary observations, including the fact that uncertainty principle holds for the poset of finite subsets of natural numbers and the poset of finite dimensional subspaces of $\mathbb{F}_q^\infty$. Our proofs in these settings are quite different from the proof for the poset of natural numbers under divisibility.
On the list version of a conjecture of Erdős and Neumann-Lara
The dichromatic number of a digraph $D$, denoted by $\vecχ(D)$, is the smallest number of colours required to colour the vertices of $D$ such that each colour class induces an acyclic digraph. A conjecture of Erdős and Neumann-Lara states that there exists a function $f(k)$ such that for every graph $G$ with $χ(G) \geq f(k)$ there is an orientation of $G$ such that the resulting digraph $D$ satisfies $\vecχ(D) \geq k$. We prove the list version of this conjecture: if $G$ has large list chromatic number then there is an orientation of $G$ such that the resulting digraph has large list dichromatic number. The main tool in our result is the following theorem, which is an extension of an analogous result of Alon for the chromatic number: every graph of minimum degree $d$ admits an orientation such that the resulting digraph has list dichromatic number of order at least $\ln d$.
Inequalities for the number of $t$-hooks in two partition classes arising from sum-product identities
Motivated by recent study on the number of $t$-hooks in partitions arising from Euler's partition identity, we investigate the number of $t$-hooks in the sets from the first Rogers-Ramanujan identity and the first little Göllitz identity. In particular, for $t=1,2$, we obtain the generating functions for the number of $t$-hooks and prove $t$-hook inequalities by deriving asymptotic formulas.
Proofs of some conjectures of Okazaki and Smith on line defect half-indices of ${\rm SU}(N)$ Chern-Simons theories
Okazaki and Smith discovered many elegant formulas expressing some matrix integrals as some celebrated $q$-series such as the Rogers--Ramanujan functions or Jacobi theta functions. These integrals arise as Wilson line defect half-indices of 3d $\mathcal{N}=2$ supersymmetric ${\rm SU}(N)$ Chern-Simons theories. We evaluate them by carefully calculating the constant terms of some infinite products. Along the way we use some crucial facts about antisymmetric multivariate formal Laurent series. Consequently, we prove three general conjectures of Okazaki and Smith which provide explicit formulas for half indices of the ${\rm SU}(N)_{-N-k}$ ($k=0,1/2,1$) Chern-Simons theories. During the process, we extend these ${\rm SU}(N)$ formulas to include one additional parameter. Furthermore, we generalize the ${\rm SU}(N)_{-N-1/2}$ and ${\rm SU}(N)_{-N-1}$ conjectures by calculating the corresponding half-indices of Wilson lines of arbitrary charge. As a special instance of our generalizations, we also confirm the ${\rm SU}(3)_{-4}$ conjecture of Okazaki and Smith.
On the most reliable graphs with fixed redundancy
The all-terminal reliability of a graph $G$ is the probability that $G$ remains connected when each edge fails independently with probability $p$. For fixed $n$ and $m$, the uniformly most reliable problem asks which graph with $n$ vertices and $m$ edges maximizes reliability for all $p \in [0,1]$. Although such graphs do not always exist, optimal graphs in the regime $p \to 0$ always do and are determined by the structure of their minimal cut sets.
We establish a structural characterization of graphs that are most reliable near $p=0$. Our results partially resolve a conjecture of Bourel et al., showing that, under suitable conditions, regular graphs with maximal girth are optimal. Extending this analysis to graphs with fixed redundancy $r=m-(n-1)$ and sufficiently large $n$, we show that the most reliable graphs are obtained by subdividing the most reliable cubic graphs with $2(r-1)$ vertices. The general conjecture remains open.
Unlike previous results, which resolved only small redundancy cases or very dense regimes, our approach yields a substantial extension of the known range. We determine the unique cubic candidates for uniformly most reliable graphs for all redundancy levels $m-n \le 19$, and prove the non-existence of uniformly most reliable graphs for several infinite families with fixed redundancy and asymptotically large $n$. These results significantly enlarge both the candidate class and the range of provable non-existence.
Analysis of moments and cumulants in alternating sign matrices
In this work, we study the discrete observables $$E_k = \sum_{i,j=1}^n (i-j)^k A_{i,j}$$ associated with $n\times n$ alternating sign matrices $A = (A_{i,j})$. This work develops exact formulas for expectations using Bernoulli polynomials, exponential generating functions, expansions in $1/n$ linked to Riemann zeta functions, and cumulants up to fourth order via integrable kernel methods. All intermediate calculations, expansions, and pedagogical details are provided to illustrate the interplay between combinatorial sums, analytic expansions, and integrable structures in alternating sign matrices.
Spectral Turán Problems for Expanded hypergraphs
Given a graph $F$, the expansion $F^{(r)}$ of $F$ is defined as the $r$-uniform hypergraph obtained from $F$ by adding a set of $(r-2)$ distinct new vertices to each edge of $F$. In this paper, we investigate spectral stability results for hypergraphs and their applications.We first establish a spectral stability property: for any $r$-uniform hypergraph containing no copy of the expansion $F^{(r)}$ of a $(k+1)$-chromatic graph $F$, if its $p$-spectral is close to the extremal value, then the hypergraph is structurally close to $T_r(n, k)$, the complete $k$-partite $r$-uniform hypergraph on $n$ vertices where sizes of any two parts differ by at most one.Using this spectral stability result, we determine the unique extremal hypergraph that maximizes the $p$-spectral radius among all $n$-vertex $r$-uniform hypergraphs without $t$ vertex-disjoint copies of the expansion $K_{k+1}^{(r)}$ of $K_{k+1}$. We prove that this extremal hypergraph is isomorphic to $K_{t-1}^{r} \,\vee\, T_r(n-t+1, k)$, the join of the complete $r$-uniform hypergraph $K_{t-1}^{r}$ and $T_r(n-t+1, k)$.As a corollary, we show that $K_{t-1}^{r} \,\vee\, T_r(n-t+1, k)$ is the unique extremal hypergraph for $tK_{k+1}^{(r)}$, which extends a result of Pikhurko [J. Combin. Theory Ser. B, 103 (2013) 220--225] for expanded complete graphs.
Edge partitions into induced-$2K_2$-free bipartite graphs
We study edge partitions of a bipartite graph into induced-$2K_2$-free bipartite graphs, i.e.\ into Ferrers (chain) graphs. We define $\fp(G)$ as the minimum number of parts in such a partition. We prove general lower and upper bounds in terms of induced matchings and Dilworth widths of neighborhood posets. We compute the parameter exactly for paths and even cycles, and we exhibit separations showing that the induced-matching lower bound and the width upper bound can both be far from tight. We also record a simple host-induced conflict-graph lower bound, present a $0$--$1$ matrix viewpoint, and add some complexity remarks.
Mirabolic Hecke algebras, Schur-Weyl duality and Frobenius character formulas
We first introduce a new presentation for the mirabolic Hecke algebra $\mathscr{H}_{n,R}(q)$ over an arbitrary commutative ring $R$ and derive a new basis. Based on this presentation, specializing to the case of $\mathscr{H}_n(q)$ over the field $\mathbb{C}(q)$, we construct a basis for the cocenter of $\mathscr{H}_n(q)$, which facilitates the definition of its character table. We further establish a Schur--Weyl duality between $\mathscr{H}_n(q)$ and the quantum group $U_q(\mathfrak{gl}_r)$. As an application, we obtain Frobenius character formulas for the irreducible characters of $\mathscr{H}_n(q)$ within the ring of symmetric functions. Finally, we derive a recursive Murnaghan--Nakayama rule for the computation of the character table.
On the $A_α$-characteristic polynomials of some join graphs
For $α\in [0,1]$, the $A_α$-matrix of graph $G$ is $A_α(G) = αD(G) + (1- α) A(G)$, where $A(G)$ and $D(G)$ are adjacency and degree diagonal matrix of $G$, respectively. Let $G_1 \dot{\vee}_Q G_2$, $G_1 \underline{\vee}_Q G_2$, $G_1 \dot{\vee}_T G_2$ and $G_1 \underline{\vee}_T G_2$ represent the $Q$-vertex join, $Q$-edge join, $T$-vertex join and $T$-edge join respectively, obtained from the graphs $G_1$ and $G_2$. This article determines the $A_α$-characteristic polynomials of the graphs $G_1 \dot{\vee}_Q G_2$, $G_1 \underline{\vee}_Q G_2$, $G_1 \dot{\vee}_T G_2$ and $G_1 \underline{\vee}_T G_2$ where $G_1$ is regular and $G_2$ can be any graph. The $A_α$-spectra of these graphs are computed in terms of those of $G_1$ and $G_2$ for both $G_1$ and $G_2$ are regular, as well as for $G_1$ is regular and $G_2$ is $K_{a,b}$, a complete bipartite graph. As an application, we construct an infinite number of pairs of graphs that have the same $A_α$-spectrum.
On the Transversal Coalition in r-Uniform Hypergraphs
A transversal coalition in a hypergraph $H$ is a partition of the vertex set $U$ into two subsets $U_1$ and $U_2$ such that neither $U_1$ nor $U_2$ alone intersects every hyperedge of $H$, but their union, $U_1 \cup U_2$, intersects every hyperedge in $H$. In this work, we investigate transversal coalition partitions in \( r \)-uniform hypergraphs. Specifically, we determine the transversal coalition number of complete \( r \)-uniform hypergraph, complete bipartite \( r \)-uniform hypergraph, \( r \)-uniform stars, and complete \( r \)-partite \( r \)-uniform hypergraph. We also investigate the transversal coalition number of \( r \)-uniform linear paths and cycles.