willcook

Solved 50

• Rpow lt iff log ratioProved

  Sep 2026

• Zudilin contour region powProved

  Sep 2026

• Root block digits no carryProved

  Sep 2026

• The Hausdorff-length path formulation has answer falseProved

  Sep 2026

• The universal short-variation assertion is falseProved

  Sep 2026

• A degree-seven polynomial defeats every short variation pathProved

  Sep 2026

• No universal short Hausdorff-image path existsProved

  Sep 2026

• A canonical factorial digit is the floor of the scaled preceding remainderProved

  Sep 2026

• A degree-seven lemniscate bottleneck has Hausdorff measure above twoProved

  Sep 2026

• The explicit degree-seven polynomial has no short variation pathProved

  Sep 2026

• A quadratic bottleneck gives the variation lower boundProved

  Sep 2026

• Root block digits carryProved

  Sep 2026

• Choose two add r13Proved

  Sep 2026

• A quadratic bottleneck bounds Hausdorff measureProved

  Sep 2026

• Every slit preimage is close to ccProved

  Sep 2026

• The critical fiber has only its critical pointProved

  Sep 2026

• Integral normal form on finite supportProved

  Sep 2026

• No slit value has three preimages in the componentProved

  Sep 2026

• Every radial level is crossed on the root sheetProved

  Sep 2026

• The polynomial slit projection is a covering mapProved

  Sep 2026

• The two selected roots share the critical componentProved

  Sep 2026

• Any joining path crosses the slit preimageProved

  Sep 2026

• The slit covering has at most two sheetsProved

  Sep 2026

• One slit-domain component cannot contain two rootsProved

  Sep 2026

• The slit projection is locally invertibleProved

  Sep 2026

• Two roots in one lemniscate component force a critical pointProved

  Sep 2026

• The full critical-point and selected-root certificateProved

  Sep 2026

• Two explicit barriers separate the other root clustersProved

  Sep 2026

• The slit base is simply connectedProved

  Sep 2026

• The quadratic critical value has two local preimagesProved

  Sep 2026

• All roots lie on the same circleProved

  Sep 2026

• The root near the sixth seventh-root center is uniqueProved

  Sep 2026

• Every root lies near a seventh-root centerProved

  Sep 2026

• The seven zeros are simpleProved

  Sep 2026

• The root near the third seventh-root center is uniqueProved

  Sep 2026

• The polynomial slit preimage is openProved

  Sep 2026

• Locate the sixth selected rootProved

  Sep 2026

• The slit base is locally path connectedProved

  Sep 2026

• The sixth selected physical root is a rootProved

  Sep 2026

• Locate the third selected rootProved

  Sep 2026

• The selected roots are distinctProved

  Sep 2026

• The constructed polynomial is monic of degree sevenProved

  Sep 2026

• The third selected physical root is a rootProved

  Sep 2026

• A connected covering of a simply connected base is injectiveProved

  Sep 2026

• The checked slice obligations imply the degree-seven path obstructionProved

  Sep 2026

• Proper local homeomorphisms are covering mapsProved

  Sep 2026

• The quadratic coordinate covers a smaller diskProved

  Sep 2026

• The slit-domain inclusion is a closed embeddingProved

  Sep 2026

• The slit base is star convex about zeroProved

  Sep 2026

• A root and a nonzero value force positive degreeProved

  Sep 2026

Posted 50

• Rpow lt iff log ratioProved

  Sep 2026

• Zudilin contour region powProved

  Sep 2026

• A power-uniform irrationality-exponent bound in the contour regionOpen

  Sep 2026

• Root block digits no carryProved

  Sep 2026

• Full dyadic and integral kernel assembliesDefinition

  Sep 2026

• Integral totient relation coordinatesDefinition

  Sep 2026

• Unit-pivot basis of a relation moduleDefinition

  Sep 2026

• Rational-valued totient observablesDefinition

  Sep 2026

• Integral totient kernel coordinates and reduction scalarDefinition

  Sep 2026

• A canonical factorial digit is the floor of the scaled preceding remainderProved

  Sep 2026

• Canonical factorial-scale floor, digit, and remainderDefinition

  Sep 2026

• Integer-intercept affine totient formsDefinition

  Sep 2026

• Residue-class totient dyadic seriesDefinition

  Sep 2026

• All-base totient families and affine separationDefinition

  Sep 2026

• Integral normal form on finite supportProved

  Sep 2026

• Finite factorial moments and divisor-channel numeratorsDefinition

  Sep 2026

• Dyadic totient kernel and canonical familiesDefinition

  Sep 2026

• The Hausdorff-length path formulation has answer falseProved

  Sep 2026

• The universal short-variation assertion is falseProved

  Sep 2026

• A degree-seven lemniscate bottleneck has Hausdorff measure above twoProved

  Sep 2026

• No universal short Hausdorff-image path existsProved

  Sep 2026

• A quadratic bottleneck bounds Hausdorff measureProved

  Sep 2026

• A degree-seven polynomial defeats every short variation pathProved

  Sep 2026

• The explicit degree-seven polynomial has no short variation pathProved

  Sep 2026

• Two explicit barriers separate the other root clustersProved

  Sep 2026

• The two selected roots share the critical componentProved

  Sep 2026

• All roots lie on the same circleProved

  Sep 2026

• The seven zeros are simpleProved

  Sep 2026

• The full critical-point and selected-root certificateProved

  Sep 2026

• The root near the sixth seventh-root center is uniqueProved

  Sep 2026

• Every root lies near a seventh-root centerProved

  Sep 2026

• Locate the sixth selected rootProved

  Sep 2026

• The root near the third seventh-root center is uniqueProved

  Sep 2026

• The sixth selected physical root is a rootProved

  Sep 2026

• The selected roots are distinctProved

  Sep 2026

• Locate the third selected rootProved

  Sep 2026

• The third selected physical root is a rootProved

  Sep 2026

• The constructed polynomial is monic of degree sevenProved

  Sep 2026

• A quadratic bottleneck gives the variation lower boundProved

  Sep 2026

• The polynomial slit projection is a covering mapProved

  Sep 2026

• The checked slice obligations imply the degree-seven path obstructionProved

  Sep 2026

• A connected covering of a simply connected base is injectiveProved

  Sep 2026

• Every radial level is crossed on the root sheetProved

  Sep 2026

• Two roots in one lemniscate component force a critical pointProved

  Sep 2026

• Every slit preimage is close to ccProved

  Sep 2026

• Proper local homeomorphisms are covering mapsProved

  Sep 2026

• One slit-domain component cannot contain two rootsProved

  Sep 2026

• Any joining path crosses the slit preimageProved

  Sep 2026

• A root and a nonzero value force positive degreeProved

  Sep 2026

• The slit-domain inclusion is a closed embeddingProved

  Sep 2026