arXiv subjects

Simon Mackenzie

Publications and source records attributed to Simon Mackenzie.

At least 19 recordsLinked to original sources

arXiv2026

Anchoring for Truthfulness: The Random-Anchor Volume Mechanism for Multi-Facility Location

We study the strategyproof placement of $k$ facilities on the real line for $n$ agents who privately report their locations, without monetary transfers. For two facilities, the Proportional Mechanism of Lu, Sun, Wang, and Zhu (2010) is strategyproof in expectation and achieves a constant-factor approximation to the optimal social cost. Whether such a guarantee is possible for three facilities in the standard model, where each agent is served by her nearest open facility, has remained open. We resolve this question affirmatively by introducing the \emph{Random-Anchor Volume} mechanism. The mechanism first opens a facility at the report of a uniformly random agent, called the \emph{anchor}, and then jointly selects two additional reports, assigning each pair probability proportional to the product of the two consecutive gaps formed by the pair and the anchor. We prove that the mechanism is strategyproof in expectation and has expected social cost at most $8 OPT_3$, where $OPT_k$ denotes the minimum social cost achievable using at most $k$ facilities. The mechanism naturally extends to every $k\geq 2$ by selecting $k-1$ additional reports with probability proportional to the product of the consecutive gaps among them and the anchor. Under truthful reporting, this generalization has expected social cost at most $4(k-1)OPT_k$. Its incentive guarantee, however, has a sharp boundary: the mechanism is strategyproof in expectation for $k\in\{1,2,3\}$, but is manipulable for every $k\geq 4$.

cs.GT↗

arXiv2026

When One Good Is Not Enough: EF1 and Pareto Optimality Are Not Compatible for Submodular Valuations

One of the central questions in discrete fair division is whether fairness and efficiency can be achieved simultaneously. For indivisible goods, a canonical relaxation of envy-freeness is envy-freeness up to one good (EF1), while the standard efficiency benchmark is Pareto optimality (PO). In their seminal work, Caragiannis et al. showed that, for additive valuations, EF1 and PO are always compatible, and asked whether this compatibility extends to submodular valuations. This question has since become an important open problem in the study of fair division. In this paper, we settle the question in the negative. We construct an instance with two agents and eight goods, where both agents have submodular valuations, such that no EF1 allocation is even weakly Pareto optimal. Thus, the celebrated compatibility between EF1 and PO for additive valuations breaks down already for two agents under submodular valuations. We then map the boundary of this impossibility. On the negative side, we show that even for weighted matroid rank valuations, EF1 and fractional Pareto optimality (fPO) are incompatible. This rules out, in general, broad classes of weighted-welfare and Fisher-market-based approaches. On the positive side, we identify a common-envelope condition that restores compatibility. Under this condition, EF1+PO allocations exist for any number of agents. This yields new positive results showing that common-weight matroid-rank valuations always admit EF1+PO allocations. Finally, we quantify the efficiency loss that is unavoidable when insisting on EF1. Our submodular counterexample implies that there is a constant $\alpha<1$ such that no EF1 allocation is $\alpha$-\PO. For the broader class of subadditive valuations, we prove a tight two-agent bound: for any $\varepsilon>0$, there exists an instance in which no EF1 allocation is $\left(\frac{1}{\sqrt{2}}+\varepsilon\right)$-PO.

cs.GT↗

arXiv2026

Optimal Subsidy Bounds for Goods and Chores: One Dollar Each Suffices

We study the fair allocation of $m$ indivisible items to $n$ agents with additive utilities. In our setting, each indivisible item may be a good, yielding non-negative utility to some agents, or a chore, yielding negative utility to others. Whilst envy-free allocations may not exist in the indivisible-items setting, envy-freeness can be achieved if some amount of divisible good (i.e., \emph{money}) is introduced. When each item's utility or disutility is bounded by one, we show that a subsidy of at most one dollar per agent suffices to guarantee the existence of an envy-free allocation, and that this bound is tight. Moreover, such an allocation can be computed in polynomial time. Since at least one agent need not receive any subsidy, our results imply that a total subsidy of at most $n-1$ dollars suffices to ensure envy-freeness.

cs.GT↗

arXiv2026

Best-of-Both-Worlds Fairness for Mixed Goods and Chores

