We develop combinatorial tools to study partial rigidity within the class of minimal $\mathcal {S}$-adic subshifts. By leveraging the combinatorial data of well-chosen Kakutani–Rokhlin partitions, we establish a necessary and sufficient condition for partial rigidity. Additionally, we provide an explicit expression to compute the partial rigidity rate and an associated partial rigidity sequence. As applications, we compute the partial rigidity rate for a variety of constant length substitution subshifts, such as the Thue–Morse subshift, where we determine a partial rigidity rate of 2/3. We also exhibit non-rigid substitution subshifts with partial rigidity rates arbitrarily close to 1 and, as a consequence, using products of the aforementioned substitutions, we obtain that any number in $[0, 1]$ is the partial rigidity rate of a system.

David Chalmers argued against the claim that for all p, or even for all entertainable p, it is knowable a priori that p iff actually p. Instead of criticizing Chalmers’s argument, I suggest that it can be generalized, in a sense, and in interesting ways, concerning other principles about contingent a priori truths. In particular, I will argue that the puzzle presented by Chalmers runs parallel to others that do not turn on ‘actually’. Furthermore, stronger arguments can be presented that do not turn on apriority either, though they do entail the conclusion of Chalmers’s argument. All such puzzles involve interactions between rigidifying sentence-forming devices with factive operators.

Anosov automorphisms with Jordan blocks are not periodic data rigid. We introduce a refinement of the periodic data and show that this refined periodic data characterizes $C^{1+}$ conjugacy for Anosov automorphisms on $\mathbb {T}^4$ with a Jordan block.

We prove that the existence of one horosphere in the universal cover of a closed Riemannian manifold of dimension $n \geq 3$ with strongly $1/4$-pinched or relatively $1/2$-pinched sectional curvature, on which the stable holonomy along one horosphere coincides with the Riemannian parallel transport, implies that the manifold is homothetic to a real hyperbolic manifold.

We prove that every genuinely partially hyperbolic $\mathbb {Z}^r$-action by toral automorphisms can be perturbed in $C^1$-topology, so that the resulting action is continuously conjugate, but not $C^1$-conjugate, to the original one.

Inspired by a result in T. H. Colding. (16). Acta. Math. 209(2) (2012), 229-263 [16] of Colding, the present paper studies the Green function $G$ on a non-parabolic $\operatorname {RCD}(0,\,N)$ space $(X,\, \mathsf {d},\, \mathfrak {m})$ for some finite $N>2$. Defining $\mathsf {b}_x=G(x,\, \cdot )^{\frac {1}{2-N}}$ for a point $x \in X$, which plays a role of a smoothed distance function from $x$, we prove that the gradient $|\nabla \mathsf {b}_x|$ has the canonical pointwise representative with the sharp upper bound in terms of the $N$-volume density $\nu _x=\lim _{r\to 0^+}\frac {\mathfrak {m} (B_r(x))}{r^N}$ of $\mathfrak {m}$ at $x$;

\[ |\nabla \mathsf{b}_x|(y) \le \left(N(N-2)\nu_x\right)^{\frac{1}{N-2}}, \quad \text{for any }y \in X \setminus \{x\}. \]

$y \in X \setminus \{x\}$

$N$

$\operatorname {RCD}(N-2,\, N-1)$

$x$

$N$

$N$

$\mathbb {R}^N$

$\operatorname {RCD}(0,\,N)$

In this paper, we prove a rigidity result for the product metric on the product of spheres $S^1\times S^{n-1}$.

We prove that under restrictions on the fiber, any fibered partially hyperbolic system over a nilmanifold is leaf conjugate to a smooth model that is isometric on the fibers and descends to a hyperbolic nilmanifold automorphism on the base. One ingredient is a result of independent interest generalizing a result of Hiraide: an Anosov homeomorphism of a nilmanifold is topologically conjugate to a hyperbolic nilmanifold automorphism.

Let $\mathfrak{p}$ be a prime ideal in a commutative noetherian ring R and denote by $k(\mathfrak{p})$ the residue field of the local ring $R_\mathfrak{p}$. We prove that if an R-module M satisfies $\operatorname{Ext}_R^{n}(k(\mathfrak{p}),M)=0$ for some $n\geqslant\dim R$, then $\operatorname{Ext}_R^i(k(\mathfrak{p}),M)=0$ holds for all $i \geqslant n$. This improves a result of Christensen, Iyengar and Marley by lowering the bound on n. We also improve existing results on Tor-rigidity. This progress is driven by the existence of minimal semi-flat-cotorsion replacements in the derived category as recently proved by Nakamura and Thompson.

In this paper, we study centrally symmetric Birkhoff billiard tables. We introduce a closed invariant set $\mathcal {M}_{\mathcal {B}}$ consisting of locally maximizing orbits of the billiard map lying inside the region $\mathcal {B}$ bounded by two invariant curves of $4$-periodic orbits. We give an effective bound from above on the measure of this invariant set in terms of the isoperimetric defect of the curve. The equality case occurs if and only if the curve is a circle.

In this article we define a logical system called Hybrid Partial Type Theory ($\mathcal {HPTT}$). The system is obtained by combining William Farmer’s partial type theory with a strong form of hybrid logic. William Farmer’s system is a version of Church’s theory of types which allows terms to be non-denoting; hybrid logic is a version of modal logic in which it is possible to name worlds and evaluate expressions with respect to particular worlds. We motivate this combination of ideas in the introduction, and devote the rest of the article to defining, axiomatising, and proving a completeness result for $\mathcal {HPTT}$.