Daily Summary for 2026-10-21

Introduction to the show: ident: High Energy Physics: Theory. The day in high-energy theory: gravity, strings, fields and the questions left open.

Kai: It's the twenty-first of October, twenty twenty-six, and this is the day's research.

Mira: 7 new papers came out today.

Kai: I'm Kai.

Mira: And I'm Mira, here with Lev.

Kai: We'll take the day in one pass, then pull out the papers we're staying with.

Mira: Start us off with Combinatorial properties of holographic entropy inequalities.

The day's research: Kai: We are looking at randomness, gravity, and quantum information in strongly coupled systems today.

Mira: The research examines how average operator values change based on system chaos or integrability.

Lev: Specifically, we are comparing Sachdev-Ye-Kitaev models to see the effect.

Kai: The AKMPC paper shows that for chaotic SYK Hamiltonians, these averages follow a Gaussian distribution.

Mira: What is the specific variance of that Gaussian distribution found in the study?

Lev: That variance corresponds directly to a wormhole geometry stabilized by a massive particle in its dual gravity description.

Kai: This work connects directly to Combinatorial properties of holographic entropy inequalities.

Mira: What does that framework establish for studying entanglement entropies?

Lev: It proves several properties they share between those entropies.

Kai: We can quantitatively reproduce results from the chaotic SYK case now.

Mira: How is the variance linked to wormhole geometry in that dual gravity calculation?

Lev: The variance is directly tied to the specific wormhole geometry involved.

Kai: This suggests our findings offer a quantitative setting for exploring randomness.

Mira: It also offers a quantitative setting for exploring wormholes and holographic duals of quantum magic.

Lev: Another piece explores how lattice bosons can realize exact chiral symmetries.

Kai: That study demonstrates using lattice bosons instead of fermions works.

Mira: It evades Nielsen-Ninomiya no-go theorems while achieving a continuum limit.

Kai: This relates how symmetries manifest in discrete systems, offering a view on quantum field theory structure.

Mira: How does this relate specifically to the SYK model's chaotic versus integrable versions?

Lev: The expectation values of Hermitian operators fully specify any quantum state; we examine their behavior there.

Kai: Does the JLMS formula in a large code with approximate error correction clarify bulk and boundary modular Hamiltonians?

Mira: It proposes an extended large code that handles modular flows, clarifying that relationship.

Lev: We also investigate Gaussian continuous tensor network states' short-distance behavior of quantum fields.

Kai: Do these states describe the short-distance behavior of quantum fields, and what about imaginary-time evolution?

Mira: We look into how they describe short-distance behavior and imaginary-time evolution.

Lev: Genuine Multi-Entropy in the Toric Code studies if it captures multipartite entanglement beyond lower party entropies.

Kai: So, do these multi-entropy measures capture multipartite entanglement beyond what lower party entropies measure?

Mira: They study genuine multi-entropy to see if it captures that multipartite entanglement.

Lev: Finally, on the consistent disformal couplings to fermions, do they lead to modified gravity theories when ghost degrees of freedom are avoided?

Kai: Avoiding ghost degrees of freedom in disformal couplings leads to new modified gravity theories.

Mira: Agreed. These papers are worth hearing for their specific contributions.

Lev: I agree with that assessment regarding the research presented today.

Kai: Indeed, these topics offer different perspectives on quantum structure and symmetry realization.

Mira: That is the essence of exploring these discrete systems' structural implications within QFT frameworks.

Lev: These findings show how different mathematical tools map onto physical realizations of symmetries in quantum systems.

Kai: We have reviewed the material today; I present the following lucky papers: Combinatorial properties of holographic entropy inequalities, because it creates a new framework for proving properties about holographic entropy inequalities. The JLMS formula in a large code with approximate error correction, which clarifies the relationship between bulk and boundary modular Hamiltonians. Gaussian continuous tensor network states: short-distance properties and imaginary-time evolution, because it investigates how these states describe the short-distance behavior of quantum fields. Genuine Multi-Entropy in the Toric Code, to see if it captures multipartite entanglement beyond what lower party entropies capture. On the consistent disformal couplings to fermions, because disformal couplings lead to new modified gravity theories when ghost degrees of freedom are avoided. One final turn for these insights and then this is our closing turn.

Lev: This concludes our review.

Kai: Agreed. I am finished now.

Lucky paper: 2601.09987: Kai: We’re looking at Combinatorial properties of holographic entropy inequalities today.

Mira: This paper establishes a new combinatorial framework for studying holographic entanglement inequalities, or HEIs, which are those linear inequalities obeyed by Ryu-Takayanagi holographic entanglement entropies.

