sequence
6845 papers tagged with this keyword
Characterization of finite metric space by their isometric sequences
Let $(X,d)$ be a finite metric space with $|X|=n$. For a positive integer $k$ we define $A_k(X)$ to be the quotient set of all $k$-subsets of $X$ by isometry, and we denote $|A_k(X)|$ by $a_k$. The sequence $(a_1,a_2,\ldots,a_{n})$ is called the isometric sequence of $(X,d)$. In this article we aim to characterize finite metric spaces by their isometric sequences under one of the following assumptions: (i) $a_k=1$ for some $k$ with $2\leq k\leq n-2$; (ii) $a_k=2$ for some $k$ with $4\leq k\leq \frac{1+\sqrt{1+4n}}{2}$; (iii) $a_3=2$; (iv) $a_2=a_3=3$. Furthermore, we give some criterion on how to embed such finite metric spaces to Euclidean spaces. We give some maximum cardinalities of subsets in the $d$-dimensional Euclidean space with small $a_3$, which are analogue problems on a sets with few distinct triangles discussed by Epstein, Lott, Miller and Palsson.
Common factors in automatic and Sturmian sequences
In this short note we show that a k-automatic sequence and a Sturmian sequence cannot have arbitrarily large factors in common.
Subgraph counts for dense random graphs with specified degrees
Published in Combinator. Probab. Comp. 30 (2021) 460-497
• View Publication
• BIB
We prove two estimates for the expectation of the exponential of a complex function of a random permutation or subset. Using this theory, we find asymptotic expressions for the expected number of copies and induced copies of a given graph in a uniformly random graph with degree sequence $(d_1,\ldots,d_n)$ as $n \rightarrow \infty$. We also determine the expected number of spanning trees in this model. The range of degrees covered includes $d_j = λn + O(n^{1/2+\varepsilon})$ for some $λ$ bounded away from $0$ and $1$.
Zonotopes whose cellular strings are all coherent
Published
• View Publication
• BIB
A cellular string of a polytope is a sequence of faces stacked on top of each other in a given direction. The poset of cellular strings, ordered by refinement, is known to be homotopy equivalent to a sphere. The subposet of coherent cellular strings is the face lattice of the fiber polytope, hence is homeomorphic to a sphere. In some special cases, every cellular string is coherent. Such polytopes are said to be all-coherent. We give a complete classification of zonotopes with the all-coherence property in terms of their oriented matroid structure. Although the face lattice of the fiber polytope in this case is not an oriented matroid invariant, we prove that the all-coherence property is invariant.
Model theory and combinatorics of banned sequences
Published
• View Publication
• BIB
We set up a general context in which one can prove Sauer-Shelah type lemmas. We apply our general results to answer a question of Bhaskar and give a slight improvement to a result of Malliaris and Terry. We also prove a new Sauer-Shelah type lemma in the context of op-rank, a notion of Guingona and Hill.
A combinatorial model for computing volumes of flow polytopes
Published in Transactions of the American Mathematical Society 372 (2019), no. 5, 3369-3404
• View Publication
• BIB
We introduce new families of combinatorial objects whose enumeration computes volumes of flow polytopes. These objects provide an interpretation, based on parking functions, of Baldoni and Vergne's generalization of a volume formula originally due to Lidskii. We recover known flow polytope volume formulas and prove new volume formulas for flow polytopes that were seemingly unapproachable. A highlight of our model is an elegant formula for the flow polytope of a graph we call the caracol graph.
As by-products of our work, we uncover a new triangle of numbers that interpolates between Catalan numbers and the number of parking functions, we prove the log-concavity of rows of this triangle along with other sequences derived from volume computations, and we introduce a new Ehrhart-like polynomial for flow polytope volume and conjecture product formulas for the polytopes we consider.
Multicolour containers, extremal entropy and counting
Published
• View Publication
• BIB
In breakthrough results, Saxton-Thomason and Balogh-Morris-Samotij developed powerful theories of hypergraph containers. In this paper, we explore some consequences of these theories. We use a simple container theorem of Saxton-Thomason and an entropy-based framework to deduce container and counting theorems for hereditary properties of k-colourings of very general objects, which include both vertex- and edge-colourings of general hypergraph sequences as special cases.
In the case of sequences of complete graphs, we further derive characterisation and transference results for hereditary properties in terms of their stability families and extremal entropy. This covers within a unified framework a great variety of combinatorial structures, some of which had not previously been studied via containers: directed graphs, oriented graphs, tournaments, multigraphs with bounded multiplicity and multicoloured graphs amongst others.
Similar results were recently and independently obtained by Terry.
An operator that relates to semi-meander polynomials via a two-sided q-Wick formula
Published in Indiana University Mathematics Journal 69 (2020), 2089-2127
• View Publication
• BIB
We consider the sequence $( Q_n )_{n=1}^{\infty}$ of semi-meander polynomials which are used in the enumeration of semi-meandric systems (a family of diagrams related to the classical stamp-folding problem). We show that for a fixed natural number $d$, the sequence $( Q_n (d) )_{n=1}^{\infty}$ appears as sequence of moments for a compactly supported probability measure $ν_d$ on the real line. More generally, we consider a two-variable generalization $Q_n (t,u)$ of $Q_n(t)$, which is related to a natural concept of "self-intersecting meandric system"; the second variable of $Q_n (t,u)$ keeps track of the crossings of such a system (and one has, in particular, that $Q_n (t,0)$ is the original semi-meander polynomial $Q_n (t)$). We prove that for a fixed natural number $d$ and a fixed real number $q$ with $|q| < 1$, the sequence $( Q_n (d,q) )_{n=1}^{\infty}$ appears as sequence of moments for a compactly supported probability measure $ν_{d:q}$ on the real line. The measure $ν_{d;q}$ is found as scalar spectral measure for an operator $T_{d;q}$ constructed by using left and right creation/annihilation operators on a $q$-deformation of the full Fock space introduced by Bozejko and Speicher. The relevant calculations of moments for $T_{d;q}$ are made by using a two-sided version of a (previously studied in the one-sided case) $q$-Wick formula, which involves the number of crossings of a pair-partition.
Remarks on Graphons
Published in International Journal of Algebra, Vol. 15, 2021, no. 2, 61-68
• View Publication
• BIB
L. Lovász and B. Szegedy proved in 2006 that the limits of convergent graph sequences can be described by measurable symmetric functions $W: [0, 1]\times [0, 1]\to [0, 1]$ called graphons. In our present paper we investigate the structure of the set of all graphons within the semigroup $(\mathfrak{F}([0, 1]^2); \circ)$ of all fuzzy subsets of the unit square $[0,1]^2=[0, 1]\times [0, 1]$, where the operation $\circ$ is defined by: for every $f, g\in \mathfrak{F}([0,1]^2)$ and every $s\in [0,1]^2$, $(f\circ g)(s)=\vee_{x\in [0,1]^2}(f(x)\wedge g(s))$.
Closed formulas for exponential sums of symmetric polynomials over Galois fields
Published in Journal Algebraic Combinatorics 50(1) (2019) 73-98
• View Publication
• BIB
Exponential sums have applications to a variety of scientific fields, including, but not limited to, cryptography, coding theory and information theory. Closed formulas for exponential sums of symmetric Boolean functions were found by Cai, Green and Thierauf in the late 1990's. Their closed formulas imply that these exponential sums are linear recursive. The linear recursivity of these sums has been exploited in numerous papers and has been used to compute the asymptotic behavior of such sequences. In this article, we extend the result of Cai, Green and Thierauf, that is, we find closed formulas for exponential sums of symmetric polynomials over any Galois fields. Our result also implies that the recursive nature of these sequences is not unique to the binary field, as they are also linear recursive over any finite field. In fact, we provide explicit linear recurrences with integer coefficients for such sequences. As a byproduct of our results, we discover a link between exponential sums of symmetric polynomials over Galois fields and a problem for multinomial coefficients which similar to the problem of bisecting binomial coefficients.
Genetic robustness of let-7 miRNA sequence-structure pairs
Published
• View Publication
• BIB
Genetic robustness, the preservation of evolved phenotypes against genotypic mutations, is one of the central concepts in evolution. In recent years a large body of work has focused on the origins, mechanisms, and consequences of robustness in a wide range of biological systems. In particular, research on ncRNAs studied the ability of sequences to maintain folded structures against single-point mutations. In these studies, the structure is merely a reference. However, recent work revealed evidence that structure itself contributes to the genetic robustness of ncRNAs. We follow this line of thought and consider sequence-structure pairs as the unit of evolution and introduce the spectrum of inverse folding rates (IFR-spectrum) as a measurement of genetic robustness. Our analysis of the miRNA let-7 family captures key features of structure-modulated evolution and facilitates the study of robustness against multiple-point mutations.
Convergence of Pascal-Like Triangles in Parry-Bertrand Numeration Systems
Published
• View Publication
• BIB
We pursue the investigation of generalizations of the Pascal triangle based on binomial coefficients of finite words. These coefficients count the number of times a finite word appears as a subsequence of another finite word. The finite words occurring in this paper belong to the language of a Parry numeration system satisfying the Bertrand property, i.e., we can add or remove trailing zeroes to valid representations. It is a folklore fact that the Sierpiński gasket is the limit set, for the Hausdorff distance, of a convergent sequence of normalized compact blocks extracted from the classical Pascal triangle modulo $2$. In a similar way, we describe and study the subset of $[0, 1] \times [0, 1]$ associated with the latter generalization of the Pascal triangle modulo a prime number.
Ascents in Non-Negative Lattice Paths
Published in 29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018), Leibniz International Proceedings in Informatics (LIPIcs), vol 110
• View Publication
• BIB
Non-negative Łukasiewicz paths are special two-dimensional lattice paths never passing below their starting altitude which have only one single special type of down step. They are well-known and -studied combinatorial objects, in particular due to their bijective relation to trees with given node degrees.
We study the asymptotic behavior of the number of ascents (i.e., the number of maximal sequences of consecutive up steps) of given length for classical subfamilies of general non-negative Łukasiewicz paths: those with arbitrary ending altitude, those ending on their starting altitude, and a variation thereof. Our results include precise asymptotic expansions for the expected number of such ascents as well as for the corresponding variance.
Deconvolving RNA Base Pairing Signals
Published
• View Publication
• BIB
A growing number of RNA sequences are now known to have distributions of multiple stable sequences. Recent algorithms use the list of nucleotides in a sequence and auxiliary experimental data to predict such distributions. Although the algorithms are largely successful in identifying a distribution's constituent structures, it remains challenging to recover their relative weightings. In this paper, we quantify this issue using a total variation distance. Then, we prove under a Nussinov-Jacobson model that a large proportion of RNA structure pairs cannot be jointly reconstructed with low total variation distance. Finally, we characterize the uncertainty in predicting conformational ratios by analyzing the amount of information in the auxiliary data.
Quiddity sequences for $\mathrm{SL}_3$-frieze patterns
The notion of a $(k,n)$-frieze pattern was introduced by the author as a generalisation of the classical frieze patterns. In this article we describe connections between classes of $(3,n)$-frieze patterns and classes of $\mathrm{SL}_3$-frieze patterns. We introduce the idea of a superimposed triangulation and clarify how superimposed triangulations may be used to understand quiddity sequences for $\mathrm{SL}_3$-frieze patterns.
Degree powers in graphs with a forbidden forest
Published
• View Publication
• BIB
Given a positive integer $p$ and a graph $G$ with degree sequence $d_1,\dots,d_n$, we define $e_p(G)=\sum_{i=1}^n d_i^p$. Caro and Yuster introduced a Turán-type problem for $e_p(G)$: Given a positive integer $p$ and a graph $H$, determine the function $ex_p(n,H)$, which is the maximum value of $e_p(G)$ taken over all graphs $G$ on $n$ vertices that do not contain $H$ as a subgraph. Clearly, $ex_1(n,H)=2ex(n,H)$, where $ex(n,H)$ denotes the classical Turán number. Caro and Yuster determined the function $ex_p(n, P_\ell)$ for sufficiently large $n$, where $p\geq 2$ and $P_\ell$ denotes the path on $\ell$ vertices. In this paper, we generalise this result and determine $ex_p(n,F)$ for sufficiently large $n$, where $p\geq 2$ and $F$ is a linear forest. We also determine $ex_p(n,S)$, where $S$ is a star forest; and $ex_p(n,B)$, where $B$ is a broom graph with diameter at most six.
The Action of Young Subgroups on the Partition Complex
Published
• View Publication
• BIB
We study the restrictions, the strict fixed points, and the strict quotients of the partition complex $|Π_n|$, which is the $Σ_n$-space attached to the poset of proper nontrivial partitions of the set $\{1,\ldots,n\}$.
We express the space of fixed points $|Π_n|^G$ in terms of subgroup posets for general $G\subset Σ_n$ and prove a formula for the restriction of $|Π_n|$ to Young subgroups $Σ_{n_1}\times \dots\times Σ_{n_k}$. Both results follow by applying a general method, proven with discrete Morse theory, for producing equivariant branching rules on lattices with group actions. We uncover surprising links between strict Young quotients of $|Π_n|$, commutative monoid spaces, and the cotangent fibre in derived algebraic geometry. These connections allow us to construct a cofibre sequence relating various strict quotients $|Π_n|^\diamond\wedge_{Σ_n} (S^\ell)^{\wedge n}$ and give a combinatorial proof of a splitting in derived algebraic geometry. Combining all our results, we decompose strict Young quotients of $|Π_n|$ in terms of "atoms" $|Π_d|^\diamond\wedge_{Σ_d} (S^\ell)^{\wedge d}$ for $\ell$ odd and compute their homology. We thereby also generalise Goerss' computation of the algebraic André-Quillen homology of trivial square-zero extensions from $\mathbb{F}_2$ to $\mathbb{F}_p$ for $p$ an odd prime.
On a class of polynomials connected to Bell polynomials
In this paper, we study a class of sequences of polynomials linked to the sequence of Bell polynomials. Some sequences of this class have applications on the theory of hyperbolic differential equations and other sequences generalize Laguerre polynomials and associated Lah polynomials. We discuss, for these polynomials, their explicit expressions, relations to the successive derivatives of a given function, real zeros and recurrence relations. Some known results are significantly simplified.
Eigenvalues of random lifts and polynomials of random permutation matrices
Published in Annals of Mathematics 190 (2019), no. 3, 811-75
• View Publication
• BIB
Consider a finite sequence of independent random permutations, chosen uniformly either among all permutations or among all matchings on n points. We show that, in probability, as n goes to infinity, these permutations viewed as operators on the (n-1) dimensional vector space orthogonal to the vector with all coordinates equal to 1, are asymptotically strongly free. Our proof relies on the development of a matrix version of the non-backtracking operator theory and a refined trace method.
As a byproduct, we show that the non-trivial eigenvalues of random n-lifts of a fixed based graphs approximately achieve the Alon-Boppana bound with high probability in the large n limit. This result generalizes Friedman's Theorem stating that with high probability, the Schreier graph generated by a finite number of independent random permutations is close to Ramanujan.
Finally, we extend our results to tensor products of random permutation matrices. This extension is especially relevant in the context of quantum expanders.
Computing the Inverse Mellin Transform of Holonomic Sequences using Kovacic's Algorithm
Published
• View Publication
• BIB
We describe how the extension of a solver for linear differential equations by Kovacic's algorithm helps to improve a method to compute the inverse Mellin transform of holonomic sequences. The method is implemented in the computer algebra package HarmonicSums.