sequence
6845 papers tagged with this keyword
On the number of unit-area triangles spanned by convex grids in the plane
Published
• View Publication
• BIB
A finite set of real numbers is called convex if the differences between consecutive elements form a strictly increasing sequence. We show that, for any pair of convex sets $A, B\subset\mathbb R$, each of size $n^{1/2}$, the convex grid $A\times B$ spans at most $O(n^{37/17}\log^{2/17}n)$ unit-area triangles. This improves the best known upper bound $O(n^{31/14})$ recently obtained in \cite{RS}. Our analysis also applies to more general families of sets $A$, $B$, known as sets of Szemerédi--Trotter type.
Additively irreducible sequences in commutative semigroups
Published
• View Publication
• BIB
Let $\mathcal{S}$ be a commutative semigroup, and let $T$ be a sequence of terms from the semigroup $\mathcal{S}$. We call $T$ an (additively) {\sl irreducible} sequence provided that no sum of its some terms vanishes. Given any element $a$ of $\mathcal{S}$, let ${\rm D}_a(\mathcal{S})$ be the largest length of the irreducible sequence such that the sum of all terms from the sequence is equal to $a$. In case that any ascending chain of principal ideals starting from the ideal $(a)$ terminates in $\mathcal{S}$, we found the sufficient and necessary conditions of ${\rm D}_a(\mathcal{S})$ being finite, and in particular, we gave sharp lower and upper bounds of ${\rm D}_a(\mathcal{S})$ in case ${\rm D}_a(\mathcal{S})$ is finite. We also applied the result to commutative unitary rings. As a special case, the value of ${\rm D}_a(\mathcal{S})$ was determined when $\mathcal{S}$ is the multiplicative semigroup of any finite commutative principal ideal unitary ring.
A divisibility result on combinatorics of generalized braids
Published
• View Publication
• BIB
For every finite Coxeter group $Γ$, each positive braids in the corresponding braid group admits a unique decomposition as a finite sequence of elements of $Γ$, the so-called Garside-normal form.The study of the associated adjacency matrix $Adj(Γ)$ allows to count the number of Garside-normal form of a given length.In this paper we prove that the characteristic polynomial of $Adj(B_n)$ divides the one of $Adj(B_{n+1})$. The key point is the use of a Hopf algebra based on signed permutations. A similar result was already known for the type $A$. We observe that this does not hold for type $D$. The other Coxeter types ($I$, $E$, $F$ and $H$) are also studied.
The integer cohomology algebra of toric arrangements
Published
• View Publication
• BIB
We compute the cohomology ring of the complement of a toric arrangement with integer coefficients and investigate its dependency from the arrangement's combinatorial data. To this end, we study a morphism of spectral sequences associated to certain combinatorially defined subcomplexes of the toric Salvetti category in the complexified case, and use a technical argument in order to extend the results to full generality. As a byproduct we obtain:
-a "combinatorial" version of Brieskorn's lemma in terms of Salvetti complexes of complexified arrangements,
-a uniqueness result for realizations of arithmetic matroids with at least one basis of multiplicity 1.
Unavoidable induced subgraphs in large graphs with no homogeneous sets
Published in J. Combin. Theory, Ser. B, 118(May 2016), pp. 1-12
• View Publication
• BIB
A homogeneous set of an $n$-vertex graph is a set $X$ of vertices ($2\le |X|\le n-1$) such that every vertex not in $X$ is either complete or anticomplete to $X$. A graph is called prime if it has no homogeneous set. A chain of length $t$ is a sequence of $t+1$ vertices such that for every vertex in the sequence except the first one, its immediate predecessor is its unique neighbor or its unique non-neighbor among all of its predecessors. We prove that for all $n$, there exists $N$ such that every prime graph with at least $N$ vertices contains one of the following graphs or their complements as an induced subgraph: (1) the graph obtained from $K_{1,n}$ by subdividing every edge once, (2) the line graph of $K_{2,n}$, (3) the line graph of the graph in (1), (4) the half-graph of height $n$, (5) a prime graph induced by a chain of length $n$, (6) two particular graphs obtained from the half-graph of height $n$ by making one side a clique and adding one vertex.
On the use of the least common multiple to build a prime-generating recurrence
Published
• View Publication
• BIB
We study a recursively defined sequence which is constructed using the least common multiple. It has been conjectured that every term of that sequence is $1$ or a prime. In this paper we show that this claim is connected to a strong version of Linnik's Theorem, which is yet unproved. We also study a generalization on which composite numbers may appear depending on the initial term.
Dimers on Rail Yard Graphs
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 4 (2017), 479-539
• View Publication
• BIB
We introduce a general model of dimer coverings of certain plane bipartite graphs, which we call rail yard graphs (RYG). The transfer matrices used to compute the partition function are shown to be isomorphic to certain operators arising in the so-called boson-fermion correspondence. This allows to reformulate the RYG dimer model as a Schur process, i.e. as a random sequence of integer partitions subject to some interlacing conditions.
Beyond the computation of the partition function, we provide an explicit expression for all correlation functions or, equivalently, for the inverse Kasteleyn matrix of the RYG dimer model. This expression, which is amenable to asymptotic analysis, follows from an exact combinatorial description of the operators localizing dimers in the transfer-matrix formalism, and then a suitable application of Wick's theorem.
Plane partitions, domino tilings of the Aztec diamond, pyramid partitions, and steep tilings arise as particular cases of the RYG dimer model. For the Aztec diamond, we provide new derivations of the edge-probability generating function, of the biased creation rate, of the inverse Kasteleyn matrix and of the arctic circle theorem.
The $H$-spectrum of a generalized power hypergraph
Published in Discrete Mathematics, 2016, 339(6): 1682-1689
• View Publication
• BIB
The generalized power of a simple graph $G$, denoted by $G^{k,s}$, is obtained from $G$ by blowing up each vertex into an $s$-set and each edge into a $k$-set, where $1 \le s \le \frac{k}{2}$. When $s < \frac{k}{2}$, $G^{k,s}$ is always odd-bipartite. It is known that $G^{k,{k \over 2}}$ is non-odd-bipartite if and only if $G$ is non-bipartite, and $G^{k,{k \over 2}}$ has the same adjacency (respectively, signless Laplacian) spectral radius as $G$. In this paper, we prove that, regardless of multiplicities, the $H$-spectrum of $\A(G^{k,\frac{k}{2}})$ (respectively, $\Q(G^{k,\frac{k}{2}})$) consists of all eigenvalues of the adjacency matrices (respectively, the signless Laplacian matrices) of the connected induced subgraphs (respectively, modified induced subgraphs) of $G$. As a corollary, $G^{k,{k \over 2}}$ has the same least adjacency (respectively, least signless Laplacian) $H$-eigenvalue as $G$. We also discuss the limit points of the least adjacency $H$-eigenvalues of hypergraphs, and construct a sequence of non-odd-bipartite hypergraphs whose least adjacency $H$-eigenvalues converge to $-\sqrt{2+\sqrt{5}}$.
Twin bent functions, strongly regular Cayley graphs, and Hurwitz-Radon theory
Published in Journal of Algebra Combinatorics Discrete Structures and Applications 4, no. 3 (2017)
• View Publication
• BIB
The real monomial representations of Clifford algebras give rise to two sequences of bent functions. For each of these sequences, the corresponding Cayley graphs are strongly regular graphs, and the corresponding sequences of strongly regular graph parameters coincide. Even so, the corresponding graphs in the two sequences are not isomorphic, except in the first 3 cases. The proof of this non-isomorphism is a simple consequence of a theorem of Radon.
A short proof of the equivalence of left and right convergence for sparse graphs
There are several notions of convergence for sequences of bounded degree graphs. One such notion is left convergence, which is based on counting neighborhood distributions. Another notion is right convergence, based on counting homomorphisms to a target (weighted) graph. Borgs, Chayes, Kahn and Lovász showed that a sequence of bounded degree graphs is left convergent if and only if it is right convergent for certain target graphs $H$ with all weights (including loops) close to $1$. We give a short alternative proof of this statement. In particular, for each bounded degree graph $G$ we associate functions $f_{G,k}$ for every positive integer $k$, and we show that left convergence of a sequence of graphs is equivalent to the convergence of the partial derivatives of each of these functions at the origin, while right convergence is equivalent to pointwise convergence. Using the bound on the maximum degree of the graphs, we can uniformly bound the partial derivatives at the origin, and show that the Taylor series converges uniformly on a domain independent of the graph, which implies the equivalence.
Bumping sequences and multispecies juggling
Published in Advances in Applied Mathematics 98 (2018) 100-126
• View Publication
• BIB
Building on previous work by four of us (ABCN), we consider further generalizations of Warrington's juggling Markov chains. We first introduce "multispecies" juggling, which consist in having balls of different weights: when a ball is thrown it can possibly bump into a lighter ball that is then sent to a higher position, where it can in turn bump an even lighter ball, etc. We both study the case where the number of balls of each species is conserved and the case where the juggler sends back a ball of the species of its choice. In this latter case, we actually discuss three models: add-drop, annihilation and overwriting. The first two are generalisations of models presented in (ABCN) while the third one is new and its Markov chain has the ultra fast convergence property. We finally consider the case of several jugglers exchanging balls. In all models, we give explicit product formulas for the stationary probability and closed form expressions for the normalisation factor if known.
Cutoff for non-backtracking random walks on sparse random graphs
Published
• View Publication
• BIB
A finite ergodic Markov chain is said to exhibit cutoff if its distance to stationarity remains close to 1 over a certain number of iterations and then abruptly drops to near 0 on a much shorter time scale. Discovered in the context of card shuffling (Aldous-Diaconis, 1986), this phenomenon is now believed to be rather typical among fast mixing Markov chains. Yet, establishing it rigorously often requires a challengingly detailed understanding of the underlying chain. Here we consider non-backtracking random walks on random graphs with a given degree sequence. Under a general sparsity condition, we establish the cutoff phenomenon, determine its precise window, and prove that the (suitably rescaled) cutoff profile approaches a remarkably simple, universal shape.
The number of 1...d-avoiding permutations of length d+r for SYMBOLIC d but numeric r
We use the Robinson-Schensted correspondence, followed by symbol-crunching, in order to derive explicit expressions for the quantities mentioned in the title. We follow it by number crunching, in order to compute the first terms of these sequences. As an encore, we cleverly implement Ira Gessel's celebrated determinant formula for the generating functions of these sequences, to crank out many terms.
This modest tribute is dedicated to one of the greatest enumerators alive today (and definitely the most modest one!), Ira Martin Gessel, who is turning 64 years-old today
Random walks on the random graph
Published
• View Publication
• BIB
We study random walks on the giant component of the Erdős-Rényi random graph ${\cal G}(n,p)$ where $p=λ/n$ for $λ>1$ fixed. The mixing time from a worst starting point was shown by Fountoulakis and Reed, and independently by Benjamini, Kozma and Wormald, to have order $\log^2 n$. We prove that starting from a uniform vertex (equivalently, from a fixed vertex conditioned to belong to the giant) both accelerates mixing to $O(\log n)$ and concentrates it (the cutoff phenomenon occurs): the typical mixing is at $(ν{\bf d})^{-1}\log n \pm (\log n)^{1/2+o(1)}$, where $ν$ and ${\bf d}$ are the speed of random walk and dimension of harmonic measure on a ${\rm Poisson}(λ)$-Galton-Watson tree. Analogous results are given for graphs with prescribed degree sequences, where cutoff is shown both for the simple and for the non-backtracking random walk.
A general framework for the polynomiality property of the structure coefficients of double-class algebras
Published in Journal of Algebraic Combinatorics 45(4) (2017) 1111-1152
• View Publication
• BIB
Take a sequence of couples $(G_n,K_n)_n$, where $G_n$ is a group and $K_n$ is a sub-group of $G_n.$ Under some conditions, we are able to give a formula that shows the form of the structure coefficients that appear in the product of double-classes of $K_n$ in $G_n.$ We show how this can give us a similar result for the structure coefficients of the centers of group algebras.
These formulas allow us to re-obtain the polynomiality property of the structure coefficients in the cases of the center of the symmetric group algebra and the Hecke algebra of the pair $(\mathcal{S}_{2n},\mathcal{B}_{n}).$ We also give a new polynomiality property for the structure coefficients of the center of the hyperoctahedral group algebra and the double-class algebra $\mathbb{C}[diag(\mathcal{S}_{n-1})\setminus \mathcal{S}_n\times \mathcal{S}^{opp}_{n-1}/ diag(\mathcal{S}_{n-1})].$
Uniqueness of Banach space valued graphons
Published
• View Publication
• BIB
A Banach space valued graphon is a function $W:(Ω, \mathcal{A},π)^2\to\mathcal{Z}$ from a probability space to a Banach space with a separable predual, measurable in a suitable sense, and lying in appropriate $L^p$-spaces. As such we may consider $W(x,y)$ as a two-variable random element of the Banach space. A two-dimensional analogue of moments can be defined with the help of graphs and weak-* evaluations, and a natural question that then arises is whether these generalized moments determine the function $W$ uniquely -- up to measure preserving transformations. The main motivation comes from the theory of multigraph limits, where these graphons arise as the natural limit objects for convergence in a generalized homomorphism sense. Our main result is that this holds true under some Carleman-type condition, but fails in general even with $\mathcal{Z}=\mathbb{R}$, for reasons related to the classical moment-problem. In particular, limits of multigraph sequences are uniquely determined - up to measure preserving transformations - whenever the tails of the edge-distributions stay small enough.
Juggling card sequences
Published
• View Publication
• BIB
Juggling patterns can be described by a sequence of cards which keep track of the relative order of the balls at each step. This interpretation has many algebraic and combinatorial properties, with connections to Stirling numbers, Dyck paths, Narayana numbers, boson normal ordering, arc-labeled digraphs, and more. Some of these connections are investigated with a particular focus on enumerating juggling patterns satisfying certain ordering constraints, including where the number of crossings is fixed.
Coefficients of the Inflated Eulerian Polynomial
It follows from work of Chung and Graham that for a certain family of polynomials $T_{n}(x)$, derived from the descent statistic on permutations, the coefficient sequence of $T_{n-1}(x)$ coincides with that of the polynomial $T_{n}(x)/\left(1+x+\cdots+x^{n-1}\right)$. We observed computationally that the inflated $\mathbf{s}$-Eulerian polynomial $Q_{n}^{(\mathbf{s})}(x)$, which satisfies $Q_{n}^{(\mathbf{s})}(x) = T_{n}(x)$ when $\mathbf{s}=(1,2,\ldots,n)$, also satisfies this property for many sequences $\mathbf{s}$. In this work we characterize those sequences $\mathbf{s}$ for which the coefficient sequence of $Q_{n-1}^{(\mathbf{s})}(x)$ coincides with that of the polynomial $Q_{n}^{(\mathbf{s})}(x)/\left(1+x+\cdots+x^{s_{n}-1}\right)$. In particular, we show that all nondecreasing sequences satisfy this property.
We also settle a conjecture of Pensyl and Savage by showing that the inflated $\mathbf{s}$-Eulerian polynomials are unimodal for all choices of positive integer sequences ${\bf s}$. In addition, we determine when these polynomials are palindromic and show our characterization is equivalent to another of Beck, Braun, Köppe, Savage, and Zafeirakopoulos.
On the growth of deviations
Published in Proceedings of the American Mathematical Society, Vol. 144, pp 5049-5060 (2016)
• View Publication
• BIB
The deviations of a graded algebra are a sequence of integers that determine the Poincare series of its residue field and arise as the number of generators of certain DG algebras. In a sense, deviations measure how far a ring is from being a complete intersection. In this paper we study extremal deviations among those of algebras with a fixed Hilbert series. In this setting, we prove that, like the Betti numbers, deviations do not decrease when passing to an initial ideal and are maximized by the Lex-segment ideal. We also prove that deviations grow exponentially for Golod rings and for certain quadratic monomial algebras.
On Disjoint hypercubes in Fibonacci cubes
Published
• View Publication
• BIB
The {\em Fibonacci cube} of dimension $n$, denoted as $Γ\_n$, is the subgraph of $n$-cube $Q\_n$ induced by vertices with no consecutive 1's. We study the maximum number of disjoint subgraphs in $Γ\_n$ isomorphic to $Q\_k$, and denote this number by $q\_k(n)$. We prove several recursive results for $q\_k(n)$, in particular we prove that
$q\_{k}(n) = q\_{k-1}(n-2) + q\_{k}(n-3)$. We also prove a closed formula in which $q\_k(n)$ is given in terms of Fibonacci numbers, and finally we give the generating function for the sequence $\{q\_{k}(n)\}\_{n=0}^{ \infty}$.