Related papers: Fake reflection
Based on transformation optics, we introduce another set of generalized laws of reflection and refraction (differs from that of [Science 334, 333 (2011)]), through which a transformation media slab is derived as a meta-surface, producing…
We construct a subset $A$ of the unit disc with the following properties. (i) The set $A$ is the finite union of disjoint line segments. (ii) The shadow of $A$ is arbitrarily close to the shadow of the unit disc in "most" directions. (iii)…
We investigate factorized scattering from a reflecting and transmitting impurity. Bulk scattering is non trivial, provided that the bulk scattering matrix depends separately on the spectral parameters of the colliding particles, and not…
We present an elementary analysis of the effects on light reflected from a uniformly moving mirror by using the photon picture of light and the conservation laws for energy and momentum of the system photon-mirror. Such a dynamical approach…
In this paper we explore the representation property over sets. This property generalizes constructibility, however is weak enough to enable us to prove that the class of theories $T$ whose models are representable is exactly the class of…
This paper concerns preprojective representations of a finite connected valued quiver without oriented cycles. For each such representation, an explicit formula in terms of the geometry of the quiver gives a unique, up to a certain…
We motivate then formulate a novel variant of the near-field reflector problem and call it the near-field reflector problem with spatial restrictions. Let $O$ be an anisotropic point source of light and assume that we are given a bounded…
A theory of recursive definitions has been mechanized in Isabelle's Zermelo-Fraenkel (ZF) set theory. The objective is to support the formalization of particular recursive definitions for use in verification, semantics proofs and other…
A stationary subset $S$ of a regular uncountable cardinal $\kappa$ {\it reflects fully} at regular cardinals if for every stationary set $T \subseteq \kappa$ of higher order consisting of regular cardinals there exists an $\alpha \in T$…
We design freeform lenses refracting an arbitrarily given incident field into a given fixed direction. In the near field case, we study the existence of lenses refracting a given bright object into a predefined image. We also analyze the…
In this paper, we give a construction of the moduli space of filtered representations of a given quiver of fixed dimension vector with the appropriate notion of stability. The construction of the moduli of filtered representations uses the…
Many moduli spaces that occur in geometric analysis admit "Fredholm-stratified thin compactifications" in the sense of [IP1] and hence admit a relative fundamental class (RFC), also as defined in [IP1]. We extend these results, emphasizing…
We mainly investigate model of set theory with restricted choice, e.g., ZF + DC + "the family of countable subsets of lambda is well ordered for every lambda" (really local version for a given lambda). In this frame much of pcf theory can…
When developing and assessing density functional theory methods, a finite basis set is usually employed. In most cases, however, the issue of basis set dependency is neglected. Here, we assess several basis sets and functionals. In…
This paper addresses reflection removal, which is the task of separating reflection components from a captured image and deriving the image with only transmission components. Considering that the existence of the reflection changes the…
We introduce some general and special formulations of general position theorem for parametrized families of fractals and explain the techniques of its application to prove the existence of self-similar sets with prescribed special…
In this paper we introduce a Fock space related to derivatives of Gelfond-Leontiev type, a class of derivatives which includes many classic examples like fractional derivatives or Dunkl operators. For this space we establish a modified…
We study the complexity of the classification problem for countable models of set theory (ZFC). We prove that the classification of arbitrary countable models of ZFC is Borel complete, meaning that it is as complex as it can conceivably be.…
We develop a systematic framework for formulating and solving the conditions that lead to separability in stationary, axisymmetric spacetimes in the presence of matter fields. Guided by Carter's metric form, we introduce a general…
A logic for specification and verification is derived from the axioms of Zermelo-Fraenkel set theory. The proofs are performed using the proof assistant Isabelle. Isabelle is generic, supporting several different logics. Isabelle has the…