1,823 research outputs found
Minimal Envy and Popular Matchings
We study ex-post fairness in the object allocation problem where objects are
valuable and commonly owned. A matching is fair from individual perspective if
it has only inevitable envy towards agents who received most preferred objects
-- minimal envy matching. A matching is fair from social perspective if it is
supported by majority against any other matching -- popular matching.
Surprisingly, the two perspectives give the same outcome: when a popular
matching exists it is equivalent to a minimal envy matching.
We show the equivalence between global and local popularity: a matching is
popular if and only if there does not exist a group of size up to 3 agents that
decides to exchange their objects by majority, keeping the remaining matching
fixed. We algorithmically show that an arbitrary matching is path-connected to
a popular matching where along the path groups of up to 3 agents exchange their
objects by majority. A market where random groups exchange objects by majority
converges to a popular matching given such matching exists.
When popular matching might not exist we define most popular matching as a
matching that is popular among the largest subset of agents. We show that each
minimal envy matching is a most popular matching and propose a polynomial-time
algorithm to find them
The coexistence of superconductivity and ferromagnetism in nano-scale metallic grains
A nano-scale metallic grain in which the single-particle dynamics are chaotic
is described by the so-called universal Hamiltonian. This Hamiltonian includes
a superconducting pairing term and a ferromagnetic exchange term that compete
with each other: pairing correlations favor minimal ground-state spin, while
the exchange interaction favors maximal spin polarization. Of particular
interest is the fluctuation-dominated regime where the bulk pairing gap is
comparable to or smaller than the single-particle mean level spacing and the
Bardeen-Cooper-Schrieffer theory of superconductivity breaks down.
Superconductivity and ferromagnetism can coexist in this regime. We identify
signatures of the competition between superconductivity and ferromagnetism in a
number of quantities: ground-state spin, conductance fluctuations when the
grain is weakly coupled to external leads and the thermodynamic properties of
the grain, such as heat capacity and spin susceptibility.Comment: 13 pages, 13 figures, Proceedings of the Conference on the Frontiers
of Quantum and Mesoscopic Thermodynamics (FQMT11
Mirror Descent and Convex Optimization Problems With Non-Smooth Inequality Constraints
We consider the problem of minimization of a convex function on a simple set
with convex non-smooth inequality constraint and describe first-order methods
to solve such problems in different situations: smooth or non-smooth objective
function; convex or strongly convex objective and constraint; deterministic or
randomized information about the objective and constraint. We hope that it is
convenient for a reader to have all the methods for different settings in one
place. Described methods are based on Mirror Descent algorithm and switching
subgradient scheme. One of our focus is to propose, for the listed different
settings, a Mirror Descent with adaptive stepsizes and adaptive stopping rule.
This means that neither stepsize nor stopping rule require to know the
Lipschitz constant of the objective or constraint. We also construct Mirror
Descent for problems with objective function, which is not Lipschitz
continuous, e.g. is a quadratic function. Besides that, we address the problem
of recovering the solution of the dual problem
Solving rank-constrained semidefinite programs in exact arithmetic
We consider the problem of minimizing a linear function over an affine
section of the cone of positive semidefinite matrices, with the additional
constraint that the feasible matrix has prescribed rank. When the rank
constraint is active, this is a non-convex optimization problem, otherwise it
is a semidefinite program. Both find numerous applications especially in
systems control theory and combinatorial optimization, but even in more general
contexts such as polynomial optimization or real algebra. While numerical
algorithms exist for solving this problem, such as interior-point or
Newton-like algorithms, in this paper we propose an approach based on symbolic
computation. We design an exact algorithm for solving rank-constrained
semidefinite programs, whose complexity is essentially quadratic on natural
degree bounds associated to the given optimization problem: for subfamilies of
the problem where the size of the feasible matrix is fixed, the complexity is
polynomial in the number of variables. The algorithm works under assumptions on
the input data: we prove that these assumptions are generically satisfied. We
also implement it in Maple and discuss practical experiments.Comment: Published at ISSAC 2016. Extended version submitted to the Journal of
Symbolic Computatio
Many-to-Many Graph Matching: a Continuous Relaxation Approach
Graphs provide an efficient tool for object representation in various
computer vision applications. Once graph-based representations are constructed,
an important question is how to compare graphs. This problem is often
formulated as a graph matching problem where one seeks a mapping between
vertices of two graphs which optimally aligns their structure. In the classical
formulation of graph matching, only one-to-one correspondences between vertices
are considered. However, in many applications, graphs cannot be matched
perfectly and it is more interesting to consider many-to-many correspondences
where clusters of vertices in one graph are matched to clusters of vertices in
the other graph. In this paper, we formulate the many-to-many graph matching
problem as a discrete optimization problem and propose an approximate algorithm
based on a continuous relaxation of the combinatorial problem. We compare our
method with other existing methods on several benchmark computer vision
datasets.Comment: 1
Mirror-Descent Methods in Mixed-Integer Convex Optimization
In this paper, we address the problem of minimizing a convex function f over
a convex set, with the extra constraint that some variables must be integer.
This problem, even when f is a piecewise linear function, is NP-hard. We study
an algorithmic approach to this problem, postponing its hardness to the
realization of an oracle. If this oracle can be realized in polynomial time,
then the problem can be solved in polynomial time as well. For problems with
two integer variables, we show that the oracle can be implemented efficiently,
that is, in O(ln(B)) approximate minimizations of f over the continuous
variables, where B is a known bound on the absolute value of the integer
variables.Our algorithm can be adapted to find the second best point of a
purely integer convex optimization problem in two dimensions, and more
generally its k-th best point. This observation allows us to formulate a
finite-time algorithm for mixed-integer convex optimization
Separable Multipartite Mixed States - Operational Asymptotically Necessary and Sufficient Conditions
We introduce an operational procedure to determine, with arbitrary
probability and accuracy, optimal entanglement witness for every multipartite
entangled state. This method provides an operational criterion for separability
which is asymptotically necessary and sufficient. Our results are also
generalized to detect all different types of multipartite entanglement.Comment: 4 pages, 2 figures, submitted to Physical Review Letters. Revised
version with new calculation
Implementation of an Optimal First-Order Method for Strongly Convex Total Variation Regularization
We present a practical implementation of an optimal first-order method, due
to Nesterov, for large-scale total variation regularization in tomographic
reconstruction, image deblurring, etc. The algorithm applies to -strongly
convex objective functions with -Lipschitz continuous gradient. In the
framework of Nesterov both and are assumed known -- an assumption
that is seldom satisfied in practice. We propose to incorporate mechanisms to
estimate locally sufficient and during the iterations. The mechanisms
also allow for the application to non-strongly convex functions. We discuss the
iteration complexity of several first-order methods, including the proposed
algorithm, and we use a 3D tomography problem to compare the performance of
these methods. The results show that for ill-conditioned problems solved to
high accuracy, the proposed method significantly outperforms state-of-the-art
first-order methods, as also suggested by theoretical results.Comment: 23 pages, 4 figure
On representations of the feasible set in convex optimization
We consider the convex optimization problem where is convex, the feasible set K is convex and Slater's
condition holds, but the functions are not necessarily convex. We show
that for any representation of K that satisfies a mild nondegeneracy
assumption, every minimizer is a Karush-Kuhn-Tucker (KKT) point and conversely
every KKT point is a minimizer. That is, the KKT optimality conditions are
necessary and sufficient as in convex programming where one assumes that the
are convex. So in convex optimization, and as far as one is concerned
with KKT points, what really matters is the geometry of K and not so much its
representation.Comment: to appear in Optimization Letter
- …