Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Moduli spaces of punctured Poincaré disks
Published
• View Publication
• BIB
The Tamari lattice and the associahedron provide methods of measuring associativity on a line. The real moduli space of marked curves captures the space of such associativity. We consider a natural generalization by considering the moduli space of marked particles on the Poincaré disk, extending Tamari's notion of associativity based on nesting. A geometric and combinatorial construction of this space is provided, which appears in Kontsevich's deformation quantization, Voronov's swiss-cheese operad, and Kajiura and Stasheff's open-closed string theory.
Jack superpolynomials with negative fractional parameter: clustering properties and super-Virasoro ideals
Published in Communications in Mathematical Physics, Volume 316 Number 2 (December 2012), pages 395-440
• View Publication
• BIB
The Jack polynomials P_λ^{(α)} at α=-(k+1)/(r-1) indexed by certain (k,r,N)-admissible partitions are known to span an ideal I^{(k,r)}_N of the space of symmetric functions in N variables. The ideal I^{(k,r)}_N is invariant under the action of certain differential operators which include half the Virasoro algebra. Moreover, the Jack polynomials in I^{(k,r)}_N admit clusters of size at most k: they vanish when k+1 of their variables are identified, and they do not vanish when only k of them are identified. We generalize most of these properties to superspace using orthogonal eigenfunctions of the supersymmetric extension of the trigonometric Calogero-Moser-Sutherland model known as Jack superpolynomials. In particular, we show that the Jack superpolynomials P_Λ^{(α)} at α=-(k+1)/(r-1) indexed by certain (k,r,N)-admissible superpartitions span an ideal {\mathcal I}^{(k,r)}_N of the space of symmetric polynomials in N commuting variables and N anticommuting variables. We prove that the ideal {\mathcal I}^{(k,r)}_N is stable with respect to the action of the negative-half of the super-Virasoro algebra. In addition, we show that the Jack superpolynomials in {\mathcal I}^{(k,r)}_N vanish when k+1 of their commuting variables are equal, and conjecture that they do not vanish when only k of them are identified. This allows us to conclude that the standard Jack polynomials with prescribed symmetry should satisfy similar clustering properties. Finally, we conjecture that the elements of {\mathcal I}^{(k,2)}_N provide a basis for the subspace of symmetric superpolynomials in N variables that vanish when k+1 commuting variables are set equal to each other.
The Fibonacci partition triangles
Published
• View Publication
• BIB
In two previous papers we have presented partition formulae for the Fibonacci numbers motivated by the appearance of the Fibonacci numbers in the representation theory of the 3-Kronecker quiver and its universal cover, the 3-regular tree. Here we show that the basic information can be rearranged in two triangles. They are quite similar to the Pascal triangle of the binomial coefficients, but in contrast to the additivity rule for the Pascal triangle, we now deal with additivity along hooks, or, equivalently, with additive functions for valued translation quivers. As for the Pascal triangle, we see that the numbers in these Fibonacci partition triangles are given by evaluating polynomials. We show that the two triangles can be obtained from each other by looking at differences of numbers, it is sufficient to take differences along arrows and knight's moves.
Calculation of norms of some secial elements of cyclotomic fields
In this article we prove that (1-zeta+zeta^2) is a unit in the ring of integers of the cyclotomic field where zeta is a primitive n-th root of unity and n is coprime to 2 and 3. We also prove that for prime n, N_{Q(zeta)/Q}(1-zeta-zeta^2)=L(p) the p-th Lucas number thus completing the study of norms of quadratic polynomials in zeta that only have coefficients equal to 1 or -1 and both numbers appear.
On the asymptotic maximal density of a set avoiding solutions to linear equations modulo a prime
Published in Acta Math. Hungar. 132 (3) (2011), 223--243
• View Publication
• BIB
Given a finite family F of linear forms with integer coefficients, and a compact abelian group G, an F-free set in G is a measurable set which does not contain solutions to any equation L(x)=0 for L in F. We denote by d_F(G) the supremum of m(A) over F-free sets A in G, where m is the normalized Haar measure on G. Our main result is that, for any such collection F of forms in at least three variables, the sequence d_F(Z_p) converges to d_F(R/Z) as p tends to infinity over primes. This answers an analogue for Z_p of a question that Ruzsa raised about sets of integers.
A removal lemma for linear configurations in subsets of the circle
Published
• View Publication
• BIB
We obtain a removal lemma for systems of linear equations over the circle group, using a similar result for finite fields due to Král, Serra and Vena, and we discuss some applications.
A New Framework for Network Disruption
Traditional network disruption approaches focus on disconnecting or lengthening paths in the network. We present a new framework for network disruption that attempts to reroute flow through critical vertices via vertex deletion, under the assumption that this will render those vertices vulnerable to future attacks. We define the load on a critical vertex to be the number of paths in the network that must flow through the vertex. We present graph-theoretic and computational techniques to maximize this load, firstly by removing either a single vertex from the network, secondly by removing a subset of vertices.
Computing Tropical Resultants
Published in J. Algebra 387 (2013), 287-319
• View Publication
• BIB
We fix the supports A=(A_1,...,A_k) of a list of tropical polynomials and define the tropical resultant TR(A) to be the set of choices of coefficients such that the tropical polynomials have a common solution. We prove that TR(A) is the tropicalization of the algebraic variety of solvable systems and that its dimension can be computed in polynomial time. The tropical resultant inherits a fan structure from the secondary fan of the Cayley configuration of A and we present algorithms for the traversal of TR(A) in this structure. We also present a new algorithm for recovering a Newton polytope from the support of its tropical hypersurface. We use this to compute the Newton polytope of the sparse resultant polynomial in the case when TR(A) is of codimension 1. Finally we consider the more general setting of specialized tropical resultants and report on experiments with our implementations.
Tamari lattices and parking functions: proof of a conjecture of F. Bergeron
An m-ballot path of size n is a path on the square grid consisting of north and east unit steps, starting at (0,0), ending at (mn,n), and never going below the line {x=my. The set of these paths can be equipped with a lattice structure, called the m-Tamari lattice and denoted by T_n^(m), which generalizes the usual Tamari lattice T_n obtained when m=1. This lattice was introduced by F. Bergeron in connection with the study of coinvariant spaces. He conjectured several intriguing formulas dealing with the enumeration of intervals in this lattice. One of them states that the number of intervals in T_n^(m) is $$ \frac {m+1}{n(mn+1)} {(m+1)^2 n+m\choose n-1}. $$ This conjecture was proved recently, but in a non-bijective way, while its form strongly suggests a connection with plane trees. Here, we prove another conjecture of Bergeron, which deals with the number of labelled, intervals. An interval [P,Q] of T_n^(m) is labelled, if the north steps of Q are labelled from 1 to n in such a way the labels increase along any sequence of consecutive north steps. We prove that the number of labelled intervals in T_n^(m) is $$ {(m+1)^n(mn+1)^{n-2}}. $$ The form of these numbers suggests a connection with parking functions, but our proof is non-bijective. It is based on a recursive description of intervals, which translates into a functional equation satisfied by the associated generating function. This equation involves a derivative and a divided difference, taken with respect to two additional variables. Solving this equation is the hardest part of the paper. Finding a bijective proof remains an open problem.
A conjecture on independent sets and graph covers
In this article, I present a conjecture on the number of independent sets on graph covers. I also show that the conjecture implies that the partition function of a binary pairwise attractive model is greater than that of the Bethe approximation.
On Tensor Product Decomposition of $\hat{\mathfrak{sl}}(n)$ Modules
Published
• View Publication
• BIB
We decompose the $\hat{\mathfrak{sl}}(n)$-module $V(Λ_0) \otimes V(Λ_0)$ and give generating function identities for the outer multiplicities. In the process we discover some seemingly new partition identities in the cases $n=2,3$.
Asymptotics of generalized Galois numbers via affine Kac-Moody algebras
Published in Proceedings of the American Mathematical Society 141 (2013), no. 10, 3313-3326
• View Publication
• BIB
Generalized Galois numbers count the number of flags in vector spaces over finite fields. Asymptotically, as the dimension of the vector space becomes large, we give their exponential growth and determine their initial values. The initial values are expressed analytically in terms of theta functions and Euler's generating function for the partition numbers. Our asymptotic enumeration method is based on a Demazure module limit construction for integrable highest weight representations of affine Kac-Moody algebras. For the classical Galois numbers, that count the number of subspaces in vector spaces over finite fields, the theta functions are Jacobi theta functions. We apply our findings to the asymptotic number of q-ary codes, and conclude with some final remarks about possible future research concerning asymptotic enumerations via limit constructions for affine Kac-Moody algebras.
Characterization of apartments in polar Grassmannians
Published
• View Publication
• BIB
Buildings of types $\textsf{C}_n$ and $\textsf{D}_n$ are defined by rank $n$ polar spaces. The associated building Grassmannians are polar and half-spin Grassmannians. Apartments in dual polar spaces and half-spin Grassmannians were characterized in \cite{CKS}. We characterize apartments in all polar Grassmannians consisting of non-maximal singular subspaces. This characterization is a partial case of more general results concerning embeddings of polar Johnson graphs in polar Grassmann graphs.
On the Order Dimension of Convex Geometries
Published in Order 30 (2012), pp 837-845
• View Publication
• BIB
We study the order dimension of the lattice of closed sets for a convex geometry. Further, we prove the existence of large convex geometries realized by planar point sets that have very low order dimension. We show that the planar point set of Erdos and Szekeres from 1961 which is a set of 2^(n-2) points and contains no convex n-gon has order dimension n - 1 and any larger set of points has order dimension strictly larger than n - 1.
An improved error term for minimum H-decompositions of graphs
Published
• View Publication
• BIB
We consider partitions of the edge set of a graph G into copies of a fixed graph H and single edges. Let φ_H(n) denote the minimum number p such that any n-vertex G admits such a partition with at most p parts. We show that φ_H(n)=ex(n,K_r)+Θ(biex(n,H)) for χ(H)>2, where biex(n,H) is the extremal number of the decomposition family of H. Since biex(n,H)=O(n^{2-γ}) for some γ>0 this improves on the bound φ_H(n)=ex(n,H)+o(n^2) by Pikhurko and Sousa [J. Combin. Theory Ser. B 97 (2007), 1041-1055]. In addition it extends a result of Özkahya and Person [J. Combin. Theory Ser. B, to appear].
K-orbits on G/B and Schubert constants for pairs of signed shuffles in types C and D
Published in Journal of Algebra 360, 2012, pp. 67-87
• View Publication
• BIB
We give positive descriptions for certain Schubert structure constants $c_{u,v}^w$ for the full flag variety in Lie types $C$ and $D$. This is accomplished by first observing that a number of the $K=GL(n,\C)$-orbit closures on these flag varieties coincide with Richardson varieties, and then applying a theorem of M. Brion on the decomposition of such an orbit closure in the Schubert basis in terms of paths in the weak order graph.
On the Size of Equifacetted Semi-Regular Polytopes
Published
• View Publication
• BIB
Unlike the situation in the classical theory of convex polytopes, there is a wealth of semi-regular abstract polytopes, including interesting examples exhibiting some unexpected phenomena. We prove that even an equifacetted semi-regular abstract polytope can have an arbitrary large number of flag orbits or face orbits under its combinatorial automorphism group.
Guaranteed successful strategies for a square achievement game on an n by n grid
At some places (see the references) Martin Erickson describes a certain game:
"Two players alternately write O's (first player) and X's (second player) in the unoccupied cells of an n x n grid. The first player (if any) to occupy four cells at the vertices of a square with horizontal and vertical sides is the winner."
Then he asks "What is the outcome of the game given optimal play?" or
"What is the smallest n such that the first player has a winning strategy?"
For n lower than 3 a win is obviously impossible.
The aim of this article and the additionally (in the source package) provided computer program SQRGAME2 is to give and prove sure strategies for the second player not to lose if n is 3 or 4, and for the first player to win if n is 5.
From double quantum Schubert polynomials to k-double Schur functions via the Toda lattice
We show that the k-double Schur functions defined by the authors, and the quantum double Schubert polynomials studied by Kirillov and Maeno and by Ciocan-Fontanine and Fulton, can be obtained from each other by an explicit rational substitution. The main new ingredient is an explicit computation of Kostant's solution to the Toda lattice in terms of equivariant Schubert classes.
A relationship between the diameter and the intersection number c2 for a distance-regular graph
Published
• View Publication
• BIB
In this paper we will look at the relationship between the intersection number c2 and its diameter for a distance-regular graph. And also, we give some tools to show that a distance-regular graph with large c2 is bipartite, and a tool to show that if kD is too small then the distance-regular graph has to be antipodal.