Laguerre · parametric, arity 1 · polynomial
The image of the unit disk under \(f\): concentric circles \(|z|=r\) and radial spokes mapped through \(f(z)=z+a_2z^2+\dots\); the bold curve is the boundary \(f(e^{i\theta})\). Rendered in your browser from the certified Taylor coefficients - nothing is computed server-side.
| Property | Kind | Params | Holds | Value / r | Status | Confidence |
|---|---|---|---|---|---|---|
| K | membership | {"n": 2} | ✗ | -144.7841 | unscreened | - |
| K | membership | {"n": 3} | ✗ | -69.8850 | unscreened | - |
| K | membership | {"n": 4} | ✗ | -377.6525 | unscreened | - |
| r* | radius | {"n": 2} | - | r ≤ 0.960 | 🔬 screened | numerical_strong |
| r* | radius | {"n": 3} | - | r ≤ 0.960 | 🔬 screened | numerical_strong |
| r* | radius | {"n": 4} | - | r ≤ 0.960 | 🔬 screened | numerical_strong |
| S* | membership | {"n": 10} | ✗ | r ≤ 0.300 | ✗ disproven | proven |
| S* | membership | {"n": 1} | ✓ | r ≤ 0.999 | ✓ proven | rigorous_verified |
| S* | membership | {"n": 5} | ✗ | r ≤ 0.600 | ✗ disproven | proven |
| S* | membership | {"n": 6} | ✗ | r ≤ 0.600 | ✗ disproven | proven |
| S* | membership | {"n": 7} | ✗ | r ≤ 0.300 | ✗ disproven | proven |
| S* | membership | {"n": 8} | ✗ | r ≤ 0.300 | ✗ disproven | proven |
| S* | membership | {"n": 9} | ✗ | r ≤ 0.300 | ✗ disproven | proven |
| S* | membership | {"n": 2} | ✗ | -198.6724 | 🔬 screened | numerical_weak |
| S* | membership | {"n": 3} | ✗ | -85.4612 | 🔬 screened | numerical_weak |
| S* | membership | {"n": 4} | ✗ | -141.9342 | 🔬 screened | numerical_weak |
| S | membership | {"n": 2} | ✗ | - | unscreened | - |
| S | membership | {"n": 3} | ✗ | - | unscreened | - |
| S | membership | {"n": 4} | ✗ | - | unscreened | - |
Because starlikeness is proven, these properties follow by classical implications (unconditional edges in the lattice):
| Verifier | Property | Direction | Outcome | Domain r | Witness | Engine |
|---|---|---|---|---|---|---|
| boundary_scan_centered_v31 | starlike | proves | pass | 0.999 | - | boundary_v3.1 |
| boundary_scan_centered_v31 | starlike | disproves | pass | 0.600 | 0.8*exp(i*0.073631) | boundary_v3.1 |
| boundary_scan_centered_v31 | starlike | disproves | pass | 0.600 | 0.8*exp(i*6.135923) | boundary_v3.1 |
| boundary_scan_centered_v31 | starlike | disproves | pass | 0.300 | 0.6*exp(i*0.049087) | boundary_v3.1 |
| boundary_scan_centered_v31 | starlike | disproves | pass | 0.300 | 0.6*exp(i*6.037748) | boundary_v3.1 |
| boundary_scan_centered_v31 | starlike | disproves | pass | 0.300 | 0.6*exp(i*6.037748) | boundary_v3.1 |
| boundary_scan_centered_v31 | starlike | disproves | pass | 0.300 | 0.6*exp(i*0.343612) | boundary_v3.1 |
| pointwise_starlike_iv | starlike | disproves | pass | 0.990 | [0.99, 0.0] | gft-0.1.0-reaudit-20260610 |
| pointwise_starlike_iv | starlike | disproves | pass | 0.990 | [0.99, 0.0] | gft-0.1.0-reaudit-20260610 |
| pointwise_starlike_iv | starlike | disproves | pass | 0.990 | [0.99, 0.0] | gft-0.1.0-reaudit-20260610 |
| pointwise_starlike_iv | starlike | disproves | pass | 0.990 | [0.99, 0.0] | gft-0.1.0-reaudit-20260610 |
| pointwise_starlike_iv | starlike | disproves | pass | 0.990 | [0.9605927690132365, -0.2395026766436712] | gft-0.1.0-reaudit-20260610 |
| pointwise_starlike_iv | starlike | disproves | pass | 0.990 | [0.941545951132202, 0.3059268244311979] | gft-0.1.0-reaudit-20260610 |
| boundary_scan_polynomial | starlike | disproves | pass | 0.300 | 0.6*exp(i*6.025477) | boundary_v3.0 |
| boundary_scan_polynomial | starlike | proves | pass | 0.999 | - | boundary_v3.0 |
| boundary_scan_polynomial | starlike | disproves | pass | 0.600 | 0.8*exp(i*0.073631) | boundary_v3.0 |
| boundary_scan_polynomial | starlike | disproves | pass | 0.600 | 0.8*exp(i*0.049087) | boundary_v3.0 |
| boundary_scan_polynomial | starlike | disproves | pass | 0.300 | 0.6*exp(i*0.122718) | boundary_v3.0 |
| boundary_scan_polynomial | starlike | disproves | pass | 0.300 | 0.6*exp(i*0.122718) | boundary_v3.0 |
| boundary_scan_polynomial | starlike | disproves | pass | 0.300 | 0.6*exp(i*0.122718) | boundary_v3.0 |
| boundary_scan_none | starlike | proves | not_applicable | - | - | boundary_v3.0 |
| boundary_scan_none | starlike | proves | not_applicable | - | - | boundary_v3.0 |
| boundary_scan_none | starlike | proves | not_applicable | - | - | boundary_v3.0 |