Search arXiv⌕ Search

arXiv subjects

Nicholas Teh

Publications and source records attributed to Nicholas Teh.

50 records · Page 3Linked to original sources

Multiwinner Temporal Voting with Aversion to Change

We study two-stage committee elections where voters have dynamic preferences over candidates; at each stage, a committee is chosen under a given voting rule. We are interested in identifying a winning committee for the second stage that overlaps as much as possible with the first-stage committee. We show a full complexity dichotomy for the class of Thiele rules: this problem is tractable for Approval Voting (AV) and hard for all other Thiele rules (including, in particular, Proportional Approval Voting and the Chamberlin-Courant rule). We extend this dichotomy to the greedy variants of Thiele rules. We also explore this problem from a parameterized complexity perspective for several natural parameters. We complement the theory with experimental analysis: e.g., we investigate the average number of changes in the committee as a function of changes in voters' preferences and the role of ties.

cs.GT↗

The local validity of special relativity from a scale-relative perspective

Most contemporary physicists hold that the local validity of special relativity (SR) within general relativity (GR) is expressed by means of an interdependent cluster of mathematical concepts, one of which is the existence of normal coordinate systems. Nonetheless, there remains conceptual work to be done with regard to this `standard story' on the local validity of SR in (a) clarifying how a network of mathematical concepts is recruited in a particular modelling context in order to account for the local validity of SR within GR, and (b) highlighting the richness and subtlety of this mode of modelling, as well as the way in which it interacts with the concept of `approximate Killing symmetry'. With this paper, we carry out this work, thereby also defending the standard story from concerns recently voiced in the philosophy of physics literature.

physics.hist-ph↗

Envy-Free House Allocation with Minimum Subsidy

House allocation refers to the problem where $m$ houses are to be allocated to $n$ agents so that each agent receives one house. Since an envy-free house allocation does not always exist, we consider finding such an allocation in the presence of subsidy. We show that computing an envy-free allocation with minimum subsidy is NP-hard in general, but can be done efficiently if $m$ differs from $n$ by an additive constant or if the agents have identical utilities.

cs.GT↗

Temporal Fairness in Multiwinner Voting

Multiwinner voting captures a wide variety of settings, from parliamentary elections in democratic systems to product placement in online shopping platforms. There is a large body of work dealing with axiomatic characterizations, computational complexity, and algorithmic analysis of multiwinner voting rules. Although many challenges remain, significant progress has been made in showing existence of fair and representative outcomes as well as efficient algorithmic solutions for many commonly studied settings. However, much of this work focuses on single-shot elections, even though in numerous real-world settings elections are held periodically and repeatedly. Hence, it is imperative to extend the study of multiwinner voting to temporal settings. Recently, there have been several efforts to address this challenge. However, these works are difficult to compare, as they model multi-period voting in very different ways. We propose a unified framework for studying temporal fairness in this domain, drawing connections with various existing bodies of work, and consolidating them within a general framework. We also identify gaps in existing literature, outline multiple opportunities for future work, and put forward a vision for the future of multiwinner voting in temporal settings.

cs.GT↗

Weighted Fair Division with Matroid-Rank Valuations: Monotonicity and Strategyproofness

We study the problem of fairly allocating indivisible goods to agents with weights corresponding to their entitlements. Previous work has shown that, when agents have binary additive valuations, the maximum weighted Nash welfare rule is resource-, population-, and weight-monotone, satisfies group-strategyproofness, and can be implemented in polynomial time. We generalize these results to the class of weighted additive welfarist rules with concave functions and agents with matroid-rank (also known as binary submodular) valuations.

econ.TH↗

For One and All: Individual and Group Fairness in the Allocation of Indivisible Goods

Fair allocation of indivisible goods is a well-explored problem. Traditionally, research focused on individual fairness - are individual agents satisfied with their allotted share? - and group fairness - are groups of agents treated fairly? In this paper, we explore the coexistence of individual envy-freeness (i-EF) and its group counterpart, group weighted envy-freeness (g-WEF), in the allocation of indivisible goods. We propose several polynomial-time algorithms that provably achieve i-EF and g-WEF simultaneously in various degrees of approximation under three different conditions on the agents' (i) when agents have identical additive valuation functions, i-EFX and i-WEF1 can be achieved simultaneously; (ii) when agents within a group share a common valuation function, an allocation satisfying both i-EF1 and g-WEF1 exists; and (iii) when agents' valuations for goods within a group differ, we show that while maintaining i-EF1, we can achieve a 1/3-approximation to ex-ante g-WEF1. Our results thus provide a first step towards connecting individual and group fairness in the allocation of indivisible goods, in hopes of its useful application to domains requiring the reconciliation of diversity with individual demands.

cs.GT↗

Weighted Envy-Freeness for Submodular Valuations

We investigate the fair allocation of indivisible goods to agents with possibly different entitlements represented by weights. Previous work has shown that guarantees for additive valuations with existing envy-based notions cannot be extended to the case where agents have matroid-rank (i.e., binary submodular) valuations. We propose two families of envy-based notions for matroid-rank and general submodular valuations, one based on the idea of transferability and the other on marginal values. We show that our notions can be satisfied via generalizations of rules such as picking sequences and maximum weighted Nash welfare. In addition, we introduce welfare measures based on harmonic numbers, and show that variants of maximum weighted harmonic welfare offer stronger fairness guarantees than maximum weighted Nash welfare under matroid-rank valuations.

cs.GT↗

