allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-31 01:25:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
SilverSight/CITATION.cff
allaun 1a26de076d fix(lean): address vacuous rfl proofs in Chentsov theorem and close Hermite sieve proofs 
- ChentsovFinite.lean: Replaced vacuous rfl proofs at uniform distribution permutation invariance, diagonal case, and off-diagonal case with explicit proof obligations and sorry.
- section2_hermite_sieve.lean: Proved repunit strict monotonicity and lower bound lemmas, closing relevant sorry placeholders.
- BindingSiteEntropy.lean: Swapped geodesicDistance placeholder with fisherRaoApprox and added counterexample sketch for fisher_implies_similar_druggability.
- FixedPoint.lean, lakefile.lean, gemma4_mcp.py: Minor fixes and enhancements.
- AGENTS.md: Tracked open Chentsov proof obligations.

Build: 2987 jobs, 0 errors (lake build)
2026-06-23 05:11:04 -05:00

823 lines
31 KiB
YAML
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

cff-version: "1.2.0"
message: "When using this repository, please cite the Research Stack"
references:
- type: software
title: "Research Stack (OTOM)"
authors:
- family-names: "Schneider"
given-names: "Brandon"
- name: "Research Stack Contributors"
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"
- type: software
title: "GP_ELITE: Régression symbolique par programmation génétique"
authors:
- name: "Sabri Hakou"
version: "0.1.0"
date-released: "2026-06-13"
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"
- type: unpublished
authors:
- family-names: "Giani"
given-names: "A."
- family-names: "Win"
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."
- type: unpublished
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."
- type: unpublished
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."
- type: unpublished
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."
- type: thesis
title: "Pascal's Triangle, Pascal's Pyramid, and the Trinomial Triangle"
authors:
- family-names: "Saucedo"
given-names: "Antonio Jr."
date-published: "2019-06"
institution:
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."
- type: article
title: "Close packing density of polydisperse hard spheres"
authors:
- family-names: "Farr"
given-names: "R."
- family-names: "Groot"
given-names: "R. D."
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"
- type: article
title: "Fractionation effects in phase equilibria of polydisperse hard-sphere colloids"
authors:
- family-names: "Fasolo"
given-names: "M."
- family-names: "Sollich"
given-names: "P."
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)."
- type: article
title: "Random-close packing limits for monodisperse and polydisperse hard spheres"
authors:
- family-names: "Baranau"
given-names: "V."
- family-names: "Tallarek"
given-names: "U."
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."
- type: article
title: "Freezing of polydisperse hard spheres"
authors:
- family-names: "Kofke"
given-names: "D."
- family-names: "Bolhuis"
given-names: "P."
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."
- type: article
title: "A Differentiable Interior-Point Method in Single Precision"
authors:
- family-names: "Arrizabalaga"
given-names: "Jon"
- family-names: "Tracy"
given-names: "Kevin"
- family-names: "Manchester"
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."
- type: article
title: "Everything Is Logarithms"
authors:
- family-names: "Kritchevsky"
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"
- type: article
title: "Stabilizing Recurrent Dynamics for Test-Time Scalable Latent Reasoning in Looped Language Models"
authors:
- family-names: "Yang"
given-names: "Xiao-Wen"
- family-names: "Han"
given-names: "Ziyu"
- family-names: "Zhang"
given-names: "Xi-Hua"
- family-names: "Wei"
given-names: "Wen-Da"
- family-names: "Shao"
given-names: "Jie-Jing"
- family-names: "Guo"
given-names: "Lan-Zhe"
- family-names: "Li"
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."
# ── Implemented references ported from Research Stack ──────────────
- type: article
title: "Brownian dynamics of polydisperse colloidal hard spheres: Equilibrium structures and random close packings"
authors:
- family-names: "Schaertl"
given-names: "W."
- family-names: "Sillescu"
given-names: "H."
date-published: "1994"
doi: "10.1007/bf02183148"
journal: "Journal of Statistical Physics"
notes: "Early polydisperse hard-sphere BD simulation."
- type: article
title: "On the jamming phase diagram for frictionless hard-sphere packings"
authors:
- family-names: "Baranau"
given-names: "V."
- family-names: "Tallarek"
given-names: "U."
date-published: "2014"
doi: "10.1039/c4sm01439a"
journal: "Soft Matter"
notes: "Jamming phase diagram for frictionless spheres."
- type: article
title: "Dense packing of binary and polydisperse hard spheres"
authors:
- family-names: "Santiso"
given-names: "E."
- family-names: "Müller"
given-names: "E. A."
date-published: "2002"
doi: "10.1080/00268970210125313"
journal: "Molecular Physics"
notes: "Packing of binary/tridisperse/distributed sphere mixtures."
- type: article
title: "Freezing line of polydisperse hard spheres via direct-coexistence simulations"
authors:
- family-names: "Castagnède"
given-names: "A."
- family-names: "Filion"
given-names: "L."
- family-names: "Smallenburg"
given-names: "F."
date-published: "2025"
doi: "10.1063/5.0281621"
journal: "The Journal of Chemical Physics"
notes: "Recent direct-coexistence simulation of polydisperse freezing line."
- type: article
title: "Frenkel's entropy-exchange mechanism in monodisperse, nearly hard-sphere colloids: minimal perturbations to access fluid-crystal coexistence"
authors:
- family-names: "Wang"
given-names: "J. G."
- family-names: "Dhumal"
given-names: "U."
- family-names: "Zakhari"
given-names: "M. E. A."
- 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."
- type: article
title: "The elusive fluid-and-crystal coexistence state in simulations of monodisperse, hard-sphere colloids"
authors:
- family-names: "Wang"
given-names: "J. G."
- family-names: "Dhumal"
given-names: "U."
- family-names: "Zakhari"
given-names: "M. E. A."
- family-names: "Zia"
given-names: "R."
date-published: "2024"
doi: "10.1002/aic.70275"
journal: "AIChE Journal"
notes: "Elusive nature of unbiased monodisperse hard-sphere coexistence simulation."
- type: article
title: "Local composition fluctuations act as precursors for crystal nucleation in polydisperse hard spheres"
authors:
- family-names: "De Jager"
given-names: "M."
- family-names: "Castagnède"
given-names: "A."
- family-names: "Smallenburg"
given-names: "F."
- family-names: "Filion"
given-names: "L."
date-published: "2025"
journal: "arXiv"
notes: "Composition fluctuation precursors in polydisperse nucleation."
- type: article
title: "Rheology and structure of polydisperse three-dimensional packings of spheres"
authors:
- family-names: "Cantor"
given-names: "D."
- family-names: "Azéma"
given-names: "É."
- family-names: "Sornay"
given-names: "P."
- family-names: "Radjai"
given-names: "F."
date-published: "2018"
doi: "10.1103/physreve.98.052910"
journal: "Physical Review E"
notes: "Shear strength nearly unchanged despite microstructural differences in polydisperse packings."
- type: article
title: "Impact of polydispersity and confinement on diffusion in hydrodynamically interacting colloidal suspensions"
authors:
- family-names: "Gonzalez"
given-names: "E."
- family-names: "Aponte-Rivera"
given-names: "C."
- family-names: "Zia"
given-names: "R."
date-published: "2021"
doi: "10.1017/jfm.2021.563"
journal: "Journal of Fluid Mechanics"
notes: "Polydispersity + confinement effect on colloidal diffusion."
- type: article
title: "Percus-Yevick structure factors made simple"
authors:
- family-names: "Botet"
given-names: "R."
- family-names: "Kwok"
given-names: "S."
- family-names: "Cabane"
given-names: "B."
date-published: "2020"
doi: "10.1107/s1600576720014041"
journal: "Journal of Applied Crystallography"
notes: "Simplified PY structure factors for monodisperse/polydisperse fluids."
- type: thesis
title: "Microstructure and macroscopic properties of polydisperse systems of hard spheres"
authors:
- family-names: "Ogarko"
given-names: "V."
date-published: "2014"
doi: "10.3990/1.9789036536691"
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."
# ── 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."
Reference in a new issue View git blame Copy permalink