Classical Capacity of Single-Mode Bosonic Gaussian Channels

Write z_j = 2\operatorname{Tr}[\rho x_j^2] and w_j = 2\operatorname{Tr}[\rho p_j^2]. We first obtain lower bounds that are affine in these moments. The two auxiliary ingredients used in the proof, Proposition 8 and Lemma 9, are established in Appendix ?. For each channel, choose a squeezed vacuum \gamma_{u_j}, with u_j\neq1/\xi_j, independently of the actual input \rho. Lemma 9 constructs a dilation by a symplectic unitary on the input mode A_j and two auxiliary modes B_j,E_j, initially in vacuum. After a local squeezing of the receiver A_j, the resulting unitary \widetilde V_{j,u_j} sends \gamma_{u_j}\otimes\lvert0\rangle\!\langle0\rvert_{B_jE_j} to a two-mode squeezed vacuum on A_jB_j and vacuum on E_j. Apply the product of these unitaries to \rho_A and the auxiliary vacuum, then trace out E = E_1\ldots E_m:

Here A = A_1\ldots A_m, B = B_1\ldots B_m, and |0\rangle_{BE} is the joint vacuum of the 2m auxiliary modes. The state \Omega_{AB} has finite energy, but in general will be mixed and potentially non-Gaussian.

Its marginal on A is unitarily equivalent to (\Phi_1\otimes\cdots\otimes\Phi_m)(\rho), so it has the same entropy.

We apply the mixed-state form of the many-pair entropy inequality, Proposition 8, to \Omega_{AB}. Lemma 9 chooses the coefficients of each quadratic observable so that its expectation depends on only one input quadrature moment. Substituting its identity (9) into (8), for u_j<1/\xi_j on every mode, gives

Here h_j is the function h defined in (?), evaluated with the parameters k_j,y_j,\xi_j of the j^{\,\text{th}} channel. Each summand is the tangent to the squeezed-vacuum output entropy as a function of its position second moment. On any mode we may instead choose u_j>1/\xi_j, obtaining the tangent to w\mapsto h_j(1/w,w) at w = 1/u_j, evaluated at w_j. The many-pair inequality is essential here: separate bounds on the marginal output entropies would not give this lower bound on their joint entropy.

We can now choose u_j so that the affine corrections vanish. If z_j<1/\xi_j, take u_j = z_j; if w_j<\xi_j, take u_j = 1/w_j. These cases are mutually exclusive because z_jw_j \geq 1, and the resulting summand is exactly \varepsilon_j(z_j,w_j). Otherwise both z_j\geq1/\xi_j and w_j\geq\xi_j, so take u_j\to1/\xi_j. The seed entropy tends to S_{\min,j} and its derivative tends to zero, giving the same conclusion. This derivative limit also holds when k_j + y_j = 1: the output symplectic eigenvalue minus one vanishes quadratically in u_j - 1/\xi_j, which compensates for the logarithmic divergence of the entropy derivative. Taking these scalar limits mode by mode proves (1).

For a product of squeezed vacua the interval in (?) collapses to a single point on each mode, so equality holds in (1). To prove (1), every feasible state satisfies

where the second inequality uses that each \varepsilon_j is nonincreasing in both arguments. Let \hat u_j be the minimiser in (?) for the j^{\,\text{th}} channel. The product \bigotimes_j\gamma_{\hat u_j} attains this value and obeys the constraints. Moreover, displacing its j^{\,\text{th}} mode to have first moments \sqrt{(z_j - \hat u_j)/2} and \sqrt{(w_j - 1/\hat u_j)/2} makes both constraints equalities, while leaving every output entropy unchanged.

Apply Theorem 1 to every signal state in the ensemble. Since \varepsilon_j is convex and second moments are affine in the state, Jensen’s inequality bounds the average signal output entropy from below by \sum_j\varepsilon_j(z_j,w_j). Subtracting this from the upper bound on the average output entropy proves (2). The product of the Gaussian displacement ensembles constructed after (?) attains equality, because its average covariance matrix is diagonal and every displaced signal has output entropy \sum_j\varepsilon_j(z_j,w_j).

Choose E_1>E so close that C(\Phi,E_1)<R and then choose \eta>0 with 2\eta<R - C(\Phi,E_1). Proposition 15 gives \kappa>0. Choose

