math.CO ↗ arXiv
7121 papers in this category
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
Published
• View Publication
• BIB
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.
Graph Multivector Persistence: A Unified Framework for Dynamic Systems
We introduce a persistence-type invariant for finite weighted graphs based on combinatorial multivector dynamics. For each threshold parameter, a relation matrix determines a graph multivector field, whose induced directed dynamics admits a Morse decomposition given by its strongly connected components. As the threshold varies, these multivector fields form a monotone refinement family. We define the Morse persistence diagram by recording the birth and death of Morse sets along this filtration. The construction is purely combinatorial and does not rely on simplicial homology or persistence modules. We prove that the resulting persistence diagram is stable with respect to perturbations of the relation matrix in the sup norm. Each Morse set furthermore carries a combinatorial Conley index, yielding a topologically enriched invariant for multiscale graph structure.
Parameterized complexity of $r$-Hop, $r$-Step, and $r$-Hop Roman Domination
The \textsc{Dominating Set} problem is a classical and extensively studied topic in graph theory and theoretical computer science. In this paper, we examine the algorithmic complexity of several well-known exact-distance variants of domination, namely \textsc{$r$-Step Domination}, \textsc{$r$-Hop Domination}, and \textsc{$r$-Hop Roman Domination}.
Let $G$ be a graph and let $r \geq 2$ be an integer. A set $S \subseteq V(G)$ is an \emph{$r$-hop dominating set} if every vertex in $V(G)\setminus S$ is at distance exactly $r$ from some vertex of $S$. Similarly, $S$ is an \emph{$r$-step dominating set} if every vertex of $G$ lies at distance exactly $r$ from at least one vertex of $S$. An \emph{$r$-hop Roman dominating function} on $G$ is a function $f \colon V(G)\to\{0,1,2\}$ such that for every vertex $v$ with $f(v)=0$, there exists a vertex $u$ at distance exactly $r$ from $v$ with $f(u)=2$. The \emph{weight} of $f$ is defined as $f(V)=\sum_{v\in V(G)} f(v)$. The \textsc{$r$-Hop Domination} (respectively, \textsc{$r$-Step Domination}) problem asks whether $G$ admits an $r$-hop dominating set (respectively, $r$-step dominating set) of size at most $k$, while the \textsc{$r$-Hop Roman Domination} problem asks whether $G$ admits an $r$-hop Roman dominating function of weight at most $k$.
It is known that for every $r\ge 2$, the problems \textsc{$r$-Step Domination}, \textsc{$r$-Hop Domination}, and \textsc{$r$-Hop Roman Domination} are \textsc{NP}-complete. First we prove that for all $r\ge 2$, \textsc{$r$-Hop Roman Domination} is \textsc{W[2]}-complete. Furthermore, for every $r\ge 2$, \textsc{$r$-Step Domination} and \textsc{$r$-Hop Domination} remain \textsc{W[2]}-hard even when restricted to bipartite graphs and chordal graphs. Unless the ETH fails, none of these problems admits an algorithm running in time $2^{o(n+m)}$ on graphs with $n$ vertices and $m$ edges.
Counting $\ell$-interval Fubini rankings through their parking outcome
Fubini rankings with $n$ competitors are $n$-tuples with entries in $[n]=\{1,2,3,\ldots, n\}$ that encode the conclusion of a race that allows ties. Since Fubini rankings are parking functions, we can study their parking outcomes, which are permutations encoding the final parking order of the cars using the Fubini ranking as a preference list. We establish that the number of Fubini rankings with $n$ competitors having a fixed parking outcome $π$ is given by $2^{n-k}$, where $k$ denotes the number of runs in $π$. We then use this formula to give a new proof for the number of Fubini rankings, which is given by the Fubini numbers. We also consider the set of $\ell$-interval Fubini rankings with $n$ competitors, which are Fubini rankings where at most $\ell+1$ competitors tie at any rank. We show that the number of $\ell$-interval Fubini rankings with $n$ competitors having a fixed parking outcome $π$ is given by a product of a power of two and a product of $\ell$-Pingala numbers, where these factors depend only on the lengths of the runs that make up the parking outcome $π$. The $1$-interval Fubini rankings are known as unit Fubini rankings, and we show that the number of unit Fubini rankings having a fixed parking outcome $π$ is given by a product of Fibonacci numbers indexed by the lengths of the runs in $π$. We use these results to give a formula for the number of $\ell$-interval Fubini rankings with $n$ competitors for all $\ell\in[n]$. We conclude with some directions for further study.
Turán problems for multilinear maps
This paper is concerned with Turán problems for (alternating) multilinear maps, with the aim of determining the maximum dimension $k$, called the isotropy index, for which every such map has an isotropic subspace of dimension $k$. We extend the formula for the isotropy index of alternating bilinear maps [Buhler, Gupta & Harris, J. Algebra, 1987] to alternating multilinear maps of arbitrary order over algebraically closed fields. In particular, this answers an open question posed in [Qiao, Discrete Anal., 2023]. Moreover, we prove that the same formula holds for sufficiently large finite fields. For multilinear maps, we establish a necessary and sufficient condition for the isotropy index to be at least two. Our results have three implications: (1) For algebraically closed fields, we determine the exact value of the Feldman--Propp number, whose lower bound has been known for over thirty years [Feldman & Propp, Adv. Math., 1992] but whose precise value had remained undetermined. (2) We establish the exact values of both the Turán number and the Gow--Quinlan number for alternating multilinear maps of arbitrary order over algebraically closed fields. Specifically, our result greatly extends the existing formula for the Gow--Quinlan number for alternating bilinear maps [Gow & Quinlan, Linear Multilinear Algebra, 2006]. (3) Bridging the lower bound for the Erdős box problem and tensor analytic rank, we show that there is an obstruction to improving the existing lower bound in [Conlon, Pohoata & Zakharov, Discrete Anal., 2021] via the multilinear method.
A Colorful Way to Park: An Introduction to Exact $k$-Typed Parking Functions
Parking functions are tuples that describe the parking of $M$ cars on a street with $M$ parking spots. In this paper, we define exact $k$-typed parking functions ($k$-TPFs) to be a variant of classical parking functions. We then establish that every exact $k$-TPF $α$ of length $M$, corresponds to a unique parking configuration $C$. We observe that the collection of all exact $k$-TPFs which result in the same configuration form a disjoint subset of all exact $k$-TPFs. Lastly, we conclude by showing how parking permutations of an exact $k$-TPF can be related to other combinatorial objects.
On the construction of large local arcs
Published
• View Publication
• BIB
Motivated by the construction of optimal locally repairable codes, we introduce the new finite geometric concept of a \emph{local arc} which is defined as a collection $\mathcal{S}$ of disjoint point sets $S_{i}$ in $\mathrm{PG}(2,q)$ such that $S_{i} \cup S_{j}$ is an arc for any $S_{i}, S_{j} \in \mathcal{S}$. We focus on the upper and lower bounds on the sizes of maximum $k$-uniform local arcs. For $q=p^m$ with $p$ prime, we construct $k$-uniform local arcs in $\mathrm{PG}(2,q)$ of size $Ω(q^{d})$ where $d$ is between $1.1167$ and $1.25$ depending only on $m$. For $k=4$, this implies the existence of optimal locally repairable codes (LRCs) with minimum distance 6, locality 3, and disjoint repair groups, whose length is superlinear in $q$--a significant improvement over the previously known $O(q)$ constructions for such LRCs.
Combinatorial sufficient conditions for graph rigidity and applications to random graphs
A graph $G=(V,E)$ is called $d$-rigid if, for a generic embedding of its vertices in $\mathbb{R}^d$, every edge-length preserving continuous motion of the vertices preserves the distances between all pairs of non-adjacent vertices as well. In this paper, we present several new results on the rigidity of random graphs. In particular, we show that there exists $c>0$ such that, for $p\ge 2 \log{n}/n$, the binomial random graph $G(n,p)$ is with high probability (whp) $\lfloor c n p\rfloor$-rigid. This is sharp up to the constant $c$, and complements recent results of Peled and Peleg (in the regime $p= o(n^{-1/2})$), and of Jordán, Liu, and Villányi (in the constant $p$ regime). Moreover, we show that for every fixed $d\ge 2$ and $r\ge 501d$, a random $r$-regular graph is whp $d$-rigid, and that for $100/n\le p\le 2\log{n}/n$, the binomial random graph $G(n,p)$ contains whp an $\lfloor np/251\rfloor$-rigid subgraph with at least $(1-e^{-np/2})n$ vertices. Both results are sharp up to the multiplicative constant. In addition, we present a new sufficient condition for rigidity in terms of the minimum codegree of the graph (the minimum number of common neighbours of a pair of vertices in the graph).
A main tool in our arguments is a new combinatorial sufficient condition for rigidity, which provides a common generalization to Whiteley's vertex-splitting lemmas, and to the "rigid partitions" method, developed in works by Crapo, Lindemann, Lew, Nevo, Peled and Raz, and by the present authors.
Eccentricity energy change of coalescence of graphs due to edge deletion
The eccentricity matrix of a graph is obtained from the distance matrix by keeping the largest entries in their row or column, and the remaining entries are replaced by zeros. The eccentricity energy of a graph is the sum of the absolute values of the eigenvalues of its eccentricity matrix. In this paper, we investigate the effect of edge deletion on the eccentricity energy of graphs of the form $$G=K_{2n}\circ_{n} K_{2n}\circ_{n}\cdots \circ_{n} K_{2n}, (\text{\textit{l} copies of } K_{2n}),$$ where $n\geq 3,$ $l\geq 2,$ and $\circ_{n}$ denotes the $n-$coalescence of graphs, and prove that the eccentricity energy increases whenever an edge is removed. This result identifies a class of graphs whose eccentricity energy exhibits monotonic growth under edge deletion.
The exact value of $c_1(K_{2,n})$
Published
• View Publication
• BIB
For a graph $G$, let $c_1(G)$ be the largest distortion necessary to embed any shortest-path metric on $G$ into $\ell_1$, and for any natural number $n,m\in\mathbb{N}$, denote $K_{n,m}$ as the complete bipartite graph. In this note, we caculate the value of $c_1(K_{2,n})$, more precisely we prove $c_1(K_{2,n})=\frac{3k-2}{2k-1}$ where $k=\lceil\frac{n}{2}\rceil$.
Colour diversity in spanning structures under Dirac-type conditions
Finding spanning structures with many distinct colours in properly edge-coloured graphs is a central theme in extremal combinatorics. A classical result of Andersen shows that every proper edge-colouring of the complete graph $K_n$ contains a Hamilton cycle with $n - O(n^{1/2})$ distinct colours. In the bipartite setting, the analogous question for perfect matchings is closely related to permutations in Latin squares. In this paper, we investigate how a Dirac-type minimum degree condition forces colour diversity in spanning structures. For every constant $1/2 < c \le 1$, we prove the following.
$\bullet$ Every properly edge-coloured graph $G$ on $n$ vertices with $δ(G)\ge cn$ contains a Hamilton cycle with at least $cn - O(n^{1/2})$ distinct colours.
$\bullet$ Every subset of an $n\times n$ Latin square with at least $cn$ cells in each row and each column contains a permutation with at least $cn - O(n^{2/3})$ distinct symbols.
Both bounds are best possible up to the error term.
Local Equivalence Classes of Distance-Hereditary Graphs using Split Decompositions
Published
• View Publication
• BIB
Local complement is a graph operation formalized by Bouchet which replaces the neighborhood of a chosen vertex with its edge-complement. This operation induces an equivalence relation on graphs; determining the size of the resulting equivalence classes is a challenging problem in general. Bouchet obtained formulas only for paths and cycles, and brute-force methods are limited to very small graphs. In this work, we extend these results by deriving explicit formulas for several broad families of distance-hereditary graphs, including complete multipartite graphs, clique-stars, and repeater graphs. Our approach uses a technique known as split decomposition to establish upper bounds on equivalence class sizes, and we prove these bounds are tight through a combinatorial enumeration of the graphs' decomposed structure up to symmetry.
An exactly solvable evaporation-deposition PCA with long-distance interactions
We consider a probabilistic cellular automaton (PCA) of evaporation-deposition on the one-dimensional lattice having $n$ sites with periodic boundary conditions, in which each site, during each epoch, can be in one of two states: $0$ and $1$. Fix a positive integer $m\geqslant 2$. There are two types of transitions at each discrete time, which are as follows: (i) the first site in every contiguous block of $m$ $0$s becomes a $1$ with probability $p_1$, and (ii) the first site in every contiguous block of $(m-1)$ $0$s followed immediately by a $1$ also becomes a $1$ with probability $(1-p_2)$. As in a PCA, all of these transitions occur simultaneously. We show that the resulting discrete-time Markov chain is ergodic, and we give an explicit formula for its limiting distribution, the partition function and the density. We also propose necessary and sufficient conditions for this Markov chain to be reversible. For $m=2$, we provide a fully analytical expression for the free energy of this model.
Variants of Merge-Width and Applications
Merge-width is a recently introduced family of graph parameters that unifies treewidth, clique-width, twin-width, and generalised colouring numbers. We prove the equivalence of several alternative definitions of merge-width, thus demonstrating the robustness of the notion. Our characterisation via definable merge-width uses vertex orderings inspired by generalised colouring numbers from sparsity theory, and enables us to obtain the first non-trivial approximation algorithm for merge-width, running in time $n^{O(1)} \cdot 2^n$. We also obtain a new characterisation of bounded clique-width in terms of vertex orderings, and establish that graphs of bounded merge-width admit sparse quotients with bounded strong colouring numbers, are quasi-isometric to graphs of bounded expansion, and admit neighbourhood covers with constant overlap. We also discuss several other variants of merge-width and connections to adjacency labelling schemes.