Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Upper cluster structure on Kac--Moody Richardson varieties
We show coordinate rings of open Richardson varieties are upper cluster algebras for any symmetrizable Kac--Moody type. We further show the coordinate rings of (generalized) open Richardson varieties on the twisted product of flag varieties are upper cluster algebras for any symmetrizable Kac--Moody type. This includes, as special cases, reduced double Bruhat cells, Bott-Samelson varieties, braid varieties. Our results generalize various results by Casals--Gorsky--Gorsky--Le--Shen--Simental and Galashin--Lam--Sherman-Bennett--Speyer in finite types.
The double of a simplicial complex
We introduce the notion of doubling and r-tupling for simplicial complexes, a notion reminiscent to that of matching complexes in graph theory. We prove a connectivity result for such complexes and relate r-tupling to stabilizing r times faster in homological stability.
Deza Cayley graphs from difference sets
In this note, we provide several constructions of Deza Cayley graphs over groups having a generalized dihedral subgroup. These constructions are based on a usage of (relative) difference sets.
Groups represented by incidence geometries
The aim of this paper is to use the framework of incidence geometry to develop a theory that permits to model both the inner and outer automorphisms of a group G simultaneously. More precisely, to any group G, we attempt to associate an incidence system whose group of type-preserving automorphisms is Inn(G), the group of inner automorphisms of G, and whose full group of automorphisms is the group Out(G) of outer automorphisms of G, getting what we call an incidence geometric representation theory for groups. Hence, in this setting, the group Inn(G) preserves the types of the associated incidence structure while the group Out(G) is acting non-trivially on the typeset of it, realizing the outer automorphisms of G as correlations. We give examples of incidence geometric representations for the dihedral groups, the symmetric groups, the automorphism groups of the five platonic solids, families of classical groups defined over fields such as the projective linear groups, and finally subgroups of free groups whose outer automorphism group is the largest finite subgroup of their automorphism group.
Contributions to conjectures on planar graphs: Induced Subgraphs, Treewidth, and Dominating Sets
Two of the most prominent unresolved conjectures in graph theory, the Albertson-Berman conjecture and the Matheson-Tarjan conjecture, have been extensively studied by many researchers.
(AB) Every planar graph of order $n$ has an induced forest of order at least $\frac{n}{2}$.
(MT) Every plane triangulation of sufficiently large order $n$ has a dominating set of cardinality at most $\frac{n}{4}$.
Although partial progress and weaker bounds are known, both conjectures remain unsolved. To shed further light on them, researchers have explored a variety of related notions and generalizations. In this paper, we clarify relations among several of these notions, most notably connected domination and induced outerplanar subgraphs, and investigate the corresponding open problems. Furthermore, we construct an infinite family of plane triangulations of order $n$ whose connected domination number exceeds $n/3$. This construction gives a negative answer to a question of Bradshaw et al. [SIAM J. Discrete Math. 36 (2022) 1416-1435], who asked whether the maxleaf number of every plane triangulation of order $n$ is at least $2n/3$. We also obtain new results on induced subgraphs with bounded treewidth and induced outerplanar subgraphs.
The Ramsey number of the 4-cycle versus a book graph
Given positive integers $n$ and $k$, the book graph $B_n^{(k)}$ consists of $n$ copies of $K_{k+1}$ sharing a common $K_k$. The book graph is a common generalization of a star and a clique, which can be seen by taking $k=1$ and $n=1$ respectively. In addition, the Ramsey number of a book graph is closely related to the diagonal Ramsey number. Thus the study of extremal problems related to the book graph is of substantial significance. In this paper, we aim to investigate the Ramsey number $r(C_4,B_n^{(k)})$ which is the smallest integer $N$ such that for any graph $G$ on $N$ vertices, either $G$ contains $C_4$ as a subgraph or the complement $\overline{G}$ contains $B_n^{(k)}$ as a subgraph. For $k=1$, a pioneer work by Parsons ({\it Trans.~Amer.~Math.~Soc.,} 209 (1975), 33--44) gives an upper bound for $r(C_4,B_n^{(1)})$, which is tight for infinitely many $n$. For $k=2$, in a recent paper ({\em J. Graph Theory,} 103 (2023), 309--322), the second, the third, and the fourth authors obtained the exact value of $r(C_4,B_{n}^{(2)})$ for infinitely many $n$. The goal of this paper is to prove a similar result for each integer $k \geq 3$. To be precise, given an integer $k \geq 3$ and a constant $0<\varepsilon<1$, let $n=q^2-kq+t+\binom{k}{2}-k$ and $Q(k,\varepsilon)=(320k^4)^{k+1}/\varepsilon^{2k}$, where $1 \leq t \leq (1-\varepsilon)q$. We first establish an upper bound for $r(C_4,B_n^{(k)})$ provided $q \geq Q(k,\varepsilon)$. Then we show the upper bound is tight for $q \geq Q(k,\varepsilon)$ being a prime power and $1 \leq t \leq (1-\varepsilon)q$ under some assumptions. The proof leverages on a simple but novel refinement of a well-known inequality related to a $C_4$-free graph. Therefore, for each $k \geq 3$, we obtain the exact value of $r(C_4,B_n^{(k)})$ for infinitely many $n$. Moreover, we prove general upper and lower bounds of $r(C_4,B_n^{(k)})$ for $k \geq 3$.
On the $4$-clique cover number of graphs
In 1966, Erdős, Goodman, and Pósa proved that $\lfloor n^2/4 \rfloor$ cliques are sufficient to cover all edges in any $n$-vertex graph, with tightness achieved by the balanced complete bipartite graph. This result was generalized by Dau, Milenkovic, and Puleo, who showed that at most $\lfloor \frac n 3 \rfloor \lfloor \frac {n+1} 3 \rfloor \lfloor \frac {n+2} 3 \rfloor$ cliques are needed to cover all triangles in any $n$-vertex graph $G$, and the bound is best possible as witnessed by the balanced complete tripartite graph. They further conjectured that for $t \geq 4$, the $t$-clique cover number is maximized by the Turán graph $T_{n,t}$. We confirm their conjecture for $t=4$ using novel techniques, including inductive frameworks, greedy partition method, local adjustments, and clique-counting lemmas by Erdős and by Moon and Moser.
On Structural Properties and Adjacency Spectrum of Coprime Graph of Integers
Published
• View Publication
• BIB
Let $TCG_n$ denote the coprime graph having vertex set $\{1,2,\ldots,n\}$ with any two vertices $i,j$ being adjacent if and only if $\gcd(i,j)=1$. In this article, we first study some structural properties of $TCG_n$. We study the vertex connectivity and crossing number of the coprime graph of integers. We discover a lower constraint on the multiplicity of $-1$, which appears as an eigenvalue in the adjacency matrix of $TCG_n$. We demonstrate our findings with a variety of cases. We also show that the adjacency matrix of $TCG_n$ is singular, i.e. has determinant $0$. Furthermore, we give a lower bound on the multiplicity of $0$, which appears as an eigenvalue in the adjacency matrix of $TCG_n$. Finally, we establish that the greatest eigenvalue of the adjacency matrix of $TCG_n$ is always above $2.$
Counting Small Cycle Double Covers
A theorem due to Seyffarth states that every planar $4$-connected $n$-vertex graph has a cycle double cover (CDC) containing at most $n-1$ cycles (a "small" CDC). We extend this theorem by proving that, in fact, such a graph must contain linearly many small CDCs (in terms of $n$), and provide stronger results in the case of planar $4$-connected triangulations. We complement this result with constructions of planar $4$-connected graphs which contain at most polynomially many small CDCs. Thereafter we treat cubic graphs, strengthening a lemma of Hušek and Šámal on the enumeration of CDCs, and, motivated by a conjecture of Bondy, give an alternative proof of the result that every planar 2-connected cubic graph on $n > 4$ vertices has a CDC of size at most $n/2$. Our proof is much shorter and obtained by combining a decomposition based argument, which might be of independent interest, with further combinatorial insights. Some of our results are accompanied by a version thereof for CDCs containing no cycle twice.
The Classification of Graphs on $8$ vertices with Coinciding Zero Forcing number and Maximum Nullity
We study the minimum rank of a (simple, undirected) graph, which is the minimum rank among all matrices in a space determined by the graph. We determine the exact set of graphs on eight vertices for which the nullity of a minimum rank matrix does not coincide with a bound determined by the zero forcing number of a graph. Although our goal was to determine which eight-vertex graphs satisfy maximum nullity equal to the zero forcing number, we also established several additional methods to assist in the computation of minimum rank for general graphs.
Circulant TSP: Vertices of the Edge-Length Polytope and Superpolynomial Lower Bounds
We study the edge-length polytope, motivated both by algorithmic research on the Circulant Traveling Salesman Problem (Circulant TSP) and number-theoretic research related to the Buratti-Horak-Rosa conjecture. Circulant TSP is a special case of TSP whose overall complexity is a significant still-open question, and where on an input with vertices $\{1, 2, ..., n\}$, the cost of an edge $\{i, j\}$ depends only on its length $\min\{|i-j|, n-|i-j|\}$. The edge-length polytope provides one path to solving circulant TSP instances, and we show that it is intimately connected to the factorization of $n$: the number of vertices scales with $n$ whenever $n$ is prime and with $n^{3/2}$ whenever $n$ is a prime-squared, but there are a superpolynomial number of vertices whenever $n$ is a power of 2. In contrast, the more-standard Symmetric TSP Polytope has roughly $n!$ vertices. Hence, for Circulant TSP, a brute-force algorithm checking every vertex is actually efficient in some cases, based on the factorization of $n$. As an intermediate step, we give superpolynomial lower-bounds on two combinatorial sequences related to the Buratti-Horak-Rosa conjecture, which asks what combinations of edge lengths can comprise a Hamiltonian path.
The space of multifurcating ranked tree shapes: enumeration, lattice structure, and Markov chains
Coalescent models of bifurcating genealogies are used to infer evolutionary parameters from molecular data. However, there are many situations where bifurcating genealogies do not accurately reflect the true underlying ancestral history of samples, and a multifurcating genealogy is required. The space of multifurcating genealogical trees, where nodes can have more than two descendants, is largely underexplored in the setting of coalescent inference. In this paper, we examine the space of rooted, ranked, and unlabeled multifurcating trees. We recursively enumerate the space and then construct a partial ordering which induces a lattice on the space of multifurcating ranked tree shapes. The lattice structure lends itself naturally to defining Markov chains that permit exploration on the space of multifurcating ranked tree shapes. Finally, we prove theoretical bounds for the mixing time of two Markov chains defined on the lattice, and we present simulation results comparing the distribution of trees and tree statistics under various coalescent models to the uniform distribution on this tree space.
Algorithmic methods of finite discrete structures. Topological graph drawing (part III)
The manuscript considers mathematical models for creating a topological drawing of a graph based on the methods of G. Ringel's vertex rotation theory. An algorithm is presented for generating a topological drawing of a flat part of a graph based on the selection of a basis for the cycle subspace C(G) using the Monte Carlo method. A steepest descent method for constructing a topological drawing of a flat subgraph is described in the manuscript. The topological drawing of a graph is constructed using a combination of the methods of vector intersection algebra developed by L. I. Rapport. Three stages of constructing a flat subgraph of a non-separable graph are described. The issues of constructing a Hamiltonian cycle based on constructing a flat subgraph are considered. A new method for constructing a Hamiltonian cycle of a graph based on the cycle graph of a flat subgraph is described.
Cycles in subexpression graphs
Let $\mathfrak{S}(\underline{s},w)$ be the graph whose vertices are all subexpressions with target $w$ of a fixed expression $\underline{s}$ in generators of a Coxeter group and edges are the pairs of subexpressions with Hamming distance 2. We prove that $\mathfrak{S}(\underline{s},w)$ is connected and its cycle space is spanned by cycles of lengths $d+2$, where $d$ ranges over all positive divisors of all finite orders of products of at most two entries of $\underline{s}$.
On Topological Indices in Trees: Fibonacci Degree Sequences and Bounds
In this paper, we have studied bounds based on topological indicators, from which we selected Albertson index $\mathrm{irr}$ and the Sigma index $σ$. The Sigma index was defined through the following relationship: \[ σ(G)=\sum_{uv\in E(G)}\left( d_u(G)-d_v(G) \right)^2. \]
We establish a precise formula for the Albertson index of a tree $T$ of order $n$ with a Fibonacci degree sequence $\mathscr{D} = (F_3, \dots, F_n)$. Additionally, we derive bounds for the minimum and maximum Albertson indices ($\irr_{\min}$ and $\irr_{\max}$) across various tree structures. Propositions and lemmas provide upper and lower bounds, incorporating parameters such as the maximum degree $ Δ$, minimum degree $δ$. We further relate the Albertson index to the second Zagreb index $M_2(T)$ and the forgotten index $F(T)$, establishing a new upper bound.
Linkage Axioms for Generic Tropical Oriented Matroids
We present a comprehensive overview of Ardila and Develin's (generic) tropical oriented matroids, as well as many related objects and their axiomatics. Moreover, we use a unifying framework that elucidates the connections between these objects, including several new cryptomorphisms and properties.
Graham positivity of triple Schubert calculus
We prove Samuel's conjecture on certain Graham positivity of the expansion coefficient of two double Schubert polynomials in three sets of variables by establishing a refined version of Graham's positivity theorem. As a corollary, we prove Kirillov's conjecture on the positivity of skew divided difference operators applied to Schubert polynomials.
Partial independent transversals in multipartite graphs
Given integers $r>d\ge 0$ and an $r$-partite graph, an independent $(r-d)$-transversal or $(r-d)$-IT is an independent set of size $r-d$ that intersects each part in at most one vertex. We show that every $r$-partite graph with maximum degree $Δ$ and parts of size $n$ contains an $(r-d)$-IT if $n> 2Δ(1-\frac{1}{q})$, provided $q= \lfloor \frac{r}{d+1}\rfloor\ge \frac{4r}{4d+5}$. This is tight when $q$ is even and extends a classical result of Haxell in the $d=0$ case. When $q= \lfloor \frac{r}{d+1} \rfloor\ge \frac{6r+6d+7}{6d+7}$ is odd, we show that $n> 2Δ(1-\frac{1}{q-1})$ guarantees an $(r-d)$-IT in any $r$-partite graph. This is also tight and extends a result of Haxell and Szabó in the $d=0$ case. In addition, we show that $n> 5Δ/4$ guarantees a $5$-IT in any $6$-partite graph and this bound is tight, answering a question of Lo, Treglown and Zhao.
Ideals generated by corner-interval minors
In this article, we study binomial ideals generated by an arbitrary collection of corner-interval $2$-minors of a generic matrix. We determine the minimal prime ideals of such ideals and characterize their radicality in the special case of corner minors. Moreover, we discuss connectivity properties of contingency tables in algebraic statistics. We compute the Hilbert-Poincaré polynomial of the ideal generated by the set of all corner-interval minors and we derive the formula for the regularity in the case of corner minors.
Minimal hypergraph non-jumps
An $r$-uniform hypergraph, or $r$-graph, has density $|E(G)|/|V(G)^{(r)}|$. We say $α$ is a jump for $r$-graphs if there is some constant $δ=δ(α)$ such that, for each $\varepsilon>0$ and $n\geq r$, any sufficiently large $r$-graph of density at least $\varepsilon$ has a subgraph of order $n$ and density at least $α+δ$. For $r=2$, all $α$ are jumps. For $r\geq 3$, Erdős showed all $[0,\frac{r!}{r^r})$ are jumps, and conjectured all $[0,1)$ are jumps. Since then, a variety of non-jumps have been proved, using a method introduced by Frankl and Rödl.
Our aim in this paper is to provide a general setting for this method. As an application, we give several new non-jumps, which are smaller than any previously known. We also demonstrate that these are the smallest the current method can prove.