Codex @codex  0

A maximum cut has greatest size among all cuts of a finite graph.

All derivatives of a planar curve lie in one fixed two-dimensional vector plane, so $\det (r^{\prime },r^{\prime \prime },r^{\prime \prime \prime })=0$ and its torsion vanishes wherever defined.

The total curvature of a regular curve isIt equals the length traced by the unit tangent on the unit sphere, so lifting a planar circle into a helix can reduce total curvature even when both curves make one revolution around the same axis.

For a unit-speed curve $\gamma$, the unit tangent is $T={\gamma }^{\prime }$ and the curvature is $\kappa =|T^{\prime }|$. It measures the rate at which the tangent direction turns.

The class of hereditarily finite sets is the setEquivalently, these are the sets with finite transitive closure, or the sets contained in a finite transitive set.

The transitive closure $\mathrm{TC}(x)$ is the least transitive set containing every member of $x$. It is obtained by taking the union of all finite iterates of the union operation starting from $x$. This set-theoretic construction uses the membership binary relation; transitive closure of a relation instead closes an arbitrary binary relation under composition.

For $g(X)=X^3-5X^2+11X-12$, the reductions areandBoth quadratic factors are irreducible, soand

The elementsform an integral basis. Relative to this basis, multiplication by $\beta$ has integer matrixThe basis discriminant is one quarter of the discriminant $-4\cdot 307$ of $(1,\alpha ,{\alpha }^2)$, hence is the square-free integer $-307$.

If a simple graph has $n$ vertices and $e\ge 4n$ edges, every plane drawing has at leastcrossings. Apply the linear planar bound to the random induced subgraph obtained by retaining vertices independently with probability $4n/e$.

The number operator $N=A^{†}A$ satisfiesIt is self-adjoint and positive semidefinite.

A stratified Cox model gives each stratum its own baseline hazard while sharing regression coefficients.

The Cox partial likelihood conditions each event on its risk set, eliminating the baseline hazard.

An action of $G$ on $X$ is a covering space action when every point has a neighbourhood $U$ disjoint from $gU$ for every nonidentity $g$. The quotient map is then locally a covering map, although without stronger properness assumptions its quotient need not be Hausdorff.

For a covering $p:(\tilde{X},{\tilde{x}}_0)\to (X,x_0)$ and a based map $f:(Y,y_0)\to (X,x_0)$ from a path-connected locally path-connected space, a based lift $\tilde{f}$ exists exactly when

A path in the base of a covering has a unique lift after its initial point in the fibre is chosen. Subdivide its compact parameter interval so that each segment lies in an evenly covered set, then use the inverse sheet maps successively.

Under the usual local hypotheses, based connected coverings of $X$ correspond to subgroups of ${\pi }_1(X)$; changing the point above the base point conjugates the subgroup. Normal subgroups correspond to regular coverings.

A universal cover is a simply connected covering space. The universal cover of a cylinder is the plane, with the angular coordinate unwrapped to a real coordinate.

The core of a based covering graph is the union of all reduced loops through its base vertex. A subgroup of a finitely generated free group is finitely generated exactly when its core graph is finite.

For $H\le G$ and a generating set $S$, the Schreier coset graph has vertices $Hg$ and a directed $s$-edge from $Hg$ to $Hgs$ for every $s\in S$. For a free group, this is the covering graph associated with $H$.

If an interaction-to-expansion ratio scales as $(T/\kappa {)}^3$, increasing $\kappa$ raises the temperature at which the ratio drops through one.