sequence
6845 papers tagged with this keyword
Random multi-hooking networks
Published
• View Publication
• BIB
We introduce a broad class of multi-hooking networks, wherein multiple copies of a seed are hooked at each step at random locations, and the number of copies follows a predetermined building sequence of numbers.
We analyze the degree profile in random multi-hooking networks by tracking two kinds of node degrees -- the local average degree of a specific node over time and the global overall average degree in the graph. The former experiences phases and the latter is invariant with respect to the type of building sequence and is somewhat similar to the average degree in the initial seed. We also discuss the expected number of nodes of the smallest degree.
Additionally, we study distances in the network through the lens of the average total path length, the average depth of a node, the eccentricity of a node, and the diameter of the graph.
The sequence of prime gaps is graphic
Published in Math. Ann. 388 (2024), 2195-2215
• View Publication
• BIB
Let us call a simple graph on $n\geq 2$ vertices a prime gap graph if its vertex degrees are $1$ and the first $n-1$ prime gaps. We show that such a graph exists for every large $n$, and in fact for every $n\geq 2$ if we assume the Riemann hypothesis. Moreover, an infinite sequence of prime gap graphs can be generated by the so-called degree preserving growth process. This is the first time a naturally occurring infinite sequence of positive integers is identified as graphic. That is, we show the existence of an interesting, and so far unique, infinite combinatorial object.
Sums of Distances on Graphs and Embeddings into Euclidean Space
Published
• View Publication
• BIB
Let $G=(V,E)$ be a finite, connected graph. We consider a greedy selection of vertices: given a list of vertices $x_1, \dots, x_k$, take $x_{k+1}$ to be any vertex maximizing the sum of distances to the existing vertices and iterate: we keep adding the `most remote' vertex. The frequency with which the vertices of the graph appear in this sequence converges to a set of probability measures with nice properties. The support of these measures is, generically, given by a rather small number of vertices $m \ll |V|$. We prove that this suggests that the graph $G$ is at most '$m$-dimensional' by exhibiting an explicit $1-$Lipschitz embedding $φ: G \rightarrow \ell^1(\mathbb{R}^m)$ with good properties.
New Correlation Bound and Construction of Quasi-Complementary Code Sets
Published
• View Publication
• BIB
Quasi-complementary sequence sets (QCSSs) have attracted sustained research interests for simultaneously supporting more active users in multi-carrier code-division multiple-access (MC-CDMA) systems compared to complete complementary codes (CCCs). In this paper, we investigate a novel class of QCSSs composed of multiple CCCs. We derive a new aperiodic correlation lower bound for this type of QCSSs, which is tighter than the existing bounds for QCSSs. We then present a systematic construction of such QCSSs with a small alphabet size and low maximum correlation magnitude, and also show that the constructed aperiodic QCSSs can meet the newly derived bound asymptotically.
Spectral dynamics of guided edge removals and identifying transient amplifiers for death-Birth updating
Published
• View Publication
• BIB
The paper deals with two interrelated topics, identifying transient amplifiers in an iterative process and analyzing the process by its spectral dynamics, which is the change in the graph spectra by edge manipulations. Transient amplifiers are networks representing population structures which shift the balance between natural selection and random drift. Thus, amplifiers are highly relevant for understanding the relationships between spatial structures and evolutionary dynamics. We study an iterative procedure to identify transient amplifiers for death-Birth updating. The algorithm starts with a regular input graph and iteratively removes edges until desired structures are achieved. Thus, a sequence of candidate graphs is obtained. The edge removals are guided by quantities derived from the sequence of candidate graphs. Moreover, we are interested in the Laplacian spectra of the candidate graphs and analyze the iterative process by its spectral dynamics. The results show that although transient amplifiers for death-Birth updating are rare, a substantial number of them can be obtained by the proposed procedure. The graphs identified share structural properties and have some similarity to dumbbell and barbell graphs. Also, the spectral dynamics possesses characteristic features useful for deducing links between structural and spectral properties and for distinguishing transient amplifiers among evolutionary graphs in general.
Transcendental solution to linear coefficient non-homogeneous second order recurrence relation with constant non-homogenity
Second order recurrence relations of real numbers arise form various applications in discrete time dynamical systems as well as in the context on Markov chains. Solutions to the recurrence relations are fully defined by the first two initial values as well as the recurrence formula. We calculate in this work explicitly as a function of $a_1$ the minimal positive solution $(a_i)_{i\in\mathbb{N}}$ to non-homogeneous second order recurrence relation with affine coefficients when the non-homogeneity is constant and negative, and the first initial value equals $a_0=0$. We show that rational coefficients lead to a sequence of transcendental numbers. Additionally, we prove that this sequence is the only bounded solution when varying $a_1$, converges to $0$ and obtain the convergence speed in $O(i^{-1})$. We comment in the last section further on the choice of rational parameters in the recurrence relation and we make a link to the impossibility of obtaining computer based visualizations of the minimal positive solution $(a_i)_{i\in\mathbb{N}}$.
GCD of sums of $k$ consecutive squares of generalized Fibonacci numbers
Published in Fibonacci Quarterly, Vol. 60 (2022), No. 5, 255--269
• View Publication
• BIB
In 2021, Guyer and Mbirika gave two equivalent formulas that computed the greatest common divisor (GCD) of all sums of $k$ consecutive terms in the generalized Fibonacci sequence $\left(G_n\right)_{n \geq 0}$ given by the recurrence $G_n = G_{n-1} + G_{n-2}$ for all $n \geq 2$ with integral initial conditions $G_0$ and $G_1$. In this current paper, we extend their results to the GCD of all sums of $k$ consecutive squares of these numbers. Denoting these GCD values by the symbol $\mathcal{G}_{G_0, G_1}^2\!(k)$, we prove $\mathcal{G}_{G_0, G_1}^2\!(k) = \gcd\left(G_k G_{k+1} - G_0 G_1,\; G_{k+1}^2 - G_1^2,\; G_{k+2}^2 - G_2^2\right)$. Moreover, we provide very tantalizing closed forms in the specific settings of the Fibonacci, Lucas, and generalized Fibonacci numbers. We close with a number of open questions for further research.
A new perspective on semi-retractions and the Ramsey property
We investigate the notion of a semi-retraction between two first order structures (in typically different signatures) that was introduced by the second author as a link between the Ramsey property and generalized indiscernible sequences. We further these connections between combinatorics and model theory, and look at semi-retractions through a new lens establishing transfers of the Ramsey property and finite Ramsey degrees under quite general conditions that are optimal as demonstrated by counterexamples. Finally, we compare semi-retractions to the category theoretic notion of a pre-adjunction.
A survey on the parameterized complexity of the independent set and (connected) dominating set reconfiguration problems
Published
• View Publication
• BIB
A graph vertex-subset problem defines which subsets of the vertices of an input graph are feasible solutions. We view a feasible solution as a set of tokens placed on the vertices of the graph. A reconfiguration variant of a vertex-subset problem asks, given two feasible solutions of size $k$, whether it is possible to transform one into the other by a sequence of token slides (along edges of the graph) or token jumps (between arbitrary vertices of the graph) such that each intermediate set remains a feasible solution of size $k$. Many algorithmic questions present themselves in the form of reconfiguration problems: Given the description of an initial system state and the description of a target state, is it possible to transform the system from its initial state into the target one while preserving certain properties of the system in the process? Such questions have received a substantial amount of attention under the so-called combinatorial reconfiguration framework. We consider reconfiguration variants of three fundamental underlying graph vertex-subset problems, namely Independent Set, Dominating Set, and Connected Dominating Set. We survey both older and more recent work on the parameterized complexity of all three problems when parameterized by the number of tokens $k$. The emphasis will be on positive results and the most common techniques for the design of fixed-parameter tractable algorithms.
Bakry-Émery curvature sharpness and curvature flow in finite weighted graphs. I. Theory
In this sequence of two papers, we introduce a curvature flow on (mixed) weighted graphs which is based on the Bakry-Émery calculus. The flow is described via a time-continuous evolution through the weighting schemes. By adapting this flow to preserve the Markovian property, its limits turn out to be curvature sharp. Our aim is to present the flow in the most general case of not necessarily reversible random walks allowing laziness, including vanishing transition probabilities along some edges ("degenerate" edges). This approach requires to extend all concepts (in particular, the Bakry-Émery curvature related notions) to this general case and it leads to a distinction between the underlying topology (a mixed combinatorial graph) and the weighting scheme (given by transition rates). We present various results about curvature sharp vertices and weighted graphs as well as some fundamental properties of this new curvature flow. This paper is accompanied by a second paper discussing the curvature flow implementation in Python for practical use. In this second paper we present examples and exhibit further properties of the flow.
Strings from linear recurrences and permutations: a Gray code
Published
• View Publication
• BIB
Each positive increasing integer sequence $\{a_n\}_{n\geq 0}$ can serve as a numeration system to represent each non-negative integer by means of suitable coefficient strings. We analyse the case of $k$-generalized Fibonacci sequences leading to the binary strings avoiding $1^k$. We prove a bijection between the set %$F_n^{(k)}$ of strings of length $n$ and the set of permutations of $S_{n+1}(321,312,23\ldots(k+1)1)$. Finally, basing on a known Gray code for those strings, we define a Gray code for $S_{n+1}(321,312,23\ldots(k+1)1)$, where two consecutive permutations differ by an adjacent transposition.
Approximate Sampling of Graphs with Near-$P$-stable Degree Intervals
Published in Ann. Comb. (2023)
• View Publication
• BIB
The approximate uniform sampling of graph realizations with a given degree sequence is an everyday task in several social science, computer science, engineering etc. projects. One approach is using Markov chains. The best available current result about the well-studied switch Markov chain is that it is rapidly mixing on P-stable degree sequences (see DOI:10.1016/j.ejc.2021.103421). The switch Markov chain does not change any degree sequence. However, there are cases where degree intervals are specified rather than a single degree sequence. (A natural scenario where this problem arises is in hypothesis testing on social networks that are only partially observed.) Rechner, Strowick, and Müller-Hannemann introduced in 2018 the notion of degree interval Markov chain which uses three (separately well-studied) local operations (switch, hinge-flip and toggle), and employing on degree sequence realizations where any two sequences under scrutiny have very small coordinate-wise distance. Recently Amanatidis and Kleer published a beautiful paper (arXiv:2110.09068), showing that the degree interval Markov chain is rapidly mixing if the sequences are coming from a system of very thin intervals which are centered not far from a regular degree sequence. In this paper we extend substantially their result, showing that the degree interval Markov chain is rapidly mixing if the intervals are centred at P-stable degree sequences.
A ${\mathbb N}$atural Avenue
Published
• View Publication
• BIB
We consider an infinite sequence of rooted trees naturally emerging in a number-theoretical context. We advance some ideas on its structure by discussing some elementary properties. Some of those properties are shown to be related to classical results or conjectures in number theory.
On The Diameter of Pancake Graphs
The Pancake graph($P_n$) represents the group of all permutations on n elements, namely $S_n$, with respect to the generating set containing all prefix reversals. The diameter of a graph is the maximum of all distances on the graph, where the distance between two vertices is the shortest path between them. In the case of the $P_n$, it is the maximum of the shortest generating sequence of each permutation in $S_n$. Here we propose a method to realise better upper bounds to the diameter of $P_n$ that has its focus on Graph Theoretical concepts rather than Algebra.
Extremal entropy for graphs with given size
Published
• View Publication
• BIB
The first degree-based entropy of a graph is the Shannon entropy of its degree sequence normalized by the degree sum. Its correct interpretation as a measure of uniformity of the degree sequence requires the determination of its extremal values given natural constraints. In this paper, we prove that the graphs with given size that minimize the first degree-based entropy are the colex graphs.
The minimal sum of squares over partitions with a nonnegative rank
Published
• View Publication
• BIB
Motivated by a question of Defant and Propp (2020) regarding the connection between the degrees of noninvertibility of functions and those of their iterates, we address the combinatorial optimization problem of minimizing the sum of squares over partitions of $n$ with a nonnegative rank. Denoting the sequence of the minima by $(m_n)_{n\in\mathbb{N}}$, we prove that $m_n=Θ\left(n^{4/3}\right)$. Consequently, we improve by a factor of $2$ the lower bound provided by Defant and Propp for iterates of order two.
Sylvester power and weighted sums on the Frobenius set in arithmetic progression
Published in Discrete Applied Mathematics 315 (2022), 110-126
• View Publication
• BIB
Let $a_1,a_2,\dots,a_k$ be positive integers with $\gcd(a_1,a_2,\dots,a_k)=1$. Frobenius number is the largest positive integer that is NOT representable in terms of $a_1,a_2,\dots,a_k$. When $k\ge 3$, there is no explicit formula in general, but some formulae may exist for special sequences $a_1,a_2,\dots,a_k$, including, those forming arithmetic progressions and their modifications. In this paper, we give formulae for the power and weighted sum of nonrepresentable positive integers. As applications, we show explicit expressions of these sums for $a_1,a_2,\dots,a_k$ forming arithmetic progressions.
Extremal sequences for the unit-weighted Gao constant of $\mathbb Z_n$
For $A\subseteq \mathbb Z_n$, the $A$-weighted Gao constant $E_A(n)$ is defined to be the smallest natural number $k$, such that any sequence of $k$ elements in $\mathbb Z_n$ has a subsequence of length $n$, whose $A$-weighted sum is zero. Sequences of length $E_A(n)-1$ in $\mathbb Z_n$, which do not have any $A$-weighted zero-sum subsequence of length $n$ are called $A$-extremal sequences for the Gao constant. Such a sequence which has $n-1$ zeroes is said to be of the standard type. When $A=U(n)$ (units in $\mathbb Z_n$) where $n$ is odd, we characterize all such sequences and show that they are of the standard type. When $n$ is even, we give examples of such sequences which are not of the standard type. We also characterize the $U(n)$-extremal sequences for the Gao constant, when $n=2^rp$, where $p$ is an odd prime.
New results on graph matching from degree preserving growth
Published in Mathematics 12(22) (2024), \#3518, Open Access
• View Publication
• BIB
The recently introduced \emph{Degree Preserving Growth} model (Nature Physics, \DOI{10.1038/s41567-021-01417-7}) uses matchings to insert new vertices of prescribed degrees into the current graph of an ever-growing graph sequence. The process depends both on the size of the largest available matchings, which is our focus here, as well as on the actual choice of the matching.
First we show that the question whether a graphic degree sequence, extended with a new degree $2δ$ remains graphic is closely related to the available matchings in the realizations of the sequence. Namely we prove that the extension problem is equivalent to the existence of a realization of the original degree sequence with a matching of size $δ$.
Second we present lower bounds for the \emph{forcible matching number} of degree sequences. This number is the size of the maximum matchings in any realization of the degree sequence. We then study bounds on the size of maximal matchings in \emph{some} realizations of the sequence, known as the \emph{potential matching number}. We also estimate the minimum size of both the maximal and the maximum matchings, as determined by the degree sequence, independently of graphical realizations. Along this line we answer a question raised by Biedl, Demaine \emph{et al.} (\DOI{10.1016/j.disc.2004.05.003}).
The Burge correspondence and crystal graphs
Published in European J. Comb. 108 (2023) 103640
• View Publication
• BIB
The Burge correspondence yields a bijection between simple labelled graphs and semistandard Young tableaux of threshold shape. We characterize the simple graphs of hook shape by peak and valley conditions on Burge arrays. This is the first step towards an analogue of Schensted's result for the RSK insertion which states that the length of the longest increasing subword of a word is the length of the largest row of the tableau under the RSK correspondence. Furthermore, we give a crystal structure on simple graphs of hook shape. The extremal vectors in this crystal are precisely the simple graphs whose degree sequence are threshold and hook-shaped.