Showing 20 papers (Total: 82851 papers, 47869 authors in database)
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.
Discrete Polynomials and Discrete Holomorphic Approximation
We use discrete holomorphic polynomials to prove that, given a refining sequence of critical maps of a Riemann surface, any holomorphic function can be approximated by a converging sequence of discrete holomorphic functions.
Rectangular Schur functions and the basic representation of affine Lie algebras
Published
• View Publication
• BIB
An expression is given for the plethysm $p_{2}\circ S_{\square}$, where $p_{2}$ is the power sum of degree two and $S_{\square}$ is the Schur function indexed by a rectangular partition. The formula can be well understood from the viewpoint of the basic representation of the affine Lie algebra of type $A_{2}^{(2)}$.
Bases of the contact-order filtration of derivations of Coxeter arrangements
Published in Proc. AMS 133 (2005), 2029-2034; 136 (2008), 2639-2639
• View Publication
• BIB
In [5] (=Terao, H.: Multiderivations of Coxeter arrangements. Inventiones math., 148 (2002) 659--674), we constructed a basis for the contact-order filtration of the module of derivations on the orbit space of a finite real reflection group acting on an $\ell$-dimensional Euclidean space. Recently M. Yoshinaga constructed another basis for the contact-order filtration in [7] (=Yoshinaga, M.: The primitive derivation and freeness of multi-Coxeter arrangements. preprint 2002). In this note we give an explicit formula relating Yoshinaga's basis to the basis given in [5]. The two bases turn out to be equal (up to a constant matrix).
The primitive derivation and freeness of multi-Coxeter arrangements
Published in Proc. Japan Acad. Ser. 78(2002), no. 7, 116-119
• View Publication
• BIB
We will prove the freeness of multi-Coxeter arrangements by constructing a basis of the module of vector fields which contact to each reflecting hyperplanes with some multiplicities using K. Saito's theory of primitive derivation.
Dualistic computational algebraic analyses of primal and dual minimum cost flow problems on acyclic tournament graphs
To integer programming problems, computational algebraic approaches using Grobner bases or standard pairs via the discreteness of toric ideals have been studied in recent years. Although these approaches have not given improved time complexity bound compared with existing methods for solving integer programming problems, these give algebraic analysis of their structures. In this paper, we focus on the case that the coefficient matrix is unimodular, especially on the primal and dual minimum cost flow problems, whose structure is rather well-known, but new structures can be revealed by our approach. We study the Grobner bases and standard pairs for unimodular programming, and give the maximum number of dual feasible bases in terms of the volume of polytopes. And for the minimum cost flow problems, we characterize reduced Grobner bases in terms of graphs, and give bounds for the number of dual (resp. primal) feasible bases of the primal (resp. dual) problems: for the primal problems the minimum and the maximum are shown to be 1 and the Catalan number $\frac{1}{d}\tbinom{2(d-1)}{d-1}$, while for the dual problems the lower bound is shown to be $Ω(2^{\lfloor d/6\rfloor})$. To analyze arithmetic degrees, we use two approaches: one is the relation between reduced Gr{ö}bner bases and standard pairs, where the corresponding relation on the minimum cost flow -- between a subset of circuits and dual feasible bases -- has not been so clear, the other is the results in combinatorics related with toric ideals.
A new notion of transitivity for groups and sets of permutations
Published
• View Publication
• BIB
Let $Ω=\{1,2,...,n\}$ where $n \ge 2$. The {\em shape} of an ordered set partition $P=(P_1,..., P_k)$ of $Ω$ is the integer partition $λ=(λ_1,...,λ_k)$ defined by $λ_i = |P_i|$. Let G be a group of permutations acting on $Ω$. For a fixed partition $λ$ of n, we say that G is {\em $λ$-transitive} if G has only one orbit when acting on partitions P of shape $\la$. A corresponding definition can also be given when G is just a set. For example, if $λ=(n-t,1,...,1)$, then a $λ$-transitive group is the same as a t-transitive permutation group and if $λ=(n-t,t)$, then we recover the t-homogeneous permutation groups.
In this paper, we use the character theory of the symmetric group $S_n$ to establish some structural results regarding $λ$-transitive groups and sets. In particular, we are able to generalize a theorem of Livingstone and Wagner about t-homogeneous groups. We survey the relevant examples coming from groups. While it is known that a finite group of permutations can be at most 5-transitive unless it contains the alternating group, we show that it is possible to construct a non-trivial t-transitive set of permutations for each positive integer t. We also show how these ideas lead to a split basis for the association scheme of the symmetric group.
Two formulae for inverse Kazhdan-Lusztig polynomials in S_n
Published
• View Publication
• BIB
Let w_0 denote the permutation [n,n-1,...,2,1]. We give two new explicit formulae for the Kazhdan-Lusztig polynomials P_{w_0w,w_0x} in S_n when x is a maximal element in the singular locus of the Schubert variety X_w. To do this, we utilize a standard identity that relates P_{x,w} and P_{w_0w,w_0x}.