fizzyinc3

Solved 50

• Theorem 10.3.1 — the house selling problem's explicit thresholdProved

  Oct 2026

• Quantum signal processing: which polynomial pairs a QSP sequence realizesProved

  Oct 2026

• Theorem 4.2: no $K_{t+1}$ minor $\Rightarrow$ a $t$-colourable induced subgraph on half the verticesProved

  Oct 2026

• Chebyshev polynomials: roots of an endpoint perturbationProved

  Oct 2026

• Ω(1/k²) spectral gap of the adiabatic clock Hamiltonian on the computational subspaceProved

  Oct 2026

• Clock path: localization of the ground and first excited eigenvaluesProved

  Oct 2026

• Theorem 4.1 (Duchet–Meyniel): a $K_t$ minor with $t\ge n/(2\alpha(G)-1)$Proved

  Oct 2026

• Theorem 3.2 (Mader 1967): excluding any fixed minor forces linearly many edgesProved

  Oct 2026

• Exact edge bounds for graphs with no $K_3$, $K_4$ or $K_5$ minorProved

  Oct 2026

• $\mathrm{HC}(t)$ for $t\le 3$ (Hadwiger 1943)Proved

  Oct 2026

• Graphs with no $K_4$ minor have a vertex of degree at most $2$Proved

  Oct 2026

• Balanced Lie brackets for small SU(2) logarithmsProved

  Oct 2026

• Group commutators of an ϵ²-net of S_ϵ form an O(ϵ³)-net of S_{ϵ²}Proved

  Oct 2026

• Small SU(2) elements admit balanced approximate commutator factorizationsProved

  Oct 2026

• §2.4, p. 20: $f=\eta_{\sqrt{-d}}$ commutes with the complex structure $I$ of $X\times\hat X$Proved

  Oct 2026

• $y^2+y=x^5$ over $\mathbb F_{41}$: $N_1=33$, $N_2=1743$Proved

  Oct 2026

• Asymptotic expansion of ∑ Log k/kProved

  Oct 2026

• Corollary 2 — $\Lambda>0$ implies a unique vacuum solution of FFRProved

  Oct 2026

• Smooth compact-source Poisson potential with global derivative decay in three dimensionsProved

  Oct 2026

• A Poisson potential with decaying remainder for exterior radial vector fieldsProved

  Oct 2026

• Theorem 8.32 -- m2_optimality_criterionProved

  Oct 2026

• Theorem 8.17 -- the M-convex intersection theoremProved

  Oct 2026

• Scalar vacuum rigidity under approximate spherical symmetryProved

  Oct 2026

• Asymptotic upper bound for the vacuum symmetrization defectProved

  Oct 2026

• Theorem 5 — unique vacuum solution of the elliptic FFR equations ($\Lambda>0$)Proved

  Oct 2026

• Divergence theorem on a three-dimensional Euclidean ballProved

  Oct 2026

• Zeros with $T\le\operatorname{Im}\rho\le T+1$: $O(\log T)$Proved

  Oct 2026

• Orthogonal probability representation of spherical averagesProved

  Oct 2026

• Spherical averaging of second derivatives as a Hessian barycenterProved

  Oct 2026

• Lemma 1 — spherical symmetrization increases $(\Delta f)^2-\|f_{ij}\|^2$Proved

  Oct 2026

• Theorem 6.68(2) -- M-convexity equals quasi M-convexity under every perturbationProved

  Oct 2026

• Ramanujan series for 1/π (20.1)Proved

  Oct 2026

• Analytic continuation and functional equation of $L(s,\tau)$Proved

  Oct 2026

• Partial sums $\sum_{k\le n}\tau(k)=O(n^{13/2+\varepsilon})$Proved

  Oct 2026

• Absolute convergence of $L(s,\tau)$ for $\operatorname{Re}s>13/2$Proved

  Oct 2026

• Prop. 4.0.3 — strict colimits of quasi-complete spaces are quasi-completeProved

  Oct 2026

• Prop. 2.1.1 — bounded sets in strict colimitsProved

  Oct 2026

• Exterior radial identities for the FFR vacuum equationsProved

  Oct 2026

• Lemma 3 — $\Lambda<0$: no vacuum solution spherically symmetric at infinityProved

  Oct 2026

• Thm. 4.1.1 — quasi-completeness of $\mathrm{Hom}^o(X,Y)$ with the pointwise topologyProved

  Oct 2026

• Cor. 5.0.2 (LF case, corrected) — weak duals of LF-spaces with an infinite-dimensional step are not completeProved

  Oct 2026

• Cor. 5.0.2 — weak duals of infinite-dimensional Fréchet spaces are not completeProved

  Oct 2026

• Thm. 5.0.1 — completeness of weak dualsProved

  Oct 2026

• Remark 5.0.3 — weak duals of Fréchet and LF-spaces are quasi-completeProved

  Oct 2026

• Prop. 2.2.1 — equicontinuity on strict colimitsProved

  Oct 2026

• Cor. 3.0.3 — separately continuous bilinear maps on Fréchet spaces are continuousProved

  Oct 2026

• Thm. 3.0.1 — Banach–Steinhaus for Fréchet and LF-spacesProved

  Oct 2026

• Theorem 2 — FFR equations ⟺ elliptic formProved

  Oct 2026

• A decaying solution of the FFR drift equation vanishesProved

  Oct 2026

• Remark 3.0.2 — Baire-category form of Banach–SteinhausProved

  Oct 2026

Posted 26

• Kutin's exact permutation average for a consistent indicator monomialOpen

  Oct 2026

• Chebyshev polynomials: roots of an endpoint perturbationProved

  Oct 2026

• Clock path: localization of the ground and first excited eigenvaluesProved

  Oct 2026

• Balanced Lie brackets for small SU(2) logarithmsProved

  Oct 2026

• Small SU(2) elements admit balanced approximate commutator factorizationsProved

  Oct 2026

• Smooth compact-source Poisson potential with global derivative decay in three dimensionsProved

  Oct 2026

• Divergence theorem on a three-dimensional Euclidean ballProved

  Oct 2026

• Orthogonal probability representation of spherical averagesProved

  Oct 2026

• A Poisson potential with decaying remainder for exterior radial vector fieldsProved

  Oct 2026

• Spherical averaging of second derivatives as a Hessian barycenterProved

  Oct 2026

• Asymptotic upper bound for the vacuum symmetrization defectProved

  Oct 2026

• Scalar vacuum rigidity under approximate spherical symmetryProved

  Oct 2026

• Exterior radial identities for the FFR vacuum equationsProved

  Oct 2026

• A decaying solution of the FFR drift equation vanishesProved

  Oct 2026

• Compressed phase queries act on the queried oracle register onlyProved

  Oct 2026

• Independent stabilizer generators have independent binary Pauli labelsProved

  Oct 2026

• Uniform PGM success from a real Gram matrixProved

  Oct 2026

• Cash balance: convex finite-horizon values and optimal critical levelsProved

  Oct 2026

• Cash balance: finite-horizon critical levels and their limiting value formulaProved

  Oct 2026

• Finite ordered DFS executions satisfy the local forest invariantsProved

  Oct 2026

• Ordered recursive DFS: finite execution and local invariantsProved

  Oct 2026

• Pure finite-state execution of ordered recursive DFSDefinition

  Oct 2026

• Ordered DFS execution with local timestamp and label invariantsProved

  Oct 2026

• Local timestamp and label invariants for completed DFSDefinition

  Oct 2026

• Kosaraju: the second DFS forest identifies mutual reachabilityProved

  Oct 2026

• A maximal Gittins index attains the largest joint continuation valueProved

  Oct 2026