If a code had p \ge e^{-an}, then z \le e^{-n(\kappa - a/2)}\to0 uniformly over such codes. For large n, 1 - 4z>0, so substituting \ln M \ge nR, \ln p \ge - an, and \ln\Gamma \le n\eta in (13) would imply

contrary to the choice of a. This proves exponential decay for all sufficiently large n. At E = 0, every input is vacuum and p = 1/M directly.

For pure states this is the cited inequality, after changing its squeezing parameter to \sqrt{\nu_j/(\nu_j + 1)} and rescaling the two coefficients. Indeed, positivity of the left-hand side of (8) is equivalent to \sqrt{\nu_j/(\nu_j + 1)}<t_j/s_j<\sqrt{(\nu_j + 1)/\nu_j}. Any ratio in this interval can be normalised by a common positive rescaling, and (8) makes the entropy prefactor equal to one. The two possible mode orders in the original statement are included because exchanging the modes and coefficients changes (?) only by a constant, which cancels against its reference expectation.

For a mixed state, apply the pure-state inequality to its spectral decomposition and average, using entropy concavity and linearity of the quadratic expectations. Every eigenvector of nonzero weight has finite energy. Moreover, (t_ja_j^\dag - s_jb_j)(t_ja_j - s_jb_j^\dag)\leq2t_j^2a_j^\dag a_j + 2s_j^2(b_j^\dag b_j + \mathds{1}) as quadratic forms, so all expectations are finite and the countable averages are legitimate. The stated equality follows from the reference expectations above.

We order the quadratures as

and write \omega = \left(\begin{smallmatrix}0&1\\-1&0\end{smallmatrix}\right), \Omega_3 = \omega^{\oplus3}, and \sigma_z = \operatorname{diag}(1,-1). The unitary V corresponds to a real symplectic matrix T, defined by the relation V^\dag R_{ABE}V = TR_{ABE}. Following [BUCCO, Sec. 5.3], we see that, in order for V to be a Stinespring dilation of \Phi, we may choose the first two rows, corresponding to system A, as follows in terms of the X and Y matrices of the channel:

where the angle \theta\in[0,\pi/2] is chosen so that(Note that the definition after Eq. (5.48) in [BUCCO] has a typo; it should feature \cos(2\theta_j) instead of \sin(2\theta_j).)

Complete positivity ensures that this choice of \theta is possible. We are not interested, for now, in the last two (E) rows of T; however, we need to choose the blocks J, K, L so that (?) is satisfied.

Let U_r be represented by the symplectic matrix

in the sense that U_r^\dag R_A U_r = S_r R_A. Then, S_r(XV_uX^{\mathsf T} + Y)S_r^{\mathsf T} = (2\nu + 1)\mathds{1}_2. Moreover, (2\nu + 1)^2 = k^2 + y^2 + ky(\xi u + 1/(\xi u))>(k + y)^2\geq1, so \nu>0. Since the symplectic matrix representing \widetilde{V}_u is (S_r\oplus\mathds{1}_4)T, we thus need to impose that

Its first two rows, multiplied on the right by (S_r^{-1}\oplus\mathds{1}_4)T^{-\mathsf T}\Omega_3, give the identity

where we used T^{-\mathsf T} = -\Omega_3T\Omega_3 and S_r^{-1}\omega = \omega S_r. Since (\sigma_z\omega)^2 = \mathds{1}_2, this shows that

To check that this choice actually permits the desired completion, note that the first two rows of (S_r\oplus\mathds{1}_4)T have symplectic products \omega and give covariance matrix (2\nu + 1)\mathds{1}_2 on the input \gamma_u\otimes\lvert0\rangle\!\langle0\rvert_{BE}. Together with (V_u\oplus\mathds{1}_4)\Omega_3(V_u\oplus\mathds{1}_4)=\Omega_3, these identities determine the cross terms when substituting (?). In the symplectic product of the two-term expression in square brackets with its transpose, the two square terms give (2\nu + 1)^2\omega and \omega, while each mixed term gives -(2\nu + 1)^2\omega. Hence

For the covariance matrix products, the mixed terms before multiplication by the coefficient 2\nu + 1 are both -\mathds{1}_2. The same substitution therefore gives the other three identities:

