Singularities. The complex exponential factors as . The second factor has an essential singularity at zero, and multiplication by the nonvanishing holomorphic function does not remove it. There are no other finite singularities. On the Riemann sphere, infinity is also an essential singularity, since .
Symmetry and integral formula. The identity and uniqueness of the Laurent series on give for every integer . The Laurent coefficient formula, on the positively oriented unit circle, gives
The imaginary part vanishes by the substitution . Hence
Polynomial contour integral. For an integer and integer , the binomial theorem gives . The residue theorem selects , that is . Therefore the correct complete statement is
The printed nonnegative-integer condition alone misses . For example satisfies that condition, but the integral is zero and the displayed factorial is undefined.
Explicit coefficients. Both Taylor series in
converge absolutely and uniformly on every compact annulus away from zero, so their product can be regrouped. For , put and . For arbitrary integer , use the already proved symmetry:
Here is a modified Bessel function. The printed series is directly meaningful for ; for negative the absolute values, or an appropriately shifted lower summation limit, are essential.
Conformality and analyticity. Use the orientation-preserving convention for a conformal map, with a continuously differentiable, nonzero differential. Its Jacobian matrix must be a positive scale times a rotation,
Thus , , the Cauchy-Riemann equations; continuous partial derivatives then imply that is a holomorphic function. If angle preservation is allowed to reverse orientation, the statement needs this qualification: preserves unsigned angles but is an anticonformal map and is not a holomorphic function.
The mapping. Put . The displayed components combine to give
Its derivative does not vanish in the open half-strip , , so it is a conformal map there. Also . The lower edge maps to , the upper edge to , and the vertical edge to . The open half-strip maps bijectively onto the upper half-plane. Indeed, implies ; the half-strip allows only equality. Surjectivity follows by solving and choosing the root with and . The two corners are boundary critical points, not interior failures of conformality.
Transformed boundary values. A conformal map preserves Laplace's equation up to a positive scale. Thus the transformed Dirichlet problem is to find a real harmonic function on with
The conflicting values at the original corners are interpreted as one-sided edge limits.
Logarithmic solution. Choose the complex logarithms of with arguments between zero and in the upper half-plane. A linear combination is a complex-valued harmonic function, since it is a holomorphic function; the real physical potential must be a real or imaginary part. In particular, set
Then
On the three real boundary intervals, the argument difference is respectively , which gives the required values. This is the bounded harmonic solution, with at infinity; uniqueness holds in this bounded class by the maximum principle. Without a boundedness or far-field condition, the edge data alone do not give uniqueness: one may add .
Back substitution. Since
the required continuous argument difference is in the open half-strip. Consequently
As with , the arctangent tends to zero; as with , it tends to . These limits verify every open edge of the Dirichlet problem.
Figure 1.
The bounded harmonic function across the half-strip, with contour labels giving
. Details.
Singularities and cuts. There are four simple poles , , because the roots of are simple and do not coincide with . At , the local behavior is a nonzero constant times : these are square-root branch points. Infinity is not a branch point; on either branch , so it extends there with a zero of order five. Three valid choices of branch cuts are the segment , the two rays joined through infinity, or a semicircular arc joining to and avoiding the poles. A circuit about either endpoint changes the sign, while a circuit about both endpoints does not.
Branch and residues. On , let be the branch with at infinity, and define . Its upper boundary value on is positive. The residue at a simple pole is
For fully explicit values, put
In counterclockwise order , the values of are . Since , substitution yields
A branch point has no ordinary residue, since it has no single-valued Laurent series on a punctured neighborhood. At infinity the residue is zero.
Contour evaluation. The original contour goes counterclockwise around a large circle and clockwise round the slit, with its upper lip directed to the right. The large-circle contribution is . Small endpoint arcs contribute . The artificial slit extension from to has equal boundary values on both sides, so its contributions cancel. On the two boundary values of are opposite. Thus, with denoting the requested real integral, the residue theorem gives
Therefore
Assume spherical stars, central eclipses, uniform disc surface brightness, and negligible third light. Let denote the smaller star and the larger one, with and . Normalize the out-of-eclipse flux to one, and denote the deep and shallow fractional losses by and . The graph gives approximately , , , so , ; the last digits are graphical estimates.
At total occultation of the smaller star, the lost flux is . At its central transit across the larger star, the lost flux is . There are two identifications:
  • Smaller star hidden at the deep eclipse. Then and , giving and . Thus . The smaller star has the higher surface brightness; the deep eclipse hides it and the shallow eclipse is its transit.
  • Smaller star hidden at the shallow eclipse. Then and , giving and . Thus . The smaller star has the lower surface brightness; the deep eclipse is its transit across the hotter, larger star.
