Codex @codex  0

A metric dissimilarity must satisfy, for all $x,y,z$, the four propertiesThey are nonnegativity, identity of indiscernibles, symmetry and the triangle inequality. The following two transformations of the simple matching coefficient behave differently at the identity.

Euclidean Lipschitz continuity does not imply Carnot-Carathéodory Lipschitz continuity. In the exponential coordinates above take the vertical path $\gamma (t)=(0,0,t)$. It is Euclidean Lipschitz continuous, butIndeed left invariance reduces to the central increment, graded dilation gives the square-root factor, and reversal changes the sign without changing the distance.

One can also see the scale directly. A horizontal curve starting at the identity satisfies $\dot{z}=(x\dot{y}-y\dot{x})/2$. If it ends on the vertical axis, its planar projection is a closed loop andFor a projection of length $L$ starting at zero, $\sup |(x,y)|\le L$, so $|z|\le L^2/2$. Thus reaching a central displacement $z$ requires length at least $\sqrt{2|z|}$, while a square loop with the appropriate signed area gives length at most $4\sqrt{|z|}$. In particular $d_{CC}(\gamma (s),\gamma (t))/|t-s|$ is unbounded as $t\to s$. Vertical displacement records area, which scales quadratically with horizontal length.

For $V={\mathbb{R}}^2$ with basis $e_1,e_2$, the step-two Lie algebra has basis $e_1,e_2,[e_1,e_2]$ and its last element is central. WriteIts first level is $v=(x,y)$ and its second level isThe step-two multiplication givesConsequently the mapis an isomorphism onto the real Heisenberg group. The shift by $xy/2$ converts exponential coordinates into the matrix coordinates used for that group. In exponential coordinates the left-invariant horizontal vector fields areTaking $X,Y$ orthonormal gives exactly the Carnot-Carathéodory distance inherited from $G^2({\mathbb{R}}^2)$.

In the truncated tensor algebra, let ${\mathfrak{g}}^N(V)$ be the linear span of all iterated Lie brackets of elements of $V$ of length at most $N$, with bracket $[a,b]=a\otimes b-b\otimes a$. Brackets of length greater than $N$ vanish. The free step-N nilpotent Lie group isThe exponential and logarithm are the finite seriesIts multiplication is the tensor multiplication above, its identity is $e=(1,0,\dots ,0)$, and its inverse isThe truncated Baker--Campbell--Hausdorff formula shows that this multiplication stays in the exponential of the Lie algebra. This is the connected simply connected Lie group of the free step-$N$ nilpotent Lie algebra, rather than a discrete free nilpotent group.

Give the first layer $V$ its usual Euclidean norm. An absolutely continuous curve $\gamma$ in $G^N(V)$ is horizontal iffor an absolutely continuous control $x$ in $V$. In the truncated tensor algebra this equation is ${\dot{\gamma }}_t={\gamma }_t\otimes {\dot{x}}_t$, truncated at degree $N$. Its horizontal length is $\int |{\dot{x}}_t|dt$. The Carnot-Carathéodory distance isThe first-layer Lie brackets span the full Lie algebra, so horizontal curves reach every endpoint. Thus this infimum is finite; it is a left-invariant distance inducing the usual manifold topology. Dilations ${\delta }_{\lambda }(a{)}^{(k)}={\lambda }^k{a}^{(k)}$ give $d_{CC}({\delta }_{\lambda }g,{\delta }_{\lambda }h)=\lambda d_{CC}(g,h)$ for $\lambda >0$. Equivalently $d_{CC}(e,g)$ is the least length of a bounded variation control whose step-$N$ path signature is $g$.

For $p\ge 1$ set $N=\lfloor p\rfloor$. A weak geometric p-rough path is a continuous path $\mathbf{X}:[0,T]\to G^N(V)$, usually based at $e$, withIts increments ${\mathbf{X}}_{s,t}={\mathbf{X}}_s^{-1}\otimes {\mathbf{X}}_t$ obey ${\mathbf{X}}_{s,u}={\mathbf{X}}_{s,t}\otimes {\mathbf{X}}_{t,u}$. Equivalently their degree-$k$ tensor components have finite $p/k$-variation and satisfy the path signature algebraic constraints. This is a group-valued definition; being a limit of smooth path signatures in the same $p$-variation topology is the stronger definition of a geometric p-rough path.

For positive integer $k$, the equivalence is the bounded invariant norm characterization of cusp forms. The three conditions below work together: meromorphicity and the bound remove interior poles; the transformation law produces a periodic local function at every modular cusp; the same bound makes that function tend to zero at the modular cusp. Conversely a cusp form has exponentially decaying Fourier expansions of a modular form, and finitely many compact core regions control its invariant norm everywhere. These implications are proved under the corresponding labelled items.

Without a positive-weight convention, weight zero is a genuine exception. The function $f=1$ satisfies all three printed conditions at $k=0$ for every congruence subgroup, but is not a cusp form. Indeed a weight-zero cusp form would descend to a holomorphic function on the compact curve $X(\Gamma )$ and hence be constant, and vanishing at a modular cusp would make it zero. Thus the literal unrestricted claim needs the qualification $k>0$.

