Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Rigged configurations and the $*$-involution
Published in Lett. Math. Phys., 108(9) (2018) pp. 1985-2007
• View Publication
• BIB
We give an explicit description of the $*$-involution on the rigged configuration model for $B(\infty)$.
Branching Rules for Symmetric Hypergeometric Polynomials
Published in Advanced Studies in Pure Mathematics 76 (2018), 125--153
• View Publication
• BIB
Starting from a recently found branching formula for the six-parameter family of symmetric Macdonald-Koornwinder polynomials, we arrive by degeneration at corresponding branching rules for symmetric hypergeometric orthogonal polynomials of Wilson, continuous Hahn, Jacobi, Laguerre, and Hermite type.
Arithmetics and combinatorics of tropical Severi varieties of univariate polynomials
Published
• View Publication
• BIB
We give a description of the tropical variety of univariate polynomials of degree n having two double roots. As a set, it is given as the union of three types of maximal cones of dimension n-1, where only cones of two of these types are cones of the secondary fan of {0,...,n}. Through Kapranov's theorem, this goal is achieved by a careful study of the possible valuations of the elementary symmetric functions of the roots of a polynomial with two double root. Despite its apparent simplicity, the computation of the tropical Severi variety has both combinatorial and arithmetic ingredients.
The Local Cut Lemma
Published in European Journal of Combinatorics, vol. 63 (2017), 95--114
• View Publication
• BIB
The Lovász Local Lemma is a very powerful tool in probabilistic combinatorics, that is often used to prove existence of combinatorial objects satisfying certain constraints. Moser and Tardos have shown that the LLL gives more than just pure existence results: there is an effective randomized algorithm that can be used to find a desired object. In order to analyze this algorithm, Moser and Tardos developed the so-called entropy compression method. It turned out that one could obtain better combinatorial results by a direct application of the entropy compression method rather than simply appealing to the LLL. The aim of this paper is to provide a generalization of the LLL which implies these new combinatorial results. This generalization, which we call the Local Cut Lemma, concerns a random cut in a directed graph with certain properties. Note that our result has a short probabilistic proof that does not use entropy compression. As a consequence, it not only shows that a certain probability is positive, but also gives an explicit lower bound for this probability. As an illustration, we present a new application (an improved lower bound on the number of edges in color-critical hypergraphs) as well as explain how to use the Local Cut Lemma to derive some of the results obtained previously using the entropy compression method.
Pell's equation and series expansions for irrational numbers
Solutions of Pell's equation and hypergeometric series identities are used to study series expansions for $\sqrt{p}$ where $p$ are arbitrary prime numbers. Numerous fast convergent series expansions for this family of irrational numbers are established.
A second proof of the Shareshian--Wachs conjecture, by way of a new Hopf algebra
This is a set of working notes which give a second proof of the Shareshian--Wachs conjecture, the first (and recent) proof being by Brosnan and Chow in November 2015. The conjecture relates some symmetric functions constructed combinatorially out of unit interval graphs (their $q$-chromatic quasisymmetric functions), and some symmetric functions constructed algebro-geometrically out of Tymoczko's representation of the symmetric group on the equivariant cohomology ring of a family of subvarieties of the complex flag variety, called regular semisimple Hessenberg varieties. Brosnan and Chow's proof is based in part on the idea of deforming the Hessenberg varieties. The proof given here, in contrast, is based on the idea of recursively decomposing Hessenberg varieties, using a new Hopf algebra as the organizing principle for this recursion. We hope that taken together, each approach will shed some light on the other, since there are still many outstanding questions regarding the objects under study.
Proof of bijection for combinatorial number system
Combinatorial number system represents a non-negative natural numbers as sum of binomial coefficients. This paper presents an induction proof that there exists unique representation of every non-negative natural number $m$ as sum of $r$ binomial coefficients.
Thrackles containing a standard musquash
A thrackle is a drawing of a graph in which each pair of edges meets precisely once. Conway's Thrackle Conjecture asserts that a planar thrackle drawing of a graph cannot have more edges than vertices, which is equivalent to saying that no connected component of the graph contains more than one cycle. We prove that a thrackle drawing containing a standard musquash (standard $n$-gonal thrackle) cannot contain any other cycle of length three or five.
q-series and tails of colored Jones polynomials
Published in Indagationes Mathematicae 28, no. 1, (2017), 247-260
• View Publication
• BIB
We extend the table of Garoufalidis, Le and Zagier concerning conjectural Rogers-Ramanujan type identities for tails of colored Jones polynomials to all alternating knots up to 10 crossings. We then prove these new identities using q-series techniques.
Treeable Graphings Are Local Limits of Finite Graphs
Let $\mathbf G$ be a graphing, that is a Borel graph defined by $d$ measure preserving involutions. We prove that if $\mathbf G$ is {\em treeable} then it arises as the local limit of some sequence $(G_n)_{n\in\mathbb{N}}$ of graphs with maximum degree at most $d$. This extends a result by Elek [G. Elek, Note on limits of finite graphs, Combinatorica 27 (2007)] (for $\mathbf G$ a treeing) and consequently extends the domain of the graphings for which Aldous-Lyons conjecture is known to be true.
The graphs with all but two eigenvalues equal to $-2$ or $0$
We determine all graphs for which the adjacency matrix has at most two eigenvalues (multiplicities included) not equal to $-2$, or $0$, and determine which of these graphs are determined by their adjacency spectrum.
Polynomials with palindromic and unimodal coefficients
Published in Acta Mathematica Sinica, English Series, 31 (2015), 565--575
• View Publication
• BIB
Let $f(q)=a_rq^r+\cdots+a_sq^s$, with $a_r\neq 0$ and $a_s\neq 0$, be a real polynomial. It is a palindromic polynomial of darga $n$ if $r+s=n$ and $a_{r+i}=a_{s-i}$ for all $i$. Polynomials of darga $n$ form a linear subspace $\mathcal{P}_n(q)$ of $\mathbb{R}(q)_{n+1}$ of dimension $\lfloor{n/2}\rfloor+1$. We give transition matrices between two bases $\left\{q^j(1+q+\cdots+q^{n-2j})\right\}, \left\{q^j(1+q)^{n-2j}\right\}$ and the standard basis $\left\{q^j(1+q^{n-2j})\right\}$ of $\mathcal{P}_n(q)$. We present some characterizations and sufficient conditions for palindromic polynomials that can be expressed in terms of these two bases with nonnegative coefficients. We also point out the link between such polynomials and rank-generating functions of posets.
Total positivity of Riordan arrays
Published in European Journal of Combinatorics, 46 (2015), 68--74
• View Publication
• BIB
We present sufficient conditions for total positivity of Riordan arrays. As applications we show that many well-known combinatorial triangles are totally positive and many famous combinatorial numbers are log-convex in a unified approach.
Total positivity of recursive matrices
Published in Linear Algebra Appl. 471(2015) 383--393
• View Publication
• BIB
Let $A=[a_{n,k}]_{n,k\ge 0}$ be an infinite lower triangular matrix defined by the recurrence $$a_{0,0}=1,\quad a_{n+1,k}=r_{k}a_{n,k-1}+s_{k}a_{n,k}+t_{k+1}a_{n,k+1},$$ where $a_{n,k}=0$ unless $n\ge k\ge 0$ and $r_k,s_k,t_k$ are all nonnegative. Many well-known combinatorial triangles are such matrices, including the Pascal triangle, the Stirling triangle (of the second kind), the Bell triangle, the Catalan triangles of Aigner and Shapiro. We present some sufficient conditions such that the recursive matrix $A$ is totally positive. As applications we give the total positivity of the above mentioned combinatorial triangles in a unified approach.
Ext and Tor on two-dimensional cyclic quotient singularities
Given two torus invariant Weil divisors $D$ and $D'$ on a two-dimensional cyclic quotient singularity $X$, the groups $\mathop{Ext}\nolimits^i_{X}(\mathcal{O}(D),\mathcal{O}(D'))$, $i>0$, are naturally $\mathbb{Z}^2$-graded. We interpret these groups via certain combinatorial objects using methods from toric geometry. In particular, it is enough to give a combinatorial description of the $\mathop{Ext}\nolimits^1$-groups in the polyhedra of global sections of the Weil divisors involved. Higher $\mathop{Ext}\nolimits^i$-groups are then reduced to the case of $\mathop{Ext}\nolimits^1$ via a quiver. We use this description to show that $\mathop{Ext}\nolimits^1_{X}(\mathcal{O}(D),\mathcal{O}(K-D')) = \mathop{Ext}\nolimits^1_{X}(\mathcal{O}(D'),\mathcal{O}(K-D))$, where $K$ denotes the canonical divisor on $X$. Furthermore, we show that $\mathop{Ext}\nolimits^{i+2}_{X}(\mathcal{O}(D),\mathcal{O}(D'))$ is the Matlis dual of $\mathop{Tor}\nolimits_{i}^{X}(\mathcal{O}(D),\mathcal{O}(D'))$.
The diffeomorphism type of small hyperplane arrangements is combinatorially determined
Published
• View Publication
• BIB
It is known that there exist hyperplane arrangements with same underlying matroid that admit non-homotopy equivalent complement manifolds. In this work we show that, in any rank, complex central hyperplane arrangements with up to 7 hyperplanes and same underlying matroid are isotopic. In particular, the diffeomorphism type of the complement manifold and the Milnor fiber and fibration of these arrangements are combinatorially determined, i.e., they depend uniquely on the underlying matroid. To do this, we associate to every such matroid a topological space, that we call the reduced realization space; its connectedness, showed by means of symbolic computation, implies the desired result.
Cores, joins and the Fano-flow conjectures
Published
• View Publication
• BIB
The Fan-Raspaud Conjecture states that every bridgeless cubic graph has three 1-factors with empty intersection. A weaker one than this conjecture is that every bridgeless cubic graph has two 1-factors and one join with empty intersection. Both of these two conjectures can be related to conjectures on Fano-flows. In this paper, we show that these two conjectures are equivalent to some statements on cores and weak cores of a bridgeless cubic graph. In particular, we prove that the Fan-Raspaud Conjecture is equivalent to a conjecture proposed in [E. Steffen, 1-factor and cycle covers of cubic graphs, J. Graph Theory 78 (2015) 195-206]. Furthermore, we disprove a conjecture proposed in [G. Mazzuoccolo, New conjectures on perfect matchings in cubic graphs, Electron. Notes Discrete Math. 40 (2013) 235-238] and we propose a new version of it under a stronger connectivity assumption. The weak oddness of a cubic graph $G$ is the minimum number of odd components in the complement of a join of $G$. We obtain an upper bound of weak oddness in terms of weak cores, and thus an upper bound of oddness in terms of cores as a by-product.
Higher spin six vertex model and symmetric rational functions
Published
• View Publication
• BIB
We consider a fully inhomogeneous stochastic higher spin six vertex model in a quadrant. For this model we derive concise integral representations for multi-point q-moments of the height function and for the q-correlation functions. At least in the case of the step initial condition, our formulas degenerate in appropriate limits to many known formulas of such type for integrable probabilistic systems in the (1+1)d KPZ universality class, including the stochastic six vertex model, ASEP, various q-TASEPs, and associated zero range processes.
Our arguments are largely based on properties of a family of symmetric rational functions which can be defined as partition functions of the inhomogeneous higher spin six vertex model for suitable domains. In the homogeneous case, such functions were previously studied in http://arxiv.org/abs/1410.0976; they also generalize classical Hall-Littlewood and Schur polynomials. A key role is played by Cauchy-like summation identities for these functions, which are obtained as a direct corollary of the Yang-Baxter equation for the higher spin six vertex model.
A note on Edge Isoperimetric Numbers and Regular Graphs
Published
• View Publication
• BIB
This note resolves an open problem asked by Bezrukov in the open problem session of IWOCA 2014. It shows an equivalence between regular graphs and graphs for which a sequence of invariants presents some symmetric property. We extend this result to a few other sequences.
Mutations of splitting maximal modifying modules: The case of reflexive polygons
Published in Int. Math. Res. Not. IMRN, 23 (2019), no. 2, 470-550
• View Publication
• BIB
It is known that every three dimensional Gorenstein toric singularity has a crepant resolution. Although it is not unique, all crepant resolutions are connected by repeating the operation "flop". On the other hand, this singularity also has a non-commutative crepant resolution (= NCCR) which is constructed from a consistent dimer model. Such an NCCR is given as the endomorphism ring of a certain module which we call splitting maximal modifying module. In this paper, we show that all splitting maximal modifying modules are connected by repeating the operation "mutation" of splitting maximal modifying modules for the case of toric singularities associated with reflexive polygons.