sequence
7033 papers tagged with this keyword
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.
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.
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.
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)$.
Purely Periodic Three-move Subtraction Games
We determine the full Sprague-Grundy sequence and its least period for a class of three-move subtraction games whose sequences are periodic from the start. Write the move set as $S=\{a,b,c\}$, with $0<a<b<c$ and $\gcd(a,b,c)=1$. The case $a=1$ is known and is summarized separately. For $a\ge2$ and $c\ne a+b$, we give three explicit sufficient tests for pure periodicity, associated with the candidate periods $a+b$, $c+a$, and $c+b$. For fixed $a,b$, the tests depend only on $c\bmod(a+b)$ and are computed from the losing positions of the two-move game $\{a,b\}$. Whenever a test succeeds, we give the losing positions in closed form, reconstruct the remaining values, and prove that the least period is the smallest candidate whose test succeeds. The construction shows how the added move $c$ modifies the two-move pattern to form a repeating block. We also give a uniform formulation of the known additive case $c=a+b$. For $a\ge2$, we conjecture that the tests cover every purely periodic non-additive game. In this range, when $c\ge2(a+b)$, we prove necessity for purely periodic games with least period at most $a+b$.
Structural Parameterizations for Eternal Vertex Cover
Eternal Vertex Cover (EVC) is a turn-based attacker-defender game on an undirected graph $G$. To begin with, the defender places $k$ guards on vertices of $G$. The attacker, on their turn, can choose an edge $e$ not already occupied at both endpoints to "attack". The edge $e$ is defended if a guard moves along the edge $e$. The defender, on their turn, can move any subset of guards. A guard can only move to a neighboring vertex. The minimum number of guards needed to indefinitely defend against any sequence of attacks is called the eternal vertex cover number, generalizing the classic vertex cover number. Determining this number is NP-hard in general, motivating the study of parameterized and approximation algorithms. The problem is known to be FPT when parameterized by the cover number, but structural parameters remain relatively unexplored in the literature.
In this work, we explore structural parameterizations for EVC. We show that EVC is FPT parameterized by the cluster vertex deletion number, which generalizes the previously studied parameterization by vertex cover number. We next study the problem parameterized by vertex integrity, which is the smallest number of vertices we need to delete from $G$ so that the resulting graph is a disjoint union of constant-sized components. We first show that Eternal Vertex Cover is XP parameterized by vertex integrity. Then, we develop a polynomial-time approximation algorithm, which computes an additive $6k+1$ ($g(k)$) approximation, where $k$ is equal to the cluster vertex deletion number (vertex integrity). Finally, we show a FPT algorithm for when the deletion set produces "nice" connected components, which are components that are bounded in size and satisfy a technical condition.
On a classical zero-sum invariant II: Disproof of a long-standing conjecture
For a nontrivial finite abelian group $G$, let $ν(G)$ be the smallest integer $\ell$ such that every zero-sum free sequence $T$ over $G$ of length at least $\ell$ has the following property: all nonzero elements of $G$ that do not occur as a subsequence sum of $T$ lie in a proper coset of some subgroup of $G$. It is easy to check that $\mathsf d (G)-1 \le ν(G) \le \mathsf d (G)$, where $\mathsf d (G)$ is the small Davenport constant of $G$. A conjecture by Gao from the year 2000 stated that equality should always hold at the lower bound. This conjecture has since been confirmed for many families of groups (including all p-groups and groups of rank at most two). In the current note, we disprove the conjecture.
Further results on non-negativity conjectures for copartition products
Burson and Eichhorn proposed infinite and finite coefficientwise non-negativity conjectures for products arising from copartitions. We obtain several further results. First, both products admit decompositions into elementary local blocks, and the finite conjecture reduces exactly to its diagonal specialization. The finite conjecture is proved when the first truncation parameter is one or when the two residue parameters are equal. We also prove that every finite product has non-negative coefficients below the third shifted signed exponent. For fixed finite parameters, the coefficient sequence is shown to be eventually quasipolynomial; an explicit period bound, an explicit onset for the quasipolynomial formula, and the leading term on every residue class are obtained. This yields eventual strict positivity, apart from forced odd-degree zeros in one solved diagonal case. For the infinite conjecture, we prove non-negativity under the broader condition $a\equiv b\pmod m$, which includes the known case $a=b$. Finally, for arbitrary $b\mid a$, we improve the uniform initial non-negative range from degrees below $a+m$ to degrees below $a+2m$.
Blow-ups of order types of positive density
Order types are an equivalence relation between point configurations that capture their combinatorial and convexity properties. Let $P$ be a $κ$-colored sequence of $n \ge d+1$ points in general position in $\mathbb{R}^d$. Let $ρ$ be a $κ$-colored order type on $k \le d+1$ points that has positive density on $P$; that is, for some constant $δ>0$, there are $δ\cdot \binom{n}{k}$ $k$-point subsequences of $P$ that have the same order type as $ρ$ and the same color pattern. In this paper we show that there exists a constant $c >0$ (depending only on $d, δ$, $k$ and $κ$) and disjoint subsets $X_1,\dots,X_k$ of $P$, each with at least $c \cdot n$ points, such that for every choice of $k$ points $x_i \in X_i$, $(x_1,\dots,x_k)$ has the same order type and color pattern as $ρ$.
Direct Generation of a Somos-4 Sequence from an Algebraic Generating Function
We construct a five-parameter quadratic algebraic generating function whose coefficient sequence has prescribed initial Hankel determinants $(λ,m,r,η)$ and whose Hankel transform belongs to the Somos-4 family $A(1,τ)$. The construction starts from a Stieltjes continued fraction whose coefficients are generated by an alternating recurrence compatible with the Somos-4 relation. We derive an explicit quadratic equation for the resulting generating function and give the corresponding coefficient recurrence.
A subtle feature of the construction is the nonuniqueness of a coefficient sequence determined solely by its ordinary Hankel transform. To select a canonical representative, we additionally prescribe the shifted Hankel determinants obtained from the same Somos-4 orbit advanced by two indices. This companion condition determines the odd and even Stieltjes coefficients separately and removes the remaining freedom in the continued-fraction representation. We also analyze the two algebraic branches at the origin, where they coalesce, and derive a desingularized recurrence for the coefficients. The resulting construction provides a direct algebraic generating-function realization of a general five-parameter family of Somos-4 Hankel transforms.
Limits of descent-biased trees
We investigate scaling and local limits of random trees biased according to their number of descents. A descent in a rooted labeled tree $t$ is a parent-child pair such that the label of the parent is greater than the label of the child, and the total number of descents is denoted by $\mathrm{des}(t)$. For $n \geq 1$ and $q_n \geq 0$, we consider the probability measure on trees of size $n$ where each tree $t$ is chosen with a probability proportional to $q_n^{\mathrm{des}(t)}$. We study the resulting random tree $\mathcal{T}_n^{(q_n)}$ properly rescaled as $n \to \infty$, and focus on two regimes for the bias parameter $q_n$. When $q_n = q \in (0,1]$ is fixed, we prove that $\mathcal{T}_n^{(q)}$ converges in distribution to the Brownian Continuum Random Tree. When $q_n = a/n$ for some fixed $a > 0$, we prove that $\mathcal{T}_n^{(q_n)}$ converges in distribution to a random non-trivial dendron constructed from a Poisson-Dirichlet sequence. We complement these results with a description of the Benjamini-Schramm local limit of $\mathcal{T}_n^{(q_n)}$ in all regimes of parameters. Our proofs rely on analytic combinatorics to find the asymptotics of certain statistics of the tree, and on a probabilistic analysis of the structure of descent-biased random trees.
Universal Asymptotics and Exact Enumeration of Eulerian Maps
We calculate the asymptotics of the number of connected, labeled, genus $g$ Eulerian maps with an arbitrary degree sequence, in the limit as the total number of vertices tends to infinity. This asymptotic is universal, in the sense that the leading-order term depends on only three map characteristics, regardless of the choice of the degree sequence. The constant factor in this formula is related to the Painlevé I equation. Our methods combine for the first time the analysis of the recurrence coefficients associated to a particular family of orthogonal polynomials, and the theory of analytic combinatorics of several variables. We also derive an exact formula for the number of connected, labeled, genus $1$ Eulerian maps. These are the first results on this kind of enumeration problem for $g\geq 1$, non-regular (mixed-valence) maps.
Small doublings in abelian groups of prime power torsion
Let $A$ be a subset of $G$, where $G$ is a finite abelian group of torsion $r$. It was conjectured by Ruzsa that if $|A+A|\leq K|A|$, then $A$ is contained in a coset of $G$ of size at most $r^{CK}|A|$ for some constant $C$. The case $r=2$ received considerable attention in a sequence of papers, and was resolved by Green and Tao. Recently, Even-Zohar and Lovett settled the case when $r$ is a prime. In this paper, we confirm the conjecture when $r$ is a power of prime. In particular, the bound we obtain is tight.
Log-concavity and log-convexity via distributive lattices
Published
• View Publication
• BIB
We prove a lemma, which we call the Order Ideal Lemma, that can be used to demonstrate a wide array of log-concavity and log-convexity results in a combinatorial manner using order ideals in distributive lattices. We use the Order Ideal Lemma to prove log-concavity and log-convexity of various sequences involving lattice paths (Catalan, Motzkin and large Schröder numbers), intervals in Young's lattice, order polynomials, specializations of Schur and Schur Q-functions, Lucas sequences, descent and peak polynomials of permutations, pattern avoidance, set partitions, and noncrossing partitions. We end with a section with conjectures and outlining future directions.
Global patterns in signed permutations
Global permutation patterns have recently been shown to characterize important properties of a Coxeter group. Here we study global patterns in the context of signed permutations, with both characterizing and enumerative results. Surprisingly, many properties of signed permutations may be characterized by avoidance of the same set of patterns as the corresponding properties in the symmetric group. We also extend previous enumerative work of Egge, and our work has connections to the Garfinkle--Barbasch--Vogan correspondence, the Erdős--Szekeres theorem, and well-known integer sequences.
Subtree Counts and the Maximum Mean Subtree Order
For a finite simple graph $G$ of positive order, let $s_k(G)$ be the number of its $k$-vertex tree subgraphs. We prove that, among graphs of a fixed order $n$, the ratios $s_k(G)/s_k(K_n)$ form a nonincreasing sequence in $k$. It follows that the complete graph maximizes the mean subtree order: $μ(G)\leqμ(K_n)$, with equality if and only if $G$ is complete. This monotonicity theorem also establishes the $s_{n-1}$-to-$s_n$ ratio conjecture posed in recent work on extremal mean subtree order. The proof lifts a known coupling of rooted Cayley-tree shapes of consecutive orders to uniform labeled tree subgraphs of $K_n$ that are nested at every sample point. Event inclusion gives the count inequalities, and a double-sum identity gives the mean bound.