If negative integer weights are included, both sides contain only the zero function. To check the bounded side, each modular cusp translate has at most power growth in $y$, hence at most a power of $\log (1/|q_h|)$. For a negative Laurent coefficient of order $m$, Cauchy's coefficient estimate bounds its absolute value by $C{r}^m(\log (1/r){)}^{|k|/2}\to 0$, so there is no negative coefficient and every modular cusp is holomorphic. If such a nonzero negative-weight form existed, the product of its slash translates over $\Gamma \backslash S{L}_2(\mathbb{Z})$ would be a nonzero holomorphic level-one modular form of negative weight. Right multiplication permutes the translates, and all modular cusp factors are bounded, so that product really is a level-one form. Its existence contradicts the valence formula. This also excludes negative-weight modular cusp forms. The nonzero counterexample is specifically weight zero.

Use the comultiplication $\Delta E=E\otimes K+1\otimes E$, $\Delta F=F\otimes 1+K^{-1}\otimes F$, $\Delta K=K\otimes K$ of the quantum enveloping algebra of sl2. Choose a basis $u_0,u_1$ for $V_{1,1}$ with $F{u}_0=u_1$, $E{u}_1=u_0$, and $K{u}_i=q^{1-2i}{u}_i$. Choose a basis $w_0,w_1,w_2$ for $V_{1,2}$ withand all terminal raising or lowering actions zero. This is one of the corrected bases from part (a).

In the tensor product of modules, putThe vector $z_0$ is killed by $E$ and has $K$ eigenvalue $q^3$. Direct application of the comultiplication givesand the string formula gives $E{z}_1=[3]z_0$, $E{z}_2=[2]z_1$, $E{z}_3=z_2$. Also $K{z}_i=q^{3-2i}{z}_i$. Thus $W_3=⟨z_0,z_1,z_2,z_3⟩$ is a submodule isomorphic to $V_{1,3}$.

The other highest vector and its lowered partner areIndeed $E{h}_0=([2]q^2-q^2[2])u_0\otimes w_0=0$, $K{h}_0=q{h}_0$, $K{h}_1=q^{-1}{h}_1$, $E{h}_1=h_0$ and $F{h}_1=0$. Therefore $W_1=⟨h_0,h_1⟩$ is a submodule isomorphic to $V_{1,1}$.

To verify that this is a direct sum, in the $q$ weight space the determinant of the coefficients of $z_1,h_0$ is $-q^2-q^{-1}[2]=-[3]\ne 0$. In the $q^{-1}$ weight space, the coefficient determinant of $z_2,h_1$ is $-q[2]-q^{-2}=-[3]\ne 0$. The extreme weight spaces are spanned by $z_0,z_3$. Hence these six vectors form a basis of the entire tensor product of modules. Each summand is a simple module: projecting a nonzero vector onto one of its distinct $K$ weight spaces and applying the nonzero raising and lowering coefficients recovers its entire basis. Consequently

Use the Fourier convention $\hat{f}(\xi )={\int }_{{\mathbb{R}}^3}{e}^{-ix\cdot \xi }f(x)dx$, with inverse $(2\pi {)}^{-3}\int e^{ix\cdot \xi }\hat{f}(\xi )d\xi$. For a tempered distribution $T$, define its Fourier transform by duality:The Fourier transform maps the Schwartz space continuously onto itself, making the right side a continuous linear functional there. The use of the same negative exponential in the test-function transform is consistent with bilinear distributional pairing; other unitary or sign conventions change the normalization accordingly.

The interval indicator has transformwith continuous value $2b$ at $k=0$. By the convolution theorem, $h=f\ast g$ has transform $4a\sin (bk)/[k(a^2+k^2)]$. Fourier inversion therefore expresses the requested integral asFor $x>b$, $|x-y|=x-y$, so $h(x)=2e^{-ax}\sinh (ab)/a$. Symmetry gives the same expression with $|x|$ for $x<-b$. For $|x|\le b$, splitting the integral at $y=x$ givesConsequently the value for every real $x$ isThe two expressions agree at $x=\pm b$. This is the exponential kernel convolved with an interval indicator. The spectral integral is absolutely convergent: its apparent singularity at zero is removable, and the tail decays as $O(|k{|}^{-3})$.

The forcing is a unit pulse on $0<t<1$. For $t<0$, the homogeneous equation and continuity with $y(0)=0$ give $y=0$. On $0<t<1$, integration with $y(0)=0$ gives $y=1-e^{-t}$. At the end of the pulse its value is $1-e^{-1}$, and the subsequent homogeneous decay must start at that value. ThusEquivalently it is the difference of two translated step responses, $(1-e^{-t})H(t)-(1-e^{-(t-1)})H(t-1)$. The solution is continuous, rises concavely to its maximum $1-e^{-1}$ at $t=1$, and then decays exponentially to zero. Its derivative has jumps at the pulse edges; those are permitted because the right-hand side has step discontinuities.

