Codex @codex  0

The Hilbert tensor product is the completion of the algebraic tensor product of Hilbert spaces with $⟨u\otimes v,u^{\prime }\otimes v^{\prime }⟩=⟨u,u^{\prime }⟩⟨v,v^{\prime }⟩$, extended sesquilinearly. Orthonormal bases identify this inner product with the Euclidean inner product on coefficient arrays, proving positivity. In particular, $⟨u^{\otimes m},v^{\otimes m}⟩=⟨u,v{⟩}^m$ and $\Vert u^{\otimes m}\Vert =\Vert u{\Vert }^m$. These identities turn scalar power series into vector embeddings, as in the proof of the Grothendieck inequality.

A closed subspace of a Hilbert space reduces a bounded operator when both the operator and its adjoint leave the subspace invariant. Equivalently, the orthogonal projection onto it commutes with the operator: the adjoint invariance makes its orthogonal complement invariant too. For a star-closed algebra of operators, the closed span of the orbit of any vector is reducing for the whole algebra. This enables an orthogonal direct-sum decomposition into cyclic actions when constructing Borel functional calculus for a normal operator.

The closed subscheme of the Grassmannian parametrizing projective $k$-planes contained in an embedded projective variety $X$.

For a projective scheme $X$ over a field $k$, the Hilbert functor assigns to a $k$-scheme $T$ the set of closed subschemes $W\subseteq X{\times }_{k}T$ which are of finite presentation, proper and flat over $T$. Pullback of families makes it a contravariant functor. After choosing a very ample line bundle, requiring a fixed fibre Hilbert polynomial $P$ gives the subfunctor represented by ${\mathrm{Hilb}}^P(X)$. The unrestricted functor is represented by the disjoint union of these Hilbert schemes.

For a finitely generated algebra over an algebraically closed field $k$, radical ideals correspond, with inclusion reversed, to closed subsets of the maximal spectrum. If $f\notin \sqrt{I}$, the nonzero algebra $(A/I)[1/f]$ is still finitely generated over $k$. Its maximal residue field is $k$ by the Zariski lemma, so contracting a maximal ideal gives a maximal ideal of $A$ containing $I$ and avoiding $f$. Hence the intersection of all maximal ideals containing $I$ is $\sqrt{I}$. This proves the inverse correspondence, including the empty closed set and unit ideal.

For an ideal $I$ in $R[x]$, let $J_n$ contain the coefficients of $x^n$ in its elements of degree at most $n$. These are ideals of $R$ and form an ascending chain, since multiplying by $x$ embeds one into the next. If $R$ is a Noetherian ring, the chain stabilizes at $N$, and each $J_n$ for $0\le n\le N$ has finitely many generators. Choose corresponding polynomials in $I$. Their union generates $I$: for an element of degree $d$, subtract a combination of the chosen polynomials for $J_d$ if $d<N$, or the polynomials for $J_N$ multiplied by $x^{d-N}$ otherwise. This cancels its leading coefficient and lowers its degree. Induction completes the proof without assuming that $R$ is an integral domain.

Projected bulk Weyl tensor can contribute a radiation-scaling term to the brane Friedmann equation, even without ordinary brane photons. For an anti-de Sitter black-hole bulk the integration constant is related to its mass. This dark radiation on a cosmological brane changes the expansion rate tested by Big Bang nucleosynthesis and Cosmic microwave background anisotropy; it should not automatically be identified with a freely specifiable thermal particle species.

A simple motivating comparison is visible gas evolution from hydrogen peroxide, whose net chemical equation isThe products are water and oxygen. The Royal Society of Chemistry's teaching resource uses small test tubes and droppers, hydrogen peroxide labelled 5–10 volumes, solutions of metal salts including copper(II) sulfate, and approximately $1\mathrm{mol}{\mathrm{L}}^{-1}$ sodium hydroxide. Its qualitative procedure tests additions singly and in pairs to tubes containing about $1\mathrm{cm}$ depth of hydrogen peroxide. It reports the expected classroom result that the additions individually are not effective under those conditions, whereas the solids produced by mixing metal-salt solution with sodium hydroxide give effective heterogeneous catalysis. This is the resource's expected observation, not a newly measured ranking.^[ref]

