sequence
7073 papers tagged with this keyword
Two-log-convexity of the Catalan-Larcombe-French sequence
Published
• View Publication
• BIB
The Catalan-Larcombe-French sequence $\{P_n\}_{n\geq 0}$ arises in a series expansion of the complete elliptic integral of the first kind. It has been proved that the sequence is log-balanced. In the paper, by exploring a criterion due to Chen and Xia for testing 2-log-convexity of a sequence satisfying three-term recurrence relation, we prove that the new sequence $\{P^2_n-P_{n-1}P_{n+1}\}_{n\geq 1}$ are strictly log-convex and hence the Catalan-Larcombe-French sequence is strictly 2-log-convex.
Rainbow perfect matchings and Hamilton cycles in the random geometric graph
Published
• View Publication
• BIB
Given a graph on $n$ vertices and an assignment of colours to the edges, a rainbow Hamilton cycle is a cycle of length $n$ visiting each vertex once and with pairwise different colours on the edges. Similarly (for even $n$) a rainbow perfect matching is a collection of $n/2$ independent edges with pairwise different colours. In this note we show that if we randomly colour the edges of a random geometric graph with sufficiently many colours, then a.a.s. the graph contains a rainbow perfect matching (rainbow Hamilton cycle) if and only if the minimum degree is at least $1$ (respectively, at least $2$). More precisely, consider $n$ points (i.e. vertices) chosen independently and uniformly at random from the unit $d$-dimensional cube for any fixed $d\ge2$. Form a sequence of graphs on these $n$ vertices by adding edges one by one between each possible pair of vertices. Edges are added in increasing order of lengths (measured with respect to the $\ell_p$ norm, for any fixed $1<p\le\infty$). Each time a new edge is added, it receives a random colour chosen uniformly at random and with repetition from a set of $\lceil Kn\rceil$ colours, where $K=K(d)$ is a sufficiently large fixed constant. Then, a.a.s. the first graph in the sequence with minimum degree at least $1$ must contain a rainbow perfect matching (for even $n$), and the first graph with minimum degree at least $2$ must contain a rainbow Hamilton cycle.
Five subsets of permutations enumerated as weak sorting permutations
We show that the number of members of S_n avoiding any one of five specific triples of 4-letter patterns is given by sequence A111279 in OEIS, which is known to count weak sorting permutations. By numerical evidence, there are no other (non-trivial) triples of 4-letter patterns giving rise to this sequence. We make use of a variety of methods in proving our result, including recurrences, the kernel method, direct counting, and bijections.
Aperiodic Crosscorrelation of Sequences Derived from Characters
Published
• View Publication
• BIB
It is shown that pairs of maximal linear recursive sequences (m-sequences) typically have mean square aperiodic crosscorrelation on par with that of random sequences, but that if one takes a pair of m-sequences where one is the reverse of the other, and shifts them appropriately, one can get significantly lower mean square aperiodic crosscorrelation. Sequence pairs with even lower mean square aperiodic crosscorrelation are constructed by taking a Legendre sequence, cyclically shifting it, and then cutting it (approximately) in half and using the halves as the sequences of the pair. In some of these constructions, the mean square aperiodic crosscorrelation can be lowered further if one truncates or periodically extends (appends) the sequences. Exact asymptotic formulae for mean squared aperiodic crosscorrelation are proved for sequences derived from additive characters (including m-sequences and modified versions thereof) and multiplicative characters (including Legendre sequences and their relatives). Data is presented that shows that sequences of modest length have performance that closely approximates the asymptotic formulae.
Low Correlation Sequences from Linear Combinations of Characters
Published
• View Publication
• BIB
Pairs of binary sequences formed using linear combinations of multiplicative characters of finite fields are exhibited that, when compared to random sequence pairs, simultaneously achieve significantly lower mean square autocorrelation values (for each sequence in the pair) and significantly lower mean square crosscorrelation values. If we define crosscorrelation merit factor analogously to the usual merit factor for autocorrelation, and if we define demerit factor as the reciprocal of merit factor, then randomly selected binary sequence pairs are known to have an average crosscorrelation demerit factor of $1$. Our constructions provide sequence pairs with crosscorrelation demerit factor significantly less than $1$, and at the same time, the autocorrelation demerit factors of the individual sequences can also be made significantly less than $1$ (which also indicates better than average performance). The sequence pairs studied here provide combinations of autocorrelation and crosscorrelation performance that are not achievable using sequences formed from single characters, such as maximal linear recursive sequences (m-sequences) and Legendre sequences. In this study, exact asymptotic formulae are proved for the autocorrelation and crosscorrelation merit factors of sequence pairs formed using linear combinations of multiplicative characters. Data is presented that shows that the asymptotic behavior is closely approximated by sequences of modest length.
Log-behavior of two sequences related to the elliptic integrals
Published
• View Publication
• BIB
Two interesting sequences arose in the study of the series expansions of the complete elliptic integrals, which are called the Catalan-Larcombe-French sequence $\{P_n\}_{n\geq 0}$ and the Fennessey-Larcombe-French sequence $\{V_n\}_{n\geq 0}$ respectively. In this paper, we prove the log-convexity of $\{V_n^2-V_{n-1}V_{n+1}\}_{n\geq 2}$ and $\{n!V_n\}_{n\geq 1}$, the ratio log-concavity of $\{P_n\}_{n\geq 0}$ and the sequence $\{A_n\}_{n\geq 0}$ of Apéry numbers, and the ratio log-convexity of $\{V_n\}_{n\geq 1}$.
On the Higher Dimensional Quasi-Power Theorem and a Berry-Esseen Inequality
Hwang's quasi-power theorem asserts that a sequence of random variables whose moment generating functions are approximately given by powers of some analytic function is asymptotically normally distributed. This theorem is generalised to higher dimensional random variables. To obtain this result, a higher dimensional analogue of the Berry-Esseen inequality is proved, generalising a two-dimensional version of Sadikova.
Sequences with small correlation
Published in Des. Codes Cryptogr. 78(1), 237-267, 2016
• View Publication
• BIB
The extent to which a sequence of finite length differs from a shifted version of itself is measured by its aperiodic autocorrelations. Of particular interest are sequences whose entries are 1 or -1, called binary sequences, and sequences whose entries are complex numbers of unit magnitude, called unimodular sequences. Since the 1950s, there is sustained interest in sequences with small aperiodic autocorrelations relative to the sequence length. One of the main motivations is that a sequence with small aperiodic autocorrelations is intrinsically suited for the separation of signals from noise, and therefore has natural applications in digital communications. This survey reviews the state of knowledge concerning the two central problems in this area: How small can the aperiodic autocorrelations of a binary or a unimodular sequence collectively be and how can we efficiently find the best such sequences? Since the analysis and construction of sequences with small aperiodic autocorrelations is closely tied to the (often much easier) analysis of periodic autocorrelation properties, several fundamental results on corresponding problems in the periodic setting are also reviewed.
A sequence of triangle-free pseudorandom graphs
Published
• View Publication
• BIB
A construction of Alon yields a sequence of highly pseudorandom triangle-free graphs with edge density significantly higher than one might expect from comparison with random graphs. We give an alternative construction for such graphs.
Davenport constant for commutative rings
Published
• View Publication
• BIB
The Davenport constant is one measure for how "large" a finite abelian group is. In particular, the Davenport constant of an abelian group is the smallest $k$ such that any sequence of length $k$ is reducible. This definition extends naturally to commutative semigroups, and has been studied in certain finite commutative rings. In this paper, we give an exact formula for the Davenport constant of a general commutative ring in terms of its unit group.
Linear recurrence relations in $Q$-systems via lattice points in polyhedra
Published
• View Publication
• BIB
We prove that the sequence of the characters of the Kirillov-Reshetikhin (KR) modules $W_{m}^{(a)}, m\in \mathbb{Z}_{m\geq 0}$ associated to a node $a$ of the Dynkin diagram of a complex simple Lie algebra $\mathfrak{g}$ satisfies a linear recurrence relation except for some cases in types $E_7$ and $E_8$. To this end we use the $Q$-system and the existing lattice point summation formula for the decomposition of KR modules, known as domino removal rules when $\mathfrak{g}$ is of classical type. As an application, we show how to reduce some unproven lattice point summation formulas in exceptional types to finite problems in linear algebra and also give a new proof of them in type $G_2$, which is the only completely proven case when KR modules have an irreducible summand with multiplicity greater than 1. We also apply the recurrence to prove that the function $\dim W_{m}^{(a)}$ is a quasipolynomial in $m$ and establish its properties. We conjecture that there exists a rational polytope such that its Ehrhart quasipolynomial in $m$ is $\dim W_{m}^{(a)}$ and the lattice points of its $m$-th dilate carry the same crystal structure as the crystal associated with $W_{m}^{(a)}$.
Simplicial orders and chordality
Published
• View Publication
• BIB
Chordal clutters in the sense of [14] and [3] are defined via simplicial orders. Their circuit ideal has a linear resolution, independent of the characteristic of the base field. We show that any Betti sequence of an ideal with linear resolution appears as the Betti sequence of the circuit ideal of such a chordal clutter. Associated with any simplicial order is a sequence of integers which we call the $λ$-sequence of the chordal clutter. All possible $λ$-sequences are characterized. They are intimately related to the Hilbert function of a suitable standard graded $K$-algebra attached to the chordal clutter. By the $λ$-sequence of a chordal clutter we determine other numerical invariants of the circuit ideal, such as the $\textbf{h}$-vector and the Betti numbers.
Computing Eigenvalues of Large Scale Sparse Tensors Arising from a Hypergraph
Published
• View Publication
• BIB
The spectral theory of higher-order symmetric tensors is an important tool to reveal some important properties of a hypergraph via its adjacency tensor, Laplacian tensor, and signless Laplacian tensor. Owing to the sparsity of these tensors, we propose an efficient approach to calculate products of these tensors and any vectors. Using the state-of-the-art L-BFGS approach, we develop a first-order optimization algorithm for computing H- and Z-eigenvalues of these large scale sparse tensors (CEST). With the aid of the Kurdyka-Łojasiewicz property, we prove that the sequence of iterates generated by CEST converges to an eigenvector of the tensor.When CEST is started from multiple randomly initial points, the resulting best eigenvalue could touch the extreme eigenvalue with a high probability. Finally, numerical experiments on small hypergraphs show that CEST is efficient and promising. Moreover, CEST is capable of computing eigenvalues of tensors corresponding to a hypergraph with millions of vertices.
On the Construction of High Dimensional Simple Games
Published
• View Publication
• BIB
Voting is a commonly applied method for the aggregation of the preferences of multiple agents into a joint decision. If preferences are binary, i.e., "yes" and "no", every voting system can be described by a (monotone) Boolean function $χ\colon\{0,1\}^n\rightarrow \{0,1\}$. However, its naive encoding needs $2^n$ bits. The subclass of threshold functions, which is sufficient for homogeneous agents, allows a more succinct representation using $n$ weights and one threshold. For heterogeneous agents, one can represent $χ$ as an intersection of $k$ threshold functions. Taylor and Zwicker have constructed a sequence of examples requiring $k\ge 2^{\frac{n}{2}-1}$ and provided a construction guaranteeing $k\le {n\choose {\lfloor n/2\rfloor}}\in 2^{n-o(n)}$. The magnitude of the worst-case situation was thought to be determined by Elkind et al.~in 2008, but the analysis unfortunately turned out to be wrong. Here we uncover a relation to coding theory that allows the determination of the minimum number $k$ for a subclass of voting systems. As an application, we give a construction for $k\ge 2^{n-o(n)}$, i.e., there is no gain from a representation complexity point of view.
The intricate labyrinth of Collatz sequences
In a previous article, we reduced the unsolved problem of the convergence of Collatz sequences, to convergence of Collatz sequences of odd numbers, that are divisible by 3. In this article, we further reduce this set to odd numbers that are congruent to 21 mod 24. We also show that either the Collatz sequence of a given odd number or an equivalent Collatz sequence reverses to a multiple of 3. Moreover, we construct a network composed of Collatz sequences of all odd numbers.
$L^q$ norms of Fekete and related polynomials
A Littlewood polynomial is a polynomial in $\mathbb{C}[z]$ having all of its coefficients in $\{-1,1\}$. There are various old unsolved problems, mostly due to Littlewood and Erdős, that ask for Littlewood polynomials that provide a good approximation to a function that is constant on the complex unit circle, and in particular have small $L^q$ norm on the complex unit circle. We consider the Fekete polynomials \[ f_p(z)=\sum_{j=1}^{p-1}(j\mid p)\,z^j, \] where $p$ is an odd prime and $(\,\cdot\mid p)$ is the Legendre symbol (so that $z^{-1}f_p(z)$ is a Littlewood polynomial). We give explicit and recursive formulas for the limit of the ratio of $L^q$ and $L^2$ norm of $f_p(z)$ when $q$ is an even positive integer and $p\to\infty$. To our knowledge, these are the first results that give these limiting values for specific sequences of nontrivial Littlewood polynomials and infinitely many $q$. Similar results are given for polynomials obtained by cyclically permuting the coefficients of Fekete polynomials and for Littlewood polynomials whose coefficients are obtained from additive characters of finite fields. These results vastly generalise earlier results on the $L^4$ norm of these polynomials.
Geometry of infinite planar maps with high degrees
Published in Electron. J. Probab. 22 (2017), no. 35
• View Publication
• BIB
We study the geometry of infinite random Boltzmann planar maps with vertices of high degree. These correspond to the duals of the Boltzmann maps associated to a critical weight sequence $(q_{k})_{ k \geq 0}$ for the faces with polynomial decay $k^{-a}$ with $a \in ( 3/2, 5/2)$ which have been studied by Le Gall & Miermont as well as by Borot, Bouttier & Guitter. We show the existence of a phase transition for the geometry of these maps at $a = 2$. In the dilute phase corresponding to $a \in (2, 5/2)$ we prove that the volume of the ball of radius $r$ (for the graph distance) is of order $r^{\mathsf{d}}$ with $\mathsf{d}= (a-1/2)/(a-2)$, and we provide distributional scaling limits for the volume and perimeter process. In the dense phase corresponding to $a \in (3/2,2)$ the volume of the ball of radius $r$ is exponential in $r$. We also study the first-passage percolation (FPP) distance with exponential edge weights and show in particular that in the dense phase the FPP distance between the origin and infinity is finite. The latter implies in addition that the random lattices in the dense phase are transient. The proofs rely on the recent peeling process introduced in arXiv:1506.01590 and use ideas of arXiv:1412.5509 in the dilute phase.
Well-quasi-ordering H-contraction-free graphs
A well-quasi-order is an order which contains no infinite decreasing sequence and no infinite collection of incomparable elements. In this paper, we consider graph classes defined by excluding one graph as contraction. More precisely, we give a complete characterization of graphs H such that the class of H-contraction-free graphs is well-quasi-ordered by the contraction relation. This result is the contraction analogue on the previous dichotomy theorems of Damsaschke [Induced subgraphs and well-quasi-ordering, Journal of Graph Theory, 14(4):427-435, 1990] on the induced subgraph relation, Ding [Subgraphs and well-quasi-ordering, Journal of Graph Theory, 16(5):489-502, 1992] on the subgraph relation, and Błasiok et al. [Induced minors and well-quasi-ordering, ArXiv e-prints, 1510.07135, 2015] on the induced minor relation.
$p$-adic asymptotic properties of constant-recursive sequences
Published in Indagationes Mathematicae 28 (2017) 205-220
• View Publication
• BIB
In this article we study $p$-adic properties of sequences of integers (or $p$-adic integers) that satisfy a linear recurrence with constant coefficients. For such a sequence, we give an explicit approximate twisted interpolation to $\mathbb Z_p$. We then use this interpolation for two applications. The first is that certain subsequences of constant-recursive sequences converge $p$-adically. The second is that the density of the residues modulo $p^α$ attained by a constant-recursive sequence converges, as $α\to \infty$, to the Haar measure of a certain subset of $\mathbb Z_p$. To illustrate these results, we determine some particular limits for the Fibonacci sequence.
Perfect Necklaces
Published
• View Publication
• BIB
We introduce a variant of de Bruijn words that we call perfect necklaces. Fix a finite alphabet. Recall that a word is a finite sequence of symbols in the alphabet and a circular word, or necklace, is the equivalence class of a word under rotations. For positive integers k and n, we call a necklace (k,n)-perfect if each word of length k occurs exactly n times at positions which are different modulo n for any convention on the starting point. We call a necklace perfect if it is (k,k)-perfect for some k. We prove that every arithmetic sequence with difference coprime with the alphabet size induces a perfect necklace. In particular, the concatenation of all words of the same length in lexicographic order yields a perfect necklace. For each k and n, we give a closed formula for the number of (k,n)-perfect necklaces. Finally, we prove that every infinite periodic sequence whose period coincides with some (k,n)-perfect necklace for any n, passes all statistical tests of size up to k, but not all larger tests. This last theorem motivated this work.