BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Zachary Chase contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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})$.
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.
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 $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.
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$.
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.
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)$.
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$.
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.