If and a convex polytope satisfies , then it has at least facets. Its outward facet normals define spherical caps covering the unit sphere; the spherical cap area upper bound supplies the estimate.
Encode a vertex of a polytope by three bits: bit records whether the lower or upper bound of coordinate is tight. Every choice is possible because , and the triangular active equations determine that vertex of a polytope uniquely. Its three adjacent vertices of a polytope are obtained by changing one bit. The geometric Bland pivoting rule specified here chooses the smallest-index active facet that can be left while increasing . It produces the following path; the final column records the facet left on arrival at the next vertex of a polytope:
For example, at the origin all three outgoing edges improve the objective, but leaving facet 1 has priority. At bit string , switching bit 2 decreases , so the rule switches bit 1, leaving facet 2. At , neither of the earlier-coordinate switches improves , so the rule finally leaves facet 5. The upper face reverses the direction in which changes of improve , and the remaining three horizontal pivots follow. The objective values in the table are strictly increasing for the stated range of .
Figure 1.
Seven Bland pivots through all eight vertices of the Klee-Minty cube, with epsilon equal to one quarter
. Details.
Thus the simplex method takes seven pivots although the optimum is directly adjacent to the starting point. The same Klee-Minty cube in dimensions has inequalities and vertices of a polytope. On its lower last-coordinate face, increasing means increasing , and the first coordinates follow the corresponding lower-dimensional path before the last-coordinate facet can be left. On the upper face, increasing means decreasing , and the smallest-index rule traverses that path in reverse. The reverse-path assertion follows by the same induction, interchanging maximization and minimization on each face. Hence the pivot count satisfies , , and
The usual Bland pivoting rule prevents cycling, including degenerate pivots, but this exponential example shows that it does not give a polynomial worst-case pivot bound. For rational fixed , the constraints have polynomial encoding length. Arithmetic cost per pivot does not remove the exponential obstruction.
For a lower bound that applies to every pivot choice, use and maximize , starting at the origin. Each edge of this cube changes only one coordinate, whereas the unique optimal vertex of a polytope is . Every coordinate must therefore be changed along at least one edge. Every route of adjacent pivots takes at least pivots, and every strictly improving route takes exactly .
For Dantzig pivot rule, the rate is the objective increase per unit entering nonbasic variable, as in standard reduced cost pricing. Rescale the three coordinates by
The transformed linear program still maximizes , now with bounds
When the active facet for coordinate is freed, the other active equations give . The positive rates per unit are therefore
for , respectively. Equivalently, use the nonnegative lower- and upper-bound slack variables of these displayed, normalized inequalities: freeing coordinate changes its entering slack by . Thus Dantzig pivot rule chooses the lowest coordinate index among improving edges and follows the same seven-pivot path. In dimensions set ; the rates give the same pivots. These statements concern coordinate/slack pricing, not objective increase per unit Euclidean edge length, which defines a different pivot rule.
Let be the number of facets of the convex polytope . Its facet description can be written
Because , each supporting closed half-space has . For any , follow the ray to its last point in . Its radius is at most one because . At least one facet is active there, giving
Thus the unit sphere is covered by the spherical caps centred at with angular radius . Since , this radius lies in and the spherical cap area upper bound applies. Subadditivity of surface area gives
Using for ,
The facet lower bound for ball approximations is exponential in the dimension.
Choose a maximal subset whose distinct points have Euclidean distance greater than one. The volumetric bound for Euclidean metric nets makes the construction finite: the open Euclidean balls of radius about the points of are disjoint and all lie in , so
Maximality means that is a metric net of radius one on the unit sphere. Thus every has some with . Since both are unit vectors,
Now intersect the corresponding closed half-spaces:
The Cauchy-Schwarz inequality shows that . Conversely, write any nonzero as and choose as above. Then , so . Hence , which also proves boundedness. This convex polytope has at most facets, since redundant inequalities can only reduce their number. It meets the required inclusions with .
Three suitable examples are cubes bounded mainly by facets, octahedra bounded by facets, and truncated octahedra bounded by both and facets. These are crystallographically distinct shapes rather than three arbitrary rounded particle outlines.
At fixed volume the thermodynamic equilibrium shape minimizes , with an edge/corner correction when particles are very small. In the Wulff construction, facet support-plane distances scale as their interfacial free energies. Silver's clean low-index energies, selective adsorption of ligands or ions, solvent chemical potential and possible support contact alter those energies. Crystal twinning and elastic strain can add further costs or stabilize multiply twinned forms. A face with slow attachment kinetics can also survive during growth even when that morphology is not the thermodynamic equilibrium Wulff shape. Homogeneous nucleation describes where nuclei form; it does not guarantee an thermodynamic equilibrium final shape.
Polyvinylpyrrolidone 2026-10-20
A polymer containing pyrrolidone groups, widely used as a soluble stabilizer or capping agent. In silver nanostructure synthesis its adsorption can affect facet growth and aggregation. Residual polymer can also create electrically resistive nanowire junctions.
Truncated octahedron 2026-10-20
The Archimedean solid obtained by truncating an octahedron, with eight hexagonal faces and six square faces. In an fcc nanocrystal the analogous shape can expose both and facets; the relative facet areas need not equal those of the regular Archimedean solid.
Vertex of a polytope Created 2026-10-07 Updated 2026-10-14
A vertex of a convex polytope is an extreme point: it cannot be expressed as a nontrivial convex combination of two distinct points in that polytope. In a full-dimensional simple polytope of dimension , a vertex lies on exactly incident facets.