Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Spectral Radius of Graphs with Size Constraints: Resolving a Conjecture of Guiduli
We resolve a problem posed by Guiduli (1996) on the spectral radius of graphs satisfying the Hereditarily Bounded Property $P_{t,r}$, which requires that every subgraph $H$ with $|V(H)| \geq t$ satisfies $|E(H)| \leq t|V(H)| + r$. For an $n$-vertex graph $G$ satisfying $P_{t,r}$, where $t > 0$ and $r \geq -\binom{\lfloor t+1 \rfloor}{2}$, we prove that the spectral radius $ρ(G)$ is bounded above by $ρ(G) \leq c(s,t) + \sqrt{\lfloor t \rfloor n}$, where $s = \binom{\lfloor t \rfloor + 1}{2} + r$, thus affirmatively answering Guiduli's conjecture.
Furthermore, we present a complete characterization of the extremal graphs that achieve this bound. These graphs are constructed as the join graph $K_{\lfloor t \rfloor} \nabla F$, where $F$ is either $K_3 \cup (n - \lfloor t \rfloor - 3)K_1$ or a forest consisting solely of star structures. The specific structure of such forests is meticulously characterized.
Central to our analysis is the introduction of a novel potential function $η(F) = e(F) + (\lfloor t \rfloor - t)|V(F)|$, which quantifies the structural "positivity" of subgraphs. By combining edge-shifting operations with spectral radius maximization principles, we establish sharp bounds on $η^+(G)$, the cumulative positivity of $G$. Our results contribute to the understanding of spectral extremal problems under edge-density constraints and provide a framework for analyzing similar hereditary properties.
Sign pattern matrices associated with cycle graphs that require algebraic positivity
Published
• View Publication
• BIB
A real matrix is said to be positive if its every entry is positive, and a real square matrix A is algebraically positive if there exists a real polynomial f such that f(A) is a positive matrix. A sign pattern matrix A is said to require a property if all matrices having sign pattern as A have that property. In this paper, we characterize all sign pattern matrices associated with cycle graphs that require algebraic positivity.
Spectral extremal results on the $A_α$-spectral radius of graphs without $K_{a,b}$-minor
Published in Applied Mathematics and Computation in 2025
• View Publication
• BIB
An important theorem about the spectral Turán problem of $K_{a,b}$ was largely developed in separate papers. Recently it was completely resolved by Zhai and Lin [J. Comb. Theory, Ser. B 157 (2022) 184-215], which also confirms a conjecture proposed by Tait [J. Comb. Theory, Ser. A 166 (2019) 42-58]. Here, the prior work is fully stated, and then generalized with a self-contained proof. The more complete result is then used to better understand the relationship between the $A_α$-spectral radius and the structure of the corresponding extremal $K_{a,b}$-minor free graph.
VC-dimensions Between Partially Ordered Sets and Totally Ordered Sets
Published in Order 43, 9 (2026)
• View Publication
• BIB
We say that two partial orders on $[n]$ are compatible if there exists a partial order that refines both of them. This compatibility relation induces a natural set system structure between the collection $\mathcal{F}$ of all partial orders and the collection $\mathcal{G}$ of all total orders on $[n]$, where each order is associated with the set of orders compatible with it.
In this note, we determine the VC-dimension of $\mathcal{F}$ with respect to $\mathcal{G}$, proving that $\operatorname{VC}_{\mathcal{G}}(\mathcal{F}) = \lfloor\frac{n^2}{4}\rfloor$ for $n \ge 4$. We also establish bounds on the dual VC-dimension, showing that $2(n-3) \le \operatorname{VC}_{\mathcal{F}}(\mathcal{G}) \le n \log_2 n$ for all $n \ge 1$.
Gapfree graphs and powers of edge ideals with linear quotients
Published
• View Publication
• BIB
Let $I(G)$ be the edge ideal of a gapfree graph $G$. An open conjecture of Nevo and Peeva states that $I(G)^q$ has linear resolution for $q\gg 0$. We present a promising approach to this challenging conjecture by investigating the stronger property of linear quotients. Specifically, we make the conjecture that if $I(G)^q$ has linear quotients for some integer $q\geq 1$, then $I(G)^{s}$ has linear quotients for all $s\geq q$. We give a partial solution to this conjecture, and identify conditions under which only finitely many powers need to be checked. It is known that if $G$ does not contain a cricket, a diamond, or a $C_4$, then $I(G)^q$ has linear resolution for $q \geq 2$. We construct a family of gapfree graphs $G$ containing cricket, diamond, $C_4$ together with $C_5$ as induced subgraphs of $G$ for which $I(G)^q$ has linear quotients for $q \ge 2$.
On Zarankiewicz's Problem for Intersection Hypergraphs of Geometric Objects
The hypergraph Zarankiewicz's problem, introduced by Erdős in 1964, asks for the maximum number of hyperedges in an $r$-partite hypergraph with $n$ vertices in each part that does not contain a copy of $K_{t,t,\ldots,t}$. Erdős obtained a near optimal bound of $O(n^{r-1/t^{r-1}})$ for general hypergraphs. In recent years, several works obtained improved bounds under various algebraic assumptions -- e.g., if the hypergraph is semialgebraic.
In this paper we study the problem in a geometric setting -- for $r$-partite intersection hypergraphs of families of geometric objects. Our main results are essentially sharp bounds for families of axis-parallel boxes in $\mathbb{R}^d$ and families of pseudo-discs. For axis-parallel boxes, we obtain the sharp bound $O_{d,r}(tn^{r-1}(\frac{\log n}{\log \log n})^{d-1})$. The best previous bound was larger by a factor of about $(\log n)^{d(2^{r-1}-2)}$. For pseudo-discs, we obtain the bound $O_r(tn^{r-1}(\log n)^{r-2})$, which is sharp up to logarithmic factors. As this hypergraph has no algebraic structure, no improvement of Erdős' 60-year-old $O(n^{r-1/t^{r-1}})$ bound was known for this setting. Futhermore, even in the special case of discs for which the semialgebraic structure can be used, our result improves the best known result by a factor of $\tildeΩ(n^{\frac{2r-2}{3r-2}})$.
To obtain our results, we use the recently improved results for the graph Zarankiewicz's problem in the corresponding settings, along with a variety of combinatorial and geometric techniques, including shallow cuttings, biclique covers, transversals, and planarity.
Equivariant Ehrhart Theory of Hypersimplices
Published in Forum of Mathematics, Sigma 13 (2025) e178
• View Publication
• BIB
We study the hypersimplex under the action of the symmetric group $S_n$ by coordinate permutation. We prove that the evaluation of its equivariant $H^*$-polynomial at $1$ is the permutation character of decorated ordered set partitions under the natural action of $S_n$. This verifies a conjecture of Stapledon for the hypersimplex. To prove this result, we give a formula for the coefficients of the $H^*$-polynomial. Additionally, for the $(2,n)$-hypersimplex, we use this formula to show that trivial character need not appear as a direct summand of a coefficient of the $H^*$-polynomial, which gives a family of counterexamples to a different conjecture of Stapledon.
Hitting cycles through prescribed vertices or edges
Published
• View Publication
• BIB
We prove that for every set $S$ of vertices of a directed graph $D$, the maximum number of vertices in $S$ contained in a collection of vertex-disjoint cycles in $D$ is at least the minimum size of a set of vertices that hits all cycles containing a vertex of $S$. As a consequence, the directed tree-width of a directed graph is linearly bounded in its cycle-width, which improves the previously known quadratic upper bound.
We further show that the corresponding statement in bidirected graphs is true and that its edge-variant holds in both undirected and directed graphs, but fails in bidirected graphs. The vertex-version in undirected graphs remains an open problem.
Commuting graphs of completely simple semigroups
Published
• View Publication
• BIB
We describe the commuting graph of a Rees matrix semigroup over a group and investigate its properties: diameter, clique number, girth, chromatic number and knit degree. The maximum size of a commutative subsemigroup of a Rees matrix semigroup over a group is presented, and its largest commutative subsemigroups are exhibited. We use the knowledge we obtained from the commuting graph of this semigroup construction to deduce results regarding the properties of commuting graphs of completely simple semigroups. We also characterize the graphs that arise as commuting graphs of completely simple semigroups. In the process of obtaining these results we are also able to restrict the possible values for some properties of commuting graphs of groups.
Totally nonnegative matrices, chain enumeration and zeros of polynomials
We prove that any lower unitriangular and totally nonnegative matrix gives rise to a family of polynomials with only real zeros. This has consequences for problems in several areas of mathematics. We use it to develop a general theory for chain enumeration in posets and zeros of chain polynomials. The results obtained extend and unify results of the first author, Brenti, Welker and Athanasiadis. In the process we define a notion of $h$-vectors for a large class of posets which generalize the notions of $h$-vectors associated to simplicial and cubical complexes. A consequence of our methods is a characterization of the convex hull of all characteristic polynomials of hyperplane arrangements of fixed dimension and over a fixed finite field. This may be seen as a refinement of the Critical Problem of Crapo and Rota.
We also use the methods developed to answer an open problem posed by Forgács and Tran on the real-rootedness of polynomials arising from certain bivariate rational functions.
$k$-Adjoint of Hyperplane Arrangements
Published
• View Publication
• BIB
In this paper, we introduce the $k$-adjoint of a given hyperplane arrangement $\mathcal{A}$ associated with rank-$k$ elements in the intersection lattice $L(\mathcal{A})$, which generalizes the classical adjoint proposed by Bixby and Coullard. The $k$-adjoint of $\mathcal{A}$ induces a decomposition of the Grassmannian, which we call the $\mathcal{A}$-adjoint decomposition. Inspired by the work of Gelfand, Goresky, MacPherson, and Serganova, we generalize the matroid decomposition and refined Schubert decomposition of the Grassmannian from the perspective of $\mathcal{A}$. Furthermore, we prove that these three decompositions are exactly the same decomposition. A notable application involves providing a combinatorial classification of all the $k$-dimensional restrictions of $\mathcal{A}$. Consequently, we establish the anti-monotonicity property of some combinatorial invariants, such as Whitney numbers of the first kind and the independece numbers.
Characterizing Nice Partition of Graphical Arrangements
The successive works of Terao as well as Stanley revealed that, for graphical arrangements, supersolvability and the existence of nice partitions are equivalent properties, both characterized by chordal graphs. In this paper, we further prove that every nice partition of a graphical arrangement arises precisely from a maximal modular chain in its intersection lattice. Moreover, we establish two converses to classical results of Orlik and Terao on nice partitions.
Matroids and amplitudes
In the 1990s, Kita--Yoshida and Cho--Matsumoto introduced intersection forms on the twisted (co)homologies of hyperplane arrangement complements. We give a closed combinatorial formula for these intersection pairings. We show that these intersection pairings are obtained from (continuous and discrete) Laplace transforms of subfans of the Bergman fan of the associated matroid. We compute inverses of these intersection pairings, allowing us to identify (variants of) these intersection forms with the contravariant form of Schechtman--Varchenko, and the bilinear form of Varchenko.
Building on parallel joint work with C. Eur, we define a notion of scattering amplitudes for matroids. We show that matroid amplitudes satisfy locality and unitarity, and recover biadjoint scalar amplitudes in the case of the complete graphic matroid. We apply our formulae for twisted intersection forms to deduce old and new formulae for scattering amplitudes.
Pencils of Conic-Line Curves
Published
• View Publication
• BIB
In this paper, we study the restrictions on the number $m$ of conic-line curves in special pencils. The most general result we obtain is the relation between upper bounds on $m$ and the number $p$ of concurrent lines in these pencils. We construct a one-parameter family of pencils such that each pencil in the family contains exactly 4 conic-line curves. We also deal with pencils whose conic-line curves are in general position.
A piecewise-linear formula for rigid representations of Dynkin quivers
Published
• View Publication
• BIB
We derive a piecewise-linear formula for the rigid representation of a Dynkin quiver of a given dimension vector, and illustrate the formula in several examples.
When do Schubert polynomial products stabilize?
The "back-stabilization number" for products of Schubert polynomials is the distance the corresponding permutations must be shifted before the structure constants stabilize. We give an explicit formula for this number and thereby prove a conjecture of N. Li in a strengthened form. This leads to an additional result: a formula for the smallest $n$ such that a given Schubert product expands completely over $S_n$.
Our method is to explore back-stable fundamental slide polynomials and their products combinatorially, in the context of their associated words. We use three main tools: (i) an algebra consisting of "colored words", with a modified shuffle product, and which contains the rings of back (quasi)symmetric functions as subquotients; (ii) the combinatorics of increasing suffixes of reduced words; and (iii) the lift of differential operators to the space of colored words.
A novel approach to the giant component fluctuations
We present a novel approach to study the evolution of the size (i.e. the number of vertices) of the giant component of a random graph process. It is based on the exploration algorithm called simultaneous breadth-first walk, introduced by Limic in 2019, that encodes the dynamic of the evolution of the sizes of the connected components of a large class of random graph processes. We limit our study to the variant of the Erdős-Rényi graph process $(G_n(s))_{s\geq 0}$ with $n$ vertices where an edge connecting a pair of vertices appears at an exponential rate 1 waiting time, independently over pairs. We first use the properties of the simultaneous breadth-first walk to obtain an alternative and self-contained proof of the functional central limit theorem recently established by Enriquez, Faraud and Lemaire in the super-critical regime ($s=\frac{c}{n}$ and $c>1$). Next, to show the versatility of our approach, we prove a functional central limit theorem in the barely super-critical regime ($s=\frac{1+tε_n}{n}$ where $t>0$ and $(ε_n)_n$ is a sequence of positive reals that converges to 0 such that $(nε_n^3)_n$ tends to $+\infty$).
Random regular graph states are complex at almost any depth
Published
• View Publication
• BIB
Graph states are fundamental objects in the theory of quantum information due to their simple classical description and rich entanglement structure. They are also intimately related to IQP circuits, which have applications in quantum pseudorandomness and quantum advantage. For us, they are a toy model to understand the relation between circuit connectivity, entanglement structure and computational complexity. In the worst case, a strict dichotomy in the computational universality of such graph states appears as a function of the degree $d$ of a regular graph state [GDH+23]. In this paper, we study the average-case complexity of simulating random graph states of varying degree when measured in random product bases and give distinct evidence that a similar complexity-theoretic dichotomy exists in the average case. Specifically, we consider random $d$-regular graph states and prove three distinct results: First, we exhibit two families of IQP circuits of depth $d$ and show that they anticoncentrate for any $2 < d = o(n^{1/2})$ when measured in a random $X$-$Y$-plane product basis. This implies anticoncentration for random constant-regular graph states. Second, in the regime $d = Θ(n^c)$ with $c \in (0,1)$, we prove that random $d$-regular graph states contain polynomially large grid graphs as induced subgraphs with high probability. This implies that they are universal resource states for measurement-based computation. Third, in the regime of high degree ($d\sim n/2$), we show that random graph states are not sufficiently entangled to be trivially classically simulable, unlike Haar random states. Proving the three results requires different techniques -- the analysis of a classical statistical-mechanics model using Krawtchouck polynomials, graph theoretic analysis using the switching method, and analysis of the ranks of submatrices of random adjacency matrices, respectively.
Revisiting Foulkes characters of wreath products
The article is concerned with the Foulkes characters of wreath products, which are block characters of wreath products, i.e., the positive-definite class functions depending only on the length of its elements. Inspired by the works of Gnedin--Gorin--Kerov and Miller, we introduce two specializations of the Schur--Weyl--Sergeev duality for wreath products and obtain two families of block characters, which provide a decomposition and an alternative construction of the Foulkes characters of wreath products. In particular, we give alternative proofs on some remarkable properties of the Foulkes characters. Along the way, we show that the Foulkes characters are the extreme rays of the cone of the block characters of wreath products and construct the representations with traces being the Foulkes characters via the coinvariant algebra of wreath products.
On structural connections between sandpile monoids and weighted Leavitt path algebras
Published
• View Publication
• BIB
In this article, we establish the relations between a sandpile graph, its sandpile monoid and the weighted Leavitt path algebra associated with it. Namely, we show that the lattice of all idempotents of the sandpile monoid $\text{SP}(E)$ of a sandpile graph $E$ is both isomorphic to the lattice of all nonempty saturated hereditary subsets of $E$, the lattice of all order-ideals of $\text{SP}(E)$ and the lattice of all ideals of the weighted Leavitt path algebra $L_{K}(E, ω)$ generated by vertices. Also, we describe the sandpile group of a sandpile graph $E$ via archimedean classes of $\text{SP}(E)$, and prove that all maximal subgroups of $\text{SP}(E)$ are exactly the Grothendieck groups of these archimedean classes. Finally, we give the structure of the Leavitt path algebra $L_{K}(E)$ of a sandpile graph $E$ via a finite chain of graded ideals being invariant under every graded automorphism of $L_{K}(E)$, and completely describe the structure of $L_{K}(E)$ such that the lattice of all idempotents of $\text{SP}(E)$ is a chain. Consequently, we completely describe the structure of the weighted Leavitt path algebra of a sandpile graph $E$ such that $\text{SP}(E)$ has exactly two idempotents.