Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Stanley decompositions of squarefree modules and Alexander duality
Published
• View Publication
• BIB
In this paper we study how prime filtrations and squarefree Stanley decompositions of squarefree modules over the polynomial ring and the exterior algebra behave with respect to Alexander duality.
Quasi-period collapse and GL_n(Z)-scissors congruence in rational polytopes
Published
• View Publication
• BIB
Quasi-period collapse occurs when the Ehrhart quasi-polynomial of a rational polytope has a quasi-period less than the denominator of that polytope. This phenomenon is poorly understood, and all known cases in which it occurs have been proven with ad hoc methods. In this note, we present a conjectural explanation for quasi-period collapse in rational polytopes. We show that this explanation applies to some previous cases appearing in the literature. We also exhibit examples of Ehrhart polynomials of rational polytopes that are not the Ehrhart polynomials of any integral polytope.
Our approach depends on the invariance of the Ehrhart quasi-polynomial under the action of affine unimodular transformations. Motivated by the similarity of this idea to the scissors congruence problem, we explore the development of a Dehn-like invariant for rational polytopes in the lattice setting.
Permutahedra and generalized associahedra
Published in Advances in Math., 226 (2011), pp.608-640
• View Publication
• BIB
Given a finite Coxeter system $(W,S)$ and a Coxeter element $c$, we construct a simple polytope whose outer normal fan is N. Reading's Cambrian fan $F_c$, settling a conjecture of Reading that this is possible. We call this polytope the $c$-generalized associahedron. Our approach generalizes Loday's realization of the associahedron (a type $A$ $c$-generalized associahedron whose outer normal fan is not the cluster fan but a coarsening of the Coxeter fan arising from the Tamari lattice) to any finite Coxeter group. A crucial role in the construction is played by the $c$-singleton cones, the cones in the $c$-Cambrian fan which consist of a single maximal cone from the Coxeter fan.
Moreover, if $W$ is a Weyl group and the vertices of the permutahedron are chosen in a lattice associated to $W$, then we show that our realizations have integer coordinates in this lattice.
On Cobweb posets tiling problem
Published in Adv. Stud. Contemp. Math. volume 16 (2), 2008 (April) pp. 219-233
• Search Publication
Kwasniewski's cobweb posets uniquely represented by directed acyclic graphs are such a generalization of the Fibonacci tree that allows joint combinatorial interpretation for all of them under admissibility condition. This interpretation was derived in the source papers and it entailes natural enquieres already formulated therein. In our note we response to one of those problems. This is a tiling problem. Our observations on tiling problem include proofs of tiling's existence for some cobweb-admissible sequences. We show also that not all cobwebs admit tiling as defined below.
Set Matrices and The Path/Cycle Problem
Presentation of set matrices and demonstration of their efficiency as a tool using the path/cycle problem.
A converse to Moore's theorem on cellular automata
Published in J. Eur. Math. Soc. 12 (2010), 241-248
• View Publication
• BIB
We prove a converse to Moore's ``Garden-of-Eden'' theorem: a group G is amenable if and only if all cellular automata living on G that admit mutually erasable patterns also admit gardens of Eden.
It had already been conjectured in that amenability could be characterized by cellular automata. We prove the first part of that conjecture.
A Quiver Presentation for Solomon's Descent Algebra
Published
• View Publication
• BIB
The descent algebra $Σ(W)$ is a subalgebra of the group algebra $\Q W$ of a finite Coxeter group $W$, which supports a homomorphism with nilpotent kernel and commutative image in the character ring of $W$. Thus $Σ(W)$ is a basic algebra, and as such it has a presentation as a quiver with relations. Here we construct $Σ(W)$ as a quotient of a subalgebra of the path algebra of the Hasse diagram of the Boolean lattice of all subsets of $S$, the set of simple reflections in $W$. From this construction we obtain some general information about the quiver of $Σ(W)$ and an algorithm for the construction of a quiver presentation for the descent algebra $Σ(W)$ of any given finite Coxeter group $W$.
Intersecting Psi-classes on tropical M_{0,n}
Published in International Mathematics Research Notices (2009) 2009:221-240
• View Publication
• BIB
We apply the tropical intersection theory developed by L. Allermann and J. Rau to compute intersection products of tropical Psi-classes on the moduli space of rational tropical curves. We show that in the case of zero-dimensional (stable) intersections, the resulting numbers agree with the intersection numbers of Psi-classes on the moduli space of n-marked rational curves computed in algebraic geometry.
Combinatorial Gelfand Models
Published
• View Publication
• BIB
A combinatorial construction of a Gelafand model for the symmetric group and its Iwahori-Hecke algebra is presented.
Face enumeration - from spheres to manifolds
Published
• View Publication
• BIB
We prove a number of new restrictions on the enumerative properties of homology manifolds and semi-Eulerian complexes and posets. These include a determination of the affine span of the fine $h$-vector of balanced semi-Eulerian complexes and the toric $h$-vector of semi-Eulerian posets.
The lower bounds on simplicial homology manifolds, when combined with higher dimensional analogues of Walkup's 3-dimensional constructions \cite{Wal}, allow us to give a complete characterization of the $f$-vectors of arbitrary simplicial triangulations of $S^1 \times S^3, \C P^2,$ $ K3$ surfaces, and $(S^2 \times S^2) # (S^2 \times S^2).$ We also establish a principle which leads to a conjecture for homology manifolds which is almost logically equivalent to the $g$-conjecture for homology spheres. Lastly, we show that with sufficiently many vertices, every triangulable homology manifold without boundary of dimension three or greater can be triangulated in a 2-neighborly fashion.
First Steps in Tropical Intersection Theory
Published in Mathematische Zeitschrift, Volume 264 (2010), Issue 3, pp 633-670
• View Publication
• BIB
We establish first parts of a tropical intersection theory. Namely, we define cycles, Cartier divisors and intersection products between these two (without passing to rational equivalence) and discuss push-forward and pull-back. We do this first for fans in R^n and then for "abstract" cycles that are fans locally. With regard to applications in enumerative geometry, we finally have a look at rational equivalence and intersection products of cycles and cycle classes in R^n.
The j-invariant of a plane tropical cubic
Published in J. Algebra 320 (2008), no. 10, 3832--3848
• View Publication
• BIB
Several results in tropical geometry have related the j-invariant of an algebraic plane curve of genus one to the cycle length of a tropical curve of genus one. In this paper, we prove that for a plane cubic over the field of Puiseux series the negative of the generic valuation of the $j$-invariant is equal to the cycle length of the tropicalization of the curve, if there is a cycle at all.
Asymptotic estimates for the number of contingency tables, integer flows, and volumes of transportation polytopes
Published
• View Publication
• BIB
We prove an asymptotic estimate for the number of mxn non-negative integer matrices (contingency tables) with prescribed row and column sums and, more generally, for the number of integer feasible flows in a network. Similarly, we estimate the volume of the polytope of mxn non-negative real matrices with prescribed row and column sums. Our estimates are solutions of convex optimization problems and hence can be computed efficiently. As a corollary, we show that if row sums R=(r_1, ..., r_m) and column sums C=(c_1, ..., c_n) with r_1 + ... + r_m =c_1 + ... +c_n =N are sufficiently far from constant vectors, then, asymptotically, in the uniform probability space of the mxn non-negative integer matrices with the total sum N of entries, the event consisting of the matrices with row sums R and the event consisting of the matrices with column sums C are positively correlated.
A further look into combinatorial orthogonality
Published
• View Publication
• BIB
Strongly quadrangular matrices have been introduced in the study of the combinatorial properties of unitary matrices. It is known that if a (0, 1)-matrix supports a unitary then it is strongly quadrangular. However, the converse is not necessarily true. In this paper, we fully classify strongly quadrangular matrices up to degree 5. We prove that the smallest strongly quadrangular matrices which do not support unitaries have exactly degree 5. Further, we isolate two submatrices not allowing a (0, 1)-matrix to support unitaries.
Euclidean Jordan Algebras and Generalized Krein parameters of a strongly regular graph
Published
• View Publication
• BIB
Let $τ$ be a strongly $(n,p;a,c)$ regular graph,such that $0<c<p<n-1,$ $A$ his matrix of adjacency and let ${\cal V}_{n}$ be the Euclidean space spanned by the powers of $A$ over the reals where the scallar product $\bullet|\bullet$ is defined by $x|y={trace}(x \cdot y).$ In this work ones proves that ${\cal V}_{n}$ is an Euclidean Jordan algebra of rank 3 when one introduces in ${\cal V}_{n}$ the usual product of matrices. In this Euclidean Jordan algebra one defines the modulus of a matrix, and afterwards one defines $|A|^x \forall x\in \mathbb{R}.$ Working inside the Euclidean Jordan algebra ${\cal V}_{n}$ and making use of the properties of $|A|^x$ one defines the generalized krein parameters of the strongly $(n,p;a,c)$ regular graph $τ$ and finally one presents necessary conditions over the parameters and the spectra of the $τ$ strongly $(n,p;a,c)$ regular graph.
On Popoviciu type tormulas for generalized restricted partition function
Suppose that $a_1(n),a_2(n),...,a_s(n),m(n)$ are integer-valued polynomials in $n$ with positive leading coefficients. This paper presents Popoviciu type formulas for the generalized restricted partition function $$p_{A(n)}(m(n)):=#\{(x_1,...,x_s)\in \mathbb{Z}^{s}: all x_j\geqslant 0, x_1a_1(n)+...+x_sa_s(n)=m(n) \}$$ when $s=2$ or 3. In either case, the formula implies that the function is an integer-valued quasi-polynomial. The main result is proved by a reciprocity law for a class of fractional part sums and the theory of generalized Euclidean division.
Torische Ideale von Flusspolytopen
In dieser Diplomarbeit werden einige Gradschranken für Erzeugendensysteme und Gröbnerbasen von torischen Idealen von Flusspolytopen bewiesen. Alle torischen Ideale von Flusspolytopen sind im Grad 3 erzeugt. Glatte (3x4)-Transportpolytope sind sogar im Grad 2 erzeugt. Die reduzierte Gröbnerbasis eines beliebigen (m \times n)-Transportpolytops bezüglich einer beliebigen umgekehrt lexikographischen Termordnung hat höchstens Grad mn/2. Wir konstruieren auch ein Beispiel, für das diese Schranke annähernd scharf ist.
-----
In this Diplomarbeit (Master's thesis), we prove some degree bounds for generating sets and Gröbner bases of toric ideals of flow polytopes. All toric ideals of flow polytopes are generated in degree three. Smooth (3x4)-transportation polytopes are even generated in degree 2. The reduced Gröbner basis of an arbitrary (m \times n)-transportation polytope with respect to an arbitrary reverse lexikographic term order has at most degree mn/2. We also construct an example, for which this bound is almost sharp.
Some notes on the equivalence of first-order rigidity in various geometries
These pages serve two purposes. First, they are notes to accompany the talk "Hyperbolic and projective geometry in constraint programming for CAD" by Walter Whiteley at the "Janos Bolyai Conference on Hyperbolic Geometry", 8--12 July 2002, in Budapest, Hungary. Second, they sketch results that will be included in a forthcoming paper that will present the equivalence of the first-order rigidity theories of bar-and-joint frameworks in various geometries, including Euclidean, hyperbolic and spherical geometry. The bulk of the theory is outlined here, with remarks and comments alluding to other results that will make the final version of the paper.
Quantum Knizhnik-Zamolodchikov equation: reflecting boundary conditions and combinatorics
Published
• View Publication
• BIB
We consider the level 1 solution of quantum Knizhnik-Zamolodchikov equation with reflecting boundary conditions which is relevant to the Temperley--Lieb model of loops on a strip. By use of integral formulae we prove conjectures relating it to the weighted enumeration of Cyclically Symmetric Transpose Complement Plane Partitions and related combinatorial objects.
Compatible Geometric Matchings
Published in Computational Geometry: Theory & Applications 42(6-7):617-626, 2009.
• View Publication
• BIB
This paper studies non-crossing geometric perfect matchings. Two such perfect matchings are \emph{compatible} if they have the same vertex set and their union is also non-crossing. Our first result states that for any two perfect matchings $M$ and $M'$ of the same set of $n$ points, for some $k\in\Oh{\log n}$, there is a sequence of perfect matchings $M=M_0,M_1,...,M_k=M'$, such that each $M_i$ is compatible with $M_{i+1}$. This improves the previous best bound of $k\leq n-2$. We then study the conjecture: \emph{every perfect matching with an even number of edges has an edge-disjoint compatible perfect matching}. We introduce a sequence of stronger conjectures that imply this conjecture, and prove the strongest of these conjectures in the case of perfect matchings that consist of vertical and horizontal segments. Finally, we prove that every perfect matching with $n$ edges has an edge-disjoint compatible matching with approximately $4n/5$ edges.