Showing 20 papers (Total: 83190 papers, 48060 authors in database)
More on the phi = beta Conjecture and Eigenvalues of Random Graph Lifts
Let $G$ be a connected graph, and let $λ_1$ and $ρ$ denote the spectral radius of $G$ and the universal cover of $G$, respectively. In \cite{Fri03}, Friedman has shown that almost every $n$-lift of $G$ has all of its new eigenvalues bounded by $O(λ_1^{1/2}ρ^{1/2})$. In \cite{LP10}, Linial and Puder have improved this bound to $O(λ_1^{1/3}ρ^{2/3})$. Friedman had conjectured that this bound can actually be improved to $ρ+ o_n(1)$ (e.g., see \cite{Fri03,HLW06}).
In \cite{LP10}, Linial and Puder have formulated two new categorizations of formal words, namely $φ$ and $β$, which assign a non-negative integer or infinity to each word. They have shown that for every word $w$, $φ(w) = 0$ iff $β(w) = 0$, and $φ(w) = 1$ iff $β(w) = 1$. They have conjectured that $φ(w) = β(w)$ for every word $w$, and have run extensive numerical simulations that strongly suggest that this conjecture is true. This conjecture, if proven true, gives us a very promising approach to proving a slightly weaker version of Friedman's conjecture, namely the bound $O(ρ)$ on the new eigenvalues (see \cite{LP10}).
In this paper, we make further progress towards proving this important conjecture by showing that $φ(w) = 2$ iff $β(w) = 2$ for every word $w$.
Universal Algebras of Hurwitz Numbers
Infinite-dimensional universal Cardy-Frobenius algebra is constructed, which unifies all particular algebras of closed and open Hurwitz numbers and is closely related to the algebra of differential operators, familiar from the theory of Generalized Kontsevich Model.
Oriented Interval Greedoids
Published
• View Publication
• BIB
We propose a definition of an "oriented interval greedoid" that simultaneously generalizes the notion of an oriented matroid and the construction on antimatroids introduced by L. J. Billera, S. K. Hsiao, and J. S. Provan in "Enumeration in convex geometries and associated polytopal subdivisions of spheres" [Discrete Comput. Geom. 39 (2008), no. 1-3, 123--137]. As for of oriented matroids, associated to each oriented interval greedoid is a spherical simplicial complex whose face enumeration depends only on the underlying interval greedoid.
Relative Tutte Polynomials for Colored Graphs and Virtual Knot Theory
Published
• View Publication
• BIB
We introduce the concept of a relative Tutte polynomial of colored graphs. We show that this relative Tutte polynomial can be computed in a way similar to the classical spanning tree expansion used by Tutte in his original paper on this subject. We then apply the relative Tutte polynomial to virtual knot theory. More specifically, we show that the Kauffman bracket polynomial (hence the Jones polynomial) of a virtual knot can be computed from the relative Tutte polynomial of its face (Tait) graph with some suitable variable substitutions. Our method offers an alternative to the ribbon graph approach, using the face graph obtained from the virtual link diagram directly.
Invariant colorings of random planar maps
Published in Ergodic Theory and Dynamical Systems (2011), 31: 549-562
• Search Publication
Consider Bernoulli(1/2) percolation on $\mathbb{Z}^d$, and define a perfect matching between open and closed vertices in a way that is a deterministic equivariant function of the configuration. We want to find such matching rules that make the probability that the pair of the origin is at distance greater than $r$ decay as fast as possible. For two dimensions, we give a matching of decay $cr^{1/2}$, which is optimal. For dimension at least 3 we give a matching rule that has an exponential tail. This substantially improves previous bounds. The construction has two major parts: first we define a sequence of coarser and coarser partitions of $\mathbb{Z}^d$ in an equivariant way, such that with high probability the cell of a fixed point is like a cube, and the labels in it are i.i.d. Then we define a matching for a fixed finite cell, which stabilizes as we repeatedly apply it for the cells of the consecutive partitions. Our methods also work in the case when one wants to match points of two Poisson processes, and they may be applied to allocation questions.
Bochner-Pearson-type characterization of the free Meixner class
Published in Adv. in Appl. Math. 46 (2011), 25-45
• View Publication
• BIB
The operator $L_μ: f \mapsto \int \frac{f(x) - f(y)}{x - y} dμ(y)$ is, for a compactly supported measure $μ$ with an $L^3$ density, a closed, densely defined operator on $L^2(μ)$. We show that the operator $Q = p L_μ^2 - q L_μ$ has polynomial eigenfunctions if and only if $μ$ is a free Meixner distribution. The only time $Q$ has orthogonal polynomial eigenfunctions is if $μ$ is a semicircular distribution. More generally, the only time the operator $p (L_νL_μ) - q L_μ$ has orthogonal polynomial eigenfunctions is when $μ$ and $ν$ are related by a Jacobi shift.
Note on powers in three interval exchange transformations
Published
• View Publication
• BIB
We study repetitions in infinite words coding exchange of three intervals with permutation (3,2,1), called 3iet words. The language of such words is determined by two parameters $\varepsilon,\ell$. We show that finiteness of the index of 3iet words is equivalent to boundedness of the coefficients of the continued fraction of $\varepsilon$. In this case we also give an upper and lower estimate on the index of the corresponding 3iet word.
Non-commutative Combinatorial Inverse Systems
Published in International J. of Algebra {\bf 4-21} (2010) 1003--1020
• Search Publication
We introduce the notion of a combinatorial inverse system in non-commutative variables. We present two important examples, some conjectures and results. These conjectures and results were suggested and supported by computer investigations.
Tensor 2-sums and entanglement
To define a minimal mathematical framework for isolating some of the characteristic properties of quantum entanglement, we introduce a generalization of the tensor product of graphs. Inspired by the notion of a density matrix, the generalization is a simple one: every graph can be obtained by addition modulo two, possibly with many summands, of tensor products of adjacency matrices. In this picture, we are still able to prove a combinatorial analogue of the Peres-Horodecki criterion for testing separability.
A link surgery spectral sequence in monopole Floer homology
Published
• View Publication
• BIB
To a link L in the 3-sphere, we associate a spectral sequence whose E^2 page is the reduced Khovanov homology of L and which converges to a version of the monopole Floer homology of the branched double cover. The pages E^k for k > 1 depend only on the mutation equivalence class of L. We define a mod 2 grading on the spectral sequence which interpolates between the delta-grading on Khovanov homology and the mod 2 grading on Floer homology. We also derive a new formula for link signature that is well-adapted to Khovanov homology.
More generally, we construct new bigraded invariants of a framed link in a 3-manifold as the pages of a spectral sequence modeled on the surgery exact triangle. The differentials count monopoles over families of metrics parameterized by permutohedra. We utilize a connection between the topology of link surgeries and the combinatorics of graph associahedra. This also yields simple realizations of permutohedra and associahedra, as refinements of hypercubes.
Matroid base polytope decomposition
Published
• View Publication
• BIB
Let $P(M)$ be the matroid base polytope of a matroid $M$. A {\em matroid base polytope decomposition} of $P(M)$ is a decomposition of the form $P(M) = \bigcup\limits_{i=1}^t P(M_{i})$ where each $P(M_i)$ is also a matroid base polytope for some matroid $M_i$, and for each $1\le i \neq j\le t$, the intersection $P(M_{i}) \cap P(M_{j})$ is a face of both $P(M_i)$ and $P(M_j)$. In this paper, we investigate {\em hyperplane splits}, that is, polytope decompositions when $t=2$. We give sufficient conditions for $M$ so $P(M)$ has a hyperplane split and characterize when $P(M_1 \oplus M_2)$ has a hyperplane split where $M_1 \oplus M_2$ denote the {\em direct sum} of matroids $M_1$ and $M_2$. We also prove that $P(M)$ has not a hyperplane split if $M$ is binary. Finally, we show that $P(M)$ has not a decomposition if its 1-skeleton is the {\em hypercube}.
Quantum field theory over F_q
Published in Electron. J. Comb.18N1:P102,2011
• View Publication
• BIB
We consider the number \bar N(q) of points in the projective complement of graph hypersurfaces over \F_q and show that the smallest graphs with non-polynomial \bar N(q) have 14 edges. We give six examples which fall into two classes. One class has an exceptional prime 2 whereas in the other class \bar N(q) depends on the number of cube roots of unity in \F_q. At graphs with 16 edges we find examples where \bar N(q) is given by a polynomial in q plus q^2 times the number of points in the projective complement of a singular K3 in ¶^3. In the second part of the paper we show that applying momentum space Feynman-rules over \F_q lets the perturbation series terminate for renormalizable and non-renormalizable bosonic quantum field theories.
A family of reductions for Schubert intersection problems
Published
• View Publication
• BIB
We produce a family of reductions for Schubert intersection problems whose applicability is checked by calculating a linear combination of the dimensions involved. These reductions do not alter the Littlewood-Richardson coefficient, and they lead to an explicit solution of the intersection problem when this coefficient is 1.
Exponential Polynomials, Stirling Numbers,and Evaluation of Some Gamma Integrals
Published in Abstract and Applied Analysis, Volume 2009, Article ID 168672 (electronic)
• View Publication
• BIB
This article is a survey of the exponential polynomials (also called single-variable Bell polynomials) from the point of view of Analysis. Some new properties are included and several Analysis-related applications are mentioned.
A Gröbner basis for Kazhdan-Lusztig ideals
Published in American Journal of Mathematics 134 (2012), 1089-1137
• View Publication
• BIB
Kazhdan-Lusztig ideals, a family of generalized determinantal ideals investigated in [Woo-Yong '08], provide an explicit choice of coordinates and equations encoding a neighbourhood of a torus-fixed point of a Schubert variety on a type A flag variety. Our main result is a Grobner basis for these ideals. This provides a single geometric setting to transparently explain the naturality of pipe dreams on the Rothe diagram of a permutation, and their appearance in:
* combinatorial formulas [Fomin-Kirillov '94] for Schubert and Grothendieck polynomials of [Lascoux-Schutzenberger '82];
* the equivariant K-theory specialization formula of [Buch-Rimanyi '04]; and
* a positive combinatorial formula for multiplicities of Schubert varieties in good cases, including those for which the associated Kazhdan-Lusztig ideal is homogeneous under the standard grading.
Our results generalize (with alternate proofs) [Knutson-Miller '05]'s Grobner basis theorem for Schubert determinantal ideals and their geometric interpretation of the monomial positivity of Schubert polynomials. We also complement recent work of [Knutson '08,'09] on degenerations of Kazhdan-Lusztig varieties in general Lie type, as well as work of [Goldin '01] on equivariant localization and of [Lakshmibai-Weyman '90], [Rosenthal-Zelevinsky '01], and [Krattenthaler '01] on Grassmannian multiplicity formulas.
KKM-type theorems for products of simplices and cutting sets and measures by straight lines
In this paper a version of Knaster-Kuratowski-Mazurkiewicz theorem for products of simplices is formulated. Some corollaries for measure partition in the plane and cutting families of sets in the plane by lines are given.
Discrete non-commutative integrability: the proof of a conjecture by M. Kontsevich
Published
• View Publication
• BIB
We prove a conjecture of Kontsevich regarding the solutions of rank two recursion relations for non-commutative variables which, in the commutative case, reduce to rank two cluster algebras of affine type. The conjecture states that solutions are positive Laurent polynomials in the initial cluster variables. We prove this by use of a non-commutative version of the path models which we used for the commutative case.
Stanley decompositions and Hilbert depth in the Koszul complex
Published in J. Commut. Algebra 2 (2010), 327-357
• View Publication
• BIB
Stanley decompositions of multigraded modules $M$ over polynomials rings have been discussed intensively in recent years. There is a natural notion of depth that goes with a Stanley decomposition, called the Stanley depth. Stanley conjectured that the Stanley depth of a module $M$ is always at least the (classical) depth of $M$. In this paper we introduce a weaker type of decomposition, which we call Hilbert decomposition, since it only depends on the Hilbert function of $M$, and an analogous notion of depth, called Hilbert depth. Since Stanley decompositions are Hilbert decompositions, the latter set upper bounds to the existence of Stanley decompositions. The advantage of Hilbert decompositions is that they are easier to find. We test our new notion on the syzygy modules of the residue class field of $K[X_1,...,X_n]$ (as usual identified with $K$). Writing $M(n,k)$ for the $k$-th syzygy module, we show that theHilbert depth of M(n,1) is $\lfloor(n+1)/2\rfloor$. Furthermore, we show that, for $n > k \ge \lfloor n/2\rfloor$, the Hilbert depth of $M(n,k)$ is equal to $n-1$. We conjecture that the same holds for the Stanley depth. For the range $n/2 > k > 1$, it seems impossible to come up with a compact formula for the Hilbert depth. Instead, we provide very precise asymptotic results as $n$ becomes large.
On $γ$-vectors satisfying the Kruskal-Katona inequalities
Published in Discrete Comput. Geom. 45 (2011), no. 3, 503--521
• View Publication
• BIB
We present examples of flag homology spheres whose $γ$-vectors satisfy the Kruskal-Katona inequalities. This includes several families of well-studied simplicial complexes, including Coxeter complexes and the simplicial complexes dual to the associahedron and to the cyclohedron. In these cases, we construct explicit simplicial complexes whose $f$-vectors are the $γ$-vectors in question. In another direction, we show that if a flag $(d-1)$-sphere has at most $2d+2$ vertices its $γ$-vector satisfies the Kruskal-Katona inequalities. We conjecture that if $Δ$ is a flag homology sphere then $γ(Δ)$ satisfies the Kruskal-Katona inequalities. This conjecture is a significant refinement of Gal's conjecture, which asserts that such $γ$-vectors are nonnegative.
A note on the total number of cycles of even and odd permutations
Published in Discrete Math., 310 (2010) 1398-1400
• View Publication
• BIB
We prove bijectively that the total number of cycles of all even permutations of $[n]=\{1,2,...,n\}$ and the total number of cycles of all odd permutations of $[n]$ differ by $(-1)^n(n-2)!$, which was stated as an open problem by Miklós Bóna. We also prove bijectively the following more general identity: $$\sum_{i=1}^n c(n,i)\cdot i \cdot (-k)^{i-1} = (-1)^k k! (n-k-1)!,$$ where $c(n,i)$ denotes the number of permutations of $[n]$ with $i$ cycles.