Deep zero problems

This paper introduces a novel collection of "deep zero problems" that focus on local properties at a small number of points, along with their associated uniqueness, sampling, and interpolation issues.

The Gist

Imagine you are a detective trying to identify a suspect (a complex mathematical function) based on a few clues left at a crime scene. Usually, if you have enough clues, you can pinpoint exactly who the suspect is. But what if the clues are weird? What if some clues are about the suspect's behavior at their home, and other clues are about their behavior after they've taken a "magic teleportation pill" to a different location?

This paper, titled "Deep Zero Problems," by mathematician Håkan Hedenmalm, explores a very specific, tricky version of this detective game. It asks: Can we uniquely identify a function just by knowing which of its "derivatives" (rates of change) are zero at a specific point, and which are zero after the function has been "teleported"?

Here is a breakdown of the concepts using everyday analogies:

1. The Setting: The "Fock Space" (The Infinite Library)

The paper takes place in a special mathematical world called the Bargmann-Fock space.

• The Analogy: Imagine an infinite library where every book is a unique song (a function).
• The Rule: These songs aren't just random; they have to be "well-behaved." If you listen to the song while the volume knob is turned down by a specific exponential curve (like a fading echo), the total "loudness" (energy) must be finite.
• The Goal: We want to know if a song is the "Silence Song" (the zero function, $f=0$) just by checking specific notes.

2. The "Teleportation" (Fock Translates)

In normal math, if you shift a song to start later, it's just a shifted song. But in this specific library, simply shifting the song breaks the "well-behaved" rule.

• The Analogy: Imagine you have a song. If you just delay it, the volume might get too loud at the end, breaking the rules.
• The Fix: The author introduces a "Fock Translate." This is like a magic teleportation. You move the song to a new location, but you also apply a special "volume filter" (a phase shift) that keeps the total energy exactly the same. It's a perfect, lossless teleportation.

3. The "Deep Zero" Problem (The Detective Game)

The core question is this:

• Clue Set A: At the origin (Point 0), the song has zero volume for all even notes (0th, 2nd, 4th derivatives).
• Clue Set B: After the song is teleported to a new location (Point $\beta$), it has zero volume for all odd notes (1st, 3rd, 5th derivatives).

The Big Question: If a song satisfies both Clue Set A and Clue Set B, is the song necessarily the "Silence Song" (completely zero)?

The Answer: YES.
The author proves that if you split the clues this way (even notes at home, odd notes after teleporting), the only song that fits is silence. It's like saying, "If a person is wearing a red hat at home and a blue hat after teleporting, and these are the only hats they ever wear, they must not exist." The constraints are so tight that nothing but zero can survive.

4. The Twist: Interpolation and Sampling (The "Can We Reconstruct?" Problem)

Once we know the song must be zero if the clues match, the next logical question is: Can we reconstruct any song we want using these clues?

• Interpolation (Filling in the blanks): Can we take any set of numbers for the even notes at home and the odd notes after teleporting, and build a valid song?

  • The Result: NO.
  • The Analogy: Imagine trying to build a house. You have a blueprint that says "The foundation must be even, and the roof must be odd." The author shows that if you try to pick arbitrary numbers for these parts, the math breaks down. The "walls" of the house (the function) would become infinitely tall or unstable at certain points. You can't just pick any numbers; the clues are too rigid.

• Sampling (Is the information enough?): If we measure these specific clues, do we get a "good enough" picture of the whole song to know how loud it is overall?

  • The Result: NO.
  • The Analogy: Imagine trying to guess the total weight of a person by only weighing their left hand and their right foot. Usually, this works. But here, the author shows that you can have a song that is incredibly loud (heavy) overall, but when you check these specific "deep zero" clues, they all read as "zero" or very small. The clues are borderline. They are just barely enough to prove a song is nothing, but not enough to measure a song that is something.

5. The Secret Weapon: The Mirror and the Oscillator

How did the author prove this?