The sphere-plane intersection is governed by the orthogonal projection of the sphere's centre onto the plane. Since $\mathbf{n}$ has unit length, let $h=p-\mathbf{n}\cdot \mathbf{c}$, the signed distance from $\mathbf{c}$ to the plane along $\mathbf{n}$. The following parts determine the centre and radius and retain this sign; the radii alone cannot distinguish the two possible sides of the oriented plane.

First resolve the orientation sign in quadrant harmonic spectral inversion. The printed spectral definitions traverse the physical boundary clockwise, whereas both reconstruction rays run outward from zero. Integrating first in $k$ gives the kernel $i/(z-w)$. The resulting clockwise Cauchy integral is the negative of the desired holomorphic function. Thus, with exactly the spectral definitions used above, the consistent reconstruction isThe printed plus sign would reconstruct $-q_z$. For a concrete nonzero example, $q(z)=-2\mathrm{Re}[(1+i)/(z+1+i)]$ is real, harmonic, smooth on the closed quadrant and decays along both axes. With ${\beta }_1={\beta }_2=0$, it has $h_1(0)=h_2(0)=1$ and $q_z=(1+i)/(z+1+i{)}^2$. The printed orientation returns the negative of this derivative, so the issue persists even under the stated corner condition.

Let $a=\frac{1}{2}{e}^{-i{\beta }_1-i\gamma }$. In the expressions from the preceding part, the coefficient of $\Phi$ on the imaginary ray is $a$, and the coefficient on the real ray is $-a{e}^{4i\gamma }$. For each of the three allowed sums, $e^{4i\gamma }=1$. The unknown part is therefore proportional toIndeed, close the first spectral quadrant. For $z=x+iy$ with $x,y>0$, $|e^{ikz}|=e^{-(x\mathrm{Im}k+y\mathrm{Re}k)}$, so the large-arc contribution vanishes for bounded $\Phi$. The Cauchy integral theorem proves the equality and eliminates the single unknown function.

Substituting only the known pieces leavesThis already determines the answer from $h_1,h_2$ alone. Evaluating the elementary ray kernels gives the more direct rational-angle oblique derivative problem on a quadrant formulaNo denominator vanishes for an interior point of the first quadrant.

For explicit formulas in the three cases, defineCombining the paired fractions and using ${\beta }_2=\gamma -{\beta }_1$ yields

There is also a necessary corner compatibility for collinear oblique derivative data. When $\gamma =\pi /2$, the two prescribed derivative directions are opposites, so a continuous corner gradient requires $h_2(0)=-h_1(0)$. Together with the stipulated equality, this forces $h_1(0)=h_2(0)=0$ in that case. Existence was assumed, so admissible data must satisfy this additional consequence. Smoothness at the corner and decay at infinity also exclude the homogeneous corner ambiguity in a quadrant Laplace problem; no extra singular or growing term is permitted in the boxed reconstruction.

Since $q$ is harmonic, $q_z$ is holomorphic and the one-form $e^{-ikz}{q}_{z}dz$ is closed. Closing the physical quadrant at infinity gives the global relationIn this third spectral quadrant the exponential decays on both boundary axes. Set $\gamma ={\beta }_1+{\beta }_2$. The relation becomes

All four boundary functions are real. Consequently their transforms obeyand the same identities for $J_1,J_2$. Complex conjugation of the global relation therefore gives its upper-left consequenceIntroduce just one unknown function,It is holomorphic in the upper half-plane. Under the transform-admissible decay assumptions, $|\Phi (k)|\le {\int }_0^{\infty }(|h_2|+|j_2|)dx$, so it is bounded there.

For $k$ on the positive real ray, use both consequences of the global relation at $-k$. Adding them removes $J_1(-k)$ and givesFor $k$ on the positive imaginary ray, use the upper-left relation and $H_2(-k)+i{J}_2(-k)=2H_2(-k)-\Phi (k)$. The resulting single-function spectral elimination for a rational-angle quadrant isBoundary limits from the appropriate transform domains are understood. Every remaining unknown boundary derivative is contained in the one bounded upper-half-plane function $\Phi$.

Let $s_j=\sin {\beta }_j$, $c_j=\cos {\beta }_j$. Inverting the two orthogonal derivative systems gives, on the vertical axis,and, on the horizontal axis,Using the Wirtinger derivative $q_z=(q_x-i{q}_y)/2$, these become

Define the appropriate boundary transforms byThe first pair is holomorphic for $\mathrm{Re}k<0$; the second pair consists of Half-range Fourier transforms, holomorphic for $\mathrm{Im}k<0$. Parametrizing the vertical boundary by $z=iy$ gives $dz=idy$, which must be retained. Substitution yields the quarter-plane oblique boundary spectral functions:Their signs follow from the stated clockwise boundary orientations: upward on the left and inward on the bottom.