Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Free Arrangements over Finite Field
Published in Proc. Japan Acad. Vol. 82, Ser. A, no. 10 (2006), 179-182
• View Publication
• BIB
The freeness of hyperplane arrangements in a three dimensional vector space over finite field is discussed. We prove that if the number of hyperplanes is greater than some bound, then the freeness is determined by the characteristic polynomial.
On tiling rectangles via the Frobenius number
In this paper, we give some sufficient conditions for a $n$-dimensional rectangle to be tiled with a set of bricks. These conditions are obtained by using the so-called Frobenius number.
Inapproximability of the Tutte polynomial
Published in Infomation and Computation 206(7), 908-929 (July 2008)
• View Publication
• BIB
The Tutte polynomial of a graph G is a two-variable polynomial T(G;x,y) that encodes many interesting properties of the graph. We study the complexity of the following problem, for rationals x and y: take as input a graph G, and output a value which is a good approximation to T(G;x,y). Jaeger, Vertigan and Welsh have completely mapped the complexity of exactly computing the Tutte polynomial. They have shown that this is #P-hard, except along the hyperbola (x-1)(y-1)=1 and at four special points. We are interested in determining for which points (x,y) there is a "fully polynomial randomised approximation scheme" (FPRAS) for T(G;x,y). Under the assumption RP is not equal to NP, we prove that there is no FPRAS at (x,y) if (x,y) is in one of the half-planes x<-1 or y<-1 (excluding the easy-to-compute cases mentioned above). Two exceptions to this result are the half-line x<-1, y=1 (which is still open) and the portion of the hyperbola (x-1)(y-1)=2 corresponding to y<-1 which we show to be equivalent in difficulty to approximately counting perfect matchings. We give further intractability results for (x,y) in the vicinity of the origin. A corollary of our results is that, under the assumption RP is not equal to NP, there is no FPRAS at the point (x,y)=(0,1--lambda) when λ>2 is a positive integer. Thus there is no FPRAS for counting nowhere-zero λflows for λ>2. This is an interesting consequence of our work since the corresponding decision problem is in P for example for λ=6.
Ihara zeta functions for periodic simple graphs
Published in in C*-algebras and elliptic theory II, p. 103 - 121. Edited by D.Burghelea, R.Melrose, A.Mishchenko, E.Troitsky. Trends in Mathematics, Birkhauser Verlag, Basel, 2008
• View Publication
• BIB
The definition and main properties of the Ihara zeta function for graphs are reviewed, focusing mainly on the case of periodic simple graphs. Moreover, we give a new proof of the associated determinant formula, based on the treatment developed by Stark and Terras for finite graphs.
Determinantal Characterization of Canonical Curves and Combinatorial Theta Identities
Published in Math. Ann. 355 (2013) 327-362
• View Publication
• BIB
We characterize genus g canonical curves by the vanishing of combinatorial products of g+1 determinants of Brill-Noether matrices. This also implies the characterization of canonical curves in terms of (g-2)(g-3)/2 theta identities. A remarkable mechanism, based on a basis of H^0(K_C) expressed in terms of Szego kernels, reduces such identities to a simple rank condition for matrices whose entries are logarithmic derivatives of theta functions. Such a basis, together with the Fay trisecant identity, also leads to the solution of the question of expressing the determinant of Brill-Noether matrices in terms of theta functions, without using the problematic Klein-Fay section sigma.
Full heaps and representations of affine Kac--Moody algebras
We give a combinatorial construction, not involving a presentation, of almost all untwisted affine Kac--Moody algebras modulo their one-dimensional centres in terms of signed raising and lowering operators on a certain distributive lattice ${\Cal B}$. The lattice ${\Cal B}$ is constructed combinatorially as a set of ideals of a ``full heap'' over the Dynkin diagram, which leads to a kind of categorification of the positive roots for the Kac--Moody algebra. The lattice ${\Cal B}$ is also a crystal in the sense of Kashiwara, and its span affords representations of the associated quantum affine algebra and affine Weyl group. There are analogues of these results for two infinite families of twisted affine Kac--Moody algebras, which we hope to treat more fully elsewhere.
By restriction, we obtain combinatorial constructions of the finite dimensional simple Lie algebras over $\complex$, except those of types $E_8$, $F_4$ and $G_2$. The Chevalley basis corresponding to an arbitrary orientation of the Dynkin diagram is then represented explicitly by raising and lowering operators. We also obtain combinatorial constructions of the spin modules for Lie algebras of types $B$ and $D$, which avoid Clifford algebras, and in which the action of Chevalley bases on the canonical bases of the modules may be explicitly calculated.
Asymptotic behaviour of the simple random walk on the 2-comb
Published
• View Publication
• BIB
We analyze the differences between the horizontal and the vertical component of the simple random walk on the 2-dimensional comb. In particular we evaluate by combinatorial methods the asymptotic behaviour of the expected value of the distance from the origin, the maximal deviation and the maximal span in $n$ steps, proving that for all these quantities the order is $n^{1/4}$ for the horizontal projection and $n^{1/2}$ for the vertical one (the exact constants are determined). Then we rescale the two projections of the random walk dividing by $n^{1/4}$ and $n^{1/2}$ the horizontal and vertical ones, respectively. The limit process is obtained. As a corollary of the estimate of the expected value of the maximal deviation, the walk dimension is determined, showing that the Einstein relation between the fractal, spectral and walk dimensions does not hold on the comb.
On Factorisations of Matrices and Abelian Groups
We establish correspondances between factorisations of finite abelian groups (direct factors, unitary factors, non isomorphic subgroup classes) and factorisations of integer matrices. We then study counting functions associated to these factorisations and find average orders.
Formal Markoff maps are positive
This note defines a family of Laurent polynomials (indexed in the rational projective line) which generalize the Markoff numbers and relate to the character variety of the one-cusped torus. We describe which monomials appear in each polynomial and prove all the coefficients are positive integers. We also conjecture a generalization of that positivity result.
Five Guidelines for Partition Analysis with Applications to Lecture Hall-type Theorems
Published
• View Publication
• BIB
Five simple guidelines are proposed to compute the generating function for the nonnegative integer solutions of a system of linear inequalities. In contrast to other approaches, the emphasis is on deriving recurrences. We show how to use the guidelines strategically to solve some nontrivial enumeration problems in the theory of partitions and compositions. This includes a strikingly different approach to lecture hall-type theorems, with new $q$-series identities arising in the process. For completeness, we prove that the guidelines suffice to find the generating function for any system of homogeneous linear inequalities with integer coefficients. The guidelines can be viewed as a simplification of MacMahon's partition analysis with ideas from matrix techiniques, Elliott reduction, and ``adding a slice''.
Ported Tutte Functions of Extensors and Oriented Matroids
The Tutte equations are ported (or set-pointed) when the equations F(N) = g_e F(N/e) + r_e F(N\e) are omitted for elements e in a distinguished set called ports. Solutions F can distinguish different orientations of the same matroid. A ported extensor with ground set is a decomposible element in the exterior algebra over a vector space with a given basis, called the ground set, containing a distinguished subset called ports. These can represent ported matroids and have analogous dualization, deletion and contraction operations. A ported extensor function is defined using dualization, port element renaming, exterior multiplication, and contraction of non-ports. We prove that this function satisfies a sign-corrected variant of the Tutte equations over exterior algebra. For non-ported unimodular, i.e., regular matroids, our function reduces to the basis generating function and for graphs the Laplacian (or Kirchhoff) determinant. In general, the function value, as an extensor, signifies the space of solutions to Kirchhoff's and Ohm's electricity equations after projection to the variables associated to the ports. Combinatorial interpretation of various determinants (the Plucker coordinates) generalize the matrix tree theorem and forest enumeration expressions for electrical resistance. The corank-nullity polynomial, basis expansions with activities, and a geometric lattice expansion generalize to ported Tutte functions of oriented matroids. The ported Tutte functions are parametrized, which raises the problem of how to generalize known characterizations of parameterized non-ported Tutte functions.
Statistics on ordered partitions of sets
We introduce several statistics on ordered partitions of sets, that is, set partitions where the blocks are permuted arbitrarily. The distribution of these statistics is closely related to the q-Stirling numbers of the second kind. Some of the statistics are generalizations of known statistics on set partitions, but others are entirely new. All the new ones are sums of two statistics, inspired by statistics on permutations, where one of the two statistics is based on a certain partial ordering of the blocks of a partition.
Face vectors of flag complexes
Published
• View Publication
• BIB
A conjecture of Kalai and Eckhoff that the face vector of an arbitrary flag complex is also the face vector of some particular balanced complex is verified.
Polynomials with the half-plane property and matroid theory
Published in Adv. Math. 216 (2007), no. 1, 302--320
• View Publication
• BIB
A polynomial f is said to have the half-plane property if there is an open half-plane H, whose boundary contains the origin, such that f is non-zero whenever all the variables are in H. This paper answers several open questions regarding multivariate polynomials with the half-plane property and matroid theory.
* We prove that the support of a multivariate polynomial with the half-plane property is a jump system. This answers an open question posed by Choe, Oxley, Sokal and Wagner and generalizes their recent result claiming that the same is true whenever the polynomial is also homogeneous.
* We characterize multivariate multi-affine polynomial with real coefficients that have the half-plane property (with respect to the upper half-plane) in terms of inequalities. This is used to answer two open questions posed by Choe and Wagner regarding strongly Rayleigh matroids.
* We prove that the Fano matroid is not the support of a polynomial with the half-plane property. This is the first instance of a matroid which does not appear as the support of a polynomial with the half-plane property and answers a question posed by Choe et al.
We also discuss further directions and open problems.
On the enumeration of positive cells in generalized cluster complexes and Catalan hyperplane arrangements
Published in J. Algebr. Comb. (2006) 23, 355-375
• View Publication
• BIB
Let $Φ$ be an irreducible crystallographic root system with Weyl group $W$ and coroot lattice $\check{Q}$, spanning a Euclidean space $V$. Let $m$ be a positive integer and $\aA^m_Φ$ be the arrangement of hyperplanes in $V$ of the form $(α, x) = k$ for $α\in Φ$ and $k = 0, 1,...,m$. It is known that the number $N^+ (Φ, m)$ of bounded dominant regions of $\aA^m_Φ$ is equal to the number of facets of the positive part $Δ^m_+ (Φ)$ of the generalized cluster complex associated to the pair $(Φ, m)$ by S. Fomin and N. Reading.
We define a statistic on the set of bounded dominant regions of $\aA^m_Φ$ and conjecture that the corresponding refinement of $N^+ (Φ, m)$ coincides with the $h$-vector of $Δ^m_+ (Φ)$. We compute these refined numbers for the classical root systems as well as for all root systems when $m=1$ and verify the conjecture when $Φ$ has type $A$, $B$ or $C$ and when $m=1$. We give several combinatorial interpretations to these numbers in terms of chains of order ideals in the root poset of $Φ$, orbits of the action of $W$ on the quotient $\check{Q} / (mh-1) \check{Q}$ and coroot lattice points inside a certain simplex, analogous to the ones given by the first author in the case of the set of all dominant regions of $\aA^m_Φ$. We also provide a dual interpretation in terms of order filters in the root poset of $Φ$ in the special case $m=1$.
On sets of large exponential sums
Published
• View Publication
• BIB
Let A be a subset of Z / NZ, and let R be the set of large Fourier coefficients of A. Properties of R have been studied in works of M.-C. Chang and B. Green. Our result is the following : the number of quadruples (r_1, r_2, r_3, r_4) \in R^4 such that r_1 + r_2 = r_3 + r_4 is at least |R|^{2+ε}, ε>0. This statement shows that the set R is highly structured. We also discuss some of the generalizations and applications of our result.
Multiplication of polynomials on Hermitian symmetric spaces and Littlewood-Richardson coefficients
Published
• View Publication
• BIB
Let K be a complex reductive algebraic group and V a representation of K. Let S denote the ring of polynomials on V. Assume that the action of K on S is multiplicity free. If V_λ is an irreducible representation of K, let S_λ denote the corresponding isotypic component of S. Write S_λ S_μ for the subspace of S spanned by products of S_λ and S_μ. If V_ν occurs as an irreducible constituent of the tensor product of V_λ and V_μ, is it true that S_ν is contained in S_λ S_μ? We investigate this question for representations arising in the context of Hermitian symmetric pairs. We show that the answer is yes in some cases and, using an earlier result of Ruitenburg, that in the remaining classical cases, the answer is yes provided that a conjecture of Stanley on the multiplication of Jack polynomials is true. We also show how the conjecture connects multiplication in the ring S to the usual Littlewood-Richardson rule.
Monotonicity, asymptotic normality and vertex degrees in random graphs
Published in Bernoulli 2007, Vol. 13, No. 4, 952-965
• View Publication
• BIB
We exploit a result by Nerman which shows that conditional limit theorems hold when a certain monotonicity condition is satisfied. Our main result is an application to vertex degrees in random graphs, where we obtain asymptotic normality for the number of vertices with a given degree in the random graph ${G(n,m)}$ with a fixed number of edges from the corresponding result for the random graph ${G(n,p)}$ with independent edges. We also give some simple applications to random allocations and to spacings. Finally, inspired by these results, but logically independent of them, we investigate whether a one-sided version of the Cramér--Wold theorem holds. We show that such a version holds under a weak supplementary condition, but not without it.
Generic section of a hyperplane arrangement and twisted Hurewicz maps
Published
• View Publication
• BIB
We consider a twisted version of the Hurewicz map on the complement of a hyperplane arrangement. The purpose of this paper is to prove surjectivity of the twisted Hurewicz map under some genericity conditions. As a corollary, we also prove that a generic section of the complement of a hyperplane arrangement has non-trivial homotopy groups.
A Summary of Problems and Results related to the Caccetta-Haggkvist Conjecture
This paper is an attempt to survey the current state of our knowledge on the Caccetta-Haggkvist conjecture and related questions. In January 2006 there was a workshop hosted by the American Institute of Mathematics in Palo Alto, on the Caccetta-Haggkvist conjecture, and this paper partly originated there, as a summary of the open problems and partial results presented at the workshop. This summary includes results and open problems related to Caccetta-Haggkvist, Seymour's Second Neighborhood Conjecture, the k/2 Conjecture (for nonedges), and connections with algebraic number theory through Cayley graphs, along with a number of other related topics.