Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Nowhere-zero flows on signed supereulerian graphs
Published
• View Publication
• BIB
In 1983, Bouchet conjectured that every flow-admissible signed graph admits a nowhere-zero 6-flow. We verify this conjecture for the class of flow-admissible signed graphs possessing a spanning even Eulerian subgraph, which includes as a special case all signed graphs with a balanced Hamiltonian circuit. Furthermore, we show that this result is sharp by citing a known infinite family of signed graphs with a balanced Hamiltonian circuit that do not admit a nowhere-zero 5-flow. Our proof relies on a construction that transforms signed graphs whose underlying graph admits a nowhere-zero 4-flow into a signed 3-edge-colorable cubic graph. This transformation has the crucial property of establishing a sign-preserving bijection between the bichromatic cycles of the resulting signed cubic graph and certain Eulerian subgraphs of the original signed graph. As an application of our main result, we also show that Bouchet's conjecture holds for all signed abelian Cayley graphs.
Symmetry of the refined $q,t$-Catalan polynomials for $\vec{k}$-Dyck paths
Published
• View Publication
• BIB
Pappe, Paul, and Schilling introduced two combinatorial statistics, depth and ddinv, associated with classical Dyck paths, and proved that the distributions of (area, depth) and (dinv, ddinv) are $q,t$-symmetric by constructing an involution on plane trees. They also provided a new formula for the original $q,t$-Catalan polynomials $C_{n}(q,t)$. We observe that depth is a slight modification of bounce, which was defined by the filling algorithm and ranking algorithm of Xin and the second author in their study of $\vec{k}$-Dyck paths. In this article, we generalize depth of classical Dyck paths to the case of $\vec{k}$-Dyck paths and prove $q,t$-symmetry of the pair of statistics (area, depth) for $\mathcal{K}$-Dyck paths. We provide an alternative description of the higher $q,t$-Catalan polynomials $C_{n}^{(k)}(q,t)$.
New combinatorial proof of Gaussian polynomial and the monotonicity of the Garvan's $k$-rank
Gaussian polynomial, which is also known as $q$-binomial coefficient, is one of the fundamental concepts in the theory of partitions. Zeilberger provided a combinatorial proof of Gaussian polynomial, which is called Algorithm Z by Andrews and Bressoud. In this paper, we provide a new bijection on Gaussian polynomial, which leads to a refinement of Algorithm Z. Moreover, using this bijection, we provide an alternative proof of generalized Rogers-Ramanujan identity, which was first proved by Bressoud and Zeilberger. Furthermore, we give a combinatorial proof of the monotonicity property of Garvan's $k$-rank, which is a generalization of Dyson's rank and Andrews-Garvan's crank.
An update on the existence of integer Heffter arrays
An integer Heffter array $H(m,n;s;k)$ is an $m\times n$ partially filled array whose entries are the elements of a subset $Ω\subset \mathbb{Z}$ such that $\{Ω,-Ω\}$ is a partition of the set $\{1,2,\ldots,2nk\}$ and such that the following conditions are satisfied: each row contains $s$ filled cells, each column contains $k$ filled cells, the elements in every row and column add up to $0$. It was conjectured by Dan Archdeacon that an integer $\H(m,n;s;k)$ exists if and only if $ms=nk$, $3\leq s \leq n$, $3\leq k\leq m$ and $nk\equiv 0,3\pmod 4$. In this paper, we provide new constructions of these objects that allow us to prove the validity of Archdeacon's conjecture in each admissible case, except when $k=3,5$ and $s\not \equiv 0\pmod 4$ is such that $\gcd(s,k)=1$.
Putting Tutte's counterexample to Tait's conjecture in perspective to hamiltonicity and non-hamiltonicity in certain planar cubic graphs
Using the graphs of prisms and Tutte Fragments, we construct an infinite family of hamiltonian and non-hamiltonian graphs in which Tutte's counterexample to Tait's conjecture appears in a certain sense as a minimal element. We observe that generalizations of the minimum-cardinality counterexamples of Holton and McKay to Tait's conjecture are as well contained in this family.
Isolation of non-triangle cycles in graphs
Published
• View Publication
• BIB
Given a set $\mathcal{F}$ of graphs, we call a copy of a graph in $\mathcal{F}$ an $\mathcal{F}$-graph. The $\mathcal{F}$-isolation number of a graph $G$, denoted by $ι(G, \mathcal{F})$, is the size of a smallest set $D$ of vertices of $G$ such that the closed neighbourhood of $D$ intersects the vertex sets of the $\mathcal{F}$-graphs contained by $G$ (equivalently, $G-N[D]$ contains no $\mathcal{F}$-graph). Let $\mathcal{C}$ be the set of cycles, and let $\mathcal{C}'$ be the set of non-triangle cycles (that is, cycles of length at least $4$). Let $G$ be a connected graph having exactly $n$ vertices and $m$ edges. The first author proved that $ι(G,\mathcal{C}) \leq n/4$ if $G$ is not a triangle. Bartolo and the authors proved that $ι(G,\{C_4\}) \leq n/5$ if $G$ is not a copy of one of nine graphs. Various authors proved that $ι(G,\mathcal{C}) \leq (m+1)/5$ if $G$ is not a triangle. We prove that $ι(G,\mathcal{C}') \leq (m+1)/6$ if $G$ is not a $4$-cycle. Zhang and Wu established this for the case where $G$ is triangle-free. Our result yields the inequality $ι(G,\{C_4\}) \leq (m+1)/6$ of Wei, Zhang and Zhao. These bounds are attained by infinitely many (non-isomorphic) graphs. The proof of our inequality hinges on also determining the graphs attaining the bound.
Uniform mixing in continuous-time quantum walks on oriented, nonabelian Cayley graphs
A family of oriented, normal, nonabelian Cayley graphs is presented, whose continuous-time quantum walks exhibit uniform mixing.
A Graph Width Perspective on Partially Ordered Hamiltonian Paths and Cycles II: Vertex and Edge Deletion Numbers
We consider the problem of finding a Hamiltonian path or cycle with precedence constraints in the form of a partial order on the vertex set. We study the complexity for graph width parameters for which the ordinary problems $\mathsf{Hamiltonian\ Path}$ and $\mathsf{Hamiltonian\ Cycle}$ are in $\mathsf{FPT}$. In particular, we focus on parameters that describe how many vertices and edges have to be deleted to become a member of a certain graph class. We show that the problems are $\mathsf{W[1]}$-hard for such restricted cases as vertex distance to path and vertex distance to clique. We complement these results by showing that the problems can be solved in $\mathsf{XP}$ time for vertex distance to outerplanar and vertex distance to block. Furthermore, we present some $\mathsf{FPT}$ algorithms, e.g., for edge distance to block. Additionally, we prove para-$\mathsf{NP}$-hardness when considered with the edge clique cover number.
Remoteness, order, size and connectivity constraints in digraphs
Let \( D \) be a strongly connected digraph. The average distance of a vertex \( v \) in \( D \) is defined as the arithmetic mean of the distances from \( v \) to all other vertices in \( D \). The remoteness \( ρ(D) \) of \( D \) is the maximum of the average distances of the vertices in \( D \).
In this paper, we provide a sharp upper bound on the remoteness of a strong digraph with given order, size, and vertex-connectivity. We then characterise the extremal digraphs that maximise remoteness among all strong digraphs of order \(n\), size at least \(m\), and vertex-connectivity \(κ\). Finally, we demonstrate that the upper bounds on the remoteness of a graph given its order, size, and connectivity constraints (see \cite{DanMafMal2025}) can be extended to a larger class of digraphs containing all graphs, the Eulerian digraphs.
Iterated sumset expansion in $\mathbb{F}_p^n$
Given a set $A \subseteq \mathbb{F}_p^n$, what conditions does one need to guarantee that iterated sumsets of the form $A+\cdots+A$ expand quickly (say, within $O(p)$ terms) to the whole space? When only the size of $A$ is known, such expansion results are only possible when $|A|>\frac{1}{p}|\mathbb{F}_p^n|$. However, heuristic considerations suggest that expansion should begin with much smaller sets under just mild ``nondegeneracy'' conditions. In this paper, we confirm this intuition by showing a sufficient algebraic condition for the asymmetric version of this problem: We have $A_1+\dots+A_m=\mathbb{F}_p^n$ as long as each $A_i$ is not contained in the zero set of any low degree polynomial ($\text{deg} = O(n)$ when $m=O(p)$). We close with a discussion of the behavior of random sets, as well as extensions of these results and connections with the Erdős-Ginzburg-Ziv problem. Our proofs make use of the shift operator polynomial method developed by the second author.
An inverse theorem on sets with rich additive structure modulo primes
In this paper, we prove several results on the structure of maximal sets $S \subseteq [N]$ such that $S$ mod $p$ is contained in a short arithmetic progression, or the union of short progressions, where $p$ ranges over a subset of primes in an interval $[y,2y]$ with $(\log N)^{O(1)} < y \leq N$. We also provide several constructions demonstrating the sharpness of our results. Furthermore, as an application, we provide several improvements on the larger sieve bound for $|S|$ when $S$ mod $p$ has strong additive structure, parallel to the work of Green--Harper and Shao for improvements on the large sieve.
Trickle-down Theorems via C-Lorentzian Polynomials II: Pairwise Spectral Influence and Improved Dobrushin's Condition
Let $μ$ be a probability distribution on a multi-state spin system on a set $V$ of sites. Equivalently, we can think of this as a $d$-partite simplical complex with distribution $μ$ on maximal faces. For any pair of vertices $u,v\in V$, define the pairwise spectral influence $\mathcal{I}_{u,v}$ as follows. Let $σ$ be a choice of spins $s_w\in S_w$ for every $w\in V \setminus \{u,v\}$, and construct a matrix in $\mathbb{R}^{(S_u\cup S_v)\times (S_u\cup S_v)}$ where for any $s_u\in S_u, s_v\in S_v$, the $(us_u,vs_v)$-entry is the probability that $s_v$ is the spin of $v$ conditioned on $s_u$ being the spin of $u$ and on $σ$. Then $\mathcal{I}_{u,v}$ is the maximal second eigenvalue of this matrix, over all choices of spins for all $w \in V \setminus \{u,v\}$. Equivalently, $\mathcal{I}_{u,v}$ is the maximum local spectral expansion of links of codimension $2$ that include a spin for every $w \in V \setminus \{u,v\}$.
We show that if the largest eigenvalue of the pairwise spectral influence matrix with entries $\mathcal{I}_{u,v}$ is bounded away from 1, i.e. $λ_{\max}(\mathcal{I})\leq 1-ε$ (and $X$ is connected), then the Glauber dynamics mixes rapidly and generate samples from $μ$. This improves/generalizes the classical Dobrushin's influence matrix as the $\mathcal{I}_{u,v}$ lower-bounds the classical influence of $u\to v$. As a by-product, we also prove improved/almost optimal trickle-down theorems for partite simplicial complexes. The proof builds on the trickle-down theorems via $\mathcal{C}$-Lorentzian polynomials machinery recently developed by the authors and Lindberg.
On the tangent bundle and the divisor theory of a general matroid
Published
• View Publication
• BIB
For a loopless matroid $M$, we construct a $K$-class $T_M\in K(X_{M})$. When $M$ is realizable, $T_M$ recovers the $K$-class of the tangent bundle of the wonderful compactification $W_L$. We derive two formulas for the total Chern class of $T_M$ and prove that the associated Todd class agrees with the Todd class appearing in the matroid Hirzebruch--Riemann--Roch formula. We define a "fake effective cone" so that big and nef divisors in a matroid can be characterized in a manner analogous to how the effective cone characterizes big and nef divisors in classical algebraic geometry. Finally, we define the classes $β_S$ and study their properties.
On defining Kemeny's constant for non-backtracking random walks
Published
• View Publication
• BIB
We propose two possible definitions for a version of Kemeny's constant of a graph based on non-backtracking random walks (in place of the usual simple random walk). We show that these two definitions coincide for edge-transitive graphs, and give a condition generalizing edge-transitive for which equality holds, and investigate by how much they can differ in general. We compute our non-backtracking Kemeny's constant for several families of graphs.
Spectral gap of $G(n, αn, α^2 n)$ graphs and the giant component theorem
Published
• View Publication
• BIB
The spectrum of a graph $G$ is the set of the eigenvalues of its adjacency matrix. It turns out that one can say a lot about a graph with the only knowledge being the spectrum of this graph. In this paper we obtain new results about the spectrum of $G(n, αn, α^2 n)$ graphs. We then apply these results to get a giant component theorem for them.
Grobner bases for determinantal facet ideals of simplicial complexes
We provide necessary and sufficient conditions for simplicial complexes whose determinantal facet ideals admit reduced Grobner bases under diagonal term orders. Building on and extending foundational results for binomial edge ideals and determinantal ideals, we introduce two new classes of simplicial complexes-strong closed and poor closed-that generalize the notion of closedness in higher dimensions. Our main theorem offers a unified framework that recovers and refines several known results, including those for unit interval graphs and determinantal ideals of complete graphs. In particular, we correct and generalize prior characterizations of Grobner bases for determinantal facet ideals, establishing radicality for strong closed complexes and providing a new proof for the Grobner basis of maximal minors.
A short proof of an upper bound on the growth constant of polyiamonds
Published
• View Publication
• BIB
We provide a short and elementary proof that the growth constant of polyiamonds is at most $1+2z+3z^2$ for the unique real root $z$ of the equation $2z^3+z^2-1=0$. This coincidentally suffices to recover the best known upper bound $3.6108$. Unlike the previous proof of this bound, which relied on computer-assisted technical arguments and the counts of polyiamonds with up to 75 triangles, our method is based on a straightforward recurrence that can be verified by hand with minimal effort.
Cop number of partial cubes
Published
• View Publication
• BIB
The game of Cops and Robbers on graphs is a well-studied pursuit--evasion model whose central parameter, the cop number, captures the minimum number of pursuers required to guarantee capture of an adversary on a given graph. While the cop number has been determined for many classical graph families, relatively little is known about the important class of partial cubes, i.e., isometric subgraphs of hypercubes.
In this paper, we establish a lower bound for the cop number of partial cubes and present an upper bound on a subclass of partial cubes. Additionally, we improve these bounds for a particular family of partial cubes: Fibonacci cubes. These graphs are defined as induced subgraphs of hypercubes obtained by forbidding consecutive ones in binary strings. Beyond their natural combinatorial interest, Fibonacci cubes have connections to chemical graph theory, where they serve as models for resonance graphs of certain classes of polycyclic aromatic hydrocarbons.
Behavior of The Extremal Bounds on the $σ$-Irregularity
In this paper, we establishe the extremal bounds of the topological indices -- Sigma index -- focusing on analyzing the sharp upper bounds and the lower bounds of the Sigma index, which is known $σ(G)=\sum_{uv\in E(G)}(d_G(u)-d_G(v))^2$. We establish precise lower and upper bounds for the Sigma index, leveraging a non-increasing degree sequence $\mathscr{D} = (d_1, d_2, \dots, d_n)$, A fundamental challenge in the study of topological indices lies in establishing precise bounds, as such findings illuminate intrinsic relationships among diverse indices.
Extending Ghouila-Houri's Characterization of Comparability Graphs to Temporal Graphs
An orientation of a given static graph is called transitive if for any three vertices $a,b,c$, the presence of arcs $(a,b)$ and $(b,c)$ forces the presence of the arc $(a,c)$. If only the presence of an arc between $a$ and $c$ is required, but its orientation is unconstrained, the orientation is called quasi-transitive. A fundamental result presented by Ghouila-Houri guarantees that any static graph admitting a quasi-transitive orientation also admits a transitive orientation. In a seminal work, Mertzios et al. introduced the notion of temporal transitivity in order to model information flows in simple temporal networks. We revisit the model introduced by Mertzios et al. and propose an analogous to Ghouila-Houri's characterization for the temporal scenario. We present a structure theorem that will allow us to express by a 2-SAT formula all the constraints imposed by temporal transitive orientations. The latter produces an efficient recognition algorithm for graphs admitting such orientations. Additionally, we extend the temporal transitivity model to temporal graphs having multiple time-labels associated to their edges and claim that the previous results hold in the multilabel setting. Finally, we propose a characterization of temporal comparability graphs via forbidden temporal ordered patterns.