Skip to content
#small language model Open access

"Conserved" Has Two Distinct Roots, and Noether Explains Only One ── Shorten the Pendulum and the Energy Rises by 2.000000 While E/omega Does Not Move ── What Separates Them Is Not Symmetry but Slowness ── [Paper 310]

Aug 2026 · Zenodo (CERN European Organization for Nuclear Research)

Abstract

This corpus has cited Noether’s theorem in 27 papers. This paper asks whether every conserved quantity comes from a symmetry──the answer is no. No new mathematical theorem and no new law is claimed. Scope of this paper (scope note): No new mathematical theorem and no new law is claimed──adiabatic invariants, action variables, Noether’s theorem, Ehrenfest’s adiabatic hypothesis and the adiabatic invariance of the magnetic moment are all standard. We do not build mechanics──all we use is one pendulum and the area of one ellipse. We do not prove adiabatic invariance──we do not enter the proof that E/omega is invariant. We check it numerically and name the separator. We do not prove Noether’s theorem──it is merely cited. We do not treat KAM theory──the survival of invariants in non-integrable systems is beyond our tools. We do not adjudicate interpretations of quantum mechanics──Section 6 points only at the algebraic agreement E/omega=(n+1/2)hbar, and enters neither the proof of the adiabatic theorem nor the measurement problem. We do not conflate this with thermodynamic adiabaticity──“adiabatic” here means slow, not thermally isolated. That is a different subject from Paper 126’s integrating factor. Relation to earlier papers: The corpus has cited Noether’s theorem in 27 papers, 341 times──this paper places beside it a conserved quantity Noether does not explain. Paper 16 showed that the equals sign has distinct roots──this paper shows that “conserved” has them. The same form, applied to a claim rather than a symbol. Paper 300 showed that whether two things share a root is decidable, and listed five criteria──this paper applies those criteria to an actual case. Paper 95 separated convention from fact──the invariance of E/omega is a fact, not a convention, and moreover an approximate fact. Paper 180 showed that “the classical limit” is not one limit──the “slowly” of Section 6 is one more limit. What is added is showing numerically that E rises by 2.000000 while E/omega does not move, checking in three cases that the phase-space ellipse keeps its area, giving the drift as exp(-1/epsilon) rather than a power, at 3.72x10^-44, and applying Paper 300’s criteria to conclude distinct roots. First, we build a case where energy is not conserved. Shorten a pendulum’s string slowly from 1.00 m to 0.25 m and E rises by 2.000000 (Section 2). Second, this is the core of the paper. And still E/omega does not move──the Lagrangian depends explicitly on time, so Noether returns nothing (Sections 2 and 3). Third, what is conserved is an area. The phase-space ellipse changes shape and keeps its area (Section 4). Fourth, the separator is slowness. At epsilon=0.01 the drift is 3.72x10^-44──smaller than any power of epsilon (Section 5). Fifth, the same quantity is the quantum number. E/omega=(n+1/2)hbar, so move omega slowly and n does not change (Section 6). Sixth, the two roots can be adjudicated. Applying Paper 300’s criteria (does the agreement persist under motion) returns distinct roots (Section 7). This corpus has cited Noether’s theorem in 27 papers, 341 times──a continuous symmetry gives a conserved quantity. But the theorem never says that is all of them. Shorten a pendulum’s string slowly from 1.00 m to 0.25 m and E rises by 2.000000──the work of pulling enters, the Lagrangian depends on time, and Noether returns nothing. And still E/omega does not move. What is conserved is not a quantity but an area──the phase-space ellipse runs its semi-axes from 1.414214 to 0.707107 and from 1.414214 to 2.828427, and Area/2pi stays at 1.000000. One thing separates them──how slowly it is moved. For a smooth change the drift is not a power of epsilon but exp(-1/epsilon), so at epsilon=0.01 it is 3.72x10^-44──smaller than any power of epsilon. That is why it looks exact. It is not zero. On the quantum side the same quantity is the quantum number──E/omega=(n+1/2)hbar, and Ehrenfest in 1917 used this in reverse: what may be quantised is what is adiabatically invariant. Applying Paper 300’s criteria returns no four times over──under one word, “conserved,” there are two distinct roots. Noether is exact and narrow; the adiabatic invariant is approximate and wide──they trade strength against reach, and neither sits above the other. *Revision Record Second edition (2026-08-30): The subject of this paper has been replaced. The first edition was titled “There Are Three Ways to Show ‘Not Computable,’ and the Equivalence Is a Theorem While the Thesis Is Not,” but its content duplicated Paper 260, “The Equivalence Is a Theorem and the Thesis Is Not”── the three starting points, the difference in status between theorem and thesis, and even the 19729 digits of Ackermann’s A(4,2) all agreed, and Paper 260 has priority. The second edition removes the computability material entirely and refers to Paper 260 for it. The replacement subject, the adiabatic invariant, was chosen because the ground beside the corpus’s heaviest anchor──Noether’s theorem, in 27 papers and 341 places──was empty. On the making of this work: The ideas and content of this work stem from the author's own considerations. Assistance from an AI (a large language model) was used for structuring, English translation, and checking the algebra. Any remaining errors or misinterpretations are solely the author's. Feedback and corrections are sincerely appreciated. ----- 体系はネーターの定理を 27 編で引いてきた。本稿が問うのは、保存量はすべて対称性から来るのかである──答は、来ないである。新しい数学定理も新しい法則も主張しない。 本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──断熱不変量、作用変数、ネーターの定理、エーレンフェストの断熱仮説、磁気モーメントの断熱不変性は、いずれも標準的である。力学を作らない──使うのは一つの振り子と、一つの楕円の面積だけである。断熱不変量を証明しない──E/omega が不変であることの証明には立ち入らない。数値で確かめ、何が分離子かだけを言う。ネーターの定理を証明しない──引くだけである。 KAM 理論を扱わない──可積分でない系での不変量の生き残りは、本稿の道具では扱わない。量子力学の解釈を判定しない──第6節は E/omega=(n+1/2)hbar という代数的一致を指すだけであり、断熱定理の証明にも、測定の問題にも立ち入らない。熱力学の断熱と混同しない──本稿の「断熱」は「ゆっくり」の意味であり、熱の出入りのことではない。論文126 の積分因子とは別の話である。既刊との関係:体系はネーターの定理を 27 編・341 箇所で引いてきた──本稿はその隣に、ネーターが説明しない保存量を置く。論文16 は「等号にも別根がある」を示した──本稿は「保存する」に別根があると示す。同じ型を、記号ではなく主張に当てる。論文300 は同根か別根かは判定できると示し、五つの基準を並べた──本稿はその基準を実際に一件に適用する。論文95 は規約と事実を分けた──E/omega の不変性は規約ではなく事実であり、しかも近似的な事実である。論文180 は「古典極限」は一つの極限ではないと示した──第6節の「ゆっくり」ももう一つの極限である。加えたのはE が 2.000000 倍になるのに E/omega が動かないことを数で示したこと、位相空間の楕円で面積が保たれることを三例で確かめたこと、ずれが epsilon の冪ではなく exp(-1/epsilon) であることを 3.72x10^-44 という数で出したこと、論文300 の判定基準を当てて別根と結論したことである。 第一に、エネルギーが保存しない場面を作る。振り子の糸を 1.00 m から 0.25 m へゆっくり縮めると、E は 2.000000 倍になる(第2節)。 第二に、これが本稿の芯である。それでも E/omega は動かない──ラグランジアンが時間に依存するのでネーターは何も与えない(第2節・第3節)。 第三に、保存しているのは面積である。位相空間の楕円は形を変えて面積を変えない(第4節)。 第四に、分離子は速さである。 epsilon=0.01 でずれは 3.72x10^-44──epsilon のどの冪よりも小さい(第5節)。 第五に、同じ量が量子数である。 E/omega=(n+1/2)hbar であり、ゆっくり動かせば n は変わらない(第6節)。 第六に、二つの根は判定できる。論文300 の基準(変数を動かしても一致し続けるか)にかけると別根と出る(第7節)。 体系はネーターの定理を 27 編・341 箇所で引いてきた──連続対称性があれば保存量がある、と。だが保存量がそれで全部だとは、定理は言っていない。振り子の糸を 1.00 m から 0.25 m へゆっくり縮めると、E は 2.000000 倍になる──糸を引いた仕事が入るからで、ラグランジアンが時間に依存し、ネーターは何も返さない。それでも E/omega は動かない。保存しているのは量ではなく面積である──位相空間の楕円は半軸が 1.414214->0.707107 と 1.414214->2.828427 に変わりながら、面積/2pi は 1.000000 のままである。分けるものは一つ──どれだけゆっくり動かすか。なめらかに動かせばずれは epsilon の冪ではなく exp(-1/epsilon) で、epsilon=0.01 では 3.72x10^-44──epsilon のどの冪よりも小さい。だから厳密に見える。しかしゼロではない。同じ量が量子側では量子数である──E/omega=(n+1/2)hbar であり、エーレンフェスト 1917 はこれを逆に使って「量子化してよいのは断熱不変量である」と置いた。論文300 の判定基準を当てると、四つとも「いいえ」が返る──同じ「保存する」の下に、別根が二つある。ネーターは厳密で狭く、断熱不変量は近似的で広い──強さと適用範囲を交換しているだけであり、どちらが上位ということはない。 *改訂記録 第2版(2026-08-30):本稿は主題を入れ替えた。 第1版は「「計算できない」の示し方は三つあり、同値性は定理だが、テーゼは定理ではない」と題していたが、 その内容は論文260「同値性は定理であり、テーゼは定理ではない」と重複していた── 三つの出発点、定理とテーゼの身分の差、アッカーマン関数 A(4,2) の 19729 桁まで一致しており、 先行するのは論文260 である。第2版は計算可能性の主題を全て削除し、 論文260 を参照先とする。入れ替えた主題(断熱不変量)は、 体系の最も重い錨であるネーターの定理(27 編・341 箇所)の隣が空いていたことから選んだ。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。