Lev: The setup involves defining entropy functions that obey submodularity and having them constrained by the min-cut cone, which is a rational polyhedral cone defined by inequalities like XmL S(Xn) greater than or equal to XmR S(Yn).

Kai: So, what are the main combinatorial properties they establish for these HEIs?

Mira: They define dominance, inclusion dominance, and region dominance. Dominance requires a "dominance map" where for any subset U of LHS terms, there must be an equal-sized subset V of RHS terms containing every party at least as many times as U.

Lev: Inclusion dominance is stronger; it requires that for every pair U' which is a subset of the LHS subsets, there exist dominating subsets V' which is a subset of the RHS subsets such that V' is contained within V.

Kai: Region dominance generalizes those notions to collections of parties X, stating that the number of terms on the LHS containing X does not exceed the number on the RHS.

Mira: That generalized version means we look at how many terms on each side contain a specific group of parties and check if that count is bounded.

Lev: The paper proves several logical relations among these properties, establishing a map of implications, and Theorem five shows that if (L, R) is an HEI pair in Pbal N, then L is region-dominated by R.

Kai: That Theorem five result connects the combinatorial structure directly to the inequality itself.

Mira: Also, they show that if a pair (L, R) is in Pcen N, a contraction map is equivalent to an inclusion dominance map.

Lev: The work resolves conjectures by proving two and disproving two others; for example, the null reduction of any superbalanced HEI passes the majorization test.

Kai: So they are providing evidence that all HEIs are obeyed in time-dependent holographic states through this majorization test.

Mira: They also provide counterexamples to the converses of several conjectures, specifically disproving Conjecture two and Conjecture four by showing not every null reduction of a superbalanced inequality is actually an HEI.

Lev: The paper suggests that examining the extreme rays of the holographic entropy cone using holographic graph models with tree topology could be a way to understand that cone structure more directly.

Kai: So, this combinatorial framework is intended to be a tool for identifying HEI candidates and delimiting the HEC more directly.

Mira: It seems like they are building a very detailed map of logical implications for these inequalities using these dominance structures.

Lev: The core analysis involves encoding an inequality into a pair of (zero one) matrices, L and R, and then using the contraction map as an essential tool to prove that such a pair corresponds to an HEI.

Kai: So the min-cut function S(X) is defined on a weighted graph G with N plus one external vertices.

Mira: That definition of S(X) is crucial because it sets up the context for defining the set HN of entropy vectors which forms that convex cone, the min-cut cone.

Lucky paper: 2601.00442: Kai: We are moving into Segment four and we are looking at the paper on the JLMS formula in a large code with approximate error correction.

Mira: This paper tackles a fundamental problem when applying Gauge/Gravity Duality to quantum error correction, specifically concerning the JLMS relation.

Lev: The authors argue that exact quantum error correction with complementary recovery isn't possible unless G is infinitesimally small, so they build a single large code structure.

Kai: So this "large code" isn't just one big thing; it’s built by assembling many smaller codes, each satisfying an approximate Faulkner-Lewkowycz-Maldacena formula.

Mira: That hierarchical structure is key because it's specifically designed to accommodate modular flows and even superpositions of states associated with different classical backgrounds when G is small.

Lev: They introduce terms like 'Log-stability' and 'Approximate subsystem orthogonality' to control the errors that arise from this construction.

Kai: What exactly does Log-stability condition impose on the bulk states, and how does it relate to the gravitational path integral?

Mira: They use AdS/CFT to show that Log-stability condition two follows from condition one when epsilon tail isn't exponentially small in the G to zero limit.

Lev: This involves analyzing semiclassical versions of bulk traces, showing that the coincidence of backgrounds on a specific cut 'r' is enforced by normalization constraints.

Kai: If they are using this framework, how do they derive the approximate projected JLMS relation for log-aligned states?

Mira: Theorem three establishes it, requiring the large code to be defined by Hamiltonians H alpha that satisfy an approximate FLM formula and an approximate isometry V alpha.

Lev: That requires stringency: the log version of approximate subsystem orthogonality must hold, and the states rho and sigma have enhanced log-stability controlled by epsilon tail and epsilon enhanced.

Kai: And what is the actual operator-norm error bound they derive for that projected relation?

Mira: It gives an operator-norm error bound of the form V K rho V - V V A four G + K rho r times epsilon pJLMS + epsilon iso + epsilon enhanced plus epsilon sub-log plus epsilon l-smooth.

Lev: That formula shows how the errors scale with terms like n to one where n is related to the number of codes in the hierarchy.

Kai: What about the exponentiated version, Theorem six? How does that differ from what we just discussed?

Mira: Theorem six addresses the exponentiated version, which requires an approximate R´enyi FLM formula for n equals one plus i s.

