Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Finite generation of symmetric ideals
Published
• View Publication
• BIB
Let $A$ be a commutative Noetherian ring, and let $R = A[X]$ be the polynomial ring in an infinite collection $X$ of indeterminates over $A$. Let ${\mathfrak S}_{X}$ be the group of permutations of $X$. The group ${\mathfrak S}_{X}$ acts on $R$ in a natural way, and this in turn gives $R$ the structure of a left module over the left group ring $R[{\mathfrak S}_{X}]$. We prove that all ideals of $R$ invariant under the action of ${\mathfrak S}_{X}$ are finitely generated as $R[{\mathfrak S}_{X}]$-modules. The proof involves introducing a certain well-quasi-ordering on monomials and developing a theory of Gröbner bases and reduction in this setting. We also consider the concept of an invariant chain of ideals for finite-dimensional polynomial rings and relate it to the finite generation result mentioned above. Finally, a motivating question from chemistry is presented, with the above framework providing a suitable context in which to study it.
The group law on a tropical elliptic curve
Published
• View Publication
• BIB
In analogy with the classical group law on a plane cubic curve, we define a group law on a smooth plane tropical cubic curve. We show that the resulting group is isomorphic to $S^1$.
The obstructions for toroidal graphs with no $K_{3,3}$'s
Published in Discrete Math. 309 (2009), no. 11, pp. 3625-3631
• View Publication
• BIB
Forbidden minors and subdivisions for toroidal graphs are numerous. We consider the toroidal graphs with no $K_{3,3}$-subdivisions that coincide with the toroidal graphs with no $K_{3,3}$-minors. These graphs admit a unique decomposition into planar components and have short lists of obstructions. We provide the complete lists of four forbidden minors and eleven forbidden subdivisions for the toroidal graphs with no $K_{3,3}$'s and prove that the lists are sufficient.
Symplectic Graphs and Their Automorphisms
Published
• View Publication
• BIB
A new family of strongly regular graphs, called the general symplectic graphs $Sp(2ν, q)$, associated with nonsingular alternate matrices is introduced. Their parameters as strongly regular graphs, their chromatic numbers as well as their groups of graph automorphisms are determined.
The Weighted Euler-Maclaurin Formula for a simple integral polytope
Published
• View Publication
• BIB
We give an Euler-Maclaurin formula with remainder for the weighted sum of the values of a smooth function on the integral points in a simple integral polytope. Our work generalizes the formula obtained by Karshon, Sternberg and Weitsman in the ''Euler-Maclaurin with remainder for a simple integral polytope''.
Lattices of lattice paths
Published
• View Publication
• BIB
We consider posets of lattice paths (endowed with a natural order) and begin the study of such structures. We give an algebraic condition to recognize which ones of these posets are lattices. Next we study the class of Dyck lattices (i.e., lattices of Dyck paths) and give a recursive construction for them. The last section is devoted to the presentation of a couple of open problems.
The combinatorics of twisted involutions in Coxeter groups
Published
• View Publication
• BIB
The open intervals in the Bruhat order on twisted involutions in a Coxeter group are shown to be PL spheres. This implies results conjectured by F. Incitti and sharpens the known fact that these posets are Gorenstein* over Z_2.
We also introduce a Boolean cell complex which is an analogue for twisted involutions of the Coxeter complex. Several classical Coxeter complex properties are shared by our complex. When the group is finite, it is a shellable sphere, shelling orders being given by the linear extensions of the weak order on twisted involutions. Furthermore, the h-polynomial of the complex coincides with the polynomial counting twisted involutions by descents. In particular, this gives a type independent proof that the latter is symmetric.
Convex Polytopes: Extremal Constructions and f-Vector Shapes
Published
• View Publication
• BIB
These lecture notes treat some current aspects of two closely interrelated topics from the theory of convex polytopes: the shapes of f-vectors, and extremal constructions.
The first lecture treats 3-dimensional polytopes; it includes a complete proof of the Koebe--Andreev--Thurston theorem, using the variational principle by Bobenko & Springborn (2004). In Lecture 2 we look at f-vector shapes of very high-dimensional polytopes. The third lecture explains a surprisingly simple construction for 2-simple 2-simplicial 4-polytopes, which have symmetric f-vectors. Lecture 4 sketches the geometry of the cone of f-vectors for 4-polytopes, and thus identifies the existence/construction of 4-polytopes of high ``fatness'' as a key problem. In this direction, the last lecture presents a very recent construction of ``projected products of polygons,'' whose fatness reaches 9-\eps.
Higher order peak algebras
Published in Annals of Combinatorics 9:4 (2005), 411-430
• View Publication
• BIB
Using the theory of noncommutative symmetric functions, we introduce the higher order peak algebras, a sequence of graded Hopf algebras which contain the descent algebra and the usual peak algebra as initial cases (N = 1 and N = 2). We compute their Hilbert series, introduce and study several combinatorial bases, and establish various algebraic identities related to the multisection of formal power series with noncommutative coefficients.
Polynomial recurrences and cyclic resultants
Published
• View Publication
• BIB
Let $K$ be an algebraically closed field of characteristic zero and let $f \in K[x]$. The $m$-th {\it cyclic resultant} of $f$ is \[r_m = \text{Res}(f,x^m-1).\] A generic monic polynomial is determined by its full sequence of cyclic resultants; however, the known techniques proving this result give no effective computational bounds. We prove that a generic monic polynomial of degree $d$ is determined by its first $2^{d+1}$ cyclic resultants and that a generic monic reciprocal polynomial of even degree $d$ is determined by its first $2\cdot 3^{d/2}$ of them. In addition, we show that cyclic resultants satisfy a polynomial recurrence of length $d+1$. This result gives evidence supporting the conjecture of Sturmfels and Zworski that $d+1$ resultants determine $f$. In the process, we establish two general results of independent interest: we show that certain Toeplitz determinants are sufficient to determine whether a sequence is linearly recurrent, and we give conditions under which a linearly recurrent sequence satisfies a polynomial recurrence of shorter length.
The Limiting Distribution of the Trace of a Random Plane Partition
Published
• View Publication
• BIB
We study the asymptotic behaviour of the trace (the sum of the diagonal parts) of a plane partition of the positive integer n, assuming that this parfition is chosen uniformly at random from the set of all such partitions.
Parking Functions and Descent Algebras
Published in Annals of Combinatorics 11 (2007), 59-68
• View Publication
• BIB
We show that the notion of parkization of a word, a variant of the classical standardization, allows to introduce an internal product on the Hopf algebra of parking functions. Its Catalan subalgebra is stable under this operation and contains the descent algebra as a left ideal.
Do All Elliptic Curves of the Same Order Have the Same Difficulty of Discrete Log?
Published in Advances in Cryptology -- Asiacrypt 2005, LNCS 3788, pp. 21-40.
• View Publication
• BIB
The aim of this paper is to justify the common cryptographic practice of selecting elliptic curves using their order as the primary criterion. We can formalize this issue by asking whether the discrete log problem (DLOG) has the same difficulty for all curves over a given finite field with the same order. We prove that this is essentially true by showing polynomial time random reducibility of DLOG among such curves, assuming the Generalized Riemann Hypothesis (GRH). We do so by constructing certain expander graphs, similar to Ramanujan graphs, with elliptic curves as nodes and low degree isogenies as edges.
The result is obtained from the rapid mixing of random walks on this graph. Our proof works only for curves with (nearly) the same endomorphism rings. Without this technical restriction such a DLOG equivalence might be false; however, in practice the restriction may be moot, because all known polynomial time techniques for constructing equal order curves produce only curves with nearly equal endomorphism rings.
Pole Structure of Topological String Free Energy
Published
• View Publication
• BIB
We show that the free energy of the topological string admits a certain pole structure by using the operator formalism. Combined with the results of Peng that proved the integrality, this gives a combinatoric proof of the Gopakumar-Vafa conjecture.
Graphs $4_n$ that are isometrically embeddable in hypercubes
A connected 3-valent plane graph, whose faces are $q$- or 6-gons only, is called a {\em graph $q_n$}. We classify all graphs $4_n$, which are isometric subgraphs of a $m$-hypercube $H_m$.
Intersection cohomology of hypertoric varieties
Published in Journal of Algebraic Geometry 16 (2007), 39-63
• View Publication
• BIB
A hypertoric variety is a quaternionic analogue of a toric variety. Just as the topology of toric varieties is closely related to the combinatorics of polytopes, the topology of hypertoric varieties interacts richly with the combinatorics of hyperplane arrangements and matroids. Using finite field methods, we obtain combinatorial descriptions of the Betti numbers of hypertoric varieties, both for ordinary cohomology in the smooth case and intersection cohomology in the singular case. We also introduce a conjectural ring structure on the intersection cohomology of a hypertoric variety.
The strong Macdonald conjecture and Hodge theory on the Loop Grassmannian
Published
• View Publication
• BIB
We prove the strong Macdonald conjecture of Hanlon and Feigin for reductive groups G. In a geometric reformulation, we show that the Dolbeault cohomology $H^q(X;Ω^p)$ of the loop Grassmannian X is freely generated by de Rham's forms on the disk coupled to algebra generators of $H*(BG)$. Equating Euler characteristics of the two gives an identity, independently known to Macdonald [M], which generalises Ramanujan's_1ψ_1 sum. Simply laced root systems at level 1 are related to a `strong'_4ψ_4 sum. Failure of Hodge decomposition implies the singularity of X, and of the algebraic loop groups.
Characterization and enumeration of toroidal K_{3,3}-subdivision-free graphs
Published in Discrete Math. 307 (2007), no. 23, pp. 2993-3005
• View Publication
• BIB
We describe the structure of 2-connected non-planar toroidal graphs with no K_{3,3}-subdivisions, using an appropriate substitution of planar networks into the edges of certain graphs called toroidal cores. The structural result is based on a refinement of the algorithmic results for graphs containing a fixed K_5-subdivision in [A. Gagarin and W. Kocay, "Embedding graphs containing K_5-subdivisions'', Ars Combin. 64 (2002), 33-49]. It allows to recognize these graphs in linear-time and makes possible to enumerate labelled 2-connected toroidal graphs containing no K_{3,3}-subdivisions and having minimum vertex degree two or three by using an approach similar to [A. Gagarin, G. Labelle, and P. Leroux, "Counting labelled projective-planar graphs without a K_{3,3}-subdivision", submitted, arXiv:math.CO/0406140, (2004)].
A connection between covers of the integers and unit fractions
Published
• View Publication
• BIB
For integers a and n>0, let a(n) denote the residue class {x\in Z: x=a (mod n)}. Let A be a collection {a_s(n_s)}_{s=1}^k of finitely many residue classes such that A covers all the integers at least m times but {a_s(n_s)}_{s=1}^{k-1} does not. We show that if n_k is a period of the covering function w_A(x)=|{1\le s\le k: x\in a_s(n_s)}| then for any r=0,...,n_k-1 there are at least m integers in the form $\sum_{s\in I}1/n_s-r/n_k$ with I contained in {1,...,k-1}.
Desingularization of toric and binomial varieties
Published
• View Publication
• BIB
We give a combinatorial algorithm for equivariant embedded resolution of singularities of a toric variety defined over a perfect field. The algorithm is realized by a finite succession of blowings-up with smooth invariant centres that satisfy the normal flatness criterion of Hironaka. The results extend to more general varieties defined locally by binomial equations.