sequence
6845 papers tagged with this keyword
Optimal couplings between sparse block models
Published
• View Publication
• BIB
We study the problem of coupling a stochastic block model with a planted bisection to a uniform random graph having the same average degree. Focusing on the regime where the average degree is a constant relative to the number of vertices $n$, we show that the distance to which the models can be coupled undergoes a phase transition from $O(\sqrt{n})$ to $Ω(n)$ as the planted bisection in the block model varies. This settles half of a conjecture of Bollobás and Riordan and has some implications for sparse graph limit theory. In particular, for certain ranges of parameters, a block model and the corresponding uniform model produce samples which must converge to the same limit point. This implies that any notion of convergence for sequences of graphs with $Θ(n)$ edges which allows for samples from a limit object to converge back to the limit itself must identify these models.
Almost square permutations are typically square
Published in Ann. Inst. H. Poincaré Probab. Statist. 57(4): 1834-1856 (November 2021)
• View Publication
• BIB
A record in a permutation is a maximum or a minimum, from the left or from the right. The entries of a permutation can be partitioned into two types: the ones that are records are called external points, the others are called internal points. Permutations without internal points have been studied under the name of square permutations. Here, we explore permutations with a fixed number of internals points, called almost square permutations. Unlike with square permutations, a precise enumeration for the total number of almost square permutations of size $n+k$ with exactly $k$ internal points is not known. However, using a probabilistic approach, we are able to determine the asymptotic enumeration. This allows us to describe the permuton limit of almost square permutations with $k$ internal points, both when $k$ is fixed and when $k$ tends to infinity along a negligible sequence with respect to the size of the permutation. Finally, we show that our techniques are quite general by studying the set of $321$-avoiding permutations of size $n$ with exactly $k$ additional internal points ($k$ fixed). In this case we obtain an interesting asymptotic enumeration in terms of the Brownian excursion area. As a consequence, we show that the points of a uniform permutation in this set concentrate on the diagonal and the fluctuations of these points converge in distribution to a biased Brownian excursion.
Edge crossings in random linear arrangements
Published in J. Stat. Mech. (2020) 023403
• View Publication
• BIB
In spatial networks vertices are arranged in some space and edges may cross. When arranging vertices in a 1-dimensional lattice edges may cross when drawn above the vertex sequence as it happens in linguistic and biological networks. Here we investigate the general of problem of the distribution of edge crossings in random arrangements of the vertices. We generalize the existing formula for the expectation of this number in random linear arrangements of trees to any network and derive an expression for the variance of the number of crossings in an arbitrary layout relying on a novel characterization of the algebraic structure of that variance in an arbitrary space. We provide compact formulae for the expectation and the variance in complete graphs, complete bipartite graphs, cycle graphs, one-regular graphs and various kinds of trees (star trees, quasi-star trees and linear trees). In these networks, the scaling of expectation and variance as a function of network size is asymptotically power-law-like in random linear arrangements. Our work paves the way for further research and applications in 1-dimension or investigating the distribution of the number of crossings in lattices of higher dimension or other embeddings.
Generalizing Galvin and Jónsson's Classification to N5
Published in Algebra Universalis 81(3), 30pp (2020)
• View Publication
• BIB
The problem of determining (up to lattice isomorphism) which lattices are sublattices of free lattices is in general an extremely difficult and an unsolved problem. A notable result towards solving this problem was established by Galvin and Jónsson when they classified (up to lattice isomorphism) all of the distributive sublattices of free lattices in 1959. In this paper, we weaken the requirement that of a free lattice be distributive to requiring that such a lattice belongs in the variety of lattices generated by the pentagon N5. Specifically, we use McKenzie's list of join-irreducible covers of the variety generated by N5 to extend Galvin and Jónsson's results by proving that all sublattices of a free lattice that belong to the variety generated by N5 satisfy three structural properties. Afterwards, we explain how the results in this paper can be partially extended to lattices from seven known infinite sequences of semidistributive lattice varieties.
A pair degree condition for Hamiltonian cycles in $3$-uniform hypergraphs
We prove a new sufficient pair degree condition for tight Hamiltonian cycles in $3$-uniform hypergraphs that (asymptotically) improves the best known pair degree condition due to Rödl, Ruciński, and Szemerédi. For graphs, Chvátal characterised all those sequences of integers for which every pointwise larger (or equal) degree sequence guarantees the existence of a Hamiltonian cycle. A step towards Chvátal's theorem was taken by Pósa, who improved on Dirac's tight minimum degree condition for Hamiltonian cycles by showing that a certain weaker condition on the degree sequence of a graph already yields a Hamiltonian cycle. In this work, we take a similar step towards a full characterisation of all pair degree matrices that ensure the existence of tight Hamiltonian cycles in $3$-uniform hypergraphs by proving a $3$-uniform analogue of Pósa's result. In particular, our result strengthens the asymptotic version of the result by Rödl, Ruciński, and Szemerédi.
Enumerating extensions of mutually orthogonal Latin squares
Published
• View Publication
• BIB
Two $n \times n$ Latin squares $L_1, L_2$ are said to be orthogonal if, for every ordered pair $(x,y)$ of symbols, there are coordinates $(i,j)$ such that $L_1(i,j) = x$ and $L_2(i,j) = y$. A $k$-MOLS is a sequence of $k$ pairwise-orthogonal Latin squares, and the existence and enumeration of these objects has attracted a great deal of attention.
Recent work of Keevash and Luria provides, for all fixed $k$, log-asymptotically tight bounds on the number of $k$-MOLS. To study the situation when $k$ grows with $n$, we bound the number of ways a $k$-MOLS can be extended to a $(k+1)$-MOLS. These bounds are again tight for constant $k$, and allow us to deduce upper bounds on the total number of $k$-MOLS for all $k$. These bounds are close to tight even for $k$ linear in $n$, and readily generalize to the broader class of gerechte designs, which include Sudoku squares.
Eulerian circuits and path decompositions in quartic planar graphs
A subcycle of an Eulerian circuit is a sequence of edges that are consecutive in the circuit and form a cycle. We characterise the quartic planar graphs that admit Eulerian circuits avoiding 3-cycles and 4-cycles. From this, it follows that a quartic planar graph of order $n$ can be decomposed into $k_1+k_2+k_3+k_4$ many paths with $k_i$ copies of $P_{i+1}$, the path with $i$ edges, if and only if $k_1+2k_2+3k_3+4k_4 = 2n$. In particular, every connected quartic planar graph of even order admits a $P_5$-decomposition.
On a Tauberian Theorem of Ingham and Euler-Maclaurin Summation
Published
• View Publication
• BIB
We discuss two theorems in analytic number theory and combinatory analysis that have seen increased use in recent years. A corollary to a Tauberian theorem of Ingham allows one to quickly prove asymptotic formulas for arithmetic sequences, so long as the corresponding generating function exhibits exponential growth of a certain form near its radius of convergence. Two common methods for proving the required analytic behavior are modular transformations and Euler-Maclaurin summation.
However, these results are sometimes stated without certain technical conditions that are necessary for the complex analytic techniques that appear in Ingham's proof. We carefully examine the precise statements and proofs of these results, and find that in practice, the technical conditions are satisfied for those cases appearing in recent applications. We also generalize the classical approach of Euler-Maclaurin summation in order to prove asymptotic expansions for series with complex values, simple poles, or multi-dimensional summation indices.
The feasible region for consecutive patterns of permutations is a cycle polytope
Published in Algebr. Comb. 3 (2020), no. 6, 1259-1281
• View Publication
• BIB
We study proportions of consecutive occurrences of permutations of a given size. Specifically, the limit of such proportions on large permutations forms a region, called \emph{feasible region}. We show that this feasible region is a polytope, more precisely the cycle polytope of a specific graph called \emph{overlap graph}. This allows us to compute the dimension, vertices and faces of the polytope, and to determine the equations that define it. Finally we prove that the limit of classical occurrences and consecutive occurrences are in some sense independent. As a consequence, the scaling limit of a sequence of permutations induces no constraints on the local limit and vice versa.
Applications of derivative and difference operators on some sequences
Published
• View Publication
• BIB
In this study, depending on the upper and the lower indices of the hyperharmonic number $h_{n}^{(r)}$, nonlinear recurrence relations are obtained. It is shown that generalized harmonic number and hyperharmonic number can be obtained from derivatives of the binomial coefficients. Taking into account of difference and derivative operators, several identities of the harmonic and hyperharmonic numbers are given. Negative-ordered hyperharmonic number is defined and its alternative representations are given.
Generalized Catalan recurrences, Riordan arrays, elliptic curves, and orthogonal polynomials
We show that the Catalan-Schroeder convolution recurrences and their higher order generalizations can be solved using Riordan arrays and the Catalan numbers. We investigate the Hankel transforms of many of the recurrence solutions, and indicate that Somos $4$ sequences often arise. We exhibit relations between recurrences, Riordan arrays, elliptic curves and Somos $4$ sequences. We furthermore indicate how one can associate a family of orthogonal polynomials to a point on an elliptic curve, whose moments are related to recurrence solutions.
A deterministic theory of low rank matrix completion
Published
• View Publication
• BIB
The problem of completing a large low rank matrix using a subset of revealed entries has received much attention in the last ten years. The main result of this paper gives a necessary and sufficient condition, stated in the language of graph limit theory, for a sequence of matrix completion problems with arbitrary missing patterns to be asymptotically solvable. It is then shown that a small modification of the Candès-Recht nuclear norm minimization algorithm provides the required asymptotic solution whenever the sequence of problems is asymptotically solvable. The theory is fully deterministic, with no assumption of randomness. A number of open questions are listed.
The energy-spectrum of bicompatible sequences
Published
• View Publication
• BIB
Background: Genotype-phenotype maps provide a meaningful filtration of sequence space and RNA secondary structures are particular such phenotypes. Compatible sequences i.e.~sequences that satisfy the base pairing constraints of a given RNA structure play an important role in the context of neutral networks and inverse folding. Sequences satisfying the constraints of two structures simultaneously are called bicompatible and phenotypic change, induced by erroneously replicating populations of RNA sequences, is closely connected to bicompatibility. Furthermore, bicompatible sequences are relevant for riboswitch sequences, beacons of evolution, realizing two distinct phenotypes.
Results: We present a full loop energy model Boltzmann sampler of bicompatible sequences for pairs of structures. The novel dynamic programming algorithm is based on a topological framework encapsulating the relations between loops. We utilize our sequence sampler to study the energy spectra and density of bicompatible sequences, the rankings of the structures and key properties for evolutionary transitions.
Conclusion: Our analysis of riboswitch sequences shows that key properties of bicompatible sequences depend on the particular pair of structures. While there always exist bicompatible sequences for random structure pairs, they are less suited to facilitate transitions. We show that native riboswitch sequences exhibit a distinct signature with regards to the ranking of their two phenotypes relative to the minimum free energy, suggesting a new criterion for identifying native sequences and sequences subjected to evolutionary pressure.
On the Parameterized Complexity of Reconfiguration of Connected Dominating Sets
Published
• View Publication
• BIB
In a reconfiguration version of an optimization problem $\mathcal{Q}$ the input is an instance of $\mathcal{Q}$ and two feasible solutions $S$ and $T$. The objective is to determine whether there exists a step-by-step transformation between $S$ and $T$ such that all intermediate steps also constitute feasible solutions. In this work, we study the parameterized complexity of the \textsc{Connected Dominating Set Reconfiguration} problem (\textsc{CDS-R)}. It was shown in previous work that the \textsc{Dominating Set Reconfiguration} problem (\textsc{DS-R}) parameterized by $k$, the maximum allowed size of a dominating set in a reconfiguration sequence, is fixed-parameter tractable on all graphs that exclude a biclique $K_{d,d}$ as a subgraph, for some constant $d \geq 1$. We show that the additional connectivity constraint makes the problem much harder, namely, that \textsc{CDS-R} is \textsf{W}$[1]$-hard parameterized by $k+\ell$, the maximum allowed size of a dominating set plus the length of the reconfiguration sequence, already on $5$-degenerate graphs. On the positive side, we show that \textsc{CDS-R} parameterized by $k$ is fixed-parameter tractable, and in fact admits a polynomial kernel on planar graphs.
Note on partitions into polynomials with number of parts in an arithmetic progression
Published
• View Publication
• BIB
Let $f: \mathbb{Z}_+\rightarrow \mathbb{Z}_+$ be a polynomial with the property that corresponding to every prime $p$ there exists an integer $\ell$ such that $p\nmid f(\ell)$. In this paper, we establish some equidistributed results between the number of partitions of an integer $n$ whose parts are taken from the sequence $\{f(\ell)\}_{\ell=1}^{\infty}$ and the number of parts of those partitions which are in a certain arithmetic progression.
Morphic words, Beatty sequences and integer images of the Fibonacci language
Published
• View Publication
• BIB
Morphic words are letter-to-letter images of fixed points $x$ of morphisms on finite alphabets. There are situations where these letter-to-letter maps do not occur naturally, but have to be replaced by a morphism. We call this a decoration of $x$. Theoretically, decorations of morphic words are again morphic words, but in several problems the idea of decorating the fixed point of a morphism is useful. We present two of such problems. The first considers the so called $AA$ sequences, where $α$ is a quadratic irrational, $A$ is the Beatty sequence defined by $A(n)=\lfloor αn\rfloor$, and $AA$ is the sequence $(A(A(n)))$. The second example considers homomorphic embeddings of the Fibonacci language into the integers, which turns out to lead to generalized Beatty sequences with terms of the form $V(n)=p\lfloor αn\rfloor+qn+r$, where $p,q$ and $r$ are integers.
Determining monotonic step-equal sequences of any limited length in the Collatz problem
This paper proposes a formula expression for the well-known Collatz conjecture (or 3x+1 problem), which can pinpoint all the growth points in the orbits of the Collatz map for any natural numbers. The Collatz map $Col: \mathcal{N}+1 \rightarrow \mathcal{N}+1$ on the positive integers is defined as $x_{n+1}=Col(x_n)=(3 x_n +1)/2^{m_n}$ where $x_{n+1}$ is always odd and $m_n$ is the step size required to eliminate any possible even values. The Collatz orbit for any positive integer, $x_1$, is expressed by a sequence, $<x_1$; $x_2\doteq Col(x_1)$; $\cdots$ $x_{n+1}\doteq Col(x_n)$; $\cdots>$ and $x_n$ is defined as a growth point if $Col(x_n)>x_n$ holds, and we show that every growth point is in a format of ``$4y+3$'' where $y$ is any natural number. Moreover, we derive that, for any given positive integer $n$, there always exists a natural number, $x_1$, that starts a monotonic increasing or decreasing Collatz sequence of length $n$ with the same step size. For any given positive integer $n$, a class of orbits that share the same orbit rhythm of length $n$ can also be determined.
Quasi-Regular Sequences
Let $Σ$ be a countable alphabet. For $r\geq 1$, an infinite sequence $s$ with characters from $Σ$ is called $r$-quasi-regular, if for each $σ\inΣ$ the ratio of the longest to shortest interval between consecutive occurrences of $σ$ in $s$ is bounded by $r$. In this paper, we answer a question asked by Kempe, Schulman, and Tamuz, and prove that for any probability distribution $\mathbf{p}$ on a finite alphabet $Σ$, there exists a $2$-quasi-regular infinite sequence with characters from $Σ$ and density of characters equal to $\mathbf{p}$. We also prove that as $\left\lVert\mathbf{p}\right\rVert_\infty$ tends to zero, the infimum of $r$ for which $r$-quasi-regular sequences with density $\mathbf{p}$ exist, tends to one. This result has a corollary in the Pinwheel Problem: as the smallest integer in the vector tends to infinity, the density threshold for Pinwheel schedulability tends to one.
A degree sequence version of the Kühn-Osthus tiling theorem
Published
• View Publication
• BIB
A fundamental result of Kühn and Osthus [The minimum degree threshold for perfect graph packings, Combinatorica, 2009] determines up to an additive constant the minimum degree threshold that forces a graph to contain a perfect H-tiling. We prove a degree sequence version of this result which allows for a significant number of vertices to have lower degree.
A Multi-Computational Exploration of Some Games of Pure Chance
Published
• View Publication
• BIB
In the spirit of "multi-culturalism", we use four kinds of computations: simulation, numeric, symbolic, and "conceptual" to explore some "games of pure chance" inspired by children board games like "Snakes and Ladders" (aka as "Chutes and Ladders") and "gambler's ruin with unlimited credit". Even more interesting than the many computer-generated actual results described in this paper and its web-site extension, is our broad-minded, ecunemical approach, not favoring, a priori, any one of the above four kinds of computation, but showing that, a posteriori, symbolic computation is the most important one, since (except for simulation, that is very inaccurate) numerics can be made more efficient with the help of symbolics (in the "downward" direction), and, (in the "upward" direction) the mere existence of certain symbolic-computational algorithms imply interesting "qualitative" results, that certain numbers are always rational, or always algebraic, and certain sequences are always polynomial, or C-recursive, or algebraic, or holonomic. This article is accompanied by four Maple packages, and numerous input and output files, that readers can use as templates for their own investigations.