Lev: It depends on the exponentiated version of approximate subsystem orthogonality and demands that state rho be exponentiated-smooth.

Kai: So, to summarize what this paper does, it constructs a large code where both the projected and exponentiated JLMS relations hold with errors that vanish in the G to zero limit under those specific conditions.

Mira: Essentially, it moves past the strict G to zero requirement for exact error correction by using this robust, hierarchical structure to recover entanglement wedge information across more semiclassical bulk states.

Lev: It's a significant step in developing a framework where the JLMS formula holds approximately with errors that go to zero under those conditions related to log-stability and smoothness.

Kai: That gives us a much wider class of states we can analyze using this method.

Lucky paper: 2602.15987: Kai: So we're looking at Gaussian continuous tensor network states, or GCTNS, and how they relate to quantum field theories with rational dispersion relations.

Mira: That paper focuses on these GCTNS as a finitely-parameterized subclass of Gaussian states that can act like continuum limits of discrete tensor network states.

Lev: The main motivation here comes from relativistic quantum field theory where CMPS and CTNS usually need an ultraviolet regulator to stabilize variational optimizations, so the Gaussian sector gives us a controlled setting to test continuous tensor network states beyond one space dimension.

Kai: So they are using GCTNS to approximate ground states of free bosonic field theories, focusing on Klein-Gordon theory initially.

Mira: They present two main schemes for approximating these ground states: rational approximants to the exact dispersion relation and Trotterized imaginary-time evolution.

Lev: For the rational approximants, they identify a rational approximant omega chi of omega of degree chi plus one over chi in k squared, which is done via continued fraction or Padé approximation.

Kai: And that leads to a first-derivative GCPEPS approximation in two steps, right?

Mira: Exactly. Then you get a tridiagonal GCPEPS whose auxiliary fields can be interpreted as snapshots of past imaginary times.

Lev: Regarding the UV fixed point, an nth derivative GCPEPS with chi virtual fields has a free Lifshitz vacuum with dynamical exponent z equal to two deg P minus two deg Q, and that is less than or equal to 2n(chi plus one).

Kai: That means the scaling of the entanglement entropy is also related to this exponent z.

Mira: The entanglement entropy of the GCTNS is generally divergent for this class studied here, manifesting as a logarithm of the UV regulator multiplied by a universal coefficient bounded by a linearly growing function of chi.

Lev: The paper concludes that these Gaussian continuous tensor network states cannot capture the short-distance properties of relativistic quantum field theories asymptotically, like their linear dispersion and entanglement scaling.

Kai: That limitation is expected because a rational function of k squared cannot reproduce the relativistic asymptotics omega proportional to k.

Mira: They stress that GCPEPS approximations achieve that asymptotic behavior only when chi equals infinity, which is where they mirror what RCMPS achieved in one space dimension.

Lev: The analysis involves defining a state psi as a path integral over auxiliary or virtual fields, identifying any state psi of phi hat with the Schrödinger wavefunctional psi: phi seven→ <phi psi>.

Kai: So when calculating entanglement entropy for a subsystem A, they use the reduced density matrix expressed only in terms of two-point functions involving phi x degrees of freedom inside A.

Mira: And they say that the bulk entanglement entropy scaling is similar and isn't affected by finite-size effects or boundary conditions, which justifies using a finite-volume regularization.

Lev: Convergence is verified by recognizing in equation thirty-one the continued fraction expansion of a square root, and for the rational approximation, convergence shows monotone oscillation.

Kai: But they point out that qualitative different behaviors arise for even chi when k is much larger than m, and odd chi when k is much larger than m.

Mira: That convergence isn't uniform across all cases, which is a key detail to watch.

Lucky paper: 2607.06050: Kai: We are moving into a deep dive on Genuine Multi-Entropy in the Toric Code, looking at how it probes multipartite entanglement.

Mira: This paper claims genuine multi-entropy reveals something beyond what lower party entropic data shows, especially for stabilizer states.

Lev: For stabilizer states, the genuine multientropy GM reduces to lower-party entropic data when the replica index n is less than q, where q is the number of parties.

Kai: So, for a generic q four what happens at index n=four ?

Lev: At replica index four the GM becomes a topological invariant for stabilizer states.

Mira: That means it stays unchanged even if we deform the partitions that preserve the topology of those four parties.

Kai: Can you give us an example of how it differs from conventional topological entanglement entropy?

Lev: For n=two and n=three GM reduces to the ordinary R'enyi tripartite information, which is different.

Mira: What specific numbers show that difference for those low indices?

Lev: For q = four at index n=two the GM is equal to-one/four times the tripartite information I3, with a convention parameter a = one/three.

