-
VC-Dimension of Hyperplanes over Finite Fields
Authors:
Ruben Ascoli,
Livia Betti,
Justin Cheigh,
Alex Iosevich,
Ryan Jeong,
Xuyan Liu,
Brian McDonald,
Wyatt Milgrim,
Steven J. Miller,
Francisco Romero Acosta,
Santiago Velazquez Iannuzzelli
Abstract:
Let $\mathbb{F}_q^d$ be the $d$-dimensional vector space over the finite field with $q$ elements. For a subset $E\subseteq \mathbb{F}_q^d$ and a fixed nonzero $t\in \mathbb{F}_q$, let $\mathcal{H}_t(E)=\{h_y: y\in E\}$, where $h_y$ is the indicator function of the set $\{x\in E: x\cdot y=t\}$. Two of the authors, with Maxwell Sun, showed in the case $d=3$ that if $|E|\geq Cq^{\frac{11}{4}}$ and…
▽ More
Let $\mathbb{F}_q^d$ be the $d$-dimensional vector space over the finite field with $q$ elements. For a subset $E\subseteq \mathbb{F}_q^d$ and a fixed nonzero $t\in \mathbb{F}_q$, let $\mathcal{H}_t(E)=\{h_y: y\in E\}$, where $h_y$ is the indicator function of the set $\{x\in E: x\cdot y=t\}$. Two of the authors, with Maxwell Sun, showed in the case $d=3$ that if $|E|\geq Cq^{\frac{11}{4}}$ and $q$ is sufficiently large, then the VC-dimension of $\mathcal{H}_t(E)$ is 3. In this paper, we generalize the result to arbitrary dimension and improve the exponent in the case $d=3$.
△ Less
Submitted 19 July, 2023;
originally announced July 2023.
-
On the structure of the diffusion distance induced by the fractional dyadic Laplacian
Authors:
María Florencia Acosta,
Hugo Aimar,
Ivana Gómez,
Federico Morana
Abstract:
In this note we explore the structure of the diffusion metric of Coifman-Lafon determined by fractional dyadic Laplacians. The main result is that, for each ${t>0}$, the diffusion metric is a function of the dyadic distance, given in $\mathbb{R}^+$ by $δ(x,y) = \inf\{|I|: I \text{ is a dyadic interval containing } x \text{ and } y\}$. Even if these functions of $δ$ are not equivalent to $δ$, the f…
▽ More
In this note we explore the structure of the diffusion metric of Coifman-Lafon determined by fractional dyadic Laplacians. The main result is that, for each ${t>0}$, the diffusion metric is a function of the dyadic distance, given in $\mathbb{R}^+$ by $δ(x,y) = \inf\{|I|: I \text{ is a dyadic interval containing } x \text{ and } y\}$. Even if these functions of $δ$ are not equivalent to $δ$, the families of balls are the same, to wit, the dyadic intervals.
△ Less
Submitted 12 March, 2023;
originally announced March 2023.
-
Understanding Linchpin Variables in Markov Chain Monte Carlo
Authors:
Dootika Vats,
Felipe Acosta,
Mark L. Huber,
Galin L. Jones
Abstract:
An introduction to the use of linchpin variables in Markov
chain Monte Carlo (MCMC) is provided. Before the widespread
adoption of MCMC methods, conditional sampling using linchpin
variables was essentially the only practical approach for simulating
from multivariate distributions. With the advent of MCMC, linchpin
variables were largely ignored. However, there has been a
resurgence of…
▽ More
An introduction to the use of linchpin variables in Markov
chain Monte Carlo (MCMC) is provided. Before the widespread
adoption of MCMC methods, conditional sampling using linchpin
variables was essentially the only practical approach for simulating
from multivariate distributions. With the advent of MCMC, linchpin
variables were largely ignored. However, there has been a
resurgence of interest in using them in conjunction with MCMC
methods and there are good reasons for doing so. A simple
derivation of the method is provided, its validity, benefits, and
limitations are discussed, and some examples in the research
literature are presented.
△ Less
Submitted 24 October, 2022;
originally announced October 2022.
-
VC-Dimension and Distance Chains in $\mathbb{F}_q^d$
Authors:
Ruben Ascoli,
Livia Betti,
Justin Cheigh,
Alex Iosevich,
Ryan Jeong,
Xuyan Liu,
Brian McDonald,
Wyatt Milgrim,
Steven J. Miller,
Francisco Romero Acosta,
Santiago Velazquez Iannuzzelli
Abstract:
Given a domain $X$ and a collection $\mathcal{H}$ of functions $h:X\to \{0,1\}$, the Vapnik-Chervonenkis (VC) dimension of $\mathcal{H}$ measures its complexity in an appropriate sense. In particular, the fundamental theorem of statistical learning says that a hypothesis class with finite VC-dimension is PAC learnable. Recent work by Fitzpatrick, Wyman, the fourth and seventh named authors studied…
▽ More
Given a domain $X$ and a collection $\mathcal{H}$ of functions $h:X\to \{0,1\}$, the Vapnik-Chervonenkis (VC) dimension of $\mathcal{H}$ measures its complexity in an appropriate sense. In particular, the fundamental theorem of statistical learning says that a hypothesis class with finite VC-dimension is PAC learnable. Recent work by Fitzpatrick, Wyman, the fourth and seventh named authors studied the VC-dimension of a natural family of functions $\mathcal{H}_t^{'2}(E): \mathbb{F}_q^2\to \{0,1\}$, corresponding to indicator functions of circles centered at points in a subset $E\subseteq \mathbb{F}_q^2$. They showed that when $|E|$ is large enough, the VC-dimension of $\mathcal{H}_t^{'2}(E)$ is the same as in the case that $E = \mathbb F_q^2$. We study a related hypothesis class, $\mathcal{H}_t^d(E)$, corresponding to intersections of spheres in $\mathbb{F}_q^d$, and ask how large $E\subseteq \mathbb{F}_q^d$ needs to be to ensure the maximum possible VC-dimension. We resolve this problem in all dimensions, proving that whenever $|E|\geq C_dq^{d-1/(d-1)}$ for $d\geq 3$, the VC-dimension of $\mathcal{H}_t^d(E)$ is as large as possible. We get a slightly stronger result if $d=3$: this result holds as long as $|E|\geq C_3 q^{7/3}$. Furthermore, when $d=2$ the result holds when $|E|\geq C_2 q^{7/4}$.
△ Less
Submitted 19 July, 2023; v1 submitted 6 October, 2022;
originally announced October 2022.
-
Distinct Angles and Angle Chains in Three Dimensions
Authors:
Ruben Ascoli,
Livia Betti,
Jacob Lehmann Duke,
Xuyan Liu,
Wyatt Milgrim,
Steven J. Miller,
Eyvindur A. Palsson,
Francisco Romero Acosta,
Santiago Velazquez Iannuzzelli
Abstract:
In 1946, Erdős posed the distinct distance problem, which seeks to find the minimum number of distinct distances between pairs of points selected from any configuration of $n$ points in the plane. The problem has since been explored along with many variants, including ones that extend it into higher dimensions. Less studied but no less intriguing is Erdős' distinct angle problem, which seeks to fi…
▽ More
In 1946, Erdős posed the distinct distance problem, which seeks to find the minimum number of distinct distances between pairs of points selected from any configuration of $n$ points in the plane. The problem has since been explored along with many variants, including ones that extend it into higher dimensions. Less studied but no less intriguing is Erdős' distinct angle problem, which seeks to find point configurations in the plane that minimize the number of distinct angles. In their recent paper "Distinct Angles in General Position," Fleischmann, Konyagin, Miller, Palsson, Pesikoff, and Wolf use a logarithmic spiral to establish an upper bound of $O(n^2)$ on the minimum number of distinct angles in the plane in general position, which prohibits three points on any line or four on any circle.
We consider the question of distinct angles in three dimensions and provide bounds on the minimum number of distinct angles in general position in this setting. We focus on pinned variants of the question, and we examine explicit constructions of point configurations in $\mathbb{R}^3$ which use self-similarity to minimize the number of distinct angles. Furthermore, we study a variant of the distinct angles question regarding distinct angle chains and provide bounds on the minimum number of distinct chains in $\mathbb{R}^2$ and $\mathbb{R}^3$.
△ Less
Submitted 19 February, 2023; v1 submitted 28 August, 2022;
originally announced August 2022.
-
A Mattila-Sjölin theorem for simplices in low dimensions
Authors:
Eyvindur Ari Palsson,
Francisco Romero Acosta
Abstract:
In this paper we show that if a compact set $E \subset \mathbb{R}^d$, $d \geq 3$, has Hausdorff dimension greater than $\frac{(4k-1)}{4k}d+\frac{1}{4}$ when $3 \leq d<\frac{k(k+3)}{(k-1)}$ or $d- \frac{1}{k-1}$ when $\frac{k(k+3)}{(k-1)} \leq d$, then the set of congruence class of simplices with vertices in $E$ has nonempty interior. By set of congruence class of simplices with vertices in $E$ we…
▽ More
In this paper we show that if a compact set $E \subset \mathbb{R}^d$, $d \geq 3$, has Hausdorff dimension greater than $\frac{(4k-1)}{4k}d+\frac{1}{4}$ when $3 \leq d<\frac{k(k+3)}{(k-1)}$ or $d- \frac{1}{k-1}$ when $\frac{k(k+3)}{(k-1)} \leq d$, then the set of congruence class of simplices with vertices in $E$ has nonempty interior. By set of congruence class of simplices with vertices in $E$ we mean $$Δ_{k}(E) = \left \{ \vec{t} = (t_{ij}) : |x_i-x_j|=t_{ij} ; \ x_i,x_j \in E ; \ 0\leq i < j \leq k \right \} \subset \mathbb{R}^{\frac{k(k+1)}{2}}$$ where $2 \leq k <d$. This result improves our previous work in the sense that we now can obtain a Hausdorff dimension threshold which allow us to guarantee that the set of congruence class of triangles formed by triples of points of $E$ has nonempty interior when $d=3$ as well as extending to all simplices. The present work can be thought of as an extension of the Mattila-Sjölin theorem which establishes a non-empty interior for the distance set instead of the set of congruence classes of simplices.
△ Less
Submitted 22 July, 2024; v1 submitted 12 August, 2022;
originally announced August 2022.
-
A Mattila-Sjölin theorem for triangles
Authors:
Eyvindur Ari Palsson,
Francisco Romero Acosta
Abstract:
We show for a compact set $E \subset \mathbb{R}^d$, $d \geq 4$, that if the Hausdorff dimension of $E$ is larger than $\frac{2}{3}d+1$, then the set of congruence classes of triangles formed by triples of points of $E$ has nonempty interior. Here we understand the set of congruence classes of triangles formed by triples of points of $E$ as the set…
▽ More
We show for a compact set $E \subset \mathbb{R}^d$, $d \geq 4$, that if the Hausdorff dimension of $E$ is larger than $\frac{2}{3}d+1$, then the set of congruence classes of triangles formed by triples of points of $E$ has nonempty interior. Here we understand the set of congruence classes of triangles formed by triples of points of $E$ as the set $$Δ_{\text{tri}}(E) = \left \{ (t,r, α) : |x-z|=t, |y-z|=r \, \text{ and }\, α= α(x,z,y), \ x,y,z \in E \right \},$$ where $α(x,z,y)$ denotes the angle formed by $x$, $y$ and $z$ , centered at $z$. This extends the Mattila-Sjölin theorem that establishes a non-empty interior for the distance set instead of the set of congruence classes of triangles. These theorems can be thought of as refinements and extensions of the statements in the well known Falconer distance problem.
△ Less
Submitted 22 July, 2022; v1 submitted 27 September, 2021;
originally announced September 2021.
-
On Frink's type metrization of weighted graphs
Authors:
María Florencia Acosta,
Hugo Aimar,
Ivana Gómez
Abstract:
Using the technique of the metrization theorem of uniformities with countable bases, in this note we provide, test and compare an explicit algorithm to produce a metric $d(x,y)$ between the vertices $x$ and $y$ of an affinity weighted undirected graph.
Using the technique of the metrization theorem of uniformities with countable bases, in this note we provide, test and compare an explicit algorithm to produce a metric $d(x,y)$ between the vertices $x$ and $y$ of an affinity weighted undirected graph.
△ Less
Submitted 2 August, 2020;
originally announced August 2020.
-
Holder estimates for the $\bar\partial$-equation on surfaces with simple singularities
Authors:
F. Acosta,
E. S. Zeron
Abstract:
Let $Σ$ be a 2-dimensional subvariety in $C^3$ with an isolated simple (rational double point) singularity at the origin. The main objective of this paper is to solve the $\dbar$-equation on a neighbourhood of the origin in $Σ$, demanding a Holder condition on the solution.
Let $Σ$ be a 2-dimensional subvariety in $C^3$ with an isolated simple (rational double point) singularity at the origin. The main objective of this paper is to solve the $\dbar$-equation on a neighbourhood of the origin in $Σ$, demanding a Holder condition on the solution.
△ Less
Submitted 20 July, 2006; v1 submitted 20 July, 2006;
originally announced July 2006.
