Claims, facts and other statements
355 items, by paper. Type in the filter to find a name.
Classical Capacity of Single-Mode Bosonic Gaussian Channels 2610.22308
- Fact 11 (Gaussification and Gaussian channels)
Classification of bipartite observables III: simplicity, mixtures and quantum error correction 2610.22205
- Fact (Kim and Pillay)
Connectivity Bounds for GHZ Graphs 2610.22190
Entropy and the growth rate of universal covering trees 2410.10337
Compactness phenomena in HOD and the Optimality of Magidor’s Covering theorem 2608.24190
When do Mixed-Integer Games Admit Rational Equilibria? 2606.16311
The Hasse Principle for Geometric Variational Problems: An Illustration via Area-minimizing Submanifolds 2508.21045
- Fact 2.1.1
- Fact 2.1.2
- Fact 2.2.1
- Fact 2.3.1
- Fact 2.3.2
- Fact 2.3.3
- Fact 3.2.1
- Fact 3.3.1
- Fact 3.3.2
- Fact 3.3.3
- Fact 3.3.4
- Fact 3.3.5
- Fact 3.5.1
- Fact 3.7.1
- Fact 3.8.1
- Fact 3.8.2
- Fact 3.8.3
- Fact 3.8.4
- Fact 3.8.5
- Fact 3.8.6
- Fact 3.9.1
- Fact 3.9.2
- Fact 3.9.3
- Fact 3.10.1
- Fact 3.10.2
- Fact 3.10.3
- Fact 3.10.4
- Fact 3.11.1
- Fact 3.12.1
- Fact 3.12.2
- Fact 3.12.3
- Fact 5.1.1
- Fact 5.2.1
- Fact 5.2.2
- Fact 5.2.3
- Fact 5.2.4
- Fact 5.3.1
- Fact 6.0.1
- Fact 7.0.1
- Fact 7.1.1
- Fact 8.1.1
- Fact 8.2.1
- Fact 8.2.2
- Fact 8.2.3
- Fact 9.0.1
- Fact 10.1.1
- Fact 12.5.1
- Fact 12.5.2
- Fact 12.7.1
- Fact 12.9.1
Determining a Points Configuration from a Subset of the Pairwise Distances 2208.13855
The stochastic block model has the overlap graph property for modularity 2605.10911
Symmetry classes of Hamiltonian cycles 2506.21337
A Kac system interacting with two heat reservoirs 2508.13122
Dekker’s floating point number system and compensated summation algorithms 2602.19452
- Rule 2.6 (The as if rule)
Invertibility for non-Hermitian and symmetric random band matrices with sublinear bandwidth and discrete entries 2507.05417
Descent sets of cyclic permutations in types B and D 2508.02432
Efficient Decoding of Double-circulant and Wozencraft Codes from Square-root Errors 2507.13548
Maximal principles in discrete conformal geometry with application to the rigidity of infinite triangulations 2208.04502
Adiabatic limits and spectral sequences for Riemannian foliations math/9902147
Grothendieck rings of ordered subgroups of \mathbb{Q} 2503.00440
Non-traditional Cartan subalgebras in twisted groupoid C*-algebras 2403.15255
Multi-Colouring of Kneser Graphs: Notes on Stahl’s Conjecture 2407.05730
The damage number of the Cartesian product of graphs 2308.09645
Private Algorithms for Stochastic Saddle Points and Variational Inequalities: Beyond Euclidean Geometry 2411.05198
An alternating colouring function on strings 2411.00562
Two-edge-connected (not necessarily spanning) subgraphs and polyhedra 2410.18564
Towards a categorical analogue of Gelfand-Kazhdan Theorem 2410.02139
Weighted Padovan graphs 2409.17318
Homotopy G-algebras and moduli space operad hep-th/9409063
Linear system of hypersurfaces passing through a Galois orbit 2310.10361
Applications of Sparse Hypergraph Colorings 2406.01499
Complexity Framework for Forbidden Subgraphs II: Edge Subdivision and the "H"-graphs 2211.14214
Categoricity and amalgamation for AEC and \kappa measurable math/9602216
The Value of Robust Assortment Optimization Under Ranking-based Choice Models 2112.05010
Strong partition relations below the power set: consistency, was Sierpinski right, II? math/9201244
A Detailed Study of Kirchhoff-type Critical Elliptic Equations and p-Sub-Laplacian Operators within the Heisenberg Group \mathcal{H}_{n} Framework 2311.16205
Ulrich Bundles on some threefold scrolls over \mathbb{F}_e 2303.00676
Unmarked simple length spectral rigidity for covers 2210.16706
Borel sets with large squares math/9802134
Measurable tilings by abelian group actions 2203.01511
Spanning trees in sparse expanders 2211.04758
Webs by conics on del Pezzo surfaces and hyperlogarithmic functional identities 2212.02556
Free precategories as presheaf categories 2211.16099
- Property 45 (Weak division)
Constructing Initial Algebras Using Inflationary Iteration 2105.03252
On CON(Dominating_lambda > cov_(meagre)) 0904.0817
Corrected Iteration 2108.03672
- Claim 1.11
- Claim 1.13
- Observation 1.14
- Claim 1.16
- Claim 1.20
- Claim 1.21
- Observation 1.22
- Claim 1.24
- Claim 1.26
- Observation 1.29
- Crucial Claim 1.32
- Claim 1.34
- Claim 2.3
- Claim 2.5
- The Uniqueness Claim 2.7
- Claim 2.10
- Claim 2.15
- Claim 2.16
- Claim 2.17
- Observation 3.2
- Claim 3.4
- Claim 3.5
- Claim 3.6
- Observation 3.8
- Claim 3.12
- Claim 3.14
- Claim 3.16
- Claim 3.20
- Claim 3.22
- Claim 3.26
- Claim 4.4
- Claim 4.6
- Claim 4.7
- Claim 4.8
- Claim 4.11
- Claim 4.14
- Claim 4.16
- Claim 4.20
- Claim 4.21
- Observation 4.22
- Claim 4.23
- Claim 4.26
Forcing Axioms and the Definabilty of the Nonstationary Ideal on \omega_1 2208.05288
Point-free Construction of Real Exponentiation 2104.00162
- Observation 1.10 (Conservativity of the generic model)
- Fact 1.17 (Archimedean Property)
- Fact 1.25
- Observation 4.3