sequence
6842 papers tagged with this keyword
On minimal collections of sequences for testing continuity
We study test sets: subfamilies of sequences converging to a point P that still suffice to detect every discontinuity of real-valued functions at P. Ordered by inclusion, these test sets form a poset. Under natural hypotheses at P, we prove that this poset has a minimal element. We also analyze its maximal chains, showing that some have a least element, while others do not. Finally, on the sequential fan we give a concrete realization in which the minimal test set produced by our construction has strictly smaller cardinality than the full family of convergent sequences.
Analytic Properties of Necklace Polynomials
The necklace polynomials \[ M_n(x)=\frac1n\sum_{d\mid n}μ(d)x^{n/d} \] play a central role in discrete mathematics: they count aperiodic necklaces, enumerate monic irreducible polynomials over finite fields, and give the dimensions of homogeneous components of free Lie algebras. Despite their inherently discrete origins, we show that treating $M_n(x)$ as a function of a real variable $x$ unlocks surprising structural properties that answer natural enumerative questions. In this paper, we study $M_n(x)$ as a real-variable function and establish several new analytical and monotonicity properties. We prove that the normalized functions $M_n(x)/x^n$ and their higher normalized derivatives are strictly increasing on $[1,\infty)$. As a consequence, we show that the proportion of irreducible polynomials of fixed degree over $\mathbf F_q$ increases with $q$. We also establish strict growth with respect to the degree $n$ for $x\ge2$. In addition, we determine a sharp threshold for log-convexity: the sequence $\{M_n(x)\}_{n\ge2}$ is uniformly log-convex if and only if $x>8$. These results reveal unexpected analytic structure underlying necklace polynomials and show how real-variable methods can yield new information about discrete enumeration problems. For instance, it is shown that adding one more bead to a sufficiently long necklace will approximately increase the total number of primitive, rotationally distinct configurations by a factor of the number of available colors.
The Alternating Compositions of Weighted Differential Operators Yield The Weights' Wronskian With Which Constant?
The alternated composition of $N=2p$ differential operators $ w_j(x)\,\partial_x^p$ of strict order $p$ on the line $\mathbb{R}\ni x$ is again a differential operator of strict order $p$; its coefficient is the constant $\mathrm{const}(p)$, depending only on the arity $N$, times the Wronskian determinant of the originally taken coefficients $w_1$, $\ldots$, $w_N$. The case $p=1$ of the Lie bracket for two vector fields fixes $\mathrm{const}(1)=1$. When $p=2$, finding $\mathrm{const}(2)=2$ is easy; we obtain $\mathrm{const}(3)=90$. The problem is to know $\mathrm{const}(p\geqslant 4)$. We express the formula of $\mathrm{const}(p)$ in terms of the sum with signs over the much smaller set of 'late-growing' permutations, thus reaching the exact values $c(p=4)= 586\,656$, $c(p=5)\approx 1.9\cdot 10^{12}$, and $c(p=6)\approx 7.9\cdot 10^{21}$; the positive integer sequence $\mathrm{const}(p)$ seems to be new.
Urschel Nodal Domains via Perturbation Theory
We prove several types of Courant nodal domain theorems for generalized Laplacians on graphs, based on an invariant introduced by Urschel, which we call the "Urschel number", denoted ${\rm UN}({\bf f})$, of an eigenvector ${\bf f}$. We refine Urschel's invariant, and use perturbation techniques to obtain some new results. First, we show the existence of mutually orthogonal eigenvectors, such that if the $k$-th eigenvalue has multiplicity $m$, then for $0\le j\le m-1$, ${\rm UN}({\bf f}_{k+j})\le k+\min(j,(m-1)-j)$. Second, for a simple $k$-th eigenvalue, we classify the zeroes of ${\bf f}_k$ as either "shallow or "deep"; we obtain a number of results that say, roughly speaking, the more shallow vertices ${\bf f}_k$ has, the more control we have over our new invariants based on Urschel's.
Our new invariants of an eigenvector, ${\bf f}_k$, are a sequence of integers whose minimum value is ${\rm UN}({\bf f}_k)$ and whose maximum, denoted ${\rm UN}_{\max{}}({\bf f}_k)$, is the maximum number of nodal domains of any possible positive/negative signing or "charge" of the zeroes of ${\bf f}_k$. An example of our second type of result is that if ${\bf f}_k$ has no deep vertices, then ${\rm UN}_{\max{}}({\bf f}_k)\le k$.
We provide a number of examples to illustrate our main results, and how they differ from the situation in analysis. We also describe a minor improvement of the Gladwell-Zhu theorem for an orthonormal eigenbasis in the presence of eigenvalues of sufficient multiplicity.
The Dominating 4-Colour Theorem
A "dominating $K_t$-model" in a graph $G$ is a sequence $(T_1,\dots,T_t)$ of pairwise vertex-disjoint connected subgraphs of $G$, such that whenever $1\leq i<j\leq t$ every vertex in $T_j$ has a neighbour in $T_i$. Replacing "every vertex in $T_j$" by "some vertex in $T_j$" retrieves the standard definition of $K_t$-model, which is equivalent to a $K_t$-minor in $G$. We prove that every graph with no dominating $K_5$-model is $4$-colourable. This generalises and is significantly stronger than the 4-colour theorem for planar graphs or for graphs with no $K_5$-minor. It also makes progress towards Hajós' conjecture on $K_5$-subdivisions in $5$-chromatic graphs.
Motzkin paths with two variants of level steps on odd levels -- a kernel method approach
The sequence A176677 in the Encyclopedia of Integer Sequences enumerates Motzkin paths where two types of horizontal steps may occur, but only on odd indexed levels. We show how to perform the enumeration, also dealing with partial such Motzkin paths leading to a particular level or to any level (open paths). The method is the kernel method where functional equations are manipulated in a suitable way. The coefficients of sequence A176677 satisfy a holonomic recursion that was recently discussed on the arxiv. We show how this can be established in an (almost) automatic fashion. Eventually we switch the roles of `odd' and `even'. One could also allow more versions of horizontal steps but we leave this to the interested readers.
The comaximal graph of a finite-dimensional Lie algebra
In this paper, we introduce the comaximal graph $Γ(L)$ of a finite-dimensional Lie algebra $L$, whose vertices are the nontrivial proper Lie subalgebras of $L$ over a field $\mathbb{F}$, and two vertices $A$ and $B$ are adjacent if and only if $\langle A, B\rangle =L$. We establish general structural properties, including a characterization of isolated vertices via the Frattini subalgebra and a criterion for completeness in terms of $μ$-algebras. We classify $Γ(L)$ for all Lie algebras of dimension at most three over a finite field $\mathbb{F}_q$, providing an explicit description in each case. The resulting graphs exhibit a rich range of behaviors, depending on the structure of the derived algebra and the action of $\operatorname{ad}x$. For $L\cong \mathfrak{sl}_2(\mathbb{F}_q)$, we determine several graph invariants, including the degree sequence, clique number, chromatic number, domination number, diameter, and radius, and show that $Γ(L)$ is connected and non-planar. The graph contains a large clique formed by the nonsplit semisimple lines together with the Borel subalgebras, while the nilpotent and split semisimple lines have a more restricted adjacency structure governed by their containment in Borel subalgebras.
Flip of lattices
In this paper, we introduce a new combinatorial operation, called a flip, on arbitrary partially ordered sets. We define a mutation to be a flip that maps a lattice to a lattice. We study properties of flips, and give a necessary and sufficient condition for a flip to be a mutation. We introduce locally mutable lattices and mutable lattices in terms of flips, and prove that mutable lattices are semidistributive. We show that type-A and type-B Cambrian lattices are locally mutable, and those associated with the finite-type Coxeter quivers with different orientations are related also by the sequence of mutations. Finally we introduce a new class of lattices, called Ordovician lattices, as the lattices obtained from Cambrian lattices by iterated mutations. We provide conjectures on the structure of Ordovician lattices and on the compatibility between our mutation and the mutation in the theory of cluster algebras.
Normal approximation of the numbers of isolated edges and isolated 2-stars in uniform simple graphs with given vertex degrees
We consider the configuration model and the uniform simple graph with given degree sequence $\boldsymbol{d}=\left(d_i\right)_{i=1}^n$. We derive quantitative bounds for the errors in (i) joint normal-Poisson approximation to the numbers of isolated edges, isolated 2-stars, self-loops and double edges in the configuration model, and (ii) normal approximation to the numbers of isolated edges and isolated 2-stars conditioned on that the configuration model is simple. The latter provides the first finite sample normal approximation results for the uniform simple graph with given vertex degrees. To achieve this, we develop a new Stein's method for joint normal-Poisson approximation and a new coupling approach to sums of indicators, which may be of independent interest.
Proofs of four generating function conjectures for arbor polytopes
This paper proves four conjectured generating series, due to Chapoton, which concern invariants of posets and polytopes associated with a specific sequence of arbors. Two of these conjectures provide closed-form formulas for the generating series of the Zeta polynomial and the generating series of the M-triangle of the poset, respectively. The remaining two conjectures pertain, respectively, to the Ehrhart polynomial and the Laplace transform of the volume function of the associated arbor polytope.
Average Hitting Times and Recurrence STRUCTURES I: Powers of Cycle Graphs
We investigate the average hitting times of simple random walks on the $k$-th power graph $C_N^k$ of the cycle graph $C_N$. First, we show that the average hitting times are characterized by a difference equation corresponding to the graph Laplacian. Next, by using the cyclic symmetry of $C_N^k$, we derive a spectral representation via Fourier analysis. Furthermore, by applying factorization and partial fraction decomposition of the corresponding difference operator, we obtain an explicit formula for the average hitting times consisting of a quadratic term and finitely many correction terms. These correction terms are described by second-order linear recurrence sequences associated with the characteristic polynomials, and can be regarded as natural generalizations of Fibonacci-type sequences. As a consequence, our formulas recover the known results for cycle graphs and squares of cycle graphs in a unified way. Moreover, from the formulas obtained for average hitting times, we derive explicit formulas for the effective resistances, the numbers of spanning trees, the numbers of two-component spanning forests, and the numbers of spanning trees of vertex-identified graphs. In particular, for the third power graph $C_N^3$ of the cycle graph, all of these quantities are written explicitly in terms of complex conjugate Fibonacci-type sequences. Our results clarify structural relations between random walk quantities and combinatorial quantities on cycle power graphs.
Counting LEGO configurations
We discuss the problem of counting certain LEGO structures, primarily those comprising parallel $w \times 1$ tiles. These can be combined, as a single LEGO structure, by interlocking the tiles. %Alternatively, if the interlocking condition is relaxed, so that tiles can also be placed end-to-end, a greater number of possible configurations results. We also study the historically earlier problem of counting the number of ways to combine $2 \times 4$ LEGO tiles, which in this case gives a 3-dimensional structure.
In all cases the number of configurations is dominated by an exponential growth term, $μ^n$ where $n$ is the number of tiles. We present an algorithm for counting these various LEGO configurations, and use the data to estimate the asymptotics.
We analyse the data so generated, and conjecture that, for the two-dimensional structures, the number of possible configurations grows like $A(w)μ(w)^n/n,$ and we give numerical estimates for $A(w)$ and $μ(w)$ for $w < 11,$ while for the three-dimensional structure the number of possible configurations is conjectured to grow like $Aμ^n/n^{3/2},$ where $μ= 117.25 \pm 0.05.$
We also study the sequences that arise when we fix the number of tiles $n,$ and vary the tile size $w.$ We prove that the sequences are polynomials of degree $n-1,$ and we give these explicitly for $n=1 \ldots 14.$
Brik's sequence: a strange recursion
We study the properties of the sequence of words $(B_i)$, where $B_1 = 101$ and $B_{i+1} = B_i C_i$ for $i \geq 1$, where $C_i$ is $B_i$ with the first $i$ symbols removed, and the infinite binary sequence ${\bf b} = 10101101011011101 \cdots$ of which all the $B_i$ are prefixes. We show that $\bf b$ is recurrent, but not uniformly recurrent; it has exponential factor complexity; it is not morphic; and the density of $1$'s exists and is transcendental.
Benjamini-Schramm convergence and subtrees of trees
In this paper, we study the asymptotic behaviour of the number of subtrees and the subtree density for a sequence of trees that converges in the Benjamini-Schramm sense. Benjamini-Schramm convergence, also called local weak convergence, describes the local behaviour of a sequence of graphs. Here we show that for a Benjamini-Schramm-convergent sequence of trees, the subtree entropy, i.e., the logarithm of the number of subtrees divided by the order, converges to a constant depending only on the limit. The same holds true for the subtree density, i.e., the probability of a uniformly random vertex being contained in a uniformly random subtree, provided that long paths are ruled out in the limit. Related to this, we show that the subtree density and the average subtree entropy are dense in different parts of the unit interval $[0,1]$ for both general trees and series-reduced trees.
The number and structure of connected graphs with a fixed degree sequence
We study connected graphs with a fixed degree sequence, in the sparse setting where the number of edges grows linearly in the number of vertices. Using the relation to the configuration model, we identify the number of such connected graphs up to the exponential order. We do this by viewing a connected graph with a given degree distribution as the realization of the giant component in a larger configuration model, and carefully choosing the degree distribution of the larger graph so that it is likely that its giant component has the required degree distribution. To ensure that the connected graph has exactly the correct degrees, we use a switching argument. Additionally, we obtain results on rare event probabilities and describe the local structure of a uniform connected graph with a fixed degree sequence.
Defective chromatic polynomials
For a graph $G$ and an integer $d\geq 0$, the defective chromatic polynomial $χ_d(G;k)$ counts the $k$-colorings of $G$ in which each vertex has at most $d$ neighbors of its own color. We investigate which structural properties of $G$ are determined by the full family $\{χ_d(G;k)\}_{d\geq 0}$. We establish a contraction formula expressing $χ_d(G;k)$ as a sum of ordinary chromatic polynomials of the edge contractions of $G$. As a first application, we prove that for triangle-free graphs, the full family determines the degree sequence. For trees, we show further that the family $\{χ_d(T;k)\}_{d\geq 0}$ determines the path-subgraph counts $N(P_j,T)$ for $j=1,2,3,4$, but not for $j=5$. For each $n\geq 9$, we construct a pair of nonisomorphic trees of order $n$ that share the same defective chromatic polynomials for every $d\geq 0$.
Leap generators for composition schemes
Leap generators have been introduced in [Duchon et al.'04] for exact-size random generation of structures in a class of the form $\mathcal{C}=\mathrm{Seq}(\mathcal{B})$ (sequence construction), in the supercritical case. We extend these generators to supercritical composition schemes $\mathcal{C}=\mathcal{A}\circ\mathcal{B}$. Compared to the sequence construction, the obtained exact-size random generator for $\mathcal{C}$ still has linear time complexity (under conditions on the sampling complexity in $\mathcal{A}$ and $\mathcal{B}$), but perfect uniformity of the distribution is lost in general. However the distribution on $\mathcal{C}_n$, called leap distribution, is asymptotically uniform, the total variation distance from the uniform distribution being $(c+o(1))n^{-1/2}$ for an explicit constant $c$. These generators are simple to implement and can be applied to several classes of walks and trees, in particular Pólya trees. Leap generators can also be given for certain critical composition schemes, those relating planar map families, where this time the total variation distance to the uniform distribution is $\sim c\,n^{-1/3}$ for an explicit constant $c$.
A short proof of Mathar's 2016 recurrence conjecture for OEIS A176677
For the OEIS sequence A176677, defined by the quadratic convolution recurrence $a(0) = a(1) = 1$ and $a(n+1) = \sum_{p=0}^n a(p) a(n-p) - 1$ for $n \ge 1$, R.~J.~Mathar contributed in March 2016 the conjectured order-4 P-recursive recurrence \[ (n+1)\,a(n) + 2(-3n+1)\,a(n-1) + (9n-13)\,a(n-2) - 4\,a(n-3) + 4(-n+4)\,a(n-4) = 0. \] We give a short proof. The convolution recurrence translates directly into the algebraic equation $z(1-z) G(z)^2 - (1-z) G(z) + (1 - z - z^2) = 0$ for the ordinary generating function $G(z)$, and Mathar's recurrence then drops out as the coefficient form of a 1st-order linear inhomogeneous ODE $q_0(z) G(z) + q_1(z) G'(z) = R(z)$ that we verify by polynomial division modulo the algebraic equation. The polynomial $q_1(z)$ admits the factorization $q_1(z) = -z(z-1)(2z-1)(2z^2 + 3z - 1)$, whose roots are exactly the singularities of $G$. Deutsch's combinatorial interpretation (Motzkin paths of length $n-1$ with two-coloured level-zero horizontal steps) is preserved.
CombOL: a Library for Practical Enumeration and Boltzmann Sampling of Combinatorial Classes
We present CombOL (Combinatorial Objects Library), an open-source library for the enumeration and Boltzmann sampling of combinatorial classes. Classes can be specified by a concise string syntax, and may depend on an arbitrary number of parameters. CombOL automatically derives the associated generating functions, enabling the generation of counting sequences and the compilation of Boltzmann samplers. The library supports exact and approximate-size Boltzmann rejection sampling with automatic parameter tuning to target specific sizes. In addition to implementing established methods, CombOL contributes a novel early-rejection scheme, as well as guaranteed statistical correctness by dynamically increasing the numerical precision, eliminating bias due to floating-point rounding errors. Through the Python interface, sampled structures can be mapped to application-specific objects, enabling direct sampling of domain objects such as graphs, chemical structure representations, or other complex data types. CombOL is available from PyPI as 'combol' (pypi.org/project/combol). The source code is available at gitlab.com/casbjorn/combol.
Small values of signed harmonic sums and logarithmic means of multiplicative functions
We construct sequences $\{a_n\}_{n\in\mathbb{N}}\in\{-1,1\}^{\mathbb{N}}$ with small values of signed harmonic sums \[ \sum_{n\in\mathcal{A}\cap[1,N]}\frac{a_n}{n}, \] for any reasonably dense subsets $\mathcal{A}\subset\mathbb{N}.$ We apply these methods to further construct completely multiplicative functions $f:\mathbb{N}\to\{-1,1\}$ with unusually small logarithmic partial sums, that is, \[ \sum_{n \leq N}\frac{f(n)}{n} \ll \exp\left(-c_0 \frac{N^{1/3}}{(\log N)^{1/3}} \right) \] holds for infinitely many $N\to\infty$. The proofs combine careful analysis of the small-scale distribution of random harmonic sums over subsets of $\mathbb{N}$, together with deterministic inductive arguments inspired by the ``anatomy" of integers.