sequence
6845 papers tagged with this keyword
An Efficient Algorithm for Permutation Iteration Using a Singly Linked List
We present a new algorithm for iterating over all permutations of a sequence. The algorithm leverages elementary~$O(1)$ operations on recursive lists. As a result, no new nodes are allocated during the computation. Instead, all elements are rearranged within the original nodes of the singly linked list throughout the process. While permutations are generated in an unusual order, the transitions between consecutive permutations remain smooth. A proof of concept written in the Lisp programming language is referenced and discussed. We also present a polynomial-time algorithm for computing an arbitrary permutation given its index.
Resolution of Erdős' problems about unimodularity
Letting $δ_1(n,m)$ be the density of the set of integers with exactly one divisor in $(n,m)$, Erdős wondered if $δ_1(n,m)$ is unimodular for fixed $n$.
We prove this is false in general, as the sequence $(δ_1(n,m))$ has superpolynomially many local extrema. However, we confirm unimodality in the single case for which it occurs; $n = 1$.
We also solve the question on unimodality of the density of integers whose $k^{th}$ prime is $p$.
A class of weighted Delannoy numbers
Published in Filomat 36:17 (2022), 5985--6007
• View Publication
• BIB
The weighted Delannoy numbers are defined by the recurrence relation $f_{m,n}=αf_{m-1,n}+ βf_{m,n-1}+ γf_{m-1,n-1}$ if $m n>0 $, with $f_{m,n}=α^m β^n$ if $n m=0$. In this work, we study a generalization of these numbers considering the same recurrence relation but with $f_{m,n}=A^m B^n$ if $n m=0$. More particularly, we focus on the diagonal sequence $f_{n,n}$. With some ingenuity, we are able to make use of well-established methods by Pemantle and Wilson, and by Melczer in order to determine its asymptotic behavior in the case $A,B,α,β,γ\geq 0$. In addition, we also study its P-recursivity with the help of symbolic computation tools.
Every group is the automorphism group of a graph with arbitrarily large genus
We prove that, to every abstract group $G$, we can associate a sequence of graphs $Γ_n$ such that the automorphism group of $Γ_n$ is isomorphic to $G$ and the genus of $Γ_n$ is an unbounded function of $n$.
The Hurt-Sada Array and Zeckendorf Representations
Wesley Ivan Hurt and Ali Sada both independently proposed studying an infinite array where the $0$'th row consists of the non-negative integers $0,1,2,\ldots$ in increasing order. Thereafter the $n$'th row is formed from the $(n-1)$'th row by "jumping" the single entry $n$ by $n$ places to the right. Sada also defined a sequence $s(n)$ defined to be the first number that $n$ jumps over. In this note I show how the Hurt-Sada array and Sada's sequence are intimately connected with the golden ratio $\varphi$ and Zeckendorf representation. I also consider a number of related sequences.
Monochromatic Subgraphs in Randomly Colored Dense Multiplex Networks
Given a sequence of graphs $G_n$ and a fixed graph $H$, denote by $T(H, G_n)$ the number of monochromatic copies of the graph $H$ in a uniformly random $c$-coloring of the vertices of $G_n$. In this paper we study the joint distribution of a finite collection of monochromatic graph counts in networks with multiple layers (multiplex networks). Specifically, given a finite collection of graphs $H_1, H_2, \ldots, H_d$ we derive the joint distribution of $(T(H_1, G_n^{(1)}), T(H_2, G_n^{(2)}), \ldots, T(H_d, G_n^{(d)}))$, where $\boldsymbol{G}_n = (G_n^{(1)}, G_n^{(2)}, \ldots, G_n^{(d)})$ is a collection of dense graphs on the same vertex set converging in the joint cut-metric. The limiting distribution is the sum of 2 independent components: a multivariate Gaussian and a sum of independent bivariate stochastic integrals. This extends previous results on the marginal convergence of monochromatic subgraphs in a sequence of graphs to the joint convergence of a finite collection of monochromatic subgraphs in a sequence of multiplex networks. Several applications and examples are discussed.
Bollobás-Nikiforov conjecture holds asymptotically almost surely
Bollobás and Nikiforov (J. Combin. Theory Ser. B. 97 (2007) 859-865) conjectured that for a graph $G$ with $e(G)$ edges and the clique number $ω(G)$, then $
λ_{1}^{2}+λ_{2}^{2}\leq 2e(G)\left(1-\frac{1}{ω(G)}\right), $ where $λ_{1}$ and $λ_{2}$ are the largest and the second largest eigenvalues of the adjacency matrix of $G$, respectively. In this paper, we prove that for a sequence of random graphs the conjecture holds true with probability tending to one as the number of vertices tends to infinity.
Temperatures of Robin Hood
Cumulative Games were introduced by Larsson, Meir, and Zick (2020) to bridge some conceptual and technical gaps between Combinatorial Game Theory (CGT) and Economic Game Theory. The partizan ruleset {\sc Robin Hood} is an instance of a Cumulative Game, viz., {\sc Wealth Nim}. It is played on multiple heaps, each associated with a pair of cumulations, interpreted here as wealth. Each player chooses one of the heaps, removes tokens from that heap not exceeding their own wealth, while simultaneously diminishing the other player's wealth by the same amount. In CGT, the {\em temperature} of a {\em disjunctive sum} game component is an estimate of the urgency of moving first in that component. It turns out that most of the positions of {\sc Robin Hood} are {\em hot}. The temperature of {\sc Robin Hood} on a single large heap shows a dichotomy in behavior depending on the ratio of the wealths of the players. Interestingly, this bifurcation is related to Pingala (Fibonacci) sequences and the Golden Ratio $φ$: when the ratio of the wealths lies in the interval $(φ^{-1},φ)$, the temperature increases linearly with the heap size, and otherwise it remains constant, and the mean values has a reciprocal property. It turns out that despite {\sc Robin Hood} displaying high temperatures, playing in the hottest component might be a sub-optimal strategy.
Strengthened upper bound on the third eigenvalue of graphs
Let $G$ be a graph on $n \ge 3$ vertices, whose adjacency matrix has eigenvalues $λ_1 \ge λ_2 \ge \dots \ge λ_n$. The problem of bounding $λ_k$ in terms of $n$ was first proposed by Hong and was studied by Nikiforov, who demonstrated strong upper and lower bounds for arbitrary $k$. Nikiforov also claimed a strengthened upper bound for $k \ge 3$, namely that $\frac{λ_k}{n} < \frac{1}{2\sqrt{k-1}} - \varepsilon_k$ for some positive $\varepsilon_k$, but omitted the proof due to its length. In this paper, we give a proof of this bound for $k = 3$. We achieve this by instead looking at $λ_{n-1} + λ_n$ and introducing a new graph operation which provides structure to minimising graphs, including $ω\le 3$ and $χ\le 4$. Then we reduce the hypothetical worst case to a graph that is $n/2$-regular and invariant under said operation. By considering a series of inequalities on the restricted eigenvector components, we prove that a sequence of graphs with $\frac{λ_{n-1} + λ_n}{n}$ converging to $-\frac{\sqrt{2}}{2}$ cannot exist.
Chip-Firing on Infinite $k$-ary Trees
We use an infinite $k$-ary tree with a self-loop at the root as our underlying graph. We consider a chip-firing process starting with $N$ chips at the root. We describe the stable configurations. We calculate the number of fires for each vertex and the total number of fires. We study a sequence of the number of root fires for a given $k$ as a function of $N$ and study its properties. We do the same for the total number of fires.
Exercises in Iterational Asymptotics II
The nonlinear recurrences we consider here include the functions $3x(1-x)$ and $\cos(x)$, which possess attractive fixed points $2/3$ and $0.739...$ (Dottie's number). Detailed asymptotics for oscillatory convergence are found, starting with a 1960 paper by Wolfgang Thron. Another function, $x/(1+x\ln(1+x))$, gives rise to a sequence with monotonic convergence to $0$ but requires substantial work to calculate its associated constant $C$.
On the crossing profile of rectilinear drawings of $K_n$
We introduce the \textit{crossing profile} of a drawing of a graph. This is a sequence of integers whose $(k+1)^{\text{th}}$ entry counts the number of edges in the drawing which are involved in exactly $k$ crossings. The first and second entries of this sequence (which count uncrossed edges and edges with one crossing, respectively) have been studied by multiple authors. However, to the best of our knowledge, we are the first to consider the entire sequence. Most of our results concern crossing profiles of rectilinear drawings of the complete graph $K_n$. We show that for any $k\leq (n-2)^2/4$ there is such a drawing for which the $k^{\text{th}}$ entry of the crossing profile is of magnitude $Ω(n)$. On the other hand, we prove that for any $k \geq 1$ and any sufficiently large $n$, the $k^{\text{th}}$ entry can also be made to be $0$. As our main result, we essentially characterize the asymptotic behavior of both the maximum and minimum values that the sum of the first $k$ entries of the crossing profile might achieve. Our proofs are elementary and rely mostly on geometric constructions and classical results from discrete geometry and geometric graph theory.
Equivalence of labeled graphs and lattices
In $1973$, Harary and Palmer posed the problem of enumeration of labeled graphs on $n \geq 1$ unisolated vertices and $l \geq 0$ edges. In $1997$, Bender et al.\ obtained a recurrence relation representing the sequence $A054548$(OEIS) of labeled graphs on $n \geq 0$ unisolated vertices containing $q \geq \frac{n}{2}$ edges. In $2020$, Bhavale and Waphare obtained a recurrence relation representing the sequence of fundamental basic blocks on $n \geq 0$ comparable reducible elements, having nullity $l \geq \lfloor \frac{n+1}{2} \rfloor$. In this paper, we prove the equivalence of these two sequences. We also provide an edge labeling for a given vertex labeled finite simple graph.
An $O(n\log^2n)$ Algorithm for Computing Hankel Determinants up to Order $n$
Given the rational power series $h(x) = \sum_{i \geq 0} h_i x^i \in \mathbb{C}[[x]]$, the Hankel determinant of order $n$ is defined as $H_n(h(x)) := \det (h_{i+j})_{0 \leq i,j \leq n-1}$. We explore the relationship between the Hankel continued fraction and the generalized Sturm sequence. This connection inspires the development of a novel algorithm for computing the Hankel determinants $\{H_i(h(x))\}_{i=0}^{n-1}$ using $O(n \log^2 n)$ arithmetic operations. We also explore the connection between the generalized Sturm sequences and the signature of Hankel matrices.
On counting numerical semigroups by maximum primitive and Wilf's conjecture
We introduce a new way of counting numerical semigroups, namely by their maximum primitive, and show its relation with the counting of numerical semigroups by their Frobenius number. For any positive integer $n$, let $A_{n}$ denote the number of numerical semigroups whose maximum primitive is $n$, and let $N_{n}$ denote the number of numerical semigroups whose Frobenius number is $n$. We show that the sequences $(A_{n})$ and $(N_{n})$ are Möbius transforms of one another. We also establish that almost all numerical semigroups with large enough maximum primitive satisfy Wilf's conjecture. A crucial step in the proof is a result of independent interest: a numerical semigroup $S$ with multiplicity $\mathrm{m}$ such that $|S\cap (\mathrm{m},2 \mathrm{m})|\geq \sqrt{3\mathrm{m}}$ satisfies Wilf's conjecture.
The log concavity of two graphical sequences
We show that the large Cartesian powers of any graph have log-concave valencies with respect to a ffxed vertex. We show that the series of valencies of distance regular graphs is log-concave, thus improving on a result of (Taylor, Levingston, 1978). Consequences for strongly regular graphs, two-weight codes, and completely regular codes are derived. By P-Q duality of association schemes the series of multiplicities of Q-polynomial association schemes is shown, under some assumption, to be log-concave.
$2$-Restricted Optimal Pebbling Number of Some Graphs
Let $G=(V,E)$ be a simple graph. A pebbling configuration on $G$ is a function $f:V\rightarrow \mathbb{N}\cup \{0\}$ that assigns a non-negative integer number of pebbles to each vertex. The weight of a configuration $f$ is $w(f)=\sum_{u\in V}f(u)$, the total number of pebbles. A pebbling move consists of removing two pebbles from a vertex $u$ and placing one pebble on an adjacent vertex $v$. A configuration $f$ is a $t$-restricted pebbling configuration ($t$RPC) if no vertex has more than $t$ pebbles. The $t$-restricted optimal pebbling number $π_t^*(G)$ is the minimum weight of a $t$RPC on $G$ that allows any vertex to be reached by a sequence of pebbling moves. The distinguishing number $D(G)$ is the minimum number of colors needed to label the vertices of $G$ such that the only automorphism preserving the coloring is the trivial one (i.e., the identity map). In this paper, we investigate the $2$-restricted optimal pebbling number of trees $T$ with $D(T)=2$ and radius at most $2$ and enumerate their $2$-restricted optimal pebbling configurations. Also we study the $2$-restricted optimal pebbling number of some graphs that are of importance in chemistry such as some alkanes.
$q$-analogues of sums of consecutive powers of natural numbers and extended Carlitz $q$-Bernoulli numbers and polynomials
In this paper, we investigate a specific class of $q$-polynomial sequences that serve as a $q$-analogue of the classical Appell sequences. This framework offers an elegant approach to revisiting classical results by Carlitz and, more interestingly, to establishing an important extension of the Carlitz $q$-Bernoulli polynomials and numbers. In addition, we establish explicit series representations for our extended Carlitz $q$-Bernoulli numbers and express them in terms of $q$-Stirling numbers of the second kind. This leads to a novel formula that explicitly connects the Carlitz $q$-Bernoulli numbers with the $q$-Stirling numbers of the second kind.
Twin-width one
We investigate the structure of graphs of twin-width at most $1$, and obtain the following results:
- Graphs of twin-width at most $1$ are permutation graphs. In particular they have an intersection model and a linear structure.
- There is always a $1$-contraction sequence closely following a given permutation diagram.
- Based on a recursive decomposition theorem, we obtain a simple algorithm running in linear time that produces a $1$-contraction sequence of a graph, or guarantees that it has twin-width more than $1$.
- We characterise distance-hereditary graphs based on their twin-width and deduce a linear time algorithm to compute optimal sequences on this class of graphs.
Congruence properties of Lehmer-Euler numbers
Certain generalization of Euler numbers was defined in 1935 by Lehmer using cubic roots of unity, as a natural generalization of Bernoulli and Euler numbers. In this paper, Lehmer's generalized Euler numbers are studied to give certain congruence properties together with recurrence and explicit formulas of the numbers. We also show a new polynomial sequence and its properties. Some identities including Euler and central factorial numbers are obtained.