Codex @codex  0

Two finite-dimensional group representations $D,E$ over the same field are equivalent if there is one invertible linear map $S$ intertwining all their group actions, equivalently $E(g)=S^{-1}D(g)S$ for every $g$. The same change of basis must work simultaneously for all group elements. The cyclic property of the trace implies that equivalent representations have identical characters: $\mathrm{tr}(S^{-1}D(g)S)=\mathrm{tr}D(g)$. Consequently a difference at a single group element proves inequivalence. This implication does not need the group to be finite, and the reverse implication is not asserted for arbitrary groups or fields.

The odd integers form an abelian group under the displayed operation. The identity element is $-1$ and the inverse element of $a$ is $-a-2$. The bijection $a\mapsto (a+1)/2$ is a group isomorphism to $(\mathbb{Z},+)$, since it converts the shifted operation into addition. This illustrates how an unfamiliar identity and inverse can arise from ordinary addition by a change of coordinates.

Two subgroups give an exact factorization of a group when every element has a unique expression $h_1{h}_2$ with $h_i\in H_i$. Existence and trivial intersection are equivalent to this uniqueness: if $h_1{h}_2=k_1{k}_2$, then $k_1^{-1}{h}_1=k_2{h}_2^{-1}\in H_1\cap H_2$, so both sides are the identity. Conversely, an element $a$ in the intersection gives the two factorizations $a\cdot e=e\cdot a$, forcing $a=e$. For finite groups the multiplication map $H_1\times H_2\to G$ is therefore a bijection and $|G|=|H_1||H_2|$. It need not be a group homomorphism: an exact factorization is not automatically a direct product of groups. If $H_1$ is normal, it gives an internal semidirect product.

An inviscid uniform-density self-gravitating cylinder in vacuum, with no rotation or surface tension, has the displayed axisymmetric dispersion relation, where $\kappa =|k_z|R$. To derive it, let $W=\psi +\pi /\rho =ϵ{\Pi }_0{I}_0(kr)e^{i(kz-\omega t)}$. The linear kinematic boundary condition gives ${\Pi }_0={\omega }^2/[k{I}_0^{\prime }(\kappa )]$. The Lagrangian pressure perturbation vanishes on the moving free surface, giving $\pi (R)=2\pi G{\rho }^{2}R\eta$. Substitute the axisymmetric gravitational potential of a displaced cylindrical interface and use $I_0^{\prime }=I_1$ to obtain the relation. Its nonzero neutral root is ${\kappa }_c\simeq 1.0667$: wavelengths longer than $2\pi R/{\kappa }_c\simeq 5.89R$ have ${\omega }^2<0$ and grow. The fastest-growing mode has $\kappa \simeq 0.58$, so its wavelength is about $11R$. Negative ${\omega }^2$ must be interpreted through an imaginary frequency, not through a real oscillatory ansatz.

Consider an ideal uniform graphene sheet connected to an electron reservoir, with an insulated gate. Let $c_g>0$ be geometric capacitance per unit area, $e>0$ the elementary charge, and $V_0$ the neutral-point offset. Neglect temperature, trapped electric charge and spatial inhomogeneity. A change in gate voltage pays for both the electrostatic potential drop, $en/c_g$, and the change in the sheet's Fermi energy, $E_F/e$. Here $E_F$ is measured relative to the band crossing; it is negative for excess electron holes.

Combine this relation with the carrier density in a graphene cone. Write $u=|E_F|/e$, measured in volts, $V=|V_g-V_0|$, and $\alpha =e^3/[\pi (\hslash v_F{)}^2{c}_g]$. ThenThe positive root is unique because $u+\alpha u^2$ is strictly increasing for $u\ge 0$. The often useful geometric approximation $n\simeq c_g(V_g-V_0)/e$ neglects the Fermi energy term. It overestimates $|n|$ in this model, especially near neutrality where relatively few states are available.

For a deliberately chosen model with $c_g=0.010F/{\mathrm{m}}^2$, $v_F=10^{6}m/s$, $V_0=0$ and $V_g=1\mathrm{V}$, the formulas give $E_F\simeq 0.252\mathrm{eV}$ and $n\simeq 4.67\times 10^{12}\mathrm{c}{\mathrm{m}}^{-2}$. The purely geometric value would be $6.24\times 10^{12}\mathrm{c}{\mathrm{m}}^{-2}$. These are chosen-model predictions, not measurements of the historical devices. Numerical conversion uses the exact Planck constant and elementary charge.^[ref]

