-
Statistical inference of convex order by Wasserstein projection
Authors:
Jakwang Kim,
Young-Heon Kim,
Yuanlong Ruan,
Andrew Warren
Abstract:
Ranking distributions according to a stochastic order has wide applications in diverse areas. Although stochastic dominance has received much attention,convex order, particularly in general dimensions, has yet to be investigated from a statistical point of view. This article addresses this gap by introducing a simple statistical test for convex order based on the Wasserstein projection distance. T…
▽ More
Ranking distributions according to a stochastic order has wide applications in diverse areas. Although stochastic dominance has received much attention,convex order, particularly in general dimensions, has yet to be investigated from a statistical point of view. This article addresses this gap by introducing a simple statistical test for convex order based on the Wasserstein projection distance. This projection distance not only encodes whether two distributions are indeed in convex order, but also quantifies the deviation from the desired convex order and produces an optimal convex order approximation. Lipschitz stability of the backward and forward Wasserstein projection distance is proved, which leads to elegant consistency results of the estimator we employ as our test statistic. Combining these with state of the art results regarding the convergence rate of empirical distributions, we also derive upper bounds for the $p$-value and type I error our test statistic, as well as upper bounds on the type II error for an appropriate class of strict alternatives. Lastly, we provide an efficient numerical scheme for our test statistic, by way of an entropic Frank-Wolfe algorithm. Some experiments based on synthetic data sets illuminates the success of our approach empirically.
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
Irreducible components of sets of points in the plane that satisfy distance conditions
Authors:
Niels Lubbes,
Mehdi Makhul,
Josef Schicho,
Audie Warren
Abstract:
For a given graph whose edges are labeled with general real numbers, we consider the set of functions from the vertex set into the Euclidean plane such that the distance between the images of neighbouring vertices is equal to the corresponding edge label. This set of functions can be expressed as the zero set of quadratic polynomials and our main result characterizes the number of complex irreduci…
▽ More
For a given graph whose edges are labeled with general real numbers, we consider the set of functions from the vertex set into the Euclidean plane such that the distance between the images of neighbouring vertices is equal to the corresponding edge label. This set of functions can be expressed as the zero set of quadratic polynomials and our main result characterizes the number of complex irreducible components of this zero set in terms of combinatorial properties of the graph. In case the complex components are three-dimensional, then the graph is minimally rigid and the component number is a well-known invariant from rigidity theory. If the components are four-dimensional, then they correspond to one-dimensional coupler curves of flexible planar mechanisms. As an application, we characterize the degree of irreducible components of such coupler curves combinatorially.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Fast & Fair: Efficient Second-Order Robust Optimization for Fairness in Machine Learning
Authors:
Allen Minch,
Hung Anh Vu,
Anne Marie Warren
Abstract:
This project explores adversarial training techniques to develop fairer Deep Neural Networks (DNNs) to mitigate the inherent bias they are known to exhibit. DNNs are susceptible to inheriting bias with respect to sensitive attributes such as race and gender, which can lead to life-altering outcomes (e.g., demographic bias in facial recognition software used to arrest a suspect). We propose a robus…
▽ More
This project explores adversarial training techniques to develop fairer Deep Neural Networks (DNNs) to mitigate the inherent bias they are known to exhibit. DNNs are susceptible to inheriting bias with respect to sensitive attributes such as race and gender, which can lead to life-altering outcomes (e.g., demographic bias in facial recognition software used to arrest a suspect). We propose a robust optimization problem, which we demonstrate can improve fairness in several datasets, both synthetic and real-world, using an affine linear model. Leveraging second order information, we are able to find a solution to our optimization problem more efficiently than a purely first order method.
△ Less
Submitted 3 January, 2024;
originally announced January 2024.
-
On Galois groups of type-1 minimally rigid graphs
Authors:
Mehdi Makhul,
Josef Schicho,
Audie Warren
Abstract:
For every graph that is mimimally rigid in the plane, its Galois group is defined as the Galois group generated by the coordinates of its planar realizations, assuming that the edge lengths are transcendental and algebraically independent. Here we compute the Galois group of all minimally rigid graphs that can be constructed from a single edge by repeated Henneberg 1-steps. It turns out that any s…
▽ More
For every graph that is mimimally rigid in the plane, its Galois group is defined as the Galois group generated by the coordinates of its planar realizations, assuming that the edge lengths are transcendental and algebraically independent. Here we compute the Galois group of all minimally rigid graphs that can be constructed from a single edge by repeated Henneberg 1-steps. It turns out that any such group is totally imprimitive, i.e., it is determined by all the partitions it preserves.
△ Less
Submitted 15 January, 2024; v1 submitted 7 June, 2023;
originally announced June 2023.
-
Ultralimits of Wasserstein spaces and metric measure spaces with Ricci curvature bounded from below
Authors:
Andrew Warren
Abstract:
We investigate the stability of the Wasserstein distance, a metric structure on the space of probability measures arising from the theory of optimal transport, under metric ultralimits. We first show that if $(X_{i},d_{i})_{i\in\mathbb{N}}$ is a sequence of metric spaces with metric ultralimit $(\hat{X},\hat{d})$, then the p-Wasserstein space $(\mathcal{P}_{p}(\hat{X}),W_{p})$ embeds isometrically…
▽ More
We investigate the stability of the Wasserstein distance, a metric structure on the space of probability measures arising from the theory of optimal transport, under metric ultralimits. We first show that if $(X_{i},d_{i})_{i\in\mathbb{N}}$ is a sequence of metric spaces with metric ultralimit $(\hat{X},\hat{d})$, then the p-Wasserstein space $(\mathcal{P}_{p}(\hat{X}),W_{p})$ embeds isometrically in a canonical fashion into the metric ultralimit of the sequence of p-Wasserstein spaces $(\mathcal{P}_{p}(X_{i}),W_{p})$. Second, using a notion of ultralimit of metric measure spaces modeled on the one introduced by Elek, we use the machinery of ultralimits of Wasserstein spaces to prove that an ultralimit of CD(K,$\infty$) spaces is a CD(K,$\infty$) space. This provides a new proof that the CD(K,$\infty$) property is stable under pointed measured Gromov convergence. Along the way, we establish some basic results on how the Loeb measure construction interacts with Wasserstein distances as well as integral functionals, which may be of independent interest.
△ Less
Submitted 7 March, 2023;
originally announced March 2023.
-
Incidences of Cubic Curves in Finite Fields
Authors:
Audie Warren
Abstract:
In this paper we prove an incidence bound for points and cubic curves over prime fields. The methods generalise those used by Mohammadi, Pham, and Warren (2021).
In this paper we prove an incidence bound for points and cubic curves over prime fields. The methods generalise those used by Mohammadi, Pham, and Warren (2021).
△ Less
Submitted 17 November, 2022;
originally announced November 2022.
-
Nonlocal Wasserstein Distance: Metric and Asymptotic Properties
Authors:
Dejan Slepčev,
Andrew Warren
Abstract:
The seminal result of Benamou and Brenier provides a characterization of the Wasserstein distance as the path of the minimal action in the space of probability measures, where paths are solutions of the continuity equation and the action is the kinetic energy. Here we consider a fundamental modification of the framework where the paths are solutions of nonlocal (jump) continuity equations and the…
▽ More
The seminal result of Benamou and Brenier provides a characterization of the Wasserstein distance as the path of the minimal action in the space of probability measures, where paths are solutions of the continuity equation and the action is the kinetic energy. Here we consider a fundamental modification of the framework where the paths are solutions of nonlocal (jump) continuity equations and the action is a nonlocal kinetic energy. The resulting nonlocal Wasserstein distances are relevant to fractional diffusions and Wasserstein distances on graphs. We characterize the basic properties of the distance and obtain sharp conditions on the (jump) kernel specifying the nonlocal transport that determine whether the topology metrized is the weak or the strong topology. A key result of the paper are the quantitative comparisons between the nonlocal and local Wasserstein distance.
△ Less
Submitted 22 September, 2022; v1 submitted 17 September, 2022;
originally announced September 2022.
-
A convex set with a rich difference
Authors:
Oliver Roche-Newton,
Audie Warren
Abstract:
We construct a convex set $A$ with cardinality $2n$ and with the property that an element of the difference set $A-A$ can be represented in $n$ different ways. We also show that this construction is optimal by proving that for any convex set $A$, the maximum possible number of representations an element of $A-A$ can have is $\lfloor |A|/2 \rfloor $.
We construct a convex set $A$ with cardinality $2n$ and with the property that an element of the difference set $A-A$ can be represented in $n$ different ways. We also show that this construction is optimal by proving that for any convex set $A$, the maximum possible number of representations an element of $A-A$ can have is $\lfloor |A|/2 \rfloor $.
△ Less
Submitted 18 August, 2022; v1 submitted 5 August, 2022;
originally announced August 2022.
-
A Point-Conic Incidence Bound and Applications over $\mathbb F_p$
Authors:
Ali Mohammadi,
Thang Pham,
Audie Warren
Abstract:
In this paper, we prove the first incidence bound for points and conics over prime fields. As applications, we prove new results on expansion of bivariate polynomial images and on certain variations of distinct distances problems. These include new lower bounds on the number of pinned algebraic distances as well as improvements of results of Koh and Sun (2014) and Shparlinski (2006) on the size of…
▽ More
In this paper, we prove the first incidence bound for points and conics over prime fields. As applications, we prove new results on expansion of bivariate polynomial images and on certain variations of distinct distances problems. These include new lower bounds on the number of pinned algebraic distances as well as improvements of results of Koh and Sun (2014) and Shparlinski (2006) on the size of the distance set formed by two large subsets of finite dimensional vector spaces over finite fields. We also prove a variant of Beck's theorem for conics.
△ Less
Submitted 25 July, 2022; v1 submitted 7 November, 2021;
originally announced November 2021.
-
Wasserstein Conditional Independence Testing
Authors:
Andrew Warren
Abstract:
We introduce a test for the conditional independence of random variables $X$ and $Y$ given a random variable $Z$, specifically by sampling from the joint distribution $(X,Y,Z)$, binning the support of the distribution of $Z$, and conducting multiple $p$-Wasserstein two-sample tests. Under a $p$-Wasserstein Lipschitz assumption on the conditional distributions $\mathcal{L}_{X|Z}$,…
▽ More
We introduce a test for the conditional independence of random variables $X$ and $Y$ given a random variable $Z$, specifically by sampling from the joint distribution $(X,Y,Z)$, binning the support of the distribution of $Z$, and conducting multiple $p$-Wasserstein two-sample tests. Under a $p$-Wasserstein Lipschitz assumption on the conditional distributions $\mathcal{L}_{X|Z}$, $\mathcal{L}_{Y|Z}$, and $\mathcal{L}_{(X,Y)|Z}$, we show that it is possible to control the Type I and Type II error of this test, and give examples of explicit finite-sample error bounds in the case where the distribution of $Z$ has compact support.
△ Less
Submitted 2 February, 2024; v1 submitted 29 July, 2021;
originally announced July 2021.
-
Incidences of Möbius transformations in $\mathbb F_p$
Authors:
Audie Warren,
James Wheeler
Abstract:
We develop the methods used by Rudnev and Wheeler to prove an incidence theorem between arbitrary sets of Möbius transformations and point sets in $\mathbb F_p^2$. We also note some asymmetric incidence results, and give applications of these results to various problems in additive combinatorics and discrete geometry.
We develop the methods used by Rudnev and Wheeler to prove an incidence theorem between arbitrary sets of Möbius transformations and point sets in $\mathbb F_p^2$. We also note some asymmetric incidence results, and give applications of these results to various problems in additive combinatorics and discrete geometry.
△ Less
Submitted 26 July, 2021;
originally announced July 2021.
-
Fluctuation bounds for ergodic averages of amenable groups
Authors:
Andrew Warren
Abstract:
We study fluctuations of ergodic averages generated by actions of amenable groups. In the setting of an abstract ergodic theorem for locally compact second countable amenable groups acting on uniformly convex Banach spaces, we deduce a highly uniform bound on the number of fluctuations of the ergodic average for a class of Følner sequences satisfying an analogue of Lindenstrauss's temperedness con…
▽ More
We study fluctuations of ergodic averages generated by actions of amenable groups. In the setting of an abstract ergodic theorem for locally compact second countable amenable groups acting on uniformly convex Banach spaces, we deduce a highly uniform bound on the number of fluctuations of the ergodic average for a class of Følner sequences satisfying an analogue of Lindenstrauss's temperedness condition. Equivalently, we deduce a uniform bound on the number of fluctuations over long distances for arbitrary Følner sequences. As a corollary, these results imply associated bounds for a continuous action of an amenable group on a $σ$-finite $L^{p}$ space with $p\in(1,\infty)$.
△ Less
Submitted 6 July, 2021;
originally announced July 2021.
-
Additive and multiplicative Sidon sets
Authors:
Oliver Roche-Newton,
Audie Warren
Abstract:
We give a construction of a set $A \subset \mathbb N$ such that any subset $A' \subset A$ with $|A'| \gg |A|^{2/3}$ is neither an additive nor multiplicative Sidon set. In doing so, we refute a conjecture of Klurman and Pohoata.
We give a construction of a set $A \subset \mathbb N$ such that any subset $A' \subset A$ with $|A'| \gg |A|^{2/3}$ is neither an additive nor multiplicative Sidon set. In doing so, we refute a conjecture of Klurman and Pohoata.
△ Less
Submitted 24 March, 2021;
originally announced March 2021.
-
On sum sets of convex functions
Authors:
Sophie Stevens,
Audie Warren
Abstract:
In this paper we prove new bounds for sums of convex or concave functions. Specifically, we prove that for all $A,B \subseteq \mathbb R$ finite sets, and for all $f,g$ convex or concave functions, we have
$$|A + B|^{38}|f(A) + g(B)|^{38} \gtrsim |A|^{49}|B|^{49}.$$
This result can be used to obtain bounds on a number of two-variable expanders of interest, as well as to the asymmetric sum-produ…
▽ More
In this paper we prove new bounds for sums of convex or concave functions. Specifically, we prove that for all $A,B \subseteq \mathbb R$ finite sets, and for all $f,g$ convex or concave functions, we have
$$|A + B|^{38}|f(A) + g(B)|^{38} \gtrsim |A|^{49}|B|^{49}.$$
This result can be used to obtain bounds on a number of two-variable expanders of interest, as well as to the asymmetric sum-product problem. We also adjust our technique to also prove the three-variable expansion result
\[
|AB+A|\gtrsim |A|^{\frac32 +\frac3{170}}\,.
\]
Our methods follow a series of recent developments in the sum-product literature, presenting a unified picture. Of particular interest is an adaptation of a regularisation technique of Xue, that enables us to find positive proportion subsets with certain desirable properties.
△ Less
Submitted 10 February, 2021;
originally announced February 2021.
-
The Elekes-Szabó Problem and the Uniformity Conjecture
Authors:
Mehdi Makhul,
Oliver Roche-Newton,
Sophie Stevens,
Audie Warren
Abstract:
In this paper we give a conditional improvement to the Elekes-Szabó problem over the rationals, assuming the Uniformity Conjecture. Our main result states that for $F\in \mathbb{Q}[x,y,z]$ belonging to a particular family of polynomials, and any finite sets $A, B, C \subset \mathbb Q$ with $|A|=|B|=|C|=n$, we have
\[
|Z(F) \cap (A\times B \times C)| \ll n^{2-\frac{1}{s}}.
\]
The value of t…
▽ More
In this paper we give a conditional improvement to the Elekes-Szabó problem over the rationals, assuming the Uniformity Conjecture. Our main result states that for $F\in \mathbb{Q}[x,y,z]$ belonging to a particular family of polynomials, and any finite sets $A, B, C \subset \mathbb Q$ with $|A|=|B|=|C|=n$, we have
\[
|Z(F) \cap (A\times B \times C)| \ll n^{2-\frac{1}{s}}.
\]
The value of the integer $s$ is dependent on the polynomial $F$, but is always bounded by $s \leq 5$, and so even in the worst applicable case this gives a quantitative improvement on a bound of Raz, Sharir and de Zeeuw (arXiv:1504.05012).
We give several applications to problems in discrete geometry and arithmetic combinatorics. For instance, for any set $P \subset \mathbb Q^2$ and any two points $p_1,p_2 \in \mathbb Q^2$, we prove that at least one of the $p_i$ satisfies the bound
\[
| \{ \| p_i - p \| : p \in P \}| \gg |P|^{3/5},
\]
where $\| \cdot \|$ denotes Euclidean distance. This gives a conditional improvement to a result of Sharir and Solymosi (arXiv:1308.0814).
△ Less
Submitted 19 October, 2020; v1 submitted 28 September, 2020;
originally announced September 2020.
-
The Spherical Kakeya Problem in Finite Fields
Authors:
Mehdi Makhul,
Audie Warren,
Arne Winterhof
Abstract:
We study subsets of the $n$-dimensional vector space over the finite field $\mathbb{F}_q$, for odd $q$, which contain either a sphere for each radius or a sphere for each first coordinate of the center. We call such sets radii spherical Kakeya sets and center spherical Kakeya sets, respectively.
For $n\ge 4$ we prove a general lower bound on the size of any set containing $q-1$ different spheres…
▽ More
We study subsets of the $n$-dimensional vector space over the finite field $\mathbb{F}_q$, for odd $q$, which contain either a sphere for each radius or a sphere for each first coordinate of the center. We call such sets radii spherical Kakeya sets and center spherical Kakeya sets, respectively.
For $n\ge 4$ we prove a general lower bound on the size of any set containing $q-1$ different spheres which applies to both kinds of spherical Kakeya sets. We provide constructions which meet the main terms of this lower bound.
We also give a construction showing that we cannot get a lower bound of order of magnitude~$q^n$ if we take lower dimensional objects such as circles in $\mathbb{F}_q^3$ instead of spheres, showing that there are significant differences to the line Kakeya problem.
Finally, we study the case of dimension $n=1$ which is different and equivalent to the study of sum and difference sets that cover $\mathbb{F}_q$.
△ Less
Submitted 2 April, 2020;
originally announced April 2020.
-
Arcs in $\mathbb F_q^2$
Authors:
Oliver Roche-Newton,
Audie Warren
Abstract:
An arc is a subset of $\mathbb F_q^2$ which does not contain any collinear triples. Let $A(q,k)$ denote the number of arcs in $\mathbb F_q^2$ with cardinality $k$. This paper is primarily concerned with estimating the size of $A(q,k)$ when $k$ is relatively large, namely $k=q^t$ for some $t>0$. Trivial estimates tell us that
\[
{q \choose k} \leq A(q,k) \leq {q^2 \choose k}.
\]
We show tha…
▽ More
An arc is a subset of $\mathbb F_q^2$ which does not contain any collinear triples. Let $A(q,k)$ denote the number of arcs in $\mathbb F_q^2$ with cardinality $k$. This paper is primarily concerned with estimating the size of $A(q,k)$ when $k$ is relatively large, namely $k=q^t$ for some $t>0$. Trivial estimates tell us that
\[
{q \choose k} \leq A(q,k) \leq {q^2 \choose k}.
\]
We show that the behaviour of $A(q,k)$ changes significantly close to $t=1/2$. Below this threshold an elementary argument is used to prove that the trivial upper bound above cannot be improved significantly.
On the other hand, for $t \geq 1/2+δ$, we use the theory of hypergraph containers to get an improved upper bound
\[
A(q,k) \leq {q^{2-t+2δ} \choose k}.
\]
This technique is also used to give an upper bound for the size of the largest arc in a random subset of $\mathbb F_q^2$ which holds with high probability. For example, we prove that a $p$-random subset $Q \subset \mathbb F_q^2$ with $q^{-3/2}<p<q^{-1}$ contains an arc of size $Ω(q^{1/2})$ with high probability. The result is optimal for this range of $p$.
Finally, this optimal bound for arcs in random sets is used to prove a finite field analogue of a result of Balogh and Solymosi, with a better exponent: there exists a subset $P \subset \mathbb F_q^2$ which does not contain any collinear quadruples, but with the property that for every $P' \subset P$ with $|P'| \geq |P|^{3/4+o(1)}$, $P'$ contains a collinear triple.
△ Less
Submitted 12 October, 2020; v1 submitted 7 March, 2020;
originally announced March 2020.
-
Efficient Algorithms for Generating Provably Near-Optimal Cluster Descriptors for Explainability
Authors:
Prathyush Sambaturu,
Aparna Gupta,
Ian Davidson,
S. S. Ravi,
Anil Vullikanti,
Andrew Warren
Abstract:
Improving the explainability of the results from machine learning methods has become an important research goal. Here, we study the problem of making clusters more interpretable by extending a recent approach of [Davidson et al., NeurIPS 2018] for constructing succinct representations for clusters. Given a set of objects $S$, a partition $π$ of $S$ (into clusters), and a universe $T$ of tags such…
▽ More
Improving the explainability of the results from machine learning methods has become an important research goal. Here, we study the problem of making clusters more interpretable by extending a recent approach of [Davidson et al., NeurIPS 2018] for constructing succinct representations for clusters. Given a set of objects $S$, a partition $π$ of $S$ (into clusters), and a universe $T$ of tags such that each element in $S$ is associated with a subset of tags, the goal is to find a representative set of tags for each cluster such that those sets are pairwise-disjoint and the total size of all the representatives is minimized. Since this problem is NP-hard in general, we develop approximation algorithms with provable performance guarantees for the problem. We also show applications to explain clusters from datasets, including clusters of genomic sequences that represent different threat levels.
△ Less
Submitted 6 February, 2020;
originally announced February 2020.
-
An Energy Bound in the Affine Group
Authors:
Giorgis Petridis,
Oliver Roche-Newton,
Misha Rudnev,
Audie Warren
Abstract:
We prove a nontrivial energy bound for a finite set of affine transformations over a general field and discuss a number of implications. These include new bounds on growth in the affine group, a quantitative version of a theorem by Elekes about rich lines in grids. We also give a positive answer to a question of Yufei Zhao that for a plane point set P for which no line contains a positive proporti…
▽ More
We prove a nontrivial energy bound for a finite set of affine transformations over a general field and discuss a number of implications. These include new bounds on growth in the affine group, a quantitative version of a theorem by Elekes about rich lines in grids. We also give a positive answer to a question of Yufei Zhao that for a plane point set P for which no line contains a positive proportion of points from P, there may be at most one line, meeting the set of lines defined by P in at most a constant multiple of |P| points.
△ Less
Submitted 6 May, 2020; v1 submitted 8 November, 2019;
originally announced November 2019.
-
Conical Kakeya and Nikodym Sets in Finite Fields
Authors:
Audie Warren,
Arne Winterhof
Abstract:
A Kakeya set contains a line in each direction. Dvir proved a lower bound on the size of any Kakeya set in a finite field using the polynomial method. We prove analogues of Dvir's result for non-degenerate conics, that is, parabolae and hyperbolae (but not ellipses which do not have a direction). We also study so-called conical Nikodym sets where a small variation of the proof provides a lower bou…
▽ More
A Kakeya set contains a line in each direction. Dvir proved a lower bound on the size of any Kakeya set in a finite field using the polynomial method. We prove analogues of Dvir's result for non-degenerate conics, that is, parabolae and hyperbolae (but not ellipses which do not have a direction). We also study so-called conical Nikodym sets where a small variation of the proof provides a lower bound on their sizes. (Here ellipses are included.)
Note that the bound on conical Kakeya sets has been known before, however, without an explicitly given constant which is included in our result and close to being best possible.
△ Less
Submitted 4 June, 2019;
originally announced June 2019.
-
New Expander Bounds from Affine Group Energy
Authors:
Oliver Roche-Newton,
Audie Warren
Abstract:
The purpose of this article is to further explore how the structure of the affine group can be used to deduce new incidence theorems, and to explore sum-product type applications of these incidence bounds, building on the recent work of Rudnev and Shkredov.
We bound the energy of several systems of lines, in some cases obtaining a better energy bound than the corresponding bounds obtained by Rud…
▽ More
The purpose of this article is to further explore how the structure of the affine group can be used to deduce new incidence theorems, and to explore sum-product type applications of these incidence bounds, building on the recent work of Rudnev and Shkredov.
We bound the energy of several systems of lines, in some cases obtaining a better energy bound than the corresponding bounds obtained by Rudnev and Shkredov by exploiting a connection with collinear quadruples.
Our motivation for seeking to generalise and improve the incidence bound obtained by Rudnev and Shkredov comes from possible applications to sum-product problems. For example, we prove that, for any finite $A \subset \mathbb R$ the following superquadratic bound holds:
\[
\left| \left \{ \frac{ab-cd}{a-c} : a,b,c,d \in A \right \} \right| \gg |A|^{2+\frac{1}{14}}.
\]
This improves the previously known bound with exponent $2$. We also give a threshold-beating asymmetric sum-product estimate for sets with small sum set by proving that there exists a positive constant $c$ such that for all finite $A,B \subset \mathbb R$,
\[
|A+A| \ll K|A| \Rightarrow |AB| \gg_K |A||B|^{1/2+c}.
\]
△ Less
Submitted 9 May, 2019;
originally announced May 2019.
-
Fluctuation bounds for ergodic averages of amenable groups on uniformly convex Banach spaces
Authors:
Andrew Warren
Abstract:
We study fluctuations of ergodic averages generated by actions of amenable groups. In the setting of an abstract ergodic theorem for locally compact second countable amenable groups acting on uniformly convex Banach spaces, we deduce a highly uniform bound on the number of fluctuations of the ergodic average for a class of Følner sequences satisfying an analogue of Lindenstrauss's temperedness con…
▽ More
We study fluctuations of ergodic averages generated by actions of amenable groups. In the setting of an abstract ergodic theorem for locally compact second countable amenable groups acting on uniformly convex Banach spaces, we deduce a highly uniform bound on the number of fluctuations of the ergodic average for a class of Følner sequences satisfying an analogue of Lindenstrauss's temperedness condition. Equivalently, we deduce a uniform bound on the number of fluctuations over long distances for arbitrary Følner sequences. As a corollary, these results imply associated bounds for a continuous action of an amenable group on a $σ$-finite $L^{p}$ space with $p\in(1,\infty)$.
△ Less
Submitted 24 January, 2019;
originally announced January 2019.
-
On Products of Shifts in Arbitrary Fields
Authors:
Audie Warren
Abstract:
We adapt the approach of Rudnev, Shakan, and Shkredov to prove that in an arbitrary field $\mathbb{F}$, for all $A \subset \mathbb{F}$ finite with $|A| < p^{1/4}$ if $p:= Char(\mathbb{F})$ is positive, we have $$|A(A+1)| \gtrsim |A|^{11/9}, \qquad |AA| + |(A+1)(A+1)| \gtrsim |A|^{11/9}.$$ This improves upon the exponent of $6/5$ given by an incidence theorem of Stevens and de Zeeuw.
We adapt the approach of Rudnev, Shakan, and Shkredov to prove that in an arbitrary field $\mathbb{F}$, for all $A \subset \mathbb{F}$ finite with $|A| < p^{1/4}$ if $p:= Char(\mathbb{F})$ is positive, we have $$|A(A+1)| \gtrsim |A|^{11/9}, \qquad |AA| + |(A+1)(A+1)| \gtrsim |A|^{11/9}.$$ This improves upon the exponent of $6/5$ given by an incidence theorem of Stevens and de Zeeuw.
△ Less
Submitted 2 January, 2019; v1 submitted 5 December, 2018;
originally announced December 2018.
-
Constructions for the Elekes-Szabó and Elekes-Rónyai problems
Authors:
Mehdi Makhul,
Oliver Roche-Newton,
Audie Warren,
Frank de Zeeuw
Abstract:
We give a construction of a non-degenerate polynomial $F\in \mathbb R[x,y,z]$ and a set $A$ of cardinality $n$ such that $\left|Z(F)\cap (A \times A \times A) \right| \gg n^{\frac{3}{2}}$, thus providing a new lower bound construction for the Elekes--Szabó problem. We also give a related construction for the Elekes--Rónyai problem restricted to a subgraph. This consists of a polynomial…
▽ More
We give a construction of a non-degenerate polynomial $F\in \mathbb R[x,y,z]$ and a set $A$ of cardinality $n$ such that $\left|Z(F)\cap (A \times A \times A) \right| \gg n^{\frac{3}{2}}$, thus providing a new lower bound construction for the Elekes--Szabó problem. We also give a related construction for the Elekes--Rónyai problem restricted to a subgraph. This consists of a polynomial $f\in \mathbb R[x,y]$ that is not additive or multiplicative, a set $A$ of size $n$, and a subset $P\subset A\times A$ of size $|P|\gg n^{3/2}$ on which $f$ takes only $n$ distinct values.
△ Less
Submitted 3 December, 2018;
originally announced December 2018.
-
Improved Bounds for Pencils of Lines
Authors:
Oliver Roche-Newton,
Audie Warren
Abstract:
We consider a question raised by Rudnev: given four pencils of $n$ concurrent lines in $\mathbb R^2$, with the four centres of the pencils non-collinear, what is the maximum possible size of the set of points where four lines meet? Our main result states that the number of such points is $O(n^{11/6})$, improving a result of Chang and Solymosi.
We also consider constructions for this problem. Alo…
▽ More
We consider a question raised by Rudnev: given four pencils of $n$ concurrent lines in $\mathbb R^2$, with the four centres of the pencils non-collinear, what is the maximum possible size of the set of points where four lines meet? Our main result states that the number of such points is $O(n^{11/6})$, improving a result of Chang and Solymosi.
We also consider constructions for this problem. Alon, Ruzsa and Solymosi constructed an arrangement of four non-collinear $n$-pencils which determine $Ω(n^{3/2})$ four-rich points. We give a construction to show that this is not tight, improving this lower bound by a logarithmic factor. We also give a construction of a set of $m$ $n$-pencils, whose centres are in general position, that determine $Ω_m(n^{3/2})$ $m$-rich points.
△ Less
Submitted 23 May, 2018;
originally announced May 2018.
-
Dynamic mode decomposition for interconnected control systems
Authors:
Byron Heersink,
Michael A. Warren,
Heiko Hoffmann
Abstract:
Dynamic mode decomposition (DMD) is a data-driven technique used for capturing the dynamics of complex systems. DMD has been connected to spectral analysis of the Koopman operator, and essentially extracts spatial-temporal modes of the dynamics from an estimate of the Koopman operator obtained from data. Recent work of Proctor, Brunton, and Kutz has extended DMD and Koopman theory to accommodate s…
▽ More
Dynamic mode decomposition (DMD) is a data-driven technique used for capturing the dynamics of complex systems. DMD has been connected to spectral analysis of the Koopman operator, and essentially extracts spatial-temporal modes of the dynamics from an estimate of the Koopman operator obtained from data. Recent work of Proctor, Brunton, and Kutz has extended DMD and Koopman theory to accommodate systems with control inputs: dynamic mode decomposition with control (DMDc) and Koopman with inputs and control (KIC). In this paper, we introduce a technique, called Network dynamic mode decomposition with control, or Network DMDc, which extends the DMDc to interconnected, or networked, control systems. Additionally, we provide an adaptation of Koopman theory for networks as a context in which to perform this algorithm. The Network DMDc method carefully analyzes the dynamical relationships only between components in systems which are connected in the network structure. By focusing on these direct dynamical connections and cutting out computation for relationships between unconnected components, this process allows for improvements in computational intensity and accuracy.
△ Less
Submitted 8 September, 2017;
originally announced September 2017.
-
The local universes model: an overlooked coherence construction for dependent type theories
Authors:
Peter LeFanu Lumsdaine,
Michael A. Warren
Abstract:
We present a new coherence theorem for comprehension categories, providing strict models of dependent type theory with all standard constructors, including dependent products, dependent sums, identity types, and other inductive types.
Precisely, we take as input a "weak model": a comprehension category, equipped with structure corresponding to the desired logical constructions. We assume through…
▽ More
We present a new coherence theorem for comprehension categories, providing strict models of dependent type theory with all standard constructors, including dependent products, dependent sums, identity types, and other inductive types.
Precisely, we take as input a "weak model": a comprehension category, equipped with structure corresponding to the desired logical constructions. We assume throughout that the base category is close to locally Cartesian closed: specifically, that products and certain exponentials exist. Beyond this, we require only that the logical structure should be *weakly stable* --- a pure existence statement, not involving any specific choice of structure, weaker than standard categorical Beck--Chevalley conditions, and holding in the now standard homotopy-theoretic models of type theory.
Given such a comprehension category, we construct an equivalent split one, whose logical structure is strictly stable under reindexing. This yields an interpretation of type theory with the chosen constructors.
The model is adapted from Voevodsky's use of universes for coherence, and at the level of fibrations is a classical construction of Giraud. It may be viewed in terms of local universes or delayed substitutions.
△ Less
Submitted 6 April, 2015; v1 submitted 6 November, 2014;
originally announced November 2014.
-
Bicategorical fibration structures and stacks
Authors:
Dorette A. Pronk,
Michael A. Warren
Abstract:
The familiar construction of categories of fractions, due to Gabriel and Zisman, allows one to invert a class W of arrows in a category in a universal way. Similarly, bicategories of fractions allow one to invert a collection of arrows in a bicategory. In this case the arrows are inverted in the sense that they are made into equivalences. As with categories of fractions, bicategories of fractions…
▽ More
The familiar construction of categories of fractions, due to Gabriel and Zisman, allows one to invert a class W of arrows in a category in a universal way. Similarly, bicategories of fractions allow one to invert a collection of arrows in a bicategory. In this case the arrows are inverted in the sense that they are made into equivalences. As with categories of fractions, bicategories of fractions suffer from the defect that they need not be locally small even when the bicategory in which W lives is locally small. Similarly, in the case where W is a class of arrows in a 2-category, the bicategory of fractions will not in general be a 2-category.
In this paper we introduce two notions ---systems of fibrant objects and fibration systems--- which will allow us to associate to a bicategory B a homotopy bicategory Ho(B) in such a way that Ho(B) is the universal way to invert weak equivalences in B. This construction resolves both of the difficulties with bicategories of fractions mentioned above. We also describe a fibration system on the 2-category of prestacks on a site and prove that the resulting homotopy bicategory is the 2-category of stacks. Further examples considered include algebraic, differentiable and topological stacks.
△ Less
Submitted 1 March, 2013;
originally announced March 2013.
-
Voevodsky's Univalence Axiom in homotopy type theory
Authors:
Steve Awodey,
Álvaro Pelayo,
Michael A. Warren
Abstract:
In this short note we give a glimpse of homotopy type theory, a new field of mathematics at the intersection of algebraic topology and mathematical logic, and we explain Vladimir Voevodsky's univalent interpretation of it. This interpretation has given rise to the univalent foundations program, which is the topic of the current special year at the Institute for Advanced Study.
In this short note we give a glimpse of homotopy type theory, a new field of mathematics at the intersection of algebraic topology and mathematical logic, and we explain Vladimir Voevodsky's univalent interpretation of it. This interpretation has given rise to the univalent foundations program, which is the topic of the current special year at the Institute for Advanced Study.
△ Less
Submitted 19 February, 2013;
originally announced February 2013.
-
Model structures from a monad on presheaves
Authors:
Michael A. Warren
Abstract:
In this note we describe conditions under which the algebras for a monad on a presheaf category equipped with some additional structure are fibrant objects in a model structure. We also prove that when these conditions are satisfied the resulting model structure is, in a suitable sense, the smallest model structure for which the units of the monad give a fibrant replacement.
In this note we describe conditions under which the algebras for a monad on a presheaf category equipped with some additional structure are fibrant objects in a model structure. We also prove that when these conditions are satisfied the resulting model structure is, in a suitable sense, the smallest model structure for which the units of the monad give a fibrant replacement.
△ Less
Submitted 7 February, 2013;
originally announced February 2013.
-
A preliminary univalent formalization of the p-adic numbers
Authors:
Álvaro Pelayo,
Vladimir Voevodsky,
Michael A. Warren
Abstract:
In this paper we give a preliminary formalization of the p-adic numbers, in the context of the second author's univalent foundations program. We also provide the corresponding code verifying the construction in the proof assistant Coq. Because work in the univalent setting is ongoing, the structure and organization of the construction of the p-adic numbers we give in this paper is expected to chan…
▽ More
In this paper we give a preliminary formalization of the p-adic numbers, in the context of the second author's univalent foundations program. We also provide the corresponding code verifying the construction in the proof assistant Coq. Because work in the univalent setting is ongoing, the structure and organization of the construction of the p-adic numbers we give in this paper is expected to change as Coq libraries are more suitably rearranged, and optimized, by the authors and other researchers in the future. So our construction here should be deemed as a first approximation which is subject to improvements.
△ Less
Submitted 5 February, 2013;
originally announced February 2013.
-
Homotopy type theory and Voevodsky's univalent foundations
Authors:
Álvaro Pelayo,
Michael A. Warren
Abstract:
Recent discoveries have been made connecting abstract homotopy theory and the field of type theory from logic and theoretical computer science. This has given rise to a new field, which has been christened "homotopy type theory". In this direction, Vladimir Voevodsky observed that it is possible to model type theory using simplicial sets and that this model satisfies an additional property, called…
▽ More
Recent discoveries have been made connecting abstract homotopy theory and the field of type theory from logic and theoretical computer science. This has given rise to a new field, which has been christened "homotopy type theory". In this direction, Vladimir Voevodsky observed that it is possible to model type theory using simplicial sets and that this model satisfies an additional property, called the Univalence Axiom, which has a number of striking consequences. He has subsequently advocated a program, which he calls univalent foundations, of develo** mathematics in the setting of type theory with the Univalence Axiom and possibly other additional axioms motivated by the simplicial set model. Because type theory possesses good computational properties, this program can be carried out in a computer proof assistant. In this paper we give an introduction to homotopy type theory in Voevodsky's setting, paying attention to both theoretical and practical issues. In particular, the paper serves as an introduction to both the general ideas of homotopy type theory as well as to some of the concrete details of Voevodsky's work using the well-known proof assistant Coq. The paper is written for a general audience of mathematicians with basic knowledge of algebraic topology; the paper does not assume any preliminary knowledge of type theory, logic, or computer science.
△ Less
Submitted 20 October, 2012;
originally announced October 2012.
-
Combinatorial realizability models of type theory
Authors:
Pieter Hofstra,
Michael A. Warren
Abstract:
We introduce a new model construction for Martin-Löf intensional type theory, which is sound and complete for the 1-truncated version of the theory. The model formally combines the syntactic model with a notion of realizability; it also encompasses the well-known Hofmann- Streicher groupoid semantics. As our main application, we use the model to analyse the syntactic groupoid associated to the typ…
▽ More
We introduce a new model construction for Martin-Löf intensional type theory, which is sound and complete for the 1-truncated version of the theory. The model formally combines the syntactic model with a notion of realizability; it also encompasses the well-known Hofmann- Streicher groupoid semantics. As our main application, we use the model to analyse the syntactic groupoid associated to the type theory generated by a graph G, showing that it has the same homotopy type as the free groupoid generated by G.
△ Less
Submitted 24 May, 2012;
originally announced May 2012.
-
Martin-Löf Complexes
Authors:
Steve Awodey,
Pieter Hofstra,
Michael A. Warren
Abstract:
In this paper we define Martin-Löf complexes to be algebras for monads on the category of (reflexive) globular sets which freely add cells in accordance with the rules of intensional Martin-Löf type theory. We then study the resulting categories of algebras for several theories. Our principal result is that there exists a cofibrantly generated Quillen model structure on the category of 1-truncated…
▽ More
In this paper we define Martin-Löf complexes to be algebras for monads on the category of (reflexive) globular sets which freely add cells in accordance with the rules of intensional Martin-Löf type theory. We then study the resulting categories of algebras for several theories. Our principal result is that there exists a cofibrantly generated Quillen model structure on the category of 1-truncated Martin-Löf complexes and that this category is Quillen equivalent to the category of groupoids. In particular, 1-truncated Martin-Löf complexes are a model of homotopy 1-types.
△ Less
Submitted 24 May, 2012; v1 submitted 24 June, 2009;
originally announced June 2009.
-
A characterization of representable intervals
Authors:
Michael A. Warren
Abstract:
In this note we provide a characterization, in terms of additional algebraic structure, of those intervals (certain cocategory objects) in a symmetric monoidal closed category E that are representable in the sense of inducing on E the structure of a finitely bicomplete 2-category. Several examples and connections with the homotopy theory of 2-categories are also discussed.
In this note we provide a characterization, in terms of additional algebraic structure, of those intervals (certain cocategory objects) in a symmetric monoidal closed category E that are representable in the sense of inducing on E the structure of a finitely bicomplete 2-category. Several examples and connections with the homotopy theory of 2-categories are also discussed.
△ Less
Submitted 24 May, 2012; v1 submitted 22 March, 2009;
originally announced March 2009.
-
Lawvere-Tierney sheaves in algebraic set theory
Authors:
Steve Awodey,
Nicola Gambino,
Peter L. Lumsdaine,
Michael A. Warren
Abstract:
We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothendieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming th…
▽ More
We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothendieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.
△ Less
Submitted 22 October, 2008; v1 submitted 9 November, 2007;
originally announced November 2007.
-
Homotopy theoretic models of identity types
Authors:
Steve Awodey,
Michael A. Warren
Abstract:
This paper presents a novel connection between homotopical algebra and mathematical logic. It is shown that a form of intensional type theory is valid in any Quillen model category, generalizing the Hofmann-Streicher groupoid model of Martin-Loef type theory.
This paper presents a novel connection between homotopical algebra and mathematical logic. It is shown that a form of intensional type theory is valid in any Quillen model category, generalizing the Hofmann-Streicher groupoid model of Martin-Loef type theory.
△ Less
Submitted 3 September, 2007;
originally announced September 2007.
