Showing 20 papers (Total: 81623 papers, 47312 authors in database)
SSD Set System, Graph Decomposition and Hamiltonian Cycle
In this paper, we first study what we call Superset-Subset-Disjoint (SSD) set system. Based on properties of SSD set system, we derive the following (I) to (IV):
(I) For a nonnegative integer $k$ and a graph $G=(V,E)$ with $|V|\ge2$, let $X_1,X_2,\dots,X_q\subsetneq V$ denote all maximal proper subsets of $V$ that induce $k$-edge-connected subgraphs. Then at least one of (a) and (b) holds: (a) $\{X_1,X_2,\dots,X_q\}$ is a partition of $V$; and (b) $V\setminus X_1, V\setminus X_2,\dots,V\setminus X_q$ are pairwise disjoint.
(II) For $k=1$ and a strongly-connected digraph $G$, whether $V$ is in (a) and/or (b) can be decided in $O(n+m)$ time and we can generate all such $X_1,X_2,\dots,X_q$ in $O(n+m+|X_1|+|X_2|+\dots+|X_q|)$ time, where $n=|V|$ and $m=|E|$.
(III) For a digraph $G$, we can enumerate in linear delay all vertex subsets of $V$ that induce strongly-connected subgraphs.
(IV) A digraph is Hamiltonian if there is a spanning subgraph that is strongly-connected and in the case (a).
Symmetric nonnegative functions, the tropical Vandermonde cell and superdominance of power sums
Published
• View Publication
• BIB
We study nonnegative and sums of squares symmetric (and even symmetric) functions of fixed degree. We can think of these as limit cones of symmetric nonnegative polynomials and symmetric sums of squares of fixed degree as the number of variables goes to infinity. We compare these cones, including finding explicit examples of nonnegative polynomials which are not sums of squares for any sufficiently large number of variables, and compute the tropicalizations of their dual cones in the even symmetric case. We find that the tropicalization of the dual cones is naturally understood in terms of the overlooked superdominance order on partitions. The power sum symmetric functions obey this same partial order (analogously to how term-normalized power sums obey the dominance order).
Longest cycles in vertex-transitive and highly connected graphs
Published in Bulletin of the London Mathematical Society, 57(10):2975-2990, October 2025
• View Publication
• BIB
We present progress on three old conjectures about longest paths and cycles in graphs. The first pair of conjectures, due to Lovász from 1969 and Thomassen from 1978, respectively, states that all connected vertex-transitive graphs contain a Hamiltonian path, and that all sufficiently large such graphs even contain a Hamiltonian cycle. The third conjecture, due to Smith from 1984, states that for $r\ge 2$ in every $r$-connected graph any two longest cycles intersect in at least $r$ vertices. In this paper, we prove a new lemma about the intersection of longest cycles in a graph which can be used to improve the best known bounds towards all the aforementioned conjectures: First, we show that every connected vertex-transitive graph on $n\geq 3$ vertices contains a cycle (and hence path) of length at least $Ω(n^{13/21})$, improving on $Ω(n^{3/5})$ from [DeVos, \emph{arXiv:2302:04255}, 2023]. Second, we show that in every $r$-connected graph with $r\geq 2$, any two longest cycles meet in at least $Ω(r^{5/8})$ vertices, improving on $Ω(r^{3/5})$ from [Chen, Faudree and Gould, \emph{J. Combin. Theory, Ser.~ B}, 1998]. Our proof combines combinatorial arguments, computer-search and linear programming.
Non-noetherian GL-algebras in characteristic two
Over fields of characteristic two, we construct an infinite ascending chain of GL-stable ideals in the coordinate ring of infinite skew-symmetric matrices. This construction provides the first known example of a non-noetherian GL-algebra, thereby resolving a long-standing open question in the area. Our results build on the work of Draisma, Krasilnikov, and Krone.
Deterministic approximate counting of colorings with fewer than $2Δ$ colors via absence of zeros
Published in TheoretiCS, Volume 5 (2026), Article 1, 1-41
• View Publication
• BIB
Let $Δ,q\geq 3$ be integers. We prove that there exists $η\geq 0.002$ such that if $q\geq (2-η)Δ$, then there exists an open set $\mathcal{U}\subset \mathbb{C}$ that contains the interval $[0,1]$ such that for each $w\in \mathcal{U}$ and any graph $G=(V,E)$ of maximum degree at most $Δ$, the partition function of the anti-ferromagnetic $q$-state Potts model evaluated at $w$ does not vanish. This provides a (modest) improvement on a result of Liu, Sinclair, and Srivastava, and breaks the $q=2Δ$-barrier for this problem.
As a direct consequence we obtain via Barvinok's interpolation method a deterministic polynomial time algorithm to approximate the number of proper $q$-colorings of graphs of maximum degree at most $Δ$, provided $q\geq (2-η)Δ$.
Sidorenko's conjecture for subdivisions and theta substitutions
Published
• View Publication
• BIB
The famous Sidorenko's conjecture asserts that for every bipartite graph $H$, the number of homomorphisms from $H$ to a graph $G$ with given edge density is minimized when $G$ is pseudorandom. We prove that for any graph $H$, a graph obtained from replacing edges of $H$ by generalized theta graphs consisting of even paths satisfies Sidorenko's conjecture, provided a certain divisibility condition on the number of paths. To achieve this, we prove unconditionally that bipartite graphs obtained from replacing each edge of a complete graph with a generalized theta graph satisfy Sidorenko's conjecture, which extends a result of Conlon, Kim, Lee and Lee [J. Lond. Math. Soc., 2018].
Sample Complexity of Low-rank Tensor Recovery from Uniformly Random Entries
We show that a generic tensor $T\in \mathbb{F}^{n\times n\times \dots\times n}$ of order $k$ and CP rank $d$ can be uniquely recovered from $n\log n+dn\log \log n +o(n\log \log n) $ uniformly random entries with high probability if $d$ and $k$ are constant and $\mathbb{F}\in \{\mathbb{R},\mathbb{C}\}$. The bound is tight up to the coefficient of the second leading term and improves on the existing $O(n^{\frac{k}{2}}{\rm polylog}(n))$ upper bound for order $k$ tensors. The bound is obtained by showing that the projection of the Segre variety to a random axis-parallel linear subspace preserves $d$-identifiability with high probability if the dimension of the subspace is $n\log n+dn\log \log n +o(n\log \log n) $ and $n$ is sufficiently large.
Deformed Intersections of Half-spaces
This paper is devoted to the classification problems concerning extended deformations of convex polyhedra and real hyperplane arrangements in the following senses: combinatorial equivalence of face posets, normal equivalence on normal fans of convex polyhedra, and sign equivalence on half-spaces. The extended deformations of convex polyhedra arise from parallel translations of given half-spaces and hyperplanes, whose normal vectors give rise to the so-called ``derived arrangement'' proposed by Rota as well as Crapo in different forms. We show that two extended deformations of convex polyhedra are normally (combinatorially, as a consequence) equivalent if they are parameterized by the same open face of the derived arrangement. Note that these extended deformations are based on parallel translations of the given hyperplanes. It allows us to study three deformations of real hyperplane arrangements: parallel translations, conings, and elementary lifts, whose configuration spaces are parameterized by open faces of the derived arrangement. Consequently, it gives a characterization of the normal, combinatorial, and sign equivalences of those three deformations via the derived arrangement. Additionally, the relationships among these three equivalence relations are discussed, and several new descriptions of real derived arrangements associated with faces and sign vectors of real hyperplane arrangements are provided.
More results on the spectral radius of graphs with no odd wheels
Published
• View Publication
• BIB
For a graph $G$, the spectral radius $λ_{1}(G)$ of $G$ is the largest eigenvalue of its adjacency matrix. An odd wheel $W_{2k+1}$ with $k\geq2$ is a graph obtained from a cycle of order $2k$ by adding a new vertex connecting to all the vertices of the cycle. Let ${\rm SPEX}(n,W_{2k+1})$ be the set of $W_{2k+1}$-free graphs of order $n$ with the maximum spectral radius. Very recently, Cioabă, Desai and Tait \cite{CDT2} characterized the graphs in ${\rm SPEX}(n,W_{2k+1})$ for sufficiently large $n$, where $k\geq2$ and $k\neq4,5$. And they left the case $k=4,5$ as a problem. In this paper, we settle this problem. Moreover, we completely characterize the graphs in ${\rm SPEX}(n,W_{2k+1})$ when $k\geq4$ is even and $n\equiv2~(\mod4)$ is sufficiently large. Consequently, the graphs in ${\rm SPEX}(n,W_{2k+1})$ are characterized completely for any $k\geq2$ and sufficiently large $n$.
The $k$-distance mutual-visibility problem in graphs
Published
• View Publication
• BIB
The concept of mutual visibility in graphs, introduced recently, addresses a fundamental problem in Graph Theory concerning the identification of the largest set of vertices in a graph such that any two vertices have a shortest path connecting them, excluding internal vertices of the set. Originally motivated by some challenges in Computer Science related to robot navigation, the problem seeks to ensure unobstructed communication channels between navigating entities. The mutual-visibility problem involves determining a largest mutual-visibility set in a graph. The mutual-visibility number of a graph represents the cardinality of the largest mutual-visibility set. This concept has sparked significant research interest, leading to connections with classical combinatorial problems like the Zarankiewicz problem and Turán-type problems. In this paper, we consider practical limitations in network visibility and our investigation extends the original concept to $k$-distance mutual-visibility. In this case, a pair of vertices is considered $S$-visible if a shortest path of length at most $k$ exists, excluding internal vertices belonging to the set $S$. The $k$-distance mutual-visibility number represents the cardinality of a largest $k$-distance mutual-visibility set. We initiate the study of this new graph parameter. We prove that the associate decision problem belongs to the NP-complete class. We also give some properties and tight bounds, as well as, the exact value of such parameter for some particular non trivial graph classes.
Two Bijections on NBC Subsets
We establish two explicit bijections: from acyclic reorientations of an oriented matroid to no broken circuit (NBC) subsets of its underlying matroid, and from regions of a real hyperplane arrangement to its affine NBC subsets.
Cooperative colorings of hypergraphs
Given a class $\mathcal{H}$ of $m$ hypergraphs ${H}_1, {H}_2, \ldots, {H}_m$ with the same vertex set $V$, a cooperative coloring of them is a partition $\{I_1, I_2, \ldots, I_m\}$ of $V$ in such a way that each $I_i$ is an independent set in ${H}_i$ for $1\leq i\leq m$. The cooperative chromatic number of a class $\mathcal{H}$ is the smallest number of hypergraphs from $\mathcal{H}$ that always possess a cooperative coloring. For the classes of $k$-uniform tight cycles, $k$-uniform loose cycles, $k$-uniform tight paths, and $k$-uniform loose paths, we find that their cooperative chromatic numbers are all exactly two utilizing a new proved set system partition theorem, which also has its independent interests and offers a broader perspective. For the class of $k$-partite $k$-uniform hypergraphs with sufficient large maximum degree $d$, we prove that its cooperative chromatic number has lower bound $Ω(\log_k d)$ and upper bound $\text{O}\left(\frac{d}{\ln d}\right)^{\frac{1}{k-1}}$.
Orthogonal and oriented Fano planes, triangular embeddings of $K_7,$ and geometrical representations of the Frobenius group $F_{21}$
Published
• View Publication
• BIB
In this paper we present some geometrical representations of the Frobenius group of order $21$ (henceforth, $F_{21}$). The main focus is on investigating the group of common automorphisms of two orthogonal Fano planes and the automorphism group of a suitably oriented Fano plane. We show that both groups are isomorphic to $F_{21},$ independently of the choice of the two orthogonal Fano planes and of the choice of the orientation.
We show, moreover, that any triangular embedding of the complete graph $K_7$ into a surface is isomorphic to the classical toroidal biembedding and hence is face $2$-colorable, with the two color classes defining a pair of orthogonal Fano planes. As a consequence, we show that, for any triangular embedding of $K_7$ into a surface, the group of the automorphisms that preserve the color classes is the Frobenius group of order $21.$
This way we provide three geometrical representations of $F_{21}$. Also, we apply the representation in terms of two orthogonal Fano planes to give an alternative proof that $F_{21}$ is the automorphism group of the Kirkman triple system of order $15$ that is usually denoted as #61.
Log-concavity of cluster algebras of type $A_n$
Published
• View Publication
• BIB
Okounkov [Oko03] conjectured the log-concavity about the structure constants for many interesting basis from representation theory. For the cluster algebra, Gross, Hacking, Keel, Kontsevich [GHKK18] introduced the atomic theta basis. We prove that the coefficients of the exponents of any cluster variable of type $A_n$ are log-concave. We show that the structure constants for theta basis of type $A_2$ are log-concave. As for larger generality, we conjecture that the log-concavity of the structure constants for theta basis of the cluster algebra.
Co-Engel graphs of certain finite non-Engel groups
Let $G$ be a group. The co-Engel graph of $G$) with $G$ whose vertex set is $G$ and two distinct vertices $x$ and $y$ are adjacent if $[x,{}_k y]\neq1$ and $[y,{}_k x] \neq 1$ for all positive integer $k$, where $[x,{}_ky]$ is the iterated commutator $[x,y,y,\ldots,y]$, with $k$ terms $y$ in the expression; usually we delete isolated vertices (these are the left Engel elements).
This graph, under the name ``Engel graph'', was introduced by Abdollahi~\cite{aa}. However, we argue that it is more naturally called the ``co-Engel graph''.
We compute genus, various spectra, energies and Zagreb indices of co-Engel graphs for groups including the dihedral and generalized quaternion groups and nonabelian groups of order $pq$ where $p$ and $q$ are primes. As a consequence, we determine (up to isomorphism) all finite non-Engel group $G$ such that the clique number of the co-Engel is at most $4$ and the graph is toroidal or projective. Further, we show that the co-Engel graph is super integral and satisfies the E-LE conjecture and the Hansen--Vuki{č}evi{ć} conjecture for the groups considered in this paper.
We also look briefly at the directed Engel graph, with an arc $x\to y$ if $[y,{}_kx]=1$ for some $k$. We show that, if $G$ is a finite soluble group, this graph either is the complete directed graph (which occurs only if $G$ is nilpotent), or has pairs of vertices joined only by single arcs. We also show that the (directed or undirected) Engel graph of a group $G$ is the lexicographic product of a complete graph of order $Z_\infty(G)$ by the (directed or undirected) Engel graph of $G/Z_\infty(G)$, where $Z_\infty(G)$ is the hypercenter of $G$.
Using the KKM theorem
The KKM theorem, due to Knaster, Kuratowski, and Mazurkiewicz in 1929, is a fundamental result in fixed-point theory, which has seen numerous extensions and applications. In this paper we survey old and recent generalizations of the KKM theorem and their applications in the areas of piercing numbers, mass partition, fair division, and matching theory. We also give a few new results utilizing KKM-type theorems, and discuss related open problems.
On the Automorphisms of Token Graphs Generated by $2$-cuts with the Same Neighbours
Published
• View Publication
• BIB
Let $G$ be a connected graph on $n$ vertices and $1 \le k \le n-1$ an integer. The $k$-token graph of $G$ is the graph $F_k(G)$ whose vertices are all the $k$-subsets of vertices of $G$, two of which are adjacent whenever their symmetric difference is an edge of $G$. Every automorphism of $G$ induces an automorphism of $F_k(G)$ in a natural way. Suppose that $S:=\{x,y\}$ is a cut set of $G$, such that $x$ and $y$ have the same neighbours in $G\setminus \{x,y\}$. In this paper we show that there exist a large number of automorphisms of $F_k(G)$ defined by $S$ that are not induced by automorphisms of $G$. We also describe the group produced by all such $2$-cuts of $G$.
A Mathon-type construction for digraphs and improved lower bounds for Ramsey numbers
Published
• View Publication
• BIB
We construct an edge-colored digraph analogous to Mathon's construction for undirected graphs. We show that this graph is connected to the $k$-th power Paley digraphs and we use this connection to produce improved lower bounds for multicolor directed Ramsey numbers.
The Latin Tableau Conjecture
Published
• View Publication
• BIB
A Latin tableau of shape $λ$ and type $μ$ is a Young diagram of shape $λ$ in which each box contains a single positive integer, with no repeated integers in any row or column, and the $i$th most common integer appearing $μ_i$ times. Over twenty years ago, Chow et al., in their study of a generalization of Rota's basis conjecture that they called the wide partition conjecture, conjectured a necessary and sufficient condition for the existence of a Latin tableau of shape $λ$ and type $μ$. We report some computational evidence for this conjecture, and prove that the conjecture correctly characterizes, for any given $λ$, at least the first four parts of $μ$.
Weighted Borel Generators
Strongly stable ideals are a class of monomial ideals which correspond to generic initial ideals in characteristic zero and can be described completely by their Borel generators, a subset of the minimal monomial generators of the ideal. Francisco, Mermin, and Schweig developed formulas for the Hilbert series and Betti numbers of strongly stable ideals in terms of their Borel generators. In this work, a specialization of strongly stable ideals is presented which further restricts the subset of relevant generators. A choice of weight vector $w\in\mathbb{N}_{> 0}^n$ restricts the set of strongly stable ideals to a subset designated as $w$-stable ideals. This restriction further compresses the Borel generators to a subset termed the weighted Borel generators of the ideal. A new Macaulay2 package wStableIdeals.m2 has been developed alongside this paper and segments of code support computations within.