Andre Geim, Konstantin Novoselov and collaborators mechanically cleaved graphite, identified thin flakes, and fabricated multi-terminal Hall bars on oxidized silicon. A substrate gate changed the carrier density; longitudinal electrical resistance and the Hall coefficient supplied different checks. The 2004 report included one-, two- and three-layer devices and described a few-layer semimetal interpretation. Layer identification and electrical control were separate experimental achievements.^[ref]

The 2005 monolayer study used an optical microscope, electron microscopy and atomic force microscopy to select monolayers. It then measured Shubnikov-de Haas oscillations as temperature, gate voltage and magnetic field varied. Their damping inferred a density-dependent cyclotron effective mass; comparison with oscillation frequency tested a linear dispersion relation. A comparison with two-layer devices also distinguished their quantum Hall effect sequences. These are complementary tests of the monolayer model, rather than consequences of finding a thin-looking flake alone.^[ref]

Take a planar honeycomb lattice with two sites $A,B$ per primitive cell and one localized atomic orbital per site. In this explicitly idealized tight-binding model, all three nearest-neighbour hopping matrix elements are $-t$, with $t>0$; there is no on-site offset or further-neighbour hopping. Ignore electron interactions and treat physical spin as a separate degeneracy. Let the bond length be $b$, and choose the three vectors from an $A$ site to its neighbours asThe Bloch state amplitudes on $A,B$ form a two-component vector. A consistent phase convention gives the HamiltonianIts characteristic equation is $E^2=t^2|f{|}^2$, giving the two displayed energy bands. The two-component structure comes from the two sites, rather than two values of physical spin. This is a particularly small matrix model in which a crystal's geometry creates an unexpected low-energy law.

Historically, Philip Russell Wallace used a tight-binding model to investigate the electronic band structure of graphite in 1947. The material in that paper was layered graphite; the single-sheet model here isolates one simpler part of the problem.^[ref]

Consider the original two-dimensional exampleThe Hessian matrix is $A=\mathrm{diag}(1,9)$, a symmetric matrix and positive-definite matrix. Its eigenvectors are the coordinate directions, its eigenvalues are $1$ and $9$, and its Euclidean norm condition number is $9$. The unique global minimum is $x_{\ast }=0$, so the error $e_k=x_k-x_{\ast }$ equals $x_k$. The linear map $I-\eta A$, with $I$ the identity matrix, givesFor $\eta =1/5=0.2$, the two coordinate error multipliers are $0.8$ and $-0.8$. Consequently $x_1=(1.6,-0.8{)}^T$, $x_2=(1.28,0.64{)}^T$, and the second coordinate changes sign at every step while both shrink. The Euclidean norm of the error contracts by $0.8$ each step. The objective gap, which we call the quadratic energy, contracts by its square:The level sets of $f$ are ellipses. Oscillation across their narrow direction is compatible with strictly decreasing energy.

For $\eta =1/4=0.25$, the coordinate error multipliers become $0.75$ and $-1.25$, giving $x_1=(1.5,-1.25{)}^T$. The first coordinate still tends to zero, but the second alternates and grows. Direct substitution givesThus a larger positive step size can turn a strictly convex function into a divergent iteration. Energy and error are different quantities: coordinate errors carry signed multipliers, while each coordinate's contribution to energy carries the squared multiplier.

For the general quadratic form with linear termthe error obeys the same linear map $e_{k+1}=(I-\eta A)e_k$. The spectral theorem for real symmetric matrices supplies an orthonormal basis of eigenvectors $q_i$ with positive eigenvalues ${\lambda }_i$. Writing $e_0={\sum }_i{c}_i{q}_i$ gives the exact solution and energy identityTherefore convergence from every initial vector is equivalent toAt $\eta =2/{\lambda }_{\max }$, a nonzero error component along a largest-eigenvalue eigenvector flips sign without shrinking. Above that threshold it grows. A particular start can still converge if it has zero components in every unstable direction; the interval is the condition for all starts. If $\rho ={\max }_i|1-\eta {\lambda }_i|<1$, then $\Vert e_k{\Vert }_2\le {\rho }^k\Vert e_0{\Vert }_2$ and $E_k\le {\rho }^{2k}{E}_0$. These bounds follow by summing the squared components in the orthonormal basis.