Kai: That's quite specific. So at index n=three what is that relationship then?

Lev: At index n=three for the same case, it equals-two/nine times the tripartite information I3, using the same convention parameter.

Mira: This tells us that for n < four GM is completely determined by lower-party data. Where does it start showing new information?

Lev: At index n=four the reduction to I3 fails, and GM contains information beyond that tripartite information.

Kai: Does this mean we can see something truly four-partite when n reaches four?

Lev: Yes, at n=four the GM is a topological invariant in a sense, meaning it remains unchanged under local deformations of the subregions A, B, C, and D.

Mira: If it's invariant under those local deformations that preserve topology, does that mean it's independent of the lattice size L ?

Lev: Yes, for non-stabilizer states within the same topological ground-state manifold and for excited states from coherent superpositions of local excitations, this invariance holds.

Kai: How do we know it detects more than just the total quantum dimension D when we look at generic ground state superpositions?

Lev: In a one-parameter non-stabilizer family ten(theta), GM and I3 are physically different quantities for generic values of theta.

Mira: So, if the proportionality relation between GM and I3 found for stabilizer states doesn't extend to a general linear combination of toric code ground states, what is that telling us?

Lev: It tells us that the n=four GM is not just related to the total quantum dimension D probed by I3.

Kai: And when we compare this toric code analysis to the color code on a honeycomb lattice, what is the relationship there?

Lev: The n=four GM in the color code is twice that of the toric code.

Mira: That comparison serves as a consistency check for your claim about the n=four GM being a topological invariant of topological stabilizer codes.

Lev: It confirms that this property holds for these topological stabilizer codes.

Kai: So, if we look at Levin-Wen models, does this genuine multi-entropy signal the TQFT partition function on the graph-encoded manifold?

Lev: The analysis suggests that any genuine multipartite signal, including the GM evaluated for a Kitaev–Preskill type partition for the ground state of a Levin-Wen model, is simply computing the toric code TQFT partition function on the gem corresponding to the n=four R'enyi multi-entropy.

Mira: That implies that we can use genuine multi-entropy to distinguish and characterize topological phases beyond what's contained in the total quantum dimension D.

Lev: The next step suggested is calculating this for double semion theory, which has a different TQFT structure but shares the same total quantum dimension D.

Kai: That sounds like a very promising direction for exploring these concepts further.

Lucky paper: 2510.07419: Kai: We're moving into the paper on On the consistent disformal couplings to fermions, which touches on modified gravity and higher derivatives.

Mira: The motivation there is about using disformal couplings to fermions to find a unique derivative coupling between those fields and the axial fermionic current, which has higher derivatives in general.

Lev: It's interesting because while General Relativity works on local scales, we have questions about dark energy on cosmological scales, and this paper looks at scalar or vector field models for modified gravity.

Kai: The authors are focused on constructing general scalar- or vector-tensor theories with second-order equations of motion to avoid Ostrogradsky instabilities.

Mira: But they found that disformal couplings can lead to a derivative coupling between the disformal fields and the axial current that actually contains higher derivatives in general.

Lev: That’s a big hurdle because if you have those higher derivatives, you run into issues with Ostrogradsky ghosts unless specific degeneracy conditions are imposed.

Kai: The paper shows that for two scalar fields, a consistent disformal coupling needs a degenerate field space metric where h2 equals h3, which is equivalent to b2 equals b3.

Mira: That degeneracy condition then restricts the axial coupling M alpha to being dependent only on derivatives of X, Q and Z.

Lev: That restriction is important because it allows the integrability conditions for the total differential dH to lead to the absence of higher time derivatives.

Kai: Then they looked at a single scalar field with higher order spatial derivatives, and they found that for a consistent matter coupling, the condition c20 equals-c21 X implies f3 equals 2C2 c11.

Mira: That result shows there are disformal couplings to matter with an f3 not equal to zero that remain consistent.

Lev: The vector field analysis showed something different; for a U(one) gauge symmetry, the axial coupling M alpha contains second time derivatives multiplied by first derivatives of the vector field.

Kai: That means the equations of motion contain third derivatives of the vector field, which leads to a conclusion that this disformal coupling is inconsistent with fermions.

Mira: So for two scalar fields, you need degeneracy conditions, but for a single vector field transformation, it seems to be inconsistent with fermions unless you use a specific form dependent on the field strength.

Lev: The conclusion is that the formalism can be applied to single field disformal transformations with higher derivatives by extending conditions from previous work, leading to a larger class of disformal Horndeski theories.

Kai: It seems like they are pushing the boundaries on what kinds of modified gravity theories are viable when you introduce these couplings.

Mira: It's about exploring new classes of Proca theories beyond what we currently have in the literature.