Showing 20 papers (Total: 81914 papers, 47441 authors in database)
On the topology of conormal complexes and posets of matroids
Published
• View Publication
• BIB
We introduce the poset of biflats of a matroid $M$, a Lagrangian analog of the lattice of flats of $M$, and study the topology of its order complex, which we call the biflats complex. This work continues the study of the Lagrangian combinatorics of matroids, which was recently initiated by work of Ardila, Denham and Huh. We show the biflats complex contains two distinguished subcomplexes: the conormal complex of $M$ and the simplicial join of the Bergman complexes of $M$ and $M^\perp$, the matroidal dual of $M$. Our main theorems give sequences of elementary collapses of the biflats complex onto the conormal complex and the join of the Bergman complexes of $M$ and $M^\perp$. These collapses give a combinatorial proof that the biflats complex, conormal complex and the join of the Bergman complexes of $M$ and $M^\perp$ are all simple homotopy equivalent. Although simple homotopy equivalent, these complexes have many different combinatorial properties. We collect and prove a list of such properties.
Rational Catalan Numbers for Complex Reflection Groups
Published
• View Publication
• BIB
Assuming standard conjectures, we show that the canonical symmetrizing trace evaluated at powers of a Coxeter element produces rational Catalan numbers for irreducible spetsial complex reflection groups. This extends a technique used by Galashin, Lam, Trinh, and Williams to uniformly prove the enumeration of their noncrossing Catalan objects for finite Coxeter groups.
On the structure and spectra of an induced subgraph of essential ideal graph of $\mathbb{Z}_{n}$
Published
• View Publication
• BIB
Let $R$ be a commutative ring with unity. The essential ideal graph $\mathcal{E}_R$ of $R$ is a graph in which the vertex set comprises of set of all nonzero proper ideals of $R$ and two vertices $I$ and $K$ are adjacent if and only if $I+K$ is an essential ideal. In this paper, we discuss the structure of an induced subgraph of the essential ideal graph of the ring $\mathbb{Z}_{n}$ as a $\mathscr{G}$-generalized join graph and thereby completely determine the structure of $\mathcal{E}_{\mathbb{Z}_{n}}$. Also, we prove a characterization of $\mathcal{E}_{\mathbb{Z}_{n}}$ to be Laplacian integral in terms of the vertex-weighted Laplacian matrix of annihilating ideal graph of $\mathbb{Z}_{n}$ for $n= \prod_{i=1}^k p_i$. Further, we discuss the eigenvalues of various matrices like adjacency matrix, Laplacian matrix, signless Laplacian matrix, and normalized Laplacian matrix of the induced subgraph of the essential ideal graph of $\mathbb{Z}_{n}$. Finally, we obtain the upper bounds of spectral radius and algebraic connectivity of $\mathcal{E}_{\mathbb{Z}_{n}}$ and compute the values of $n$ for which these bounds are attained.
Turán problem for $C_{2k+1}^{-}$-free signed graph
Published
• View Publication
• BIB
In this paper, we study the Turán problem for $C_{2k+1}^{-}$. Suppose that $\dot{G}$ is an unbalanced signed graph of order $n$ with $e(\dot{G})$ edges. Let $λ_{1} (\dot{G})$ be the largest eigenvalue of $\dot{G}$, and $C_{2k+1}^{-}$ be the set of the negative cycle with length $2k+1$($3 \le k \le \frac{n}{15}$). We prove that if $\dot{G}$ is a $C_{2k+1}^{-}$-free unbalanced signed graph, then $e(\dot{G}) \le e(C_{3}^{-} \cdot K_{n-2})$ and $λ_{1}(\dot{G}) \le λ_{1}(C_{3}^{-} \cdot K_{n-2})$, with equality holding if and only if $\dot{G}$ is switching equivalent to $C_{3}^{-} \cdot K_{n-2}$.
A characterization of 4-connected graphs with no $K_{3,3}+v$-minor
Published
• View Publication
• BIB
Among graphs with 13 edges, there are exactly three internally 4-connected graphs which are $Oct^{+}$, cube+e and $ K_{3,3} +v$. A complete characterization of all 4-connected graphs with no $Oct^{+}$-minor is given in [John Maharry, An excluded minor theorem for the octahedron plus an edge, Journal of Graph Theory 57(2) (2008) 124-130]. Let $K_{3,3}+v$ denote the graph obtained by adding a new vertex $v$ to $K_{3,3}$ and joining $v$ to the four vertices of a 4-cycle. In this paper, we determine all 4-connected graphs that do not contain $K_{3,3}+v$ as a minor.
Torus quotients of Richardson varieties in $G_{r,qr+1}$
Published
• View Publication
• BIB
Let $r$ and $q$ be positive integers and $n=qr+1.$ Let $G = SL(n, \mathbb{C})$ and $T$ be a maximal torus of $G.$ Let $P^{α_r}$ be the maximal parabolic subgroup of $G$ corresponding to the simple root $α_r.$ Let $ω_r$ be the fundamental weight corresponding to $α_r.$ Let $W$ be the Weyl group of $G$ and $W_{P^{α_r}}$ be the Weyl group of $P^{α_r}.$ Let $W^{P^{α_r}}$ be the set of all minimal coset representatives of $W/W_{P^{α_r}}$ in $W.$ Let $w_{r,n}$ (respectively, $v_{r,n}$) be the minimal (respectively, maximal) element in $W^{P^{α_{r}}}$ such that $w_{r,n}(nω_r) \leq 0$ (respectively, $v_{r,n}(nω_r) \geq 0$). Let $v \leq v_{r,n}$ and $X^v_{w_{r,n}}$ be the Richardson variety in $G_{r,n}$ corresponding to $v$ and $w_{r,n}.$ In this article, we give a sufficient condition on $v$ such that the GIT quotient of $X^{v}_{w_{r,n}}$ for the action of $T$ is the product of projective spaces with respect to the descent of the line bundle $\mathcal{L}(nω_r).$
Reuniting $χ$-boundedness with polynomial $χ$-boundedness
Published in J. Combin. Theory Ser. B, 176:30-73, 2026
• View Publication
• BIB
A class $\mathcal{F}$ of graphs is $χ$-bounded if there is a function $f$ such that $χ(H)\le f(ω(H))$ for all induced subgraphs $H$ of a graph in $\mathcal{F}$. If $f$ can be chosen to be a polynomial, we say that $\mathcal{F}$ is polynomially $χ$-bounded. Esperet proposed a conjecture that every $χ$-bounded class of graphs is polynomially $χ$-bounded. This conjecture has been disproved; it has been shown that there are classes of graphs that are $χ$-bounded but not polynomially $χ$-bounded. Nevertheless, inspired by Esperet's conjecture, we introduce Pollyanna classes of graphs. A class $\mathcal{C}$ of graphs is Pollyanna if $\mathcal{C}\cap \mathcal{F}$ is polynomially $χ$-bounded for every $χ$-bounded class $\mathcal{F}$ of graphs. We prove that several classes of graphs are Pollyanna and also present some proper classes of graphs that are not Pollyanna.
Gallai's path decomposition conjecture for Cartesian product of graphs
Let $G$ be a graph of order $n$. A path decomposition $\mathcal{P}$ of $G$ is a collection of edge-disjoint paths that covers all the edges of $G$. Let $p(G)$ denote the minimum number of paths needed in a path decomposition of $G$. Gallai conjectured that if $G$ is connected, then $p(G)\leq \lceil\frac{n}{2}\rceil$. Let $n_o(G)$ to denote the number of vertices with odd degree in $G$. Lovász proved that if $G$ is a connected graph with all vertices having degree odd, i.e. $n_o(G)=n$, then $p(G)=\frac n 2$.
In this paper, we prove that if $G$ is a connected graph of order $m\geq 2$ with $p(G)=\frac{n_o(G)}{2}$ and $H$ is a connected graph of order $n$, then $p(G\Box H)\leq\frac{mn}{2}$. Furthermore, we prove that $p(G)=\frac{n_o(G)}{2}$, if one of the following is hold:
(\romannumeral1) $G$ is a tree;
(\romannumeral2) $G=P_n\Box T$, where $n\geq 4$ and $T$ is a tree;
(\romannumeral3) $G=P_n\Box H$, where $H$ is an even graph.
Triangulations Admit Dominating Sets of Size $2n/7$
Published
• View Publication
• BIB
We show that every planar triangulation on $n>10$ vertices has a dominating set of size $n/7=n/3.5$. This approaches the $n/4$ bound conjectured by Matheson and Tarjan [MT'96], and improves significantly on the previous best bound of $17n/53\approx n/3.117$ by Špacapan [Š'20].
From our proof it follows that every 3-connected $n$-vertex near-triangulation (except for 3 sporadic examples) has a dominating set of size $n/3.5$. On the other hand, for 3-connected near-triangulations, we show a lower bound of $3(n-1)/11\approx n/3.666$, demonstrating that the conjecture by Matheson and Tarjan [MT'96] cannot be strengthened to 3-connected near-triangulations.
Our proof uses a penalty function that, aside from the number of vertices, penalises vertices of degree 2 and specific constellations of neighbours of degree 3 along the boundary of the outer face. To facilitate induction, we not only consider near-triangulations, but a wider class of graphs (skeletal triangulations), allowing us to delete vertices more freely. Our main technical contribution is a set of attachments, that are small graphs we inductively attach to our graph, in order both to remember whether existing vertices are already dominated, and that serve as a tool in a divide and conquer approach. Along with a well-chosen potential function, we thus both remove and add vertices during the induction proof.
We complement our proof with a constructive algorithm that returns a dominating set of size $\le 2n/7$. Our algorithm has a quadratic running time.
Trimming forests is hard (unless they are made of stars)
Published
• View Publication
• BIB
Graph modification problems ask for the minimal number of vertex/edge additions/deletions needed to make a graph satisfy some predetermined property. A (meta) problem of this type, which was raised by Yannakakis in 1981, asks to determine for which properties ${\mathcal P}$, it is NP-hard to compute the smallest number of edge deletions needed to make a graph satisfy ${\mathcal P}$. Despite being extensively studied in the past 40 years, this problem is still wide open. In fact, it is open even when ${\mathcal P}$ is the property of being $H$-free, for some fixed graph $H$. In this case we use $\text{rem}_{H}(G)$ to denote the smallest number of edge deletions needed to turn $G$ into an $H$-free graph.
Alon, Sudakov and Shapira [Annals of Math. 2009] proved that if $H$ is not bipartite, then computing $\text{rem}_{H}(G)$ is NP-hard. They left open the problem of classifying the bipartite graphs $H$ for which computing $\text{rem}_{H}(G)$ is NP-hard. In this paper we resolve this problem when $H$ is a forest, showing that computing $\text{rem}_{H}(G)$ is polynomial-time solvable if $H$ is a star forest and NP-hard otherwise. Our main innovation in this work lies in introducing a new graph theoretic approach for Yannakakis's problem, which differs significantly from all prior works on this subject. In particular, we prove new results concerning an old and famous conjecture of Erdős and Sós, which are of independent interest.
The interplay between bounded ranks of tensors arising from partitions
Published
• View Publication
• BIB
Let $d \ge 2, h \ge 1$ be integers. Using a fragmentation technique, we characterise $(h+1)$-tuples $(R_1, \dots, R_h, R)$ of non-empty families of partitions of $\{1, \dots, d\}$ such that it suffices for an order-$d$ tensor to have bounded $R_i$-rank for each $i=1,\dots,h$ for it to have bounded $R$-rank. On the way, we prove power lower bounds on products of identity tensors that do not have rank $1$, providing a qualitative answer to a question of Naslund.
Towards the Characterization of Terminal Cut Functions: a Condition for Laminar Families
We study the following characterization problem. Given a set $T$ of terminals and a $(2^{|T|}-2)$-dimensional vector $π$ whose coordinates are indexed by proper subsets of $T$, is there a graph $G$ that contains $T$, such that for all subsets $\emptyset\subsetneq S\subsetneq T$, $π_S$ equals the value of the min-cut in $G$ separating $S$ from $T\setminus S$? The only known necessary conditions are submodularity and a special class of linear inequalities given by Chaudhuri, Subrahmanyam, Wagner and Zaroliagis.
Our main result is a new class of linear inequalities concerning laminar families, that generalize all previous ones. Using our new class of inequalities, we can generalize Karger's approximate min-cut counting result to graphs with terminals.
Higher Dimensional Chain Conditions
Published
• View Publication
• BIB
We investigate higher dimensional chain conditions, where the largeness notion is given by Fubini products of a given ideal. From strong saturation properties of an ideal, we derive abstractly versions of higher dimensional $Δ$-system lemma, which imply many posets, including any finite support iteration of $σ$-centered posets and measure algebras, satisfy the higher dimensional chain conditions. We then show that if a poset satisfies a strengthening of the $σ$-finite chain condition by Horn and Tarski, then it satisfies higher dimensional chain conditions. As an application, we derive Ramsey-theoretic consequences, namely various partition hypotheses as studied by Bannister, Bergfalk, Moore and Todorcevic, from the existence of ideals satisfying strong chain conditions.
Transitive generalized toggle groups containing a cycle
Published
• View Publication
• BIB
In \cite{striker2018rowmotion} Striker generalized Cameron and Fon-Der-Flaass's notion of a toggle group. In this paper we begin the study of transitive generalized toggle groups that contain a cycle. We first show that if such a group has degree $n$ and contains a transposition or a 3-cycle then the group contains $A_n$. Using the result about transpositions, we then prove that a transitive generalized toggle group that contains a short cycle must be primitive. Employing a result of Jones \cite{jones2014primitive}, which relies on the classification of the finite simple groups, we conclude that any transitive generalized toggle group of degree $n$ that contains a cycle with at least 3 fixed points must also contain $A_n$. Finally, we look at imprimitive generalized toggle groups containing a long cycle and show that they decompose into a direct product of primitive generalized toggle groups each containing a long cycle.
On Faces and Hilbert Bases of Kostka Cones
Published
• View Publication
• BIB
Kostka coefficients appear in the representation theory of the general linear group and enumerate semistandard Young tableaux of fixed shape and content. The $r$-Kostka cone is the real polyhedral cone generated by pairs of partitions with at most $r$ parts, written as non-increasing $r$-tuples, such that the corresponding Kostka coefficient is nonzero. We provide several results showing that its faces have interesting structural and enumerative properties. We show that the $d$-faces of the $r$-Kostka cone can be determined from those of the $(3d+3)$-Kostka cone, allowing us to characterize its $2$-faces and enumerate its $d$-faces for $d \leq 4$. We provide tight asymptotics for the number of $d$-faces for arbitrary $d$ and determine the maximum number of extremal rays contained in a $d$-face for $d < r$. We then make progress towards a generalization of the Gao-Kiers-Orelowitz-Yong Width Bound on initial entries of partitions $(λ,μ)$ appearing in the Hilbert basis of the $λ_1$-Kostka cone. We show that at least $93.7\%$ of integer pairs $λ_1 \geq μ_1 > 0$ appear as the initial entries of partitions $(λ,μ)$ comprising a Hilbert basis element of the $r$-Kostka cone for every $r > λ_1$. We conclude with a conjecture about a curious $h$-vector phenomenon.
Operations on the set of scalar and matrix-valued quiddity sequences
Published
• View Publication
• BIB
Our purpose with this paper is, in first place, to recast the space of quiddity sequences corresponding to usual frieze patterns as a different type of SET operad, and second to introduce and study $\mathfrak{M}$-quiddity sequences where $\mathfrak{M}$ is a monodromy block matrix of order two. Also, we examine some related topic as are the possibility of to define matrix-valued friezes patterns and noncommutative signed Chebyshev polynomials.
Ore plus Turán
Ore in 1961 determined the maximum number of edges in graphs not containing a Hamiltonian cycle, and Turán in 1941 found the maximum number of edges in graphs not containing a $K_{r+1}$. Motivated by the work of Adamus in 2009 and Ferrero and Lesniak in 2018 on the maximum number of edges in $r$-partite non-Hamiltonian graphs, we find the maximum number of edges in $K_{r+1}$-free non-Hamiltonian graphs. Then we extend this result from Hamiltonicity to traceability, chorded pancyclicity, Hamiltonian-connectedness, $k$-path Hamiltonicity, $k$-Hamiltonicity, $k$-Hamiltonian-connectedness, and $k$-connectedness. Finally we introduce a method for translating results on the maximum number of edges to results on the maximum number of $t$-cliques using the fact that colex Turán graphs are extremal, and thus determine the maximum number of $t$-cliques in each of these classes of graphs.
On Isospectral Integral Circulant Graphs
Understanding when two non-isomorphic graphs can have the same spectra is a classic problem that is still not completely understood, even for integral circulant graphs. We say that a natural number $N$ satisfies the \emph{integral spectral Adàm property (ISAP)} if any two integral circulant graphs of order $N$ with the same spectra must be isomorphic. It seems to be open whether all $N$ satisfy the ISAP; Mönius and So showed that $N$ satisfies the ISAP if $N = p^k, pq^k,$ or $pqr$. We show that: (a) for any prime factorization structure $N = p_1^{a_1}\cdots p_k^{a_k}$, $N$ satisfies the ISAP for "most" values of the $p_i$; (b) $N=p^2q^n$ satisfy the ISAP if $p,q$ are odd and $(q-1) \nmid (p-1)^2(p+1)$; (c) all $N =p^2q^2$ satisfy the ISAP.
The Codegree, Weak Maximum Likelihood Threshold, and the Gorenstein Property of Hierarchical Models
Published in Alg. Stat. 16 (2025) 201-215
• View Publication
• BIB
The codegree of a lattice polytope is the smallest integer dilate that contains a lattice point in the relative interior. The weak maximum likelihood threshold of a statistical model is the smallest number of data points for which there is a non-zero probability that the maximum likelihood estimate exists. The codegree of a marginal polytope is a lower bound on the maximum likelihood threshold of the associated log-linear model, and they are equal when the marginal polytope is normal. We prove a lower bound on the codegree in the case of hierarchical log-linear models and provide a conjectural formula for the codegree in general. As an application, we study when the marginal polytopes of hierarchical models are Gorenstein, including a classification of Gorenstein decomposable models, and a conjectural classification of Gorenstein binary hierarchical models.
Proving the Existence of a GOR Without Probability
In this note, we provide a new proof that a $D$-connected graph $G$ on $n$ vertices has a general position orthogonal representation in $\RR^{n-D}$. Our argument, while based on many of the concepts from the original proof due to Lovász, Saks and Schrijver, does not use the probabilistic method.