A syntactic realization theorem for justification logics

Justification logics are refinements of modal logics where modalities are replaced by justification terms. They are connected to modal logics via so-called realization theorems. We present a syntactic proof of a single realization theorem that uniformly connects all the normal modal logics formed from the axioms \$mathsfd\$, \$mathsft\$, \$mathsfb\$, \$mathsf4\$, and \$mathsf5\$ with their justification counterparts. The proof employs cut-free nested sequent systems together with Fitting's realization merging technique. We further strengthen the realization theorem for \$mathsfKB5\$ and \$mathsfS5\$ by showing that the positive introspection operator is superfluous.

Dimension Distortion by Sobolev Mappings in Foliated Metric Spaces

We quantify the extent to which a supercritical Sobolev mapping can increase the dimension of subsets of its domain, in the setting of metric measure spaces supporting a Poincaré inequality. We show that the set of mappings that distort the dimensions of sets by the maximum possible amount is a prevalent subset of the relevant function space. For foliations of a metric space X defined by a David–Semmes regular mapping Π : X → W, we quantitatively estimate, in terms of Hausdorff dimension in W, the size of the set of leaves of the foliation that are mapped onto sets of higher dimension. We discuss key examples of such foliations, including foliations of the Heisenberg group by left and right cosets of horizontal subgroups.

Frequency of Sobolev and quasiconformal dimension distortion

We study Hausdorff and Minkowski dimension distortion for images of generic affine subspaces of Euclidean space under Sobolev and quasiconformal maps. For a supercritical Sobolev map f defined on a domain in RnRn, we estimate from above the Hausdorff dimension of the set of affine subspaces parallel to a fixed m-dimensional linear subspace, whose image under f has positive HαHα measure for some fixed α>mα>m. As a consequence, we obtain new dimension distortion and absolute continuity statements valid for almost every affine subspace. Our results hold for mappings taking values in arbitrary metric spaces, yet are new even for quasiconformal maps of the plane. We illustrate our results with numerous examples.

Distortion-sensitive insight into the pretransitional behavior of 4- n -octyloxy-4′-cyanobiphenyl (8OCB)

Results of studies of the static and dynamic dielectric properties in rod-like 4-n-octyloxy-4'-cyanobiphenyl (8OCB) with isotropic (I)–nematic (N)–smectic A (SmA)–crystal (Cr) mesomorphism, combined with measurements of the low-frequency nonlinear dielectric effect and heat capacity are presented. The analysis is supported by the derivative-based and distortion-sensitive transformation of experimental data. Evidence for the I–N and N–SmA pretransitional anomalies, indicating the influence of tricritical behavior, is shown. It has also been found that neither the N phase nor the SmA phase are uniform and hallmarks of fluid–fluid crossovers can be detected. The dynamics, tested via the evolution of the primary relaxation time, is clearly non-Arrhenius and described via τ(T) = τc(T−TC)−phgr. In the immediate vicinity of the I–N transition a novel anomaly has been found: Δτ ∝ 1/(T − T*), where T* is the temperature of the virtual continuous transition and Δτ is the excess over the 'background behavior'. Experimental results are confronted with the comprehensive Landau–de Gennes theory based modeling.