Imprecise random variables,random sets,and Monte Carlo simulation

The paper addresses the evaluation of upper and lower probabilities induced by functions of an imprecise random variable. Given a function g and a family $X_{\lambda }$ of random variables, where the parameter λ ranges in an index set Λ, one may ask for the upper/lower probability that $g(X_{\lambda })$ belongs to some Borel set B. Two interpretations are investigated. In the first case, the upper probability is computed as the supremum of the probabilities that $g(X_{\lambda })$ lies in B. In the second case, one considers the random set generated by all $g(X_{\lambda })$, $\lambda \in \mathrm{\Lambda }$, e.g. by transforming $X_{\lambda }$ to standard normal as a common probability space, and computes the corresponding upper probability. The two results are different, in general. We analyze this situation and highlight the implications for Monte Carlo simulation. Attention is given to efficient simulation procedures and an engineering application is presented.     

On maximizing the fundamental frequency of the complement of an obstacle

Let $\mathrm{\Omega }?{\mathbb{R}}^n$ be a bounded domain satisfying a Hayman-type asymmetry condition, and let D be an arbitrary bounded domain referred to as an “obstacle”. We are interested in the behavior of the first Dirichlet eigenvalue ${\lambda }_1(\mathrm{\Omega }?(x+D))$.First, we prove an upper bound on ${\lambda }_1(\mathrm{\Omega }?(x+D))$ in terms of the distance of the set $x+D$ to the set of maximum points $x_0$ of the first Dirichlet ground state ${?}_{{\lambda }_1}>0$ of Ω. In short, a direct corollary is that if

(1)${\mu }_{\mathrm{\Omega }}:=\underset{x}{\max }?{\lambda }_1(\mathrm{\Omega }?(x+D))$

is large enough in terms of ${\lambda }_1(\mathrm{\Omega })$, then all maximizer sets $x+D$ of ${\mu }_{\mathrm{\Omega }}$ are close to each maximum point $x_0$ of ${?}_{{\lambda }_1}$.Second, we discuss the distribution of ${?}_{{\lambda }_1(\mathrm{\Omega })}$ and the possibility to inscribe wavelength balls at a given point in Ω.Finally, we specify our observations to convex obstacles D and show that if ${\mu }_{\mathrm{\Omega }}$ is sufficiently large with respect to ${\lambda }_1(\mathrm{\Omega })$, then all maximizers $x+D$ of ${\mu }_{\mathrm{\Omega }}$ contain all maximum points $x_0$ of ${?}_{{\lambda }_1(\mathrm{\Omega })}$.     

Tilting modules under special base changes

Given a non-unit, non-zero-divisor, central element x of a ring Λ, it is well known that many properties or invariants of Λ determine, and are determined by, those of $\mathrm{\Lambda }/x\mathrm{\Lambda }$ and ${\mathrm{\Lambda }}_x$. In the present paper, we investigate how the property of “being tilting” behaves in this situation. It turns out that any tilting module over Λ gives rise to tilting modules over ${\mathrm{\Lambda }}_x$ and $\mathrm{\Lambda }/x\mathrm{\Lambda }$ after localization and passing to quotient respectively. On the other hand, it is proved that under some mild conditions, a module over Λ is tilting if its corresponding localization and quotient are tilting over ${\mathrm{\Lambda }}_x$ and $\mathrm{\Lambda }/x\mathrm{\Lambda }$ respectively.     

Sampling in a weighted Sobolev space

We show that functions f in some weighted Sobolev space are completely determined by time-frequency samples ${\{f(t_n)\}}_{n\in \mathbb{Z}}\cup {\{\stackrel{?}{f}({\lambda }_k)\}}_{k\in \mathbb{Z}}$ along appropriate slowly increasing sequences ${\{t_n\}}_{n\in \mathbb{Z}}$ and ${\{{\lambda }_n\}}_{n\in \mathbb{Z}}$ tending to ±∞ as $n\to \pm \infty$.     

Translational absolute continuity and Fourier frames on a sum of singular measures

