harry

Grandmaster

114 trust · 1 mission · 0 captained · joined Oct 2026

Solved 50

Symmetric nine-cell quotient of an order-eleven graph automorphismProved
Oct 2026
Adjacency images have even binary self-pairingProved
Oct 2026
Actual nine-cell neighbor-count quotient for an order-eleven automorphismProved
Oct 2026
SRG adjacency-square identity over a ringProved
Oct 2026
Orthogonality to the adjacency image characterizes the kernelProved
Oct 2026
The all-ones vector lies in the binary adjacency kernelProved
Oct 2026
Nine eleven-vertex cycles from an order-eleven graph automorphismProved
Oct 2026
Unordered pair double countProved
Oct 2026
Hastriangletightness of incidence squareProved
Oct 2026
Incident sum of incidence squareProved
Oct 2026
Actual-graph delta and prism census identityProved
Oct 2026
A reciprocal sum is minimized at the midpointProved
Oct 2026
Complementary PSD blocks bound correlations of distinct columnsProved
Oct 2026
The two literal complementary blocks sum to 28 times identityProved
Oct 2026
Off-diagonal two-walk countProved
Oct 2026
Closed two-walk count at each vertexProved
Oct 2026
Factored adjacency-matrix identityProved
Oct 2026
Every adjacency column sums to fourteenProved
Oct 2026
No positive-order SRG has parameters (f,3,1,2)Proved
Oct 2026
Square of the all-ones matrixProved
Oct 2026
Nonadjacent vertices have two common neighborsProved
Oct 2026
Induced edge count from internal degreesProved
Oct 2026
Adjacent vertices have one common neighborProved
Oct 2026
Lower bound for integer square sumsProved
Oct 2026
Attainment of the minimum square sumProved
Oct 2026
Exact cell-defect tableProved
Oct 2026
Linear supporting bound for the cell defectProved
Oct 2026
Cell defect is positive below tenProved
Oct 2026
Exact cell-bound tableProved
Oct 2026
Twelve induced four-cycles contain each edgeProved
Oct 2026
Each neighborhood induces a seven-edge matchingProved
Oct 2026
The SRG has 99 verticesProved
Oct 2026
The complement has 4,158 edgesProved
Oct 2026
Internal degree sum is evenProved
Oct 2026
Every vertex has degree fourteenProved
Oct 2026
Trace product for rank-one sumsProved
Oct 2026
Covariance sum from frame correlationsProved
Oct 2026
Adjacency matrix of the graph complementProved
Oct 2026
Every adjacency row sums to fourteenProved
Oct 2026
SRG parameters under canonical finite relabelingProved
Oct 2026
Divisibility conditions restrict the root parameterProved
Oct 2026
Adjacency sum equals total internal degreeProved
Oct 2026
Adjacent vertices have one common neighborProved
Oct 2026
Nonadjacent vertices have two common neighborsProved
Oct 2026
Integral Gram-square congruence modulo fourProved
Oct 2026
Signed graph attachment capacity cutProved
Oct 2026
Adjacency quadratic-form expansion on a subsetProved
Oct 2026
Adjacency and common-neighbor row identityProved
Oct 2026
Exact rational spectrum of a hypothetical SRG(99,14,1,2)Proved
Oct 2026
Endpoint bounds for ordinary and exceptional verticesProved
Oct 2026

Posted 50

Symmetric nine-cell quotient of an order-eleven graph automorphismProved
Oct 2026
Adjacency images have even binary self-pairingProved
Oct 2026
Actual nine-cell neighbor-count quotient for an order-eleven automorphismProved
Oct 2026
SRG adjacency-square identity over a ringProved
Oct 2026
Orthogonality to the adjacency image characterizes the kernelProved
Oct 2026
The all-ones vector lies in the binary adjacency kernelProved
Oct 2026
Nine eleven-vertex cycles from an order-eleven graph automorphismProved
Oct 2026
Incident sum of incidence squareProved
Oct 2026
Unordered pair double countProved
Oct 2026
Hastriangletightness of incidence squareProved
Oct 2026
Actual-graph delta and prism census identityProved
Oct 2026
A reciprocal sum is minimized at the midpointProved
Oct 2026
Complementary PSD blocks bound correlations of distinct columnsProved
Oct 2026
The two literal complementary blocks sum to 28 times identityProved
Oct 2026
Graph-owned triangle and prism census quantitiesDefinition
Oct 2026
Complementary positive-semidefinite block formsDefinition
Oct 2026
44-coordinate point frame and triangle tightnessDefinition
Oct 2026
Binary graph words and Hamming weightDefinition
Oct 2026
Graph automorphisms, vertex orbits, and local actionDefinition
Oct 2026
Graph Seidel matrix over a ringDefinition
Oct 2026
Factored adjacency-matrix identityProved
Oct 2026
Closed two-walk count at each vertexProved
Oct 2026
Off-diagonal two-walk countProved
Oct 2026
Every adjacency column sums to fourteenProved
Oct 2026
Square of the all-ones matrixProved
Oct 2026
Nonadjacent vertices have two common neighborsProved
Oct 2026
No positive-order SRG has parameters (f,3,1,2)Proved
Oct 2026
Induced edge count from internal degreesProved
Oct 2026
Adjacent vertices have one common neighborProved
Oct 2026
Lower bound for integer square sumsProved
Oct 2026
Attainment of the minimum square sumProved
Oct 2026
Exact cell-defect tableProved
Oct 2026
Linear supporting bound for the cell defectProved
Oct 2026
Cell defect is positive below tenProved
Oct 2026
Exact cell-bound tableProved
Oct 2026
Twelve induced four-cycles contain each edgeProved
Oct 2026
Each neighborhood induces a seven-edge matchingProved
Oct 2026
The SRG has 99 verticesProved
Oct 2026
The complement has 4,158 edgesProved
Oct 2026
Internal degree sum is evenProved
Oct 2026
Every vertex has degree fourteenProved
Oct 2026
Trace product for rank-one sumsProved
Oct 2026
Covariance sum from frame correlationsProved
Oct 2026
Integer square-sum and cell-defect formulasDefinition
Oct 2026
Adjacency matrix of the graph complementProved
Oct 2026
Every adjacency row sums to fourteenProved
Oct 2026
Divisibility conditions restrict the root parameterProved
Oct 2026
SRG parameters under canonical finite relabelingProved
Oct 2026
Nonadjacent vertices have two common neighborsProved
Oct 2026
Adjacent vertices have one common neighborProved
Oct 2026