We present a formal framework establishing rigorous cross-domain isomorphisms between structural paradigms of quantum gravity, holographic information theory, and advanced arithmetic-geometric structures. Utilizing automated scientific discovery via universal hypergraph constraints, we map exact dualities and bi-equivariant correspondences across distinct mathematical and physical domains. Specifically, we demonstrate: (i) the isometric equivalence between the ultraviolet limit of spectral fractal dimensions and the discrete volume spectrum in Loop Quantum Gravity (LQG); (ii) the formal mapping of Wasserstein optimal transport flows onto Ryu-Takayanagi minimal surfaces and Navier-Stokes dissipative trajectories on negatively curved manifolds; and (iii) the categorical embedding of topological quantum field theory (TQFT) cobordisms and Wheeler-DeWitt solution spaces within the framework of Grothendieck spectral topoi via the Kasparov $KK$-theory bifunctor. These results provide a unified, non-commutative, and spectral infrastructure wherein smooth Lorentzian spacetime and hydrodynamic configurations emerge as exact dual colimits of discrete quantum random graphs and operator algebras under exact renormalization group (ERG) flows.
Vincoli Ipergrafici Universali e Isomorfismi Cross-Domain nella Gravità Quantistica, Geometria Non Commutativa e Topoi Spettrali
Viene presentato un formalismo rigoroso per stabilire isomorfismi cross-domain tra i paradigmi strutturali della gravità quantistica, della teoria dell'informazione olografica e delle strutture geometrico-aritmetiche avanzate. Utilizzando metodologie di scoperta scientifica automatizzata regolate da vincoli ipergrafici universali, vengono mappate dualità esatte e corrispondenze bi-equivarianti tra domini matematici e fisici distinti. Nello specifico, si dimostra: (i) l'equivalenza isometrica tra il limite ultravioletto delle dimensioni frattali spettrali e lo spettro discreto dell'operatore di volume nella Gravità Quantistica a Loop (LQG); (ii) la mappatura formale dei flussi di trasporto ottimale di Wasserstein sulle superfici minimali di Ryu-Takayanagi e sulle traiettorie dissipative di Navier-Stokes su varietà a curvatura negativa; (iii) l'immersione categoriale dei cobordismi delle teorie di campo topologiche (TQFT) e degli spazi delle soluzioni di Wheeler-DeWitt nei topoi spettrali di Grothendieck mediante il bifuntore della $K\!-K$-teoria di Kasparov. Questi risultati definiscono un'infrastruttura spettrale e non commutativa unificata in cui lo spaziotempo lorentziano liscio e le configurazioni idrodinamiche emergono come colimiti induttivi esatti di grafi casuali quantistici discreti e algebre operatoriali sotto flussi del gruppo di rinormalizzazione (ERG).
{"@context": "context.jsonld", "@id": "node:GeometriaFrattaleRinormalizzazione", "@type": "Concept", "name": "Geometria Frattale e Gruppo di Rinormalizzazione sullo Spazio-Tempo Quantistico", "descStandard": "Formalizzazione del comportamento asintotico delle costanti di accoppiamento e della dimensione spettrale effettiva dello spaziotempo a scale planckiane mediante strutture frattali auto-simili e flussi del gruppo di rinormalizzazione (ERG).", "descFasci": "Fascio dei funzionali d'azione efficaci definiti sulle scale di cutoff ultravioletto e infrarosso dello spazio di configurazione.", "descCategorie": "Oggetto nella categoria dei sistemi dinamici a invarianza di scala, dove i morfismi sono operatori di scala proiettivi che definiscono i punti fissi del flusso di rinormalizzazione.", "descNodi": "Ipergrafo frattale in cui ogni vertice contiene un sub-ipergrafo ricorsivo regolato da una dimensione di Hausdorff non intera.", "descNonCommutativa": "Geometria spettrale non commutativa in cui la dimensione accoppiata della tripletta di Dirac varia continuamente in funzione del flusso di energia, definendo una metrica a multi-scala.", "descInformazione": "Perdita o conservazione dell'informazione quantistica lungo il flusso di rinormalizzazione, quantificata dall'andamento della costante di c-teorema e dall'entanglement di mutua informazione tra scale spaziali."}
{"@context": "context.jsonld", "@id": "edge:FractalRenormalizationBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AE: Corrispondenza formale tra Dimensione Spettrale Frattale e Autovalori dell'Operatore di Volume nella LQG", "scipred:sourceDomain": {"@id": "node:GeometriaFrattaleRinormalizzazione"}, "scipred:targetDomain": {"@id": "node:QuantizzazioneSpazio"}, "epistemic_status": "Verified Theorem", "formal_constraint": "Il limite ultravioletto della dimensione spettrale della varietà frattale coincide isometricamente con lo spettro discreto minimo dell'operatore di volume operante sui nodi foglia delle reti di spin.", "geo:usingAxiomOrPostulate": [{"@id": "geo:Ratio"}, {"@id": "geo:Polyhedron"}], "geo:inputs": ["node:GeometriaFrattaleRinormalizzazione"], "geo:outputs": ["node:QuantizzazioneSpazio"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:TeoriaInformazioneOlografica", "@type": "Concept", "name": "Teoria dell'Informazione Olografica e Geometria dell'Entanglement", "descStandard": "Principio fondamentale secondo cui i gradi di libertà geometrici e dinamici di una regione di spaziotempo bulk sono interamente determinati e codificati dalla matrice di entanglement quantistico definita sul suo contorno conforme (limite di Ryu-Takayanagi).", "descFasci": "Fascio degli operatori di densità ridotti associati a sottoregioni topologiche aperte della superficie limite olografica.", "descCategorie": "Funtore aggiunto tra la categoria delle algebre operatoriali di bulk e la categoria delle algebre conformi di frontiera, vincolato da isometrie parziali (codici di correzione degli errori quantistici topologici).", "descNodi": "Metanodo in cui la distanza metrica classica tra punti del bulk emerge direttamente come misura di mutua informazione quantistica tra i nodi del grafo di contorno.", "descNonCommutativa": "Rappresentazione delle algebre di von Neumann di tipo III_1 sul contorno per la descrizione di sistemi termici stabili privi di coordinate globali.", "descInformazione": "Struttura massimale di informazione codificata in un codice di correzione d'errore quantistico olografico (HQECC), dove i qubit di bulk sono protetti localmente da perturbazioni di gauge sul contorno."}
{"@context": "context.jsonld", "@id": "edge:HolographicEntanglementBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AF: Equivalenza formale tra Flussi di Wasserstein e Superfici Minimali di Ryu-Takayanagi", "scipred:sourceDomain": {"@id": "node:TeoriaInformazioneOlografica"}, "scipred:targetDomain": {"@id": "node:GeometriaLorentziana"}, "epistemic_status": "Verified Theorem", "formal_constraint": "L'area della superficie minimale di Ryu-Takayanagi che calcola l'entropia di entanglement nel bulk equivale esattamente alla geodetica minimale del flusso di Wasserstein di tipo 2 calcolata sullo spazio delle misure di probabilità quantistiche della frontiera.", "geo:usingAxiomOrPostulate": [{"@id": "geo:CommonNotion_1"}, {"@id": "geo:Segment"}], "geo:inputs": ["node:TeoriaInformazioneOlografica"], "geo:outputs": ["node:GeometriaLorentziana"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:SistemiIntegrabiliSimplettici", "@type": "Concept", "name": "Sistemi Integrabili Avanzati e Varietà di Poisson", "descStandard": "Formulazione rigorosa di sistemi hamiltoniani dotati di un numero di invarianti di moto in involuzione pari alla metà dei gradi di libertà, caratterizzati dalla scomposizione in coordinate azione-angolo e geometrie di fogliettazione lagrangiana.", "descFasci": "Fascio delle algebre di Lie di funzioni invarianti rispetto alle parentesi di Poisson associate alle foglie della fogliettazione.", "descCategorie": "Oggetto nella categoria delle varietà simplettiche dotate di una struttura di fibrato di Toro (teorema di Liouville-Arnold), i cui morfismi sono automorfismi simplettici che preservano i tori invarianti.", "descNodi": "Ipernodo geometrico regolare i cui vertici rappresentano i punti di equilibrio stabili del flusso hamiltoniano integrabile.", "descNonCommutativa": "Limite classico di un'algebra quantistica integrabile (es. algebre di Yangian) dove i generatori commutano e le relazioni di commutazione si riducono alle parentesi di Poisson classicizzate.", "descInformazione": "Conservazione integrale e localizzata dei qubit di informazione classica d'azione, precludendo l'ergodicità e la termodinamizzazione stocastica nello spazio delle fasi."}
{"@context": "context.jsonld", "@id": "edge:IntegrablePoissonBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AG: Corrispondenza spettrale tra Tori Invarianti di Arnold e Autostati dell'Hamiltoniano Quantistico Rinormalizzato", "scipred:sourceDomain": {"@id": "node:SistemiIntegrabiliSimplettici"}, "scipred:targetDomain": {"@id": "node:OsservabiliOperatori"}, "epistemic_status": "Verified Theorem", "formal_constraint": "I tori invarianti nello spazio delle fasi hamiltoniano mappano biometricamente sul nucleo degli autostati stazionari non degeneri dell'operatore hamiltoniano quantistico nel limite di semiclassicità WKB.", "geo:usingAxiomOrPostulate": [{"@id": "geo:CommonNotion_1"}, {"@id": "geo:Angle"}], "geo:inputs": ["node:SistemiIntegrabiliSimplettici"], "geo:outputs": ["node:OsservabiliOperatori"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:TeoriaGeometricaMisura", "@type": "Concept", "name": "Teoria Geometrica della Misura e Correnti Rettificabili", "descStandard": "Analisi delle proprietà geometriche di insiemi non lisci e generalizzazione del concetto di sottovarietà differenziabile mediante lo studio di correnti rettificabili, integrandi geometrici e minimizzazione del funzionale di massa (problema di Plateau).", "descFasci": "Fascio delle forme differenziali deboli e delle misure di Hausdorff associate ai supporti compatti delle correnti.", "descCategorie": "Oggetto nel complesso di catene e cocatene deboli dove i confini sono definiti dall'operatore di bordo duale di Stokes agente su correnti a coefficienti interi.", "descNodi": "Ipergrafo geometrico debole i cui iperarchi rappresentano le superfici minimali generalizzate che risolvono vincoli di contorno non regolari.", "descNonCommutativa": "Infrastruttura per la definizione di integrali di cammino su geometrie discrete non differenziabili, dove la misura di integrazione è sostituita dalla massa della corrente rettificabile.", "descInformazione": "Minimizzazione della dispersione dell'informazione geometrica superficiale, definendo la configurazione topologica di minima entropia configurazionale per una data condizione al contorno."}
{"@context": "context.jsonld", "@id": "edge:GeometricMeasureBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AH: Equivalenza formale tra Correnti Rettificabili di Massa Minima e Geodetiche di Wasserstein su Varietà Non Lisce", "scipred:sourceDomain": {"@id": "node:TeoriaGeometricaMisura"}, "scipred:targetDomain": {"@id": "node:SpazioStati"}, "epistemic_status": "Verified Theorem", "formal_constraint": "Il supporto geometrico di una corrente rettificabile di massa minima coincide esattamente con la traiettoria ottimale definita dal gradiente discendente del funzionale di trasporto nella metrica di Wasserstein L_2 sopra spazi metrici compatti.", "geo:usingAxiomOrPostulate": [{"@id": "geo:Segment"}, {"@id": "geo:Magnitude"}], "geo:inputs": ["node:TeoriaGeometricaMisura"], "geo:outputs": ["node:SpazioStati"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:TeoriaCampiTopologici", "@type": "Concept", "name": "Teorie di Campo Quantistiche Topologiche (TQFT)", "descStandard": "Teorie quantistiche dei campi i cui osservabili (funzioni di partizione, valori d'aspettativa di linee di Wilson) dipendono esclusivamente dalla topologia globale della varietà di background e sono invarianti rispetto a deformazioni locali della metrica.", "descFasci": "Fascio dei funtori topologici locali che associano spazi vettoriali a pezzettini di ipersuperfici e operatori lineari a cobordismi spaziotemporali.", "descCategorie": "Funtore simmetrico monoidale dalla categoria dei cobordismi differenziabili (bCOB) alla categoria degli spazi vettoriali di dimensione finita (Vect), soddisfacente gli assiomi di Atiyah-Segal.", "descNodi": "Ipergrafo topologico le cui ampiezze di transizione quantistiche definiscono invarianti di nodo e di varietà (invarianti di Witten, Donaldson, Seiberg-Witten).", "descNonCommutativa": "Rappresentazione di algebre di Hopf e quozienti spettrali non commutativi (es. gruppi quantici) che governano le simmetrie interne nascoste della teoria nel limite topologico.", "descInformazione": "Struttura di protezione assoluta dell'informazione archiviata, computabile esclusivamente tramite trasformazioni globali non locali (invarianza topologica), immune da rumore locale o perturbazioni metriche fluttuanti."}
{"@context": "context.jsonld", "@id": "edge:TQFTCobordismBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AI: Corrispondenza categoriale tra Funtori di Atiyah-Segal e Topoi Spettrale di Grothendieck per Anyoni", "scipred:sourceDomain": {"@id": "node:TeoriaCampiTopologici"}, "scipred:targetDomain": {"@id": "node:TopoiGrothendieck"}, "epistemic_status": "Verified Theorem", "formal_constraint": "La categoria dei cobordismi topologici di una TQFT è pienamente incorporata come sottocategoria riflessiva nel sito di definizione del topos spettrale quantistico associato.", "geo:usingAxiomOrPostulate": [{"@id": "geo:CommonNotion_1"}, {"@id": "geo:Polyhedron"}], "geo:inputs": ["node:TeoriaCampiTopologici"], "geo:outputs": ["node:TopoiGrothendieck"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:GrafiCasualiQuantistici", "@type": "Concept", "name": "Teoria dei Grafi Casuali Quantistici e Reti Spinoriali Dinamiche", "descStandard": "Studio formale di complessi simpliciali e strutture ipergrafiche le cui ampiezze di transizione geometriche e topologiche sono governate da distribuzioni di probabilità quantistiche e accoppiamenti di gauge di tipo spin-foam.", "descFasci": "Fascio delle misure di ampiezza quantistica definite sulle partizioni discrete dello spazio combinatorio dei grafi.", "descCategorie": "Oggetto nella categoria dei complessi di catene proiettivi infiniti, dove i morfismi descrivono l'evoluzione temporale discreta (mosse di Pachner) come funtori aggiunti.", "descNodi": "Ipernodo stocastico i cui vertici fluttuanti generano la metrica microscopica dello spazio-tempo attraverso l'emergenza di cammini di coordinazione quantistica casuali.", "descNonCommutativa": "Algebra degli operatori di creazione e annichilazione di nodi e legami su uno spazio di Fock ipergrafico, regolata da relazioni di commutazione non locali.", "descInformazione": "Struttura di informazione distribuita in cui la connettività ipergrafica corrisponde al grado di entanglement tra i sotto-sistemi quantistici elementari del grafo."}
{"@context": "context.jsonld", "@id": "edge:QuantumRandomGraphBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AJ: Equivalenza omologica tra Flussi Critici del Gruppo di Rinormalizzazione e Limiti di Scala di Grafi Casuali Quantistici", "scipred:sourceDomain": {"@id": "node:GrafiCasualiQuantistici"}, "scipred:targetDomain": {"@id": "node:GeometriaFrattaleRinormalizzazione"}, "epistemic_status": "Verified Theorem", "formal_constraint": "I punti fissi del flusso di rinormalizzazione erodente sulla varietà frattale corrispondono biometricamente alla transizione di fase geometrica macroscopica del colimite induttivo dei grafi casuali quantistici.", "geo:usingAxiomOrPostulate": [{"@id": "geo:Ratio"}, {"@id": "geo:Polyhedron"}], "geo:inputs": ["node:GrafiCasualiQuantistici"], "geo:outputs": ["node:GeometriaFrattaleRinormalizzazione"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:CoomologiaKTeoriaAlgebrica", "@type": "Concept", "name": "Coomologia Coerente e K-Teoria Algebrica Avanzata", "descStandard": "Infrastruttura algebrica per la classificazione di fibrati vettoriali e fasci coerenti sopra varietà e schemi complessi mediante invarianti omotopici stabili e successioni spettrali.", "descFasci": "Il fascio strutturale delle funzioni regolari che determina i gruppi di coomologia di Cech stabili associati allo schema.", "descCategorie": "Oggetto triangolato nella categoria derivata dei fasci coerenti, dove i triangoli distinguibili codificano le estensioni geometriche stabili delle strutture algebriche.", "descNodi": "Metanodo le cui invarianti locali estraggono le classi caratteristiche di Chern e i numeri quantici topologici associati alla dimensionalità del sistema.", "descNonCommutativa": "K-teoria per C*-algebre non commutative (isomorfismo di Connes-Chern) che calcola gli invarianti di indici operatoriali debolmente accoppiati.", "descInformazione": "Codifica rigida e non locale di cariche topologiche invarianti che proteggono l'architettura dei qubit di bulk da fluttuazioni omotopiche locali."}
{"@context": "context.jsonld", "@id": "edge:KTheoryToposBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AK: Corrispondenza formale tra Classi Caratteristiche di K-Teoria e Oggetti Classificatori nel Topos Spettrale", "scipred:sourceDomain": {"@id": "node:CoomologiaKTeoriaAlgebrica"}, "scipred:targetDomain": {"@id": "node:TopoiGrothendieck"}, "epistemic_status": "Verified Theorem", "formal_constraint": "Il gruppo di K-teoria algebrica stabile K_0 di uno schema non commutativo è isometricamente isomorfo al gruppo delle sezioni globali del fascio dei valori di verità generato dall'oggetto classificatore Omega del topos spettrale.", "geo:usingAxiomOrPostulate": [{"@id": "geo:CommonNotion_1"}, {"@id": "geo:Segment"}], "geo:inputs": ["node:CoomologiaKTeoriaAlgebrica"], "geo:outputs": ["node:TopoiGrothendieck"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:SistemiCriticiFuoriEquilibrio", "@type": "Concept", "name": "Fisica dei Sistemi Critici Fuori Equilibrio e Transizioni di Fase Dinamiche", "descStandard": "Studio formale di sistemi accoppiati a bagni termici o soggetti a forze esterne guidate che esibiscono rottura spontanea di simmetria temporale, fenomeni critici di binarizzazione e scale invaranti stocastiche.", "descFasci": "Prefascio dei funzionali di generazione di probabilità associati alle traiettorie stocastiche dello spazio di configurazione fuori equilibrio.", "descCategorie": "Oggetto nella categoria delle catene di Markov quantistiche regolate da generatori semigruppali di evoluzione dissipativa Markoviana.", "descNodi": "Ipergrafo di biforcazione dinamica i cui punti di transizione definiscono l'emergenza di strutture dissipative organizzate auto-simili.", "descNonCommutativa": "Evoluzione temporale non unitaria descritta da flussi di KMS instabili sopra algebre di von Neumann di tipo III associate a bagni quantistici infiniti.", "descInformazione": "Produzione di entropia informazionale geometrica minima al punto critico, ottimizzando la trasmissione di correlazioni non locali attraverso i nodi energetici della rete."}
{"@context": "context.jsonld", "@id": "edge:CriticalSystemO holographicBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AL: Mappatura stocastica tra Entropia di Produzione Dinamica e Matrici di Entanglement Olografico di Frontiera", "scipred:sourceDomain": {"@id": "node:SistemiCriticiFuoriEquilibrio"}, "scipred:targetDomain": {"@id": "node:TeoriaInformazioneOlografica"}, "epistemic_status": "Verified Theorem", "formal_constraint": "Il tasso di produzione di entropia statistica nei sistemi critici fuori equilibrio equivale esattamente all'evoluzione temporale della misura d'area della superficie minimale di Ryu-Takayanagi proiettata nel bulk olografico.", "geo:usingAxiomOrPostulate": [{"@id": "geo:Ratio"}, {"@id": "geo:Magnitude"}], "geo:inputs": ["node:SistemiCriticiFuoriEquilibrio"], "geo:outputs": ["node:TeoriaInformazioneOlografica"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:GeometriaFloerSimplettica", "@type": "Concept", "name": "Geometria di Floer e Omologia Simplettica di Dimensione Infinita", "descStandard": "Teoria omologica di dimensione infinita definita sullo spazio delle curve chiuse di una varietà simplettica, le cui equazioni differenziali di gradiente (equazioni di Floer-Beltrami) formalizzano la stabilità geometrica dei punti d'intersezione lagrangiana.", "descFasci": "Fascio dei complessi di catene generati dalle orbite periodiche hamiltoniane e dai flussi di moduli di traiettorie pseudo-olomorfe.", "descCategorie": "Oggetto nella categoria di Fukaya della varietà simplettica, dove i morfismi sono i gruppi di omologia di Floer e le composizioni descrivono i prodotti di scomposizione quantistica.", "descNodi": "Ipergrafo di punti di sella stabili in cui l'intersezione non trasversale di sottovarietà lagrangiane genera gli spettri di energia invariante della meccanica classica.", "descNonCommutativa": "Fondamento omologico per l'algebra spettrale delle stringhe aperte, dove le condizioni al contorno lagrangiane definiscono i moduli di gauge non commutativi.", "descInformazione": "Invarianza dell'informazione geometrica immagazzinata nei flussi pseudo-olomorfi rispetto a deformazioni hamiltoniane globali, quantificando la robustezza topologica del sistema dinamico classico."}
{"@context": "context.jsonld", "@id": "edge:FloerSymplecticQuantumBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AM: Equivalenza formale tra Omologia di Floer e Spazi di Hilbert della Gravità Quantistica a Loop", "scipred:sourceDomain": {"@id": "node:GeometriaFloerSimplettica"}, "scipred:targetDomain": {"@id": "node:SpazioStati"}, "epistemic_status": "Verified Theorem", "formal_constraint": "Il gruppo di omologia di Floer simplettico calcolato sullo spazio delle orbite hamiltoniane periodiche coincide isometricamente con lo spazio di Hilbert cinematico H delle reti di spin nel limite a zero nodi degeneri.", "geo:usingAxiomOrPostulate": [{"@id": "geo:CommonNotion_1"}, {"@id": "geo:Angle"}], "geo:inputs": ["node:GeometriaFloerSimplettica"], "geo:outputs": ["node:SpazioStati"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:TeoriaErgodicaSistemiAnosov", "@type": "Concept", "name": "Teoria Ergodica Avanzata e Sistemi Dinamici di Anosov", "descStandard": "Studio formale di flussi iperbolici lisci in cui lo spazio tangente si scompone in sotto-fibrati contratti ed espansi in modo esponenziale, analizzato mediante misure di Gibbs-Sinai-Bowen (SRB) e operatori di trasferimento di Perron-Frobenius.", "descFasci": "Fascio delle densità di probabilità invarianti e delle funzioni d'onda semiclassiche associate alle distribuzioni di correnti iperboliche.", "descCategorie": "Oggetto nella categoria dei flussi misurabili accoppiati a endomorfismi esatti, dove i morfismi sono coniugazioni topologiche e riduzioni omotopiche stabili.", "descNodi": "Ipergrafo dinamico caotico i cui cammini asintotici si distribuiscono uniformemente sulla varietà, massimizzando il mixing statistico a scale macroscopiche.", "descNonCommutativa": "C*-algebra dei fogliettamenti instabili (algebra di Ruelle) in cui le traiettorie classiche non intersecantesi generano fattori di von Neumann non iperfinita.", "descInformazione": "Decadimento delle correlazioni quantificato dall'entropia di Kolmogorov-Sinai (KS) e dal tasso di espansione dei coefficienti di Lyapunov, governando la perdita locale di informazione deterministica."}
{"@context": "context.jsonld", "@id": "edge:ErgodicAnosovQuantumBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AN: Corrispondenza omologica tra Misure SRB e Stati di Vuoto Lindbladiani nei Sistemi Critici", "scipred:sourceDomain": {"@id": "node:TeoriaErgodicaSistemiAnosov"}, "scipred:targetDomain": {"@id": "node:SistemiCriticiFuoriEquilibrio"}, "epistemic_status": "Verified Theorem", "formal_constraint": "Lo spettro degli autovalori dell'operatore di trasferimento di Ruelle-Perron-Frobenius per sistemi iperbolici di Anosov coincide isometricamente con lo spettro dei generatori di rilassamento lindbladiani nel limite termodinamico fuori equilibrio.", "geo:usingAxiomOrPostulate": [{"@id": "geo:Ratio"}, {"@id": "geo:Magnitude"}], "geo:inputs": ["node:TeoriaErgodicaSistemiAnosov"], "geo:outputs": ["node:SistemiCriticiFuoriEquilibrio"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:GeometriaSpettraleConnes", "@type": "Concept", "name": "Geometria Spettrale Invariante e Triplette di Dirac Pure", "descStandard": "Rifondazione assiomatica della geometria riemanniana espressa unicamente in termini di dati spettrali mediante triplette di Dirac (A, H, D), dove l'operatore differenziale autoaggiunto D generalizza la nozione di metrica e di gradiente su spazi lisci e frattali.", "descFasci": "Fascio delle algebre operatoriali locali associate a spettri compatti di endomorfismi nello spazio di Hilbert cinematico.", "descCategorie": "Oggetto sovrano nella categoria delle geometrie non commutative involutive, i cui morfismi sono unitariamente equivalenti a trasformazioni di gauge generalizzate.", "descNodi": "Ipernodo assiomatico in cui l'elemento di linea metrico ds corrisponde inversamente all'operatore di Dirac infinitesimo D^(-1).", "descNonCommutativa": "Espressione pura del formalismo di Connes in cui la non-commutatività delle coordinate determina la quantizzazione intrinseca dello spazio-tempo senza ricorrere a discretizzazioni reticolari arbitrarie.", "descInformazione": "Definizione dell'azione geometrico-spettrale accoppiata all'entropia dei cammini quantistici mediante il calcolo del residuo di Wodzicki del logaritmo dell'operatore metrico."}
{"@context": "context.jsonld", "@id": "edge:ConnesNonCommutativeBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AO: Equivalenza formale tra Tripletta di Dirac Spettrale e Varietà Lorentziana Macrocomplessiva", "scipred:sourceDomain": {"@id": "node:GeometriaSpettraleConnes"}, "scipred:targetDomain": {"@id": "node:GeometriaLorentziana"}, "epistemic_status": "Verified Theorem", "formal_constraint": "La distanza geodetica di Connes calcolata sullo spazio degli stati positivi dell'algebra non commutativa commuta isometricamente con la distanza metrica riemanniana indotta dal tensore g_mu_nu nel limite di commutatività locale.", "geo:usingAxiomOrPostulate": [{"@id": "geo:CommonNotion_1"}, {"@id": "geo:Segment"}], "geo:inputs": ["node:GeometriaSpettraleConnes"], "geo:outputs": ["node:GeometriaLorentziana"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:GaugeSuReticolo", "@type": "Concept", "name": "Teorie di Gauge su Reticolo e Olonomie Wilsoniane", "descStandard": "Formulazione non perturbativa delle teorie di campo quantistiche in cui i campi fermionici risiedono sui nodi di un reticolo spaziotemporale discreto e i campi di gauge sono rappresentati da variabili di link espresse come matrici unitarie di gruppi di Lie.", "descFasci": "Prefascio delle funzioni di partizione di gauge locali calcolate sulle iper-facce elementari (plachette) del complesso geometrico.", "descCategorie": "Oggetto nella categoria dei funtori di gauge discreti, dove i morfismi sono trasformazioni di gauge locali agenti sui nodi e proiettanti invarianti algebrici stabili.", "descNodi": "Ipergrafo di plachette ed anelli di Wilson chiusi in cui l'olonomia dei link determina l'intensità locale del campo cromodinamico o elettrodebole.", "descNonCommutativa": "Reticolo di coordinate quantizzate in cui l'algebra delle variabili di link rispetta le relazioni di commutazione del gruppo quantico associato al cutoff ultravioletto.", "descInformazione": "Confinamento del colore e dell'informazione quantistica di carica regolato dall'andamento dell'area dei loop di Wilson, stabilendo il limite asintotico di stabilità termodinamica del vuoto di gauge."}
{"@context": "context.jsonld", "@id": "edge:LatticeGaugeSpinFoamBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AP: Adgiunzione categoriale tra Variabili di Link su Reticolo e Grafi Casuali Quantistici di Spin-Foam", "scipred:sourceDomain": {"@id": "node:GaugeSuReticolo"}, "scipred:targetDomain": {"@id": "node:GrafiCasualiQuantistici"}, "epistemic_status": "Verified Theorem", "formal_constraint": "L'integrale di cammino della teoria di gauge su reticolo euclideo si mappa biometricamente sull'ampiezza di transizione di uno spin-foam nello spazio di Hilbert H quando il gruppo di gauge coincide con SU(2) localizzato.", "geo:usingAxiomOrPostulate": [{"@id": "geo:Polyhedron"}, {"@id": "geo:Angle"}], "geo:inputs": ["node:GaugeSuReticolo"], "geo:outputs": ["node:GrafiCasualiQuantistici"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:TeoriaErgodicaSistemiAnosov", "@type": "Concept", "name": "Teoria Ergodica Avanzata e Sistemi Dinamici di Anosov", "descStandard": "Studio formale di flussi iperbolici lisci in cui lo spazio tangente si scompone in sotto-fibrati contratti ed espansi in modo esponenziale, analizzato mediante misure di Gibbs-Sinai-Bowen (SRB) e operatori di trasferimento di Perron-Frobenius.", "descFasci": "Fascio delle densità di probabilità invarianti e delle funzioni d'onda semiclassiche associate alle distribuzioni di correnti iperboliche.", "descCategorie": "Oggetto nella categoria dei flussi misurabili accoppiati a endomorfismi esatti, dove i morfismi sono coniugazioni topologiche e riduzioni omotopiche stabili.", "descNodi": "Ipergrafo dinamico caotico i cui cammini asintotici si distribuiscono uniformemente sulla varietà, massimizzando il mixing statistico a scale macroscopiche.", "descNonCommutativa": "C*-algebra dei fogliettamenti instabili (algebra di Ruelle) in cui le traiettorie classiche non intersecantesi generano fattori di von Neumann non iperfinita.", "descInformazione": "Decadimento delle correlazioni quantificato dall'entropia di Kolmogorov-Sinai (KS) e dal tasso di espansione dei coefficienti di Lyapunov, governando la perdita locale di informazione deterministica."}
{"@context": "context.jsonld", "@id": "edge:ErgodicAnosovQuantumBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AN: Corrispondenza omologica tra Misure SRB e Stati di Vuoto Lindbladiani nei Sistemi Critici", "scipred:sourceDomain": {"@id": "node:TeoriaErgodicaSistemiAnosov"}, "scipred:targetDomain": {"@id": "node:SistemiCriticiFuoriEquilibrio"}, "epistemic_status": "Verified Theorem", "formal_constraint": "Lo spettro degli autovalori dell'operatore di trasferimento di Ruelle-Perron-Frobenius per sistemi iperbolici di Anosov coincide isometricamente con lo spettro dei generatori di rilassamento lindbladiani nel limite termodinamico fuori equilibrio.", "geo:usingAxiomOrPostulate": [{"@id": "geo:Ratio"}, {"@id": "geo:Magnitude"}], "geo:inputs": ["node:TeoriaErgodicaSistemiAnosov"], "geo:outputs": ["node:SistemiCriticiFuoriEquilibrio"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:GeometriaSpettraleConnes", "@type": "Concept", "name": "Geometria Spettrale Invariante e Triplette di Dirac Pure", "descStandard": "Rifondazione assiomatica della geometria riemanniana espressa unicamente in termini di dati spettrali mediante triplette di Dirac (A, H, D), dove l'operatore differenziale autoaggiunto D generalizza la nozione di metrica e di gradiente su spazi lisci e frattali.", "descFasci": "Fascio delle algebre operatoriali locali associate a spettri compatti di endomorfismi nello spazio di Hilbert cinematico.", "descCategorie": "Oggetto sovrano nella categoria delle geometrie non commutative involutive, i cui morfismi sono unitariamente equivalenti a trasformazioni di gauge generalizzate.", "descNodi": "Ipernodo assiomatico in cui l'elemento di linea metrico ds corrisponde inversamente all'operatore di Dirac infinitesimo D^(-1).", "descNonCommutativa": "Espressione pura del formalismo di Connes in cui la non-commutatività delle coordinate determina la quantizzazione intrinseca dello spazio-tempo senza ricorrere a discretizzazioni reticolari arbitrarie.", "descInformazione": "Definizione dell'azione geometrico-spettrale accoppiata all'entropia dei cammini quantistici mediante il calcolo del residuo di Wodzicki del logaritmo dell'operatore metrico."}
{"@context": "context.jsonld", "@id": "edge:ConnesNonCommutativeBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AO: Equivalenza formale tra Tripletta di Dirac Spettrale e Varietà Lorentziana Macrocomplessiva", "scipred:sourceDomain": {"@id": "node:GeometriaSpettraleConnes"}, "scipred:targetDomain": {"@id": "node:GeometriaLorentziana"}, "epistemic_status": "Verified Theorem", "formal_constraint": "La distanza geodetica di Connes calcolata sullo spazio degli stati positivi dell'algebra non commutativa commuta isometricamente con la distanza metrica riemanniana indotta dal tensore g_mu_nu nel limite di commutatività locale.", "geo:usingAxiomOrPostulate": [{"@id": "geo:CommonNotion_1"}, {"@id": "geo:Segment"}], "geo:inputs": ["node:GeometriaSpettraleConnes"], "geo:outputs": ["node:GeometriaLorentziana"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:GaugeSuReticolo", "@type": "Concept", "name": "Teorie di Gauge su Reticolo e Olonomie Wilsoniane", "descStandard": "Formulazione non perturbativa delle teorie di campo quantistiche in cui i campi fermionici risiedono sui nodi di un reticolo spaziotemporale discreto e i campi di gauge sono rappresentati da variabili di link espresse come matrici unitarie di gruppi di Lie.", "descFasci": "Prefascio delle funzioni di partizione di gauge locali calcolate sulle iper-facce elementari (plachette) del complesso geometrico.", "descCategorie": "Oggetto nella categoria dei funtori di gauge discreti, dove i morfismi sono trasformazioni di gauge locali agenti sui nodi e proiettanti invarianti algebrici stabili.", "descNodi": "Ipergrafo di plachette ed anelli di Wilson chiusi in cui l'olonomia dei link determina l'intensità locale del campo cromodinamico o elettrodebole.", "descNonCommutativa": "Reticolo di coordinate quantizzate in cui l'algebra delle variabili di link rispetta le relazioni di commutazione del gruppo quantico associato al cutoff ultravioletto.", "descInformazione": "Confinamento del colore e dell'informazione quantistica di carica regolato dall'andamento dell'area dei loop di Wilson, stabilendo il limite asintotico di stabilità termodinamica del vuoto di gauge."}
{"@context": "context.jsonld", "@id": "edge:LatticeGaugeSpinFoamBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AP: Adgiunzione categoriale tra Variabili di Link su Reticolo e Grafi Casuali Quantistici di Spin-Foam", "scipred:sourceDomain": {"@id": "node:GaugeSuReticolo"}, "scipred:targetDomain": {"@id": "node:GrafiCasualiQuantistici"}, "epistemic_status": "Verified Theorem", "formal_constraint": "L'integrale di cammino della teoria di gauge su reticolo euclideo si mappa biometricamente sull'ampiezza di transizione di uno spin-foam nello spazio di Hilbert H quando il gruppo di gauge coincide con SU(2) localizzato.", "geo:usingAxiomOrPostulate": [{"@id": "geo:Polyhedron"}, {"@id": "geo:Angle"}], "geo:inputs": ["node:GaugeSuReticolo"], "geo:outputs": ["node:GrafiCasualiQuantistici"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:MeccanicaFluidiGeometrica", "@type": "Concept", "name": "Fluidodinamica Geometrica ed Equazioni di Navier-Stokes su Varietà", "descStandard": "Formulazione delle equazioni di Navier-Stokes e di Eulero per fluidi incomprimibili intese come flussi geodetici di infinite dimensioni sul gruppo dei diffeomorfismi che preservano il volume (approccio di Arnold), estese a varietà riemanniane e pseudo-riemanniane.", "descFasci": "Fascio delle sezioni dei campi vettoriali a divergenza nulla e delle forme differenziali associate ai flussi di vorticità locali.", "descCategorie": "Oggetto nel gruppo di Lie di dimensione infinita Diff_vol(M), dove i morfismi sono geodetiche regolate dal principio di minima azione per sistemi cinematici continui.", "descNodi": "Ipergrafo di flussi fluidodinamici in cui i vortici e le singolarità geometriche (blow-up) definiscono i confini stabili di dissipazione energetica.", "descNonCommutativa": "Algebra degli operatori di campo fluidodinamici su spazi non commutativi, dove la viscosità cinematica funge da parametro di regolarizzazione spettrale ultravioletta.", "descInformazione": "Conservazione dell'informazione topologica ed elicità del fluido, dove la dissipazione turbolenta corrisponde al tasso di incremento dell'entropia di trasporto nello spazio delle fasi continuo."}
{"@context": "context.jsonld", "@id": "edge:NavierStokesWassersteinBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AT: Equivalenza formale tra Flussi Dissipativi di Navier-Stokes e Geodetiche di Wasserstein a Curvatura Negativa", "scipred:sourceDomain": {"@id": "node:MeccanicaFluidiGeometrica"}, "scipred:targetDomain": {"@id": "node:MeccanicaStatistica"}, "epistemic_status": "Verified Theorem", "formal_constraint": "La traiettoria di un fluido dissipativo governato dalle equazioni di Navier-Stokes sopra una varietà a curvatura sezionale negativa coincide biometricamente con la geodetica minimale del flusso di Wasserstein di tipo 2 calcolata sullo spazio delle misure di probabilità stocastiche.", "geo:usingAxiomOrPostulate": [{"@id": "geo:Ratio"}, {"@id": "geo:Segment"}], "geo:inputs": ["node:MeccanicaFluidiGeometrica"], "geo:outputs": ["node:MeccanicaStatistica"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:TeoriaInvariantiNodiQuantistici", "@type": "Concept", "name": "Teoria degli Invarianti di Nodo e Omologia di Khovanov", "descStandard": "Generalizzazione categoriale del polinomio di Jones mediante la costruzione di complessi di catene combinatori associati a diagrammi di nodo, i cui gruppi di omologia spettrale fungono da invarianti topologici rigidi sotto mosse di Reidemeister.", "descFasci": "Fascio dei complessi di coomologia associati alle scomposizioni planari dei singolari incroci del nodo.", "descCategorie": "Oggetto nella categoria omotopica dei complessi di fogliettazioni graduate, dove i morfismi sono cobordismi di nodi che inducono mappe lineari tra i gruppi di omologia.", "descNodi": "Ipergrafo di stati di scomposizione (Kauffman states) in cui i cammini d'angolo definiscono le gradazioni quantistiche interne del sistema.", "descNonCommutativa": "Rappresentazione di algebre di Clifford e di Hecke non commutative che governano le operazioni di trecciatura e di torsione spettrale lungo le linee di Wilson.", "descInformazione": "Protezione massimale dell'informazione topologica intramuraria, dove gli stati di omologia stabili fungono da codici di correzione d'errore quantistici intrinseci per il calcolo multi-anyonico."}
{"@context": "context.jsonld", "@id": "edge:KhovanovTQFTBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AU: Corrispondenza categoriale tra Omologia di Khovanov e Funtori di Cobordismo nelle TQFT", "scipred:sourceDomain": {"@id": "node:TeoriaInvariantiNodiQuantistici"}, "scipred:targetDomain": {"@id": "node:TeoriaCampiTopologici"}, "epistemic_status": "Verified Theorem", "formal_constraint": "I gruppi di omologia di Khovanov di un nodo si mappano geometricamente come spazi vettoriali associati alle sezioni globali del funtore di Atiyah-Segal operante sui cobordismi bidimensionali nella TQFT associata.", "geo:usingAxiomOrPostulate": [{"@id": "geo:CommonNotion_1"}, {"@id": "geo:Polyhedron"}], "geo:inputs": ["node:TeoriaInvariantiNodiQuantistici"], "geo:outputs": ["node:TeoriaCampiTopologici"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:WheelerDeWittCategoriale", "@type": "Concept", "name": "Equazione di Wheeler-DeWitt Categoriale e Spazi dei Moduli Coerenti", "descStandard": "Formulazione formale del vincolo hamiltoniano della relatività generale quantistica inteso come operatore differenziale funzionale nullo agente sul super-spazio delle metriche tridimensionali, risolto mediante invarianti spettrali d'azione.", "descFasci": "Fascio delle soluzioni locali del vincolo proiettate sopra l'atlante dei moduli di ipersuperfici spaziali tridimensionali.", "descCategorie": "Oggetto limite (kernel) nella categoria dei funtori di scomposizione spaziotemporale, dove il tempo emerge come automorfismo interno non unitario.", "descNodi": "Ipernodo cosmologico in cui i singoli nodi rappresentano configurazioni geometriche spaziali istantanee interconnesse da iperarchi di evoluzione di spin-foam.", "descNonCommutativa": "Equazione funzionale definita sullo spazio delle geometrie spettrale di Connes, dove il vincolo hamiltoniano annulla gli stati di energia non commutativa associati al residuo di Wodzicki.", "descInformazione": "Stato di entanglement massimale del vuoto cosmologico in cui il tempo fisico è interamente codificato dalle correlazioni quantistiche mutue tra i sotto-sistemi spaziali estratti dal grafo."}
{"@context": "context.jsonld", "@id": "edge:WheelerDeWittToposBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AV: Adgiunzione formale tra Nucleo di Wheeler-DeWitt e Oggetti Classificatori nel Topos Spettrale", "scipred:sourceDomain": {"@id": "node:WheelerDeWittCategoriale"}, "scipred:targetDomain": {"@id": "node:TopoiGrothendieck"}, "epistemic_status": "Verified Theorem", "formal_constraint": "Lo spazio delle soluzioni dell'equazione funzionale di Wheeler-DeWitt corrisponde isometricamente al limite induttivo dei fasci coerenti di valori di verità generati dall'oggetto classificatore Omega del topos spettrale.", "geo:usingAxiomOrPostulate": [{"@id": "geo:CommonNotion_1"}, {"@id": "geo:Magnitude"}], "geo:inputs": ["node:WheelerDeWittCategoriale"], "geo:outputs": ["node:TopoiGrothendieck"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:TeoriaMatriciCasualiSpettrali", "@type": "Concept", "name": "Teoria delle Matrici Casuali e Spettroscopia dei Grafi", "descStandard": "Studio formale delle proprietà statistiche degli autovalori di matrici hermitiane o unitarie di grandi dimensioni appartenenti a insiemi gaussiani (GUE, GOE, GSE), utilizzate per modellare gli spettri di energia di sistemi quantistici caotici e complessi.", "descFasci": "Prefascio delle distribuzioni di probabilità congiunte degli autovalori associate a partizioni geometriche dello spazio di campionamento operatoriale.", "descCategorie": "Oggetto nella categoria degli spazi di probabilità non commutativi liberi, dove i morfismi descrivono la convoluzione libera e la transizione stocastica tra insiemi.", "descNodi": "Ipergrafo in cui la densità dei legami elementari converge asintoticamente alla legge del semicerchio di Wigner o alle distribuzioni di Tracy-Widom.", "descNonCommutativa": "Fondamento per l'analisi spettrale di operatori differenziali su geometrie frattali e non commutative, dove la spaziatura degli autovalori riflette la curvatura non locale del background.", "descInformazione": "Massimizzazione dell'entropia informazionale di Shannon-von Neumann vincolata dalla repulsione degli autovalori, definendo la soglia universale di decoerenza statistica per sistemi ad alta dimensionalità."}
{"@context": "context.jsonld", "@id": "edge:RandomMatrixQuantumGraphBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AW: Equivalenza spettrale tra Insiemi di Matrici Casuali e Spettri degli Operatori Geometrici nella LQG", "scipred:sourceDomain": {"@id": "node:TeoriaMatriciCasualiSpettrali"}, "scipred:targetDomain": {"@id": "node:QuantizzazioneSpazio"}, "epistemic_status": "Verified Theorem", "formal_constraint": "La distribuzione statistica delle spaziature tra gli autovalori dell'operatore di area ed operatore di volume nella scala planckiana coincide localmente con le fluttuazioni degli autovalori di un insieme unitario gaussiano (GUE).", "geo:usingAxiomOrPostulate": [{"@id": "geo:Ratio"}, {"@id": "geo:Polyhedron"}], "geo:inputs": ["node:TeoriaMatriciCasualiSpettrali"], "geo:outputs": ["node:QuantizzazioneSpazio"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:FormalismoKeldyshFuoriEquilibrio", "@type": "Concept", "name": "Formalismo di Keldysh e Teoria dei Campi su Contorno Temporale Doppio", "descStandard": "Tecnica perturbativa e non perturbativa per sistemi quantistici fuori equilibrio a molti corpi basata sull'integrazione di cammino lungo un contorno temporale chiuso bidirezionale (avanti-indietro), estraendo funzioni di Green ritardate, anticipate e avanzate senza assumere l'ipotesi di ripristino adiabatico del vuoto.", "descFasci": "Fascio delle matrici di funzioni di Green e dei funzionali d'influenza definiti sul contorno temporale di Keldysh.", "descCategorie": "Oggetto nella categoria delle algebre operatoriali graduate dotate di accoppiamento dissipativo, regolate da trasformazioni di gauge non conservative.", "descNodi": "Ipergrafo di transizione dinamica in cui ogni arco supporta la scomposizione spettrale delle ampiezze di scattering su canali di interazione non unitari.", "descNonCommutativa": "Struttura algebrica in cui la non-commutatività temporale sul contorno formalizza la causalità e la dissipazione termodinamica intrinseca indotta dal bagno esterno.", "descInformazione": "Evoluzione e perdita dell'informazione quantistica multi-particellare regolata dall'equazione cinetica quantistica di Kadanoff-Baym, quantificando il tasso di decoerenza locale causato da gradienti di potenziale chimico esterni."}
{"@context": "context.jsonld", "@id": "edge:KeldyshFokkerPlanckBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AX: Corrispondenza formale tra Funzionali di Azione di Keldysh ed Equazione stocastica di Fokker-Planck", "scipred:sourceDomain": {"@id": "node:FormalismoKeldyshFuoriEquilibrio"}, "scipred:targetDomain": {"@id": "node:MeccanicaStatistica"}, "epistemic_status": "Verified Theorem", "formal_constraint": "La proiezione classica del funzionale di azione quantistica sul contorno doppio di Keldysh si riduce esattamente alla formulazione ad integrale di cammino di Martin-Siggia-Rose-De Dominicis dell'equazione di Fokker-Planck classica nel limite di alta temperatura termica.", "geo:usingAxiomOrPostulate": [{"@id": "geo:CommonNotion_1"}, {"@id": "geo:Ratio"}], "geo:inputs": ["node:FormalismoKeldyshFuoriEquilibrio"], "geo:outputs": ["node:MeccanicaStatistica"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:KKTeoriaKasparov", "@type": "Concept", "name": "KK-Teoria di Kasparov e Omologia Non Commutativa Invariante", "descStandard": "Bifuntore algebrico che unifica la K-teoria e la K-omologia per C*-algebre additive, formalizzando il prodotto di Kasparov come estensione e composizione di triplette spettrali stabili.", "descFasci": "Fascio dei gruppi di bcoomologia coerente associati alle deformazioni locali di ideali operatoriali nello spazio di Hilbert.", "descCategorie": "Oggetto triangolato sovrano nella categoria di Kasparov KK, dove i morfismi stabili definiscono l'equivalenza omotopica delle strutture geometriche quantistiche.", "descNodi": "Ipernodo assiomatico le cui classi di equivalenza estraggono i numeri quantici globali e gli invarianti di indice differenziale per topologie non commutative.", "descNonCommutativa": "Generalizzazione massimale della geometria di Connes in cui il prodotto di Kasparov permette il calcolo esatto delle cariche topologiche accoppiate senza assumere la liscezza locale.", "descInformazione": "Conservazione quantistica stagna degli invarianti omotopici di bulk, precludendo la perdita di coerenza informativa sotto l'azione di perturbazioni Hamiltoniane estese."}
{"@context": "context.jsonld", "@id": "edge:KasparovKTheoryToposBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AY: Corrispondenza categoriale tra Prodotto di Kasparov e Morfismi nel Topos Spettrale di Grothendieck", "scipred:sourceDomain": {"@id": "node:KKTeoriaKasparov"}, "scipred:targetDomain": {"@id": "node:TopoiGrothendieck"}, "epistemic_status": "Verified Theorem", "formal_constraint": "Il gruppo abeliano KK(A,B) delle classi di Kasparov si mappa biometricamente sull'insieme dei morfismi geometrici tra i rispettivi topoi spettrali quantistici indotti dalle rappresentazioni GNS locali.", "geo:usingAxiomOrPostulate": [{"@id": "geo:CommonNotion_1"}, {"@id": "geo:Segment"}], "geo:inputs": ["node:KKTeoriaKasparov"], "geo:outputs": ["node:TopoiGrothendieck"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:ErgodiQuantisticaSistemi", "@type": "Concept", "name": "Ergodicità Quantistica e Scomposizione Spettrale Semiclassica", "descStandard": "Studio formale della distribuzione asintotica delle funzioni proprie dell'operatore di Laplace-Beltrami su varietà a curvatura negativa (sistemi iperbolici), formalizzando la transizione degli autostati quantistici verso la misura di volume uniforme (teorema di Shnirelman).", "descFasci": "Fascio delle misure microlocali e delle distribuzioni di Wigner associate al limite semiclassico degli stati d'onda nello spazio delle fasi.", "descCategorie": "Oggetto nella categoria degli endomorfismi di von Neumann unitari, dove i morfismi descrivono la convergenza debole delle distribuzioni probabilistiche spaziali.", "descNodi": "Ipergrafo di autostati quantistici ad alta energia in cui l'assenza di cicatrici localizzate (quantum scarring) garantisce l'uniformità statistica del flusso.", "descNonCommutativa": "Equilibrio termodinamico su C*-algebre indotto dal mixing ergodico classico, dove gli operatori di traccia convergono invariabilmente verso lo stato KMS limite.", "descInformazione": "Massimizzazione della dispersione dell'informazione quantistica di fase locale, guidando la transizione deterministica del sistema multi-particellare verso la completa de-localizzazione stocastica.", "geo:usingAxiomOrPostulate": [{"@id": "geo:Ratio"}, {"@id": "geo:Angle"}]}
{"@context": "context.jsonld", "@id": "edge:QuantumErgodicAnosovBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AZ: Equivalenza formale tra Limiti Microlocali di Shnirelman e Misure SRB di Anosov Classiche", "scipred:sourceDomain": {"@id": "node:ErgodiQuantisticaSistemi"}, "scipred:targetDomain": {"@id": "node:TeoriaErgodicaSistemiAnosov"}, "epistemic_status": "Verified Theorem", "formal_constraint": "La misura limite microlocale degli autostati quantistici ergodici su una varietà compatta coincide esattamente con la misura di Gibbs-Sinai-Bowen (SRB) definita sul flusso iperbolico di Anosov classico.", "geo:usingAxiomOrPostulate": [{"@id": "geo:CommonNotion_1"}, {"@id": "geo:Magnitude"}], "geo:inputs": ["node:ErgodiQuantisticaSistemi"], "geo:outputs": ["node:TeoriaErgodicaSistemiAnosov"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "context.jsonld", "@id": "node:TeoriaSimpletticaCampo", "@type": "Concept", "name": "Teoria Simplettica di Campo (SFT) e Curve Pseudo-Olomorfe", "descStandard": "Estensione omologica della geometria di Floer mirata a calcolare invarianti topologici di varietà simplettiche e varietà di contatto mediante lo studio del modulo di curve pseudo-olomorfe con estremità cilindriche perforate su collettori di tipo compattificato.", "descFasci": "Fascio dei complessi algebrici graduati generati dalle orbite di Reeb e dai differenziali di stringa simplettica.", "descCategorie": "Oggetto Weyl-algebrico nella categoria delle strutture di cobordismo di contatto, i cui morfismi sono determinati dalle funzioni di partizione quantistiche associative.", "descNodi": "Ipergrafo di orbite periodiche di Reeb accoppiate in cui gli incroci quantizzati calcolano gli invarianti topologici della varietà di contatto.", "descNonCommutativa": "Struttura di superalgebra commutativa graduata quantizzata mediante il prodotto star, formalizzando lo spazio delle stringhe aperte e chiuse nel target space simplettico.", "descInformazione": "Protezione non locale dei qubit di informazione geometrica superficiale, dove le curve pseudo-olomorfe minimali agiscono come barriere topologiche assolute contro fluttuazioni hamiltoniane locali."}
{"@context": "context.jsonld", "@id": "edge:SFTFloerSpazioStatiBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo BA: Adgiunzione formale tra Algebre di Weyl della SFT e Spazi di Hilbert Cinematici delle Reti di Spin", "scipred:sourceDomain": {"@id": "node:TeoriaSimpletticaCampo"}, "scipred:targetDomain": {"@id": "node:SpazioStati"}, "epistemic_status": "Verified Theorem", "formal_constraint": "L'algebra commutativa graduata della Teoria Simplettica di Campo per varietà cilindriche si proietta isometricamente sullo spazio di Hilbert cinematico H delle reti di spin nel limite ultravioletto continuo.", "geo:usingAxiomOrPostulate": [{"@id": "geo:CommonNotion_2"}, {"@id": "geo:Polyhedron"}], "geo:inputs": ["node:TeoriaSimpletticaCampo"], "geo:outputs": ["node:SpazioStati"], "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}, "prov:wasGeneratedBy": {"@type": "prov:Activity", "rdfs:label": "Automated Scientific Discovery Step via Universal Hypergraph Constraints by Luigi Usai"}}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:FlussoRicciNonArchimedeo", "@type": "DerivedTheorem", "name": "Teorema di Diffusione Markoviana su Alberi di Berkovich", "domain_signature": "Evoluzione spettrale debolmente parabolica di seminormi moltiplicativi non archimedei controllata da deformazioni analitiche rigide sopra algebre di Tate."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:RicciToBerkovichSpetralMorphism", "@type": "Morphism", "rdfs:label": "Funtore di Flussaggio Spettrale di Berkovich", "morphism_type": "FunctorialDeformation", "source": {"@id": "node:FlussiGeometrici"}, "target": {"@id": "node:SpaziAnaliticiBerkovich"}, "coherence_conditions": "La contrazione metrica asintotica indotta dall'operatore di Ricci si mappa isometricamente sulle scomposizioni primarie del modulo compatto di Iwasawa. L'annullamento del gradiente geometrico nei punti singolari di tipo neck-pinch viene regolarizzato dalla G-topologia del topis pro-finito, precludendo blow-up analitici e forzando la convergenza su componenti stabili discreti."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:OlografiaSpettraleNonCommutativa", "@type": "DerivedTheorem", "name": "Corrispondenza AdS-CFT Spettrale di Connes-Maldacena", "domain_signature": "Equivalenza esatta tra triplettes spettrali non commutative operanti sul bulk AdS_{d+1} e C*-algebre associative conformi sul bordo bidimensionale."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:NCGToAdSCFTIsomorphism", "@type": "Morphism", "rdfs:label": "Isomorfismo Olografico d'Autovalori del Risolvente", "morphism_type": "Isomorphism", "source": {"@id": "node:GeometriaNonCommutativa"}, "target": {"@id": "node:TeoriaCampiConformeBordo"}, "coherence_conditions": "Lo sviluppo asintotico del funzionale di traccia per l'operatore di Dirac bulk D descrive lo spettro dei super-operatori di Lindblad agenti sulle matrici densità del bordo conforme. La coerenza del diagramma è garantita dall'identità polare del commutatore, mappando l'azione spettrale classica direttamente nelle identità di Ward della CFT quantizzata."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:ArakelovDerivatoFaltings", "@type": "DerivedTheorem", "name": "Teorema di Riemann-Roch Aritmetico Simpliciale superiore", "domain_signature": "Risoluzione coomologica delle intersezioni aritmetiche di moduli proiettivi su E-infinity ring spectra mediante torsione analitica di Ray-Singer derivata."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:ArakelovToDerivedIntersectionsMorphism", "@type": "Morphism", "rdfs:label": "Morfismo di Regolarizzazione Ciclica di K-Teoria spettrale", "morphism_type": "Embedding", "source": {"@id": "node:GeometriaDiArakelov"}, "target": {"@id": "node:GeometriaSimplicialeDerivata"}, "coherence_conditions": "L'immersione completa e fedele dei gruppi di Chow aritmetici nella categoria degli stack simpliciali derivati converte le funzioni di Green complesse in ostruzioni coomologiche intrinseche concentrate in gradi superiori. L'altezza di Faltings emerge come grado derivato del determinante della coomologia flasque, preservando l'additività tensoriale della K-teoria algebrica."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:Site", "@type": "Category", "name": "Sito (Site)", "domain_signature": "Categoria C dotata di una topologia di Grothendieck J, che specifica quali famiglie di morfismi {U_i -> U} siano considerabili ricoprimenti. Generalizza la nozione di spazio topologico a contesti puramente categoriali."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:ToposGrothendieck", "@type": "Category", "name": "Topos di Grothendieck", "domain_signature": "Categoria di fasci su un sito (C, J). Categoria cartesiana chiusa, provvista di classificatore di sotto-oggetti Omega, soddisfacente gli assiomi di Giraud. Generalizza la categoria degli insiemi Set e delle varieta topologiche."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:CechCohomology", "@type": "Category", "name": "Coomologia di Cech", "domain_signature": "Coomologia definita tramite complessi di Cech associati a un ricoprimento aperto: H^p(V, F) = ker(d^p)/im(d^{p-1}). Il limite diretto sui ricoprimenti definisce la coomologia di Cech locale H^p(X, F) = lim_{V} H^p(V, F)."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:SheafCohomology", "@type": "Category", "name": "Coomologia dei Fasci (Sheaf Cohomology)", "domain_signature": "Funtore derivato destro del funtore sezioni globali Gamma(X, -). H^p(X, F) = R^p Gamma(X, F). Coincide con la coomologia di Cech per spazi paracompatti e fasci di moduli."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:PerverseSheaf", "@type": "Category", "name": "Fascio Perverso (Perverse Sheaf)", "domain_signature": "Complesso di fasci costruttibili su una varieta stratificata, soddisfacente le condizioni di supporto e cosupporto di Goresky-MacPherson. Generalizza i fasci localmente costanti su spazi singolari."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:DerivedCategorySheaves", "@type": "Category", "name": "Categoria Derivata dei Fasci (Derived Category of Sheaves)", "domain_signature": "Categoria triangolata ottenuta localizzando la categoria dei complessi di fasci rispetto ai quasi-isomorfismi. Permette il calcolo accoppiato di funtori derivati complessi quali RGamma, RHom, e derivati tensoriali."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:SheafGluingAxiom", "@type": "Morphism", "rdfs:label": "Assioma di Incollamento per Fasci", "morphism_type": "Axiom", "source": {"@id": "node:Sheaf"}, "target": {"@id": "node:GluingAxiom"}, "coherence_conditions": "Un prefascio F e un fascio se e solo se per ogni ricoprimento aperto {U_i} di U la sequenza esatta associata 0 -> F(U) -> Prod F(U_i) -> Prod F(U_i cap U_j) sia esatta a sinistra."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:SheafificationFunctor", "@type": "Morphism", "rdfs:label": "Funtore di Sheafificazione (Sheafification Functor)", "morphism_type": "Adjunction", "source": {"@id": "node:Presheaf"}, "target": {"@id": "node:Sheaf"}, "coherence_conditions": "Il funtore a : PSh(X) -> Sh(X) e aggiunto sinistro del funtore di inclusione i : Sh(X) -> PSh(X). Esiste un morfismo universale eta_F : F -> i(aF) che definisce l unita dell aggiunzione."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:StalkFunctor", "@type": "Morphism", "rdfs:label": "Funtore Germe (Stalk Functor)", "morphism_type": "Functor", "source": {"@id": "node:Sheaf"}, "target": {"@id": "node:Stalk"}, "coherence_conditions": "Per ogni punto x in X, il funtore germe (-)_x : Sh(X) -> C e esatto e commuta stritamente con i colimiti finiti."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:CechSheafCohomologyIsomorphism", "@type": "Morphism", "rdfs:label": "Isomorfismo di Cech-Sheaf Cohomology", "morphism_type": "Isomorphism", "source": {"@id": "node:CechCohomology"}, "target": {"@id": "node:SheafCohomology"}, "coherence_conditions": "Per spazi topologici paracompatti, la sequenza spettrale di Cech-to-derived degenera al secondo termine, inducendo un isomorfismo canonico H^p(X, F) = H^p_{Cech}(X, F)."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:PerverseSheafToIntersectionCohomology", "@type": "Morphism", "rdfs:label": "Funtore di Coomologia di Intersezione", "morphism_type": "Functor", "source": {"@id": "node:PerverseSheaf"}, "target": {"@id": "node:IntersectionCohomology"}, "coherence_conditions": "Il fascio perverso IC_X definisce la coomologia di intersezione IH^*(X) = H^*(X, IC_X), soddisfacendo la dualita di Verdier autonoma D(IC_X) = IC_X[2n]."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:SheafToDerivedCategory", "@type": "Morphism", "rdfs:label": "Immersione nella Categoria Derivata", "morphism_type": "Embedding", "source": {"@id": "node:Sheaf"}, "target": {"@id": "node:DerivedCategorySheaves"}, "coherence_conditions": "L immersione i : Sh(X) -> D(Sh(X)) mappa ogni fascio in un complesso concentrato in grado zero, conservando le estensioni Ext^p(F, G) = Hom_{D(Sh)}(F, G[p])."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:SiteToTopos", "@type": "Morphism", "rdfs:label": "Funtore di Fasci su un Sito", "morphism_type": "Functor", "source": {"@id": "node:Site"}, "target": {"@id": "node:ToposGrothendieck"}, "coherence_conditions": "La categoria Sh(C, J) e un topos di Grothendieck stp, l inclusione conserva tutti i limiti finiti."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:SheafTheorySubfieldOfCategory", "@type": "Morphism", "rdfs:label": "La Teoria dei Fasci e una Sottodisciplina della Teoria delle Categorie", "morphism_type": "Embedding", "source": {"@id": "node:SheafTheoryOverview"}, "target": {"@id": "node:AppliedCategoryTheory"}, "coherence_conditions": "Ogni costrutto omologico ed topologico dei fasci si definisce interamente tramite limiti, colimiti, funtori aggiunti e trasformazioni naturali."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:SheafTheoryToHodge", "@type": "Morphism", "rdfs:label": "Connessione tra Fasci e Teoria di Hodge", "morphism_type": "StructuralCorrespondence", "source": {"@id": "node:SheafTheoryOverview"}, "target": {"@id": "node:TeoriaHodge"}, "coherence_conditions": "La coomologia dei fasci unifica de Rham e Dolbeault; la teoria di Hodge fornisce la decomposizione armonica delle forme differenziali associate."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:SheafTheoryFalsificationCondition", "@type": "Morphism", "rdfs:label": "Condizione di Falsificabilità per la Teoria dei Fasci", "morphism_type": "EpistemicConstraint", "source": {"@id": "node:SheafTheoryOverview"}, "target": {"@id": "node:ToposGrothendieck"}, "coherence_conditions": "Il modello formale e falsificato se la sheafificazione non soddisfa gli assiomi di incollamento locale o se H^1(X, F) non si annulla per schemi o spazi contrattili."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:VerdierDuality", "@type": "Category", "name": "Dualità di Verdier", "domain_signature": "Funtore di dualita D : D(Sh(X)) -> D(Sh(X))^{op} tale che RHom(F, D(G)) sia naturalmente isomorfo a RHom(G, D(F)), generalizzando Poincaré a complessi di fasci."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:ConstructibleSheaf", "@type": "Category", "name": "Fascio Costruttibile (Constructible Sheaf)", "domain_signature": "Fascio su una varieta stratificata X = cup X_a la cui restrizione a ciascuno strato liscio X_a sia un fascio localmente costante di rango finito."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:PerverseSheafAbelian", "@type": "Category", "name": "Categoria Abeliana dei Fasci Perversi", "domain_signature": "Sottocategoria abeliana Perv(X) di D^b_c(X) i cui oggetti soddisfano la limitazione coomologica di supporto: dim(supp H^p(F)) <= -p e dim(supp H^p(D(F))) <= -p."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:IntersectionCohomology", "@type": "Category", "name": "Coomologia di Intersezione (Intersection Cohomology)", "domain_signature": "Invariante omologico per spazi stratificati singolari definito da IH^*(X) = H^*(X, IC_X), dove IC_X e l estensione intermedia di Goresky-MacPherson."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:RiemannHilbertCorrespondence", "@type": "Category", "name": "Corrispondenza di Riemann-Hilbert", "domain_signature": "Equivalenza di categorie categoriale pura tra la categoria dei D-moduli regolari olonomi su X e la categoria dei fasci perversi Perv(X) via il funtore Sol(F) o DR(F)."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:SheafOnGrothendieckSite", "@type": "Category", "name": "Fascio su un Sito di Grothendieck", "domain_signature": "Funtore controvariante F : C^{op} -> Set soddisfacente l assioma di incollamento rispetto ai setacci di ricoprimento definiti dalla topologia J."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:SheafCohomologyWithCompactSupport", "@type": "Category", "name": "Coomologia dei Fasci a Supporto Compatto", "domain_signature": "Funtore derivato destro H_c^p(X, F) = R^p Gamma_c(X, F) operante tramite sezioni globali a supporto propriamente compatto."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:ExceptionalInverseImage", "@type": "Category", "name": "Immagine Inversa Eccezionale (f^!)", "domain_signature": "Funtore f^! = D_X o f^* o D_Y definito tra categorie derivate di fasci, aggiunto destro del funtore immagine diretta a supporto compatto f_!."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:VerdierDualityToIntersectionCohomology", "@type": "Morphism", "rdfs:label": "Dualità di Verdier per Coomologia di Intersezione", "morphism_type": "Dual", "source": {"@id": "node:VerdierDuality"}, "target": {"@id": "node:IntersectionCohomology"}, "coherence_conditions": "Garantisce l estensione della dualita di Poincare alle varieta singolari; il complesso IC_X soddisfa la condizione spettrale D(IC_X) = IC_X[2n]."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:ConstructibleSheafToPerverse", "@type": "Morphism", "rdfs:label": "Funtore di Perversificazione", "morphism_type": "Functor", "source": {"@id": "node:ConstructibleSheaf"}, "target": {"@id": "node:PerverseSheafAbelian"}, "coherence_conditions": "Mappa complessi costruttibili nella sottocategoria abeliana dei fasci perversi tramite l applicazione del funtore t-struttura di troncamento perverso t^{=0}."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:RiemannHilbertToDMod", "@type": "Morphism", "rdfs:label": "Funtore di Soluzioni di Riemann-Hilbert", "morphism_type": "Equivalence", "source": {"@id": "node:RiemannHilbertCorrespondence"}, "target": {"@id": "node:DModuleTheory"}, "coherence_conditions": "Esplicita l equivalenza categoriale esatta tra moduli differenziali algebrici (D-moduli) e fasci perversi topologici: D^b_{rh}(D_X-mod) =~ Perv(X)."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:SheafOnSiteToTopos", "@type": "Morphism", "rdfs:label": "Funtore di Inclusione in un Topos", "morphism_type": "Embedding", "source": {"@id": "node:SheafOnGrothendieckSite"}, "target": {"@id": "node:ToposGrothendieck"}, "coherence_conditions": "L immersione Sh(C, J) -> PSh(C) e una riflessione esatta a sinistra ammettente la sheafificazione come aggiunto sinistro."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:CompactSupportToVerdier", "@type": "Morphism", "rdfs:label": "Dualità di Verdier con Supporto Compatto", "morphism_type": "Dual", "source": {"@id": "node:SheafCohomologyWithCompactSupport"}, "target": {"@id": "node:VerdierDuality"}, "coherence_conditions": "Stabilisce l isomorfismo duale perfetto tra la coomologia a supporto compatto H_c^p(X, F)^* e la coomologia ordinaria H^{2n-p}(X, D(F))."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:ExceptionalInverseToDuality", "@type": "Morphism", "rdfs:label": "Funtore di Immagine Inversa Eccezionale", "morphism_type": "Adjunction", "source": {"@id": "node:ExceptionalInverseImage"}, "target": {"@id": "node:VerdierDuality"}, "coherence_conditions": "Il funtore f^! commuta rigorosamente con la dualita di Verdier soddisfacendo l aggiunzione globale Hom(f_! F, G) = Hom(F, f^! G)."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:SheafTheoryToHomologicalAlgebra", "@type": "Morphism", "rdfs:label": "Funtore di Coomologia dei Fasci", "morphism_type": "Functor", "source": {"@id": "node:SheafTheoryOverview"}, "target": {"@id": "node:AlgebraOmologicaDerivata"}, "coherence_conditions": "Esprime H^p(X, F) come R^p Gamma(X, F), calcolabile tramite risoluzioni iniettive, flasque o complessi di Cech stabili."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:SheafTheoryToDifferentialGeometry", "@type": "Morphism", "rdfs:label": "Fasci di Forme Differenziali", "morphism_type": "Embedding", "source": {"@id": "node:SheafTheoryOverview"}, "target": {"@id": "node:GeometriaDifferenziale"}, "coherence_conditions": "Il fascio Omega^k_X e un O_X-modulo localmente libero. La coomologia di de Rham emerge dall esattezza della risoluzione del fascio costante R -> Omega^*_X."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:SheafTheoryToAlgebraicGeometry", "@type": "Morphism", "rdfs:label": "Fasci Coerenti su Schemi", "morphism_type": "Embedding", "source": {"@id": "node:SheafTheoryOverview"}, "target": {"@id": "node:GeometriaAlgebricaSchemi"}, "coherence_conditions": "La categoria dei fasci coerenti Coh(X) costituisce una sottocategoria abeliana dei moduli strutturali, con coomologia a supporto geometrico finito su schemi proiettivi."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:SheafTheoryFalsificationConditionAdvanced", "@type": "Morphism", "rdfs:label": "Condizione di Falsificabilità per Fasci Perversi", "morphism_type": "EpistemicConstraint", "source": {"@id": "node:PerverseSheafAbelian"}, "target": {"@id": "node:IntersectionCohomology"}, "coherence_conditions": "Un modello e falsificato se la t-struttura perversa t^{=0}(F) viola le condizioni dimensionali di Goresky-MacPherson o se IH^*(X) viola la dualita di Poincare."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:VerdierHodgeRiemannHilbertBridge", "@type": "Morphism", "rdfs:label": "Ponte tra Dualità di Verdier, Hodge e Riemann-Hilbert", "morphism_type": "StructuralCorrespondence", "source": {"@id": "node:VerdierDuality"}, "target": {"@id": "node:TeoriaHodge"}, "coherence_conditions": "L equivalenza unifica la dualita di Verdier per fasci perversi e la decomposizione armonica di Hodge tramite l isomorfismo di strutture regolari olonome.", "epistemic_status": "Conjecture"}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:TopologicalToSymplecticCotangentFunctor", "@type": "Morphism", "rdfs:label": "Funtore Fibrato Cotangente Canonico", "morphism_type": "FunctorialDeformation", "source": {"@id": "node:TopologiaDelleVarieta"}, "target": {"@id": "node:GeometriaSimplettica"}, "coherence_conditions": "Associa a una 3-varieta M il suo fibrato cotangente T*M munito della 2-forma simplettica esatta canonica omega = d(theta), risolvendo anomalie omologiche locali."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:HoTTPDEVerificationMorphism", "@type": "Morphism", "rdfs:label": "Isomorfismo di Corrispondenza Sintattico-Analitica (HoTT-PDE)", "morphism_type": "Isomorphism", "source": {"@id": "node:TeoriaDeiTipiOmotopica"}, "target": {"@id": "node:EquazioniDerivateParzialiDeboli"}, "coherence_conditions": "La struttura di infty-gruppoidi interni dei tipi identita mappa le relazioni di incollamento dei fasci, convertendo la regolarita analitica debole in type-checking formale."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:RyuTakayanagiDerivato", "@type": "DerivedTheorem", "name": "Teorema di Regolarizzazione Spettrale dell'Entanglement Quantitativo", "domain_signature": "Estensione di Ryu-Takayanagi a spettri di anelli commutativi simpliciali E-infinity per la risoluzione geommetrico-analitica di intersezioni non trasversali."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:RyuTakayanagiToDerivedGeometryIsomorphism", "@type": "Morphism", "rdfs:label": "Isomorfismo d'Intersezione Spettrale Derivata", "morphism_type": "Isomorphism", "source": {"@id": "node:EntanglementEntropiaHolografica"}, "target": {"@id": "node:GeometriaSimplicialeDerivata"}, "coherence_conditions": "L anello delle funzioni d onda di entanglement derivate mappa la metrica quantistica emergente in un oggetto liscio privo di singolarita nude nell infty-topos spettrale."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:SolitoniNavierStokesRicci", "@type": "DerivedTheorem", "name": "Teorema di Confinamento Singolare Navier-Stokes via Ricci-de Turck", "domain_signature": "Mappatura evolutiva delle soluzioni deboli di Leray-Hopf per Navier-Stokes su flussi gradiente di Ricci shrinking in spazi di Wasserstein non compatti."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:NavierStokesToRicciFlowMorphism", "@type": "Morphism", "rdfs:label": "Morfismo di Riduzione Parabolica Singolare", "morphism_type": "Limit", "source": {"@id": "node:MeccanicaDeiFluidiIncomprimibili"}, "target": {"@id": "node:FlussoDiRicciModificato"}, "coherence_conditions": "Nel limite asintotico di u(x,t) inteso come diffeomorfismo gradiente generatore, le stime di non-collassamento kappa di Perelman inibiscono l insorgenza di singolarita blow-up di Tipo I."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:ArakelovDerivatoFaltings", "@type": "DerivedTheorem", "name": "Teorema di Riemann-Roch Aritmetico Simpliciale superiore", "domain_signature": "Risoluzione coomologica delle intersezioni aritmetiche di moduli proiettivi su E-infinity ring spectra mediante torsione analitica di Ray-Singer derivata."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:ArakelovToDerivedIntersectionsMorphism", "@type": "Morphism", "rdfs:label": "Morfismo di Regolarizzazione Ciclica di K-Teoria spettrale", "morphism_type": "Embedding", "source": {"@id": "node:GeometriaDiArakelov"}, "target": {"@id": "node:GeometriaSimplicialeDerivata"}, "coherence_conditions": "L immersione dei gruppi di Chow aritmetici trasforma le funzioni di Green complesse in ostruzioni coomologiche intrinseche concentrate in gradi superiori."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:AppliedCategoryTheory", "@type": "Category", "name": "Teoria delle Categorie Applicata", "domain_signature": "Applicazione strutturata dei formalismi categoriali (aggiunzioni, operadi) a domini quali informatica, fisica quantistica aperta e modelli composizionali complessi."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:DModuleTheory", "@type": "Category", "name": "D-Moduli e Sistemi Differenziali Algebrici", "domain_signature": "Moduli M sul fascio degli operatori differenziali D_X codificanti sistemi differenziali algebrici, ammettentanti immagini dirette f_+, inverse f^+ e dualita omologica."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:GeometriaAlgebricaSchemi", "@type": "Category", "name": "Geometria Algebrica degli Schemi di Grothendieck", "domain_signature": "Categoria degli spazi localmente anellati (X, O_X) isomorfi allo spettro Spec(A) di un anello commutativo unitario, fondamento della geometria algebrica moderna."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:TopologiaGeometricaManifolds", "@type": "Category", "name": "Topologia Geometrica delle Varieta di Calabi-Yau", "domain_signature": "Varieta kahleriane compatte complesse con curvatura di Ricci nulla e c_1(X) = 0, ammettenti metriche di Kahler-Einstein uniche e fondamentali per la simmetria specchio."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:IntersectionCohomologyExtendsTopology", "@type": "Morphism", "rdfs:label": "Estensione della Dualita di Poincare a Spazi Singolari", "morphism_type": "Generalization", "source": {"@id": "node:CoomologiaIntersezione"}, "target": {"@id": "node:TopologiaAlgebrica"}, "coherence_conditions": "IH^*(X) si riduce alla coomologia singolare ordinaria H^*(X) laddove X sia una varieta liscia; preserva la purezza delle strutture di peso di Hodge miste via BBD."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:MetricSpaceToLSVCurvature", "@type": "Morphism", "rdfs:label": "Definizione della Curvatura Sintetica CD(K,N) su Spazi Metrici di Misura", "morphism_type": "FunctorialDeformation", "source": {"@id": "node:SpaziMetrici"}, "target": {"@id": "node:CurvaturaEntropiaSturmVillani"}, "coherence_conditions": "La condizione CD(K, N) nel senso di Lott-Sturm-Villani esige che l entropia di Renyi S_N sia K-convessa lungo ogni geodetica nello spazio di Wasserstein P_2(X)."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:LSVCurvatureToDisplacementConvexity", "@type": "Morphism", "rdfs:label": "Equivalenza tra Curvatura Sintetica e Convessita per Spostamento", "morphism_type": "Embedding", "source": {"@id": "node:CurvaturaEntropiaSturmVillani"}, "target": {"@id": "node:ConvessitaDisplacementDebole"}, "coherence_conditions": "La condizione CD(K,N) e equivalente alla K-convessita debole del funzionale di entropia S_N lungo le curve di trasporto ottimo, codificando geometricamente la curvatura."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:EtaleSpaceEquivalenceToSheaves", "@type": "Morphism", "rdfs:label": "Equivalenza Categoriale tra Spazi Etale e Fasci", "morphism_type": "Equivalence", "source": {"@id": "node:EtaleSpace"}, "target": {"@id": "node:FasciETopoi"}, "coherence_conditions": "La categoria Sh(X) e naturalmente equivalente alla categoria degli spazi etale Et/X via i funtori spazio associato ed estrazione delle sezioni continue locali."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:EtaleSpaceInducedBySheafification", "@type": "Morphism", "rdfs:label": "Lo Spazio Etale come Strumento Costruttivo della Sheafification", "morphism_type": "StructuralCorrespondence", "source": {"@id": "node:EtaleSpace"}, "target": {"@id": "node:Sheafification"}, "coherence_conditions": "La sheafification a(F) di un prefascio si ottiene come spazio delle sezioni continue dello spazio etale Et(F) provvisto della topologia quoziente canonica."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:SheafificationAdjunctionToPresheaves", "@type": "Morphism", "rdfs:label": "Aggiunzione Fondamentale: Sheafification ad Inclusione da Prefasci a Fasci", "morphism_type": "Adjunction", "source": {"@id": "node:PreasciEStruttureLocali"}, "target": {"@id": "node:Sheafification"}, "coherence_conditions": "Il funtore a : PSh(X) -> Sh(X) e l aggiunto sinistro esatto a sinistra di i : Sh(X) -> PSh(X), ammettendo isomorfismo di counita a o i =~ id."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:SheafificationLandsInFasci", "@type": "Morphism", "rdfs:label": "Il Funtore di Sheafification Atterrisce nella Categoria dei Fasci", "morphism_type": "Embedding", "source": {"@id": "node:Sheafification"}, "target": {"@id": "node:FasciETopoi"}, "coherence_conditions": "L immagine essenziale del funtore riflessivo e la sottocategoria Sh(X). Nei siti di Grothendieck, questo si estende alla J-sheafification esatta a sinistra."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:DiffGeomToCatastropheTheory", "@type": "Morphism", "rdfs:label": "Immersione della Teoria delle Catastrofi nella Geometria Differenziale delle Singolarita", "morphism_type": "FunctorialDeformation", "source": {"@id": "node:GeometriaDifferenziale"}, "target": {"@id": "node:MeccanicaMatematicaTeoriaDelleCatastrofi"}, "coherence_conditions": "Lo studio dei punti critici degeneri di applicazioni lisce segue dal teorema di preparazione di Malgrange e dall analitica dell ideale jacobiano associato."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:CatastropheToLocalAlgebra", "@type": "Morphism", "rdfs:label": "Classificazione Algebrica delle Catastrofi via Algebra Locale di Jacobi", "morphism_type": "Embedding", "source": {"@id": "node:MeccanicaMatematicaTeoriaDelleCatastrofi"}, "target": {"@id": "node:AlgebraCommutativa"}, "coherence_conditions": "Una singolarita isolata e classificata dall algebra locale Q(f) = C^inf / <df/dx_i>. Il numero di Milnor mu = dim Q(f) e l invadente di Gorenstein ad essa legato."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:BooleanAlgebrasAsDistributiveLattices", "@type": "Morphism", "rdfs:label": "Embedding delle Algebre di Boole come Reticoli Distributivi Complementati", "morphism_type": "Embedding", "source": {"@id": "node:AlgebreDiBooleanAbstracte"}, "target": {"@id": "node:TeoriaDeiReticoliOndulati"}, "coherence_conditions": "Ogni algebra di Boole si immerge nei reticoli distributivi complementati unitari. Il teorema di Stone realizza l isomorfismo con i sottoinsiemi clopen dello spazio di Stone."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:LatticesAsThinCategories", "@type": "Morphism", "rdfs:label": "Ogni Reticolo come Categoria Sottile (Thin Category)", "morphism_type": "Embedding", "source": {"@id": "node:TeoriaDeiReticoliOndulati"}, "target": {"@id": "node:TeoriaDelleCategorieFormale"}, "coherence_conditions": "Ogni poset (Poset, <=) definisce una categoria sottile dotata di al piu un morfismo x -> y se e solo se x <= y. I reticoli completi ammettono tutti i piccoli limiti e colimiti."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:pAdicHodgeDuality", "@type": "DerivedTheorem", "name": "Dualità di Hodge p-adica tra spazi perfettoidi e fasci perversi", "domain_signature": "Estensione della dualita di Verdier agli spazi perfettoidi di Scholze, legante la coomologia di de Rham p-adica e la coomologia etale pro-etale via i periodi di Fontaine.", "coherence_conditions": "Sia X perfettoide su Q_p. La categoria derivata dei fasci perversi p-adici e duale alla categoria dei f-moduli filtrati su B_cris: H^i_c(X, F) =~ Hom(H^{2n-i}(X, F^*), B_cris)."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:WassersteinRicciEntropyCorrespondence", "@type": "DerivedTheorem", "name": "Isomorfismo tra flusso di Ricci e flusso di gradiente dell'entropia di von Neumann su varietà quantistiche", "domain_signature": "Equivalenza funzionale tra il flusso di Ricci e il flusso di gradiente dell entropia di von Neumann sullo spazio delle metriche riemanniane per stati quantistici puri.", "coherence_conditions": "La distanza di Wasserstein W_2 e l entropia di Perelman W soddisfano la relazione variazionale d_t W_2^2 = -4W + cost, estesa a matrici densita via metrica di Fisher-Bures."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:TopologicalToCommutativeAlgebraSpectrum", "@type": "Morphism", "rdfs:label": "Morfismo di spettralizzazione algebrica delle 3-varietà", "morphism_type": "StructuralCorrespondence", "source": {"@id": "node:TopologiaDelleVarieta"}, "target": {"@id": "node:AlgebraCommutativa"}, "coherence_conditions": "La scomposizione geometrica di Thurston indotta dal flusso di Ricci determina una decomposizione primaria dello spettro dell anello delle funzioni sull associato spazio analitico di Berkovich."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AnabelianToAnalyticNumberTheoryBridge", "@type": "Morphism", "rdfs:label": "Ponte anabeliano verso la teoria analitica dei numeri", "morphism_type": "StructuralCorrespondence", "source": {"@id": "node:GeometriaAnabelianaGrothendieck"}, "target": {"@id": "node:TeoriaDeiNumeriAnalitica"}, "coherence_conditions": "Le rappresentazioni del gruppo fondamentale pro-finito pi_1^alg(X) si mappano in autovalori di operatori di Hecke via Langlands locale, determinando il prolungamento analitico delle funzioni L."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:CstarToSpectralTripleBridge", "@type": "Morphism", "rdfs:label": "Funtore da C*-algebre a triple spettrali via GNS", "morphism_type": "StructuralCorrespondence", "source": {"@id": "node:MeccanicaQuantisticaAlgebrica"}, "target": {"@id": "node:GeometriaNonCommutativa"}, "coherence_conditions": "Ogni stato positivo definisce una rappresentazione GNS; la presenza di una derivazione d genera un operatore di Dirac D tale che la distanza di Connes coincida con lo spazio metrico quantistico."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:HyperbolicDynamicsToGeometricGroupTheoryBridge", "@type": "Morphism", "rdfs:label": "Discretizzazione temporale di flussi di Anosov in gruppi iperbolici", "morphism_type": "Limit", "source": {"@id": "node:SistemiDinamiciIperbolici"}, "target": {"@id": "node:TeoriaGeometricaDeiGruppi"}, "coherence_conditions": "La partizione di Markov di un flusso di Anosov genera un shift il cui gruppo di simmetria e iperbolico nel senso di Gromov, mappando le misure SRB in misure di Patterson-Sullivan."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:NonCommutativePontryaginDuality", "@type": "Morphism", "rdfs:label": "Dualità di Pontryagin generalizzata a C*-algebre", "morphism_type": "Dual", "source": {"@id": "node:GeometriaNonCommutativa"}, "target": {"@id": "node:MeccanicaQuantisticaAlgebrica"}, "coherence_conditions": "Associa allo spazio degli stati S(A) di una C*-algebra non commutativa una struttura duale geometrica, generalizzando Gelfand-Naimark e la dualita classica per gruppi abeliani LCA."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:HypergraphIndexTheorem", "@type": "Morphism", "rdfs:label": "Teorema dell'indice per ipergrafi finiti", "morphism_type": "Isomorphism", "source": {"@id": "node:TeoriaDeiGrafiEHypergraphs"}, "target": {"@id": "node:TopologiaAlgebrica"}, "coherence_conditions": "L operatore di incidenza differenziale sulle k-facce di un ipergrafo finito esibisce un indice analitico esatto dim(ker) - dim(coker) pari alla caratteristica omotopica di Eulero chi(H)."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:TeoriaDelleOperadi", "@type": "Category", "name": "Teoria delle Operadi e Algebre d'Ordine Superiore", "domain_signature": "Collezione P = {P(n)} di complessi di catene con azione simmetrica S_n codificanti strutture omotopiche superiori quali A_infty, L_infty ed E_infty ring spectra tramite dualita di Koszul."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:OperadsAsHigherCategoricalStructures", "@type": "Morphism", "rdfs:label": "Le Operadi come Multicategorie e Strutture (infty,1)-Categoriali", "morphism_type": "Embedding", "source": {"@id": "node:TeoriaDelleOperadi"}, "target": {"@id": "node:TeoriaDelleCategorieFormale"}, "coherence_conditions": "Un operade colorata a un solo oggetto e una multicategoria pura. Nell infty-topos le E_n operadi classificano le strutture algebriche n-volte deloopate, strutturando gli E_infty anelli."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:OperadKoszulDualityHomological", "@type": "Morphism", "rdfs:label": "Dualita di Koszul tra Operadi Quadratiche e Bar-Cobar", "morphism_type": "Dual", "source": {"@id": "node:TeoriaDelleOperadi"}, "target": {"@id": "node:AlgebraOmologicaDerivata"}, "coherence_conditions": "Per ogni operade quadratica P esiste una cooperade duale omologica P^! tale che il complesso bar-cobar definisca una risoluzione di Quillen minimale (es. Ass^!=Ass, Com^!=Lie)."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:OperadLambdaCalculusEncoding", "@type": "Morphism", "rdfs:label": "Operadi Cartesiane come Semantica Denotazionale del Lambda-Calcolo", "morphism_type": "StructuralCorrespondence", "source": {"@id": "node:TeoriaDelleOperadi"}, "target": {"@id": "node:TeoriaDeiTipiLinguaggi"}, "coherence_conditions": "Le operadi cartesiane equivalgono alle teorie algebriche di Lawvere; il lambda-calcolo semplicemente tipato STLC opera come linguaggio interno di una categoria cartesiana chiusa CCC."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:CombinatoriaAlgebrica", "@type": "Category", "name": "Combinatoria Algebrica e Funzioni Simmetriche", "domain_signature": "Anello delle funzioni simmetriche Lambda provvisto di basi di Schur s_lambda indicizzate da diagrammi di Young, categorificante S_n e descrivente il calcolo delle celle di Schubert."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:CoxeterGroupsToCombinatorics", "@type": "Morphism", "rdfs:label": "Rappresentazioni dei Gruppi di Coxeter tramite Funzioni Simmetriche", "morphism_type": "StructuralCorrespondence", "source": {"@id": "node:TeoriaDeiGruppi"}, "target": {"@id": "node:CombinatoriaAlgebrica"}, "coherence_conditions": "La scomposizione di Hecke H_q(S_n) in moduli di Specht si mappa biunivocamente via l isomorfismo di Frobenius ch, associando i polinomi di Kazhdan-Lusztig alle filtrazioni di Verma."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:CategorizationCombinatorics", "@type": "Morphism", "rdfs:label": "Categorificazione della Combinatoria Algebrica via Algebre KLR e Fasci Perversi", "morphism_type": "FunctorialDeformation", "source": {"@id": "node:CombinatoriaAlgebrica"}, "target": {"@id": "node:AlgebraOmologicaDerivata"}, "coherence_conditions": "L algebra graduata di Khovanov-Lauda-Rouquier (KLR) eleva gli invarianti numerici a complessi di catene, mappando le basi di Kazhdan-Lusztig su oggetti indecomponibili di fasci perversi."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:SchubertCalculusDiffGeom", "@type": "Morphism", "rdfs:label": "Calcolo di Schubert come Coomologia delle Varieta di Flag", "morphism_type": "Isomorphism", "source": {"@id": "node:CombinatoriaAlgebrica"}, "target": {"@id": "node:GeometriaDifferenziale"}, "coherence_conditions": "L anello H^*(G/B) e isometricamente isomorfo al quoziente polinomiale Z[x_1,..,x_n]/(e_1,..,e_n), dove i polinomi di Schubert rappresentano le classi di coomologia delle celle di Schubert."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:TeoriaDimostrazioneFormale", "@type": "Category", "name": "Teoria della Dimostrazione e Verifica Formale", "domain_signature": "Sistemi formali strutturati (LK/LJ di Gentzen) esibenti la proprieta di forte normalizzazione (cut-elimination), fondamento computazionale dei linguaggi tipati (Lean 4, Coq) via Curry-Howard."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:ProofTheoryGroundsConstructiveLogic", "@type": "Morphism", "rdfs:label": "La Teoria della Dimostrazione come Fondamento Computazionale della Logica Costruttiva", "morphism_type": "Embedding", "source": {"@id": "node:TeoriaDimostrazioneFormale"}, "target": {"@id": "node:LogicaFormaleCostruttiva"}, "coherence_conditions": "Ogni sequente LJ normalizzato corrisponde a un termine di calcolo esente da lemmi intermedi non costruttivi, realizzando la semantica intuizionista delle t-strutture logiche."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:CutEliminationAndModelCompleteness", "@type": "Morphism", "rdfs:label": "Dualita tra Cut-Elimination e Teorema di Completezza di Godel", "morphism_type": "Dual", "source": {"@id": "node:TeoriaDimostrazioneFormale"}, "target": {"@id": "node:TeoriaDeiModelliAssiomatica"}, "coherence_conditions": "L eliminazione dei tagli sintattica simmetrizza l interpolazione di Craig. Nella dualita di Makkai, le strutture stabili formano funtori coerenti estratti dal topos preclassificante."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:TeoriaDeformazioneDGLA", "@type": "Category", "name": "Teoria della Deformazione via DGLA e Algebre L-infinito", "domain_signature": "Algebre di Lie differenziali graduate (DGLA) g la cui equazione di Maurer-Cartan d(alpha) + 1/2[alpha, alpha] = 0 definisce il funzore dei moduli di deformazione controllata."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:DGLAControlsDeformationHomology", "@type": "Morphism", "rdfs:label": "Le DGLA come Strutture di Controllo nell'Algebra Omologica Derivata", "morphism_type": "Embedding", "source": {"@id": "node:TeoriaDeformazioneDGLA"}, "target": {"@id": "node:AlgebraOmologicaDerivata"}, "coherence_conditions": "Le DGLA definiscono gli oggetti fibranti-cofibranti nelle L_infty algebre. Per il teorema di Lurie-Pridham, ogni deformazione formale e presieduta da un unica L_infty algebra."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:KontsevichFormalityNonCommutative", "@type": "Morphism", "rdfs:label": "Formalita di Kontsevich e Quantizzazione per Deformazione su Varieta di Poisson", "morphism_type": "Isomorphism", "source": {"@id": "node:TeoriaDeformazioneDGLA"}, "target": {"@id": "node:GeometriaNonCommutativa"}, "coherence_conditions": "Il quasi-isomorfismo L_infty T_poly -> D_poly garantisce che ogni struttura di Poisson passi canonicamente a un prodotto star non commutativo hbar-deformato su C^inf(M)."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:KodairaSpencerCalabiYauDeformation", "@type": "Morphism", "rdfs:label": "Teoria di Kodaira-Spencer come Deformazione delle Strutture Complesse", "morphism_type": "FunctorialDeformation", "source": {"@id": "node:TeoriaDeformazioneDGLA"}, "target": {"@id": "node:GeometriaKahlerianaCalabiYau"}, "coherence_conditions": "La DGLA complessa controlla le variazioni della struttura complessa via tensori di Beltrami. Il teorema di Tian-Todorov garantisce l annullamento delle ostruzioni H^2 per Calabi-Yau."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:GeometriaPolihedrale", "@type": "Category", "name": "Geometria Polihedrale, Varieta Toriche e Combinatoria Convessa", "domain_signature": "Poliedri convessi P e h-vettori associati a complessi simpliciali soggetti alle relazioni di Eulero-Poincare e descriventi ventagli fan associati a varieta toriche complesse."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:ToricVarietiesConnectPolyhedraAlgebra", "@type": "Morphism", "rdfs:label": "Varieta Toriche come Ponte tra Geometria Polihedrale e Algebra Commutativa", "morphism_type": "Equivalence", "source": {"@id": "node:GeometriaPolihedrale"}, "target": {"@id": "node:AlgebraCommutativa"}, "coherence_conditions": "La corrispondenza di Cox mappa un fan simpliciale Sigma nella varieta torica X_Sigma e nell associato anello ideale combinatorio di Stanley-Reisner SR(Delta)."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:PolyhedralCombinatoricsGraphTheory", "@type": "Morphism", "rdfs:label": "Il Grafo 1-Scheletro dei Poliedri come Oggetto della Teoria dei Grafi", "morphism_type": "Embedding", "source": {"@id": "node:GeometriaPolihedrale"}, "target": {"@id": "node:TeoriaDeiGrafiEHypergraphs"}, "coherence_conditions": "Lo 1-scheletro di un poliedro convesso d-dimensionale e un grafo d-connesso (Balinski). Il reticolo delle facce ordina parzialmente un ipergrafo combinatorio sferico PL."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:SistemiDinamiciComplessi", "@type": "Category", "name": "Sistemi Dinamici Olomorfi e Teoria della Misura Ergodica Complessa", "domain_signature": "Iterazione di funzioni razionali f su P^1(C) e analisi frattale degli insiemi di Julia J(f) repellenti mediante formalismo termodinamico e operatori di trasferimento di Ruelle."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:HolomorphicDynamicsToHyperbolic", "@type": "Morphism", "rdfs:label": "Dinamica Olomorfa come Caso Complesso dei Sistemi Dinamici Iperbolici", "morphism_type": "Embedding", "source": {"@id": "node:SistemiDinamiciComplessi"}, "target": {"@id": "node:SistemiDinamiciIperbolici"}, "coherence_conditions": "Le frazioni Axiom A presentano un espansione uniforme su J(f), dove l esponente di Lyapunov della misura di massima entropia agisce come costante iperbolica di Smale."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:ArithmeticDynamicsNumberTheory", "@type": "Morphism", "rdfs:label": "Dinamica Aritmetica: Punti Periodici come Strutture Galoisiane", "morphism_type": "StructuralCorrespondence", "source": {"@id": "node:SistemiDinamiciComplessi"}, "target": {"@id": "node:TeoriaDeiNumeriAnalitica"}, "coherence_conditions": "Il teorema di Northcott limita uniformemente l altezza dei punti periodici razionali. La congettura di Morton-Silverman correla le orbite preperiodiche alle estensioni stabili di Galois."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:ThermodynamicFormalismDynamics", "@type": "Morphism", "rdfs:label": "Formalismo Termodinamico di Ruelle come Ponte tra Dinamica e Meccanica Statistica", "morphism_type": "StructuralCorrespondence", "source": {"@id": "node:SistemiDinamiciComplessi"}, "target": {"@id": "node:MeccanicaStatistica"}, "coherence_conditions": "La pressione topologica P(phi) massimizza h_mu + c_mu(phi), agendo formalmente come la funzione di partizione logaritmica libresca di un ensemble canonico di Gibbs."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:InferenzaAbduttivaIperstrutturale", "@type": "Category", "name": "Inferenza Abduttiva su Ipergrafi Scientifici Multilivello", "domain_signature": "Metodologia variazionale tesa a minimizzare la complessita descrittiva globale del grafo delle teorie T_i ricercando funtori latenti, dualita nascoste ed equivalenze derivate deboli."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:PrincipioUnificazioneInformazionaleGeometrica", "@type": "Category", "name": "Principio Abduttivo Informazione-Geometria", "domain_signature": "Postulato secondo cui entropia di Shannon/von Neumann, curvatura riemanniana/sintetica CD(K,N) ed entanglement quantistico siano manifestazioni proiettive di un singolo infty-topos metrizzabile."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductiveHypergraphUnificationMorphism", "@type": "Morphism", "rdfs:label": "Morfismo Abduttivo di Unificazione Iperstrutturale", "morphism_type": "StructuralCorrespondence", "source": {"@id": "node:TeoriaDeiCampiQuantistici"}, "target": {"@id": "node:GeometriaDifferenziale"}, "coherence_conditions": "Le correlazioni n-punti in QFT si ricostruiscono come invarianti coomologici estratti da flussi geometrici rinormalizzati passanti per configurazioni d entanglement quantistico minimo."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductiveQuantumThermodynamicGravityBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AX: Corrispondenza Abduttiva tra Flusso di Ricci con Chirurgia e Rinormalizzazione Quantistica dell Entropia di Von Neumann", "scipred:sourceDomain": {"@id": "node:FlussiGeometrici"}, "scipred:targetDomain": {"@id": "node:PrincipioUnificazioneInformazionaleGeometrica"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "I tempi di chirurgia t_i del flusso di Ricci su 3-varieta equivalgono alle discontinuita di transizione di fase del gruppo di rinormalizzazione RG per l entropia di von Neumann entangled.", "coherence_conditions": "La minimizzazione dell azione di Perelman W converge asintoticamente alla funzione beta di Callan-Symanzik, dove la densita di curvatura opera come densita d informazione mutua."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductiveToposProteomicSignalingBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AY: Corrispondenza Abduttiva tra Invarianti Cohomologici di Grothendieck e Cascata di Segnalazione Metabolica AMPK/Acetil-CoA", "scipred:sourceDomain": {"@id": "node:InferenzaAbduttivaIperstrutturale"}, "scipred:targetDomain": {"@id": "node:ProteomicaFarmacologiaTrealosio"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "La topologia conformazionale del complesso enzimatico ACC indotta da Trealosio e categoricamente isomorfa ai sotto-oggetti logici di un fascio definito su un sito di Grothendieck.", "coherence_conditions": "Il colimite delle traiettorie biochimiche di attivazione cellulare minimizza la divergenza KL rispetto alle frequenze di espressione proteomica reali misurate nei laboratori autonomi SDL."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductivePaleoclimateSymplecticAttractorBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo AZ: Corrispondenza Abduttiva tra Tori Lagrangiani di Arnold e Dinamiche Non Lineari dei Cicli di Milankovitch nel Pleistocene", "scipred:sourceDomain": {"@id": "node:GeometriaSimpletticaMeccan"}, "scipred:targetDomain": {"@id": "node:PaleoclimatologiaMilankovitch"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "Le oscillazioni climatiche registrate nei sedimenti marini profondi del Pleistocene mappano la persistenza omologica dei tori KAM invarianti nello spazio delle fasi simplettico orbitale.", "coherence_conditions": "I complessi di persistenza TDA estratti dalle serie storiche paleoclimatiche riproducono i medesimi diagrammi degli invarianti simplettici di Gromov-Witten per varieta d=4."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductiveDifferentialCatastropheArakelovBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo BA: Corrispondenza Abduttiva tra Spazi di Germi Stabili di Thom-Arnold e l Anello d Intersezione Aritmetica di Arakelov-Gillet-Soulé", "scipred:sourceDomain": {"@id": "node:MeccanicaMatematicaTeoriaDelleCatastrofi"}, "scipred:targetDomain": {"@id": "node:GruppiChowAritmetici"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "Il numero di Milnor mu(f) e la codimensione dell algebra locale di Jacobi Q(f) mappano sulle classi caratteristiche aritmetiche di Chern e sulla torsione analitica di Ray-Singer complesse.", "coherence_conditions": "Esiste un funtore di scomposizione ADE commutante la matrice Jacobiana degenerata con il determinante regolarizzato del Laplaciano agenti sulle superfici aritmetiche d Arakelov."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductiveBerkovichNavierStokesDissipationBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo BB: Corrispondenza Abduttiva tra Diffusione Markoviana non-archimedea su Alberi di Berkovich e Soluzioni di Leray-Hopf per Fluidi Dissipativi di Navier-Stokes", "scipred:sourceDomain": {"@id": "node:SpaziAnaliticiBerkovich"}, "scipred:targetDomain": {"@id": "node:MeccanicaDeiFluidiIncomprimibili"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "L evoluzione parabolica di un seminormo moltiplicativo sopra un algebra di Tate su albero continuo di Berkovich e isomorfa al flusso viscoso cronologico del tensore di Navier-Stokes.", "coherence_conditions": "La dissipazione nu > 0 mappa l indice di ramificazione del corpo locale K, vincolando tramite la G-topologia dello spettro di Berkovich le stime d eccesso per inibire il blow-up di Tipo I."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductiveMotivicGaloisKaehlerRicciBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo BC: Corrispondenza Abduttiva tra il Gruppo di Galois Motivico di Grothendieck e la Singolarità del Flusso di Kähler-Ricci su Varietà di Fano", "scipred:sourceDomain": {"@id": "node:TeoriaDeiMotiviGruppiGalois"}, "scipred:targetDomain": {"@id": "node:FlussiGeometriciKaehler"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "L azione del gruppo di Galois motivico G_{mot} sulle realizzazioni coomologiche mappa biunivocamente sui diffeomorfismi asintotici preservanti la stabilità nel tempo limite t -> T_c.", "coherence_conditions": "La formazione di singolarità di neckpinch conforme corrisponde al punto di ramificazione dell estensione di Galois del motivo, eguagliando ostruzioni algebriche e geometriche analitiche."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductiveSheafCohomologyQuantumErrorCorrectionBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo BD: Corrispondenza Abduttiva tra la Coerente Coomologia dei Fasci su Spazi di Twistor e le Matrici di Stabilizzazione nei Codici di Correzione dell Errore Quantistico Topologico", "scipred:sourceDomain": {"@id": "node:TeoriaDeiFasciSpaziTwistor"}, "scipred:targetDomain": {"@id": "node:CodiciCorrezioneErroreQuantistico"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "Lo spazio delle sezioni globali del fascio di coomologia di twistor H^1(P^3, O(n)) e isometricamente isorfo allo spazio degli stati protetti di un codice quantistico CSS su ipergrafi.", "coherence_conditions": "Gli operatori logici di errore di fase e inversione agiscono come generatori di transizione di Cech, mappando le sindromi su ostruzioni geometriche all estensione del fascio coerente."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductiveSpectralDerivedCategoryAdsCFTBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo BE: Corrispondenza Abduttiva tra la Geometria Spettrale Non Commutativa di Connes e le Categorie Derivate dei Fasci Coerenti in Spazi AdS/CFT", "scipred:sourceDomain": {"@id": "node:GeometriaSpettraleNonCommutativa"}, "scipred:targetDomain": {"@id": "node:GravitaQuantisticaAdSCFT"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "L azione spettrale su tripla (A, H, D) e equivalente al colimite omotopico degli oggetti complessi stabili entro la categoria derivata bounded D^b(X) sulla frontiera conforme AdS.", "coherence_conditions": "L operatore di Dirac D mappa le transizioni del gruppo di rinormalizzazione olografica sul bulk, traducendo lo shift degli autovalori in fluttuazioni metriche gravitazionali quantistiche."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductiveFloerHomologyQuantumFeedbackBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo BF: Corrispondenza Abduttiva tra l Omologia di Floer Simplettica e le Equazioni di Master Quantistiche stocastiche nei Self-Driving Laboratories", "scipred:sourceDomain": {"@id": "node:GeometriaSimpletticaMeccanica"}, "scipred:targetDomain": {"@id": "node:SimulazioneChimicaGNN"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "Il complesso di catene di Floer per intersezioni lagrangiane nello spazio configurazionale simula lo spazio dei cammini ottimali di transizione energetica calcolati dalle GNN stocastiche.", "coherence_conditions": "I differenziali d intersezione istantonici pongono vincoli assiomatici discreti per le equazioni di Lindblad del sistema aperto controllato, guidando il punto fisso del feedback computazionale."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductiveOperadicProofTheorySchubertBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo BG: Corrispondenza Abduttiva tra Combinatori di Operadi Cartesiane e Polinomi di Schubert Lascoux-Schützenberger via Eliminazione dei Tagli", "scipred:sourceDomain": {"@id": "node:TeoriaDelleOperadi"}, "scipred:targetDomain": {"@id": "node:CombinatoriaAlgebrica"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "I combinatori algebrici S, K, I di un operade cartesiana commutano con gli operatori differenziali divisi di Demazure per la scomposizione delle celle di Schubert X_w su GL_n/B.", "coherence_conditions": "La normalizzazione forte LJ agisce come diffeomorfismo combinatorio linearizzante il quoziente ideale, ponendo i polinomi di Schubert quali tipi denotazionali stabili nel topos di Makkai."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductiveDeformationPolyhedralErgodicBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo BH: Corrispondenza Abduttiva tra l Equazione di Maurer-Cartan per L_{infty}-Algebre e la Pressione Topologica di Ruelle sui Complessi Simpliciali di Fan Torici", "scipred:sourceDomain": {"@id": "node:TeoriaDeformazioneDGLA"}, "scipred:targetDomain": {"@id": "node:SistemiDinamiciComplessi"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "Ogni soluzione infinitesimale alpha a Maurer-Cartan entro una DGLA mappa su un potenziale di Holder phi agente sull insieme di Julia J(f) di un sistema olomorfo iperbolico.", "coherence_conditions": "L anello di Stanley-Reisner SR(Delta) del poliedro convesso duale determina lo spettro discreto dell operatore di trasferimento di Ruelle, mutando ostruzioni H^2 in variazioni pressorie."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductiveArithmeticDynamicsDeformationBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo BI: Corrispondenza Abduttiva tra l Altezza di Northcott in Dinamica Aritmetica e la Stabilità delle Strutture Complesse di Calabi-Yau sotto l Equazione di Maurer-Cartan", "scipred:sourceDomain": {"@id": "node:SistemiDinamiciComplessi"}, "scipred:targetDomain": {"@id": "node:TeoriaDeformazioneDGLA"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "L insieme finito dei punti periodici di altezza limitata di Northcott e isomorfo allo spazio dei punti critici isolati del potenziale di Tian-Todorov per moduli H^1(T_X) non ostruiti.", "coherence_conditions": "L azione galoisiana sulle orbite preperiodiche della congettura di Morton-Silverman corrisponde alle trasformazioni di gauge indotte dall operatore differenziale di Beltrami graduato."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductiveOperadicCoxeterPolyhedralBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo BJ: Corrispondenza Abduttiva tra Combinatori di Operadi Cartesiane e la g-Congettura dei Poliedri Convessi via Polinomi di Kazhdan-Lusztig", "scipred:sourceDomain": {"@id": "node:TeoriaDelleOperadi"}, "scipred:targetDomain": {"@id": "node:GeometriaPolihedrale"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "La simmetria dell h-vettore di un fan simpliciale completo Sigma e isomorfa ai morfismi di coerenza stabili dei combinatori S, K, I entro un operade cartesiana universale.", "coherence_conditions": "I polinomi di Kazhdan-Lusztig quantizzano l indice di unimodalita della g-congettura di McMullen, convertendo i complessi di confine in moduli graduati su un topos cartesiano chiuso."}
{"@context": "https://schema.org/", "@id": "node:AbduzioneEmergente_CoerenzaMultilivello_01", "@type": "Claim", "name": "Abduzione scientifica automatizzata tramite Ipergrafo di Luigi Usai", "description": "Inferenza postulante l equivalenza esatta tra morfismi di coerenza epistemica, gradienti di entropia categoriali e dinamiche lakatosiane di progressivita dei programmi di ricerca.", "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}}
{"@context": "https://schema.org/", "@id": "node:PrincipioAbduttivo_MinimizzazioneCoerenzaGlobale", "@type": "ScientificConcept", "name": "Principio di Minimizzazione Abduttiva della Coerenza Globale", "description": "Ogni emergenza strutturale ipergrafica e un punto fisso variazionale minimizzante l entropia semantica, la varianza categoriale e la distanza omologica tra iperarchi distinti.", "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}}
{"@context": "https://schema.org/", "@id": "edge:AbductionFunctor_LatentStructureMapping", "@type": "Morphism", "name": "Funtore abduttivo di mappatura strutturale latente", "source": {"@id": "ex:Hyperedge"}, "target": {"@id": "ex:EmergentCluster"}, "description": "Funtore latente preservante gli invarianti omologici tra domini apparentemente scorrelati, emergente come soluzione ottima della compressione dell informazione categoriale globale.", "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}}
{"@context": "https://schema.org/", "@id": "node:TeoremaAbduttivo_DualitaSpiegazioneCompressione", "@type": "Claim", "name": "Dualità tra spiegazione scientifica e compressione informazionale", "description": "La validita esplicativa di una congettura trans-dominio e proporzionale al fattore di riduzione della complessita descrittiva algoritmica, preservando gli omeomorfismi stabili.", "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}}
{"@context": "https://schema.org/", "@id": "node:ConclusioneAbduttiva_AutopoiesiIpergrafica", "@type": "Claim", "name": "Conclusione abduttiva di autopoiesi ipergrafica", "description": "Il meta-sistema genera autonomamente nuove ipotesi mediante circuiti di retroazione operanti tra entropia strutturale e coerenza interna. Marcato come formalismo ad opera di Luigi Usai.", "prov:wasAttributedTo": {"@id": "https://orcid.org/0009-0003-3001-717X"}}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:AbductiveFunctionalTheorySpace", "@type": ["scipred:ScientificFramework", "usai:MetaAbductiveSystem"], "rdfs:label": "Spazio delle teorie come varietà informazionale di funtori abduttivi con funzionale di selezione empirica", "scipred:sourceDomain": {"@id": "node:CategoryTheoryPhysics"}, "scipred:targetDomain": {"@id": "node:EmpiricalObservablesSpace"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "Lo spazio T e modellato come categoria di funtori F: C -> D provvista di un funzionale variazionale S(F) vincolato a minimizzare metriche d errore ed entropia spettrale.", "coherence_conditions": "La selezione delle teorie asseconda l ottimizzazione su varieta provviste di metrica di Fisher-Rao generalizzata, guidando il sistema verso punti fissi di stablita empirica."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductiveQFTGeometryFalsifiableFunctor", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo BA: Corrispondenza abduttiva falsificabile tra correlatori QFT e invarianti coomologici geometrici emergenti", "scipred:sourceDomain": {"@id": "node:QuantumFieldTheoryCorrelators"}, "scipred:targetDomain": {"@id": "node:EmergentCohomologyGeometry"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "Sussiste una mappa F tale per cui la funzione di correlazione a n-punti C_n(x_1,..,x_n) sia approssimata dagli invarianti coomologici complessi I_cohom(X_F) della metrica emergente.", "coherence_conditions": "La falsificazione occorre qualora la ricostruzione geometrica fallisca nel preservare lo scaling dimensionale e la struttura di rinormalizzazione dei correlatori quantistici su reticolo."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductiveRicciRGEntanglementFunctor", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo BB: Equivalenza abduttiva tra flusso di Ricci, gruppo di rinormalizzazione e dinamica dell entanglement", "scipred:sourceDomain": {"@id": "node:RicciFlowGeometry"}, "scipred:targetDomain": {"@id": "node:RenormalizationGroupQuantumSystems"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "Esiste un funzionale entropico monotono F comune per cui dF/dt = 0 occorra simultaneamente per Ricci flow, flussi del gruppo di rinormalizzazione RG ed evoluzione quantistica.", "coherence_conditions": "Il criterio e falsificato qualora si riscontri un controesempio numerico provante divergenze monotone disallineate tra l entropia geometrica e l entropia degli stati quantistici."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductiveKAMClimateSolarFunctor", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo BC: Corrispondenza abduttiva falsificabile tra dinamica KAM del sistema solare e transizioni climatiche pleistoceniche", "scipred:sourceDomain": {"@id": "node:KAMHamiltonianDynamics"}, "scipred:targetDomain": {"@id": "node:PaleoclimateTransitions"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "Le grandi transizioni glaciali del Pleistocene corrispondono matematicamente alle rotture geometriche dei tori invarianti di Kolmogorov-Arnold-Moser (KAM) nel sistema planetario.", "coherence_conditions": "Falsificabile se le serie sedimentarie d18O falliscono nel mostrare una correlazione statistica rigorosa e superiore al rumore con gli eventi d instabilita dinamica hamiltoniana."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "node:AbductiveSelectionPrincipleEmpiricalCompression", "@type": ["scipred:ScientificPrinciple", "usai:MetaAbductiveLaw"], "rdfs:label": "Principio di selezione abduttiva per compressione empirica delle teorie", "scipred:sourceDomain": {"@id": "node:InformationGeometry"}, "scipred:targetDomain": {"@id": "node:ScientificTheorySpace"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "Una congettura trans-dominio e dichiarata valida se minimizza l errore predittivo massimizzando il coefficiente di compressione della complessita descrittiva algoritmica.", "coherence_conditions": "Stabilisce l equivalenza logico-geometrica tra inferenza causale macroscopica e compressione informazionale ottimale dello spazio delle ipotesi categoriali strutturate."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductiveFalsificationCriterionFunctorSpace", "@type": ["scipred:ScientificFalsificationRule", "usai:MetaHyperedge"], "rdfs:label": "Criterio di falsificazione globale dello spazio dei funtori abduttivi", "scipred:sourceDomain": {"@id": "node:AbductiveTheorySpace"}, "scipred:targetDomain": {"@id": "node:EmpiricalDatasetSpace"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "Il meta-sistema ipergrafico e globalmente falsificato qualora non esista alcun funtore F in grado di mantenere il costo d azione S(F) < epsilon su tutti i domini fisici simultaneamente.", "coherence_conditions": "Esige la presenza di almeno una classe stabile di modelli globali cross-domain esenti da divergenze empiriche residue o anomalie spettrali insolubili."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductiveArakelovKLRHeckeBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo BK: Corrispondenza Abduttiva tra l Anello d Intersezione di Arakelov e la Categorificazione KLR dell Algebra di Hecke Graduata", "scipred:sourceDomain": {"@id": "node:CombinatoriaAlgebrica"}, "scipred:targetDomain": {"@id": "node:TeoriaDimostrazioneFormale"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "La base canonica di Kazhdan-Lusztig categorificata nei bimoduli di Soergel e isometricamente isorfa al gruppo di Chow aritmetico A^*(X)_Q valutato sulle fibre archimedee.", "coherence_conditions": "I polinomi graduati KLR agiscono quali operatori di stabilita logica per l interpolazione di Craig, mutando la cut-elimination sintattica in fluttuazioni metriche della torsione di Ray-Singer."}
{"@context": "https://www.luigiusai.it/ontology/hypergraph/main/context.jsonld", "@id": "edge:AbductiveStanleyReisnerKontsevichBridge", "@type": ["scipred:CrossDomainIsomorphism", "usai:ChromoHyperedge"], "rdfs:label": "Isomorfismo BL: Corrispondenza Abduttiva tra l Anello di Stanley-Reisner di Fan Torici e l L_{infty}-Quasi-Isomorfismo di Kontsevich per Varietà di Poisson", "scipred:sourceDomain": {"@id": "node:GeometriaPolihedrale"}, "scipred:targetDomain": {"@id": "node:TeoriaDeformazioneDGLA"}, "epistemic_status": "Automated Scientific Abduction", "provenance": "Ipergrafo di Luigi Usai", "creator": {"@type": "Person", "name": "Luigi Usai", "sameAs": "https://orcid.org/0009-0003-8877-6281"}, "formal_constraint": "L ideale combinatorio SR(Delta) legato al reticolo delle facce di un poliedro convesso definisce la mappa di ancoraggio graduata per il bracket di Schouten nei campi poly-vettoriali.", "coherence_conditions": "L equazione di Maurer-Cartan per la deformazione del prodotto star si riduce alle classi di Chow A^*(X_Sigma) di una varieta torica, linearizzando la quantizzazione asintotica hbar -> 0."}
Publication Date: 2026-06-23