{"id":"b93622fe-e1eb-4caf-8b58-194f2ca34d8e","arxiv_id":"2608.05113","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A unit quaternion is represented as a pair of oriented planes; for Cartesian bases i, j, k become pairs of cube faces, which is said to explain Hamilton's multiplication rules.","lead":"This paper gives a geometric picture of quaternions as pairs of mirror planes that meet along the rotation axis, and uses it to explain why Hamilton's imaginary numbers i, j, k obey their rules. The crossmetric tensor for six crystal families was already published by others, so the main contribution is interpretive.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Equation (20) equates pairs of planes that are different unit quaternions for non-orthogonal planes, so the claimed derivation of Hamilton's rules from the head-tail rule is only valid for the special orthogonal half-turn cases.","rationale":"The reader identified the sign conventions and the unstated re-representation in Section 4.4 as the weak point. This stress test sharpens that concern into a concrete mathematical error: Equation (20) is not merely unjustified, it is false for non-orthogonal planes. The pair (m2,−m1) has angle π−θ, not θ, so it cannot represent the same unit quaternion unless θ=90°. This is load-bearing because the paper's central derivation of Hamilton's rules from the pair geometry depends on this identity. The failure is masked in the Cartesian case because i,j,k are half-turn quaternions built from perpendicular planes. The crossmetric tensor generalization and the head-tail composition rule itself are independent algebraic content and may survive a correction, which is why the appropriate response remains conditional rather than outright rejection: the geometric interpretation needs to be repaired by restricting the algebra to genuine rotation-equivalence of pairs and by deriving the signs for i² and ij without invoking the false identity. The reader's conditional verdict is therefore confirmed and made more precise, but the verdict does not need to change.","tokens_in":15841,"tokens_out":16250,"duration_ms":207817,"concrete_test":"Take m1=x, m2=(x+y)/√2, so θ=45° and q=cos45°+sin45° z. Compute q' from the pair (m2,−m1): the angle between m2 and −x is 135°, and m2×(−x)=z, so the paper's definition gives q'=cos135°+sin135° z = −cos45°+sin45° z. Equation (20) asserts q'=q, but direct substitution shows they are unequal. Repeating the derivation of i² with this non-orthogonal pair would expose the sign change and confirm that (20) is valid only at θ=90°.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires that a pair (m1,m2) with angle θ between the planes represents the unit quaternion q = cosθ + sinθ (m1×m2)/|m1×m2|, and that the head-tail rule (m1,m2)(m2,m3)=(m1,m3) reproduces quaternion multiplication. The head-tail rule itself is standard, but the paper's 'algebraic equalities' (20) are not. For a pair (m1,m2) with θ≠90°, the pair (m2,−m1) has angle π−θ between its planes, so by the paper's own definition it is q' = cos(π−θ) + sin(π−θ) (m1×m2)/|m1×m2| = −cosθ + sinθ (m1×m2)/|m1×m2|, which is neither q nor −q. Equation (20) asserts q'=q, which is false unless θ=90°. Section 4.4 silently relies on this false identity to compute i² and ij; the results happen to match only because i,j,k are orthogonal half-turns. Thus the paper does not actually derive the Hamiltonian sign rules from geometry; it uses the special orthogonal case to mask an invalid general identity. The claimed infinity of equivalent pairs is also mischaracterized: equivalent pairs must be related by a common rotation about u, which preserves the angle between the planes, not by the transformations in (20).","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper generalizes Hamilton's 4×4 symbolic multiplication table for quaternions to crystallographic bases. For a product q1 q2 written as a quadratic form, the author defines a 'crossmetric tensor' built from the metric tensor and a cross-product matrix, tabulates it for the six crystal families, and proposes a geometrical interpretation: a unit quaternion is represented by pairs of oriented mirror planes intersecting along its vector part, and quaternion composition is the source-target (head-tail) composition rule. The paper then claims that Hamilton's i, j, k are obtained as pairs of perpendicular faces of the cube, and that this explains why the square and tri-product rules i²=j²=k²=ijk=-1 hold with only three imaginary units.","tokens_in":16272,"tokens_out":9047,"duration_ms":108865,"significance":"The algebraic rewriting of the crystallographic quaternion product into a symbolic quadratic form is a useful and largely correct bookkeeping device, and the explicit tables for the six crystal families may be convenient for crystallographic computations. The proposed geometrical interpretation is attractive: if correct, it would give a genuinely elementary picture of quaternion units and of the special role of the Cartesian case. The paper deserves credit for presenting the crossmetric construction, for tabulating concrete formulas, and for identifying the cube-face geometry of i, j, k. However, the central geometric derivation is not established: the key algebraic equality on which it rests is false for non-perpendicular planes, so the general claims about 'any unit crystallographic quaternion' and about the geometrical origin of Hamilton's rules are not supported as stated.","major_comments":[{"comment":"The equality (m1,m2)=(m2,-m1), and the related equality (m2,m1)=-(m1,m2), are asserted for arbitrary oriented planes. For a pair (m1,m2) whose planes form an angle θ and whose axis is u=m1×m2, the paper's own dictionary gives q=cosθ+sinθ u. The pair (m2,-m1) has angle π-θ between its planes, so it represents q'=cos(π-θ)+sin(π-θ)u=-cosθ+sinθ u, which is neither q nor -q unless cosθ=0, i.e. unless the planes are perpendicular. Equation (20) is therefore not a valid algebraic rule for general plane pairs; it is valid only in the orthogonal half-turn case that happens to be exactly the case of the Cartesian i, j, k.","section":"4.2, Eq. (20)"},{"comment":"The derivation of i², ij and ji from the head-tail rule silently uses the invalid identity (20). With i=(my,-mz) and j=(mz,-mx), the target plane of i is -mz while the source plane of j is mz, so the representatives do not satisfy the middle-plane matching condition required by (22). The step that replaces the product by (my,mx) amounts to an unstated re-representation of one factor, and that re-representation relies on Eq. (20). The calculation is therefore not a rigorous derivation of Hamilton's rules from geometry; it works only because the cube faces involved are pairwise perpendicular.","section":"4.4, Eq. (23) and following"},{"comment":"The 'geometrical proof' of the components of the crossmetric tensor is circular. The tensor components in Appendix 1 were already fixed by the algebraic product defined in Eqs. (4)-(6), and the plane-pair representation together with the source-target rule was introduced so as to match that product. Recovering a stored component from a deliberately matched geometric arrangement confirms internal consistency but does not independently derive the tensor. In addition, the hexagonal example positions planes using the same unrestricted equality (20), so the geometric derivation inherits the non-perpendicular-plane error.","section":"4.7, first paragraph and Figure 4"},{"comment":"The statement that there is 'an infinity of pairs of planes defining the same quaternion' is true only if equivalent pairs are related by a common rotation about the axis u, which preserves the angle between the planes. The larger equivalence expressed in Eq. (20), which changes the angle from θ to π-θ, is not an equivalence of the represented quaternion. The equivalence class must be defined by angle-preserving rotations, not by the transformations in Eq. (20), if the geometric representation is to be coherent for non-orthogonal pairs.","section":"4.2, paragraph before Eq. (20)"}],"minor_comments":[{"comment":"Twice in the discussion of complex numbers the text states 'a=cos(α) and b=cos(α)' (and later 'a=cos(α/2) and b=cos(α/2)'); the second coefficient should be sin(α) and sin(α/2), respectively.","section":"1.2"},{"comment":"The sentence defining q2 uses the undefined symbol d ('x2 b + y2 c + z2 d'); this appears to be a typographical error and should be corrected.","section":"3, paragraph after Eq. (17)"},{"comment":"The hexagonal entry for the crossmetric tensor contains expressions such as a²(√3 c + c s)/(2c), where the same letter c is used for the lattice parameter and for the symbolic quaternion axis c; the notation should be disambiguated.","section":"Appendix 1, hexagonal table"},{"comment":"The historical and polemical remarks about Hamilton, Gibbs, and Heaviside, while colorful, are not directly relevant and could be shortened; the reader's attention should remain on the mathematical claims.","section":"Acknowledgements and Note"}],"recommendation":"major_revision","confidential_remarks":"The algebraic crossmetric construction is sound and may be publishable, but the paper's advertised novelty is the geometric interpretation, and that interpretation is currently built on an equality that fails in general. I would advise the editor that acceptance would require either a corrected derivation valid for non-orthogonal planes or a substantial narrowing of the claims to the perpendicular-plane cases where the paper's calculations are internally consistent."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear [Colleague],\n\nThe paper has a genuinely useful algebraic core and an overreaching geometric interpretation. The crossmetric tensor—a 4x4 matrix that writes the product of crystallographic quaternions as a quadratic form—is a clean reformulation, and the explicit tables for the six crystal families are practical. The author honestly notes that the tensor components were already published by Katrusiak & Le (2024), so the algebraic contribution is a packaging, not a discovery.\n\nThe central claim, however, does not survive contact with the paper's own definitions. A quaternion q = cos(θ) + sin(θ) u is defined as the set of pairs of planes (m1,m2) with angle θ. The paper's equation (20) asserts that (m2,−m1) equals (m1,m2). But the angle between m2 and −m1 is π−θ, so by the paper's own formula that pair represents the quaternion −cos(θ) + sin(θ) u, which is neither q nor −q except when θ=90° (or boundary cases). The derivations of i²=−1 and ij=k in Section 4.4 work only because the cube face normals are perpendicular; they do not establish a general geometrical law. This is a load-bearing flaw, not a minor slip.\n\nThe second issue is circularity. The crossmetric tensor is constructed from known quaternion multiplication rules, and in Section 4.7 the same rules are used to 'prove' components of the tensor by geometry. That is not a derivation; it is a consistency check.\n\nA third, smaller issue: the pair-of-planes representation is standard in geometric algebra—a rotation is the product of two reflections—and the paper does not cite that literature when claiming priority for the interpretation.\n\nWho gets value from this? Crystallographers who compute quaternion products in non-Cartesian bases will appreciate the compact matrix form and the appendix tables. Readers looking for an explanation of why i²=−1 should be told that this paper's explanation is a special case, not a general proof.\n\nRecommendation: send it to peer review with a clear message that the geometric claim needs major revision or reframing. The algebraic reformulation is worth referee time, and a good referee can help separate the useful tensor from the broken interpretation.","headline":"The crossmetric tensor is a handy algebraic tool for crystallographic quaternion products, but the claimed geometric derivation of Hamilton's rules rests on a false equality and should be reframed as a special orthogonal-case interpretation.","tokens_in":16670,"tokens_out":6206,"would_cite":false,"duration_ms":64683,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11R52","15A66","20L05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper argues that quaternion imaginary units are not abstract symbols but ordered pairs of mirror planes, and that Hamilton's rules follow from matching those planes head-to-tail.","keywords":["Quaternions","Rotations","Crossmetric tensor","Imaginary numbers","Crystallographic quaternions","Oriented planes","Groupoid composition","Metric tensor"],"falsifier":"Take two unit quaternions $q$ and $r$. Since each has infinitely many equivalent plane pairs, pick two different equivalent pairs for $q$ and two for $r$, enforce exact head-tail coincidence in each combination, and compare the resulting rotation axis and angle with the usual product $qr$ computed from the crossmetric tensor. If different choices of equivalent pairs give different products, or if any choice disagrees with $qr$, the geometric rule is not well-defined; a minimal test case is $q=\\mathbf{i}$ and $r=\\mathbf{j}$ with the paper's representatives $\\mathbf{i}=(\\boldsymbol{m}_y,-\\boldsymbol{m}_z)$ and $\\mathbf{j}=(\\boldsymbol{m}_z,-\\boldsymbol{m}_x)$, which forces a re-representation before the head-tail rule can be applied.","tokens_in":15617,"feed_emoji":"🪞","tokens_out":8620,"duration_ms":103581,"temperature":0.7,"pith_summary":"This paper tries to give the imaginary units of quaternions a concrete geometric meaning rather than treating them as algebraic curiosities. It shows that the product of two crystallographic quaternions can be written as a single quadratic form using a $4\\times4$ \"crossmetric tensor\" built from the metric and cross tensors of a lattice. The paper then claims that every unit quaternion is geometrically a whole family of ordered pairs of oriented planes: two mirrors that meet along the rotation axis at half the rotation angle. Composing quaternions is the head-to-tail rule for these plane pairs, and Hamilton's $\\mathbf{i}, \\mathbf{j}, \\mathbf{k}$ are just the pairs of perpendicular faces of a cube. If true, the mystery of $\\mathbf{i}^2=-1$ dissolves into the double reflection across two perpendicular planes.","feed_headline":"Quaternion math's imaginary units are mirror-plane pairs","feed_subtitle":"Head-to-tail matching of oriented planes reproduces Hamilton's rules and explains why i squared equals -1.","key_machinery":"The load-bearing object is the crossmetric tensor $\\boldsymbol{\\mathcal{Q}}_c$, the $4\\times4$ symbolic matrix whose entries are the symbols $\\mathbf{s},\\mathbf{a},\\mathbf{b},\\mathbf{c}$ and which rewrites $q_1 q_2$ as a quadratic form $q_1^t \\boldsymbol{\\mathcal{Q}}_c q_2$. It is assembled from the metric tensor $\\boldsymbol{\\mathcal{M}}$ and the cross-product matrices $\\boldsymbol{\\Omega}_1,\\boldsymbol{\\Omega}_2,\\boldsymbol{\\Omega}_3$ as $\\boldsymbol{\\mathcal{K}}=-\\boldsymbol{\\mathcal{M}}\\,\\mathbf{s} + \\boldsymbol{\\Omega}_1\\mathbf{a}+\\boldsymbol{\\Omega}_2\\mathbf{b}+\\boldsymbol{\\Omega}_3\\mathbf{c}$, so it packages scalar and cross multiplication in one table for any lattice. The companion machinery is the pair-of-planes representation, which turns that table's entries into geometric statements about intersecting mirror planes.","core_discovery":"The paper's central discovery is that a unit quaternion $q = \\cos(\\alpha/2)\\,\\mathbf{s} + \\sin(\\alpha/2)\\,\\tilde{\\mathbf{u}}$ can be read as the whole family of ordered pairs of oriented planes $(\\boldsymbol{m}_1,\\boldsymbol{m}_2)$ that intersect along $\\mathbf{u}$ with dihedral angle $\\alpha/2$; the two planes are the mirrors whose double reflection is the rotation represented by $q$. Multiplication of quaternions is then the source-target rule $(\\boldsymbol{m}_1,\\boldsymbol{m}_2)(\\boldsymbol{m}_2,\\boldsymbol{m}_3)=(\\boldsymbol{m}_1,\\boldsymbol{m}_3)$. On this reading the elementary Cartesian quaternions are $\\mathbf{i}=(\\boldsymbol{m}_y,-\\boldsymbol{m}_z)$, $\\mathbf{j}=(\\boldsymbol{m}_z,-\\boldsymbol{m}_x)$, $\\mathbf{k}=(\\boldsymbol{m}_x,-\\boldsymbol{m}_y)$ for the faces of a cube, and because those pairs are simultaneously elementary and complementary, the six symbols needed for a general lattice collapse to the three Cartesian units, reproducing all of Hamilton's rules at once.","pith_inferences":["If the pair-of-planes reading is right, spinor sign conventions and the $720^\\circ$ rotation property have a geometric origin: the ordered pair records a choice of mirror sequence, and reversing or re-pairing the mirrors changes the sign of the quaternion without changing the rotation.","A testable extension would be to use the crossmetric tensor to define Clifford-algebra products directly in non-orthogonal crystallographic bases; the paper notes this connection but does not develop it.","One could probe the claim experimentally by comparing the groupoid composition law for grain-boundary misorientations with quaternion multiplication in the same lattice; agreement would tie the pair-of-planes picture to physical crystallography, and disagreement would localize where the geometric rule needs refinement."],"forward_implications":["Hamilton's rules $\\mathbf{i}^2=\\mathbf{j}^2=\\mathbf{k}^2=-1$ and $\\mathbf{i}\\mathbf{j}=\\mathbf{k}$ become corollaries of composing cube-face plane pairs head-to-tail, not separate axioms.","For a general crystal lattice the composition table needs six elementary symbols ($\\mathbf{a},\\mathbf{b},\\mathbf{c}$ and their complements), and the crossmetric tensor gives the explicit table for each of the six crystal families from the metric tensor alone.","The 2D imaginary unit $\\mathbf{i}$ should be understood as a pair of perpendicular oriented lines whose associated rotation is $180^\\circ$, which removes the apparent factor-of-two mismatch between complex numbers and quaternion half-angles.","The non-uniqueness of the plane pairs makes quaternion composition a groupoid law with two units, $\\mathbf{s}$ and $-\\mathbf{s}$, so $q$ and $-q$ are geometrically distinct objects representing the same rotation."],"supporting_citations":[{"why":"Defines the crystallographic quaternion product and the metric and cross tensors that the crossmetric tensor generalizes.","marker":"Cayron, 2026"},{"why":"Supplies the Hamilton rules ($\\mathbf{i}^2=\\mathbf{j}^2=\\mathbf{k}^2=\\mathbf{i}\\mathbf{j}\\mathbf{k}=-1$ and $\\mathbf{i}\\mathbf{j}=\\mathbf{k}$) that the paper aims to explain geometrically.","marker":"Hamilton, 1847"},{"why":"Already obtained the components of the crossmetric tensor, which the paper reinterprets geometrically.","marker":"Katrusiak & Le, 2024"},{"why":"Introduces the source-target groupoid law for misorientations, which the paper uses as the composition rule for quaternions.","marker":"Cayron, 2006"}],"fun_headline_variants":["Imaginary units as mirror pairs in quaternion math","Mirror planes explain Hamilton's imaginary numbers","Quaternion multiplication from oriented plane pairs","Imaginary numbers are mirror reflections in 3D","Quaternions as mirror pairs: Hamilton's rules made geometric"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument rests on the unproved postulate that quaternion multiplication is exactly the head-to-tail composition of oriented plane pairs, with the specific representatives chosen for $\\mathbf{i},\\mathbf{j},\\mathbf{k}$; if that identification or those sign conventions fail, the geometric explanation of Hamilton's rules does not go through.","fun_headline_variants_meta":{"raw":{"variants":["Imaginary units as mirror pairs in quaternion math","Mirror planes explain Hamilton's imaginary numbers","Quaternion multiplication from oriented plane pairs","Imaginary numbers are mirror reflections in 3D","Quaternions as mirror pairs: Hamilton's rules made geometric"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00108,"raw_usage":{"total_tokens":4602,"prompt_tokens":1110,"completion_tokens":3492,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":726,"completion_tokens_details":{"reasoning_tokens":3417}},"tokens_in":726,"tokens_out":3492,"duration_ms":28856,"temperature":1.0,"reasoning_tokens":3417,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T04:57:28.810190+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take two unit quaternions $q$ and $r$. Since each has infinitely many equivalent plane pairs, pick two different equivalent pairs for $q$ and two for $r$, enforce exact head-tail coincidence in each combination, and compare the resulting rotation axis and angle with the usual product $qr$ computed from the crossmetric tensor. If different choices of equivalent pairs give different products, or if any choice disagrees with $qr$, the geometric rule is not well-defined; a minimal test case is $q=\\mathbf{i}$ and $r=\\mathbf{j}$ with the paper's representatives $\\mathbf{i}=(\\boldsymbol{m}_y,-\\boldsymbol{m}_z)$ and $\\mathbf{j}=(\\boldsymbol{m}_z,-\\boldsymbol{m}_x)$, which forces a re-representation before the head-tail rule can be applied.","supporting_citations":[{"cited_title":"The crystallographic quaternions and their product law","cited_arxiv_id":"2607.16899","evidence_quote":"Defines the crystallographic quaternion product and the metric and cross tensors that the crossmetric tensor generalizes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Already obtained the components of the crossmetric tensor, which the paper reinterprets geometrically."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the source-target groupoid law for misorientations, which the paper uses as the composition rule for quaternions."}],"review_version":1}