🧭 New here?
Take a guided tour of the site.
Registry› q-Series› q-exponential e_q(z)
← Back to Families

q-exponential e_q(z)

q-Series · parametric, arity 1

Canonical Key
q_exp
Parameter Space
q ∈ (0,1) (real)

Image domain \(f(\mathbb{D})\)

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.

q=0.1
q=0.1 q=0.99
Taylor series

Unit disk explorer - hover to evaluate

Hover over the disk

Related

0
Counterexamples
 →
71
Facts
 →
50
Verification runs
 →
38
Instances
0
Cited in papers

Facts (71)

Property Kind Params Holds Value / r Status Confidence
K membership {"q": 0.1} ✗ -548.6284 unscreened -
K membership {"q": 0.3} ✗ -1.1192 unscreened -
K membership {"q": 0.5} ✗ -1.9828 unscreened -
K membership {"q": 0.7} ✗ -3.9577 unscreened -
K membership {"q": 0.9} ✗ -10.1157 unscreened -
K membership {"q": 0.05} ✗ -21.8681 unscreened -
K membership {"q": 0.2} ✗ -3.5040 unscreened -
K membership {"q": 0.4} ✗ -1.2205 unscreened -
K membership {"q": 0.6} ✗ -2.3366 unscreened -
K membership {"q": 0.8} ✗ -4.5240 unscreened -
K membership {"q": 0.95} ✗ -8.5937 unscreened -
r* radius {"q": 0.1} - r ≤ 0.941 🔬 screened numerical_strong
r* radius {"q": 0.3} - r ≤ 0.960 🔬 screened numerical_strong
r* radius {"q": 0.5} - r ≤ 0.960 🔬 screened numerical_strong
r* radius {"q": 0.7} - r ≤ 0.960 🔬 screened numerical_strong
r* radius {"q": 0.9} - r ≤ 0.960 🔬 screened numerical_strong
r* radius {"q": 0.05} - r ≤ 0.874 unscreened -
r* radius {"q": 0.2} - r ≤ 0.920 unscreened -
r* radius {"q": 0.4} - r ≤ 0.920 unscreened -
r* radius {"q": 0.6} - r ≤ 0.920 unscreened -
r* radius {"q": 0.8} - r ≤ 0.920 unscreened -
r* radius {"q": 0.95} - r ≤ 0.920 unscreened -
S* membership {"q": 0.99} - - retracted -
S* membership {"q": 0.925} - - retracted -
S* membership {"q": 0.875} - - retracted -
S* membership {"q": 0.85} - - retracted -
S* membership {"q": 0.825} - - retracted -
S* membership {"q": 0.775} - - retracted -
S* membership {"q": 0.75} - - retracted -
S* membership {"q": 0.725} - - retracted -
S* membership {"q": 0.675} - - retracted -
S* membership {"q": 0.65} - - retracted -
S* membership {"q": 0.625} - - retracted -
S* membership {"q": 0.575} - - retracted -
S* membership {"q": 0.55} - - retracted -
S* membership {"q": 0.525} - - retracted -
S* membership {"q": 0.475} - - retracted -
S* membership {"q": 0.45} - - retracted -
S* membership {"q": 0.425} - - retracted -
S* membership {"q": 0.375} - - retracted -
S* membership {"q": 0.35} - - retracted -
S* membership {"q": 0.325} - - retracted -
S* membership {"q": 0.275} - - retracted -
S* membership {"q": 0.225} - - retracted -
S* membership {"q": 0.175} - - retracted -
S* membership {"q": 0.15} - - retracted -
S* membership {"q": 0.125} - - retracted -
S* membership {"q": 0.075} - - retracted -
S* membership {"q": 0.025} - - retracted -
S* membership {"q": 0.1} - -0.2917 retracted -
S* membership {"q": 0.3} - 0.3459 retracted -
S* membership {"q": 0.5} - 0.2595 retracted -
S* membership {"q": 0.7} - 0.1735 retracted -
S* membership {"q": 0.9} - 0.0855 retracted -
S* membership {"q": 0.05} - -0.9234 retracted -
S* membership {"q": 0.2} - 0.3660 retracted -
S* membership {"q": 0.4} - 0.3251 retracted -
S* membership {"q": 0.6} - 0.2437 retracted -
S* membership {"q": 0.8} - 0.1630 retracted -
S* membership {"q": 0.95} - 0.1010 retracted -
S membership {"q": 0.1} ✗ - unscreened -
S membership {"q": 0.3} ✗ - unscreened -
S membership {"q": 0.5} ✗ - unscreened -
S membership {"q": 0.7} ✗ - unscreened -
S membership {"q": 0.9} ✗ - unscreened -
S membership {"q": 0.05} ✗ - unscreened -
S membership {"q": 0.2} ✗ - unscreened -
S membership {"q": 0.4} ✗ - unscreened -
S membership {"q": 0.6} ✗ - unscreened -
S membership {"q": 0.8} ✗ - unscreened -
S membership {"q": 0.95} ✗ - unscreened -

