Related papers: On the B\'enabou-Roubaud theorem

We discuss a no-go theorem for Bose-Einstein condensation (BEC) of quasiparticles (phonons) from the viewpoint of operator algebras, using the van Hove model. The $\beta$-KMS states of the van Hove model satisfy the self-consistency…

The derivation of Bell inequalities for beables is well-known to require a "no-conspiracy" assumption. This assumption is widely accepted, the alternative being correlations between instrument settings and hidden beables. Two further…

We use Bieri-Strebel invariants to determine when a normal fibre product in the product of two finitely presented groups is finitely presented. We give conditions that imply and in some cases characterize the existence of such finitely…

We consider two-parameter bifurcation of equilibrium states of an elastic rod on a deformable foundation. Our main theorem shows that bifurcation occurs if and only if the linearization of our problem has nontrivial solutions. In fact our…

Bifurcation phenomena are ubiquitous in elasticity, but their study is often limited to linear perturbation or numerical analysis since second or higher variations are often beyond an analytic treatment. Here, we review two key mathematical…

The way a rational agent changes her belief in certain propositions/hypotheses in the light of new evidence lies at the heart of Bayesian inference. The basic natural assumption, as summarized in van Fraassen's Reflection Principle…

We give a simplified proof (in characteristic zero) of the decomposition theorem for complex projective varieties with klt singularities and numerically trivial canonical bundle. The proof rests in an essential way on most of the partial…

We prove by using simple number-theoretic arguments formulae concerning the number of elements of a fixed order and the number of cyclic subgroups of a direct product of several finite cyclic groups. We point out that certain multiplicative…

A B-group is a group such that all its minimal generating sets (with respect to inclusion) have the same size. We prove that the class of finite B-groups is closed under taking quotients and that every finite B-group is solvable. Via a…

We consider a linear skew product with the full shift in the base and nonzero Lyapunov exponent in the fiber. We provide a sharp estimate for the precision of shadowing for a typical pseudotrajectory of finite length. This result indicates…

We improve the theorem on continuous dependence of solutions of functional differential equations (see J. Hale, Functional differential equations, theorem 5.1), using some new results on continuous convergences. Namely, we prove this…

We provide an elementary proof of the quantum adiabatic theorem.

In this paper, we establish Liouville-type theorems for the steady compressible Navier-Stokes system. Assuming a smooth solution \(u \in L^p(\mathbb{R}^3)\), \(3 \le p \le \frac{9}{2}\), with bounded density, one obtains \(u \equiv0\). This…

Suppose an extension map $U\colon \mathbb{T}_1 \to \mathbb{T}_0$ in the 2-category $\mathfrak{Con}$ of contexts for arithmetic universes satisfies a Chevalley criterion for being an (op)fibration in $\mathfrak{Con}$. If $M$ is a model of…

We prove generalized lower Ricci curvature bounds for warped products over complete Finsler manifolds. On the one hand our result covers a theorem of Bacher and Sturm concerning euclidean and spherical cones. On the other hand it can be…

We prove fibrewise versions of classical theorems of Hopf and Leray-Samelson. Our results imply the fibrewise H-triviality after rationalization of a certain class of fibrewise H-spaces. They apply, in particular, to universal adjoint…

In the papers: "The Chevalley--Herbrand formula and the real abelian Main Conjecture (New criterion using capitulation of the class group),J. Number Theory 248 (2023)" and "On the real abelian main conjecture in the non semi-simple case,…

If $A_n$ is a sequence of C*-algebras, then the C*-algebra $\prod A_n / \bigoplus A_n$ is called a reduced product. We prove, assuming Todorcevic's Axiom and Martin's Axiom, that every isomorphism between two reduced products of separable,…

We consider bicrossed products obtained by twisting compact semi-direct products by a suitable finite subgroup. Under some restriction, we give a practical criterion for the discrete dual of such bicrossed products to have the rapid decay…

A generalization of the Gibbs entropy postulate is proposed based on the BBGKY hierarchy as the nonequilibrium entropy for a system of N interacting particles. This entropy satisfies the basic principles of thermodynamics in the sense that…