Ex­po­nen­tial Idle Guides

Over­push Ra­tios for Of­fi­cial Cus­tom The­or­ies

Guide writ­ten by Mathis S.. Con­tri­bu­tions from the Amaz­ing Com­munity.

Feel free to use the gloss­ary or ex­ten­sions as needed.

In­tro­duc­tion #

Be­fore read­ing this page, I would strongly re­com­mend to read the Dis­tri­bu­tion Over­push­ing guide first, as well as pa­cowoc’s art­icle On the Middle-Term Mod­el­ing of En­dgame The­or­ies and the Op­timal Pub­lic­a­tion Mul­ti­plier.

The over­push ra­tios are a core part of the en­dgame strategy for push­ing main the­or­ies. However, over­push­ing is not rel­ev­ant for Cus­tom The­or­ies as they aren’t af­fected by R9.

It is still pos­sible to cal­cu­late the over­push­ing coef­fi­cients for of­fi­cial cus­tom the­or­ies. In ad­di­tion of in­ter­est­ing the curi­ous, cal­cu­lat­ing them can help un­der­stand­ing how the pub­lic­a­tion mul­ti­plier af­fects of­fi­cial CTs and ex­plain­ing the pub­lic­a­tion mul­ti­plier to pub­lish at. This is what I’m gonna do in this art­icle.

In this art­icle, I will refer to the pub­lic­a­tion mul­ti­plier as Π, a nota­tion used by Gaunter in the Laplace Trans­forms CT.

In this en­tire art­icle, I will use log for the base 10 log­ar­ithm and ln for the base e log­ar­ithm.

Gen­er­al­it­ies about the OP coef­fi­cient and how to cal­cu­late it #

As you have read in the Dis­tri­bu­tion Over­push­ing guide, the over­push­ing coef­fi­cient meas­ures the ef­fect of the pub­lic­a­tion mul­ti­plier on τ˙, vs the ef­fect of time on τ˙ for each the­ory. More con­cretely, the OP coef­fi­cient is the base 10 log­ar­ithm of the num­ber you should mul­tiply the pub­lic­a­tion mul­ti­plier by to mul­tiply the the­ory’s τ/hour rates by 10. A sim­pler way to put it : if you mul­tiply the pub­lic­a­tion mul­ti­plier by a, the τ/hour rate will be mul­ti­plied by a1OP.

The OP coef­fi­cient also has a close re­la­tion­ship with the op­timal pub­lic­a­tion mul­ti­plier of the the­ory, as seen in this sec­tion of pa­cowoc’s art­icle.

In this rep­res­ent­a­tion, a the­ory can be modeled as :

dρdt=Kρxtyρpubz

While this model is great, it has one flaw to ana­lyze of­fi­cial CTs, as it as­sumes Π=ρpubz, or in other words that dρdtΠ, which is not the case for every CT. Let’s de­com­pose z=ab, where a is such that Πρa. In this case, we have dρdtΠb or Πb=ρpubz, a more gen­eral model.

In pa­cowoc’s art­icle, the op­timal pub­lic­a­tion mul­ti­plier was found to be:

ez(y+1)1x

But this is the op­timal mul­ti­plier for ρpubz=Πb, so the op­timal pub­lic­a­tion mul­ti­plier, the op­timal mul­ti­plier for Π, would in­stead be:

ez(y+1)b(1x)

Now, for any non-di­ver­gent the­ory, z+x1. If a the­ory can be ap­prox­im­ated as bal­anced, i.e. de­cay is neg­li­gible, then we have z+x1, then z1x1. In this case, the op­timal pub­lic­a­tion mul­ti­plier can be ap­prox­im­ated as:

ey+1b

It turns out that y+1b, the ra­tio between the time con­tri­bu­tion to the pub­lic­a­tion mul­ti­plier con­tri­bu­tion, is ex­actly the OP factor of the the­ory. There­fore, we can ap­prox­im­ate the op­timal pub­lic­a­tion mul­ti­plier as eOP.

