Codex @codex  0

Let $R$ be an orthogonal matrix describing a Cartesian change of coordinates, with transformed vector components $v_i^{\prime }=R_{ia}{v}_a$ and $w_j^{\prime }=R_{jb}{w}_b$. Their outer product transforms aswhich is the transformation law of a second-order Cartesian tensor. Here “rank two” counts tensor indices, not the rank of a matrix; a nonzero outer product has matrix rank one.

For an isotropic second-rank tensor, invariance means $RT{R}^T=T$ for every proper rotation matrix. The half-turn matrices $\mathrm{diag}(1,-1,-1)$, $\mathrm{diag}(-1,1,-1)$ and $\mathrm{diag}(-1,-1,1)$ force all off-diagonal entries to vanish. Quarter-turns around coordinate axes then force the three diagonal entries to be equal. Conversely $RI{R}^T=I$, so the most general second-rank isotropic tensor isSince $v{w}^T$ has matrix rank at most one, it cannot equal a nonzero scalar multiple of the three-dimensional identity. Thus its isotropy forces $v{w}^T=0$. If $v\ne 0$, a nonzero component $v_i$ makes the entire $i$th row vanish only when $w=0$; the converse is immediate. The required choices are exactlyFor the Levi-Civita symbol, multilinearity and antisymmetry of the determinant givefor every $R\in SO(3)$. This proves the rotation invariance of the Levi-Civita symbol, hence its third-rank isotropy. The convention is invariance under proper rotations: under an orthogonal reflection $\det R=-1$, the sign reverses. Thus it is a pseudotensor if transformations of both orientations are included.

Use the Einstein summation convention. Substitute the given basis transformation into the expansion of the vector:By linear independence of the basis vectors, $v_j=R_{ij}{v}_i^{\prime }$. In matrix notation $v=R^T{v}^{\prime }$. A rotation matrix is orthogonal, so multiplication by $R$ givesThe placement of the transpose follows from the specified convention $e_i^{\prime }=R_{ij}{e}_j$. It must not be guessed from a different convention for an active rotation of a vector.

Centre the cube at the origin with faces having normals $\pm e_1,\pm e_2,\pm e_3$. Every rotational symmetry fixes the centre and permutes these normals, so its rotation matrix is a signed permutation matrix of determinant one. Conversely any such matrix permutes the cube’s coordinates up to signs and preserves the cube. For each of $3!$ coordinate permutations, four of the eight choices of signs give determinant one. Consequently the rotational symmetry group of a cube hasThis counts the rotations directly, without an unverified stabilizer calculation. The TeX’s $2^k$ is damaged transcription: the PDF prints 24.

Let $X$ be the $3^6$ face colourings. A colouring fixed by a rotation must be constant on each permutation cycle of faces, giving $3^c$ fixed colourings if the rotation has $c$ face cycles. The rotation types are:

There are three face axes, each with two quarter-turns and one half-turn; six edge axes, each with one half-turn; and four vertex axes, each with two nonidentity third-turns. These rotations are distinct and, with the identity, total 24, so the table is exhaustive. Face-axis rotations fix their two axial faces; the remaining four faces cycle or pair. Edge half-turns pair all faces, while vertex third-turns form two triples.

Burnside lemma now givesThe three colours are labelled, orthogonal reflections are excluded, and no condition requires every colour to appear.

Assume first $0<k<N$. Define the orthonormal quantum statesand $\theta \in (0,\pi /2)$ by $\sin \theta =\sqrt{k/N}$. The relevant invariant subspace is the two-dimensional span of these quantum states, not the entire Hilbert space. The uniform quantum superposition is $|{\psi }_0⟩=\cos \theta |B⟩+\sin \theta |G⟩$.

In the ordered orthonormal basis $(|B⟩,|G⟩)$, the marked-state phase oracle is the reflection operator $I_G=\mathrm{diag}(1,-1)$. Since $I_0=I-2|0^n⟩⟨0^n|$, conjugation by the Walsh-Hadamard transform gives the Grover diffusion operatorIt is the reflection in the line through $|{\psi }_0⟩$. The product of these two reflection operators is a rotation matrix by $2\theta$ toward the marked quantum state:Thus the Born rule gives $P_j={\sin }^2((2j+1)\theta )$. Choose a nonnegative integer $j_{\ast }$ nearest to $\pi /(4\theta )-1/2$. Rounding changes the angle from $\pi /2$ by at most $\theta$, soEach Grover search algorithm iteration uses one marked-state phase oracle query; all other gates are known. A final quantum measurement in the computational basis therefore produces a uniformly chosen marked item, conditional on success, with probability better than one half when $k<N/2$. This uses the supplied marked count $k$ to select the stopping time; an unknown $k$ needs an additional search schedule or counting procedure. If $k=N$, no oracle query is needed; if $k=0$, no marked item exists, so a successful search is impossible.

