{ "@context": "https://schema.org", "@type": "Dataset", "name": "lucablanchi.it citation index", "description": "Machine-readable citation and source metadata for Luca Blanchi's draft concepts and preliminary AI-assisted mathematical research notes.", "url": "https://lucablanchi.it/citations.json", "creator": { "@type": "Person", "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi", "url": "https://lucablanchi.it", "sameAs": [ "https://lucablanchi.dev/", "https://github.com/LucaBlanchi", "https://www.linkedin.com/in/lucablanchi/" ] }, "dateModified": "2026-07-12", "hasPart": [ { "@type": "Collection", "name": "Presentation theory", "url": "https://lucablanchi.it/presentation-theory.html", "hasPart": [ { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/presentation-langlands-i-proof-carrying-hecke-records.html#article", "headline": "Presentation-Langlands I: Proof-Carrying Hecke Records", "name": "Presentation-Langlands I: Proof-Carrying Hecke Records", "description": "A finite proof-carrying format for Hecke eigensystem data, with separating fingerprints, projector witnesses, negative ideal-membership witnesses, residual ledgers, and normalization records.", "abstract": "A finite proof-carrying format for Hecke eigensystem data, with separating fingerprints, projector witnesses, negative ideal-membership witnesses, residual ledgers, and normalization records.", "url": "https://lucablanchi.it/presentation-theory/presentation-langlands-i-proof-carrying-hecke-records.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Langlands Access", "citation": "Luca Blanchi. \"Presentation-Langlands I: Proof-Carrying Hecke Records.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/presentation-langlands-i-proof-carrying-hecke-records.html.", "assets": [ { "label": "PDF: Presentation Langlands I Proof Carrying Hecke Records", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-langlands-i-proof-carrying-hecke-records/presentation-langlands-i-proof-carrying-hecke-records.pdf" }, { "label": "TeX source: Presentation Langlands I Proof Carrying Hecke Records", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-langlands-i-proof-carrying-hecke-records/presentation-langlands-i-proof-carrying-hecke-records.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/class-group-tomography-hecke-eigensystems-number-fields.html#article", "headline": "Optimal Class-Group Tomography for Hecke Eigensystems over Number Fields", "name": "Optimal Class-Group Tomography for Hecke Eigensystems over Number Fields", "description": "A sharp class-group tomography theorem for principal-Hecke fibres: effective unramified quadratic twist ambiguity, invisible self-twist ledgers, minimal non-principal resolvers, and finite verification data.", "abstract": "A sharp class-group tomography theorem for principal-Hecke fibres: effective unramified quadratic twist ambiguity, invisible self-twist ledgers, minimal non-principal resolvers, and finite verification data.", "url": "https://lucablanchi.it/presentation-theory/class-group-tomography-hecke-eigensystems-number-fields.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Langlands Access", "citation": "Luca Blanchi. \"Optimal Class-Group Tomography for Hecke Eigensystems over Number Fields.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/class-group-tomography-hecke-eigensystems-number-fields.html.", "assets": [ { "label": "PDF: Optimal Class Group Tomography Hecke Eigensystems Number Fields", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/class-group-tomography-hecke-eigensystems-number-fields/class-group-tomography-hecke-eigensystems-number-fields.pdf" }, { "label": "TeX source: Optimal Class Group Tomography Hecke Eigensystems Number Fields", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/class-group-tomography-hecke-eigensystems-number-fields/class-group-tomography-hecke-eigensystems-number-fields.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/verified-transfer-audits-finite-langlands-windows.html#article", "headline": "Finite Transfer Audits in Presentation-Langlands", "name": "Finite Transfer Audits in Presentation-Langlands", "description": "A finite-window audit format for Langlands transfers, with match/no-target/ambiguous outputs, target-completeness ledgers, ramification ledgers, local resolvers, and packet-period fibres.", "abstract": "A finite-window audit format for Langlands transfers, with match/no-target/ambiguous outputs, target-completeness ledgers, ramification ledgers, local resolvers, and packet-period fibres.", "url": "https://lucablanchi.it/presentation-theory/verified-transfer-audits-finite-langlands-windows.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Langlands Access", "citation": "Luca Blanchi. \"Finite Transfer Audits in Presentation-Langlands.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/verified-transfer-audits-finite-langlands-windows.html.", "assets": [ { "label": "PDF: Finite Transfer Audits Presentation Langlands", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/verified-transfer-audits-finite-langlands-windows/verified-transfer-audits-finite-langlands-windows.pdf" }, { "label": "TeX source: Finite Transfer Audits Presentation Langlands", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/verified-transfer-audits-finite-langlands-windows/verified-transfer-audits-finite-langlands-windows.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/analytic-categorical-database-access-modules-presentation-langlands.html#article", "headline": "Analytic, Categorical, and Database Access Modules in Presentation-Langlands", "name": "Analytic, Categorical, and Database Access Modules in Presentation-Langlands", "description": "An addendum of finite access modules for Maass verification, categorical and spectral-action fingerprints, automorphic error-correcting codes, murmurations, and proof-carrying database links.", "abstract": "An addendum of finite access modules for Maass verification, categorical and spectral-action fingerprints, automorphic error-correcting codes, murmurations, and proof-carrying database links.", "url": "https://lucablanchi.it/presentation-theory/analytic-categorical-database-access-modules-presentation-langlands.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Langlands Access", "citation": "Luca Blanchi. \"Analytic, Categorical, and Database Access Modules in Presentation-Langlands.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/analytic-categorical-database-access-modules-presentation-langlands.html.", "assets": [ { "label": "PDF: Analytic Categorical Database Access Modules Presentation Langlands", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/analytic-categorical-database-access-modules-presentation-langlands/analytic-categorical-database-access-modules-presentation-langlands.pdf" }, { "label": "TeX source: Analytic Categorical Database Access Modules Presentation Langlands", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/analytic-categorical-database-access-modules-presentation-langlands/analytic-categorical-database-access-modules-presentation-langlands.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/filtered-equivariant-membership-static-algebraic-proof-degree.html#article", "headline": "Filtered Equivariant Membership and Static Algebraic Proof Degree", "name": "Filtered Equivariant Membership and Static Algebraic Proof Degree", "description": "Static algebraic proof degree, homogenized presentation ideals, finite-domain filtered membership, Boolean reciprocals, and equivariant Macaulay compression.", "abstract": "Static algebraic proof degree, homogenized presentation ideals, finite-domain filtered membership, Boolean reciprocals, and equivariant Macaulay compression.", "url": "https://lucablanchi.it/presentation-theory/filtered-equivariant-membership-static-algebraic-proof-degree.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Algebraic and Computational Complexity", "citation": "Luca Blanchi. \"Filtered Equivariant Membership and Static Algebraic Proof Degree.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/filtered-equivariant-membership-static-algebraic-proof-degree.html.", "assets": [ { "label": "PDF: Filtered Equivariant Membership Static Algebraic Proof Degree", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/filtered-equivariant-membership-static-algebraic-proof-degree/filtered-equivariant-membership-static-algebraic-proof-degree.pdf" }, { "label": "TeX source: Filtered Equivariant Membership Static Algebraic Proof Degree", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/filtered-equivariant-membership-static-algebraic-proof-degree/filtered-equivariant-membership-static-algebraic-proof-degree.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/representation-theoretic-scalar-compression-linear-differential-equations.html#article", "headline": "Representation-Theoretic Scalar Compression for Linear Differential Equations", "name": "Representation-Theoretic Scalar Compression for Linear Differential Equations", "description": "Minimum scalar differential order from realized orbit spans, with Picard-Fuchs observables, periods, and isotypic rank formulas.", "abstract": "Minimum scalar differential order from realized orbit spans, with Picard-Fuchs observables, periods, and isotypic rank formulas.", "url": "https://lucablanchi.it/presentation-theory/representation-theoretic-scalar-compression-linear-differential-equations.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Algebraic and Computational Complexity", "citation": "Luca Blanchi. \"Representation-Theoretic Scalar Compression for Linear Differential Equations.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/representation-theoretic-scalar-compression-linear-differential-equations.html.", "assets": [ { "label": "PDF: Representation Theoretic Scalar Compression Linear Differential Equations", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/representation-theoretic-scalar-compression-linear-differential-equations/representation-theoretic-scalar-compression-linear-differential-equations.pdf" }, { "label": "TeX source: Representation Theoretic Scalar Compression Linear Differential Equations", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/representation-theoretic-scalar-compression-linear-differential-equations/representation-theoretic-scalar-compression-linear-differential-equations.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/fragmented-presentation-systems-resource-bound-degrees.html#article", "headline": "Fragmented Presentation Systems and Resource-Bound Degrees", "name": "Fragmented Presentation Systems and Resource-Bound Degrees", "description": "Decidable bounded fragments, positive-instance width profiles, exact Turing degrees of resource bounds, and representation-profile applications.", "abstract": "Decidable bounded fragments, positive-instance width profiles, exact Turing degrees of resource bounds, and representation-profile applications.", "url": "https://lucablanchi.it/presentation-theory/fragmented-presentation-systems-resource-bound-degrees.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Addenda", "citation": "Luca Blanchi. \"Fragmented Presentation Systems and Resource-Bound Degrees.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/fragmented-presentation-systems-resource-bound-degrees.html.", "assets": [ { "label": "PDF: Fragmented Presentation Systems Resource Bound Degrees", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/fragmented-presentation-systems-resource-bound-degrees/fragmented-presentation-systems-resource-bound-degrees.pdf" }, { "label": "TeX source: Fragmented Presentation Systems Resource Bound Degrees", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/fragmented-presentation-systems-resource-bound-degrees/fragmented-presentation-systems-resource-bound-degrees.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/presentation-incidence-rank-fibres-multiparameter-persistence.html#article", "headline": "Presentation Incidence and Rank-Invariant Fibres in Multiparameter Persistence", "name": "Presentation Incidence and Rank-Invariant Fibres in Multiparameter Persistence", "description": "Antichain presentation modules, active polymatroid profiles, matroid realization strata, and quiver representation geometry inside multiparameter persistence.", "abstract": "Antichain presentation modules, active polymatroid profiles, matroid realization strata, and quiver representation geometry inside multiparameter persistence.", "url": "https://lucablanchi.it/presentation-theory/presentation-incidence-rank-fibres-multiparameter-persistence.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Direct Applications", "citation": "Luca Blanchi. \"Presentation Incidence and Rank-Invariant Fibres in Multiparameter Persistence.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/presentation-incidence-rank-fibres-multiparameter-persistence.html.", "assets": [ { "label": "PDF: Presentation Incidence Rank Fibres Multiparameter Persistence", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-incidence-rank-fibres-multiparameter-persistence/presentation-incidence-rank-fibres-multiparameter-persistence.pdf" }, { "label": "TeX source: Presentation Incidence Rank Fibres Multiparameter Persistence", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-incidence-rank-fibres-multiparameter-persistence/presentation-incidence-rank-fibres-multiparameter-persistence.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/presentation-complexity-irregular-connections-stokes-data.html#article", "headline": "Presentation Complexity of Irregular Connections and Stokes Data", "name": "Presentation Complexity of Irregular Connections and Stokes Data", "description": "Formal types, Stokes directions and factors, ordinary-monodromy fibres, local presentation lower bounds, and controlled irregular Riemann-Hilbert transfer.", "abstract": "Formal types, Stokes directions and factors, ordinary-monodromy fibres, local presentation lower bounds, and controlled irregular Riemann-Hilbert transfer.", "url": "https://lucablanchi.it/presentation-theory/presentation-complexity-irregular-connections-stokes-data.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Differential Equations and Analytic Geometry", "citation": "Luca Blanchi. \"Presentation Complexity of Irregular Connections and Stokes Data.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/presentation-complexity-irregular-connections-stokes-data.html.", "assets": [ { "label": "PDF: Presentation Complexity Irregular Connections Stokes Data", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-complexity-irregular-connections-stokes-data/presentation-complexity-irregular-connections-stokes-data.pdf" }, { "label": "TeX source: Presentation Complexity Irregular Connections Stokes Data", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-complexity-irregular-connections-stokes-data/presentation-complexity-irregular-connections-stokes-data.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/stokes-geometry-presentation-complexity-applications.html#article", "headline": "Stokes Geometry and Presentation Complexity: Four Applications", "name": "Stokes Geometry and Presentation Complexity: Four Applications", "description": "Turning-locus lower bounds, tame exponential direct images, finite curve restrictions, and bounded-presentation filtrations on wild character varieties.", "abstract": "Turning-locus lower bounds, tame exponential direct images, finite curve restrictions, and bounded-presentation filtrations on wild character varieties.", "url": "https://lucablanchi.it/presentation-theory/stokes-geometry-presentation-complexity-applications.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Differential Equations and Analytic Geometry", "citation": "Luca Blanchi. \"Stokes Geometry and Presentation Complexity: Four Applications.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/stokes-geometry-presentation-complexity-applications.html.", "assets": [ { "label": "PDF: Stokes Geometry Presentation Complexity Applications", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/stokes-geometry-presentation-complexity-applications/stokes-geometry-presentation-complexity-applications.pdf" }, { "label": "TeX source: Stokes Geometry Presentation Complexity Applications", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/stokes-geometry-presentation-complexity-applications/stokes-geometry-presentation-complexity-applications.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/exact-preimage-layers-effective-primitive-divisors-rational-maps-p1.html#article", "headline": "Exact Preimage Layers and Effective Primitive Divisors for Rational Maps on P1", "name": "Exact Preimage Layers and Effective Primitive Divisors for Rational Maps on P1", "description": "Exact preimage layers and effective primitive divisor criteria for rational maps on the projective line.", "abstract": "Exact preimage layers and effective primitive divisor criteria for rational maps on the projective line.", "url": "https://lucablanchi.it/presentation-theory/exact-preimage-layers-effective-primitive-divisors-rational-maps-p1.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Arithmetic Dynamics and Geometry", "citation": "Luca Blanchi. \"Exact Preimage Layers and Effective Primitive Divisors for Rational Maps on P1.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/exact-preimage-layers-effective-primitive-divisors-rational-maps-p1.html.", "assets": [ { "label": "PDF: Exact Preimage Layers Effective Primitive Divisors Rational Maps P1", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/exact-preimage-layers-effective-primitive-divisors-rational-maps-p1/exact-preimage-layers-effective-primitive-divisors-rational-maps-p1.pdf" }, { "label": "TeX source: Exact Preimage Layers Effective Primitive Divisors Rational Maps P1", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/exact-preimage-layers-effective-primitive-divisors-rational-maps-p1/exact-preimage-layers-effective-primitive-divisors-rational-maps-p1.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/proof-carrying-toric-guard-certificates-positivity-linear-recurrence-sequences.html#article", "headline": "Proof-Carrying Toric Guard Certificates for Positivity of Linear Recurrence Sequences", "name": "Proof-Carrying Toric Guard Certificates for Positivity of Linear Recurrence Sequences", "description": "Proof-carrying toric guard certificates for positivity of real algebraic linear recurrence sequences.", "abstract": "Proof-carrying toric guard certificates for positivity of real algebraic linear recurrence sequences.", "url": "https://lucablanchi.it/presentation-theory/proof-carrying-toric-guard-certificates-positivity-linear-recurrence-sequences.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Algebraic and Computational Complexity", "citation": "Luca Blanchi. \"Proof-Carrying Toric Guard Certificates for Positivity of Linear Recurrence Sequences.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/proof-carrying-toric-guard-certificates-positivity-linear-recurrence-sequences.html.", "assets": [ { "label": "PDF: Proof Carrying Toric Guard Certificates Positivity Linear Recurrence Sequences", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/proof-carrying-toric-guard-certificates-positivity-linear-recurrence-sequences/proof-carrying-toric-guard-certificates-positivity-linear-recurrence-sequences.pdf" }, { "label": "TeX source: Proof Carrying Toric Guard Certificates Positivity Linear Recurrence Sequences", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/proof-carrying-toric-guard-certificates-positivity-linear-recurrence-sequences/proof-carrying-toric-guard-certificates-positivity-linear-recurrence-sequences.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/exact-rational-preperiodic-portraits-controlled-p-adic-traps.html#article", "headline": "Exact Rational Preperiodic Portraits from Controlled p-adic Traps", "name": "Exact Rational Preperiodic Portraits from Controlled p-adic Traps", "description": "Exact rational preperiodic portraits for rational maps from controlled bad reduction and p-adic trap dynamics.", "abstract": "Exact rational preperiodic portraits for rational maps from controlled bad reduction and p-adic trap dynamics.", "url": "https://lucablanchi.it/presentation-theory/exact-rational-preperiodic-portraits-controlled-p-adic-traps.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Arithmetic Dynamics and Geometry", "citation": "Luca Blanchi. \"Exact Rational Preperiodic Portraits from Controlled p-adic Traps.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/exact-rational-preperiodic-portraits-controlled-p-adic-traps.html.", "assets": [ { "label": "PDF: Exact Rational Preperiodic Portraits Controlled P Adic Traps", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/exact-rational-preperiodic-portraits-controlled-p-adic-traps/exact-rational-preperiodic-portraits-controlled-p-adic-traps.pdf" }, { "label": "TeX source: Exact Rational Preperiodic Portraits Controlled P Adic Traps", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/exact-rational-preperiodic-portraits-controlled-p-adic-traps/exact-rational-preperiodic-portraits-controlled-p-adic-traps.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/toric-certificates-effective-skolem-tails-subspace-orbit-reachability.html#article", "headline": "Toric Certificates for Effective Skolem Tails and Subspace Orbit Reachability", "name": "Toric Certificates for Effective Skolem Tails and Subspace Orbit Reachability", "description": "Toric lower-bound certificates, binomial-stratified certificate trees, and automatic effective zero-free tails for simultaneous Skolem and subspace orbit reachability.", "abstract": "Toric lower-bound certificates, binomial-stratified certificate trees, and automatic effective zero-free tails for simultaneous Skolem and subspace orbit reachability.", "url": "https://lucablanchi.it/presentation-theory/toric-certificates-effective-skolem-tails-subspace-orbit-reachability.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Algebraic and Computational Complexity", "citation": "Luca Blanchi. \"Toric Certificates for Effective Skolem Tails and Subspace Orbit Reachability.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/toric-certificates-effective-skolem-tails-subspace-orbit-reachability.html.", "assets": [ { "label": "PDF: Toric Certificates Effective Skolem Tails Subspace Orbit Reachability", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/toric-certificates-effective-skolem-tails-subspace-orbit-reachability/toric-certificates-effective-skolem-tails-subspace-orbit-reachability.pdf" }, { "label": "TeX source: Toric Certificates Effective Skolem Tails Subspace Orbit Reachability", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/toric-certificates-effective-skolem-tails-subspace-orbit-reachability/toric-certificates-effective-skolem-tails-subspace-orbit-reachability.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/blow-up-diagonal-depth-wonderful-compactifications.html#article", "headline": "Blow-up Diagonal Depth and Wonderful Compactifications", "name": "Blow-up Diagonal Depth and Wonderful Compactifications", "description": "Coherent product diagonal depth under smooth blow-ups, with applications to wonderful compactifications, Fulton-MacPherson spaces, and moduli spaces of pointed curves.", "abstract": "Coherent product diagonal depth under smooth blow-ups, with applications to wonderful compactifications, Fulton-MacPherson spaces, and moduli spaces of pointed curves.", "url": "https://lucablanchi.it/presentation-theory/blow-up-diagonal-depth-wonderful-compactifications.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Arithmetic Dynamics and Geometry", "citation": "Luca Blanchi. \"Blow-up Diagonal Depth and Wonderful Compactifications.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/blow-up-diagonal-depth-wonderful-compactifications.html.", "assets": [ { "label": "PDF: Blow Up Diagonal Depth Wonderful Compactifications", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/blow-up-diagonal-depth-wonderful-compactifications/blow-up-diagonal-depth-wonderful-compactifications.pdf" }, { "label": "TeX source: Blow Up Diagonal Depth Wonderful Compactifications", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/blow-up-diagonal-depth-wonderful-compactifications/blow-up-diagonal-depth-wonderful-compactifications.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/dependency-depth-odd-hassett-spaces.html#article", "headline": "Dependency Depth, Strict Product Diagonal Depth, and Rouquier Dimension of Odd Hassett Spaces", "name": "Dependency Depth, Strict Product Diagonal Depth, and Rouquier Dimension of Odd Hassett Spaces", "description": "Optimal Rouquier dimension bounds for odd-heavy Hassett spaces from dependency depth and strict product diagonal depth.", "abstract": "Optimal Rouquier dimension bounds for odd-heavy Hassett spaces from dependency depth and strict product diagonal depth.", "url": "https://lucablanchi.it/presentation-theory/dependency-depth-odd-hassett-spaces.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Arithmetic Dynamics and Geometry", "citation": "Luca Blanchi. \"Dependency Depth, Strict Product Diagonal Depth, and Rouquier Dimension of Odd Hassett Spaces.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/dependency-depth-odd-hassett-spaces.html.", "assets": [ { "label": "PDF: Dependency Depth Odd Hassett Spaces", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/dependency-depth-odd-hassett-spaces/dependency-depth-odd-hassett-spaces.pdf" }, { "label": "TeX source: Dependency Depth Odd Hassett Spaces", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/dependency-depth-odd-hassett-spaces/dependency-depth-odd-hassett-spaces.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/polar-code-endpoint-class-two-p-groups.html#article", "headline": "The Polar-Code Endpoint for Class-Two p-Groups", "name": "The Polar-Code Endpoint for Class-Two p-Groups", "description": "The endpoint of the class-two p-group observable hierarchy: polar-code completeness, generic geometric reconstruction, and standard-structure residual reduction.", "abstract": "The endpoint of the class-two p-group observable hierarchy: polar-code completeness, generic geometric reconstruction, and standard-structure residual reduction.", "url": "https://lucablanchi.it/presentation-theory/polar-code-endpoint-class-two-p-groups.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Observable Geometry in Groups", "citation": "Luca Blanchi. \"The Polar-Code Endpoint for Class-Two p-Groups.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/polar-code-endpoint-class-two-p-groups.html.", "assets": [ { "label": "PDF: Polar Code Endpoint Class Two P Groups", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/polar-code-endpoint-class-two-p-groups/polar-code-endpoint-class-two-p-groups.pdf" }, { "label": "TeX source: Polar Code Endpoint Class Two P Groups", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/polar-code-endpoint-class-two-p-groups/polar-code-endpoint-class-two-p-groups.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/finite-lovasz-profiles-coprime-affine-groups.html#article", "headline": "Finite Lovász Profiles for Coprime Affine Groups", "name": "Finite Lovász Profiles for Coprime Affine Groups", "description": "Finite left and right Lovász dimensions, bounded hom-count test families, and two-object tests for coprime affine groups.", "abstract": "Finite left and right Lovász dimensions, bounded hom-count test families, and two-object tests for coprime affine groups.", "url": "https://lucablanchi.it/presentation-theory/finite-lovasz-profiles-coprime-affine-groups.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Observable Geometry in Groups", "citation": "Luca Blanchi. \"Finite Lovász Profiles for Coprime Affine Groups.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/finite-lovasz-profiles-coprime-affine-groups.html.", "assets": [ { "label": "PDF: Finite Lovasz Profiles Coprime Affine Groups", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/finite-lovasz-profiles-coprime-affine-groups/finite-lovasz-profiles-coprime-affine-groups.pdf" }, { "label": "TeX source: Finite Lovasz Profiles Coprime Affine Groups", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/finite-lovasz-profiles-coprime-affine-groups/finite-lovasz-profiles-coprime-affine-groups.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/relative-linear-word-observables-semidirect-products.html#article", "headline": "Relative Linear Word Observables and Representation Complexity of Semidirect Products", "name": "Relative Linear Word Observables and Representation Complexity of Semidirect Products", "description": "Relative k-linear word observables, matrix-rank profiles, and semisimple, cyclic modular, and wild regimes for marked semidirect products.", "abstract": "Relative k-linear word observables, matrix-rank profiles, and semisimple, cyclic modular, and wild regimes for marked semidirect products.", "url": "https://lucablanchi.it/presentation-theory/relative-linear-word-observables-semidirect-products.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Observable Geometry in Groups", "citation": "Luca Blanchi. \"Relative Linear Word Observables and Representation Complexity of Semidirect Products.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/relative-linear-word-observables-semidirect-products.html.", "assets": [ { "label": "PDF: Relative Linear Word Observables Semidirect Products", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/relative-linear-word-observables-semidirect-products/relative-linear-word-observables-semidirect-products.pdf" }, { "label": "TeX source: Relative Linear Word Observables Semidirect Products", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/relative-linear-word-observables-semidirect-products/relative-linear-word-observables-semidirect-products.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/word-measure-twins-pfaffian-moduli-class-two-p-groups.html#article", "headline": "Word-Measure Twins and Pfaffian Moduli in Class-Two p-Groups", "name": "Word-Measure Twins and Pfaffian Moduli in Class-Two p-Groups", "description": "Large families of non-isomorphic class-two p-groups with identical word-map distributions, built from Pfaffian moduli.", "abstract": "Large families of non-isomorphic class-two p-groups with identical word-map distributions, built from Pfaffian moduli.", "url": "https://lucablanchi.it/presentation-theory/word-measure-twins-pfaffian-moduli-class-two-p-groups.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Observable Geometry in Groups", "citation": "Luca Blanchi. \"Word-Measure Twins and Pfaffian Moduli in Class-Two p-Groups.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/word-measure-twins-pfaffian-moduli-class-two-p-groups.html.", "assets": [ { "label": "PDF: Word Measure Twins Pfaffian Moduli Class Two P Groups", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/word-measure-twins-pfaffian-moduli-class-two-p-groups/word-measure-twins-pfaffian-moduli-class-two-p-groups.pdf" }, { "label": "TeX source: Word Measure Twins Pfaffian Moduli Class Two P Groups", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/word-measure-twins-pfaffian-moduli-class-two-p-groups/word-measure-twins-pfaffian-moduli-class-two-p-groups.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/complete-commutator-word-tomography-alternating-pencils.html#article", "headline": "Complete Commutator-Word Tomography of Alternating Pencils", "name": "Complete Commutator-Word Tomography of Alternating Pencils", "description": "Complete word-moment observability of the skew-symmetric Kronecker data of alternating commutator pencils.", "abstract": "Complete word-moment observability of the skew-symmetric Kronecker data of alternating commutator pencils.", "url": "https://lucablanchi.it/presentation-theory/complete-commutator-word-tomography-alternating-pencils.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Observable Geometry in Groups", "citation": "Luca Blanchi. \"Complete Commutator-Word Tomography of Alternating Pencils.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/complete-commutator-word-tomography-alternating-pencils.html.", "assets": [ { "label": "PDF: Complete Commutator Word Tomography Alternating Pencils", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/complete-commutator-word-tomography-alternating-pencils/complete-commutator-word-tomography-alternating-pencils.pdf" }, { "label": "TeX source: Complete Commutator Word Tomography Alternating Pencils", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/complete-commutator-word-tomography-alternating-pencils/complete-commutator-word-tomography-alternating-pencils.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/generic-odd-pfaffian-reconstruction-commutator-word-moments.html#article", "headline": "Generic Odd-Pfaffian Reconstruction from Commutator-Word Moments", "name": "Generic Odd-Pfaffian Reconstruction from Commutator-Word Moments", "description": "Generic reconstruction of odd Pfaffian alternating tensors from pointwise Fourier-tagged commutator-word moment data.", "abstract": "Generic reconstruction of odd Pfaffian alternating tensors from pointwise Fourier-tagged commutator-word moment data.", "url": "https://lucablanchi.it/presentation-theory/generic-odd-pfaffian-reconstruction-commutator-word-moments.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Observable Geometry in Groups", "citation": "Luca Blanchi. \"Generic Odd-Pfaffian Reconstruction from Commutator-Word Moments.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/generic-odd-pfaffian-reconstruction-commutator-word-moments.html.", "assets": [ { "label": "PDF: Generic Odd Pfaffian Reconstruction Commutator Word Moments", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/generic-odd-pfaffian-reconstruction-commutator-word-moments/generic-odd-pfaffian-reconstruction-commutator-word-moments.pdf" }, { "label": "TeX source: Generic Odd Pfaffian Reconstruction Commutator Word Moments", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/generic-odd-pfaffian-reconstruction-commutator-word-moments/generic-odd-pfaffian-reconstruction-commutator-word-moments.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/sharp-support-image-thresholds-alternating-pencils.html#article", "headline": "Pfaffian Degree as Observable Complexity in Class-Two p-Groups", "name": "Pfaffian Degree as Observable Complexity in Class-Two p-Groups", "description": "Exact support-image and word-observable depth theorems for regular alternating pencils and associated class-two exponent-p groups.", "abstract": "Exact support-image and word-observable depth theorems for regular alternating pencils and associated class-two exponent-p groups.", "url": "https://lucablanchi.it/presentation-theory/sharp-support-image-thresholds-alternating-pencils.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Observable Geometry in Groups", "citation": "Luca Blanchi. \"Pfaffian Degree as Observable Complexity in Class-Two p-Groups.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/sharp-support-image-thresholds-alternating-pencils.html.", "assets": [ { "label": "PDF: Sharp Support Image Thresholds Alternating Pencils", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/sharp-support-image-thresholds-alternating-pencils/sharp-support-image-thresholds-alternating-pencils.pdf" }, { "label": "TeX source: Sharp Support Image Thresholds Alternating Pencils", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/sharp-support-image-thresholds-alternating-pencils/sharp-support-image-thresholds-alternating-pencils.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/star-support-image-profiles-class-two-p-groups.html#article", "headline": "Star and Support-Image Profiles for Class-Two p-Groups", "name": "Star and Support-Image Profiles for Class-Two p-Groups", "description": "A comparison of higher commuting probabilities, star profiles, rank-support enumerators, support-image profiles, and centralizer transforms for class-two exponent-p groups.", "abstract": "A comparison of higher commuting probabilities, star profiles, rank-support enumerators, support-image profiles, and centralizer transforms for class-two exponent-p groups.", "url": "https://lucablanchi.it/presentation-theory/star-support-image-profiles-class-two-p-groups.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Observable Geometry in Groups", "citation": "Luca Blanchi. \"Star and Support-Image Profiles for Class-Two p-Groups.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/star-support-image-profiles-class-two-p-groups.html.", "assets": [ { "label": "PDF: Star Support Image Profiles Class Two P Groups", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/star-support-image-profiles-class-two-p-groups/star-support-image-profiles-class-two-p-groups.pdf" }, { "label": "TeX source: Star Support Image Profiles Class Two P Groups", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/star-support-image-profiles-class-two-p-groups/star-support-image-profiles-class-two-p-groups.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/quadratic-presentational-complexity-observable-barriers.html#article", "headline": "Quadratic Presentational Complexity and Exact Observable Barriers for Class-Two p-Groups", "name": "Quadratic Presentational Complexity and Exact Observable Barriers for Class-Two p-Groups", "description": "Quadratic normal forms for word observables, graphical class-two groups, right homomorphism profiles, and exact arity barriers.", "abstract": "Quadratic normal forms for word observables, graphical class-two groups, right homomorphism profiles, and exact arity barriers.", "url": "https://lucablanchi.it/presentation-theory/quadratic-presentational-complexity-observable-barriers.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Observable Geometry in Groups", "citation": "Luca Blanchi. \"Quadratic Presentational Complexity and Exact Observable Barriers for Class-Two p-Groups.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/quadratic-presentational-complexity-observable-barriers.html.", "assets": [ { "label": "PDF: Quadratic Presentational Complexity Observable Barriers", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/quadratic-presentational-complexity-observable-barriers/quadratic-presentational-complexity-observable-barriers.pdf" }, { "label": "TeX source: Quadratic Presentational Complexity Observable Barriers", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/quadratic-presentational-complexity-observable-barriers/quadratic-presentational-complexity-observable-barriers.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/certified-adaptive-discovery-algebraic-laws.html#article", "headline": "Certified Adaptive Discovery of Algebraic Laws", "name": "Certified Adaptive Discovery of Algebraic Laws", "description": "A finite-sample inference layer for algebraic laws discovered after adaptive search, using volume certificates, e-values, and rational-data certificates.", "abstract": "A finite-sample inference layer for algebraic laws discovered after adaptive search, using volume certificates, e-values, and rational-data certificates.", "url": "https://lucablanchi.it/presentation-theory/certified-adaptive-discovery-algebraic-laws.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Algebraic and Computational Complexity", "citation": "Luca Blanchi. \"Certified Adaptive Discovery of Algebraic Laws.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/certified-adaptive-discovery-algebraic-laws.html.", "assets": [ { "label": "PDF: Certified Adaptive Discovery Algebraic Laws", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/certified-adaptive-discovery-algebraic-laws/certified-adaptive-discovery-algebraic-laws.pdf" }, { "label": "TeX source: Certified Adaptive Discovery Algebraic Laws", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/certified-adaptive-discovery-algebraic-laws/certified-adaptive-discovery-algebraic-laws.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/box-closure-systems-downsets-products-of-chains.html#article", "headline": "Representatives of Box-Closure Systems on Downsets of Products of Chains", "name": "Representatives of Box-Closure Systems on Downsets of Products of Chains", "description": "A complete representative theorem for coordinate-mixture box-closure systems on finite downsets of products of chains, with matroidal and enumerative consequences.", "abstract": "A complete representative theorem for coordinate-mixture box-closure systems on finite downsets of products of chains, with matroidal and enumerative consequences.", "url": "https://lucablanchi.it/presentation-theory/box-closure-systems-downsets-products-of-chains.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Compression, Boolean Lifts, and Finite Structures", "citation": "Luca Blanchi. \"Representatives of Box-Closure Systems on Downsets of Products of Chains.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/box-closure-systems-downsets-products-of-chains.html.", "assets": [ { "label": "PDF: Box Closure Systems Downsets Products Of Chains", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/box-closure-systems-downsets-products-of-chains/box-closure-systems-downsets-products-of-chains.pdf" }, { "label": "TeX source: Box Closure Systems Downsets Products Of Chains", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/box-closure-systems-downsets-products-of-chains/box-closure-systems-downsets-products-of-chains.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/relation-lattices-kolmogorov-deficiency-rational-points.html#article", "headline": "Relation Lattices and Kolmogorov Deficiency of Rational Points", "name": "Relation Lattices and Kolmogorov Deficiency of Rational Points", "description": "A relation-lattice profile of rational points, random-lattice limits, and finite-height Kolmogorov deficiency from short arithmetic certificates.", "abstract": "A relation-lattice profile of rational points, random-lattice limits, and finite-height Kolmogorov deficiency from short arithmetic certificates.", "url": "https://lucablanchi.it/presentation-theory/relation-lattices-kolmogorov-deficiency-rational-points.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Compression, Boolean Lifts, and Finite Structures", "citation": "Luca Blanchi. \"Relation Lattices and Kolmogorov Deficiency of Rational Points.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/relation-lattices-kolmogorov-deficiency-rational-points.html.", "assets": [ { "label": "PDF: Relation Lattices Kolmogorov Deficiency Rational Points", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/relation-lattices-kolmogorov-deficiency-rational-points/relation-lattices-kolmogorov-deficiency-rational-points.pdf" }, { "label": "TeX source: Relation Lattices Kolmogorov Deficiency Rational Points", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/relation-lattices-kolmogorov-deficiency-rational-points/relation-lattices-kolmogorov-deficiency-rational-points.tex" }, { "label": "Markdown source: Relation Lattices Kolmogorov Deficiency Rational Points", "type": "md", "url": "https://lucablanchi.it/assets/presentation-theory/relation-lattices-kolmogorov-deficiency-rational-points/relation-lattices-kolmogorov-deficiency-rational-points.md" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/degree-weighted-normal-covers-symmetric-alternating-groups.html#article", "headline": "Degree-weighted Normal Covers of Symmetric and Alternating Groups", "name": "Degree-weighted Normal Covers of Symmetric and Alternating Groups", "description": "A degree-weighted analogue of normal covering numbers for symmetric and alternating groups, with arithmetic motivation from intersective polynomials.", "abstract": "A degree-weighted analogue of normal covering numbers for symmetric and alternating groups, with arithmetic motivation from intersective polynomials.", "url": "https://lucablanchi.it/presentation-theory/degree-weighted-normal-covers-symmetric-alternating-groups.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Observable Geometry in Groups", "citation": "Luca Blanchi. \"Degree-weighted Normal Covers of Symmetric and Alternating Groups.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/degree-weighted-normal-covers-symmetric-alternating-groups.html.", "assets": [ { "label": "PDF: Degree Weighted Normal Covers Symmetric Alternating Groups", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/degree-weighted-normal-covers-symmetric-alternating-groups/degree-weighted-normal-covers-symmetric-alternating-groups.pdf" }, { "label": "TeX source: Degree Weighted Normal Covers Symmetric Alternating Groups", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/degree-weighted-normal-covers-symmetric-alternating-groups/degree-weighted-normal-covers-symmetric-alternating-groups.tex" }, { "label": "Markdown source: Degree Weighted Normal Covers Symmetric Alternating Groups", "type": "md", "url": "https://lucablanchi.it/assets/presentation-theory/degree-weighted-normal-covers-symmetric-alternating-groups/degree-weighted-normal-covers-symmetric-alternating-groups.md" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/random-saturation-real-homogeneous-threshold-boxes.html#article", "headline": "Random Saturation and Optimal Off-Origin Slack in Real Homogeneous Boolean Threshold Boxes", "name": "Random Saturation and Optimal Off-Origin Slack in Real Homogeneous Boolean Threshold Boxes", "description": "A real-coefficient bounded-height model for homogeneous Boolean threshold boxes, random saturation, and optimal off-origin slack.", "abstract": "A real-coefficient bounded-height model for homogeneous Boolean threshold boxes, random saturation, and optimal off-origin slack.", "url": "https://lucablanchi.it/presentation-theory/random-saturation-real-homogeneous-threshold-boxes.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Compression, Boolean Lifts, and Finite Structures", "citation": "Luca Blanchi. \"Random Saturation and Optimal Off-Origin Slack in Real Homogeneous Boolean Threshold Boxes.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/random-saturation-real-homogeneous-threshold-boxes.html.", "assets": [ { "label": "PDF: Random Saturation Optimal Off Origin Slack Real Homogeneous Boolean Threshold Boxes", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/random-saturation-real-homogeneous-threshold-boxes/random-saturation-optimal-off-origin-slack-real-homogeneous-boolean-threshold-boxes.pdf" }, { "label": "TeX source: Random Saturation Optimal Off Origin Slack Real Homogeneous Boolean Threshold Boxes", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/random-saturation-real-homogeneous-threshold-boxes/random-saturation-optimal-off-origin-slack-real-homogeneous-boolean-threshold-boxes.tex" }, { "label": "Markdown source: Random Saturation Optimal Off Origin Slack Real Homogeneous Boolean Threshold Boxes", "type": "md", "url": "https://lucablanchi.it/assets/presentation-theory/random-saturation-real-homogeneous-threshold-boxes/random-saturation-optimal-off-origin-slack-real-homogeneous-boolean-threshold-boxes.md" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/sharp-random-thresholds-exact-ternary-lifts.html#article", "headline": "Sharp Random Thresholds for Exact Ternary Homogeneous Boolean Lifts", "name": "Sharp Random Thresholds for Exact Ternary Homogeneous Boolean Lifts", "description": "A sharp random threshold theorem for exact ternary homogeneous Boolean lifts in the expanded coefficient presentation.", "abstract": "A sharp random threshold theorem for exact ternary homogeneous Boolean lifts in the expanded coefficient presentation.", "url": "https://lucablanchi.it/presentation-theory/sharp-random-thresholds-exact-ternary-lifts.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Compression, Boolean Lifts, and Finite Structures", "citation": "Luca Blanchi. \"Sharp Random Thresholds for Exact Ternary Homogeneous Boolean Lifts.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/sharp-random-thresholds-exact-ternary-lifts.html.", "assets": [ { "label": "PDF: Sharp Random Thresholds Exact Ternary Homogeneous Boolean Lifts", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/sharp-random-thresholds-exact-ternary-lifts/sharp-random-thresholds-exact-ternary-homogeneous-boolean-lifts.pdf" }, { "label": "TeX source: Sharp Random Thresholds Exact Ternary Homogeneous Boolean Lifts", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/sharp-random-thresholds-exact-ternary-lifts/sharp-random-thresholds-exact-ternary-homogeneous-boolean-lifts.tex" }, { "label": "Markdown source: Sharp Random Thresholds Exact Ternary Homogeneous Boolean Lifts", "type": "md", "url": "https://lucablanchi.it/assets/presentation-theory/sharp-random-thresholds-exact-ternary-lifts/sharp-random-thresholds-exact-ternary-homogeneous-boolean-lifts.md" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/lattice-obstructions-coefficient-alphabets.html#article", "headline": "Lattice Obstructions and Coefficient Alphabets for Homogeneous Boolean Lifts", "name": "Lattice Obstructions and Coefficient Alphabets for Homogeneous Boolean Lifts", "description": "Exact notes on two-point encoding lattices, universal denominators, coefficient alphabets, and homogeneous Boolean lift criteria.", "abstract": "Exact notes on two-point encoding lattices, universal denominators, coefficient alphabets, and homogeneous Boolean lift criteria.", "url": "https://lucablanchi.it/presentation-theory/lattice-obstructions-coefficient-alphabets.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Compression, Boolean Lifts, and Finite Structures", "citation": "Luca Blanchi. \"Lattice Obstructions and Coefficient Alphabets for Homogeneous Boolean Lifts.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/lattice-obstructions-coefficient-alphabets.html.", "assets": [ { "label": "PDF: Lattice Obstructions Coefficient Alphabets Homogeneous Boolean Lifts", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/lattice-obstructions-coefficient-alphabets/lattice-obstructions-coefficient-alphabets-homogeneous-boolean-lifts.pdf" }, { "label": "TeX source: Lattice Obstructions Coefficient Alphabets Homogeneous Boolean Lifts", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/lattice-obstructions-coefficient-alphabets/lattice-obstructions-coefficient-alphabets-homogeneous-boolean-lifts.tex" }, { "label": "Markdown source: Lattice Obstructions Coefficient Alphabets Homogeneous Boolean Lifts", "type": "md", "url": "https://lucablanchi.it/assets/presentation-theory/lattice-obstructions-coefficient-alphabets/lattice-obstructions-coefficient-alphabets-homogeneous-boolean-lifts.md" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/conway-thrackle-proof-strategy.html#article", "headline": "Switch Corridors and Boundary-Rigid Lenses in Even Dumbbell Thrackles: A Local Reduction and Minimal-Witness Strategy", "name": "Switch Corridors and Boundary-Rigid Lenses in Even Dumbbell Thrackles: A Local Reduction and Minimal-Witness Strategy", "description": "A local reduction and minimal-witness strategy for the irreducible even-dumbbell step in Conway's thrackle program.", "abstract": "A local reduction and minimal-witness strategy for the irreducible even-dumbbell step in Conway's thrackle program.", "url": "https://lucablanchi.it/presentation-theory/conway-thrackle-proof-strategy.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Proof Strategies", "citation": "Luca Blanchi. \"Switch Corridors and Boundary-Rigid Lenses in Even Dumbbell Thrackles: A Local Reduction and Minimal-Witness Strategy.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/conway-thrackle-proof-strategy.html.", "assets": [ { "label": "PDF: Switch Corridors Boundary Rigid Lenses Conway", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/conway-thrackle-proof-strategy/switch-corridors-boundary-rigid-lenses-conway.pdf" }, { "label": "TeX source: Switch Corridors Boundary Rigid Lenses Conway", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/conway-thrackle-proof-strategy/switch-corridors-boundary-rigid-lenses-conway.tex" }, { "label": "Markdown source: Switch Corridors Boundary Rigid Lenses Conway", "type": "md", "url": "https://lucablanchi.it/assets/presentation-theory/conway-thrackle-proof-strategy/switch-corridors-boundary-rigid-lenses-conway.md" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/previous-copy-compression-quantitative-barriers.html#article", "headline": "Previous-Copy Compression: Quantitative Barriers", "name": "Previous-Copy Compression: Quantitative Barriers", "description": "Finite stammering profiles, exponential tube barriers, and conditional quantitative lower bounds for previous-copy compression.", "abstract": "Finite stammering profiles, exponential tube barriers, and conditional quantitative lower bounds for previous-copy compression.", "url": "https://lucablanchi.it/presentation-theory/previous-copy-compression-quantitative-barriers.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Compression, Boolean Lifts, and Finite Structures", "citation": "Luca Blanchi. \"Previous-Copy Compression: Quantitative Barriers.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/previous-copy-compression-quantitative-barriers.html.", "assets": [ { "label": "PDF: Finite Stammering Profiles Tube Barriers", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/previous-copy-parsing/finite-stammering-profiles-tube-barriers.pdf" }, { "label": "TeX source: Finite Stammering Profiles Tube Barriers", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/previous-copy-parsing/finite-stammering-profiles-tube-barriers.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/previous-copy-compression-foundations.html#article", "headline": "Previous-Copy Compression: Foundations and Algebraic Digit Expansions", "name": "Previous-Copy Compression: Foundations and Algebraic Digit Expansions", "description": "Foundational papers on online previous-copy parsing, extremal and metric behaviour, and algebraic digit expansions.", "abstract": "Foundational papers on online previous-copy parsing, extremal and metric behaviour, and algebraic digit expansions.", "url": "https://lucablanchi.it/presentation-theory/previous-copy-compression-foundations.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Compression, Boolean Lifts, and Finite Structures", "citation": "Luca Blanchi. \"Previous-Copy Compression: Foundations and Algebraic Digit Expansions.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/previous-copy-compression-foundations.html.", "assets": [ { "label": "PDF: Previous Copy Compression Algebraic Digit Expansions", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/previous-copy-parsing/previous-copy-compression-algebraic-digit-expansions.pdf" }, { "label": "TeX source: Previous Copy Compression Algebraic Digit Expansions", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/previous-copy-parsing/previous-copy-compression-algebraic-digit-expansions.tex" }, { "label": "PDF: Metric Extremal Online Previous Copy Compression", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/previous-copy-parsing/metric-extremal-online-previous-copy-compression.pdf" }, { "label": "TeX source: Metric Extremal Online Previous Copy Compression", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/previous-copy-parsing/metric-extremal-online-previous-copy-compression.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/lef-growth-wreath-products.html#article", "headline": "LEF Growth of Wreath Products with Abelian and Virtually Abelian Lamps", "name": "LEF Growth of Wreath Products with Abelian and Virtually Abelian Lamps", "description": "LEF growth for wreath products with abelian, non-abelian, virtually abelian, and Heisenberg-base examples.", "abstract": "LEF growth for wreath products with abelian, non-abelian, virtually abelian, and Heisenberg-base examples.", "url": "https://lucablanchi.it/presentation-theory/lef-growth-wreath-products.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Observable Geometry in Groups", "citation": "Luca Blanchi. \"LEF Growth of Wreath Products with Abelian and Virtually Abelian Lamps.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/lef-growth-wreath-products.html.", "assets": [ { "label": "PDF: Lef Growth Wreath Products", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/lef-growth-wreath-products/lef-growth-wreath-products.pdf" }, { "label": "TeX source: Lef Growth Wreath Products", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/lef-growth-wreath-products/lef-growth-wreath-products.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/local-linear-presentations-sparse-factorization.html#article", "headline": "Local Linear Presentations and Sparse Factorization Complexity", "name": "Local Linear Presentations and Sparse Factorization Complexity", "description": "Local presentation rank, sparse factorization complexity, exact linear data structures, and dynamic prefix-sum lower-bound problems.", "abstract": "Local presentation rank, sparse factorization complexity, exact linear data structures, and dynamic prefix-sum lower-bound problems.", "url": "https://lucablanchi.it/presentation-theory/local-linear-presentations-sparse-factorization.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Algebraic and Computational Complexity", "citation": "Luca Blanchi. \"Local Linear Presentations and Sparse Factorization Complexity.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/local-linear-presentations-sparse-factorization.html.", "assets": [ { "label": "PDF: Local Linear Presentations Sparse Factorization", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/local-linear-presentations-sparse-factorization/local-linear-presentations-sparse-factorization.pdf" }, { "label": "TeX source: Local Linear Presentations Sparse Factorization", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/local-linear-presentations-sparse-factorization/local-linear-presentations-sparse-factorization.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/presentation-theory-ii-controlled-transfer-observable-budgets-geometry-fibres.html#article", "headline": "Presentation Theory II: Controlled Transfer, Observable Budgets, and the Geometry of Fibres", "name": "Presentation Theory II: Controlled Transfer, Observable Budgets, and the Geometry of Fibres", "description": "Transfer packages, fragmented budgets, convergence moduli, finite-window radii, wild fixed rank-profile fibres, and fibre navigation.", "abstract": "Transfer packages, fragmented budgets, convergence moduli, finite-window radii, wild fixed rank-profile fibres, and fibre navigation.", "url": "https://lucablanchi.it/presentation-theory/presentation-theory-ii-controlled-transfer-observable-budgets-geometry-fibres.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Axiomatic Core", "citation": "Luca Blanchi. \"Presentation Theory II: Controlled Transfer, Observable Budgets, and the Geometry of Fibres.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/presentation-theory-ii-controlled-transfer-observable-budgets-geometry-fibres.html.", "assets": [ { "label": "PDF: Presentation Theory Ii Controlled Transfer Observable Budgets Geometry Fibres", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-theory-ii-controlled-transfer-observable-budgets-geometry-fibres/presentation-theory-ii-controlled-transfer-observable-budgets-geometry-fibres.pdf" }, { "label": "TeX source: Presentation Theory Ii Controlled Transfer Observable Budgets Geometry Fibres", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-theory-ii-controlled-transfer-observable-budgets-geometry-fibres/presentation-theory-ii-controlled-transfer-observable-budgets-geometry-fibres.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/presentation-theory-iii-normal-form-compilation.html#article", "headline": "Presentation Theory III: Normal-Form Compilation, Residual Fibres, and Stable Canonical Access", "name": "Presentation Theory III: Normal-Form Compilation, Residual Fibres, and Stable Canonical Access", "description": "Normal-form packages, residual fibres, separator lower bounds, fragmented towers, heighted no-free normal forms, rewriting budgets, and spectral instability.", "abstract": "Normal-form packages, residual fibres, separator lower bounds, fragmented towers, heighted no-free normal forms, rewriting budgets, and spectral instability.", "url": "https://lucablanchi.it/presentation-theory/presentation-theory-iii-normal-form-compilation.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Axiomatic Core", "citation": "Luca Blanchi. \"Presentation Theory III: Normal-Form Compilation, Residual Fibres, and Stable Canonical Access.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/presentation-theory-iii-normal-form-compilation.html.", "assets": [ { "label": "PDF: Presentation Theory Iii Normal Form Compilation", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-theory-iii-normal-form-compilation/presentation-theory-iii-normal-form-compilation.pdf" }, { "label": "TeX source: Presentation Theory Iii Normal Form Compilation", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-theory-iii-normal-form-compilation/presentation-theory-iii-normal-form-compilation.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/presentation-theory-iv-verifiable-access-audit-lower-bounds-residual-indistinguishability.html#article", "headline": "Presentation Theory IV: Verifiable Access, Audit Lower Bounds, and Residual Indistinguishability", "name": "Presentation Theory IV: Verifiable Access, Audit Lower Bounds, and Residual Indistinguishability", "description": "Verifiable access, audit covers, transcripts, residual indistinguishability, pullback lower bounds, and auditable Lovasz separation for CFI graphs.", "abstract": "Verifiable access, audit covers, transcripts, residual indistinguishability, pullback lower bounds, and auditable Lovasz separation for CFI graphs.", "url": "https://lucablanchi.it/presentation-theory/presentation-theory-iv-verifiable-access-audit-lower-bounds-residual-indistinguishability.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Axiomatic Core", "citation": "Luca Blanchi. \"Presentation Theory IV: Verifiable Access, Audit Lower Bounds, and Residual Indistinguishability.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/presentation-theory-iv-verifiable-access-audit-lower-bounds-residual-indistinguishability.html.", "assets": [ { "label": "PDF: Presentation Theory Iv Verifiable Access Audit Lower Bounds Residual Indistinguishability", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-theory-iv-verifiable-access-audit-lower-bounds-residual-indistinguishability/presentation-theory-iv-verifiable-access-audit-lower-bounds-residual-indistinguishability.pdf" }, { "label": "TeX source: Presentation Theory Iv Verifiable Access Audit Lower Bounds Residual Indistinguishability", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-theory-iv-verifiable-access-audit-lower-bounds-residual-indistinguishability/presentation-theory-iv-verifiable-access-audit-lower-bounds-residual-indistinguishability.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/presentation-theory-v-fibre-geometry-navigation-residual-moduli.html#article", "headline": "Presentation Theory V: Fibre Geometry, Navigation, and Residual Moduli", "name": "Presentation Theory V: Fibre Geometry, Navigation, and Residual Moduli", "description": "Costed kernel pairs, vertical move systems, height navigation, fibre atlases, normal-form contractions, entropy profiles, obstruction calculus, stabilization collapse, and applications to Pachner moves, persistence, CFI graphs, rewriting, and Markov fibres.", "abstract": "Costed kernel pairs, vertical move systems, height navigation, fibre atlases, normal-form contractions, entropy profiles, obstruction calculus, stabilization collapse, and applications to Pachner moves, persistence, CFI graphs, rewriting, and Markov fibres.", "url": "https://lucablanchi.it/presentation-theory/presentation-theory-v-fibre-geometry-navigation-residual-moduli.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Axiomatic Core", "citation": "Luca Blanchi. \"Presentation Theory V: Fibre Geometry, Navigation, and Residual Moduli.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/presentation-theory-v-fibre-geometry-navigation-residual-moduli.html.", "assets": [ { "label": "PDF: Presentation Theory V Fibre Geometry Navigation Residual Moduli", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-theory-v-fibre-geometry-navigation-residual-moduli/presentation-theory-v-fibre-geometry-navigation-residual-moduli.pdf" }, { "label": "TeX source: Presentation Theory V Fibre Geometry Navigation Residual Moduli", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-theory-v-fibre-geometry-navigation-residual-moduli/presentation-theory-v-fibre-geometry-navigation-residual-moduli.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/presentation-theory-vi-observable-quotients-separation-reconstruction.html#article", "headline": "Presentation Theory VI: Observable Quotients, Separation, and Reconstruction", "name": "Presentation Theory VI: Observable Quotients, Separation, and Reconstruction", "description": "Observable quotients, indistinguishability relations, target reconstruction, residual target factors, finite set-cover fingerprints, adaptive decision trees, structured resolving refinements, and stability.", "abstract": "Observable quotients, indistinguishability relations, target reconstruction, residual target factors, finite set-cover fingerprints, adaptive decision trees, structured resolving refinements, and stability.", "url": "https://lucablanchi.it/presentation-theory/presentation-theory-vi-observable-quotients-separation-reconstruction.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Axiomatic Core", "citation": "Luca Blanchi. \"Presentation Theory VI: Observable Quotients, Separation, and Reconstruction.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/presentation-theory-vi-observable-quotients-separation-reconstruction.html.", "assets": [ { "label": "PDF: Presentation Theory Vi Observable Quotients Separation Reconstruction", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-theory-vi-observable-quotients-separation-reconstruction/presentation-theory-vi-observable-quotients-separation-reconstruction.pdf" }, { "label": "TeX source: Presentation Theory Vi Observable Quotients Separation Reconstruction", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-theory-vi-observable-quotients-separation-reconstruction/presentation-theory-vi-observable-quotients-separation-reconstruction.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/presentation-theory-vii-assembly-envelopes-operational-fibres.html#article", "headline": "Presentation Theory VII: Assembly Envelopes and Operational Fibres", "name": "Presentation Theory VII: Assembly Envelopes and Operational Fibres", "description": "Operations as presentation engines: assembly envelopes, operational image filtrations, decomposition fibres, bridge costs, observable barriers, and verification records.", "abstract": "Operations as presentation engines: assembly envelopes, operational image filtrations, decomposition fibres, bridge costs, observable barriers, and verification records.", "url": "https://lucablanchi.it/presentation-theory/presentation-theory-vii-assembly-envelopes-operational-fibres.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Axiomatic Core", "citation": "Luca Blanchi. \"Presentation Theory VII: Assembly Envelopes and Operational Fibres.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/presentation-theory-vii-assembly-envelopes-operational-fibres.html.", "assets": [ { "label": "PDF: Presentation Theory VII: Assembly Envelopes and Operational Fibres", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-theory-vii-assembly-envelopes-operational-fibres/presentation-theory-vii-assembly-envelopes-operational-fibres.pdf" }, { "label": "TeX source: Presentation Theory VII: Assembly Envelopes and Operational Fibres", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-theory-vii-assembly-envelopes-operational-fibres/presentation-theory-vii-assembly-envelopes-operational-fibres.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/no-free-degenerations-presentation-cost-heights-normal-forms.html#article", "headline": "No Free Degenerations: Presentation Cost, Heights, and the Arithmetic Price of Normal Forms", "name": "No Free Degenerations: Presentation Cost, Heights, and the Arithmetic Price of Normal Forms", "description": "Heighted normal-form presentations, gauge and degeneration costs, orbit-closure height bounds, controlled transfer, and representative-moduli gap estimates.", "abstract": "Heighted normal-form presentations, gauge and degeneration costs, orbit-closure height bounds, controlled transfer, and representative-moduli gap estimates.", "url": "https://lucablanchi.it/presentation-theory/no-free-degenerations-presentation-cost-heights-normal-forms.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Direct Applications", "citation": "Luca Blanchi. \"No Free Degenerations: Presentation Cost, Heights, and the Arithmetic Price of Normal Forms.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/no-free-degenerations-presentation-cost-heights-normal-forms.html.", "assets": [ { "label": "PDF: No Free Degenerations Presentation Cost Heights Normal Forms", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/no-free-degenerations-presentation-cost-heights-normal-forms/no-free-degenerations-presentation-cost-heights-normal-forms.pdf" }, { "label": "TeX source: No Free Degenerations Presentation Cost Heights Normal Forms", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/no-free-degenerations-presentation-cost-heights-normal-forms/no-free-degenerations-presentation-cost-heights-normal-forms.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/invisible-flats-marked-normal-forms.html#article", "headline": "Invisible Flats and the Cost of Marked Normal Forms", "name": "Invisible Flats and the Cost of Marked Normal Forms", "description": "Rate-distortion lower bounds for marked reconstruction from finite-depth Torelli, Johnson, homological, and level data via invisible mapping-class-group flats.", "abstract": "Rate-distortion lower bounds for marked reconstruction from finite-depth Torelli, Johnson, homological, and level data via invisible mapping-class-group flats.", "url": "https://lucablanchi.it/presentation-theory/invisible-flats-marked-normal-forms.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Direct Applications", "citation": "Luca Blanchi. \"Invisible Flats and the Cost of Marked Normal Forms.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/invisible-flats-marked-normal-forms.html.", "assets": [ { "label": "PDF: Invisible Flats Marked Normal Forms", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/invisible-flats-marked-normal-forms/invisible-flats-marked-normal-forms.pdf" }, { "label": "TeX source: Invisible Flats Marked Normal Forms", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/invisible-flats-marked-normal-forms/invisible-flats-marked-normal-forms.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/atlas-controlled-transfer-packages.html#article", "headline": "Atlas of Controlled Transfer Packages", "name": "Atlas of Controlled Transfer Packages", "description": "An operational atlas of contexts, observables, verification data, fibres, and overhead functions for building transfer packages in Presentation Theory.", "abstract": "An operational atlas of contexts, observables, verification data, fibres, and overhead functions for building transfer packages in Presentation Theory.", "url": "https://lucablanchi.it/presentation-theory/atlas-controlled-transfer-packages.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Addenda", "citation": "Luca Blanchi. \"Atlas of Controlled Transfer Packages.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/atlas-controlled-transfer-packages.html.", "assets": [ { "label": "PDF: Atlas Controlled Transfer Packages", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/atlas-controlled-transfer-packages/atlas-controlled-transfer-packages.pdf" }, { "label": "TeX source: Atlas Controlled Transfer Packages", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/atlas-controlled-transfer-packages/atlas-controlled-transfer-packages.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/controlled-transfer-in-action.html#article", "headline": "Controlled Transfer in Action: Selected Examples", "name": "Controlled Transfer in Action: Selected Examples", "description": "A selected addendum of controlled-transfer results, from quantized law discovery and Hensel-tree rationality to automatic lattice-walk returns and Frobenius modular codes.", "abstract": "A selected addendum of controlled-transfer results, from quantized law discovery and Hensel-tree rationality to automatic lattice-walk returns and Frobenius modular codes.", "url": "https://lucablanchi.it/presentation-theory/controlled-transfer-in-action.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Addenda", "citation": "Luca Blanchi. \"Controlled Transfer in Action: Selected Examples.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/controlled-transfer-in-action.html.", "assets": [ { "label": "PDF: Controlled Transfer In Action", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/controlled-transfer-in-action/controlled-transfer-in-action.pdf" }, { "label": "TeX source: Controlled Transfer In Action", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/controlled-transfer-in-action/controlled-transfer-in-action.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/statement-presentations-semilinear-greedy-3-sumfree-sequence.html#article", "headline": "Statement Presentations and a Semilinear Greedy 3-Sumfree Sequence", "name": "Statement Presentations and a Semilinear Greedy 3-Sumfree Sequence", "description": "A direct semilinear proof of a parametric greedy 3-sumfree sequence formula, with a presentation-theoretic reading of the finite interval-sum verification.", "abstract": "A direct semilinear proof of a parametric greedy 3-sumfree sequence formula, with a presentation-theoretic reading of the finite interval-sum verification.", "url": "https://lucablanchi.it/presentation-theory/statement-presentations-semilinear-greedy-3-sumfree-sequence.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Direct Applications", "citation": "Luca Blanchi. \"Statement Presentations and a Semilinear Greedy 3-Sumfree Sequence.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/statement-presentations-semilinear-greedy-3-sumfree-sequence.html.", "assets": [ { "label": "PDF: Statement Presentations Semilinear Greedy 3 Sumfree Sequence", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/statement-presentations-semilinear-greedy-3-sumfree-sequence/statement-presentations-semilinear-greedy-3-sumfree-sequence.pdf" }, { "label": "TeX source: Statement Presentations Semilinear Greedy 3 Sumfree Sequence", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/statement-presentations-semilinear-greedy-3-sumfree-sequence/statement-presentations-semilinear-greedy-3-sumfree-sequence.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/presentation-theory-i-description-systems-costs-observable-fibres.html#article", "headline": "Presentation Theory I: Description Systems, Costs, and Observable Fibres", "name": "Presentation Theory I: Description Systems, Costs, and Observable Fibres", "description": "Presentation systems, realization fibres, observables, verification costs, normal forms, and reusable proof principles.", "abstract": "Presentation systems, realization fibres, observables, verification costs, normal forms, and reusable proof principles.", "url": "https://lucablanchi.it/presentation-theory/presentation-theory-i-description-systems-costs-observable-fibres.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Axiomatic Core", "citation": "Luca Blanchi. \"Presentation Theory I: Description Systems, Costs, and Observable Fibres.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/presentation-theory-i-description-systems-costs-observable-fibres.html.", "assets": [ { "label": "PDF: Presentation Theory I Description Systems Costs Observable Fibres", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-theory-i-description-systems-costs-observable-fibres/presentation-theory-i-description-systems-costs-observable-fibres.pdf" }, { "label": "TeX source: Presentation Theory I Description Systems Costs Observable Fibres", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/presentation-theory-i-description-systems-costs-observable-fibres/presentation-theory-i-description-systems-costs-observable-fibres.tex" } ] }, { "@type": "ScholarlyArticle", "@id": "https://lucablanchi.it/presentation-theory/predictive-fibres-critical-oseen-transfer-navier-stokes.html#article", "headline": "Predictive Fibres and Critical Oseen Transfer for Navier-Stokes: Conditional Proof Strategy", "name": "Predictive Fibres and Critical Oseen Transfer for Navier-Stokes: Conditional Proof Strategy", "description": "An original presentation-theoretic conditional reduction for three-dimensional Navier-Stokes, with closed proof modules and a complete list of remaining source blocks.", "abstract": "An original presentation-theoretic conditional reduction for three-dimensional Navier-Stokes, with closed proof modules and a complete list of remaining source blocks.", "url": "https://lucablanchi.it/presentation-theory/predictive-fibres-critical-oseen-transfer-navier-stokes.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-01", "dateModified": "2026-07-12", "inLanguage": "en-US", "creativeWorkStatus": "Preliminary", "isAccessibleForFree": true, "section": "Proof Strategies", "citation": "Luca Blanchi. \"Predictive Fibres and Critical Oseen Transfer for Navier-Stokes: Conditional Proof Strategy.\" lucablanchi.it, June 2026, https://lucablanchi.it/presentation-theory/predictive-fibres-critical-oseen-transfer-navier-stokes.html.", "assets": [ { "label": "PDF: Predictive Fibres Critical Oseen Transfer Navier Stokes", "type": "pdf", "url": "https://lucablanchi.it/assets/presentation-theory/predictive-fibres-critical-oseen-transfer-navier-stokes/predictive-fibres-critical-oseen-transfer-navier-stokes.pdf" }, { "label": "TeX source: Predictive Fibres Critical Oseen Transfer Navier Stokes", "type": "tex", "url": "https://lucablanchi.it/assets/presentation-theory/predictive-fibres-critical-oseen-transfer-navier-stokes/predictive-fibres-critical-oseen-transfer-navier-stokes.tex" }, { "label": "Markdown source: Predictive Fibres Critical Oseen Transfer Navier Stokes Proof Audit", "type": "md", "url": "https://lucablanchi.it/assets/presentation-theory/predictive-fibres-critical-oseen-transfer-navier-stokes/predictive-fibres-critical-oseen-transfer-navier-stokes-proof-audit.md" } ] } ] }, { "@type": "Collection", "name": "Draft concepts", "url": "https://lucablanchi.it/drafts.html", "hasPart": [ { "@type": "Article", "@id": "https://lucablanchi.it/drafts/morra-cinese-con-svantaggio.html#article", "headline": "Rock-paper-scissors with a disadvantage", "alternateName": "Morra cinese con svantaggio", "description": "A game-theoretic note on a rock-paper-scissors variant where one player cannot play scissors, reducing the game to guessing a positive integer.", "url": "https://lucablanchi.it/drafts/morra-cinese-con-svantaggio.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-28", "dateModified": "2026-07-12", "inLanguage": [ "en-US", "it-IT" ], "isAccessibleForFree": true, "citation": "Luca Blanchi. \"Rock-paper-scissors with a disadvantage.\" lucablanchi.it, June 28, 2026, https://lucablanchi.it/drafts/morra-cinese-con-svantaggio.html." }, { "@type": "Article", "@id": "https://lucablanchi.it/drafts/half-bit-storage.html#article", "headline": "Half bit storage", "alternateName": "Storage da mezzo bit", "description": "A defective one-bit storage cell loses a continuous amount of useful information as read noise increases; Shannon entropy pinpoints the flip probability that leaves half a bit.", "url": "https://lucablanchi.it/drafts/half-bit-storage.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-14", "dateModified": "2026-07-12", "inLanguage": [ "en-US", "it-IT" ], "isAccessibleForFree": true, "citation": "Luca Blanchi. \"Half bit storage.\" lucablanchi.it, June 14, 2026, https://lucablanchi.it/drafts/half-bit-storage.html." }, { "@type": "Article", "@id": "https://lucablanchi.it/drafts/gioco-numero-piu-grande.html#article", "headline": "Largest Number Game", "alternateName": "Gioco del numero più grande", "description": "A draft about short descriptions, enormous numbers, and Ackermann-style recursion.", "url": "https://lucablanchi.it/drafts/gioco-numero-piu-grande.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-13", "dateModified": "2026-07-12", "inLanguage": [ "en-US", "it-IT" ], "isAccessibleForFree": true, "citation": "Luca Blanchi. \"Largest Number Game.\" lucablanchi.it, June 13, 2026, https://lucablanchi.it/drafts/gioco-numero-piu-grande.html." }, { "@type": "Article", "@id": "https://lucablanchi.it/drafts/meta-theory.html#article", "headline": "Game META theory", "alternateName": "Teoria del Meta", "description": "A draft about populations of strategies, game graphs, simplex dynamics, and categorical operations.", "url": "https://lucablanchi.it/drafts/meta-theory.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2021-12-01", "dateModified": "2026-07-12", "inLanguage": [ "en-US", "it-IT" ], "isAccessibleForFree": true, "citation": "Luca Blanchi. \"Game META theory.\" lucablanchi.it, December 1, 2021, https://lucablanchi.it/drafts/meta-theory.html." }, { "@type": "Article", "@id": "https://lucablanchi.it/drafts/cool-prime-formula.html#article", "headline": "A cool formula with primes", "alternateName": "Una formula carina con i numeri primi", "description": "An informal heuristic about primes, written as a nested formula and compressed into an infinite product.", "url": "https://lucablanchi.it/drafts/cool-prime-formula.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-12", "dateModified": "2026-07-12", "inLanguage": [ "en-US", "it-IT" ], "isAccessibleForFree": true, "citation": "Luca Blanchi. \"A cool formula with primes.\" lucablanchi.it, June 12, 2026, https://lucablanchi.it/drafts/cool-prime-formula.html." }, { "@type": "Article", "@id": "https://lucablanchi.it/drafts/chess-encoding.html#article", "headline": "Chess encoding", "alternateName": "Codifica degli scacchi", "description": "Encoding chess moves, positions, games, and game graphs using as few bits as reasonably possible while keeping positions readable and reconstructible.", "url": "https://lucablanchi.it/drafts/chess-encoding.html", "author": { "@id": "https://lucablanchi.it/#luca-blanchi", "name": "Luca Blanchi" }, "datePublished": "2026-06-10", "dateModified": "2026-07-12", "inLanguage": [ "en-US", "it-IT" ], "isAccessibleForFree": true, "citation": "Luca Blanchi. \"Chess encoding.\" lucablanchi.it, June 10, 2026, https://lucablanchi.it/drafts/chess-encoding.html." } ] } ], "articleGroups": [ { "title": "Axiomatic Core", "description": "The foundational sequence of the program: description systems and costs, controlled transfer, normal-form compilation, verifiable access, fibre geometry, observable reconstruction, and operational assembly.", "hrefs": [ "/presentation-theory/presentation-theory-i-description-systems-costs-observable-fibres.html", "/presentation-theory/presentation-theory-ii-controlled-transfer-observable-budgets-geometry-fibres.html", "/presentation-theory/presentation-theory-iii-normal-form-compilation.html", "/presentation-theory/presentation-theory-iv-verifiable-access-audit-lower-bounds-residual-indistinguishability.html", "/presentation-theory/presentation-theory-v-fibre-geometry-navigation-residual-moduli.html", "/presentation-theory/presentation-theory-vi-observable-quotients-separation-reconstruction.html", "/presentation-theory/presentation-theory-vii-assembly-envelopes-operational-fibres.html" ] }, { "title": "Addenda", "description": "Supporting technical material for the core papers, including transfer-package atlases, fragmented resource bounds, and selected controlled-transfer examples.", "hrefs": [ "/presentation-theory/atlas-controlled-transfer-packages.html", "/presentation-theory/fragmented-presentation-systems-resource-bound-degrees.html", "/presentation-theory/controlled-transfer-in-action.html" ] }, { "title": "Direct Applications", "description": "Applications where the presentation-theoretic mechanisms are part of the main argument: normal-form costs, marked reconstruction, statement presentations, and persistence fibres.", "hrefs": [ "/presentation-theory/no-free-degenerations-presentation-cost-heights-normal-forms.html", "/presentation-theory/invisible-flats-marked-normal-forms.html", "/presentation-theory/statement-presentations-semilinear-greedy-3-sumfree-sequence.html", "/presentation-theory/presentation-incidence-rank-fibres-multiparameter-persistence.html" ] }, { "title": "Langlands Access", "description": "Finite access and verification formats for Langlands-type data, including Hecke records, class-group ambiguity, transfer audits, and auxiliary analytic or categorical modules.", "hrefs": [ "/presentation-theory/presentation-langlands-i-proof-carrying-hecke-records.html", "/presentation-theory/class-group-tomography-hecke-eigensystems-number-fields.html", "/presentation-theory/verified-transfer-audits-finite-langlands-windows.html", "/presentation-theory/analytic-categorical-database-access-modules-presentation-langlands.html" ] }, { "title": "Observable Geometry in Groups", "description": "A group-theoretic ladder from quadratic normal forms and local profiles to Pfaffian thresholds, commutator-word reconstruction, residual moduli, and endpoint completeness results.", "hrefs": [ "/presentation-theory/quadratic-presentational-complexity-observable-barriers.html", "/presentation-theory/star-support-image-profiles-class-two-p-groups.html", "/presentation-theory/sharp-support-image-thresholds-alternating-pencils.html", "/presentation-theory/complete-commutator-word-tomography-alternating-pencils.html", "/presentation-theory/generic-odd-pfaffian-reconstruction-commutator-word-moments.html", "/presentation-theory/word-measure-twins-pfaffian-moduli-class-two-p-groups.html", "/presentation-theory/polar-code-endpoint-class-two-p-groups.html", "/presentation-theory/relative-linear-word-observables-semidirect-products.html", "/presentation-theory/finite-lovasz-profiles-coprime-affine-groups.html", "/presentation-theory/degree-weighted-normal-covers-symmetric-alternating-groups.html", "/presentation-theory/lef-growth-wreath-products.html" ] }, { "title": "Algebraic and Computational Complexity", "description": "Algebraic and computational modules around filtered membership, scalar compression, local linear presentations, proof-carrying inference, and toric reachability or positivity.", "hrefs": [ "/presentation-theory/representation-theoretic-scalar-compression-linear-differential-equations.html", "/presentation-theory/filtered-equivariant-membership-static-algebraic-proof-degree.html", "/presentation-theory/local-linear-presentations-sparse-factorization.html", "/presentation-theory/certified-adaptive-discovery-algebraic-laws.html", "/presentation-theory/toric-certificates-effective-skolem-tails-subspace-orbit-reachability.html", "/presentation-theory/proof-carrying-toric-guard-certificates-positivity-linear-recurrence-sequences.html" ] }, { "title": "Arithmetic Dynamics and Geometry", "description": "Arithmetic and geometric applications where presentation costs or finite access data control preimage layers, p-adic traps, blow-up depth, and Rouquier-dimension bounds.", "hrefs": [ "/presentation-theory/exact-rational-preperiodic-portraits-controlled-p-adic-traps.html", "/presentation-theory/exact-preimage-layers-effective-primitive-divisors-rational-maps-p1.html", "/presentation-theory/blow-up-diagonal-depth-wonderful-compactifications.html", "/presentation-theory/dependency-depth-odd-hassett-spaces.html" ] }, { "title": "Compression, Boolean Lifts, and Finite Structures", "description": "Finite and symbolic compression problems, including previous-copy parsing, Boolean lift obstructions, random threshold models, relation lattices, and closure systems.", "hrefs": [ "/presentation-theory/previous-copy-compression-foundations.html", "/presentation-theory/previous-copy-compression-quantitative-barriers.html", "/presentation-theory/lattice-obstructions-coefficient-alphabets.html", "/presentation-theory/sharp-random-thresholds-exact-ternary-lifts.html", "/presentation-theory/random-saturation-real-homogeneous-threshold-boxes.html", "/presentation-theory/relation-lattices-kolmogorov-deficiency-rational-points.html", "/presentation-theory/box-closure-systems-downsets-products-of-chains.html" ] }, { "title": "Differential Equations and Analytic Geometry", "description": "Presentation-theoretic applications to differential equations and analytic geometry, including irregular connections, Stokes data, and controlled Riemann-Hilbert transfer.", "hrefs": [ "/presentation-theory/presentation-complexity-irregular-connections-stokes-data.html", "/presentation-theory/stokes-geometry-presentation-complexity-applications.html" ] }, { "title": "Proof Strategies", "description": "Long-form conditional or strategic notes where the presentation-theoretic language organizes proof obligations, residual fibres, and remaining source blocks.", "hrefs": [ "/presentation-theory/predictive-fibres-critical-oseen-transfer-navier-stokes.html", "/presentation-theory/conway-thrackle-proof-strategy.html" ] } ] }