Related papers: Canonical immunity and genericity
Combining canonization results of Pr\"omel-Voigt, Mathias, and Soare, we provide a new, natural example of an $F_\sigma$ equivalence relation that is not hypersmooth.
Propositional canonical Gentzen-type systems, introduced in 2001 by Avron and Lev, are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a connective is…
The canonical quantization of the tachyon field is suggested. Quantization is based on the conception of stable and unstable components of the tachyon degrees of freedom.
Cubical type theory is an extension of Martin-L\"of type theory recently proposed by Cohen, Coquand, M\"ortberg and the author which allows for direct manipulation of $n$-dimensional cubes and where Voevodsky's Univalence Axiom is provable.…
In this paper, we study the notion of a generically extendible cardinal, which is a generic version of an extendible cardinal. We prove that the generic extendibility of $\omega_1$ or $\omega_2$ has small consistency strength, but that of a…
Isolated quantum system in a pure state may be perceived as thermal if only substantially small fraction of all degrees of freedom is probed. We propose that in a chaotic quantum many-body system all states with sufficiently small energy…
It is well known that a system, S, weakly coupled to a heat bath, B, is described by the canonical ensemble when the composite, S+B, is described by the microcanonical ensemble corresponding to a suitable energy shell. This is true both for…
Ko [RAIRO 24, 1990] and Bruschi [TCS 102, 1992] showed that in some relativized world, PSPACE (in fact, ParityP) contains a set that is immune to the polynomial hierarchy (PH). In this paper, we study and settle the question of…
This represents a talk given at the International Conference for Basic Science, July 2025. We review the theory of canonical bases of quantum groups and its relation with the theory of total positivity.
We discuss a generalized quantum microcanonical ensemble. It describes isolated systems that are not necessarily in an eigenstate of the Hamilton operator. Statistical averages are obtained by a combination of a time average and a maximum…
The aim of this paper is to generalize the Maass relation for generalized Cohen-Eisenstein series of degree two and of degree three. Here the generalized Cohen-Eisenstein series are certain Siegel modular forms of half-integral weight, and…
In this correspondence, an equivalent definition of algebraic immunity of Boolean functions is posed, which can clear up the confusion caused by the proof of optimal algebraic immunity of the Carlet-Feng function and some other functions…
PAC-Bayes is a popular and efficient framework for obtaining generalization guarantees in situations involving uncountable hypothesis spaces. Unfortunately, in its classical formulation, it only provides guarantees on the expected risk of a…
A set $I$ is said to be a universal indifferent set for $1$-genericity if for every $1$-generic $G$ and for all $X \subseteq I$, $G \Delta X$ is also $1$-generic. Miller showed that there is no infinite universal indifferent set for…
Given any finite set equipped with a probability measure, one may compute its Shannon entropy or information content. The entropy becomes the logarithm of the cardinality of the set when the uniform probability is used. Leinster introduced…
In general proof theory there are two approaches to the question of identity criteria for proofs. The first approach, which stems from Prawitz, Kreisel and Lambek, and is based on normalization of proofs, gives good results in…
Although the categorical arithmetic is not effectively axiomatizable, the belief that the incompleteness Theorems can be apply to it is fairly common. Furthermore, the so-called "essential" (or "inherent") semantic incompleteness of the…
Shortened abstract: Microcanonical equilibrium macrostates are characterized as the solutions of a constrained minimization problem, while canonical equilibrium macrostates are characterized as the solutions of a related, unconstrained…
We argue against Foreman's proposal to settle the continuum hypothesis and other classical independent questions via the adoption of generic large cardinal axioms.
For a macroscopic, isolated quantum system in an unknown pure state, the expectation value of any given observable is shown to hardly deviate from the ensemble average with extremely high probability under generic equilibrium and…