sequence
6976 papers tagged with this keyword
Asymptotics of multivariate sequences in the presence of a lacuna
We explain a discontinuous drop in the exponential growth rate for certain multivariate generating functions at a critical parameter value, in even dimensions d at least 4. This result depends on computations in the homology of the algebraic variety where the generating function has a pole. These computations are similar to, and inspired by, a thread of research in applications of complex algebraic geometry to hyperbolic PDEs, going back to Leray, Petrowski, Atiyah, Bott and Garding. As a consequence, we give a topological explanation for certain asymptotic phenomenon appearing in the combinatorics and number theory literature. Furthermore, we show how to combine topological methods with symbolic algebraic computation to determine explicitly the dominant asymptotics for such multivariate generating functions, giving a significant new tool to attack the so-called connection problem for asymptotics of P-recursive sequences. This in turn enables the rigorous determination of integer coefficients in the Morse-Smale complex, which are difficult to determine using direct geometric methods.
Effective Coefficient Asymptotics of Multivariate Rational Functions via Semi-Numerical Algorithms for Polynomial Systems
Published in Journal of Symbolic Computation 103 (2021), 234--279
• View Publication
• BIB
The coefficient sequences of multivariate rational functions appear in many areas of combinatorics. Their diagonal coefficient sequences enjoy nice arithmetic and asymptotic properties, and the field of analytic combinatorics in several variables (ACSV) makes it possible to compute asymptotic expansions. We consider these methods from the point of view of effectivity. In particular, given a rational function, ACSV requires one to determine a (generically) finite collection of points that are called critical and minimal. Criticality is an algebraic condition, meaning it is well treated by classical methods in computer algebra, while minimality is a semi-algebraic condition describing points on the boundary of the domain of convergence of a multivariate power series. We show how to obtain dominant asymptotics for the diagonal coefficient sequence of multivariate rational functions under some genericity assumptions using symbolic-numeric techniques. To our knowledge, this is the first completely automatic treatment and complexity analysis for the asymptotic enumeration of rational functions in an arbitrary number of variables.
Fast uniform generation of random graphs with given degree sequences
In this paper we provide an algorithm that generates a graph with given degree sequence uniformly at random. Provided that $Δ^4=O(m)$, where $Δ$ is the maximal degree and $m$ is the number of edges,the algorithm runs in expected time $O(m)$. Our algorithm significantly improves the previously most efficient uniform sampler, which runs in expected time $O(m^2Δ^2)$ for the same family of degree sequences. Our method uses a novel ingredient which progressively relaxes restrictions on an object being generated uniformly at random, and we use this to give fast algorithms for uniform sampling of graphs with other degree sequences as well. Using the same method, we also obtain algorithms with expected run time which is (i) linear for power-law degree sequences in cases where the previous best was $O(n^{4.081})$, and (ii) $O(nd+d^4)$ for $d$-regular graphs when $d=o(\sqrt n)$, where the previous best was $O(nd^3)$.
Typical Sequences Revisited --- Computing Width Parameters of Graphs
In this work, we give a structural lemma on merges of typical sequences, a notion that was introduced in 1991 [Lagergren and Arnborg, Bodlaender and Kloks, both ICALP 1991] to obtain constructive linear time parameterized algorithms for treewidth and pathwidth. The lemma addresses a runtime bottleneck in those algorithms but so far it does not lead to asymptotically faster algorithms. However, we apply the lemma to show that the cutwidth and the modified cutwidth of series parallel digraphs can be computed in $\mathcal{O}(n^2)$ time.
Switches in Eulerian graphs
We show that the graph transformation problem of turning a simple graph into an Eulerian one by a minimum number of single edge switches is NP-hard. Further, we show that any simple Eulerian graph can be transformed into any other such graph by a sequence of 2-switches (i.e., exchange of two edge pairs), such that every intermediate graph is also Eulerian. However, finding the shortest such sequence also turns out to be an NP-hard problem.
Algorithmic classification of noncorrelated binary pattern sequences
We show that it is possible to algorithmically verify if a given pattern sequence is noncorrelated. As an application, we compute that there are exactly $2272$ noncorrelated binary pattern sequences of length $\leq 4$. If we restrict our attention to patterns that do not end with $\mathtt{0}$, we put forward a sufficient condition for a pattern sequence to be noncorrelated. We conjecture that this condition is also necessary, and verify this conjecture for lengths $\leq 5$.
Generalised polynomials and integer powers
Published
• View Publication
• BIB
We show that there does not exist a generalised polynomial which vanishes precisely on the set of powers of two. In fact, if $k \geq 2$ is and integer and $g \colon \mathbb{N} \to \mathbb{R}$ is a generalised polynomial such that $g(k^n) = 0$ for all $n \geq 0$ then there exists infinitely many $m \in \mathbb{N}$, not divisible by $k$, such that $g(mk^n) = 0$ for some $n \geq 0$. As a consequence, we obtain a complete characterisation of sequences which are simultaneously automatic and generalised polynomial.
On the Erd{\H o}s--Hajnal problem in the case of 3-graphs
Let $m(n,r)$ denote the minimal number of edges in an $n$-uniform hypergraph which is not $r$-colorable. For the broad history of the problem see [RaiSh]. It is known that for a fixed $n$ the sequence \[ \frac{m(n,r)}{r^n} \] has a limit.
The only trivial case is $n=2$ in which $m(2,r) = \binom{r+1}{2}$. In this note we focus on the case $n=3$. First, we compare the existing methods in this case and then improve the lower bound.
Sequences with almost Poissonian Pair Correlations
Although a generic uniformly distributed sequence has Poissonian pair correlations, only one explicit example has been found up to now. Additionally, it is even known that many classes of uniformly distributed sequences, like van der Corput sequences, Kronecker sequences and LS sequences, do not have Poissonian pair correlations. In this paper, we show that van der Corput sequences and the Kronecker sequence for the golden mean are as close to having Poissonian pair correlations as possible: they both have $α$-pair correlations for all $0 < α< 1$ but not for $α= 1$ which corresponds to Poissonian pair correlations.
Well-quasi-order of plane minors and an application to link diagrams
A plane graph $H$ is a {\em plane minor} of a plane graph $G$ if there is a sequence of vertex and edge deletions, and edge contractions performed on the plane, that takes $G$ to $H$. Motivated by knot theory problems, it has been asked if the plane minor relation is a well-quasi-order. We settle this in the affirmative. We also prove an additional application to knot theory. If $L$ is a link and $D$ is a link diagram, write $D\leadsto L$ if there is a sequence of crossing exchanges and smoothings that takes $D$ to a diagram of $L$. We show that, for each fixed link $L$, there is a polynomial-time algorithm that takes as input a link diagram $D$ and answers whether or not $D\leadsto L$.
An infinite-dimensional version of Gowers' $\mathrm{FIN}_{\pm k}$ theorem
We prove an infinite-dimensional version of an approximate Ramsey theorem of Gowers, initially used to show that every Lipschitz function on the unit sphere of $c_0$ is oscillation stable. To do so, we use the theory of ultra-Ramsey spaces developed by Todorcevic in order to obtain an Ellentuck-type theorem for the space of all infinite block sequences in $\mathrm{FIN}_{\pm k}$.
Maximum $\mathcal H$-free subgraphs
Published
• View Publication
• BIB
Given a family of hypergraphs $\mathcal H$, let $f(m,\mathcal H)$ denote the largest size of an $\mathcal H$-free subgraph that one is guaranteed to find in every hypergraph with $m$ edges. This function was first introduced by Erdős and Komlós in 1969 in the context of union-free families, and various other special cases have been extensively studied since then. In an attempt to develop a general theory for these questions, we consider the following basic issue: which sequences of hypergraph families $\{\mathcal H_m\}$ have bounded $f(m,\mathcal H_m)$ as $m\to\infty$? A variety of bounds for $f(m,\mathcal H_m)$ are obtained which answer this question in some cases. Obtaining a complete description of sequences $\{\mathcal H_m\}$ for which $f(m,\mathcal H_m)$ is bounded seems hopeless.
Cycles of Sums of Integers
Published in The Fibonacci Quarterly, May 2020, vol. 58 no. 2, 126-139
• View Publication
• BIB
We study the period of the linear map $T:\mathbb{Z}_m^n\rightarrow \mathbb{Z}_m^n:(a_0,\dots,a_{n-1})\mapsto(a_0+a_1,\dots,a_{n-1}+a_0)$ as a function of $m$ and $n$, where $\mathbb{Z}_m$ stands for the ring of integers modulo $m$. Since this map is a variant of the Ducci sequence, several known results are adapted in the context of $T$. The main theorem of this paper states that the period modulo $m$ can be deduced from the prime factorization of $m$ and the periods of its prime factors. We also characterize the tuples that belong to a cycle when $m$ is prime.
Preservation of normality by non-oblivious group selection
We give two different proofs of the fact that non-oblivious selection via regular group sets preserves normality. Non-oblivious here means that whether or not a symbol is selected can depend on the symbol itself. One proof relies on the incompressibility of normal sequences, the other on the use of augmented dynamical systems.
Some enumerative properties of a class of Fibonacci-like cubes
A filter lattice is a distributive lattice formed by all filters of a poset in the anti-inclusion order. We study the combinatorial properties of the Hasse diagrams of filter lattices of certain posets, so called Fibonacci-like cubes, in this paper. Several enumerative polynomials, e.g.\ rank generating function, cube polynomials and degree sequence polynomials are obtained. Some of these results relate to Fibonacci sequence and Padovan sequence.
An algorithmic search for $\mathcal{A}$-annihilated classes in the Dyer-Lashof algebra and $H_*QS^0$ I. Closed form for low lengths and tables in low dimensions
The aim of this work is to publicise some computational results involving tables which contain $\mathcal{A}$-annihilated monomials, excluding square classes, in the Dyer-Lashof algebra and $H_*QS^0$; our computations go up to dimension $1.1\times 10^7$ but the tables in this paper only announce results up to dimension $2^{17}=131072$ and full tables would be available upon request. The theoretical background for our computations is provided by work of Curtis \cite{Curtis} and Wellington \cite{Wellington} on the $\mathcal{A}$-module structure of the Dyer-Lashof algebra as well as $H_*QS^0$. It seems to us that there is a workable algorithm to do these computations which we plan to announce in a future work, partly to avoid making this paper longer than it is. We hope to receive feedback from the experts on these computations and make our algorithm available as soon as we can. We hope that these tables provide a source for researchers in the field, as well as a pool of data to analyse the behaviour of these sequences, their distributions and other asymptotic behaviours. The problem of computing spherical classes in $H_*QS^0$ as well as the symmetric and non-symmetric hit problems have been our main motivations to pursue this project.
A note on Modified Third-order Jacobsthal numbers
Published in Proyecciones 39(2) (2020), 409--420
• View Publication
• BIB
Modified third-order Jacobsthal sequence is defined in this study. Some properties involving this sequence, including the Binet-style formula and the generating function are also presented.
Asymptotic normality of the major index on standard tableaux
We consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We use cumulants to classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary statistic, aft, generalizing earlier results of Canfield--Janson--Zeilberger, Chen--Wang--Wang, and others. These results can be interpreted as giving a very precise description of the distribution of irreducible representations in different degrees of coinvariant algebras of certain complex reflection groups. We conclude with some conjectures concerning unimodality, log-concavity, and local limit theorems.
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences
Published in IEEE Transactions on Information Theory, volume 66, issue 12 (2020) pages 7739-7751
• View Publication
• BIB
We present new constructions for perfect and odd perfect sequences over the quaternion group $Q_8$. In particular, we show for the first time that perfect and odd perfect quaternion sequences exist in all lengths $2^t$ for $t\geq0$. In doing so we disprove the quaternionic form of Mow's conjecture that the longest perfect $Q_8$-sequence that can be constructed from an orthogonal array construction is of length 64. Furthermore, we use a connection to combinatorial design theory to prove the existence of a new infinite class of Williamson sequences, showing that Williamson sequences of length $2^t n$ exist for all $t\geq0$ when Williamson sequences of odd length $n$ exist. Our constructions explain the abundance of Williamson sequences in lengths that are multiples of a large power of two.
Interpolation sets and nilsequences
To give positive answer to a question of Frantzikinakis, we study a class of subsets of $\mathbb{N}$, called interpolation sets, on which every bounded sequence can be extended to an almost periodic sequence on $\mathbb{N}$. Strzelecki has proved that lacunary sets are interpolation sets. We prove that sets that are denser than all lacunary sets cannot be interpolation sets. We also extend the notion of interpolation sets to nilsequences and show that the analogue to Frantzikinakis' question for arbitrary sequences is false.