Environment-Assisted Classical Capacity

• Environment-assisted classical capacity is a framework where environmental degrees of freedom are harnessed as explicit resources to enhance classical communication over quantum channels.
• The framework introduces models such as passive helper, conferencing encoders, and entanglement-assisted strategies, each revealing unique effects like superadditivity and non-convexity.
• Exact capacity formulas and generalized encoding strength notions demonstrate how helper strategies unlock latent channel properties beyond traditional mutual information limits.

Environment-assisted classical capacity concerns classical communication over a quantum channel when degrees of freedom ordinarily treated as an inaccessible environment become an explicit resource. In the passive-helper formulation, a fixed interaction $W:AE\to BF$ is supplemented by a benevolent helper controlling the initial environment state, so that Alice communicates through the effective channel $$\mathcal N_\eta^{A\to B}(\rho)=\mathcal N^{AE\to B}(\rho\otimes\eta)$$; in broader formulations, the environment may also participate in assisted decoding, or may unlock channel matrices whose significance is not captured by mutual information alone (Karumanchi et al., 2016, Chowdhury et al., 11 Sep 2025). The subject sits at the intersection of Stinespring-dilation channel models, Holevo-theoretic coding theorems, resource hierarchies on the helper’s side, and nonclassical structural effects such as superadditivity and non-convexity.

1. Operational model and competing conventions

The standard passive model starts from an isometry or unitary

$W:AE\longrightarrow BF,$

with Alice controlling the signal input $A$, Bob receiving $B$, and the output environment $F$ discarded. The induced channel is

$$\mathcal N^{AE\to B}(\rho)=\operatorname{Tr}_F W\rho W^\dagger,$$

and if the helper prepares $\eta$ on $E$, then Alice and Bob see the effective channel

$$\mathcal N_\eta^{A\to B}(\rho):=\mathcal N^{AE\to B}(\rho\otimes \eta).$$

For blocklength $$\mathcal N_\eta^{A\to B}(\rho)=\mathcal N^{AE\to B}(\rho\otimes\eta)$$0, a passive environment-assisted classical code consists of code states $$\mathcal N_\eta^{A\to B}(\rho)=\mathcal N^{AE\to B}(\rho\otimes\eta)$$1, an environment state $$\mathcal N_\eta^{A\to B}(\rho)=\mathcal N^{AE\to B}(\rho\otimes\eta)$$2, and a decoding POVM $$\mathcal N_\eta^{A\to B}(\rho)=\mathcal N^{AE\to B}(\rho\otimes\eta)$$3, with average error

$$\mathcal N_\eta^{A\to B}(\rho)=\mathcal N^{AE\to B}(\rho\otimes\eta)$$4

in the Gaussian/Bosonic formulation (Oskouei et al., 2021). A central feature of this model is that the helper is passive: the helper chooses an initial environment state but does not adapt it to the transmitted message unless a stronger assistance model is explicitly allowed (Karumanchi et al., 2016).

A second convention, made explicit in the generalized 2025 framework, recalls a more traditional “environment-assisted classical capacity” viewpoint in which one maximizes mutual information between Alice’s classical input $$\mathcal N_\eta^{A\to B}(\rho)=\mathcal N^{AE\to B}(\rho\otimes\eta)$$5 and Bob’s classical output $$\mathcal N_\eta^{A\to B}(\rho)=\mathcal N^{AE\to B}(\rho\otimes\eta)$$6 after a measurement on the receiver-environment joint system: $$\mathcal N_\eta^{A\to B}(\rho)=\mathcal N^{AE\to B}(\rho\otimes\eta)$$7 That framework argues that this mutual-information notion is sometimes too narrow when $$\mathcal N_\eta^{A\to B}(\rho)=\mathcal N^{AE\to B}(\rho\otimes\eta)$$8, because the output dimension limits the number of perfectly distinguishable symbols in the unassisted picture even though additional structure may remain latent in the environment (Chowdhury et al., 11 Sep 2025).