Verification Runs (50)

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 proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike disproves pass 0.950 0.99*exp(i*2.992797) boundary_v3.1
boundary_scan_centered_v31 starlike disproves pass 0.950 0.99*exp(i*2.988195) boundary_v3.1
boundary_scan_centered_v31 starlike disproves pass 0.900 0.95*exp(i*3.291923) boundary_v3.1
boundary_scan_centered_v31 starlike disproves pass 0.800 0.9*exp(i*2.992797) boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike disproves pass - - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike disproves pass - - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike proves pass 0.999 - boundary_v3.1
boundary_scan_centered_v31 starlike disproves pass 0.900 0.95*exp(i*2.988195) boundary_v3.1
pointwise_starlike_iv starlike disproves pass 0.990 [-0.9803653880541546, 0.13778136995046467] gft-0.1.0-reaudit-20260610
pointwise_starlike_iv starlike disproves pass 0.990 [-0.8898061058361754, 0.4339874353211865] gft-0.1.0-reaudit-20260610
pointwise_starlike_iv starlike disproves pass 0.990 [-0.49500000000000044, -0.857365149746594] gft-0.1.0-reaudit-20260610
pointwise_starlike_iv starlike disproves pass 0.990 [-0.8898061058361754, 0.4339874353211865] gft-0.1.0-reaudit-20260610
pointwise_starlike_iv starlike disproves pass 0.990 [-0.9803653880541546, 0.13778136995046467] gft-0.1.0-reaudit-20260610
pointwise_starlike_iv starlike disproves pass 0.990 [-0.9803653880541546, 0.13778136995046467] gft-0.1.0-reaudit-20260610
pointwise_starlike_iv starlike disproves pass 0.990 [-0.9803653880541546, 0.13778136995046467] gft-0.1.0-reaudit-20260610
boundary_scan_polynomial starlike proves pass 0.999 - boundary_v3.0
boundary_scan_polynomial starlike proves pass 0.999 - boundary_v3.0
boundary_scan_polynomial starlike proves pass 0.999 - boundary_v3.0
boundary_scan_polynomial starlike proves pass 0.999 - boundary_v3.0
boundary_scan_polynomial starlike proves pass 0.999 - boundary_v3.0

Parameter Sweep (83 recorded instances, starlikeness evidence × disk radius vs parameter)

Legacy “proven” label (scope not recorded)   ·   Recorded finite-radius evidence   ·   Disproven (witness)

Instances (38)

{"q": 0.1} {"q": 0.3} {"q": 0.5} {"q": 0.7} {"q": 0.9} {"q": 0.05} {"q": 0.2} {"q": 0.4} {"q": 0.6} {"q": 0.8} {"q": 0.95} {"q": 0.025} {"q": 0.075} {"q": 0.125} {"q": 0.15} {"q": 0.175} {"q": 0.225} {"q": 0.275} {"q": 0.325} {"q": 0.35} {"q": 0.375} {"q": 0.425} {"q": 0.45} {"q": 0.475} {"q": 0.525} {"q": 0.55} {"q": 0.575} {"q": 0.625} {"q": 0.65} {"q": 0.675} {"q": 0.725} {"q": 0.75} {"q": 0.775} {"q": 0.825} {"q": 0.85} {"q": 0.875} {"q": 0.925} {"q": 0.99}
↑↓ navigate↵ openesc closeall results
✦ 279 explorers have wandered the registry - thanks for stopping by. Tell us what you'd like to see →
Usage & privacy

We use first-party site metrics to improve navigation: page visits, internal clicks, search result counts (not search terms), and approximate active time. A random tab ID groups events for seven days; GPC/DNT turns this off. The separate visitor count uses a self-hosted pseudonymous fingerprint and also respects GPC/DNT.

💬 Feedback