Research portal

Mathematical note

Predictive temporal co-adaptation without a privileged clock

math/predictive-temporal-coadaptation.md

Edition
Site v0.3.0 · continuous main snapshot
Source revision
ec2865b0eac15148675c629981a545632b3571c5
Extent
753 words
Public route
https://www.cordana.dev/math/predictive-temporal-coadaptation/
Mapped records1 mapped record

Direct repository links only; no document-level evidence status is implied.

This note defines the time, observation, coordination, and cost boundary for the shared-clock-free benchmark. Music supplies the test regime; the measured problem is distributed predictive control under expressive nonstationarity, delay, role change, and partner turnover.

Local clocks and evaluator time

Agent ii observes its local clock

τi(t)=ait+bi+ϵi(t)[s],\tau_i(t)=a_i t+b_i+\epsilon_i(t)\quad[\mathrm{s}],

where tt is hidden evaluator time in seconds, aia_i is dimensionless clock rate, bib_i is offset in seconds, and ϵi\epsilon_i is local clock error in seconds. Agents may not read tt, aia_i, bib_i, or another agent's clock. The evaluator uses tt only to score pairwise events and injected disturbances.

For event nn sent by partner jj and observed by agent ii,

τij,nobs=τi(tj,n+dij,n)+νij,n,\tau^{\mathrm{obs}}_{ij,n} =\tau_i(t_{j,n}+d_{ij,n})+\nu_{ij,n},

where event time tj,nt_{j,n} and channel delay dij,nd_{ij,n} are seconds and observation error νij,n\nu_{ij,n} is seconds. Delay may be asymmetric, time-varying, and censored by loss. A shared beat label, synchronized timestamp, or evaluator clock in the policy input invalidates the shared-clock-free arm.

Phase and tempo state

Agent ii maintains a local phase estimate ϕ^i[π,π)\hat\phi_i\in[-\pi,\pi) radians, period estimate T^i\hat T_i in seconds, uncertainty σϕ,i\sigma_{\phi,i} in radians, and drift estimate T˙i\dot T_i in seconds per second. For an observed partner phase ϕj,n\phi_{j,n},

eij,n=wrap[π,π)(ϕj,nϕ^i(τij,nobs))[rad].e_{ij,n}= \operatorname{wrap}_{[-\pi,\pi)} (\phi_{j,n}-\hat\phi_i(\tau^{\mathrm{obs}}_{ij,n}))\quad[\mathrm{rad}].

A minimal correction null is

t^i,n+1=t^i,n+T^i,n+αiaij,n,\hat t_{i,n+1}=\hat t_{i,n}+\hat T_{i,n}+\alpha_i a_{ij,n},

where predicted onset t^\hat t, period T^\hat T, and onset asynchrony aij,n=tj,nt^i,na_{ij,n}=t_{j,n}-\hat t_{i,n} are seconds, and gain αi\alpha_i is dimensionless. Tempo adaptation requires a separately identifiable update; folding timing and tempo error into one unconstrained latent state weakens the diagnosis.

Pairwise timing outcomes

For paired events nn from agents ii and jj, evaluator asynchrony is

Aij,n=ti,ntj,n[s].A_{ij,n}=t_{i,n}-t_{j,n}\quad[\mathrm{s}].

Report the signed distribution, median absolute asynchrony, p95p_{95} absolute asynchrony, circular phase error, and missed or duplicated event count. Similar mean tempo does not establish synchronization.

After perturbation at tpt_p, recovery time is

Tijsync=inf{ttp:medianu[t,t+Δ]Aij(u)AmaxVij(t:t+Δ)Vmax}tp,T^{\mathrm{sync}}_{ij}= \inf\left\{t\ge t_p: \operatorname{median}_{u\in[t,t+\Delta]}|A_{ij}(u)|\le A^{\max} \land V_{ij}(t:t+\Delta)\le V^{\max} \right\}-t_p,

