Related papers: Canonical immunity and genericity
We introduce a new type of means. It is new in two ways: its domain consists of sets and its values are sets too. We investigate the properties and behavior of such generalization. We also present many naturally arisen examples for such…
If we assume the axiom of choice, then every two cardinal numbers are comparable. In the absence of the axiom of choice, this is no longer so. For a few cardinalities related to an arbitrary infinite set, we will give all the possible…
Canonical expressions are representative of implicative propositions upto renaming of variables. In this paper we explore, using a Monte-Carlo approach, the model of canonical expressions in order to confirm the paradox that says that…
A pattern is called universal in another collection of sets, when every set in the collection contains some linear and translated copy of the original pattern. Paul Erd\H{o}s proposed a conjecture that no infinite set is universal in the…
Generic computability has been studied in group theory and we now study it in the context of classical computability theory. A set A of natural numbers is generically computable if there is a partial computable function f whose domain has…
We construct and characterize canonical purifications for general algebraic states, extending prior constructions by Woronowicz and by Dutta/Faulkner to general quantum theories. Given a state on a $*$-algebra, the canonical purification is…
The general uncertainty principle applied to gravity can be implemented as a set of modified Poisson brackets in the canonical formalism. As such, the theory is not canonical and the resulting equations of motion do not lead to a covariant…
In the literature, there are two differing definitions of contextuality: Kochen and Specker's, and Spekkens' (or ``generalised''). However, researchers using one of these definitions rarely consider the other, meaning comparative analysis…
We present criteria for the Cohen-Macaulayness of a monomial ideal in terms of its primary decomposition. These criteria allow us to use tools of graph theory and of linear programming to study the Cohen-Macaulayness of monomial ideals…
A resolution-free definition of rational singularities is introduced, and it is proved that for a variety admitting a resolution of singularities, so in particular in characteristic zero, this is equivalent to the usual definition. It is…
We revisit the problem of general identifiability originally introduced in [Lee et al., 2019] for causal inference and note that it is necessary to add positivity assumption of observational distribution to the original definition of the…
Given physical systems, counting rule for their statistical mechanical descriptions need not be unique, in general. It is shown that this nonuniqueness leads to the existence of various canonical ensemble theories which equally arise from…
The capacity of a classical-quantum channel (or in other words the classical capacity of a quantum channel) is considered in the most general setting, where no structural assumptions such as the stationary memoryless property are made on a…
Recently 2+1 dimensional gravity theory, especially ${\rm AdS_3}$ has been studied extensively. It was shown to be equivalent to the 2+1 Chern-Simon theory and has been investigated to understand the black hole thermodynamics, i.e. Hawking…
The Hamiltonian description of classical gauge theories is a very well studied subject. The two best known approaches, namely the covariant and canonical Hamiltonian formalisms have received a lot of attention in the literature. However, a…
We review in simple terms the covariant approaches to the canonical formulation of classical relativistic field theories (in particular gauge field theories and general relativity) and we discuss the relationships between these approaches…
A new approach to quantum mechanics based on independence of the Continuum Hypothesis is proposed. In one-dimensional case, it is shown that the properties of the set of intermediate cardinality coincide with quantum phenomenology.
In this paper we attempt to consider quantum superpositions from the perspective of the logos categorical approach presented in [26]. We will argue that our approach allows us not only to better visualize the structural features of quantum…
A problem is a multivalued function from a set of \emph{instances} to a set of \emph{solutions}. We consider only instances and solutions coded by sets of integers. A problem admits preservation of some computability-theoretic weakness…
In this paper it is introduced a generic large cardinal akin to I0, and its consequences are analyzed in the case that $\aleph_\omega$ is such a generic large cardinal. In this case $\aleph_\omega$ is J\'{o}nsson, and in a choiceless inner…