We study the fundamental problem of fairly dividing indivisible items among agents with additive utilities. In our model, an item can be a good yielding non-negative utilities to some agents and simultaneously a chore yielding negative utilities to others. We take the best-of-both-worlds perspective and our goal is to construct a randomized allocation that is exactly fair ex ante while also being supported on ex post approximately fair allocations. The fairness notions examined in this paper are envy-freeness (EF) and its well-known relaxation envy-freeness up to one item (EF1). Our main result is that ex-ante EF and ex-post EF1 can be achieved simultaneously. To achieve this, we introduce a novel probabilistic Hall-type matrix decomposition that intricately correlates the fractional assignments of goods and chores. We resolve this decomposition problem by combining continuous minimax duality -- via Sion's minimax theorem -- with carefully designed biased flow networks.

cs.GT↗

arXiv2026

Faster Exponential-Time Approximate Counting via Bounded Self-Reductions

We give faster exponential-time randomised approximation algorithms for counting problems where polynomial-time approximation is unavailable and exact exponential-time counting remains expensive. For general $n$-vertex graphs, our independent-set counter runs in $O^{\ast}(1.1869^{n})$ time, improving the previous $O^{\ast}(1.2041^{n})$ general-graph bound. For $n$-variable \#\textsc{2-SAT}, we obtain an $O^{\ast}(1.2373^{n})$-time approximation algorithm, narrowly below Wahlstr{\"o}m's currently cited $O^{\ast}(1.2377^{n})$ variable-parameter exact bound. The new algorithmic point is to take the square root after decomposition. For a single bounded unweighted self-reduction with $f(x)$ positive leaves and recursion-compatible upper bound $b(x)$, an enumerate-or-sample estimator gives an $(\varepsilon,\delta)$-approximation in \[ O^{\ast}\!\left(\sqrt{b(x)}\,\varepsilon^{-2}\log \tfrac1\delta\right) \] time. After preprocessing decomposes an input into many bounded cores, the combined estimator pays \[ O^{\ast}\!\left(\sqrt{\sum_i b_i(x_i)}\,\varepsilon^{-2}\log \tfrac1\delta\right), \] rather than estimating the cores separately at cost $\sum_i \sqrt{b_i(x_i)}$. The same conversion improves the bases for counting maximal cliques, minimal separators, and perfect matchings in subcubic graphs. Bounded unweighted self-reductions provide the formal language; at the level of counting classes, the resulting unweighted formulation has the same Karp closure as TotP. With explicit recursion-tree access, the framework yields black-box quantum speed-ups.

cs.DS↗

arXiv2026

Counterexamples to EFX for Submodular and Subadditive Valuations

The existence of EFX allocations is a fundamental question in fair division. In this paper, we construct a three-agent, eight-good instance with monotone subadditive valuations such that no allocation satisfies $\alpha$-EFX for any $\alpha > \frac{1}{\sqrt[6]{2}} \approx 0.89$. We also provide a closely related three-agent, eight-good instance with submodular (in fact weighted coverage) valuations for which no EFX allocation exists. A key feature of our construction is its symmetry: the agents' valuations are identical up to a relabeling of the goods. Thus, EFX can fail even when agents differ only in how the goods are labeled. This symmetry makes the counterexamples compact and human-verifiable, yielding simple combinatorial obstructions to the existence of EFX.

cs.GT↗

arXiv2025

Fair Division with Indivisible Goods, Chores, and Cake

We study the problem of fairly allocating indivisible items and a desirable heterogeneous divisible good (i.e., cake) to agents with additive utilities. In our paper, each indivisible item can be a good that yields non-negative utilities to some agents and a chore that yields negative utilities to the other agents. Given a fixed set of divisible and indivisible resources, we investigate almost envy-free allocations, captured by the natural fairness concept of envy-freeness for mixed resources (EFM). It requires that an agent $i$ does not envy another agent $j$ if agent $j$'s bundle contains any piece of cake yielding positive utility to agent $i$ (i.e., envy-freeness), and agent $i$ is envy-free up to one item (EF1) towards agent $j$ otherwise. We prove that with indivisible items and a cake, an EFM allocation always exists for any number of agents with additive utilities.

cs.GT↗

arXiv2025

A Faster Randomized Algorithm for Vertex Cover: An Automated Approach

