Showing 20 papers (Total: 81378 papers, 47165 authors in database)
When Does the Positive Semidefiniteness Constraint Help In Lifting Procedures
We study the lift-and-project procedures of Lovász and Schrijver for 0-1 integer programming problems. We prove that the procedure using the positive semidefiniteness constraint is not better than the one without it, in the worst case. Various examples are considered. We also provide geometric conditions characterizing when the positive semidefiniteness constraint does not help.
The standard deviation effect (or why one should sit first base playing blackjack)
For a balanced cardcounting system we study the random variable of the true count after a number of cards are removed from the remaining deck and we prove a close formula for its standard deviation. As expected, the formula shows that the standard deviation increases with the number of cards removed. This creates a "standard deviation effect" with a two fold consequence: longer long run and presumably larger fluctuations of the bankroll, but a small gain in playing accuracy for the player sitting third base. The opposite happens for the player sitting first base. Thus the optimal position in casino blackjack in terms of shorter long run is first base.
Construction of commuting difference operators for multiplicity free spaces
Published in Selecta Math. (N.S.) 6 (2000), 443-470
• View Publication
• BIB
We study root systems equipped with a basis of dominant weights such that certain axioms hold. This formalism allows to define a linear basis P of the space of Weyl group invariant polynomials. This basis is actually a family depending on at least one parameter. Our main result is the construction of difference operators which are simultaneously diagonalized by P. From this, Pieri type rules are derived. This generalizes results for shifted Jack polynomials.
Even though the approach is purely combinatorial, the main motivation comes from multiplicity free actions of reductive groups on vector spaces. Then the algebra of invariant differential operators has a distinguished basis, the Capelli operators, which gives rise to a basis P as above. The paper ends with a comprehensive table detailing the combinatorial structure of multiplicity free actions.
The harmonic product of $δ(x_{1},..., x_{n})$ and $δ(x_{1})$ and two combinatorial identities
Published
• View Publication
• BIB
In the framework of nonstandard analysis, Bang-He Li and the author defined the product of any two distributions on $R^n$ via their harmonic representations. The product of $δ(x_{1},..., x_{n})$ and $δ(x_{1})$ was calculated by Kuribayashi and the author in [LK]. In this paper, the result of [LK] is improved to $$δ(x_{1},..., x_{n})\circ δ(x_{1}) =\dfrac{1}{2πρ} δ(x_{1},..., x_{n}) {mod} {infinitesimals}$$ where $ρ$ is a positive infinitesimal. Moreover two combinatorial identities are obtained as byproducts.
Stochastic monotonicity and realizable monotonicity
Published
• View Publication
• BIB
We explore and relate two notions of monotonicity, stochastic and realizable, for a system of probability measures on a common finite partially ordered set (poset) S when the measures are indexed by another poset A. We give counterexamples to show that the two notions are not always equivalent, but for various large classes of S we also present conditions on the poset A that are necessary and sufficient for equivalence. When A = S, the condition that the cover graph of S have no cycles is necessary and sufficient for equivalence. This case arises in comparing applicability of the perfect sampling algorithms of Propp and Wilson and the first author of the present paper.
Maps of p-gons with a ring of q-gons
We study 3-valent maps $M_n(p,q)$ consisting of a ring of $n$ $q$-gons whose the inner and outer domains are filled by $p$-gons, for $p,q \ge 3$. We describe a domain in the space of parameters $p$, $q$, and $n$, for which such a map may exist. With four infinite sequences of maps - prisms $M_p(p \ge 3,4)$, $M_4(4,q \ge 4)$, $M_4(5,5t+2 \ge 7)$, $M_4(5,5t+3 \ge 8)$, we give 20 sporadic ones. The maps whose $p$-gons form two paths are first two infinite sequences and 5 maps: $M_{28}(7,5)$, $M_{12}(6,5)$, $M_{10}(5,6)$, $M_{20}(5,7)$, $M_{2}(3,6)$
Small cones of m-hemimetrics
Published
• View Publication
• BIB
We introduce polyhedral cones associated with $m$-hemimetrics on $n$ points, and, in particular, with $m$-hemimetrics coming from partitions of an $n$-set into $m+1$ blocks. We compute generators and facets of the cones for small values of $m,n$ and study their skeleton graphs.
KRS and determinantal ideals
Published
• View Publication
• BIB
The first sections contain a survey of the application of the Knuth-Robinson-Schensted corerspondence to the computation of Groebner bases of determinantal ideals. We also set up a conceptual framework for this application in terms of so-called "KRS invariants". Then we show that the initial ideal of a determinantal ideal "defined by shape" is given by its KRS image. We furthermore characterize those among these ideals that even have a Groebner basis of products of minors, and show that they can be characterized in terms of Greene's KRS invariants. Furthermore it is shown that for the ideal generated by all t-minors the formation of initial ideal and symbolic power commutes. The last section contains a discussion of potential KRS invariants related to so-called 1-cogenerated ideals.
The Distance Approach to Approximate Combinatorial Counting
Published
• View Publication
• BIB
We develop general methods to obtain fast (polynomial time) estimates of the cardinality of a combinatorially defined set via solving some randomly generated optimization problems on the set. Geometrically, we estimate the cardinality of a subset of the Boolean cube via the average distance from a point in the cube to the subset. As an application, we present a new randomized polynomial time algorithm which approximates the permanent of a 0-1 matrix by solving a small number of Assignment problems.
Self-dual Codes over the Kleinian Four Group
Published in Mathematische Annalen 327, 227-255, 2003
• Search Publication
We introduce self-dual codes over the Kleinian four group $K = \mathbb{Z}_2 \times \mathbb{Z}_2$ for a natural quadratic form on $K^n$ and develop the theory. Topics studied are: weight enumerators, mass formulas, classification up to length 8, neighbourhood graphs, extremal codes, shadows, generalized t-designs, lexicographic codes, the Hexacode and its odd and shorter cousin, automorphism groups, marked codes. Kleinian codes form a new and natural fourth step in a series of analogies between binary codes, lattices and vertex operator algebras. This analogy will be emphasized and explained in detail.
Some Fundamental Properties of Successive Convex Relaxation Methods on LCP and Related Problems
General Successive Convex Relaxation Methods (SRCMs) can be used to compute the convex hull of any compact set, in an Euclidean space, described by a system of quadratic inequalities and a compact convex set which is not very complicated. Linear Complementarity Problems (LCPs) make an interesting and rich class of structured nonconvex optimization problems. In this paper, we study a few of the specialized lift-and-project methods and some of the possible ways of applying the general SCRMs to LCPs and related problems.
Intrinsic geometry of convex ideal polyhedra in hyperbolic 3-space
Published in Analysis, algebra, and computers in mathematical research (Luleå, 1992), 275--291, Lecture Notes in Pure and Appl. Math., 156, Dekker, New York, 1994
• Search Publication
The main result is that every complete finite area hyperbolic metric on a sphere with punctures can be uniquely realized as the induced metric on the surface of a convex ideal polyhedron in hyperbolic 3-space. A number of other observations are included.
On the consistency of the definable tree property on \aleph_1
Published
• View Publication
• BIB
In this paper we prove the equiconsistency of ``Every omega_1 tree which is first order definable over H_{omega_1} has a cofinal branch'' with the existence of a Pi^1_1 reflecting cardinal. The proof uses a definable version of Ramsey theorem on aleph_1 which is again equiconsistent with a Pi^1_1 reflecting cardinal. We also prove that the addition of $MA$ to the definable tree property increases the consistency strength to that of a weakly compact cardinal. Finally we comment on the generalization to higher cardinals.
Moment-angle complexes and combinatorics of simplicial manifolds
Published
• View Publication
• BIB
Let $ρ:(D^2)^m\to I^m$ be the orbit map for the diagonal action of the torus $T^m$ on the unit poly-disk $(D^2)^m$, $I^m=[0,1]^m$ is the unit cube. Let $C$ be a cubical subcomplex in $I^m$. The moment-angle complex $\ma(C)$ is a $T^m$-invariant bigraded cellular decomposition of the subset $ρ^{-1}(C)\subset(D^2)^m$ with cells corresponding to the faces of $C$. Different combinatorial problems concerning cubical complexes and related combinatorial objects can be treated by studying the equivariant topology of corresponding moment-angle complexes. Here we consider moment-angle complexes defined by canonical cubical subdivisions of simplicial complexes. We describe relations between the combinatorics of simplicial complexes and the bigraded cohomology of corresponding moment-angle complexes. In the case when the simplicial complex is a simplicial manifold the corresponding moment-angle complex has an orbit consisting of singular points. The complement of an invariant neighbourhood of this orbit is a manifold with boundary. The relative Poincare duality for this manifold implies the generalized Dehn-Sommerville equations for the number of faces of simplicial manifolds.
Valleyless Sequences
Valleyless sequences of finite length $n$ and maximum entry $k$ occur in tree enumeration problems and provide an interesting correspondence between permutations and compositions. In this paper we introduce the notion of \emph {valleyless} sequences, explore the correspondence and enumerate them using the method of generating functions.
A four parameter generalization of Gollnitz's (BIG) partition theorem
Published
• View Publication
• BIB
We announce a new four parameter partition theorem from which the (big) theorem of Gollnitz follows by setting any one of the parameters equal to 0. This settles a problem of Andrews who asked whether there exists a result that goes beyond the partition theorem of Gollnitz. We state a four parameter q-series identity (key identity) which is the generating function form of this theorem. In a subsequent paper, the proof of the new four parameter key identity will be given.
Structural Properties of Potts Model Partition Functions and Chromatic Polynomials for Lattice Strips
Published in Physica A 296, 131-182 (2001)
• View Publication
• BIB
partial abstract: The $q$-state Potts model partition function (equivalent to the Tutte polynomial) for a lattice strip of fixed width $L_y$ and arbitrary length $L_x$ has the form $Z(G,q,v)=\sum_{j=1}^{N_{Z,G,λ}}c_{Z,G,j}(λ_{Z,G,j})^{L_x}$, where $v$ is a temperature-dependent variable. The special case of the zero-temperature antiferromagnet ($v=-1$) is the chromatic polynomial $P(G,q)$. Using coloring and transfer matrix methods, we give general formulas for $C_{X,G}=\sum_{j=1}^{N_{X,G,λ}}c_{X,G,j}$ for $X=Z,P$ on cyclic and Möbius strip graphs of the square and triangular lattice. Combining these with a general expression for the (unique) coefficient $c_{Z,G,j}$ of degree $d$ in $q$: $c^{(d)}=U_{2d}(\frac{\sqrt{q}}{2})$, where $U_n(x)$ is the Chebyshev polynomial of the second kind, we determine the number of $λ_{Z,G,j}$'s with coefficient $c^{(d)}$ in $Z(G,q,v)$ for these cyclic strips of width $L_y$ to be $n_Z(L_y,d)=(2d+1)(L_y+d+1)^{-1} {2L_y \choose L_y-d}$ for $0 \le d \le L_y$ and zero otherwise. For both cyclic and Möbius strips of these lattices, the total number of distinct eigenvalues $λ_{Z,G,j}$ is calculated to be $N_{Z,L_y,λ}={2L_y \choose L_y}$. We point out that $N_{Z,L_y,λ}=2N_{DA,tri,L_y}$ and $N_{P,L_y,λ}=2N_{DA,sq,L_y}$, where $N_{DA,Λ,n}$ denotes the number of directed lattice animals on the lattice $Λ$.
Ground State Entropy of the Potts Antiferromagnet with Next-Nearest-Neighbor Spin-Spin Couplings on Strips of the Square Lattice
Published in Phys. Rev. E62, 4650-4664 (2000)
• View Publication
• BIB
We present exact calculations of the zero-temperature partition function (chromatic polynomial) and $W(q)$, the exponent of the ground-state entropy, for the $q$-state Potts antiferromagnet with next-nearest-neighbor spin-spin couplings on square lattice strips, of width $L_y=3$ and $L_y=4$ vertices and arbitrarily great length $L_x$ vertices, with both free and periodic boundary conditions. The resultant values of $W$ for a range of physical $q$ values are compared with each other and with the values for the full 2D lattice. These results give insight into the effect of such non-nearest neighbor couplings on the ground state entropy. We show that the $q=2$ (Ising) and $q=4$ Potts antiferromagnets have zero-temperature critical points on the $L_x \to \infty$ limits of the strips that we study. With the generalization of $q$ from ${\mathbb Z}_+$ to ${\mathbb C}$, we determine the analytic structure of $W(q)$ in the $q$ plane for the various cases.
The cover time, the blanket time, and the Matthews bound
Published
• View Publication
• BIB
The cover time C of a graph G is the expected time for a random walk starting from the worst vertex to cover all vertices in G. Similarly, the blanket time B is the expected time to visit all vertices within a constant factor of number of times suggested by the stationary distribution. (Our definition will be slightly stronger than this.) Obviously, all vertices are covered when the graph is blanketed, and hence C <= B. The blanket time is introduced by Winkler and Zuckerman motivated by applications in Markov estimation and distributed computing. They conjectured B =O(C) and proved B=O(C ln n ). In this paper, we introduce another parameter M motivated by Matthews' theorem and prove
M/2 <= C <= B = O(( M ln ln n)^2).
In particular, B = O(C (ln ln n)^2). The lower bound is still valid for the cover time C(π) starting from the stationary distribution. We also show that there is a polynomial time algorithm to approximate M within a factor of 2 and so does for C within a factor of O((ln ln n)^2), improving previous bound of O(ln n) of Matthews'.
Refined q-trinomial coefficients and character identities
Published in J.Statist.Phys. 102 (2001) 1065-1081
• View Publication
• BIB
A refinement of the q-trinomial coefficients is introduced, which has a very powerful iterative property. This ``T-invariance'' is applied to derive new Virasoro character identities related to the exceptional simply-laced Lie algebras E_6,E_7 and E_8.