arXiv++ Combinatorics

Browse math.CO papers from arXiv

sequence

7073 papers tagged with this keyword
Growth behaviour of periodic tame friezes
Published • View Publication • BIB
We examine the growth behaviour of the entries occurring in $n$-periodic tame friezes of real numbers. Extending \cite{T}, we prove that generalised recursive relations exist between all entries of such friezes. These recursions are parametrised by a sequence of so-called growth coefficients, which are shown to satisfy itself a recursive relation. Thus, all growth coefficients are determined by a \emph{principle growth coefficients}, which can be read off directly from the frieze. We place special emphasis on periodic tame friezes of positive integers, specifying the values the growth coefficients take for any such frieze. We establish that the growth coefficients of the pair of friezes arising from a triangulation of an annulus coincide. The entries of both are shown to grow asymptotically exponentially, while triangulations of a punctured disc are seen to provide the only friezes of linear growth.
Short note on the number of 1-ascents in dispersed dyck paths
Published • View Publication • BIB
A dispersed Dyck path (DDP) of length n is a lattice path on $N\times N$ from (0,0) to (n,0) in which the following steps are allowed: "up" (x, y) $\to$ (x+1, y+1); "down" (x, y) $\to$ (x+1, y-1); and "right" (x,0) $\to$ (x+1,0). An ascent in a DDP is an inclusion-wise maximal sequence of consecutive up steps. A 1-ascent is an ascent consisting of exactly 1 up step. We give a closed formula for the total number of 1-ascents in all dispersed Dyck paths of length n, A191386 in Sloane's OEIS. Previously, only implicit generating function relations and asymptotics were known.
2016-03-04
Web matrices: structural properties and generating combinatorial identities
Published in Electron. J. Combin. 23 (2016), no. 1, #P1.45 • View Publication • BIB
In this paper we present new results for the combinatorics of web diagrams and web worlds. These are discrete objects that arise in the physics of calculating scattering amplitudes in non-abelian gauge theories. Web-colouring and web-mixing matrices (collectively known as web matrices) are indexed by ordered pairs of web-diagrams and contain information relating the number of colourings of the first web diagram that will produce the second diagram. We introduce the black diamond product on power series and show how it determines the web-colouring matrix of disjoint web worlds. Furthermore, we show that combining known physical results with the black diamond product gives a new technique for generating combinatorial identities. Due to the complicated action of the product on power series, the resulting identities appear highly non-trivial. We present two results to explain repeated entries that appear in the web matrices. The first of these shows how diagonal web matrix entries will be the same if the comparability graphs of their associated decomposition posets are the same. The second result concerns general repeated entries in conjunction with a flipping operation on web diagrams. We present a combinatorial proof of idempotency of the web-mixing matrices, previously established using physical arguments only. We also show how the entries of the square of the web-colouring matrix can be achieved by a linear transformation that maps the standard basis for formal power series in one variable to a sequence of polynomials. We look at one parameterized web world that is related to indecomposable permutations and show how determining the web-colouring matrix entries in this case is equivalent to a combinatorics on words problem.
2016-03-04
Dichotomic random number generators
We introduce several classes of pseudorandom sequences which represent a natural extension of classical methods in random number generation. The sequences are obtained from constructions on labeled binary trees, generalizing the well-known Stern-Brocot tree.
2016-03-03 v2
A spectral sequence for stratified spaces and configuration spaces of points
Published in Geom. Topol. 21 (2017) 2527-2555 • View Publication • BIB
We construct a spectral sequence associated to a stratified space, which computes the compactly supported cohomology groups of an open stratum in terms of the compactly supported cohomology groups of closed strata and the reduced cohomology groups of the poset of strata. Several familiar spectral sequences arise as special cases. The construction is sheaf-theoretic and works both for topological spaces and for the étale cohomology of algebraic varieties. As an application we prove a very general representation stability theorem for configuration spaces of points.
2016-03-03
Permutation polynomials of the form x+c*Tr(x^k)
Published • View Publication • BIB
Let F_{q^n} be the field of order q^n, and let Tr be the trace map from F_{q^n} to its q-element subfield. We exhibit nine sequences of polynomials of the form f(x):=x+c*Tr(x^k), with c in F_{q^n}, such that for each polynomial the function F_{q^n}-->F_{q^n} given by c-->f(c) is a permutation of F_{q^n}. We also computed all permutation polynomials of this form over finite fields of size less than 5000, and found that our examples comprise all examples with n>1 except for some simple cases where the polynomial induces a homomorphism of the additive group of F_{q^n}, along with a few sporadic examples. One intriguing feature is that our proofs of the different sequences use various different methods, including a new variant of Dobbertin's method among others.
2016-03-03 v4
Generating asymptotics for factorially divergent sequences
Published in Electronic Journal of Combinatorics, Volume 25, Issue 4, October 2018, P4.1 • View Publication • BIB
The algebraic properties of formal power series, whose coefficients show factorial growth and admit a certain well-behaved asymptotic expansion, are discussed. It is shown that these series form a subring of $\mathbb{R}[[x]]$. This subring is also closed under composition and inversion of power series. An 'asymptotic derivation' is defined which maps a power series to the asymptotic expansion of its coefficients. Product and chain rules for this derivation are deduced. With these rules asymptotic expansions of the coefficients of implicitly defined power series can be obtained. The full asymptotic expansions of the number of connected chord diagrams and the number of simple permutations are given as examples.
2016-03-02 v2
Asymptotic joint distribution of the extremities of a random Young diagram and enumeration of graphical partitions
Published • View Publication • BIB
An integer partition of $n$ is a decreasing sequence of positive integers that add up to $[n]$. Back in $1979$ Macdonald posed a question about the limit value of the probability that two partitions chosen uniformly at random, and independently of each other, are comparable in terms of the dominance order. In $1982$ Wilf conjectured that the uniformly random partition is a size-ordered degree sequence of a simple graph with the limit probability $0$. In $1997$ we showed that in both, seemingly unrelated, cases the limit probabilities are indeed zero, but our method left open the problem of convergence rates. The main result in this paper is that each of the probabilities is $e^{-0.11\log n/\log\log n}$, at most. A key element of the argument is a local limit theorem, with convergence rate, for the joint distribution of the $[n^{1/4-\varepsilon}]$ tallest columns and the $[n^{1/4-\varepsilon}]$ longest rows of the Young diagram representing the random partition.
2016-02-29 v2
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.
2016-02-29 v3
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.
2016-02-29 v4
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.
2016-02-29 v2
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].
2016-02-25
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.
2016-02-23 v2
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.
2016-02-22
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.
2016-02-18
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.
2016-02-18 v5
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.
2016-02-17 v2
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.
2016-02-17 v2
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.