Showing 20 papers (Total: 82000 papers, 47479 authors in database)
On the Modes of Polynomials Derived from Nondecreasing Sequences
Published
• View Publication
• BIB
Wang and Yeh proved that if $P(x)$ is a polynomial with nonnegative and nondecreasing coefficients, then $P(x+d)$ is unimodal for any $d>0$. A mode of a unimodal polynomial $f(x)=a_0+a_1x+\cdots + a_mx^m$ is an index $k$ such that $a_k$ is the maximum coefficient. Suppose that $M_*(P,d)$ is the smallest mode of $P(x+d)$, and $M^*(P,d)$ the greatest mode. Wang and Yeh conjectured that if $d_2>d_1>0$, then $M_*(P,d_1)\geq M_*(P,d_2)$ and $M^*(P,d_1)\geq M^*(P,d_2)$. We give a proof of this conjecture.
Bounds on generalized Frobenius numbers
Published in European Journal of Combinatorics, vol. 32 no. 3 (2011) pg. 361--368
• View Publication
• BIB
Let $N \geq 2$ and let $1 < a_1 < ... < a_N$ be relatively prime integers. The Frobenius number of this $N$-tuple is defined to be the largest positive integer that has no representation as $\sum_{i=1}^N a_i x_i$ where $x_1,...,x_N$ are non-negative integers. More generally, the $s$-Frobenius number is defined to be the largest positive integer that has precisely $s$ distinct representations like this. We use techniques from the Geometry of Numbers to give upper and lower bounds on the $s$-Frobenius number for any nonnegative integer $s$.
Embeddings into the plane of graphs with vertices of degree 4
Published in Mat. Prosveschenie, 21 (2017) 197-204
• Search Publication
In this expository note we present a proof of the V.A. Vassiliev conjecture on the planarity of graphs with vertices of degree 4 and certain additional structure. Both statement and proof are accessible to high-school students familiar with basic notions of graph theory. The conjecture was first proved by V.O. Manturov (such a proof was one of the main results of his habilitation thesis). In this note the exposition is made clearer and some comments for beginners are added.
Path ideals of rooted trees and their graded Betti numbers
Published
• View Publication
• BIB
Let $Γ$ be a rooted tree and let $t$ be a positive integer. We study algebraic invariants and properties of the path ideal generated by monomial corresponding to paths of length $(t-1)$ in $Γ$. In particular, we give a recursive formula to compute the graded Betti numbers, a general bound for the regularity, an explicit computation of the linear strand, and we characterize when this path ideal has a linear resolution.
Vertex identifying codes for the n-dimensional lattice
An $r$-identifying code on a graph $G$ is a set $C\subset V(G)$ such that for every vertex in $V(G)$, the intersection of the radius-$r$ closed neighborhood with $C$ is nonempty and different. Here, we provide an overview on codes for the $n$-dimensional lattice, discussing the case of 1-identifying codes, constructing a sparse code for the 4-dimensional lattice as well as showing that for fixed $n$, the minimum density of an $r$-identifying code is $Θ(1/r^{n-1})$.
Multivalued generalizations of the Frankl--Pach Theorem
P. Frankl and J. Pach proved the following uniform version of Sauer's Lemma. Let $n,d,s$ be natural numbers such that $d\leq n$, $s+1\leq n/2$. Let $\cF \subseteq {[n] \choose d}$ be an arbitrary $d$-uniform set system such that $\cF$ does not shatter an $s+1$-element set, then $$ |\cF|\leq {n \choose s}.$$ We prove here two generalizations of the above theorem to $n$-tuple systems. To obtain these results, we use Gröbner basis methods, and describe the standard monomials of Hamming spheres.
Combinatorial Route to Algebra: The Art of Composition & Decomposition
Published in Discrete Math. Theor. 12(2), 381-400 (2010)
• View Publication
• BIB
We consider a general concept of composition and decomposition of objects, and discuss a few natural properties one may expect from a reasonable choice thereof. It will be demonstrated how this leads to multiplication and co- multiplication laws, thereby providing a generic scheme furnishing combinatorial classes with an algebraic structure. The paper is meant as a gentle introduction to the concepts of composition and decomposition with the emphasis on combinatorial origin of the ensuing algebraic constructions.
On the Fon-der-Flaass Interpretation of Extremal Examples for Turan's (3,4)-problem
Published
• View Publication
• BIB
In 1941, Turan conjectured that the edge density of any 3-graph without independent sets on 4 vertices (Turan (3,4)-graph) is >= 4/9(1-o(1)), and he gave the first example witnessing this bound. Brown (1983) and Kostochka (1982) found many other examples of this density. Fon-der-Flaass (1988) presented a general construction that converts an arbitrary $\vec C_4$-free orgraph $Γ$ into a Turan (3,4)-graph. He observed that all Turan-Brown-Kostochka examples result from his construction, and proved the bound >= 3/7(1-o(1)) on the edge density of any Turan (3,4)-graph obtainable in this way.
In this paper we establish the optimal bound 4/9(1-o(1)) on the edge density of any Turan (3,4)-graph resulting from the Fon-der-Flaass construction under any of the following assumptions on the undirected graph $G$ underlying the orgraph $Γ$:
1. $G$ is complete multipartite;
2. The edge density of $G$ is >= (2/3-epsilon) for some absolute constant epsilon>0.
We are also able to improve Fon-der-Flaass's bound to 7/16(1-o(1)) without any extra assumptions on $Γ$.
Partially 2-Colored Permutations and the Boros-Moll Polynomials
Published
• View Publication
• BIB
We find a combinatorial setting for the coefficients of the Boros-Moll polynomials $P_m(a)$ in terms of partially 2-colored permutations. Using this model, we give a combinatorial proof of a recurrence relation on the coefficients of $P_m(a)$. This approach enables us to give a combinatorial interpretation of the log-concavity of $P_m(a)$ which was conjectured by Moll and confirmed by Kauers and Paule.
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.