sequence
6845 papers tagged with this keyword
Skolem Circles
Skolem sequences and Skolem labeled graphs have been described and examined for several decades. This note explores weak Skolem labelling of cycle graphs, which we call Skolem circles. The relationship between Skolem sequences and Skolem cirlces is explored, and Skolem circles of small sizes are enumerated, with some loose general bounds established.
Clustering coefficient of random intersection graphs with infinite degree variance
Published
• View Publication
• BIB
For a random intersection graph with a power law degree sequence having a finite mean and an infinite variance we show that the global clustering coefficient admits a tunable asymptotic distribution.
Continuous Analogues for the Binomial Coefficients and the Catalan Numbers
Published
• View Publication
• BIB
Using techniques from the theories of convex polytopes, lattice paths, and indirect influences on directed manifolds, we construct continuous analogues for the binomial coefficients and the Catalan numbers. Our approach for constructing these analogues can be applied to a wide variety of combinatorial sequences. As an application we develop a continuous analogue for the binomial distribution.
On the real-rootedness of the Veronese construction for rational formal power series
Published
• View Publication
• BIB
We study real sequences $\{a_{n}\}_{n\in \mathbb{N}}$ that eventually agree with a polynomial. We show that if the numerator polynomial of its rational generating series is of degree $s$ and has only nonnegative coefficients, then the numerator polynomial of the subsequence $\{ a_{rn+i}\}_{n\in \mathbb{N}}$, $0\leq i<r$, has only nonpositive, real roots for all $r\geq s-i$. We apply our results to combinatorially positive valuations on polytopes and to Hilbert functions of Veronese submodules of graded Cohen-Macaulay algebras. In particular, we prove that the Ehrhart $h^\ast$-polynomial of the $r$-th dilate of a $d$-dimensional polytope has only distinct, negative, real roots if $r\geq \min \{s+1,d\}$. This proves a conjecture of Beck and Stapledon (2010).
Free subgroup numbers modulo prime powers: the non-periodic case
Published in J. Combin. Theory Ser. A 154 (2018), 49-76
• View Publication
• BIB
In [J. Algebra 452 (2016), 372-389], we characterise when the sequence of free subgroup numbers of a finitely generated virtually free group $Γ$ is ultimately periodic modulo a given prime power. Here, we show that, in the remaining cases, in which the sequence of free subgroup numbers is not ultimately periodic modulo a given prime power, the number of free subgroups of index~$λ$ in $Γ$ is - essentially - congruent to a binomial coefficient times a rational function in $λ$ modulo a power of a prime that divides a certain invariant of the group $Γ$, respectively to a binomial sum involving such numbers. These results, apart from their intrinsic interest, in particular allow for a much more efficient computation of congruences for free subgroup numbers in these cases compared to the direct recursive computation of these numbers implied by the generating function results in [J. London Math. Soc. (2) 44 (1991), 75-94].
A bijection for two sequences in OEIS
We show that sequences A026737 and A111279 in The On-Line Encyclopedia of Integer Sequences are the same by giving a bijection between two classes of Grand Schroder paths.
Trapezoidal Diagrams, Upward Triangulations, and Prime Catalan Numbers
Published
• View Publication
• BIB
The d-dimensional Catalan numbers form a well-known sequence of numbers which count balanced bracket expressions over an alphabet of size d. In this paper, we introduce and study what we call d-dimensional prime Catalan numbers, a sequence of numbers which count only a very specific subset of indecomposable balanced bracket expressions.
We further introduce the notion of a trapezoidal diagram of a crossing-free geometric graph, such as a triangulation or a crossing-free perfect matching. In essence, such a diagram is obtained by augmenting the geometric graph in question with its trapezoidal decomposition, and then forgetting about the precise coordinates of individual vertices while preserving the vertical visibility relations between vertices and segments. We note that trapezoidal diagrams of triangulations are closely related to abstract upward triangulations.
We study the numbers of such diagrams in the cases of (i) perfect matchings and (ii) triangulations. We give bijective proofs which establish relations with 3-dimensional (prime) Catalan numbers. This allows us to determine the corresponding exponential growth rates exactly as (i) 5.196^n and (ii) 23.459^n (bases are rounded to 3 decimal places).
Finally, we give lower bounds for the maximum number of embeddings of a trapezoidal diagram on any given point set.
Counting distinct dimer hex tilings
The combinatorics of tilings of a hexagon of integer side-length $n$ by 120 degree - 60 degree diamonds of side-length 1 has a long history, both directly (as a problem of interest in thermodynamic models) and indirectly (through the equivalence to plane partitions). Formulae as products of factorials have been conjectured and, one by one, proven for the number of such tilings under each of the symmetries of the hexagon. However, when this note was written the entry for the number of distinct such tilings in the Online Encyclopedia of Integer Sequences (OEIS) consisted of little more than a table for $0 \le n \le 4$ and a brief discussion of those values. The aim of this note is to pull together the relevant facts.
Character Values of the Sidelnikov-Lempel-Cohn-Eastman Sequences
Published
• View Publication
• BIB
Binary sequences with good autocorrelation properties and large linear complexity are useful in stream cipher cryptography. The Sidelnikov-Lempel-Cohn-Eastman (SLCE) sequences have nearly optimal autocorrelation. However, the problem of determining the linear complexity of the SLCE sequences is still open. Our approach is to exploit the fact that character values associated with the SLCE sequences can be expressed in terms of a certain type of Jacobi sum. By making use of known evaluations of Gauss and Jacobi sums in the "pure" and "small index" cases, we are able to obtain new insight into the linear complexity of the SLCE sequences.
Convergence of graphs with intermediate density
Published
• View Publication
• BIB
We propose a notion of graph convergence that interpolates between the Benjamini--Schramm convergence of bounded degree graphs and the dense graph convergence developed by László Lovász and his coauthors. We prove that spectra of graphs, and also some important graph parameters such as numbers of colorings or matchings, behave well in convergent graph sequences. Special attention is given to graph sequences of large essential girth, for which asymptotics of coloring numbers are explicitly calculated. We also treat numbers of matchings in approximately regular graphs.
We introduce tentative limit objects that we call graphonings because they are common generalizations of graphons and graphings. Special forms of these, called Hausdorff and Euclidean graphonings, involve geometric measure theory. We construct Euclidean graphonings that provide limits of hypercubes and of finite projective planes, and, more generally, of a wide class of regular sequences of large essential girth. For any convergent sequence of large essential girth, we construct weaker limit objects: an involution invariant probability measure on the sub-Markov space of consistent measure sequences (this is unique), or an acyclic reversible sub-Markov kernel on a probability space (non-unique). We also pose some open problems.
Cluster automorphisms and the marked exchange graphs of skew-symmetrizable cluster algebras
Published in Electron. J. Comb. 23:4 (2016) Paper #P4.41
• View Publication
• BIB
Cluster automorphisms have been shown to have links to the mapping class groups of surfaces, maximal green sequences and to exchange graph automorphisms for skew-symmetric cluster algebras. In this paper we aim to generalise these results to the skew-symmetrizable case by introducing a marking on the exchange graph. Many skew-symmetrizable matrices unfold to skew-symmetric matrices and we consider how cluster automorphisms behave under this unfolding with applications to coverings of orbifolds by surfaces.
Equiangular tight frames from hyperovals
Published
• View Publication
• BIB
An equiangular tight frame (ETF) is a set of equal norm vectors in a Euclidean space whose coherence is as small as possible, equaling the Welch bound. Also known as Welch-bound-equality sequences, such frames arise in various applications, such as waveform design, quantum information theory, compressed sensing and algebraic coding theory. ETFs seem to be rare, and only a few methods of constructing them are known. In this paper, we present a new infinite family of complex ETFs that arises from hyperovals in finite projective planes. In particular, we give the first ever construction of a complex ETF of 76 vectors in a space of dimension 19. Recently, a computer-assisted approach was used to show that real ETFs of this size do not exist, resolving a longstanding open problem in this field. Our construction is a modification of a previously known technique for constructing ETFs from balanced incomplete block designs.
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.