• Symmetry (The Mirror): The author realized that checking "even" derivatives is like looking at a song in a mirror (symmetry), and "odd" derivatives is like looking at the reflection of the mirror image.
• The Oscillator (The Cosine Wave): When the author translated the problem into a different mathematical language (using the Bargmann transform, which turns these complex functions into simple waves on a line), the problem turned into a division by a cosine wave.
• The Trap: The cosine wave hits zero at regular intervals. If you try to divide by zero, you get chaos. The author showed that while the "Silence" case works perfectly, trying to force a non-zero song into these clues causes the math to explode at those zero points of the cosine wave.

Summary

This paper is about extreme constraints.

1. Uniqueness: If you force a function to be "even" at home and "odd" after a magic teleport, it must be zero. (The constraints are too tight).
2. Failure of Reconstruction: Because the constraints are so tight, you can't use them to build arbitrary functions (Interpolation fails).
3. Failure of Measurement: Because the constraints are so tight, they can't reliably measure the size of a function (Sampling fails).

It's a beautiful example of how, in mathematics, being "too specific" can sometimes make a system useless for general purposes, even if it's perfect for proving a specific point. The "Deep Zero" is a razor's edge: it cuts out everything except zero, but it's too thin to hold anything else up.

Technical Summary

1. Problem Statement

The paper introduces a novel class of uniqueness, interpolation, and sampling problems within the context of infinite-dimensional Hilbert spaces of holomorphic functions, specifically the Bargmann-Fock space $\mathcal{F}(\mathbb{C})$.

The core problem, termed a "Deep Zero Problem," concerns the local properties of a function $f$ at a finite set of points (specifically the origin and a translated point $\beta$) involving higher-order derivatives. Unlike standard zero sets where a function vanishes at a point, these problems impose vanishing conditions on specific subsets of derivatives at the origin and on the derivatives of a "Fock translate" of the function at the origin.

The Setup:

• Space: $\mathcal{F}(\mathbb{C})$, the space of entire functions with finite norm $\|f\|^2 = \int_{\mathbb{C}} |f(z)|^2 e^{-|z|^2} dA(z)$.
• Operators:
  • Point evaluation $f \mapsto f(z)$.
  • Fock Translation: $U_\alpha f(z) = e^{-\frac{1}{2}|\alpha|^2 + \bar{\alpha}z} f(z-\alpha)$. This is a unitary operator on $\mathcal{F}(\mathbb{C})$.
• The "Toy" Problem: Let $E \subset \mathbb{N}_0$ be a set of non-negative integers and $E^c$ its complement. Given $f \in \mathcal{F}(\mathbb{C})$ and $\beta \in \mathbb{C}$ ($\beta \neq 0$), suppose:
  1. $f^{(j)}(0) = 0$ for all $j \in E$.
  2. $(U_\beta f)^{(j)}(0) = 0$ for all $j \in E^c$.
  • Question: Does this imply $f \equiv 0$?
• Related Questions:
  • Deep Interpolation: Can arbitrary data sequences $\{a_j\}_{j \in E}$ and $\{b_j\}_{j \in E^c}$ (satisfying a weighted $\ell^2$ condition) be realized by some $f \in \mathcal{F}(\mathbb{C})$?
  • Deep Sampling: Is there a constant $\epsilon > 0$ such that the weighted sum of these derivatives controls the global norm $\|f\|$ from below?

2. Methodology

Hedenmalm employs a combination of complex analysis, operator theory, and harmonic analysis to solve these problems.

• Symmetry and Parity: The paper focuses on the specific cases where $E$ is the set of even integers ($0, 2, 4, \dots$) or odd integers ($1, 3, 5, \dots$). This allows the decomposition of functions into even and odd parts.
• Unitary Group Representation: The author utilizes the projective unitary representation of the rigid motion group (rotations and translations) on the Fock space. Specifically, the operator $U_{(\rho, \alpha)}$ combines rotation and translation.
• Bargmann Transform: A crucial step involves mapping the Fock space $\mathcal{F}(\mathbb{C})$ isometrically to $L^2(\mathbb{R})$ via the Bargmann transform.
  • Under this transform, the Fock translation $U_\beta$ corresponds to a modulation (multiplication by $e^{i\beta t}$) in the $L^2(\mathbb{R})$ domain.
  • Reflection in the Fock space ($f(z) \to f(-z)$) corresponds to reflection in the time domain ($\phi(t) \to \phi(-t)$).
