How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Dp Boundary State Cylinder Scope
Source-reported perturbative cylinder description for two parallel flat Type II Dp-branes; does not assert a local modular-equivalence proof, absolute boundary-state normalization, a general boundary conformal field theory, or nonperturbative duality.
Remark
Here the cylinder worldsheet is the annulus with its two boundary circles mapped to two parallel static flat Dp-branes at transverse positions and . The conformal structure on is parameterized by a positive annulus modulus, with numerical normalization fixed separately in each source. In the closed channel, the interval coordinate is propagation time and closed-string states propagate between the boundary sources. In the open channel, the circle coordinate is Euclidean time and the trace runs over open-string states whose endpoints lie on the two branes.
Miao Li records the following closed-channel expression in his source convention:
In this expression, is Li's integration parameter in equation (2.1); and denote only the left- and right-moving fermion-number operators whose parity insertions appear there. Li calls the closed-string propagator, but equation (2.1) does not specify it as a particular Virasoro-zero-mode combination. The source variables have been subscripted here only to distinguish the two papers' notation. Li's parity insertions are not identified with the sector-dependent and defined in the boundary-state item. Li states in section 2 that he works in Euclidean spacetime and obtains Minkowski results by Wick rotation; equation (2.1) is recorded here in that Euclidean source convention, without a separate local continuation argument.
Separately, Polchinski–Chaudhuri–Johnson's equation (2.23) sets in their cylinder calculation, and equation (2.31) writes the closed-channel overlap as
Here is their dimensionless open-channel parameter in equation (2.23), where ; its reciprocal appears in the closed-channel exponent. The symbols and are the left- and right-moving Virasoro zero modes in their bosonic-string convention. Equation (2.31) occurs in their bosonic-string cylinder calculation, whose surrounding massless exchange is expressed using the Green function in transverse dimensions. It is cited here only to record that source's own propagator and modulus notation, not as a Type II calculation. No operator identification between and , and no modulus map between and , is asserted.
Li's equations (2.2)–(2.4) separately give the open-string one-loop representation and the massless closed-channel residue. His equation (2.5) explicitly reports
where has length-squared dimension and is the source's Dp-brane tension parameter in its massless-exchange convention, of dimension . This normalization comes from the individual exchange contributions, even though the NS–NS and R–R contributions cancel in their sum. This is a source-reported coefficient result, not a finiteness assertion for the full modulus integral or its massless limit. No identification with a tension density in another bulk-field convention, or with the unevaluated overall factor in the formal boundary-state definition, is made here. That factor still has no local absolute-normalization calculation, and no full string duality is asserted.
The tube sketch labels the closed-channel reading of the same cylinder; it records the two boundary sources and the propagation direction only, and is not a proof of the channel transformation.