Note that in prac­tice, due to z+x<1 along with other factors, the op­timal mul­ti­plier fluc­tu­ates and is gen­er­ally lower than that.

Proof that y+1b is the over­push ra­tio #

Let’s prove that y+1b is in­deed the over­push ra­tio. We’ll prove that mul­tiply­ing the pub mult Π by some factor m in­creases the the­ory speed by m1OP, which is the same as prov­ing that the time to gain the same amount of ρ is di­vided by m1OP when Π is mul­ti­plied by m.

To prove this, we’ll start from equa­tion (3-3) of pa­cowoc’s guide:

ρ=(K(1x)ρpubzty+1)11x

We sub­sti­tute ρpubz by Πb:

ρ=(K(1x)Πbty+1)11x

Now we solve for t:

t=(ρ1xK(1x)Πb)1y+1=(ρ1xK(1x))1y+1Πby+1

Now let’s cal­cu­late t where we re­place Π by mΠ:

t=(ρ1xK(1x))1y+1mby+1Πby+1tt=1mby+1

We can see that, when mul­tiply­ing the pub mult by m, the time to reach the same ρ is di­vided by mby+1.

There­fore, y+1b is in­deed the over­push ra­tio of the the­ory.

How to cal­cu­late the over­push ra­tio in prac­tice #

From pa­cowoc’s model:

dρdt=KρxtyΠb

We can im­me­di­ately find the over­push ra­tio: y+1b.

We can also treat ρx as a con­stant, as it is de­pend­ant on up­grades and does­n’t cor­res­pond to ρ dir­ectly. There­fore, if we in­teg­rate:

ρ=Kρxty+1Πb

Now the OP ra­tio is dir­ectly vis­ible.

For some the­or­ies, we’ll have to go to the log­ar­ithmic space. If we ap­ply lo­g10 to the pre­vi­ous equa­tion:

logρ=xlogρ+(y+1)logt+blogΠ

Cal­cu­lat­ing the OP ra­tio for Of­fi­cial Cus­tom The­or­ies #

Now that we set the baseline on how to cal­cu­late the OP ra­tio for a given the­ory, let’s put it in prac­tice to cal­cu­late the OP ra­tio of of­fi­cial cus­tom the­or­ies.

Throughout this sec­tion, I will use the sym­bol K to rep­res­ent any con­stant hold­ing para­met­ers that are not rel­ev­ant to our study, namely para­met­ers that don’t de­pend on Π nor t. I will re­use the same sym­bol to avoid hav­ing to cre­ate many of them.

WSP #

q˙=Kq=Ktρ˙=KΠq=KΠtρ=KΠt2OP=2

SL #

ρ3˙=Kρ3=Ktρ˙2=K×1.96lnρ3ρ˙2=Kρ3ln1.96ρ˙2=Ktln1.96ρ2=Kt1ln1.961eγ=Kρ3=Kt

Now:

ρ1˙=Πρ20.53×1eγρ1˙=KΠt0.53×(1ln1.96)+1ρ1=KΠt2+0.53×(1ln1.96)OP=2+0.53×(1ln1.96)OP2.173

EF #

Cal­cu­lat­ing EF’s OP factor is com­par­at­ively harder due to it hav­ing mul­tiple cur­ren­cies. In gen­eral, to study the­or­ies with mul­tiple cur­ren­cies, we use lin­ear al­gebra in log­ar­ithmic space.

q˙=Πq1q2q=KΠq1q2t

Late-game, in EF’s ρ˙ equa­tion’s square root, only the tq2 term is sig­ni­fic­ant:

ρ˙=Π(a1a2a3)1.5t0.5qρ˙=Π2(a1a2a3)1.5q1q2t1.5ρ=Π2(a1a2a3)1.5q1q2t2.5R˙=KΠ(b1b2)2R=KΠ(b1b2)2tI˙=KΠ(c1c2)2I=KΠ(c1c2)2t