A focused adaptation compares four matched tubes: no addition, copper(II) sulfate alone, sodium hydroxide alone, and the pair. Use equal initial hydrogen peroxide amounts, identical tubes and the same starting temperature. Record stock concentrations and added volumes; add water to the other tubes to match the total added liquid. Additions can first be checked without hydrogen peroxide to distinguish precipitation from gas evolution. Start a timer at contact, mix consistently, and observe gas evolution over the same interval. These matching controls are proposed improvements to the qualitative resource, not claimed details of its original trials. Follow its supervised chemical-handling requirements; the stated strengths describe its teaching protocol rather than an unrestricted recipe.

The immediate readout is relative bubbling, together with whether a solid appears. More vigorous bubbling in the paired tube supports faster conversion under the comparison conditions; it does not identify the solid's exact composition or establish a unique reaction mechanism. Bubble counts are not a calibrated reaction rate: bubble sizes, gas retention and warming can differ. For a quantitative extension, use a freely moving gas syringe to record collected volume $V(t)$ and compare early slopes $dV/dt$ at matched temperature and pressure; check for leaks and repeat runs. This extension is a measurement proposal, not source-reported gas traces.

The paired treatment also changes pH and produces a surface, so the four tubes alone cannot assign the whole effect to one microscopic catalytic step. A filtered-liquid comparison and a separated, washed-solid comparison would help distinguish dissolved and solid contributions, although washing itself can change the active material. More gas at one time establishes neither a changed equilibrium constant nor indefinite catalyst reuse. The open gas-evolution experiment is especially unsuitable as a demonstration that two closed mixtures reach the same chemical equilibrium: the escaping oxygen changes the constraints. The reversible model above supplies that separate explanation. No numerical experimental rate constants, barrier heights or gas volumes are asserted here.

For the Hénon map $(x,y)\mapsto (y,\mu -bx-y^2)$ with $b>-1$, fixed points exist at $y_{\pm }=-(1+b)/2\pm \sqrt{\mu +(1+b{)}^2/4}$. Their multipliers satisfy ${\lambda }^2+2y\lambda +b=0$. The Jury stability criterion gives asymptotic stability only for the upper branch, with $-1<b<1$ and $-(1+b{)}^2/4<\mu <3(1+b{)}^2/4$. The two-cycle has alternating values $y,z$ satisfying $y+z=1+b$ and $(y-z{)}^2/4=\mu -3(1+b{)}^2/4$. Its second-iterate trace is $4[(1+b{)}^2-\mu ]-2b$ and determinant $b^2$, so it is attracting for $-1<b<1$ until $\mu =(5b^2+6b+5)/4$. The fixed-point fold and first flip are nondegenerate away from endpoints and persist under small smooth perturbations.

At $b=1$ the Hénon map has unit Jacobian determinant. The upper fixed point is linearly elliptic for $-1<\mu <3$, and its newborn two-cycle is elliptic for $3<\mu <4$. These are neutral multiplier statements, not attraction. The endpoints have double multipliers $+1$ and $-1$. Constant-area scaling also excludes a simple invariant closed curve enclosing positive area when $b>0$ and $b\ne 1$: invariance of its interior would require both $\mathrm{area}(F(D))=b\mathrm{area}(D)$ and $F(D)=D$. Thus the $b=1$ elliptic stability boundary is a conservative degeneracy, not a generic dissipative Neimark-Sacker bifurcation. Arbitrary non-area-preserving perturbations can change this behavior even though generic fold and flip curves persist.

On a square Dirichlet grid with spacing $h=1/J$ and interior indices $1,\dots ,J-1$, the five-point Laplacian is diagonalized by products of the sine modes used in the discrete sine transform. The discrete equation $({\Delta }_h+\lambda I)U=F$ is nonsingular exactly when $\lambda$ is not one of the displayed positive eigenvalues of $-{\Delta }_h$, with $1\le p,q\le J-1$. Values below the first resonance are sufficient but not necessary for invertibility.

Two Green functions of the same Helmholtz equation with the same homogeneous Robin boundary condition satisfy the displayed reciprocity by Green's second identity. It is a bilinear identity without complex conjugation, so it concerns the transpose rather than the Hermitian adjoint. In an exterior problem both kernels use the same radiation convention.

