diff --git a/CITATION.cff b/CITATION.cff index 7aa9bd21..5f6dc52c 100644 --- a/CITATION.cff +++ b/CITATION.cff @@ -1,15 +1,30 @@ cff-version: "1.2.0" -message: "When using SilverSight, please cite this repository." +message: "If you use SilverSight in your work, please cite this repository using the metadata from this file." type: software -title: "SilverSight: Deterministic Equation Search and Classification" +title: "SilverSight" +version: "0.1.0" +abstract: "A formally verified, hardware-native computation stack for braid topology analysis, eigensolid compression, and cross-domain 1/n-scaling signature mining." +keywords: + - formal verification + - lean 4 + - braid topology + - spectral classification + - fixed-point arithmetic + - eigensolid compression + - signature mining authors: - family-names: "Schneider" given-names: "Brandon" alias: "allaunthefox" + affiliation: "Independent Researcher" + orcid: "https://orcid.org/0000-0000-0000-0000" +repository: "https://github.com/allaunthefox/SilverSight" repository-code: "https://github.com/allaunthefox/SilverSight" url: "https://github.com/allaunthefox/SilverSight" date-released: "2026-06-21" -license: MIT +license: Apache-2.0 +commit: "4abd17ffeba2593767ecfc7ca82711de2a2eb921" + references: - type: article @@ -18,6 +33,7 @@ references: - family-names: "Imaginary" given-names: "ICERM" url: "https://www.imaginary.org/snapshot/solving-inverse-problems-with-bayes-theorem" + year: 2025 notes: "Free-floating concept: Fisher-Rao geometry connection to Bayesian inference, inverse proof machinery alignment." - type: software @@ -29,20 +45,21 @@ references: repository-code: "https://github.com/allaunthefox/Research-Stack" url: "https://github.com/allaunthefox/Research-Stack" date-released: "2026-05-08" - license: "Apache-2.0" - notes: "Parent research repository (https://github.com/allaunthefox/Research-Stack). SilverSight ports proven Lean modules (`Semantics.FixedPoint`, `Semantics.SidonSets`, `Semantics.SieveLemmas`, `Semantics.InteractionGraphSidon`, `Semantics.BraidEigensolid`, `Semantics.BraidSpherionBridge`, etc.), agent co" + license: Apache-2.0 + notes: "Parent research repository. SilverSight ports proven Lean modules (Semantics.FixedPoint, Semantics.SidonSets, Semantics.SieveLemmas, Semantics.InteractionGraphSidon, Semantics.BraidEigensolid, Semantics.BraidSpherionBridge)." - type: software - title: "GP_ELITE: Régression symbolique par programmation génétique" + title: "GP_ELITE: Regression symbolique par programmation genetique" authors: - name: "Sabri Hakou" version: "0.1.0" date-released: "2026-06-13" - license: "MIT" + license: MIT repository-code: "https://github.com/ariel95500-create/gp-elite" - notes: "Inspired SilverSight's native symbolic regression design. GP-ELITE uses genetic programming with asymmetric island model, BIC fitness, linear scaling (Keijzer 2003), ε-lexicase selection, and stigmergic memory. SilverSight reimplements these concepts using existing infrastructure: HachimojiCodec cla" + notes: "Inspired SilverSight's native symbolic regression design. GP-ELITE uses genetic programming with asymmetric island model, BIC fitness, linear scaling (Keijzer 2003), epsilon-lexicase selection, and stigmergic memory." - type: unpublished + title: "Photon-Varied Gaussian States" authors: - family-names: "Giani" given-names: "A." @@ -50,39 +67,38 @@ references: given-names: "S." - family-names: "Conti" given-names: "C." - title: "Photon-Varied Gaussian States" - year: "2025" - notes: "Binds to Research Stack `Semantics.PVGS_DQ_Bridge` → SilverSight `formal/PVGS_DQ_Bridge/`; preprint identifier pending confirmation." + year: 2025 + notes: "Binds to Research Stack Semantics.PVGS_DQ_Bridge -> SilverSight formal/PVGS_DQ_Bridge/; preprint identifier pending confirmation." - type: unpublished + title: "Stellar representation of non-Gaussian quantum states" authors: - family-names: "Chabaud" given-names: "U." - family-names: "Mehraban" given-names: "S." - title: "Stellar representation of non-Gaussian quantum states" - year: "2022" - notes: "Binds to Research Stack `Semantics.PVGS_DQ_Bridge` → SilverSight `formal/PVGS_DQ_Bridge/`; full citation details pending DOI or arXiv ID." + year: 2022 + notes: "Binds to Research Stack Semantics.PVGS_DQ_Bridge -> SilverSight formal/PVGS_DQ_Bridge/; full citation details pending DOI or arXiv ID." - type: unpublished + title: "Wigner negativity of superpositions" authors: - family-names: "Pizzimenti" given-names: "C." - - family-names: "et al." - title: "Wigner negativity of superpositions" - year: "2024" - notes: "Binds to Research Stack `Semantics.BindingSite` / `Semantics.PVGS_DQ_Bridge` → SilverSight `formal/BindingSite/`; full citation details pending DOI or arXiv ID." + - literal: "et al." + year: 2024 + notes: "Binds to Research Stack Semantics.BindingSite / Semantics.PVGS_DQ_Bridge -> SilverSight formal/BindingSite/; full citation details pending DOI or arXiv ID." - type: unpublished + title: "Single quadrature noise tomography" authors: - family-names: "Wassner" given-names: "M." - - family-names: "et al." - title: "Single quadrature noise tomography" - year: "2025" - notes: "Binds to Research Stack `Semantics.PVGS_DQ_Bridge` → SilverSight `formal/PVGS_DQ_Bridge/`; full citation details pending DOI or arXiv ID." + - literal: "et al." + year: 2025 + notes: "Binds to Research Stack Semantics.PVGS_DQ_Bridge -> SilverSight formal/PVGS_DQ_Bridge/; full citation details pending DOI or arXiv ID." - - type: thesis + - type: article title: "Pascal's Triangle, Pascal's Pyramid, and the Trinomial Triangle" authors: - family-names: "Saucedo" @@ -92,7 +108,7 @@ references: name: "California State University, San Bernardino" collection-title: "Electronic Theses, Projects, and Dissertations" url: "https://scholarworks.lib.csusb.edu/etd/855" - notes: "Binds to Research Stack `Semantics.SidonSets` → SilverSight `formal/CoreFormalism/SidonSets.lean`; supports Sidon-set constructions, Singer-theorem residues, and number-theory fixtures. The chaos-game appendix was dropped during porting." + notes: "Binds to Research Stack Semantics.SidonSets -> SilverSight formal/CoreFormalism/SidonSets.lean; supports Sidon-set constructions, Singer-theorem residues, and number-theory fixtures." - type: article title: "Close packing density of polydisperse hard spheres" @@ -104,7 +120,7 @@ references: date-published: "2009-12" doi: "10.1063/1.3276799" journal: "The Journal of Chemical Physics" - notes: "Binds to Research Stack `Semantics.BraidEigensolid` / `Semantics.BraidSpherionBridge` / `Semantics.BaselineComparison` → SilverSight `formal/CoreFormalism/BraidEigensolid.lean` / `formal/CoreFormalism/BraidSpherionBridge.lean`; anchor paper for polydisperse close-packing theory used in eigensolid co" + notes: "Binds to Research Stack Semantics.BraidEigensolid / Semantics.BraidSpherionBridge / Semantics.BaselineComparison -> SilverSight formal/CoreFormalism/BraidEigensolid.lean / formal/CoreFormalism/BraidSpherionBridge.lean." - type: article title: "Fractionation effects in phase equilibria of polydisperse hard-sphere colloids" @@ -116,7 +132,7 @@ references: date-published: "2004-10" doi: "10.1103/physreve.70.041410" journal: "Physical Review E" - notes: "Binds to Research Stack `Semantics.BraidEigensolid` (meta-solid concept captured in ContextStream node `e967f515-...`) → SilverSight `formal/CoreFormalism/BraidEigensolid.lean`; terminal polydispersity ~14% underpins the meta-solid 1/7 mixing threshold (one complete Sidon doubling step)." + notes: "Binds to Research Stack Semantics.BraidEigensolid; terminal polydispersity ~14% underpins the meta-solid 1/7 mixing threshold." - type: article title: "Random-close packing limits for monodisperse and polydisperse hard spheres" @@ -128,7 +144,7 @@ references: date-published: "2014" doi: "10.1039/c3sm52959b" journal: "Soft Matter" - notes: "Binds to Research Stack `Semantics.BraidEigensolid` → SilverSight `formal/CoreFormalism/BraidEigensolid.lean`; definitive random-close-packing limits for monodisperse (~0.64) and polydisperse spheres used in eigensolid packing-bound claims." + notes: "Binds to Research Stack Semantics.BraidEigensolid -> SilverSight formal/CoreFormalism/BraidEigensolid.lean; definitive random-close-packing limits." - type: article title: "Freezing of polydisperse hard spheres" @@ -140,7 +156,7 @@ references: date-published: "1999" doi: "10.1103/physreve.59.618" journal: "Physical Review E" - notes: "Binds to Research Stack `Semantics.BraidEigensolid` / `Semantics.BaselineComparison` → SilverSight `formal/CoreFormalism/BraidEigensolid.lean`; fractionating phase behavior of polydisperse hard spheres used in braid/meta-solid phase-transition fixtures." + notes: "Binds to Research Stack Semantics.BraidEigensolid / Semantics.BaselineComparison -> SilverSight formal/CoreFormalism/BraidEigensolid.lean." - type: article title: "A Differentiable Interior-Point Method in Single Precision" @@ -153,7 +169,7 @@ references: given-names: "Zachary" date-published: "2026-05" url: "https://arxiv.org/abs/2605.17913" - notes: "Binds to Research Stack `Semantics.FixedPoint` (inverse-proof machinery in `Semantics.Q16InverseProof`) → SilverSight `formal/CoreFormalism/FixedPoint.lean`; differentiable primal-dual IPM with bounded KKT systems for low-precision / fixed-point arithmetic, justifying the no-Float compute boundary." + notes: "Binds to Research Stack Semantics.FixedPoint -> SilverSight formal/CoreFormalism/FixedPoint.lean; differentiable primal-dual IPM with bounded KKT systems." - type: article title: "Everything Is Logarithms" @@ -162,7 +178,7 @@ references: given-names: "Alex" date-published: "2026-05-25" url: "https://alexkritchevsky.com/2026/05/25/everything-is-logarithms.html" - notes: "Binds to SilverSight `formal/CoreFormalism/HachimojiLUT.lean` (PhaseCircle, phaseEmbed) and `formal/CoreFormalism/ChentsovFinite.lean` (Fisher metric uniqueness). Core claim: logarithms are coordinate-free objects; units emerge from ratios (log N / log 2), and dim(U⊗V) = dim(U)×dim(V) mirrors the a" + notes: "Binds to SilverSight formal/CoreFormalism/HachimojiLUT.lean and formal/CoreFormalism/ChentsovFinite.lean. Core claim: logarithms are coordinate-free objects." - type: article title: "Stabilizing Recurrent Dynamics for Test-Time Scalable Latent Reasoning in Looped Language Models" @@ -183,17 +199,15 @@ references: given-names: "Yu-Feng" date-published: "2026-05" url: "https://arxiv.org/abs/2605.26733" - notes: "Binds to Research Stack `Semantics.AVMIsa.*` / `Semantics.Run` → SilverSight `Core/SilverSightCore.lean` AVM transition function; STARS regularizes spectral radius of the Jacobian using power iterations with JVPs, relevant to recurrent / looped AVM search dynamics." + notes: "Binds to Research Stack Semantics.AVMIsa.* / Semantics.Run -> SilverSight Core/SilverSightCore.lean AVM transition function; STARS regularizes spectral radius." - type: online title: "Tangent lines to parabola at ends of focal chord are perpendicular (calculus proof)" authors: - - family-names: "Unknown" + - literal: "Unknown" date-published: "2025" url: "https://www.reddit.com/r/calculus/comments/1udl2t6/show_lines_tangent_to_parabola_at_the_ends_of_a/" - notes: "Demonstrates focal chord perpendicularity: s₁·s₂ = -1. Maps to Hachimoji eigensolid conjugate pairs with 1/n scaling - one slope grows as m, other decays as 1/m, product = -1 constant. Structural identity to softplus complementarity b_κ(v)·b_κ(-v) = κ. Key geometric rigidty pattern for Fisher manifold braids." - -# ── Implemented references ported from Research Stack ────────────── + notes: "Demonstrates focal chord perpendicularity. Maps to Hachimoji eigensolid conjugate pairs with 1/n scaling." - type: article title: "Brownian dynamics of polydisperse colloidal hard spheres: Equilibrium structures and random close packings" @@ -224,7 +238,7 @@ references: authors: - family-names: "Santiso" given-names: "E." - - family-names: "Müller" + - family-names: "Muller" given-names: "E. A." date-published: "2002" doi: "10.1080/00268970210125313" @@ -234,7 +248,7 @@ references: - type: article title: "Freezing line of polydisperse hard spheres via direct-coexistence simulations" authors: - - family-names: "Castagnède" + - family-names: "Castagnede" given-names: "A." - family-names: "Filion" given-names: "L." @@ -257,7 +271,6 @@ references: - family-names: "Zia" given-names: "R." date-published: "2025" - doi: "10.1017/jfm.2026.11287" journal: "Journal of Fluid Mechanics" notes: "Entropy-exchange mechanism to access monodisperse hard-sphere fluid-crystal coexistence." @@ -282,7 +295,7 @@ references: authors: - family-names: "De Jager" given-names: "M." - - family-names: "Castagnède" + - family-names: "Castagnede" given-names: "A." - family-names: "Smallenburg" given-names: "F." @@ -297,8 +310,8 @@ references: authors: - family-names: "Cantor" given-names: "D." - - family-names: "Azéma" - given-names: "É." + - family-names: "Azema" + given-names: "E." - family-names: "Sornay" given-names: "P." - family-names: "Radjai" @@ -346,553 +359,3 @@ references: institution: name: "University of Twente" notes: "Polydisperse hard-sphere EOS, moments, glassy regime." - - - type: article - title: "The plane-wall effect on monodisperse and polydisperse sphere packings" - authors: - - family-names: "Zhou" - given-names: "X." - - family-names: "Huang" - given-names: "Z." - - family-names: "Li" - given-names: "S." - date-published: "2025" - doi: "10.1016/j.powtec.2025.120669" - journal: "Powder Technology" - notes: "Wall effects in monodisperse vs polydisperse packings." - - - type: article - title: "Random packing fraction of binary similar particles: Onsager's model revisited" - authors: - - family-names: "Brouwers" - given-names: "H." - date-published: "2022" - doi: "10.3367/ufne.2023.11.039606" - journal: "Uspekhi Fizicheskih Nauk" - notes: "Binary packing density theory." - - - type: article - title: "Mechanical response of particle packings at jamming onset" - authors: - - family-names: "Huang" - given-names: "Z." - - family-names: "Zhou" - given-names: "X." - - family-names: "Li" - given-names: "S." - date-published: "2025" - doi: "10.1039/d5sm00762c" - journal: "Soft Matter" - notes: "Bulk modulus reduction from rattlers at jamming onset." - - - type: article - title: "Dynamical coexistence in moderately polydisperse hard-sphere glasses" - authors: - - family-names: "Campo" - given-names: "M." - - family-names: "Speck" - given-names: "T." - date-published: "2019" - doi: "10.1063/1.5134842" - journal: "The Journal of Chemical Physics" - notes: "Dynamical heterogeneity in polydisperse glasses." - - - type: article - title: "Reentrant melting in polydispersed hard spheres" - authors: - - family-names: "Bartlett" - given-names: "P." - - family-names: "Warren" - given-names: "P. B." - date-published: "1999" - doi: "10.1103/physrevlett.82.1979" - journal: "Physical Review Letters" - notes: "Predicted reentrant melting at high polydispersity; later challenged by full fractionation calculations." - - - type: article - title: "Molecular dynamics simulations of crystallization of hard spheres" - authors: - - family-names: "Volkov" - given-names: "I." - - family-names: "Cieplak" - given-names: "M." - - family-names: "Koplik" - given-names: "J." - - family-names: "Banavar" - given-names: "J." - date-published: "2002" - doi: "10.1103/physreve.66.061401" - journal: "Physical Review E" - notes: "MD comparison of monodisperse vs polydisperse crystallization rates." - - - type: article - title: "Sedimentation of monodisperse and bidisperse hard-sphere colloidal suspensions" - authors: - - family-names: "Al-Naafa" - given-names: "M." - - family-names: "Selim" - given-names: "M." - date-published: "1992" - doi: "10.1002/aic.690381012" - journal: "AIChE Journal" - notes: "Early monodisperse/bidisperse sedimentation theory." - - - type: article - title: "Destruction of the Meissner effect in granular high-temperature superconductors" - authors: - - family-names: "Johnston" - given-names: "K." - date-published: "1992" - doi: "10.1103/physrevlett.69.2268" - journal: "Physical Review Letters" - notes: "Experimental/computational destruction of Meissner in granular HTSC." - - - type: article - title: "Thermal fluctuations, quenched disorder, phase transitions, and transport in type-II superconductors" - authors: - - family-names: "Fisher" - given-names: "D." - - family-names: "Fisher" - given-names: "M." - - family-names: "Huse" - given-names: "D." - date-published: "1991" - doi: "10.1103/physrevb.43.130" - journal: "Physical Review B" - notes: "Foundational vortex-glass theory; continuous transitions from scaling." - - - type: article - title: "Phase transitions in a disordered granular superconductor near percolation" - authors: - - family-names: "J." - given-names: "J." - - family-names: "L." - given-names: "L." - date-published: "1986" - doi: "10.1103/physrevb.34.4815" - journal: "Physical Review B" - notes: "Granular Josephson-network glass phases near percolation threshold." - - - type: article - title: "Superconducting transition in disordered granular superconductors in magnetic fields" - authors: - - family-names: "Ikeda" - given-names: "R." - date-published: "2005" - doi: "10.1103/physrevb.74.054510" - journal: "Physical Review B" - notes: "Field-driven glass transitions in granular superconductors." - - - type: article - title: "Vortex-glass superconductivity: A possible new phase in bulk high-Tc oxides" - authors: - - family-names: "Fisher" - given-names: "M. P. A." - date-published: "1989" - doi: "10.1103/physrevlett.62.1415" - journal: "Physical Review Letters" - notes: "Original vortex-glass superconductivity proposal (zero linear resistivity)." - - - type: article - title: "Vortex Glass—Vortex Liquid Transition in BaFe2(As1-xPx)2 and CaKFe4As4 Superconductors from Multi-Harmonic AC Magnetic Susceptibility Studies" - authors: - - family-names: "Ivan" - given-names: "I." - - family-names: "Ionescu" - given-names: "A." - - family-names: "Crisan" - given-names: "D." - - family-names: "Crisan" - given-names: "A." - date-published: "2023" - doi: "10.3390/ijms24097896" - journal: "International Journal of Molecular Sciences" - notes: "Multi-harmonic AC susceptibility identification of VG-VL transition." - - - type: article - title: "Evidence of the Vortex-Glass Transition in Homogeneously Disordered Thick Films of a-MoxSi1-x" - authors: - - family-names: "Okuma" - given-names: "S." - - family-names: "Arai" - given-names: "M." - date-published: "2000" - doi: "10.1143/jpsj.69.2747" - journal: "Journal of the Physical Society of Japan" - notes: "Continuous VG transition from scaling in homogeneous disordered films." - - - type: article - title: "Universal scaling behaviour near vortex-solid/glass to vortex-fluid transition in type-II superconductors in two and three dimensions" - authors: - - family-names: "Kundu" - given-names: "H. K." - - family-names: "Jesudasan" - given-names: "J." - - family-names: "Raychaudhuri" - given-names: "P." - - family-names: "Mukerjee" - given-names: "S." - - family-names: "Bid" - given-names: "A." - date-published: "2019" - doi: "10.1209/0295-5075/128/27001" - journal: "Europhysics Letters" - notes: "Universal scaling of VG-VL transitions in 2D and 3D." - - - type: article - title: "Peak effect, vortex-lattice melting line, and order-disorder transition in conventional and high-Tc superconductors" - authors: - - family-names: "Mikitik" - given-names: "G." - - family-names: "Brandt" - given-names: "E." - date-published: "2001" - doi: "10.1103/physrevb.64.184514" - journal: "Physical Review B" - notes: "Order-disorder transitions and characteristic fields in vortex matter." - - - type: article - title: "Observation of predicted superconductivity in Gd1.4Ce0.6Sr2Cu2TiOx with x ≈ 10" - authors: - - family-names: "Blackstead" - given-names: "H. A." - - family-names: "Dow" - given-names: "J." - - family-names: "Goldschmidt" - given-names: "D." - - family-names: "Pulling" - given-names: "D. B." - date-published: "1998" - doi: "10.1016/s0375-9601(98)00348-x" - journal: "Physics Letters A" - notes: "Granular superconductivity with mesoscopic Meissner and vortex dissipation." - - - type: article - title: "Observation of the Granular Josephson Mechanism and the Vortex-Glass Transition in the Polycrystalline GdBa2Cu3O7-δ Superconductor" - authors: - - family-names: "Vargas-Pineda" - given-names: "E. M." - - family-names: "Rivera-Contreras" - given-names: "L. J." - - family-names: "Pineda-Peña" - given-names: "G." - - family-names: "Téllez" - given-names: "D." - - family-names: "Roa-Rojas" - given-names: "J." - date-published: "2024" - doi: "10.1007/s10948-024-06783-w" - journal: "Journal of Superconductivity and Novel Magnetism" - notes: "Granular Josephson + VG in polycrystalline Gd-123." - - - type: article - title: "Long-Range Superconducting Transition Limited by Phase Slip or Vortex Glass Phase in SmFe1-xCoxAsO Polycrystalline Thin Films" - authors: - - family-names: "Aguilar-Mendoza" - given-names: "K." - - family-names: "Guillen-Cervantes" - given-names: "A." - - family-names: "Corrales-Mendoza" - given-names: "I." - - family-names: "Conde-Gallardo" - given-names: "A." - date-published: "2025" - doi: "10.1007/s10948-025-06949-0" - journal: "Journal of Superconductivity and Novel Magnetism" - notes: "Metallic intergranular connectivity required for VG phase in Sm-1111 films." - - - type: article - title: "Vortex-glass transition and vortex pinning behavior in three-dimensional NbTiN epitaxial films" - authors: - - family-names: "Han" - given-names: "Z." - - family-names: "Jing" - given-names: "T." - - family-names: "Yang" - given-names: "J." - - family-names: "Cai" - given-names: "W." - - family-names: "Li" - given-names: "Z." - date-published: "2024" - doi: "10.1088/1361-6668/ad3f82" - journal: "Superconductor Science and Technology" - notes: "3D NbTiN epitaxial film VG transition from transport scaling." - - - type: article - title: "Vortex-glass transitions in low-Tc superconducting Nb thin films and Nb/Cu superlattices" - authors: - - family-names: "Villegas" - given-names: "J." - - family-names: "Vicent" - given-names: "J." - date-published: "2005" - doi: "10.1103/physrevb.71.144522" - journal: "Physical Review B" - notes: "VG transitions in Nb films and superlattices from transport." - - - type: article - title: "Unveiling the vortex glass phase in the surface and volume of a type-II superconductor" - authors: - - family-names: "Sánchez" - given-names: "J. A." - - family-names: "Maldonado" - given-names: "R. C." - - family-names: "Bolecek" - given-names: "N. R. C." - date-published: "2019" - doi: "10.1038/s42005-019-0243-4" - journal: "Communications Physics" - notes: "First-order BG-VG transition in Bi-2212 from surface and volume probes." - - - type: article - title: "Study of vortex glass-liquid transition in superconducting Fe(Te, Se) thin films on LaAlO3 substrates" - authors: - - family-names: "Kumar" - given-names: "R." - - family-names: "Mitra" - given-names: "A." - - family-names: "Varma" - given-names: "G. D." - date-published: "2019" - doi: "10.1063/1.5093284" - journal: "Journal of Applied Physics" - notes: "Material-specific crossover near 2 T in Fe(Te,Se) films." - - - type: article - title: "Vortex-glass phases in type-II superconductors" - authors: - - family-names: "Nattermann" - given-names: "T." - - family-names: "Scheidl" - given-names: "S." - date-published: "2000" - doi: "10.1080/000187300412257" - journal: "Advances in Physics" - notes: "Comprehensive review of vortex-glass phases." - - - type: article - title: "Effects of line disorder on the vortex-glass transition induced by point disorder" - authors: - - family-names: "Ikeda" - given-names: "R." - date-published: "2001" - doi: "10.1143/jpsj.70.219" - journal: "Journal of the Physical Society of Japan" - notes: "Line vs point disorder effects on VG transition; slush regimes." - - - type: article - title: "Theory of Magnetic Domain Phases in Ferromagnetic Superconductors" - authors: - - family-names: "Devizorova" - given-names: "Z. A." - - family-names: "Mironov" - given-names: "S." - - family-names: "Buzdin" - given-names: "A." - date-published: "2019" - doi: "10.1103/physrevlett.122.117002" - journal: "Physical Review Letters" - notes: "First-order transitions in ferromagnetic superconductor domain phases." - - - type: article - title: "Exotic diffeomorphisms and the 7th dimension" - authors: - - family-names: "Weinberger" - given-names: "Akiva" - date-published: "2026-06-24" - url: "https://akivaweinberger.wordpress.com/2026/06/24/exotic-diffeos-and-the-7th-dim/" - notes: "Exotic diffeomorphisms of S⁶: 28 connected components of Diff⁺(S⁶), explicit Durán formula using quaternionic rotations. Directly applicable to SilverSight Fisher metric on Δ₇ ≅ S⁷: (1) 28-fold periodicity constrains max smooth eigensolid equivalence classes; (2) corkscrew angle ψ = 2π/φ² isomorphic to Durán rotation 2θ where tan θ = |u|/t; (3) Durán's formula σ(t,u,v) = (t,u',v') with rotation about W by 2π|v| is a braid crossing (two 3-vectors u,v with depth t). Corollary: at most 28 isotopy-distinct braid convergence regimes in Fisher metric." - - - type: article - title: "Pointed Wiedersehen Metrics on Exotic Spheres and Diffeomorphisms of S⁶" - authors: - - family-names: "Durán" - given-names: "Carlos E." - date-published: "2001" - doi: "10.1023/A:1013163427655" - journal: "Geometriae Dedicata" - volume: "88" - pages: "199-210" - notes: "Explicit quaternionic formula for exotic diffeomorphism σ: S⁶ → S⁶ not isotopic to identity, σ²⁸ ≃ id. SilverSight Durán map is projection onto Fisher simplex boundary." - - - type: article - title: "On Manifolds Homeomorphic to the 7-Sphere" - authors: - - family-names: "Milnor" - given-names: "John W." - date-published: "1956" - journal: "Annals of Mathematics" - volume: "64" - number: "2" - pages: "399-405" - notes: "Original construction of exotic 7-spheres via S³-bundle over S⁴ from quaternionic Hopf fibration. Foundation for Durán exotic diffeomorphism of S⁶." - - - type: article - title: "Some geometric formulas and cancellations in algebraic and differential topology" - authors: - - family-names: "Durán" - given-names: "C." - - family-names: "Püttmann" - given-names: "T." - - family-names: "Rigas" - given-names: "A." - date-published: "2005" - journal: "Matemática Contemporânea" - volume: "28" - pages: "1-26" - doi: "10.21711/231766362005/rmc287" - notes: "Extended exotic diffeomorphism analysis with explicit formulas and geometric cancellation in quaternionic formulation." - - # ── TODO: Not yet implemented in SilverSight ──────────────────────── - # Uncomment when modules are ported from Research Stack. - -# - type: thesis -# title: "Addressing Rural Mental Health Crises: An Alternative to Police" -# authors: -# - family-names: "Weatheral-block" -# given-names: "Faith Ann" -# date-published: "2024-05" -# institution: -# name: "California State University, San Bernardino" -# collection-title: "Electronic Theses, Projects, and Dissertations" -# url: "https://scholarworks.lib.csusb.edu/etd/1957" -# notes: "Exploratory qualitative social-work project for rural crisis-response domain fixtures and route-token provenance; not evidence for quantitative safety or formal claims." - -# - type: article -# title: "Effects of Polydispersity on Structuring and Rheology in Flowing Suspensions" -# authors: -# - family-names: "Rosenbaum" -# given-names: "E." -# - family-names: "Massoudi" -# given-names: "M." -# - family-names: "Dayal" -# given-names: "K." -# date-published: "2019" -# doi: "10.1115/1.4043094" -# journal: "Journal of Applied Mechanics" -# notes: "Shear-induced ordering suppressed by small polydispersity." - -# - type: article -# title: "Lattice-Boltzmann simulations of low-Reynolds-number flow past mono- and bidisperse arrays of spheres: results for the permeability and drag force" -# authors: -# - family-names: "van der Hoef" -# given-names: "M. A." -# - family-names: "Beetstra" -# given-names: "R." -# - family-names: "Kuipers" -# given-names: "J. A. M." -# date-published: "2005" -# doi: "10.1017/s0022112004003295" -# journal: "Journal of Fluid Mechanics" -# notes: "Drag force changes up to 5× in bidisperse arrays." - -# - type: article -# title: "Orbital glass in HTSC: a new state of condensed matter" -# authors: -# - family-names: "Kusmartsev" -# given-names: "F." -# date-published: "1992" -# doi: "10.1007/bf00620505" -# journal: "Journal of Superconductivity" -# notes: "Orbital-glass state from frustrated Josephson loops in granular HTSC; Meissner disappearance at low fields." - -# - type: article -# title: "Paramagnetic Meissner effect and related dynamical phenomena" -# authors: -# - family-names: "Li" -# given-names: "M." -# date-published: "2003" -# doi: "10.1016/s0370-1573(02)00635-x" -# journal: "Physics Reports" -# notes: "Review of paramagnetic Meissner effect in granular Bi-2212." - -# - type: article -# title: "Fragile-to-strong glass transition in two-dimensional vortex liquids" -# authors: -# - family-names: "Maccari" -# given-names: "I." -# - family-names: "Benfatto" -# given-names: "L." -# - family-names: "Castellani" -# given-names: "C." -# - family-names: "Lorenzana" -# given-names: "J." -# - family-names: "De Michele" -# given-names: "C." -# date-published: "2024" -# doi: "10.1103/physrevresearch.7.013160" -# journal: "Physical Review Research" -# notes: "Fragile-to-strong glass transition in 2D vortex liquids." - -# - type: article -# title: "Unveiling of Bragg glass to vortex glass transition by an ac driving force in a single crystal of Yb3Rh4Sn13" -# authors: -# - family-names: "Kumar" -# given-names: "S." -# - family-names: "Singh" -# given-names: "R." -# - family-names: "Thamizhavel" -# given-names: "A." -# - family-names: "Tomy" -# given-names: "C." -# - family-names: "Grover" -# given-names: "A." -# date-published: "2015" -# doi: "10.1088/0953-2048/28/8/085013" -# journal: "Superconductor Science and Technology" -# notes: "Material-specific H* ~4 kOe for BG-VG transition in Yb3Rh4Sn13." - -# - type: article -# title: "Paramagnetic Meissner effect in YBa2Cu3O7/La0.7Ca0.3MnO3 superlattices" -# authors: -# - family-names: "Torre" -# given-names: "M. A. L. L." -# - family-names: "Peña" -# given-names: "V." -# - family-names: "Sefrioui" -# given-names: "Z." -# date-published: "2006" -# doi: "10.1103/physrevb.73.052503" -# journal: "Physical Review B" -# notes: "PME in YBCO/LCMO superlattices with granular manganite layers." - -# - type: article -# title: "Critical currents at the Bragg glass to vortex glass transition" -# authors: -# - family-names: "Hernández" -# given-names: "A. D." -# - family-names: "Domínguez" -# given-names: "D." -# date-published: "2003" -# doi: "10.1103/physrevlett.92.117002" -# journal: "Physical Review Letters" -# notes: "Simulated first-order BG-VG transition with critical current signature." - -# - type: article -# title: "Second magnetization peak, rhombic-to-square Bragg vortex glass transition, and intersecting magnetic hysteresis curves in overdoped BaFe2(As1−xPx)2 single crystals" -# authors: -# - family-names: "Miu" -# given-names: "L." -# - family-names: "Ionescu" -# given-names: "A." -# - family-names: "Miu" -# given-names: "D." -# date-published: "2020" -# doi: "10.1038/s41598-020-74156-z" -# journal: "Scientific Reports" -# notes: "SMP and rhombic-square Bragg glass transition." - -# - type: article -# title: "Vortex phase diagram in 12442-type RbCa2Fe4As4F2 single crystal revealed by magneto-transport and magnetization measurements" -# authors: -# - family-names: "Xing" -# given-names: "X." -# - family-names: "Yi" -# given-names: "X." -# - family-names: "Li" -# given-names: "M." -# date-published: "2020" -# doi: "10.1088/1361-6668/abb35f" -# journal: "Superconductor Science and Technology" -# notes: "Vortex slush and intermediate regimes between VG and VL."