View source

Similar papers

#small language model Open access Aug 2026

PARA: Perception, Action, Reasoning, Adaptation. Four Faculties an Institution Can Revoke

The fourth faculty is Adaptation. Any source rendering it as Reflection is in error, including sources by this author, and the distinction is not cosmetic: reflection is a private act with no external consequence, while adaptation writes to institutional memory, which is why it needs a guardrail and why misnaming it removes the reason for one. No trademark is claimed on PARA or on any of the four faculty names. The construct is offered for use, teaching, assessment, extension and criticism by anyone, with attribution, under CC BY 4.0. An operational agent that watches a system and acts on it is usually described as a perceive-and-act loop, and the description omits the two things an institution needs. It omits the reasoning that justifies an action, which is the only part that can be argued with once the action turns out to have been wrong. And it omits the adaptation that closes the loop, which is where the agent's experience becomes something the institution keeps. PARA names four faculties, each carrying a distinct authority type. Perception has read-only access to system signals and emits structured observations, distinguishing what was measured from what was inferred. Reasoning has read access to observations and runbooks, emits a plan and its justification, and writes nothing at all, which is what makes it safe to give it the widest read access of the four. Action holds the sole authority to change production, through enumerated policy-authorized operations only. Adaptation has write access to institutional knowledge and no write access to production. Two faculties write and two do not, and the two that write are the two that carry guardrails. The substantive requirement is that Adaptation is bounded by the same guardrails as Action, which reads as excessive until the failure it prevents is named. An agent that could both act and rewrite the record of its action could launder its own mistakes into institutional memory, and the institution would then improve its future decisions from a corrected account. Nothing about that is detectable downstream, because the record is the only thing downstream has and there is no second copy to compare against. The failure does not require a deceptive agent: one adapting honestly from a mistaken belief about its own action produces the same result, which makes the guardrail a defence against a normal agent rather than a malicious one. The second requirement is the registry entry that turns a faculty from a description into a contract, carrying the faculty, its allowed actions, its forbidden actions, its governing guardrail and its success metrics. Forbidden actions are named although they are formally the complement of the allowed set, because a reviewer cannot otherwise tell a capability deliberately withheld from one nobody thought of. Success metrics sit in the same entry because the metric is what the agent's optimizer pushes against the guardrail. An agent must not exercise a faculty its entry does not record, and an agent that quietly acquires one usually does so incrementally and with good intent: a reasoning faculty given a small write to make itself useful is an action faculty with no guardrail. The acronym and the loop are in different orders, which the specification states explicitly because the mismatch is a reliable source of confusion. The acronym reads P-A-R-A; the loop runs perception, reasoning, action, adaptation, and reasoning precedes action so that a justification is not constructed afterwards. This is the depth treatment of pattern OP-5 of A Pattern Language for Production LLM Platforms, which is the canonical statement and governs where the two disagree. Documented uses of the full four-part model are emerging rather than established, no implementation unconnected to the author has been evaluated, and the laundering failure is argued rather than observed, which the specification records as a weakness of the argument and not only of the phenomenon. It is a specification, not a certification scheme.

