sequence
6845 papers tagged with this keyword
The classification of τ-tilting modules over Nakayama algebras
Published
• View Publication
• BIB
In this paper, we study tau-tilting modules over Nakayama algebras. We establish bijections between tau-tilting modules, triangulations of a polygon with a puncture and certain integer sequences. Moreover, we give an algorithm to construct the Hasse quiver of support tau-tilting modules by using Rejection Lemma of Drozd-Kirichenko.
The expected characteristic and permanental polynomials of the random Gram matrix
Published
• View Publication
• BIB
A t by n random matrix A is formed by sampling n independent random column vectors, each containing t components. The random Gram matrix of size n, G_n, contains the dot products between all pairs of column vectors in the randomly generated matrix A; that is, G_n = transpose(A) A. The matrix G_n has characteristic roots coinciding with the singular values of A. Furthermore, the sequences det(G_i) and per(G_i) (for i = 0, 1, ..., n) are factors that comprise the expected coefficients of the characteristic and permanental polynomials of G_n. We prove theorems that relate the generating functions and recursions for the traces of matrix powers, expected characteristic coefficients, expected determinants E(det(G_n)), and expected permanents E(per(G_n)) in terms of each other. Using the derived recursions, we exhibit the efficient computation of the expected determinant and expected permanent of a random Gram matrix G_n, formed according to any underlying distribution. These theoretical results may be used both to speed up numerical algorithms and to investigate the numerical properties of the expected characteristic and permanental coefficients of any matrix comprised of independently sampled columns.
Curves in R^d intersecting every hyperplane at most d+1 times
By a curve in R^d we mean a continuous map gamma:I -> R^d, where I is a closed interval. We call a curve gamma in R^d at most k crossing if it intersects every hyperplane at most k times (counted with multiplicity). The at most d crossing curves in R^d are often called convex curves and they form an important class; a primary example is the moment curve {(t,t^2,...,t^d):t\in[0,1]}. They are also closely related to Chebyshev systems, which is a notion of considerable importance, e.g., in approximation theory. We prove that for every d there is M=M(d) such that every at most d+1 crossing curve in R^d can be subdivided into at most M convex curves. As a consequence, based on the work of Elias, Roldan, Safernova, and the second author, we obtain an essentially tight lower bound for a geometric Ramsey-type problem in R^d concerning order-type homogeneous sequences of points, investigated in several previous papers.
Probability distributions with binomial moments
Published in Infinite Dimensional Analysis, Quantum Probability and Related Topics Vol. 17, No. 2 (2014) 1450014 (32 pages)
• Search Publication
We prove that if $p\geq 1$ and $-1\leq r\leq p-1$ then the binomial sequence $\binom{np+r}{n}$, $n=0,1,...$, is positive definite and is the moment sequence of a probability measure $ν(p,r)$, whose support is contained in $\left[0,p^p(p-1)^{1-p}\right]$. If $p>1$ is a rational number and $-1<r\leq p-1$ then $ν(p,r)$ is absolutely continuous and its density function $V_{p,r}$ can be expressed in terms of the Meijer $G$-function. In particular cases $V_{p,r}$ is an elementary function. We show that for $p>1$ the measures $ν(p,-1)$ and $ν(p,0)$ are certain free convolution powers of the Bernoulli distribution. Finally we prove that the binomial sequence $\binom{np+r}{n}$ is positive definite if and only if either $p\geq 1$, $-1\leq r\leq p-1$ or $p\leq 0$, $p-1\leq r \leq 0$. The measures corresponding to the latter case are reflections of the former ones.
Laurent Phenomenon Sequences
Published
• View Publication
• BIB
In this paper, we undertake a systematic study of recurrences x_{m+n}x_{m} = P(x_{m+1}, ..., x_{m+n-1}) which exhibit the Laurent phenomenon. Some of the most famous among these sequences come from the Somos and the Gale-Robinson recurrences. Our approach is based on finding period 1 seeds of Laurent phenomenon algebras of Lam-Pylyavskyy. We completely classify polynomials P that generate period 1 seeds in the cases of n=2,3 and of mutual binomial seeds. We also find several other interesting families of polynomials P whose generated sequences exhibit the Laurent phenomenon. Our classification for binomial seeds is a direct generalization of a result by Fordy and Marsh, that employs a new combinatorial gadget we call a double quiver.
Asymptotic normality of some graph sequences
Published
• View Publication
• BIB
For a simple finite graph G denote by {G \brace k} the number of ways of partitioning the vertex set of G into k non-empty independent sets (that is, into classes that span no edges of G). If E_n is the graph on n vertices with no edges then {E_n \brace k} coincides with {n \brace k}, the ordinary Stirling number of the second kind, and so we refer to {G \brace k} as a graph Stirling number.
Harper showed that the sequence of Stirling numbers of the second kind, and thus the graph Stirling sequence of E_n, is asymptotically normal --- essentially, as n grows, the histogram of ({E_n \brace k})_{k \geq 0}, suitably normalized, approaches the density function of the standard normal distribution.
In light of Harper's result, it is natural to ask for which sequences (G_n)_{n \geq 0} of graphs is there asymptotic normality of ({G_n \brace k})_{k \geq 0}. Do and Galvin conjectured that if for each n, G_n is acylic and has n vertices, then asymptotic normality occurs, and they gave a proof under the added condition that G_n has no more than o(\sqrt{n/\log n}) components.
Here we settle Do and Galvin's conjecture in the affirmative, and significantly extend it, replacing "acyclic" in their conjecture with "co-chromatic with a quasi-threshold graph, and with negligible chromatic number". Our proof combines old work of Navon and recent work of Engbers, Galvin and Hilyard on the normal order problem in a Weyl algebra, and work of Kahn on the matching polynomial of a graph.
Asymptotic formulas for stacks and unimodal sequences
Published
• View Publication
• BIB
We study enumeration functions for unimodal sequences of positive integers, where the size of a sequence is the sum of its terms. We survey known results for a number of natural variants of unimodal sequences, including Auluck's generalized Ferrer diagrams, Wright's stacks, and Andrews' convex compositions. These results describe combinatorial properties, generating functions, and asymptotic formulas for the enumeration functions. We also prove several new asymptotic results that fill in the notable missing cases from the literature, including an open problem in statistical mechanics due to Temperley. Furthermore, we explain the combinatorial and asymptotic relationship between partitions, Andrews' Frobenius symbols, and stacks with summits.
Large deviations of empirical neighborhood distribution in sparse random graphs
Published in Probability Theory and Related Fields 163, no. 1-2, 149-222, 2015
• View Publication
• BIB
Consider the Erdős-Renyi random graph on n vertices where each edge is present independently with probability c/n, with c>0 fixed. For large n, a typical random graph locally behaves like a Galton-Watson tree with Poisson offspring distribution with mean c. Here, we study large deviations from this typical behavior within the framework of the local weak convergence of finite graph sequences. The associated rate function is expressed in terms of an entropy functional on unimodular measures and takes finite values only at measures supported on trees. We also establish large deviations for other commonly studied random graph ensembles such as the uniform random graph with given number of edges growing linearly with the number of vertices, or the uniform random graph with given degree sequence. To prove our results, we introduce a new configuration model which allows one to sample uniform random graphs with a given neighborhood distribution, provided the latter is supported on trees. We also introduce a new class of unimodular random trees, which generalizes the usual Galton Watson tree with given degree distribution to the case of neighborhoods of arbitrary finite depth. These generalized Galton Watson trees turn out to be useful in the analysis of unimodular random trees and may be considered to be of interest in their own right.
Ramsey-type results on singletons, co-singletons and monotone sequences in large collections of sets
Published in Sylvain Gravier, Frédéric Maffray, Jérôme Renault, Nicolas Trotignon: Ramsey-type results on singletons, co-singletons and monotone sequences in large collections of sets. Eur. J. Comb. 25(5): 719-734 (2004)
• View Publication
• BIB
We say that a 0-1 matrix $N$ of size $a\times b$ can be found in a collection of sets $\mathcal{H}$ if we can find sets $H_{1}, H_{2}, \dots, H_{a}$ in $\mathcal{H}$ and elements $e_1, e_2, \dots, e_b$ in $\cup_{H \in \mathcal{H}} H$ such that $N$ is the incidence matrix of the sets $H_{1}, H_{2}, \dots, H_{a}$ over the elements $e_1, e_2, \dots, e_b$. We prove the following Ramsey-type result: for every $n\in \N$, there exists a number S(n) such that in any collection of at least S(n) sets, one can find either the incidence matrix of a collection of $n$ singletons, or its complementary matrix, or the incidence matrix of a collection of $n$ sets completely ordered by inclusion. We give several results of the same extremal set theoretical flavour. For some of these, we give the exact value of the number of sets required.
Exhaustive generation of `Mrs Perkins's quilt' square dissections for low orders
Published
• View Publication
• BIB
Dissections of a square into smaller squares, with the smaller squares having relatively prime sizes, are known as Mrs Perkins's quilts. A representation of these dissections using graphs is presented. The edges are directed and coloured North-South or West-East, and the graph corresponds naturally to the dissection. This representation allowed the exhaustive generation of all dissections up to order 18, using the plantri software. The results were cross-checked by generating all dissections of small sizes using a direct approach. The results confirm, extend and introduce several integer sequences.
On the facial Thue choice number of plane graphs via entropy compression method
Let $G$ be a plane graph. A vertex-colouring $\varphi$ of $G$ is called {\em facial non-repetitive} if for no sequence $r_1 r_2 \dots r_{2n}$, $n\geq 1$, of consecutive vertex colours of any facial path it holds $r_i=r_{n+i}$ for all $i=1,2,\dots,n$. A plane graph $G$ is {\em facial non-repetitively $l$-choosable} if for every list assignment $L:V\rightarrow 2\sp{\mathbb{N}}$ with minimum list size at least $l$ there is a facial non-repetitive vertex-colouring $\varphi$ with colours from the associated lists. The {\em facial Thue choice number}, $π_{fl}(G)$, of a plane graph $G$ is the minimum number $l$ such that $G$ is facial non-repetitively $l$-choosable. %In this article we We use the so-called entropy compression method to show that $π_{fl} (G)\le c Δ$ for some absolute constant $c$ and $G$ a plane graph with maximum degree $Δ$. Moreover, we give some better (constant) upper bounds on $π_{fl} (G)$ for special classes of plane graphs.
Sequences defined by h-vectors
In this paper we consider the sequence whose n^{th} term is the number of h-vectors of length n. We show that the n^{th} term of this sequence is bounded above by the n^{th} Fibonacci number and bounded below by the number if integer partitions of n into distinct parts. Further we show embedded sequences that directly relate to integer partitions.
Aztec Castles and the dP3 Quiver
Published
• View Publication
• BIB
Bipartite, periodic, planar graphs known as brane tilings can be associated to a large class of quivers. This paper will explore new algebraic properties of the well-studied del Pezzo 3 quiver and geometric properties of its corresponding brane tiling. In particular, a factorization formula for the cluster variables arising from a large class of mutation sequences (called $τ-$mutation sequences) is proven; this factorization also gives a recursion on the cluster variables produced by such sequences. We can realize these sequences as walks in a triangular lattice using a correspondence between the generators of the affine symmetric group $\tilde{A_2}$ and the mutations which generate $τ-$mutation sequences. Using this bijection, we obtain explicit formulae for the cluster that corresponds to a specific alcove in the lattice. With this lattice visualization in mind, we then express each cluster variable produced in a $τ$-mutation sequence as the sum of weighted perfect matchings of a new family of subgraphs of the dP3 brane tiling, which we call Aztec castles. Our main result generalizes previous work on a certain mutation sequence on the dP3 quiver in [Zha12], and forms part of the emerging story in combinatorics and theoretical high energy physics relating cluster variables to subgraphs of the associated brane tiling.
Polynomial graph invariants from homomorphism numbers
Published
• View Publication
• BIB
We give a method of generating strongly polynomial sequences of graphs, i.e., sequences $(H_{\mathbf{k}})$ indexed by a multivariate parameter $\mathbf{k}=(k_1,\ldots, k_h)$ such that, for each fixed graph $G$, there is a multivariate polynomial $p(G;x_1,\ldots, x_h)$ such that the number of homomorphisms from $G$ to $H_{\mathbf{k}}$ is given by the evaluation $p(G;k_1,\ldots, k_h)$. A classical example is the sequence $(K_k)$ of complete graphs, for which ${\rm hom}(G,K_k)=P(G;k)$ is the evaluation of the chromatic polynomial at $k$. Our construction produces a large family of graph polynomials that includes the Tutte polynomial, the Averbouch-Godlin-Makowsky polynomial and the Tittmann-Averbouch-Makowsky polynomial. We also introduce a new graph parameter, the {\em branching core size} of a simple graph, related to how many involutive automorphisms with fixed points it has. We prove that a countable family of graphs of bounded branching core size (which in particular implies bounded tree-depth) is always contained in a finite union of strongly polynomial sequences.
The S-metric, the Beichl-Cloteaux approximation, and preferential attachment
The S-metric has grown popular in network studies, as a measure of ``scale-freeness'' restricted to the collection G(D) of connected graphs with a common degree sequence D=(d_1,\ldots,d_n). The calculation of S depends on the maximum possible degree assortativity r among graphs in G(D). The original method involves a heuristic construction of a maximally assortative graph g*. The approximation by Beichl and Cloteaux involves constructing a possibly disconnected graph g' with r(g') >= r(g*) and requires O(n^2) tests for the graphicality of a degree sequence. The present paper uses the Tripathi-Vijay test to streamline this approximation, and thereby to investigate two collections of graphs: Barabasi-Albert trees and coauthorship graphs of mathematical sciences researchers. Long-term trends in the coauthorship graphs are discussed, and contextualized by insights derived from the BA trees. It is known that greater degree-based preferential attachment produces greater variance in degree sequences, and these trees exhibited assortativities restricted to a narrow band. In contrast, variance in degree rose over time in the coauthorship graphs in spite of weakening degree-based preferential attachment. These observations and their implications are discussed and avenues of future work are suggested.
Limits of Boolean Functions on F_p^n
Published
• View Publication
• BIB
We study sequences of functions of the form F_p^n -> {0,1} for varying n, and define a notion of convergence based on the induced distributions from restricting the functions to a random affine subspace. Using a decomposition theorem and a recently proven equi-distribution theorem from higher order Fourier analysis, we prove that the limits of such convergent sequences can be represented by certain measurable functions. We are also able to show that every such limit object arises as the limit of some sequence of functions. These results are in the spirit of similar results which have been developed for limits of graph sequences. A more general, albeit substantially more sophisticated, limit object was recently constructed by Szegedy in [Sze10].
Cross Number Invariants of Finite Abelian Groups
Published in Journal of Number Theory 136 (2014): 100-117
• View Publication
• BIB
The cross number of a sequence over a finite abelian group $G$ is the sum of the inverse orders of the terms of that sequence. We study two group invariants, the maximal cross number of a zero-sum free sequence over $G$, called $\mathsf{k}(G)$, introduced by Krause, and the maximal cross number of a unique factorization sequence over $G$, called $K_{1}(G)$, introduced by Gao and Wang. Conjectured formulae for $\mathsf{k}(G)$ and $\mathsf{K}_{1}(G)$ are known, but only some special cases are proved for either. We show structural results about maximal cross number sequences that allow us to prove an inductive theorem giving conditions under which the conjectured values of $\mathsf{k}$ and $\mathsf{K}_{1}$ must be correct for $G\oplus C_{p^α}$ if they are correct for a group $G$. As a corollary of this result we prove the conjectured values of $\mathsf{k}(G)$ and $\mathsf{K}_{1}(G)$ for cyclic groups $C_{n}$, given that the prime factors of $n$ are far apart. Our methods also prove the $\mathsf{K}_{1}(G)$ conjecture for rank two groups of the form $C_{n}\oplus C_{q}$, where $q$ is the largest or second largest prime dividing $n$, and the prime factors of $n$ are far apart, and the $\mathsf{k}(G)$ conjecture for groups of the form $C_{n}\oplus H_{q}$, where the prime factors of $n$ are far apart, $q$ is the largest prime factor of $n$, and $H_{q}$ is an arbitrary finite abelian $q$-group. Finally, we pose a conjecture about the structure of maximal-length unique factorization sequences over elementary $p$-groups, which is a major roadblock to extending the $\mathsf{K}_{1}$ conjecture to groups of higher rank, and formulate a general question about the structure of maximal zero-sum free and unique factorization sequences with respect to arbitrary weighting functions.
Bounding sequence extremal functions with formations
Published in Electr. J. Comb. 21(3): P3.24 (2014)
• View Publication
• BIB
An $(r, s)$-formation is a concatenation of $s$ permutations of $r$ letters. If $u$ is a sequence with $r$ distinct letters, then let $\mathit{Ex}(u, n)$ be the maximum length of any $r$-sparse sequence with $n$ distinct letters which has no subsequence isomorphic to $u$. For every sequence $u$ define $\mathit{fw}(u)$, the formation width of $u$, to be the minimum $s$ for which there exists $r$ such that there is a subsequence isomorphic to $u$ in every $(r, s)$-formation. We use $\mathit{fw}(u)$ to prove upper bounds on $\mathit{Ex}(u, n)$ for sequences $u$ such that $u$ contains an alternation with the same formation width as $u$.
We generalize Nivasch's bounds on $\mathit{Ex}((ab)^{t}, n)$ by showing that $\mathit{fw}((12 \ldots l)^{t})=2t-1$ and $\mathit{Ex}((12\ldots l)^{t}, n) =n2^{\frac{1}{(t-2)!}α(n)^{t-2}\pm O(α(n)^{t-3})}$ for every $l \geq 2$ and $t\geq 3$, such that $α(n)$ denotes the inverse Ackermann function. Upper bounds on $\mathit{Ex}((12 \ldots l)^{t} , n)$ have been used in other papers to bound the maximum number of edges in $k$-quasiplanar graphs on $n$ vertices with no pair of edges intersecting in more than $O(1)$ points.
If $u$ is any sequence of the form $a v a v' a$ such that $a$ is a letter, $v$ is a nonempty sequence excluding $a$ with no repeated letters and $v'$ is obtained from $v$ by only moving the first letter of $v$ to another place in $v$, then we show that $\mathit{fw}(u)=4$ and $\mathit{Ex}(u, n) =Θ(nα(n))$. Furthermore we prove that $\mathit{fw}(abc(acb)^{t})=2t+1$ and $\mathit{Ex}(abc(acb)^{t}, n) = n2^{\frac{1}{(t-1)!}α(n)^{t-1}\pm O(α(n)^{t-2})}$ for every $t\geq 2$.
Remarks on the plus-minus weighted Davenport constant
Published
• View Publication
• BIB
For $(G,+)$ a finite abelian group the plus-minus weighted Davenport constant, denoted $\mathsf{D}_{\pm}(G)$, is the smallest $\ell$ such that each sequence $g_1 ... g_{\ell}$ over $G$ has a weighted zero-subsum with weights +1 and -1, i.e., there is a non-empty subset $I \subset \{1,..., \ell\}$ such that $\sum_{i \in I} a_i g_i =0$ for $a_i \in \{+1,-1\}$. We present new bounds for this constant, mainly lower bounds, and also obtain the exact value of this constant for various additional types of groups.
Vertex-pursuit in random directed acyclic graphs
Published
• View Publication
• BIB
We examine a dynamic model for the disruption of information flow in hierarchical social networks by considering the vertex-pursuit game Seepage played in directed acyclic graphs (DAGs). In Seepage, agents attempt to block the movement of an intruder who moves downward from the source node to a sink. The minimum number of such agents required to block the intruder is called the green number. We propose a generalized stochastic model for DAGs with given expected total degree sequence. Seepage and the green number is analyzed in stochastic DAGs in both the cases of a regular and power law degree sequence. For each such sequence, we give asymptotic bounds (and in certain instances, precise values) for the green number.