For multi-indices $\alpha ,\beta$, defineThese seminorms define the Fréchet space topology of the Schwartz space: ${\phi }_j\to \phi$ exactly when every $p_{\alpha ,\beta }({\phi }_j-\phi )$ tends to zero. An equivalent increasing family isA tempered distribution is a continuous linear functional on this space. Equivalently, $|⟨T,\phi ⟩|\le C{q}_m(\phi )$ for some $C,m$. The usual weak convergence of tempered distributions means $⟨T_j,\phi ⟩\to ⟨T,\phi ⟩$ for every fixed Schwartz function. The strong dual topology instead requires uniform convergence on every subset of the Schwartz space that is a bounded set in a topological vector space; the Fourier maps below are continuous in both topologies.

Using $\hat{\phi }(\xi )=\int e^{-ix\cdot \xi }\phi (x)dx$, differentiation under the integral and integration by parts giveThe omitted coefficient has modulus one. By the Leibniz rule, every integrand is a finite sum of a polynomial times a derivative of $\phi$. Inserting the integrable weight $(1+|x|{)}^{-n-1}$ bounds its L1 norm by finitely many Schwartz space seminorms. In particular $q_m(\hat{\phi })\le C_m{q}_{m+n+1}(\phi )$. Thus the Fourier transform maps $\mathcal{S}$ continuously into itself.

For completeness, the Fourier inversion theorem follows here by Gaussian regularization. The inverse transform of $e^{-t|\xi {|}^2}$ is $g_t(x)=(4\pi t{)}^{-n/2}{e}^{-|x{|}^2/(4t)}$. The Fourier transform of a Gaussian and Fubini's theorem showAs $t\downarrow 0$, the right side tends to $\phi (x)$ by the approximate identity property, while the left side tends to the undamped inverse integral by dominated convergence theorem, since $\hat{\phi }\in L^1$. HenceThe inverse is $(2\pi {)}^{-n}$ times reflection composed with the continuous Fourier transform, and is therefore continuous on the Schwartz space. This proves a continuous linear isomorphism with continuous inverse.

Define the Fourier transform of a tempered distribution byThe continuous map on Schwartz space makes this a tempered distribution; the transpose of ${\mathcal{F}}^{-1}$ supplies its inverse. Pointwise convergence of pairings proves weak continuity. For the strong dual topology, the transform of a bounded set of Schwartz functions is bounded, so uniform convergence of pairings on bounded sets proves continuity of both Fourier maps there too.

Now let $R\in SO(n)$ be a rotation matrix in the special orthogonal group and write ${\rho }_{R}T=T\circ R$. A change of variables with unit Jacobian givesThe rotation equivariance of the Fourier transform on tempered distributions follows by duality:Therefore $\widehat{{\rho }_{R}T}={\rho }_R\hat{T}$. Applying this identity and the inverse Fourier transform gives the two directions:This is precisely preservation of radial tempered distributions. For $n>1$, $SO(n)$ acts transitively on spheres, so an invariant smooth function is an ordinary radial function.

A nematic director is an unoriented axis: $\mathbf{n}$ and $-\mathbf{n}$ describe the same molecular alignment. A vector average cannot represent this head-tail symmetry. The orientational second moment $⟨n_i{n}_j⟩$ is a symmetric second-rank tensor, and removing its isotropic part gives the traceless second-rank tensor $Q_{ij}\propto ⟨n_i{n}_j-{\delta }_{ij}/2⟩$. It vanishes for an isotropic angular distribution and transforms correctly under rotation matrices.

Every nonzero real symmetric traceless $2\times 2$ matrix has eigenvalues $\lambda /2,-\lambda /2$ and can be written $Q=\lambda (\mathbf{n}{\mathbf{n}}^{\mathsf{T}}-I/2)$ by choosing the eigenvector of the positive eigenvalue as director and $\lambda \ge 0$. Consequently $\mathrm{Tr}{Q}^2={\lambda }^2/2$. The bulk Landau-de Gennes free energy becomesFor $a<0$, its minimum occurs at ${\lambda }^2=-a/b$. The elastic density $K|\nabla \cdot Q{|}^2/2$ is nonnegative and vanishes for a uniform field. Thus, with no boundary condition imposing a texture, the pointwise lower bound is attained byThe negative-amplitude representation is equivalent in two dimensions to rotating the director by $\pi /2$, so the positive choice loses no tensor minima. This is minimization of the specified coarse-grained functional, not a claim of true thermodynamic long-range nematic order at every temperature in an infinite two-dimensional system. The PDF explicitly uses the divergence elastic term; the TeX's $|\nabla Q{|}^2$ loses the dot and would give different elastic coefficients.

