sequence
7073 papers tagged with this keyword
The number of Euler tours of a random directed graph
Published
• View Publication
• BIB
In this paper we obtain the expectation and variance of the number of Euler tours of a random Eulerian directed graph with fixed out-degree sequence. We use this to obtain the asymptotic distribution of the number of Euler tours of a random $d$-in/$d$-out graph and prove a concentration result. We are then able to show that a very simple approach for uniform sampling or approximately counting Euler tours yields algorithms running in expected polynomial time for almost every $d$-in/$d$-out graph. We make use of the BEST theorem of de Bruijn, van Aardenne-Ehrenfest, Smith and Tutte, which shows that the number of Euler tours of an Eulerian directed graph with out-degree sequence $\mathbf{d}$ is the product of the number of arborescences and the term $\frac{1}{n}[\prod_{v \in V}(d_v-1)!]$. Therefore most of our effort is towards estimating the moments of the number of arborescences of a random graph with fixed out-degree sequence.
Nonrepetitive Colourings of Planar Graphs with $O(\log n)$ Colours
Published in Electronic Journal of Combinatorics, 20/1:P51, 2013
• View Publication
• BIB
A vertex colouring of a graph is \emph{nonrepetitive} if there is no path for which the first half of the path is assigned the same sequence of colours as the second half. The \emph{nonrepetitive chromatic number} of a graph $G$ is the minimum integer $k$ such that $G$ has a nonrepetitive $k$-colouring. Whether planar graphs have bounded nonrepetitive chromatic number is one of the most important open problems in the field. Despite this, the best known upper bound is $O(\sqrt{n})$ for $n$-vertex planar graphs. We prove a $O(\log n)$ upper bound.
Compositions of n Satisfying Some Coprimality Conditions
Published
• View Publication
• BIB
A k-composition of n is a sequence of length k of positive integers summing up to n. In this paper, we investigate the number of k-compositions of n satisfying two natural coprimality conditions. Namely, we first give an exact asymptotic formula for the number of k-compositions having the first summand coprime to the others. Then, we estimate the number of k-compositions whose summands are all pairwise coprime.
Integer Subsets with High Volume and Low Perimeter
Published
• View Publication
• BIB
We consider a certain variation of the 'isoperimetric problem' adopted for subsets of nonnegative integers. More specifically, we explore the sequence P(n) as described in OEIS A186053. We provide the first exact formulas for P(n) including multiple recursive relations involving auxiliary functions as well as concise and satisfying representations and even quasi-explicit formulas. We also discuss some of the intricate fractal-like symmetry of the sequence as well as the development of algorithms for computing P(n). We conclude with open questions for further research.
Note this is a more developed, but more concise version of a previous arXiv paper arXiv:1107.2954 by the name "Sets with High Volume and Low Perimeter".
A probabilistic interpretation of a sequence related to Narayana polynomials
Published
• View Publication
• BIB
A sequence of coefficients appearing in a recurrence for the Narayana polynomials is generalized. The coefficients are given a probabilistic interpretation in terms of beta distributed random variables. The recurrence established by M. Lasalle is then obtained from a classical convolution identity. Some arithmetical properties of the generalized coefficients are also established.
Affine cartesian codes
Published in Designs, Codes and Cryptography, 71 (2014), no. 1, 5-19
• View Publication
• BIB
We compute the basic parameters (dimension, length, minimum distance) of affine evaluation codes defined on a cartesian product of finite sets. Given a sequence of positive integers, we construct an evaluation code, over a degenerate torus, with prescribed parameters. As an application of our results, we recover the formulas for the minimum distance of various families of evaluation codes.
A combinatorial approach for solving certain nested recursions with non-slow solutions
Published
• View Publication
• BIB
We define the generalized Golomb triangular recursion by g_{j,s,lambda}(n) = g_{j,s,lambda}(n - s - g_{j,s,lambda}(n-j)) + λj. For particular choices of the initial conditions, we show that the solution of the recursion is a non-slow monotone sequence for which we can provide a combinatorial interpretation in terms of a weighted count of the leaves of a certain labeled infinite tree. We discover that more than one such tree interpretation is possible, leading to different choices of the initial conditions and alternative solutions that are closely related. In the case lambda=1 the initial conditions for these alternative tree interpretations coincide and we derive explicit closed forms for the solution sequence and its frequency function.
Lacunary formal power series and the Stern-Brocot sequence
Published in Acta Arith. 159 (2013) 47--61
• View Publication
• BIB
Let $F(X) = \sum_{n \geq 0} (-1)^{\varepsilon_n} X^{-λ_n}$ be a real lacunary formal power series, where $\varepsilon_n = 0, 1$ and $λ_{n+1}/λ_n > 2$. It is known that the denominators $Q_n(X)$ of the convergents of its continued fraction expansion are polynomials with coefficients $0, \pm 1$, and that the number of nonzero terms in $Q_n(X)$ is the $n$th term of the Stern-Brocot sequence. We show that replacing the index $n$ by any 2-adic integer $ω$ makes sense. We prove that $Q_ω(X)$ is a polynomial if and only if $ω\in {\mathbb Z}$. In all the other cases $Q_ω(X)$ is an infinite formal power series, the algebraic properties of which we discuss in the special case $λ_n = 2^{n+1} - 1$.
Polynomial Triangles Revisited
A polynomial triangle is an array whose inputs are the coefficients in integral powers of a polynomial. Although polynomial coefficients have appeared in several works, there is no systematic treatise on this topic. In this paper we plan to fill this gap. We describe some aspects of these arrays, which generalize similar properties of the binomial coefficients. Some combinatorial models enumerated by polynomial coefficients, including lattice paths model, spin chain model and scores in a drawing game, are introduced. Several known binomial identities are then extended. In addition, we calculate recursively generating functions of column sequences. Interesting corollaries follow from these recurrence relations such as new formulae for the Fibonacci numbers and Hermite polynomials in terms of trinomial coefficients. Finally, properties of the entropy density function that characterizes polynomial coefficients in the thermodynamical limit are studied in details.
Nonconvexity of the set of hypergraph degree sequences
Published
• View Publication
• BIB
It is well known that the set of possible degree sequences for a graph on $n$ vertices is the intersection of a lattice and a convex polytope. We show that the set of possible degree sequences for a $k$-uniform hypergraph on $n$ vertices is not the intersection of a lattice and a convex polytope for $k \geq 3$ and $n \geq k+13$. We also show an analogous nonconvexity result for the set of degree sequences of $k$-partite $k$-uniform hypergraphs and the generalized notion of $λ$-balanced $k$-uniform hypergraphs.
Brownian approximation to counting graphs
Published
• View Publication
• BIB
Let C(n,k) denote the number of connected graphs with n labeled vertices and n+k-1 edges. For any sequence (k_n), the limit of C(n,k_n) as n tends to infinity is known. It has been observed that, if k_n=o(\sqrt{n}), this limit is asymptotically equal to the $k_n$th moment of the area under the standard Brownian excursion. These moments have been computed in the literature via independent methods. In this article we show why this is true for k_n=o(\sqrt[3]{n}) starting from an observation made by Joel Spencer. The elementary argument uses a result about strong embedding of the Uniform empirical process in the Brownian bridge proved by Komlos, Major, and Tusnady.
Strong Splitter Theorem
Published in Strong Splitter Theorem, Annals of Combinatorics, 18, 111 - 116 (2014)
• Search Publication
The Splitter Theorem states that, if $N$ is a 3-connected proper minor of a 3-connected matroid $M$ such that, if $N$ is a wheel or whirl then $M$ has no larger wheel or whirl, respectively, then there is a sequence $M_0,..., M_n$ of 3-connected matroids with $M_0\cong N$, $M_n=M$ and for $i\in \{1,..., n\}$, $M_i$ is a single-element extension or coextension of $M_{i-1}$. Observe that there is no condition on how many extensions may occur before a coextension must occur. In this paper, we give a strengthening of the Splitter Theorem, as a result of which we can obtain, up to isomorphism, $M$ starting with $N$ and at each step doing a 3-connected single-element extension or coextension, such that at most two consecutive single-element extensions occur in the sequence (unless the rank of the matroids involved are $r(M)$). Moreover, if two consecutive single-element extensions by elements $\{e, f\}$ are followed by a coextension by element $g$, then $\{e, f, g\}$ form a triad in the resulting matroid. Using the Strong Splitter Theorem, we make progress toward the problem of determining the almost-regular matroids [6, 15.9.8]. {\it Find all 3-connected non-regular matroids such that, for all $e$, either $M\backslash e$ or $M/e$ is regular.} In [4] we determined the binary almost-regular matroids with at least one regular element (an element such that both $M\backslash e$ and $M/e$ is regular) by characterizing the class of binary almost-regular matroids with no minor isomorphic to one particular matroid that we called $E_5$. As a consequence of the Strong Splitter Theorem we can determine the class of binary matroids with an $E_5$-minor, but no $E_4$-minor.
Automorphism Groups and Adversarial Vertex Deletions
Any finite group can be encoded as the automorphism group of an unlabeled simple graph. Recently Hartke, Kolb, Nishikawa, and Stolee (2010) demonstrated a construction that allows any ordered pair of finite groups to be represented as the automorphism group of a graph and a vertex-deleted subgraph. In this note, we describe a generalized scenario as a game between a player and an adversary: An adversary provides a list of finite groups and a number of rounds. The player constructs a graph with automorphism group isomorphic to the first group. In the following rounds, the adversary selects a group and the player deletes a vertex such that the automorphism group of the corresponding vertex-deleted subgraph is isomorphic to the selected group. We provide a construction that allows the player to appropriately respond to any sequence of challenges from the adversary.
Hypercube percolation
Published
• View Publication
• BIB
We study bond percolation on the Hamming hypercube {0,1}^m around the critical probability p_c. It is known that if p=p_c(1+O(2^{-m/3})), then with high probability the largest connected component C_1 is of size Theta(2^{2m/3}) and that this quantity is non-concentrated. Here we show that for any sequence eps_m such that eps_m=o(1) but eps_m >> 2^{-m/3} percolation on the hypercube at p_c(1+eps_m) has
|C_1| = (2+o(1)) eps_m 2^m and |C_2| = o(eps_m 2^m)
with high probability, where C_2 is the second largest component. This resolves a conjecture of Borgs, Chayes, the first author, Slade and Spencer [17].
Arithmetic Self-Similarity of Infinite Sequences
We define the arithmetic self-similarity (AS) of a one-sided infinite sequence sigma to be the set of arithmetic progressions through sigma which are a vertical shift of sigma. We study the AS of several famlies of sequences, viz. completely additive sequences, Toeplitz words and Keane's generalized Morse sequences. We give a complete characterization of the AS of completely additive sequences, and classify the set of single-gap Toeplitz patterns that yield completely additive Toeplitz words. We show that every arithmetic subsequence of a Toeplitz word generated by a one-gap pattern is again a Toeplitz word. Finally, we establish that generalized Morse sequences are specific sum-of-digits sequences, and show that their first difference is a Toeplitz word.
Benjamini-Schramm convergence and the distribution of chromatic roots for sparse graphs
We define the chromatic measure of a finite simple graph as the uniform distribution on its chromatic roots. We show that for a Benjamini-Schramm convergent sequence of finite graphs, the chromatic measures converge in holomorphic moments.
As a corollary, for a convergent sequence of finite graphs, we prove that the normalized log of the chromatic polynomial converges to an analytic function outside a bounded disc. This generalizes a recent result of Borgs, Chayes, Kahn and Lovász, who proved convergence at large enough positive integers and answers a question of Borgs.
Our methods also lead to explicit estimates on the number of proper colorings of graphs with large girth.
Semigroup Identities, Proofs, and Artificial Intelligence
Published
• View Publication
• BIB
It is known that if every group satisfying an identity of the form yx ~ xU(x,y)y is abelian, so is every semigroup that satisfies that identity. Because a group has an identity element and the cancellation property, it is easier to show that a group is abelian than that a semigroup is. If we know that it is, then there must be a sequence of substitutions using xU(x,y)y ~ yx that transforms xy to yx. We examine such sequences and propose finding them as a challenge to proof by computer.
Also, every model of y ~ xU(x,y)x is a group. This raises a similar challenge, which we explore in the special case y ~ x^my^px^n. In addition we determine the free model with two generators of some of these identities. In particular, we find that the free model for y ~ x^2yx^2 has order 32 and is the product of D4 (the symmetries of a square), C2, and C2, and point out relations between such identities and Burnside's Problem concerning models of x^n= e.
Subtraction games with FES sets of size 3
This paper extends the work done by Angela Siegel on subtraction games in which the subtraction set is N \ X for some finite set X. Siegel proves that for any finite set X, the G-sequence is ultimately arithmetic periodic, and that if |X| = 1 or 2, then it is purely arithmetic periodic. This note proves that if |X| = 3 then the G-sequence is purely arithmetic periodic. It is known that for |X| \geq 4 the sequence is not always purely arithmetic periodic.
Twisting q-holonomic sequences by complex roots of unity
Published
• View Publication
• BIB
A sequence $f_n(q)$ is $q$-holonomic if it satisfies a nontrivial linear recurrence with coefficients polynomials in $q$ and $q^n$. Our main theorems state that $q$-holonomicity is preserved under twisting, i.e., replacing $q$ by $ωq$ where $ω$ is a complex root of unity, and under the substitution $q \to q^α$ where $α$ is a rational number. Our proofs are constructive, work in the multivariate setting of $\partial$-finite sequences and are implemented in the Mathematica package HolonomicFunctions. Our results are illustrated by twisting natural $q$-holonomic sequences which appear in quantum topology, namely the colored Jones polynomial of pretzel knots and twist knots. The recurrence of the twisted colored Jones polynomial can be used to compute the asymptotics of the Kashaev invariant of a knot at an arbitrary complex root of unity.
Resolution of an integral equation with the Thue-Morse sequence
Published in Indagationes Mathematicae, 23 (2012) 4, 327--336
• View Publication
• BIB
It is a classical fact that the exponential function is solution of the integral equation $ \int_0^X f(x)dx + f(0) =f(X)$. If we slightly modify this equation to $ \int_0^X f(x)dx+f(0)=f(αX)$ with $α\in ]0,1[$, it seems that no classical techniques apply to yields solutions. In this article, we consider the parameter $α=1/2$. We will show the existence of a solution wich takes the values of the Thue-Morse sequence on the odd integers.