sequence
6845 papers tagged with this keyword
An explicit formula for the distance characteristic polynomial of threshold graphs
Published
• View Publication
• BIB
A threshold graph G on n vertices is defined by binary sequence of length n. In this paper we present an explicit formula for computing the distance characteristic polynomial of a threshold graph from its binary sequence. As application, we show a several of nonisomorphic pairwise threshold graphs which are {D}-cospectral graphs.
New Tribonacci Recurrence Relations and Addition Formulas
Published
• View Publication
• BIB
Only one three-term recurrence relation, namely, $W_{r}=2W_{r-1}-W_{r-4}$, is known for the generalized Tribonacci numbers, $W_r$, $r\in\mathbb{Z}$, defined by $W_{r}=W_{r-1}+W_{r-2}+W_{r-3}$ and \mbox{$W_{-r}=W_{-r+3}-W_{-r+2}-W_{-r+1}$}, where $W_0$, $W_1$ and $W_2$ are given, arbitrary integers, not all zero. Also, only one four-term addition formula is known for these numbers, which is, $W_{r + s} = T_{s - 1} W_{r - 1} + (T_{s - 1} + T_{s-2} )W_r + T_s W_{r + 1}$, where $({T_r})_{r\in\mathbb{Z}}$ is the Tribonacci sequence, a special case of the generalized Tribonacci sequence, with $W_0=T_0=0$ and $W_1=W_2=T_1=T_2=1$. In this paper we discover three new three-term recurrence relations and two identities from which a plethora of new addition formulas for the generalized Tribonacci numbers may be discovered. We obtain a simple relation connecting the Tribonacci numbers and the Tribonacci-Lucas numbers. Finally, we derive quadratic and cubic recurrence relations for the generalized Tribonacci numbers.
Direct families of polytopes with nontrivial Massey products
The problem of existence of nontrivial Massey products in cohomology of a space is well-known in algebraic topology and homological algebra. A number of problems in complex geometry, symplectic geometry, and algebraic topology can be stated in terms of Massey products. One of such problems is to establish formality of smooth manifolds in rational homotopy theory. There have already been constructed a few classes of spaces with nontrivial triple Massey products in cohomology. Until now, very few examples of manifolds $M$ with nontrivial higher Massey products in $H^*(M)$ were known. In this work we introduce a sequence of smooth closed manifolds $\{M_{k}\}^{\infty}_{k=1}$ such that $M_{k}\hookrightarrow M_{k+1}$ is a submanifold and a retract of $M_{k+1}$ for any $k\geq 1$ and there exists a nontrivial Massey product $\langleα_{1},\ldots,α_{n}\rangle$ in $H^*(M_{k})$ for each $2\leq n\leq k$. The sequence $\{M_k\}^{\infty}_{k=1}$ is determined by a new family of flag nestohedra $\mathcal P_{Mas}$. We give P.D.E. for the two-parametric generating series of $\mathcal P_{Mas}$.
Characterizations and Directed Path-Width of Sequence Digraphs
Published
• View Publication
• BIB
Computing the directed path-width of a directed graph is an NP-hard problem. Even for digraphs of maximum semi-degree 3 the problem remains hard. We propose a decomposition of an input digraph G=(V,A) by a number k of sequences with entries from V, such that (u,v) in A if and only if in one of the sequences there is an occurrence of u appearing before an occurrence of v. We present several graph theoretical properties of these digraphs. Among these we give forbidden subdigraphs of digraphs which can be defined by k=1 sequence, which is a subclass of semicomplete digraphs. Given the decomposition of digraph G, we show an algorithm which computes the directed path-width of G in time O(k\cdot (1+N)^k), where N denotes the maximum sequence length. This leads to an XP-algorithm w.r.t. k for the directed path-width problem. Our result improves the algorithms of Kitsunai et al. for digraphs of large directed path-width which can be decomposed by a small number of sequence.
The Eternal Game Chromatic Number of a Graph
Game coloring is a well-studied two-player game in which each player properly colors one vertex of a graph at a time until all the vertices are colored. An `eternal' version of game coloring is introduced in this paper in which the vertices are colored and re-colored from a color set over a sequence of rounds. In a given round, each vertex is colored, or re-colored, once, so that a proper coloring is maintained. Player 1 wants to maintain a proper coloring forever, while player 2 wants to force the coloring process to fail. The eternal game chromatic number of a graph $G$ is defined to be the minimum number of colors needed in the color set so that player 1 can always win the game on $G$. We consider several variations of this new game and show its behavior on some elementary classes of graphs.
Improving the $\frac{1}{3}-\frac{2}{3}$ Conjecture for Width Two Posets
Published in Combinatorica volume 41, pages 99-126 (2021)
• View Publication
• BIB
Extending results of Linial (1984) and Aigner (1985), we prove a uniform lower bound on the balance constant of a poset $P$ of width $2$. This constant is defined as $δ(P) = \max_{(x, y)\in P^2}\min\{\mathbb{P}(x\prec y), \mathbb{P}(y\prec x)\}$, where $\mathbb{P}(x\prec y)$ is the probability $x$ is less than $y$ in a uniformly random linear extension of $P$. In particular, we show that if $P$ is a width $2$ poset that cannot be formed from the singleton poset and the three element poset with one relation using the operation of direct sum, then \[δ(P)\ge\frac{-3 + 5\sqrt{17}}{52}\approx 0.33876\ldots.\] This partially answers a question of Brightwell (1999); a full resolution would require a proof of the $\frac{1}{3}-\frac{2}{3}$ Conjecture that if $P$ is not totally ordered then $δ(P)\ge\frac{1}{3}$.
Furthermore, we construct a sequence of posets $T_n$ of width $2$ with $δ(T_n)\rightarrowβ\approx 0.348843\ldots$, giving an improvement over a construction of Chen (2017) and over the finite posets found by Peczarski (2017). Numerical work on small posets by Peczarski suggests the constant $β$ may be optimal.
Log-Concave Polynomials III: Mason's Ultra-Log-Concavity Conjecture for Independent Sets of Matroids
Published
• View Publication
• BIB
We give a self-contained proof of the strongest version of Mason's conjecture, namely that for any matroid the sequence of the number of independent sets of given sizes is ultra log-concave. To do this, we introduce a class of polynomials, called completely log-concave polynomials, whose bivariate restrictions have ultra log-concave coefficients. At the heart of our proof we show that for any matroid, the homogenization of the generating polynomial of its independent sets is completely log-concave.
A simplified disproof of Beck's three permutations conjecture and an application to root-mean-squared discrepancy
Published
• View Publication
• BIB
A $k$-permutation family on $n$ vertices is a set system consisting of the intervals of $k$ permutations of the integers $1$ through $n$. The discrepancy of a set system is the minimum over all red-blue vertex colorings of the maximum difference between the number of red and blue vertices in any set in the system. In 2011, Newman and Nikolov disproved a conjecture of Beck that the discrepancy of any $3$-permutation family is at most a constant independent of $n$. Here we give a simpler proof that Newman and Nikolov's sequence of $3$-permutation families has discrepancy $Ω(\log n)$. We also exhibit a sequence of $6$-permutation families with root-mean-squared discrepancy $Ω(\sqrt{\log n})$; that is, in any red-blue vertex coloring, the square root of the expected difference between the number of red and blue vertices in an interval of the system is $Ω(\sqrt{\log n})$.
Asymptotic Analysis of Regular Sequences
Published in Algorithmica volume 82, pages 429508 (2020)
• View Publication
• BIB
In this article, $q$-regular sequences in the sense of Allouche and Shallit are analysed asymptotically. It is shown that the summatory function of a regular sequence can asymptotically be decomposed as a finite sum of periodic fluctuations multiplied by a scaling factor. Each of these terms corresponds to an eigenvalue of the sum of matrices of a linear representation of the sequence; only the eigenvalues of absolute value larger than the joint spectral radius of the matrices contribute terms which grow faster than the error term.
The paper has a particular focus on the Fourier coefficients of the periodic fluctuations: They are expressed as residues of the corresponding Dirichlet generating function. This makes it possible to compute them in an efficient way. The asymptotic analysis deals with Mellin--Perron summations and uses two arguments to overcome convergence issues, namely Hölder regularity of the fluctuations together with a pseudo-Tauberian argument.
Apart from the very general result, three examples are discussed in more detail: sequences defined as the sum of outputs written by a transducer when reading a $q$-ary expansion of the input; the amount of esthetic numbers in the first~$N$ natural numbers; and the number of odd entries in the rows of Pascal's rhombus. For these examples, very precise asymptotic formulæ are presented. In the latter two examples, prior to this analysis only rough estimates were known.
Embedding cover-free families and cryptographical applications
Published
• View Publication
• BIB
Cover-free families are set systems used as solutions for a large variety of problems, and in particular, problems where we deal with $n$ elements and want to identify $d$ invalid ones among them by performing only $t$ tests ($t \leq n$). We are specially interested in cryptographic problems, and we note that some of these problems need cover-free families with an increasing size $n$. Solutions that propose the increase of $n$, such as \emph{monotone families} and \emph{nested families}, have been recently considered in the literature. In this paper, we propose a generalization that we call \emph{embedding families}, which allows us to increase both $n$ and $d$. We propose constructions of \emph{embedding families} using polynomials over finite fields, and show specific cases where this construction allows us to prioritize increase of $d$ or $n$ with good compression ratios. We also provide new constructions for monotone families with improved compression ratio. Finally, we show how to use embedded sequences of orthogonal arrays and packing arrays to build embedding families.
Resilient degree sequences with respect to Hamilton cycles and matchings in random graphs
Published
• View Publication
• BIB
Pósa's theorem states that any graph $G$ whose degree sequence $d_1 \le \ldots \le d_n$ satisfies $d_i \ge i+1$ for all $i < n/2$ has a Hamilton cycle. This degree condition is best possible. We show that a similar result holds for suitable subgraphs $G$ of random graphs, i.e. we prove a `resilience version' of Pósa's theorem: if $pn \ge C \log n$ and the $i$-th vertex degree (ordered increasingly) of $G \subseteq G_{n,p}$ is at least $(i+o(n))p$ for all $i<n/2$, then $G$ has a Hamilton cycle. This is essentially best possible and strengthens a resilience version of Dirac's theorem obtained by Lee and Sudakov.
Chvátal's theorem generalises Pósa's theorem and characterises all degree sequences which ensure the existence of a Hamilton cycle. We show that a natural guess for a resilience version of Chvátal's theorem fails to be true. We formulate a conjecture which would repair this guess, and show that the corresponding degree conditions ensure the existence of a perfect matching in any subgraph of $G_{n,p}$ which satisfies these conditions. This provides an asymptotic characterisation of all degree sequences which resiliently guarantee the existence of a perfect matching.
Nearly subadditive sequences
We show that the de Bruijn-Erdős condition for the error term in their improvement of Fekete's Lemma is not only sufficient but also necessary in the following strong sense. Suppose that given a sequence $0\leq f(1)\leq f(2)\leq f(3)\leq \dots $ such that \begin{equation}\sum_{ n=1}^{\infty} f(n)/n^2 = \infty.
\end{equation} Then, there exists a sequence $\{b(n)\}_{n=1,2,\dots}$ satisfying \begin{equation}\label{eq1} b(n+m) \leq b(n) + b(m) + f(n+m)
\end{equation} such that the sequence of slopes $\{ b(n)/n\}_{n=1,2,\dots}$ takes every rational number.
When the series is bounded we improve their result as follows. If there exist $N$ and real $μ>1$ such that near $f$-subadditivity holds for all pairs $(n,m)$ with $N\leq n\leq m \leq μn$, then $\lim_n b(n)/n $ exists.
Coherent systems of probability measures on graphs for representations of free Frobenius towers
First formally defined by Borodin and Olshanski, a coherent system on a graded graph is a sequence of probability measures which respect the action of certain down/up transition functions between graded components. In one common example of such a construction, each measure is the Plancherel measure for the symmetric group $S_{n}$ and the down transition function is induced from the inclusions $S_{n} \hookrightarrow S_{n+1}$.
In this paper we generalize the above framework to the case where $\{A_n\}_{n \geq 0}$ is any free Frobenius tower and $A_n$ is no longer assumed to be semisimple. In particular, we describe two coherent systems on graded graphs defined by the representation theory of $\{A_n\}_{n \geq 0}$ and connect one of these systems to a family of central elements of $\{A_n\}_{n \geq 0}$. When the algebras $\{A_n\}_{n \geq 0}$ are not semisimple, the resulting coherent systems reflect the duality between simple $A_n$-modules and indecomposable projective $A_n$-modules.
Automatic sequences based on Parry or Bertrand numeration systems
Published
• View Publication
• BIB
We study the factor complexity and closure properties of automatic sequences based on Parry or Bertrand numeration systems. These automatic sequences can be viewed as generalizations of the more typical $k$-automatic sequences and Pisot-automatic sequences. We show that, like $k$-automatic sequences, Parry-automatic sequences have sublinear factor complexity while there exist Bertrand-automatic sequences with superlinear factor complexity. We prove that the set of Parry-automatic sequences with respect to a fixed Parry numeration system is not closed under taking images by uniform substitutions or periodic deletion of letters. These closure properties hold for $k$-automatic sequences and Pisot-automatic sequences, so our result shows that these properties are lost when generalizing to Parry numeration systems and beyond. Moreover, we show that a multidimensional sequence is $U$-automatic with respect to a positional numeration system $U$ with regular language of numeration if and only if its $U$-kernel is finite.
Hyper $b$-ary expansions and Stern polynomials
We study a recently introduced base $b$ polynomial analog of Stern's diatomic sequence, which generalizes Stern polynomials of Klavar, Dilcher, Ericksen, Mansour, Stolarsky, and others. We lift some basic properties of base $2$ Stern polynomials to arbitrary base, and introduce a matrix characterization of Stern polynomials. By specializing, we recover some new number theoretic results about hyper $b$-ary partitions, which count partitions of $n$ into powers of $b$.
Heading in the right direction? Using head moves to traverse phylogenetic network space
Published
• View Publication
• BIB
Head moves are a type of rearrangement moves for phylogenetic networks. They have mostly been studied as part of more encompassing types of moves, such as rSPR moves. Here, we study head moves as a type of moves on themselves. We show that the tiers ($k>0$) of phylogenetic network space are connected by local head moves. Then we show tail moves and head moves are closely related: sequences of tail moves can be converted to sequences of head moves and vice versa, changing the length by at most a constant factor. Because the tiers of network space are connected by rSPR moves, this gives a second proof of the connectivity of these tiers. Furthermore, we show that these tiers have small diameter by reproving the connectivity a third time. As the head move neighbourhood is in general small, this makes head moves a good candidate for local search heuristics. Finally we prove that finding the shortest sequence of head moves between two networks is NP-hard.
Connectivity of inhomogeneous random K-out graphs
Published
• View Publication
• BIB
We propose inhomogeneous random K-out graphs $\mathbb{H}(n; \pmbμ, \pmb{K}_n)$, where each of the $n$ nodes is assigned to one of $r$ classes independently with a probability distribution $\pmbμ = \{μ_1, \ldots, μ_r\}$. In particular, each node is classified as class-$i$ with probability $μ_i>0$, independently. Each class-$i$ node selects $K_{i,n}$ distinct nodes uniformly at random from among all other nodes. A pair of nodes are adjacent in $\mathbb{H}(n; \pmbμ, \pmb{K}_n)$ if at least one selects the other. Without loss of generality, we assume that $K_{1,n} \leq K_{2,n} \leq \ldots \leq K_{r,n}$. Earlier results on homogeneous random K-out graphs $\mathbb{H}(n; K_n)$, where all nodes select the same number $K$ of other nodes, reveal that $\mathbb{H}(n; K_n)$ is connected with high probability (whp) if $K_n \geq 2$ which implies that $\mathbb{H}(n; \pmbμ, \pmb{K}_n)$ is connected whp if $K_{1,n} \geq 2$. In this paper, we investigate the connectivity of inhomogeneous random K-out graphs $\mathbb{H}(n; \pmbμ, \pmb{K}_n)$ for the special case when $K_{1,n}=1$, i.e., when each class-$1$ node selects only one other node. We show that $\mathbb{H}\left(n;\pmbμ,\pmb{K}_n\right)$ is connected whp if $K_{r,n}$ is chosen such that $\lim_{n \to \infty} K_{r,n} = \infty$. However, any bounded choice of the sequence $K_{r,n}$ gives a positive probability of $\mathbb{H}\left(n;\pmbμ,\pmb{K}_n\right)$ being not connected. Simulation results are provided to validate our results in the finite node regime.
Ramsey subsets of the space of infinite block sequences of vectors
We study families of infinite block sequences of elements of the space $\FIN_k$. In particular we study Ramsey properties of such families and Ramsey properties localized to a selective or semiselective coideal. We show how the stable ordered-union ultrafilters defined by Blass, and Matet-adequate families defined by Eisworth in the case $k=1$ fit in the theory of the Ramsey space of infinite block sequences of finite sets of natural numbers.
The Gelin-Cesàro identity in some third-order Jacobsthal sequences
Published
• View Publication
• BIB
In this paper, we deal with two families of third-order Jacobsthal sequences. The first family consists of generalizations of the Jacobsthal sequence. We show that the Gelin-Cesàro identity is satisfied. Also, we define a family of generalized third-order Jacobsthal sequences $\{\mathbb{J}_{n}^{(3)}\}_{n\geq 0}$ by the recurrence relation $$\mathbb{J}_{n+3}^{(3)}=\mathbb{J}_{n+2}^{(3)}+\mathbb{J}_{n+1}^{(3)}+2\mathbb{J}_{n}^{(3)},\ n\geq0,$$ with initials conditions $\mathbb{J}_{0}^{(3)}=a$, $\mathbb{J}_{1}^{(3)}=b$ and $\mathbb{J}_{2}^{(3)}=c$, where $a$, $b$ and $c$ are non-zero real numbers. Many sequences in the literature are special cases of this sequence. We find the generating function and Binet's formula of the sequence. Then we show that the Cassini and Gelin-Cesàro identities are satisfied by the indices of this generalized sequence.
On the lower bounds of Davenport constant
Published in J. Comb. Theory, Ser. A 171 (2020), 105162, 15pp
• View Publication
• BIB
Let $G = C_{n_1} \oplus \cdots \oplus C_{n_r}$ with $1 < n_1 | \cdots | n_r$ be a finite abelian group. The Davenport constant $\mathsf D(G)$ is the smallest integer $t$ such that every sequence $S$ over $G$ of length $|S|\ge t$ has a non-empty zero-sum subsequence. It is a starting point of zero-sum theory but only has a trivial lower bound $\mathsf D^*(G) = n_1 + \cdots + n_r - r + 1$, which equals $\mathsf D(G)$ over $p$-groups. We investigate the non-dispersive sequences over group $C_n^r$, thereby revealing the growth of $\mathsf D(G)-\mathsf D^*(G)$ over non-$p$-groups $G = C_n^r \oplus C_{kn}$ with $n,k \ne 1$. We give a general lower bound of $\mathsf D(G)$ over non-$p$-groups and show that, let $G$ be abelian groups with $\exp(G)=m$ and rank $r$, fix $m>0$ a non-prime-power, then for each $N>0$ there exists an $\varepsilon>0$ such that if $|G|/m^r<\varepsilon $, then $\mathsf D(G)-\mathsf D^*(G)>N$.