The characteristic polynomial of the displayed rotation matrix is $(1-\lambda )({\lambda }^2-2\lambda \cos \theta +1)$, so its eigenvalues are $1,e^{i\theta },e^{-i\theta }$, all of modulus one. The real eigenvector $(0,0,1{)}^T$ spans the rotation axis, while the arguments $\pm \theta$ of the conjugate eigenvalues record the rotation angle on its perpendicular plane.

Applying first the $z$-rotation and then the $x$-rotation givesIts $1$-eigenspace is spanned by $(1,-1,1{)}^T$, so $\mathbf{n}=(1,-1,1{)}^T/\sqrt{3}$. The matrix trace identity $\mathrm{tr}R=1+2\cos \varphi$ gives $0=1+2\cos \varphi$. Thus $\varphi =2\pi /3$.

The basic Galilean transformations include spacetime translations ${\mathbf{x}}^{\prime }=\mathbf{x}-\mathbf{a}$, $t^{\prime }=t-b$; spatial rotations ${\mathbf{x}}^{\prime }=R\mathbf{x}$, $t^{\prime }=t$; and boosts ${\mathbf{x}}^{\prime }=\mathbf{x}-\mathbf{v}t$, $t^{\prime }=t$, where $R$ is a rotation matrix and $\mathbf{v}$ is constant.

Spatial homogeneity says that the velocity of $B$ relative to $A$ depends only on their separation. Comparing both galaxies with $C$ givesThus $\mathbf{v}(\mathbf{x}-\mathbf{y})=\mathbf{v}(\mathbf{x})-\mathbf{v}(\mathbf{y})$, so continuity of the macroscopic velocity field turns this Cauchy functional equation into a linear map:Isotropy requires $RH=HR$ for every rotation matrix $R$. The only such rank-two tensor is a scalar multiple of the identity, and henceThis is the Hubble law. A comoving galaxy has physical position $\mathbf{r}(t)=a(t)\mathbf{x}$, so

The rotation matrix $e^{xA}$ commutes with $C$ and is orthogonal, soSince $C^n=\mathrm{diag}(1,(-1{)}^n,(-1{)}^n)$,

Let $\Pi$ be the orthogonal projection onto the good linear subspace $\mathcal{G}$, and let $|\psi ⟩$ be a prepared unit vector with $p=⟨\psi |\Pi |\psi ⟩$. For $0<p<1$, defineThe amplitude amplification theorem states that, if the reflection operators about the initial state and the good subspace can be implemented, the iterationsatisfiesTo prove it, the two reflections preserve the linear span of $|g⟩,|b⟩$. In this ordered orthonormal basis, direct multiplication givesMultiplying this rotation matrix by $(\sin \alpha ,\cos \alpha {)}^T$ replaces $\alpha$ by $\alpha +2\theta$, proving the formula by mathematical induction.

For known $0<p\le 1/2$, choose $j$ to be a nearest nonnegative integer to $\pi /(4\theta )-1/2$. Then $|(2j+1)\theta -\pi /2|\le \theta$, so measurement finds the good subspace with probability at least $1-p$, using $O(p^{-1/2})$ iterations. For $p>1/2$, measurement of the initial state already has constant success probability. If $p=1$ success is certain; if $p=0$ these reflections cannot create any good component. If $|\psi ⟩=A|0⟩$, the initial-state reflection is $A(2|0⟩⟨0|-I)A^{†}$, implemented using quantum state preparation and its inverse quantum circuit.

Because $H_n|0^n⟩=|{\psi }_0⟩$,which is the reflection operator in the line spanned by $|{\psi }_0⟩$. Meanwhile $I_G$ changes the sign of every good basis state and fixes every bad basis state; onit is the reflection in the $|{\psi }_B⟩$ axis. Both reflections preserve $\mathcal{P}$, so their product $Q$ does too.

WriteIn Euclidean geometry, the composition of reflections in two lines through the origin has a rotation matrix through twice the oriented angle between the lines. Hence $Q$ rotates the good-bad plane by $2\theta$ from $|{\psi }_B⟩$ toward $|{\psi }_G⟩$. In particular, the Grover rotation angle formula is

Write $\xi =V_1$, $\eta =\varphi$, and $u_j=d^{j}u/d{x}^j$. On the jet space of a scalar ordinary differential equation, definewhere the total derivative operator isThe order-$N$ prolongation of a vector field is