Now, let’s ex­press the sys­tem in log­ar­ithmic form, to turn it into a lin­ear sys­tem:

logρ=K+1.5(loga1+loga2+loga3)+logq1+logq2+2logΠ+2.5logtlogR=K+2(logb1+logb2)+logΠ+logtlogI=K+2(logc1+logc2)+logΠ+logt

We have:

loga1,logq1,logq2logρloga2,logb1,logb2logRloga3,logc1,logc2logI

For the pur­pose of this study, we can ig­nore vari­ables bought with ρ.

Clogρ=K+1.5(loga2+loga3)+2logΠ+2.5logtlogR=K+2(logb1+logb2)+logΠ+logtlogI=K+2(logc1+logc2)+logΠ+logtClogρ1.5loga21.5loga3=2logΠ+2.5logt+K(12logb1+logb2logR)logR=logΠ+logt+K(12logc1+logc2logI)logI=logΠ+logt+K

To find EF’s OP factor, we need an ex­pres­sion of the form logρ=αlogΠ+βlogt. Then, the OP factor will be given by βα.

Let’s now com­pute how the vari­ables we need scale with their cur­ren­cies. To do so, we use this model:

There­fore we can cal­cu­late the fol­low­ing:

Now we can sub­sti­tute in the sys­tem:

Clogρ1.5log4022log2logR1.52.2logI=2logΠ+2.5logt+K[12(log210log200+log1.12log2)]logR=logΠ+logt+K[12(log210log200+log1.125log2)]logI=logΠ+logt+K

These ex­pres­sions will be heavy to ma­nip­u­late so let’s set it to:

Clogρd12logRd13logI=2logΠ+2.5logt+Kd22logR=logΠ+logt+Kd33logI=logΠ+logt+K

Now if we add d12d22 times equa­tion (2) and d13d33 times equa­tion (3) to equa­tion (1) we get:

Clogρ=(2+d12d22+d13d33)logΠ+(2.5+d12d22+d13d33)logt+K

We can fi­nally ex­press EF’s OP factor:

OP=2.5+d12d22+d13d332+d12d22+d13d33OP=1+0.52+d12d22+d13d33OP=1+12(2+d12d22+d13d23)OP=1+14+2d12d22+2d13d23

For those who want to see what it looks like if we re­place those di:

OP=1+[4+3log4022log2112(log210log200+log1.12log2)+32.2112(log210log200+log1.125log2)]1

Fi­nally,

OP1.137

CSR2 #

q˙=KΠq=KΠtρ˙=KΠq=KΠ2tρ=KΠ2t2OP=1

FI #

q˙=Kq=Ktr˙=Kr=Kt0qg(x)dx=Kq6=Kt60qg(x)dxπ=Kt6πρ˙=KΠrt0qg(x)dxπρ˙=KΠt2+6πρ=KΠt3+6πOP=3+6πOP4.91

FP #

q˙=Kq=Ktr˙=Kr=Ktρ˙=KΠqrtρ˙=KΠt3ρ=KΠt4OP=4

RZ #

Since RZ also has mul­tiple cur­ren­cies, we’ll fol­low the same steps as with EF. For the pur­pose of this study, ζ and ζ˙ val­ues can be ap­prox­im­ated as con­stants. The black hole has no ef­fect on the over­push factor as the op­timal t to ac­tiv­ate the black hole is roughly pro­por­tional to the pub­lic­a­tion time.

ρ˙=KΠc11.25c2w1tρ=KΠc11.25c2w1t2δ˙=KΠw1w2w3δ=KΠw1w2w3t

Let’s ex­press this sys­tem on its log­ar­ithmic form:

logρ=1.25logc1+logc2+logw1+logΠ+2logt+Klogδ=logw1+logw2+logw3+logΠ+logt+K

We have:

logcilogρlogwilogδ

We can also ig­nore vari­ables bought with ρ.

Clogρlogw1=logΠ+2logt+K(1logw1+logw2+logw3logδ)logδ=logΠ+logt+K