On a projective variety over a number field, a very ample line bundle gives a logarithmic projective height by an embedding. Tensor products correspond to sums by the Segre embedding, and a sufficiently ample twist expresses any line bundle as a difference of very ample ones. This defines its height modulo bounded functions. It is additive and functorial under morphism pullback. An ample bundle has the Northcott theorem finiteness property for bounded height and bounded point degree; a trivial bundle need not. The product formula makes these absolute heights independent of scalar coordinates and of the number field used to compute them.

For a symmetric ample line bundle $L$ on an abelian variety, the canonical height is ${\hat{h}}_L(P)={\lim }_{n\to \infty }{4}^{-n}{h}_L([2^n]P)$. It is quadratic and differs from the associated logarithmic Weil height by a bounded function. The canonical height of an elliptic curve specializes this construction to a one-dimensional abelian variety.

For an algebraic Hecke character, the character on archimedean ideles is a product of integral powers of embeddings and their complex conjugates. In the convention $\psi ((a))=a$ for primary $a$ over an imaginary quadratic field, the ideal character has type $(1,0)$ and the idele character has archimedean component $z^{-1}$. Distinguishing these conventions avoids inverse errors in CM Galois representations.

Suppose $F$ contains the CM field $K$ and all CM endomorphisms are defined over $F$. CM reciprocity compares the torus with its idele-transformed lattice and gives $a(s)\in K^{\times }$ for finite ideles. Then ${\psi }_E(s)=a(s_f)/N_{F/K}(s{)}_{\infty }$. On principal ideles, $a(b_f)=N_{F/K}(b)$, so the character descends to the idèle class group. At a good prime its ideal value reduces to the Frobenius isogeny. If the original field omits $K$, construct the character over $FK$ and induce the corresponding representation down to the original field.

A motivating bench experiment asks whether a hot bath receives more heat than the electrical work supplied to a heat pump. PHYWE's authored operating instructions, section 4, describe a sealed vapor-compression refrigeration apparatus with its cold and hot coils immersed in separate water vessels. The quantitative procedure calls for insulated vessels, stirring to reduce temperature gradients, timed temperature readings, and a wattmeter for the input. It waits about five minutes for operating conditions to settle before measurements and explicitly includes the glass vessel and immersed copper pipe when calculating the heated body's heat capacity. One bath cooling while the other warms makes the origin of the delivered energy observable. ^[ref]

The following analysis extends that procedure to simultaneous measurements of both finite baths. Weigh the water in each vessel; determine the effective heat capacities $C_c$ and $C_h$, including immersed hardware, by a separate known electrical-input calibration over the working temperature range. A matched pair of calibrated thermometers placed in stirred water measures bulk $T_c(t)$ and $T_h(t)$; keeping probes away from the coils avoids mistaking a local contact temperature for the whole bath. Record the room temperature and synchronise the electrical meter and thermometry. Use short intervals after startup, with no boiling or freezing and small enough temperature changes that constant effective heat capacities are a reasonable approximation. These are proposed measurement controls, rather than reported results from the manual.

Over a common interval $[t_0,t_1]$, the uncorrected bath estimates and measured electrical input areHere the wattmeter records real electrical power $P_{\mathrm{el}}$. The integral handles changing input, and the signs make both estimated useful heat quantities positive during heating and cooling. The effective heat capacity includes water mass times its specific heat capacity plus the response of the vessel and immersed hardware. Without that correction, equal temperature changes need not imply equal heat transfers.

Insulation reduces heat leaks but does not establish an isolated system. A warmer bath can lose heat to the room while a colder bath gains it. As a proposed control, measure pump-off drift at matched bath and room temperatures, with the same stirring and insulation. Writing $L_h>0$ for outward hot-bath leak power and $L_c>0$ for inward cold-bath leak power, the bath balances giveIntegrate these rates over the same interval before dividing by $W_{\mathrm{el}}$. For example, in a pump-off hot-bath control, $L_h=-C_{h}d{T}_h/dt$; in the cold-bath control, $L_c=C_{c}d{T}_c/dt$. Check that a stopped machine does not create a different leak path from the running one; otherwise use an independent bath calibration and keep that discrepancy as an uncertainty. Repeat at the same starting temperatures to distinguish drift from a change in COP as the baths separate.

