Results 1  10
of
192
A New Class of Upper Bounds on the Log Partition Function
 In Uncertainty in Artificial Intelligence
, 2002
"... Bounds on the log partition function are important in a variety of contexts, including approximate inference, model fitting, decision theory, and large deviations analysis [11, 5, 4]. We introduce a new class of upper bounds on the log partition function, based on convex combinations of distribution ..."
Abstract

Cited by 220 (33 self)
 Add to MetaCart
Bounds on the log partition function are important in a variety of contexts, including approximate inference, model fitting, decision theory, and large deviations analysis [11, 5, 4]. We introduce a new class of upper bounds on the log partition function, based on convex combinations of distributions in the exponential domain, that is applicable to an arbitrary undirected graphical model. In the special case of convex combinations of treestructured distributions, we obtain a family of variational problems, similar to the Bethe free energy, but distinguished by the following desirable properties: (i) they are convex, and have a unique global minimum; and (ii) the global minimum gives an upper bound on the log partition function. The global minimum is defined by stationary conditions very similar to those defining xed points of belief propagation (BP) or treebased reparameterization [see 13, 14]. As with BP fixed points, the elements of the minimizing argument can be used as approximations to the marginals of the original model. The analysis described here can be extended to structures of higher treewidth (e.g., hypertrees), thereby making connections with more advanced approximations (e.g., Kikuchi and variants [15, 10]).
Topologically Sweeping Visibility Complexes via Pseudotriangulations
, 1996
"... This paper describes a new algorithm for constructing the set of free bitangents of a collection of n disjoint convex obstacles of constant complexity. The algorithm runs in time O(n log n + k), where k is the output size, and uses O(n) space. While earlier algorithms achieve the same optimal run ..."
Abstract

Cited by 84 (9 self)
 Add to MetaCart
This paper describes a new algorithm for constructing the set of free bitangents of a collection of n disjoint convex obstacles of constant complexity. The algorithm runs in time O(n log n + k), where k is the output size, and uses O(n) space. While earlier algorithms achieve the same optimal running time, this is the first optimal algorithm that uses only linear space. The visibility graph or the visibility complex can be computed in the same time and space. The only complicated data structure used by the algorithm is a splittable queue, which can be implemented easily using redblack trees. The algorithm is conceptually very simple, and should therefore be easy to implement and quite fast in practice. The algorithm relies on greedy pseudotriangulations, which are subgraphs of the visibility graph with many nice combinatorial properties. These properties, and thus the correctness of the algorithm, are partially derived from properties of a certain partial order on the faces of th...
Tree Consistency and Bounds on the Performance of the MaxProduct Algorithm and Its Generalizations
, 2002
"... Finding the maximum a posteriori (MAP) assignment of a discretestate distribution specified by a graphical model requires solving an integer program. The maxproduct algorithm, also known as the maxplus or minsum algorithm, is an iterative method for (approximately) solving such a problem on gr ..."
Abstract

Cited by 67 (5 self)
 Add to MetaCart
Finding the maximum a posteriori (MAP) assignment of a discretestate distribution specified by a graphical model requires solving an integer program. The maxproduct algorithm, also known as the maxplus or minsum algorithm, is an iterative method for (approximately) solving such a problem on graphs with cycles.
A New Look at Survey Propagation and its Generalizations
"... We study the survey propagation algorithm [19, 5, 4], which is an iterative technique that appears to be very effective in solving random kSAT problems even with densities close to threshold. We first describe how any SAT formula can be associated with a novel family of Markov random fields (MRFs), ..."
Abstract

Cited by 66 (11 self)
 Add to MetaCart
(Show Context)
We study the survey propagation algorithm [19, 5, 4], which is an iterative technique that appears to be very effective in solving random kSAT problems even with densities close to threshold. We first describe how any SAT formula can be associated with a novel family of Markov random fields (MRFs), parameterized by a real number ρ. We then show that applying belief propagation— a wellknown “messagepassing” technique—to this family of MRFs recovers various algorithms, ranging from pure survey propagation at one extreme (ρ = 1) to standard belief propagation on the uniform distribution over SAT assignments at the other extreme (ρ = 0). Configurations in these MRFs have a natural interpretation as generalized satisfiability assignments, on which a partial order can be defined. We isolate cores as minimal elements in this partial
Enumeration of totally positive Grassmann cells
, 2005
"... (Article begins on next page) The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters. ..."
Abstract

Cited by 63 (9 self)
 Add to MetaCart
(Article begins on next page) The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters.
Faces of generalized permutohedra
"... Abstract. The aim of the paper is to calculate face numbers of simple generalized permutohedra, and study their f, h and γvectors. These polytopes include permutohedra, associahedra, graphassociahedra, simple graphic zonotopes, nestohedra, and other interesting polytopes. We give several explici ..."
Abstract

Cited by 50 (3 self)
 Add to MetaCart
