Related papers: The Order of Reflection
Let $E, F, E_0, E_1$ be rearrangement invariant spaces; let $a, \mathrm{b}, \mathrm{b}_0, \mathrm{b}_1$ be slowly varying functions and $0< \theta_0,\theta_1<1$. We characterize the interpolation spaces $$\Big(\overline{X}^{\mathcal…
There are two major generalizations of the standard ordinal analysis: One is Girard's $\Pi^1_2$-proof theory in which dilators are assigned to theories instead of ordinals. The other is Pohlers' generalized ordinal analysis with Spector…
Diffraction images with continuous rotation symmetry arise from amorphous systems, but also from regular crystals when investigated by powder diffraction. On the theoretical side, pinwheel patterns and their higher dimensional…
We investigate the homology representation of the symmetric group on rank-selected subposets of subword order. We show that the homology module for words of bounded length, over an alphabet of size $n,$ decomposes into a sum of tensor…
We provide the detailed asymptotic behavior for first-order aggregation models of heterogeneous oscillators. Due to the dissimilarity of natural frequencies, one could expect that all relative distances converge to definite positive value…
Let $O(p,q)$ be the orthogonal groups of signature $(p,q)$ over the reals. It is shown that an element of the commutator subgroup $O(p,q)'$ of $O(p,q)$ is bireflectional (product of 2 involutions in $O(p,q)'$) if and only if it is…
We prove a version of Sylvester's law of inertia for the Reflection Equation Algebra (=REA). We will only be concerned with the REA constructed from the $R$-matrix associated to the standard $q$-deformation of $GL(N,\mathbb{C})$. For $q$…
An alternating permutation of length $n$ is a permutation $\pi=\pi_1 \pi_2 ... \pi_n$ such that $\pi_1 < \pi_2 > \pi_3 < \pi_4 > ...$. Let $A_n$ denote set of alternating permutations of ${1,2,..., n}$, and let $A_n(\sigma)$ be set of…
Given permutations $\sigma \in S_k$ and $\pi \in S_n$ with $k<n$, the \emph{pattern matching} problem is to decide whether $\pi$ matches $\sigma$ as an order-isomorphic subsequence. We give a linear-time algorithm in case both $\pi$ and…
The primary purpose of this article is to show that a certain natural set of axioms yields a completeness result for continuous first-order logic. In particular, we show that in continuous first-order logic a set of formulae is (completely)…
The atmospheres of (exo) planets and moons, as well as reflection nebulae, contain in general independently scattering particles in random orientation and are often supposed to be plane-parallel. Relations are presented for the…
We obtain a class of non-diagonal solutions of the reflection equation for the trigonometric $A^{(1)}_{n-1}$ vertex model. The solutions can be expressed in terms of intertwinner matrix and its inverse, which intertwine two trigonometric…
In this paper, we investigate the order types of reflection orders on irreducible affine Weyl groups. We show that they are intimately related to the Catalan combinatorics. We explicitly describe all of those order types and show that these…
Eliminating reflections caused by incident light interacting with reflective medium remains an ill-posed problem in the image restoration area. The primary challenge arises from the overlapping of reflection and transmission components in…
We investigate the morphology of diblock copolymers in the vicinity of flat, chemically patterned surfaces. Using a Ginzburg-Landau free energy, spatial variations of the order parameter are given in terms of a general two-dimensional…
In this paper we develop a theory of linear differential systems analogous to the classical one for ODEs, including the obtaining of fundamental matrices, the development of a variation of parameters formula and the expression of the…
We investigate reflection of stationary sets in P_kappa lambda and prove a consistency result for the case when lambda is the successor of kappa.
In this paper we develop a technique for proving determinacy of classes of the form $\omega^2-\Pi^1_1+\Gamma$ (a refinement of the difference hierarchy on the co-analytic sets lying between $\omega^2-\Pi^1_1$ and $(\omega^2+1)-\Pi^1_1$)…
Continuing [Fuchino, Ottenbreit and Sakai[9, 10]] and [Fuchino and Ottenbreit[11]], we further study reflection principles in connection with the L\"owenheim-Skolem Theorems of stationary logics. In this paper, we mainly analyze the…
We formally deduce closed-form expressions for the transmitted effective wavenumber of a material comprising multiple types of inclusions or particles (multi-species), dispersed in a uniform background medium. The expressions, derived here…