Showing 20 papers (Total: 81378 papers, 47165 authors in database)
The Hilbert Zonotope and a Polynomial Time Algorithm for Universal Grobner Bases
Published in Advances in Applied Mathematics, 30:529--544, 2003
• View Publication
• BIB
We provide a polynomial time algorithm for computing the universal Gröbner basis of any polynomial ideal having a finite set of common zeros in fixed number of variables. One ingredient of our algorithm is an effective construction of the state polyhedron of any member of the Hilbert scheme Hilb^d_n of n-long d-variate ideals, enabled by introducing the Hilbert zonotope H^d_n and showing that it simultaneously refines all state polyhedra of ideals on Hilb^d_n.
Convex Matroid Optimization
Published in SIAM Journal on Discrete Mathematics, 17:249--253, 2003
• View Publication
• BIB
We consider a problem of optimizing convex functionals over matroid bases. It is richly expressive and captures certain quadratic assignment and clustering problems. While generally NP-hard, we show it is polynomial time solvable when a suitable parameter is restricted.
Symmetric Functions and B_N-invariant Spherical Harmonics
Published in J.Phys. A: Math. Gen. 35 (2002), 10391-10408
• View Publication
• BIB
The wave functions of a quantum isotropic harmonic oscillator in N-space modified by barriers at the coordinate hyperplanes can be expressed in terms of certain generalized spherical harmonics. These are associated with a product-type weight function on the sphere. Their analysis is carried out by means of differential-difference operators. The symmetries of this system involve the Weyl group of type B, generated by permutations and changes of sign of the coordinates. A new basis for symmetric functions as well as an explicit transition matrix to the monomial basis is constructed. This basis leads to a basis for invariant spherical harmonics. The determinant of the Gram matrix for the basis in the natural inner product over the sphere is evaluated, and there is a formula for the evaluation of the basis elements at (1,1,...,1). When the underlying parameter is specialized to zero, the basis consists of ordinary spherical harmonics with cube group symmetry, as used for wave functions of electrons in crystals. The harmonic oscillator can also be considered as a degenerate interaction-free spin Calogero model.
On the Number of Embeddings of Minimally Rigid Graphs
Published in Proc. 18th ACM Symp. Computational Geometry, Barcelona, June 2002, pp. 25-32
• View Publication
• BIB
Rigid frameworks in some Euclidian space are embedded graphs having a unique local realization (up to Euclidian motions) for the given edge lengths, although globally they may have several. We study the number of distinct planar embeddings of minimally rigid graphs with $n$ vertices. We show that, modulo planar rigid motions, this number is at most ${{2n-4}\choose {n-2}} \approx 4^n$. We also exhibit several families which realize lower bounds of the order of $2^n$, $2.21^n$ and $2.88^n$.
For the upper bound we use techniques from complex algebraic geometry, based on the (projective) Cayley-Menger variety $CM^{2,n}(C)\subset P_{{{n}\choose {2}}-1}(C)$ over the complex numbers $C$. In this context, point configurations are represented by coordinates given by squared distances between all pairs of points. Sectioning the variety with $2n-4$ hyperplanes yields at most $deg(CM^{2,n})$ zero-dimensional components, and one finds this degree to be $D^{2,n}={1/2}{{2n-4}\choose {n-2}}$. The lower bounds are related to inductive constructions of minimally rigid graphs via Henneberg sequences.
The same approach works in higher dimensions. In particular we show that it leads to an upper bound of $2 D^{3,n}= {\frac{2^{n-3}}{n-2}}{{n-6}\choose{n-3}}$ for the number of spatial embeddings with generic edge lengths of the 1-skeleton of a simplicial polyhedron, up to rigid motions.
Representations of twisted Yangians associated with skew Young diagrams
Published in Selecta Math. 10 (2004), 71-129
• View Publication
• BIB
Let $G_M$ be one of the complex Lie groups $O_M$ and $Sp_M$. The irreducible finite-dimensional representations of the group $G_M$ are labeled by partitions $μ$ satisfying certain extra conditions. Let $U$ be the representation of $G_M$ corresponding to $μ$. Regard the direct product $G_N\times G_M$ as a subgroup of $G_{N+M}$. Let $V$ be the irreducible representation of $G_{N+M}$ corresponding to a partition $λ$. Consider the vector space $W=Hom_{G_M}(U,V)$. It comes with a natural action of the group $G_N$. Let $n$ be sum of parts of $λ$ less the sum of parts of $μ$. For any choice of a standard Young tableau of skew shape $λ/μ$, we realize $W$ as a subspace in the tensor product of $n$ copies of the defining $N$-dimensional representation of $G_N$. This subspace is determined as the image of a certain linear operator $F(M)$ in the tensor product, given by an explicit formula. When M=0 and $W=V$ is an irreducible representation of $G_N$, we recover the classical realization of $V$ as a subspace in the space of all traceless tensors. Then the operator F(0) can be regarded as the analogue for $G_N$ of the Young symmetrizer, corresponding to the chosen standard tableau of shape $λ$. Even in the special case M=0, our formula for the operator $F(M)$ is new. Our results are applications of representation theory of the twisted Yangian, corresponding to $G_N$. In particular, $F(M)$ is an intertwining operator between two representations of the twisted Yangian in the $n$-fold tensor product.
Percolation on finite graphs and isoperimetric inequalities
Published in Annals of Probability 2004, Vol. 32, No. 3, 1727-1745
• View Publication
• BIB
Consider a uniform expanders family G_n with a uniform bound on the degrees. It is shown that for any p and c>0, a random subgraph of G_n obtained by retaining each edge, randomly and independently, with probability p, will have at most one cluster of size at least c|G_n|, with probability going to one, uniformly in p. The method from Ajtai, Komlos and Szemeredi [Combinatorica 2 (1982) 1-7] is applied to obtain some new results about the critical probability for the emergence of a giant component in random subgraphs of finite regular expanding graphs of high girth, as well as a simple proof of a result of Kesten about the critical probability for bond percolation in high dimensions. Several problems and conjectures regarding percolation on finite transitive graphs are presented.
Gauss-Manin connections for arrangements, II Nonresonant weights
Published in Amer. J. Math. 127 (2005), 569-594
• View Publication
• BIB
We study the Gauss-Manin connection for the moduli space of an arrangement of complex hyperplanes in the cohomology of a nonresonant complex rank one local system. Aomoto and Kita determined this Gauss-Manin connection for arrangements in general position. We use their results and an algorithm constructed in this paper to determine this Gauss-Manin connection for all arrangements.
Maximal Independent Sets In Graphs With At Most r Cycles
Published
• View Publication
• BIB
We find the maximum number of maximal independent sets in two families of graphs: all graphs with $n$ vertices and at most $r$ cycles, and all such graphs that are also connected. In addition, we characterize the extremal graphs.
Co-Addition for free Non-Associative Algebras and the Hausdorff Series
Published in J. Algebra 265 (2003), no. 1, 264--284.
• View Publication
• BIB
Generalizations of the series exp and log to noncommutative non-associative and other types of algebras were considered by M.Lazard, and recently by V.Drensky and L.Gerritzen. There is a unique power series exp(x) in one non-associative variable x such that exp(x)exp(x)=exp(2x), exp'(0)=1.
We call the unique series H=H(x,y) in two non-associative variables satisfying exp(H)=exp(x)exp(y) the non-associative Hausdorff series, and we show that the homogeneous components of H are primitive elements with respect to the co-addition for non-associative variables. We describe the space of primitive elements for the co-addition in non-associative variables using Taylor expansion and a projector onto the algebra A_0 of constants for the partial derivations. By a theorem of Kurosh, A_0 is a free algebra. We describe a procedure to construct a free algebra basis consisting of primitive elements.
On the Cayley digraphs that are patterns of unitary matrices
A digraph D is the pattern of a matrix M when D has an arc ij if and only if the ij-th entry of M is nonzero. Study the relationship between unitary matrices and their patterns is motivated by works in quantum chaology and quantum computation. In this note, we prove that if a Cayley digraph is a line digraph then it is the pattern of a unitary matrix. We prove that for any finite group with two generators there exists a set of generators such that the Cayley digraph with respect to such a set is a line digraph and hence the pattern of a unitary matrix.
Permutation graphs, fast forward permutations, and sampling the cycle structure of a permutation
Published in Journal of Algorithms 47 (2003), 104--121
• View Publication
• BIB
A permutation P on {1,..,N} is a_fast_forward_permutation_ if for each m the computational complexity of evaluating P^m(x)$ is small independently of m and x. Naor and Reingold constructed fast forward pseudorandom cycluses and involutions. By studying the evolution of permutation graphs, we prove that the number of queries needed to distinguish a random cyclus from a random permutation on {1,..,N} is Theta(N) if one does not use queries of the form P^m(x), but is only Theta(1) if one is allowed to make such queries.
We construct fast forward permutations which are indistinguishable from random permutations even when queries of the form P^m(x) are allowed. This is done by introducing an efficient method to sample the cycle structure of a random permutation, which in turn solves an open problem of Naor and Reingold.
Reconstruction of functions from their triple correlations
Suppose that A is a subset of an abelian group G. To know the 3-deck of A is to know the number of occurences in A of translates of each possible multiset {0,a,b}. The concept of the 3-deck is naturally extended to integrable functions on G. In this paper we study when the 3-deck of a function determines the function up to translations. The method is to look at the Fourier Transform of the function. Our emphasis is on the real line and the cyclic groups.
The Bailey lemma and Kostka polynomials
Published in J. Algebraic Combin. 20 (2004), 131-171
• View Publication
• BIB
Using the theory of Kostka polynomials, we prove an A_{n-1} version of Bailey's lemma at integral level. Exploiting a new, conjectural expansion for Kostka numbers, this is then generalized to fractional levels, leading to a new expression for admissible characters of A_{n-1}^{(1)} and to identities for A-type branching functions.
Computing roots of directed graphs is graph isomorphism hard
The k-th power D^k of a directed graph D is defined to be the directed graph on the vertices of D with an arc from a to b in D^k iff one can get from a to b in D with exactly k steps. This notion is equivalent to the k-fold composition of binary relations or k-th powers of Boolean matrices.
A k-th root of a directed graph D is another directed graph R with R^k = D. We show that for each k >= 2, computing a k-th root of a directed graph is at least as hard as the graph isomorphism problem.
On Tverberg's conjecture
In 1989 H. Tverberg proposed a quite general conjecture in Discrete geometry, which could be considered as the common basis for many results in Combinatorial geometry and at the same time as a discrete analogue of the common transversal theorems. It implies or contains as the special cases many classical "coincidence" results such as Radon's theorem, Rado's theorem, the Ham-sandwich theorem, the nonembeddability results (of graphs in the plane) etc. The main goal of this note is to verify this conjecture in one new, non-trivial case. We obtain the continuous version of the conjecture. So, it is not surprising that we use topological methods, or more precisely the methods of equivaiant topology and the characteristic classes.
Properties of the residual circle action on a toric hyperkahler variety
Published
• View Publication
• BIB
We consider a manifold X obtained by a Kahler reduction of C^n, and we define its hyperkahler analogue M as a hyperkahler reduction of T^*C^n = H^n by the same group. In the case where the group is abelian and X is a smooth toric variety, M is a toric hyperkahler manifold, as defined by Bielawski-Dancer, and further studied by Konno and Hausel-Sturmfels. The manifold M carries a natural action of S^1, induced by the scalar action of S^1 on the fibers of T^*C^n. In this paper we study this action, computing its fixed points and its equivariant cohomology. As an application, we use the associated Z/2 action on the real locus of M to compute a deformation of the Orlik-Solomon algebra of a smooth, generic, real hyperplane arrangement, depending nontrivially on the affine structure of the arrangement. This deformation is given by the Z/2-equivariant cohomology of the complement of the complexification, where Z/2 acts by complex conjugation.
Ideals in the Temperley Lieb Category
We prove the following result: For a generic value of the parameter, the Temperley-Lieb category has no non-zero, proper tensor ideal. When the parameter $d$ is equal to $2\cos(π/n)$ for some $n \ge 3$, then the Temperley-Lieb category has exactly one non-zero, proper ideal, namely the ideal of negligible morphisms.
An Orchard Theorem
We describe a natural way to plant cherry- and plumtrees at prescribed generic locations in an orchard.
An analogue of the plactic monoid for binary search trees
We introduce a monoid structure on a certain set of labelled binary trees, by a process similar to the construction of the plactic monoid. This leads to a new interpretation of the algebra of planar binary trees of Loday-Ronco.
Balanced configurations of 2n+1 plane vectors
Published
• View Publication
• BIB
A plane configuration {v_1,...,v_m} of vectors in {\mathbb R}^2 is said to be balanced if for any index i, the set of the det(v_i,v_j) for j\neq i is symmetric around the origin. A plane configuration is said to be uniform if every pair of vectors is linearly independent. E. Cattani and A. Dickenstein conjectured that any uniform balanced configuration is GL_2({\mathbb R})-equivalent to a regular (2n+1)-gon. In this note, we prove this conjecture.