Showing 20 papers (Total: 83076 papers, 47999 authors in database)
The average distance of spanning trees in terms of independence number
Let $G$ be a connected graph with vertex set $V(G)$, and denote by $d_G(u,v)$ the distance from $u$ to $v$ in $G$, for any $u,v \in V(G)$. The average distance of an $n$-vertex connected graph $G$, denoted by $μ(G)$, is defined to be the average of all distances between all pairs of vertices in $G$, i.e., $μ(G) = \binom{n}{2}^{-1} \sum_{\{u,v\} \subset V(G)}d_G(u,v)$. The problem of finding a spanning tree of minimum average distance is known to be NP-hard, so establishing an upper bound for the minimum average distance among all spanning trees is of particular interest. Mukwembi (J. Graph Theory, 2014) showed that if $G$ is a connected graph of order $n$ with independence number $α$, where $n > 2 α- 1$, then $G$ has a spanning tree $T$ such that $μ(T) \le α+ 2$. In this paper, we first improve the upper bound to $μ(T) < α+ 1$ for $α\ge 1$, and then we find the bound could be further improved when $α$ becomes larger, so a better upper bound \[ μ(T) < \left\{ \begin{array}{ll} α+1 & \hbox{if } 1\leα\le 6,\\ α+\frac12+\frac{4(α-1)}{α^2} & \hbox{if } α\ge 7, \end{array} \right. \] is established later. In the end, we give a remark to indicate our new upper bound is best possible in the sense of asymptotics (when $n$ and $α$ are large enough).
Minimal generating sets of transfer systems for more non-Abelian Groups
For a finite group $G$, $N_\infty$ operads encode collections of norm maps, and by work of Blumberg--Hill and Rubin their homotopy category is equivalent to the poset of $G$--transfer systems on the subgroup lattice of $G$. In \cite{ABB+25} the authors defined the \emph{width} $w(G)$ as the minimal size of a generating set for the complete $G$--transfer system and identified it with the number of conjugacy classes of proper meet irreducible subgroups of $G$, and the \emph{complexity} $c(G)$ as the maximum, over all transfer systems $T$, of the size of a minimal generating set for $T$.
We compute $w(G)$ for the semidihedral groups $\SD_{2^n}$ ($n\ge 4$) and the affine Frobenius groups $\AGL(1,p^n)\cong \mathbb{F}_{p^n}\rtimes \mathbb{F}_{p^n}^\times$, extending existing calculations and highlighting how subgroup lattice structure governs equivariant multiplicative complexity. We also compute $c(D_{p^n})$ for dihedral groups of order $2p^n$ with $p$ an odd prime, establishing $c(D_{p^n})=\lfloor 3n/2\rfloor+1$, and derive the lower bound $c(\SD_{2^n})\ge\lfloor 5(n-1)/2\rfloor$.
An Intersection-Weighted Erdős-Ko-Rado Theorem
We consider an Erdős-Ko-Rado type sum that weights each member of a uniform family according to its smallest intersection with the rest of the family. We prove that once the ground set is sufficiently large this sum is at most one, with equality exactly for stars. This simultaneously generalizes the usual Erdős-Ko-Rado theorem for every intersection threshold $t$ and $n$ sufficiently large. As a consequence we also obtain an extension of Hilton's theorem on cross-intersecting families.
Cofinality of Regular Tournaments
We show that the class of all finite regular tournaments is cofinal in the class of finite tournaments. In addition, we establish cofinality results for certain special subclasses of regular tournaments. We also provide an algorithm for constructing these regular tournaments.
Energy and Vertex Energy of Modified Divisor Prime Graphs
This paper investigates the energy and vertex energy of the modified divisor prime graph $G^*_{Dp}(n)$, which is distinguished from the standard divisor prime graph by the inclusion of a self-loop at the vertex $1$. To facilitate this analysis, we introduce a generalized definition of vertex energy for graphs with self-loops and demonstrate its mathematical consistency.
W-state graphs: Structure and Algorithms
We study the class of edge-coloured graphs arising from the graph-theoretic representation of quantum photonic experiments that generate multipartite W-states. Abstracting away physical amplitudes and phases, we introduce W-state graphs: matching-covered graphs equipped with a half-edge 2-colouring such that every perfect matching contains exactly one bichromatic edge and every vertex is incident with a red half-edge. Our main contribution is a complete structural characterization of W-state graphs. We show that a graph is a W-state graph if and only if each of its 3-connected components is a W-cone, a simple and rigid building block defined by a universal vertex and a factor-critical base. This characterization implies that no W-state graph is simple and yields a recognition algorithm running as fast as verifying whether a graph is matching-covered. We also show that the natural generalization to Dicke states encounters a complexity barrier: verifying one of the two Dicke state conditions is itself coNP-complete, resolving an open problem of Vardi and Zhang [IJCAI 2023]. Our results place W-state graphs firmly within classical matching theory and precisely delineate the combinatorial structures capable of realizing idealized W-states in the experiment-graph framework.
Spectral radius and perfect k-matchings in t-connected graphs
A $k$-matching of a graph $G$ is a function $f:E(G)\rightarrow\{0,1,2,\ldots,k\}$ with $\sum\limits_{e\in E_G(v)}f(e)\leq k$ for each vertex $v$ of $G$, where $E_G(v)$ is the set of edges incident with $v$ in $G$. A perfect $k$-matching of a graph $G$ is a $k$-matching $f$ satisfying $\sum\limits_{e\in E_G(v)}f(e)=k$ for any vertex $v$ of $G$. A fractional perfect matching of a graph $G$ is a function $f:E(G)\rightarrow [0,1]$ satisfying $\sum\limits_{e\in E_G(v)}f(e)=1$ for any $v\in V(G)$. We denote by $ρ(G)$ the spectral radius of $G$. In this paper, we put forward a tight spectral radius condition for a $t$-connected graph to possess a perfect $k$-matching and a tight spectral radius condition for the existence of a perfect $k$-matching in a $t$-connected graph with a fractional perfect matching.
An Andrews-Gordon Type Identity Related to Andrews' Parity Consideration
Andrews investigated parity conditions in the Rogers-Ramanujan-Gordon theorem.
Under the conditions that even parts or odd parts appear an even number of times,
Andrews discovered two Rogers-Ramanujan-Gordon type partition theorems
and derived corresponding generating functions. In the Rogers-Ramanujan-Gordon
theorem, there are two parameters $k$ and $a$, where $k-1$ is the maximum
number of consecutive parts $l$ and $l+1$, and $a-1$ is the maximum number of
parts equal to $1$. Andrews' first theorem deals with the case
$k\equiv a \;(\rm{mod}\;2)$, while the second theorem concerns the case
where $k$ is even and $a$ is odd. These two partition identities have different
infinite product forms on the right-hand side. In this paper, we consider the case
$k\not\equiv a \;(\rm{mod}\;2)$ and use Bailey's lemma to obtain an Andrews-Gordon
type identity whose right-hand side coincides with that of Andrews' identity for the
case $k\equiv a \;(\rm{mod}\;2)$. We were unable to find a suitable combinatorial
interpretation of the infinite sum form of this expression in terms of partitions,
but with the help of lattice paths, we provide an appropriate combinatorial interpretation.
The Erdős-Pósa property for prime-length cycles fails (and beyond)
We prove that for every $t \in \mathbb{N}$, prime-length cycles do not have the $\frac{1}{t}$-integral Erdős-Pósa property, even when restricted to planar graphs. We in fact prove a more general density result. For every $t \in \mathbb{N}$ and every subset $L \subseteq \mathbb{N}$ with lower density zero, the set of cycles whose length is in $L$ do not have the $\frac{1}{t}$-integral Erdős-Pósa property, even when restricted to planar graphs. We also consider a less restrictive density condition on $L$, called porous, where the complement of $L$ contains arbitrarily long sequences of consecutive integers. We prove that for every porous set $L \subseteq \mathbb{N}$, the set of cycles whose length is in $L$ do not have the Erdős-Pósa property, even when restricted to projective planar graphs. Our results partially answer a question of Gollin, Hendrey, Kwon, Oum, and Yoo [Math. Ann., 393(2):2507-2559, 2025].
Cluster Expansions from Punctured Orbifolds
We provide multiple combinatorial expansion formulas - in terms of snake graphs, labelled posets, matrices, and $T$-walks - for elements in generalized cluster algebras associated to arcs on punctured orbifolds and illustrate their equivalence. This work generalizes and unifies existing work on combinatorial expansion formulas from surfaces and unpunctured orbifolds.
Matchings in permutations
We say that two permutations $[n]\to [n]$ intersect if they map some element $x$ to the same element $y$. A matching in a family of permutations is a collection of pairwise disjoint permutations. In this paper, we study families of permutations with no matchings of size $s$. In particular, we obtain a characterization of the largest $s$-matching-free families and a Hilton--Milner type result. We also obtain results for the families of derangements.
On spectral Turán theorems: confirming a conjecture of Guiduli and two problems of Nikiforov
Let $G$ be an $n$-vertex graph, and let $λ(G)$ and $λ_n(G)$ denote the largest and smallest eigenvalues of its adjacency matrix. Write $e(G)$ for the number of edges of $G$, $d(G)=2e(G)/n$ for its average degree, and $T_r(n)$ for the $r$-partite Turán graph on $n$ vertices.
We prove four sharp results in spectral Turán theory. First, we confirm Guiduli's spectral dense-neighborhood conjecture (1996) in a stronger form: if $λ(G)\ge λ(T_r(n))$, then either $G\cong T_r(n)$, or there exists a vertex $v$ such that $λ(G[N(v)]) > λ(T_{r-1}(d(v)))$. Moreover, when $λ(G)>λ(T_r(n))$, every vertex attaining the maximum entry in any nonnegative Perron eigenvector of $G$ has this property. Second, we answer a problem of Nikiforov (2009) by showing that the exact Turán edge threshold is detected by the exact spectral threshold: for every $r\ge 2$ and every $n$, $λ(G)<λ(T_r(n))$, implying $e(G)<e(T_r(n)).$ Our proof also determines the equality cases. Third, we answer another question of Nikiforov (2009) by showing that his least-eigenvalue clique bound \[ ω(G)\ge 1+\frac{2e(G)}{(n-d(G))(d(G)-λ_n(G))} \] does imply the concise form of Turán's theorem. Finally, we discuss an open problem proposed by Ai et al. (2026) in \cite{ALNS26+}.
The Logarithmic Asymptotic Phenomenon for Generalized Markov-Hurwitz Equations
The purpose of this paper is twofold. First, we introduce a family of generalized Markov-Hurwitz equations, extending classical Markov-Hurwitz equations with additional degree n-1 interaction terms, Gyoda and Matsushita's generalized Markov equations from 3 variables to n variables. Second, we prove a logarithmic asymptotic phenomenon for the positive integer solutions of these equations.
Theta functions and transformations of bilateral basic hypergeometric series
We establish new transformation formulas involving theta functions for certain bilateral basic hypergeometric series. From these, we construct companion $q$-series for a class of $q$-series such that the asymptotic expansion of their quotient admits a simple closed form. This allows us to prove some conjectures of McIntosh on asymptotic transformations of $q$-series.
On immanants of Cayley tables
Let $G$ be a finite abelian group of order $n$ and let $\mathcal M_G=(x_{a+b})_{a,b\in G}$ be the Cayley table of $G$. Let $\text{imm}_λ(\mathcal M_G)$ be the immanant of $\mathcal M_G$ with respect to a partition $λ$ and $\mathcal I_λ(G)$ be the number of formally different monomials occurring in $\text{imm}_λ(\mathcal M_G)$ (in particular, we denote by $\mathcal P(G)$ (resp. $\mathcal D(G)$) for the corresponding quantity for $\text{per}(\mathcal M_G)$ (resp. $\text{det}(\mathcal M_G)$) for simplicity). The study of $\mathcal P(G)$ and $\mathcal D(G)$ lies at the intersection of algebraic combinatorics and additive combinatorics. In this paper, we prove the following results.
(1) If $|G|$ is a prime power, then
$$\mathcal P(G)=\mathcal D(G).$$
(2) If $|G|$ is odd, then $$\mathcal I_{(n-1,1)}(G)= \mathcal I_{(2,1^{n-2})}(G)=0,$$ and if $|G|\equiv 2\pmod 4$, then $$\mathcal I_{(n-1,1)}(G)=\mathcal P(G)\quad
\text{and}\quad
\mathcal I_{(2,1^{n-2})}(G)=\mathcal D(G).$$
(3) If $|G|$ is odd and $|G|\ge 7$, then $$ \text{imm}_{(4,1^{n-4})}(\mathcal M_G)=\text{imm}_{(2,2,2,1^{n-6})}(\mathcal M_G).$$
Degree-sequence bounds for independent sets via multivariate local occupancy
We present new degree-sequence lower bounds on the expected size of an independent set from the hard-core model. For arbitrary graphs, we establish a multivariate lower bound inspired by a conjecture of the first author and Kang and a recent bound on the multivariate partition function due to Lee and the third author. By applying a novel spectral analysis to the local occupancy linear program, our method successfully bypasses the convergence radius limitations of the cluster expansion and avoids induction. For graphs with bounded local maximum average degree, including triangle-free graphs, we prove a univariate bound extending prior work by a subset of the authors. In both cases our bounds require the fugacities to be upper bounded by $c/Δ$ where $Δ$ is the maximum degree of the graph and $c$ is an absolute constant depending on the setting.
Note on zero-sum magic squares on Abelian groups
Let $(Γ,+)$ be an Abelian group of order $n^2$. A $Γ$-magic square of order $n$ is an $n\times n$ array whose entries are pairwise distinct elements of $Γ$ such that all row sums, column sums, and the two main diagonal sums are equal to the same element $μ\in Γ$, called the magic constant.
A combinatorial design is called $Γ$-additive if its point set is a subset of an Abelian group $Γ$ and every block has sum zero. If the point set coincides with $Γ$, the design is said to be strictly $Γ$-additive. Motivated by this notion, we construct $Γ$-magic squares with magic constant $μ=0$ whose rows, columns, and two main diagonals can be used as blocks of a strictly $Γ$-additive design. We call such a square zero-sum $Γ$-magic square.
In this paper, we establish necessary and sufficient conditions for the existence of zero-sum $Γ$-magic squares.
Almost-Orthogonality in Lp Spaces: A Case Study with Grok
Carbery proposed the following sharpened form of triangle inequality for many functions: for any $p\ge 2$ and any finite sequence $(f_j)_j\subset L^p$ we have \[ \Big\|\sum_j f_j\Big\|_p \ \le\ \left(\sup_{j} \sum_{k} α_{jk}^{\,c}\right)^{1/p'} \Big(\sum_j \|f_j\|_p^p\Big)^{1/p}, \] where $c=2$, $1/p+1/p'=1$, and $α_{jk}=\sqrt{\frac{\|f_{j}f_{k}\|_{p/2}}{\|f_{j}\|_{p}\|f_{k}\|_{p}}}$. In the first part of this paper we construct a counterexample showing that this inequality fails for every $p>2$. We then prove that if an estimate of the above form holds, the exponent must satisfy $c\le p'$. Finally, at the critical exponent $c=p'$, we establish the inequality for all integer values $p\ge 2$.
In the second part of the paper we obtain a sharp three-function bound \[ \Big\|\sum_{j=1}^{3} f_j\Big\|_p \ \le\ \left(1+2Γ^{c(p)}\right)^{1/p'} \Big(\sum_{j=1}^{3} \|f_j\|_p^p\Big)^{1/p}, \] where $p \geq 3$, $c(p) = \frac{2\ln(2)}{(p-2)\ln(3)+2\ln(2)}$ and $Γ=Γ(f_1,f_2,f_3)\in[0,1]$ quantifies the degree of orthogonality among $f_1,f_2,f_3$. The exponent $c(p)$ is optimal, and improves upon the power $r(p) = \frac{6}{5p-4}$ obtained previously by Carlen, Frank, and Lieb. Some intermediate lemmas and inequalities appearing in this work were explored with the assistance of the large language model Grok.
A Note on the Laplacian Eigenvectors of Threshold Graphs
Threshold graphs are graphs that can be characterized in a number of different ways. For example, they are graphs that are $P_4,\ C_4,\ 2K_2$--free. They may also be characterized by a finite sequence of positive integers $a_1, \ldots, a_r$, such that $a_1\geqslant 2$ and $a_1 + a_2 + \cdots + a_r = |V(G)|$.
Threshold graphs have the remarkable property that all graphs of the same order share a common integer Laplacian eigenbasis. This property characterizes threshold graphs. This result was proved in \cite{MachareteDelVecchio}. We give a different proof of the same result.
Small Matrices with Small Inverses: Unimodular Zerofree Cases
We consider unimodular matrices $M$ such that neither $M$ nor $M^{-1}$ contain zero entries. Matrices typically exhibit a trade-off: small $M$ imply large $M^{-1}$. We investigate rare cases where both remain small, classify these matrices up to symmetry, and discuss aspects of this balanced setting.