{'fraction_non_alphanumeric': 0.055322354967172534, 'fraction_numerical': 0.009014099666343773, 'mean_word_length': 3.7998191915278317, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 12, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Towards a Measurement Theory for Off-Shell Quantum Fields

: In this study, we develop quantum measurement theory for quantum systems described by C ∗ -algebras. This is the first step to establish measurement theory for interacting quantum fields with off-shell momenta. Unlike quantum mechanics (i.e., quantum systems with finite degrees of freedom), measurement theory for quantum fields is still in development because of the difficulty of quantum fields that are typical quantum systems with infinite degrees of freedom. Furthermore, the mathematical theory of quantum measurement is formulated in the von Neumann algebraic setting in previous studies. In the paper, we aim to extend the applicable area of quantum measurement theory to quantum systems described by C ∗ -algebras from a mathematical viewpoint, referring to the sector theory that is related to symmetry and based on the theory of integral decomposition of states. In particular, we define central subspaces of the dual space of a C ∗ -algebra and use them to define instruments. This attempt makes the connection between measurement theory and sector theory explicit and enables us to understand the macroscopic nature and the physical meaning of measurement.


Introduction
In this study, we develop a measurement theory for quantum systems described by C * -algebras. Interacting quantum fields assumed in this study are quantum systems with infinite degrees of freedom and with off-shell momenta, whose observables are given by self-adjoint elements of C * -algebras. The C * -algebraic approach to quantum fields is not unrelated to the usual approach by field operators. It is a powerful way to remove the difficulty of unbounded operators by making them bounded operators. For example, in a free real Bose field, the exponential e iφ( f ) (or resolvent) of the field operator φ( f ), where f is a real function, is a bounded operator, and the collection of them generates a C *algebra. This study is inspired by the measurement of the quantum field generated by the interaction between the electromagnetic field and electrons at the nanoscale, which is called the dressed photon (DP) phenomenon [1]. It is known to behave completely differently from electromagnetic waves propagating in free space or electromagnetic fields in a uniform medium, and has long been studied as near-field optics. The measurement theory for such systems is still unexplored, and we believe that a framework extending the current theory is necessary. For this reason, we adopt an approach based on both algebraic quantum field theory (AQFT) and quantum measurement theory and their mathematics. There are many examples of the contribution of mathematics to the progress of physical theories, and the introduction of new mathematics contributes greatly to the implementation of new physical concepts. In the study, we will actively use the mathematical framework for conceptual advancement.
In the algebraic formulation of quantum theory, the observable algebra of a quantum system is described by a * -algebra X , and a state is described by an expectation functional ω on X . From an algebraic point of view, Hilbert space is treated as a secondary one to be used in analysis as needed. For each state ω, a Hilbert space is given by the GNS representation (π ω , H ω , Ω ω ): ω(X) = Ω ω |π ω (X)Ω ω (1) for all X ∈ X . C * -algebras, a special case of * -algebra, are used in AQFT [2][3][4]. Various Hilbert spaces can be given by the GNS representation, and the fact that the representation has a physical meaning as well as the Hilbert space itself primarily promotes the conceptual understanding of the algebraic formulation. The contribution of Haag and Kastler [2] to this progress has been significant. Although there are studies on the algebraic formulation prior to their study, Ref. [2] is probably the first to successfully confront the fact that there are many different representations (depending on the choice of state). In [2], the "physical equivalence" of representations (also called weak equivalence) was used to give a clear meaning to the replacement between equivalent representations. In [5][6][7][8], a physical meaning was given to the situation in (A)QFT where different representations chosen by the DHR selection criterion coexist. It is a criterion that selects representations equivalent (through unitary transformations) to the vacuum representation (obtained from the GNS representation from the vacuum state) of the observable algebra on the domain which is spatial to some bounded domain. A representation satisfying this criterion describes a situation in which localized excitations of the quantum field exist. It was shown in [9] that a class (collection) of representations satisfying certain conditions corresponds to a situation where topological charges exist, and that, by using these representations, field algebra F and global gauge group G are reconstructed from observable algebra A. This result is known as an iconic result in AQFT. Representations with different charges form their own sectors (with unitary equivalence), which are not only unitarily inequivalent but also mutually "disjoint", giving rise to the so-called "superselection rule". This result is closely related to the representation theory of field operators including the algebra of canonical commutation relations, where unitarily inequivalent representations arise (see [10][11][12][13] and references therein). Global gauge group G here is an unbroken symmetry, and the results of [9] are not valid for broken symmetries [14]. The extension of Ref. [9]'s results to broken symmetry situations was done in [14,15], and Ojima [16] defined the generalized sector as a "quasi-equivalence class of factor states", allowing for a unified treatment of macroscopic aspects in quantum systems in various contexts, including measurement. To date, the instrument introduced by Davies and Lewis [17] has contributed greatly to the development of quantum measurement theory. They introduced instruments from a statistical viewpoint, and specified probability distributions and states after the measurement obtained by measuring a system using the measurement apparatus. However, because the relationship between the instrument and the usual quantum mechanical description was not clear at first, the analysis using the instrument did not progress until the investigation by Ozawa [18]. He introduced a completely positive instrument and a measuring process, the latter being used for quantum mechanical modeling of measurement. Every measuring process defines a completely positive instrument. The main result of [18] is the converse in a quantum system with finite degrees of freedom, i.e., every completely positive instrument in such a system is defined by a measuring process. This is a standard fact in quantum measurement theory now. Furthermore, the theory of completely positive instruments in quantum systems with infinite degrees of freedom described by the general von Neumann algebra has recently been developed in [19,20]. C * -algebras and von Neumann algebras can be viewed as non-commutative versions of topological and measurable spaces, respectively. The latter is a special case of the former, but their analysis methods are very different. In the current measurement theory, focusing on probability distributions and states after the measurement has led to the selection of components to be macroscopic by the measurement and the successful investigation of the relationship with quantum mechanical modeling.
In order to formulate the measurement theory for quantum systems described by C *algebras, the more general case compared to von Neumann algebras, we believe that it is necessary to integrate a completely positive instrument and the sector theoretical treatment of the macroscopic aspect of the quantum system. The reason for this is that, because the concept of state is statistically characterized, we consider that the difference of values output by the measurement should be macroscopically distinguished by the disjointness of states of the composite system of the system and the measuring apparatus. In other words, a measurement is a physical process that leads to the situation wherein different output values of the measuring apparatus correspond to mutually disjoint states of the composite system. From this viewpoint, a measuring process, a quantum mechanical modeling of the measurement, is of course important historically and theoretically, but it should not necessarily be the first consideration in establishing the physical meaning and description of the measurement. On the other hand, this study is advantageous in that the identification of sectors by the measurement is justified by the measurement-theoretic description. We are convinced that the establishment of the measurement theory in quantum systems described by C * -algebras will open up new perspectives for the understanding of macroscopic aspects of quantum systems. Herein, we reexamine the result of [21]. While [21] focused on the use of measuring processes, we make thorough use of the instrument in this study.
In Section 2, the local net and open system are discussed and the description of dynamics as an open system in AQFT is stated. In Section 3, we review the sector theory and its mathematics. In Section 4, the central subspaces of the dual of a C * -algebra are defined. In the C * -algebraic setting, we define instruments in terms of central subspaces. Furthermore, we define and characterize central instruments in order to examine the differences between the C * -algebraic setting and the von Neumann algebraic setting. In Section 5, we summarize the results of the study and present the perspective.

C * -Algebraic Quantum Theory
All the statistical aspects of a physical system S are registered in a C * -probablity space (X , ω), a pair of a C * -algebra X , and a state ω on X [21]. Observables of S are described by self-adjoint elements of X . On the other hand, the state ω is an expectation functional on X and statistically describes a physical situation (or an experimental setting) of S. We keep claiming that every quantum system is described in the language of noncommutative (quantum) probability theory (see [22] for an introduction to quantum probability theory). In Appendix A, the basic facts on operator algebras are summarized.

Local Net
Let M be a manifold or a (locally finite) graph. We suppose that M describes the space-time or the space under consideration. R denotes the set of bounded regions of M, which satisfies ∪R = M. M ∈ R is assumed when M is bounded.
For every local net {A(O)} O∈R on M, there exists a C * -algebra for all g ∈ G and O ∈ R, where gO = {gx|x ∈ O}.
To describe the statistical aspect of quantum fields by a local net {A(O)} O∈R , states on the global algebra A or "local states" [23] are used.

Open System
We shall discuss how to describe the dynamics of open systems. In the context of quantum statistical mechanics, open systems are a subject that has been discussed for a long time. Open systems are also fundamental in quantum field theory, and are closely related to scattering theory. In particular, it is a necessary description of the dynamics in the paper concerning the DP as a typical example of off-shell quantum fields. This is because the DP phenomena are known to involve the process of generation by incident light and annihilation that changes to scattered light. On the other hand, it is essential that the quantum field considered here is a quantum system with an infinite degree of freedom system, and we should pay attention to the description of its dynamics (see Section 4 for details). In the following, we introduce the mathematical concepts necessary to describe the dynamics of open systems.
The discussion below is based on the understanding that closed systems are a special case of open systems. We consider a quantum system S described by a C * -algebra X . Every time evolution of S as a closed system is described by an automorphism of X . Furthermore, when the time t is parametrized by R, the time evolution of S as a closed system is described by a strongly continuous automorphism group α : t for all s, t ∈ R. In contrast to a closed system, the time evolution of an open system is described by a completely positive map T : X → X . The complete positivity of maps between C * -algebras is defined as follows: Definition 2 (Complete positivity [24][25][26][27]). Let C and D be C * -algebras. A linear map T : C → D is said to be completely positive (CP) if for all n ∈ N, C 1 , · · · , C n ∈ C and D 1 , · · · , D n ∈ D.
It is known that a CP map is positive, but the converse is not true. Every homomorphism of a C * -algebra C into a C * -algebra D is CP. In particular, all automorphisms of a C * -algebra C are CP. For every C * -algebra C and n ∈ N, M n (C) denotes the C *algebra of square matrices of order n whose entries are elements of C. For every linear map T : C → D and n ∈ N, a linear map for all ϕ ∈ D * and C ∈ C. T is CP if and only if the linear map D * ϕ → ∑ n i,j=1 C i T * (D i ϕD * j ) C * j ∈ C * is positive for all n ∈ N, C 1 , · · · , C n ∈ C and D 1 , · · · , D n ∈ D. Here, for every A, B ∈ D and ϕ ∈ D * , Aϕ, ϕB, AϕB ∈ D * are defined by respectively, for all D, E, F ∈ D.
The following structure theorem for normal CP maps defined on B(H) is well-known.

Theorem 1. Let H be a separable Hilbert space. Let T be a normal CP map on B(H).
(1) There exist a separable Hilbert space K, an element ξ of K, a positive operator R on K, and a unitary operator U on H ⊗ K such that for all X ∈ B(H).
for all X ∈ B(H).
The proof of this theorem is given in Appendix B.
The dynamics of open systems in the Heisenberg picture are described by a quantum stochastic process in the sense of Accardi-Frigerio-Lewis [28,29]. Following their study, measurement theory in the Heisenberg picture is formulated in [20].

Sector Theory
The concept of sector is defined by Ojima [16] as follows:

Definition 3. A sector of X is a quasi-equivalence class of a factor state.
A state on X is called a factor if the center Z ω (X ) = π ω (X ) ∩ π ω (X ) of π ω (X ) is trivial, i.e., Z ω (X ) = C1. Let π be a representation of X on a Hilbert space H. We say that a linear functional ω on X is π-normal if there exists a trace-class operator σ on H such that for all X ∈ X .

Definition 4.
Let π 1 and π 2 be a representation of X on Hilbert spaces H 1 and H 2 , respectively.
The sector theory based on sector defined above has already been discussed in [16,21]. However, we believe that mathematics related to sector theory should be reexamined in order to develop measurement theory for quantum systems described by C * -algebras. The following theorem mathematically justifies the definition of sector, which is obvious from [30] (Corollary 5.3.6).

Theorem 2.
Two factor states ω 1 and ω 2 are either quasi-equivalent or disjoint.
By the above theorem, two factor states ω 1 and ω 2 belong to different sectors if and only if ω 1 • ω 2 . A sector corresponds to a macroscopic situation where order parameters of the system have definite values. Although the unitary equivalence of states is efficient for pure states, physically important states are not always pure. For example, KMS states in some quantum system with infinite degrees of freedom are of type III. We would like to stress that the unitary equivalence class of a pure state is not appropriate for a unit of the state space. The reason will be discussed later.
Next, we shall define the notion of orthogonality of states. The order relation ω 1 ≤ ω 2 for two positive linear functionals ω 1 and ω 2 on X is defined by for all X ∈ X + .
The following theorem shows the gap between the disjointness and the orthogonality of states. (1) If ω 1 and ω 2 are mutually orthogonal, then there exists an orthogonal projection P ∈ π ω (X ) such that for all X ∈ X .
(2) If ω 1 and ω 2 are mutually disjoint, then there exists an orthogonal projection C ∈ Z ω (X ) such that for all X ∈ X .
The topology of S(X ) used here is the restriction of the weak * -topology of X * to S(X ). That is to say, it is generated by the basis Then, S(X ) is a compact convex set, and we use the Borel field B(S(X )) of S(X ) generated by this topology. A positive linear functional ω on X is called a barycenter of a regular Borel measure µ on S(X ) if µ is then called a barycentric measure of ω.
for all ∆ ∈ B(S(X )). O ω (S(X )) denotes the set of orthogonal measures on S(X ) with barycenter ω.
The following theorem characterizes orthogonal measures of a state.
If µ, B and P are in correspondence, one has the following conditions: for all X, Y ∈ X .
By Theorems 3 and 4, we have the following theorem: Let ω be a state on X and µ a barycentric measure of ω.
The following conditions are equivalent.
For every ω ∈ S(X ), µ ω denotes the orthogonal measure with barycenter ω corresponding to the center Z ω (X ) of π ω (X ) . µ ω is called the central measure of ω. The following theorem shows that the central measure gives the unique integral decomposition into mutually different sectors. Theorem 6 ([31] (Theorem 4.2.11)). The central measure µ ω of a state ω on X is pseudosupported by the set S f (X ) of factor states on X , i.e., µ ω (∆) = 0 for all ∆ ∈ B(S(X )) such that ∆ ∩ S f (X ) = ∅. If X is separable, then µ ω is supported by S f (X ).
That is to say, the concept of sector is applicable to any states via their central measures. L ∞ (S(X ), µ ω ) then describes the observable algebra that distinguishes sectors in ω and is * -isomorphic to Z ω (X ). The * -isomorphism κ ω := κ µ ω : for all X ∈ X and f ∈ L ∞ (S(X ), µ ω ), justifies this statement. By the definition, all elements of the center Z ω (X ) of π ω (X ) are compatible with those of π ω (X ) . The following theorem is also shown.

Theorem 7 ([31] (Theorem 4.2.5)).
Let ω be a state on X and µ an orthogonal measure with barycenter ω corresponding to a maximal abelian von Neumann subalgebra (MASA) of π ω (X ) . Then, µ is pseudosupported by the set S e (X ) of pure states on X . If X is separable, then µ is supported by S e (X ).
An orthogonal measure corresponding to a MASA of π ω (X ) gives an irreducible decomposition of the state. In general, MASA of π ω (X ) is not unique. The situation where MASA of π ω (X ) is unique is special. This is the reason why the unitary equivalence class of a pure state is not appropriate for a unit of the state space. It is known that π ω (X ) is a type I von Neumann algebra if π ω (X ) is abelian. The following theorem characterizes such a situation in the context of orthogonal decompositions of states.

Completely Positive Instrument
In this section, we analyze the concept of CP instrument in the C * -algebraic setting. In previous investigations [17][18][19][20], it has been examined in the von Neumann algebraic formulation of quantum theory. The generalization to C * -algebra is realized in terms of central subspaces of the dual of a C * -algebra. Our approach enables us to unify the measurement theory with sector theory.

Definition
Since the investigation [17] by Davies and Lewis, instruments have been defined on the predual of a von Neumann algebra. In order to define its C * -algebraic generalization, the dual space of a C * -algebra is too big in general. When a von Neumann algebra M on a Hilbert space K is not finite-dimensional, the predual M * of M does not coincide with M * , i.e., M * M * . In addition, in the case where all physically relevant states are contained in M * , the whole space M * is not needed. This does not depend on whether M is treated as a C * -algebra or a von Neumann algebra. In the C * -algebraic formulation introduced here, we can naturally use M * as a domain of instruments.
Let X be a C * -algebra and π a representation of X on a Hilbert space H. Let M be a von Neumann algebra on a Hilbert space K. Z (M) denotes the center of M. We define the subset V(π) of X * by V(π) = {ϕ ∈ X * | ∃ρ ∈ (π(X ) ) * , ∀X ∈ X , ϕ(X) = ρ(π(X))}.
A subspace L of X * is said to be central if there exists a central projection C of X * * , i.e., C ∈ Z (X * * ), such that L = CX * . Central subspaces of X * are characterized as closed invariant subspaces (see [26] (Chapter III, Theorem 2.7)). A central subspace L(= CX * ) is said to be σ-finite if its dual L * ( ∼ = CX * * ) is a σ-finite W * -algebra. For every M 1 , M 2 ∈ V * and ρ ∈ V, we define M 1 ρ, ρM 2 respectively, for all M ∈ V * . The usefulness of the central subspace can be seen in the following example: Example 1 (See [26] (Chapter III) for example). (1) Let X be a C * -algebra and π a representation of X on a Hilbert space H. There exists a central projection C(π) of X * * such that (2) Let M be a von Neumann algebra on a Hilbert space H. There exists a central projection C of M * * such that M * = CM * .
The following theorem is known.
Theorem 9. Let X be a C * -algebra and π 1 and π 2 representations of X on Hilbert spaces H 1 and H 2 , respectively. The following conditions are equivalent: (2) V(π 1 ) = V(π 2 ). (3) C(π 1 ) = C(π 2 ). Similarly, the following conditions are equivalent: The former part of this theorem is shown in [26] (Chapter III, Proposition 2.12). We can show the latter part in a similar way.
We shall define instruments in terms of central subspaces in the fully C * -algebraic setting. Let M and N be W * -algebras. P(M * , N * ) denotes the set of positive linear maps of M * into N * . In addition, for any Banach space L, ·, · denotes the pairing of L * and L. Definition 7 (instrument). Let V in and V out be σ-finite central subspaces of C * -algebras X and Y, respectively, and (S, F ) a measurable space. I is called an instrument for (X , V in , Y, V out , S) if it satisfies the following three conditions: (1) I is a map of F into P(V in , V out ).
(3) For every ρ ∈ V in , M ∈ V * out and mutually disjoint sequence {∆ j } j∈N of F , When X = Y, an instrument I for (X , V in , Y, V out , S) is called that, for (X , V in , V out , S). Furthermore, when V in = V out = V, an instrument I for (X , V in , V out , S) is called for (X , V, S). In particular, an instrument for (M, M * , S) is called for (M, S). For every instrument I for (V in , V out , S) and normal state ϕ on V * in , we define the probability measure I ϕ on (S, F ) by I ϕ (∆) = I(∆)ϕ for all ∆ ∈ F . For every instrument I for (X , V in , Y, V out , S), the dual map I * : V * out × F → V * in of I is defined by for all ρ ∈ V in , M ∈ V * out and ∆ ∈ F .
From now on, I denotes the dual map I * of an instrument I for (X , V in , Y, V out , S). The dual map of an instrument for (X , V in , Y, V out , S) is also called an instrument for (X , V in , Y, V out , S).

Central Decomposition of State via CP Instrument
Let V be a σ-finite central subspace of the dual space of a C * -algebra X and (S, F ) a measurable space. Let C : F → Z (V * ) be a projection valued measure (PVM). A CP instrument I C for (X , V, S) is defined by for all ρ ∈ V and ∆ ∈ F . Theorem 10. I C satisfies the following conditions: (1) I C (S)ρ = ρ for all ρ ∈ V.
The converse is also obvious as follows. We define a map C : F → V * by C(∆) = I(1, ∆) for all ∆ ∈ F . For every ∆ ∈ F , ρ ∈ V and M ∈ V * , we have An instrument I for (X , V in , Y, V out , S) is said to be subcentral if, for every ρ ∈ V in,+ and ∆ ∈ F , I C (∆)ρ and I C (∆ c )ρ are mutually disjoint. The condition (3) in Theorem 10 is a special case of the subcentrality of instruments. P (X , V ) denotes the subset {I C |C : F → Z (V * ) is a PVM.} of the set of instruments defined on V. An instrument I for (X , V, S) is said to be central if it is an element of P (X , V ) and is the maximum in P (X , V ), where the maximum is due to the (pre)order ≺ on instruments defined as follows: For instruments I 1 , I 2 for (X , V in , Y, V out , S 1 ) and (X , V in , Y, V out , S 2 ), respectively, I 1 ≺ I 2 if By Theorem 10, we have the following theorem. Theorem 11. Let (S, F ) be a measurable space, V a σ-finite central subspace of the dual of a C * -algebra X , and C : F → Z (V * ) a PVM. I C is central if and only if the abelian W * -algebra generated by {C(∆)|∆ ∈ F } is isomorphic to Z (V * ).

Operational Requirement and Macroscopic Distinguishability
In this section, we discuss the characterization of CP instruments. We deepen our conceptual understanding of measurement theory by referring to the mathematics of sector theory. In sector theory, we explained that a sector is a macroscopic unit. As an application of sector theory to measurement theory, we follow the macroscopic distinction made by the disjointness of states. That is, in contrast to the usual understanding of measurement, our understanding is that a measurement is a physical process that realizes macroscopically distinguishable situations when different values are output. In past investigations, the concept of CP instrument has been justified by clarifying the statistical properties that a measuring apparatus should satisfy from an operational point of view in the (extended) Schrödinger picture. We first review this here. Next, we proceed to characterize CP instruments from the perspective of the macroscopic distinguishability of states, which is related to sector theory.
Here, we assume that the system S is described by a C * -algebra X and that V in a σ-finite central subspace of X * . We consider a measuring apparatus A(x) with output variable x to measure the system S, where x takes values in a measurable space (S, F ). In the following, we consider three assumptions from an operational point of view. They are modified from [19,32] in the C * -algebraic setting.
(2) the state ω {x∈∆} (on a C * -algebra Y) after the measurement under the condition that ω is an initial state and output values not contained in ∆ are ignored. For every ω ∈ S(X ) ∩ V in and ∆ ∈ F , ω {x∈∆} is unique whenever Pr{x ∈ ∆ ω} = 0, or is indefinite otherwise.
From now on, we consider only the case of X = Y for simplicity. The joint probability distribution of the successive measurement of A(x) and A(y) in this order in a state ω ∈ V in ∩ S(X ) is given by for all ∆ ∈ F and Γ ∈ F .
The affine property of joint distributions of successive measurements characterizes the instrument as shown in the following theorem. Theorem 12. Let A(x) be a measuring apparatus satisfying Assumption 1. Suppose that there exists a σ-finite central subspace V out of X such that {ω {x∈∆} |ω ∈ S(X ) ∩ V in , ∆ ∈ F } ⊂ V out . The following conditions are equivalent: (1) A(x) satisfies Assumption 2.
The complete positivity of instrument is based on the general description of the dynamics of open systems. In Section 2, we discussed the dynamics of open systems state/representation-independently. We consider the following assumption that is called the trivial extendability. Assumption 3. For any quantum system S that is described by a C * -algebra Y and does not interact with an apparatus A(x) nor S, A(x) can be extended into an apparatus A(x ) measuring the composite system S + S with the following statistical properties: for all ω ∈ V in ∩ S(X ), ϕ ∈ W ∩ S(Y ) and ∆ ∈ F , where W is a central subspace of Y * .
A measuring apparatus that satisfies Assumption 3 is described by a CP instrument. In the von Neumann algebraic setting, a measuring process is defined as follows.
for all X ∈ B(H) and ∆ ∈ F .
As shown in [18], every CP instrument for (B(H), S) is defined by a measuring process. By contrast, in the case where M is a non-atomic injective von Neumann algebra, it is shown in [19] that there exist CP instruments for (M, S) which cannot be defined by any measuring processes. Furthermore, a necessary and sufficient condition for a CP instrument to be defined by a measuring process is given in [19].
In the context of measurement, we do not always care about sectors as a macroscopic unit, but we actively utilize the macroscopic distinction based on the disjointness. We introduce two kinds of subcentral lifting property for instruments as follows. Both subcentral lifting properties characterize the measurement obtained by restricting a measurement, which realizes the disjointness of states (after the measurement) of a larger system corresponding to different output values, to the target system. On the other hand, the difference between these two properties may be obvious from the definitions.
An instrument I for (X , V in , Y, V out , S) is said to be finite if there exists a finite subset S 0 of S and a map T : S 0 → P(V in , V out ) such that for all ∆ ∈ F . Theorem 13. Every finite instrument for (X , V, S) has the first subcentral lifting property and the second subcentral lifting property.
We conjecture that every CP instrument has both subcentral lifting properties.

Discussion and Perspectives
In the study, we have defined instruments by using central subspaces of the dual of a C * -algebra. We have checked its consistency with the definition in the von Neumann algebraic setting. This result means that the extension of the measurement theory to C * -algebra in the paper is valid. Furthermore, we have proposed a unification of the measurement theory and the sector theory: we have defined and characterized the centrality of instruments. In addition, we have discussed the operational characterization and macroscopic nature of quantum measurement. In the context, we have actively used the disjointness of states to distinguish different output values of the meter. Our results are, of course, applicable to systems described by C*-algebras generated from field operators, and the macroscopic aspects of quantum fields can now be discussed in terms of measurement theory.
In the setting of AQFT, we use a local net {A(O)} O∈R 1 on a space M 1 in order to describe the DP phenomena. In describing the measurement of DPs, only the use of the local net first adopted is not enough. In fact, to detect (the effect of) DPs, we need an operation wherein some probe is brought closer to the spatial scale at which DPs are generated. We introduced an extension of a local net to mathematically describe the operation at the level of observable algebras.
We use the extensions of a local net because the construction of the composite system of the system of interest and a measuring apparatus is not so simple. In particular, the construction of the composite system by the tensor product is not always applicable to quantum fields.
Let {B(O)} O∈R 2 be a local net on M 2 and an extension of a local net {A(O)} O∈R 1 on M 1 . We suppose that M 1 is bounded. The composite system of the original system and a probe, which is close to the original system on the spatial scale where DPs are generated, is described by {B(O)} O∈R 2 as a quantum field. Furthermore, the material system, which is a part of the composite system, is assumed to be localized in the neighborhood of M 1 . In the composite system, the generation and annihilation of DPs constantly occur near non-uniform materials in the unstable situation where light continues to incident constantly. By measuring the emitted light at regions far from M 1 , we check (or estimate) the effect of DPs generated in M 1 .
Constructing a concrete model of DPs as a quantum field in order to correlate experiments of DPs with the theory is a future task. We hope to describe the DP phenomena as open systems at the next stage. In the future, clarification of the relationship between this study and the recent trends in DP research [33] is required. Moreover, the mathematical theory of quantum measurement for quantum systems described by C * -algebras should be further developed.
Funding: This research received no external funding.

Acknowledgments:
The author thanks anonymous reviewers for their comments to improve the quality of this paper.

Conflicts of Interest:
The author declares no conflict of interest.

Abbreviations
The following abbreviations are used in this manuscript: AQFT algebraic quantum field theory CP completely positive DP dressed photon PVM projection valued measure

Appendix A. Operator Algebra
We introduce the basic facts on operator algebras. See [26,30,31,[34][35][36][37] for more details on operator algebras. A set X is called a C * -algebra if it satisfies the following conditions: (1) X is a Banach space over C.
(3) The norm of X satisfies X * X = X 2 for all X ∈ X .
A * -homomorphims β of X is called a * -automorphism of X if there exists a *homomorphims γ of X such that β • γ = id X and γ • β = id X . Aut(X ) denotes the set of automorphisms of X . A * -homomorphism and a * -automorphism are simply called a homomorphism and an automorphism, respectively.
Let ω be a linear functional on X .
X * denotes the set of (complex) linear functionals on X . X * + denotes the set of positive linear functionals on X . A linear functional on X is called a state on X if it is positive and normalized. S(X ) denotes the set of states on X . A state ω on X is faithful if ω(X * X) = 0 implies X = 0. A C * -algebra W is called a W * -algebra if it is the dual of a Banach space W * , called the predual of W. The second dual X * * = (X * ) * of a C * -algebra X is a W * -algebra and is called the universal enveloping algebra of X . A W * -algebra W is said to be σ-finite if it admits at most countably many orthogonal projections.
where T(H) denotes the set of trace-class operators on H. For every state ω on X , there exist a Hilbert space H ω , a representation π ω of X on H ω and a unit vector Ω ω of H ω such that and H ω = π ω (X )Ω ω . Here, a map π : X → B(H) is called a representation of X on a Hilbert space H if it satisfies π(aX + bY) = aπ(X) + bπ(Y), π(XY) = π(X)π(Y), and π(X * ) = π(X) * for all a, b ∈ C and X, Y ∈ X . The triple (π ω , H ω , Ω ω ) is called the GNS representation of ω and is unique up to unitary equivalence. For any subset S of B(H), we define the commutant S of S by S = {A ∈ B(H) | ∀B ∈ S, AB = BA} and the double commutant S of S by S = (S ) . π ω (X ) and π ω (X ) are then von Neumann algebras on H ω .

Appendix B. The Proof of Theorem 1
First, we present theorems used to show Theorem 1.
Theorem A1 ( [24][25][26][27]31]). Let X be a C * -algebra and H a Hilbert space. For every CP map T : X → B(H), there exist a Hilbert space K, a representation π of X on K, and V ∈ B(H, K) such that for all X ∈ X , and that K = span(π(X )VH). If X and H are separable, then so is K.
The triplet (π, K, V) is called a Stinespring representation of T, and is unique up to unitary equivalence. for all M ∈ M 1 , where j E : B(H 1 ⊗ L) → EB(H 1 ⊗ L)E is defined by j E (X) = EXE for all X ∈ B(H 1 ⊗ L). M 1 ⊗ C1 is then a multiplicative domain of j E .
As a corollary of Theorem A2, the following holds: Corollary A1. Let H 1 and H 2 be Hilbert spaces. If π is a normal homomorphism of B(H 1 ) onto B(H 2 ), then there exist a Hilbert space K and a unitary W of H 1 ⊗ K onto H 2 such that π(X) = W(X ⊗ 1)W * (A5) for all X ∈ B(H 1 ).
Let X and Y be C * -algebras. We define a partial order T 1 ≤ T 2 on CP(X , Y ) by T 2 − T 1 ∈ CP(X , Y ). Theorem A3 ([25] (Theorem 1.4.2)). Let T 1 , T 2 be elements of CP(X , B(H)) such that T 1 ≤ T 2 , and (π, K, V) is the Stinespring representation of T 2 . There exists a positive operator R of π(X ) such that T 1 (X) = V * Rπ(X)V (A6) for all X ∈ X .
By using the above theorems, we show Theorem 1.
Proof of Theorem 1. Put P = T(1). Suppose P = 0 without loss of generality. We define a unital normal CP map T on B(H) by T (X) = 1 P T(X) + 1 − P P for all X ∈ B(H). By Theorem A1, there exist a separable Hilbert space K , a normal representation π of X on K , and an isometry V ∈ B(H, K) such that K = span(π (X )V H) and that T (X) = (V ) * π (X)V (A8) for all X ∈ B(H). Since 1 P T(X * X) ≤ T (X * X) for all X ∈ B(H), by Theorem A3, there exists a positive operator R of π (X ) such that for all X ∈ B(H). By Corollary A1, there exist a separable Hilbert space L 1 and a unitary operator W ∈ B(H ⊗ L 1 , K ) such that π (X) = W (X ⊗ 1)W * (A11) for all X ∈ B(H). There then exists a positive operator R on L 1 such that R W = W (1 ⊗ R ). Let L 2 be an infinite-dimensional separable Hilbert space, v a unit vector in L 2 , and y a unit vector in L 1 . We define an isometry U : H ⊗ Cy ⊗ Cv → H ⊗ L 1 ⊗ L 2 by for all x ∈ H. Since H ⊗ Cy ⊗ Cv and U 0 (H ⊗ Cy ⊗ Cv) satisfy dim((H ⊗ Cy ⊗ Cv) ⊥ ) = dim((U 0 (H ⊗ Cy ⊗ Cv)) ⊥ ) as subspaces of H ⊗ L 1 ⊗ L 2 , there exists a unitary operator U on H ⊗ L 1 ⊗ L 2 such that U| H⊗Cy⊗Cv = U 0 . We put K = L 1 ⊗ L 2 and ξ = y ⊗ v, and define a positive operator R on K by R = P R ⊗ 1. For every X ∈ B(H) and x 1 , x 2 ∈ H, we obtain which completes the proof of (1). Next, we show (2). By Theorem A1, there exist a separable Hilbert space K 1 , a normal representation π of X on K and V ∈ B(H, K) such that K 1 = span(π(X )VH) and that for all X ∈ B(H). By Corollary A1, there exist a separable Hilbert space K 2 and a unitary operator W ∈ B(K 1 , H ⊗ K 2 ) such that for all X ∈ B(H).