sequence
6966 papers tagged with this keyword
Degree sequence condition for pancyclicity in tough graphs
Let $t \ge 1$ be an integer, and let $G$ be a $t$-tough $n$-vertex graph with degree sequence $d_1, d_2, \ldots, d_n$ in non-decreasing order.
In 1995, Hoàng conjectured that if $G$ is Hamiltonian and, for every integer $i$ satisfying $t\le i<n/2$, $d_i\le i$, and $d_{n-i+t}<n-i$, one has $d_j + d_{n-j+t} \ge n$ for all $j$ with $i < j < \frac{n}{2}$, then $G$ is pancyclic or bipartite.
In this paper, we disprove the conjecture for $t = 1$ and confirm it for all $t \ge 7$.
A twelve-term exclusion for the small Davenport constant of $E_2\times C_3^r$
Let $E_2$ be the extraspecial group of order $3^5$ and exponent three. For every $r\ge1$, we prove that a product-one-free sequence of length $2r+11$ over $E_2\times C_3^r$ cannot contain exactly $2r-1$ central terms. Thus the critical layer with twelve noncentral terms is excluded. The proof combines a relative moment criterion for abelian normal subgroups with a finite theorem in a symplectic four-space over $\mathbb F_3$. Under explicit subspace occupancy bounds, the family of balanced triangles that can actually be completed to a nonfull zero-sum block admits edge weights summing to one on every triangle. A dual cycle argument reduces this assertion to a potential condition on branching edges. All remaining configurations contain one of eleven minimal frames; two separately implemented exhaustive checks verify all their admissible extensions. The unrestricted check has 9544046 leaves. Complete source code and execution records are supplied. The exact value of $\mathsf{d}(E_2\times C_3^r)$ for arbitrary $r$ is not determined by this result.
Sharp Edge-Edit Bounds at Every Level for Leaky Positive Semidefinite Forcing
This work disproves the 1-leaky positive semidefinite edge-deletion conjecture and replaces it with a sharp theorem. For every leak level $\ell$ and edge $e$, one has $|Z^+_{(\ell)}(G)-Z^+_{(\ell)}(G-e)|\le 2$. More generally, if two graphs differ only on edges with both endpoints in $S$, their parameters differ by at most $|S|$. An endpoint-sensitive refinement recovers an increase of at most one whenever some minimum set for $G-e$ contains an endpoint of $e$. Both signs are sharp for every positive leak level. Joining two copies of $K_{\ell+1}$ by a bridge gives $Z^+_{(\ell)}(G)=2\ell$ and $Z^+_{(\ell)}(G-e)=2\ell+2$. For every $\ell\ge 2$, a connected clique-leaf pair of order $2\ell+3$ gives the opposite difference. The remaining positive-difference one-leak case is attained by connected graphs on nine vertices with $Z^+_{(1)}(H)=4$ and $Z^+_{(1)}(G)=6$. Explicit forcing sequences, fort certificates, and an exact verifier check the finite extremal example and stress-test the general results.
The speed of convergence in the Cooper-Dutle dueling game
In 2013 Cooper and Dutle invented a dueling scenario where Alice and Bob shoot at each other until one is hit. Each shot is successful with some fixed probability $p$, $0 < p < 1$. The shooting order is given by a greedy algorithm, where at each step a shot is assigned to the player whose current probability of success is smaller.
Cooper and Dutle observed that as $p \rightarrow 0$, the resulting sequence of shots (by Alice or Bob) converges to the infinite Thue-Morse sequence $\mathbf{t}$, but left the speed of convergence as an open problem. In this note we determine the speed of this convergence.
Relaxed coparking functions and Stanley's conjecture for matroid $h$-vectors
Stanley's conjecture asserts that the $h$-vector of a matroid is a pure $O$-sequence. Corry, Dochtermann, McClain, Perkinson and Yi introduced cycle systems, which give a bijective proof for the matroids that admit one, through coparking functions, and proposed generalized cycle systems. Every matroid admitting a cycle system is regular, and the Wagner and Petersen graphs admit no generalized cycle system consisting of circuits. We propose a relaxation. Where the coparking recursion breaks down, at the strata whose unique union is independent, the coparking functions are replaced by a fibre: a pure multicomplex with the $h$-vector of the dead node, the minor of the matroid attached to the stratum. We prove, for any matroid with a fixed basis, that whenever the required fibres exist the relaxed coparking functions form a pure multicomplex whose degree sequence is the $h$-vector of the matroid, so Stanley's conjecture follows. The proof rests on a version of Dhar's burning algorithm for a matroid with a fixed basis, which gives the purity, and on a deletion-contraction identity that computes the gap between the $h$-vector and the coparking functions as a sum of local $h$-vectors, one per dead node. Coned, biconed and triconed graphs carry a fibre system with their canonical spanning trees, as do the Wagner and Petersen graphs. Beyond graphs, every basis of a matroid of corank two, of a matroid of rank at most four or of a uniform matroid carries a fibre system, so Stanley's conjecture follows for those classes. We also give a graph of radius two on twelve vertices which, with its breadth-first spanning tree, carries no fibre system.
Infinite Sum-Product Configurations in Parallel
We show that for any finite partition of $\mathbb{N}$ there is an infinite sequence whose finite sums are monochromatic and such that infinitely many of the products with a fixed number of factors are monochromatic -- though not necessarily belonging to the same color class as the finite sums. We are able to build these infinite configurations in parallel by refining arbitrary partitions of $\mathbb{N}$. We apply these techniques to prove that many complex infinite sum-product configurations are guaranteed to be monochromatic for arbitrary finite colorings of $\mathbb{N}$.
Tilings of the sphere by congruent pentagons IV: Edge combination $a^4b$ with general angles
We classify edge-to-edge tilings of the sphere by congruent pentagons with the edge combination $a^4b$ and with any irrational angle in degree: they are three $1$-parameter families of pentagonal subdivisions of the Platonic solids, with $12, 24$ and $60$ tiles; and a sequence of $1$-parameter families of pentagons admitting non-symmetric $3$-layer earth map tilings together with their various rearrangements under extra conditions. Their parameter moduli and geometric data are all computed in both exact and numerical form. The total numbers of different tilings for any fixed such pentagon are counted explicitly. As a byproduct, the degenerate pentagons produce naturally many new non-edge-to-edge quadrilateral tilings. A sequel of this paper will handle $a^4b$-pentagons with all angles being rational in degree by solving some trigonometric Diophantine equations, to complete our full classification of edge-to-edge tilings of the sphere by congruent pentagons.
Tilings of the sphere by congruent pentagons V: Edge combination $a^{4}b$ with rational angles
We classify edge-to-edge tilings of the sphere by congruent pentagons with the edge combination $a^4b$ and with rational angles in degree: they are a one-parameter family of symmetric $a^4b$-pentagonal subdivisions of the tetrahedron with $12$ tiles; a sequence of unique symmetric $a^4b$-pentagons admitting a symmetric $3$-layer earth map tiling by $4m$ tiles for any $m\ge4$, among which each odd $m$ case admits two standard flip modifications; and a unique non-symmetric and degenerate $a^4b$-pentagon admitting a non-symmetric $3$-layer earth map tiling and its standard flip modification with $20$ tiles. The full classification from this series and all induced non-edge-to-edge quadrilateral tilings from degenerate pentagons are summarized with their 3D pictures.
Counting $t$-wise $L$-intersecting cliques with prescribed intersection sizes
Let $r,t\ge 3$ be integers and $L=\{\ell_1,\ell_2,\ldots,\ell_s\}\subseteq [0,r-1]$ a fixed set of integers with $|L|\neq r$ and $\ell_1<\ell_2<\cdots<\ell_s$. For each integer $n$, let $Ψ_{r}(n,L,t)$ be the maximum number of $r$-cliques in an $n$-vertex graph whose $r$-cliques, viewed as a family of $r$-subsets of the vertex set, form a $t$-wise $L$-intersecting family. In this paper, we prove that $Ψ_{r}(n,L,t)=o(n^{|L|})$ when the sequence $\ell_1,\ell_2,\ldots,\ell_s,r$ does not form an arithmetic progression, and we give an asymptotic formula for $Ψ_{r}(n,L,t)$ when this sequence does form an arithmetic progression. When $t=2$, our results are exactly Helliar and Liu's results.
The Diametral Metric Dimension of Generalized Corona Graph
This study investigates the diametral metric dimension of generalized corona graphs, where the main graph is connected graph and the branch graphs form a sequence of connected graphs. The concept of diametral metric dimension is an extension of the metric dimension concept, requiring the resolving set to contain all diametral vertices. To determine the diametral metric dimension of a generalized corona graph, one must first identify the distance of each vertex in the graph and the graph's diametral set. Subsequently, a resolving set containing the diametral set is determined. The results show that the diametral metric dimension of the generalized corona graph depends on the diameter of the main graph and the metric dimensions of the graphs in the sequence. These concepts provide theoretical insights into resolving structures in the planning infrastructure and motivate further studies on other graph families and graph operations.
Intractable enumeration problems are like Russian nesting dolls: structural properties of monomer-dimer coverings on two-dimensional quadratic lattices
Counting the number of coverings of $s$ dimers on two-dimensional quadratic lattices is considered as intractable and belongs to \#P-complete class. We reveal the structure of the exact solution to the problem and provide an explicit formula for it, which includes $s-1$ nesting sums. This results in an exponential time complexity of $O(2^s)$. The solution is explicitly determined by a sequence that exhibits double-exponential growth.
Frayed Demazure weaves for Poisson-compatible cluster structures on Bott--Samelson charts
Demazure weaves are combinatorial representations of maps between Bott--Samelson cells and have been used to construct cluster structures on braid varieties. We show the compatibility of these maps and the resulting cluster structures with the standard Poisson structure on the Bott--Samelson variety. Adding frayed strands to Demazure weaves, we further construct Poisson compatible cluster structures on other affine charts of the Bott--Samelson variety in a manner that transition functions across charts become rational quasi-cluster. The mutation sequences we construct for these quasi-cluster morphisms are closely related to those of Ménard for open Richardson seeds.
Unimodality of Independence Polynomials for Sufficiently Large Forests
We prove that the independence sequence of every sufficiently large forest is unimodal. The result follows from establishing log-concavity on a central interval of the sequence, along with monotonicity of the initial and final segments. The main analytic step is a central limit theorem for the size of a random independent set sampled with the hard-core model, uniform over all forests and over an interval of positive fugacities.
Fast FPRAS for the Permanent
We give an FPRAS for the permanent of an $n\times n$ $0/1$ matrix with running time $\widetilde{O}(n^{3.5}\varepsilon^{-2})$. Our algorithm extends to a strongly polynomial FPRAS for arbitrary nonnegative matrices, as in previous works. Jerrum, Sinclair, and Vigoda (2004) gave the first FPRAS for the permanent of a nonnegative matrix. The running time was subsequently improved to $\widetilde{O}(n^7)$ by Bezáková, Štefankovič, Vazirani, and Vigoda (2008), and recently to $\widetilde{O}(n^6)$ by Chen, Vigoda, and Yang (2026).
We introduce a multicommodity-flow bound inspired by electrical flows, replacing the usual path-length factor by routing energy. For a boosted version of the classical JSV chain, we prove a relaxation-time bound of $O(n^3\log n)$ and show that stationary trajectories of this length estimate all stationary hole-pattern probabilities, yielding an $\widetilde O(n^5)$-time FPRAS algorithm. Our new hole-weighted slide (HWS) chain improves both bounds to $O(n^2\log n)$, yielding an $\widetilde O(n^4)$-time algorithm. Finally, we obtain the claimed $\widetilde O(n^{3.5})$ running time by using a subset of $\widetilde{O}(\sqrt{n})$ checkpoint temperatures in an iterated sequence of warm-starts to obtain initializations at every temperature.
Infinite log-concavity of the Boros--Moll sequences
Let $(d_i(n))_{i=0}^n$ be the Boros--Moll coefficient sequence. We prove that, for every integer $n\ge1$, the polynomial \[
M_n(x)=\sum_{i=0}^n
\bigl(d_i(n)^2-d_{i-1}(n)d_{i+1}(n)\bigr)x^i \] has only simple negative zeros, which strictly interlace those of the Narayana polynomial of the same degree. This proves a conjecture of Chen, Yang, and Zhang and, by Brändén's preservation theorem, settles the infinite log-concavity conjecture of Boros and Moll. The proof uses an expansion of the reversed and normalized form of $M_n(x)$ in derivatives of the Narayana polynomial, together with estimates for the weights and partial sums of the normalized derivatives.
Fractal Hyper-Trees: Combinatorial Enumeration, Symmetry Properties, and Ultrametric Structures
This paper introduces and formalizes Fractal Hyper-Trees (FHT), a novel class of hypergraphs characterized by deep recursive inclusion hierarchies and controlled relational textures. Moving beyond classical graph-theoretic frameworks, we establish an axiomatic foundation for FHTs and investigate their combinatorial enumeration, revealing explicit connections to OEIS sequence A398931. Furthermore, we analyze the structural symmetry properties via automorphism groups, examine the resulting global hierarchical ultrametric topologies, and discuss asymptotic perspectives, including vertex substitution operators and heuristic parallels with $p$-adic integer rings.
Peeling sequences: a directional method for the three-block construction
A \emph{peeling sequence} of a finite planar point set is an ordering of point removals, in which
each point is a vertex of the convex hull of the points not yet removed. Write $g(S)$ for the number of such sequences, and $g(n)$ for the minimum of $g(S)$ over $n$-point sets in general position. We present a method which can be used to prove better upper bounds on the previously analysed recursive 3-branch constructions $S_n$. In fact, we prove $g(n)\leq g(S_n)=O(6.57^n)$, using directional restrictions and a weighted prefix-tree argument.
On the Critical Window for Adaptable 2-Colorability
We determine a sharp threshold for the adaptable 2-colorability of a random graph equipped with a uniformly random, not necessarily proper, red/blue coloring of the edges. To accomplish this, we characterize a family of subgraphs along with edge colorings whose inclusion or exclusion determines adaptable $2$-colorability. We further show that above the threshold, a long path with alternating edge colors is formed. We use this path to prove the existence of such a subgraph in the supercritical regime. We then provide and prove symmetric bounds on the critical window for $2$-adaptable colorability. Particularly, we prove bounds matching that of the critical windows for the giant component in the Erd$ő$s-R$é$nyi random graph model as well as the satisfiability of a random $2$-SAT instance. Finally, we show that below the critical window, the solution space of adaptable $2$-colorings remains connected, that is one can travel from one adaptable $2$-coloring to another by a sequence of $2$-colorings which differ on $O(\log{n})$ many vertices.
Quasimonophobic graphs and degree spectral sequences in discrete cubical homology
We introduce the degree filtration on the discrete cubical chain complex of a graph, defined in terms of the maximal injective dimension of the facets of singular $n$-cubes, and study the degree spectral sequence which arises from this filtration. This spectral sequence interpolates between the discrete cubical homology of a graph $H_n(G)$ and the injective homology $H_n^{inj}(G)$, a variant of the discrete cubical homology based on injective singular cubes. Building on the work of Greene and the first author, we introduce the combinatorial condition of quasimonophobicity on graphs, and show quasimonophobicity implies both the vanishing of the degree spectral sequence in certain bidegrees, and implies $H_n^{inj}(G)$ is isomorphic to the homology of the CW complex obtained by ``filling in'' subcubes of the graph. These results are applied to compute $H_2(G_n^{sph})$ for the Greene sphere graphs $G^{sph}_n$.
The Expected Number of Distinct Substrings in an Alphabet String
Consider a sequence of i.i.d.~trials $X=\{X_1, X_2, \ldots, X_n\}$ where $p(X_i=j)={1}/{d}; j=1,2,\ldots, d$, or more generally $p(X_i=j)=p_j; \sum_{1\le j\le d}p_j=1$. We consider the variable $D$ that counts the number of distinct substrings of all lengths,$1\le k\le n$ in $X$ and prove results concerning $E(D)$.