Due to (?)–(?), the first four rows of T, corresponding to modes A and B, span a symplectic subspace. Hence, choosing a canonical pair in its symplectic complement completes T to a symplectic matrix. Note that we still have some freedom in choosing T, as we can multiply the sub-matrix obtained by collecting the last two (E) rows by a local symplectic matrix on the third mode.

Due to (?)–(?), the two matrices in (?) coincide in the 4\times 4 top left entries, i.e. in the whole AB block. Since this is the covariance matrix of a pure Gaussian state, AB is uncorrelated with E. The full output is pure as well, because the input is pure and T is symplectic, so the state of E is also pure. By Williamson’s theorem, we can transform it into the vacuum by applying a symplectic unitary on E (without changing the first four rows). This establishes (?).

The first two columns of (?) give

Since k>0 and r>0, the two diagonal entries of S_rX = \sqrt{k}\operatorname{diag}(r,\varsigma/r) are nonzero. We can therefore multiply by its inverse to obtain

Since r^4u^2 - 1 = y(\xi u^2 - \xi^{-1})/(ku + y/\xi), the two positive numbers r^2u and (r^2u)^{-1} are reciprocal and unequal. Exactly one diagonal entry of the last matrix belongs to \left(\sqrt{\nu/(\nu + 1)},\sqrt{(\nu + 1)/\nu}\right): the second for u<1/\xi, and the first for u>1/\xi. Choose t/s to equal that entry. Then

The proportionality factor is nonzero: the two diagonal entries in (?) are different, so choosing t/s to equal one of them makes exactly one diagonal entry of t\mathds{1}_2 - s\sigma_zJ(S_rX)^{-1} vanish, and multiplying by the invertible diagonal matrix S_rX preserves this property. The strict interval makes the left-hand side of (8) positive before normalisation, so a common positive rescaling of t,s imposes that equation.

To evaluate the quadratic observable, we write its two quadrature combinations in terms of the input quadratures. The definition of T gives

On the input \rho_A\otimes\lvert0\rangle\!\langle0\rvert_{BE}, each cross term between an input quadrature on A and an auxiliary quadrature on either B or E has zero expectation, because the vacuum first moments vanish. This remains true when \rho is not centred. The terms involving only B,E are independent of \rho, as is the scalar term in (?); they therefore cancel when subtracting the expectation obtained with input \gamma_u. By (?), that expectation is \left(s\sqrt{\nu + 1}-t\sqrt\nu\right)^2, and (?) now gives

Here c>0 is one quarter of the square of the nonzero entry of tS_rX - s\sigma_zJ, and is independent of \rho.

For u<1/\xi, keep V,U_r,t,s fixed and apply the mixed-state one-pair case of Proposition 8 to the AB marginal obtained from \gamma_v. Its receiver entropy is h(v,1/v), so

with equality at v = u. Differentiability at this interior point therefore gives c = -\left.\frac{d}{dv}h(v,1/v)\right|_{v = u}. For u>1/\xi, the same argument with the input \gamma_{1/w} gives the difference c\big(2\operatorname{Tr}[\rho p^2] - 1/u\big) and identifies c = -\left.\frac{d}{dw}h(1/w,w)\right|_{w = 1/u}. This establishes (9) and therefore completes the proof.

The passive normal-mode transformation preserves total photon number. It reduces each block to \bigotimes_{j = 1}^n\Phi_{\theta_j}, with \theta_j = \pi j/(n + 1). These channels need not be identical. Each has a dilation on three modes: prepare a two-mode squeezed vacuum purifying the thermal environment, squeeze the environmental input by s\cos\theta, and couple it to the signal with a beam splitter of transmissivity \eta. If r_T = \tfrac12\operatorname{arcosh}(2T + 1), the dilation matrices satisfy

This remains valid at T = 0, with an unused vacuum purification mode.