A finite Borel measure μ in ${\mathbb{R}}^d$ is called a frame-spectral measure if it admits an exponential frame (or Fourier frame) for $L^2(\mu )$. It has been conjectured that a frame-spectral measure must be translationally absolutely continuous, which is a criterion describing the local uniformity of a measure on its support. In this paper, we show that if any measures ν and λ without atoms whose supports form a packing pair, then $\nu ?\lambda +{\delta }_t?\nu$ is translationally singular and it does not admit any Fourier frame. In particular, we show that the sum of one-fourth and one-sixteenth Cantor measure ${\mu }_4+{\mu }_{16}$ does not admit any Fourier frame. We also interpolate the mixed-type frame-spectral measures studied by Lev and the measure we studied. In doing so, we demonstrate a discontinuity behavior: For any anticlockwise rotation mapping $R_{\theta }$ with $\theta \ne \pm \pi /2$, the two-dimensional measure ${\rho }_{\theta }(?):=({\mu }_4\times {\delta }_0)(?)+({\delta }_0\times {\mu }_{16})(R_{\theta }^{?1}?)$, supported on the union of x-axis and $y=(\cot ?\theta )x$, always admit a Fourier frame. Furthermore, we can find ${\{e^{2\pi i〈\lambda ,x〉}\}}_{\lambda \in {\mathrm{\Lambda }}_{\theta }}$ such that it forms a Fourier frame for ${\rho }_{\theta }$ with frame bounds independent of θ. Nonetheless, ${\rho }_{\pm \pi /2}$ does not admit any Fourier frame.     

Uniqueness sets for unbounded spectra

For every set $S?\mathbb{R}$ of finite measure, we construct a system of exponentials ${\{e^{i\lambda t}\}}_{\lambda \in \Lambda }$ which is complete in $L^2(S)$ and such that the set of frequencies Λ has the critical density $D(\Lambda )=\mathrm{mes}(S)/2\pi$.     

The omega-rule interpretation of transfinite provability logic

Given a computable ordinal Λ, the transfinite provability logic ${\mathsf{GLP}}_{\mathrm{\Lambda }}$ has for each $\xi <\mathrm{\Lambda }$ a modality $[\xi ]$ intended to represent a provability predicate within a chain of increasing strength. One possibility is to read $[\xi ]?$ as ? is provable in T using ω-rules of depth at most ξ, where T is a second-order theory extending ${\mathrm{ACA}}_0$.In this paper we will formalize such iterations of ω-rules in second-order arithmetic and show how it is a special case of what we call uniform provability predicates. Uniform provability predicates are similar to Ignatiev's strong provability predicates except that they can be iterated transfinitely. Finally, we show that ${\mathsf{GLP}}_{\mathrm{\Lambda }}$ is sound and complete for any uniform provability predicate.     

Current superalgebras and unitary representations

In this paper we determine the projective unitary representations of finite dimensional Lie supergroups whose underlying Lie superalgebra is $\mathfrak{g}=A?\mathfrak{k}$, where $\mathfrak{k}$ is a compact simple Lie superalgebra and A is a supercommutative associative (super)algebra; the crucial case is when $A={\mathrm{\Lambda }}_s(\mathbb{R})$ is a Graßmann algebra. Since we are interested in projective representations, the first step consists in determining the cocycles defining the corresponding central extensions. Our second main result asserts that, if $\mathfrak{k}$ is a simple compact Lie superalgebra with ${\mathfrak{k}}_1\ne \{0\}$, then each (projective) unitary representation of ${\mathrm{\Lambda }}_s(\mathbb{R})?\mathfrak{k}$ factors through a (projective) unitary representation of $\mathfrak{k}$ itself, and these are known by Jakobsen's classification. If ${\mathfrak{k}}_1=\{0\}$, then we likewise reduce the classification problem to semidirect products of compact Lie groups K with a Clifford–Lie supergroup which has been studied by Carmeli, Cassinelli, Toigo and Varadarajan.     

The mod 2 cohomology of the mapping class group of the Klein bottle with marked points

The purpose of this article is to compute the mod 2 cohomology of ${\mathrm{\Gamma }}^q(\mathbb{K})$, the mapping class group of the Klein bottle with q marked points. We provide a concrete construction of Eilenberg–MacLane spaces $X_q=K({\mathrm{\Gamma }}^q(\mathbb{K}),1)$ and fiber bundles $F_q(\mathbb{K})/{\mathrm{\Sigma }}_q\to X_q\to B({\mathbb{Z}}_2\times O(2))$, where $F_q(\mathbb{K})/{\mathrm{\Sigma }}_q$ denotes the configuration space of unordered q-tuples of distinct points in $\mathbb{K}$ and $B({\mathbb{Z}}_2\times O(2))$ is the classifying space of the group ${\mathbb{Z}}_2\times O(2)$. Moreover, we show the mod 2 Serre spectral sequence of the bundle above collapses.