This work introduces two techniques for the design and analysis of branching algorithms, illustrated through the case study of the Vertex Cover problem. First, we present a method for automatically generating branching rules through a systematic case analysis of local structures. Second, we develop a new technique for analyzing randomized branching algorithms using the Measure & Conquer method, offering greater flexibility in formulating branching rules. By combining these innovations with additional techniques, we obtain the fastest known randomized algorithms in different parameters for the Vertex Cover problem on graphs with bounded degree (up to 6) and on general graphs. For example, our algorithm solves Vertex Cover on subcubic graphs in $O^*(1.07625^n)$ time and $O^*(1.13132^k)$ time, respectively. For graphs with maximum degree 4, we achieve running times of $O^*(1.13735^n)$ and $O^*(1.21103^k)$, while for general graphs we achieve $O^*(1.25281^k)$.

cs.DS↗

arXiv2025

NP-Completeness of Deterministic Communication Complexity via Relaxed Interlacing

We prove that computing the deterministic communication complexity of a Boolean function, given its truth table, is \textsf{NP}-complete in the standard protocol-tree-depth model, addressing a meta-complexity question raised by Yao in 1979. The reduction is from $\{0,1\}$-Vector Bin Packing and produces, in polynomial time, a communication matrix whose optimal protocol depth exhibits a one-bit gap between satisfiable and unsatisfiable instances. The main technical contribution is the \emph{relaxed-interlacing} framework that makes this reduction possible. It replaces exponential-size Cartesian products with polynomial-size almost $t$-wise independent column sets, a pseudorandom substitute for full products, while preserving the lower-bound and protocol-control statements needed for the reduction. We develop these statements in two stages: first for classical interlacing, where projection arguments give clean lower bounds and separation statements, and then for relaxed interlacing, where a bridge lemma recovers the classical lower-bound and separation statements with controlled density loss. This leads to an extension theorem that lifts the classical lower bound to the relaxed setting and a near-exact separation theorem that lifts the corresponding protocol-control statement, with the present \textsf{NP}-completeness theorem as their main application here.

cs.CC↗

arXiv2024

Refuting the Direct Sum Conjecture for Total Functions in Deterministic Communication Complexity

In communication complexity the input of a function $f:X\times Y\rightarrow Z$ is distributed between two players Alice and Bob. If Alice knows only $x\in X$ and Bob only $y\in Y$, how much information must Alice and Bob share to be able to elicit the value of $f(x,y)$? Do we need $\ell$ more resources to solve $\ell$ instances of a problem? This question is the direct sum question and has been studied in many computational models. In this paper we focus on the case of 2-party deterministic communication complexity and give a counterexample to the direct sum conjecture in its strongest form. To do so we exhibit a family of functions for which the complexity of solving $\ell$ instances is less than $(1 -\epsilon )\ell$ times the complexity of solving one instance for some small enough $\epsilon>0$. We use a customised method in the analysis of our family of total functions, showing that one can force the alternation of rounds between players. This idea allows us to exploit the integrality of the complexity measure to create an increasing gap between the complexity of solving the instances independently with that of solving them together.

cs.CC↗

arXiv2018

The Fluid Mechanics of Liquid Democracy

Liquid democracy is the principle of making collective decisions by letting agents transitively delegate their votes. Despite its significant appeal, it has become apparent that a weakness of liquid democracy is that a small subset of agents may gain massive influence. To address this, we propose to change the current practice by allowing agents to specify multiple delegation options instead of just one. Much like in nature, where --- fluid mechanics teaches us --- liquid maintains an equal level in connected vessels, so do we seek to control the flow of votes in a way that balances influence as much as possible. Specifically, we analyze the problem of choosing delegations to approximately minimize the maximum number of votes entrusted to any agent, by drawing connections to the literature on confluent flow. We also introduce a random graph model for liquid democracy, and use it to demonstrate the benefits of our approach both theoretically and empirically.

cs.GT↗

arXiv2017

The Provable Virtue of Laziness in Motion Planning

The Lazy Shortest Path (LazySP) class consists of motion-planning algorithms that only evaluate edges along shortest paths between the source and target. These algorithms were designed to minimize the number of edge evaluations in settings where edge evaluation dominates the running time of the algorithm; but how close to optimal are LazySP algorithms in terms of this objective? Our main result is an analytical upper bound, in a probabilistic model, on the number of edge evaluations required by LazySP algorithms; a matching lower bound shows that these algorithms are asymptotically optimal in the worst case.

