Copertina

Order-Convex Subsets of Grid Posets: A New Exponential Combinatorial Class with Structural Classication, Transfer-Matrix Enumeration, and a Supermultiplicativity Theorem

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autore principale:	DiFiore, Thomas
Natura:	Recurso digital
Pubblicazione:	Zenodo 2026
Soggetti:	order-convex subset, product poset grid poset growth constant Fekete's lemma supermultiplicativity transfer matrix Dilworth theorem dimension law combinatorial class Fuss-Catalan numbers formal verification Lean
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Dimensional Selection Without Dimensional Priors: 4D Lorentzian Dominance in Finite Causal Poset Ensembles Under Consistency-Based Actions
di: Gang, Zhang
Pubblicazione: (2026)

Quantitative Integral Comparison for Monotone Series IV: The Harmonic Sum via Weak Euler–Maclaurin Comparison
di: Jefferson, Bob
Pubblicazione: (2026)

An Asymmetric Dimensional Barrier in Causal-Set Link Dynamics Selects 3+1 Dimensions
di: Gang, Zhang
Pubblicazione: (2026)

The Poset Algebra: Obstruction Hierarchy of Bender-Knuth Toggles on Finite Posets
di: Silva Alvarado, Juan Pablo
Pubblicazione: (2026)

Distinctions All the Way Down: A Generative Axiom System for Spacetime from Primitive Distinctions and the Locality-Dimension Theorem
di: Raell, Eliam
Pubblicazione: (2026)

Resurgence Corrections for Non-Holomorphic Fractal Families: Exact Class B′ Hypergeometric Identification and Transfer Lemma
di: Bird, Michael
Pubblicazione: (2026)

Closed-Form Expressions for Odd-Order Riemann Zeta Functions and Their Rigorous Proofs (Part II)
di: liu, shifa
Pubblicazione: (2026)

Lean Aps Recursion Uniformization (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

Lean Observer Non Exhaustability (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

Lean Observer Non Exhaustability (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

Lean Representational Incompleteness (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

Lean Representational Incompleteness (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

Lean Reflexive Closure (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

Lean Reflexive Architecture Nonexhaustibility (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

UGP/GTE Lean formalization
di: Spivack, Nova
Pubblicazione: (2026)

Lean Nems (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

Rational-β Wigner surmise cumulants: a Dirichlet L-function decomposition
di: Niedbala Giraudin, David
Pubblicazione: (2026)

The $\Lambda$VSC One-Parameter Cosmological Model: A Unified Analysis of the Cosmological Constant, Singularities, Ultraviolet Divergence, and Hubble Tension with Lean 4 Verification
di: Huang, Tongbing
Pubblicazione: (2026)

On the non-existence of non-trivial Collatz cycles: a conditional formal proof in Lean 4 with documented structural obstructions
di: Merle, Eric
Pubblicazione: (2026)

Robust stability of a gyroscope using linear matrix inequalities
di: Jorge Luis Orozco Mora
Pubblicazione: (2008)

Dark Energy from Catalan's Constant within the NSk/ψ Program (archival conceptual version)
di: Nowak, Paweł
Pubblicazione: (2025)

Branch Optimal Power Flow Model for DC Networks with Radial Structure: A Conic Relaxation
di: Oscar Danilo Montoya
Pubblicazione: (2022)

Comparative Methods for Solving Optimal Power Flow in Distribution Networks Considering Distributed Generators: Metaheuristics vs. Convex Optimization
di: Karen Julieth Bohórquez-Bautista
Pubblicazione: (2022)

What Psychology Cannot See, It Destroys Invisible Value Destruction in Intelligence Measurement, Far Transfer, and Meritocratic Selection
di: Sophia, Franny Philos
Pubblicazione: (2026)

Sion's minimax theorem and the proximal point algorithm in Hadamard spaces
di: Kohsaka, Fumiaki
Pubblicazione: (2026)

Discrete Mathematics Letters
Pubblicazione: (2019)

O conceito de Lean Office aplicado a um ambiente industrial com produção ETO – Engineer-to-Order
di: Filipe Marafon de Paoli
Pubblicazione: (2014)

General optimal euclidean Sobolev and Gagliardo-Nirenberg inequalities
di: Jurandir Ceccon
Pubblicazione: (2005)

Efficiency of higher-order algorithms for minimizing composite functions
di: Nabou, Yassine, et al.
Pubblicazione: (2022)

The Koide Stability Lemma
di: McLean, Eric
Pubblicazione: (2026)

Completing the Cohomological Extension Package: Section Cocycles and Splitting Criterion for Mathlib
di: Spivack, Nova
Pubblicazione: (2026)

Carry Mixing and Spectral Gap Analysis of the Collatz Conjecture: 202 Lean4 Theorems and the Fibonacci Firewall
di: Fujimoto, Nobuki, et al.
Pubblicazione: (2026)

Canonical Certification Does Not Exhaust Reflective Structure: Reflective Split, Strict Refinement, and Fiber Structure in Infinity Compression
di: Spivack, Nova
Pubblicazione: (2026)

Why Trust-Scores Always Fail — And Why Proof-Based Systems Are the Only Scalable Alternative
di: Papp, László
Pubblicazione: (2026)

Conservation Laws as Structural Invariants: A Noether-Consistent Validation of Structure-First Physics
di: Doumbouya, Lisa
Pubblicazione: (2025)

Dimensional analysis applied to jacketed shell and tube heat exchangers modeling
di: Andres A. Sánchez-Escalona
Pubblicazione: (2021)

Fixed Point Hierarchy in Higher-Dimensional Geometry: Mathematical Foundations and String Theory Connections
di: Pound, Richard Thomas
Pubblicazione: (2025)

Phase time properties for an uncoupled multicomponent physical heterostructure
di: L. Diago-Cisneros
Pubblicazione: (2007)

Options valuation analysis of the shares of Ecopetrol and Pacific Exploration between June 2013 and June 2016
di: Álvaro Javier Cangrejo
Pubblicazione: (2017)

Universal Bridge Theorem: A Cohomological Framework for Construction-Independent Invariants
di: Maréchal, Thierry
Pubblicazione: (2026)