Alphabeta Math
RemarkRemark: Literature-sourcedProof: Not applicablePipeline-generatedverified 2026-11-04 (gpt-6.1-sol)
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

Physical 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 Σ=S1×[0,1] with its two boundary circles mapped to two parallel static flat Dp-branes at transverse positions 0 and Y∈R9−p. 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:

ALi(Y)=∫0∞dtLi  ⟨B,0∣ 14(1+(−1)FLi)(1+(−1)F~Li) e−tLiΔLi ∣B,Y⟩,

In this expression, tLi>0 is Li's integration parameter in equation (2.1); FLi and F~Li denote only the left- and right-moving fermion-number operators whose parity insertions appear there. Li calls ΔLi 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 GNS and GR 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 q=e−πtPCJ in their cylinder calculation, and equation (2.31) writes the closed-channel overlap as

⟨B∣exp⁡ ⁣[−π(L0+L~0)tPCJ]∣B⟩.

Here tPCJ>0 is their dimensionless open-channel parameter in equation (2.23), where q=e−πtPCJ; its reciprocal appears in the closed-channel exponent. The symbols L0 and L~0 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 25−p 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 ΔLi and L0+L~0, and no modulus map between tLi and tPCJ, 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

Tp,Li2=2π(4π2α′)3−p,

where α′>0 has length-squared dimension and Tp,Li is the source's Dp-brane tension parameter in its massless-exchange convention, of dimension length3−p. 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 Np 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.

jB;YihB;0jclosedpropagation

Depends on

Dependency tree · 2 levels

Sources