Showing 20 papers (Total: 82851 papers, 47869 authors in database)
A note on Erdős-Diophantine graphs and Diophantine carpets
A Diophantine figure is a set of points on the integer grid $\mathbb{Z}^{2}$ where all mutual Euclidean distances are integers. We also speak of Diophantine graphs. In this language a Diophantine figure is a complete Diophantine graph. Due to a famous theorem of Erdős and Anning there are complete Diophantine graphs which are not contained in larger ones. We call them Erdős-Diophantine graphs. A special class of Diophantine graphs are Diophantine carpets. These are planar triangulations of a subset of the integer grid.
We give an effective construction for Erdős-Diophantine graphs and characterize the chromatic number of Diophantine carpets.
The Face Semigroup Algebra of a Hyperplane Arrangement
Published
• View Publication
• BIB
This article presents a study of an algebra spanned by the faces of a hyperplane arrangement. The quiver with relations of the algebra is computed and the algebra is shown to be a Koszul algebra. It is shown that the algebra depends only on the intersection lattice of the hyperplane arrangement. A complete system of primitive orthogonal idempotents for the algebra is constructed and other algebraic structure is determined including: a description of the projective indecomposable modules; the Cartan invariants; projective resolutions of the simple modules; the Hochschild homology and cohomology; and the Koszul dual algebra. A new cohomology construction on posets is introduced and it is shown that the face semigroup algebra is isomorphic to the cohomology algebra when this construction is applied to the intersection lattice of the hyperplane arrangement.
The structure of automorphism groups of semigroup inflations
Published in Algebra Discrete Math. 1 (2007), 62-67
• Search Publication
It is proved that the automorphism group of a semigroup being an inflation of its proper subsemigroup decomposes into a semidirect product of two groups one of which is a direct sum of full symmetric groups.
Cones of closed alternating walks and trails
Published
• View Publication
• BIB
Consider a graph whose edges have been colored red and blue. Assign a nonnegative real weight to every edge so that at every vertex, the sum of the weights of the incident red edges equals the sum of the weights of the incident blue edges. The set of all such assignments forms a convex polyhedral cone in the edge space, called the \emph{alternating cone}. The integral (respectively,
$\{0,1\}$) vectors in the alternating cone are sums of characteristic vectors of closed alternating walks (respectively, trails). We study the basic properties of the alternating cone, determine its dimension and extreme rays, and relate its dimension to the majorization order on degree sequences. We consider whether the alternating cone has integral vectors in a given box, and use residual graph techniques to reduce this problem to searching for a closed alternating trail through a given edge. The latter problem, called alternating reachability, is solved in a companion paper along with related results.
Alternating Reachability
We consider a graph with colored edges. A trail (vertices may repeat but not edges) is called \emph{alternating} when successive edges have different colors. Given a set of vertices called \emph{terminals}, the \emph{alternating reachability} problem is to find an alternating trail connecting distinct terminals, if one exists. A special case with two colors is searching for an augmenting path with respect to a given matching. In another special case with two colors red and blue, the \emph{alternating cone} is defined as the set of assignments of nonnegative weights to the edges such that at each vertex, the total red weight equals the total blue weight; in a companion paper we showed how the search for an integral weight vector within a given box in the alternating cone can be reduced to the alternating reachability problem in a 2-colored graph. We define an obstacle, called a \emph{Tutte set}, to the existence of an alternating trail connecting distinct terminals in a colored graph, and give a polynomial-time algorithm, generalizing the blossom algorithm of Edmonds, that finds either an alternating trail connecting distinct terminals or a Tutte set. We use Tutte sets to show that an an edge-colored bridgeless graph where each vertex has incident edges of at least two different colors has a closed alternating trail. A special case with two colors one of which forms a matching yields a combinatorial result of Giles and Seymour. We show that in a 2-colored graph, the cone generated by the characteristic vectors of closed alternating trails is the intersection of the alternating cone with the cone generated by the characteristic vectors of cycles in the underlying graph.
The determinant of $AA^*-A^*A$ for a Leonard pair $A,A^*$
Published
• View Publication
• BIB
Let $K$ denote a field, and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*: V \to V$ that satisfy (i), (ii) below:
(i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal.
(ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal.
We call such a pair a {\em Leonard pair} on $V$. In this paper we investigate the commutator $AA^*-A^*A$. Our results are as follows. First assume the dimension of $V$ is even. We show $AA^*-A^*A$ is invertible and display several attractive formulae for the determinant. Next assume the dimension of $V$ is odd. We show that the null space of $AA^*-A^*A$ has dimension 1. We display a nonzero vector in this null space. We express this vector as a sum of eigenvectors for $A$ and as a sum of eigenvectors for $A^*$.
The combinatorics of frieze patterns and Markoff numbers
This article, based on joint work with Gabriel Carroll, Andy Itsara, Ian Le, Gregg Musiker, Gregory Price, Dylan Thurston, and Rui Viana, presents a combinatorial model based on perfect matchings that explains the symmetries of the numerical arrays that Conway and Coxeter dubbed frieze patterns. This matchings model is a combinatorial interpretation of Fomin and Zelevinsky's cluster algebras of type A. One can derive from the matchings model an enumerative meaning for the Markoff numbers, and prove that the associated Laurent polynomials have positive coefficients as was conjectured (much more generally) by Fomin and Zelevinsky. Most of this research was conducted under the auspices of REACH (Research Experiences in Algebraic Combinatorics at Harvard).
Factors of Alternating Sums of Products of Binomial and q-Binomial Coefficients
Published in Acta Arith. 127 (2007), 17-31
• View Publication
• BIB
In this paper we study the factors of some alternating sums of products of binomial and q-binomial coefficients. We prove that for all positive integers n_1,...,n_m, n_{m+1}=n_1, and 0\leq j\leq m-1, {n_1+n_{m}\brack n_1}^{-1}\sum_{k=-n_1}^{n_1}(-1)^kq^{jk^2+{k\choose 2}} \prod_{i=1}^m {n_i+n_{i+1}\brack n_i+k}\in \N[q], which generalizes a result of Calkin [Acta Arith. 86 (1998), 17--26]. Moreover, we show that for all positive integers n, r and j, {2n\brack n}^{-1}{2j\brack j} \sum_{k=j}^n(-1)^{n-k}q^{A}\frac{1-q^{2k+1}}{1-q^{n+k+1}} {2n\brack n-k}{k+j\brack k-j}^r\in N[q], where A=(r-1){n\choose 2}+r{j+1\choose 2}+{k\choose 2}-rjk, which solves a problem raised by Zudilin [Electron. J. Combin. 11 (2004), #R22].
Classification of small $(0,1)$ matrices
Denote by $A_n$ the set of square $(0,1)$ matrices of order $n$. The set $A_n$, $n\le8$, is partitioned into row/column permutation equivalence classes enabling derivation of various facts by simple counting. For example, the number of regular $(0,1)$ matrices of order 8 is 10160459763342013440. Let $D_n$, $S_n$ denote the set of absolute determinant values and Smith normal forms of matrices from $A_n$. Denote by $a_n$ the smallest integer not in $D_n$. The sets $\mathcal{D}_9$ and $\mathcal{S}_9$ are obtained; especially, $a_9=103$. The lower bounds for $a_n$, $10\le n\le 19$, (exceeding the known lower bound $a_n\ge 2f_{n-1}$, where $f_n$ is $n$th Fibonacci number) are obtained. Row/permutation equivalence classes of $A_n$ correspond to bipartite graphs with $n$ black and $n$ white vertices, and so the other applications of the classification are possible.
Knight move for chromatic graph cohomology
Published
• View Publication
• BIB
In this paper we prove the knight move theorem for the chromatic graph cohomologies with rational coefficients introduced by L. Helme-Guizon and Y. Rong. Namely, for a connected graph G with n vertices the only non-trivial cohomology groups $H^{i,n-i}(G)$, $H^{i,n-i-1}(G)$ come in isomorphic pairs: $H^{i,n-i}(G)\cong H^{i+1,n-i-2}(G)$ for i >= 0 if G is non-bipartite, and for i > 0 if G is bipartite. As a corollary, the ranks of the cohomology groups are determined by the chromatic polynomial. At the end, we give an explicit formula for the Poincare polynomial in terms of the chromatic polynomial and a deletion-contraction formula for the Poincare polynomial.
Sufficient conditions for the existence of perfect heterochromatic matchings in colored graphs
Published
• View Publication
• BIB
This paper has been withdrawn by the author(s), due an error in the proof.
Vanishing of 3-Loop Jacobi Diagrams of Odd Degree
Published in J. Combin. Theory Ser. A. 114 (2007) 919-931.
• View Publication
• BIB
We prove the vanishing of the space of 3-loop Jacobi diagrams of odd degree. This implies that no 3-loop finite-type invariant can distinguish between a knot and its inverse.
Matroids and Geometric Invariant Theory of torus actions on flag spaces
Published
• View Publication
• BIB
We apply a theorem of Gel'fand, Goresky, MacPherson, and Serganova about matroid polytopes to study semistability of partial flags relative to a T-linearized ample line bundle of a flag space F = SL(n)/P where T is a maximal torus in SL(n) and P is a parabolic subgroup containing T. We find that the semistable points are all detected by invariant sections of degree one regardless of the line bundle or linearization thereof, provided there exists at least one nonzero invariant section of degree one. In this case the degree one sections are sufficient to give a well defined map from the G.I.T. quotient F//T to projective space.
Additionally, we show that the closure of any T-orbit in SL(n)/P is a projectively normal toric variety for any projective embedding of SL(n)/P.
Weighted locally gentle quivers and Cartan matrices
Published
• View Publication
• BIB
We study the class of weighted locally gentle quivers. This naturally extends the class of gentle quivers and gentle algebras, which have been intensively studied in the representation theory of finite-dimensional algebras, to a wider class of potentially infinite-dimensional algebras. Weights on the arrows of these quivers lead to gradings on the corresponding algebras. For the natural grading by path lengths, any locally gentle algebra is a Koszul algebra.
Our main result is a general combinatorial formula for the determinant of the weighted Cartan matrix of a weighted locally gentle quiver. This determinant is invariant under graded derived equivalences of the corresponding algebras. We show that this weighted Cartan determinant is a rational function which is completely determined by the combinatorics of the quiver, more precisely by the number and the weight of certain oriented cycles. This leads to combinatorial invariants of the graded derived categories of graded locally gentle algebras.
A note on Bruhat order and double coset representatives
Let $W$ be a finite coxeter group, let $W_I$, $W_J$ be standard parabolic subgroups, let $u$, $v$ be minimal double cosets representatives of double cosets in $W_I W / W_J$ and let $u'$, $v'$ be the maximal representatives of those same two cosets. We show that $u < v$ if and only if $u' < v'$ for the Bruhat order.
When is 0.999... equal to 1?
Published
• View Publication
• BIB
A doubly infinite sum, numerically evaluated at between 0.999 and 1.001, turns out to have a nice value.
Torus graphs and simplicial posets
Published in Adv. Math. 212 (2007), no. 2, 458-483
• View Publication
• BIB
For several important classes of manifolds acted on by the torus, the information about the action can be encoded combinatorially by a regular n-valent graph with vector labels on its edges, which we refer to as the torus graph. By analogy with the GKM-graphs, we introduce the notion of equivariant cohomology of a torus graph, and show that it is isomorphic to the face ring of the associated simplicial poset. This extends a series of previous results on the equivariant cohomology of torus manifolds. As a primary combinatorial application, we show that a simplicial poset is Cohen-Macaulay if its face ring is Cohen-Macaulay. This completes the algebraic characterisation of Cohen-Macaulay posets initiated by Stanley. We also study blow-ups of torus graphs and manifolds from both the algebraic and the topological points of view.
Evolution on distributive lattices
Published
• View Publication
• BIB
We consider the directed evolution of a population after an intervention that has significantly altered the underlying fitness landscape. We model the space of genotypes as a distributive lattice; the fitness landscape is a real-valued function on that lattice. The risk of escape from intervention, i.e., the probability that the population develops an escape mutant before extinction, is encoded in the risk polynomial. Tools from algebraic combinatorics are applied to compute the risk polynomial in terms of the fitness landscape. In an application to the development of drug resistance in HIV, we study the risk of viral escape from treatment with the protease inhibitors ritonavir and indinavir.
Enumerating contingency tables via random permanents
Published
• View Publication
• BIB
Given m positive integers R=(r_i), n positive integers C=(c_j) such that sum r_i = sum c_j =N, and mn non-negative weights W=(w_{ij}), we consider the total weight T=T(R, C; W) of non-negative integer matrices (contingency tables) D=(d_{ij}) with the row sums r_i, column sums c_j, and the weight of D equal to prod w_{ij}^{d_{ij}}. We present a randomized algorithm of a polynomial in N complexity which computes a number T'=T'(R,C; W) such that T' < T < alpha(R, C) T' where alpha(R,C) = min{prod r_i! r_i^{-r_i}, prod c_j! c_j^{-c_j}} N^N/N!. In many cases, ln T' provides an asymptotically accurate estimate of ln T. The idea of the algorithm is to express T as the expectation of the permanent of an N x N random matrix with exponentially distributed entries and approximate the expectation by the integral T' of an efficiently computable log-concave function on R^{mn}. Applications to counting integer flows in graphs are also discussed.
Multiplicity-free Schubert calculus
Published in Canadian Math. Bulletin, 53 (2010), no.1, 171-186
• View Publication
• BIB
We give a nonrecursive, combinatorial characterization of multiplicity-free products of Grassmannian Schubert classes. This answers a question of W. Fulton and extends results of J. Stembridge.