Showing 20 papers (Total: 82661 papers, 47773 authors in database)
A combinatorial identity on Galton-Watson process
Let $f(m,c)=\sum_{k=0}^{\infty} (km+1)^{k-1} c^k e^{-c(km+1)/m} / (m^kk!)$. For any positive integer $m$ and positive real $c$, the identity $f(m,c)=f(1,c)^{1/m}$ arises in the random graph theory. In this paper, we present two elementary proofs of this identity: a pure combinatorial proof and a power-serial proof. We also proved that this identity holds for any positive reals $m$ and $c$.
Critical surface of the 1-2 model
Published
• View Publication
• BIB
The 1-2 model on the hexagonal lattice is a model of statistical mechanics in which each vertex is constrained to have degree either $1$ or $2$. There are three types of edge, and three corresponding parameters $a$, $b$, $c$. It is proved that, when $a \ge b \ge c > 0$, the surface given by $\sqrt a = \sqrt b + \sqrt c$ is critical. The proof hinges upon a representation of the partition function in terms of that of a certain dimer model. This dimer model may be studied via the Pfaffian representation of Fisher, Kasteleyn, and Temperley. It is proved, in addition, that the two-edge correlation function converges exponentially fast with distance when $\sqrt a \ne \sqrt b + \sqrt c$. Many of the results may be extended to periodic models.
Relation between spherical designs through a Hopf map
Cohn--Conway--Elkies--Kumar [Experiment. Math. (2007)] described that one can construct a family of designs on $S^{2n-1}$ from a design on $\mathbb{CP}^{n-1}$. In this paper, we prove their claim for the case where $n=2$. That is, we give an algorithm to construct $2t$-designs on $S^{3}$ as products through a Hopf map $S^3 \rightarrow S^2$ of a $t$-design on $S^2$ and a $2t$-design on $S^1$.
Supercongruences for the Almkvist-Zudilin numbers
Published
• View Publication
• BIB
Given a prime number $p$, the study of divisibility properties of a sequence $c(n)$ has two contending approaches: $p$-adic valuations and superconcongruences. The former searches for the highest power of $p$ dividing $c(n)$, for each $n$; while the latter (essentially) focuses on the maximal powers $r$ and $t$ such that $c(p^rn)$ is congruent to $c(p^{r-1}n)$ modulo $p^t$. This is called supercongruence. In this paper, we prove a conjecture on supercongruences for sequences that have come to be known as the Almkvist-Zudilin numbers. Some other (naturally) related family of sequences will be considered in a similar vain.
Improved lower bounds on extremal functions of multidimensional permutation matrices
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 zeroes. Let $f(n,P,d)$ denote the maximum number of ones in a $d$-dimensional $n \times \cdots \times n$ zero-one matrix that avoids $P$.
Fox proved for $n$ sufficiently large that $f(n, P, 2) = 2^{k^{Θ(1)}}n$ for almost all $k \times k$ permutation matrices $P$. We extend this result by proving for $d \geq 2$ and $n$ sufficiently large that $f(n, P, d) = 2^{k^{Θ(1)}}n^{d-1}$ for almost all $d$-dimensional permutation matrices $P$ of dimensions $k \times \cdots \times k$.
Modulus of continuity eigenvalue bounds for homogeneous graphs and convex subgraphs with applications to quantum Hamiltonians
Published in Journal of Mathematical Analysis and Applications, Vol. 452, No. 2, pg. 1269-1290 (2017)
• View Publication
• BIB
We adapt modulus of continuity estimates to the study of spectra of combinatorial graph Laplacians, as well as the Dirichlet spectra of certain weighted Laplacians. The latter case is equivalent to stoquastic Hamiltonians and is of current interest in both condensed matter physics and quantum computing. In particular, we introduce a new technique which bounds the spectral gap of such Laplacians (Hamiltonians) by studying the limiting behavior of the oscillations of their eigenvectors when introduced into the heat equation. Our approach is based on recent advances in the PDE literature, which include a proof of the fundamental gap theorem by Andrews and Clutterbuck.
Chromatic Symmetric Functions of Hypertrees
Published
• View Publication
• BIB
The chromatic symmetric function $X_H$ of a hypergraph $H$ is the generating function for all colorings of $H$ so that no edge is monochromatic. When $H$ is an ordinary graph, it is known that $X_H$ is positive in the fundamental quasisymmetric functions $F_S$, but this is not the case for general hypergraphs. We exhibit a class of hypergraphs $H$ --- hypertrees with prime-sized edges --- for which $X_H$ is $F$-positive, and give an explicit combinatorial interpretation for the $F$-coefficients of $X_H$.
Greedy Is an Almost Optimal Deque
Published
• View Publication
• BIB
In this paper we extend the geometric binary search tree (BST) model of Demaine, Harmon, Iacono, Kane, and Patrascu (DHIKP) to accommodate for insertions and deletions. Within this extended model, we study the online Greedy BST algorithm introduced by DHIKP. Greedy BST is known to be equivalent to a maximally greedy (but inherently offline) algorithm introduced independently by Lucas in 1988 and Munro in 2000, conjectured to be dynamically optimal.
With the application of forbidden-submatrix theory, we prove a quasilinear upper bound on the performance of Greedy BST on deque sequences. It has been conjectured (Tarjan, 1985) that splay trees (Sleator and Tarjan, 1983) can serve such sequences in linear time. Currently neither splay trees, nor other general-purpose BST algorithms are known to fulfill this requirement. As a special case, we show that Greedy BST can serve output-restricted deque sequences in linear time. A similar result is known for splay trees (Tarjan, 1985; Elmasry, 2004).
As a further application of the insert-delete model, we give a simple proof that, given a set U of permutations of [n], the access cost of any BST algorithm is Omega(log |U| + n) on "most" of the permutations from U. In particular, this implies that the access cost for a random permutation of [n] is Omega(n log n) with high probability.
Besides the splay tree noted before, Greedy BST has recently emerged as a plausible candidate for dynamic optimality. Compared to splay trees, much less effort has gone into analyzing Greedy BST. Our work is intended as a step towards a full understanding of Greedy BST, and we remark that forbidden-submatrix arguments seem particularly well suited for carrying out this program.
Two classes of modular $p$-Stanley sequences
Published
• View Publication
• BIB
Consider a set $A$ with no $p$-term arithmetic progressions for $p$ prime. The $p$-Stanley sequence of a set $A$ is generated by greedily adding successive integers that do not create a $p$-term arithmetic progression. For $p>3$ prime, we give two distinct constructions for $p$-Stanley sequences which have a regular structure and satisfy certain conditions in order to be modular $p$-Stanley sequences, a set of particularly nice sequences defined by Moy and Rolnick which always have a regular structure.
Odlyzko and Stanley conjectured that the 3-Stanley sequence generated by $\{0,n\}$ only has a regular structure if $n=3^k$ or $n=2\cdot 3^k$. For $p>3$ we find a substantially larger class of integers $n$ such that the $p$-Stanley sequence generated from $\{0,n\}$ is a modular $p$-Stanley sequence and numerical evidence given by Moy and Rolnick suggests that these are the only $n$ for which the $p$-Stanley sequence generated by $\{0,n\}$ is a modular $p$-Stanley sequence. Our second class is a generalization of a construction of Rolnick for $p=3$ and is thematically similar to the analogous construction by Rolnick.
A sufficient condition for a balanced bipartite digraph to be hamiltonian
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 3, Graph Theory (November 10, 2017) dmtcs:1239
• View Publication
• BIB
We describe a new type of sufficient condition for a balanced bipartite digraph to be hamiltonian. Let $D$ be a balanced bipartite digraph and $x,y$ be distinct vertices in $D$. $\{x, y\}$ dominates a vertex $z$ if $x\rightarrow z$ and $y\rightarrow z$; in this case, we call the pair $\{x, y\}$ dominating. In this paper, we prove that a strong balanced bipartite digraph $D$ on $2a$ vertices contains a hamiltonian cycle if, for every dominating pair of vertices $\{x, y\}$, either $d(x)\ge 2a-1$ and $d(y)\ge a+1$ or $d(x)\ge a+1$ and $d(y)\ge 2a-1$. The lower bound in the result is sharp.
Combinatorics of Poincaré's and Schröder's equations
Published
• View Publication
• BIB
We investigate the combinatorial properties of the functional equation $φ[h(z)]=h(qz)$ for the conjugation of a formal diffeomorphism $φ$ of $\mathbb{C}$ to its linear part $z\mapsto qz$. This is done by interpreting the functional equation in terms of symmetric functions, and then lifting it to noncommutative symmetric functions. We describe explicitly the expansion of the solution in terms of plane trees and prove that its expression on the ribbon basis has coefficients in ${\mathbb N}[q]$ after clearing the denominators $(q)_n$. We show that the conjugacy equation can be lifted to a quadratic fixed point equation in the free triduplicial algebra on one generator. This can be regarded as a $q$-deformation of the duplicial interpretation of the noncommutative Lagrange inversion formula. Finally, these calculations are interpreted in terms of the group of the operad of Stasheff polytopes, and are related to Ecalle's arborified expansion by means of morphisms between various Hopf algebras of trees.
Courte preuve d'une identité comportant les nombres de Bernoulli
In this paper, we give a short proof of a relation generalizing many identities for Bernoulli numbers.
A flag vector of a 3-sphere that is not the flag vector of a 4-polytope
Published in Mathematika 63 (2017) 260-271
• View Publication
• BIB
We present a first example of a flag vector of a polyhedral sphere that is not the flag vector of any polytope. Namely, there is a unique 3-sphere with the parameters $(f_0,f_1,f_2,f_3;f_{02})=(12,40,40,12;120)$, but this sphere is not realizable by a convex 4-polytope.
The 3-sphere, which is 2-simple and 2-simplicial, was found by Werner (2009); we present results of a computer enumeration which imply that the sphere with these parameters is unique. We prove that it is non-polytopal in two ways: First, we show that it has no oriented matroid, and thus it is not realizable; this proof was found by computer, but can be verified by hand. The second proof is again a computer-based oriented matroid proof and shows that for exactly one of the facets this sphere does not even have a diagram based on this facet. Using the non-polytopality, we finally prove that the sphere is not even embeddable as a polytopal complex.
Projective Space: Reguli and Projectivity
We investigate an `assumption of projectivity' that is appropriate to the self-dual axiomatic formulation of three-dimensional projective space.
Falconer distance problem, additive energy and Cartesian products
Published in Ann. Acad. Sci. Fenn. Math. 41 (2016), no. 2, 579-585
• View Publication
• BIB
A celebrated result due to Wolff says if $E$ is a compact subset of ${\Bbb R}^2$, then the Lebesgue measure of the distance set $Δ(E)=\{|x-y|: x,y \in E \}$ is positive if the Hausdorff dimension of $E$ is greater than $\frac{4}{3}$. In this paper we improve the $\frac{4}{3}$ barrier by a small exponent for Cartesian products. In higher dimensions, also in the context of Cartesian products, we reduce Erdogan's $\frac{d}{2}+\frac{1}{3}$ exponent to $\frac{d^2}{2d-1}$. The proof uses a combination of Fourier analysis and additive comibinatorics.
Asymptotic of Number of Similarity Classes of Commuting Tuples
Published in Journal of the Ramanujan Mathematical Society 2016
• Search Publication
We have for positive integers $n$, $k$ and finite field $\mathbb{F}_q$, $c(n,k,q)$, as the number of simultaneous similarity classes of $k$-tuples of commuting $n\times n$ matrices over the $\mathbb{F}_q$. In this paper, it has been shown that $c(n,k,q)$ as a function of $k$ for fixed $n$ and $q$ is asymptotically $q^{m(n)k}$, where $m(n) = \left[\frac{n^2}{4}\right] + 1$, which is the dimension of the maximal commutative subalgebra of $M_n(\mathbb{F}_q)$ (the algebra of $n\times n$ matrices over $\mathbb{F}_q$).
Reductions of particular hypergeometric functions $_3F_2(a,a+1/3,a+2/3;p/3,q/3;\pm 1)$
We principally present reductions of certain generalized hypergeometric functions $_3F_2(\pm 1)$ in terms of products of elementary functions. Most of these results have been known for some time, but one of the methods, wherein we simultaneously solve for three alternating binomial sums, may be new. We obtain a functional equation holding for all three of this set of alternating binomial sums. Using successive derivatives, we show how related chains of $_3F_2(\pm 1)$ values may be obtained. It may be emphasized that we make no reliance on the WZ method for hypergeometric summation. Additional material on Pochhammer symbols and certain of their products is presented in an Appendix to supplement the pedagogical content of the paper.
First passage percolation on the Newman-Watts small world model
Published in Journal of Statistical Phyisics, Vol 162, (4) pp 959-993, 2016
• View Publication
• BIB
The Newman-Watts model is given by taking a cycle graph of n vertices and then adding each possible edge $(i,j), |i-j|\neq 1 \mod n$ with probability $ρ/n$ for some $ρ>0$ constant. In this paper we add i.i.d. exponential edge weights to this graph, and investigate typical distances in the corresponding random metric space given by the least weight paths between vertices. We show that typical distances grow as $\frac1λ\log n$ for a $λ>0$ and determine the distribution of smaller order terms in terms of limits of branching process random variables. We prove that the number of edges along the shortest weight path follows a Central Limit Theorem, and show that in a corresponding epidemic spread model the fraction of infected vertices follows a deterministic curve with a random shift.
Erdős-Ko-Rado Theorems for a Family of Trees
Published
• View Publication
• BIB
Given a graph $G$ and an integer $r\geq 1$, let $\mathcal{I}^{(r)}(G)$ denote the family of independent sets of size $r$ of $G$. For a vertex $v$ of $G$, let $\mathcal{I}^{(r)}_v(G)$ denote the family of independent sets of size $r$ that contain~$v$. This family is called an $r$-star and $v$ is the centre of the star. Then $G$ is said to be $r$-EKR if no pairwise intersecting subfamily of $\mathcal{I}^{(r)}(G)$ is bigger than the largest $r$-star, and if every maximum size pairwise intersecting subfamily of $\mathcal{I}^{(r)}(G)$ is an $r$-star, then $G$ is said to be strictly $r$-EKR. Let $μ(G)$ denote the minimum size of a maximal independent set of $G$. Holroyd and Talbot conjectured that if $2r \leq μ(G)$, then $G$ is $r$-EKR and strictly $r$-EKR if $2r < μ(G)$.
An elongated claw is a tree in which one vertex is designated the root and no vertex other than the root has degree greater than 2. A depth-two claw is an elongated claw in which every vertex of degree~1 is at distance 2 from the root. We show that if $G$ is a depth-two claw, then $G$ is strictly $r$-EKR if $2r \leq μ(G)+1$, confirming the conjecture of Holroyd and Talbot for this family. We also show that if $G $ is an elongated claw with $n$ leaves and at least one leaf adjacent to the root, then $G$ is $r$-EKR if $2r \leq n$.
Hurlbert and Kamat had conjectured that one can always find a largest $r$-star of a tree whose centre is a leaf. Baber and Borg have separately shown this to be false. We show that, moreover, for all $n \geq 2$, $d \geq 3$, there exists a positive integer $r$ such that there is a tree where the centre of the largest $r$-star is a vertex of degree $n$ at distance at least $d$ from every leaf.
Canonizing Graphs of Bounded Tree Width in Logspace
Published
• View Publication
• BIB
Graph canonization is the problem of computing a unique representative, a canon, from the isomorphism class of a given graph. This implies that two graphs are isomorphic exactly if their canons are equal. We show that graphs of bounded tree width can be canonized by logarithmic-space (logspace) algorithms. This implies that the isomorphism problem for graphs of bounded tree width can be decided in logspace. In the light of isomorphism for trees being hard for the complexity class logspace, this makes the ubiquitous class of graphs of bounded tree width one of the few classes of graphs for which the complexity of the isomorphism problem has been exactly determined.