Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Convex Integer Maximization via Graver Bases
Published in Journal of Pure and Applied Algebra, 213:1569--1577, 2009
• View Publication
• BIB
We present a new algebraic algorithmic scheme to solve {\em convex integer maximization} problems of the following form, where $c$ is a convex function on $R^d$ and $w_1x,...,w_dx$ are linear forms on $R^n$, $$\max \{c(w_1 x,...,w_d x): Ax=b, x\in N^n\} .$$ This method works for arbitrary input data $A,b,d,w_1,...,w_d,c$. Moreover, for fixed $d$ and several important classes of programs in {\em variable dimension}, we prove that our algorithm runs in {\em polynomial time}. As a consequence, we obtain polynomial time algorithms for various types of multi-way transportation problems, packing problems, and partitioning problems in variable dimension.
Interval orders and reverse mathematics
Published in Notre Dame Journal of Formal Logic 48 (2007), 425-448
• View Publication
• BIB
We study the reverse mathematics of interval orders. We establish the logical strength of the implications between various definitions of the notion of interval order. We also consider the strength of different versions of the characterization theorem for interval orders: a partial order is an interval order if and only if it does not contain $2 \oplus 2$. We also study proper interval orders and their characterization theorem: a partial order is a proper interval order if and only if it contains neither $2 \oplus 2$ nor $3 \oplus 1$.
The Bloch-Okounkov correlation functions of classical type
Published in Commun.Math.Phys.276:473-508,2007
• View Publication
• BIB
Bloch and Okounkov introduced an n-point correlation function on the infinite wedge space and found an elegant closed formula in terms of theta functions. This function has connections to Gromov-Witten theory, Hilbert schemes, symmetric groups, etc, and it can also be interpreted as correlation functions on integrable gl_\infty-modules of level one. Such gl_\infty-correlation functions at higher levels were then calculated by Cheng and Wang. In this paper, generalizing the type A results, we formulate and determine the n-point correlation functions in the sense of Bloch-Okounkov on integrable modules over classical Lie subalgebras of gl_\infty of type B,C,D at arbitrary levels. As byproducts, we obtain new q-dimension formulas for integrable modules of type B,C,D and some fermionic type q-identities.
On the division of space by topological hyperplanes
Published in European J. Combinatorics, 30 (2009), no. 8, 1835-1845.
• View Publication
• BIB
A topological hyperplane is a subspace of R^n (or a homeomorph of it) that is topologically equivalent to an ordinary straight hyperplane. An arrangement of topological hyperplanes in R^n is a finite set H such that k topological hyperplanes in H, if their intersection is nonempty, meet in a subspace that is a topological hyperplane in the intersection of any k-1 of them; but two topological hyperplanes that do intersect need not cross each other. If every intersecting pair does cross, the arrangement is affine. The number of regions formed by an arrangement of topological hyperplanes has the same formula as for arrangements of affine hyperplanes. Hoping to explain this geometrically, we ask whether parts of the topological hyperplanes in any arrangement can be reassembled into an arrangement of affine topological hyperplanes with the same regions. That is always possible if the dimension is two but not in higher dimensions. We also ask whether all affine topological hyperplane arrangements correspond to oriented matroids; they need not, but we can characterize those that do if the dimension is two. In higher dimensions this problem is open. Another open question is to characterize the intersection semilattices of topological hyperplane arrangements; a third is to prove that the regions of an arrangement of topological hyperplanes are necessarily cells.
Totally frustrated states in the chromatic theory of gain graphs
Published in European J. Combinatorics, 30 (2009), 133-156.
• View Publication
• BIB
We generalize proper coloring of gain graphs to totally frustrated states, where each vertex takes a value in a set of `qualities' or `spins' that is permuted by the gain group. (An example is the Potts model.) The number of totally frustrated states satisfies the usual deletion-contraction law but is matroidal only for standard coloring, where the group action is trivial or nearly regular. One can generalize chromatic polynomials by constructing spin sets with repeated transitive components.
A new distribution problem of balls into urns, and how to color a graph by different-sized sets
Set-coloring a graph means giving each vertex a subset of a fixed color set so that no two adjacent subsets have the same cardinality. When the graph is complete one gets a new distribution problem with an interesting generating function. We explore examples and generalizations.
The Expected Order of a Random Unitary Matrix
Published
• View Publication
• BIB
Let M=M(n,q) be the average of the orders of the elements in the finite unitary group U(n,q). The asymptotic estimate log(M)=nlog(q)-log(n) +o(log n) is proved.
Lattice point counts for the Shi arrangement and other affinographic hyperplane arrangements
Published in J. Combinatorial Theory Ser. A, 114 (2007), no. 1, 97-109.
• View Publication
• BIB
Hyperplanes of the form x_j = x_i + c are called affinographic. For an affinographic hyperplane arrangement in R^n, such as the Shi arrangement, we study the function f(M) that counts integral points in [1,M]^n that do not lie in any hyperplane of the arrangement. We show that f(M) is a piecewise polynomial function of positive integers M, composed of terms that appear gradually as M increases. Our approach is to convert the problem to one of counting integral proper colorations of a rooted integral gain graph. An application is to interval coloring in which the interval of available colors for vertex v_i has the form [(h_i)+1,M]. A related problem takes colors modulo M; the number of proper modular colorations is a different piecewise polynomial that for large M becomes the characteristic polynomial of the arrangement (by which means Athanasiadis previously obtained that polynomial). We also study this function for all positive moduli.
Using Equivariant Obstruction Theory in Combinatorial Geometry
A significant group of problems coming from the realm of Combinatorial Geometry can only be approached through the use of Algebraic Topology. From the first such application to Kneser's problem in 1978 by Lov% ász \cite{Lovasz} through the solution of the Lovász conjecture \cite% {Babson-Kozlov}, \cite{Carsten}, many methods from Algebraic Topology have been used. Specifically, it appears that the understanding of equivariant theories is of the most importance. The solution of many problems depends on the existence of an elegantly constructed equivariant map. For example, the following problems were approached by discussing the existence of appropriate equivariant maps.A variety of results from algebraic topology were applied in solving these problems. The methods used ranged from well known theorems like Borsuk Ulam and Dold theorem to the integer / ideal valued index theories. In this paper we are going to extract the essence of the equivariant obstruction theory in order to obtain an effective \emph{general position map%} scheme for analyzing the problem of existence of equivariant maps.
$n$-Colour self-inverse compositions
Published
• View Publication
• BIB
MacMahon's definition of self-inverse composition is extended to $n$-colour self-inverse composition. This introduces four new sequences which satisfy the same recurrence relation with different initial conditions like the famous Fibonacci and Lucas sequences. For these new sequences explicit formulas, recurrence relations, generating functions and a summation formula are obtained. Two new binomial identities with combinatorial meaning are also given.
Maximally symmetric stable curves II
Published
• View Publication
• BIB
We find a sharp bound for the order of the automorphism group of a stable curve of genus $g$ with $3g-3$ nodes, and a sharp bound for the order of the automorphism group of such a curve with all smooth components. Combined with the results of our article math.CO/0608645 we find that graph theoretically, the cubic graph with a given number of vertices and most automorphisms is simple, but algebro-geometrically, the stable curves with $3g-3$ nodes that have the most automorphisms have non-simple dual graph.
Multiple partitions, lattice paths and a Burge-Bressoud-type correspondence
Published
• View Publication
• BIB
A bijection is presented between (1): partitions with conditions $f_j+f_{j+1}\leq k-1$ and $ f_1\leq i-1$, where $f_j$ is the frequency of the part $j$ in the partition, and (2): sets of $k-1$ ordered partitions $(n^{(1)}, n^{(2)}, ..., n^{(k-1)})$ such that $n^{(j)}_\ell \geq n^{(j)}_{\ell+1} + 2j$ and $ n^{(j)}_{m_j} \geq j+ {\rm max} (j-i+1,0)+ 2j (m_{j+1}+... + m_{k-1})$, where $m_j$ is the number of parts in $n^{(j)}$. This bijection entails an elementary and constructive proof of the Andrews multiple-sum enumerating partitions with frequency conditions. A very natural relation between the $k-1$ ordered partitions and restricted paths is also presented, which reveals our bijection to be a modification of Bressoud's version of the Burge correspondence.
Tensor product decompositions and open orbits in multiple flag varieties
Published in J. Algebra, Vol. 313 (2007), 392-416
• View Publication
• BIB
For a connected semisimple algebraic group $G$, we consider some special infinite series of tensor products of simple $G$-modules whose
$G$-fixed point spaces are at most one-dimensional. We prove that their existence is closely related to the existence of open $G$-orbits in multiple flag varieties and address the problem of classifying such series.
Counting Knight's Tours through the Randomized Warnsdorff Rule
We give an estimate of the number of geometrically distinct open tours $\G$ for a knight on a chessboard. We use a randomization of Warnsdorff rule to implement importance sampling in a backtracking scheme, correcting the observed bias of the original rule, according to the proposed principle that ``most solutions follow Warnsdorff rule most of the time''. After some experiments in order to test this principle, and to calibrate a parameter, interpreted as a distance of a general solution from a Warnsdorff solution, we conjecture that $\G=1.22\times 10^{15}$.
Multilateral inversion of A_r, C_r and D_r basic hypergeometric series
Published in Ann. Comb. 13 (2009), 341-363
• View Publication
• BIB
In [Electron. J. Combin. 10 (2003), #R10], the author presented a new basic hypergeometric matrix inverse with applications to bilateral basic hypergeometric series. This matrix inversion result was directly extracted from an instance of Bailey's very-well-poised 6-psi-6 summation theorem, and involves two infinite matrices which are not lower-triangular. The present paper features three different multivariable generalizations of the above result. These are extracted from Gustafson's A_r and C_r extensions and of the author's recent A_r extension of Bailey's 6-psi-6 summation formula. By combining these new multidimensional matrix inverses with A_r and D_r extensions of Jackson's 8-phi-7 summation theorem three balanced very-well-poised 8-psi-8 summation theorems associated with the root systems A_r and C_r are derived.
Moments of characteristic polynomials for compact symmetric spaces and Jack polynomials
Published in J. Phys. A: Math. Theor. 40 (2007) 13567-13586
• View Publication
• BIB
We express the averages of products of characteristic polynomials for random matrix ensembles associated with compact symmetric spaces in terms of Jack polynomials or Heckman and Opdam's Jacobi polynomials depending on the root system of the space. We also give explicit expressions for the asymptotic behavior of these averages in the limit as the matrix size goes to infinity.
Totally geodesic subgraphs of the pants complex
Published
• View Publication
• BIB
Our main theorem asserts that every Farey graph embedded in the 1-skeleton of the pants complex of any finite type surface is totally geodesic.
Calculating the correlation coefficients of graph-theoretical indices
Published
• View Publication
• BIB
Using a generating function approach, the correlation coefficients of four different graph-theoretical indices, namely the number of independent vertex subsets, the number of matchings, the number of subtrees and the Wiener index, are asymptotically determined for random rooted ordered trees.
The Zeta Function of a Hypergraph
Published
• View Publication
• BIB
We generalize the Ihara-Selberg zeta function to hypergraphs in a natural way. Hashimoto's factorization results for biregular bipartite graphs apply, leading to exact factorizations. For $(d,r)$-regular hypergraphs, we show that a modified Riemann hypothesis is true if and only if the hypergraph is Ramanujan in the sense of Winnie Li and Patrick Solé. Finally, we give an example to show how the generalized zeta function can be applied to graphs to distinguish non-isomorphic graphs with the same Ihara-Selberg zeta function.
Universal Cycles on 3-Multisets
Consider the collection of all t-multisets of {1,...,n}. A universal cycle on multisets is a string of numbers, each of which is between 1 and n, such that if these numbers are considered in t-sized windows, every multiset in the collection is present in the string precisely once. The problem of finding necessary and sufficient conditions on n and t for the existence of universal cycles and similar combinatorial structures was first addressed by DeBruijn in 1946 (who considered t-tuples instead of t-multisets). The past 15 years has seen a resurgence of interest in this area, primarily due to Chung, Diaconis, and Graham's 1992 paper on the subject. For the case t=3, we determine necessary and sufficient conditions on n for the existence of universal cycles, and we examine how this technique can be generalized to other values of t.