Nabeel A. Khan · 2 citations
#small language model Open access Aug 2026

LifeSciBench: Evaluating Language Models on Realistic, Expert-Level Tasks in the Life Sciences

LifeSciBench is introduced, a benchmark of 750 expert-authored tasks designed to evaluate whether language models can handle realistic life science research work, with each constituent task paired with a human expert-written rubric.

Amelia Liu, Andrew Ho, Anne Marie Droste et al. · 2 citations
#small language model Preprint Aug 2026

A Layer Importance Metric for Quantization Accounting for the Speed-Quality Trade-off in Autoregressive Models

This work proposes a composite metric that combines two orthogonal criteria: information retention and throughput gains and finds that it allocates more resources to the most expressive layers compared to evolutionary search, specialized accelerators, or Shapley-value-based approaches that require expensive approximate inference.

A. Safronov · 1 citation · ⚡1
#artificial intelligence Preprint Aug 2026

TestifAI: Tomography-Based Testing for Deep Learning Systems

TestifAI, a deep learning testing framework for efficient and accurate estimation of robustness against combinations of perturbations, is proposed and partial model tomography is introduced, a novel approach to reconstructing model behaviour in a multi-perturbation space from tests that apply only a small number of perturbations.

Arooj Arif, T. Hartung, E. Botoeva et al. · 1 citation
#small language model Preprint Aug 2026

HEPToolBench 1.2: Testing How Reliably Language Models Can Drive Particle Physics Software

HEPToolBench is introduced, a benchmark of 28 collider-simulation tasks scored by deterministic, task-specific scorers, plus a three-task structured-debugging extension, and moving syntax generation into deterministic software can substantially improve reliability for both small local and frontier models.

Unknown authors · 1 citation

Related blog posts

Microsoft Research Blog Aug 31, 2026

GigaPath-Flash and GigaTIME-Flash: Toward population-scale discovery with efficient pathology foundation models

What if pathology foundation models could do more with less? GigaPath-Flash and GigaTIME-Flash cut computational demands while maintaining strong performance, opening the door to larger studies and broader exploration. The post GigaPath-Flash and GigaTIME-Flash: Toward population-scale discovery with efficient pathology foundation models appeared first on Microsoft Research.