Let’s now com­pute how the vari­ables we need scale with their cur­ren­cies.

Now we can sub­sti­tute in the sys­tem:

98log2logδ+Clogρ=logΠ+2logt+K[1(1+98+130)log2]logδ=logΠ+logt+K(1)98log2logδ+Clogρ=logΠ+2logt+K(2)(1259120log2)logδ=logΠ+logt+K

Now if we add 98log21259120log2 times equa­tion (2) to equa­tion (1) we get:

Clogρ=(1+98log21259120log2)logΠ+(2+98log21259120log2)logt+K

We can now ex­press RZ’s OP factor:

OP=2+98log21259120log21+98log21259120log2OP=1+[1+98log21259120log2]1

Fi­nally,

OP1.508

MF #

To de­term­ine the OP factor of MF, we first need to de­term­ine if, long-term, I is capped or not.

I˙=a11.01400(1015Ia2)I˙=a11.01400a2(1015a2I)I˙=Ka11.01a2(IcapI)

To de­term­ine if I is capped or not, we need to study the be­ha­vior of a11.01a2 at large rho.

Let’s now cal­cu­late how a1 and a2 scale with rho.

a1 is a step­wise vari­able with a power of 2, a cycle length of 5 and a cost scal­ing of 25. Its power is given by:

loga1=log22log25×logρ

a2 is an ex­po­nen­tial vari­able with a power of 1.25 and a cost scal­ing of 100. Its power is given by:

loga2=log1.25log100×logρ=log1.252×logρ

Now:

log(a11.01a2)=1.01loga1loga2=logρ×(1.01log22log25log1.252)

If we com­pute this, we find that log(a11.01a2)0.005×logρ.

There­fore, as ρ+, log(a11.01a2) so a11.01a20.

We can then con­clude that IIcap at large rho, which means we can sim­plify I˙:

I˙=Ka11.01a2Icap=K

There­fore I=Kt.

With that out of the way, let’s cal­cu­late MF’s OP factor.

x˙=Kx=Ktω=KI=Ktρ˙=KΠω4.4x3.4ρ˙=KΠt7.8ρ=KΠt8.8OP=8.8

BaP #

To com­pute BaP’s over­push factor, we first need to de­term­ine the limit of a as ρ.

After the last mile­stone, we have:

a=26π2(i=1n1i2)1

As n, (i=1n1i2)π26, then (i=1n1i2)16π2.

There­fore, as ρ, a6π2.

Now let’s cal­cu­late BaP’s OP factor.

q9˙=Kq9=Ktq8˙=Kq9=Ktq8=Kt2q1=Kt9r˙=Kr=Ktρ˙=Πt(q1r)a=KΠt(t10)6π2=KΠt1+60π2ρ=KΠt2+60π2OP=2+60π2OP8.079

Over­push­ing Coef­fi­cients #

From pre­vi­ous work­ings, the ap­prox­im­ate over­push­ing coef­fi­cients of of­fi­cial cus­tom the­or­ies are:

Class: break­down;
last_row: false;

Over­push­ing Coef­fi­cients
WSP 2 [class=“bheader”;]FP 4
SL 2.17 [class=“bheader”;]RZ 1.51
EF 1.14 [class=“bheader”;]MF 8.8
CSR2 1 [class=“bheader”;]BaP 8.08
FI 4.91

Now, let’s cal­cu­late eOP for each CT, which gives an es­tim­ate on the op­timal pub­lic­a­tion mul­ti­plier of these CTs

Class: break­down;
last_row: false;

Pub Multi
WSP 7.39 [class=“bheader”;]FP 54.6
SL 8.79 [class=“bheader”;]RZ 4.52
EF 3.12 [class=“bheader”;]MF 6634
CSR2 2.72 [class=“bheader”;]BaP 3227
FI 136

As we can see, the ex­pec­ted pub­lic­a­tion mul­ti­pli­ers from the model are close to the res­ults given by the sim.