The literature therefore contains two closely related but operationally distinct viewpoints: one in which the helper selects the initial environment state before transmission, and another in which the environment participates in the decoding or in a generalized simulation task. Both are genuinely “environment-assisted,” but they emphasize different resources and different figures of merit.

2. Capacity formulas and the hierarchy of assistance

For passive environment assistance, the basic capacity is a regularized Holevo-type optimization over the helper’s environment input. In the finite-dimensional framework,

$$\mathcal N_\eta^{A\to B}(\rho)=\mathcal N^{AE\to B}(\rho\otimes\eta)$$9

equivalently a regularized optimization of $W:AE\longrightarrow BF,$0 over message ensembles and helper states (Karumanchi et al., 2016). In the Bosonic Gaussian setting with input and environment energy constraints,

$W:AE\longrightarrow BF,$1

with $W:AE\longrightarrow BF,$2 and the corresponding Holevo-form expression over energy-constrained ensembles on Alice’s side (Oskouei et al., 2021).

Several related capacities arise by changing what the helper may do.

Model	Helper resource	Representative expression
Passive helper $W:AE\longrightarrow BF,$3	arbitrary $W:AE\longrightarrow BF,$4	$W:AE\longrightarrow BF,$5
Separable helper $W:AE\longrightarrow BF,$6	$W:AE\longrightarrow BF,$7	regularized optimization over product environment states
Entanglement-environment assistance $W:AE\longrightarrow BF,$8	helper and Bob share $W:AE\longrightarrow BF,$9	$A$0
Conferencing encoders $A$1	Alice and helper classically coordinate message-dependent product inputs	$A$2

When both the helper and Alice are restricted to product-state strategies, the passive classical capacity reduces to a single-letter Holevo quantity,

$A$3

for the cq-state obtained by sending $A$4 through $A$5 (Karumanchi et al., 2016). This is the most tractable regime, and it is the one in which several explicit formulas are available.

The same paper also derives a relative-entropy upper bound of the form

$A$6

where $A$7 is the channel output for the average optimal ensemble state. This identifies the passive-helper Holevo quantity as the natural one-shot radius of the family of effective channels $A$8 (Karumanchi et al., 2016).

3. Helper restrictions, stronger assistance, and explicitly solvable classes

A major theme is that the exact communication task depends sensitively on what the helper is permitted to do. The earlier passive-environment paper focused primarily on quantum communication, but it established the underlying hierarchy: unrestricted environment inputs across many uses, product-state helper inputs, and helper–receiver preshared entanglement are inequivalent resources, and entangling the helper’s inputs across channel uses can strictly improve assisted performance (Karumanchi et al., 2014). This suggests a parallel hierarchy on the classical side, and the later classical treatment makes that hierarchy explicit (Karumanchi et al., 2016).

The entanglement-environment-assisted model augments Bob with a system $A$9 correlated with Helen’s environment input through a shared state $B$0. The effective map is

$B$1

and the corresponding classical capacity is

$B$2

This is a direct analogue of entanglement-assisted classical coding, except that the assistance is mediated through the environment-helper rather than directly between sender and receiver (Karumanchi et al., 2016).

An even stronger model is that of conferencing encoders, in which Alice and Helen may coordinate classically before encoding the message. The global input remains separable, but it is now message dependent: $B$3 The resulting capacity is

$B$4

and in the product-state conferencing regime the paper gives the single-letter form

$B$5

For equal local dimensions in the qubit case, the paper states the particularly sharp result that for any two-qubit unitary,

$B$6

so conferencing encoders always permit exactly one classical bit per channel use (Karumanchi et al., 2016).

Several unitary families are explicitly tractable. For universally entanglement-breaking interactions, the passive environment-assisted classical capacity reduces to a single-letter Holevo optimization because additivity holds. For controlled unitaries $B$7, the effective channels are classical-quantum for fixed environment state, and

$B$8

For the two-qubit controlled-unitary $B$9,

$F$0

and for the universally classical-quantum two-qubit class,

$F$1

so helper–receiver entanglement gives no further gain in that subclass (Karumanchi et al., 2016).

