Showing 20 papers (Total: 82851 papers, 47869 authors in database)
A generalization of hall's theorem for k-uniform k-partite hypergraphs
In this paper we prove a generalized version of Hall's theorem for hypergraphs. More precisely, let H be a k-uniform k- partite hypergraph with some ordering on parts as V1, V2,..., Vk. such that the subhypergraph generated on union of V1, V2,..., Vk-1 has a unique perfect matching. In this case, we give a necessary and sufficient condition for having a matching of size t = |V1| in H. Some relevant results and counterexamples are given as well.
Upper tails for arithmetic progressions in a random set
Published
• View Publication
• BIB
Let $X_k$ denote the number of $k$-term arithmetic progressions in a random subset of $\mathbb{Z}/N\mathbb{Z}$ or $\{1, \dots, N\}$ where every element is included independently with probability $p$. We determine the asymptotics of $\log \mathbb{P}(X_k \ge (1+δ) \mathbb{E} X_k)$ (also known as the large deviation rate) where $p \to 0$ with $p \ge N^{-c_k}$ for some constant $c_k > 0$, which answers a question of Chatterjee and Dembo. The proofs rely on the recent nonlinear large deviation principle of Eldan, which improved on earlier results of Chatterjee and Dembo. Our results complement those of Warnke, who used completely different methods to estimate, for the full range of $p$, the large deviation rate up to a constant factor.
Bootstrap percolation on G(n,p) revisited
Bootstrap percolation on a graph with infection threshold $r\in \mathbb{N}$ is an infection process, which starts from a set of initially infected vertices and in each step every vertex with at least $r$ infected neighbours becomes infected. We consider bootstrap percolation on the binomial random graph $G(n,p)$, which was investigated among others by Janson, Łuczak, Turova and Valier (2012). We improve their results by strengthening the probability bounds for the number of infected vertices at the end of the process.
Unique reconstruction threshold for random jigsaw puzzles
A random jigsaw puzzle is constructed by arranging $n^2$ square pieces into an $n \times n$ grid and assigning to each edge of a piece one of $q$ available colours uniformly at random, with the restriction that touching edges receive the same colour. We show that if $q = o(n)$ then with high probability such a puzzle does not have a unique solution, while if $q \ge n^{1 + \varepsilon}$ for any constant $\varepsilon > 0$ then the solution is unique. This solves a conjecture of Mossel and Ross (Shotgun assembly of labeled graphs, arXiv:1504.07682).
A half-normal distribution scheme for generating functions and the unexpected behavior of Motzkin paths
We present an extension of a theorem by Michael Drmota and Michèle Soria [Images and Preimages in Random Mappings, 1997] that can be used to identify the limiting distribution for a class of combinatorial schemata. This is achieved by determining analytical and algebraic properties of the associated bivariate generating function. We give sufficient conditions implying a half-normal limiting distribution, extending the known conditions leading to either a Rayleigh, a Gaussian, or a convolution of the last two distributions. We conclude with three natural appearances of such a limiting distribution in the domain of Motzkin paths.
Core congestion is inherent in hyperbolic networks
Published
• View Publication
• BIB
We investigate the impact the negative curvature has on the traffic congestion in large-scale networks. We prove that every Gromov hyperbolic network $G$ admits a core, thus answering in the positive a conjecture by Jonckheere, Lou, Bonahon, and Baryshnikov, Internet Mathematics, 7 (2011) which is based on the experimental observation by Narayan and Saniee, Physical Review E, 84 (2011) that real-world networks with small hyperbolicity have a core congestion. Namely, we prove that for every subset $X$ of vertices of a $δ$-hyperbolic graph $G$ there exists a vertex $m$ of $G$ such that the disk $D(m,4 δ)$ of radius $4 δ$ centered at $m$ intercepts at least one half of the total flow between all pairs of vertices of $X$, where the flow between two vertices $x,y\in X$ is carried by geodesic (or quasi-geodesic) $(x,y)$-paths. A set $S$ intercepts the flow between two nodes $x$ and $y$ if $S$ intersect every shortest path between $x$ and $y$. Differently from what was conjectured by Jonckheere et al., we show that $m$ is not (and cannot be) the center of mass of $X$ but is a node close to the median of $X$ in the so-called injective hull of $X$. In case of non-uniform traffic between nodes of $X$ (in this case, the unit flow exists only between certain pairs of nodes of $X$ defined by a commodity graph $R$), we prove a primal-dual result showing that for any $ρ>5δ$ the size of a $ρ$-multi-core (i.e., the number of disks of radius $ρ$) intercepting all pairs of $R$ is upper bounded by the maximum number of pairwise $(ρ-3δ)$-apart pairs of $R$.
Shotgun Assembly of Random Jigsaw Puzzles
Published
• View Publication
• BIB
In a recent work, Mossel and Ross considered the shotgun assembly problem for a random jigsaw puzzle. Their model consists of a puzzle - an $n\times n$ grid, where each vertex is viewed as a center of a piece. They assume that each of the four edges adjacent to a vertex, is assigned one of $q$ colors (corresponding to "jigs", or cut shapes) uniformly at random. Mossel and Ross asked: how large should $q = q(n)$ be so that with high probability the puzzle can be assembled uniquely given the collection of individual tiles? They showed that if $q = ω(n^2)$, then the puzzle can be assembled uniquely with high probability, while if $q = o(n^{2/3})$, then with high probability the puzzle cannot be uniquely assembled. Here we improve the upper bound and show that for any $\eps > 0$, the puzzle can be assembled uniquely with high probability if $q \geq n^{1+\eps}$. The proof uses an algorithm of $n^{Θ(1/\eps)}$ running time.
Error-correcting codes from $k$-resolving sets
Published
• View Publication
• BIB
We demonstrate a construction of error-correcting codes from graphs by means of $k$-resolving sets, and present a decoding algorithm which makes use of covering designs. Along the way, we determine the $k$-metric dimension of grid graphs (i.e. Cartesian products of paths).
The number of subsets of integers with no $k$-term arithmetic progression
Published
• View Publication
• BIB
Addressing a question of Cameron and Erd\Ho s, we show that, for infinitely many values of $n$, the number of subsets of $\{1,2,\ldots, n\}$ that do not contain a $k$-term arithmetic progression is at most $2^{O(r_k(n))}$, where $r_k(n)$ is the maximum cardinality of a subset of $\{1,2,\ldots, n\}$ without a $k$-term arithmetic progression. This bound is optimal up to a constant factor in the exponent. For all values of $n$, we prove a weaker bound, which is nevertheless sufficient to transfer the current best upper bound on $r_k(n)$ to the sparse random setting. To achieve these bounds, we establish a new supersaturation result, which roughly states that sets of size $Θ(r_k(n))$ contain superlinearly many $k$-term arithmetic progressions.
For integers $r$ and $k$, Erd\Ho s asked whether there is a set of integers $S$ with no $(k+1)$-term arithmetic progression, but such that any $r$-coloring of $S$ yields a monochromatic $k$-term arithmetic progression. Nešetřil and Rödl, and independently Spencer, answered this question affirmatively. We show the following density version: for every $k\ge 3$ and $δ>0$, there exists a reasonably dense subset of primes $S$ with no $(k+1)$-term arithmetic progression, yet every $U\subseteq S$ of size $|U|\geδ|S|$ contains a $k$-term arithmetic progression.
Our proof uses the hypergraph container method, which has proven to be a very powerful tool in extremal combinatorics. The idea behind the container method is to have a small certificate set to describe a large independent set. We give two further applications in the appendix using this idea.
Minors of asymptotically almost all sparse paving matroids
We use counting arguments to show that asymptotically almost all sparse paving matroids contain an $H$-minor, where $H$ falls into one of several simple classes of matroids. Furthermore the result holds for all $H$ in a larger class of matroids, if we restrict to asymptotically almost all sparse paving matroids of fixed rank $r$ (where $r$ is necessarily no smaller than the rank of $H$).
A Note on the Structure of Roller Coaster Permutations
Published
• View Publication
• BIB
We consider the structure of roller coaster permutations as introduced by Ahmed & Snevily[1]. A roller coaster permutation is described as a permuta- tion that maximizes the total switches from ascending to descending or visa versa for the permutation and all of its subpermutations simultaneously. This paper looks at the alternating structure of these permutations and then we introduce a notion of a condition stronger than alternating for a permutation that we shall refer to as recursively alternating. We also examine the behav- ior of what entries can show up in even, odd, and end positions within the permutations.
Upper bounds on the size of transitive subtournaments in digraphs
Published
• View Publication
• BIB
In this paper, we consider upper bounds on the size of transitive subtournaments in a digraph. In particular, we give an analogy of Hoffman's bound for the size of cocliques in a regular graph. Furthermore, we partially improve the Hoffman type bound for doubly regular tournaments by using the technique of Greaves and Soicher for strongly regular graphs [4], which gives a new application of block intersection polynomials.
A Vizing-like theorem for union vertex-distinguishing edge coloring
Published
• View Publication
• BIB
We introduce a variant of the vertex-distinguishing edge coloring problem, where each edge is assigned a subset of colors. The label of a vertex is the union of the sets of colors on edges incident to it. In this paper we investigate the problem of finding a coloring with the minimum number of colors where every vertex receives a distinct label. Finding such a coloring generalizes several other well-known problems of vertex-distinguishing colorings in graphs.We show that for any graph (without connected component reduced to an edge or a single vertex), the minimum number of colors for which such a coloring exists can only take 3possible values depending on the order of the graph. Moreover, we provide the exact value for paths, cycles and complete binary trees.
The descent statistic on signed simsun permutations
In this paper we study the generating polynomials obtained by enumerating signed simsun permutations by number of the descents. Properties of the polynomials, including the recurrence relations and generating functions are studied.
Unmixed d-uniform r-partite hypergraphs
In this paper, we characterize all unmixed d-uniform r-partite hypergraphs under a certain condition. Also we give a necessary condition for unmixedness in d-uniform hypergraphs with a perfect matching of size n. Finally we give a sufficient condition for unmixednes in d-uniform hypergraphs with a perfect matching.
The Ramanujan Property for Simplicial Complexes
Let $G$ be a topological group acting on a simplicial complex $\mathcal{X}$ satisfying some mild assumptions. For example, consider a $k$-regular tree and its automorphism group, or more generally, a regular affine Bruhat-Tits building and its automorphism group. We define and study various types of high-dimensional spectra of quotients of $\mathcal{X}$ by subgroups of $G$. These spectra include the spectrum of many natural operators associated with the quotients, e.g. the high-dimensional Laplacians.
We prove a theorem in the spirit of the Alon-Boppana Theorem, leading to a notion of Ramanujan quotients of $\mathcal{X}$. Ramanujan $k$-regular graphs and Ramanuajn complexes in the sense of Lubotzky, Samuels and Vishne are Ramanujan in dimension $0$ according to our definition (for $\mathcal{X}$, $G$ suitably chosen). We give a criterion for a quotient of $\mathcal{X}$ to be Ramanujan which is phrased in terms of representations of $G$, and use it, together with deep results about automorphic representations, to show that affine buildings of inner forms of $\mathbf{GL}_n$ over local fields of positive characteristic admit infinitely many quotients which are Ramanujan in all dimensions. The Ramanujan (in dimension $0$) complexes constructed by Lubotzky, Samuels and Vishne arise as a special case of our construction. Our construction also gives rise to Ramanujan graphs which are apparently new.
Other applications are also discussed. For example, we show that there are non-isomorphic simiplicial complexes which are isospectral in all dimensions.
Recent results on permutations without short cycles
The density, denoted by $κ(n,r)$, of permutations having no cycles of length less than $r+1$ in a symmetric group $\mathrm{S}_n$ is explored. New asymptotic formulas for $κ(n,r)$ are obtained using the saddle-point method when $5\leq r< n$ and $n\to\infty$.
The Avalanche Polynomial of a Graph
The (univariate) avalanche polynomial of a graph, introduced by Cori, Dartois and Rossin in 2006, captures the distribution of the length of (principal) avalanches in the abelian sandpile model. This polynomial has been used to show that the avalanche distribution in the sandpile model on a multiple wheel graph does not follow the expected power law function. In this article, we introduce the (multivariate) avalanche polynomial that enumerates the toppling sequences of all principal avalanches. This polynomial generalizes the univariate avalanche polynomial and encodes more information. In particular, the avalanche polynomial of a tree uniquely identifies the underlying tree. In this paper, the avalanche polynomial is characterized for trees, cycles, wheels, and complete graphs.
Domination polynomial of clique cover product of graphs
Let $G$ be a simple graph of order $n$. The domination polynomial of $G$ is the polynomial $D(G, x)=\sum_{i=1}^n d(G,i) x^i$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$. For two graphs $G$ and $H$, let $\mathcal{C} = \{C_1,C_2, \cdots, C_k\}$ be a clique cover of $G$ and $U\subseteq V(H)$. We consider clique cover product which denoted by $G^\mathcal{C} \star H^U$ and obtained from $G$ as follows: for each clique $C_i \in \mathcal{C}$, add a copy of the graph $H$ and join every vertex of $C_i$ to every vertex of $U$. We prove that the domination polynomial of clique cover product $G^\mathcal{C} \star H^{V(H)}$ or simply $G^\mathcal{C} \star H$ is
\[
D(G^\mathcal{C} \star H,x)=\prod_{i=1}^k\Big [\big((1+x)^{n_i}-1\big)(1+x)^{|V(H)|}+D(H,x)\Big], \] where each clique $C_i \in \mathcal{C}$ has $n_i$ vertices. As results, we study the $\mathcal{D}$-equivalence classes of some families of graphs. Also we completely describe the $\mathcal{D}$-equivalence classes of friendship graphs constructed by coalescence $n$ copies of the cycle graph of length three with a common vertex.
On the real-rootedness of the local $h$-polynomials of edgewise subdivisions
Published
• View Publication
• BIB
Athanasiadis conjectured that, for every positive integer $r$, the local $h$-polynomial of the $r$th edgewise subdivision of any simplex has only real zeros. In this paper, based on the theory of interlacing polynomials, we prove that a family of polynomials related to the desired local $h$-polynomial is interlacing and hence confirm Athanasiadis' conjecture.