Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Affine Springer fibers of type A and combinatorics of diagonal coinvariants
Published
• View Publication
• BIB
We calculate the Borel-Moore homology of affine Springer fibers of type $A$ associated to some regular semisimple nil elliptic elements. As a result, we obtain bigraded $\mf{S}_{n}$-modules whose bigraded Frobenius series are generalization of the symmetric functions introduced by Haglund, Haiman, Loehr, Remmel, and Ulyanov.
Ribbon graphs and the Temperley-Lieb Algebra
Published
• View Publication
• BIB
Let $n$ be a nonnegative integer, we use ribbon $n-$graph diagrams and the Yamada polynomial skein relations to construct an algebra ${\mathcal Y}_n$ which is shown to be closely related to the Temerley-Lieb Algebra. We prove that the algebra ${\mathcal Y}_2$ is isomorphic to some quotient of a three variables polynomial algebra. Then, we give a family of generators for the algebra ${\mathcal Y}_3$.
Circular law for random discrete matrices of given row sum
Published
• View Publication
• BIB
Let $M_n$ be a random matrix of size $n\times n$ and let $λ_1,...,λ_n$ be the eigenvalues of $M_n$. The empirical spectral distribution $μ_{M_n}$ of $M_n$ is defined as $$μ_{M_n}(s,t)=\frac{1}{n}# \{k\le n, \Re(λ_k)\le s; \Im(λ_k)\le t\}.$$
The circular law theorem in random matrix theory asserts that if the entries of $M_n$ are i.i.d. copies of a random variable with mean zero and variance $σ^2$, then the empirical spectral distribution of the normalized matrix $\frac{1}{σ\sqrt{n}}M_n$ of $M_n$ converges almost surely to the uniform distribution $μ_\cir$ over the unit disk as $n$ tends to infinity.
In this paper we show that the empirical spectral distribution of the normalized matrix of $M_n$, a random matrix whose rows are independent random $(-1,1)$ vectors of given row-sum $s$ with some fixed integer $s$ satisfying $|s|\le (1-o(1))n$, also obeys the circular law. The key ingredient is a new polynomial estimate on the least singular value of $M_n$.
Adding one edge to planar graphs makes crossing number and 1-planarity hard
Published
• View Publication
• BIB
A graph is near-planar if it can be obtained from a planar graph by adding an edge. We show the surprising fact that it is NP-hard to compute the crossing number of near-planar graphs. A graph is 1-planar if it has a drawing where every edge is crossed by at most one other edge. We show that it is NP-hard to decide whether a given near-planar graph is 1-planar. The main idea in both reductions is to consider the problem of simultaneously drawing two planar graphs inside a disk, with some of its vertices fixed at the boundary of the disk. This leads to the concept of anchored embedding, which is of independent interest. As an interesting consequence we obtain a new, geometric proof of NP-completeness of the crossing number problem, even when restricted to cubic graphs. This resolves a question of Hliněný.
A partial order structure on interval orders
We introduce a partial order structure on the set of interval orders of a given size, and prove that such a structure is in fact a lattice. We also provide a way to compute meet and join inside this lattice. Finally, we show that, if we restrict to series parallel interval order, what we obtain is the classical Tamari poset.
On the further properties of $\{U_n\}$
Let $\{U_n\}$ be given by $U_0=1$ and $U_n=-2\sum_{k=1}^{[n/2]} \b n{2k}U_{n-2k}\ (n\ge 1)$, where $[\cdot]$ is the greatest integer function. In the paper we present a summation formula and several congruences involving $\{U_n\}$.
Characteristic polynomials, related to the normal form of the non linear Schrödinger equation
We study the irreducibility of the characteristic polynomial of the energy graph of the non linear Schrödinger equation (NLS). This will be useful to the verification of the second Melnikov condition for NLS.
On Bivariate s-Fibopolynomials
In this article we study a generalization of Fibonomials, replacing the Fibonacci sequences by bivariate s-Fibonacci polynomial sequences. We call the obtained objects "Bivariate s-Fibopolynomials".
Conifold degenerations of Fano 3-folds as hypersurfaces in toric varieties
Published
• View Publication
• BIB
There exist exactly 166 4-dimensional reflexive polytopes such that the corresponding 4-dimensional Gorenstein toric Fano varieties have at worst terminal singularities in codimension 3 and their anticanonical divisor is divisible by 2. For every such a polytope, one naturally obtains a family of Fano hypersurfaces X with at worst conifold singularities. A generic 3-dimensional Fano hypersurface X can be interpreted as a flat conifold degeneration of some smooth Fano 3-folds Y whose classification up to deformation was obtained by Iskovskikh, Mori and Mukai. In this case, both Fano varieties X and Y have the same Picard number r. Using toric mirror symmetry, we define a r-dimensional generalized hypergeometric power series associated to the dual reflexive polytope. We show that if r =1 then this series is a normalized regular solution of a modular D3-equation that appears in the Golyshev correspondence. We expect that the multidimensional power series can be used to compute the small quantum cohomology ring of all Fano 3-folds Y with the Picard number r >1 if Y admit a conifold degeneration X.
Towards the Continuous Limit of Cluster Integrable Systems
Published
• View Publication
• BIB
We initiate the study of how to extend the correspondence between dimer models and (0+1)-dimensional cluster integrable systems to (1+1) and (2+1)-dimensional continuous integrable field theories, addressing various points that are necessary for achieving this goal. We first study how to glue and split two integrable systems, from the perspectives of the spectral curve, the resolution of the associated toric Calabi-Yau 3-folds and Higgsing in quiver theories on D3-brane probes. We identify a continuous parameter controlling the decoupling between the components and present two complementary methods for determining the dependence on this parameter of the dynamical variables of the integrable system. Interested in constructing systems with an infinite number of degrees of freedom, we study the combinatorics of integrable systems built up from a large number of elementary components, and introduce a toy model capturing important features expected to be present in a continuous reformulation of cluster integrable systems.
Universal homogeneous constraint structures and the hom-equivalence classes of weakly oligomorphic structures
We derive a new sufficient condition for the existence of ω-categorical universal structures in classes of relational structures with constraints, augmenting results by Cherlin, Shelah, Chi, and Hubička and Nešetřil. Using this result we show that the hom-equivalence class of any countable weakly oligomorphic structure has up to isomorphism a unique model-complete smallest and greatest element, both of which are ω-categorical. As the main tool we introduce the category of constraint structures, show the existence of universal homogeneous objects, and study their automorphism groups. All constructions rest on a category-theoretic version of Fraïssé's Theorem due to Droste and Göbel. We derive sufficient conditions for a comma category to contain a universal homogeneous object. This research is motivated by the observation that all countable models of the theory of a weakly oligomorphic structure are hom-equivalent---a result akin to (part of) the Ryll-Nardzewski Theorem.
Corrigendum: Sampling regular graphs and a peer-to-peer network
In [Combinatorics, Probability and Computing 16 (2007), 557 - 593, Theorem 1] we proved a polynomial-time bound on the mixing rate of the switch chain for sampling d-regular graphs. This corrigendum corrects a technical error in the proof. In order to fix the error, we must multiply the bound on the mixing time by a factor of d^8 .
Growth rate of cluster algebras
Published in Proc. Lond. Math. Soc. 109 (2014), 653-675
• View Publication
• BIB
We complete the computation of growth rate of cluster algebras. In particular, we show that growth of all exceptional non-affine mutation-finite cluster algebras is exponential.
Cutting the same fraction of several measures
Published in Discrete and Computational Geometry 49:2 (2013), 402-410
• View Publication
• BIB
We study some measure partition problems: Cut the same positive fraction of $d+1$ measures in $\mathbb R^d$ with a hyperplane or find a convex subset of $\mathbb R^d$ on which $d+1$ given measures have the same prescribed value. For both problems positive answers are given under some additional assumptions.
On the scaling limit of finite vertex transitive graphs with large diameter
Published
• View Publication
• BIB
Let $(X_n)$ be an unbounded sequence of finite, connected, vertex transitive graphs such that $ |X_n | = o(diam(X_n)^q)$ for some $q>0$. We show that up to taking a subsequence, and after rescaling by the diameter, the sequence $(X_n)$ converges in the Gromov Hausdorff distance to a torus of dimension $<q$, equipped with some invariant Finsler metric. The proof relies on a recent quantitative version of Gromov's theorem on groups with polynomial growth obtained by Breuillard, Green and Tao. If $X_n$ is only roughly transitive and $|X_n| = o\bigl({diam(X_n)^δ}\bigr)$ for $δ> 1$ sufficiently small, we prove, this time by elementary means, that $(X_n)$ converges to a circle.
Exact Sequences for the Homology of the Matching Complex
Published in J. Combin. Theory Ser. A 115 (2008) 1504-1526
• View Publication
• BIB
Building on work by Bouc and by Shareshian and Wachs, we provide a toolbox of long exact sequences for the reduced simplicial homology of the matching complex $M_n$, which is the simplicial complex of matchings in the complete graph $K_n$. Combining these sequences in different ways, we prove several results about the 3-torsion part of the homology of $M_n$. First, we demonstrate that there is nonvanishing 3-torsion in $H_d(M_n;Z)$ whenever $ν_n \le d \le (n-6}/2$, where $ν_n= \lceil (n-4)/3 \rceil$. By results due to Bouc and to Shareshian and Wachs, $H_{ν_n}(M_n;Z)$ is a nontrivial elementary 3-group for almost all $n$ and the bottom nonvanishing homology group of $M_n$ for all $n \neq 2$. Second, we prove that $H_d(M_n;Z)$ is a nontrivial 3-group whenever $ν_n \le d \le (2n-9)/5$. Third, for each $k \ge 0$, we show that there is a polynomial $f_k(r)$ of degree 3k such that the dimension of $H_{k-1+r}(M_{2k+1+3r};Z_3)$, viewed as a vector space over $Z_3$, is at most $f_k(r)$ for all $r \ge k+2$.
On the 3-torsion Part of the Homology of the Chessboard Complex
Published in Ann. Combin. 14 (2010), no. 4, 487-505
• Search Publication
Let $1 \le m \le n$. We prove various results about the chessboard complex $M_{m,n}$, which is the simplicial complex of matchings in the complete bipartite graph $K_{m,n}$. First, we demonstrate that there is nonvanishing 3-torsion in $H_d(M_{m,n};Z)$ whenever $\frac{m+n-4}{3} \le d \le m-4$ and whenever $6 \le m < n$ and $d=m-3$. Combining this result with theorems due to Friedman and Hanlon and to Shareshian and Wachs, we characterize all triples $(m,n,d)$ satisfying $H_{d}(M_{m,n};Z) \neq 0$. Second, for each $k \ge 0$, we show that there is a polynomial $f_k(a,b)$ of degree 3k such that the dimension of $H_{k+a+2b-2}(M_{k+a+3b-1,k+2a+3b-1};Z_3)$, viewed as a vector space over $Z_3$, is at most $f_k(a,b)$ for all $a \ge 0$ and $b \ge k+2$. Third, we give a computer-free proof that $H_2(M_{5,5};Z) \cong Z_3$. Several proofs are based on a new long exact sequence relating the homology of a certain subcomplex of $M_{m,n}$ to the homology of $M_{m-2,n-1}$ and $M_{m-2,n-3}$.
Five-Torsion in the Homology of the Matching Complex on 14 Vertices
Published in J. Algebraic Combin. 29 (2009), no. 1, 81-90
• View Publication
• BIB
J. L. Andersen proved that there is 5-torsion in the bottom nonvanishing homology group of the simplicial complex of graphs of degree at most two on seven vertices. We use this result to demonstrate that there is 5-torsion also in the bottom nonvanishing homology group of the matching complex $M_{14}$ on 14 vertices. Combining our observation with results due to Bouc and to Shareshian and Wachs, we conclude that the case $n=14$ is exceptional; for all other $n$, the torsion subgroup of the bottom nonvanishing homology group has exponent three or is zero. The possibility remains that there is other torsion than 3-torsion in higher-degree homology groups of $M_n$ when $n \ge 13$ and $n \neq 14$.
More Torsion in the Homology of the Matching Complex
Published in Experimental Mathematics 19 (2010), no. 3, 363-383
• View Publication
• BIB
A matching on a set $X$ is a collection of pairwise disjoint subsets of $X$ of size two. Using computers, we analyze the integral homology of the matching complex $M_n$, which is the simplicial complex of matchings on the set $\{1, >..., n\}$. The main result is the detection of elements of order $p$ in the homology for $p \in \{5,7,11,13\}$. Specifically, we show that there are elements of order 5 in the homology of $M_n$ for $n \ge 18$ and for $n \in {14,16}$. The only previously known value was $n = 14$, and in this particular case we have a new computer-free proof. Moreover, we show that there are elements of order 7 in the homology of $M_n$ for all odd $n$ between 23 and 41 and for $n=30$. In addition, there are elements of order 11 in the homology of $M_{47}$ and elements of order 13 in the homology of $M_{62}$. Finally, we compute the ranks of the Sylow 3- and 5-subgroups of the torsion part of $H_d(M_n;Z)$ for $13 \le n \le 16$; a complete description of the homology already exists for $n \le 12$. To prove the results, we use a representation-theoretic approach, examining subcomplexes of the chain complex of $M_n$ obtained by letting certain groups act on the chain complex.
Crossings and nestings in colored set partitions
Published in Electron. J. Combin. 20 (2013), no. 4, Research Paper 6
• View Publication
• BIB
Chen, Deng, Du, Stanley, and Yan introduced the notion of $k$-crossings and $k$-nestings for set partitions, and proved that the sizes of the largest $k$-crossings and $k$-nestings in the partitions of an $n$-set possess a symmetric joint distribution. This work considers a generalization of these results to set partitions whose arcs are labeled by an $r$-element set (which we call \emph{$r$-colored set partitions}). In this context, a $k$-crossing or $k$-nesting is a sequence of arcs, all with the same color, which form a $k$-crossing or $k$-nesting in the usual sense. After showing that the sizes of the largest crossings and nestings in colored set partitions likewise have a symmetric joint distribution, we consider several related enumeration problems. We prove that $r$-colored set partitions with no crossing arcs of the same color are in bijection with certain paths in $\NN^r$, generalizing the correspondence between noncrossing (uncolored) set partitions and 2-Motzkin paths. Combining this with recent work of Bousquet-Mélou and Mishna affords a proof that the sequence counting noncrossing 2-colored set partitions is P-recursive. We also discuss how our methods extend to several variations of colored set partitions with analogous notions of crossings and nestings.