Abstract. The aim of the paper is to calculate face numbers of simple generalized permutohedra, and study their f, h and γvectors. These polytopes include permutohedra, associahedra, graphassociahedra, simple graphic zonotopes, nestohedra, and other interesting polytopes. We give several explicit formulas for hvectors and γvectors involving descent statistics. This includes a combinatorial interpretation for γvectors of a large class of generalized permutohedra which are flag simple polytopes, and confirms for them Gal’s conjecture on nonnegativity of γvectors. We calculate explicit generating functions and formulae for hpolynomials of various families of graphassociahedra, including those corresponding to all Dynkin diagrams of finite and affine types. We also discuss relations with Narayana numbers and with Simon Newcomb’s problem. We give (and conjecture) upper and lower bounds for f, h, and γvectors within several classes of generalized permutohedra. An appendix discusses the equivalence of various notions of deformations of simple polytopes.
A characterization of the quadrilateral meshes of a surface which admit a compatible hexahedral mesh of the enclosed volume
 Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science
, 1996
"... Abstract. A popular threedimensional mesh generation scheme is to start with a quadrilateral mesh of the surface of a volume, and then attempt to fill the interior of the volume with hexahedra, so that the hexahedra touch the surface in exactly the given quadrilaterals[24]. Folklore has maintained ..."
Abstract

Cited by 47 (9 self)
 Add to MetaCart
(Show Context)
Abstract. A popular threedimensional mesh generation scheme is to start with a quadrilateral mesh of the surface of a volume, and then attempt to fill the interior of the volume with hexahedra, so that the hexahedra touch the surface in exactly the given quadrilaterals[24]. Folklore has maintained that there are many quadrilateral meshes for which no such compatible hexahedral mesh exists. In this paper we give an existence proof which contradicts this folklore: A quadrilateral mesh need only satisfy some very weak conditions for there to exist a compatible hexahedral mesh. For a volume that is topologically a ball, any quadrilateral mesh composed of an even number of quadrilaterals admits a compatible hexahedral mesh. We extend this to certain nonball volumes: there is a construction to reduce to the ball case, and we give a necessary condition as well.
Counting integer points in parametric polytopes using Barvinok’s rational functions
 Algorithmica
, 2007
"... Abstract Many compiler optimization techniques depend on the ability to calculate the number of elements that satisfy certain conditions. If these conditions can be represented by linear constraints, then such problems are equivalent to counting the number of integer points in (possibly) parametric ..."
Abstract

Cited by 43 (9 self)
 Add to MetaCart
(Show Context)
Abstract Many compiler optimization techniques depend on the ability to calculate the number of elements that satisfy certain conditions. If these conditions can be represented by linear constraints, then such problems are equivalent to counting the number of integer points in (possibly) parametric polytopes. It is well known that the enumerator of such a set can be represented by an explicit function consisting of a set of quasipolynomials each associated with a chamber in the parameter space. Previously, interpolation was used to obtain these quasipolynomials, but this technique has several disadvantages. Its worstcase computation time for a single quasipolynomial is exponential in the input size, even for fixed dimensions. The worstcase size of such a quasipolynomial (measured in bits needed to represent the quasipolynomial) is also exponential in the input size. Under certain conditions this technique even fails to produce a solution. Our main contribution is a novel method for calculating the required quasipolynomials analytically. It extends an existing method, based on Barvinok’s decomposition,
A new proof of the density HalesJewett theorem
, 2009
"... The Hales–Jewett theorem asserts that for every r and every k there exists n such that every rcolouring of the ndimensional grid {1,..., k} n contains a combinatorial line. This result is a generalization of van der Waerden’s theorem, and it is one of the fundamental results of Ramsey theory. The ..."
Abstract

Cited by 40 (2 self)
 Add to MetaCart
The Hales–Jewett theorem asserts that for every r and every k there exists n such that every rcolouring of the ndimensional grid {1,..., k} n contains a combinatorial line. This result is a generalization of van der Waerden’s theorem, and it is one of the fundamental results of Ramsey theory. The theorem of van der Waerden has a famous density version, conjectured by Erdős and Turán in 1936, proved by Szemerédi in 1975 and given a different proof by Furstenberg in 1977. The Hales–Jewett theorem has a density version as well, proved by Furstenberg and Katznelson in 1991 by means of a significant extension of the ergodic techniques that had been pioneered by Furstenberg in his proof of Szemerédi’s theorem. In this paper, we give the first elementary proof of the theorem of Furstenberg and Katznelson, and the first to provide a quantitative bound on how large n needs to be. In particular, we show that a subset of [3] n of density δ contains a combinatorial line if n ≥ 2 ⇈ O(1/δ 3). Our proof is surprisingly simple: indeed, it gives what is probably the simplest known proof of Szemerédi’s theorem.
Möbius Functions of Lattices
, 1998
"... We introduce the concept of a bounded below set in a lattice. This can be used to give a generalization of Rota's broken circuit theorem to any finite lattice. We then show how this result can be used to compute and combinatorially explain the Mobius function in various examples including nonc ..."
Abstract

Cited by 34 (7 self)
 Add to MetaCart
We introduce the concept of a bounded below set in a lattice. This can be used to give a generalization of Rota's broken circuit theorem to any finite lattice. We then show how this result can be used to compute and combinatorially explain the Mobius function in various examples including noncrossing set partitions, shuffle posets, and integer partitions in dominance order. Next we present a generalization of Stanley's theorem that the characteristic polynomial of a semimodular supersolvable lattice factors over the integers. We also give some applications of this second main theorem, including the Tamari lattices.