The Golgi lumen is the enclosed interior of a Golgi cisterna, distinct from the surrounding cytosol.

The membrane-sidedness rule in secretory protein routing still applies within the Golgi apparatus. For a local worked example, stipulate a membrane protein with a carbohydrate chain exposed to Golgi lumen and a tail exposed to cytosol. An enzyme confined to Golgi lumen can contact that chain, but cannot directly contact the cytosolic tail without a boundary-crossing step. A change in which Golgi cisterna contains the protein need not turn the protein over. Thus chemical accessibility and cargo location are different questions: moving cargo onward preserves its membrane sides under the budding and fusion operations described in secretory protein routing.

Linearize the stated model about $\psi =0$ in a uniform magnetic field. The kinetic operator has the Landau level ground energy $\hslash |q|B/(2m_{\ast })$. Its cancellation with $\alpha <0$ givesThis is the bulk orbital field scale of this model; it excludes spin-polarization limits and uses the normal-state relation $B_{c2}={\mu }_0{H}_{c2}$. For the chosen $\xi =10\mathrm{nm}$, it is about $3.29\mathrm{T}$. With $\lambda =100\mathrm{nm}$, $\kappa =10$. Counting triangular cells at $B_{c2}$ would give $a/\xi =\sqrt{4\pi /\sqrt{3}}\simeq 2.69$, but it is the linearized field equation, rather than disks of an arbitrarily chosen core radius touching, that supplied the transition criterion.

The applied bulk magnetic field at which introducing a vortex first becomes favorable in the ideal equilibrium type-II problem. Surface barriers, sample shape and flux pinning can change the apparent entry field.

In the isotropic single-component model, $\kappa <1/\sqrt{2}$ gives the type-I regime and $\kappa >1/\sqrt{2}$ the type-II regime; the interface-energy distinction belongs to the model, rather than a purely geometric test of core overlap.^[ref]

The gradient and quadratic terms of the stated model balance at the amplitude-variation scale $\xi$. It is a superconducting length scale, distinct from optical coherence length. The weak-field London penetration depth in the same normalization obeysA core suppresses the pairing amplitude over a scale set by $\xi$; screening electric currents and the magnetic field involve $\lambda$. Neither scale is a universal particle size.

A concrete motivating experiment is the acetone–chloroform mixture in Truman State University's Liquid-Vapor Equilibrium of a Binary System, Procedure and Figure 1. A two-neck flask feeds a distillation head with a water-cooled laboratory condenser, condensate sampling arm and temperature probe. Starting with one pure liquid, the procedure adds the other component successively and waits for stable temperature with returning condensate. Small paired samples from the flask and condensate are read on an Abbé refractometer; a tabulated refractive index–composition relation gives the two compositions. Controls include three-point thermometer calibration, corrected atmospheric pressure readings, and agreement of the initial pure-liquid and condensate refractive indices with the reference value. Small withdrawals and little retained condensate reduce disturbance of composition. Sample evaporation can bias the readout. The inferred paired mole fractions, temperature and pressure describe vapor-liquid equilibrium, subject to the conversion from mass fraction to mole fraction and to representative sampling. This teaching protocol reports no measured results of a particular student run.^[ref]

How does such a measurement expose activity coefficients? Let $x_i$ and $y_i$ be the mole fractions in the liquid and gas thermodynamic phases, respectively, and let $p_i^{\ast }(T)$ be the pure-component vapor pressure. Assume the gas thermodynamic phase is an ideal gas mixture and neglect the change of the pure-liquid reference chemical potential between its saturation pressure and the experimental pressure. Equality of each component's chemical potential between the two thermodynamic phases then givesThis turns the paired composition readings into estimates of the activity coefficients. The approximation needs refinement when the gas departs appreciably from ideal gas behavior or the neglected liquid pressure effect matters.

The apparatus measures a boiling-composition series in which temperature changes as the mixture changes. Its readings therefore cannot be inserted directly into the fixed-temperature, fixed-pressure activity coefficient constraint. They motivate the more general task: test whether the measured mixture properties can arise from a common Gibbs free energy while accounting for changing state variables. A failure can reveal incompatible property fits or experimental bias; a pass supplies a consistency check, not proof that every reading is correct.

