Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Entanglement-assisted quantum low-density parity-check codes
Published in Phys. Rev. A 82, 042338 (2010)
• View Publication
• BIB
This paper develops a general method for constructing entanglement-assisted quantum low-density parity-check (LDPC) codes, which is based on combinatorial design theory. Explicit constructions are given for entanglement-assisted quantum error-correcting codes (EAQECCs) with many desirable properties. These properties include the requirement of only one initial entanglement bit, high error correction performance, high rates, and low decoding complexity. The proposed method produces infinitely many new codes with a wide variety of parameters and entanglement requirements. Our framework encompasses various codes including the previously known entanglement-assisted quantum LDPC codes having the best error correction performance and many new codes with better block error rates in simulations over the depolarizing channel. We also determine important parameters of several well-known classes of quantum and classical LDPC codes for previously unsettled cases.
Milnor numbers of projective hypersurfaces and the chromatic polynomial of graphs
Published
• View Publication
• BIB
The chromatic polynomial of a graph G counts the number of proper colorings of G. We give an affirmative answer to the conjecture of Read and Rota-Heron-Welsh that the absolute values of the coefficients of the chromatic polynomial form a log-concave sequence. We define a sequence of numerical invariants of projective hypersurfaces analogous to the Milnor number of local analytic hypersurfaces. Then we give a characterization of correspondences between projective spaces up to a positive integer multiple which includes the conjecture on the chromatic polynomial as a special case. As a byproduct of our approach, we obtain an analogue of Kouchnirenko's theorem relating the Milnor number with the Newton polytope.
A Pair of Disjoint 3-GDDs of type g^t u^1
Published
• View Publication
• BIB
Pairwise disjoint 3-GDDs can be used to construct some optimal constant-weight codes. We study the existence of a pair of disjoint 3-GDDs of type $g^t u^1$ and establish that its necessary conditions are also sufficient.
The capture time of grids
Published in Discrete Mathematics 311 (2011) pp. 102-105
• View Publication
• BIB
We consider the game of Cops and Robber played on the Cartesian product of two trees. Assuming the players play perfectly, it is shown that if there are two cops in the game, then the length of the game (known as the 2-capture time of the graph) is equal to half the diameter of the graph. In particular, the 2-capture time of the m x n grid is proved to be floor ((m+n-2)/2).
Convex bodies appearing as Okounkov bodies of divisors
Based on the work of Okounkov (\cite{Ok96}, \cite{Ok03}), Lazarsfeld and Musta\c t\u a (\cite{LM08}) and Kaveh and Khovanskii (\cite{KK08}) have independently associated a convex body, called the Okounkov body, to a big divisor on a smooth projective variety with respect to a complete flag. In this paper we consider the following question: what can be said about the set of convex bodies that appear as Okounkov bodies? We show first that the set of convex bodies appearing as Okounkov bodies of big line bundles on smooth projective varieties with respect to admissible flags is countable. We then give a complete characterisation of the set of convex bodies that arise as Okounkov bodies of $\R$-divisors on smooth projective surfaces. Such Okounkov bodies are always polygons, satisfying certain combinatorial criteria. Finally, we construct two examples of non-polyhedral Okounkov bodies. In the first one, the variety we deal with is Fano and the line bundle is ample. In the second one, we find a Mori dream space variety such that under small perturbations of the flag the Okounkov body remains non-polyhedral.
The short toric polynomial
Published in Trans. Amer. Math. Soc. 365 (2013), no. 3, 1441-1468
• View Publication
• BIB
We introduce the short toric polynomial associated to a graded Eulerian poset. This polynomial contains the same information as the two toric polynomials introduced by Stanley, but allows different algebraic manipulations. The intertwined recurrence defining Stanley's toric polynomials may be replaced by a single recurrence, in which the degree of the discarded terms is independent of the rank. A short toric variant of the formula by Bayer and Ehrenborg, expressing the toric $h$-vector in terms of the $cd$-index, may be stated in a rank-independent form, and it may be shown using weighted lattice path enumeration and the reflection principle. We use our techniques to derive a formula expressing the toric $h$-vector of a dual simplicial Eulerian poset in terms of its $f$-vector. This formula implies Gessel's formula for the toric $h$-vector of a cube, and may be used to prove that the nonnegativity of the toric $h$-vector of a simple polytope is a consequence of the Generalized Lower Bound Theorem holding for simplicial polytopes.
Spectral sequences of colored Jones polynomials, colored Rasmussen invariants and nanophrases
We introduce three spectral sequences which give some expressions of colored Jones polynomials. Each spectral sequence contains a Khovanov-type homology groups. Two of them are derived from a bicomplex of the colored Jones polynomial. The other is the spectral sequence that deduces a colored Rasmussen invariant of links. We also introduce three functors between categories of nanophrases, generalizations of links, and obtain their applications using colored Jones polynomials and their categorifications.
An Algebraic View to Gradient Descent Decoding
Published in Information Theory Workshop, Dublin 2010
• View Publication
• BIB
There are two gradient descent decoding procedures for binary codes proposed independently by Liebler and by Ashikhmin and Barg. Liebler in his paper mentions that both algorithms have the same philosophy but in fact they are rather different. The purpose of this communication is to show that both algorithms can be seen as two ways of understanding the reduction process algebraic monoid structure related to the code. The main tool used for showing this is the Gröbner representation of the monoid associated to the linear code.
Simplicial Complexes of Triangular Ferrers Boards
Published
• View Publication
• BIB
We study the simplicial complex that arises from non-attacking rook placements on a subclass of Ferrers boards that have $a_i$ rows of length $i$ where $a_i>0$ and $i\leq n$ for some positive integer $n$. In particular, we will investigate enumerative properties of their facets, their homotopy type, and homology.
Blenders
Published
• View Publication
• BIB
A blender is a closed convex cone of real homogeneous polynomials that is also closed under linear changes of variable. Non-trivial blenders only occur in even degree. Examples include the cones of psd forms, sos forms, convex forms and sums of $2u$-th powers of forms of degree $v$. We present some general properties of blenders and analyze the extremal elements of some specific blenders.
Restrictions of generalized Verma modules to symmetric pairs
Published in Transformation Groups 17 (2012), pp. 523-546
• View Publication
• BIB
We initiate a new line of investigation on branching problems for generalized Verma modules with respect to complex reductive symmetric pairs (g,k). Here we note that Verma modules of g may not contain any simple module when restricted to a reductive subalgebra k in general.
In this article, using the geometry of K_C orbits on the generalized flag variety G_C/P_C, we give a necessary and sufficient condition on the triple (g,k, p) such that the restriction X|_k always contains simple k-modules for any g-module $X$ lying in the parabolic BGG category O^p attached to a parabolic subalgebra p of g.
Formulas are derived for the Gelfand-Kirillov dimension of any simple k-module occurring in a simple generalized Verma module of g. We then prove that the restriction X|_k is multiplicity-free for any generic g-module X \in O if and only if (g,k) is isomorphic to a direct sum of (A_n,A_{n-1}), (B_n,D_n), or (D_{n+1},B_n). We also see that the restriction X|_k is multiplicity-free for any symmetric pair (g, k) and any parabolic subalgebra p with abelian nilradical and for any generic g-module X \in O^p. Explicit branching laws are also presented.
On Two Bijections from S_n(321) to S_n(132)
Let S_n(321) (respectively, S_n(132)) denote the set of all permutations of {1,2,...,n} that avoid the pattern 321 (respectively, the pattern 132). Elizalde and Pak gave a bijection Theta from S_n(321) to S_n(132) that preserves the numbers of fixed points and excedances for each element of S_n(321), and commutes with the operation of taking inverses. Bloom and Saracino proved that another bijection Gamma from S_n(321) to S_n(132), introduced by Robertson, has the same properties, and they later gave a pictorial reformulation of Gamma that made these results more transparent. Here we give a pictorial reformulation of Theta, from which it follows that, although the original definitions of Theta and Gamma are very different, these two bijections are in fact related to each other in a very simple way, by using inversion, reversal, and complementation.
Simple Euclidean arrangements with one (>=5)-gon
Let L be a simple Euclidean arrangement of n pseudolines. It is shown that if L has exactly one (>=5)=gon P, and k is the number of edges of P that are adjacent to an unbounded cell of the subarrangement of L induced by the pseudolines in P, then L has exactly n-k triangles and k+n(n-5)/2 quadrilaterals. We also prove that if each pseudoline of L is adjacent to P then L is stretchable.
Young classes of permutations
We characterise those classes of permutations having the property that for every tableau shape either every permutation of that shape or no permutation of that shape belongs to the class. The characterisation is in terms of the dominance order for partitions (and their conjugates) and shows that for any such class there is a constant k such that no permutation in the class can contain both an increasing and a decreasing sequence of length k.
Enumeration of Restricted Partition Pairs and Permutation Pairs via 0-1 Tableaux
We use the 0-1 tableaux as a tool for enumerating permutations and partitions with restricted minima. The method used is extended for permutation pairs and partition pairs generated by a bipartite 0-1 tableaux.
The Orbifold Topological Vertex
Published
• View Publication
• BIB
We define Donaldson-Thomas invariants of Calabi-Yau orbifolds and we develop a topological vertex formalism for computing them. The basic combinatorial object is the orbifold vertex, a generating function for the number of 3D partitions asymptotic to three given 2D partitions and colored by representations of a finite Abelian group G acting on C^3. In the case where G=Z_n acting on C^3 with transverse A_{n-1} quotient singularities, we give an explicit formula for the vertex in terms of Schur functions. We discuss applications of our formalism to the Donaldson-Thomas Crepant Resolution Conjecture and to the orbifold Donaldson-Thomas/Gromov-Witten correspondence. We also explicitly compute the Donaldson-Thomas partition function for some simple orbifold geometries: the local football and the local BZ_2 gerbe.
Cops and Robber Game with a Fast Robber on Interval, Chordal, and Planar Graphs
We consider a variant of the Cops and Robber game, introduced by Fomin, Golovach, Kratochvil, in which the robber has unbounded speed, i.e. can take any path from her vertex in her turn, but she is not allowed to pass through a vertex occupied by a cop. We study this game on interval graphs, chordal graphs, planar graphs, and hypercube graphs. Let c_{\infty}(G) denote the number of cops needed to capture the robber in graph G in this variant. We show that if G is an interval graph, then c_{\infty}(G) = O(sqrt(|V(G)|)), and we give a polynomial-time 3-approximation algorithm for finding c_{\infty}(G) in interval graphs. We prove that for every n there exists an n-vertex chordal graph G with c_{\infty}(G) = Omega(n / \log n). Let tw(G) and Delta(G) denote the treewidth and the maximum degree of G, respectively. We prove that for every G, tw(G) + 1 \leq (Delta(G) + 1) c_{\infty}(G). Using this lower bound for c_{\infty}(G), we show two things. The first is that if G is a planar graph (or more generally, if G does not have a fixed apex graph as a minor), then c_{\infty}(G) = Theta(tw(G)). This immediately leads to an O(1)-approximation algorithm for computing c_{\infty} for planar graphs. The second is that if G is the m-hypercube graph, then there exist constants eta1, eta2>0 such that (eta1) 2^m / (m sqrt(m)) \leq c_{\infty}(G) \leq (eta2) 2^m / m.
On perfect k-matchings
Published
• View Publication
• BIB
In this paper, we generalize the notions of perfect matchings, perfect 2-matchings to perfect k-matchings and give a necessary and sufficient condition for existence of perfect k-matchings. For bipartite graphs, we show that this k-matching problem is equivalent to that matching question. Moreover, for regular graphs, we provide a sufficient condition of perfect k-matching in terms of edge connectivity.
Puzzles, positroid varieties, and equivariant K-theory of Grassmannians
Vakil studied the intersection theory of Schubert varieties in the Grassmannian in a very direct way: he degenerated the intersection of a Schubert variety X_mu and opposite Schubert variety X^nu to a union {X^lambda}, with repetition. This degeneration proceeds in stages, and along the way he met a collection of more complicated subvarieties, which he identified as the closures of certain locally closed sets.
We show that Vakil's varieties are _positroid varieties_, which in particular shows they are normal, Cohen-Macaulay, have rational singularities, and are defined by the vanishing of Plücker coordinates [Knutson-Lam-Speyer]. We determine the equations of the Vakil variety associated to a partially filled ``puzzle'' (building on the appendix to [Vakil]), and extend Vakil's proof to give a geometric proof of the puzzle rule from [Knutson-Tao '03] for equivariant Schubert calculus.
The recent paper [Anderson-Griffeth-Miller] establishes (abstractly; without a formula) three positivity results in equivariant K-theory of flag manifolds G/P. We demonstrate one of these concretely, giving a corresponding puzzle rule.
Wada Dessins associated with Finite Projective Spaces and Frobenius Compatibility
Published
• View Publication
• BIB
\textit{Dessins d'enfants} (hypermaps) are useful to describe algebraic properties of the Riemann surfaces they are embedded in. In general, it is not easy to describe algebraic properties of the surface of the embedding starting from the combinatorial properties of an embedded dessin. However, this task becomes easier if the dessin has a large automorphism group.
In this paper we consider a special type of dessins, so-called \textit{Wada dessins}. Their underlying graph illustrates the incidence structure of finite projective spaces $\PR{m}{n}$. Usually, the automorphism group of these dessins is a cyclic \textit{Singer group} $Σ_\ell$ permuting transitively the vertices. However, in some cases, a second group of automorphisms $Φ_f$ exists. It is a cyclic group generated by the \textit{Frobenius automorphism}. We show under what conditions $Φ_f$ is a group of automorphisms acting freely on the edges of the considered dessins.