cs.RO↗

arXiv2016

A Discrete and Bounded Envy-Free Cake Cutting Protocol for Any Number of Agents

We consider the well-studied cake cutting problem in which the goal is to find an envy-free allocation based on queries from $n$ agents. The problem has received attention in computer science, mathematics, and economics. It has been a major open problem whether there exists a discrete and bounded envy-free protocol. We resolve the problem by proposing a discrete and bounded envy-free protocol for any number of agents. The maximum number of queries required by the protocol is $n^{n^{n^{n^{n^n}}}}$. We additionally show that even if we do not run our protocol to completion, it can find in at most $n^3{(n^2)}^n$ queries a partial allocation of the cake that achieves proportionality (each agent gets at least $1/n$ of the value of the whole cake) and envy-freeness. Finally we show that an envy-free partial allocation can be computed in at most $n^3{(n^2)}^n$ queries such that each agent gets a connected piece that gives the agent at least $1/(3n)$ of the value of the whole cake.

cs.DS↗

arXiv2016

Complexity of Manipulating Sequential Allocation

Sequential allocation is a simple allocation mechanism in which agents are given pre-specified turns and each agents gets the most preferred item that is still available. It has long been known that sequential allocation is not strategyproof. Bouveret and Lang (2014) presented a polynomial-time algorithm to compute a best response of an agent with respect to additively separable utilities and claimed that (1) their algorithm correctly finds a best response, and (2) each best response results in the same allocation for the manipulator. We show that both claims are false via an example. We then show that in fact the problem of computing a best response is NP-complete. On the other hand, the insights and results of Bouveret and Lang (2014) for the case of two agents still hold.

cs.GT↗

arXiv2015

A Discrete and Bounded Envy-free Cake Cutting Protocol for Four Agents

We consider the well-studied cake cutting problem in which the goal is to identify a fair allocation based on a minimal number of queries from the agents. The problem has attracted considerable attention within various branches of computer science, mathematics, and economics. Although, the elegant Selfridge-Conway envy-free protocol for three agents has been known since 1960, it has been a major open problem for the last fifty years to obtain a bounded envy-free protocol for more than three agents. We propose a discrete and bounded envy-free protocol for four agents.

cs.DS↗

arXiv2015

Egalitarianism of Random Assignment Mechanisms

We consider the egalitarian welfare aspects of random assignment mechanisms when agents have unrestricted cardinal utilities over the objects. We give bounds on how well different random assignment mechanisms approximate the optimal egalitarian value and investigate the effect that different well-known properties like ordinality, envy-freeness, and truthfulness have on the achievable egalitarian value. Finally, we conduct detailed experiments analyzing the tradeoffs between efficiency with envy-freeness or truthfulness using two prominent random assignment mechanisms --- random serial dictatorship and the probabilistic serial mechanism --- for different classes of utility functions and distributions.

cs.GT↗

arXiv2015

On the Number of Minimal Separators in Graphs

We consider the largest number of minimal separators a graph on n vertices can have at most. We give a new proof that this number is in $O( ((1+\sqrt{5})/2)^n n )$. We prove that this number is in $\omega( 1.4521^n )$, improving on the previous best lower bound of $\Omega(3^{n/3}) \subseteq \omega( 1.4422^n )$. This gives also an improved lower bound on the number of potential maximal cliques in a graph. We would like to emphasize that our proofs are short, simple, and elementary.

cs.DS↗

arXiv2015

Equilibria Under the Probabilistic Serial Rule

The probabilistic serial (PS) rule is a prominent randomized rule for assigning indivisible goods to agents. Although it is well known for its good fairness and welfare properties, it is not strategyproof. In view of this, we address several fundamental questions regarding equilibria under PS. Firstly, we show that Nash deviations under the PS rule can cycle. Despite the possibilities of cycles, we prove that a pure Nash equilibrium is guaranteed to exist under the PS rule. We then show that verifying whether a given profile is a pure Nash equilibrium is coNP-complete, and computing a pure Nash equilibrium is NP-hard. For two agents, we present a linear-time algorithm to compute a pure Nash equilibrium which yields the same assignment as the truthful profile. Finally, we conduct experiments to evaluate the quality of the equilibria that exist under the PS rule, finding that the vast majority of pure Nash equilibria yield social welfare that is at least that of the truthful profile.

cs.GT↗