--- title: Entanglement Membrane Picture url: https://www.emergentmind.com/topics/entanglement-membrane-picture type: topic --- # Entanglement Membrane Picture The entanglement membrane picture is a coarse-grained spacetime description of entanglement dynamics in chaotic many-body quantum systems in which the entropy of a region is obtained from a variational problem over a codimension-one membrane, or in \(1+1\) dimensions a directed line, with a local tension \(E(v)\) or \(\mathcal E(v)\) set by its orientation \(v\) in spacetime. It was first formulated as a leading-order description of state and operator entanglement in short-range chaotic systems, then extended from random-circuit settings to deterministic Floquet models, Brownian large-\(N\) models, and holography. Across these settings, the membrane organizes entanglement growth, operator spreading, and butterfly physics, while more recent work has clarified that its standard local form is neither exact nor universal: free-fermion systems, pure \(2\)d CFT, and finite-interval impurity problems require either modified spacetime objects or additional degrees of freedom, and in some cases expose qualitative failures of the usual membrane framework [1803.00089] [1912.12311] [2512.04179] [2410.03442] [2411.16542]. ## 1. Variational formulation and basic quantities In one spatial dimension, the membrane picture can be written either as a local entropy-production law or as a spacetime minimization principle. For a pure state with entanglement entropy \(S(x,t)\) across a cut at position \(x\), the local growth law is \[ \frac{\partial S}{\partial t}=s_{\mathrm{eq}}\,\Gamma\!\left(\frac{\partial S}{\partial x}\right), \] while the equivalent variational form is \[ S(x,t)=\min_y\left[t\,s_{\mathrm{eq}}\,E\!\left(\frac{x-y}{t}\right)+S(y,0)\right]. \] Here \(s_{\mathrm{eq}}\) is the equilibrium entropy density, \(E(v)\) is the line tension, and the minimizing curve runs from \((x,t)\) to some \((y,0)\). In higher dimensions, the same structure becomes a minimization over codimension-one membranes in the spacetime slab, with a local surface-tension density determined by the membrane orientation [1803.00089]. The local and variational formulations are related by Legendre transform. In \(1+1\) dimensions, \[ \Gamma(s)=\min_v\left(E(v)-\frac{v s}{s_{\mathrm{eq}}}\right),\qquad E(v)=\max_s\left(\Gamma(s)+\frac{v s}{s_{\mathrm{eq}}}\right). \] This identifies the membrane not as an independent ansatz, but as a geometric form of coarse-grained entanglement hydrodynamics. The entanglement velocity is \(v_E=\Gamma(0)=E(0)\), while the butterfly velocity is singled out by \[ E(v_B)=v_B,\qquad E'(v_B)=1. \] Convexity, \(E''(v)\ge 0\), is a central consistency condition in the coarse-grained theory [1803.00089]. The same formalism appears in later large-\(N\) and holographic work with notation \(\mathcal E^{(n)}(v)\) for the \(n\)-th Rényi membrane tension. In that language, a quench formula takes the form \[ S^{(n)}(x,T)=\min_v\left(s_{\rm eq}\,\mathcal E^{(n)}(v)\,T+S^{(n)}(x-vT,0)\right), \] and for higher-dimensional holographic systems one writes \[ S=\min_{x(\xi)} \int d^{d-1}\xi\, \sqrt{|\gamma(\xi)|}\, \frac{s_\text{th}\, {\cal E}(v(\xi))}{\sqrt{1-v^2(\xi)}}. \] These formulations differ in derivation and regime, but they share the same central object: a local tension function governing entanglement growth at large scales [2512.04179] [2411.16542]. ## 2. Replica structure, permutation variables, and spacetime statistical mechanics The membrane picture emerged most cleanly in random unitary circuits, where replicated tensor networks reduce to effective statistical mechanics of local pairing or permutation variables. Rényi entropies and OTOCs require multiple forward and backward copies, \[ U^{(N)}\equiv U\otimes U^*\cdots U\otimes U^*, \] and after Haar averaging the effective degrees of freedom are local permutations \(\sigma(x,t)\in S_N\). In this setting the membrane is a domain wall in spacetime between different pairing sectors, and the entanglement problem becomes a partition function for those domain walls [1912.12311]. A decisive extension beyond averaged random circuits is the exact projector decomposition introduced for deterministic chaotic systems. For a two-site gate, the replicated identity is resolved as \[ I^{(N)}=\sum_{\sigma\in S_N}P_\sigma+P_\perp, \] with \(P_\sigma\) projecting onto pairing states and \(P_\perp\) onto the orthogonal complement. The effective local spin variable is therefore \[ s(x,t)\in S_N\cup\{\perp\}. \] The paired projectors obey \[ U^{(N)}P_\sigma=P_\sigma, \] so the microscopic dynamics survives only through the \(\perp\) sector. In the resulting spacetime partition sum, the membrane is no longer a strictly thin random-circuit wall: it becomes a “thick” wall dressed by finite \(\perp\)-clusters. The central coarse-graining assumption is that this thickness remains \(O(1)\), allowing an emergent line tension \(\mathcal E(v)\) to be defined from fixed-endpoint partition sums [1912.12311]. An independent microscopic derivation appears in Brownian chaotic models. There, disorder averaging maps the Lorentzian \(n\)-th Rényi problem to Euclidean evolution under a replicated superhamiltonian \(P_{2n}\), and the low-energy sector is argued to consist of a universal gapped band of plane-wave, locally dressed domain walls between permutation-labeled ferromagnetic ground states. Their dispersion relation determines the membrane tension through large-deviation/saddle-point relations. In this approach, the membrane is not just an effective geometric surface; it is the spacetime large-deviation avatar of specific low-lying replicated excitations [2407.16763]. ## 3. Line tension, operator entanglement, and butterfly physics A major strength of the membrane framework is that the same tension function governs both state entanglement and operator spreading. For the time-evolution operator \(U(t)\), viewed as a doubled state, the operator entanglement satisfies \[ S_U(x,y,t)=t\,s_{\mathrm{eq}}\,E\!\left(\frac{x-y}{t}\right), \qquad |x-y|\le v_B t, \] while for larger separations \[ S_U(x,y,t)=s_{\mathrm{eq}}|x-y|. \] This makes \(E(v)\) directly accessible through operator entanglement of the unitary and clarifies the distinguished role of \(v_B\): beyond the butterfly cone, the leading dynamical contribution to \(S_U\) disappears [1803.00089]. The same line tension controls the large-deviation form of OTOCs. In the deterministic Floquet formulation, \[ \tilde C(x,t)\sim e^{-\mu(v)t},\qquad \mu(v)\equiv s_{\rm eq}\mathcal E(v)-v, \] for \(v=x/t>v_B\). Thus \(\mathcal E(v)\) simultaneously encodes entanglement growth and operator-front decay outside the light cone [1912.12311]. Concrete solvable examples show how model dependence enters the tension. For a large-\(q\) random circuit with random spacetime structure, \[ \Gamma(s)=\frac{1}{2}\left(1-\left(\frac{s}{s_{\mathrm{eq}}}\right)^2\right),\qquad E(v)=\frac{1}{2}(1+v^2),\qquad v_B=1. \] For a regular random circuit at finite \(q\), the second-Rényi tension is \[ E_2(v)\simeq \log_q\frac{q^2+1}{q} +\frac{1+v}{2}\log_q\frac{1+v}{2} +\frac{1-v}{2}\log_q\frac{1-v}{2}, \] with \[ v_B=\frac{q^2-1}{q^2+1}. \] These examples illustrate a recurring theme of the literature: the membrane structure is robust, but the detailed shape of \(E(v)\) is model-dependent [1803.00089]. Higher Rényi indices can introduce additional structure. In Brownian symmetry-free models, the second Rényi entropy is controlled by a dressed single-domain-wall band, but for the third Rényi entropy the proposed tension \(\mathcal E_3(v)\) can require phase transitions between bound-state and unbound-domain-wall branches in order to satisfy the consistency condition that an equilibrium state should not continue to gain entropy. This makes the membrane tension itself piecewise and indicates that higher-Rényi membrane theories may contain nontrivial internal phase structure [2407.16763]. ## 4. Deterministic Floquet systems and solvable chaotic large-\(N\) realizations In deterministic Floquet systems, the membrane picture survives coarse-graining despite the absence of circuit averaging. The fixed-endpoint partition function is written in terms of irreducible membrane steps \(W(\Delta x,\Delta t)\), leading to the exact renewal equation \[ Z(x,y;t)=\sum_{M\ge1}\sum_{\substack{\{\Delta x_i\},\{\Delta t_i\}\\ \sum_i \Delta x_i=x-y\\ \sum_i \Delta t_i=t}} \prod_{i=1}^M W(\Delta x_i,\Delta t_i). \] Generating functions then yield the line tension \(\mathcal E(v)\). For generic chaotic Floquet models the resulting \(\mathcal E(v)\) is convex and the membrane exhibits diffusive wandering, whereas dual-unitary circuits form a special wavelike universality class with flat line tension \[ \mathcal E(v)=1, \] so \(v_E=1\) and \(v_B=1\). In that case the continuum membrane dynamics is governed by a wave equation rather than diffusion [1912.12311]. The Brownian SYK chain provides a solvable interacting large-\(N\) derivation in which the membrane is a traveling-wave saddle of collective bilinear fields on the replicated Schwinger–Keldysh contour. For \(n=2\), the relevant collective variables are \(x_u\), \(y_u\), and \(z_u\), constrained by \[ x_u^2+z_u^2-y_u^2=1, \] and the continuum action takes the canonical form \[ -S=\frac1{2a}\int_0^{T_\tau}d\tau\,d\sigma\,\big(r\,\partial_\tau\theta-h(\tau,\sigma)\big). \] In the large-\(T\), large-subsystem limit, the membrane is a localized traveling wave, \[ r(\sigma,\tau)=r(\sigma-v\tau,0),\qquad \theta(\sigma,\tau)=\theta(\sigma-v\tau,0), \] interpolating between asymptotic contour-gluing patterns. The membrane free energy is the on-shell action density of this soliton [2512.04179]. This derivation makes the relation to scrambling explicit. For \(|v|v_B\), a single localized membrane ceases to exist and instead splits into two fronts, each moving at \(v_B\), separated by a macroscopic region of width \[ (v-v_B)T. \] In that regime the localized membrane description breaks down, while operator entanglement still defines an effective slope \[ \mathcal E_{\rm eff}^{(n)}(v)=v. \] For \(q=4\), the computed \(\mathcal E^{(2)}(v)\) and \(\mathcal E^{(3)}(v)\) are convex and satisfy \[ \mathcal E^{(n)}(v_B)=v_B,\qquad \mathcal E'^{(n)}(v_B)=1. \] This is one of the clearest microscopic realizations of the membrane as an actual saddle-point object rather than a postulated variational surface [2512.04179]. ## 5. Modified membrane phenomenology: free fermions and \(2\)d CFT Not all systems with spacetime entanglement descriptions realize the standard sharp membrane with nonzero local tension. In noisy free fermion chains without conservation laws, disorder-averaged Rényi entropies map not to permutation spins but to an \({\rm SO}(2N)\) ferromagnetic Heisenberg chain in imaginary time, \[ H=\Delta^2\sum_i\left[N-\sum_{aL. \end{cases} \] All bulk gates are dual unitary, while the impurity at bond \(x=L\) is only unitary and defines a vertical defect line in spacetime. The entanglement region is a contiguous interval \[ A=(L-2\ell-2r,\;L-2r], \] of length \(2\ell\), lying a distance \(2r\) from the impurity [2410.03442]. For a semi-infinite subsystem, the membrane picture works exactly. The Rényi entropy is \[ S_A^{(n)}(t)= \begin{cases} t\log(q_l^2), & t\le r,\\[4pt] r\log(q_l^2)+(t-r)S_{\mathrm{imp}}^{(n)}, & t>r, \end{cases} \] where \(S_{\mathrm{imp}}^{(n)}\) is the operator entanglement of the impurity gate. In the membrane language, the bulk has constant line tension \(\log(q_l^2)\), while the defect line has lower tension \(S_{\mathrm{imp}}^{(n)}\). The optimal membrane runs along the light cone to the impurity and then vertically down the impurity worldline, giving \[ \frac{d}{dt}S_A^{(n)}(t)= \begin{cases} \log(q_l^2),& tr. \end{cases} \] In this geometry the membrane, quasiparticle, and exact calculations coincide [2410.03442]. For a finite interval near the impurity, however, the exact result can be qualitatively non-monotonic. In the integrable bulk realization, \[ S_A^{(n)}(t)= \begin{cases} 2t\log(q_l^2), & 0\le t