693 research outputs found
Exploiting Polyhedral Symmetries in Social Choice
A large amount of literature in social choice theory deals with quantifying
the probability of certain election outcomes. One way of computing the
probability of a specific voting situation under the Impartial Anonymous
Culture assumption is via counting integral points in polyhedra. Here, Ehrhart
theory can help, but unfortunately the dimension and complexity of the involved
polyhedra grows rapidly with the number of candidates. However, if we exploit
available polyhedral symmetries, some computations become possible that
previously were infeasible. We show this in three well known examples:
Condorcet's paradox, Condorcet efficiency of plurality voting and in Plurality
voting vs Plurality Runoff.Comment: 14 pages; with minor improvements; to be published in Social Choice
and Welfar
Computing symmetry groups of polyhedra
Knowing the symmetries of a polyhedron can be very useful for the analysis of
its structure as well as for practical polyhedral computations. In this note,
we study symmetry groups preserving the linear, projective and combinatorial
structure of a polyhedron. In each case we give algorithmic methods to compute
the corresponding group and discuss some practical experiences. For practical
purposes the linear symmetry group is the most important, as its computation
can be directly translated into a graph automorphism problem. We indicate how
to compute integral subgroups of the linear symmetry group that are used for
instance in integer linear programming.Comment: 20 pages, 1 figure; containing a corrected and improved revisio
Algebraic Theory of Multi-Product Decisions, An
The typical firm produces for sale a plural number of distinct product lines. This paper characterizes the composition of a firm?s optimal production vector as a function of cost and revenue function attributes. The approach taken applies mathematical group theory and revealed preference arguments to exploit controlled asymmetries in the production environment. Assuming some symmetry on the cost function, our central result shows that all optimal production vectors must satisfy a dominance relation on permutations of the firm?s revenue function. When the revenue function is linear in outputs, then the set of admissible output vectors has linear bounds up to transformations. If these transformations are also linear, then convex analysis can be applied to characterize the set of admissible solutions. When the group of symmetries decomposes into a direct product group with index K in N, then the characterization problem separates into K problems of smaller dimension. The central result may be strengthened ; when the cost function is assumed to be quasiconvex.
Certification of Bounds of Non-linear Functions: the Templates Method
The aim of this work is to certify lower bounds for real-valued multivariate
functions, defined by semialgebraic or transcendental expressions. The
certificate must be, eventually, formally provable in a proof system such as
Coq. The application range for such a tool is widespread; for instance Hales'
proof of Kepler's conjecture yields thousands of inequalities. We introduce an
approximation algorithm, which combines ideas of the max-plus basis method (in
optimal control) and of the linear templates method developed by Manna et al.
(in static analysis). This algorithm consists in bounding some of the
constituents of the function by suprema of quadratic forms with a well chosen
curvature. This leads to semialgebraic optimization problems, solved by
sum-of-squares relaxations. Templates limit the blow up of these relaxations at
the price of coarsening the approximation. We illustrate the efficiency of our
framework with various examples from the literature and discuss the interfacing
with Coq.Comment: 16 pages, 3 figures, 2 table
Software for Exact Integration of Polynomials over Polyhedra
We are interested in the fast computation of the exact value of integrals of
polynomial functions over convex polyhedra. We present speed ups and extensions
of the algorithms presented in previous work. We present the new software
implementation and provide benchmark computations. The computation of integrals
of polynomials over polyhedral regions has many applications; here we
demonstrate our algorithmic tools solving a challenge from combinatorial voting
theory.Comment: Major updat
A generalization of Voronoi's reduction theory and its application
We consider Voronoi's reduction theory of positive definite quadratic forms
which is based on Delone subdivision. We extend it to forms and Delone
subdivisions having a prescribed symmetry group. Even more general, the theory
is developed for forms which are restricted to a linear subspace in the space
of quadratic forms. We apply the new theory to complete the classification of
totally real thin algebraic number fields which was recently initiated by
Bayer-Fluckiger and Nebe. Moreover, we apply it to construct new best known
sphere coverings in dimensions 9,..., 15.Comment: 31 pages, 2 figures, 2 tables, (v4) minor changes, to appear in Duke
Math.
Exploiting Symmetry in Integer Convex Optimization using Core Points
We consider convex programming problems with integrality constraints that are
invariant under a linear symmetry group. To decompose such problems we
introduce the new concept of core points, i.e., integral points whose orbit
polytopes are lattice-free. For symmetric integer linear programs we describe
two algorithms based on this decomposition. Using a characterization of core
points for direct products of symmetric groups, we show that prototype
implementations can compete with state-of-the-art commercial solvers, and solve
an open MIPLIB problem.Comment: 15 pages; small changes according to suggestions of a referee; to
appear in Operations Research Letter
Surface realization with the intersection edge functional
Deciding realizability of a given polyhedral map on a (compact, connected)
surface belongs to the hard problems in discrete geometry, from the
theoretical, the algorithmic, and the practical point of view.
In this paper, we present a heuristic algorithm for the realization of
simplicial maps, based on the intersection edge functional. The heuristic was
used to find geometric realizations in R^3 for all vertex-minimal
triangulations of the orientable surfaces of genus g=3 and g=4. Moreover, for
the first time, examples of simplicial polyhedra in R^3 of genus 5 with 12
vertices were obtained.Comment: 22 pages, 11 figures, various minor revisions, to appear in
Experimental Mathematic
- …