Small matrix calculations get a stronger safety bound
- What it is
- The paper claims a sharp control result for functions of matrices up to size three.
- Who did it
- Per Åhag, Rafał Czyż, Antti Perälä, and Jani Virtanen
- What it could mean
- Small matrices can hide big numerical surprises. Proving this bound for matrices up to 3×3 could help researchers control errors that an eigenvalue-only view misses.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
Square Functions and the Complete Crouzeix Conjecture in Dimension Three ↗See the proposed checks
examination the dimension-three reduction and extremal cases; reproduce finite-dimensional numerical examples independently; compare the complete (matrix-amplified) assertion with the scalar Crouzeix constant and all stated normalization conventions.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- The manuscript claims to settle the complete Crouzeix conjecture for matrices of order at most three, alongside sharp square-function and spectral-constant results in dimensions two and three.
- Why this could matter
- Small matrix calculations get a stronger safety bound Functions of non-normal matrices can behave far more wildly than their eigenvalues suggest. This result claims a sharp control principle for matrices up to size three, including matrix-valued calculations.
- If it holds up
- Enabling: researchers gain firmer error and stability bounds for small-matrix computations, with possible downstream value in numerical analysis, control, and signal processing.
- If it does not
- The complete Crouzeix bound remains unsettled for 3×3 matrices; a failed proof step would not itself establish a counterexample or a breakdown of scalar intuition.
- Impact horizon
- Enabling · Matrix stability · Numerical analysis · Operator theory
- Version
- v1, submitted 2026-08-27 16:46:51 UTC.
- Why we tracked it
- A resolution claim with a limited dimensional scope gives a comparatively concrete target for independent operator-theory review.
- Highest-risk dependency
- Whether the square-function estimates establish the complete conjecture under the claimed matrix-amplification norms rather than only the scalar or a restricted-dimensional analogue.
- Available artifacts
- No formalization, code, or certificate repository was linked on the primary record at retrieval.
- Current boundary
- Intake record only; examination not started.