Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On abelian $(2^{2m+1}(2^{m-1}+1), 2^m(2^m+1), 2^m)$-difference sets
In this paper we prove that an abelian group contains $(2^{2m+1}(2^{m-1}+1), 2^m(2^m+1), 2^m)$-difference sets with $m\geqslant 3$ if and only if it contains an elementary abelian 2-group of order $2^{2m}$. Our proof shows that the method of constructing such difference sets is essentially unique.
Combinatorial congruences modulo prime powers
Published in Trans. Amer. Math. Soc. 359(2007), no.11, 5525-5553
• View Publication
• BIB
Let p be any prime, and let a and n be nonnegative integers. Let $r\in Z$ and $f(x)\in Z[x]$. We establish the congruence
$$p^{°f}\sum_{k=r(mod p^a)}\binom{n}{k}(-1)^k f((k-r)/p^a) =0 (mod p^{\sum_{i=a}^{\infty}[n/p^i]})$$ (motivated by a conjecture arising from algebraic topology), and obtain the following vast generalization of Lucas' theorem: If a is greater than one, and $l,s,t$ are nonnegative integers with $s,t<p$, then
$$\frac{1}{[n/p^{a-1}]!} \sum_{k=r(mod p^a)} \binom{pn+s}{pk+t}(-1)^{pk}((k-r)/p^{a-1})^l =\frac {1}{[n/p^{a-1}]!} \sum_{k=r(mod p^a)}\binom{n}{k}\binom{s}{t}(-1)^k((k-r)/p^{a-1})^l (mod p).$$
We also present an application of the first congruence to Bernoulli polynomials, and apply the second congruence to show that a p-adic order bound given by the authors in a previous paper can be attained when p=2.
Integrality and the Laurent phenomenon for Somos 4 sequences
Published
• View Publication
• BIB
Somos 4 sequences are a family of sequences defined by a fourth-order quadratic recurrence relation with constant coefficients. For particular choices of the coefficients and the four initial data, such recurrences can yield sequences of integers. Fomin and Zelevinsky have used the theory of cluster algebras to prove that these recurrences also provide one of the simplest examples of the Laurent phenomenon: all the terms of a Somos 4 sequence are Laurent polynomials in the initial data. The integrality of certain Somos 4 sequences has previously been understood in terms of the Laurent phenomenon. However, each of the authors of this paper has independently established the precise correspondence between Somos 4 sequences and sequences of points on elliptic curves. Here we show that these sequences satisfy a stronger condition than the Laurent property, and hence establish a broad set of sufficient conditions for integrality. As a by-product, non-periodic sequences provide infinitely many solutions of an associated quartic Diophantine equation in four variables. The analogous results for Somos 5 sequences are also presented, as well as various examples, including parameter families of Somos 4 integer sequences.
Curves in cages: an algebro-geometric zoo
Published
• View Publication
• BIB
The paper is concerned with families of plane algebraic curves that contain a given and quite special finite set X of points in the projective plane. We focus on the case in which the set X is formed by transversally intersecting pairs of lines selected from two given finite families of cardinality d. The union of all lines from both families is called a cage, and the intersection X consists of d^2 points at which a line from the first family intersects a line from the second. The points of X are called the nodes of the cage. We study the subsets A of the nodal set X such that any plane algebraic curve C of degree d that contains A must contain X as well. As a corollary, we get a few generalizations of the famous Pascal theorem, generalizations that employ polygons (instead of hexagons as in Pascal's theorem) inscribed in a quadratic curve. Our results are closely related to the classical theorems of Chasles and Bacharach. Although the nodal sets X produced by our cages are quite special in comparison to more general complete intersections studied by Bacharach, the cages provide us with a much better grip on the combinatorics of subsets A of X with the property that is described above.
Multiple polylogarithms, polygons, trees and algebraic cycles
Published
• View Publication
• BIB
We construct algebraic cycles in Bloch's cubical cycle group which correspond to multiple polylogarithms with generic arguments. Moreover, we construct out of them a Hopf subalgebra in the Bloch-Kriz cycle Hopf algebra. In the process, we are led to other Hopf algebras built from trees and polygons, which are mapped to the latter. We relate the coproducts to the one for Goncharov's motivic multiple polylogarithms and to the Connes-Kreimer coproduct on plane trees and produce the associated Hodge realization for polygons.
Eigenvalue bounds for independent sets
Published
• View Publication
• BIB
We derive bounds on the size of an independent set based on eigenvalues. This generalizes a result due to Delsarte and Hoffman. We use this to obtain new bounds on the independence number of the Erdős-Rényi graphs. We investigate further properties of our bounds, and show how our results on the Erdős-Rényi graphs can be extended to other polarity graphs.
On conjugates for set partitions and integer compositions
There is a familiar conjugate for integer partitions: transpose the Ferrers diagram, and a conjugate for integer compositions: transpose a Ferrers-like diagram. Here we propose a conjugate for set partitions and show that it interchanges # singletons and # adjacencies. Its restriction to noncrossing partitions cropped up in a 1972 paper of Kreweras. We also exhibit an analogous pairs of statistics interchanged by the composition conjugate.
On some enumerative aspects of generalized associahedra
Published
• View Publication
• BIB
We prove a conjecture of F. Chapoton relating certain enumerative invariants of (a) the cluster complex associated by S. Fomin and A. Zelevinsky to a finite root system and (b) the lattice of noncrossing partitions associated to the corresponding finite real reflection group.
A characterization of a class of maximum nonlinear functions
Maximum nonlinear functions on finite fields are widely used in cryptography because the coordinate functions have large distance to linear functions. More precisely, the Hamming distance to the characteristic functions of hyperplanes is large. One class of maximum nonlinear functions are the Gold power functions We characterize these functions in terms of the distance of their coordinate functions to characteristic functions of subspaces of codimension 2.
Enriched $P$-partitions and peak algebras
Published
• View Publication
• BIB
We develop a more general view of Stembridge's enriched $P$-partitions and use this theory to outline the structure of peak algebras for the symmetric group and the hyperoctahedral group. Initially we focus on commutative peak algebras, spanned by sums of permutations with the same number of peaks, where we consider several variations on the definition of "peak." Whereas Stembridge's enriched $P$-partitions are related to quasisymmetric functions (the dual coalgebra of Solomon's type A descent algebra), our generalized enriched $P$-partitions are related to type B quasisymmetric functions (the dual coalgebra of Solomon's type B descent algebra). Using these functions, we move on to explore (non-commutative) peak algebras spanned by sums of permutations with the same set of peaks. While some of these algebras have been studied before, our approach gives explicit structure constants with a combinatorial description.
An analogue of Young's lattice for compositions
This paper has been withdrawn by the authors since it was discovered that most of its content was already known.
Towards The Moduli Space of Extended Partial Isometries
Partial Isometries are important constructs that help give nontrivial solutions once a simple solution is known. We generalize this notion to Extended Partial Isometries and include operators which have right inverses but no left inverses (or vice versa). We find a large class of such operators and conjecture the moduli space to be the Hilbert Scheme of Points. Further, we apply this technique to find instanton solutions of a noncommutative N=1 supersymmetric gauge theory in six dimensions and show that this construction yields nontrivial solutions for other noncommutative gauge theories. The analysis is done in one complex dimension and the generalization of the result to higher dimensions is shown.
On the shape of Bruhat intervals
Let (W,S) be a crystallographic Coxeter group (this includes all finite and affine Weyl groups), and J a subset of S. Let $W^J$ denote the set of minimal coset representatives modulo the parabolic subgroup $W_J$. For w in $W^J$, let $f^{w,J}_{i}$ denote the number of elements of length i below w in Bruhat order on $W^J$ (notation simplified to $f^{w}_{i}$ in the case when J=S). We show that $f^{w,J}_{i}$ is less than or equal to $f^{w,J}_{j}$ when i < j and j is less than or equal to the length of w minus i.
Furthermore, we express when an initial and final interval of the f's is symmetric around the middle in terms of Kazhdan-Lusztig polynomials.
It is also shown that if W is finite then the sequence of f's cannot grow too rapidly. Som result mirroring our first result are obtaind, again in the finite case.
The proofs rely for the most part on properties of the cohomology of Kac-Moody Schubert varieties.
Stable Equivalences of Giambelli Type Matrices of Schur Functions
By using cutting strips and transformations on outside decompositions of a skew diagram, we show that the Giambelli type matrices of a skew Schur function are stably equivalent to each other over symmetric functions. As a consequence, the Jacobi-Trudi matrix and the dual Jacobi-Trudi matrix are stably equivalent over symmetric functions. This gives an affirmative answer to an open problem posed by Kuperberg.
Neighbor joining with phylogenetic diversity estimates
Published
• View Publication
• BIB
The Neighbor-Joining algorithm is a recursive procedure for reconstructing trees that is based on a transformation of pairwise distances between leaves. We present a generalization of the neighbor-joining transformation, which uses estimates of phylogenetic diversity rather than pairwise distances in the tree. This leads to an improved neighbor-joining algorithm whose total running time is still polynomial in the number of taxa. On simulated data, the method outperforms other distance-based methods.
We have implemented neighbor-joining for subtree weights in a program called MJOIN which is freely available under the Gnu Public License at http://bio.math.berkeley.edu/mjoin/ .
Maximum Distance Separable Codes and Arcs in Projective Spaces
Published in Journal of Combinatorial Theory, Series A, (2007)
• View Publication
• BIB
Given any linear code $C$ over a finite field $GF(q)$ we show how $C$ can be described in a transparent and geometrical way by using the associated Bruen-Silverman code. Then, specializing to the case of MDS codes we use our new approach to offer improvements to the main results currently available concerning MDS extensions of linear MDS codes. We also sharply limit the possibilities for constructing long non-linear MDS codes.
Method LAC
This is a paper which present a mnemotechnical method that we call LAC for Lists, Arrangements and Combinations. It can help students or any one to recollect formulae from combinatorial theory ([1],[2],[3],[4]) without an a priori memorization of them.
The $\hat W$-orbit of $ρ$, Kostant's formula for powers of the Euler product and affine Weyl groups as permutations of Z
Published in J. Pure Appl. Algebra 208 (2007), no. 3, 1103--1119.
• Search Publication
Let an affine Weyl group $\hat W$ act as a group of affine transformations on a real vector space V. We analyze the $\hat W$-orbit of a regular element in V and deduce applications to Kostant's formula for powers of the Euler product and to the representations of $\hat W$ as permutations of the integers.
Resolutions of De Concini-Procesi ideals indexed by hooks
Published
• View Publication
• BIB
We find a minimal generating set for the De Concini-Procesi ideals indexed by hooks, and study their minimal free resolutions as well as their Hilbert series and regularity.
Intrinsic linking and knotting of graphs in arbitrary 3-manifolds
Published in Algebr. Geom. Topol. 6 (2006) 1025-1035
• View Publication
• BIB
We prove that a graph is intrinsically linked in an arbitrary 3-manifold M if and only if it is intrinsically linked in S^3. Also, assuming the Poincare Conjecture, we prove that a graph is intrinsically knotted in M if and only if it is intrinsically knotted in S^3.