4. Superadditivity, non-convexity, and continuity

Environment-assisted classical capacity exhibits several quintessentially quantum structural effects absent from ordinary classical-channel capacity. One is superadditivity. The passive-helper and conferencing models admit examples in which combining channels gives more than the sum of their individual assisted capacities. The 2016 study gives, for instance,

$F$2

and also shows super-additivity for conferencing encoders, including

$F$3

even though each factor individually has much smaller conferencing capacity (Karumanchi et al., 2016).

Another central effect is non-convexity. The classical environment-assisted capacity of a mixture of channels need not lie below the corresponding mixture of assisted capacities. In the non-convexity construction, the branch channels are a controlled-unitary channel $F$4 with

$F$5

and a SWAP channel with

$F$6

For the flagged mixture $F$7, a two-shot environment-assisted strategy yields, for odd $F$8,

$F$9

Since the convex combination of the branch capacities is at most $$\mathcal N^{AE\to B}(\rho)=\operatorname{Tr}_F W\rho W^\dagger,$$0, strict violation occurs for odd $$\mathcal N^{AE\to B}(\rho)=\operatorname{Tr}_F W\rho W^\dagger,$$1 and $$\mathcal N^{AE\to B}(\rho)=\operatorname{Tr}_F W\rho W^\dagger,$$2, proving

$$\mathcal N^{AE\to B}(\rho)=\operatorname{Tr}_F W\rho W^\dagger,$$3

in that parameter range (Elkouss et al., 2016).

These effects reinforce the interpretation of environment-assisted classical capacity as a genuinely quantum communication functional rather than a classicalized variant of Shannon capacity. Channel usefulness depends on context, helper correlations, and cross-use structure. The same 2016 classical paper also establishes continuity: the passive-helper, entanglement-environment-assisted, and conferencing capacities are continuous in the channel with respect to the diamond norm, with bounds of the form

$$\mathcal N^{AE\to B}(\rho)=\operatorname{Tr}_F W\rho W^\dagger,$$4

whenever $$\mathcal N^{AE\to B}(\rho)=\operatorname{Tr}_F W\rho W^\dagger,$$5 (Karumanchi et al., 2016).

5. Gaussian, Bosonic, and energy-constrained regimes

For Bosonic Gaussian systems, passive environment assistance must be formulated together with energy constraints to ensure finiteness. The Gaussian analysis considers an isometry $$\mathcal N^{AE\to B}(\rho)=\operatorname{Tr}_F W\rho W^\dagger,$$6 with quadratic Hamiltonians and input constraints

$$\mathcal N^{AE\to B}(\rho)=\operatorname{Tr}_F W\rho W^\dagger,$$7

The main classical theorem is the multi-letter formula

$$\mathcal N^{AE\to B}(\rho)=\operatorname{Tr}_F W\rho W^\dagger,$$8

where $$\mathcal N^{AE\to B}(\rho)=\operatorname{Tr}_F W\rho W^\dagger,$$9, together with the separable-helper version

$\eta$0

In this setting, the helper’s environment covariance directly determines the effective Gaussian noise seen by Bob (Oskouei et al., 2021).

The same work proves an uncertainty-type relation between two assisted classical-information quantities, the sender-assisted and helper-assisted Holevo quantities: $\eta$1 This implies that if both Alice and the helper have nonzero energy budgets, the sum of the two assisted classical capacities is strictly positive. Because conferencing encoders can emulate either assistance direction, one obtains the lower bound

$\eta$2

The result is notable because it ties a purely operational coding question to an entropic tradeoff between complementary assisted roles (Oskouei et al., 2021).

A different Bosonic line studies non-Gaussian attenuator and amplifier channels obtained by coupling the input to an arbitrary environment state $\eta$3 through a beam splitter or two-mode squeezer. For the Gaussian-equivalent channel $\eta$4 with the same covariance matrix as $\eta$5, the classical capacity is

$\eta$6

and the non-Gaussian channel obeys

$\eta$7