• Spectral Analysis: The proof of uniqueness relies on analyzing the point spectrum of the unitary operators $U_\alpha$. The author proves that for $\alpha \neq 0$, $U_\alpha$ has no eigenvalues (point spectrum is empty).
• Seminorm Analysis: The interpolation and sampling properties are analyzed by defining a seminorm $\|f\|_{E, \beta}$ based on the given derivative conditions and investigating whether this seminorm is equivalent to the full Fock norm.

3. Key Contributions and Results

A. Uniqueness Theorem (Theorem 1.4)

Result: If $E$ is the set of non-negative even integers (or non-negative odd integers) and $\beta \neq 0$, the only function satisfying the deep zero conditions is the zero function ($f \equiv 0$).
Mechanism:

• If $E$ is even integers, $f$ must be an odd function ($f(-z) = -f(z)$).
• The condition on $U_\beta f$ implies that $U_\beta f$ is also odd.
• Combining these leads to the relation $f(z) = -U_{-2\beta}f(z)$.
• This implies $f$ is an eigenfunction of the unitary operator $U_{-2\beta}$ with eigenvalue $-1$.
• Since Proposition 2.2 establishes that $U_\alpha$ ($\alpha \neq 0$) has no eigenvalues, $f$ must be zero.

B. Failure of Interpolation and Sampling (Theorem 1.5)

Result: While the set is a uniqueness set, it is neither a deep interpolation set nor a deep sampling set.

• Non-Interpolation: The mapping from the function $f$ to the data sequences is not surjective.
  • Reasoning: In the $L^2(\mathbb{R})$ domain, recovering the function $\phi$ from the even part $\xi$ and odd part $\eta$ requires division by $\cos(\beta t)$. Since $\cos(\beta t)$ has zeros, arbitrary continuous data $\xi, \eta$ will create singularities at these points, preventing the reconstructed $\phi$ from being in $L^2(\mathbb{R})$.
• Non-Sampling: The seminorm $\|f\|_{E, \beta}$ does not control the full norm $\|f\|_{\mathcal{F}}$.
  • Reasoning: One can construct a sequence of functions where the "deep" data (derivatives at 0 and $\beta$) remains bounded (or small), while the global norm blows up. This is demonstrated by choosing $\eta(t)$ such that it vanishes at the zeros of $\cos(\beta t)$ but decays slowly enough to make the integral of $|\phi|^2$ diverge as a parameter approaches a critical value.

C. Borderline Nature

The paper characterizes these sets as "borderline." They are strong enough to guarantee uniqueness (if the data is zero, the function is zero) but too weak to guarantee stability (sampling) or solvability (interpolation) for general data.

4. Significance

• New Class of Problems: The paper defines "Deep Zero Problems," shifting focus from global zero sets to local derivative constraints at multiple points involving unitary translates.
• Connection to Invariant Subspaces: The author notes that similar properties were relevant in constructing invariant subspaces of index 2 in Bergman spaces, suggesting these deep zero problems are fundamental to understanding the structure of function spaces.
• Sharpness of Results: The results demonstrate a sharp dichotomy. The specific choice of even/odd integers creates a situation where the uniqueness holds, but the "borderline" nature prevents the set from being a sampling or interpolation set. This highlights the delicate balance required for a set to be a sampling set in the Fock space.
• Methodological Insight: The use of the Bargmann transform to convert complex analytic conditions into algebraic/divisibility problems in $L^2(\mathbb{R})$ provides a powerful tool for analyzing similar problems in other Hilbert spaces of entire functions.

In summary, Hedenmalm establishes that while specific derivative constraints at the origin and a translated point can uniquely determine a function in the Bargmann-Fock space (forcing it to be zero if all constraints vanish), these constraints are insufficient to reconstruct the function from arbitrary data or to bound its norm, placing these sets in a unique "uniqueness-only" category.