-
Federated Assemblies
Authors:
Daniel Halpern,
Ariel D. Procaccia,
Ehud Shapiro,
Nimrod Talmon
Abstract:
A citizens' assembly is a group of people who are randomly selected to represent a larger population in a deliberation. While this approach has successfully strengthened democracy, it has certain limitations that suggest the need for assemblies to form and associate more organically. In response, we propose federated assemblies, where assemblies are interconnected, and each parent assembly is sele…
▽ More
A citizens' assembly is a group of people who are randomly selected to represent a larger population in a deliberation. While this approach has successfully strengthened democracy, it has certain limitations that suggest the need for assemblies to form and associate more organically. In response, we propose federated assemblies, where assemblies are interconnected, and each parent assembly is selected from members of its child assemblies. The main technical challenge is to develop random selection algorithms that meet new representation constraints inherent in this hierarchical structure. We design and analyze several algorithms that provide different representation guarantees under various assumptions on the structure of the underlying graph.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Axioms for AI Alignment from Human Feedback
Authors:
Luise Ge,
Daniel Halpern,
Evi Micha,
Ariel D. Procaccia,
Itai Shapira,
Yevgeniy Vorobeychik,
Junlin Wu
Abstract:
In the context of reinforcement learning from human feedback (RLHF), the reward function is generally derived from maximum likelihood estimation of a random utility model based on pairwise comparisons made by humans. The problem of learning a reward function is one of preference aggregation that, we argue, largely falls within the scope of social choice theory. From this perspective, we can evalua…
▽ More
In the context of reinforcement learning from human feedback (RLHF), the reward function is generally derived from maximum likelihood estimation of a random utility model based on pairwise comparisons made by humans. The problem of learning a reward function is one of preference aggregation that, we argue, largely falls within the scope of social choice theory. From this perspective, we can evaluate different aggregation methods via established axioms, examining whether these methods meet or fail well-known standards. We demonstrate that both the Bradley-Terry-Luce Model and its broad generalizations fail to meet basic axioms. In response, we develop novel rules for learning reward functions with strong axiomatic guarantees. A key innovation from the standpoint of social choice is that our problem has a linear structure, which greatly restricts the space of feasible rules and leads to a new paradigm that we call linear social choice.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Computing Voting Rules with Elicited Incomplete Votes
Authors:
Daniel Halpern,
Safwan Hossain,
Jamie Tucker-Foltz
Abstract:
Motivated by the difficulty of specifying complete ordinal preferences over a large set of $m$ candidates, we study voting rules that are computable by querying voters about $t < m$ candidates. Generalizing prior works that focused on specific instances of this problem, our paper fully characterizes the set of positional scoring rules that can be computed for any $1 \leq t < m$, which notably does…
▽ More
Motivated by the difficulty of specifying complete ordinal preferences over a large set of $m$ candidates, we study voting rules that are computable by querying voters about $t < m$ candidates. Generalizing prior works that focused on specific instances of this problem, our paper fully characterizes the set of positional scoring rules that can be computed for any $1 \leq t < m$, which notably does not include plurality. We then extend this to show a similar impossibility result for single transferable vote (elimination voting). These negative results are information-theoretic and agnostic to the number of queries. Finally, for scoring rules that are computable with limited-sized queries, we give parameterized upper and lower bounds on the number of such queries a deterministic or randomized algorithm must make to determine the score-maximizing candidate. While there is no gap between our bounds for deterministic algorithms, identifying the exact query complexity for randomized algorithms is a challenging open problem, of which we solve one special case.
△ Less
Submitted 16 February, 2024;
originally announced February 2024.
-
Anti-symmetric and Positivity Preserving Formulation of a Spectral Method for Vlasov-Poisson Equations
Authors:
Opal Issan,
Oleksandr Koshkarov,
Federico D. Halpern,
Boris Kramer,
Gian Luca Delzanno
Abstract:
We analyze the anti-symmetric properties of a spectral discretization for the one-dimensional Vlasov-Poisson equations. The discretization is based on a spectral expansion in velocity with the symmetrically weighted Hermite basis functions, central finite differencing in space, and an implicit Runge Kutta integrator in time. The proposed discretization preserves the anti-symmetric structure of the…
▽ More
We analyze the anti-symmetric properties of a spectral discretization for the one-dimensional Vlasov-Poisson equations. The discretization is based on a spectral expansion in velocity with the symmetrically weighted Hermite basis functions, central finite differencing in space, and an implicit Runge Kutta integrator in time. The proposed discretization preserves the anti-symmetric structure of the advection operator in the Vlasov equation, resulting in a stable numerical method. We apply such discretization to two formulations: the canonical Vlasov-Poisson equations and their continuously transformed square-root representation. The latter preserves the positivity of the particle distribution function. We derive analytically the conservation properties of both formulations, including particle number, momentum, and energy, which are verified numerically on the following benchmark problems: manufactured solution, linear and nonlinear Landau dam**, two-stream instability, bump-on-tail instability, and ion-acoustic wave.
△ Less
Submitted 3 July, 2024; v1 submitted 8 December, 2023;
originally announced December 2023.
-
On the Existence of Envy-Free Allocations Beyond Additive Valuations
Authors:
Gerdus Benadè,
Daniel Halpern,
Alexandros Psomas,
Paritosh Verma
Abstract:
We study the problem of fairly allocating $m$ indivisible items among $n$ agents. Envy-free allocations, in which each agent prefers her bundle to the bundle of every other agent, need not exist in the worst case. However, when agents have additive preferences and the value $v_{i,j}$ of agent $i$ for item $j$ is drawn independently from a distribution $D_i$, envy-free allocations exist with high p…
▽ More
We study the problem of fairly allocating $m$ indivisible items among $n$ agents. Envy-free allocations, in which each agent prefers her bundle to the bundle of every other agent, need not exist in the worst case. However, when agents have additive preferences and the value $v_{i,j}$ of agent $i$ for item $j$ is drawn independently from a distribution $D_i$, envy-free allocations exist with high probability when $m \in Ω( n \log n / \log \log n )$.
In this paper, we study the existence of envy-free allocations under stochastic valuations far beyond the additive setting. We introduce a new stochastic model in which each agent's valuation is sampled by first fixing a worst-case function, and then drawing a uniformly random renaming of the items, independently for each agent. This strictly generalizes known settings; for example, $v_{i,j} \sim D_i$ may be seen as picking a random (instead of a worst-case) additive function before renaming. We prove that random renaming is sufficient to ensure that envy-free allocations exist with high probability in very general settings. When valuations are non-negative and ``order-consistent,'' a valuation class that generalizes additive, budget-additive, unit-demand, and single-minded agents, SD-envy-free allocations (a stronger notion of fairness than envy-freeness) exist for $m \in ω(n^2)$ when $n$ divides $m$, and SD-EFX allocations exist for all $m \in ω(n^2)$. The dependence on $n$ is tight, that is, for $m \in O(n^2)$ envy-free allocations don't exist with constant probability. For the case of arbitrary valuations (allowing non-monotone, negative, or mixed-manna valuations) and $n=2$ agents, we prove envy-free allocations exist with probability $1 - Θ(1/m)$ (and this is tight).
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
Optimal Engagement-Diversity Tradeoffs in Social Media
Authors:
Fabian Baumann,
Daniel Halpern,
Ariel D. Procaccia,
Iyad Rahwan,
Itai Shapira,
Manuel Wuthrich
Abstract:
Social media platforms are known to optimize user engagement with the help of algorithms. It is widely understood that this practice gives rise to echo chambers\emdash users are mainly exposed to opinions that are similar to their own. In this paper, we ask whether echo chambers are an inevitable result of high engagement; we address this question in a novel model. Our main theoretical results est…
▽ More
Social media platforms are known to optimize user engagement with the help of algorithms. It is widely understood that this practice gives rise to echo chambers\emdash users are mainly exposed to opinions that are similar to their own. In this paper, we ask whether echo chambers are an inevitable result of high engagement; we address this question in a novel model. Our main theoretical results establish bounds on the maximum engagement achievable under a diversity constraint, for suitable measures of engagement and diversity; we can therefore quantify the worst-case tradeoff between these two objectives. Our empirical results, based on real data from Twitter, chart the Pareto frontier of the engagement-diversity tradeoff.
△ Less
Submitted 6 March, 2023;
originally announced March 2023.
-
Representation with Incomplete Votes
Authors:
Daniel Halpern,
Gregory Kehne,
Ariel D. Procaccia,
Jamie Tucker-Foltz,
Manuel Wüthrich
Abstract:
Platforms for online civic participation rely heavily on methods for condensing thousands of comments into a relevant handful, based on whether participants agree or disagree with them. These methods should guarantee fair representation of the participants, as their outcomes may affect the health of the conversation and inform impactful downstream decisions. To that end, we draw on the literature…
▽ More
Platforms for online civic participation rely heavily on methods for condensing thousands of comments into a relevant handful, based on whether participants agree or disagree with them. These methods should guarantee fair representation of the participants, as their outcomes may affect the health of the conversation and inform impactful downstream decisions. To that end, we draw on the literature on approval-based committee elections. Our setting is novel in that the approval votes are incomplete since participants will typically not vote on all comments. We prove that this complication renders non-adaptive algorithms impractical in terms of the amount of information they must gather. Therefore, we develop an adaptive algorithm that uses information more efficiently by presenting incoming participants with statements that appear promising based on votes by previous participants. We prove that this method satisfies commonly used notions of fair representation, even when participants only vote on a small fraction of comments. Finally, an empirical evaluation using real data shows that the proposed algorithm provides representative outcomes in practice.
△ Less
Submitted 21 December, 2023; v1 submitted 28 November, 2022;
originally announced November 2022.
-
Assessing treatment effect heterogeneity in the presence of missing effect modifier data in cluster-randomized trials
Authors:
Bryan S. Blette,
Scott D. Halpern,
Fan Li,
Michael O. Harhay
Abstract:
Understanding whether and how treatment effects vary across subgroups is crucial to inform clinical practice and recommendations. Accordingly, the assessment of heterogeneous treatment effects (HTE) based on pre-specified potential effect modifiers has become a common goal in modern randomized trials. However, when one or more potential effect modifiers are missing, complete-case analysis may lead…
▽ More
Understanding whether and how treatment effects vary across subgroups is crucial to inform clinical practice and recommendations. Accordingly, the assessment of heterogeneous treatment effects (HTE) based on pre-specified potential effect modifiers has become a common goal in modern randomized trials. However, when one or more potential effect modifiers are missing, complete-case analysis may lead to bias and under-coverage. While statistical methods for handling missing data have been proposed and compared for individually randomized trials with missing effect modifier data, few guidelines exist for the cluster-randomized setting, where intracluster correlations in the effect modifiers, outcomes, or even missingness mechanisms may introduce further threats to accurate assessment of HTE. In this article, the performance of several missing data methods are compared through a simulation study of cluster-randomized trials with continuous outcome and missing binary effect modifier data, and further illustrated using real data from the Work, Family, and Health Study. Our results suggest that multilevel multiple imputation (MMI) and Bayesian MMI have better performance than other available methods, and that Bayesian MMI has lower bias and closer to nominal coverage than standard MMI when there are model specification or compatibility issues.
△ Less
Submitted 1 December, 2023; v1 submitted 2 September, 2022;
originally announced September 2022.
-
Smoothed Analysis of Social Choice, Revisited
Authors:
Bailey Flanigan,
Daniel Halpern,
Alexandros Psomas
Abstract:
A canonical problem in social choice is how to aggregate ranked votes: given $n$ voters' rankings over $m$ candidates, what voting rule $f$ should we use to aggregate these votes into a single winner? One standard method for comparing voting rules is by their satisfaction of axioms - properties that we want a "reasonable" rule to satisfy. Unfortunately, this approach leads to several impossibiliti…
▽ More
A canonical problem in social choice is how to aggregate ranked votes: given $n$ voters' rankings over $m$ candidates, what voting rule $f$ should we use to aggregate these votes into a single winner? One standard method for comparing voting rules is by their satisfaction of axioms - properties that we want a "reasonable" rule to satisfy. Unfortunately, this approach leads to several impossibilities: no voting rule can simultaneously satisfy all the properties we want, at least in the worst case over all possible inputs. Motivated by this, we consider a relaxation of these worst case requirements. We do so using a "smoothed" model of social choice, where votes are perturbed with small amounts of noise. If, no matter which input profile we start with, the probability (post-noise) of an axiom being satisfied is large, we will consider the axiom as good as satisfied - called "smoothed-satisfied" - even if it may be violated in the worst case. Our model is a mild restriction of Lirong Xia's, and corresponds closely to that in Spielman and Teng's original work on smoothed analysis. Much work has been done so far in several papers by Xia on axiom satisfaction under such noise. In our paper, we aim to give a more cohesive overview on when smoothed analysis of social choice is useful. Within our model, we give simple sufficient conditions for smoothed-satisfaction or smoothed-violation of several previously-unstudied axioms and paradoxes, plus many of those studied by Xia. We then observe that, in a practically important subclass of noise models, although convergence eventually occurs, known rates may require an extremely large number of voters. Motivated by this, we prove bounds specifically within a canonical noise model from this subclass - the Mallows model. Here, we present a more nuanced picture on exactly when smoothed analysis can help.
△ Less
Submitted 5 August, 2023; v1 submitted 29 June, 2022;
originally announced June 2022.
-
Kinetic modeling of neutral transport for a continuum gyrokinetic code
Authors:
T. N. Bernard,
F. D. Halpern,
M. Francisquez,
N. R. Mandell,
J. Juno,
G. W. Hammett,
A. Hakim,
G. Wilkie,
J. Guterl
Abstract:
We present the first-of-its-kind coupling of a continuum full-f gyrokinetic turbulence model with a 6D continuum model for kinetic neutrals, carried out using the Gkeyll code. Our objective is to improve the first-principles understanding of the role of neutrals in plasma fueling, detachment, and their interaction with edge plasma profiles and turbulence statistics. Our model includes only atomic…
▽ More
We present the first-of-its-kind coupling of a continuum full-f gyrokinetic turbulence model with a 6D continuum model for kinetic neutrals, carried out using the Gkeyll code. Our objective is to improve the first-principles understanding of the role of neutrals in plasma fueling, detachment, and their interaction with edge plasma profiles and turbulence statistics. Our model includes only atomic hydrogen and incorporates electron-impact ionization, charge exchange, and wall recycling. These features have been successfully verified with analytical predictions and benchmarked with the DEGAS2 Monte Carlo neutral code. We carry out simulations for a scrape-off layer (SOL) with simplified geometry and NSTX parameters. We compare these results to a baseline simulation without neutrals and find that neutral interactions reduce the normalized density fluctuation levels and associated skewness and kurtosis, while increasing auto-correlation times. A flatter density profile is also observed, similar to the SOL density shoulder formation in experimental scenarios with high fueling.
△ Less
Submitted 6 April, 2022; v1 submitted 1 February, 2022;
originally announced February 2022.
-
Convergence of a Human-in-the-Loop Policy-Gradient Algorithm With Eligibility Trace Under Reward, Policy, and Advantage Feedback
Authors:
Ishaan Shah,
David Halpern,
Kavosh Asadi,
Michael L. Littman
Abstract:
Fluid human-agent communication is essential for the future of human-in-the-loop reinforcement learning. An agent must respond appropriately to feedback from its human trainer even before they have significant experience working together. Therefore, it is important that learning agents respond well to various feedback schemes human trainers are likely to provide. This work analyzes the COnvergent…
▽ More
Fluid human-agent communication is essential for the future of human-in-the-loop reinforcement learning. An agent must respond appropriately to feedback from its human trainer even before they have significant experience working together. Therefore, it is important that learning agents respond well to various feedback schemes human trainers are likely to provide. This work analyzes the COnvergent Actor-Critic by Humans (COACH) algorithm under three different types of feedback-policy feedback, reward feedback, and advantage feedback. For these three feedback types, we find that COACH can behave sub-optimally. We propose a variant of COACH, episodic COACH (E-COACH), which we prove converges for all three types. We compare our COACH variant with two other reinforcement-learning algorithms: Q-learning and TAMER.
△ Less
Submitted 14 September, 2021;
originally announced September 2021.
-
In Defense of Liquid Democracy
Authors:
Daniel Halpern,
Joseph Y. Halpern,
Ali Jadbabaie,
Elchanan Mossel,
Ariel D. Procaccia,
Manon Revel
Abstract:
Fluid democracy is a voting paradigm that allows voters to choose between directly voting and transitively delegating their votes to other voters. While fluid democracy has been viewed as a system that can combine the best aspects of direct and representative democracy, it can also result in situations where few voters amass a large amount of influence. To analyze the impact of this shortcoming, w…
▽ More
Fluid democracy is a voting paradigm that allows voters to choose between directly voting and transitively delegating their votes to other voters. While fluid democracy has been viewed as a system that can combine the best aspects of direct and representative democracy, it can also result in situations where few voters amass a large amount of influence. To analyze the impact of this shortcoming, we consider what has been called an epistemic setting, where voters decide on a binary issue for which there is a ground truth. Previous work has shown that under certain assumptions on the delegation mechanism, the concentration of power is so severe that fluid democracy is less likely to identify the ground truth than direct voting. We examine different, arguably more realistic, classes of mechanisms, and prove they behave well by ensuring that (with high probability) there is a limit on concentration of power. Our proofs demonstrate that delegations can be treated as stochastic processes and that they can be compared to well-known processes from the literature -- such as preferential attachment and multi-types branching process -- that are sufficiently bounded for our purposes. Our results suggest that the concerns raised about fluid democracy can be overcome, thereby bolstering the case for this emerging paradigm.
△ Less
Submitted 29 March, 2022; v1 submitted 25 July, 2021;
originally announced July 2021.
-
The Optimal Size of an Epistemic Congress
Authors:
Manon Revel,
Tao Lin,
Daniel Halpern
Abstract:
We analyze the optimal size of a congress in a representative democracy. We take an epistemic view where voters decide on a binary issue with one ground truth outcome, and each voter votes correctly according to their competence levels in $[0, 1]$. Assuming that we can sample the best experts to form an epistemic congress, we find that the optimal congress size should be linear in the population s…
▽ More
We analyze the optimal size of a congress in a representative democracy. We take an epistemic view where voters decide on a binary issue with one ground truth outcome, and each voter votes correctly according to their competence levels in $[0, 1]$. Assuming that we can sample the best experts to form an epistemic congress, we find that the optimal congress size should be linear in the population size. This result is striking because it holds even when allowing the top representatives to be accurate with arbitrarily high probabilities. We then analyze real world data, finding that the actual sizes of congresses are much smaller than the optimal size our theoretical results suggest. We conclude by analyzing under what conditions congresses of sub-optimal sizes would still outperform direct democracy, in which all voters vote.
△ Less
Submitted 2 July, 2021;
originally announced July 2021.
-
Can Buyers Reveal for a Better Deal?
Authors:
Daniel Halpern,
Gregory Kehne,
Jamie Tucker-Foltz
Abstract:
We study market interactions in which buyers are allowed to credibly reveal partial information about their types to the seller. Previous recent work has studied the special case of one buyer and one good, showing that such communication can simultaneously improve social welfare and ex ante buyer utility. However, with multiple buyers, we find that the buyer-optimal signalling schemes from the one…
▽ More
We study market interactions in which buyers are allowed to credibly reveal partial information about their types to the seller. Previous recent work has studied the special case of one buyer and one good, showing that such communication can simultaneously improve social welfare and ex ante buyer utility. However, with multiple buyers, we find that the buyer-optimal signalling schemes from the one-buyer case are actually harmful to buyer welfare. Moreover, we prove several impossibility results showing that, with either multiple i.i.d. buyers or multiple i.i.d. goods, maximizing buyer utility can be at odds with social efficiency, which is surprising in contrast with the one-buyer, one-good case. Finally, we investigate the computational tractability of implementing desirable equilibrium outcomes. We find that, even with one buyer and one good, optimizing buyer utility is generally NP-hard but tractable in a practical restricted setting.
△ Less
Submitted 3 May, 2022; v1 submitted 25 June, 2021;
originally announced June 2021.
-
The Occurrence-weighted Median Planets Discovered by Transit Surveys Orbiting Solar-type Stars and Their Implications for Planet Formation and Evolution
Authors:
Kevin C. Schlaufman,
Noah D. Halpern
Abstract:
Since planet occurrence and primordial atmospheric retention probability increase with period, the occurrence-weighted median planets discovered by transit surveys may bear little resemblance to the low-occurrence, short-period planets sculpted by atmospheric escape ordinarily used to calibrate mass--radius relations and planet formation models. An occurrence-weighted mass--radius relation for the…
▽ More
Since planet occurrence and primordial atmospheric retention probability increase with period, the occurrence-weighted median planets discovered by transit surveys may bear little resemblance to the low-occurrence, short-period planets sculpted by atmospheric escape ordinarily used to calibrate mass--radius relations and planet formation models. An occurrence-weighted mass--radius relation for the low-mass planets discovered so far by transit surveys orbiting solar-type stars requires both occurrence-weighted median Earth-mass and Neptune-mass planets to have a few percent of their masses in hydrogen/helium (H/He) atmospheres. Unlike the Earth that finished forming long after the protosolar nebula was dissipated, these occurrence-weighted median Earth-mass planets must have formed early in their systems' histories. The existence of significant H/He atmospheres around Earth-mass planets confirms an important prediction of the core-accretion model of planet formation. It also implies core masses $M_{\text{c}}$ in the range $2~M_{\oplus}\lesssim M_{\text{c}}\lesssim 8~M_{\oplus}$ that can retain their primordial atmospheres. If atmospheric escape is driven by photoevaporation due to extreme ultraviolet (EUV) flux, then our observation requires a reduction in the fraction of incident EUV flux converted into work usually assumed in photoevaporation models. If atmospheric escape is core driven, then the occurrence-weighted median Earth-mass planets must have large Bond albedos. In contrast to Uranus and Neptune that have at least 10% of their masses in H/He atmospheres, these occurrence-weighted median Neptune-mass planets are H/He poor. The implication is that they experienced collisions or formed in much shorter-lived and/or hotter parts of their parent protoplanetary disks than Uranus and Neptune's formation location in the protosolar nebula.
△ Less
Submitted 17 June, 2021;
originally announced June 2021.
-
Fair and Efficient Resource Allocation with Partial Information
Authors:
Daniel Halpern,
Nisarg Shah
Abstract:
We study the fundamental problem of allocating indivisible goods to agents with additive preferences. We consider eliciting from each agent only a ranking of her $k$ most preferred goods instead of her full cardinal valuations. We characterize the value of $k$ needed to achieve envy-freeness up to one good and approximate maximin share guarantee, two widely studied fairness notions. We also analyz…
▽ More
We study the fundamental problem of allocating indivisible goods to agents with additive preferences. We consider eliciting from each agent only a ranking of her $k$ most preferred goods instead of her full cardinal valuations. We characterize the value of $k$ needed to achieve envy-freeness up to one good and approximate maximin share guarantee, two widely studied fairness notions. We also analyze the multiplicative loss in social welfare incurred due to the lack of full information with and without the fairness requirements.
△ Less
Submitted 24 May, 2021; v1 submitted 20 May, 2021;
originally announced May 2021.
-
Fair Division with Binary Valuations: One Rule to Rule Them All
Authors:
Daniel Halpern,
Ariel D. Procaccia,
Alexandros Psomas,
Nisarg Shah
Abstract:
We study fair allocation of indivisible goods among agents. Prior research focuses on additive agent preferences, which leads to an impossibility when seeking truthfulness, fairness, and efficiency. We show that when agents have binary additive preferences, a compelling rule -- maximum Nash welfare (MNW) -- provides all three guarantees.
Specifically, we show that deterministic MNW with lexicogr…
▽ More
We study fair allocation of indivisible goods among agents. Prior research focuses on additive agent preferences, which leads to an impossibility when seeking truthfulness, fairness, and efficiency. We show that when agents have binary additive preferences, a compelling rule -- maximum Nash welfare (MNW) -- provides all three guarantees.
Specifically, we show that deterministic MNW with lexicographic tie-breaking is group strategyproof in addition to being envy-free up to one good and Pareto optimal. We also prove that fractional MNW -- known to be group strategyproof, envy-free, and Pareto optimal -- can be implemented as a distribution over deterministic MNW allocations, which are envy-free up to one good. Our work establishes maximum Nash welfare as the ultimate allocation rule in the realm of binary additive preferences.
△ Less
Submitted 30 September, 2020; v1 submitted 12 July, 2020;
originally announced July 2020.
-
Resolving the Optimal Metric Distortion Conjecture
Authors:
Vasilis Gkatzelis,
Daniel Halpern,
Nisarg Shah
Abstract:
We study the following metric distortion problem: there are two finite sets of points, $V$ and $C$, that lie in the same metric space, and our goal is to choose a point in $C$ whose total distance from the points in $V$ is as small as possible. However, rather than having access to the underlying distance metric, we only know, for each point in $V$, a ranking of its distances to the points in $C$.…
▽ More
We study the following metric distortion problem: there are two finite sets of points, $V$ and $C$, that lie in the same metric space, and our goal is to choose a point in $C$ whose total distance from the points in $V$ is as small as possible. However, rather than having access to the underlying distance metric, we only know, for each point in $V$, a ranking of its distances to the points in $C$. We propose algorithms that choose a point in $C$ using only these rankings as input and we provide bounds on their \emph{distortion} (worst-case approximation ratio). A prominent motivation for this problem comes from voting theory, where $V$ represents a set of voters, $C$ represents a set of candidates, and the rankings correspond to ordinal preferences of the voters. A major conjecture in this framework is that the optimal deterministic algorithm has distortion $3$. We resolve this conjecture by providing a polynomial-time algorithm that achieves distortion $3$, matching a known lower bound. We do so by proving a novel lemma about matching voters to candidates, which we refer to as the \emph{ranking-matching lemma}. This lemma induces a family of novel algorithms, which may be of independent interest, and we show that a special algorithm in this family achieves distortion $3$. We also provide more refined, parameterized, bounds using the notion of $α$-decisiveness, which quantifies the extent to which a voter may prefer her top choice relative to all others. Finally, we introduce a new randomized algorithm with improved distortion compared to known results, and also provide improved lower bounds on the distortion of all deterministic and randomized algorithms.
△ Less
Submitted 7 September, 2020; v1 submitted 16 April, 2020;
originally announced April 2020.
-
Kinetic fluid moments closure for a magnetized plasma with collisions
Authors:
R. E. Waltz,
F. D. Halpern,
Z. Deng,
J. Candy
Abstract:
A novel method aimed at a kinetic moments closure for a magnetized plasma with arbitrary collisionality is proposed. The intended first application is to a tokamak edge and scrape-off-layer plasma. The velocity distribution function for each species is expanded in 8 Gaussian Radial Basis Functions (GRBFs) which are essentially shifted Maxwellians at eight representative 3D-velocity points of drift…
▽ More
A novel method aimed at a kinetic moments closure for a magnetized plasma with arbitrary collisionality is proposed. The intended first application is to a tokamak edge and scrape-off-layer plasma. The velocity distribution function for each species is expanded in 8 Gaussian Radial Basis Functions (GRBFs) which are essentially shifted Maxwellians at eight representative 3D-velocity points of drift. The vector of 8 fluid moments (for particle density, 3 particle fluxes, total energy density, and 3 energy fluxes) has an 8x8 analytic linear matrix relation to the vector of 8 GRBF density weights in 3D real space. The 8 fluid moments with sources for each species are advanced in time while the 8 GRBF weighs are determined from the 8x8 inverse matrix. The two closure moments (for the stress tensor and the energy weighted stress tensor) are linearly determined from the GRBF weights. Most importantly the velocity moments of the nonlinear Coulomb Fokker-Planck collision operator [Rosenbluth et al, Phys. Rev 107, 1957] are evaluated from the GRBF weights. Generalization from 8 to 12, 16, 20 .., in an energy weighted moment hierarchy is straightforward. The electric field follows from a generalized vorticity (quasi-neutral current continuity) equation. A strong drift ordering approximation can be applied to eliminate any spuriously unstable high frequency cyclotron motions. A novel weak drift ordering two-time step scheme avoids the vorticity equation by following ion cyclotron motion in time to get the electric field with ion gyroaveraging. Inclusion of low-beta magnetic perturbations is straightforward.
△ Less
Submitted 8 January, 2019;
originally announced January 2019.
-
Floquet Perfect Absorbers based on Periodically Driven Targets
Authors:
Dashiell Halpern,
Suwun Suwunnarat,
Huanan Li,
Boris Shapiro,
Tsampikos Kottos
Abstract:
We introduce the concept of multichannel Floquet Perfect Absorbers (FPAs) which are periodically modulated lossy interferometric traps that completely absorb incident monochromatic waves. The proposed FPA protocols utilize a Floquet engineering approach which inflicts a variety of emerging phenomena and features: reconfigurability of perfect absorption (PA) for a broad range of frequencies of the…
▽ More
We introduce the concept of multichannel Floquet Perfect Absorbers (FPAs) which are periodically modulated lossy interferometric traps that completely absorb incident monochromatic waves. The proposed FPA protocols utilize a Floquet engineering approach which inflicts a variety of emerging phenomena and features: reconfigurability of perfect absorption (PA) for a broad range of frequencies of the incident wave; PA for infinitesimal local losses, and PA via critical coupling with high-Q modes by inducing back-reflection dynamical mirrors.
△ Less
Submitted 1 August, 2018;
originally announced August 2018.
-
Surfactant and gravity dependent instability of two-layer channel flows: Linear theory covering all wave lengths
Authors:
Alexander F. Frenkel,
David Halpern,
Adam J. Schweiger
Abstract:
A linear stability analysis of a two-layer plane Couette flow of two immiscible fluid layers with different densities, viscosities and thicknesses, bounded by two infinite parallel plates moving at a constant relative velocity to each other, with an insoluble surfactant along the interface and in the presence of gravity is carried out. The normal modes approach is applied to the equations governin…
▽ More
A linear stability analysis of a two-layer plane Couette flow of two immiscible fluid layers with different densities, viscosities and thicknesses, bounded by two infinite parallel plates moving at a constant relative velocity to each other, with an insoluble surfactant along the interface and in the presence of gravity is carried out. The normal modes approach is applied to the equations governing flow disturbances. These equations, together with boundary conditions at the plates and the interface, yield a linear eigenvalue problem. When inertia is neglected velocity amplitudes are linear combinations of hyperbolic functions, and a quadratic dispersion equation for the complex growth rate is obtained where coefficients depend on the aspect ratio, the viscosity ratio, the basic velocity shear, the Marangoni number Ma that measures the effects of surfactant, and the Bond number Bo that measures the influence of gravity. An extensive investigation is carried out that examines the stabilizing or destabilizing influences of these parameters. There are two continuous branches of the normal modes: a robust branch that exists even with no surfactant, and a surfactant branch that vanishes when Ma $\downarrow 0$. Due to the availability of the explicit forms for the growth rates, in many instances the numerical results are corroborated with analytical asymptotics. For the less unstable branch, a mid-wave interval of unstable wavenumbers (Halpern and Frenkel (2003)) sometimes co-exists with a long-wave one. We study the instability landscape, determined by the threshold curve of the long-wave instability and the critical curve of the mid-wave instability in the (Ma, Bo)-plane. The changes of the extremal points of the critical curves with the variation of the other parameters, such as the viscosity ratio, and the extrema bifurcation points are investigated.
△ Less
Submitted 2 December, 2018; v1 submitted 28 January, 2018;
originally announced January 2018.
-
Floquet Protocols of Adiabatic State-Flips and Re-Allocation of Exceptional Points
Authors:
Dashiell Halpern,
Huanan Li,
Tsampikos Kottos
Abstract:
We introduce the notion of adiabatic state-flip of a Floquet Hamiltonian associated with a non-Hermitian system that it is subjected to two driving schemes with clear separation of time scales. The fast (Floquet) modulation scheme is utilized to re-allocate the exceptional points in the parameter space of the system and re-define the topological features of an adiabatic cyclic modulation associate…
▽ More
We introduce the notion of adiabatic state-flip of a Floquet Hamiltonian associated with a non-Hermitian system that it is subjected to two driving schemes with clear separation of time scales. The fast (Floquet) modulation scheme is utilized to re-allocate the exceptional points in the parameter space of the system and re-define the topological features of an adiabatic cyclic modulation associated with the slow driving scheme. Such topological re-organization can be used in order to control the adiabatic transport between two eigenmodes of the Floquet Hamiltonian. The proposed scheme provides a degree of reconfigurability of adiabatic state transfer which can find applications in system control in photonics and microwave domains.
△ Less
Submitted 22 October, 2017;
originally announced October 2017.
-
Surfactant and gravity dependent inertialess instability of two-layer Couette flows and its nonlinear saturation
Authors:
Alexander L. Frenkel,
David Halpern
Abstract:
A horizontal flow of two immiscible fluid layers with different densities, viscosities and thicknesses, subject to vertical gravitational forces and with an insoluble surfactant present at the interface, is investigated. The base Couette flow is driven by the horizontal motion of the channel walls. Linear and nonlinear stages of the (inertialess) surfactant and gravity dependent long-wave instabil…
▽ More
A horizontal flow of two immiscible fluid layers with different densities, viscosities and thicknesses, subject to vertical gravitational forces and with an insoluble surfactant present at the interface, is investigated. The base Couette flow is driven by the horizontal motion of the channel walls. Linear and nonlinear stages of the (inertialess) surfactant and gravity dependent long-wave instability are studied using the lubrication approximation, which leads to a system of coupled nonlinear evolution equations for the interface and surfactant disturbances. The linear stability is determined by an eigenvalue problem for the normal modes. The growth rates and the amplitudes of disturbances of the interface, surfactant, velocities, and pressures are found analytically. For each wavenumber, there are two active normal modes. For each mode, the instability threshold conditions in terms of the system parameters are determined. In particular, it transpires that for certain parametric ranges, even arbitrarily strong gravity cannot completely stabilize the flow. The correlations of vorticity-thickness phase differences with instability, present when the gravitational effects are neglected, are found to break down when gravity is important. The physical mechanisms of instability for the two modes are explained with vorticity playing no role in them. Unlike the semi-infinite case that we previously studied, a small-amplitude nonlinear saturation of the surfactant instability is possible in the absence of gravity. For certain parametric ranges, the interface deflection is governed by a decoupled Kuramoto-Sivashinsky equation, which provides a source term for a linear convection-diffusion equation governing the surfactant concentration. The full numerics confirm the prediction that, along with the interface, the surfactant wave is chaotic, but the ratio of the two chaotic waves is constant.
△ Less
Submitted 4 July, 2017; v1 submitted 16 October, 2016;
originally announced October 2016.
-
Plasma Turbulence in the Scrape-off Layer of the ISTTOK Tokamak
Authors:
Rogerio Jorge,
Paolo Ricci,
Federico D. Halpern,
Nuno F. Loureiro,
Carlos Silva
Abstract:
The properties of plasma turbulence in a poloidally limited scrape-off layer (SOL) are addressed, with focus on ISTTOK, a large aspect ratio tokamak with a circular cross section. Theoretical investigations based on the drift-reduced Braginskii equations are carried out through linear calculations and non-linear simulations, in two- and three-dimensional geometries. The linear instabilities drivin…
▽ More
The properties of plasma turbulence in a poloidally limited scrape-off layer (SOL) are addressed, with focus on ISTTOK, a large aspect ratio tokamak with a circular cross section. Theoretical investigations based on the drift-reduced Braginskii equations are carried out through linear calculations and non-linear simulations, in two- and three-dimensional geometries. The linear instabilities driving turbulence and the mechanisms that set the amplitude of turbulence as well as the SOL width are identified. A clear asymmetry is shown to exist between the low-field and the high-field sides of the machine. A comparison between experimental measurements and simulation results is presented.
△ Less
Submitted 2 October, 2016; v1 submitted 30 June, 2016;
originally announced June 2016.
-
Velocity shear, turbulent saturation, and steep plasma gradients in the scrape-off layer of inner-wall limited tokamaks
Authors:
Federico D. Halpern,
Paolo Ricci
Abstract:
The narrow power decay-length ($λ_q$), recently found in the scrape-off layer (SOL) of inner-wall limited (IWL) discharges in tokamaks, is studied using 3D, flux-driven, global two-fluid turbulence simulations. The formation of the steep plasma profiles measured is found to arise due to radially sheared $\vec{E}\times\vec{B}$ poloidal flows. A complex interaction between sheared flows and outflowi…
▽ More
The narrow power decay-length ($λ_q$), recently found in the scrape-off layer (SOL) of inner-wall limited (IWL) discharges in tokamaks, is studied using 3D, flux-driven, global two-fluid turbulence simulations. The formation of the steep plasma profiles measured is found to arise due to radially sheared $\vec{E}\times\vec{B}$ poloidal flows. A complex interaction between sheared flows and outflowing plasma currents regulates the turbulent saturation, determining the transport levels. We quantify the effects of sheared flows, obtaining theoretical estimates in agreement with our non-linear simulations. Analytical calculations suggest that the IWL $λ_q$ is roughly equal to the turbulent correlation length.
△ Less
Submitted 28 June, 2016;
originally announced June 2016.
-
Strongly nonlinear nature of interfacial-surfactant instability of Couette flow
Authors:
Alexander L. Frenkel,
David Halpern
Abstract:
Nonlinear stages of the recently uncovered instability due to insoluble surfactant at the interface between two fluids are investigated for the case of a cree** plane Couette flow with one of the fluids a thin film and the other one a much thicker layer. Numerical simulation of strongly nonlinear longwave evolution equations which couple the film thickness and the surfactant concentration reve…
▽ More
Nonlinear stages of the recently uncovered instability due to insoluble surfactant at the interface between two fluids are investigated for the case of a cree** plane Couette flow with one of the fluids a thin film and the other one a much thicker layer. Numerical simulation of strongly nonlinear longwave evolution equations which couple the film thickness and the surfactant concentration reveals that in contrast to all similar instabilities of surfactant-free flows, no amount of the interfacial shear rate can lead to a small-amplitude saturation of the instability. Thus, the flow is stable when the shear is zero, but with non-zero shear rates, no matter how small or large (while remaining below an upper limit set by the assumption of cree** flow), it will reach large deviations from the base values-- of the order of the latter or larger. It is conjectured that the time this evolution takes grows to infinity as the interfacial shear approaches zero. It is verified that the absence of small-amplitude saturation is not a singularity of the zero surface diffusivity of the interfacial surfactant.
△ Less
Submitted 26 October, 2006; v1 submitted 12 January, 2006;
originally announced January 2006.