Showing 20 papers (Total: 83502 papers, 48219 authors in database)
On the spectrum of closed neighborhood corona product of graph and its application
In this paper, we investigate the spectral properties of the closed neighborhood corona product of graphs, which was introduced by Harishchandra S. Ramane et al.~\cite{ramane2021polynomials} (cf. Polynomials Associated with Closed Neighborhood Corona and Neighborhood Complement Corona of Graphs). Based on their results, such as characteristic polynomials of the adjacency, Laplacian, and signless Laplacian matrices, we further investigate the spectral characteristics of this product graph. Specifically, we investigate conditions under which cospectrality occurs for this operation. Further, we determine the Kirchhoff index and count spanning trees and identify sequences of non-cospectral equienergetic product graphs. Finally, we develop criteria for when the product graph is integral and thereby contribute to a deeper understanding of the algebraic and combinatorial structure of the product graph.
Constructions of self-orthogonal and LCD subspace codes
Recently, the notions of self-orthogonal subspace codes and LCD subspace codes were introduced, and LCD subspace codes obtained from mutually unbiased weighing matrices were studied. In this paper, we provide a method of constructing self-orthogonal and LCD subspace codes from a set of matrices under certain conditions. In particular, we give constructions of self-orthogonal and LCD subspace codes from mutually quasi-unbiased weighing matrices, linked systems of symmetric designs, and linked systems of symmetric group divisible designs, Deza graphs and their equitable partitions.
Multi-Colouring of Kneser Graphs: Notes on Stahl's Conjecture
A (finite, undirected) graph is $(n,k)$-colourable if we can assign each vertex a $k$-subset of $\{1,2,\ldots,n\}$ so that adjacent vertices receive disjoint subsets. We consider the following problem: if a graph is $(n,k)$-colourable, then for what pairs $(n',k')$ is it also $(n',k')$-colourable? This question can be translated into a question regarding multi-colourings of Kneser graphs, for which Stahl formulated a conjecture in 1976. We present new results, strengthen existing results, and in particular present much simpler proofs of several known cases of the conjecture.
Hankel determinants of backward shifts of the coefficients of a partial theta function
We study some polynomials which are related to Hankel determinants of backward shifts of the coefficients of a partial theta function. In this version an appendix is added which gives a simple formula for the coefficients of the reciprocal of the partial theta function.
Small families of partially shattering permutations
We say that a family of permutations $t$-shatters a set if it induces at least $t$ distinct permutations on that set. What is the minimum number $f_k(n,t)$ of permutations of $\{1, \dots, n\}$ that $t$-shatter all subsets of size $k$? For $t \le 2$, $f_k(n,t) = Θ(1)$. Spencer showed that $f_k(n,t) = Θ(\log \log n)$ for $3 \le t \le k$ and $f_k(n,k!) = Θ(\log n)$. In 1996, Füredi asked whether partial shattering with permutations must always fall into one of these three regimes. Johnson and Wickes recently settled the case $k = 3$ affirmatively and proved that $f_k(n,t) = Θ(\log n)$ for $t > 2 (k-1)!$.
We give a surprising negative answer to the question of Füredi by showing that a fourth regime exists for $k \ge 4$. We establish that $f_k(n,t) = Θ(\sqrt{\log n})$ for certain values of $t$ and prove that this is the only other regime when $k = 4$. We also show that $f_k(n,t) = Θ(\log n)$ for $t > 2^{k-1}$. This greatly narrows the range of $t$ for which the asymptotic behaviour of $f_k(n,t)$ is unknown.
Log-concavity for independent sets of valuated matroids
Recently, several proofs of the Mason--Welsh conjecture for matroids have been found, which asserts the log-concavity of the sequence that counts independent sets of a given size. In this article we use the theory of Lorentzian polynomials, developed by Brändén and Huh, to prove a generalization of the Mason-Welsh conjecture to the context of valuated matroids. In fact, we provide a log-concavity result in the more general setting of valuated discrete polymatroids, or equivalently, M-convex functions. Our approach is via the construction of a generic extension of a valuated matroid or M-convex function, so that the bases of the extension are related to the independent sets of the original matroid. We also provide a similar log-concavity result for valuated bimatroids, which, we believe, might be of independent interest.
Perfect Matching Complexes of Polygonal Line Tilings
Published
• View Publication
• BIB
The perfect matching complex of a simple graph $G$ is a simplicial complex having facets (maximal faces) as the perfect matchings of $G$. This article discusses the perfect matching complex of polygonal line tilings and the $\left(2 \times n\right)$-grid graph in particular. We use tools from discrete Morse theory to show that the perfect matching complex of any polygonal line tiling is either contractible or homotopy equivalent to a wedge of spheres. While proving our results, we also characterize all the matchings of $\left(2 \times n\right)$-grid graph that cannot be extended to form a perfect matching.
An analogue of Reed's conjecture for digraphs
Published
• View Publication
• BIB
Reed in 1998 conjectured that every graph $G$ satisfies $χ(G) \leq \lceil \frac{Δ(G)+1+ω(G)}{2} \rceil$. As a partial result, he proved the existence of $\varepsilon > 0$ for which every graph $G$ satisfies $χ(G) \leq \lceil (1-\varepsilon)(Δ(G)+1)+\varepsilonω(G) \rceil$. We propose an analogue conjecture for digraphs. Given a digraph $D$, we denote by $\vecχ(D)$ the dichromatic number of $D$, which is the minimum number of colours needed to partition $D$ into acyclic induced subdigraphs. We let $\overleftrightarrowω(D)$ denote the size of the largest biclique (a set of vertices inducing a complete digraph) of $D$ and $\tildeΔ(D) = \max_{v\in V(D)} \sqrt{d^+(v) \cdot d^-(v)}$. We conjecture that every digraph $D$ satisfies $\vecχ(D) \leq \lceil \frac{\tildeΔ(D)+1+\overleftrightarrowω(D)}{2} \rceil$, which if true implies Reed's conjecture. As a partial result, we prove the existence of $\varepsilon >0$ for which every digraph $D$ satisfies $\vecχ(D) \leq \lceil (1-\varepsilon)(\tildeΔ(D)+1)+\varepsilon\overleftrightarrowω(D) \rceil$. This implies both Reed's result and an independent result of Harutyunyan and Mohar for oriented graphs.
To obtain this upper bound on $\vecχ$, we prove that every digraph $D$ with $\overleftrightarrowω(D) > \frac{2}{3}(Δ_{\max}(D)+1)$, where $Δ_{\max}(D) = \max_{v\in V(D)} \max(d^+(v),d^-(v))$, admits an acyclic set of vertices intersecting each biclique of $D$, which generalises a result of King.
We finally give a short proof that all oriented graphs $D$ satisfy $\vecχ(D) \leq \frac{\sqrt{2}}{2} \TildeΔ(D) + 2$, improving on a result of Golowich.
Hypergraphs with uniform Turán density equal to 8/27
Published
• View Publication
• BIB
In the 1980s, Erdős and Sós initiated the study of Turán problems with a uniformity condition on the distribution of edges: the uniform Turán density of a hypergraph $H$ is the infimum over all $d$ for which any sufficiently large hypergraph with the property that all its linear-size subhypergraphs have density at least $d$ contains $H$. In particular, they asked to determine the uniform Turán densities of $K_4^{(3)-}$ and $K_4^{(3)}$. After more than 30 years, the former was solved in [Israel J. Math. 211 (2016), 349-366] and [J. Eur. Math. Soc. 20 (2018), 1139-1159], while the latter still remains open. Till today, there are known constructions of 3-uniform hypergraphs with uniform Turán density equal to 0, 1/27, 4/27 and 1/4 only. We extend this list by a fifth value: we prove an easy to verify condition for the uniform Turán density to be equal to 8/27 and identify hypergraphs satisfying this condition.
A coarse Erdős-Pósa theorem
Published
• View Publication
• BIB
An induced packing of cycles in a graph is a set of vertex-disjoint cycles with no edges between them. We generalise the classic Erdős-Pósa theorem to induced packings of cycles. More specifically, we show that there exist functions $f(k,\ell)=\mathcal{O}(\ell k\log k)$ and $g(k)=\mathcal{O}(k\log k)$ such that for all integers $k\geq1$ and $\ell\geq3$, every graph $G$ contains either an induced packing of $k$ cycles of length at least $\ell$, not necessarily induced cycles, or sets $X_1$ and $X_2$ of vertices with $|X_1|\leq f(k,\ell)$ and $|X_2|\leq g(k)$ such that, after removing the closed neighbourhood of $X_1$ or the ball of radius $\ell$ around $X_2$, the resulting graph has no cycle of length at least $\ell$ in $G$. Our proof is constructive and yields a polynomial-time algorithm finding either the induced packing or the sets $X_1$ and $X_2$ when $\ell$ is a constant. Furthermore, we show that for every positive integer $d$, if a graph $G$ does not contain two cycles at distance more than $d$, then $G$ contains sets $X_1$ and $X_2$ of vertices with $|X_1|\leq12(d+1)$ and $|X_2|\leq12$ such that, after removing the ball of radius $2d$ around $X_1$ or the ball of radius $3d$ around $X_2$, the resulting graphs are forests.
As a corollary, we prove that every graph with no $K_{1,t}$ induced subgraph and no induced packing of $k$ cycles of length at least $\ell$ has tree-independence number at most $\mathcal{O}(t\ell k\log k)$, and one can construct a corresponding tree-decomposition in polynomial time when $\ell$ is a constant. This resolves a special case of a conjecture of Dallard et al. (arXiv:2402.11222), and implies that on such graphs, many NP-hard problems, are solvable in polynomial time. On the other hand, we show that the class of all graphs with no $K_{1,3}$ induced subgraph and no two cycles at distance more than $2$ has unbounded tree-independence number.
Dirac's theorem for graphs of bounded bandwidth
We provide an optimal sufficient condition, relating minimum degree and bandwidth, for a graph to contain a spanning subdivision of the complete bipartite graph $K_{2,\ell}$. This includes the containment of Hamilton paths and cycles, and has applications in the random geometric graph model. Our proof provides a greedy algorithm for constructing such structures.
Embedding bumpless pipedreams as Bruhat chains
Published
• View Publication
• BIB
Schubert polynomials are distinguished representatives of Schubert cycles in the cohomology of the flag variety. In the spirit of Bergeron and Sottile, we use the Bruhat order to give $(n-1)!$ different combinatorial formulas for the Schubert polynomial of a permutation in $S_n$. By work of Lenart and Sottile, one extreme of the formulas recover the classical Pipedream (PD) formula. We prove the other extreme corresponds to Bumpless pipedreams (BPDs). We give two applications of this perspective to view BPDs: Using the Fomin-Kirrilov algebra, we solve the problem of finding a BPD analogue of Fomin and Stanley's algebraic construction on PDs; We also establish a bijection between PDs and BPDs using Lenart's growth diagram, which conjectually agrees with the existing bijection of Gao and Huang.
Planar graphs in blowups of fans
Published in Advances in Combinatorics 2026:1
• View Publication
• BIB
We show that every $n$-vertex planar graph is contained in the graph obtained from a fan by blowing up each vertex by a complete graph of order $O(\sqrt{n}\log^2 n)$. Equivalently, every $n$-vertex planar graph $G$ has a set $X$ of $O(\sqrt{n}\log^2 n)$ vertices such that $G-X$ has bandwidth $O(\sqrt{n}\log^2 n)$. We in fact prove the same result for any proper minor-closed class, and we prove more general results that explore the trade-off between $X$ and the bandwidth of $G-X$. The proofs use three key ingredients. The first is a new local sparsification lemma, which shows that every $n$-vertex planar graph $G$ has a set of $O((n\log n)/δ)$ vertices whose removal results in a graph with local density at most $δ$. The second is a generalization of a method of Feige and Rao that relates bandwidth and local density using volume-preserving Euclidean embeddings. The third ingredient is graph products, which are a key tool in the extension to any proper minor-closed class.
Probability graphons: the right convergence point of view
We extend the theory of probability graphons, continuum representations of edge-decorated graphs arising in graph limits theory, to the 'right convergence' point of view. First of all, we generalise the notions of overlay functionals and quotient sets to the case of probability graphons. Furthermore, we characterise the convergence of probability graphons in terms of these global quantities. In particular, we show the equivalence of these two notions of convergence with the unlabelled cut-metric convergence (and thus also with the homomorphism densities convergence and the subgraph sampling convergence). In other words, we prove the equivalence of the 'left convergence' and the 'right convergence' views on probability graphons convergence, generalising the corresponding result for (real-valued) graphons (the classical continuum representation for simple graphs).
An Intersection Matrix for Affine Hyperplane Arrangements
Published
• View Publication
• BIB
For a real affine hyperplane arrangement, we define an integer intersection matrix with a natural $q$-deformation related to the intersections of bounded chambers of the arrangement. By connecting the integer matrix to a bilinear form of Schechtman-Varchenko, we show that there is a closed formula for its determinant that only depends on the combinatorics of the underlying matroid. We conjecture an analogous formula for its $q$-deformation. Our work also applies more generally in the setting of affine oriented matroids.
Additionally, we give a representation-theoretic interpretation of our $q$-intersection matrix using Braden-Licata-Proudfoot-Websters's hypertoric category $\mathcal{O}$ (or more generally Kowalenko-Mautner's category $\mathcal{O}$ for oriented matroid programs). This paper is part of a broader program to categorify matroidal Schur algebras defined by Braden-Mautner.
Existential Closure in Uniform Hypergraphs
Published
• View Publication
• BIB
For a positive integer $n$, a graph with at least $n$ vertices is $n$-existentially closed or simply $n$-e.c. if for any set of vertices $S$ of size $n$ and any set $T\subseteq S$, there is a vertex $x\not\in S$ adjacent to each vertex of $T$ and no vertex of $S\setminus T$. We extend this concept to uniform hypergraphs, find necessary conditions for $n$-e.c. hypergraphs to exist, and prove that random uniform hypergraphs are asymptotically $n$-existentially closed. We then provide constructions to generate infinitely many examples of $n$-e.c. hypergraphs. In particular, these constructions use certain combinatorial designs as ingredients, adding to the ever-growing list of applications of designs.
Connected Matchings
Published
• View Publication
• BIB
We show that each set of $n\ge 2$ points in the plane in general position has a straight-line matching with at least $(5n+1)/27$ edges whose segments form a connected set, and such a matching can be computed in $O(n \log n)$ time. As an upper bound, we show that for some planar point sets in general position the largest matching whose segments form a connected set has $\lceil \frac{n-1}{3}\rceil$ edges. We also consider a colored version, where each edge of the matching should connect points with different colors.
Chromatic symmetric functions and change of basis
Published
• View Publication
• BIB
We prove necessary conditions for certain elementary symmetric functions, $e_λ$, to appear with nonzero coefficient in Stanley's chromatic symmetric function as well as in the generalization considered by Shareshian and Wachs. We do this by first considering the expansion in the monomial or Schur basis and then performing a basis change. Using the former, we make a connection with two fundamental graph theory invariants, the independence and clique numbers. This allows us to prove nonnegativity of three-column coefficients for all natural unit interval graphs. The Schur basis permits us to give a new interpretation of the coefficient of $e_n$ in terms of tableaux. We are also able to give an explicit formula for that coefficient.
Spanning spheres in Dirac hypergraphs
Published
• View Publication
• BIB
We show that a $k$-uniform hypergraph on $n$ vertices has a spanning subgraph homeomorphic to the $(k - 1)$-dimensional sphere provided that $H$ has no isolated vertices and each set of $k - 1$ vertices supported by an edge is contained in at least $n/2 + o(n)$ edges. This gives a topological extension of Dirac's theorem and asymptotically confirms a conjecture of Georgakopoulos, Haslegrave, Montgomery, and Narayanan.
Unlike typical results in the area, our proof does not rely on the Absorption Method, the Regularity Lemma or the Blow-up Lemma. Instead, we use a recently introduced framework that is based on covering the vertex set of the host graph with a family of complete blow-ups.
A Theory for Coloring Walks in a Digraph
Consider edge colorings of digraphs where edges $v_1 v_2$ and $v_2 v_3$ have different colors. This coloring induces a vertex coloring by sets of edge colors, in which edge $v_1 v_2$ in the graph implies that the set color of $v_1$ contains an element not in the set color of $v_2$, and conversely. We generalize to colorings of $k$(vertex)-walks, defined so two walks have different colors if one is the prefix $c_1$ and the other is the suffix $c_2$ of a common $(k+1)$-walk. Further, the colors can belong to a poset $P$ where $c_1$, $c_2$ must satisfy $c_1 \not\leq c_2$. This set construction generalizes the lower order ideal in $P$ from a set of $k$-walk colors; these order ideals are partially ordered by containment. We conclude that a $P$ coloring of $k$-walks exists iff there is a vertex coloring by $A$ iterated $k-1$ times on $P$, where Birkhoff's $A$ maps a poset to its poset of lower order ideals. Thus the directed chromatic index problem is generalized and reduced to poset coloring of vertices. This work uses ideas, results and motivations due to Cole and Vishkin on deterministic coin tossing and Becker and Simon on vertex covers for subsets of $(n-2)$-cubes.