In the coordinates $(x,u)$, the given action of the special orthogonal group isDifferentiating at $s=0$ gives the infinitesimal generator of a Lie point symmetryso $\xi =u$ and $\eta =-x$. The recursive formula givesandTherefore the second prolongation of the rotation generator for plane graphs is

For ${\Delta }_0=u_{xx}$,which vanishes when ${\Delta }_0=0$. Forwe obtainwhich likewise vanishes on the equation. This is the infinitesimal invariance criterion for both equations.

Geometrically, $u_{xx}=0$ describes straight lines. The signed curvature of a plane graph isso the second equation says $\kappa =1$ and describes consistently oriented arcs of unit circles. Rotation preserves straight lines, circles, and signed curvature, explaining both invariances.

A plane reflection has determinant $-1$, while a rotation matrix has determinant $+1$. The determinant of their product, in either order, is therefore $-1$. Since every rotation has determinant $+1$, such a product can never be another rotation.

An anticlockwise rotation matrix and reflection in the $x$-axis areThe columns of $R$ are the images of the standard coordinate vectors, while $M(x,y{)}^T=(x,-y{)}^T$.

Let a change of orthonormal coordinates be represented by a rotation matrix $R$. Since both angular momentum and angular velocity are vectors,Using $L_i=I_{ij}{\omega }_j$ in both frames givesfor every vector $\mathbf{\omega }$. Multiplication by $R^{-1}=R^T$ yieldswhich is exactly the transformation law for a rank-two tensor. Thus $I_{ij}$ is a rank-two tensor.

Put $\mathbf{r}=\mathbf{x}-\mathbf{a}$. The vector triple product givesThereforeAt the centre of mass,Expanding the first formula, the terms linear in $x_i$ vanish because the centre of mass is the origin, while $\rho {\int }_{B}dV=M$. Hence the parallel axis theorem in tensor form is

Put $\sqrt{p}=\sin \theta$ and $\sqrt{1-p}=\cos \theta$, where $0<\theta <\pi /2$. In the ordered basis $(|b⟩,|g⟩)$, the product of the two reflections isThe leading minus sign is a physically irrelevant global phase. The remaining rotation matrix rotates the good-bad plane through $2\theta$, whereEquivalently, one iterate changes the initial angle $\theta$ to $3\theta$.

For any integer $n\ge 1$, let $R=R_{2\pi /n}$ in the stabilizer subgroup from i. Since $R_{\theta }{R}_{\varphi }=R_{\theta +\varphi }$ and $R_{\theta }=I$ exactly when $\theta \in 2\pi \mathbb{Z}$, this rotation matrix has order exactly $n$. Thereforeis a subgroup of $G$ of order $n$, including the trivial case $n=1$.

For infinitely many non-Abelian examples, let $n\ge 3$, retain $R=R_{2\pi /n}$, and take the half-turnDirect multiplication gives $J^2=I$ and $JRJ=R^{-1}$. Every word in $R,J$ therefore reduces to $R^k$ or $R^{k}J$, $0\le k<n$. The $R^k$ are distinct, as are the $R^{k}J$, and no element from the first family equals one from the second: they send $N$ to $N$ and $-N$, respectively. Hence $⟨R,J⟩$ has exactly $2n$ elements and is a dihedral group.

It is non-Abelian because $R\ne R^{-1}$ for $n\ge 3$, so $JR\ne RJ$. Different values of $n$ give different group orders, and therefore different subgroups. Thus $G$ has infinitely many non-Abelian subgroups, already among its finite subgroups.

For $X\in {\mathrm{SO}}_3(\mathbb{R})$, the defining identity $X^{T}X=I$ givesThus an orthogonal transformation preserves the Euclidean norm and sends the unit sphere to itself. Restricting the given group action to this invariant set preserves both action axioms.

If $XN=N$, the first column of $X$ is $N=e_1$. The other columns are unit vectors perpendicular to it, so the first row is also $(1,0,0)$. Hence $X=\mathrm{diag}(1,B)$ with $B^{T}B=I_2$ and $\det B=1$. Conversely, every such matrix lies in $G$ and fixes $N$. Since every element of the special orthogonal group in two dimensions has the planar rotation matrix form, the stabilizer subgroup isGeometrically these are exactly the rotations in three dimensions about the first coordinate axis.

The straight line $2x=y=z$ has direction vector $(1,2,2)$, so take the unit vector $\mathbf{n}=(1,2,2{)}^T/3$. A half-turn has $\cos \pi =-1$ and $\sin \pi =0$. The preceding rotation formula becomesThus the rotation matrix in the standard basis isIt fixes $(1,2,2{)}^T$ and negates every vector in its orthogonal complement, which also checks the half-turn geometrically.