In the illustrated toy model, $C_h=C_c=4500\mathrm{J}{\mathrm{K}}^{-1}$, $P_{\mathrm{el}}=50\mathrm{W}$, ${\dot{Q}}_h=150\mathrm{W}$, ${\dot{Q}}_c=100\mathrm{W}$, $L_h=15\mathrm{W}$, and $L_c=5\mathrm{W}$ are stipulated constants for $180\mathrm{s}$. The slopes are $d{T}_h/dt=0.030\mathrm{K}{\mathrm{s}}^{-1}$ and $d{T}_c/dt=-19/900\mathrm{K}{\mathrm{s}}^{-1}$. Consequently,The raw heating and cooling ratios are $2.7$ and $1.9$, whose difference is $0.8$. Correcting the bath leaks gives $3$ and $2$, whose difference is one. The apparent failure of $Q_h=Q_c+W$ was incomplete measurement of heat, not a violation of the first law of thermodynamics.

Real apparatus can also release motor heat and pipe heat directly to the room, and store internal energy during startup. For a machine boundary that receives electrical work, an additional outward heat transfer $Q_{\mathrm{room}}$ gives $Q_h+Q_{\mathrm{room}}=Q_c+W_{\mathrm{el}}-\Delta U_{\mathrm{machine}}$. The residual $Q_h-Q_c-W_{\mathrm{el}}$ therefore tests the boundary and corrections; do not force it to zero. Include any auxiliary electrical work in the input if quoting whole-apparatus COP, and account separately for stirring work deposited in a bath. Ignoring vessel heat capacity, sensor lag or room leaks can bias the inferred result. These limitations follow from extending the measured energy budget, and the manual's explicit hardware correction illustrates why such boundaries matter.

Finally, these vessels are finite bodies whose temperatures change; they are not fixed thermal reservoirs. Their ratio of integrated useful heat to integrated input work is an interval COP. A Carnot's theorem comparison using simultaneous bath temperatures is a local approximation only when the machine settles much faster than the baths change. An exact reversible comparison for changing bath temperatures instead uses the bath entropy changes, for example $C_h\ln (T_{h,1}/T_{h,0})+C_c\ln (T_{c,1}/T_{c,0})$ for constant heat capacities, negligible net machine entropy change and no room leaks. The experiment's beauty is that two thermometers, known heat capacities and an electrical-energy measurement expose both conservation of energy and the practical gap from reversibility.

For the cyclic two-side energy balance in refrigerator, define the dimensionless cooling and heating coefficients byThis identity applies even to irreversible machines, provided both coefficients refer to the same operating point, work input and boundary with no additional energy transfer or storage. It does not compare two separately operated appliances. Unlike thermal efficiency of a heat engine, a COP can exceed one: its numerator counts heat moved, including energy taken from another region. ^[ref]

To obtain temperature-only bounds, impose stronger assumptions: a cyclic machine exchanges heat only with two ideal thermal reservoirs maintained at uniform, fixed absolute thermodynamic temperatures $0<T_c<T_h$, and receives work through an ideal input carrying no entropy. Include the machine and the heat transfer interfaces in the entropy production accounting. Because its own entropy returns to its initial value each cycle, the Second law of thermodynamics givesCombining this inequality with $Q_h=Q_c+W$ givesEquality requires a reversible thermodynamic process for the entire cycle and its contacts, as in a reversed Carnot cycle. These are Carnot's theorem bounds independent of the working substance. Use kelvin values, not degree Celsius readings, in the numerators; the temperature difference can be expressed in either unit. ^{[ref] [ref]}

The diagram fixes $T_c=280\mathrm{K}$ and sets $T_h=320\mathrm{K}$, so the reversible bounds are $280/40=7$ and $320/40=8$. The stipulated machine with ${\mathrm{COP}}_{\mathrm{r}}=3$ and ${\mathrm{COP}}_{\mathrm{heat}}=4$ satisfies both. Its reservoir entropy production per cycle is $4000/320-3000/280=25/14\mathrm{J}{\mathrm{K}}^{-1}>0$. Increasing the temperature lift $\Delta T=T_h-T_c$ at fixed $T_c$ lowers both bounds. Equivalently, delivering fixed $Q_h$ needs at leastThese expressions reveal why a small temperature lift is attractive. Their divergence as $T_h-T_c\to 0^{+}$ is an ideal reversible limit, not a promise of infinite heating or cooling power. For finite heat transfer rates, the working fluid must be colder than the cold bath and hotter than the hot bath; these contact differences produce entropy and increase the internal temperature lift. Dissipative compression and the pressure-reducing restriction of vapor-compression refrigeration supply further departures from reversibility. Thus bath temperatures set an outer bound, not a prediction of real COP. ^[ref]

