{"_canonicalization":{"envelope_id":"axm_ + sha256(envelope minus {signature, axiom_id, anchors})","envelope_signature":"ed25519(envelope minus {signature, axiom_id})","json":"sort_keys=True, separators=(',',':'), ensure_ascii=False, allow_nan=False, utf-8","leaf_hash":"sha256(0x00 || canonical_json(envelope_full))","seal_signature":"ed25519(seal minus {signature, sig_algorithm})"},"axiom_id":"axm_2e68d155418c3679977ca55dbfbd2cffff40e6281bfa68d280a131fabe898af1","bitcoin_anchor":{"bitcoin_attestations":["bitcoin_block_949451"],"calendar_attestations":["https://finney.calendar.eternitywall.com","https://btc.calendar.catallaxy.com","https://alice.btc.calendar.opentimestamps.org","https://bob.btc.calendar.opentimestamps.org"],"ots_url":"/registry/data/substrate/anchors/77fc9c28fae777b81da5b495b3115474df6592dfac590333213d3bdf8b94a9b3.ots","stamped_at":"2026-05-15T03:00:03Z","status":"bitcoin"},"envelope":{"anchors":[{"chain":"crovia.axiom_graph","height":0,"merkle_proof":"spider_arxiv_retraction_v1","root_at_anchor":"spider_arxiv_retraction_v1"}],"axiom_id":"axm_2e68d155418c3679977ca55dbfbd2cffff40e6281bfa68d280a131fabe898af1","axiom_type":"AX.OBS","body":{"axiom_subtype":"research.arxiv_retraction.v1","category":"research","fingerprint":"7b2cbe7a6897327d48090ffb971db9605b19e9812862de63c848e43cf2f070b1","published":"2021-02-15T10:12:05Z","receipt_hash":"7b2cbe7a6897327d48090ffb971db9605b19e9812862de63c848e43cf2f070b1","schema":"spider.research.arxiv_retraction.v1","spider":"arxiv_retraction","spider_record":{"axiom_subtype":"research.arxiv_retraction.v1","category":"research","decision_hint":"POSITIVE","envelope_target":"AX.OBS","fingerprint":"7b2cbe7a6897327d48090ffb971db9605b19e9812862de63c848e43cf2f070b1","observed_at":"2026-05-03T16:20:12.097010Z","parent_run_hash":null,"published":"2021-02-15T10:12:05Z","runtime_version":"0.1.0","schema":"spider.research.arxiv_retraction.v1","source_status":200,"source_url":"http://export.arxiv.org/api/query?search_query=cat:stat.ML+AND+%28abs:withdrawn+OR+abs:retracted%29&max_results=20&sortBy=submittedDate&sortOrder=descending","spider":"arxiv_retraction","summary_excerpt":"We consider the problem of minimizing a function over the manifold of orthogonal matrices. The majority of algorithms for this problem compute a direction in the tangent space, and then use a retraction to move in that direction while staying on the manifold. Unfortunately, the numerical computation of retractions on the orthogonal manifold always involves some expensive linear algebra operation, such as matrix inversion, exponential or square-root. These operations quickly become expensive as the dimension of the matrices grows. To bypass this limitation, we propose the landing algorithm which does not use retractions. The algorithm is not constrained to stay on the manifold but its evolution is driven by a potential energy which progressively attracts it towards the manifold. One iteration of the landing algorithm only involves matrix multiplications, which makes it cheap compared to its retraction counterparts. We provide an analysis of the convergence of the algorithm, and demonstr","title":"Fast and accurate optimization on the orthogonal manifold without retraction","url":"https://arxiv.org/pdf/2102.07432v2","vendor":"arxiv"},"summary":"We consider the problem of minimizing a function over the manifold of orthogonal matrices. The majority of algorithms for this problem compute a direction in the tangent space, and then use a retraction to move in that direction while staying on the manifold. Unfortunately, the numerical computation of retractions on the orthogonal manifold always involves some expensive linear algebra operation, such as matrix inversion, exponential or square-root. These operations quickly become expensive as the dimension of the matrices grows. To bypass this limitation, we propose the landing algorithm which does not use retractions. The algorithm is not constrained to stay on the manifold but its evolution is driven by a potential energy which progressively attracts it towards the manifold. One iteration of the landing algorithm only involves matrix multiplications, which makes it cheap compared to its retraction counterparts. We provide an analysis of the convergence of the algorithm, and demonstr","title":"Fast and accurate optimization on the orthogonal manifold without retraction","vendor":"arxiv"},"confidence":{"method":"deterministic"},"decision":"POSITIVE","issued_at":"2026-05-03T16:20:12Z","notes":"Spider arxiv_retraction (research) research.arxiv_retraction.v1","object":{"captured_by":"crovia.spider.arxiv_retraction","primary_source_url":"https://arxiv.org/pdf/2102.07432v2"},"predecessors":[],"schema":"crovia.axiom.v1","signature":"ed25519:9cad8d630f959647c83ebd4215868aa73fbee5f4c81adb46b44f4398d9ee277ee2686589c50cfd4f145a5af01c26d1265350c301dd1367f273661fcef4f5380b","signer":"crovia.substrate","subject":{"observed_at":"2026-05-03T16:20:12Z","source_collector":"spider:arxiv_retraction","target_id":"https://arxiv.org/pdf/2102.07432v2"},"tsa":{"authority":"crovia.substrate.bootstrap","rfc3161_token":"{\"kind\":\"crovia.bootstrap.tsa\",\"source_jsonl\":\"/opt/crovia/spider/data/research/arxiv_retraction_v1.jsonl\",\"source_seal_merkle_root\":\"spider_arxiv_retraction_v1\",\"upgrade_path\":\"Sessione H \\u2014 OpenTimestamps weekly anchor\"}"},"zk_mode":"clear","zk_proof":null},"ledger":{"leaf_hash":"0d7c5a5c4dd9ac2f88804f782044d7efca25e5042d29541fa07bec58cc9a6360","leaf_index":111974,"ledger_path":"/opt/crovia/substrate/axiom_ledger.jsonl"},"merkle_proof":{"hash_alg":"sha256","leaf_prefix":"0x00","node_prefix":"0x01","odd_leaf_rule":"duplicate_last","path":[{"sibling":"79308ae233dd315e34ca360729213eb6aefb3340d4e54c5b4150f16cec8df719","side":"right"},{"sibling":"4d5af176d57e7de7e60d8ba990c20695b2adf3c6cf3b2f76d4094a793761f333","side":"left"},{"sibling":"73eae0107b142a12c04663dff12b884372bb82352fcccde16c0ae7c02e974a63","side":"left"},{"sibling":"9f38bd54d412a7c09de8490ad4d7f5c1f2c2bcfc9c11c180f179c04d4ed0af92","side":"right"},{"sibling":"ad668125d70a43a66c8f0cedc235ad79b00d6fe484a3cb891f2f6d523f9a0fb3","side":"right"},{"sibling":"0507cd3571053c7e209dba71e5e94e1c02f3f4e9f615cc98af787a88c6c4c961","side":"left"},{"sibling":"7cc6ec0331a098790dc04ced8e8abc2b910e0fcce6830c8442fff364ca231498","side":"left"},{"sibling":"0994d51d2178913b0e3ac7346ceed16c5ea436d841a8e7f28a99362fa269bad0","side":"right"},{"sibling":"015d2ce3c58c7a790ad078159267c63cd54f9ae7e20530115a6a423419cefe22","side":"left"},{"sibling":"5bcdb02d4310fc8bfd791789d990714b0a10f44358ffa98c446f1755352c49b8","side":"right"},{"sibling":"cf8897e1feec248f5d05e2cafec4f8c2739e2005227d28b5ccc8cfa11ed66ee4","side":"left"},{"sibling":"a6d6e5bc888edc394757fbba02b675bac6ad0831e36a6f5ebbaa4e5548f25603","side":"right"},{"sibling":"76d7c4385d71ae8104107105be66eddb792e01ed6e493db5a9b4eec5441abb76","side":"left"},{"sibling":"b03f005860bf95148ea89c703a32ca19ab7a2ca71b58bb628ff94a9edb8703b0","side":"left"},{"sibling":"21d1e30b556f553dc939fddc23e6367f0a7755ebe3dd489dc0001cef017beb7f","side":"right"},{"sibling":"f2817ab288b5324fe49770372c7a10f33f7cd11005f8d4c0a730316f5229dc98","side":"left"},{"sibling":"725fac972e772ca0dc598810ea1abc70df472f72d2d6ab8a0baee2b80e5d2f4c","side":"left"},{"sibling":"98fc57dfef8873b512edc8340f7181df57302bb96777625e072235c62d7c5895","side":"right"}]},"schema":"crovia.axiom_proof.v1","seal":{"first_collector_run_id":"","first_receipt_hash":"","jsonl_path":"/opt/crovia/substrate/axiom_ledger.jsonl","key_id":"430895f101d38164","last_collector_run_id":"","last_receipt_hash":"","leaf_count":134292,"merkle_root":"77fc9c28fae777b81da5b495b3115474df6592dfac590333213d3bdf8b94a9b3","public_key_hex":"cf742e26f75669dc673cb5c0786a1ae23ae8ca19c347317192ce40c28a7ff25c","run_id":"hourly_json_retrofit_20260515T023701Z","schema":"crovia.seal.v1","seal_family_version":"crovia-seal-family/1","seal_kind":"substrate_batch","sealed_at":"2026-05-15T02:37:25Z","sig_algorithm":"ed25519","signature":"68107a834b00b24f5d4501e5ec727445311f132a486567ecc4c72a4e6dff24c8c21f2de3105293353ba5fdbe370d032819af6aa70f694e2e39b6af6737507009","signer_version":"1.1.0"},"trust_root":{"key_id":"430895f101d38164","public_key_hex":"cf742e26f75669dc673cb5c0786a1ae23ae8ca19c347317192ce40c28a7ff25c","signature_algorithm":"ed25519","url":"/registry/canon/TRUST_ROOT.md"},"verifier":{"spec":"/registry/canon/AXIOM_RECEIPT_v1.md","url":"/v/axm_2e68d155418c3679977ca55dbfbd2cffff40e6281bfa68d280a131fabe898af1"}}