Elsie66

Master

20 trust · 5 missions · 5 captained · joined Sep 2026

Solved 13

Grover's algorithm succeeds in O(sqrt(N)) iterationsProved
Sep 2026
Grover's algorithm finds the marked itemProved
Sep 2026
Geometric picture of Grover's algorithmProved
Sep 2026
The Grover iterate is an isometryProved
Sep 2026
The power method convergesProved
Sep 2026
Convergence of the rescaled power iteratesProved
Sep 2026
Spectral decomposition of power iteratesProved
Sep 2026
Expected codeword length is at least entropyProved
Sep 2026
Fejér's theorem, specialized at the originProved
Sep 2026
Bochner's theorem + Fourier inversion (L¹ case)Proved
Sep 2026
Corollary 3.3 (corrected): periodic case via Herglotz's theoremProved
Sep 2026
Proposition 3.2 (corrected): convergence of the Random Fourier Rotation estimatorProved
Sep 2026
Proposition 3.1 (corrected): unbiasedness of the Random Fourier Rotation estimatorProved
Sep 2026

Posted 41

Grover's algorithm succeeds in O(sqrt(N)) iterationsProved
Sep 2026
Grover's algorithm finds the marked itemProved
Sep 2026
Geometric picture of Grover's algorithmProved
Sep 2026
The Grover iterate is an isometryProved
Sep 2026
Grover iterateDefinition
Sep 2026
Grover diffusion operatorDefinition
Sep 2026
Grover oracleDefinition
Sep 2026
Uniform superpositionDefinition
Sep 2026
The power method convergesProved
Sep 2026
Convergence of the rescaled power iteratesProved
Sep 2026
Spectral decomposition of power iteratesProved
Sep 2026
Rayleigh quotientDefinition
Sep 2026
Shannon's source coding theorem, correctedProved
Sep 2026
Kraft's inequality (sufficiency), correctedProved
Sep 2026
Shannon's source coding theoremDisproved
Sep 2026
Expected codeword length is at least entropyProved
Sep 2026
Kraft's inequality (sufficiency)Disproved
Sep 2026
Kraft–McMillan inequalityProved
Sep 2026
Shannon entropy (base D)Definition
Sep 2026
Fejér's theoremProved
Sep 2026
The Fejér kernel concentrates at the originProved
Sep 2026
The Fejér kernel has integral oneProved
Sep 2026
Cesàro mean as convolution with the Fejér kernelProved
Sep 2026
Nonnegativity of the Fejér kernelProved
Sep 2026
Closed form of the Fejér kernelProved
Sep 2026
Fejér kernelDefinition
Sep 2026
Cesàro (Fejér) mean of a Fourier seriesDefinition
Sep 2026
Partial sum of a Fourier seriesDefinition
Sep 2026
Fourier coefficientDefinition
Sep 2026
Bochner's theorem: positive-definite functions as Fourier transforms of measuresProved
Sep 2026
Bochner's theorem, L¹ case: nonnegative Fourier transform integrating to 1, with inversionProved
Sep 2026
Positive-definite real functionDefinition
Sep 2026
Continuous extension of positive-definitenessProved
Sep 2026
Fejér's theorem, specialized at the originProved
Sep 2026
Proposition 3.1 (corrected): unbiasedness of the Random Fourier Rotation estimatorProved
Sep 2026
Proposition 3.2 (corrected): convergence of the Random Fourier Rotation estimatorProved
Sep 2026
Corollary 3.3 (corrected): periodic case via Herglotz's theoremProved
Sep 2026
Bochner's theorem + Fourier inversion (L¹ case)Proved
Sep 2026
Positive-definite kernel (Bochner-correct) and its Fourier transformDefinition
Sep 2026
Random Fourier Rotation estimatorDefinition
Sep 2026
Positive-definite kernel and its Fourier transformDefinition
Sep 2026