Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Invariants, Kronecker Products, and Combinatorics of Some Remarkable Diophantine Systems (Extended Version)
Published
• View Publication
• BIB
This work lies across three areas (in the title) of investigation that are by themselves of independent interest. A problem that arose in quantum computing led us to a link that tied these areas together. This link consists of a single formal power series with a multifaced interpretation. The deeper exploration of this link yielded results as well as methods for solving some numerical problems in each of these separate areas.
Affine and toric hyperplane arrangements
Published in Discrete & Computational Geometry Volume 41, Number 4 (2009), 481-512
• View Publication
• BIB
We extend the Billera-Ehrenborg-Readdy map between the intersection lattice and face lattice of a central hyperplane arrangement to affine and toric hyperplane arrangements. For arrangements on the torus, we also generalize Zaslavsky's fundamental results on the number of regions.
On representable graphs, semi-transitive orientations, and the representation numbers
A graph $G=(V,E)$ is representable if there exists a word $W$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $W$ if and only if $(x,y)\in E$ for each $x\neq y$. If $W$ is $k$-uniform (each letter of $W$ occurs exactly $k$ times in it) then $G$ is called $k$-representable. It was shown that a graph is representable if and only if it is $k$-representable for some $k$. Minimum $k$ for which a representable graph $G$ is $k$-representable is called its representation number.
In this paper we give a characterization of representable graphs in terms of orientations. Namely, we show that a graph is representable if and only if it admits an orientation into a so-called \emph{semi-transitive digraph}. This allows us to prove a number of results about representable graphs, not the least that 3-colorable graphs are representable. We also prove that the representation number of a graph on $n$ nodes is at most $n$, from which one concludes that the recognition problem for representable graphs is in NP. This bound is tight up to a constant factor, as we present a graph whose representation number is $n/2$.
We also answer several questions, in particular, on representability of the Petersen graph and local permutation representability.
Vertex decomposable graphs and obstructions to shellability
Published in Proc. Amer. Math. Soc. 137 (2009), no. 10, 3235-3246
• View Publication
• BIB
Inspired by several recent papers on the edge ideal of a graph G, we study the equivalent notion of the independence complex of G. Using the tool of vertex decomposability from geometric combinatorics, we show that 5-chordal graphs with no chordless 4-cycles are shellable and sequentially Cohen-Macaulay. We use this result to characterize the obstructions to shellability in flag complexes, extending work of Billera, Myers, and Wachs. We also show how vertex decomposability may be used to show that certain graph constructions preserve shellability.
Root polytopes and growth series of root lattices
Published in SIAM Journal on Discrete Mathematics 25 (2011), 360-378
• View Publication
• BIB
The convex hull of the roots of a classical root lattice is called a root polytope. We determine explicit unimodular triangulations of the boundaries of the root polytopes associated to the root lattices A_n, C_n, and D_n, and compute their f-and h-vectors. This leads us to recover formulae for the growth series of these root lattices, which were first conjectured by Conway-Mallows-Sloane and Baake-Grimm and proved by Conway-Sloane and Bacher-de la Harpe-Venkov.
Exact solution of two classes of prudent polygons
Published
• View Publication
• BIB
Prudent walks are self-avoiding walks on the square lattice which never step into the direction of an already occupied vertex. We study the closed version of these walks, called prudent polygons, where the last vertex is adjacent to the first one. More precisely, we give the half-perimeter generating functions of two subclasses of prudent polygons, which turn out to be algebraic and non-D-finite, respectively.
Folding 3-noncrossing RNA pseudoknot structures
Published
• View Publication
• BIB
In this paper we present a selfcontained analysis and description of the novel {\it ab initio} folding algorithm {\sf cross}, which generates the minimum free energy (mfe), 3-noncrossing, $σ$-canonical RNA structure. Here an RNA structure is 3-noncrossing if it does not contain more than three mutually crossing arcs and $σ$-canonical, if each of its stacks has size greater or equal than $σ$. Our notion of mfe-structure is based on a specific concept of pseudoknots and respective loop-based energy parameters. The algorithm decomposes into three parts: the first is the inductive construction of motifs and shadows, the second is the generation of the skeleta-trees rooted in irreducible shadows and the third is the saturation of skeleta via context dependent dynamic programming routines.
$W$-graph versions of tensoring with the $§_n$ defining representation
Published
• View Publication
• BIB
We further develop the theory of inducing $W$-graphs worked out by Howlett and Yin in \cite{HY1}, \cite{HY2}, focusing on the case $W = §_n$. Our main application is to give two $W$-graph versions of tensoring with the $§_n$ defining representation $V$, one being $\H \tsr_{\H_J} -$ for $\H, \H_J$ the Hecke algebras of $§_n, §_{n-1}$ and the other $(\pH \tsr_{\H} -)_1$, where $\pH$ is a subalgebra of the extended affine Hecke algebra and the subscript signifies taking the degree 1 part. We look at the corresponding $W$-graph versions of the projection $V \tsr V \tsr - \to S^2 V \tsr -$. This does not send canonical basis elements to canonical basis elements, but we show that it approximates doing so as the Hecke algebra parameter $\u \to 0$. We make this approximation combinatorially explicit by determining it on cells. Also of interest is a combinatorial conjecture stating the restriction of $\H$ to $\H_J$ is "weakly multiplicity-free" for $|J| = n-1$, and a partial determination of the map $\H \tsr_{\H_J} \H \xrightarrow{\counit} \H$ on canonical basis elements, where $\counit$ is the counit of adjunction.
Concentration of measure and mixing for Markov chains
Published
• View Publication
• BIB
We consider Markovian models on graphs with local dynamics. We show that, under suitable conditions, such Markov chains exhibit both rapid convergence to equilibrium and strong concentration of measure in the stationary distribution. We illustrate our results with applications to some known chains from computer science and statistical mechanics.
The Erdös-Falconer distance problem on the unit sphere in vector spaces over finite fields
Published
• View Publication
• BIB
art, Iosevich, Koh and Rudnev (2007) show, using Fourier analysis method, that the finite Erdös-Falconer distance conjecture holds for subsets of the unit sphere in $\mathbbm{F}_q^d$. In this note, we give a graph theoretic proof of this result.
Directed graphs without short cycles
Published
• View Publication
• BIB
For a directed graph $G$ without loops or parallel edges, let $β(G)$ denote the size of the smallest feedback arc set, i.e., the smallest subset $X \subset E(G)$ such that $G \sm X$ has no directed cycles. Let $γ(G)$ be the number of unordered pairs of vertices of $G$ which are not adjacent. We prove that every directed graph whose shortest directed cycle has length at least $r \ge 4$ satisfies $β(G) \le cγ(G)/r^2$, where $c$ is an absolute constant. This is tight up to the constant factor and extends a result of Chudnovsky, Seymour, and Sullivan.
This result can be also used to answer a question of Yuster concerning almost given length cycles in digraphs. We show that for any fixed $0 < θ< 1/2$ and sufficiently large $n$, if $G$ is a digraph with $n$ vertices and $β(G) \ge θn^2$, then for any $0 \le m \le θn-o(n)$ it contains a directed cycle whose length is between $m$ and $m+6 θ^{-1/2}$. Moreover, there is a constant $C$ such that either $G$ contains directed cycles of every length between $C$ and $θn-o(n)$ or it is close to a digraph $G'$ with a simple structure: every strong component of $G'$ is periodic. These results are also tight up to the constant factors.
Tropical Convex Hull Computations
Published
• View Publication
• BIB
This is a survey on tropical polytopes from the combinatorial point of view and with a focus on algorithms. Tropical convexity is interesting because it relates a number of combinatorial concepts including ordinary convexity, monomial ideals, subdivisions of products of simplices, matroid theory, finite metric spaces, and the tropical Grassmannians. The relationship between these topics is explained via one running example throughout the whole paper. The final section explains how the new version 2.9.4 of the software system polymake can be used to compute with tropical polytopes.
A new algorithm for the recursion of multisums with improved universal denominator
Published
• View Publication
• BIB
The purpose of the paper is to introduce two new algorithms. The first one computes a linear recursion for proper hypergeometric multisums, by treating one summation variable at a time, and provides rational certificates along the way. A key part in the search of a linear recursion is an improved universal denominator algorithm that constructs all rational solutions $x(n)$ of the equation $$ \frac{a_m(n)}{b_m(n)}x(n+m)+...+\frac{a_0(n)}{b_0(n)}x(n)= c(n),$$ where $a_i(n), b_i(n), c(n)$ are polynomials. Our algorithm improves Abramov's universal denominator.
The t-improper chromatic number of random graphs
Published in Combin. Probab. Comput. 19 (2010), 87-98
• View Publication
• BIB
We consider the $t$-improper chromatic number of the Erd{\H o}s-R{é}nyi random graph $G(n,p)$. The t-improper chromatic number $χ^t(G)$ of $G$ is the smallest number of colours needed in a colouring of the vertices in which each colour class induces a subgraph of maximum degree at most $t$. If $t = 0$, then this is the usual notion of proper colouring. When the edge probability $p$ is constant, we provide a detailed description of the asymptotic behaviour of $χ^t(G(n,p))$ over the range of choices for the growth of $t = t(n)$.
The edge-flipping group of a graph
Published
• View Publication
• BIB
Let $X=(V,E)$ be a finite simple connected graph with $n$ vertices and $m$ edges. A configuration is an assignment of one of two colors, black or white, to each edge of $X.$ A move applied to a configuration is to select a black edge $ε\in E$ and change the colors of all adjacent edges of $ε.$ Given an initial configuration and a final configuration, try to find a sequence of moves that transforms the initial configuration into the final configuration. This is the edge-flipping puzzle on $X,$ and it corresponds to a group action. This group is called the edge-flipping group $\mathbf{W}_E(X)$ of $X.$ This paper shows that if $X$ has at least three vertices, $\mathbf{W}_E(X)$ is isomorphic to a semidirect product of $(\mathbb{Z}/2\mathbb{Z})^k$ and the symmetric group $S_n$ of degree $n,$ where $k=(n-1)(m-n+1)$ if $n$ is odd, $k=(n-2)(m-n+1)$ if $n$ is even, and $\mathbb{Z}$ is the additive group of integers.
The arithmetic of trees
Published
• View Publication
• BIB
The arithmetic of the natural numbers can be extended to arithmetic operations on planar binary trees. This gives rise to a non-commutative arithmetic theory. In this exposition, we describe this arithmetree, first defined by Loday, and investigate prime trees.
Noncommutative Symmetric Functions VII: Free Quasi-Symmetric Functions Revisited
Published in Annals of Combinatorics 15 (2011), 655-673
• View Publication
• BIB
We prove a Cauchy identity for free quasi-symmetric functions and apply it to the study of various bases. A free Weyl formula and a generalization of the splitting formula are also discussed.
Inversion of some series of free quasi-symmetric functions
Published in European Journal of Combinatorics 31 (2010), 29-33
• View Publication
• BIB
We give a combinatorial formula for the inverses of the alternating sums of free quasi-symmetric functions of the form F_{ω(I)} where I runs over compositions with parts in a prescribed set C. This proves in particular three special cases (no restriction, even parts, and all parts equal to 2) which were conjectured by B. C. V. Ung in [Proc. FPSAC'98, Toronto].
Hamiltonian submanifolds of regular polytopes
Published in Discrete Comput. Geom., 43(2):242--262, March 2010
• View Publication
• BIB
We investigate polyhedral $2k$-manifolds as subcomplexes of the boundary complex of a regular polytope. We call such a subcomplex {\it $k$-Hamiltonian} if it contains the full $k$-skeleton of the polytope. Since the case of the cube is well known and since the case of a simplex was also previously studied (these are so-called {\it super-neighborly triangulations}) we focus on the case of the cross polytope and the sporadic regular 4-polytopes. By our results the existence of 1-Hamiltonian surfaces is now decided for all regular polytopes.
Furthermore we investigate 2-Hamiltonian 4-manifolds in the $d$-dimensional cross polytope. These are the "regular cases" satisfying equality in Sparla's inequality. In particular, we present a new example with 16 vertices which is highly symmetric with an automorphism group of order 128. Topologically it is homeomorphic to a connected sum of 7 copies of $S^2 \times S^2$. By this example all regular cases of $n$ vertices with $n < 20$ or, equivalently, all cases of regular $d$-polytopes with $d\leq 9$ are now decided.
The number of occurrences of a fixed spread among n directions in vector spaces over finite fields
Published
• View Publication
• BIB
We study a finite analog of a problem of Erdos, Hickerson and Pach on the maximum number of occurrences of a fixed angle among n directions in three-dimensional spaces.