Ma-Minda
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 | {} | ✗ | -0.9510 | unscreened | - |
| r* | radius | {} | - | r ≤ 0.700 | 🔬 screened | numerical_strong |
| S* | membership | {} | ✗ | r ≤ 0.950 | ✗ disproven | proven |
| S | membership | {} | ✗ | - | unscreened | - |
| Verifier | Property | Direction | Outcome | Domain r | Witness | Engine |
|---|---|---|---|---|---|---|
| boundary_scan_centered_v31 | starlike | disproves | pass | 0.950 | 0.99*exp(i*4.092661) | boundary_v3.1 |
| pointwise_starlike_iv | starlike | disproves | pass | 0.990 | [-0.5819073997695485, -0.8009268244311979] | gft-0.1.0-reaudit-20260610 |
| boundary_scan_polynomial | starlike | disproves | pass | 0.950 | 0.99*exp(i*4.089593) | boundary_v3.0 |
Papers that explicitly study S*(φ) for this φ - conservatively tagged from the corpus (explicit φ formula, class symbol, or unambiguous name). Quote = the supporting passage.