Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Geometry of infinite planar maps with high degrees
Published in Electron. J. Probab. 22 (2017), no. 35
• View Publication
• BIB
We study the geometry of infinite random Boltzmann planar maps with vertices of high degree. These correspond to the duals of the Boltzmann maps associated to a critical weight sequence $(q_{k})_{ k \geq 0}$ for the faces with polynomial decay $k^{-a}$ with $a \in ( 3/2, 5/2)$ which have been studied by Le Gall & Miermont as well as by Borot, Bouttier & Guitter. We show the existence of a phase transition for the geometry of these maps at $a = 2$. In the dilute phase corresponding to $a \in (2, 5/2)$ we prove that the volume of the ball of radius $r$ (for the graph distance) is of order $r^{\mathsf{d}}$ with $\mathsf{d}= (a-1/2)/(a-2)$, and we provide distributional scaling limits for the volume and perimeter process. In the dense phase corresponding to $a \in (3/2,2)$ the volume of the ball of radius $r$ is exponential in $r$. We also study the first-passage percolation (FPP) distance with exponential edge weights and show in particular that in the dense phase the FPP distance between the origin and infinity is finite. The latter implies in addition that the random lattices in the dense phase are transient. The proofs rely on the recent peeling process introduced in arXiv:1506.01590 and use ideas of arXiv:1412.5509 in the dilute phase.
Perfect (super) edge-magic crowns
In this paper we continue the study of the valences for (super) edge-magic labelings of crowns $C_{m}\odot \overline K_{n}$ and we prove that the crowns are perfect (super) edge-magic when $m=pq$ where $p$ and $q$ are different odd primes. We also provide a lower bound for the number of different valences of $C_{m}\odot \overline K_{n}$, in terms of the prime factors of $m$.
The structure of large intersecting families
Published
• View Publication
• BIB
A collection of sets is {\em intersecting} if every two members have nonempty intersection. We describe the structure of intersecting families of $r$-sets of an $n$-set whose size is quite a bit smaller than the maximum ${n-1 \choose r-1}$ given by the Erd\H os-Ko-Rado Theorem.
In particular, this extends the Hilton-Milner theorem on nontrivial intersecting families and answers a recent question of Han and Kohayakawa for large $n$. In the case $r=3$ we describe the structure of all intersecting families with more than 10 edges. We also prove a stability result for the Erdos matching problem. Our short proofs are simple applications of the Delta-system method introduced and extensively used by Frankl since 1977.
Making Walks Count: From Silent Circles to Hamiltonian Cycles
Published in In: J. Beineke, J. Rosenhouse (eds.) The Mathematics of Various Entertaining Subjects. Volume 2: Research in Games, Graphs, Counting, and Complexity. Princeton University Press, 2017, pp. 157-168. ISBN 978-0-691-17192-0
• View Publication
• BIB
We illustrate the application of the matrix-transfer method for a number of enumeration problems concerning the party game Silent Circles, Hamiltonian cycles in the antiprism graphs, and simple paths and cycles of a fixed length in arbitrary graphs.
Rational Mixed Tate Motivic Graphs
Published in Ann. K-Th. 2 (2017) 451-515
• View Publication
• BIB
In this paper, we study the combinatorics of a subcomplex of the Bloch-Kriz cycle complex [4] used to construct the category of mixed Tate motives. The algebraic cycles we consider properly contain the subalgebra of cycles that correspond to multiple logarithms (as defined in [12]). We associate an algebra of graphs to our subalgebra of algebraic cycles. We give a purely graphical criterion for admissibilty. We show that sums of bivalent graphs correspond to coboundary elements of the algebraic cycle complex. Finally, we compute the Hodge realization for an infinite family of algebraic cycles represented by sums of graphs that are not describable in the combinatorial language of [12].
On a lower bound for sorting signed permutations by reversals
Computing the reversal distances of signed permutations is an important topic in Bioinformatics. Recently, a new lower bound for the reversal distance was obtained via the plane permutation framework. This lower bound appears different from the existing lower bound obtained by Bafna and Pevzner through breakpoint graphs. In this paper, we prove that the two lower bounds are equal. Moreover, we confirm a related conjecture on skew-symmetric plane permutations, which can be restated as follows: let $p=(0,-1,-2,\ldots -n,n,n-1,\ldots 1)$ and let
$$
\tilde{s}=(0,a_1,a_2,\ldots a_n,-a_n,-a_{n-1},\ldots -a_1)
$$ be any long cycle on the set $\{-n,-n+1,\ldots 0,1,\ldots n\}$. Then, $n$ and $a_n$ are always in the same cycle of the product $p\tilde{s}$. Furthermore, we show the new lower bound via plane permutations can be interpreted as the topological genera of orientable surfaces associated to signed permutations.
Rainbow vertex-connection and forbidden subgraphs
Published
• View Publication
• BIB
A path in a vertex-colored graph is called \emph{vertex-rainbow} if its internal vertices have pairwise distinct colors. A graph $G$ is \emph{rainbow vertex-connected} if for any two distinct vertices of $G$, there is a vertex-rainbow path connecting them. For a connected graph $G$, the \emph{rainbow vertex-connection number} of $G$, denoted by $rvc(G)$, is defined as the minimum number of colors that are required to make $G$ rainbow vertex-connected. In this paper, we find all the families $\mathcal{F}$ of connected graphs with $|\mathcal{F}|\in\{1,2\}$, for which there is a constant $k_\mathcal{F}$ such that, for every connected $\mathcal{F}$-free graph $G$, $rvc(G)\leq diam(G)+k_\mathcal{F}$, where $diam(G)$ is the diameter of $G$.
Lengths of words in transformation semigroups generated by digraphs
Published in J. Algebraic Combinatorics 45 (2017), 149-170
• View Publication
• BIB
Given a simple digraph $D$ on $n$ vertices (with $n\ge2$), there is a natural construction of a semigroup $\langle D\rangle$ associated with $D$. For any edge $(a,b)$ of $D$, let $a\to b$ be the idempotent of defect $1$ mapping $a$ to $b$ and fixing all vertices other than $a$; then define $\langle D\rangle$ to be the semigroup $\langle a\to b:(a,b)\in E(D)\rangle$. For $α\in \langle D \rangle$, let $\ell(D,α)$ be the minimal length of a word in $E(D)$ expressing $α$. When $D=K_n$ is the complete undirected graph, Howie and Iwahori, independently, obtained a formula to calculate $\ell(K_n,α)$, for any $α\in \langle K_n \rangle = \text{Sing}_n$; however, no analogous nontrivial results are known when $D \neq K_n$. In this paper, we characterise all simple digraphs $D$ such that either $\ell(D,α)$ is equal to Howie-Iwahori's formula for all $α\in \langle D \rangle$, or $\ell(D,α) = n - \text{fix}(α)$ for all $α\in \langle D \rangle$, or $\ell(D,α) = n - \text{rk}(α)$ for all $α\in \langle D \rangle$. When $D$ is an acyclic digraph and $α\in \langle D \rangle$, we find a tight upper bound for $\ell(D,α)$. Finally, we study the case when $D$ is a strong tournament (which corresponds to a smallest generating set of idempotents of defect $1$ of $\text{Sing}_n$), and we propose some conjectures.
Balanced Non-Transitive Dice
Published
• View Publication
• BIB
We study triples of labeled dice in which the relation "is a better die than" is non-transitive. Focusing on such triples with an additional symmetry we call "balance," we prove that such triples of $n$-sided dice exist for all $n \geq 3$. We then examine the sums of the labels of such dice, and use these results to construct an $O(n^2)$ algorithm for verifying whether or not a triple of $n$-sided dice is balanced and non-transitive. Finally, we consider generalizations to larger sets of dice.
Geometric properties of infinite graphs and the Hardy-Littlewood maximal operator
Published
• View Publication
• BIB
We study different geometric properties on infinite graphs, related to the weak-type boundedness of the Hardy-Littlewood maximal averaging operator. In particular, we analyze the connections between the doubling condition, having finite dilation and overlapping indices, uniformly bounded degree, the equidistant comparison property and the weak-type boundedness of the centered Hardy-Littlewood maximal operator. Several non-trivial examples of infinite graphs are given to illustrate the differences among these properties.
Spectral radius and Hamiltonicity of graphs with large minimum degree
Published
• View Publication
• BIB
This paper presents sufficient conditions for Hamiltonian paths and cycles in graphs. Letting $λ\left( G\right) $ denote the spectral radius of the adjacency matrix of a graph $G,$ the main results of the paper are:
(1) Let $k\geq1,$ $n\geq k^{3}/2+k+4,$ and let $G$ be a graph of order $n$, with minimum degree $δ\left( G\right) \geq k.$ If \[ λ\left( G\right) \geq n-k-1, \] then $G$ has a Hamiltonian cycle, unless $G=K_{1}\vee(K_{n-k-1}+K_{k})$ or $G=K_{k}\vee(K_{n-2k}+\overline{K}_{k})$.
(2) Let $k\geq1,$ $n\geq k^{3}/2+k^{2}/2+k+5,$ and let $G$ be a graph of order $n$, with minimum degree $δ\left( G\right) \geq k.$ If \[ λ\left( G\right) \geq n-k-2, \] then $G$ has a Hamiltonian path, unless $G=K_{k}\vee(K_{n-2k-1}+\overline {K}_{k+1})$ or $G=K_{n-k-1}+K_{k+1}$
In addition, it is shown that in the above statements, the bounds on $n$ are tight within an additive term not exceeding $2$.
A Combinatorial Approach to the Symmetry of $q,t$-Catalan Numbers
Published in SIAM J. Discrete Math (SIDMA). 32 (2018) no.1, 191--232
• View Publication
• BIB
The \emph{$q,t$-Catalan numbers} $C_n(q,t)$ are polynomials in $q$ and $t$ that reduce to the ordinary Catalan numbers when $q=t=1$. These polynomials have important connections to representation theory, algebraic geometry, and symmetric functions. Haglund and Haiman discovered combinatorial formulas for $C_n(q,t)$ as weighted sums of Dyck paths (or equivalently, integer partitions contained in a staircase shape). This paper undertakes a combinatorial investigation of the joint symmetry property $C_n(q,t)=C_n(t,q)$. We conjecture some structural decompositions of Dyck objects into "mutually opposite" subcollections that lead to a bijective explanation of joint symmetry in certain cases. A key new idea is the construction of infinite chains of partitions that are independent of $n$ but induce the joint symmetry for all $n$ simultaneously. Using these methods, we prove combinatorially that for $0\leq k\leq 9$ and all $n$, the terms in $C_n(q,t)$ of total degree $\binom{n}{2}-k$ have the required symmetry property.
Some results on an algebro-geometric condition on graphs
Published
• View Publication
• BIB
Paolo Aluffi, inspired by an algebro-geometric problem, asked when the Kirchhoff polynomial of a graph is in the Jacobian ideal of the Kirchhoff polynomial of the same graph with one edge deleted.
We give some results on which graph-edge pairs have this property. In particular we show that multiple edges can be reduced to double edges, we characterize which edges of wheel graphs satisfy the property, we consider a stronger condition which guarantees the property for any parallel join, and we find a class of series-parallel graphs with the property.
Sum-product phenomena: p-adic case
Published
• View Publication
• BIB
The sum-product phenomena over a finite extension K of $\mathbb{Q}_p$ is explored. The main feature of the results is the fact that the implied constants are independent of $p$.
Statistical properties of eigenvalues of Laplace-Beltrami operators
Published
• View Publication
• BIB
We study the eigenvalues of a Laplace-Beltrami operator defined on the set of the symmetric polynomials, where the eigenvalues are expressed in terms of partitions of integers. By assigning partitions with the restricted uniform measure, the restricted Jack measure, the uniform measure or the Plancherel measure, we prove that the global distribution of the eigenvalues is asymptotically a new distribution $μ$, the Gamma distribution, the Gumbel distribution and the Tracy-Widom distribution, respectively. An explicit representation of $μ$ is obtained by a function of independent random variables. We also derive an independent result on random partitions itself: a law of large numbers for the restricted uniform measure. Two open problems are also asked.
Holonomic Tools for Basic Hypergeometric Functions
Published
• View Publication
• BIB
With the exception of q-hypergeometric summation, the use of computer algebra packages implementing Zeilberger's "holonomic systems approach" in a broader mathematical sense is less common in the field of q-series and basic hypergeometric functions. A major objective of this article is to popularize the usage of such tools also in these domains. Concrete case studies showing software in action introduce to the basic techniques. An application highlight is a new computer-assisted proof of the celebrated Ismail-Zhang formula, an important q-analog of a classical expansion formula of plane waves in terms of Gegenbauer polynomials.
Cyclopermutohedron: geometry and topology
Published
• View Publication
• BIB
The face poset of the permutohedron realizes the combinatorics of linearly ordered partitions of the set $[n]=\{1,...,n\}$. Similarly, the cyclopermutohedron is a virtual polytope that realizes the combinatorics of cyclically ordered partitions of the set $[n+1]$. The cyclopermutohedron was introduced by the third author by motivations coming from configuration spaces of polygonal linkages. In the paper we prove two facts: (1) the volume of the cyclopermutohedron equals zero, and (2) the homology groups $H_k$ for $k=0,...,n-2$ of the face poset of the cyclopermutohedron are non-zero free abelian groups. We also present a short formula for their ranks.
The Berenstein-Zelevinsky quantum cluster algebra conjecture
Published
• View Publication
• BIB
We prove the Berenstein-Zelevinsky conjecture that the quantized coordinate rings of the double Bruhat cells of all finite dimensional simple algebraic groups admit quantum cluster algebra structures with initial seeds as specified by [4]. We furthermore prove that the corresponding upper quantum cluster algebras coincide with the constructed quantum cluster algebras and exhibit a large number of explicit quantum seeds. Along the way a detailed study of the properties of quantum double Bruhat cells from the viewpoint of noncommutative UFDs is carried out and a quantum analog of the Fomin-Zelevinsky twist map is constructed and investigated for all double Bruhat cells. The results are valid over base fields of arbitrary characteristic and the deformation parameter is only assumed to be a non-root of unity.
The Real-rootedness of Generalized Narayana Polynomials
Published
• View Publication
• BIB
In this paper, we prove the real-rootedness of two classes of generalized Narayana polynomials: one arising as the $h$-polynomials of the generalized associahedron associated to the finite Weyl groups, the other arising in the study of the infinite log-concavity of the Boros-Moll polynomials. For the former, Brändén has already proved that these $h$-polynomials have only real zeros. We establish certain recurrence relations for the two classes of Narayana polynomials, from which we derive the real-rootedness. To prove the real-rootedness, we use a sufficient condition, due to Liu and Wang, to determine whether two polynomials have interlaced zeros. The recurrence relations are verified with the help of the Mathematica package \textit{HolonomicFunctions}.
Arithmetic properties of Delannoy numbers and Schröder numbers
Published in J. Number Theory 183 (2018), 146-171
• View Publication
• BIB
Define $$D_n(x)=\sum_{k=0}^n\binom nk^2x^k(x+1)^{n-k}\ \ \ \mbox{for}\ n=0,1,2,\ldots$$ and $$s_n(x)=\sum_{k=1}^n\frac1n\binom nk\binom n{k-1}x^{k-1}(x+1)^{n-k}\ \ \ \mbox{for}\ n=1,2,3,\ldots.$$ Then $D_n(1)$ is the $n$-th central Delannoy number $D_n$, and $s_n(1)$ is the $n$-th little Schröder number $s_n$. In this paper we obtain some surprising arithmetic properties of $D_n(x)$ and $s_n(x)$. We show that $$\frac1n\sum_{k=0}^{n-1}D_k(x)s_{k+1}(x)\in\mathbb Z[x(x+1)]\ \quad\mbox{for all}\ n=1,2,3,\ldots.$$ Moreover, for any odd prime $p$ and $p$-adic integer $x\not\equiv0,-1\pmod p$, we establish the supercongruence $$\sum_{k=0}^{p-1}D_k(x)s_{k+1}(x)\equiv0\pmod{p^2}.$$ As an application we confirm Conjecture 5.5 in [S14a], in particular we prove that $$\frac1n\sum_{k=0}^{n-1}T_kM_k(-3)^{n-1-k}\in\mathbb Z\quad\mbox{for all}\ n=1,2,3,\ldots,$$ where $T_k$ is the $k$-th central trinomial coefficient and $M_k$ is the $k$-th Motzkin number.