If the environment is thermal, then $\eta$8, and the known Gaussian capacity is recovered exactly. For genuinely non-Gaussian environments, the gap can be positive, so the communication rate can exceed the Gaussian-equivalent benchmark. The unresolved step is to identify the minimum-output-entropy input state; the paper formulates coherent-state and symmetry conjectures precisely to tighten this capacity interval (Herstraeten et al., 2023).

6. Generalized encoding strength and neighboring assisted-capacity notions

A recent generalization argues that mutual-information-based EACC does not fully capture what environmental help can do when the input dimension exceeds the output dimension. The basic object becomes not a scalar rate but the set of achievable stochastic channel matrices

$\eta$9

denoted $E$0. The key structural bound is

$E$1

and the relevant obstruction is the positive semidefinite rank. Environmental help is said to unlock encoding strength if an assisted matrix lies outside the simulation set of any lower-dimensional identity channel; optimal unlocking means that the full input dimension $E$2 becomes operationally visible (Chowdhury et al., 11 Sep 2025).

The flagship example is a family of channels

$E$3

whose range is orthogonal to

$E$4

The paper proves that conventional EACC for these channels is suboptimal even under SEP decoding, yet all of them achieve optimal encoding strength with minimal assistance from the environment. The assisted strategy realizes the $E$5 stochastic matrix

$E$6

and

$E$7

Thus the minimally assisted channel produces behavior that cannot be simulated by any quantum system of dimension $E$8. The same work defines the classical transmission fidelity

$E$9

and proves

$$\mathcal N_\eta^{A\to B}(\rho):=\mathcal N^{AE\to B}(\rho\otimes \eta).$$0

while shared randomness and even the strongest two-input-two-output non-signaling correlations do not match the minimally assisted performance (Chowdhury et al., 11 Sep 2025).

This generalized perspective sharpens a conceptual distinction. Mutual information may remain suboptimal even when environmental help restores the full encoding strength of the channel. In the $$\mathcal N_\eta^{A\to B}(\rho):=\mathcal N^{AE\to B}(\rho\otimes \eta).$$1-to-$$\mathcal N_\eta^{A\to B}(\rho):=\mathcal N^{AE\to B}(\rho\otimes \eta).$$2 example, the mutual information of $$\mathcal N_\eta^{A\to B}(\rho):=\mathcal N^{AE\to B}(\rho\otimes \eta).$$3 reaches only about $$\mathcal N_\eta^{A\to B}(\rho):=\mathcal N^{AE\to B}(\rho\otimes \eta).$$4 bits if all seven inputs are used, or $$\mathcal N_\eta^{A\to B}(\rho):=\mathcal N^{AE\to B}(\rho\otimes \eta).$$5 bits if one sacrifices a symbol, whereas the psd-rank and transmission-fidelity criteria witness full $$\mathcal N_\eta^{A\to B}(\rho):=\mathcal N^{AE\to B}(\rho\otimes \eta).$$6-dimensional encoding power (Chowdhury et al., 11 Sep 2025).

A neighboring but distinct assisted-capacity model is classical feedback from Bob to Alice. There the relevant result is an entropy upper bound: $$\mathcal N_\eta^{A\to B}(\rho):=\mathcal N^{AE\to B}(\rho\otimes \eta).$$7 with an analogous maximum average output entropy bound for probabilistic mixtures of channels. This implies that classical feedback does not increase the classical capacity of the quantum erasure channel, and under energy constraints it likewise does not increase the classical capacity of a pure-loss bosonic channel (Ding et al., 2019). The comparison is instructive: environment assistance can activate and reshape the effective channel family itself, whereas classical feedback is bounded by the maximum output entropy of the fixed forward channel.

Taken together, these developments show that “environment-assisted classical capacity” is not a single invariant but a family of operational notions. In the original passive-helper picture it is a regularized Holevo optimization over environment states; in stronger variants it incorporates helper–receiver entanglement or message-side classical coordination; in Bosonic settings it becomes an energy-constrained multi-letter problem; and in the most recent generalization it is recast as the capacity of environmental help to unlock the channel’s hidden encoding strength beyond what mutual information alone can diagnose.