-
Communication complexity of Nash equilibrium in potential games
Authors:
Yakov Babichenko,
Aviad Rubinstein
Abstract:
We prove communication complexity lower bounds for (possibly mixed) Nash equilibrium in potential games. In particular, we show that finding a Nash equilibrium requires $poly(N)$ communication in two-player $N \times N$ potential games, and $2^{poly(n)}$ communication in $n$-player two-action games. To the best of our knowledge, these are the first results to demonstrate hardness in any model of (…
▽ More
We prove communication complexity lower bounds for (possibly mixed) Nash equilibrium in potential games. In particular, we show that finding a Nash equilibrium requires $poly(N)$ communication in two-player $N \times N$ potential games, and $2^{poly(n)}$ communication in $n$-player two-action games. To the best of our knowledge, these are the first results to demonstrate hardness in any model of (possibly mixed) Nash equilibrium in potential games.
△ Less
Submitted 12 November, 2020;
originally announced November 2020.
-
The Strongish Planted Clique Hypothesis and Its Consequences
Authors:
Pasin Manurangsi,
Aviad Rubinstein,
Tselil Schramm
Abstract:
We formulate a new hardness assumption, the Strongish Planted Clique Hypothesis (SPCH), which postulates that any algorithm for planted clique must run in time $n^{Ω(\log{n})}$ (so that the state-of-the-art running time of $n^{O(\log n)}$ is optimal up to a constant in the exponent).
We provide two sets of applications of the new hypothesis. First, we show that SPCH implies (nearly) tight inappr…
▽ More
We formulate a new hardness assumption, the Strongish Planted Clique Hypothesis (SPCH), which postulates that any algorithm for planted clique must run in time $n^{Ω(\log{n})}$ (so that the state-of-the-art running time of $n^{O(\log n)}$ is optimal up to a constant in the exponent).
We provide two sets of applications of the new hypothesis. First, we show that SPCH implies (nearly) tight inapproximability results for the following well-studied problems in terms of the parameter $k$: Densest $k$-Subgraph, Smallest $k$-Edge Subgraph, Densest $k$-Subhypergraph, Steiner $k$-Forest, and Directed Steiner Network with $k$ terminal pairs. For example, we show, under SPCH, that no polynomial time algorithm achieves $o(k)$-approximation for Densest $k$-Subgraph. This inapproximability ratio improves upon the previous best $k^{o(1)}$ factor from (Chalermsook et al., FOCS 2017). Furthermore, our lower bounds hold even against fixed-parameter tractable algorithms with parameter $k$.
Our second application focuses on the complexity of graph pattern detection. For both induced and non-induced graph pattern detection, we prove hardness results under SPCH, which improves the running time lower bounds obtained by (Dalirrooyfard et al., STOC 2019) under the Exponential Time Hypothesis.
△ Less
Submitted 11 November, 2020;
originally announced November 2020.
-
Basis divisors and balanced metrics
Authors:
Yanir A. Rubinstein,
Gang Tian,
Kewei Zhang
Abstract:
Using log canonical thresholds and basis divisors Fujita--Odaka introduced purely algebro-geometric invariants $δ_m$ whose limit in $m$ is now known to characterize uniform K-stability on a Fano variety. As shown by Blum-Jonsson this carries over to a general polarization, and together with work of Berman, Boucksom, and Jonsson, it is now known that the limit of these $δ_m$-invariants characterize…
▽ More
Using log canonical thresholds and basis divisors Fujita--Odaka introduced purely algebro-geometric invariants $δ_m$ whose limit in $m$ is now known to characterize uniform K-stability on a Fano variety. As shown by Blum-Jonsson this carries over to a general polarization, and together with work of Berman, Boucksom, and Jonsson, it is now known that the limit of these $δ_m$-invariants characterizes uniform Ding stability. A basic question since Fujita-Odaka's work has been to find an analytic interpretation of these invariants. We show that each $δ_m$ is the coercivity threshold of a quantized Ding functional on the $m$-th Bergman space and thus characterizes the existence of balanced metrics. This approach has a number of applications. The most basic one is that it provides an alternative way to compute these invariants, which is new even for $\mathbb{P}^n$. Second, it allows us to introduce algebraically defined invariants that characterize the existence of Kähler-Ricci solitons (and the more general $g$-solitons of Berman-Witt Nyström), as well as coupled versions thereof. Third, it leads to approximation results involving balanced metrics in the presence of automorphisms that extend some results of Donaldson.
△ Less
Submitted 24 February, 2021; v1 submitted 20 August, 2020;
originally announced August 2020.
-
On the body of ample angles of asymptotically log Fano varieties
Authors:
Paolo Cascini,
Jesus Martinez-Garcia,
Yanir A. Rubinstein
Abstract:
In dimension two, we reduce the classification problem for asymptotically log Fano pairs to the problem of determining generality conditions on certain blow-ups. In any dimension, we prove the rationality of the body of ample angles of an asymptotically log Fano pair, i.e., these convex bodies are always rational polytopes.
In dimension two, we reduce the classification problem for asymptotically log Fano pairs to the problem of determining generality conditions on certain blow-ups. In any dimension, we prove the rationality of the body of ample angles of an asymptotically log Fano pair, i.e., these convex bodies are always rational polytopes.
△ Less
Submitted 4 January, 2022; v1 submitted 30 July, 2020;
originally announced July 2020.
-
A Simple Sublinear Algorithm for Gap Edit Distance
Authors:
Joshua Brakensiek,
Moses Charikar,
Aviad Rubinstein
Abstract:
We study the problem of estimating the edit distance between two $n$-character strings. While exact computation in the worst case is believed to require near-quadratic time, previous work showed that in certain regimes it is possible to solve the following {\em gap edit distance} problem in sub-linear time: distinguish between inputs of distance $\le k$ and $>k^2$. Our main result is a very simple…
▽ More
We study the problem of estimating the edit distance between two $n$-character strings. While exact computation in the worst case is believed to require near-quadratic time, previous work showed that in certain regimes it is possible to solve the following {\em gap edit distance} problem in sub-linear time: distinguish between inputs of distance $\le k$ and $>k^2$. Our main result is a very simple algorithm for this benchmark that runs in time $\tilde O(n/\sqrt{k})$, and in particular settles the open problem of obtaining a truly sublinear time for the entire range of relevant $k$.
Building on the same framework, we also obtain a $k$-vs-$k^2$ algorithm for the one-sided preprocessing model with $\tilde O(n)$ preprocessing time and $\tilde O(n/k)$ query time (improving over a recent $\tilde O(n/k+k^2)$-query time algorithm for the same problem [GRS'20].
△ Less
Submitted 28 July, 2020;
originally announced July 2020.
-
Smoothed Complexity of 2-player Nash Equilibria
Authors:
Shant Boodaghians,
Joshua Brakensiek,
Samuel B. Hopkins,
Aviad Rubinstein
Abstract:
We prove that computing a Nash equilibrium of a two-player ($n \times n$) game with payoffs in $[-1,1]$ is PPAD-hard (under randomized reductions) even in the smoothed analysis setting, smoothing with noise of constant magnitude. This gives a strong negative answer to conjectures of Spielman and Teng [ST06] and Cheng, Deng, and Teng [CDT09].
In contrast to prior work proving PPAD-hardness after…
▽ More
We prove that computing a Nash equilibrium of a two-player ($n \times n$) game with payoffs in $[-1,1]$ is PPAD-hard (under randomized reductions) even in the smoothed analysis setting, smoothing with noise of constant magnitude. This gives a strong negative answer to conjectures of Spielman and Teng [ST06] and Cheng, Deng, and Teng [CDT09].
In contrast to prior work proving PPAD-hardness after smoothing by noise of magnitude $1/\operatorname{poly}(n)$ [CDT09], our smoothed complexity result is not proved via hardness of approximation for Nash equilibria. This is by necessity, since Nash equilibria can be approximated to constant error in quasi-polynomial time [LMM03]. Our results therefore separate smoothed complexity and hardness of approximation for Nash equilibria in two-player games.
The key ingredient in our reduction is the use of a random zero-sum game as a gadget to produce two-player games which remain hard even after smoothing. Our analysis crucially shows that all Nash equilibria of random zero-sum games are far from pure (with high probability), and that this remains true even after smoothing.
△ Less
Submitted 21 July, 2020;
originally announced July 2020.
-
Classification of strongly asymptotically log del Pezzo flags and surfaces
Authors:
Yanir A. Rubinstein
Abstract:
We introduce the notion of strongly asymptotically log del Pezzo flags, and classify such flags under the assumption that their zero-dimensional part lies in the boundary. We use this result to give a new and conceptual proof of the classification of strongly asymptotically log del Pezzo surfaces, originally due to Cheltsov and the author.
We introduce the notion of strongly asymptotically log del Pezzo flags, and classify such flags under the assumption that their zero-dimensional part lies in the boundary. We use this result to give a new and conceptual proof of the classification of strongly asymptotically log del Pezzo surfaces, originally due to Cheltsov and the author.
△ Less
Submitted 31 August, 2022; v1 submitted 29 June, 2020;
originally announced June 2020.
-
Asymmetric Streaming Algorithms for Edit Distance and LCS
Authors:
Alireza Farhadi,
MohammadTaghi Hajiaghayi,
Aviad Rubinstein,
Saeed Seddighin
Abstract:
The edit distance (ED) and longest common subsequence (LCS) are two fundamental problems which quantify how similar two strings are to one another. In this paper, we consider these problems in the asymmetric streaming model introduced by Andoni et al. (FOCS'10) and Saks and Seshadhri (SODA'13). In this model we have random access to one string and streaming access the other string. Our main contri…
▽ More
The edit distance (ED) and longest common subsequence (LCS) are two fundamental problems which quantify how similar two strings are to one another. In this paper, we consider these problems in the asymmetric streaming model introduced by Andoni et al. (FOCS'10) and Saks and Seshadhri (SODA'13). In this model we have random access to one string and streaming access the other string. Our main contribution is a constant factor approximation algorithm for ED with the memory of $\tilde O(n^δ)$ for any constant $δ> 0$. In addition to this, we present an upper bound of $\tilde O_ε(\sqrt{n})$ on the memory needed to approximate ED or LCS within a factor $1+ε$. All our algorithms are deterministic and run in a single pass.
For approximating ED within a constant factor, we discover yet another application of triangle inequality, this time in the context of streaming algorithms. Triangle inequality has been previously used to obtain subquadratic time approximation algorithms for ED. Our technique is novel and elegantly utilizes triangle inequality to save memory at the expense of an exponential increase in the runtime.
△ Less
Submitted 16 April, 2020; v1 submitted 26 February, 2020;
originally announced February 2020.
-
Optimal Single-Choice Prophet Inequalities from Samples
Authors:
Aviad Rubinstein,
Jack Z. Wang,
S. Matthew Weinberg
Abstract:
We study the single-choice Prophet Inequality problem when the gambler is given access to samples. We show that the optimal competitive ratio of $1/2$ can be achieved with a single sample from each distribution. When the distributions are identical, we show that for any constant $\varepsilon > 0$, $O(n)$ samples from the distribution suffice to achieve the optimal competitive ratio (…
▽ More
We study the single-choice Prophet Inequality problem when the gambler is given access to samples. We show that the optimal competitive ratio of $1/2$ can be achieved with a single sample from each distribution. When the distributions are identical, we show that for any constant $\varepsilon > 0$, $O(n)$ samples from the distribution suffice to achieve the optimal competitive ratio ($\approx 0.745$) within $(1+\varepsilon)$, resolving an open problem of Correa, Dütting, Fischer, and Schewior.
△ Less
Submitted 18 November, 2019;
originally announced November 2019.
-
Tarski's Theorem, Supermodular Games, and the Complexity of Equilibria
Authors:
Kousha Etessami,
Christos Papadimitriou,
Aviad Rubinstein,
Mihalis Yannakakis
Abstract:
The use of monotonicity and Tarski's theorem in existence proofs of equilibria is very widespread in economics, while Tarski's theorem is also often used for similar purposes in the context of verification. However, there has been relatively little in the way of analysis of the complexity of finding the fixed points and equilibria guaranteed by this result. We study a computational formalism based…
▽ More
The use of monotonicity and Tarski's theorem in existence proofs of equilibria is very widespread in economics, while Tarski's theorem is also often used for similar purposes in the context of verification. However, there has been relatively little in the way of analysis of the complexity of finding the fixed points and equilibria guaranteed by this result. We study a computational formalism based on monotone functions on the $d$-dimensional grid with sides of length $N$, and their fixed points, as well as the closely connected subject of supermodular games and their equilibria. It is known that finding some (any) fixed point of a monotone function can be done in time $\log^d N$, and we show it requires at least $\log^2 N$ function evaluations already on the 2-dimensional grid, even for randomized algorithms. We show that the general Tarski problem of finding some fixed point, when the monotone function is given succinctly (by a boolean circuit), is in the class PLS of problems solvable by local search and, rather surprisingly, also in the class PPAD. Finding the greatest or least fixed point guaranteed by Tarski's theorem, however, requires $d\cdot N$ steps, and is NP-hard in the white box model. For supermodular games, we show that finding an equilibrium in such games is essentially computationally equivalent to the Tarski problem, and finding the maximum or minimum equilibrium is similarly harder. Interestingly, two-player supermodular games where the strategy space of one player is one-dimensional can be solved in $O(\log N)$ steps. We also observe that computing (approximating) the value of Condon's (Shapley's) stochastic games reduces to the Tarski problem. An important open problem highlighted by this work is proving a $Ω(\log^d N)$ lower bound for small fixed dimension $d \geq 3$.
△ Less
Submitted 7 September, 2019;
originally announced September 2019.
-
Stop the Open Data Bus, We Want to Get Off
Authors:
Dr. Chris Culnane,
A/Prof. Benjamin I. P. Rubinstein,
A/Prof. Vanessa Teague
Abstract:
The subject of this report is the re-identification of individuals in the Myki public transport dataset released as part of the Melbourne Datathon 2018. We demonstrate the ease with which we were able to re-identify ourselves, our co-travellers, and complete strangers; our analysis raises concerns about the nature and granularity of the data released, in particular the ability to identify vulnerab…
▽ More
The subject of this report is the re-identification of individuals in the Myki public transport dataset released as part of the Melbourne Datathon 2018. We demonstrate the ease with which we were able to re-identify ourselves, our co-travellers, and complete strangers; our analysis raises concerns about the nature and granularity of the data released, in particular the ability to identify vulnerable or sensitive groups.
△ Less
Submitted 14 August, 2019;
originally announced August 2019.
-
High-dimensional convex sets arising in algebraic geometry
Authors:
Yanir A. Rubinstein
Abstract:
We introduce an asymptotic notion of positivity in algebraic geometry that turns out to be related to some high-dimensional convex sets. The dimension of the convex sets grows with the number of birational operations. In the case of complex surfaces we explain how to associate a linear program to certain sequences of blow-ups and how to reduce verifying the asymptotic log positivity to checking fe…
▽ More
We introduce an asymptotic notion of positivity in algebraic geometry that turns out to be related to some high-dimensional convex sets. The dimension of the convex sets grows with the number of birational operations. In the case of complex surfaces we explain how to associate a linear program to certain sequences of blow-ups and how to reduce verifying the asymptotic log positivity to checking feasibility of the program.
△ Less
Submitted 19 June, 2019;
originally announced June 2019.
-
Small angle limits of Hamilton's footballs
Authors:
Yanir A. Rubinstein,
Kewei Zhang
Abstract:
Compact Ricci solitons on surfaces have at most two cone points, and are known as Hamilton's footballs. In this note we completely describe the degenerations of these footballs as one or both of the cone angles approaches zero. In particular, we show that Hamilton's famous non-compact cigar soliton is the Gromov--Hausdorff limit of Hamilton's compact conical teardrop solitons.
Compact Ricci solitons on surfaces have at most two cone points, and are known as Hamilton's footballs. In this note we completely describe the degenerations of these footballs as one or both of the cone angles approaches zero. In particular, we show that Hamilton's famous non-compact cigar soliton is the Gromov--Hausdorff limit of Hamilton's compact conical teardrop solitons.
△ Less
Submitted 2 May, 2019;
originally announced May 2019.
-
Reducing approximate Longest Common Subsequence to approximate Edit Distance
Authors:
Aviad Rubinstein,
Zhao Song
Abstract:
Given a pair of strings, the problems of computing their Longest Common Subsequence and Edit Distance have been extensively studied for decades. For exact algorithms, LCS and Edit Distance (with character insertions and deletions) are equivalent; the state of the art running time is (almost) quadratic and this is tight under plausible fine-grained complexity assumptions. But for approximation algo…
▽ More
Given a pair of strings, the problems of computing their Longest Common Subsequence and Edit Distance have been extensively studied for decades. For exact algorithms, LCS and Edit Distance (with character insertions and deletions) are equivalent; the state of the art running time is (almost) quadratic and this is tight under plausible fine-grained complexity assumptions. But for approximation algorithms the picture is different: there is a long line of works with improved approximation factors for Edit Distance, but for LCS (with binary strings) only a trivial $1/2$-approximation was known. In this work we give a reduction from approximate LCS to approximate Edit Distance, yielding the first efficient $(1/2+ε)$-approximation algorithm for LCS for some constant $ε>0$.
△ Less
Submitted 10 April, 2019;
originally announced April 2019.
-
Constant-factor approximation of near-linear edit distance in near-linear time
Authors:
Joshua Brakensiek,
Aviad Rubinstein
Abstract:
We show that the edit distance between two strings of length $n$ can be computed within a factor of $f(ε)$ in $n^{1+ε}$ time as long as the edit distance is at least $n^{1-δ}$ for some $δ(ε) > 0$.
We show that the edit distance between two strings of length $n$ can be computed within a factor of $f(ε)$ in $n^{1+ε}$ time as long as the edit distance is at least $n^{1-δ}$ for some $δ(ε) > 0$.
△ Less
Submitted 28 January, 2020; v1 submitted 10 April, 2019;
originally announced April 2019.
-
Probing the Inner Disk Emission of the Herbig Ae Stars HD 163296 and HD 190073
Authors:
Benjamin R. Setterholm,
John D. Monnier,
Claire L. Davies,
Alexander Kreplin,
Stefan Kraus,
Fabien Baron,
Alicia Aarnio,
Jean-Philippe Berger,
Nuria Calvet,
Michel Curé,
Samer Kanaan,
Brian Kloppenborg,
Jean-Baptiste Le Bouquin,
Rafael Millan-Gabet,
Adam E. Rubinstein,
Michael L. Sitko,
Judit Sturmann,
Theo A. ten Brummelaar,
Yamina Touhami
Abstract:
The physical processes occurring within the inner few astronomical units of proto-planetary disks surrounding Herbig Ae stars are crucial to setting the environment in which the outer planet-forming disk evolves and put critical constraints on the processes of accretion and planet migration. We present the most complete published sample of high angular resolution H- and K-band observations of the…
▽ More
The physical processes occurring within the inner few astronomical units of proto-planetary disks surrounding Herbig Ae stars are crucial to setting the environment in which the outer planet-forming disk evolves and put critical constraints on the processes of accretion and planet migration. We present the most complete published sample of high angular resolution H- and K-band observations of the stars HD 163296 and HD 190073, including 30 previously unpublished nights of observations of the former and 45 nights of the latter with the CHARA long-baseline interferometer, in addition to archival VLTI data. We confirm previous observations suggesting significant near-infrared emission originates within the putative dust evaporation front of HD 163296 and show this is the case for HD 190073 as well. The H- and K-band sizes are the same within $(3 \pm 3)\%$ for HD 163296 and within $(6 \pm 10)\%$ for HD 190073. The radial surface brightness profiles for both disks are remarkably Gaussian-like with little or no sign of the sharp edge expected for a dust evaporation front. Coupled with spectral energy distribution analysis, our direct measurements of the stellar flux component at H and K bands suggest that HD 190073 is much younger (<400 kyr) and more massive (~5.6 M$_\odot$) than previously thought, mainly as a consequence of the new Gaia distance (891 pc).
△ Less
Submitted 9 November, 2018;
originally announced November 2018.
-
An Optimal Approximation for Submodular Maximization under a Matroid Constraint in the Adaptive Complexity Model
Authors:
Eric Balkanski,
Aviad Rubinstein,
Yaron Singer
Abstract:
In this paper we study submodular maximization under a matroid constraint in the adaptive complexity model. This model was recently introduced in the context of submodular optimization in [BS18a] to quantify the information theoretic complexity of black-box optimization in a parallel computation model. Informally, the adaptivity of an algorithm is the number of sequential rounds it makes when each…
▽ More
In this paper we study submodular maximization under a matroid constraint in the adaptive complexity model. This model was recently introduced in the context of submodular optimization in [BS18a] to quantify the information theoretic complexity of black-box optimization in a parallel computation model. Informally, the adaptivity of an algorithm is the number of sequential rounds it makes when each round can execute polynomially-many function evaluations in parallel. Since submodular optimization is regularly applied on large datasets we seek algorithms with low adaptivity to enable speedups via parallelization. Consequently, a recent line of work has been devoted to designing constant factor approximation algorithms for maximizing submodular functions under various constraints in the adaptive complexity model [BS18a, BS18b, BBS18, BRS19, EN19, FMZ19, CQ19, ENV18, FMZ18].
Despite the burst in work on submodular maximization in the adaptive complexity model the fundamental problem of maximizing a monotone submodular function under a matroid constraint has remained elusive. In particular, all known techniques fail for this problem and there are no known constant factor approximation algorithms whose adaptivity is sublinear in the rank of the matroid $k$ or in the worst case sublinear in the size of the ground set $n$.
In this paper we present an approximation algorithm for the problem of maximizing a monotone submodular function under a matroid constraint in the adaptive complexity model. The approximation guarantee of the algorithm is arbitrarily close to the optimal $1-1/e$ and it has near optimal adaptivity of $O(\log(n)\log(k))$. This result is obtained using a novel technique of adaptive sequencing which departs from previous techniques for submodular maximization in the adaptive complexity model.
△ Less
Submitted 7 November, 2018;
originally announced November 2018.
-
On the Ricci iteration for homogeneous metrics on spheres and projective spaces
Authors:
Timothy Buttsworth,
Artem Pulemotov,
Yanir A. Rubinstein,
Wolfgang Ziller
Abstract:
We study the Ricci iteration for homogeneous metrics on spheres and complex projective spaces. Such metrics can be described in terms of modifying the canonical metric on the fibers of a Hopf fibration. When the fibers of the Hopf fibration are circles or spheres of dimension 2 or 7, we observe that the Ricci iteration as well as all ancient Ricci iterations can be completely described using known…
▽ More
We study the Ricci iteration for homogeneous metrics on spheres and complex projective spaces. Such metrics can be described in terms of modifying the canonical metric on the fibers of a Hopf fibration. When the fibers of the Hopf fibration are circles or spheres of dimension 2 or 7, we observe that the Ricci iteration as well as all ancient Ricci iterations can be completely described using known results. The remaining and most challenging case is when the fibers are spheres of dimension 3. On the 3-sphere itself, using a result of Hamilton on the prescribed Ricci curvature equation, we establish existence and convergence of the Ricci iteration and confirm in this setting a conjecture on the relationship between ancient Ricci iterations and ancient solutions to the Ricci flow. In higher dimensions we obtain sufficient conditions for the solvability of the prescribed Ricci curvature equation as well as partial results on the behavior of the Ricci iteration.
△ Less
Submitted 5 November, 2018;
originally announced November 2018.
-
Near-Linear Time Insertion-Deletion Codes and (1+$\varepsilon$)-Approximating Edit Distance via Indexing
Authors:
Bernhard Haeupler,
Aviad Rubinstein,
Amirbehshad Shahrasbi
Abstract:
We introduce fast-decodable indexing schemes for edit distance which can be used to speed up edit distance computations to near-linear time if one of the strings is indexed by an indexing string $I$. In particular, for every length $n$ and every $\varepsilon >0$, one can in near linear time construct a string $I \in Σ'^n$ with $|Σ'| = O_{\varepsilon}(1)$, such that, indexing any string…
▽ More
We introduce fast-decodable indexing schemes for edit distance which can be used to speed up edit distance computations to near-linear time if one of the strings is indexed by an indexing string $I$. In particular, for every length $n$ and every $\varepsilon >0$, one can in near linear time construct a string $I \in Σ'^n$ with $|Σ'| = O_{\varepsilon}(1)$, such that, indexing any string $S \in Σ^n$, symbol-by-symbol, with $I$ results in a string $S' \in Σ''^n$ where $Σ'' = Σ\times Σ'$ for which edit distance computations are easy, i.e., one can compute a $(1+\varepsilon)$-approximation of the edit distance between $S'$ and any other string in $O(n \text{poly}(\log n))$ time.
Our indexing schemes can be used to improve the decoding complexity of state-of-the-art error correcting codes for insertions and deletions. In particular, they lead to near-linear time decoding algorithms for the insertion-deletion codes of [Haeupler, Shahrasbi; STOC `17] and faster decoding algorithms for list-decodable insertion-deletion codes of [Haeupler, Shahrasbi, Sudan; ICALP `18]. Interestingly, the latter codes are a crucial ingredient in the construction of fast-decodable indexing schemes.
△ Less
Submitted 9 April, 2019; v1 submitted 28 October, 2018;
originally announced October 2018.
-
Basis log canonical thresholds, local intersection estimates, and asymptotically log del Pezzo surfaces
Authors:
Ivan A. Cheltsov,
Yanir A. Rubinstein,
Kewei Zhang
Abstract:
The purpose of this article is to develop techniques for estimating basis log canonical thresholds on logarithmic surfaces. To that end, we develop new local intersection estimates that imply log canonicity. Our main motivation and application is to show the existence of Kahler-Einstein edge metrics on all but finitely many families of asymptotically log del Pezzo surfaces, partially confirming a…
▽ More
The purpose of this article is to develop techniques for estimating basis log canonical thresholds on logarithmic surfaces. To that end, we develop new local intersection estimates that imply log canonicity. Our main motivation and application is to show the existence of Kahler-Einstein edge metrics on all but finitely many families of asymptotically log del Pezzo surfaces, partially confirming a conjecture of two of us. In an appendix we show that the basis log canonical threshold of Fujita-Odaka coincides with the greatest lower Ricci bound invariant of Tian.
△ Less
Submitted 24 July, 2018; v1 submitted 18 July, 2018;
originally announced July 2018.
-
Tian's properness conjectures: an introduction to Kahler geometry
Authors:
Yanir A. Rubinstein
Abstract:
This manuscript served as lecture notes for a mini-course in the 2016 Southern California Geometric Analysis Seminar Winter School. The goal is to give a quick introduction to Kahler geometry by describing the recent resolution of Tian's three influential properness conjectures in joint work with T. Darvas. These results---inspired by and analogous to work on the Yamabe problem in conformal geomet…
▽ More
This manuscript served as lecture notes for a mini-course in the 2016 Southern California Geometric Analysis Seminar Winter School. The goal is to give a quick introduction to Kahler geometry by describing the recent resolution of Tian's three influential properness conjectures in joint work with T. Darvas. These results---inspired by and analogous to work on the Yamabe problem in conformal geometry---give an analytic characterization for the existence of Kahler--Einstein metrics and other important canonical metrics in complex geometry, as well as strong borderline Sobolev type inequalities referred to as the (strong) Moser--Trudinger inequalities.
△ Less
Submitted 2 July, 2018;
originally announced July 2018.
-
Quantization in geometric pluripotential theory
Authors:
Tamás Darvas,
Chinh H. Lu,
Yanir A. Rubinstein
Abstract:
The space of Kähler metrics can, on the one hand, be approximated by subspaces of algebraic metrics, while, on the other hand, can be enlarged to finite-energy spaces arising in pluripotential theory. The latter spaces are realized as metric completions of Finsler structures on the space of Kähler metrics. The former spaces are the finite-dimensional spaces of Fubini--Study metrics of Kähler quant…
▽ More
The space of Kähler metrics can, on the one hand, be approximated by subspaces of algebraic metrics, while, on the other hand, can be enlarged to finite-energy spaces arising in pluripotential theory. The latter spaces are realized as metric completions of Finsler structures on the space of Kähler metrics. The former spaces are the finite-dimensional spaces of Fubini--Study metrics of Kähler quantization. The goal of this article is to draw a connection between the two. We show that the Finsler structures on the space of Kähler potentials can be quantized. More precisely, given a Kähler manifold polarized by an ample line bundle we endow the space of Hermitian metrics on powers of that line bundle with Finsler structures and show that the resulting path length metric spaces recover the corresponding metric completions of the Finsler structures on the space of Kähler potentials. This has a number of applications, among them a new approach to the rooftop envelopes and Pythagorean formulas of Kähler geometry, a new Lidskii type inequality on the space of Kähler metrics, and approximation of finite energy potentials, as well as geodesic segments by the corresponding smooth algebraic objects.
△ Less
Submitted 11 June, 2018;
originally announced June 2018.
-
Near-Optimal Communication Lower Bounds for Approximate Nash Equilibria
Authors:
Mika Göös,
Aviad Rubinstein
Abstract:
We prove an $N^{2-o(1)}$ lower bound on the randomized communication complexity of finding an $ε$-approximate Nash equilibrium (for constant $ε>0$) in a two-player $N\times N$ game.
We prove an $N^{2-o(1)}$ lower bound on the randomized communication complexity of finding an $ε$-approximate Nash equilibrium (for constant $ε>0$) in a two-player $N\times N$ game.
△ Less
Submitted 16 May, 2018;
originally announced May 2018.
-
Fine-grained Complexity Meets IP = PSPACE
Authors:
Lijie Chen,
Shafi Goldwasser,
Kaifeng Lyu,
Guy N. Rothblum,
Aviad Rubinstein
Abstract:
In this paper we study the fine-grained complexity of finding exact and approximate solutions to problems in P. Our main contribution is showing reductions from exact to approximate solution for a host of such problems.
As one (notable) example, we show that the Closest-LCS-Pair problem (Given two sets of strings $A$ and $B$, compute exactly the maximum $\textsf{LCS}(a, b)$ with…
▽ More
In this paper we study the fine-grained complexity of finding exact and approximate solutions to problems in P. Our main contribution is showing reductions from exact to approximate solution for a host of such problems.
As one (notable) example, we show that the Closest-LCS-Pair problem (Given two sets of strings $A$ and $B$, compute exactly the maximum $\textsf{LCS}(a, b)$ with $(a, b) \in A \times B$) is equivalent to its approximation version (under near-linear time reductions, and with a constant approximation factor). More generally, we identify a class of problems, which we call BP-Pair-Class, comprising both exact and approximate solutions, and show that they are all equivalent under near-linear time reductions.
Exploring this class and its properties, we also show:
$\bullet$ Under the NC-SETH assumption (a significantly more relaxed assumption than SETH), solving any of the problems in this class requires essentially quadratic time.
$\bullet$ Modest improvements on the running time of known algorithms (shaving log factors) would imply that NEXP is not in non-uniform $\textsf{NC}^1$.
$\bullet$ Finally, we leverage our techniques to show new barriers for deterministic approximation algorithms for LCS.
At the heart of these new results is a deep connection between interactive proof systems for bounded-space computations and the fine-grained complexity of exact and approximate solutions to problems in P. In particular, our results build on the proof techniques from the classical IP = PSPACE result.
△ Less
Submitted 9 December, 2022; v1 submitted 7 May, 2018;
originally announced May 2018.
-
A Cavity of Large Grains in the Disk Around the Group II Herbig Ae/Be Star HD 142666
Authors:
Adam E. Rubinstein,
Enrique Macias,
Catherine C. Espaillat,
Ke Zhang,
Nuria Calvet,
Connor Robinson
Abstract:
Herbig Ae/Be (HAeBe) stars have been classified into Group I or Group II, which were initially thought to be flared and flat disks, respectively. Several Group I sources have been shown to have large gaps, suggesting ongoing planet formation, while no large gaps have been found in the disks of Group II sources. We analyzed the disk around the Group II source, HD 142666, using irradiated accretion…
▽ More
Herbig Ae/Be (HAeBe) stars have been classified into Group I or Group II, which were initially thought to be flared and flat disks, respectively. Several Group I sources have been shown to have large gaps, suggesting ongoing planet formation, while no large gaps have been found in the disks of Group II sources. We analyzed the disk around the Group II source, HD 142666, using irradiated accretion disk modeling of the broad-band spectral energy distribution along with the 1.3 millimeter spatial brightness distribution traced by Atacama Large Millimeter and Submillimeter Array (ALMA) observations. Our model reproduces the available data, predicting a high degree of dust settling in the disk, which is consistent with the Group II classification of HD 142666. In addition, the observed visibilities and synthesized image could only be reproduced when including a depletion of large grains out to ~16 au in our disk model, although the ALMA observations did not have enough angular resolution to fully resolve the inner parts of the disk. These results may suggest that some disks around Group II HAeBe stars have cavities of large grains as well. Further ALMA observations of Group II sources are needed to discern how commonly cavities occur in this class of objects, as well as to reveal their possible origins.
△ Less
Submitted 19 April, 2018;
originally announced April 2018.
-
Optimal Deterministic Mechanisms for an Additive Buyer
Authors:
Moshe Babaioff,
Noam Nisan,
Aviad Rubinstein
Abstract:
We study revenue maximization by deterministic mechanisms for the simplest case for which Myerson's characterization does not hold: a single seller selling two items, with independently distributed values, to a single additive buyer. We prove that optimal mechanisms are submodular and hence monotone. Furthermore, we show that in the IID case, optimal mechanisms are symmetric. Our characterizations…
▽ More
We study revenue maximization by deterministic mechanisms for the simplest case for which Myerson's characterization does not hold: a single seller selling two items, with independently distributed values, to a single additive buyer. We prove that optimal mechanisms are submodular and hence monotone. Furthermore, we show that in the IID case, optimal mechanisms are symmetric. Our characterizations are surprisingly non-trivial, and we show that they fail to extend in several natural ways, e.g. for correlated distributions or more than two items. In particular, this shows that the optimality of symmetric mechanisms does not follow from the symmetry of the IID distribution.
△ Less
Submitted 18 April, 2018;
originally announced April 2018.
-
An Exponential Speedup in Parallel Running Time for Submodular Maximization without Loss in Approximation
Authors:
Eric Balkanski,
Aviad Rubinstein,
Yaron Singer
Abstract:
In this paper we study the adaptivity of submodular maximization. Adaptivity quantifies the number of sequential rounds that an algorithm makes when function evaluations can be executed in parallel. Adaptivity is a fundamental concept that is heavily studied across a variety of areas in computer science, largely due to the need for parallelizing computation. For the canonical problem of maximizing…
▽ More
In this paper we study the adaptivity of submodular maximization. Adaptivity quantifies the number of sequential rounds that an algorithm makes when function evaluations can be executed in parallel. Adaptivity is a fundamental concept that is heavily studied across a variety of areas in computer science, largely due to the need for parallelizing computation. For the canonical problem of maximizing a monotone submodular function under a cardinality constraint, it is well known that a simple greedy algorithm achieves a $1-1/e$ approximation and that this approximation is optimal for polynomial-time algorithms. Somewhat surprisingly, despite extensive efforts on submodular optimization for large-scale datasets, until very recently there was no known algorithm that achieves a constant factor approximation for this problem whose adaptivity is sublinear in the size of the ground set $n$.
Recent work by Balkanski and Singer describes an algorithm that obtains an approximation arbitrarily close to $1/3$ in $\mathcal{O}(\log n)$ adaptive rounds and shows that no algorithm can obtain a constant factor approximation in $\tilde{o}(\log n)$ adaptive rounds. This approach achieves an exponential speedup in adaptivity (and parallel running time) at the expense of approximation quality.
In this paper we describe a novel approach that yields an algorithm whose approximation is arbitrarily close to the optimal $1-1/e$ guarantee in $\mathcal{O}(\log n)$ adaptive rounds. This algorithm therefore achieves an exponential speedup in parallel running time for submodular maximization at the expense of an arbitrarily small loss in approximation quality. This guarantee is optimal in both approximation and adaptivity, up to lower order terms.
△ Less
Submitted 17 April, 2018;
originally announced April 2018.
-
Hardness of Approximate Nearest Neighbor Search
Authors:
Aviad Rubinstein
Abstract:
We prove conditional near-quadratic running time lower bounds for approximate Bichromatic Closest Pair with Euclidean, Manhattan, Hamming, or edit distance. Specifically, unless the Strong Exponential Time Hypothesis (SETH) is false, for every $δ>0$ there exists a constant $ε>0$ such that computing a $(1+ε)$-approximation to the Bichromatic Closest Pair requires $n^{2-δ}$ time. In particular, this…
▽ More
We prove conditional near-quadratic running time lower bounds for approximate Bichromatic Closest Pair with Euclidean, Manhattan, Hamming, or edit distance. Specifically, unless the Strong Exponential Time Hypothesis (SETH) is false, for every $δ>0$ there exists a constant $ε>0$ such that computing a $(1+ε)$-approximation to the Bichromatic Closest Pair requires $n^{2-δ}$ time. In particular, this implies a near-linear query time for Approximate Nearest Neighbor search with polynomial preprocessing time.
Our reduction uses the Distributed PCP framework of [ARW'17], but obtains improved efficiency using Algebraic Geometry (AG) codes. Efficient PCPs from AG codes have been constructed in other settings before [BKKMS'16, BCGRS'17], but our construction is the first to yield new hardness results.
△ Less
Submitted 2 March, 2018;
originally announced March 2018.
-
Robust positioning of drones for land use monitoring in strong terrain relief using vision-based navigation
Authors:
Oleg Kupervasser,
Vitalii Sarychev,
Alexander Rubinstein,
Roman Yavich
Abstract:
For land use monitoring, the main problems are robust positioning in urban canyons and strong terrain reliefs with the use of GPS system only. Indeed, satellite signal reflection and shielding in urban canyons and strong terrain relief results in problems with correct positioning. Using GNSS-RTK does not solve the problem completely because in some complex situations the whole satellite's system w…
▽ More
For land use monitoring, the main problems are robust positioning in urban canyons and strong terrain reliefs with the use of GPS system only. Indeed, satellite signal reflection and shielding in urban canyons and strong terrain relief results in problems with correct positioning. Using GNSS-RTK does not solve the problem completely because in some complex situations the whole satellite's system works incorrectly. We transform the weakness (urban canyons and strong terrain relief) to an advantage. It is a vision-based navigation using a map of the terrain relief. We investigate and demonstrate the effectiveness of this technology in Chinese region Xiaoshan. The accuracy of the vision-based navigation system corresponds to the expected for these conditions. . It was concluded that the maximum position error based on vision-based navigation is 20 m and the maximum angle Euler error based on vision-based navigation is 0.83 degree. In case of camera movement, the maximum position error based on vision-based navigation is 30m and the maximum Euler angle error based on vision-based navigation is 2.2 degrees.
△ Less
Submitted 20 February, 2018;
originally announced March 2018.
-
99\% Revenue via Enhanced Competition
Authors:
Michal Feldman,
Ophir Friedler,
Aviad Rubinstein
Abstract:
A sequence of recent studies show that even in the simple setting of a single seller and a single buyer with additive, independent valuations over $m$ items, the revenue-maximizing mechanism is prohibitively complex. This problem has been addressed using two main approaches: (i) Approximation: the best of two simple mechanisms (sell each item separately, or sell all the items as one bundle) gives…
▽ More
A sequence of recent studies show that even in the simple setting of a single seller and a single buyer with additive, independent valuations over $m$ items, the revenue-maximizing mechanism is prohibitively complex. This problem has been addressed using two main approaches: (i) Approximation: the best of two simple mechanisms (sell each item separately, or sell all the items as one bundle) gives $1/6$ of the optimal revenue [BILW14]. (ii) Enhanced competition: running the simple VCG mechanism with additional $m$ buyers extracts at least the optimal revenue in the original market [EFFTW17]. Both approaches, however, suffer from severe drawbacks: On the one hand, losing $83\%$ of the revenue is hardly acceptable in any application. On the other hand, attracting a linear number of new buyers may be prohibitive. Our main result is that by combining the two approaches one can achieve the best of both worlds. Specifically, for any constant $ε$ one can obtain a $(1-ε)$ fraction of the optimal revenue by running simple mechanisms --- either selling each item separately or selling all items as a single bundle --- with substantially fewer additional buyers: logarithmic, constant, or even none in some cases.
△ Less
Submitted 9 January, 2018;
originally announced January 2018.
-
Linking Signatures of Accretion with Magnetic Field Measurements - Line Profiles are not Significantly Different in Magnetic and Non-Magnetic Herbig Ae/Be Stars
Authors:
Megan Reiter,
Nuria Calvet,
Thanawuth Thanathibodee,
Stefan Kraus,
P. Wilson Cauley,
John Monnier,
Adam Rubinstein,
Alicia Aarnio,
Tim J. Harries
Abstract:
Herbig Ae/Be stars are young, pre-main-sequence stars that sample the transition in structure and evolution between low- and high-mass stars, providing a key test of accretion processes in higher-mass stars. Few Herbig Ae/Be stars have detected magnetic fields, calling into question whether the magnetospheric accretion paradigm developed for low-mass stars can be scaled to higher masses. We presen…
▽ More
Herbig Ae/Be stars are young, pre-main-sequence stars that sample the transition in structure and evolution between low- and high-mass stars, providing a key test of accretion processes in higher-mass stars. Few Herbig Ae/Be stars have detected magnetic fields, calling into question whether the magnetospheric accretion paradigm developed for low-mass stars can be scaled to higher masses. We present He I 10830 Å line profiles for 64 Herbig Ae/Be stars with a magnetic field measurement in order to test magnetospheric accretion in the physical regime where its efficacy remains uncertain. Of the 5 stars with a magnetic field detection, 1 shows redshifted absorption, indicative of infall, and 2 show blueshifted absorption, tracing mass outflow. The fraction of redshifted and blueshifted absorption profiles in the non-magnetic Herbig Ae/Be stars is remarkably similar, suggesting that the stellar magnetic field does not affect gas kinematics traced by He I 10830 Å. Line profile morphology does not correlate with the luminosity, rotation rate, mass accretion rate, or disk inclination. Only the detection of a magnetic field and a nearly face-on disk inclination show a correlation (albeit for few sources). This provides further evidence for weaker dipoles and more complex field topologies as stars develop a radiative envelope. The small number of magnetic Herbig Ae/Be stars has already called into question whether magnetospheric accretion can be scaled to higher masses; accretion signatures are not substantially different in magnetic Herbig Ae/Be stars, casting further doubt that they accrete in the same manner as classical T Tauri stars.
△ Less
Submitted 13 November, 2017;
originally announced November 2017.
-
Computing exact minimum cuts without knowing the graph
Authors:
Aviad Rubinstein,
Tselil Schramm,
S. Matthew Weinberg
Abstract:
We give query-efficient algorithms for the global min-cut and the s-t cut problem in unweighted, undirected graphs. Our oracle model is inspired by the submodular function minimization problem: on query $S \subset V$, the oracle returns the size of the cut between $S$ and $V \setminus S$.
We provide algorithms computing an exact minimum $s$-$t$ cut in $G$ with $\tilde{O}(n^{5/3})$ queries, and c…
▽ More
We give query-efficient algorithms for the global min-cut and the s-t cut problem in unweighted, undirected graphs. Our oracle model is inspired by the submodular function minimization problem: on query $S \subset V$, the oracle returns the size of the cut between $S$ and $V \setminus S$.
We provide algorithms computing an exact minimum $s$-$t$ cut in $G$ with $\tilde{O}(n^{5/3})$ queries, and computing an exact global minimum cut of $G$ with only $\tilde{O}(n)$ queries (while learning the graph requires $\tildeΘ(n^2)$ queries).
△ Less
Submitted 5 August, 2019; v1 submitted 8 November, 2017;
originally announced November 2017.
-
Distributed PCP Theorems for Hardness of Approximation in P
Authors:
Amir Abboud,
Aviad Rubinstein,
Ryan Williams
Abstract:
We present a new distributed model of probabilistically checkable proofs (PCP). A satisfying assignment $x \in \{0,1\}^n$ to a CNF formula $\varphi$ is shared between two parties, where Alice knows $x_1, \dots, x_{n/2}$, Bob knows $x_{n/2+1},\dots,x_n$, and both parties know $\varphi$. The goal is to have Alice and Bob jointly write a PCP that $x$ satisfies $\varphi$, while exchanging little or no…
▽ More
We present a new distributed model of probabilistically checkable proofs (PCP). A satisfying assignment $x \in \{0,1\}^n$ to a CNF formula $\varphi$ is shared between two parties, where Alice knows $x_1, \dots, x_{n/2}$, Bob knows $x_{n/2+1},\dots,x_n$, and both parties know $\varphi$. The goal is to have Alice and Bob jointly write a PCP that $x$ satisfies $\varphi$, while exchanging little or no information. Unfortunately, this model as-is does not allow for nontrivial query complexity. Instead, we focus on a non-deterministic variant, where the players are helped by Merlin, a third party who knows all of $x$.
Using our framework, we obtain, for the first time, PCP-like reductions from the Strong Exponential Time Hypothesis (SETH) to approximation problems in P. In particular, under SETH we show that there are no truly-subquadratic approximation algorithms for Bichromatic Maximum Inner Product over {0,1}-vectors, Bichromatic LCS Closest Pair over permutations, Approximate Regular Expression Matching, and Diameter in Product Metric. All our inapproximability factors are nearly-tight. In particular, for the first two problems we obtain nearly-polynomial factors of $2^{(\log n)^{1-o(1)}}$; only $(1+o(1))$-factor lower bounds (under SETH) were known before.
△ Less
Submitted 31 October, 2017; v1 submitted 20 June, 2017;
originally announced June 2017.
-
Inapproximability of VC Dimension and Littlestone's Dimension
Authors:
Pasin Manurangsi,
Aviad Rubinstein
Abstract:
We study the complexity of computing the VC Dimension and Littlestone's Dimension. Given an explicit description of a finite universe and a concept class (a binary matrix whose $(x,C)$-th entry is $1$ iff element $x$ belongs to concept $C$), both can be computed exactly in quasi-polynomial time ($n^{O(\log n)}$). Assuming the randomized Exponential Time Hypothesis (ETH), we prove nearly matching l…
▽ More
We study the complexity of computing the VC Dimension and Littlestone's Dimension. Given an explicit description of a finite universe and a concept class (a binary matrix whose $(x,C)$-th entry is $1$ iff element $x$ belongs to concept $C$), both can be computed exactly in quasi-polynomial time ($n^{O(\log n)}$). Assuming the randomized Exponential Time Hypothesis (ETH), we prove nearly matching lower bounds on the running time, that hold even for approximation algorithms.
△ Less
Submitted 26 May, 2017;
originally announced May 2017.
-
Convergence of the Kähler-Ricci iteration
Authors:
Tamás Darvas,
Yanir A. Rubinstein
Abstract:
The Ricci iteration is a discrete analogue of the Ricci flow. According to Perelman, the Ricci flow converges to a Kahler-Einstein metric whenever one exists, and it has been conjectured that the Ricci iteration should behave similarly. This article confirms this conjecture. As a special case, this gives a new method of uniformization of the Riemann sphere.
The Ricci iteration is a discrete analogue of the Ricci flow. According to Perelman, the Ricci flow converges to a Kahler-Einstein metric whenever one exists, and it has been conjectured that the Ricci iteration should behave similarly. This article confirms this conjecture. As a special case, this gives a new method of uniformization of the Riemann sphere.
△ Less
Submitted 17 May, 2017;
originally announced May 2017.
-
Detecting communities is hard, and counting them is even harder
Authors:
Aviad Rubinstein
Abstract:
We consider the algorithmic problem of community detection in networks. Given an undirected friendship graph $G=\left(V,E\right)$, a subset $S\subseteq V$ is an $\left(α,β\right)$-community if:
* Every member of the community is friends with an $α$-fraction of the community;
* Every non-member is friends with at most a $β$-fraction of the community.
Arora et al [AGSS12] gave a quasi-polynomi…
▽ More
We consider the algorithmic problem of community detection in networks. Given an undirected friendship graph $G=\left(V,E\right)$, a subset $S\subseteq V$ is an $\left(α,β\right)$-community if:
* Every member of the community is friends with an $α$-fraction of the community;
* Every non-member is friends with at most a $β$-fraction of the community.
Arora et al [AGSS12] gave a quasi-polynomial time algorithm for enumerating all the $\left(α,β\right)$-communities for any constants $α>β$.
Here, we prove that, assuming the Exponential Time Hypothesis (ETH), quasi-polynomial time is in fact necessary - and even for a much weaker approximation desideratum. Namely, distinguishing between:
* $G$ contains an $\left(1,o\left(1\right)\right)$-community; and
* $G$ does not contain an $\left(β+o\left(1\right),β\right)$-community for any $β\in\left[0,1\right]$.
We also prove that counting the number of $\left(1,o\left(1\right)\right)$-communities requires quasi-polynomial time assuming the weaker #ETH.
△ Less
Submitted 24 November, 2016;
originally announced November 2016.
-
Combinatorial Prophet Inequalities
Authors:
Aviad Rubinstein,
Sahil Singla
Abstract:
We introduce a novel framework of Prophet Inequalities for combinatorial valuation functions. For a (non-monotone) submodular objective function over an arbitrary matroid feasibility constraint, we give an $O(1)$-competitive algorithm. For a monotone subadditive objective function over an arbitrary downward-closed feasibility constraint, we give an $O(\log n \log^2 r)$-competitive algorithm (where…
▽ More
We introduce a novel framework of Prophet Inequalities for combinatorial valuation functions. For a (non-monotone) submodular objective function over an arbitrary matroid feasibility constraint, we give an $O(1)$-competitive algorithm. For a monotone subadditive objective function over an arbitrary downward-closed feasibility constraint, we give an $O(\log n \log^2 r)$-competitive algorithm (where $r$ is the cardinality of the largest feasible subset).
Inspired by the proof of our subadditive prophet inequality, we also obtain an $O(\log n \cdot \log^2 r)$-competitive algorithm for the Secretary Problem with a monotone subadditive objective function subject to an arbitrary downward-closed feasibility constraint. Even for the special case of a cardinality feasibility constraint, our algorithm circumvents an $Ω(\sqrt{n})$ lower bound by Bateni, Hajiaghayi, and Zadimoghaddam \cite{BHZ13-submodular-secretary_original} in a restricted query model.
En route to our submodular prophet inequality, we prove a technical result of independent interest: we show a variant of the Correlation Gap Lemma for non-monotone submodular functions.
△ Less
Submitted 2 November, 2016;
originally announced November 2016.
-
Communication complexity of approximate Nash equilibria
Authors:
Yakov Babichenko,
Aviad Rubinstein
Abstract:
For a constant $ε$, we prove a poly(N) lower bound on the (randomized) communication complexity of $ε$-Nash equilibrium in two-player NxN games. For n-player binary-action games we prove an exp(n) lower bound for the (randomized) communication complexity of $(ε,ε)$-weak approximate Nash equilibrium, which is a profile of mixed actions such that at least $(1-ε)$-fraction of the players are $ε$-best…
▽ More
For a constant $ε$, we prove a poly(N) lower bound on the (randomized) communication complexity of $ε$-Nash equilibrium in two-player NxN games. For n-player binary-action games we prove an exp(n) lower bound for the (randomized) communication complexity of $(ε,ε)$-weak approximate Nash equilibrium, which is a profile of mixed actions such that at least $(1-ε)$-fraction of the players are $ε$-best replying.
△ Less
Submitted 13 September, 2016; v1 submitted 23 August, 2016;
originally announced August 2016.
-
Complex Legendre duality
Authors:
Bo Berndtsson,
Dario Cordero-Erausquin,
Bo'az Klartag,
Yanir A. Rubinstein
Abstract:
We introduce complex generalizations of the classical Legendre transform, operating on Kähler metrics on a compact complex manifold. These Legendre transforms give explicit local isometric symmetries for the Mabuchi metric on the space of Kähler metrics around any real analytic Kähler metric, answering a question originating in Semmes' work.
We introduce complex generalizations of the classical Legendre transform, operating on Kähler metrics on a compact complex manifold. These Legendre transforms give explicit local isometric symmetries for the Mabuchi metric on the space of Kähler metrics around any real analytic Kähler metric, answering a question originating in Semmes' work.
△ Less
Submitted 19 August, 2016;
originally announced August 2016.
-
Complex interpolation of $\mathbb{R}$-norms, duality and foliations
Authors:
Bo Berndtsson,
Dario Cordero-Erausquin,
Bo'az Klartag,
Yanir A. Rubinstein
Abstract:
The complex method of interpolation, going back to Calderón and Coifman et al., on the one hand, and the Alexander-Wermer-Slodkowski theorem on polynomial hulls with convex fibers, on the other hand, are generalized to a method of interpolation of real (finite-dimensional) Banach spaces and of convex functions. The underlying duality in this method is given by the Legendre transform. Our results c…
▽ More
The complex method of interpolation, going back to Calderón and Coifman et al., on the one hand, and the Alexander-Wermer-Slodkowski theorem on polynomial hulls with convex fibers, on the other hand, are generalized to a method of interpolation of real (finite-dimensional) Banach spaces and of convex functions. The underlying duality in this method is given by the Legendre transform. Our results can also be interpreted as new properties of solutions of the homogeneous complex Monge-Ampère equation.
△ Less
Submitted 27 March, 2019; v1 submitted 21 July, 2016;
originally announced July 2016.
-
A minimum principle for Lagrangian graphs
Authors:
Tamás Darvas,
Yanir A. Rubinstein
Abstract:
The classical minimum principle is foundational in convex and complex analysis and plays an important role in the study of the real and complex Monge-Ampere equations. This note establishes a minimum principle in Lagrangian geometry. This principle relates the classical Lagrangian angle of Harvey-Lawson and the space-time Lagrangian angle introduced recently by Rubinstein-Solomon. As an applicatio…
▽ More
The classical minimum principle is foundational in convex and complex analysis and plays an important role in the study of the real and complex Monge-Ampere equations. This note establishes a minimum principle in Lagrangian geometry. This principle relates the classical Lagrangian angle of Harvey-Lawson and the space-time Lagrangian angle introduced recently by Rubinstein-Solomon. As an application, this gives a new formula for solutions of the degenerate special Lagrangian equation in space-time in terms of the (time) partial Legendre transform of a family of solutions of obstacle problems for the (space) non-degenerate special Lagrangian equation.
△ Less
Submitted 28 June, 2016;
originally announced June 2016.
-
Ricci iteration on homogeneous spaces
Authors:
Artem Pulemotov,
Yanir A. Rubinstein
Abstract:
The Ricci iteration is a discrete analogue of the Ricci flow. We give the first study of the Ricci iteration on a class of Riemannian manifolds that are not Kähler. The Ricci iteration in the non-Kähler setting exhibits new phenomena. Among them is the existence of so-called ancient Ricci iterations. As we show, these are closely related to ancient Ricci flows and provide the first nontrivial exam…
▽ More
The Ricci iteration is a discrete analogue of the Ricci flow. We give the first study of the Ricci iteration on a class of Riemannian manifolds that are not Kähler. The Ricci iteration in the non-Kähler setting exhibits new phenomena. Among them is the existence of so-called ancient Ricci iterations. As we show, these are closely related to ancient Ricci flows and provide the first nontrivial examples of Riemannian metrics to which the Ricci operator can be applied infinitely many times. In some of the cases we study, these ancient Ricci iterations emerge (in the Gromov--Hausdorff topology) from a collapsed Einstein metric and converge smoothly to a second Einstein metric. In the case of compact homogeneous spaces with maximal isotropy, we prove a relative compactness result that excludes collapsing.
△ Less
Submitted 17 December, 2018; v1 submitted 16 June, 2016;
originally announced June 2016.
-
Settling the complexity of computing approximate two-player Nash equilibria
Authors:
Aviad Rubinstein
Abstract:
We prove that there exists a constant $ε>0$ such that, assuming the Exponential Time Hypothesis for PPAD, computing an $ε$-approximate Nash equilibrium in a two-player (nXn) game requires quasi-polynomial time, $n^{\log^{1-o(1)} n}$. This matches (up to the o(1) term) the algorithm of Lipton, Markakis, and Mehta [LMM03].
Our proof relies on a variety of techniques from the study of probabilistic…
▽ More
We prove that there exists a constant $ε>0$ such that, assuming the Exponential Time Hypothesis for PPAD, computing an $ε$-approximate Nash equilibrium in a two-player (nXn) game requires quasi-polynomial time, $n^{\log^{1-o(1)} n}$. This matches (up to the o(1) term) the algorithm of Lipton, Markakis, and Mehta [LMM03].
Our proof relies on a variety of techniques from the study of probabilistically checkable proofs (PCP); this is the first time that such ideas are used for a reduction between problems inside PPAD.
En route, we also prove new hardness results for computing Nash equilibria in games with many players. In particular, we show that computing an $ε$-approximate Nash equilibrium in a game with n players requires $2^{Ω(n)}$ oracle queries to the payoff tensors. This resolves an open problem posed by Hart and Nisan [HN13], Babichenko [Bab14], and Chen et al. [CCT15]. In fact, our results for n-player games are stronger: they hold with respect to the $(ε,δ)$-WeakNash relaxation recently introduced by Babichenko et al. [BPR16].
△ Less
Submitted 29 August, 2016; v1 submitted 14 June, 2016;
originally announced June 2016.
-
Beyond matroids: Secretary Problem and Prophet Inequality with general constraints
Authors:
Aviad Rubinstein
Abstract:
We study generalizations of the "Prophet Inequality" and "Secretary Problem", where the algorithm is restricted to an arbitrary downward-closed set system. For {0,1}-values, we give O(log n)-competitive algorithms for both problems. This is close to the Ω(log n / loglog n) lower bound due to Babaioff, Immorlica, and Kleinberg. For general values, our results translate to O(log n log r)-competitive…
▽ More
We study generalizations of the "Prophet Inequality" and "Secretary Problem", where the algorithm is restricted to an arbitrary downward-closed set system. For {0,1}-values, we give O(log n)-competitive algorithms for both problems. This is close to the Ω(log n / loglog n) lower bound due to Babaioff, Immorlica, and Kleinberg. For general values, our results translate to O(log n log r)-competitive algorithms, where r is the cardinality of the largest feasible set. This resolves (up to the O(log r loglog n) factors) an open question posed to us by Bobby Kleinberg.
△ Less
Submitted 1 April, 2016;
originally announced April 2016.
-
Optimal transport via a Monge-Ampère optimization problem
Authors:
Michael Lindsey,
Yanir A. Rubinstein
Abstract:
We rephrase Monge's optimal transportation (OT) problem with quadratic cost--via a Monge-Ampère equation--as an infinite-dimensional optimization problem, which is in fact a convex problem when the target is a log-concave measure with convex support. We define a natural finite-dimensional discretization to the problem and associate a piecewise affine convex function to the solution of this discret…
▽ More
We rephrase Monge's optimal transportation (OT) problem with quadratic cost--via a Monge-Ampère equation--as an infinite-dimensional optimization problem, which is in fact a convex problem when the target is a log-concave measure with convex support. We define a natural finite-dimensional discretization to the problem and associate a piecewise affine convex function to the solution of this discrete problem. The discrete problems always admit a solution, which can be obtained by standard convex optimization algorithms whenever the target is a log-concave measure with convex support. We show that under suitable regularity conditions the convex functions retrieved from the discrete problems converge to the convex solution of the original OT problem furnished by Brenier's theorem. Also, we put forward an interpretation of our convergence result that suggests applicability to the convergence of a wider range of numerical methods for OT. Finally, we demonstrate the practicality of our convergence result by providing visualizations of OT maps as well as of the dynamic OT problem obtained by solving the discrete problem numerically.
△ Less
Submitted 19 April, 2016; v1 submitted 24 March, 2016;
originally announced March 2016.
-
Boolean functions whose Fourier transform is concentrated on pairwise disjoint subsets of the input
Authors:
Aviad Rubinstein,
Muli Safra
Abstract:
We consider Boolean functions f:{-1,1}^n->{-1,1} that are close to a sum of independent functions on mutually exclusive subsets of the variables. We prove that any such function is close to just a single function on a single subset.
We also consider Boolean functions f:R^n->{-1,1} that are close, with respect to any product distribution over R^n, to a sum of their variables. We prove that any su…
▽ More
We consider Boolean functions f:{-1,1}^n->{-1,1} that are close to a sum of independent functions on mutually exclusive subsets of the variables. We prove that any such function is close to just a single function on a single subset.
We also consider Boolean functions f:R^n->{-1,1} that are close, with respect to any product distribution over R^n, to a sum of their variables. We prove that any such function is close to one of the variables.
Both our results are independent of the number of variables, but depend on the variance of f. I.e., if f is ε*Var(f)-close to a sum of independent functions or random variables, then it is O(ε)-close to one of the independent functions or random variables, respectively. We prove that this dependence on Var(f) is tight.
Our results are a generalization of the Friedgut-Kalai-Naor Theorem [FKN'02], which holds for functions f:{-1,1}^n->{-1,1} that are close to a linear combination of uniformly distributed Boolean variables.
△ Less
Submitted 30 December, 2015;
originally announced December 2015.
-
The Limitations of Optimization from Samples
Authors:
Eric Balkanski,
Aviad Rubinstein,
Yaron Singer
Abstract:
In this paper we consider the following question: can we optimize objective functions from the training data we use to learn them? We formalize this question through a novel framework we call optimization from samples (OPS). In OPS, we are given sampled values of a function drawn from some distribution and the objective is to optimize the function under some constraint.
While there are interesti…
▽ More
In this paper we consider the following question: can we optimize objective functions from the training data we use to learn them? We formalize this question through a novel framework we call optimization from samples (OPS). In OPS, we are given sampled values of a function drawn from some distribution and the objective is to optimize the function under some constraint.
While there are interesting classes of functions that can be optimized from samples, our main result is an impossibility. We show that there are classes of functions which are statistically learnable and optimizable, but for which no reasonable approximation for optimization from samples is achievable. In particular, our main result shows that there is no constant factor approximation for maximizing coverage functions under a cardinality constraint using polynomially-many samples drawn from any distribution.
We also show tight approximation guarantees for maximization under a cardinality constraint of several interesting classes of functions including unit-demand, additive, and general monotone submodular functions, as well as a constant factor approximation for monotone submodular functions with bounded curvature.
△ Less
Submitted 15 November, 2016; v1 submitted 19 December, 2015;
originally announced December 2015.
-
On the Computational Complexity of Optimal Simple Mechanisms
Authors:
Aviad Rubinstein
Abstract:
We consider a monopolist seller facing a single buyer with additive valuations over n heterogeneous, independent items. It is known that in this important setting optimal mechanisms may require randomization [HR12], use menus of infinite size [DDT15], and may be computationally intractable [DDT14]. This has sparked recent interest in finding simple mechanisms that obtain reasonable approximations…
▽ More
We consider a monopolist seller facing a single buyer with additive valuations over n heterogeneous, independent items. It is known that in this important setting optimal mechanisms may require randomization [HR12], use menus of infinite size [DDT15], and may be computationally intractable [DDT14]. This has sparked recent interest in finding simple mechanisms that obtain reasonable approximations to the optimal revenue [HN12, LY13, BILW14]. In this work we attempt to find the optimal simple mechanism.
There are many ways to define simple mechanisms. Here we restrict our search to partition mechanisms, where the seller partitions the items into disjoint bundles and posts a price for each bundle; the buyer is allowed to buy any number of bundles.
We give a PTAS for the problem of finding a revenue-maximizing partition mechanism, and prove that the problem is strongly NP-hard. En route, we prove structural properties of near-optimal partition mechanisms which may be of independent interest: for example, there always exists a near-optimal partition mechanism that uses only a constant number of non-trivial bundles (i.e. bundles with more than one item).
△ Less
Submitted 15 November, 2015;
originally announced November 2015.
-
Honest signaling in zero-sum games is hard, and lying is even harder
Authors:
Aviad Rubinstein
Abstract:
We prove that, assuming the exponential time hypothesis, finding an ε-approximately optimal symmetric signaling scheme in a two-player zero-sum game requires quasi-polynomial time. This is tight by [Cheng et al., FOCS'15] and resolves an open question of [Dughmi, FOCS'14]. We also prove that finding a multiplicative approximation is NP-hard.
We also introduce a new model where a dishonest signal…
▽ More
We prove that, assuming the exponential time hypothesis, finding an ε-approximately optimal symmetric signaling scheme in a two-player zero-sum game requires quasi-polynomial time. This is tight by [Cheng et al., FOCS'15] and resolves an open question of [Dughmi, FOCS'14]. We also prove that finding a multiplicative approximation is NP-hard.
We also introduce a new model where a dishonest signaler may publicly commit to use one scheme, but post signals according to a different scheme. For this model, we prove that even finding a (1-2^{-n})-approximately optimal scheme is NP-hard.
△ Less
Submitted 18 April, 2017; v1 submitted 16 October, 2015;
originally announced October 2015.
-
On flops and canonical metrics
Authors:
Ivan A. Cheltsov,
Yanir A. Rubinstein
Abstract:
This article is concerned with an observation for proving non-existence of canonical Kahler metrics. The idea is to use a rather explicit type of degeneration that applies in many situations. Namely, in a variation on a theme introduced by Ross-Thomas, we consider flops of the deformation to the normal cone. This yields a rather widely applicable notion of stability that is still completely explic…
▽ More
This article is concerned with an observation for proving non-existence of canonical Kahler metrics. The idea is to use a rather explicit type of degeneration that applies in many situations. Namely, in a variation on a theme introduced by Ross-Thomas, we consider flops of the deformation to the normal cone. This yields a rather widely applicable notion of stability that is still completely explicit and readily computable, but with wider scope. We describe some applications, among them, a proof of one direction of the Calabi conjecture for asymptotically logarithmic del Pezzo surfaces.
△ Less
Submitted 19 August, 2015;
originally announced August 2015.