where Δ\Delta and TsyncT^{\mathrm{sync}} are seconds, AmaxA^{\max} is seconds, and VijV_{ij} is a declared variance or instability measure with a matching frozen threshold. Censored failures remain failures rather than disappearing from the mean.

Phrase and role state

Timing alone can be excellent while the wrong phrase, motif, answer, or role is executed. Let qnq_n be a typed phrase act with boundary, motif relation, literal constraint, role, and addressee. The partner model is

pi(qj,n+1,rj,n+1hi,n,mij,cn),p_i(q_{j,n+1},r_{j,n+1}\mid h_{i,n},m_{ij},c_n),

where history hi,nh_{i,n}, partner memory mijm_{ij}, context cnc_n, phrase act qq, and role rr are typed variables. Score held-out log loss in bits per act, calibration, literal constraint satisfaction, phrase-response accuracy, and role violations separately.

Familiar-partner gain is

Gpartner=QfamiliarQunseen,G_{\mathrm{partner}} =Q_{\mathrm{familiar}}-Q_{\mathrm{unseen}},

where QQ uses the same dimensionless task-quality measure and task set. A positive value may reflect replay or overfitting; it earns co-adaptation credit only when the policy also transfers to new motifs and recovers after partner or role change.

Multi-objective outcome

Keep the primary result as a vector:

Y=(Qliteral,A50,A95,Tsync,Ephrase,Nrole violation,Bmessage,Ldecision,Elife).\mathbf Y= (Q_{\mathrm{literal}}, |A|_{50},|A|_{95}, T_{\mathrm{sync}}, E_{\mathrm{phrase}}, N_{\mathrm{role\ violation}}, B_{\mathrm{message}}, L_{\mathrm{decision}}, E_{\mathrm{life}}).

QliteralQ_{\mathrm{literal}} is dimensionless; asynchronies and recovery are seconds; phrase error EphraseE_{\mathrm{phrase}} is a dimensionless error rate; NN is a count; message traffic BB is bytes; decision latency LL is seconds; and lifecycle energy ElifeE_{\mathrm{life}} is joules. Blinded human judgments of coherence or expressivity are additional outcomes, never substitutes for literal success or timing.

Lifecycle and equal-budget boundary

For horizon [0,T][0,T],

Elife=Esense+Eestimate+Epredict+Eretrieve+Emessage+Eact+Eadapt+Erehearse+Erecover,E_{\mathrm{life}}= E_{\mathrm{sense}}+E_{\mathrm{estimate}}+E_{\mathrm{predict}}+ E_{\mathrm{retrieve}}+E_{\mathrm{message}}+E_{\mathrm{act}}+ E_{\mathrm{adapt}}+E_{\mathrm{rehearse}}+E_{\mathrm{recover}},

with all terms in joules at one boundary. Also report parameter bytes, partner- memory bytes, messages and bytes per event, evaluator or human queries, rehearsal events, and wall time. A centralized conductor pays its synchronization traffic and infrastructure; a local method pays identification and adaptation.

Equal-budget arms receive the same event stream, sensor uncertainty, action interface, parameter and state ceiling, training examples, rehearsal, hyperparameter trials, update rate, message budget, latency budget, and energy boundary. The hidden evaluator trace is paired across arms.

Rejection conditions

Reject the composed residual when any of the following holds:

  1. a phase-locked loop, Kalman/state-space estimator, or MPC arm matches timing and recovery;
  2. retrieval plus explicit role/protocol state matches phrase response and partner turnover;
  3. the gain vanishes on new partners, motifs, tempi, or delay processes;
  4. a policy observes the privileged clock or hidden perturbation state;
  5. familiar-partner gain is replay without adaptation to a new phrase;
  6. timing improves while literal constraints or role safety worsen; or
  7. adaptation, rehearsal, communication, evaluator work, or recovery energy is omitted.

Editable system diagram: shared-clock-free-coadaptation.mmd.