{"id":"aca09cd1-b823-4c0b-903d-08a97a55143d","arxiv_id":"2507.16744","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":7,"one_line_summary":"A boundary-QFT analysis shows that curved bulk metrics create local edge velocities in topological models and that fracton and linearized-gravity theories carry Kac-Moody boundary algebras.","lead":"This doctoral thesis derives boundary dynamics for quantum field theories and claims that a curved bulk geometry can make edge excitations in Hall systems and topological insulators move with time-dependent velocities. It also argues that non-topological theories such as fractons and linearized gravity support Kac-Moody current algebras at their boundaries, extending the usual topological boundary paradigm.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed explanation of accelerated edge modes is a reparameterization: v remains a free input, so the curved bulk adds no predictive constraint.","rationale":"The reader's weakest_assumption identifies exactly the load-bearing issue: the metric-to-potential correspondence is asserted, not derived. My reading confirms this: Section 5.1.3 leaves v as a free phenomenological parameter, and Section 5.1.4 explicitly says v 'must be determined by experimental inputs.' The holographic contact v = a2/κ̃ does not constrain v because a2 is free and the bulk metric is arbitrary. In 2D, any metric is locally conformally flat, so the determinant can be chosen to encode any positive function; thus the curved bulk mechanism can reproduce any local velocity profile, which means it has no predictive content without a microscopic input specifying the metric. The algebraic results (KM algebras, central charge independent of metric, induced 2D actions) appear internally consistent and are unaffected by this concern. Therefore the appropriate verdict remains CONDITIONAL, as the reader concluded: the framework is coherent but the flagship physical explanation is conditional on an unspecified correspondence. No verdict adjustment is needed.","tokens_in":65328,"tokens_out":5764,"duration_ms":68610,"concrete_test":"Take a quantum Hall edge with a known confining potential V(θ) and measured velocity profile v_exp(t,θ). Construct explicitly the bulk metric in Gaussian normal coordinates (5.1.1) that the thesis associates with this potential, and verify that Eq. (5.1.71) reproduces v_exp. If no constructive algorithm γ[V] is provided, the central claim reduces to a reparameterization and should be reframed as a framework.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central physical claim fails to constrain the edge velocity. In Section 5.1.3, the holographic contact (5.1.71) defines v = a2/κ̃, where a2 is a free parameter of the boundary action (5.1.68) and κ̃ = κ ε̃^012/(2√−g). Since a2 may depend on the determinant γ and the bulk metric is not dynamical, any positive local function v(t,θ) can be realized by choosing a metric with the appropriate determinant and tuning a2. The thesis explicitly states that v 'must be determined by experimental inputs' (Section 5.1.3), so the acceleration is not explained by the bulk geometry; it is a phenomenological input relabeled as a metric-dependent coefficient. No equation maps a physical confining potential or microscopic interaction to the bulk metric, so the claimed alternative to adding an ad hoc Luttinger potential is a dictionary without a derivation. Consequently, the prediction of local modes for Topological Insulators is not falsifiable unless such a map is supplied.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This thesis develops a QFT framework for boundary effects, following Symanzik, and applies it to topological Chern-Simons and BF theories on curved backgrounds and to non-topological Maxwell, fracton, and linearized-gravity theories. The central physical claim is that edge chiral bosons of Hall systems acquire local, time- and position-dependent velocities when the bulk TQFT lives on a curved spacetime: the induced boundary metric determinant enters the edge action through the holographic contact v = a2/kappa-tilde, and this is proposed as an alternative to adding an ad hoc local potential to the Luttinger model. The thesis also derives Kac-Moody current algebras on the boundaries of Maxwell theory, a covariant fracton model, and a Kac-Moody algebra for linearized gravity.","tokens_in":65583,"tokens_out":7038,"duration_ms":78704,"significance":"The detailed formal derivations are a strength: broken Ward identities, boundary conditions, equal-time commutators, canonical identification, and holographic contacts are written out, and the positivity of the Kac-Moody central charge is used to fix the sign of the bulk coupling. If the central claim were established, it would provide a field-theoretic encoding of accelerated edge modes and broaden the boundary paradigm beyond TQFTs. However, the central claim is not currently predictive: Section 5.1.3 states that v must be fixed by experiment, a2 is a free function of the determinant, and no equation maps a physical confining potential or microscopic interaction to the bulk metric. The curved metric therefore reparameterizes the free velocity rather than explaining it. The formal results remain valuable, but the advertised physical interpretation needs to be substantially reframed or supplemented.","major_comments":[{"comment":"The central claim that a curved bulk metric produces accelerated edge modes is not supported as a prediction. The holographic contact (5.1.71) reads v = a2/kappa-tilde, where a2 is a free parameter depending at most on the metric determinant (5.1.67) and kappa-tilde is given in terms of sqrt(-g) (5.1.16). The manuscript explicitly states in Section 5.1.3 that v 'must be determined by experimental inputs.' Since both a2 and the bulk metric are unconstrained by any independent dynamics, any sufficiently regular local velocity profile can be reproduced by choosing the metric determinant and tuning a2; the metric does not constrain v, it only relabels it. The proposed alternative to the ad hoc Luttinger potential therefore requires a derivation of the bulk metric from the sample's confining potential or interactions, which Section 5.1.4 does not supply.","section":"5.1.3 (Eq. 5.1.71)"},{"comment":"The BF generalization inherits the same underdetermination. The velocities v_+ and v_- given by (5.2.99) and (5.2.102) are functions of the boundary coefficients l_i and c_hat_22; these are free parameters of the boundary action (5.2.5) and are not fixed by the bulk theory. Section 5.2.5 then predicts accelerated edge modes in topological insulators, but every observed velocity profile can be matched by choosing the boundary coefficients and a metric. Without an independent criterion selecting the metric or the l_i, the prediction is not falsifiable. The positivity and time-reversal arguments constrain the signs and equality of v_+ and v_-, but not their local spacetime dependence.","section":"5.2.3 and 5.2.5 (Eqs. 5.2.99, 5.2.102)"},{"comment":"The interpretive claim that 'a change of potential can be effectively encoded in the Chern-Simons theory by a bulk metric' is an assertion, not a derived statement. The bulk metric is a non-dynamical background; the only derived relation is through the determinant of the induced metric, and no equation connects that determinant to a microscopic potential. This is not an algebraic inconsistency, but it means the word 'explanation' in the abstract and Chapter 5 overstates what the holographic contact establishes. The authors should either supply such a map or explicitly reframe the result as a formal encoding in which arbitrary local velocities can be accommodated.","section":"5.1.4"}],"minor_comments":[{"comment":"The abbreviation 'GNG' in the footnote on Gaussian normal coordinates should read 'GNC'.","section":"5.1.1, footnote"},{"comment":"The word 'holografic' should be corrected to 'holographic'.","section":"5.1.4"},{"comment":"The list of boundary conditions at r = 0 in (5.2.24) is stated without derivation; adding a short justification would improve readability.","section":"5.2.4"}],"recommendation":"major_revision","confidential_remarks":"The formal results in Part III, especially the covariant fracton model and the linearized-gravity Kac-Moody algebra, are the most solid parts of the thesis. The main problem is confined to the interpretation of Chapter 5 and the abstract. I recommend major revision rather than rejection because the formal dictionary is worth publishing if it is explicitly reframed as a consistency/encoding result rather than a predictive explanation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the original technical content of this thesis is already in seven published papers, so what is new here is the packaging and the narrative. That is not a flaw; the derivations are written out carefully and are internally consistent. The most valuable pieces are the boundary Kac-Moody algebra for linearized gravity, which had been suspected but not proven, and the covariant fracton gauge theory. Those are real contributions and I would point a student to them.\n\nThe soft spot is the advertised physical result. Chapter 5 claims that a curved bulk metric explains accelerated Hall edge modes and predicts local modes in topological insulators. Reading Section 5.1.3, the velocity v starts as a free coefficient in the boundary action and is then tied to the metric determinant by v = a2/kappa-tilde. Because a2 is free and the bulk metric is not determined by any physical input, the relation is a relabeling: any local positive v(t,theta) can be produced by choosing a metric with the right determinant and tuning a2. The thesis itself states that v must be fixed by experimental inputs. So the curved metric is not explaining the acceleration; it is a dictionary for encoding a phenomenological velocity. There is no equation mapping a physical confining potential or microscopic interaction to the bulk metric, and without that the topological insulator prediction is not falsifiable. The stress-test note is correct.\n\nThe BF section has the same structure but also contains the best physics: the time-reversal analysis selects equal-and-opposite local velocities, which is a genuine classification result for possible TI edge states. Still, those velocities depend on free boundary parameters and on the metric, so it remains a framework that permits local velocities rather than a derivation of them.\n\nWho should read this: graduate students learning Symanzik-style boundary QFT, and people working on boundary current algebras for non-topological theories. I would not cite the thesis itself; I would cite the underlying published papers. If this were submitted as a research article, I would not let the central claim pass as stated. But the formal core is substantial enough that I would send it to referees rather than desk-reject, with the clear instruction that the predictive claim in Chapter 5 has to be reframed or supported by an actual metric-to-potential map.","headline":"Real algebraic content, especially the linearized-gravity Kac-Moody algebra, but the curved-metric explanation of accelerated edge modes is a free-parameter relabeling, not a prediction.","tokens_in":66176,"tokens_out":3659,"would_cite":false,"duration_ms":43649,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This thesis derives local, time- and position-dependent edge velocities in Hall systems from curved-bulk Chern-Simons and BF theories, and extends nontrivial boundary dynamics with Kac-Moody algebras to Maxwell, fracton, and…","keywords":["Chern-Simons theory","BF theory","edge modes","Kac-Moody algebras","fractons","linearized gravity","quantum Hall effect","bulk-boundary correspondence"],"falsifier":"Measure the local edge velocity of a fractional quantum Hall system on a deliberately curved or strained sample and check whether it follows the profile predicted by the determinant of an induced metric through $v = a_2/\\tilde\\kappa$; if no single choice of boundary coefficients reproduces the observed $v(t,\\theta)$, the claimed correspondence fails.","tokens_in":65047,"feed_emoji":"🌀","tokens_out":9074,"duration_ms":90081,"temperature":0.7,"pith_summary":"The thesis argues that the boundary physics of topological quantum field theories is not fixed by the flat-space paradigm: if Chern-Simons and BF theories are placed on a curved bulk with a radial boundary, the chiral edge modes of Hall systems acquire local velocities that depend on time and position along the edge. The induced metric enters the boundary action only through its determinant, and the holographic contact between bulk boundary conditions and boundary equations of motion ties the edge velocity to a boundary action parameter, so a curved bulk metric acts as a field-theoretic replacement for the ad hoc potentials used in phenomenological models. The thesis further argues that nontrivial boundary dynamics is not restricted to topological theories: Maxwell theory, a newly built covariant theory of fractons (quasiparticles with restricted mobility), and linearized gravity with boundary all display conserved edge currents forming Kac-Moody algebras. If correct, this supplies a framework for accelerated edge modes in Hall systems, predicts accelerated edge modes in topological insulators, and connects fracton and gravitational boundary states to condensed-matter edge physics.","feed_headline":"Curved bulk metric gives Hall edge modes local velocity","feed_subtitle":"A curved bulk replaces ad hoc potentials for accelerated edge states and gives non-topological theories edge physics too.","key_machinery":"The load-bearing mechanism is the holographic contact in the bulk-to-boundary correspondence. Starting from a symmetry, one writes the invariant bulk action on a manifold with a one-sided boundary introduced by a $\\theta$ function, adds the most general boundary term allowed by locality and power counting, derives the boundary conditions and the broken Ward identity, extracts the conserved edge currents and their Kac-Moody algebra, and identifies the boundary degrees of freedom as scalars. The decisive step is matching the bulk boundary conditions with the equations of motion of the induced lower-dimensional action; this holographic contact fixes the free parameters of the boundary theory. In curved spacetime it gives $v = a_2/\\tilde\\kappa$ with $\\tilde\\kappa = \\kappa \\tilde\\epsilon^{012}/\\sqrt{-g}$, so the metric determinant becomes an observable input and the edge velocity becomes local. For the non-topological half of the thesis, the same machinery runs on the broken Ward identities produced by the boundary, yielding Kac-Moody algebras for Maxwell, fracton, and linearized-gravity theories.","core_discovery":"On the paper's own terms, the central discovery is that the edge velocity of the chiral bosons living on the boundary of abelian Chern-Simons and BF theories becomes a local function when the bulk manifold is curved: $v = v(t,\\theta)$ rather than a constant. The mechanism is a bulk-to-boundary correspondence: adding a radial boundary to a three-dimensional topological theory, working in Gaussian normal coordinates, and requiring compatibility between the bulk boundary conditions and the equations of motion of the induced two-dimensional action yields the holographic contact $v = a_2/\\tilde\\kappa$, where $\\tilde\\kappa = \\kappa \\tilde\\epsilon^{012}/\\sqrt{-g}$ is a scalar built from the Chern-Simons level and the metric determinant. The metric dependence survives only through the determinant, which is why the effect is mild yet sufficient to make edge modes accelerate. The thesis also establishes that the Kac-Moody algebra on the edge and its central charge $1/\\kappa$ are metric-independent, so topological protection remains while the velocity becomes dynamical. Beyond topological theories, the same boundary formalism applied to Maxwell theory, to a new covariant fracton gauge theory built from the symmetry $\\delta A_{\\mu\\nu} = \\partial_\\mu\\partial_\\nu\\Lambda$, and to linearized gravity yields conserved boundary currents with Kac-Moody algebras, generalized in the fracton case and standard in the linearized-gravity case.","pith_inferences":["Editorial inference: if the metric-to-potential correspondence holds, the local edge velocity could be used in reverse as a probe that reconstructs the bulk metric determinant from edge transport data; the thesis itself treats the metric as input rather than output.","Editorial inference: the same curved-boundary mechanism might apply to engineered curved or strained Hall samples, suggesting testable accelerated edge modes beyond the geometries explicitly treated in the thesis.","Editorial inference: the generalized Kac-Moody algebra on the fracton boundary hints at an algebraic classification of higher-order topological insulators in terms of multipole-conservation data, a connection the thesis notes but does not develop into a classification.","Editorial inference: a standard Kac-Moody algebra on the boundary of linearized gravity may offer a minimal holographic template for spin-2 theories outside anti-de Sitter holography; this is a speculation beyond the thesis's own claims."],"forward_implications":["Observed accelerated chiral edge modes in Hall systems can be described without adding ad hoc potentials: a curved bulk metric supplies the local velocity through the determinant of the induced metric.","The Kac-Moody algebra on the edge and its central charge remain the protected structures of the flat case, separating topological algebraic data from unprotected local dynamics.","Topological insulators described by BF theory with a time-reversal-invariant boundary term should exhibit equal-and-opposite but locally varying edge velocities; the thesis predicts accelerated edge modes in these systems.","Boundary dynamics is not exclusive to topological theories: Maxwell theory, a new covariant theory of fractons, and linearized gravity each display conserved edge currents forming Kac-Moody algebras.","The new covariant fracton gauge theory recovers standard fracton features, including multipole conservation and Maxwell-like equations, and its boundary dynamics may be related to higher-order topological insulators."],"supporting_citations":[{"why":"Supplies the boundary-as-separator method and the augmented Lagrangian with a boundary term that the thesis generalizes to one-sided boundaries.","marker":"[10]"},{"why":"Provides the pioneering derivation of fractional-quantum-Hall edge states as boundary modes of abelian Chern-Simons theory.","marker":"[16]"},{"why":"Reports the experimental observation of accelerated chiral edge modes that the thesis aims to explain.","marker":"[48]"},{"why":"Gives the flat-space Chern-Simons-with-boundary analysis whose constant edge velocity is extended here to a curved bulk.","marker":"[87]"},{"why":"Provides the flat-space BF-with-boundary analysis and its physical interpretation that the curved generalization builds on.","marker":"[88]"},{"why":"Establishes the BF bulk description of topological insulators, the target of the time-reversal-invariant edge modes.","marker":"[34]"},{"why":"Argues that the edge velocity cannot be determined from the bulk Chern-Simons action and should be taken as a phenomenological input.","marker":"[96]"},{"why":"Notes the intrinsic limitation of Chern-Simons effective theory in predicting chiral velocities, which the holographic contact addresses.","marker":"[114]"}],"fun_headline_variants":["Curved bulk makes edge velocity a local function","Edge modes go local with curved Chern-Simons bulk","Beyond topology: edge physics from curved bulk","Kac-Moody algebras emerge on boundaries of gravity and fractons","Hall edge velocity tuned by bulk curvature"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a curved bulk metric with a radial boundary can faithfully encode the physical confining potential of a real Hall sample, while the edge velocity $v$ is treated as a free experimental input; the thesis gives no rule for deriving the metric from the sample's potential or microscopic interactions.","fun_headline_variants_meta":{"raw":{"variants":["Curved bulk makes edge velocity a local function","Edge modes go local with curved Chern-Simons bulk","Beyond topology: edge physics from curved bulk","Kac-Moody algebras emerge on boundaries of gravity and fractons","Hall edge velocity tuned by bulk curvature"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000703,"raw_usage":{"total_tokens":3275,"prompt_tokens":1150,"completion_tokens":2125,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":766,"completion_tokens_details":{"reasoning_tokens":2050}},"tokens_in":766,"tokens_out":2125,"duration_ms":14653,"temperature":1.0,"reasoning_tokens":2050,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T15:03:35.918148+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Measure the local edge velocity of a fractional quantum Hall system on a deliberately curved or strained sample and check whether it follows the profile predicted by the determinant of an induced metric through $v = a_2/\\tilde\\kappa$; if no single choice of boundary coefficients reproduces the observed $v(t,\\theta)$, the claimed correspondence fails.","supporting_citations":[{"cited_title":"«From Chern–Simons to Tomonaga–Luttinger».Int","cited_arxiv_id":null,"evidence_quote":"Gives the flat-space Chern-Simons-with-boundary analysis whose constant edge velocity is extended here to a curved bulk."},{"cited_title":"«Introduction to cohomological field theories»","cited_arxiv_id":null,"evidence_quote":"Provides the flat-space BF-with-boundary analysis and its physical interpretation that the curved generalization builds on."}],"review_version":1}