These are ratios of luminosities in the observed band. Treating them as bolometric luminosities requires similar band corrections or an explicitly bolometric light curve. Limb darkening and finite exposure times limit the precision of these elementary estimates.
The Stefan–Boltzmann law gives for bolometric luminosity. Hence
With the central values above, this is approximately for the first geometry and for the second. If only one-band luminosities are measured, bolometric corrections are needed before using this formula for effective temperatures.
Two direct methods are fitting the continuum stellar spectrum or several photometric colors to a stellar atmosphere model, and measuring temperature-sensitive absorption lines or line ratios in a stellar spectrum. The former includes the approximate black-body radiation estimate from Wien's displacement law; the latter uses ionization and excitation populations. Observations during total eclipse or spectral disentangling help separate the two stellar spectra.
For comparable composition and accessible fuel fractions, the main-sequence lifetime is proportional to available nuclear fuel divided by luminosity, . Estimate the masses from a calibrated mass-luminosity relation in the appropriate mass range. Then
For illustration gives about and for the two graphical luminosity ratios. The common main sequence approximation is additional physics; eclipse depths alone do not determine masses or ages. A main sequence consistency check would also favor the second geometry because ordinary main-sequence stars have radius and effective temperature increasing with mass.
Let be radial position, the outward radiative energy flux, and the radiation pressure. A thin layer absorbs a fraction of an incident directed beam. Since a photon carries momentum , the outward force per unit volume deposited by the radiation is . Balance it against the radiation pressure gradient:
Substituting yields the radiative diffusion equation
The sign expresses outward energy flux down the temperature gradient. The approximation assumes optically thick material and near local thermodynamic equilibrium, with an appropriate mean opacity.
The printed attenuation law describes the loss from an incident beam; it is not generally the radial derivative of the net luminosity, since absorption is accompanied by emission. For a concrete counterexample, in a steady envelope without local energy generation the net luminosity is constant even though and . Applying to that net luminosity would contradict energy conservation. The local momentum deposition argument supplies the physically correct derivation.
Write for enclosed mass. The stellar hydrostatic equation is . If radiation pressure dominates, compare it directly with the radiative diffusion result for :
This is the limiting Eddington luminosity scaling, assuming fixed composition and electron-scattering opacity.
If gas pressure dominates, use stellar homology: characteristic density and pressure . The ideal gas law then gives
Estimating in radiative diffusion gives
Thus at fixed and constant electron-scattering opacity, . These are stellar homology estimates for radiative stars, not exact relations valid for arbitrary composition and internal transport.
The same gas-pressure stellar homology estimates give and . With Kramers' opacity law , radiative diffusion gives
Consequently the claimed exponent five additionally requires the approximate low-mass main-sequence mass-radius relation and fixed composition:
The supplied opacity and pressure assumptions alone do not establish that mass-radius relation. For example, a homologous fixed-radius family obeys those scaling assumptions but gives , not . More generally gives . Very low-mass stars can be convective, where this radiative model ceases to apply.
Use as energy per volume, as specified in the prose, and let have dimensions of length so that the positive curvature magnitude is dimensionless. The Friedmann equation for spatial curvature is
For an energy density the cosmological perfect-fluid continuity equation is . Nonrelativistic matter has negligible pressure and radiation has . Thus the four contributions to scale respectively as
For nonzero positive densities and , the usual possible sequence is radiation domination, matter domination, curvature domination, then cosmological-constant domination. A distinct era for each is not guaranteed: coefficients may cause curvature to be overtaken by the cosmological constant before it ever dominates. If , curvature dominates asymptotically; negative does not give a late positive vacuum-dominated expansion.
The printed auxiliary relation uses mass-density notation, in conflict with the stated energy-density definition. It is consistent if there is understood as energy density divided by ; in that convention the density term in the Friedmann equation is . The two conventions must not be mixed.
In the prescribed matter-dominated approximation, neglect curvature, radiation, and the cosmological constant throughout the calculation. The Friedmann equation and give , hence and . For ,
The particle horizon is a proper distance on a constant-time slice, not simply :
Therefore
These are estimates within a spatially flat, matter-only model, rather than the measured age and particle horizon of the actual late-time universe.
Normalize the scale factor to and set . In the same matter-only model , so
Its present proper size after expansion with the scale factor is
The present comoving distance to decoupling is
The angular diameter distance is , so the angular size of a transverse length equal to one particle horizon radius is
If “the horizon” denotes the diameter of the whole causally connected ball, its angular diameter is twice this, approximately . The degree-scale conclusion is the same. Neglecting early radiation is an explicit approximation inherited from the question.
The angle estimates the largest transverse region at decoupling that could have established causal contact after the big bang in the assumed decelerating model. The cosmic microwave background has nearly the same temperature in directions separated by much larger angles. This is the horizon problem: those regions have no shared causal history in that simple model, yet their thermodynamic conditions are strikingly alike. The particle horizon should be distinguished from the smaller sound horizon, which controls acoustic propagation in the primordial fluid.
An early epoch dominated by a sufficiently large positive effective cosmological constant gives and approximately . During this cosmic inflation, the comoving Hubble length shrinks. A patch that was initially in causal contact can expand to contain the whole presently observable cosmic microwave background surface, while expansion suppresses spatial curvature. A finite period of cosmic inflation followed by reheating and the usual hot expansion therefore explains the uniformity without superluminal local signals. An eternally large unchanged cosmological constant would prevent the later matter-dominated history; an exit from cosmic inflation and reheating are required. Sufficient duration and a suitable pre-inflationary causal patch are part of this explanation.
In the double-slit experiment, each photon is detected as a localized event carrying energy , while repeated events build the interference pattern of coherent probability amplitudes from the two slits. Acquiring information that distinguishes the paths suppresses the interference; splitting the classical intensity into two incoherent alternatives would not reproduce the fringes.
Put one plate before each slit at normal incidence, with the same known refractive index and illumination of vacuum wavelength . Relative to the plate-free reference, their thickness difference produces an optical path difference and a phase shift
Observe the displacement of the full interference fringe pattern, or scan a controllable reference phase and estimate . This compares the plates directly; a detectable phase displacement establishes unequal thickness under the common-material assumption. For fringe spacing , the displacement is , where is slit separation and the screen distance, with sign set by the slit labeling.
A differential phase measurement can resolve a small difference sensitively and avoid determining two large absolute thicknesses. It does not guarantee a universally faster or more photon-efficient test: noise, coherence, alignment, and required accuracy matter. Moreover a null phase shift at one wavelength only implies
so equality requires a prior bound, a broadband or multiple-wavelength measurement, or continuously counting interference fringes as the plates are introduced. If the refractive indices differ, this apparatus measures optical thickness difference rather than geometrical thickness difference.
Take equal arm lengths, no plate, and coherent illumination. At a coated beam splitter, choose the real-amplitude convention where transmission has amplitude and reflection has amplitude from one side and from the other; which reflection carries the minus sign is a basis convention. The two paths interfere constructively at detector 1 and destructively at detector 2 in the diagram's labeling. Thus
For example, writing the beam splitter as and the two equal-reflection mirrors as , one obtains . The first output component propagates downwards to detector 2; the nonzero second component propagates upwards to detector 1. The overall minus sign is an unobservable global phase. The redistribution is interference of amplitudes, rather than two successive independent coin tosses.
In the stated ordered propagation basis, a downward input is transmitted downward and reflected upward, giving the first column . An upward input is reflected downward with the opposite reflection phase and transmitted upward, giving the second column . Therefore
Equal mirror reflection phases exchange the two directions. Choosing a phase of per reflection gives
Each path encounters one mirror, so describes both arms together, not two successive reflections of each photon. Changing its common phase leaves all detection probabilities unchanged. Direct multiplication gives , so both are unitary matrices. They preserve the norm of a quantum state and hence total probability for these lossless optical elements.
Ideal detectors are represented by measurement matrices, but detection itself is not unitary evolution within the two traveling modes. With and , the projective measurement operators are
They give Born rule probabilities and sum to . An absorbing detector maps the incident photon to an excited detector and vacuum field; a complete physical description includes those additional degrees of freedom.
For a monochromatic photon of vacuum wavelength , a plate of thickness replaces air by glass and adds phase . Neglect losses and reflections, or assume antireflection coatings. Between the first beam splitter and mirror 1, the affected arm is the second basis component, so . The successive quantum states, omitting common propagation phases, are
The first output component feeds detector 2 and the second feeds detector 1, giving
The imbalance gives . Thus the measured probabilities determine only up to , and hence only a corresponding family of thicknesses. There is no unique absolute thickness from this one measurement. The zero-plate limit recovers , .
Adding a known phase in the same arm changes the observed phase to . Combining measurements with and without that extra plate determines both quadratures. Explicitly, and . Hence the ordered pair determines modulo , removing the sign ambiguity of a cosine alone.
It still leaves the integer fringe order undetermined:
Thus the thickness remains periodic with period . A known thickness interval shorter than this period, a suitable multiple-wavelength measurement, or continuous phase tracking supplies the missing information. If is unknown, a single wavelength only determines the excess optical thickness modulo .
A Stern-Gerlach experiment uses a nonuniform magnetic field to exert force on a magnetic dipole. The two resolved beams reveal discrete projections of spin, rather than a continuum of classical dipole orientations. For the ground-state silver chemical atom, filled shells contribute no net angular momentum and the outer electron has orbital angular momentum zero, leaving an effective spin- magnetic moment. This provides evidence for the electron's two-valued intrinsic spin.
Neutral silver chemical atoms can pass through the apparatus without the large charge-dependent Lorentz force that would deflect and broaden a free-electron beam. Neutrality isolates the small magnetic-gradient force far more cleanly. The later parts use an ideal spin filter model; a literal free-electron apparatus requires additional control of charge forces.
A vertical Stern-Gerlach spin measurement is a -spin measurement. The Born rule gives
Thus this measurement cannot distinguish the two preparations, even by repeating the same measurement on many identically prepared copies: it discards their relative-phase difference in this basis.
A horizontal Stern-Gerlach spin measurement measures . The inputs are its orthogonal eigenstates, so
The output beam identifies the input with certainty in a single ideal measurement.
For an axis halfway from toward , let . The Born rule gives
The negative-outcome probabilities are complementary. Both outcomes can occur for both inputs, so one result cannot distinguish them perfectly. Repeated measurements on independently prepared copies distinguish their different statistics with arbitrarily high confidence. Reversing the diagonal direction exchanges the two numbers. This separates single-copy certainty from statistical distinguishability.
For a normalized quantum state, , and the Born rule gives . If the displayed coefficients are not normalized, divide both by . A quantum superposition is a coherent linear combination: relative phase affects other spin measurements, unlike an incoherent statistical mixture with the same -measurement probabilities.
Every pure qubit quantum state is an eigenstate of spin along some axis. Its Bloch vector is
For real normalized , choose modulo with and , allowing an irrelevant global sign. Then
Equivalently, . A Stern-Gerlach spin measurement on this axis yields its positive result with certainty, so the state is not a nontrivial quantum superposition in that measurement basis.
Send a beam through a vertical Stern-Gerlach spin measurement apparatus, spatially resolve its two spin components, and block the negative- beam. The transmitted particles are prepared in . For an initially unpolarized beam, half the intensity survives ideally. This is conditional quantum state preparation by a projective measurement and filtering.
The first Stern-Gerlach spin measurement transmits with probability . The selected quantum state then yields with conditional probability . Relative to the original beam,
Among particles reaching the second apparatus, the negative- fraction is ; the requested fraction uses the original intensity and is .
Let and retain the positive spin beam at every stage. The overlap of successive positive eigenstates is
Thus the unconditional survival probability, relative to the original intensity, is
The last retained quantum state is , so its final negative- result is certain conditional on survival and adds no further factor. In particular , , and . Since ,
This is a changing-measurement-axis form of the quantum Zeno effect: frequent selections steer the surviving spin through a continuous succession of nearby eigenstates.
A pure bipartite quantum state is entangled if it cannot be written as a tensor product . More generally a mixed quantum state is entangled if its density matrix cannot be expressed as a convex mixture of product density matrices. Two applications are quantum teleportation, which transfers an unknown qubit using a shared entangled pair plus classical communication, and superdense coding, which uses a shared entangled pair and transmission of one qubit to communicate two classical bits. Neither permits faster-than-light communication.
Measuring the first qubit applies or . The Born rule gives
The normalized conditional quantum states are
Each expression applies only when its denominator is nonzero; an impossible outcome has no defined conditional state.
When , the observed relative frequencies converge, for large sample size, to the conditional probabilities
Equality says that the second binary outcome has the same distribution whichever first outcome occurred; this is independence of these two particular measurement results. Cross-multiplication gives
For finite samples the two empirical fractions fluctuate; they are estimates, not exact deterministic equalities. If or , the missing conditional fraction is undefined, but one outcome is constant, so the joint measurement results are independent and the displayed modulus identity still holds.
This criterion only addresses the computational-basis statistics. For example
has all four joint probabilities equal to , yet is maximally entangled: its first-qubit density matrix is and . Moreover classical correlations of mixed separable states also exist, for example . Correlations in a single basis alone neither certify nor exclude quantum entanglement.
Expand a normalized product state as
Thus , , , , giving
Conversely the nonzero coefficient matrix has determinant zero precisely when it has rank one, so the condition also suffices for a pure two-qubit state to factor.
For any fixed pair of local measurement settings with operators , the Born rule factorizes:
Hence a product state has independent local results in every pair of local bases. This assumes independent settings and local measurements; shared classical randomization of preparations or a subsequent joint interaction can generate correlations. A separable mixture is not necessarily a single product state.
Alice's outcome is random. Conditional on knowing it, Bob may assign a different quantum state, but without that classical record he sees the same density matrix. For the displayed pure two-qubit state, his reduced density matrix before Alice's measurement is
After Alice's computational-basis measurement with the outcome unannounced, the weighted mixture is exactly this same matrix. More generally, for any local trace-preserving operation with measurement operators ,
The equality follows from the cyclic property of the partial trace for operators acting on Alice's subsystem. Bob's every local outcome probability therefore remains unchanged. This is the no-communication theorem: . Conditional state changes become usable correlations only when the classical outcomes are compared.
Source paper: public source PDF, pages 79–86. The cover identifies the examination as 2021 despite the archive filename. Solutions cover all three options. The damaged source diagram leaves the numerical results in S02 1(b) and 1(d) incomplete.
The apparent singularity at zero cancels: the Taylor series of the sine gives
Thus zero is a removable singularity, with extension . At , the other terms are holomorphic, whereas has a simple pole. Therefore
There are no other finite singularities. If “all” includes the point at infinity on the Riemann sphere, it is an essential singularity: has infinitely many negative powers in its Laurent series at .
The geometric series for converges for , while the cancelled sine terms have an everywhere convergent Taylor series. Hence the requested Laurent series has no negative powers:
For example,
The extension through zero also makes this a Taylor series. The pole at fixes its radius of convergence at two.
Assume positive, counterclockwise orientation of a contour. Factor the polynomial denominator as
Only lie inside the unit circle. These are simple poles. Writing the denominator as , their residues are
The residue theorem therefore gives
Reversing orientation of a contour changes the sign.
Parametrize the positively oriented unit circle by . Then and
Consequently the contour integral already evaluated satisfies
Let be holomorphic on a neighbourhood of a positively oriented, piecewise smooth simple closed curve and its interior except at finitely many isolated singularities strictly inside. The residue theorem states
The residue is the coefficient of in the local Laurent series. No singularity may lie on the contour. For more general closed contours, each residue is multiplied by the corresponding winding number.
The poles are the four roots of . The upper half-plane contains and , both enclosed when . At a simple pole ,
The sum of the two residues is
The residue theorem, with the real segment traversed from to and the upper arc from to , yields
On the upper semicircular contour, and the reverse triangle inequality gives . Its arc length is , so the estimation lemma gives
The arc is open, so an ordinary integral sign is appropriate even though the source uses a closed-integral symbol there. Subtracting the vanishing arc contribution from the closed contour integral gives the real-line improper integral . Its integrand is an even function, and its tail is , ensuring convergence. Thus
Use the principal complex square root, with . For , the local expansion on this holomorphic branch is
The fractional power prevents a single-valued Laurent series in a punctured disc. In particular, zero is a branch point, not an isolated singularity classified as a pole. Merely observing that on the slit plane would not establish a simple pole: does not extend as a holomorphic function through a whole disc around zero.
The negative real half-line is a chosen branch cut. Its upper and lower boundary values differ because and for . Continuation once around zero changes the sign of the complex square root, and hence changes in general. Other branch cuts are possible; this one defines the principal holomorphic branch.
Excise a small disc about zero and a thin slit along the negative real axis, using the orientations shown in the source: upwards, towards zero above the slit, clockwise around zero, and away from zero below the slit. On the resulting region is a single-valued holomorphic function; zero lies in the excluded disc and there are no poles in the region. Cauchy's integral theorem gives
Here the paths on the cut mean limiting paths from its two sides. Apply Cauchy's integral theorem before taking those limits, when the entire contour lies inside the slit domain.
For , the upper and lower boundary values on the branch cut are
Write for the outer endpoint distance on the cut. The upper path runs from to , while the lower path runs back from to ; in both cases . Therefore
and
The source's limits zero and infinity require and ; they are not an exact identity on a finite contour. For a concrete counterexample take and : the finite real integral is at most , whereas the full-range integral is , as evaluated in the next part. Near zero the combined integrand is , so the combined improper integral converges, although the individual cut integrals have logarithmic divergences. At infinity the factor ensures convergence. Consequently
On the small clockwise contour , decreases from to . Uniformly on that arc, , and hence
The large arcs also vanish. To make this precise for the displayed geometry, take them on the left semicircle , , split at the cut. On the principal holomorphic branch, , , and . The estimation lemma gives
For the last bound, symmetry and on imply that the angular integral is at most . The exact choice of large arcs does not affect the limiting result. The vertical improper integral converges absolutely because decays as .
Taking limits in the closed contour integral now yields , where . Thus
As an optional explicit evaluation, put and define . Differentiation under the integral sign and the Gaussian integral give and . Therefore and in terms of the error function and complementary error function.
Articles were limited to the first 100 out of 251 total.

Articles by others on the same topic (0)

There are currently no matching articles.