{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:YAH3EURWRWZRYYFS5B4AX5MVLS","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"5f6cc8bb85f624e46c12241a297258527846043419f66a4138678f406a9982fb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CA","submitted_at":"2013-02-13T21:07:58Z","title_canon_sha256":"58e57076b69ddf923958a84b0946bfaab7643625757c16d3bc31ecadff8c1dc4"},"schema_version":"1.0","source":{"id":"1302.3235","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.3235","created_at":"2026-05-18T03:03:32Z"},{"alias_kind":"arxiv_version","alias_value":"1302.3235v4","created_at":"2026-05-18T03:03:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.3235","created_at":"2026-05-18T03:03:32Z"},{"alias_kind":"pith_short_12","alias_value":"YAH3EURWRWZR","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"YAH3EURWRWZRYYFS","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"YAH3EURW","created_at":"2026-05-18T12:28:06Z"}],"graph_snapshots":[{"event_id":"sha256:cf8e757291e98340852f692ee0200b1fa10250860d51fb7b5b190ac6f99c91a1","target":"graph","created_at":"2026-05-18T03:03:32Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"The unitary polar factor $Q=U$ in the polar decomposition of the matrix $Z=UH$ is the minimizer for both $\\| \\mathrm{Log}(Q^* Z)\\|^2$ and its Hermitian part $\\| \\mathrm{sym Log}(Q^* Z)\\|^2$ over both $\\mathbb{R}$ and $\\mathbb{C}$, for any given invertible matrix $Z$ in $\\mathbb{C}^{n\\times n}$ and any matrix logarithm $\\mathrm{Log}$, not necessarily the principal logarithm $\\mathrm{log}$. We prove this for the spectral matrix norm in any dimension and for the Frobenius matrix norm in two and three dimensions. The result shows that the unitary polar factor is the nearest orthogonal matrix to $Z","authors_text":"Andreas Fischle, Patrizio Neff, Yuji Nakatsukasa","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CA","submitted_at":"2013-02-13T21:07:58Z","title":"A logarithmic minimization property of the unitary polar factor in the spectral norm and the Frobenius matrix norm"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.3235","kind":"arxiv","version":4},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:a5d1d488c5ba7ce380d9a66367f9e2f531a977c2dfe1ca6267a1cc816b28b803","target":"record","created_at":"2026-05-18T03:03:32Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"5f6cc8bb85f624e46c12241a297258527846043419f66a4138678f406a9982fb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CA","submitted_at":"2013-02-13T21:07:58Z","title_canon_sha256":"58e57076b69ddf923958a84b0946bfaab7643625757c16d3bc31ecadff8c1dc4"},"schema_version":"1.0","source":{"id":"1302.3235","kind":"arxiv","version":4}},"canonical_sha256":"c00fb252368db31c60b2e8780bf5955cb70baa15de48c6396fefb4257b5dd063","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c00fb252368db31c60b2e8780bf5955cb70baa15de48c6396fefb4257b5dd063","first_computed_at":"2026-05-18T03:03:32.346731Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:03:32.346731Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"laQHazYry3HawUtfR00JjGE43pQjr2L9W2p62Xls6FxT+iHW7/zpv8IiagQjNn9qHONfi01Mme4boHOOrjdwCw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:03:32.347292Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.3235","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a5d1d488c5ba7ce380d9a66367f9e2f531a977c2dfe1ca6267a1cc816b28b803","sha256:cf8e757291e98340852f692ee0200b1fa10250860d51fb7b5b190ac6f99c91a1"],"state_sha256":"bbd5471a75aa65921b9c0def49e2b40eb0a31cad1f5a9f7a9b371b7cbd0b693f"}