sequence
7073 papers tagged with this keyword
Few Sequence Pairs Suffice: Representing All Rectangle Placements
Published
• View Publication
• BIB
We consider representations of general non-overlapping placements of rectangles by spatial relations (west, south, east, north) of pairs of rectangles. We call a set of representations complete if it contains a representation of every placement of $n$ rectangles.
We prove a new upper bound of $\mathcal{O}(\frac{n!}{n^6} \cdot (\frac{11+5 \sqrt 5}{2})^n)$ and a new lower bound of $Ω(\frac{n!}{n^4} \cdot (4 + 2 \sqrt2)^n)$ on the minimum cardinality of complete sets of representations. A key concept in the proofs of these results are pattern-avoiding permutations.
The new upper bound directly improves upon the well-known sequence pair representation, which has size $(n!)^2$, by only considering a restricted set of sequence pairs. It implies theoretically faster algorithms for VLSI placement problems.
Parking cars of different sizes
Published in American Mathematical Monthly, vol 123, no. 10, December 2016, pp. 1045--1048
• View Publication
• BIB
We extend the notion of parking functions to parking sequences, which include cars of different sizes, and prove a product formula for the number of such sequences.
Erdős-Ginzburg-Ziv constants by avoiding three-term arithmetic progressions
Published
• View Publication
• BIB
For a finite abelian group $G$, the Erdős-Ginzburg-Ziv constant $\mathfrak{s}(G)$ is the smallest $s$ such that every sequence of $s$ (not necessarily distinct) elements of $G$ has a zero-sum subsequence of length $\operatorname{exp}(G)$. For a prime $p$, let $r(\mathbb{F}_p^n)$ denote the size of the largest subset of $\mathbb{F}_p^n$ without a three-term arithmetic progression. Although similar methods have been used to study $\mathfrak{s}(G)$ and $r(\mathbb{F}_p^n)$, no direct connection between these quantities has previously been established. We give an upper bound for $\mathfrak{s}(G)$ in terms of $r(\mathbb{F}_p^n)$ for the prime divisors $p$ of $\operatorname{exp}(G)$. For the special case $G=\mathbb{F}_p^n$, we prove $\mathfrak{s}(\mathbb{F}_p^n)\leq 2p\cdot r(\mathbb{F}_p^n)$. Using the upper bounds for $r(\mathbb{F}_p^n)$ of Ellenberg and Gijswijt, this result improves the previously best known upper bounds for $\mathfrak{s}(\mathbb{F}_p^n)$ given by Naslund.
On Quasi-Energy-Spectra, Pair Correlations of Sequences and Additive Combinatorics
Published
• View Publication
• BIB
The investigation of the pair correlation statistics of sequences was initially motivated by questions concerning quasi-energy-spectra of quantum systems. However, the subject has been developed far beyond its roots in mathematical physics, and many challenging number-theoretic questions on the distribution of the pair correlations of certain sequences are still open. We give a short introduction into the subject, recall some known results and open problems, and in particular explain the recently established connection between the distribution of pair correlations of sequences on the torus and certain concepts from additive combinatorics. Furthermore, we slightly improve a result recently given by Jean Bourgain.
Beyond Outerplanarity
Published
• View Publication
• BIB
We study straight-line drawings of graphs where the vertices are placed in convex position in the plane, i.e., \emph{convex drawings}. We consider two families of graph classes with convex drawings: \emph{outer $k$-planar} graphs, where each edge is crossed by at most $k$ other edges; and, \emph{outer $k$-quasi-planar} graphs where no $k$ edges can mutually cross.
We show that the outer $k$-planar graphs are $\lfloor3.5\sqrt{k}\rfloor$-degenerate, and consequently that every outer $k$-planar graph can be colored with $\lfloor3.5\sqrt{k}\rfloor + 1$ colors. We further show that every outer $k$-planar graph has a balanced vertex separator of size at most $2k+3$. For each fixed $k$, these small balanced separators allow us to test outer $k$-planarity in quasi-polynomial time, e.g., this implies that none of these recognition problems is NP-hard unless the Exponential Time Hypothesis fails. We also show that the class of outer $k$-quasi-planar graphs and the class of planar graphs are incomparable.
Finally, we restrict outer $k$-planar and outer $k$-quasi-planar drawings to \emph{full} drawings (where no crossing appears on the boundary of the outer face) and to \emph{closed} drawings (where the vertex sequence on the boundary of the outer face is a Hamiltonian cycle in the graph). For each $k$, we express \emph{closed outer $k$-planarity} and \emph{closed outer $k$-quasi-planarity} in \emph{extended monadic second-order logic}. Due to a result of Wood and Telle (New York J. Math., 2007) every outer $k$-planar graph has treewidth at most $3k+11$. Thus, Courcelle's theorem implies that closed outer $k$-planarity is linear time testable. We leverage this result to further show that full outer $k$-planarity can also be tested in linear time.
An algebraic Monte-Carlo algorithm for the Partition Adjacency Matrix realization problem
Published in Alg. Stat. 12 (2021) 115-124
• View Publication
• BIB
The graphical realization of a given degree sequence and given partition adjacency matrix simultaneously is a relevant problem in data driven modeling of networks. Here we formulate common generalizations of this problem and the Exact Matching Problem, and solve them with an algebraic Monte-Carlo algorithm that runs in polynomial time if the number of partition classes is bounded.
Covering arrays from maximal sequences over finite fields
Published
• View Publication
• BIB
The focus of this thesis is the study and construction of covering arrays, relying on maximal period sequences and other tools from finite fields. A covering array of strength $t$, denoted $\mathrm{CA}(N; t, k,v)$, is an $N\times k$ array with entries from an alphabet $A$ of size $v$, with the property that in the $N\times t$ subarray defined by any $t$ columns, each of the $v^t$ vectors in $A^t$ appears at least once as a row. Covering arrays generalize orthogonal arrays, which are classic combinatorial objects that have been studied extensively. Constructing covering arrays with a small row-to-column ratio is important in the design of statistical experiments, however it is also a challenging mathematical problem.
Linear feedback shift register (LFSR) sequences are sequences of elements from a finite field that satisfy a linear recurrence relation. It is well-known that these are periodic; LFSR sequences that attain the maximum possible period are maximal (period) sequences, often abbreviated to m-sequences in the literature. Arrays constructed from cyclic shifts of maximal sequences possess strong combinatorial properties and have been previously used to construct orthogonal and covering arrays (Moura et al., 2016), although only one of the known constructions is for covering arrays that are not orthogonal arrays (Raaphorst et al., 2014). In this thesis we present several new such constructions.
The cornerstone of our results is a study of the combinatorial properties of arrays constructed from maximal sequences, where we make fundamental connections with concepts from diverse areas of discrete mathematics, such as orthogonal arrays, error-correcting codes, divisibility of polynomials and structures of finite geometry.
One aspect of our work involves [..]
Exploring the tiers of rooted phylogenetic network space using tail moves
Published
• View Publication
• BIB
Popular methods for exploring the space of rooted phylogenetic trees use rearrangement moves such as rNNI (rooted Nearest Neighbour Interchange) and rSPR (rooted Subtree Prune and Regraft). Recently, these moves were generalized to rooted phylogenetic networks, which are a more suitable representation of reticulate evolutionary histories, and it was shown that any two rooted phylogenetic networks of the same complexity are connected by a sequence of either rSPR or rNNI moves. Here, we show that this is possible using only tail moves, which are a restricted version of rSPR moves on networks that are more closely related to rSPR moves on trees. The connectedness still holds even when we restrict to distance-1 tail moves (a localized version of tail-moves). Moreover, we give bounds on the number of (distance-1) tail moves necessary to turn one network into another, which in turn yield new bounds for rSPR, rNNI and SPR (i.e. the equivalent of rSPR on unrooted networks). The upper bounds are constructive, meaning that we can actually find a sequence with at most this length for any pair of networks. Finally, we show that finding a shortest sequence of tail or rSPR moves is NP-hard.
On the binomial interpolated triangles
Published in Journal of Integer Sequences, Vol. 20. (2017), Article 17.7.8
• Search Publication
The binomial interpolated transform of a sequence is a generalization of the well-known binomial transform. We examine a Pascal-like triangle, on which a binomial interpolated transform works between the left and right diagonals, focusing on binary recurrences. We give the sums of the elements in rows and in rising diagonals, further we define two special classes of these arithmetical triangles.
The perimeter of uniform and geometric words: a probabilistic analysis
Published
• View Publication
• BIB
Let a word be a sequence of $n$ i.i.d. integer random variables. The perimeter $P$ of the word is the number of edges of the word, seen as a polyomino. In this paper, we present a probabilistic approach to the computation of the moments of $P$. This is applied to uniform and geometric random variables. We also show that, asymptotically, the distribution of $P$ is Gaussian and, seen as a stochastic process, the perimeter converges in distribution to a Brownian motion
Escaping from a quadrant of the $6\times 6$ grid by edge disjoint paths
Let $G$ be the Cartesian product of two finite paths, called a grid, and let $T$ be the set of eight distinct vertices of $G$, called terminals. Assume that $T$ is partitioned into four terminal pairs $\{s_i,t_i\}$, $1\leq i\leq 4$, to be linked in $G$ by using edge disjoint paths. To prove that such a linkage always exists we need a sequence of technical lemmas making possible for some terminals to `escape' from a $3\times 3$ corner of $Q\subset G$, called a `quadrant'. Here we state those lemmas, and give a proof for the cases when $Q$ contains at most $4$ terminals.
Convex sequences may have thin additive bases
Published in Moscow J. Comb. Number Th. 8 (2019) 43-46
• View Publication
• BIB
For a fixed $c > 0$ we construct an arbitrarily large set $B$ of size $n$ such that its sum set $B+B$ contains a convex sequence of size $cn^2$, answering a question of Hegarty.
Z-knotted triangulations of surfaces
Published
• View Publication
• BIB
A zigzag in a map (a $2$-cell embedding of a connected graph in a connected closed $2$-dimensional surface) is a cyclic sequence of edges satisfying the following conditions: 1) any two consecutive edges lie on the same face and have a common vertex, 2) for any three consecutive edges the first and the third edges are disjoint and the face containing the first and the second edges is distinct from the face which contains the second and the third. A map is $z$-knotted if it contains a single zigzag. Such maps are closely connected to Gauss code problem and have nice homological properties. We show that every triangulation of a connected closed $2$-dimensional surface admits a $z$-knotted shredding.
Tensor Models, Kronecker coefficients and Permutation Centralizer Algebras
Published in JHEP 11 (2017) 092
• View Publication
• BIB
We show that the counting of observables and correlators for a 3-index tensor model are organized by the structure of a family of permutation centralizer algebras. These algebras are shown to be semi-simple and their Wedderburn-Artin decompositions into matrix blocks are given in terms of Clebsch-Gordan coefficients of symmetric groups. The matrix basis for the algebras also gives an orthogonal basis for the tensor observables which diagonalizes the Gaussian two-point functions. The centres of the algebras are associated with correlators which are expressible in terms of Kronecker coefficients (Clebsch-Gordan multiplicities of symmetric groups). The color-exchange symmetry present in the Gaussian model, as well as a large class of interacting models, is used to refine the description of the permutation centralizer algebras. This discussion is extended to a general number of colors $d$: it is used to prove the integrality of an infinite family of number sequences related to color-symmetrizations of colored graphs, and expressible in terms of symmetric group representation theory data. Generalizing a connection between matrix models and Belyi maps, correlators in Gaussian tensor models are interpreted in terms of covers of singular 2-complexes. There is an intriguing difference, between matrix and higher rank tensor models, in the computational complexity of superficially comparable correlators of observables parametrized by Young diagrams.
Multi de Bruijn Sequences
Published in Journal of Combinatorics, 2017, 8(3):439-474
• View Publication
• BIB
We generalize the notion of a de Bruijn sequence to a "multi de Bruijn sequence": a cyclic or linear sequence that contains every k-mer over an alphabet of size q exactly m times. For example, over the binary alphabet {0,1}, the cyclic sequence (00010111) and the linear sequence 000101110 each contain two instances of each 2-mer 00,01,10,11. We derive formulas for the number of such sequences. The formulas and derivation generalize classical de Bruijn sequences (the case m=1). We also determine the number of multisets of aperiodic cyclic sequences containing every k-mer exactly m times; for example, the pair of cyclic sequences (00011)(011) contains two instances of each 2-mer listed above. This uses an extension of the Burrows-Wheeler Transform due to Mantaci et al, and generalizes a result by Higgins for the case m=1.
Area difference bounds for dissections of a square into an odd number of triangles
Published in Experimental Mathematics, 29:3 (2020), 253-275
• View Publication
• BIB
Monsky's theorem from 1970 states that a square cannot be dissected into an odd number of triangles of the same area, but it does not give a lower bound for the area differences that must occur.
We extend Monsky's theorem to "constrained framed maps"; based on this we can apply a gap theorem from semi-algebraic geometry to a polynomial area difference measure and thus get a lower bound for the area differences that decreases doubly-exponentially with the number of triangles. On the other hand, we obtain the first superpolynomial upper bounds for this problem, derived from an explicit construction that uses the Thue-Morse sequence.
The bidirectional ballot polytope
A bidirectional ballot sequence (BBS) is a finite binary sequence with the property that every prefix and suffix contains strictly more ones than zeros. BBS's were introduced by Zhao, and independently by Bosquet-M{é}lou and Ponty as $(1,1)$-culminating paths. Both sets of authors noted the difficulty in counting these objects, and to date research on bidirectional ballot sequences has been concerned with asymptotics. We introduce a continuous analogue of bidirectional ballot sequences which we call bidirectional gerrymanders, and show that the set of bidirectional gerrymanders form a convex polytope sitting inside the unit cube, which we refer to as the bidirectional ballot polytope. We prove that every $(2n-1)$-dimensional unit cube can be partitioned into $2n-1$ isometric copies of the $(2n-1)$-dimensional bidirectional ballot polytope. Furthermore, we show that the vertices of this polytope are all also vertices of the cube, and that the vertices are in bijection with BBS's. An immediate corollary is a geometric explanation of the result of Zhao and of Bosquet-M{é}lou and Ponty that the number of BBS's of length $n$ is $Θ(2^n/n)$.
Cycle reversions and dichromatic number in tournaments
Published
• View Publication
• BIB
We show that if $D$ is a tournament of arbitrary size then $D$ has finite strong components after reversing a locally finite sequence of cycles. In turn, we prove that any tournament can be covered by two acyclic sets after reversing a locally finite sequence of cycles. This provides a partial solution to a conjecture of S. Thomassé.
Characters of Independent Stanley Sequences
Published
• View Publication
• BIB
Odlyzko and Stanley introduced a greedy algorithm for constructing infinite sequences with no 3-term arithmetic progressions when beginning with a finite set with no 3-term arithmetic progressions. The sequences constructed from this procedure are known as Stanley sequences and appear to have two distinct growth rates which dictate whether the sequences are structured or chaotic. A large subclass of sequences of the former type is independent sequences, which have a self-similar structure. An attribute of interest for independent sequences is the character. In this paper, building on recent progress, we prove that every nonnegative integer $λ\not\in\{1,3,5,9,11,15\}$ is attainable as the character of an independent Stanley sequence, thus resolving a conjecture of Rolnick.
Polynomial tuning of multiparametric combinatorial samplers
Published
• View Publication
• BIB
Boltzmann samplers and the recursive method are prominent algorithmic frameworks for the approximate-size and exact-size random generation of large combinatorial structures, such as maps, tilings, RNA sequences or various tree-like structures. In their multiparametric variants, these samplers allow to control the profile of expected values corresponding to multiple combinatorial parameters. One can control, for instance, the number of leaves, profile of node degrees in trees or the number of certain subpatterns in strings. However, such a flexible control requires an additional non-trivial tuning procedure. In this paper, we propose an efficient polynomial-time, with respect to the number of tuned parameters, tuning algorithm based on convex optimisation techniques. Finally, we illustrate the efficiency of our approach using several applications of rational, algebraic and Pólya structures including polyomino tilings with prescribed tile frequencies, planar trees with a given specific node degree distribution, and weighted partitions.