Showing 20 papers (Total: 84125 papers, 48472 authors in database)
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.
On the convergence of monotone Hurwitz generating functions
Published
• View Publication
• BIB
Monotone Hurwitz numbers were introduced by the authors as a combinatorially natural desymmetrization of the Hurwitz numbers studied in enumerative algebraic geometry. Over the course of several papers, we developed the structural theory of monotone Hurwitz numbers and demonstrated that it is in many ways parallel to that of their classical counterparts. In this note, we identify an important difference between the monotone and classical worlds: fixed-genus generating functions for monotone double Hurwitz numbers are absolutely summable, whereas those for classical double Hurwitz numbers are not. This property is crucial for applications of monotone Hurwitz theory in analysis. We quantify the growth rate of monotone Hurwitz numbers in fixed genus by giving universal upper and lower bounds on the radii of convergence of their generating functions.
Rationality for subclasses of 321-avoiding permutations
Published
• View Publication
• BIB
We prove that every proper subclass of the 321-avoiding permutations that is defined either by only finitely many additional restrictions or is well quasi-ordered has a rational generating function. To do so we show that any such class is in bijective correspondence with a regular language. The proof makes significant use of formal languages and of a host of encodings, including a new mapping called the panel encoding that maps languages over the infinite alphabet of positive integers avoiding certain subwords to languages over finite alphabets.
Well-quasi-ordering H-contraction-free graphs
A well-quasi-order is an order which contains no infinite decreasing sequence and no infinite collection of incomparable elements. In this paper, we consider graph classes defined by excluding one graph as contraction. More precisely, we give a complete characterization of graphs H such that the class of H-contraction-free graphs is well-quasi-ordered by the contraction relation. This result is the contraction analogue on the previous dichotomy theorems of Damsaschke [Induced subgraphs and well-quasi-ordering, Journal of Graph Theory, 14(4):427-435, 1990] on the induced subgraph relation, Ding [Subgraphs and well-quasi-ordering, Journal of Graph Theory, 16(5):489-502, 1992] on the subgraph relation, and Błasiok et al. [Induced minors and well-quasi-ordering, ArXiv e-prints, 1510.07135, 2015] on the induced minor relation.
$p$-adic asymptotic properties of constant-recursive sequences
Published in Indagationes Mathematicae 28 (2017) 205-220
• View Publication
• BIB
In this article we study $p$-adic properties of sequences of integers (or $p$-adic integers) that satisfy a linear recurrence with constant coefficients. For such a sequence, we give an explicit approximate twisted interpolation to $\mathbb Z_p$. We then use this interpolation for two applications. The first is that certain subsequences of constant-recursive sequences converge $p$-adically. The second is that the density of the residues modulo $p^α$ attained by a constant-recursive sequence converges, as $α\to \infty$, to the Haar measure of a certain subset of $\mathbb Z_p$. To illustrate these results, we determine some particular limits for the Fibonacci sequence.
Construction and characterization of graphs whose each spanning tree has a perfect matching
Published
• View Publication
• BIB
An edge subset $S$ of a connected graph $G$ is called an anti-Kekulé set if $G-S$ is connected and has no perfect matching. We can see that a connected graph $G$ has no anti-Kekulé set if and only if each spanning tree of $G$ has a perfect matching. In this paper, by applying Tutte's 1-factor theorem and structure of minimally 2-connected graphs, we characterize all graphs whose each spanning tree has a perfect matching In addition, we show that if $G$ is a connected graph of order $2n$ for a positive integer $n\geq 4$ and size $m$ whose each spanning tree has a perfect matching, then $m\leq \frac{(n+1)n} 2$, with equality if and only if $G\cong K_n\circ K_1$.
Improved Bounds for Uniform Hypergraphs without Property B
Published in Australasian Journal of Combinatorics, Volume 76 (1), pages 73-86, 2020
• Search Publication
A hypergraph is said to be properly 2-colorable if there exists a 2-coloring of its vertices such that no hyperedge is monochromatic. On the other hand, a hypergraph is called non-2-colorable if there exists at least one monochromatic hyperedge in each of the possible 2-colorings of its vertex set. Let m(n) denote the minimum number of hyperedges in a non-2-colorable n-uniform hypergraph. Establishing the lower and upper bounds on m(n) is a well-studied research direction over several decades. In this paper, we present new constructions for non-2-colorable n-uniform hypergraphs. These constructions improve the upper bounds for m(8), m(13), m(14), m(16) and m(17). We also improve the lower bound for m(5).
The Multiplicative Automorphisms of a Finite Nearfield, with an Application
Published
• View Publication
• BIB
In this paper we look at the automorphisms of the multiplicative group of finite nearfields. We find partial results for the actual automorphism groups. We find counting techniques for the size of all finite nearfields. We then show that these results can be used in order to count the number of near vector spaces of a given dimension over a given nearfield, up to isomorphism.