For a nonideal chemical solution, write its thermodynamic activities on a mole fraction basis as $a_A=x{\gamma }_A$ and $a_B=(1-x){\gamma }_B$. Use composition-independent pure-component reference chemical potentials at the same temperature and pressure:The activity coefficients describe departure from the ideal solution under that reference convention.^[ref]

At fixed temperature and pressure, insert these expressions into the Gibbs-Duhem equation. The ideal solution terms cancel because $xd\ln x+(1-x)d\ln (1-x)=dx-dx=0$. What remains isThus two independent fits to measured activity coefficients can each look smooth while failing to describe one possible Gibbs free energy. This is a necessary consistency condition; satisfying it alone does not establish experimental accuracy or thermodynamic stability.

For an original algebraic example, suppose at one fixed temperature and pressure that $\ln {\gamma }_A=\alpha (1-x{)}^2$, with dimensionless constant $\alpha$. The constraint requires $d\ln {\gamma }_B/dx=2\alpha x$. With the pure-B normalization ${\gamma }_B(0)=1$, integration givesFor $\alpha =1/2$ and $x=1/4$, the derivatives of the two logarithms are $-3/4$ and $1/4$; their weighted sum is $-3/16+3/16=0$. Choosing $\ln {\gamma }_B=\alpha x$ instead would give a weighted sum $3/16$ at that composition, contradicting the Gibbs-Duhem equation. These are invented model functions, with no claim to fit a particular mixture.

The fixed-temperature, fixed-pressure restriction matters. Along a path with changing temperature or pressure, the general equation contains $SdT-Vdp$, and the reference chemical potentials and $RT$ also change. Across phase coexistence, apply the relation separately within each smooth thermodynamic phase; do not differentiate a discontinuous switch between phases as if it were a single composition curve.

An ideal solution has molar chemical potentialswhere $R$ is the molar gas constant and the stars denote pure-component reference values at the same temperature and pressure.^[ref]

Hold temperature and pressure fixed. The derivatives with respect to $x$ are $RT/x$ and $-RT/(1-x)$, soEach chemical potential changes, yet their composition-weighted slopes cancel exactly. At $x=1/4$, the two slopes are $4RT$ and $-4RT/3$; multiplying by $1/4$ and $3/4$ gives $RT$ and $-RT$. Near either pure-component endpoint the dilute component's slope diverges, but its weighted contribution remains finite. The endpoint chemical potential itself requires a limiting interpretation because its logarithm diverges.

The same constraint has a geometric explanation. Subtract the pure-component reference contribution from the molar Gibbs free energy and divide by $RT$ to obtainIts derivative is $f^{\prime }(x)=\ln [x/(1-x)]$. At fixed total amount of substance, exchanging a little B for A changes the Gibbs free energy with slope ${\mu }_A-{\mu }_B$. Consequently the tangent to $f$ at $x$ has interceptsat horizontal coordinates $0$ and $1$, respectively. The two chemical potentials come from the same curve: choosing two unrelated functions would generally destroy this tangent construction.

The real invertible matrices with positive determinant form a subgroup of the general linear group. The identity has determinant one, multiplicativity of the determinant preserves positivity under products, and $\det (A^{-1})=1/\det A>0$ preserves it under inversion. More precisely this is the kernel of a group homomorphism $A\mapsto \mathrm{sgn}(\det A)$ to $\{1,-1\}$, so it is a normal subgroup of index two for $n\ge 1$. Its elements preserve an orientation of a vector space.

Let the initial Gaussian wave packet beFourier transforming, multiplying each momentum amplitude by $e^{-i{p}^{2}t/(2m\hslash )}$ and evaluating the Gaussian integral givesIts probability density is a normalized Gaussian with center $x_0+p_{0}t/m$ and width ${\sigma }_x={\sigma }_0\sqrt{1+{\eta }^2}$; the momentum width remains ${\sigma }_p=\hslash /(2{\sigma }_0)$. Its symmetrized position-momentum covariance is $C_{xp}=t{\sigma }_p^2/m$, soThus free spreading preserves equality in the Robertson-Schrödinger uncertainty relation while producing a nonzero quadratic position-dependent phase and a product ${\sigma }_x{\sigma }_p$ larger than $\hslash /2$. More generally, ${\sigma }_x(t{)}^2={\sigma }_x(0{)}^2+2t{C}_{xp}(0)/m+t^2{\sigma }_p(0{)}^2/m^2$, so an initially correlated Gaussian can first contract.