sequence
7073 papers tagged with this keyword
A Survey on Almost Difference Sets
Let $G$ be an additive group of order $v$. A $k$-element subset $D$ of $G$ is called a $(v, k, λ, t)$-almost difference set if the expressions $gh^{-1}$, for $g$ and $h$ in $D$, represent $t$ of the non-identity elements in $G$ exactly $λ$ times and every other non-identity element $λ+1$ times. Almost difference sets are highly sought after as they can be used to produce functions with optimal nonlinearity, cyclic codes, and sequences with three-level autocorrelation. This paper reviews the recent work that has been done on almost difference sets and related topics. In this survey, we try to communicate the known existence and nonexistence results concerning almost difference sets. Further, we establish the link between certain almost difference sets and binary sequences with three-level autocorrelation. Lastly, we provide a thorough treatment of the tools currently being used to solve this problem. In particular, we review many of the construction methods being used to date, providing illustrative proofs and many examples.
Ascent sequences and the binomial convolution of Catalan numbers
In this paper, we consider two sets of pattern-avoiding ascent sequences: those avoiding both 201 and 210 and those avoiding 0021. In each case we show that the number of such ascent sequences is given by the binomial convolution of the Catalan numbers. The result for $\{201, 210\}$-avoiders completes a family of results given by Baxter and the current author in a previous paper. The result for 0021-avoiders, together with previous work of Duncan, Steingrímsson, Mansour, and Shattuck, completes the Wilf classification of single patterns of length 4 for ascent sequences.
Nearly perfect sequences with arbitrary out-of-phase autocorrelation
Published
• View Publication
• BIB
In this paper we study nearly perfect sequences (NPS) via their connection to direct product difference sets (DPDS). We prove the connection between a $p$-ary NPS of period $n$ and type $γ$ and a cyclic $(n,p,n,\frac{n-γ}{p}+γ,0,\frac{n-γ}{p})$-DPDS for an arbitrary integer $γ$. Next, we present the necessary conditions for the existence of a $p$-ary NPS of type $γ$. We apply this result for excluding the existence of some $p$-ary NPS of period $n$ and type $γ$ for $n \leq 100$ and $\vert γ\vert \leq 2$. We also prove the similar results for an almost $p$-ary NPS of type $γ$. Finally, we show the non-existence of some almost $p$-ary perfect sequences by showing the non-existence of equivalent cyclic relative difference sets by using the notion of multipliers.
Push is Fast on Sparse Random Graphs
We consider the classical push broadcast process on a large class of sparse random multigraphs that includes random power law graphs and multigraphs. Our analysis shows that for every $\varepsilon>0$, whp $O(\log n)$ rounds are sufficient to inform all but an $\varepsilon$-fraction of the vertices.
It is not hard to see that, e.g. for random power law graphs, the push process needs whp $n^{Ω(1)}$ rounds to inform all vertices. Fountoulakis, Panagiotou and Sauerwald proved that for random graphs that have power law degree sequences with $β>3$, the push-pull protocol needs $Ω(\log n)$ to inform all but $\varepsilon n$ vertices whp. Our result demonstrates that, for such random graphs, the pull mechanism does not (asymptotically) improve the running time. This is surprising as it is known that, on random power law graphs with $2<β<3$, push-pull is exponentially faster than pull.
Eccentricity Sums in Trees
Published
• View Publication
• BIB
The eccentricity of a vertex, $ecc_T(v) = \max_{u\in T} d_T(v,u)$, was one of the first, distance-based, tree invariants studied. The total eccentricity of a tree, $Ecc(T)$, is the sum of eccentricities of its vertices. We determine extremal values and characterize extremal tree structures for the ratios $Ecc(T)/ecc_T(u)$, $Ecc(T)/ecc_T(v)$, $ecc_T(u)/ecc_T(v)$, and $ecc_T(u)/ecc_T(w)$ where $u,w$ are leaves of $T$ and $v$ is in the center of $T$.
In addition, we determine the tree structures that minimize and maximize total eccentricity among trees with a given degree sequence.
Notes on simplicial rook graphs
Published
• View Publication
• BIB
The simplicial rook graph ${\rm SR}(m,n)$ is the graph of which the vertices are the sequences of nonnegative integers of length $m$ summing to $n$, where two such sequences are adjacent when they differ in precisely two places. We show that ${\rm SR}(m,n)$ has integral eigenvalues, and smallest eigenvalue $s = \max (-n, -{m \choose 2})$, and that this graph has a large part of its spectrum in common with the Johnson graph $J(m+n-1,n)$. We determine the automorphism group and several other properties.
The range of a rotor walk
Published
• View Publication
• BIB
In a \emph{rotor walk} the exits from each vertex follow a prescribed periodic sequence. On an infinite Eulerian graph embedded periodically in $\R^d$, we show that any simple rotor walk, regardless of rotor mechanism or initial rotor configuration, visits at least on the order of $t^{d/(d+1)}$ distinct sites in $t$ steps. We prove a shape theorem for the rotor walk on the comb graph with i.i.d.\ uniform initial rotors, showing that the range is of order $t^{2/3}$ and the asymptotic shape of the range is a diamond. Using a connection to the mirror model and critical percolation, we show that rotor walk with i.i.d.\ uniform initial rotors is recurrent on two different directed graphs obtained by orienting the edges of the square grid, the Manhattan lattice and the $F$-lattice. We end with a short discussion of the time it takes for rotor walk to cover a finite Eulerian graph.
On Periodicity and Complexity of Generalized Pseudostandard Words
Generalized pseudostandard words have been introduced by de Luca and De Luca in 2006. In comparison to the palindromic and pseudopalindromic closure, only little is known about the generalized pseudopalindromic closure and the associated generalized pseudostandard words. We present two new results concerning these words. The first one is a necessary and sufficient condition for their periodicity. The second result is a counterexample to Conjecture 43 from the paper: A. B. Masse, G.Paquin, H. Tremblay, and L. Vuillon, On Generalized Pseudostandard Words over Binary Alphabet (Journal of Int. Sequences, 16:Article 13.2.11, 2013) that estimated the complexity of binary generalized pseudostandard words as C(n) being less than or equal to 4n for all sufficiently large n.
Deciding game invariance
Duchêne and Rigo introduced the notion of invariance for take-away games on heaps. Roughly speaking, these are games whose rulesets do not depend on the position. Given a sequence $S$ of positive tuples of integers, the question of whether there exists an invariant game having $S$ as set of $\mathcal{P}$-positions is relevant. In particular, it was recently proved by Larsson et al. that if $S$ is a pair of complementary Beatty sequences, then the answer to this question is always positive. In this paper, we show that for a fairly large set of sequences (expressed by infinite words), the answer to this question is decidable.
A correspondence between rooted planar maps and normal planar lambda terms
Published in Logical Methods in Computer Science, Volume 11, Issue 3 (September 25, 2015) lmcs:1598
• View Publication
• BIB
A rooted planar map is a connected graph embedded in the 2-sphere, with one edge marked and assigned an orientation. A term of the pure lambda calculus is said to be linear if every variable is used exactly once, normal if it contains no beta-redexes, and planar if it is linear and the use of variables moreover follows a deterministic stack discipline. We begin by showing that the sequence counting normal planar lambda terms by a natural notion of size coincides with the sequence (originally computed by Tutte) counting rooted planar maps by number of edges. Next, we explain how to apply the machinery of string diagrams to derive a graphical language for normal planar lambda terms, extracted from the semantics of linear lambda calculus in symmetric monoidal closed categories equipped with a linear reflexive object or a linear reflexive pair. Finally, our main result is a size-preserving bijection between rooted planar maps and normal planar lambda terms, which we establish by explaining how Tutte decomposition of rooted planar maps (into vertex maps, maps with an isthmic root, and maps with a non-isthmic root) may be naturally replayed in linear lambda calculus, as certain surgeries on the string diagrams of normal planar lambda terms.
On the growth of Stanley sequences
Published
• View Publication
• BIB
A set is said to be \emph{3-free} if no three elements form an arithmetic progression. Given a 3-free set $A$ of integers $0=a_0<a_1<\cdots<a_t$, the \emph{Stanley sequence} $S(A)=\{a_n\}$ is defined using the greedy algorithm: For each successive $n>t$, we pick the smallest possible $a_n$ so that $\{a_0,a_1,\ldots,a_n\}$ is 3-free and increasing. Work by Odlyzko and Stanley indicates that Stanley sequences may be divided into two classes. Sequences of Type 1 are highly structured and satisfy $αn^{\log_2 3}/2\le a_n\le αn^{\log_2 3}$, for some constant $α$, while those of Type 2 are chaotic and satisfy $Θ(n^2/\log n)$. In this paper, we consider the possible values for $α$ in the growth of Type 1 Stanley sequences. Whereas Odlyzko and Stanley assumed $α=1$, we show that $α$ can be any rational number which is at least 1 and for which the denominator, in lowest terms, is a power of 3.
Asymptotic degree distribution of a duplication-deletion random graph model
Published in Internet Math. Vol. 11 Iss. 3 (2015) 289-305
• View Publication
• BIB
We study a discrete-time duplication-deletion random graph model and analyse its asymptotic degree distribution. The random graphs consists of disjoint cliques. In each time step either a new vertex is brought in with probability $0<p<1$ and attached to an existing clique, chosen with probability proportional to the clique size, or all the edges of a random vertex are deleted with probability $1-p$. We prove almost sure convergence of the asymptotic degree distribution and find its exact values in terms of a hypergeometric integral, expressed in terms of the parameter $p$. In the regime $0<p<\frac{1}{2}$ we show that the degree sequence decays exponentially at rate $\frac{p}{1-p}$, whereas it satisfies a power-law with exponent $\frac{p}{2p-1}$ if $\frac{1}{2}<p<1$. At the threshold $p=\frac{1}{2}$ the degree sequence lies between a power-law and exponential decay.
Star-cumulants of free unitary Brownian motion
Published
• View Publication
• BIB
We study joint free cumulants of u_t and u_t^{*}, where u_t is a free unitary Brownian motion at time t. We determine explicitly some special families of such cumulants. On the other hand, for a general joint cumulant of u_t and u_t^{*}, we "calculate the derivative" for t going to infinity, when u_t approaches a Haar unitary. In connection to the latter calculation we put into evidence an "infinitesimal determining sequence" which naturally accompanies an arbitrary R-diagonal element in a tracial *-probability space.
On two conjectures for M&m sequences
Published
• View Publication
• BIB
In this paper, the recently introduced M&m sequences and associated mean-median map are studied. These sequences are built by adding new points to a set of real numbers by balancing the mean of the new set with the median of the original. This process, although seemingly simple, gives rise to complicated dynamics. The main result is that two conjectures put forward by Chamberland and Martelli are shown to be true for a subset of possible starting conditions.
A combinatorial proof of a plethystic Murnaghan--Nakayama rule
Published
• View Publication
• BIB
This article gives a combinatorial proof of a plethystic generalization of the Murnaghan--Nakayama rule. The main result expresses the product of a Schur function with the plethysm $p_r \circ h_n$ as an integral linear combination of Schur functions. The proof uses a sign-reversing involution on sequences of bead moves on James' abacus, inspired by the arguments in N. Loehr, Abacus proofs of Schur function identities, SIAM J. Discrete Math. 24 (2010), 1356-1370.
Integer sequence discovery from small graphs
Published
• View Publication
• BIB
We have exhaustively enumerated all simple, connected graphs of a finite order and have computed a selection of invariants over this set. Integer sequences were constructed from these invariants and checked against the Online Encyclopedia of Integer Sequences (OEIS). 141 new sequences were added and 6 sequences were appended or corrected. From the graph database, we were able to programmatically suggest relationships among the invariants. It will be shown that we can readily visualize any sequence of graphs with a given criteria. The code has been released as an open-source framework for further analysis and the database was constructed to be extensible to invariants not considered in this work.
Degree Monotone Paths and Graph Operations
A path $P$ in a graph $G$ is said to be a degree monotone path if the sequence of degrees of the vertices of $P$ in the order in which they appear on $P$ is monotonic. The length of the longest degree monotone path in $G$ is denoted by $mp(G)$. This parameter was first studied in an earlier paper by the authors where bounds in terms of other parameters of $G$ were obtained.
In this paper we concentrate on the study of how $mp(G)$ changes under various operations on $G$. We first consider how $mp(G)$ changes when an edge is deleted, added, contracted or subdivided. We similarly consider the effects of adding or deleting a vertex. We sometimes restrict our attention to particular classes of graphs.
Finally we study $mp(G \times H)$ in terms of $mp(G)$ and $mp(H)$ where $\times$ is either the Cartesian product or the join of two graphs.
In all these cases we give bounds on the parameter $mp$ of the modified graph in terms of the original graph or graphs and we show that all the bounds are sharp.
Homomorphism reconfiguration via homotopy
Published
• View Publication
• BIB
We consider the following problem for a fixed graph H: given a graph G and two H-colorings of G, i.e. homomorphisms from G to H, can one be transformed (reconfigured) into the other by changing one color at a time, maintaining an H-coloring throughout. This is the same as finding a path in the Hom(G,H) complex. For H=K_k this is the problem of finding paths between k-colorings, which was shown to be in P for k<=3 and PSPACE-complete otherwise by Cereceda et al. 2011. We generalize the positive side of this dichotomy by providing an algorithm that solves the problem in polynomial time for any H with no C_4 subgraph. This gives a large class of constraints for which finding solutions to the Constraint Satisfaction Problem is NP-complete, but finding paths in the solution space is P.
The algorithm uses a characterization of possible reconfiguration sequences (paths in Hom(G,H)), whose main part is a purely topological condition described in algebraic terms of the fundamental groupoid of H seen as a topological space.
Refinements of Gál's theorem and applications
Published
• View Publication
• BIB
We give a simple proof of a well-known theorem of Gál and of the recent related results of Aistleitner, Berkes and Seip [1] regarding the size of GCD sums. In fact, our method obtains the asymptotically sharp constant in Gál's theorem, which is new. Our approach also gives a transparent explanation of the relationship between the maximal size of the Riemann zeta function on vertical lines and bounds on GCD sums; a point which was previously unclear. Furthermore we obtain sharp bounds on the spectral norm of GCD matrices which settles a question raised in [2]. We use bounds for the spectral norm to show that series formed out of dilates of periodic functions of bounded variation converge almost everywhere if the coefficients of the series are in $L^2 (\log\log 1/L)^γ$, with $γ> 2$. This was previously known with $γ>4$, and is known to fail for $γ<2$. We also develop a sharp Carleson-Hunt-type theorem for functions of bounded variations which settles another question raised in [1]. Finally we obtain almost sure bounds for partial sums of dilates of periodic functions of bounded variations improving [1]. This implies almost sure bounds for the discrepancy of $\{n_k x\}$ with $n_k$ an arbitrary growing sequences of integers.
Some properties of a Rudin-Shapiro-like sequence
Published
• View Publication
• BIB
We introduce the sequence $(i_n)_{n \geq 0}$ defined by $i_n = (-1)^{inv_2(n)}$, where $inv_2(n)$ denotes the number of inversions (i.e., occurrences of 10 as a scattered subsequence) in the binary representation of n. We show that this sequence has many similarities to the classical Rudin-Shapiro sequence. In particular, if S(N) denotes the N-th partial sum of the sequence $(i_n)_{n \geq 0}$, we show that $S(N) = G(\log_4 N)\sqrt{N}$, where G is a certain function that oscillates periodically between $\sqrt{3}/3$ and $\sqrt{2}$.