When cell-signaling models can—and cannot—oscillate
- What it is
- A paper claims a standard two-site cell-signaling model can oscillate under rich kinetics but cannot under mass-action kinetics.
- Who did it
- Nicola Vassena
- What it could mean
- How do cells find their rhythm? In one signaling model, this result would show how the chosen chemistry rules allow—or block—a specific route to oscillation. It would not rule out every rhythm.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
Sequential and distributive dual futile cycle: Hopf bifurcation can occur under parameter-rich kinetics but cannot occur under mass action kinetics ↗See the proposed checks
Extract the Routh--Hurwitz reduction, reconstruct the claimed polynomial positivity certificate independently, and separately check the kinetic-model translation; highest risk is whether the certificate covers the complete admissible parameter domain rather than a restricted symbolic regime.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- Claims the sequential/distributive dual futile-cycle ODE system permits Hopf bifurcation under parameter-rich kinetics but not under mass-action kinetics; the author explicitly reports a decisive ChatGPT Sol 5.6 contribution to a nontrivial positivity certificate.
- Why this could matter
- When cell-signaling models can—and cannot—oscillate Cells often control activity by adding and removing chemical tags from proteins. This paper asks when a standard two-site signaling circuit can oscillate, helping researchers avoid attributing rhythmic behavior to a model whose assumptions mathematically forbid it.
- If it holds up
- Enabling: it would give systems biologists a firmer rule for choosing kinetic models of multisite phosphorylation and a concrete example of AI producing a checkable polynomial certificate.
- If it does not
- The claimed divide remains unsettled: parameter-rich kinetics may fail to produce the oscillation, mass-action kinetics may fail to exclude it, or both.
- Impact horizon
- Enabling · Cell signaling · Systems biology · AI-assisted math
- Version
- submitted 2026-08-27 13:07:36 UTC.
- Why we tracked it
- fresh AI-assisted mathematical-claim case with a narrowly identifiable positivity-certificate dependency and suitable for a source-to-symbolic examination.
- Highest-risk dependency
- whether the certificate covers the complete admissible parameter domain rather than a restricted symbolic regime.
- Available artifacts
- No new usable Slack packet or SocialBot signal. Attention evidence is the fresh primary submission and explicit author disclosure on the primary abstract page. arXiv provides PDF, experimental HTML, and TeX source; no separate formal-proof or code artifact is linked.
- Current boundary
- Intake record only; examination not started.