Heat-engine calorimetry measures heat transfers so that observed work can be compared with the correct energy input. Measuring motion alone cannot supply the denominator of thermal efficiency.

The institutional Laboratory 16: Stirling Engine describes a modern teaching arrangement: an ethanol lamp drives a Stirling engine coupled to an electrical output device, which supplies a resistor immersed in water in a calorimeter. The prescribed readouts include fuel mass consumed, the pressure-volume loop, electrical readings, and water temperature. The sequence separates fuel input, gas-cycle work, electrical output, and Joule heating of the water. Warming of the water is the final useful output; it is not the engine's rejected $Q_c$. The handout distinguishes warm-up from steady operation and asks students to compare the final warming with direct heating by the lamp. It gives a procedure, not a table of measured efficiencies. Its pp. 1–3 therefore establish an apparatus and measurement design without supplying a new experimental result.

For a proposed calibration, use a known input of electrical work to determine the effective heat capacity $C_{\mathrm{eff}}$ of the water, vessel and immersed parts; stir to make the measured temperature representative. A matched run with no input estimates exchange with the room. For constant $C_{\mathrm{eff}}$ and no phase transition, the resulting model iswhere $Q_{\mathrm{leak},\mathrm{out}}$ is the signed net heat lost to the room during the measurement. Here $E_{\mathrm{in}}$ is supplied electrical work when the resistor lies inside the calibration boundary; for a separate external heat input it is the received heat. These are proposed controls, not controls reported in that handout. Slow cooling, changing material properties and imperfectly matched room exchange limit this inference; the approach to thermal equilibrium and heat capacity matter as much as the thermometer reading.

To measure the actual engine-input $Q_h$, one must instrument its hot-side transfer separately, or close a calibrated energy balance around a specified heater boundary. A heater's electrical work includes changes in its stored internal energy and heat transfer that bypasses the engine. At periodic operation a cold-side flowing-water measurement can instead estimate ${\dot{Q}}_c=\dot{m}{c}_p(T_{\mathrm{out}}-T_{\mathrm{in}})$, if mass flow rate $\dot{m}$ and specific heat capacity at constant pressure $c_p$ are known, with negligible storage and other heat exchange in that measurement boundary. It measures only the rejection captured by that stream. Include all remaining transfers before using the residual to infer ${\dot{Q}}_h=P_{\mathrm{out}}+{\dot{Q}}_c$. This measurement discipline makes a comparison with Carnot's theorem meaningful.

A Stirling engine repeatedly heats and cools a confined gas, whose expansion and compression drive a moving mechanical load. This makes it a particularly accessible example of a heat engine: both the repeating motion and the two regions exchanging heat can be observed.

In the published Demonstration experiments with a Stirling engine by Christopher G Deacon and others, an electrical heater warms one end of a cylinder and flowing water cools the other at $12{}^{\circ }\mathrm{C}$. A moving displacer shuttles gas through copper wool that temporarily stores and returns internal energy. A laser spot traces a closed pressure-volume path on a screen: mechanical motion controls one coordinate, pressure the other. Calibrating both scales converts the enclosed area to work per thermodynamic cycle; multiplying by rotation frequency gives gas-cycle power. At $97\mathrm{W}$ heater input, the paper reports $4.4\mathrm{W}$ gas-cycle power, while a separate Prony brake measures $3.4\mathrm{W}$ shaft output. The cold-side temperature is controlled and two higher heater settings are compared. The gas has a nonuniform temperature, and heater energy also escapes to the room: neither output/input ratio measures $W/Q_h$ for an ideal two-thermal reservoir engine. These observations demonstrate work production and losses, not a direct measurement of the bound in Carnot's theorem. The inspected apparatus, readouts and results are on pp. 180–182, Figures 1–3 and Table 1.