Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Structure constants of Peterson Schubert calculus
We give an explicit, positive, and type-uniform formula for all equivariant structure constants of the Peterson Schubert calculus in arbitrary Lie types, using only the Cartan matrix of the corresponding root system $Φ$. As an application, we derive a type-uniform formula for the mixed $Φ$-Eulerian numbers.
Spectral Turán problem for $\mathcal{K}_{3,3}^{-}$-free signed graphs
The classical spectral Turán problem is to determine the maximum spectral radius of an $\mathcal{F}$-free graph of order $n$. Zhai and Wang [Linear Algebra Appl, 437 (2012) 1641-1647] determined the maximum spectral radius of ${C}_{4}$-free graphs of given order. Additionally, Nikiforov obtained spectral strengthenings of the Kővari-Sós-Turán theorem [Linear Algebra Appl, 432 (2010) 1405-1411] when the forbidden graphs are complete bipartite. The spectral Turán problem concerning forbidden complete bipartite graphs in signed graphs has also attracted considerable attention. Let $\mathcal{K}_{s,t}^-$ be the set of all unbalanced signed graphs with underlying graphs $K_{s,t}$. Since the cases where $s=1$ or $t=1$ do not conform to the definition of $\mathcal{K}_{s,t}^-$, it follows that $s,t\geq 2$. Wang and Lin [Discrete Appl. Math, 372 (2025) 164-172] have solved the case of $s=t=2$ since $\mathcal{K}_{2,2}^-$ is $\mathcal{C}_{4}^{-}$ in this situation. This paper gives an answer for $s=t=3$ and completely characterizes the corresponding extremal signed graphs.
On Relative Ordered Turán Density
For an ordered graph $F$, denote the Turán density by $\vecπ(F)$. The relative Turán density, denoted by $ρ(F)$, is the supremum over $α\in [0,1]$ such that every ordered graph $G$ contains an $F$-free subgraph $G'$ with $e(G') \geq αe(G)$. Reiher, Rödl, Sales and Schacht showed that $ρ(P) = \vecπ(P)/2$ and $ρ(K) = \vecπ(K)$ for any ascending path $P$ or clique $K$. They asked if there are any ordered graphs $F$ with $\vecπ(F)/2 < ρ(F) < \vecπ(F)$. We answer this question in the affirmative by describing a family of such $F$. We also show that the relative Turán densities of a large family of ordered matchings (including $\{\{1,6\}, \{2,3\}, \{4,5\}\}$ and $\{\{1,3\}, \{2,5\}, \{4,6\}\}$) are $0$.
NP-Hardness and ETH-Based Inapproximability of Communication Complexity via Relaxed Interlacing
We prove that computing the deterministic communication complexity D(f) of a Boolean function is NP-hard in the standard protocol-tree model, answering, independently and concurrently with Hirahara-Llango-Loff (arXiv:2507.10426), a question first posed by Yao (1979). Our reduction builds and expands on a suite of structural "interlacing" lemmas introduced by Mackenzie and Saffidine (arXiv:2411.19003); these lemmas can be reused as black boxes in future lower-bound constructions.
The instances produced by our reduction admit optimal protocols for self-similar constructions with strong structural properties, giving a flexible framework for the design of reductions showing NP-hardness of deciding the communication complexity of a Boolean matrix. This complements the work by Hirahara, Ilango, and Loff, which establishes NP-hardness in the same model via a different route; our analysis additionally yields reusable structural guarantees and underpins further consequences concerning inapproximability.
Because the gadgets in our construction are self-similar, they can be recursively embedded. We sketch how this yields, under the Exponential-Time Hypothesis, an additive inapproximability gap that grows without bound. Furthermore we outline a route toward NP-hardness of approximating D(f) within a fixed constant additive error. Full details of the ETH-based inapproximability results will appear in a future version.
Beyond settling the complexity of deterministic communication complexity itself, the modular framework we develop opens the door to a wider class of reductions and, we believe, will prove useful in tackling other long-standing questions in communication complexity.
Asymptotically-tight packing and covering with transversal bases in Rota's basis conjecture
In 1989, Rota conjectured that, given any $n$ bases $B_1,\dots,B_n$ of a vector space of dimension $n$, or more generally a matroid of rank $n$, it is possible to rearrange these into $n$ disjoint transversal bases. Here, a transversal basis is a basis consisting of exactly one element from each of the original bases $B_1,\dots,B_n$. Two natural approaches to this conjecture are, to ask in this setting a) how many disjoint transversal bases can we find and b) how few transversal bases do we need to cover all the elements of $B_1,\dots,B_n$? In this paper, we give asymptotically-tight answers to both of these questions.
For a), we show that there are always $(1-o(1))n$ disjoint transversal bases, improving a result of Bucić, Kwan, Pokrovskiy, and Sudakov that $(1/2-o(1))n$ disjoint transversal bases always exist. For b), we show that $B_1\cup\dots \cup B_n$ can be covered by $(1+o(1))n$ transversal bases, improving a result of Aharoni and Berger using instead $2n$ transversal bases, and a subsequent result of the Polymath project on Rota's basis conjecture using $2n-2$ transversal bases.
Monotonicity for generalized binomial coefficients and Jack positivity
Published in Séminaire Lotharingien de Combinatoire 93B (2025), Article #139
• Search Publication
Binomial formulas for Schur polynomials and Jack polynomials were studied by Lascoux in 1978, and Kaneko, Okounkov--Olshanski and Lassalle in the 1990s. We prove that the associated binomial coefficients are monotone and derive some symmetric function inequalities, in particular, a Schur positivity and Jack positivity result. These inequalities are similar to those studied by Newton, Muirhead, Gantmacher, Cuttler--Greene--Skandera, Sra and Khare--Tao.
On the Maximum Spread of Non-Negative Matrices
Published
• View Publication
• BIB
Given a directed graph $G$, the spread of $G$ is the largest distance between any two eigenvalues of its adjacency matrix. In 2022, Breen, Riasanovsky, Tait, and Urschel asked what $n$-vertex directed graph maximizes spread, and whether this graph is undirected. We prove the more general result that the spread of any $n \times n$ non-negative matrix $A$ with $\|A\|_{\max} \le 1$ is at most $2n/\sqrt{3}$, which is tight up to an additive factor and exact when $n$ is a multiple of three. Furthermore, our results show that the matrix with maximum spread is always symmetric.
The gonality of circulant graphs
The gonality of a graph measures how difficult it is to move chips around the entirety of a graph according to certain chip-firing rules without introducing debt. In this paper we study the gonality of circulant graphs, a class of vertex-transitive graphs that can be specified by their number of vertices together with a list of cyclic adjacency relations satisfied by all vertices. We provide a universal upper bound on the gonality of all circulant graphs with a fixed adjacency list, which holds irrespective of the number of vertices. We use this upper bound together with computational methods to determine that the gonality of the \(4\)-regular Harary graph on \(n\) vertices is \(10\) for \(n\geq 16\). As a special case, this gives the gonality of sufficiently large antiprism graphs to be \(10\).
On the strong metric dimension of the complement of the zero-divisor graph of a lattice
In this paper, we compute the strong metric dimension of the complement of the zero-divisor graph of the blow-up of a Boolean lattice. Using these results, we calculate the strong metric dimension of the total graph, the maximal graph, the intersection graph of ideals, the complement of the zero-divisor graph of a reduced ring, and the component graph of a vector space.
Identifiability of Large Phylogenetic Mixtures for Many Phylogenetic Model Structures
Identifiability of phylogenetic models is a necessary condition to ensure that the model parameters can be uniquely determined from data. Mixture models are phylogenetic models where the probability distributions in the model are convex combinations of distributions in simpler phylogenetic models. Mixture models are used to model heterogeneity in the substitution process in DNA sequences. While many basic phylogenetic models are known to be identifiable, mixture models in generality have only been shown to be identifiable in certain cases. We expand the main theorem of [Rhodes, Sullivant 2012] to prove identifiability of mixture models in equivariant phylogenetic models, specifically the Jukes-Cantor, Kimura 2-parameter model, Kimura 3-parameter model and the Strand Symmetric model.
Averages of hypergraphs and higher arity stability
We show that $k$-ary functions giving the measure of the intersection of multi-parametric families of sets in probability spaces, e.g. $(x,y,z) \in X \times Y \times Z \mapsto μ(P_{x,y} \cap Q_{x,z} \cap R_{y,z})$, satisfy a particularly strong form of hypergraph regularity. More generally, this applies to the (integral) averages of continuous combinations of functions of smaller arity. This result is connected to higher arity stability in model theory, that we discuss in the second part of the paper. We demonstrate that all hypergraphs embedding both into the half-simplex and into $GS(\mathbb{F}_3)$, the two known sources of failure of ternary stability, do satisfy an analogous regularity lemma -- hence strong ternary stability cannot be characterized simply by excluded hypergraphs.
Clique complexes of strongly regular graphs, their eigenvalues, and cohomology groups
It is known that non-isomorphic strongly regular graphs with the same parameters must be cospectral (have the same eigenvalues). In this paper, we investigate whether the spectra of higher order Laplacians associated with these graphs can distinguish them. In this direction, we study the clique complexes of strongly regular graphs, and determine the spectra of the triangle complexes of several families of strongly regular graphs including Hamming graphs and Triangular graphs. In many cases, the spectrum of the triangle complex distinguishes between strongly regular graphs with the same parameters, but we find some examples where that is not the case. We also prove that if a graph has the property that for any induced cycle, there are four consecutive vertices on the cycle with a common neighbor, then the first cohomology group of the graph is trivial and we apply this result to several families of graphs.
The Moore Bound for Regular Simplicial Complexes
We derive Moore-type upper bounds for regular simplicial complexes and present logarithmic lower bounds on their diameter based on minimum degree.
The Ubiquitous Sparse Matrix-Matrix Products
Multiplication of a sparse matrix with another (dense or sparse) matrix is a fundamental operation that captures the computational patterns of many data science applications, including but not limited to graph algorithms, sparsely connected neural networks, graph neural networks, clustering, and many-to-many comparisons of biological sequencing data.
In many application scenarios, the matrix multiplication takes places on an arbitrary algebraic semiring where the scalar operations are overloaded with user-defined functions with certain properties or a more general heterogenous algebra where even the domains of the input matrices can be different. Here, we provide a unifying treatment of the sparse matrix-matrix operation and its rich application space including machine learning, computational biology and chemistry, graph algorithms, and scientific computing.
Exact Matching in Matrix Multiplication Time
Initiated by Mulmuley, Vazirani, and Vazirani (1987), many algebraic algorithms have been developed for matching and related problems. In this paper, we review basic facts and discuss possible improvements with the aid of fast computation of the characteristic polynomial of a matrix. In particular, we show that the so-called exact matching problem can be solved with high probability in asymptotically the same time order as matrix multiplication. We also discuss its extension to the linear matroid parity problem.
Connectedness of independence attractors of graphs with independence number three
An independent set in a simple graph $G$ is a set of pairwise non-adjacent vertices in $G$. The independence polynomial of $G$, denoted by $I_G$ is defined as $1 + a_1 z + a_2 z^2+\cdots+a_d z^{d}$, where $a_i$ denotes the number of independent sets with cardinality $i$ and $d$ is the cardinality of a largest independent set in $G$. This $d$ is known as the independence number of $G$. Let $G^m$ denote the $m$-times lexicographic product of $G$ with itself. The independence attractor of $G$, denoted by $\mathcal{A}(G)$ is defined as $\mathcal{A}(G) = \lim\limits_{m\rightarrow \infty} \{z: I_{G^m}(z)=0\}$, where the limit is taken with respect to the Hausdorff metric defined on the space of all compact subsets of the plane. This paper investigates the connectedness of the independence attractors of all graphs with independence number three. Let the independence polynomial of $G$ be $1+a_1 z +a_2 z^2 +a_3 z^3$. For $a_1 =3$, $\mathcal{A}(G)$ turns out to be $ \{-1\} \cup \{z: |z+1|=1\} $. For $a_1 >3$, we prove the following.
If $a_2 ^2 \leq 3 a_1 a_3$, or $3 a_1 a_3 < a_2 ^2 < 4a_3 (a_1 -1)$ then $\mathcal{A}(G)$ is totally disconnected. For $a_2 ^2 =4a_3 (a_1 -1) $, $\mathcal{A}(G)$ is connected when $a_1 =5$ and is disconnected but not totally disconnected for all other values of $a_1$. If $a_2 ^2 > 4a_3 (a_1 -1)$ then $\mathcal{A}(G)$ can be connected, totally disconnected or disconnected but not totally disconnected depending on further conditions involving $a_1, a_2$ and $a_3$. Examples of graphs exhibiting all the possibilities are provided.
Polynomial-time sampling despite disorder chaos
A distribution over instances of a sampling problem is said to exhibit transport disorder chaos if perturbing the instance by a small amount of random noise dramatically changes the stationary distribution (in Wasserstein distance). Seeking to provide evidence that some sampling tasks are hard on average, a recent line of work has demonstrated that disorder chaos is sufficient to rule out "stable" sampling algorithms, such as gradient methods and some diffusion processes.
We demonstrate that disorder chaos does not preclude polynomial-time sampling by canonical algorithms in canonical models. We show that with high probability over a random graph $\boldsymbol{G} \sim G(n,1/2)$: (1) the hardcore model (at fugacity $λ= 1$) on $\boldsymbol{G}$ exhibits disorder chaos, and (2) Glauber dynamics run for $O(n)$ time can approximately sample from the hardcore model on $\boldsymbol{G}$ (in Wasserstein distance).
When Are Standard Graph Products Isomorphic?
This article investigates the isomorphism problem for graphs derived from the four standard graph products: Cartesian, Kronecker (direct), strong, and lexicographic product. We provide a complete characterization of all simple connected graphs for which their corresponding products are isomorphic. As a by-product, we identify a novel family of non-distance-regular graphs that possess fewer than d+1 distinct distance eigenvalues, where d represents the diameter of the graph. This result offers a new perspective on Problem 4.3 posed in [2], moving beyond the current approaches.
Sums of Laplacian eigenvalues and sums of degrees
Let $X$ be a simplicial complex. For $1\le i\le\dim(X)$, let $X(i)$ be the set of $i$-dimensional faces of $X$, and let $f_i(X)=|X(i)|$. For $0\le i\le \dim(X)-1$, let $L_i^+(X)$ be the $i$-th upper Laplacian operator of $X$. For $σ\in X$ and $1\le r\le \dim(X)$, we denote by $\text{deg}_X^{(r)}(σ)$ the number of $r$-dimensional faces of $X$ containing $σ$. For a symmetric matrix $M\in \mathbb{R}^{n\times n}$ and $1\le i\le n$, let $λ_i(M)$ be the $i$-th largest eigenvalue of $M$. We prove that for every complex $X$, $1\le r\le\dim(X)$, and $1\le k\le f_{r-1}(X)/(r+1)$, \[ \sum_{i=1}^k λ_i(L_{r-1}^+(X)) \le \max \left\{ \sum_{σ\in A} \text{deg}_X^{(r)}(σ) :\, A\subset X(r-1),\, |A|=(r+1)k \right\}. \] This bound is sharp, and it extends a classical result of Anderson and Morley, corresponding to the special case $k=1,\, r=1$. As a consequence, we show that for all $1\le r\le \dim(X)$ and $1\le k\le f_{r-1}(X)$, \[ \sum_{i=1}^{k} λ_i(L_{r-1}^+(X)) \le f_r(X) + \binom{(r+1)k}{2}. \] In the case $r=1$, we obtain the following improved bound: for every $k\ge 1$ and every graph $G=(V,E)$ with $|V|\ge k$, \[
\sum_{i=1}^k λ_i(L(G)) \leq |E|+k^2, \] where $L(G)=L_0^{+}(G)$ is the Laplacian matrix of $G$. This improves upon previously known bounds for all $k\ge 3$, and may be seen as a further step towards Brouwer's conjecture, which states that $\sum_{i=1}^k λ_i(L(G)) \leq |E|+\binom{k+1}{2}.$
As an additional application, we show that if $X$ is an $(r+1)$-partite $r$-dimensional simplicial complex on vertex set $V$, and $1\le k\le f_{r-1}(X)$, then \[
\sum_{i=1}^{k} λ_i(L_{r-1}^+(X)) \le \sum_{i=1}^k \left|\{v\in V:\, \text{deg}^{(r)}_X(v)\ge i\}\right|. \] This resolves a special case of a conjecture of Duval and Reiner, which states that the above inequality holds for all simplicial complexes.
A bivariate version of the spread polynomials
We study a bivariate variant of Hans-Christian Herbig's version of Norman Wildberger's spread polynomials.