Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Nowhere-zero 8-flows in 3-edge-connected signed graphs
In 1983, A. Bouchet extended W.T. Tutte's notion of nowhere-zero flows to signed graphs, and conjectured that every flow-admissible signed graph has a nowhere-zero 6-flow. In this paper we prove that every flow-admissible signed graph that is 3-edge-connected has a nowhere-zero 8-flow. This is a continuation of a previous paper where we proved the same conclusion under stronger assumptions.
Alternating Power Difference and Matrix Symmetry: Closed-Form Formulas for the First Appearance Degree $m_1$
This paper focuses on an integer-valued function $f_A(σ) := \operatorname{tr}(A P_σ)$ defined uniformly from a specific square matrix $A$ of order $n$ and a permutation $σ$ on the symmetric group $S_n$. The main objective of this study is to investigate in detail the algebraic behavior of the Alternating Power Difference (APD), denoted as $APD_m(f_A)$, and its first appearance degree $m_1(f_A)$ for this function $f_A$ across various matrix classes. Specifically, we address special matrices such as shifted $r$-th power lattices, Vandermonde matrices, and circulant matrices, analyzing the phenomenon where the value of $APD_m(A)$ remains zero as $m$ increases until a specific degree (the first appearance phenomenon). In particular, we explore closed-form formulas for the first appearance degree $m_1(A)$ and the first appearance value $APD_{m_1}(A)$, presenting Conjectures that hold across multiple matrix classes. These results suggest a deep relationship between the structure of matrices and the analytical properties of functions on the symmetric group, providing new perspectives in matrix theory and combinatorics.
On suprema of convolutions on discrete cubes
We find the optimal constant $C$ such that \begin{equation*} \|f_1*f_2*\dots*f_{k}\|_{\infty}\geq C\prod_{i=1}^{k}\|f_i\|_1 \end{equation*} for functions $f_i:\{0,1\}^d\to\mathbb{R}$. As applications, we derive bounds for Sidon sets on hypercubes, and, we also obtain bounds for the continuous analogue problem.
Fibonacci and Lucas numbers arising from two-component spanning forests of wheel graphs
In this paper, we present a constructive bijection between a conditioned spanning forest of the wheel graph $W_{n+1}$ and a spanning tree of the fan graph $F_n$. In addition, by applying the effective resistance formula obtained by Bapat and Gupta \cite{bapat-gupta}, we derive an explicit formula for the number of two-component spanning forests of $W_{n+1}$ in which two specified vertices $u$ and $v$ lie in distinct components. Based on this result, we obtain explicit formulas for the following three conditioned two-component spanning forests $F_{W_{n+1}}(v_1\mid v_2)$, $F_{W_{n+1}}(v_1\mid v_3)$, and $F_{W_{n+1}}(v_1\mid v_c)$. These formulas are $F_{W_{n+1}}(v_1\mid v_2)=2(f_{2n-1}-1)$, $F_{W_{n+1}}(v_1\mid v_3)=2(\ell_{2n-2}-3)$, $F_{W_{n+1}}(v_1\mid v_c)=f_{2n}$, where $f_i$ and $\ell_j$ denote the $i$-th Fibonacci number and $j$-th Lucas number, respectively. As these identities show, the enumerations naturally lead to formulas involving Fibonacci numbers and Lucas numbers. Taken together, these two approaches show a unified perspective. One is the constructive combinatorial bijection, and the other is the analytic method based on effective resistance. Together they provide a new integrated framework for studying the structure of spanning forests on $W_{n+1}$.
Strong Central 2-Trees with Tail Degrees {2, 3}: Structural Characterization and Uniqueness Criteria
We study strong $r$-central $2$-trees whose non-central vertices have degrees in $\{2,3\}$, focusing on the cases $r=1,2,3$. For each $r$, we derive exact degree constraints relating the maximum degree $Δ$ to the numbers of degree-$3$ and degree-$2$ tail vertices. In the unicentral case ($r=1$), we prove that the fan graph is the unique realization for all $n\ge 3$. For bicentral $2$-trees ($r=2$), we show that the number of degree-$3$ vertices is always even, establish sharp uniqueness results for $x\in\{0,2\}$, prove existence for all feasible values of $Δ$, and obtain linear lower bounds on the number of non-isomorphic realizations. For tricentral $2$-trees ($r=3$), we characterize extremal configurations, establish a divisibility constraint on the tail parameters, and prove a quadratic lower bound on the number of non-isomorphic graphs for infinitely many values of $n$. These results provide a unified structural framework for central $2$-trees with bounded tail degrees and highlight sharp transitions between rigidity and combinatorial growth.
A cop-robber game on metric graphs
We study a variant of the classical cop-robber game played on compact metric graphs, where each edge is assigned a positive length and identified with a real interval of corresponding length. In this setting, both the cop and the robber move continuously along the edges, subject to upper bounds on their speeds. The cop has no knowledge of the robber's location and must choose a continuous path through the graph that is guaranteed to intersect the robber's trajectory at some point in time. We show that for every compact metric graph, there exists a constant s > 0 such that if the cop's speed exceeds s times the robber's speed, then the cop can guarantee capture.
Canonical tree-decompositions of chordal graphs
Halin characterised the chordal locally finite graphs as those that admit a tree-decomposition into cliques. We show that these tree-decompositions can be chosen to be canonical, that is, so that they are invariant under all the graph's automorphisms. As an application, we show that a locally finite, connected graph $G$ is $r$-locally chordal (that is, its $r/2$-balls are chordal) if and only if the unique canonical graph-decomposition $\mathcal{H}_r(G)$ of $G$ which displays its $r$-global structure is into cliques. Our results also serve as tools for further characterisations of $r$-locally chordal graphs.
Quasipolynomial behavior via constructibility in multigraded algebra
Piecewise quasipolynomial growth of Presburger counting functions combines with tame persistent homology module theory to conclude piecewise quasipolynomial behavior of constructible families of finely graded modules over constructible commutative semigroup rings. Functorial preservation of constructibility for families under local cohomology, $\operatorname{Tor}$, and $\operatorname{Ext}$ yield piecewise quasipolynomial, quasilinear, or quasiconstant growth statements for length of local cohomology, $a$-invariants, regularity, depth; length of $\operatorname{Tor}$ and Betti numbers; length of $\operatorname{Ext}$ and Bass numbers; associated primes via $v$-invariants; and extended degrees, including the usual degree, Hilbert-Samuel multiplicity, arithmetic degree, and homological degree.
Generalized diagram categories and monoids, and their representations
Classical diagram categories and monoids, including the Temperley--Lieb, Brauer, and partition cases, arise as special instances of the category of two dimensional cobordisms and admit additional twists that produce a large new family of diagram categories and monoids. In this paper we introduce this family and develop a unified approach to their representation theory.
Proof of a conjecture of Baruah and Sarma on sign patterns of certain infinite products
Let \[ \sum_{n=0}^{\infty}A(n)q^{n} := \frac{(q^{2};q^{5})_{\infty}^{5}(q^{3};q^{5})_{\infty}^{5}}{(q;q^{5})_{\infty}^{5}(q^{4};q^{5})_{\infty}^{5}}, \] \[ \sum_{n=0}^{\infty} B(n)q^{n} := \frac{(q;q^{5})_{\infty}^{5} (q^{4};q^{5})_{\infty}^{5}} {(q^{2};q^{5})_{\infty}^{5}(q^{3}; q^{5})_{\infty}^{5}}, \] and \[ \sum_{n=0}^{\infty} D(n)q^{n} := \frac{(q^{5};q^{25})_{\infty}(q^{20}; q^{25})_{\infty}} {(q^{10};q^{25})_{\infty}(q^{15}; q^{25})_{\infty}} \frac{(q^{2}; q^{5})_{\infty}^{5}(q^{3};q^{5})_{\infty}^{5}} {(q;q^{5})_{\infty}^{5} (q^{4};q^{5})_{\infty}^{5}} \] where $(a;q)_{\infty} := \prod_{k=0}^{\infty}(1-aq^{k})$ and $|q|<1.$ These sequences are closely related to the celebrated Rogers-Ramanujan continued fraction.
In this paper, we study the sign behavior o of the coefficients $A(n),B(n)$ and $D(n).$ We prove that for all integers $n\geq0,$ \begin{align*} A(5n)<0\quad(n\neq0),\qquad B(5n) < 0\quad(n\neq0),\qquad D(5n+1)>0. \end{align*} This confirms a recent conjecture of Baruah and Sarma. Our proof is different from the previous method of Baruah and Sarma, and combines asymptotic coefficient analysis with symbolic computation for finite case verification.
Enumeration of multipartite series-reduced trees
We obtain a generating function for the degree sequences and colors of rooted multipartite labeled series-reduced trees. As an application of this result, we determine the number of symbolic ultrametrics (introduced by Böcker and Dress) and increasingly labeled processes. We also find that the number of multipartite labeled series-reduced trees and the colored chain-increasing binary trees are the same. We obtain the number of rooted multipartite unlabeled series-reduced trees. We also find a refinement of the result of Riordan and Shannon.
An Induced $A$-Path Theorem
Given a graph $G$ and $\mathcal{A}\subseteq V(G)$, a classical theorem of Gallai (1964) states that for every positive integer $k$, the graph $G$ contains $k$ pairwise vertex-disjoint $\mathcal{A}$-paths, or a set $Z\subseteq V(G)$ of size at most $2(k-1)$ such that $G-Z$ contains no $\mathcal{A}$-paths. We generalise Gallai's theorem to the induced setting: We prove that $G$ contains $k$ pairwise anti-complete $\mathcal{A}$-paths, or a set $Z$ of size at most $78(k-1)$ such that, after removing the closed neighbourhood of $Z$, the resulting graph has no $\mathcal{A}$-path. Here, two paths are anti-complete if they are vertex disjoint and there is no edge in $G$ having one endpoint in each of them.
We further show that the bound $78(k-1)$ on the size of $Z$ can be reduced to $4(k-1)$ if one removes the balls of radius $4$ around the vertices of $Z$ (instead of radius $1$), which is within a factor $2$ of optimal. We also establish analogous results for long induced $\mathcal{A}$-paths.
Quasiprimitive and bi-quasiprimitive highly-arc-transitive digraphs and finite simple groups
We extend the notion of an $H$-normal quotient digraph of an $H$-vertex-transitive digraph to that of an $H$-subnormal quotient digraph. Using these concepts, together with bipartite halves of bipartite digraphs, we show that, for each finite connected $H$-vertex-transitive, $(H,s)$-arc-transitive digraph with $s\geqslant6$, either some $H$-normal quotient is a directed cycle of length at least $3$, or there is an $(L,t)$-arc-transitive digraph with $t\geqslant (s-3)/2$, and $L$ a vertex-quasiprimitive almost simple group with socle a composition factor of $H$. This connection demonstrates that, to understand finite $s$-arc-transitive digraphs with large $s$, those admitting a vertex-quasiprimitive almost simple $s$-arc-transitive subgroup of automorphisms play a central role. We show that for each $s$ and each odd valency $k$, there are infinitely many $(H,s)$-arc-transitive digraphs of valency $k$ with $H$ a finite alternating group.
In addition we discovered a novel construction which takes as input a connected non-bipartite $H$-vertex-transitive, $(H,s)$-arc-transitive digraph, and outputs a connected bipartite $G$-vertex-transitive, $(G,2s)$-arc-transitive digraph with $G=(H\times H).2$. This leads to construction of vertex-bi-quasiprimitive $s$-arc-transitive digraphs, for arbitrarily large $s$. Our investigations yield several new open problems.
Quadratic Embedding Constants of Corona Graphs
The quadratic embedding constant (QEC) of a connected graph is defined to be the maximum of the quadratic function associated with its distance matrix on a certain unit sphere of codimension two. In this paper we derive a formula for the QEC of a corona graph $G\odot H$. It is shown that $\mathrm{QEC}(G\odot H)=ψ_{H*}^{-1}(\mathrm{QEC}(G))$ holds under some spectral assumptions on $H$, where $ψ_{H*}^{-1}$ is the inverse function of the most right branch of the analytic function $ψ_H$ defined by means of the main eigenvalues of the adjacency matrix of $H$. Moreover, if $H$ is a regular graph of which the adjacency matrix has the smallest eigenvalue $-2$, then the formula is written down explicitly.
Nowhere-zero flow reconfiguration
We initiate the study of nowhere-zero flow reconfiguration. The natural question is whether any two nowhere-zero $k$-flows of a given graph $G$ are connected by a sequence of nowhere-zero $k$-flows of $G$, such that any two consecutive flows in the sequence differ only on a cycle of $G$. We conjecture that any two nowhere-zero 5-flows in any 2-edge-connected graph are connected in this way. This can be seen as a reconfiguration variant of Tutte's 5-flow conjecture.
We study this problem in the setting of integer flows and group flows, and show that the structure of groups affects the answer, contrary to the existence of nowhere-zero flows. We also highlight a duality with recoloring in planar graphs and deduce that any two nowhere-zero 7-flows in a planar graph are connected, among other results. Finally we show that for any graph $G$, there is an abelian group $A$ such that all nowhere-zero $A$-flows in $G$ are connected, which is a weak form of our original conjecture. We conclude with several problems and conjectures.
An inverse theorem for all finite abelian groups via nilmanifolds
We prove a first inverse theorem for Gowers norms on all finite abelian groups that uses only nilmanifolds (rather than possibly more general nilspaces). This makes progress toward confirming the Jamneshan--Tao conjecture. The correlating function in our theorem is a projected nilsequence, obtained as the fiber-wise average of a nilsequence defined on a boundedly-larger abelian group extending the original abelian group. This result is tight in the following sense: we prove also that $k$-step projected nilsequences of bounded complexity are genuine obstructions to having small Gowers $U^{k+1}$-norm. This inverse theorem relies on a new result concerning compact finite-rank (CFR) nilspaces, which is the main contribution in this paper: every $k$-step CFR nilspace is a factor of a $k$-step nilmanifold. This new connection between the classical theory of nilmanifolds and the more recent theory of nilspaces has applications beyond arithmetic combinatorics. We illustrate this with an application in topological dynamics, by proving the following result making progress on a question of Jamneshan, Shalom and Tao: every minimal $\mathbb{Z}^ω$-system of order $k$ is a factor of an inverse limit of $\mathbb{Z}^ω$-polynomial orbit systems of order $k$, these being natural generalizations of nilsystems alternative to translational systems.
Forbidding just one intersection for short integer sequences
In this paper, we study the famous Erdős--Sós forbidden intersection problem for words over an alphabet of size $m$: what is the maximal size of a subfamily $\mathcal{F}$ of $[m]^n$ that does not contain two vectors $x, y$ coinciding on exactly $t - 1$ coordinates? We answer this question provided $m \ge \operatorname{poly}(t)$ and $n \ge \operatorname{poly}(t)$ for some polynomial function $\operatorname{poly}(\cdot)$ of $t$, greatly extending the recent result of Keevash, Lifshitz, Long and Minzer. Our proof combines some of the recently developed methods in extremal combinatorics, including the spread approximation technique of Kupavskii and Zakharov and the hypercontractivity approach developed in a series of works by Keevash, Keller, Lifshitz, Long, Marcus and Minzer.
Persistent commutative algebra on graphs and hypergraphs
We introduce a persistent commutative algebra for studying the algebraic and combinatorial evolution of edge ideals of graphs and hypergraphs under filtration. Building on the Persistent Stanley--Reisner Theory (PSRT), we develop the notion of persistent edge ideals and analyze their graded Betti numbers across the filtration of graphs or hypergraphs. To enable this analysis, we establish a persistent extension of Hochster's formula, providing a functorial correspondence between algebraic and topological persistence. We further examine the behavior of Betti splittings in the persistent setting, proving a general inequality that extends the classical splitting result to the filtration of monomial ideals. Motivated by graph-theoretic interpretations, we introduce persistent minimal vertex covers, which encode the temporal structure of combinatorial dependencies within evolving graphs or hypergraphs. Applications to alignment-free genomic classification and molecular isomer discrimination demonstrate the interpretability and representatbility of persistent edge ideals as algebraic invariants, bridging combinatorial commutative algebra and data science.
Möbius function is strongly orthogonal to polynomial phases over $\mathbb{F}_p[t]$
In this paper, we prove power-saving bounds for the corelation of the Möbius function with polynomial phases of degree $k$ in function fields $\mathbb{F}_p[t]$, when $p > k$. The proof relies on a new approximation result for phases of biased multilinear forms and the recently established strong bounds for the problem of finding bounded codimension varieties inside the dense ones. Along the way, we also obtain polynomial bounds in the inverse theorem for Gowers uniformity norms in the special case of polynomial phases in finite vector spaces.
Upper Bounds for Sequence Saturation
In this paper, we study the saturation function $\mathrm{Sat}(n,u)$ for sequences. Saturation for sequences was introduced by Anand, Geneson, Kaustav, and Tsai (2021), who proved that $\mathrm{Sat}(n,u)=O(n)$ for two-letter sequences $u$ and conjectured that this bound holds for all sequences. We present an algorithm that constructs a $u$-saturated sequence on $n$ letters and apply it to show $\mathrm{Sat}(n,u)=O(n)$ for several families of sequences $u$, including all repetitions of the form $abcabc\dots$. We further establish $\mathrm{Sat}(n,u)=O(n)$ for a broad class of sequences of the form $aa\dots bb$. In addition, we prove that for most sequences $u$, there exists an infinite $u$-saturated sequence. For three-letter sequences of the form $abc\dots xyz$, where $a,b,c$ are distinct and $xyz$ is a permutation of $abc$, we show -- under certain structural assumptions on $u$ -- that $\mathrm{Sat}(n,u)=O(n)$. Finally, we describe a linear program that computes the exact value of $\mathrm{Sat}(n,u)$ for arbitrary $n$ and $u$.