Related papers: Transferring saturation, the finite cover property…
We have developed a coupled-mode analysis framework for superconducting travelling-wave parametric amplifiers using the full Telegrapher's equations to incorporate loss-related behaviour. Our model provides an explanation of previous…
The saturation properties of neutron-rich matter are investigated in a relativistic mean-field formalism using two accurately calibrated models: NL3 and FSUGold. The saturation properties - density, binding energy per nucleon, and…
We prove that if lambda is a strong limit singular cardinal and kappa a regular uncountable cardinal < lambda, then NS_{kappa lambda}, the non-stationary ideal over P_{kappa} lambda, is nowhere precipitous. We also show that under the same…
For a few pairs $G\subset \hat G$ of reductive groups, we study the decomposition of irreducible $\hait G$-modules into $G$-modules. In particular, we observe the saturation property for all of these pairs.
Systems that feature a scalar field $\phi$ with a quasi scale invariant potential, metastable at $\phi=0$, can remain trapped, during cosmic evolution, in the `wrong' vacuum because the process of bubble nucleation to the true vacuum is…
Given a function $F$ transforming a probability measure $\mu$ into another one $F(\mu)$, we study the existence and regularity of a transport representation of it. That is, we ask whether we can represent the image $F(\mu)$ of the input…
In this paper, we present a general realizability semantics for the simply typed $\lambda\mu$-calculus. Then, based on this semantics, we derive both weak and strong normalization results for two versions of the $\lambda\mu$-calculus…
Keisler proved that if $\theta$ is a strong limit cardinal and $\lambda$ is a singular cardinal, then the transfer relation $\theta\longrightarrow\lambda$ holds. In a previous paper, we studied initial elementary submodels of the…
We investigate the following questions: Given a measure $\mu_\Lambda$ on configurations on a subset $\Lambda$ of a lattice $\mathbb{L}$, where a configuration is an element of $\Omega^\Lambda$ for some fixed set $\Omega$, does there exist a…
In this paper we give characterizations of the super-stable theories, in terms of an external property called representation. In the sense of the representation property, the mentioned class of first-order theories can be regarded as "not…
Recent studies have outlined the interest for the evaluation of transport coefficients in space plasmas, where the observed velocity distributions of plasma particles are conditioned not only by the binary collisions, e.g., at low energies,…
The field dependence of low-temperature thermal conductivity $\kappa(H)$ observed on cuprates is explained by calculating $\kappa(H)$ microscopically. The heat current carried by low-lying quasiparticles around a vortex core decreases with…
In this paper, we define a realizability semantics for the simply typed $\lambda\mu$-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. This result serves to give characterizations of the…
It is generally assumed that the thermodynamic stability of equilibrium state is reflected by the concavity of entropy. We inquire, in the microcanonical picture, on the validity of this statement for systems described by the bi-parametric…
We show that the values of entropies of multidimensional shifts of finite type (SFTs) are characterized by a certain computation-theoretic property: a real number $h\geq 0$ is the entropy of such an SFT if and only if it is right…
We prove that for almost every Brownian motion sample, the corresponding SLE(\kappa) curves parameterized by capacity exist and change continuously in the supremum norm when \kappa varies in the interval [0,\kappa_0), where…
Saturation is expected to occur when a high density of partons (mainly gluons)- or equivalently strong fields in Quantum Chromodynamics (QCD) - is realized in the weak coupling regime. A way to reach saturation is through the high-energy…
A class K of structures is controlled if, for all cardinals lambda, the relation of L_{infty,lambda}-equivalence partitions K into a set of equivalence classes (as opposed to a proper class). We prove that the class of doubly transitive…
Our aim is to prove that if T is a complete first order theory, which is not superstable (no knowledge on this notion is required), included in a theory T_1 then for any lambda > |T_1| there are 2^lambda models of T_1 such that for any two…
Metastability is a spurious mode of operation in digital signals, where an electrical signal fails to settle into a stable state within a specified time, leading to uncertainty and potentially failing downstream hardware. A system that…