-
Deterministic Apple Tasting
Authors:
Zachary Chase,
Idan Mehalel
Abstract:
In binary ($0/1$) online classification with apple tasting feedback, the learner receives feedback only when predicting $1$. Besides some degenerate learning tasks, all previously known learning algorithms for this model are randomized. Consequently, prior to this work it was unknown whether deterministic apple tasting is generally feasible. In this work, we provide the first widely-applicable det…
▽ More
In binary ($0/1$) online classification with apple tasting feedback, the learner receives feedback only when predicting $1$. Besides some degenerate learning tasks, all previously known learning algorithms for this model are randomized. Consequently, prior to this work it was unknown whether deterministic apple tasting is generally feasible. In this work, we provide the first widely-applicable deterministic apple tasting learner, and show that in the realizable case, a hypothesis class is learnable if and only if it is deterministically learnable, confirming a conjecture of [Raman, Subedi, Raman, Tewari-24]. Quantitatively, we show that every class $\mathcal{H}$ is learnable with mistake bound $O \left(\sqrt{\mathtt{L}(\mathcal{H}) T \log T} \right)$ (where $\mathtt{L}(\mathcal{H})$ is the Littlestone dimension of $\mathcal{H}$), and that this is tight for some classes.
We further study the agnostic case, in which the best hypothesis makes at most $k$ many mistakes, and prove a trichotomy stating that every class $\mathcal{H}$ must be either easy, hard, or unlearnable. Easy classes have (both randomized and deterministic) mistake bound $Θ_{\mathcal{H}}(k)$. Hard classes have randomized mistake bound $\tildeΘ_{\mathcal{H}} \left(k + \sqrt{T} \right)$, and deterministic mistake bound $\tildeΘ_{\mathcal{H}} \left(\sqrt{k \cdot T} \right)$, where $T$ is the time horizon. Unlearnable classes have (both randomized and deterministic) mistake bound $Θ(T)$.
Our upper bound is based on a deterministic algorithm for learning from expert advice with apple tasting feedback, a problem interesting in its own right. For this problem, we show that the optimal deterministic mistake bound is $Θ\left(\sqrt{T (k + \log n)} \right)$ for all $k$ and $T \leq n \leq 2^T$, where $n$ is the number of experts.
△ Less
Submitted 4 June, 2025; v1 submitted 14 October, 2024;
originally announced October 2024.
-
Dual VC Dimension Obstructs Sample Compression by Embeddings
Authors:
Zachary Chase,
Bogdan Chornomaz,
Steve Hanneke,
Shay Moran,
Amir Yehudayoff
Abstract:
This work studies embedding of arbitrary VC classes in well-behaved VC classes, focusing particularly on extremal classes. Our main result expresses an impossibility: such embeddings necessarily require a significant increase in dimension. In particular, we prove that for every $d$ there is a class with VC dimension $d$ that cannot be embedded in any extremal class of VC dimension smaller than exp…
▽ More
This work studies embedding of arbitrary VC classes in well-behaved VC classes, focusing particularly on extremal classes. Our main result expresses an impossibility: such embeddings necessarily require a significant increase in dimension. In particular, we prove that for every $d$ there is a class with VC dimension $d$ that cannot be embedded in any extremal class of VC dimension smaller than exponential in $d$.
In addition to its independent interest, this result has an important implication in learning theory, as it reveals a fundamental limitation of one of the most extensively studied approaches to tackling the long-standing sample compression conjecture. Concretely, the approach proposed by Floyd and Warmuth entails embedding any given VC class into an extremal class of a comparable dimension, and then applying an optimal sample compression scheme for extremal classes. However, our results imply that this strategy would in some cases result in a sample compression scheme at least exponentially larger than what is predicted by the sample compression conjecture.
The above implications follow from a general result we prove: any extremal class with VC dimension $d$ has dual VC dimension at most $2d+1$. This bound is exponentially smaller than the classical bound $2^{d+1}-1$ of Assouad, which applies to general concept classes (and is known to be unimprovable for some classes). We in fact prove a stronger result, establishing that $2d+1$ upper bounds the dual Radon number of extremal classes. This theorem represents an abstraction of the classical Radon theorem for convex sets, extending its applicability to a wider combinatorial framework, without relying on the specifics of Euclidean convexity. The proof utilizes the topological method and is primarily based on variants of the Topological Radon Theorem.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
Local Borsuk-Ulam, Stability, and Replicability
Authors:
Zachary Chase,
Bogdan Chornomaz,
Shay Moran,
Amir Yehudayoff
Abstract:
We use and adapt the Borsuk-Ulam Theorem from topology to derive limitations on list-replicable and globally stable learning algorithms. We further demonstrate the applicability of our methods in combinatorics and topology.
We show that, besides trivial cases, both list-replicable and globally stable learning are impossible in the agnostic PAC setting. This is in contrast with the realizable cas…
▽ More
We use and adapt the Borsuk-Ulam Theorem from topology to derive limitations on list-replicable and globally stable learning algorithms. We further demonstrate the applicability of our methods in combinatorics and topology.
We show that, besides trivial cases, both list-replicable and globally stable learning are impossible in the agnostic PAC setting. This is in contrast with the realizable case where it is known that any class with a finite Littlestone dimension can be learned by such algorithms. In the realizable PAC setting, we sharpen previous impossibility results and broaden their scope. Specifically, we establish optimal bounds for list replicability and global stability numbers in finite classes. This provides an exponential improvement over previous works and implies an exponential separation from the Littlestone dimension. We further introduce lower bounds for weak learners, i.e., learners that are only marginally better than random guessing. Lower bounds from previous works apply only to stronger learners.
To offer a broader and more comprehensive view of our topological approach, we prove a local variant of the Borsuk-Ulam theorem in topology and a result in combinatorics concerning Kneser colorings. In combinatorics, we prove that if $c$ is a coloring of all non-empty subsets of $[n]$ such that disjoint sets have different colors, then there is a chain of subsets that receives at least $1+ \lfloor n/2\rfloor$ colors (this bound is sharp). In topology, we prove e.g. that for any open antipodal-free cover of the $d$-dimensional sphere, there is a point $x$ that belongs to at least $t=\lceil\frac{d+3}{2}\rceil$ sets.
△ Less
Submitted 2 November, 2023;
originally announced November 2023.
-
Replicability and stability in learning
Authors:
Zachary Chase,
Shay Moran,
Amir Yehudayoff
Abstract:
Replicability is essential in science as it allows us to validate and verify research findings. Impagliazzo, Lei, Pitassi and Sorrell (`22) recently initiated the study of replicability in machine learning. A learning algorithm is replicable if it typically produces the same output when applied on two i.i.d. inputs using the same internal randomness. We study a variant of replicability that does n…
▽ More
Replicability is essential in science as it allows us to validate and verify research findings. Impagliazzo, Lei, Pitassi and Sorrell (`22) recently initiated the study of replicability in machine learning. A learning algorithm is replicable if it typically produces the same output when applied on two i.i.d. inputs using the same internal randomness. We study a variant of replicability that does not involve fixing the randomness. An algorithm satisfies this form of replicability if it typically produces the same output when applied on two i.i.d. inputs (without fixing the internal randomness). This variant is called global stability and was introduced by Bun, Livni and Moran ('20) in the context of differential privacy.
Impagliazzo et al. showed how to boost any replicable algorithm so that it produces the same output with probability arbitrarily close to 1. In contrast, we demonstrate that for numerous learning tasks, global stability can only be accomplished weakly, where the same output is produced only with probability bounded away from 1. To overcome this limitation, we introduce the concept of list replicability, which is equivalent to global stability. Moreover, we prove that list replicability can be boosted so that it is achieved with probability arbitrarily close to 1. We also describe basic relations between standard learning-theoretic complexity measures and list replicable numbers. Our results, in addition, imply that besides trivial cases, replicable algorithms (in the sense of Impagliazzo et al.) must be randomized.
The proof of the impossibility result is based on a topological fixed-point theorem. For every algorithm, we are able to locate a "hard input distribution" by applying the Poincaré-Miranda theorem in a related topological setting. The equivalence between global stability and list replicability is algorithmic.
△ Less
Submitted 12 April, 2023; v1 submitted 7 April, 2023;
originally announced April 2023.
-
Emulating the Deutsch-Josza algorithm with an inverse-designed terahertz gradient-index lens
Authors:
Ashley N. Blackwell,
Riad Yahiaoui,
Yi-Huan Chen,
Pai-Yen Chen,
Thomas A. Searles,
Zizwe A. Chase
Abstract:
Photonic systems utilized as components for optical computing promise the potential of enhanced computational ability over current computer architectures. Here, an all-dielectric photonic metastructure is investigated for application as a quantum algorithm emulator (QAE) in the terahertz frequency regime; specifically, we show implementation of the Deustsh-Josza algorithm. The design for the QAE c…
▽ More
Photonic systems utilized as components for optical computing promise the potential of enhanced computational ability over current computer architectures. Here, an all-dielectric photonic metastructure is investigated for application as a quantum algorithm emulator (QAE) in the terahertz frequency regime; specifically, we show implementation of the Deustsh-Josza algorithm. The design for the QAE consists of a gradient-index (GRIN) lens as the Fourier transform subblock and silicon as the oracle subblock. First, we detail optimization of the metastructure through numerical analysis. Then, we employed inverse design through a machine learning approach to further optimize the structural geometry. In particular, we improved the lens thickness, in order to enhance the resulting output signal for both balanced and constant functions. We show that by optimizing the thickness of the gradient-index lens through ML, we enhance the interaction of the incident light with the metamaterial leading to a stronger focus of the outgoing wave resulting in more accurate implementation of the desired quantum algorithm in the terahertz.
△ Less
Submitted 7 April, 2023;
originally announced April 2023.
-
Approximate union closed conjecture
Authors:
Zachary Chase,
Shachar Lovett
Abstract:
A set system is called union closed if for any two sets in the set system their union is also in the set system. Gilmer recently proved that in any union closed set system some element belongs to at least a $0.01$ fraction of sets, and conjectured that his technique can be pushed to the constant $\frac{3-\sqrt{5}}{2}$. We verify his conjecture; show that it extends to approximate union closed set…
▽ More
A set system is called union closed if for any two sets in the set system their union is also in the set system. Gilmer recently proved that in any union closed set system some element belongs to at least a $0.01$ fraction of sets, and conjectured that his technique can be pushed to the constant $\frac{3-\sqrt{5}}{2}$. We verify his conjecture; show that it extends to approximate union closed set systems, where for nearly all pairs of sets their union belong to the set system; and show that for such set systems this bound is optimal.
△ Less
Submitted 21 November, 2022;
originally announced November 2022.
-
On the length of Pierce expansions
Authors:
Zachary Chase,
Mayank Pandey
Abstract:
For a given positive integer $n$, how long can the process $x \mapsto n\text{ }(\text{mod } x)$ last before reaching $0$? We improve Erdős and Shallit's upper bound of $O(n^{\frac{1}{3}+\varepsilon})$ to $O(n^{\frac{1}{3}-\frac{2}{177}+\varepsilon})$ for any $\varepsilon > 0$.
For a given positive integer $n$, how long can the process $x \mapsto n\text{ }(\text{mod } x)$ last before reaching $0$? We improve Erdős and Shallit's upper bound of $O(n^{\frac{1}{3}+\varepsilon})$ to $O(n^{\frac{1}{3}-\frac{2}{177}+\varepsilon})$ for any $\varepsilon > 0$.
△ Less
Submitted 15 November, 2022;
originally announced November 2022.
-
On the smallest gap in a sequence with Poisson pair correlations
Authors:
Daniel Altman,
Zachary Chase
Abstract:
We prove that any increasing sequence of real numbers with average gap $1$ and Poisson pair correlations has some gap that is at least $3/2+10^{-9}$. This improves upon a result of Aistleitner, Blomer, and Radziwill.
We prove that any increasing sequence of real numbers with average gap $1$ and Poisson pair correlations has some gap that is at least $3/2+10^{-9}$. This improves upon a result of Aistleitner, Blomer, and Radziwill.
△ Less
Submitted 31 October, 2022;
originally announced October 2022.
-
Optimally compressing VC classes
Authors:
Zachary Chase
Abstract:
Resolving a conjecture of Littlestone and Warmuth, we show that any concept class of VC-dimension $d$ has a sample compression scheme of size $d$.
Resolving a conjecture of Littlestone and Warmuth, we show that any concept class of VC-dimension $d$ has a sample compression scheme of size $d$.
△ Less
Submitted 12 January, 2022; v1 submitted 11 January, 2022;
originally announced January 2022.
-
On sumsets containing a perfect square
Authors:
Zachary Chase
Abstract:
We show $A+B$ contains a perfect square if $A,B \subseteq \{1,\dots,N\}$ have $|A|,|B| \ge (\frac{3}{8}+ε)N$. The constant $\frac{3}{8}$ is optimal.
We show $A+B$ contains a perfect square if $A,B \subseteq \{1,\dots,N\}$ have $|A|,|B| \ge (\frac{3}{8}+ε)N$. The constant $\frac{3}{8}$ is optimal.
△ Less
Submitted 11 January, 2022;
originally announced January 2022.
-
Tunable Plasmonic Ultrastrong Coupling: Emulating Dicke Physics at Room Temperature
Authors:
Riad Yahiaoui,
Zizwe A. Chase,
Chan Kyaw,
Fuyang Tay,
Andrey Baydin,
G. Timothy Noe II,
Junyeob Song,
Junichiro Kono,
Amit Agrawal,
Motoaki Bamba,
Thomas A. Searles
Abstract:
A system of N two-level atoms cooperatively interacting with a photonic field can be described as a single giant atom coupled to the field with interaction strength ~N^0.5. This enhancement, known as Dicke cooperativity in quantum optics, has recently become an indispensable element in quantum information technology based on strong light-matter coupling. Here, we extend the coupling beyond the sta…
▽ More
A system of N two-level atoms cooperatively interacting with a photonic field can be described as a single giant atom coupled to the field with interaction strength ~N^0.5. This enhancement, known as Dicke cooperativity in quantum optics, has recently become an indispensable element in quantum information technology based on strong light-matter coupling. Here, we extend the coupling beyond the standard light-matter interaction paradigm, emulating Dicke cooperativity in a terahertz metasurface with N meta-atoms. Cooperative enhancement manifested in the form of matter-matter coupling, through the hybridization of localized surface plasmon resonance in individual meta-atoms and surface lattice resonance due to the periodic array of the meta-atoms. By varying the lattice constant of the array, we observe a clear anticrossing behavior, a signature of strong coupling. Furthermore, through engineering of the capacitive split-gap in the meta-atoms, the coupling rate was cooperatively enhanced into the ultrastrong coupling regime by a factor of N^0.5. This room-temperature technology serves as a convenient quantum emulator of the dynamics of a qubit with a giant dipole moment coherently driven by a single bosonic field.
△ Less
Submitted 27 September, 2022; v1 submitted 5 August, 2021;
originally announced August 2021.
-
Approximate trace reconstruction of random strings from a constant number of traces
Authors:
Zachary Chase,
Yuval Peres
Abstract:
In the trace reconstruction problem, the goal is to reconstruct an unknown string $x$ of length $n$ from multiple traces obtained by passing $x$ through the deletion channel. In the relaxed problem of $approximate$ trace reconstruction, the goal is to reconstruct an approximation $\widehat{x}$ of $x$ which is close (within $εn$) to $x$ in edit distance. We show that for most strings $x$, this is p…
▽ More
In the trace reconstruction problem, the goal is to reconstruct an unknown string $x$ of length $n$ from multiple traces obtained by passing $x$ through the deletion channel. In the relaxed problem of $approximate$ trace reconstruction, the goal is to reconstruct an approximation $\widehat{x}$ of $x$ which is close (within $εn$) to $x$ in edit distance. We show that for most strings $x$, this is possible with high probability using only a constant number of traces. Crucially, this constant does not grow with $n$, and only depends on the deletion probability and $ε$.
△ Less
Submitted 13 July, 2021;
originally announced July 2021.
-
Collision Recovery Control of a Foldable Quadrotor
Authors:
Karishma Patnaik,
Shatadal Mishra,
Zachary Chase,
Wenlong Zhang
Abstract:
Autonomous missions of small unmanned aerial vehicles (UAVs) are prone to collisions owing to environmental disturbances and localization errors. Consequently, a UAV that can endure collisions and perform recovery control in critical aerial missions is desirable to prevent loss of the vehicle and/or payload. We address this problem by proposing a novel foldable quadrotor system which can sustain c…
▽ More
Autonomous missions of small unmanned aerial vehicles (UAVs) are prone to collisions owing to environmental disturbances and localization errors. Consequently, a UAV that can endure collisions and perform recovery control in critical aerial missions is desirable to prevent loss of the vehicle and/or payload. We address this problem by proposing a novel foldable quadrotor system which can sustain collisions and recover safely. The quadrotor is designed with integrated mechanical compliance using a torsional spring such that the impact time is increased and the net impact force on the main body is decreased. The post-collision dynamics is analysed and a recovery controller is proposed which stabilizes the system to a hovering location without additional collisions. Flight test results on the proposed and a conventional quadrotor demonstrate that for the former, integrated spring-damper characteristics reduce the rebound velocity and lead to simple recovery control algorithms in the event of unintended collisions as compared to a rigid quadrotor of the same dimension.
△ Less
Submitted 28 May, 2021; v1 submitted 25 May, 2021;
originally announced May 2021.
-
New upper bounds for trace reconstruction
Authors:
Zachary Chase
Abstract:
We show that any $n$-bit string can be recovered with high probability from $\exp(\widetilde{O}(n^{1/5}))$ independent random subsequences.
We show that any $n$-bit string can be recovered with high probability from $\exp(\widetilde{O}(n^{1/5}))$ independent random subsequences.
△ Less
Submitted 11 January, 2022; v1 submitted 7 September, 2020;
originally announced September 2020.
-
A new upper bound for separating words
Authors:
Zachary Chase
Abstract:
We prove that for any distinct $x,y \in \{0,1\}^n$, there is a deterministic finite automaton with $\widetilde{O}(n^{1/3})$ states that accepts $x$ but not $y$. This improves Robson's 1989 upper bound of $\widetilde{O}(n^{2/5})$.
We prove that for any distinct $x,y \in \{0,1\}^n$, there is a deterministic finite automaton with $\widetilde{O}(n^{1/3})$ states that accepts $x$ but not $y$. This improves Robson's 1989 upper bound of $\widetilde{O}(n^{2/5})$.
△ Less
Submitted 11 January, 2022; v1 submitted 23 July, 2020;
originally announced July 2020.
-
A random analogue of Gilbreath's conjecture
Authors:
Zachary Chase
Abstract:
A well-known conjecture of Gilbreath, and independently Proth from the 1800s, states that if $a_{0,n} = p_n$ denotes the $n^{\text{th}}$ prime number and $a_{i,n} = |a_{i-1,n}-a_{i-1,n+1}|$ for $i, n \ge 1$, then $a_{i,1} = 1$ for all $i \ge 1$. It has been postulated repeatedly that the property of having $a_{i,1} = 1$ for $i$ large enough should hold for any choice of initial…
▽ More
A well-known conjecture of Gilbreath, and independently Proth from the 1800s, states that if $a_{0,n} = p_n$ denotes the $n^{\text{th}}$ prime number and $a_{i,n} = |a_{i-1,n}-a_{i-1,n+1}|$ for $i, n \ge 1$, then $a_{i,1} = 1$ for all $i \ge 1$. It has been postulated repeatedly that the property of having $a_{i,1} = 1$ for $i$ large enough should hold for any choice of initial $(a_{0,n})_{n \ge 1}$ provided that the gaps $a_{0,n+1}-a_{0,n}$ are not too large and are sufficiently random. We prove (a precise form of) this postulate.
△ Less
Submitted 11 January, 2022; v1 submitted 1 May, 2020;
originally announced May 2020.
-
Guided Mode Resonances in Flexible 2D THz Photonic Crystals
Authors:
C. Kyaw,
R. Yahiaoui,
Z. A. Chase,
V. Tran,
A. Baydin,
F. Tay,
J. Kono,
M. Manjappa,
R. Singh,
D. C. Abeysinghe,
A. M. Urbas,
T. A. Searles
Abstract:
In terahertz (THz) photonics, there is an ongoing effort to develop thin, compact devices such as dielectric photonic crystal (PhC) slabs with desirable light matter interactions. However, previous works in THz PhC slabs are limited to rigid substrates with thicknesses $\sim$ 100s of micrometers. Dielectric PhC slabs have been shown to possess in-plane modes that are excited by external radiation…
▽ More
In terahertz (THz) photonics, there is an ongoing effort to develop thin, compact devices such as dielectric photonic crystal (PhC) slabs with desirable light matter interactions. However, previous works in THz PhC slabs are limited to rigid substrates with thicknesses $\sim$ 100s of micrometers. Dielectric PhC slabs have been shown to possess in-plane modes that are excited by external radiation to produce sharp guided mode resonances with minimal absorption for applications in sensors, optics and lasers. Here, we confirm the existence of guided resonances in a membrane-type THz PhC slab with subwavelength ($λ_{0}$/6 - $λ_{0}$/12) thicknesses of flexible dielectric polyimide films. The transmittance of the guided resonances was measured for different structural parameters of the unit cell. Furthermore, we exploited the flexibility of the samples to modulate the linewidth of the guided modes down to 1.5 GHz for bend angle of $θ$ $\geq 5^{\circ}$; confirmed experimentally by the suppression of these modes. The mechanical flexibility of the device allows for an additional degree of freedom in system design for optical components for high-speed communications, soft wearable photonics and implantable medical devices.
△ Less
Submitted 14 January, 2020;
originally announced January 2020.
-
The Maximum Number of Triangles in a Graph of Given Maximum Degree
Authors:
Zachary Chase
Abstract:
We prove that any graph on $n$ vertices with max degree $d$ has at most $q{d+1 \choose 3}+{r \choose 3}$ triangles, where $n = q(d+1)+r$, $0 \le r \le d$. This resolves a conjecture of Gan-Loh-Sudakov.
We prove that any graph on $n$ vertices with max degree $d$ has at most $q{d+1 \choose 3}+{r \choose 3}$ triangles, where $n = q(d+1)+r$, $0 \le r \le d$. This resolves a conjecture of Gan-Loh-Sudakov.
△ Less
Submitted 4 September, 2020; v1 submitted 3 December, 2019;
originally announced December 2019.
-
Experimental Evidence for Asymptotic Non-Optimality of Comb Adversary Strategy
Authors:
Zachary Chase
Abstract:
For the problem of prediction with expert advice in the adversarial setting with finite stopping time, we give strong computer evidence that the comb strategy for $k=5$ experts is not asymptotically optimal, thereby giving strong evidence against a conjecture of Gravin, Peres, and Sivan.
For the problem of prediction with expert advice in the adversarial setting with finite stopping time, we give strong computer evidence that the comb strategy for $k=5$ experts is not asymptotically optimal, thereby giving strong evidence against a conjecture of Gravin, Peres, and Sivan.
△ Less
Submitted 3 December, 2019;
originally announced December 2019.
-
Additive Conjugacy and the Bohr Compactification of Orthogonal Representations
Authors:
Zachary Chase,
Wade Hann-Caruthers,
Omer Tamuz
Abstract:
We say that two unitary or orthogonal representations of a finitely generated group $G$ are additive conjugates if they are intertwined by an additive map, which need not be continuous. We associate to each representation of $G$ a topological action that is a complete additive conjugacy invariant: the action of $G$ by group automorphisms on the Bohr compactification of the underlying Hilbert space…
▽ More
We say that two unitary or orthogonal representations of a finitely generated group $G$ are additive conjugates if they are intertwined by an additive map, which need not be continuous. We associate to each representation of $G$ a topological action that is a complete additive conjugacy invariant: the action of $G$ by group automorphisms on the Bohr compactification of the underlying Hilbert space. Using this construction we show that the property of having almost invariant vectors is an additive conjugacy invariant. As an application we show that $G$ is amenable if and only if there is a nonzero homomorphism from $L^2(G)$ into $\mathbb{R}/\mathbb{Z}$ that is invariant to the $G$-action.
△ Less
Submitted 13 February, 2021; v1 submitted 28 May, 2019;
originally announced May 2019.
-
New Lower Bounds for Trace Reconstruction
Authors:
Zachary Chase
Abstract:
We improve the lower bound on worst case trace reconstruction from $Ω\left(\frac{n^{5/4}}{\sqrt{\log n}}\right)$ to $Ω\left(\frac{n^{3/2}}{\log^{7} n}\right)$. As a consequence, we improve the lower bound on average case trace reconstruction from $Ω\left(\frac{\log^{9/4}n}{\sqrt{\log\log n}}\right)$ to $Ω\left(\frac{\log^{5/2}n}{(\log\log n)^{7}}\right)$.
We improve the lower bound on worst case trace reconstruction from $Ω\left(\frac{n^{5/4}}{\sqrt{\log n}}\right)$ to $Ω\left(\frac{n^{3/2}}{\log^{7} n}\right)$. As a consequence, we improve the lower bound on average case trace reconstruction from $Ω\left(\frac{\log^{9/4}n}{\sqrt{\log\log n}}\right)$ to $Ω\left(\frac{\log^{5/2}n}{(\log\log n)^{7}}\right)$.
△ Less
Submitted 23 July, 2020; v1 submitted 8 May, 2019;
originally announced May 2019.
-
Influence of symmetry breaking on Fano-like resonances in high Figure of Merit planar terahertz metafilms
Authors:
Joshua A. Burrow,
Riad Yahiaoui,
Wesley Sims,
Zizwe A. Chase,
Viet Tran,
Andrew Sarangan,
Jay Mathews,
Willie S. Rockward,
Imad Agha,
Thomas A. Searles
Abstract:
It is well established that nearly all high-quality (Q) Fano-like resonances in terahertz (THz) metasurfaces broaden as asymmetry increases, resulting in a decline of Q-factor and an increase in the resonance intensity. Therefore, in order to determine the optimal design for applications in THz sensing, a Figure of Merit (FoM) is required. Previous studies have identified the asymmetry regimes at…
▽ More
It is well established that nearly all high-quality (Q) Fano-like resonances in terahertz (THz) metasurfaces broaden as asymmetry increases, resulting in a decline of Q-factor and an increase in the resonance intensity. Therefore, in order to determine the optimal design for applications in THz sensing, a Figure of Merit (FoM) is required. Previous studies have identified the asymmetry regimes at which the peak FoM occurs for various, specific unit cell geometries. However to date, there is no systematic comparison of the resulting FoMs for common and novel geometries. Here, a THz planar metafilm featuring split ring resonators with four distributed capacitive gaps is investigated to compare three unique methods of implementing asymmetry: (1) adjacent L-bracket translation, (2) capacitive gap translation and (3) increasing gap width. The results obtained find that by translating two gaps and increasing the bottom gap width of the unit cell, the high-Q Fano-like resonances are $6 \times$ higher than the FoM for the fundamental dipole mode. This work further informs the design process for THz metasurfaces and as such will help to define their applications in photonics and sensing.
△ Less
Submitted 5 December, 2018;
originally announced December 2018.
-
The Maximum Number of Three Term Arithmetic Progressions, and Triangles in Cayley Graphs
Authors:
Zachary Chase
Abstract:
Let $G$ be a finite Abelian group. For a subset $S \subseteq G$, let $T_3(S)$ denote the number of length three arithemtic progressions in $S$ and Prob[$S$] $= \frac{1}{|S|^2}\sum_{x,y \in S} 1_S(x+y)$. For any $q \ge 1$ and $α\in [0,1]$, and any $S \subseteq G$ with $|S| = \frac{|G|}{q+α}$, we show $\frac{T_3(S)}{|S|^2}$ and Prob[$S$] are bounded above by…
▽ More
Let $G$ be a finite Abelian group. For a subset $S \subseteq G$, let $T_3(S)$ denote the number of length three arithemtic progressions in $S$ and Prob[$S$] $= \frac{1}{|S|^2}\sum_{x,y \in S} 1_S(x+y)$. For any $q \ge 1$ and $α\in [0,1]$, and any $S \subseteq G$ with $|S| = \frac{|G|}{q+α}$, we show $\frac{T_3(S)}{|S|^2}$ and Prob[$S$] are bounded above by $\max\left(\frac{q^2-αq+α^2}{q^2},\frac{q^2+2αq+4α^2-6α+3}{(q+1)^2},γ_0\right)$, where $γ_0 < 1$ is an absolute constant. As a consequence, we verify a graph theoretic conjecture of Gan, Loh, and Sudakov for Cayley graphs.
△ Less
Submitted 11 September, 2018;
originally announced September 2018.
-
Learning Time Dependent Choice
Authors:
Zachary Chase,
Siddharth Prasad
Abstract:
We explore questions dealing with the learnability of models of choice over time. We present a large class of preference models defined by a structural criterion for which we are able to obtain an exponential improvement over previously known learning bounds for more general preference models. This in particular implies that the three most important discounted utility models of intertemporal choic…
▽ More
We explore questions dealing with the learnability of models of choice over time. We present a large class of preference models defined by a structural criterion for which we are able to obtain an exponential improvement over previously known learning bounds for more general preference models. This in particular implies that the three most important discounted utility models of intertemporal choice -- exponential, hyperbolic, and quasi-hyperbolic discounting -- are learnable in the PAC setting with VC dimension that grows logarithmically in the number of time periods. We also examine these models in the framework of active learning. We find that the commonly studied stream-based setting is in general difficult to analyze for preference models, but we provide a redeeming situation in which the learner can indeed improve upon the guarantees provided by PAC learning. In contrast to the stream-based setting, we show that if the learner is given full power over the data he learns from -- in the form of learning via membership queries -- even very naive algorithms significantly outperform the guarantees provided by higher level active learning algorithms.
△ Less
Submitted 10 September, 2018;
originally announced September 2018.
-
On the Iterates of Digit Maps
Authors:
Zachary Chase
Abstract:
Given a base $b$, a "digit map" is a map $f: \mathbb{Z}^{\ge 0} \to \mathbb{Z}^{\ge 0}$ of the form $f(\sum_{i=0}^n a_ib^i) = \sum_{i=0}^n f_*(a_i)$, $0 \le a_i \le b-1$ for each $i$, where $f_* : \{0,1,\dots, b-1\} \to \mathbb{Z}^{\ge 0}$ satisfies $f_*(0) = 0$ and $f_*(1) = 1$. It has been proven for $b=10$ and $f_*(m) = m^2$, and various generalizations thereof, that there are arbitrarily long…
▽ More
Given a base $b$, a "digit map" is a map $f: \mathbb{Z}^{\ge 0} \to \mathbb{Z}^{\ge 0}$ of the form $f(\sum_{i=0}^n a_ib^i) = \sum_{i=0}^n f_*(a_i)$, $0 \le a_i \le b-1$ for each $i$, where $f_* : \{0,1,\dots, b-1\} \to \mathbb{Z}^{\ge 0}$ satisfies $f_*(0) = 0$ and $f_*(1) = 1$. It has been proven for $b=10$ and $f_*(m) = m^2$, and various generalizations thereof, that there are arbitrarily long sequences of consecutive positive integers that end up at $1$ under repeated application of $f$. In this paper, we significantly generalize these results, providing a complete classification of digit maps for which, given any periodic point $n$, there are arbitrarily long sequences of consecutive positive integers that end up $n$.
△ Less
Submitted 1 May, 2020; v1 submitted 12 September, 2016;
originally announced September 2016.
