Source author record

Zachary Chase

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.NT math.PR Formal Languages and Automata Theory Information Theory Machine Learning math.GR math.IT

Catalog footprint

Research overview

9works

8topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

A new upper bound for separating words

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})$ .

preprint2022arXiv

A random analogue of Gilbreath's conjecture

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.

preprint2022arXiv

New upper bounds for trace reconstruction

We show that any $n$ -bit string can be recovered with high probability from $\exp(\widetilde{O}(n^{1/5}))$ independent random subsequences.

preprint2022arXiv

On sumsets containing a perfect square

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.

preprint2022arXiv

Optimally compressing VC classes

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$ .

preprint2021arXiv

Additive Conjugacy and the Bohr Compactification of Orthogonal Representations

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.

preprint2020arXiv

New Lower Bounds for Trace Reconstruction

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)$ .

preprint2020arXiv

On the Iterates of Digit Maps

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$ .

preprint2020arXiv

The Maximum Number of Triangles in a Graph of Given Maximum Degree

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Zachary Chase

Research overview

Is this your work?

9 publications

A new upper bound for separating words

A random analogue of Gilbreath's conjecture

New upper bounds for trace reconstruction

On sumsets containing a perfect square

Optimally compressing VC classes

Additive Conjugacy and the Bohr Compactification of Orthogonal Representations

New Lower Bounds for Trace Reconstruction

On the Iterates of Digit Maps

The Maximum Number of Triangles in a Graph of Given Maximum Degree

See the researcher in context

Building this map preview