All estimates in Appendix ? are consequently uniform in n and in the normal-mode parameters. To see this explicitly, the Husimi moment argument uses only a common upper bound on the operator norms of the block-diagonal symplectic matrices and their inverses. A common smoothing covariance matrix and the radial input identity therefore give a single function \ell(s',L) for the whole product, allowing arbitrary correlated inputs. Here s'>0 is the moment parameter, distinct from the memory strength. The small-subset quadratic estimate uses the same uniform coefficient operator norm. The image projectors and transformed input Hamiltonians still commute site by site, and the polynomial degree, subset counting, and receiver Fock dimensions are unchanged. Thus the approximation error and projective-norm bounds have constants independent of the block length.

Let

Corollary 3 bounds the Holevo information of every auxiliary ensemble selected by the positive filter by nC_n(E_1). As proved above, C_n(E_1)\to C_{\rm mem}(E_1). The limiting function is finite, concave, and continuous for E_1>0. Choose E_1>E with C_{\rm mem}(E_1)<R and apply the same filter inequality and contradiction as in Proposition 7, replacing C(\Phi,E_1) by C_n(E_1). Its convergence and the uniform approximation constants give one positive exponential decay rate for all sufficiently large blocks. This establishes a converse for growing blocks, without replacing them by repetitions of a fixed block.

For cutoff achievability, take a bounded normal-mode allocation with strict energy slack, as in the preceding achievability proof. The average input is a product of centred Gaussian states whose covariance matrices range over a compact set. Their photon-number generating functions are finite on a common neighbourhood of zero, with uniformly bounded second derivatives of their logarithms. Their first derivatives are their mean photon numbers. A Chernoff bound therefore makes the average weight above nE exponentially small. Random coding can simultaneously make this weight and the decoding error vanish. Projecting each codeword onto the cutoff and replacing its discarded weight by vacuum changes average success by a vanishing amount. Letting the energy slack tend to zero proves cutoff achievability at C_{\rm mem}(E).

Finally, Proposition 12 applies to an arbitrary block channel, so the uniform cutoff converse gives the upper bound in Eq. (?). Diluting the reliable codes at energy N'<N/(1 - \epsilon) with vacuum gives the lower bound. Continuity permits N'\uparrow N/(1 - \epsilon). At N = 0 all inputs are vacuum and both sides vanish; at \epsilon = 0 the preceding capacity result applies.

The affine transformation of first moments and covariance matrices under \Phi is the same for \rho and \rho_{\mathrm{G}}. Since \Phi(\rho_{\mathrm{G}}) is Gaussian, uniqueness of the Gaussian state with the resulting moments proves (11).

We prove the bound without dephasing the codewords. Put \Pi = \mathds{1}_{H_n \leq \lfloor nE\rfloor} and Q = \mathds{1} - \Pi, and let \{\Lambda_m\}_{m = 1}^M be the decoder POVM. Apply the adjoint channel to its effects, defining T_m = (\Phi^{\otimes n})^\dag(\Lambda_m). Then 0 \leq T_m \leq \mathds{1} and \sum_mT_m = \mathds{1}. Define

Cauchy–Schwarz for the Hilbert–Schmidt inner product, followed by Cauchy–Schwarz over messages, bounds the cross term by \sqrt{p_Lp_H}. Hence

In particular, p_H \leq \operatorname{Tr}\big[Q\bar\rho\big] \leq \delta_n by the energy constraint. Replace each input by the normalised state

These form a valid code supported on \operatorname{ran}\Pi. Its success with the same decoder is at least p_L, so p_L \leq B_n(M,E). Equation (12) follows. The argument allows arbitrary entangled inputs and coherences between the two sectors.

A receiver-side Naimark isometry makes the decoder effects orthogonal projections Q_m. Conjugate G and A, and compose the channel isometry, with that local isometry; their bounds and input-energy interpretation are unchanged. Let \lambda_m = \left\lVertGQ_mG\right\rVert_\infty. The identity action of G on the original input image implies that \lambda_m is at least the success of the original mth codeword, including for mixed codewords. For \lambda_m>0, choose a normalised top eigenvector \lvert\psi_m\rangle of GQ_mG. It belongs to \operatorname{ran}G and therefore corresponds to a genuine input supported on \operatorname{ran}P_{n,E_1}. Also \lambda_m \le 1. Set Z = \sum_m\lambda_m \ge Mp and q_m = \lambda_m/Z; zero terms are omitted. Writing H(X)_q = -\sum_mq_m\ln q_m for the label entropy, we have H(X)_q \ge - \ln\max_mq_m \ge \ln M + \ln p.

On two classical-label copies and the dilated output define

The eigenvector equations give G\lvert\theta\rangle = \lvert\psi\rangle and \left\lVert\theta\right\rVert^2 = \sum_mq_m/\lambda_m \le 1/p. Consequently \left\lVertA\lvert\theta\rangle - \lvert\psi\rangle\right\rVert \le z and v \coloneqq \left\lVertA\lvert\theta\rangle\right\rVert \ge 1 - z. The normalised vector \lvert\varphi\rangle = A\lvert\theta\rangle/v has trace distance (with the factor 1/2) at most 2z from \lvert\psi\rangle.

Orthogonality of the decoder projectors implies

For a decomposition A = \sum_lc_lX_l\otimes Y_l with local contractions, c_l \ge 0, and \sum_lc_l \le \Gamma (or arbitrarily close), apply vector Cauchy–Schwarz. For each contraction X_l and positive T, one has \operatorname{Tr}_B\big[(X_l\otimes \mathds{1})T(X_l^\dag\otimes \mathds{1})\big] \leq \operatorname{Tr}_B[T]. Together these give

More explicitly, one may take \mu = v^{-2}\Gamma\sum_lc_l(\mathds{1}_{X'}\otimes Y_l) \theta_{X'F}(\mathds{1}_{X'}\otimes Y_l^\dag). Operator domination bounds the max-relative entropy, and hence the relative entropy, against \mathds{1}_X\otimes\mu/\operatorname{Tr}\big[\mu\big]. Positivity of the marginal relative entropy then gives S(X|X'F)_\varphi \ge - \ln\operatorname{Tr}\big[\mu\big]. With S(A|B) = S(AB) - S(B), pure-state conditional-entropy duality therefore yields

The conditional-entropy continuity bound with finite X [Winter2016] gives

The XB marginal of \psi is a genuine channel ensemble with all inputs supported on \operatorname{ran}P_{n,E_1}. Subtract its conditional entropy from H(X)_q and use (?), v \ge 1 - z, to obtain (13). The approximant has finite receiver and environment support. Conditional entropy continuity depends only on \dim X = M; the genuine channel ensemble also has finite energy. No finite-dimensional assumption on the full bosonic output is needed.

Let S be the symplectic matrix of W, \kappa_S = \left\lVertS\right\rVert_\infty^2, and choose c \ge (\kappa_S - 1)/2. Put A = c\mathds{1} + (\mathds{1} - SS^{\mathsf{T}})/2 \ge 0 and a_S = \left\lVertA\right\rVert_\infty. Let Q_\rho denote the heterodyne (Husimi) probability distribution of \rho. Its real outcome vector Z is normalised so that the vacuum has covariance matrix \mathds{1}, and

Adding independent centred Gaussian noise with covariance matrix c\mathds{1} to the output Husimi distribution gives the distribution of S^{\oplus n}Z + \zeta, where \zeta is independent Gaussian with covariance matrix A^{\oplus n}. This characteristic-function identity is valid for arbitrary, possibly non-Gaussian, inputs. Set

For sufficiently small s>0, va_S<1 and t<1. Conditional Gaussian integration and S^{\mathsf{T}}(\mathds{1} - vA)^{-1}S \le \kappa_S(1 - va_S)^{-1}\mathds{1} give

Undoing the classical smoothing contributes (1 - cv)^{dn}, while converting the output Husimi moment into the photon moment contributes e^{-dns}. The resulting bound is

The remaining input Husimi moment is at most (1 - t)^{-n(L + d)} by the radial identity and the input cutoff. All uses of positivity concern Husimi distributions, not Wigner functions. The nonnegative integrals may initially be read in the extended sense; the finite input bound proves their integrability.

Choice of output and spectral cutoffs. Choose a sufficiently small positive moment parameter s for both U and U^\dag. By Lemma 14, choose F_0 so large that sF_0>\ell_U(s,E_1). Let

Its complement is contained in \{H_{dn}^{\rm phys}>nF_0\}. On its range, H_{dn}^{\rm phys} \le 2nF_0. Because K^{(n)} \le U^{\otimes n}H_{dn}^{\rm phys}U^{\dag\otimes n} and the two operators commute, Lemma 14 also implies

Fix T>\max\{1,E_1\} large enough that sT>\ell_{U^\dag}(s,2F_0) + 2. Here P_{B, \le L} and P_{F, \le L} project onto at most L total photons in the receiver and environment, respectively. These cutoffs are fixed before choosing polynomial degrees.

Energy polynomial and exact filter. Choose small constants t_0,t_1>0, put D_i = \lfloor t_i n\rfloor, and set b = (E + E_1)/(2T). Define

On [0,T] it is a binomial lower-tail probability and lies in [0,1]. Hoeffding’s inequality yields, conservatively for large n,

Let f_n(x) equal 1 for 0 \le x \le E, equal q_n(x) for E<x<E_1, and equal 0 for x \ge E_1. Define

This is a finite-rank positive contraction with the exact identity and energy-support properties in the proposition. It is not required to be a projection or a Gaussian operator. Since the range of G_n is contained in the image of P_{n,E_1}, the direct moment bound gives \left\lVert(\mathds{1} - P)G_n\right\rVert_\infty^2 \leq e^{-n[sF_0 - \ell_U(s,E_1)]}. Using self-adjointness and \left\lVertG_n - PG_nP\right\rVert_\infty \leq 2\left\lVert(\mathds{1} - P)G_n\right\rVert_\infty yields

Image polynomial. Write \Delta_j = \mathds{1} - \Pi_j and L_n = \sum_j\Delta_j. A NOR polynomial approximates one when all \Delta_j vanish and zero otherwise. The approximation of [Sherstov2020, Theorem 4.5], used in [BeigiTomamichel2026, Lemma 3 and Fact 2], applies to commuting projections on arbitrary Hilbert spaces: it gives a real polynomial p_n of degree at most D_0 with

for a universal c>0 and D_0 \ge 3, as holds for all sufficiently large n. Its Newton expansion is

In particular \left\lVertp_n(L_n) - \Pi^{(n)}\right\rVert_\infty \le \epsilon_0.

The approximant and its operator-norm error. Set

It has finite local output support. Outside [0,T], |q_n(x)| \le (1 + 2x/T)^{D_1} \le e^{2D_1x/T} for x \ge 0. Thus (Proof) gives

Choose t_1<1/4. The exponent is then strictly positive. On the complementary spectral interval q_n is bounded by one and differs from f_n by at most \epsilon_1. All functions of K^{(n)} commute with p_n(L_n) and \Pi^{(n)}. Consequently

For fixed positive t_0,t_1 this is exponentially small.

Projective-norm estimate. It remains to show that the exponent of \left\lVertA_n\right\rVert_\pi can be arbitrarily small; using a local Fock dimension proportional to n at every site would not suffice. We instead use the total photon number on each small subset. There is a constant A_U such that, on any subset J of v sites,

To justify this, write \sum_{j\in J}K_j = \sum_{j\in J}c_j^\dag c_j where P^{\rm phys}_{J, \le L} is the total photon-number cutoff on these sites and the c_j are fixed Bogoliubov linear combinations of the physical modes. The coefficient matrix is block diagonal with a fixed squared operator norm q_U, so the column \mathcal{C}_J = (c_j)_{j\in J} obeys \left\lVert\mathcal{C}_J P^{\rm phys}_{J, \le L}\right\rVert_\infty^2 \le q_U(2L + dv). Each c_j changes the photon number by at most one. The adjoint row on vectors of photon number at most L + 1 therefore has norm at most \sqrt{q_U(2L + dv + 4)}, giving \left\lVert(\sum_{j\in J}K_j)P^{\rm phys}_{J, \le L}\right\rVert_\infty \le q_U(2L + dv + 2). One may take q_U \leq \kappa_S = \|S\|_\infty^2, since conversion between quadratures and the doubled annihilation–creation vector is unitary. Iterating, with at most two additional photons per power, proves (?) with A_U = 2\kappa_S. The same largest singular value applies to S^{-1}, because S is symplectic.

Expand q_n(x) = \sum_{r = 0}^{D_1}b_rx^r and use the multinomial expansion of (K^{(n)})^r. Each resulting term, together with a term of (?), has the form

It is supported on at most D_0 + D_1 sites. All its factors commute and are nonnegative. For r = 0 it is a contraction. For r \geq 1, positivity of the terms in the multinomial expansion gives the joint spectral inequality

Since the \Delta product is a commuting contraction, (?) bounds the norm of every compressed term (?) by \beta_0^r, with a constant \beta_0 depending on U,F_0,d but independent of n,r,m,S', provided (D_0 + D_1)/n \le 1. Here the physical total cutoff on the supporting subset is at most 2nF_0; one may take \beta_0 = A_U(2F_0 + d + 4). All unbounded-operator comparisons are understood as quadratic-form comparisons, followed by finite photon-number compression. The \Delta_j need not preserve physical photon number: their commutation with the K_j supplies the positive-operator comparison.

For clarity, the compression by P does not preserve small support, but its cost across B:F is only polynomial. On a supporting subset J use

and the analogous environment identity on both sides of the local term. This produces at most (L + 1)^4 terms. The receiver subset has dimension at most \binom{L + v}{v}, where v = |J|. The elementary finite-dimensional inequality \left\lVertZ\right\rVert_\pi \le (\dim B_J)^2\left\lVertZ\right\rVert_\infty bounds each term; its remaining factors are local projections of norm at most one. Therefore the projective-norm cost per compressed local term is at most

There are \binom{n + r - 1}{r} \le \binom{n + D_1}{D_1} multinomial index tuples. The coefficient sum of (?), expanded in x, is at most (1 + 2/T)^{D_1} \le 3^{D_1}. Finally, \sum_{s' = 0}^{D_0}2^{s'}\binom{n}{s'} \le 2^{D_0}e^{nh_2(D_0/n)} when D_0 \le n/2. These estimates give

Put t = t_0 + t_1 and recall the thermal entropy function g defined in Eq. (?). It follows that

The right-hand side tends to zero as t_0,t_1\downarrow0. Choose them positive and small enough that it is less than \eta. Equation (?) still has a strictly positive exponential rate. Absorb fixed prefactors by decreasing that rate to obtain (15).

The construction with Eq. (?) gives \|A_n - G_n\|_\infty \leq e^{-n\kappa + o(n)} and \|A_n\|_\pi \leq e^{nB + o(n)}. For any positive a<\min\{2\kappa,[R - C(\Phi,E_1) - 2B]/2\}, a code with p \geq e^{-an} would have z \leq e^{-n(\kappa - a/2) + o(n)}\to0. The filter inequality would then give C(\Phi,E_1) \geq R - 2a - 2B - o(1), a contradiction. Taking the supremum proves the exponent bound. For positivity, first choose E_1 with C(\Phi,E_1)<R, fix valid s,F_0,T, and then take t_0,t_1 small enough that 2B<R - C(\Phi,E_1). Every term defining \kappa remains positive.

Use real heterodyne outcomes Z\in\mathbb{R}^{2n}, normalised so that a coherent amplitude \alpha corresponds to (\sqrt2\,\mathrm{Re}\,\alpha,\sqrt2\,\mathrm{Im}\,\alpha). A Gaussian input with covariance matrix V has heterodyne covariance matrix (V + \mathds{1})/2, consistently with \hbar = 1. For an arbitrary state, the radial Husimi identity is

It follows by integrating the coherent-state Fock expansion; angular integration removes off-diagonal terms, and each radial integral is a gamma integral. Thus the right-hand side is at most (1 - u)^{-n(E + 1)} under the input cutoff. No independence between input modes is assumed.

Temporarily smooth the output Husimi distribution by adding a centred classical Gaussian of covariance matrix c\mathds{1}_{2n}, with c = (v - 1)/2 and v \geq \max\{1,k - y_p\}. Its characteristic function is that of the output Wigner distribution multiplied by e^{-v|\zeta|^2/4}. The Gaussian channel action shows that this smoothed distribution is exactly the law of

where Z has the input Husimi distribution and G is independent. This identity is valid for all input states, including entangled ones.

Put t = q_s/(1 + cq_s). Gaussian integration over the smoothing noise gives, for \sigma = \Phi^{\otimes n}(\rho),

Integration over G, conditional on Z, gives

Since XX^{\mathsf{T}} = k\mathds{1}, its quadratic form is at most u_s|Z|^2/2. Indeed, t k/[1 - t\lambda_{\max}(A_v)] = u_s<1. Apply Eq. (Proof). Substitution into Eq. (?) cancels the auxiliary smoothing parameter, because

The result is Eq. (18). These nonnegative integrals can first be interpreted in the extended sense; the finite upper bound proves their integrability. Finally, direct differentiation gives