-
Patience ensures fairness
Authors:
Florian Brandl,
Andrew Mackenzie
Abstract:
We revisit the problem of fairly allocating a sequence of time slots when agents may have different levels of patience (Mackenzie and Komornik, 2023). For each number of agents, we provide a lower threshold and an upper threshold on the level of patience such that (i) if each agent is at least as patient as the lower threshold, then there is a proportional allocation, and (ii) if each agent is at…
▽ More
We revisit the problem of fairly allocating a sequence of time slots when agents may have different levels of patience (Mackenzie and Komornik, 2023). For each number of agents, we provide a lower threshold and an upper threshold on the level of patience such that (i) if each agent is at least as patient as the lower threshold, then there is a proportional allocation, and (ii) if each agent is at least as patient as the upper threshold and moreover has weak preference for earlier time slots, then there is an envy-free allocation. In both cases, the proof is constructive.
△ Less
Submitted 23 January, 2024; v1 submitted 10 November, 2023;
originally announced November 2023.
-
A Robust Characterization of Nash Equilibrium
Authors:
Florian Brandl,
Felix Brandt
Abstract:
We characterize Nash equilibrium by postulating coherent behavior across varying games. Nash equilibrium is the only solution concept that satisfies the following axioms: (i) strictly dominant actions are played with positive probability, (ii) if a strategy profile is played in two games, it is also played in every convex combination of these games, and (iii) players can shift probability arbitrar…
▽ More
We characterize Nash equilibrium by postulating coherent behavior across varying games. Nash equilibrium is the only solution concept that satisfies the following axioms: (i) strictly dominant actions are played with positive probability, (ii) if a strategy profile is played in two games, it is also played in every convex combination of these games, and (iii) players can shift probability arbitrarily between two indistinguishable actions, and deleting one of these actions has no effect. Our theorem implies that every equilibrium refinement violates at least one of these axioms. Moreover, every solution concept that approximately satisfies these axioms returns approximate Nash equilibria, even in natural subclasses of games, such as two-player zero-sum games, potential games, and graphical games.
△ Less
Submitted 28 June, 2024; v1 submitted 6 July, 2023;
originally announced July 2023.
-
A Natural Adaptive Process for Collective Decision-Making
Authors:
Florian Brandl,
Felix Brandt
Abstract:
Consider an urn filled with balls, each labeled with one of several possible collective decisions. Now, let a random voter draw two balls from the urn and pick her more preferred as the collective decision. Relabel the losing ball with the collective decision, put both balls back into the urn, and repeat. Once in a while, relabel a randomly drawn ball with a random collective decision. We prove th…
▽ More
Consider an urn filled with balls, each labeled with one of several possible collective decisions. Now, let a random voter draw two balls from the urn and pick her more preferred as the collective decision. Relabel the losing ball with the collective decision, put both balls back into the urn, and repeat. Once in a while, relabel a randomly drawn ball with a random collective decision. We prove that the empirical distribution of collective decisions produced by this process approximates a maximal lottery, a celebrated probabilistic voting rule proposed by Peter C. Fishburn (Rev. Econ. Stud., 51(4), 1984). In fact, the probability that the collective decision in round $n$ is made according to a maximal lottery increases exponentially in $n$. The proposed procedure is more flexible than traditional voting rules and bears strong similarities to natural processes studied in biology, physics, and chemistry as well as algorithms proposed in machine learning.
△ Less
Submitted 27 March, 2024; v1 submitted 26 March, 2021;
originally announced March 2021.
-
Efficient, Fair, and Incentive-Compatible Healthcare Rationing
Authors:
Haris Aziz,
Florian Brandl
Abstract:
Rationing of healthcare resources has emerged as an important issue, which has been discussed by medical experts, policy-makers, and the general public. We consider a rationing problem where medical units are to be allocated to patients. Each unit is reserved for one of several categories and each category has a priority ranking of the patients. We present an allocation rule that respects the prio…
▽ More
Rationing of healthcare resources has emerged as an important issue, which has been discussed by medical experts, policy-makers, and the general public. We consider a rationing problem where medical units are to be allocated to patients. Each unit is reserved for one of several categories and each category has a priority ranking of the patients. We present an allocation rule that respects the priorities, complies with the eligibility requirements, allocates the largest feasible number of units, and does not incentivize agents to hide that they qualify through a category. The rule characterizes all possible allocations that satisfy the first three properties and is polynomial-time computable.
△ Less
Submitted 26 September, 2021; v1 submitted 8 February, 2021;
originally announced February 2021.
-
The Vigilant Eating Rule: A General Approach for Probabilistic Economic Design with Constraints
Authors:
Haris Aziz,
Florian Brandl
Abstract:
We consider the problem of probabilistic allocation of objects under ordinal preferences. We devise an allocation mechanism, called the vigilant eating rule (VER), that applies to nearly arbitrary feasibility constraints. It is constrained ordinally efficient, can be computed efficiently for a large class of constraints, and treats agents equally if they have the same preferences and are subject t…
▽ More
We consider the problem of probabilistic allocation of objects under ordinal preferences. We devise an allocation mechanism, called the vigilant eating rule (VER), that applies to nearly arbitrary feasibility constraints. It is constrained ordinally efficient, can be computed efficiently for a large class of constraints, and treats agents equally if they have the same preferences and are subject to the same constraints. When the set of feasible allocations is convex, we also present a characterization of our rule based on ordinal egalitarianism. Our results about VER do not just apply to allocation problems but to all collective choice problems in which agents have ordinal preferences over discrete outcomes. As a case study, we assume objects have priorities for agents and apply VER to sets of probabilistic allocations that are constrained by stability. VER coincides with the (extended) probabilistic serial rule when priorities are flat and the agent proposing deterministic deferred acceptance algorithm when preferences and priorities are strict. While VER always returns a stable and constrained efficient allocation, it fails to be strategyproof, unconstrained efficient, and envy-free. We show, however, that each of these three properties is incompatible with stability and constrained efficiency.
△ Less
Submitted 8 July, 2021; v1 submitted 20 August, 2020;
originally announced August 2020.
-
Funding Public Projects: A Case for the Nash Product Rule
Authors:
Florian Brandl,
Felix Brandt,
Matthias Greger,
Dominik Peters,
Christian Stricker,
Warut Suksompong
Abstract:
We study a mechanism design problem where a community of agents wishes to fund public projects via voluntary monetary contributions by the community members. This serves as a model for public expenditure without an exogenously available budget, such as participatory budgeting or voluntary tax programs, as well as donor coordination when interpreting charities as public projects and donations as co…
▽ More
We study a mechanism design problem where a community of agents wishes to fund public projects via voluntary monetary contributions by the community members. This serves as a model for public expenditure without an exogenously available budget, such as participatory budgeting or voluntary tax programs, as well as donor coordination when interpreting charities as public projects and donations as contributions. Our aim is to identify a mutually beneficial distribution of the individual contributions. In the preference aggregation problem that we study, agents report linear utility functions over projects together with the amount of their contributions, and the mechanism determines a socially optimal distribution of the money. We identify a specific mechanism -- the Nash product rule -- which picks the distribution that maximizes the product of the agents' utilities. This rule is Pareto efficient, and we prove that it satisfies attractive incentive properties: it spends each agent's contribution only on projects the agent finds acceptable, and agents are strongly incentivized to participate.
△ Less
Submitted 11 October, 2021; v1 submitted 16 May, 2020;
originally announced May 2020.
-
Belief-Averaged Relative Utilitarianism
Authors:
Florian Brandl
Abstract:
We consider social welfare functions when the preferences of individual agents and society maximize subjective expected utility in the tradition of Savage. A system of axioms is introduced whose unique solution is the social welfare function that averages the agents' beliefs and sums up their utility functions, normalized to have the same range. The first distinguishing axiom requires positive ass…
▽ More
We consider social welfare functions when the preferences of individual agents and society maximize subjective expected utility in the tradition of Savage. A system of axioms is introduced whose unique solution is the social welfare function that averages the agents' beliefs and sums up their utility functions, normalized to have the same range. The first distinguishing axiom requires positive association of society's preferences with the agents' preferences for acts about which beliefs agree. The second is a weakening of Arrow's independence of irrelevant alternatives that only applies to non-redundant acts.
△ Less
Submitted 11 August, 2021; v1 submitted 7 May, 2020;
originally announced May 2020.
-
Fractional Hedonic Games
Authors:
Haris Aziz,
Florian Brandl,
Felix Brandt,
Paul Harrenstein,
Martin Olsen,
Dominik Peters
Abstract:
The work we present in this paper initiated the formal study of fractional hedonic games, coalition formation games in which the utility of a player is the average value he ascribes to the members of his coalition. Among other settings, this covers situations in which players only distinguish between friends and non-friends and desire to be in a coalition in which the fraction of friends is maxima…
▽ More
The work we present in this paper initiated the formal study of fractional hedonic games, coalition formation games in which the utility of a player is the average value he ascribes to the members of his coalition. Among other settings, this covers situations in which players only distinguish between friends and non-friends and desire to be in a coalition in which the fraction of friends is maximal. Fractional hedonic games thus not only constitute a natural class of succinctly representable coalition formation games, but also provide an interesting framework for network clustering. We propose a number of conditions under which the core of fractional hedonic games is non-empty and provide algorithms for computing a core stable outcome. By contrast, we show that the core may be empty in other cases, and that it is computationally hard in general to decide non-emptiness of the core.
△ Less
Submitted 29 May, 2017;
originally announced May 2017.
-
Arrovian Aggregation of Convex Preferences
Authors:
Florian Brandl,
Felix Brandt
Abstract:
We consider social welfare functions that satisfy Arrow's classic axioms of independence of irrelevant alternatives and Pareto optimality when the outcome space is the convex hull of some finite set of alternatives. Individual and collective preferences are assumed to be continuous and convex, which guarantees the existence of maximal elements and the consistency of choice functions that return th…
▽ More
We consider social welfare functions that satisfy Arrow's classic axioms of independence of irrelevant alternatives and Pareto optimality when the outcome space is the convex hull of some finite set of alternatives. Individual and collective preferences are assumed to be continuous and convex, which guarantees the existence of maximal elements and the consistency of choice functions that return these elements, even without insisting on transitivity. We provide characterizations of both the domains of preferences and the social welfare functions that allow for anonymous Arrovian aggregation. The domains admit arbitrary preferences over alternatives, which completely determine an agent's preferences over all mixed outcomes. On these domains, Arrow's impossibility turns into a complete characterization of a unique social welfare function, which can be readily applied in settings involving divisible resources such as probability, time, or money.
△ Less
Submitted 12 April, 2019; v1 submitted 16 March, 2017;
originally announced March 2017.
-
A Quantum von Neumann Architecture for Large-Scale Quantum Computing
Authors:
Matthias F. Brandl
Abstract:
As the size of quantum systems becomes bigger, more complicated hardware is required to control these systems. In order to reduce the complexity, I discuss the amount of parallelism required for a fault-tolerant quantum computer and what computation speed can be achieved in different architectures. To build a large-scale quantum computer, one can use architectural principles, from classical comput…
▽ More
As the size of quantum systems becomes bigger, more complicated hardware is required to control these systems. In order to reduce the complexity, I discuss the amount of parallelism required for a fault-tolerant quantum computer and what computation speed can be achieved in different architectures. To build a large-scale quantum computer, one can use architectural principles, from classical computer architecture, like multiplexing or pipelining. In this document, a Quantum von Neumann architecture is introduced which uses specialized hardware for the different tasks of a quantum computer, like computation or storage. Furthermore, it requires long qubit coherence and the capability to move quantum information between the different parts of the quantum computer. As an example, a Quantum von Neumann architecture for trapped ions is presented which incorporates multiplexing in the memory region for large-scale quantum computation. To illustrate the capability of this architecture, a model trapped ion quantum computer based on Quantum von Neumann architecture, the Quantum 4004, is introduced. Its hardware is optimized for simplicity and uses the classical Intel 4004 CPU from 1971 as a blueprint. The Quantum 4004 has only a single processing zone and is structured in 4 qubit packages. Its quantum memory can store up to 32768 qubit ions and its computation speed is 10 $μ$s for single qubit operations and 20 $μ$s for two-qubit operations.
△ Less
Submitted 11 November, 2017; v1 submitted 8 February, 2017;
originally announced February 2017.
-
The Distribution of Optimal Strategies in Symmetric Zero-sum Games
Authors:
Florian Brandl
Abstract:
Given a skew-symmetric matrix, the corresponding two-player symmetric zero-sum game is defined as follows: one player, the row player, chooses a row and the other player, the column player, chooses a column. The payoff of the row player is given by the corresponding matrix entry, the column player receives the negative of the row player. A randomized strategy is optimal if it guarantees an expecte…
▽ More
Given a skew-symmetric matrix, the corresponding two-player symmetric zero-sum game is defined as follows: one player, the row player, chooses a row and the other player, the column player, chooses a column. The payoff of the row player is given by the corresponding matrix entry, the column player receives the negative of the row player. A randomized strategy is optimal if it guarantees an expected payoff of at least 0 for a player independently of the strategy of the other player. We determine the probability that an optimal strategy randomizes over a given set of actions when the game is drawn from a distribution that satisfies certain regularity conditions. The regularity conditions are quite general and apply to a wide range of natural distributions.
△ Less
Submitted 10 July, 2017; v1 submitted 18 November, 2016;
originally announced November 2016.
-
Popular Matchings with Multiple Partners
Authors:
F. Brandl,
T. Kavitha
Abstract:
Our input is a bipartite graph $G = (A \cup B,E)$ where each vertex in $A \cup B$ has a preference list strictly ranking its neighbors. The vertices in $A$ and in $B$ are called students and courses, respectively. Each student $a$ seeks to be matched to $\mathsf{cap}(a) \ge 1$ courses while each course $b$ seeks $\mathsf{cap}(b) \ge 1$ many students to be matched to it. The Gale-Shapley algorithm…
▽ More
Our input is a bipartite graph $G = (A \cup B,E)$ where each vertex in $A \cup B$ has a preference list strictly ranking its neighbors. The vertices in $A$ and in $B$ are called students and courses, respectively. Each student $a$ seeks to be matched to $\mathsf{cap}(a) \ge 1$ courses while each course $b$ seeks $\mathsf{cap}(b) \ge 1$ many students to be matched to it. The Gale-Shapley algorithm computes a pairwise-stable matching (one with no blocking edge) in $G$ in linear time. We consider the problem of computing a popular matching in $G$ -- a matching $M$ is popular if $M$ cannot lose an election to any matching where vertices cast votes for one matching versus another. Our main contribution is to show that a max-size popular matching in $G$ can be computed by the 2-level Gale-Shapley algorithm in linear time. This is an extension of the classical Gale-Shapley algorithm and we prove its correctness via linear programming.
△ Less
Submitted 2 October, 2017; v1 submitted 23 September, 2016;
originally announced September 2016.
-
Cryogenic setup for trapped ion quantum computing
Authors:
M. F. Brandl,
M. W. van Mourik,
L. Postler,
A. Nolf,
K. Lakhmanskiy,
R. R. Paiva,
S. Möller,
N. Daniilidis,
H. Häffner,
V. Kaushal,
T. Ruster,
C. Warschburger,
H. Kaufmann,
U. G. Poschinger,
F. Schmidt-Kaler,
P. Schindler,
T. Monz,
R. Blatt
Abstract:
We report on the design of a cryogenic setup for trapped ion quantum computing containing a segmented surface electrode trap. The heat shield of our cryostat is designed to attenuate alternating magnetic field noise, resulting in 120~dB reduction of 50~Hz noise along the magnetic field axis. We combine this efficient magnetic shielding with high optical access required for single ion addressing as…
▽ More
We report on the design of a cryogenic setup for trapped ion quantum computing containing a segmented surface electrode trap. The heat shield of our cryostat is designed to attenuate alternating magnetic field noise, resulting in 120~dB reduction of 50~Hz noise along the magnetic field axis. We combine this efficient magnetic shielding with high optical access required for single ion addressing as well as for efficient state detection by placing two lenses each with numerical aperture 0.23 inside the inner heat shield. The cryostat design incorporates vibration isolation to avoid decoherence of optical qubits due to the motion of the cryostat. We measure vibrations of the cryostat of less than $\pm$20~nm over 2~s. In addition to the cryogenic apparatus, we describe the setup required for an operation with $^{\mathrm{40}}$Ca$^{\mathrm{+}}$ and $^{\mathrm{88}}$Sr$^{\mathrm{+}}$ ions. The instability of the laser manipulating the optical qubits in $^{\mathrm{40}}$Ca$^{\mathrm{+}}$ is characterized yielding a minimum of its Allan deviation of 2.4$\cdot$10$^{\mathrm{-15}}$ at 0.33~s. To evaluate the performance of the apparatus, we trapped $^{\mathrm{40}}$Ca$^{\mathrm{+}}$ ions, obtaining a heating rate of 2.14(16)~phonons/s and a Gaussian decay of the Ramsey contrast with a 1/e-time of 18.2(8)~ms.
△ Less
Submitted 18 July, 2016;
originally announced July 2016.
-
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving
Authors:
Florian Brandl,
Felix Brandt,
Manuel Eberl,
Christian Geist
Abstract:
Two important requirements when aggregating the preferences of multiple agents are that the outcome should be economically efficient and the aggregation mechanism should not be manipulable. In this paper, we provide a computer-aided proof of a swee** impossibility using these two conditions for randomized aggregation mechanisms. More precisely, we show that every efficient aggregation mechanism…
▽ More
Two important requirements when aggregating the preferences of multiple agents are that the outcome should be economically efficient and the aggregation mechanism should not be manipulable. In this paper, we provide a computer-aided proof of a swee** impossibility using these two conditions for randomized aggregation mechanisms. More precisely, we show that every efficient aggregation mechanism can be manipulated for all expected utility representations of the agents' preferences. This settles an open problem and strengthens a number of existing theorems, including statements that were shown within the special domain of assignment. Our proof is obtained by formulating the claim as a satisfiability problem over predicates from real-valued arithmetic, which is then checked using an SMT (satisfiability modulo theories) solver. In order to verify the correctness of the result, a minimal unsatisfiable set of constraints returned by the SMT solver was translated back into a proof in higher-order logic, which was automatically verified by an interactive theorem prover. To the best of our knowledge, this is the first application of SMT solvers in computational social choice.
△ Less
Submitted 6 September, 2017; v1 submitted 19 April, 2016;
originally announced April 2016.
-
Cryogenic resonator design for trapped ion experiments in Paul traps
Authors:
Matthias F. Brandl,
Philipp Schindler,
Thomas Monz,
Rainer Blatt
Abstract:
Trap** ions in Paul traps requires high radio-frequency voltages, which are generated using resonators. When operating traps in a cryogenic environment, an in-vacuum resonator showing low loss is crucial to limit the thermal load to the cryostat. In this study, we present a guide for the design and production of compact, shielded cryogenic resonators. We produced and characterized three differen…
▽ More
Trap** ions in Paul traps requires high radio-frequency voltages, which are generated using resonators. When operating traps in a cryogenic environment, an in-vacuum resonator showing low loss is crucial to limit the thermal load to the cryostat. In this study, we present a guide for the design and production of compact, shielded cryogenic resonators. We produced and characterized three different types of resonators and furthermore demonstrate efficient impedance matching of these resonators at cryogenic temperatures.
△ Less
Submitted 25 January, 2016;
originally announced January 2016.
-
The Impossibility of Extending Random Dictatorship to Weak Preferences
Authors:
Florian Brandl,
Felix Brandt,
Warut Suksompong
Abstract:
Random dictatorship has been characterized as the only social decision scheme that satisfies efficiency and strategyproofness when individual preferences are strict. We show that no extension of random dictatorship to weak preferences satisfies these properties, even when significantly weakening the required degree of strategyproofness.
Random dictatorship has been characterized as the only social decision scheme that satisfies efficiency and strategyproofness when individual preferences are strict. We show that no extension of random dictatorship to weak preferences satisfies these properties, even when significantly weakening the required degree of strategyproofness.
△ Less
Submitted 26 October, 2015;
originally announced October 2015.
-
Welfare Maximization Entices Participation
Authors:
Florian Brandl,
Felix Brandt,
Johannes Hofbauer
Abstract:
We consider randomized mechanisms with optional participation. Preferences over lotteries are modeled using skew-symmetric bilinear (SSB) utility functions, a generalization of classic von Neumann-Morgenstern utility functions. We show that every welfare-maximizing mechanism entices participation and that the converse holds under additional assumptions. Two important corollaries of our results are…
▽ More
We consider randomized mechanisms with optional participation. Preferences over lotteries are modeled using skew-symmetric bilinear (SSB) utility functions, a generalization of classic von Neumann-Morgenstern utility functions. We show that every welfare-maximizing mechanism entices participation and that the converse holds under additional assumptions. Two important corollaries of our results are characterizations of an attractive randomized voting rule that satisfies Condorcet-consistency and entices participation. This stands in contrast to a well-known result by Moulin (1988), who proves that no deterministic voting rule can satisfy both properties simultaneously.
△ Less
Submitted 14 August, 2015;
originally announced August 2015.
-
Realization of a scalable Shor algorithm
Authors:
Thomas Monz,
Daniel Nigg,
Esteban A. Martinez,
Matthias F. Brandl,
Philipp Schindler,
Richard Rines,
Shannon X. Wang,
Isaac L. Chuang,
Rainer Blatt
Abstract:
Quantum computers are able to outperform classical algorithms. This was long recognized by the visionary Richard Feynman who pointed out in the 1980s that quantum mechanical problems were better solved with quantum machines. It was only in 1994 that Peter Shor came up with an algorithm that is able to calculate the prime factors of a large number vastly more efficiently than known possible with a…
▽ More
Quantum computers are able to outperform classical algorithms. This was long recognized by the visionary Richard Feynman who pointed out in the 1980s that quantum mechanical problems were better solved with quantum machines. It was only in 1994 that Peter Shor came up with an algorithm that is able to calculate the prime factors of a large number vastly more efficiently than known possible with a classical computer. This paradigmatic algorithm stimulated the flourishing research in quantum information processing and the quest for an actual implementation of a quantum computer. Over the last fifteen years, using skillful optimizations, several instances of a Shor algorithm have been implemented on various platforms and clearly proved the feasibility of quantum factoring. For general scalability, though, a different approach has to be pursued. Here, we report the realization of a fully scalable Shor algorithm as proposed by Kitaev. For this, we demonstrate factoring the number fifteen by effectively employing and controlling seven qubits and four "cache-qubits", together with the implementation of generalized arithmetic operations, known as modular multipliers. The scalable algorithm has been realized with an ion-trap quantum computer exhibiting success probabilities in excess of 90%.
△ Less
Submitted 31 July, 2015;
originally announced July 2015.
-
Consistent Probabilistic Social Choice
Authors:
Florian Brandl,
Felix Brandt,
Hans Georg Seedig
Abstract:
Two fundamental axioms in social choice theory are consistency with respect to a variable electorate and consistency with respect to components of similar alternatives. In the context of traditional non-probabilistic social choice, these axioms are incompatible with each other. We show that in the context of probabilistic social choice, these axioms uniquely characterize a function proposed by Fis…
▽ More
Two fundamental axioms in social choice theory are consistency with respect to a variable electorate and consistency with respect to components of similar alternatives. In the context of traditional non-probabilistic social choice, these axioms are incompatible with each other. We show that in the context of probabilistic social choice, these axioms uniquely characterize a function proposed by Fishburn (Rev. Econ. Stud., 51(4), 683--692, 1984). Fishburn's function returns so-called maximal lotteries, i.e., lotteries that correspond to optimal mixed strategies of the underlying plurality game. Maximal lotteries are guaranteed to exist due to von Neumann's Minimax Theorem, are almost always unique, and can be efficiently computed using linear programming.
△ Less
Submitted 14 July, 2016; v1 submitted 21 February, 2015;
originally announced March 2015.
-
An Application of Fixed-point Theory to Probabilistic Social Choice
Authors:
Florian Brandl
Abstract:
The purpose of this note is to prove the existence of a randomized mechanism, a social decision scheme (SDS), with desirable fairness, efficiency, and strategyproofness properties unmatched by all known SDSs. In particular, we disprove a conjecture by Aziz et al. (2013). Additionally, we obtain a strong existence result for the domain of random assignment. Both, the notion of efficiency and strate…
▽ More
The purpose of this note is to prove the existence of a randomized mechanism, a social decision scheme (SDS), with desirable fairness, efficiency, and strategyproofness properties unmatched by all known SDSs. In particular, we disprove a conjecture by Aziz et al. (2013). Additionally, we obtain a strong existence result for the domain of random assignment. Both, the notion of efficiency and strategyproofness are based on stochastic dominance and have been studied extensively for random assignment. The proof makes crucial use of Brouwer's fixed-point theorem and is hence non-constructive. To the best of our knowledge, this is the first application of a fixed-point theorem to show the existence of a social choice function or mechanism.
△ Less
Submitted 26 November, 2014; v1 submitted 22 October, 2014;
originally announced October 2014.
-
A quantum information processor with trapped ions
Authors:
Philipp Schindler,
Daniel Nigg,
Thomas Monz,
Julio T. Barreiro,
Esteban Martinez,
Shannon X. Wang,
Stephan Quint,
Matthias F. Brandl,
Volckmar Nebendahl,
Christian F. Roos,
Michael Chwalla,
Markus Hennrich,
Rainer Blatt
Abstract:
Quantum computers hold the promise to solve certain problems exponentially faster than their classical counterparts. Trapped atomic ions are among the physical systems in which building such a computing device seems viable. In this work we present a small-scale quantum information processor based on a string of $^{40}$Ca${^+}$ ions confined in a macroscopic linear Paul trap. We review our set of o…
▽ More
Quantum computers hold the promise to solve certain problems exponentially faster than their classical counterparts. Trapped atomic ions are among the physical systems in which building such a computing device seems viable. In this work we present a small-scale quantum information processor based on a string of $^{40}$Ca${^+}$ ions confined in a macroscopic linear Paul trap. We review our set of operations which includes non-coherent operations allowing us to realize arbitrary Markovian processes. In order to build a larger quantum information processor it is mandatory to reduce the error rate of the available operations which is only possible if the physics of the noise processes is well understood. We identify the dominant noise sources in our system and discuss their effects on different algorithms. Finally we demonstrate how our entire set of operations can be used to facilitate the implementation of algorithms by examples of the quantum Fourier transform and the quantum order finding algorithm.
△ Less
Submitted 14 August, 2013;
originally announced August 2013.
-
Undoing a quantum measurement
Authors:
Philipp Schindler,
Thomas Monz,
Daniel Nigg,
Julio T. Barreiro,
Esteban A. Martinez,
Matthias F. Brandl,
Michael Chwalla,
Markus Hennrich,
Rainer Blatt
Abstract:
In general, a quantum measurement yields an undetermined answer and alters the system to be consistent with the measurement result. This process maps multiple initial states into a single state and thus cannot be reversed. This has important implications in quantum information processing, where errors can be interpreted as measurements. Therefore, it seems that it is impossible to correct errors i…
▽ More
In general, a quantum measurement yields an undetermined answer and alters the system to be consistent with the measurement result. This process maps multiple initial states into a single state and thus cannot be reversed. This has important implications in quantum information processing, where errors can be interpreted as measurements. Therefore, it seems that it is impossible to correct errors in a quantum information processor, but protocols exist that are capable of eliminating them if they affect only part of the system. In this work we present the deterministic reversal of a fully projective measurement on a single particle, enabled by a quantum error-correction protocol that distributes the information over three particles.
△ Less
Submitted 8 November, 2012;
originally announced November 2012.
-
Existence of Stability in Hedonic Coalition Formation Games
Authors:
Haris Aziz,
Florian Brandl
Abstract:
In this paper, we examine \emph{hedonic coalition formation games} in which each player's preferences over partitions of players depend only on the members of his coalition. We present three main results in which restrictions on the preferences of the players guarantee the existence of stable partitions for various notions of stability. The preference restrictions pertain to \emph{top responsivene…
▽ More
In this paper, we examine \emph{hedonic coalition formation games} in which each player's preferences over partitions of players depend only on the members of his coalition. We present three main results in which restrictions on the preferences of the players guarantee the existence of stable partitions for various notions of stability. The preference restrictions pertain to \emph{top responsiveness} and \emph{bottom responsiveness} which model optimistic and pessimistic behavior of players respectively. The existence results apply to natural subclasses of \emph{additive separable hedonic games} and \emph{hedonic games with \B-preferences}. It is also shown that our existence results cannot be strengthened to the case of stronger known stability concepts.
△ Less
Submitted 23 January, 2012;
originally announced January 2012.
-
Extreme ultraviolet emission from dense plasmas generated with sub-10-fs laser pulses
Authors:
J. Osterholz,
F. Brandl,
M. Cerchez,
T. Fischer,
D. Hemmers,
B. Hidding,
A. Pipahl,
G. Pretzler,
S. J. Rose,
O. Willi
Abstract:
The extreme ultraviolet (XUV) emission from dense plasmas generated with sub-10-fs laser pulses with varying peak intensities up to 3*10^16 W/cm^2 is investigated for different target materials. K shell spectra are obtained from low Z targets (carbon and boron nitride). In the spectra a series limit for the hydrogen and helium like resonance lines is observed indicating that the plasma is at hig…
▽ More
The extreme ultraviolet (XUV) emission from dense plasmas generated with sub-10-fs laser pulses with varying peak intensities up to 3*10^16 W/cm^2 is investigated for different target materials. K shell spectra are obtained from low Z targets (carbon and boron nitride). In the spectra a series limit for the hydrogen and helium like resonance lines is observed indicating that the plasma is at high density and pressure ionization has removed the higher levels. In addition, L shell spectra from titanium targets were obtained. Basic features of the K and L shell spectra are reproduced with computer simulations. The calculations include hydrodynamic simulation of the plasma expansion and collisional radiative calculations of the XUV emission.
△ Less
Submitted 7 June, 2008;
originally announced June 2008.