sequence
6845 papers tagged with this keyword
Extremal Functions of Forbidden Multidimensional Matrices
Published
• View Publication
• BIB
Pattern avoidance is a central topic in graph theory and combinatorics. Pattern avoidance in matrices has applications in computer science and engineering, such as robot motion planning and VLSI circuit design. A $d$-dimensional zero-one matrix $A$ avoids another $d$-dimensional zero-one matrix $P$ if no submatrix of $A$ can be transformed to $P$ by changing some ones to zeros. A fundamental problem is to study the maximum number of nonzero entries in a $d$-dimensional $n \times \cdots \times n$ matrix that avoids $P$. This maximum number, denoted by $f(n,P,d)$, is called the extremal function.
We advance the extremal theory of matrices in two directions. The methods that we use come from combinatorics, probability, and analysis. Firstly, we obtain non-trivial lower and upper bounds on $f(n,P,d)$ when $n$ is large for every $d$-dimensional block permutation matrix $P$. We establish the tight bound $Θ(n^{d-1})$ on $f(n,P,d)$ for every $d$-dimensional tuple permutation matrix $P$. This tight bound has the lowest possible order that an extremal function of a nontrivial matrix can ever achieve. Secondly, we show that $f(n,P,d)$ is super-homogeneous for a class of matrices $P$. We use this super-homogeneity to show that the limit inferior of the sequence $\{ {f(n,P,d) \over n^{d-1}}\}$ has a lower bound $2^{Ω(k^{1/ d})}$ for a family of $k \times \cdots \times k$ permutation matrices $P$. We also improve the upper bound on the limit superior from $2^{O(k \log k)}$ to $2^{O(k)}$ for all $k \times \cdots \times k$ permutation matrices and show that the new upper bound also holds for tuple permutation matrices.
The proof of a conjecture on largest Laplacian and signless Laplacian H-eigenvalues of uniform hypergraphs
Published
• View Publication
• BIB
Let $\mathcal{A(}G\mathcal{)},\mathcal{L(}G\mathcal{)}$ and $\mathcal{Q(}% G\mathcal{)}$ be the adjacency tensor, Laplacian tensor and signless Laplacian tensor of uniform hypergraph $G$, respectively. Denote by $λ(\mathcal{T})$ the largest H-eigenvalue of tensor $\mathcal{T}$. Let $H$ be a uniform hypergraph, and $H^{\prime}$ be obtained from $H$ by inserting a new vertex with degree one in each edge. We prove that $λ(\mathcal{Q(}% H^{\prime}\mathcal{)})\leqλ(\mathcal{Q(}H\mathcal{)}).$ Denote by $G^{k}$ the $k$th power hypergraph of an ordinary graph $G$ with maximum degree $Δ\geq2$. We will prove that $\{λ(\mathcal{Q(}% G^{k}\mathcal{)})\}$ is a strictly decreasing sequence, which imply Conjectrue 4.1 of Hu, Qi and Shao in \cite{HuQiShao2013}. We also prove that $λ(\mathcal{Q(}G^{k}\mathcal{)})$ converges to $Δ$ when $k$ goes to infinity. The definiton of $k$th power hypergraph $G^{k}$ has been generalized as $G^{k,s}.$ We also prove some eigenvalues properties about $\mathcal{A(}% G^{k,s}\mathcal{)},$ which generalize some known results. Some related results about $\mathcal{L(}G\mathcal{)}$ are also mentioned.
A categorification of the chromatic symmetric function
Published
• View Publication
• BIB
The Stanley chromatic symmetric function $X_G$ of a graph $G$ is a symmetric function generalization of the chromatic polynomial, and has interesting combinatorial properties. We apply the ideas of Khovanov homology to construct a homology of graded $S_n$-modules, whose graded Frobenius series $Frob_G(q,t)$ reduces to the chromatic symmetric function at $q=t=1$. This homology can be thought of as a categorification of the chromatic symmetric function, and provides a homological analogue of several familiar properties of $X_G$. In particular, the decomposition formula for $X_G$ discovered recently by Orellana and Scott, and Guay-Paquet is lifted to a long exact sequence in homology.
A natural counting of lambda terms
Published
• View Publication
• BIB
We study the sequences of numbers corresponding to lambda terms of given sizes, where the size is this of lambda terms with de Bruijn indices in a very natural model where all the operators have size 1. For plain lambda terms, the sequence corresponds to two families of binary trees for which we exhibit bijections. We study also the distribution of normal forms, head normal forms and strongly normalizing terms. In particular we show that strongly normalizing terms are of density 0 among plain terms.
On expansion of $G_{n, d}$ with respect to $G_{m, d}$
In several works, Mendel and Naor have introduced and developed theory surrounding a nonlinear expansion constant similar to the spectral gap for sequences of graphs, in which one considers embeddings of a graph $G$ into a metric space $X$ \cite{mendel2010towards, mendel2013nonlinear, mendel2014expanders}. Here, we investigate the open question of whether the random regular graph $G_{n, d}$ is an expander when embedded into the metric space of a random regular graph $G_{m, d}$ a.a.s., where $m\leq n$. We show that if $m$ is fixed, the answer is affirmative. In addition, when $m\to \infty$, we provide partial solutions to the problem in the case that $d$ is fixed or that $d\to \infty$ under the constraint $d=o(m^{1/2})$.
The peeling process of infinite Boltzmann planar maps
Published in The Electronic Journal of Combinatorics 23 (2016) pp.1.28
• View Publication
• BIB
We start by studying a peeling process on finite random planar maps with faces of arbitrary degrees determined by a general weight sequence, which satisfies an admissibility criterion. The corresponding perimeter process is identified as a biased random walk, in terms of which the admissibility criterion has a very simple interpretation. The finite random planar maps under consideration were recently proved to possess a well-defined local limit known as the infinite Boltzmann planar map (IBPM). Inspired by recent work of Curien and Le Gall, we show that the peeling process on the IBPM can be obtained from the peeling process of finite random maps by conditioning the perimeter process to stay positive. The simplicity of the resulting description of the peeling process allows us to obtain the scaling limit of the associated perimeter and volume process for arbitrary regular critical weight sequences.
Recovering a tree from the lengths of subtrees spanned by a randomly chosen sequence of leaves
Published
• View Publication
• BIB
Given an edge-weighted tree $T$ with $n$ leaves, sample the leaves uniformly at random without replacement and let $W_k$, $2 \le k \le n$, be the length of the subtree spanned by the first $k$ leaves. We consider the question, "Can $T$ be identified (up to isomorphism) by the joint probability distribution of the random vector $(W_2, \ldots, W_n)$?" We show that if $T$ is known {\em a priori} to belong to one of various families of edge-weighted trees, then the answer is, "Yes." These families include the edge-weighted trees with edge-weights in general position, the ultrametric edge-weighted trees, and certain families with equal weights on all edges such as $(k+1)$-valent and rooted $k$-ary trees for $k \ge 2$ and caterpillars.
First passage percolation on random graphs with infinite variance degrees
We prove non-universality results for first-passage percolation on the configuration model with i.i.d. degrees having infinite variance. We focus on the weight of the optimal path between two uniform vertices. Depending on the properties of the weight distribution, we use an example-based approach and show that rather different behaviors are possible. When the weights are a.s. larger than a constant, the weight and number of edges in the graph grow proportionally to loglog(n), as for the graph distances. On the other hand, when the continuous-time branching process describing the first passage percolation exploration through the graph reaches infinitely many vertices in finite time, the weight converges to the sum of two i.i.d. random variables representing the explosion times of the processes started from the two sources. This non-universality is in sharp contrast to the setting where the degree sequence has a finite variance (see Bhamidi, Hofstad and Hooghiemstra arXiv: 1210.6839).
On the Curling Number of Certain Graphs
In this paper, we introduce the concept of curling subsequence of simple, finite and connected graphs. A curling subsequence is a maximal subsequence $C$ of the degree sequence of a simple connected graph $G$ for which the curling number $cn(G)$ corresponds to the curling number of the degree sequence per se and hence we call it the curling number of the graph $G$. A maximal degree subsequence with equal entries is called an identity subsequence. The number of identity curling subsequences in a simple connected graph $G$ is denoted $ic(G).$ We show that the curling number conjecture holds for the degree sequence of a simple connected graph $G$ on $n \geq 1$ vertices. We also introduce the notion of the compound curling number of a simple connected graph $G$ and then initiate a study on the curling number of certain standard graphs like Jaco graphs and set-graphs.
Positive independence densities of finite rank countable hypergraphs are achieved by finite hypergraphs
Published
• View Publication
• BIB
The independence density of a finite hypergraph is the probability that a subset of vertices, chosen uniformly at random contains no hyperedges. Independence densities can be generalized to countable hypergraphs using limits. We show that, in fact, every positive independence density of a countably infinite hypergraph with hyperedges of bounded size is equal to the independence density of some finite hypergraph whose hyperedges are no larger than those in the infinite hypergraph. This answers a question of Bonato, Brown, Kemkes, and Prałat about independence densities of graphs. Furthermore, we show that for any $k$, the set of independence densities of hypergraphs with hyperedges of size at most $k$ is closed and contains no infinite increasing sequences.
Scaling limits of random outerplanar maps with independent link-weights
Published
• View Publication
• BIB
The scaling limit of large simple outerplanar maps was established by Caraceni using a bijection due to Bonichon, Gavoille and Hanusse. The present paper introduces a new bijection between outerplanar maps and trees decorated with ordered sequences of edge-rooted dissections of polygons. We apply this decomposition in order to provide a new, short proof of the scaling limit that also applies to the general setting of first-passage percolation. We obtain sharp tail-bounds for the diameter and recover the asymptotic enumeration formula for outerplanar maps. Our methods also enable us treat subclasses such as bipartite outerplanar maps.
Subdivision into i-packings and S-packing chromatic number of some lattices
Published
• View Publication
• BIB
An $i$-packing in a graph $G$ is a set of vertices at pairwise distance greater than $i$. For a nondecreasing sequence of integers $S=(s\_{1},s\_{2},\ldots)$, the $S$-packing chromatic number of a graph $G$ is the least integer $k$ such that there exists a coloring of $G$ into $k$ colors where each set of vertices colored $i$, $i=1,\ldots, k$, is an $s\_i$-packing.
This paper describes various subdivisions of an $i$-packing into $j$-packings ($j\textgreater{}i$) for the hexagonal, square and triangular lattices. These results allow us to bound the $S$-packing chromatic number for these graphs, with more precise bounds and exact values for sequences $S=(s\_{i}, i\in\mathbb{N}^{*})$, $s\_{i}=d+ \lfloor (i-1)/n \rfloor$.
Unimodality Problems in Ehrhart Theory
Published
• View Publication
• BIB
Ehrhart theory is the study of sequences recording the number of integer points in non-negative integral dilates of rational polytopes. For a given lattice polytope, this sequence is encoded in a finite vector called the Ehrhart $h^*$-vector. Ehrhart $h^*$-vectors have connections to many areas of mathematics, including commutative algebra and enumerative combinatorics. In this survey we discuss what is known about unimodality for Ehrhart $h^*$-vectors and highlight open questions and problems.
Pattern avoidance is not P-recursive
Let $F \subset S_k$ be a finite set of permutations and let $C_n(F)$ denote the number of permutations $σ$ in $S_n$ avoiding the set of patterns $F$. The Noonan-Zeilberger conjecture states that the sequence ${C_n(F)}$ is P-recursive. We use Computability Theory to disprove this conjecture.
Sun's log-concavity conjecture on the Catalan-Larcombe-French sequence
Published
• View Publication
• BIB
Let $\{P_n\}_{n\geq 0}$ denote the Catalan-Larcombe-French sequence, which naturally came up from the series expansion of the complete elliptic integral of the first kind. In this paper, we prove the strict log-concavity of the sequence $\{\sqrt[n]{P_n}\}_{n\geq 1}$, which was originally conjectured by Sun. We also obtain the strict log-concavity of the sequence $\{\sqrt[n]{V_n}\}_{n\geq 1}$, where $\{V_n\}_{n\geq 0}$ is the Fennessey-Larcombe-French sequence arising in the series expansion of the complete elliptic integral of the second kind.
Lattice Path Matroids: Negative Correlation and Fast Mixing
Catalan numbers arise in many enumerative contexts as the counting sequence of combinatorial structures. In this work, we consider natural Markov chains on some of the realizations of the Catalan sequence. While our main result is in deriving an $O(n^2 \log n)$ bound on the mixing time in $L_2$ (and hence total variation) distance for the random transposition chain on Dyck paths, we raise several open questions, including the optimality of the above bound. The novelty in our proof is in establishing a certain negative correlation property among random bases of lattice path matroids, including the so-called Catalan matroid which can be defined using Dyck paths.
Points on a line, shoelace and dominoes
Published in Translation of the article published at "Matematicheskoe Prosveshchenie" (3rd ser.), Vol. 19. 2015. P.139-163. (in Russian)
• Search Publication
In this survey we consider numerous known and unknown combinatorial realizations of the sequence A079487 and basic facts about it.
The interplay of Invariant Theory with Multiplicative Ideal Theory and with Arithmetic Combinatorics
Published
• View Publication
• BIB
This paper surveys and develops links between polynomial invariants of finite groups, factorization theory of Krull domains, and product-one sequences over finite groups. The goal is to gain a better understanding of the multiplicative ideal theory of invariant rings, and connections between the Noether number and the Davenport constants of finite groups.
Inverse results for weighted Harborth constants
Published
• View Publication
• BIB
For a finite abelian group $(G,+)$ the Harborth constant is defined as the smallest integer $\ell$ such that each squarefree sequence over $G$ of length $\ell$ has a subsequence of length equal to the exponent of $G$ whose terms sum to $0$. The plus-minus weighted Harborth constant is defined in the same way except that the existence of a plus-minus weighted subsum equaling $0$ is required, that is, when forming the sum one can chose a sign for each term. The inverse problem associated to these constants is the problem of determining the structure of squarefree sequences of maximal length that do not yet have such a zero-subsum. We solve the inverse problems associated to these constant for certain groups, in particular for groups that are the direct sum of a cyclic group and a group of order two. Moreover, we obtain some results for the plus-minus weighted Erdős--Ginzburg--Ziv constant.
On One-Parameter Catalan Arrays
Published in Journal of Integer Sequences, Vol. 18 (2015), Article 15.5.1
• Search Publication
We present a parametric family of Riordan arrays which are obtained by multiplying any Riordan array with a generalized Pascal array. In particular, we focus on some interesting properties of one-parameter Catalan triangles. We obtain several combinatorial identities that involve two special Catalan matrices, the Chebyshev polynomials of the second kind, some periodic sequences, and the Fibonacci numbers.