Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Diametral Pairs of Linear Extensions
Published
• View Publication
• BIB
Given a finite poset P, we consider pairs of linear extensions of P with maximal distance, where the distance between two linear extensions L_1, L_2 is the number of pairs of elements of P appearing in different orders in L_1 and L_2. A diametral pair maximizes the distance among all pairs of linear extensions of P. Felsner and Reuter defined the linear extension diameter of P as the distance between a diametral pair of linear extensions.
We show that computing the linear extension diameter is NP-complete in general, but can be solved in polynomial time for posets of width 3.
Felsner and Reuter conjectured that, in every diametral pair, at least one of the linear extensions reverses a critical pair. We construct a counterexample to this conjecture. On the other hand, we show that a slightly stronger property holds for many classes of posets: We call a poset "diametrally reversing" if, in every diametral pair, both linear extensions reverse a critical pair. Among other results we show that interval orders and 3-layer posets are diametrally reversing. From the latter it follows that almost all posets are diametrally reversing.
A Removal Lemma for Systems of Linear Equations over Finite Fields
We prove a removal lemma for systems of linear equations over finite fields: let $X_1,...,X_m$ be subsets of the finite field $\F_q$ and let $A$ be a $(k\times m)$ matrix with coefficients in $\F_q$ and rank $k$; if the linear system $Ax=b$ has $o(q^{m-k})$ solutions with $x_i\in X_i$, then we can destroy all these solutions by deleting $o(q)$ elements from each $X_i$. This extends a result of Green [Geometric and Functional Analysis 15(2) (2005), 340--376] for a single linear equation in abelian groups to systems of linear equations. In particular, we also obtain an analogous result for systems of equations over integers, a result conjectured by Green. Our proof uses the colored version of the hypergraph Removal Lemma.
Dissecting brick into bars
Published
• View Publication
• BIB
An $N$-dimensional parallelepiped will be called a bar if and only if there are no more than $k$ different numbers among the lengths of its sides (the definition of bar depends on $k$). We prove that a parallelepiped can be dissected into finite number of bars iff the lengths of sides of the parallelepiped span a linear space of dimension no more than $k$ over $\QQ$. This extends and generalizes a well-known theorem of Max Dehn about partition of rectangles into squares. Several other results about dissections of parallelepipeds are obtained.
On the permutation capacity of digraphs
We extend several results of the third author and C. Malvenuto on graph-different permutations to the case of directed graphs and introduce new open problems. Permutation capacity is a natural extension of Sperner capacity from finite directed graphs to infinite digraphs. Our subject is combinatorial in nature, but can be equally regarded as zero-error information theory.
Recursive formulas for Welschinger invariants of the projective plane
Published
• View Publication
• BIB
Welschinger invariants of the real projective plane can be computed via the enumeration of enriched graphs, called marked floor diagrams. By a purely combinatorial study of these objects, we prove a Caporaso-Harris type formula which allows one to compute Welschinger invariants for configurations of points with any number of complex conjugated points.
Cyclic generators for irreducible representations of affine Hecke algebras
Published in Journal of Combinatorial Theory A vol. 117, p. 683--703 (2010)
• View Publication
• BIB
We give a detailed account of a combinatorial construction, due to Cherednik, of cyclic generators for irreducible modules of the affine Hecke algebra of the general linear group with generic parameter q.
On unimodality problems in Pascal's triangle
Published in The Electronic Journal of Combinatorics 15 (2008) #R113
• View Publication
• BIB
Many sequences of binomial coefficients share various unimodality properties. In this paper we consider the unimodality problem of a sequence of binomial coefficients located in a ray or a transversal of the Pascal triangle. Our results give in particular an affirmative answer to a conjecture of Belbachir et al which asserts that such a sequence of binomial coefficients must be unimodal. We also propose two more general conjectures.
Proof of a conjecture on unimodality
Published in European J. Combin. 26 (2005) 617--627
• Search Publication
Let $P(x)$ be a polynomial of degree $m$, with nonnegative and non-decreasing coefficients. We settle the conjecture that for any positive real number $d$, the coefficients of $P(x+d)$ form a unimodal sequence, of which the special case $d$ being a positive integer has already been asserted in a previous work. Further, we explore the location of modes of $P(x+d)$ and present some sufficient conditions on $m$ and $d$ for which $P(x+d)$ has the unique mode $\lceil{m-d\over d+1}\rceil$.
A Simple Proof of a Conjecture of Simion
Published in J. Combin. Theory Ser. A 100 (2002), 399--402
• Search Publication
Simion had a unimodality conjecture concerning the number of lattice paths in a rectangular grid with the Ferrers diagram of a partition removed. Hildebrand recently showed the stronger result that these numbers are log concave. Here we present a simple proof of Hildebrand's result.
On the First Eigenvalue of Bipartite Graphs
Published
• View Publication
• BIB
In this paper we study the maximum value of the largest eigenvalue for simple bipartite graphs, where the number of edges is given and the number of vertices on each side of the bipartition is given. We state a conjectured solution, which is an analog of the Brualdi- Hoffman conjecture for general graphs, and prove the conjecture in some special cases.
Topological Cohen-Macaulay criteria for monomial ideals
Published
• View Publication
• BIB
Scattered over the past few years have been several occurrences of simplicial complexes whose topological behavior characterize the Cohen-Macaulay property for quotients of polynomial rings by arbitrary (not necessarily squarefree) monomial ideals. The purpose of this survey is to gather the developments into one location, with self-contained proofs, including direct combinatorial topological connections between them.
Appell Polynomials and Their Zero Attractors
Published
• View Publication
• BIB
A polynomial family $\{p_n(x)\}$ is Appell if it is given by $\frac{e^{xt}}{g(t)} = \sum_{n=0}^\infty p_n(x)t^n$ or, equivalently, $p_n'(x) = p_{n-1}(x)$. If $g(t)$ is an entire function, $g(0)\neq 0$, with at least one zero, the asymptotics of linearly scaled polynomials $\{p_n(nx)\}$ are described by means of finitely zeros of $g$, including those of minimal modulus. As a consequence, we determine the limiting behavior of their zeros as well as their density. The techniques and results extend our earlier work on Euler polynomials.
Graph-theoretic criteria for injectivity and unique equilibria in general chemical reaction systems
Published
• View Publication
• BIB
In this paper we discuss the question of how to decide when a general chemical reaction system is incapable of admitting multiple equilibria, regardless of parameter values such as reaction rate constants, and regardless of the type of chemical kinetics, such as mass-action kinetics, Michaelis-Menten kinetics, etc. Our results relate previously described linear algebraic and graph-theoretic conditions for injectivity of chemical reaction systems. After developing a translation between the two formalisms, we show that a graph-theoretic test developed earlier in the context of systems with mass action kinetics, can be applied to reaction systems with arbitrary kinetics. The test, which is easy to implement algorithmically, and can often be decided without the need for any computation, rules out the possibility of multiple equilibria for the systems in question.
Tropical descendant Gromov-Witten invariants
Published in Manuscripta Mathematica, volume 129, issue 3 (2009), 293-335
• View Publication
• BIB
We define tropical Psi-classes on the moduli space of rational tropical curves in R^2 and consider intersection products of Psi-classes and pull-backs of evaluations on this space. We show a certain WDVV equation which is sufficient to prove that tropical numbers of curves satisfying certain Psi- and evaluation conditions are equal to the corresponding classical numbers. We present an algorithm that generalizes Mikhalkin's lattice path algorithm and counts rational plane tropical curves satisfying certain Psi- and evaluation conditions.
On a family of tridiagonal matrices
We show that certain integral positive definite symmetric tridiagonal matrices of determinant $n$ are in one to one correspondence with elements of $(\mathbb Z/n\mathbb Z)^*$. We study some properties of this correspondence. In a somewhat unrelated second part we discuss a construction which associates a sequence of integral polytopes to every integral symmetric matrix.
The group of symmetries of the Tower of Hanoi graph
Published
• View Publication
• BIB
I prove that the group of symmetries of the Tower of Hanoi graph with k pegs and n disks, denoted H_n^k, is isomorphic to the group of permutations of k elements, S_k, for all k greater than or equal to 3 and positive n.
On the Statistics of Lattice Polytopes
We use the notions of reflexivity and of reflexive dimensions in order to introduce probability measures for lattice polytopes and initiate the investigation of their statistical properties. Examples of applications to discrete geometry include a study of randomness of self-duality of reflexive polytopes and implications for expectation values of the numbers of such polytopes in higher dimensions. We also discuss enumeration problems and related algorithms and point out interesting open problems. In this context we define the notion of IP-confined polytopes. Our new results include the list of IP-simplices in 3 dimensions that are not IP-confined. The main motivation for the study of these issues comes from applications in algebraic geometry and string theory.
Edge-Graph Diameter Bounds for Convex Polytopes with Few Facets
Published
• View Publication
• BIB
We show that the edge graph of a 6-dimensional polytope with 12 facets has diameter at most 6, thus verifying the d-step conjecture of Klee and Walkup in the case of d=6. This implies that for all pairs (d,n) with n-d \leq 6 the diameter of the edge graph of a d-polytope with n facets is bounded by 6, which proves the Hirsch conjecture for all n-d \leq 6. We show this result by showing this bound for a more general structure -- so-called matroid polytopes -- by reduction to a small number of satisfiability problems.
Terwilliger Algebras of Wreath Powers of One-Class Association Schemes
Published
• View Publication
• BIB
In this paper, we study the subconstituent algebras, also called as Terwilliger algebras, of association schemes that are obtained as the wreath product of one-class association schemes $K_n=H(1, n)$ for $n\ge 2$. We find that the $d$-class association scheme $K_{n_{1}}\wr K_{n_{2}} \wr ... \wr K_{n_{d}}$ formed by taking the wreath product of $K_{n_{i}}$ has the triple-regularity property. We determine the dimension of the Terwilliger algebra for the association scheme $K_{n_{1}}\wr K_{n_{2}}\wr ... \wr K_ {n_{d}}$. We give a description of the structure of the Terwilliger algebra for the wreath power $(K_n)^{\wr d}$ for $n \geq 2$ by studying its irreducible modules. In particular, we show that the Terwilliger algebra of $(K_n)^{\wr d}$ is isomorphic to $M_{d+1}(\mathbb{C})\oplus M_1(\mathbb{C})^{\oplus \frac12d(d+1)}$ for $n\ge3$, and $M_{d+1}(\mathbb{C})\oplus M_1(\mathbb{C})^{\oplus \frac12d(d-1)}$ for $n=2$.
There exists no self-dual [24,12,10] code over F5
Published in Designs, Codes and Cryptogr. 52 (2009), 125-127
• View Publication
• BIB
Self-dual codes over F5 exist for all even lengths. The smallest length for which the largest minimum weight among self-dual codes has not been determined is 24, and the largest minimum weight is either 9 or 10. In this note, we show that there exists no self-dual [24,12,10] code over F5, using the classification of 24-dimensional odd unimodular lattices due to Borcherds.