Edge modes and dressing fields for the Newton-Cartan quantum Hall effect

It is now well-known that Newton-Cartan theory is the correct geometrical setting for modelling the quantum Hall effect. In addition, in recent years edge modes for the Newton-Cartan quantum Hall effect have been derived. However, the existence of these edge modes has, as of yet, been derived using only orthodox methodologies involving the breaking of gauge-invariance; it would be preferable to derive the existence of such edge modes in a gauge-invariant manner. In this article, we employ recent work by Donnelly and Freidel in order to accomplish exactly this task. Our results agree with known physics, but afford greater conceptual insight into the existence of these edge modes: in particular, they connect them to subtle aspects of Newton-Cartan geometry and pave the way for further applications of Newton-Cartan theory in condensed matter physics.

cond-mat.mes-hall↗

Better Collective Decisions via Uncertainty Reduction

We consider an agent community wishing to decide on several binary issues by means of issue-by-issue majority voting. For each issue and each agent, one of the two options is better than the other. However, some of the agents may be confused about some of the issues, in which case they may vote for the option that is objectively worse for them. A benevolent external party wants to help the agents to make better decisions, i.e., select the majority-preferred option for as many issues as possible. This party may have one of the following tools at its disposal: (1) educating some of the agents, so as to enable them to vote correctly on all issues, (2) appointing a subset of highly competent agents to make decisions on behalf of the entire group, or (3) guiding the agents on how to delegate their votes to other agents, in a way that is consistent with the agents' opinions. For each of these tools, we study the complexity of the decision problem faced by this external party, obtaining both NP-hardness results and fixed-parameter tractability results.

cs.GT↗

On Maximum Weighted Nash Welfare for Binary Valuations

We consider the problem of fairly allocating indivisible goods to agents with weights representing their entitlements. A natural rule in this setting is the maximum weighted Nash welfare (MWNW) rule, which selects an allocation maximizing the weighted product of the agents' utilities. We show that when agents have binary valuations, a specific version of MWNW is resource- and population-monotone, satisfies group-strategyproofness, and can be implemented in polynomial time.

econ.TH↗

Substantive general covariance and the Einstein-Klein dispute: A Noetherian approach

Famously, Klein and Einstein were embroiled in an epistolary dispute over whether General Relativity has any physically meaningful conserved quantities. In this paper, we explore the consequences of Noether's second theorem for this debate, and connect it to Einstein's search for a `substantive' version of general covariance as well as his quest to extend the Principle of Relativity. We will argue that Noether's second theorem provides a clear way to distinguish between theories in which gauge or diffeomorphism symmetry is doing real work in defining charges, as opposed to cases in which this symmetry stems from Kretchmannization. Finally, we comment on the relationship between this Noetherian form of substantive general covariance and the notion of `background independence'.

physics.hist-ph↗

Two Forms of Inconsistency in Quantum Foundations

Recently, there has been some discussion of how Dutch Book arguments might be used to demonstrate the rational incoherence of certain hidden variable models of quantum theory (Feintzeig and Fletcher 2017). In this paper, we argue that the 'form of inconsistency' underlying this alleged irrationality is deeply and comprehensively related to the more familiar 'inconsistency' phenomenon of contextuality. Our main result is that the hierarchy of contextuality due to Abramsky and Brandenburger (2011) corresponds to a hierarchy of additivity/convexity-violations which yields formal Dutch Books of different strengths. We then use this result to provide a partial assessment of whether these formal Dutch Books can be interpreted normatively.

quant-ph↗

The Teleparallel Equivalent of Newton-Cartan Gravity

We construct a notion of teleparallelization for Newton-Cartan theory, and show that the teleparallel equivalent of this theory is Newtonian gravity; furthermore, we show that this result is consistent with teleparallelization in general relativity, and can be obtained by null-reducing the teleparallel equivalent of a five-dimensional gravitational wave solution. This work thus strengthens substantially the connections between four theories: Newton-Cartan theory, Newtonian gravitation theory, general relativity, and teleparallel gravity.

gr-qc↗

Comparing Dualities and Gauge Symmetries

We discuss some aspects of the relation between dualities and gauge symmetries. Both of these ideas are of course multi-faceted, and we confine ourselves to making two points. Both points are about dualities in string theory, and both have the 'flavour' that two dual theories are 'closer in content' than you might think. For both points, we adopt a simple conception of a duality as an 'isomorphism' between theories: more precisely, as appropriate bijections between the two theories' sets of states and sets of quantities. The first point (Section 3) is that this conception of duality meshes with two dual theories being 'gauge related' in the general philosophical sense of being physically equivalent. For a string duality, such as T-duality and gauge/gravity duality, this means taking such features as the radius of a compact dimension, and the dimensionality of spacetime, to be 'gauge'. The second point (Sections 4, 5 and 6) is much more specific. We give a result about gauge/gravity duality that shows its relation to gauge symmetries (in the physical sense of symmetry transformations that are spacetime-dependent) to be subtler than you might expect. For gauge theories, you might expect that the duality bijections relate only gauge-invariant quantities and states, in the sense that gauge symmetries in one theory will be unrelated to any symmetries in the other theory. This may be so in general; and indeed, it is suggested by discussions of Polchinski and Horowitz. But we show that in gauge/gravity duality, each of a certain class of gauge symmetries in the gravity/bulk theory, viz. diffeomorphisms, is related by the duality to a position-dependent symmetry of the gauge/boundary theory.

physics.hist-ph↗