In this thesis, we study local mixture models with a Hilbert space structure. First, we consider the fibre bundle structure of local mixture models in a Hilbert space. Next, the spectral decomposition is introduced in order to construct local mixture models. We analyze the approximation error asymptotically in the Hilbert space. After that, we will discuss the convexity structure of local mixture models. There are two forms of convexity conditions to consider, first due to positivity in the $-1$-affine structure and the second by points having to lie inside the convex hull of a parametric family. It is shown that the set of mixture densities is located inside the intersection of the sets defined by these two convexities. Finally, we discuss the impact of the approximation error in the Hilbert space when the domain of mixing variable changes.

In this thesis, we study local mixture models with a Hilbert space structure. First, we consider the fibre bundle structure of local mixture models in a Hilbert space. Next, the spectral decomposition is introduced in order to construct local mixture models. We analyze the approximation error asymptotically in the Hilbert space. After that, we will discuss the convexity structure of local mixture models. There are two forms of convexity conditions to consider, first due to positivity in the $-1$-affine structure and the second by points having to lie inside the convex hull of a parametric family. It is shown that the set of mixture densities is located inside the intersection of the sets defined by these two convexities. Finally, we discuss the impact of the approximation error in the Hilbert space when the domain of mixing variable changes.

The main subject of this thesis is the development of new geometric tools and techniques for solving classic problems within the geometry of numbers and convex geometry. At a high level, the problems considered in this thesis concern the varied interplay between the continuous and the discrete, an important theme within computer science and operations research. The first subject we consider is the study of cutting planes for non-linear integer programs. Cutting planes have been implemented to great effect for linear integer programs, and so understanding their properties in more general settings is an important subject of study. As our contribution to this area, we show that Chvatal-Gomory closure of any compact convex set is a rational polytope. As a consequence, we resolve an open problem of Schrijver (Ann. Disc. Math. `80) regarding the same question for irrational polytopes. The second subject of study is that of ellipsoidal approximation of convex bodies. Different such notions have been important to the development of fundamental geometric algorithms: e.g. the ellipsoid method for convex optimization (enclosing ellipsoids), or random walk methods for volume estimation (inertial ellipsoids). Here we consider the construction of an ellipsoid with good "covering" properties with respect to a convex body, known in convex geometry as the M-ellipsoid. As our contribution, we give two algorithms for constructing M-ellipsoids, and provide an application to near-optimal deterministic volume estimation in the oracle model. Equipped with this new geometric tool, we move to the study of classic lattice problems in the geometry of numbers, namely the Shortest (SVP) and Closest Vector Problems (CVP). Here we use M-ellipsoid coverings, combined with an algorithm of Micciancio and Voulgaris for CVP in the ℓ₂ norm (STOC `10), to obtain the first deterministic 2^O(ⁿ) time algorithm for the SVP in general norms. Combining this algorithm with a novel lattice sparsification technique, we derive the first deterministic 2^O(ⁿ)(1+1/ϵ)ⁿ time algorithm for (1+ϵ)-approximate CVP in general norms. For the next subject of study, we analyze the geometry of general integer programs. A central structural result in this area is Kinchine's flatness theorem, which states that every lattice free convex body has integer width bounded by a function of dimension. As our contribution, we build on the work Banaszczyk, using tools from lattice based cryptography, to give a new and tighter proof of the flatness theorem. Lastly, combining all the above techniques, we consider the study of algorithms for the Integer Programming Problem (IP). As our main contribution, we give a new 2^O(ⁿ)nⁿ time algorithm for IP, which yields the fastest currently known algorithm for IP and improves on the classic works of Lenstra (MOR `83) and Kannan (MOR `87).

This thesis examines the elegant theory of polar and Legendre duality, and its potential use in convex geometry and geometric analysis. It derives a theorem of polar - Legendre duality for all convex bodies, which is captured in a commutative diagram. A geometric flow on a convex body induces a distortion on its polar dual. In general these distortions are not flows defined by local curvature, but in two dimensions they do have similarities to the inverse flows on the original convex bodies. These ideas can be extended to higher dimensions. Polar - Legendre duality can also be used to examine Mahler's Conjecture in convex geometry. The theory presents new insight on the resolved two-dimensional problem, and presents some ideas on new approaches to the still open three dimensional problem.

La majeure partie de cette thèse est consacrée à l'inégalité de Blaschke-Santaló, qui s'énonce ainsi : parmi les ensembles symétriques, la boule euclidienne maximise le produit vol(K) vol(K°), K° désignant le polaire de K. Il existe des versions fonctionnelles de cette inégalité, découvertes par plusieurs auteurs (Ball, Artstein, Klartag, Milman, Fradelizi, Meyer. . .), mais elles sont toutes dérivées de l'inégalité ensembliste. L'objet de cette thèse est de proposer des démonstrations directes de ces inégalités fonctionnelles. On obtient ainsi de nouvelles preuves de l'inégalité de Santaló, parfois très simples. La dernière partie est un peu à part et concerne le chaos gaussien : on démontre une majoration précise des moments du chaos gaussien due à Lataªa par des arguments de chaînage à la Talagrand / This thesis is mostly about the Blaschke-Santaló inequality, which states that among symmetric sets, the Euclidean ball maximises the product vol(K) vol(K°), where K° is the polar body of K. Several authors (Ball, Artstein, Klartag, Milman, Fradelizi, Meyer. . .) were able to derive functional inequalities from this inequality. The purpose of this thesis is to give direct proofs of these functional Santaló inequalities. This provides new proofs of Santaló, some of which are very simple. The last chapter is about Gaussian chaoses. We obtain a sharp bound for moments of Gaussian chaoses due to Lataªa, using the generic chaining of Talagrand

Thesis (M. S.)--Mathematics, Georgia Institute of Technology, 2009. / Committee Chair: Evans Harrell; Committee Member: Guillermo Goldsztein; Committee Member: Mohammad Ghomi

This thesis presents parallel algorithms for rational cones and affine monoids which pursue two main computational goals: finding the Hilbert basis, a minimal generating system of the monoid of lattice points of a cone; and counting elements degree-wise in a generating function, the Hilbert series.

No description available.

No description available.

No description available.