-
L-functional analysis
Authors:
Eder Kikianty,
Miek Messerschmidt,
Luan Naude,
Mark Roelands,
Christopher Schwanke,
Walt van Amstel,
Jan Harm van der Walt,
Marten Wortel
Abstract:
Inspired by the theories of Kaplansky-Hilbert modules and probability theory in vector lattices, we generalise functional analysis by replacing the scalars $\mathbb{R}$ or $\mathbb{C}$ by a real or complex Dedekind complete unital $f$-algebra $\mathbb{L}$; such an algebra can be represented as a suitable space of continuous functions. We set up the basic theory of $\mathbb{L}$-normed and…
▽ More
Inspired by the theories of Kaplansky-Hilbert modules and probability theory in vector lattices, we generalise functional analysis by replacing the scalars $\mathbb{R}$ or $\mathbb{C}$ by a real or complex Dedekind complete unital $f$-algebra $\mathbb{L}$; such an algebra can be represented as a suitable space of continuous functions. We set up the basic theory of $\mathbb{L}$-normed and $\mathbb{L}$-Banach spaces and bounded operators between them, we discuss the $\mathbb{L}$-valued analogues of the classical $\ell^p$-spaces, and we prove the analogue of the Hahn-Banach theorem. We also discuss the basics of the theory of $\mathbb{L}$-Hilbert spaces, including projections onto convex subsets and the Riesz Representation theorem.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
On compact packings of Euclidean space with spheres of finitely many sizes
Authors:
Eder Kikianty,
Miek Messerschmidt
Abstract:
For $d\in\mathbb{N}$, a compact sphere packing of Euclidean space $\mathbb{R}^{d}$ is a set of spheres in $\mathbb{R}^{d}$ with disjoint interiors so that the contact hypergraph of the packing is the vertex scheme of a homogeneous simplicial $d$-complex that covers all of $\mathbb{R}^{d}$.
We are motivated by the question: For $d,n\in\mathbb{N}$ with $d,n\geq2$, how many configurations of number…
▽ More
For $d\in\mathbb{N}$, a compact sphere packing of Euclidean space $\mathbb{R}^{d}$ is a set of spheres in $\mathbb{R}^{d}$ with disjoint interiors so that the contact hypergraph of the packing is the vertex scheme of a homogeneous simplicial $d$-complex that covers all of $\mathbb{R}^{d}$.
We are motivated by the question: For $d,n\in\mathbb{N}$ with $d,n\geq2$, how many configurations of numbers $0<r_{0}<r_{1}<\ldots<r_{n-1}=1$ can occur as the radii of spheres in a compact sphere packing of $\mathbb{R}^{d}$ wherein there occur exactly $n$ sizes of sphere?
We introduce what we call `heteroperturbative sets' of labeled triangulations of unit spheres and we discuss the existence of non-trivial examples of heteroperturbative sets. For a fixed heteroperturbative set, we discuss how a compact sphere packing may be associated to the heteroperturbative set or not.
We proceed to show, for $d,n\in\mathbb{N}$ with $d,n\geq2$ and for a fixed heteroperturbative set, that the collection of all configurations of $n$ distinct positive numbers that can occur as the radii of spheres in a compact packing is finite, when taken over all compact sphere packings of $\mathbb{R}^{d}$ which have exactly $n$ sizes of sphere and which are associated to the fixed heteroperturbative set.
△ Less
Submitted 21 December, 2023; v1 submitted 1 May, 2023;
originally announced May 2023.
-
The number of configurations of radii that can occur in compact packings of the plane with discs of $n$ sizes is finite
Authors:
Miek Messerschmidt
Abstract:
By a compact packing of the plane by discs, $P$, we mean a collection of closed discs in the plane with pairwise disjoint interior so that, for every disc $C\in P$, there exists a sequence of discs $D_{0},\ldots,D_{m-1}\in P$ so that each $D_{i}$ is tangent to both $C$ and $D_{i+1\mod m}.$
We prove, for every $n\in\mathbb N$, that there exist only finitely many tuples…
▽ More
By a compact packing of the plane by discs, $P$, we mean a collection of closed discs in the plane with pairwise disjoint interior so that, for every disc $C\in P$, there exists a sequence of discs $D_{0},\ldots,D_{m-1}\in P$ so that each $D_{i}$ is tangent to both $C$ and $D_{i+1\mod m}.$
We prove, for every $n\in\mathbb N$, that there exist only finitely many tuples $(r_{0},r_{1},\ldots,r_{n-1})\in\mathbb{R}^{n}$ with $0<r_{0}<r_{1}\ldots<r_{n-1}=1$ that can occur as the radii of the discs in any compact packing of the plane with $n$ distinct sizes of disc.
△ Less
Submitted 21 September, 2022; v1 submitted 29 October, 2021;
originally announced October 2021.
-
Equivalence after extension and Schur coupling for relatively regular operators
Authors:
S. ter Horst,
M. Messerschmidt,
A. C. M. Ran
Abstract:
It was recently shown in [24] that the Banach space operator relations Equivalence After Extension (EAE) and Schur Coupling (SC) do not coincide by characterizing these relations for operators acting on essentially incomparable Banach spaces. The examples that prove the non-coincidence are Fredholm operators, which is a subclass of relatively regular operators, the latter being operators with comp…
▽ More
It was recently shown in [24] that the Banach space operator relations Equivalence After Extension (EAE) and Schur Coupling (SC) do not coincide by characterizing these relations for operators acting on essentially incomparable Banach spaces. The examples that prove the non-coincidence are Fredholm operators, which is a subclass of relatively regular operators, the latter being operators with complementable kernels and ranges. In this paper we analyse the relations EAE and SC for the class of relatively regular operators, leading to an equivalent Banach space operator problem from which we derive new cases where EAE and SC coincide and provide a new example for which EAE and SC do not coincide and where the Banach space are not essentially incomparable.
△ Less
Submitted 29 May, 2020;
originally announced May 2020.
-
Ptychographic X-ray Speckle Tracking with Multi Layer Laue Lens Systems
Authors:
Andrew James Morgan,
Kevin T. Murray,
Mauro Prasciolu,
Holger Fleckenstein,
Oleksandr Yefanov,
Pablo Villanueva-Perez,
Valerio Mariani,
Martin Domaracky,
Manuela Kuhn,
Steve Aplin,
Istwan Mohacsi,
Marc Messerschmidt,
Karolina Stachnik,
Yang Du,
Anja Burkhart,
Alke Meents,
Evgeny Nazaretski,
Hanfei Yan,
Xiao**g Huang,
Yong Chu,
Henry N. Chapman,
Saša Bajt
Abstract:
The ever-increasing brightness of synchrotron radiation sources demands improved x-ray optics to utilise their capability for imaging and probing biological cells, nano-devices, and functional matter on the nanometre scale with chemical sensitivity. Hard x-rays are ideal for high-resolution imaging and spectroscopic applications due to their short wavelength, high penetrating power, and chemical s…
▽ More
The ever-increasing brightness of synchrotron radiation sources demands improved x-ray optics to utilise their capability for imaging and probing biological cells, nano-devices, and functional matter on the nanometre scale with chemical sensitivity. Hard x-rays are ideal for high-resolution imaging and spectroscopic applications due to their short wavelength, high penetrating power, and chemical sensitivity. The penetrating power that makes x-rays useful for imaging also makes focusing them technologically challenging. Recent developments in layer deposition techniques that have enabled the fabrication of a series of highly focusing x-ray lenses, known as wedged multi layer Laue lenses. Improvements to the lens design and fabrication technique demands an accurate, robust, in-situ and at-wavelength characterisation method. To this end, we have developed a modified form of the speckle-tracking wavefront metrology method, the ptychographic x-ray speckle tracking method, which is capable of operating with highly divergent wavefields. A useful by-product of this method, is that it also provides high-resolution and aberration-free projection images of extended specimens. We report on three separate experiments using this method, where we have resolved ray path angles to within 4 nano-radians with an imaging resolution of 45nm (full-period). This method does not require a high degree of coherence, making it suitable for lab based x-ray sources. Likewise it is robust to errors in the registered sample positions making it suitable for x-ray free-electron laser facilities, where beam pointing fluctuations can be problematic for wavefront metrology.
△ Less
Submitted 28 March, 2020;
originally announced March 2020.
-
Megahertz single-particle imaging at the European XFEL
Authors:
Egor Sobolev,
Serguey Zolotarev,
Klaus Giewekemeyer,
Johan Bielecki,
Kenta Okamoto,
Hemanth K. N. Reddy,
Jakob Andreasson,
Kartik Ayyer,
Imrich Barak,
Sadia Bari,
Anton Barty,
Richard Bean,
Sergey Bobkov,
Henry N. Chapman,
Grzegorz Chojnowski,
Benedikt J. Daurer,
Katerina Dörner,
Tomas Ekeberg,
Leonie Flückiger,
Oxana Galzitskaya,
Luca Gelisio,
Steffen Hauf,
Brenda G. Hogue,
Daniel A. Horke,
Ahmad Hosseinizadeh
, et al. (38 additional authors not shown)
Abstract:
The emergence of high repetition-rate X-ray free-electron lasers (XFELs) powered by superconducting accelerator technology enables the measurement of significantly more experimental data per day than was previously possible. The European XFEL will soon provide 27,000 pulses per second, more than two orders of magnitude more than any other XFEL. The increased pulse rate is a key enabling factor for…
▽ More
The emergence of high repetition-rate X-ray free-electron lasers (XFELs) powered by superconducting accelerator technology enables the measurement of significantly more experimental data per day than was previously possible. The European XFEL will soon provide 27,000 pulses per second, more than two orders of magnitude more than any other XFEL. The increased pulse rate is a key enabling factor for single-particle X-ray diffractive imaging, which relies on averaging the weak diffraction signal from single biological particles. Taking full advantage of this new capability requires that all experimental steps, from sample preparation and delivery to the acquisition of diffraction patterns, are compatible with the increased pulse repetition rate. Here, we show that single-particle imaging can be performed using X-ray pulses at megahertz repetition rates. The obtained results pave the way towards exploiting high repetition-rate X-ray free-electron lasers for single-particle imaging at their full repetition rate.
△ Less
Submitted 14 December, 2019;
originally announced December 2019.
-
A family of quotient maps of $\ell^\infty$ that do not admit uniformly continuous right inverses
Authors:
Miek Messerschmidt
Abstract:
Previously only two examples of Banach space quotient maps which do not admit uniformly continuous right inverses were known: one due to Aharoni and Lindenstrauss and one due to Kalton ($\ell^\infty\to\ell^\infty/c_{0}$). We show through an application of Kalton's Monotone Transfinite Sequence Theorem that a quotient map of a subspace of $\ell^\infty$ of sequences that converge to zero along an id…
▽ More
Previously only two examples of Banach space quotient maps which do not admit uniformly continuous right inverses were known: one due to Aharoni and Lindenstrauss and one due to Kalton ($\ell^\infty\to\ell^\infty/c_{0}$). We show through an application of Kalton's Monotone Transfinite Sequence Theorem that a quotient map of a subspace of $\ell^\infty$ of sequences that converge to zero along an ideal in $\mathbb{N}$ toward another such subspace, provided one of the ideals is `much larger' than the other, cannot have a uniformly continuous right inverse. We show in general that pairs of ideals in $\mathbb{N}$, with one much larger than the other, occur in abundance. Some classical examples of ideals in $\mathbb{N}$ presented explicitly are: the finite subsets of $\mathbb{N}$, the subsets of $\mathbb{N}$ with convergent reciprocal series, and, the subsets of $\mathbb{N}$ with density zero, Banach density zero or Buck density zero.
△ Less
Submitted 23 September, 2019;
originally announced September 2019.
-
Equivalence after extension and Schur coupling do not coincide, on essentially incomparable Banach spaces
Authors:
Sanne ter Horst,
Miek Messerschmidt,
Andre C. M. Ran,
Mark Roelands
Abstract:
In 1994 H. Bart and V.É. Tsekanovskii posed the question whether the Banach space operator relations matricial coupling (MC), equivalence after extension (EAE) and Schur coupling (SC) coincide, leaving only the implication EAE/MC $\Rightarrow$ SC open. Despite several affirmative results, in this paper we show that the answer in general is no. This follows from a complete description of EAE and SC…
▽ More
In 1994 H. Bart and V.É. Tsekanovskii posed the question whether the Banach space operator relations matricial coupling (MC), equivalence after extension (EAE) and Schur coupling (SC) coincide, leaving only the implication EAE/MC $\Rightarrow$ SC open. Despite several affirmative results, in this paper we show that the answer in general is no. This follows from a complete description of EAE and SC for the case that the operators act on essentially incomparable Banach spaces, which also leads to a new characterization of the notion of essential incomparability. Concretely, the forward shift operators $U$ on $\ell^p$ and $V$ on $\ell^q$, for $1\leq p,q\leq \infty$, $p\neq q$, are EAE but not SC. As a corollary, SC is not transitive. Under mild assumptions, given $U$ and $V$ that are Atkinson or generalized invertible and EAE, we give a concrete operator $W$ that is SC to both $U$ and $V$, even if $U$ and $V$ are not SC themselves. Some further affirmative results for the case where the Banach spaces are isomorphic are also obtained.
△ Less
Submitted 26 January, 2019;
originally announced January 2019.
-
On compact packings of the plane with circles of three radii
Authors:
Miek Messerschmidt
Abstract:
A compact circle-packing $P$ of the Euclidean plane is a set of circles which bound mutually disjoint open discs with the property that, for every circle $S\in P$, there exists a maximal indexed set $\{A_{0},\ldots,A_{n-1}\}\subseteq P$ so that, for every $i\in\{0,\ldots,n-1\}$, the circle $A_{i}$ is tangent to both circles $S$ and $A_{i+1\mod n}.$
We show that there exist at most $13617$ pairs…
▽ More
A compact circle-packing $P$ of the Euclidean plane is a set of circles which bound mutually disjoint open discs with the property that, for every circle $S\in P$, there exists a maximal indexed set $\{A_{0},\ldots,A_{n-1}\}\subseteq P$ so that, for every $i\in\{0,\ldots,n-1\}$, the circle $A_{i}$ is tangent to both circles $S$ and $A_{i+1\mod n}.$
We show that there exist at most $13617$ pairs $(r,s)$ with $0<s<r<1$ for which there exist a compact circle-packing of the plane consisting of circles with radii $s$, $r$ and $1$.
We discuss computing the exact values of such $0<s<r<1$ as roots of polynomials and exhibit a selection of compact circle-packings consisting of circles of three radii. We also discuss the apparent infeasibility of computing \emph{all} these values on contemporary consumer hardware with the methods employed in this paper.
△ Less
Submitted 28 July, 2019; v1 submitted 11 September, 2017;
originally announced September 2017.
-
Equivalence after extension and Schur coupling coincide for inessential operators
Authors:
S. ter Horst,
M. Messerschmidt,
A. C. M. Ran,
M. Roelands,
M. Wortel
Abstract:
In recent years the coincidence of the operator relations equivalence after extension (EAE) and Schur coupling (SC) was settled for the Hilbert space case. For Banach space operators, it is known that SC implies EAE, but the converse implication is only known for special classes of operators, such as Fredholm operators with index zero and operators that can in norm be approximated by invertible op…
▽ More
In recent years the coincidence of the operator relations equivalence after extension (EAE) and Schur coupling (SC) was settled for the Hilbert space case. For Banach space operators, it is known that SC implies EAE, but the converse implication is only known for special classes of operators, such as Fredholm operators with index zero and operators that can in norm be approximated by invertible operators. In this paper we prove that the implication EAE $\Rightarrow$ SC also holds for inessential Banach space operators. The inessential operators were introduced as a generalization of the compact operators, and include, besides the compact operators, also the strictly singular and strictly co-singular operators; in fact they form the largest ideal such that the invertible elements in the associated quotient algebra coincide with (the equivalence classes of) the Fredholm operators.
△ Less
Submitted 28 June, 2017;
originally announced June 2017.
-
Optimal pulse processing, pile-up decomposition and applications of silicon drift detectors at LCLS
Authors:
G. Blaj,
C. J. Kenney,
A. Dragone,
G. Carini,
S. Herrmann,
P. Hart,
A. Tomada,
J. Koglin,
G. Haller,
S. Boutet,
M. Messerschmidt,
G. Williams,
M. Chollet,
G. Dakovski,
S. Nelson,
J. Pines,
S. Song,
J. Thayer
Abstract:
Silicon drift detectors (SDDs) revolutionized spectroscopy in fields as diverse as geology and dentistry. For a subset of experiments at ultra-fast, x-ray free-electron lasers (FELs), SDDs can make substantial contributions. Often the unknown spectrum is interesting, carrying science data, or the background measurement is useful to identify unexpected signals. Many measurements involve only severa…
▽ More
Silicon drift detectors (SDDs) revolutionized spectroscopy in fields as diverse as geology and dentistry. For a subset of experiments at ultra-fast, x-ray free-electron lasers (FELs), SDDs can make substantial contributions. Often the unknown spectrum is interesting, carrying science data, or the background measurement is useful to identify unexpected signals. Many measurements involve only several discrete photon energies known a priori, allowing single event decomposition of pile-up and spectroscopic photon counting. We designed a pulse function and demonstrated that the signal amplitude and rise time are obtained for each pulse by fitting, thus removing the need for pulse sha**. By avoiding pulse sha**, rise times of tens of nanoseconds resulted in reduced pulse pile-up and allowed decomposition of remaining pulse pile-up at photon separation times down to hundreds of nanoseconds while yielding time-of-arrival information with precision of 10 nanoseconds. Waveform fitting yields simultaneously high energy resolution and high counting rates (2 orders of magnitude higher than current digital pulse processors). We showed that pile-up spectrum fitting is relatively simple and preferable to pile-up spectrum deconvolution. We developed a photon pile-up statistical model for constant intensity sources, extended it to variable intensity sources (typical for FELs) and used it to fit a complex pile-up spectrum. We subsequently developed a Bayesian pile-up decomposition method that allows decomposing pile-up of single events with up to 6 photons from 6 monochromatic lines with 99% accuracy. The usefulness of SDDs will continue into the x-ray FEL era of science. Their successors, the ePixS hybrid pixel detectors, already offer hundreds of pixels, each with similar performance to an SDD, in a compact, robust and affordable package
△ Less
Submitted 19 March, 2019; v1 submitted 5 June, 2017;
originally announced June 2017.
-
Femtosecond profiling of shaped X-ray pulses
Authors:
M. C. Hoffmann,
I. Grguraš,
C. Behrens,
C. Bostedt,
J. Bozek,
H. Bromberger,
R. Coffee,
J. T. Costello,
L. F. DiMauro,
Y. Ding,
G. Doumy,
W. Helml,
M. Ilchen,
R. Kienberger,
S. Lee,
A. R. Maier,
T. Mazza,
M. Meyer,
M. Messerschmidt,
S. Schorb,
W. Schweinberger,
K. Zhang,
A. L. Cavalieri
Abstract:
Arbitrary manipulation of the temporal and spectral properties of X-ray pulses at free-electron lasers (FELs) would revolutionize many experimental applications. At the Linac Coherent Light Source at Stanford National Accelerator Laboratory, the momentum phase-space of the FEL driving electron bunch can be tuned to emit a pair of X-ray pulses with independently variable photon energy and femtoseco…
▽ More
Arbitrary manipulation of the temporal and spectral properties of X-ray pulses at free-electron lasers (FELs) would revolutionize many experimental applications. At the Linac Coherent Light Source at Stanford National Accelerator Laboratory, the momentum phase-space of the FEL driving electron bunch can be tuned to emit a pair of X-ray pulses with independently variable photon energy and femtosecond delay. However, while accelerator parameters can easily be adjusted to tune the electron bunch phase-space, the final impact of these actuators on the X-ray pulse cannot be predicted with sufficient precision. Furthermore, shot-to-shot instabilities that distort the pulse shape unpredictably cannot be fully suppressed. Therefore, the ability to directly characterize the X-rays is essential to ensure precise and consistent control. In this work, we have generated X-ray pulse pairs and characterized them on a single-shot basis with femtosecond resolution through time-resolved photoelectron streaking spectroscopy. This achievement completes an important step toward future X-ray pulse sha** techniques.
△ Less
Submitted 4 May, 2017;
originally announced May 2017.
-
A Pointwise Lipschitz Selection Theorem
Authors:
Miek Messerschmidt
Abstract:
We prove that any correspondence (multi-function) map** a metric space into a Banach space that satisfies a certain pointwise Lipschitz condition, always has a continuous selection that is pointwise Lipschitz on a dense set of its domain.
We apply our selection theorem to demonstrate a slight improvement to a well-known version of the classical Bartle-Graves Theorem: Any continuous linear surj…
▽ More
We prove that any correspondence (multi-function) map** a metric space into a Banach space that satisfies a certain pointwise Lipschitz condition, always has a continuous selection that is pointwise Lipschitz on a dense set of its domain.
We apply our selection theorem to demonstrate a slight improvement to a well-known version of the classical Bartle-Graves Theorem: Any continuous linear surjection between infinite dimensional Banach spaces has a positively homogeneous continuous right inverse that is pointwise Lipschitz on a dense meager set of its domain.
An example devised by Aharoni and Lindenstrauss shows that our pointwise Lipschitz selection theorem is in some sense optimal: It is impossible to improve our pointwise Lipschitz selection theorem to one that yields a selection that is pointwise Lipschitz on the whole of its domain in general.
△ Less
Submitted 23 August, 2017; v1 submitted 25 November, 2016;
originally announced November 2016.
-
Strong Klee-Andô Theorems through an Open Map** Theorem for cone-valued multi-functions
Authors:
Miek Messerschmidt
Abstract:
A version of the classical Klee-Andô Theorem states the following: For every Banach space $X$, ordered by a closed generating cone $C\subseteq X$, there exists some $α>0$ so that, for every $x\in X$, there exist $x^{\pm}\in C$ so that $x=x^{+}-x^{-}$ and $\|x^{+}\|+\|x^{-}\|\leqα\|x\|$.
The conclusion of the Klee-Andô Theorem is what is known as a conormality property.
We prove stronger and so…
▽ More
A version of the classical Klee-Andô Theorem states the following: For every Banach space $X$, ordered by a closed generating cone $C\subseteq X$, there exists some $α>0$ so that, for every $x\in X$, there exist $x^{\pm}\in C$ so that $x=x^{+}-x^{-}$ and $\|x^{+}\|+\|x^{-}\|\leqα\|x\|$.
The conclusion of the Klee-Andô Theorem is what is known as a conormality property.
We prove stronger and somewhat more general versions of the Klee-Andô Theorem for both conormality and coadditivity (a property that is intimately related to conormality). A corollary to our result shows that the functions $x\mapsto x^{\pm}$, as above, may be chosen to be bounded, continuous, and positively homogeneous, with a similar conclusion yielded for coadditivity. Furthermore, we show that the Klee-Andô Theorem generalizes beyond ordered Banach spaces to Banach spaces endowed with arbitrary collections of cones. Proofs of our Klee-Andô Theorems are achieved through an Open Map** Theorem for cone-valued multi-functions/correspondences.
We very briefly discuss a potential further strengthening of The Klee-Andô Theorem beyond what is proven in this paper, and motivate a conjecture that there exists a Banach space $X$, ordered by a closed generating cone $C\subseteq X$, for which there exist no Lipschitz functions $(\cdot)^{\pm}:X\to C$ satisfying $x=x^{+}-x^{-}$ for all $x\in X$.
△ Less
Submitted 22 February, 2018; v1 submitted 1 June, 2016;
originally announced June 2016.
-
The intrinsic metric on the unit sphere of a normed space
Authors:
Miek Messerschmidt,
Marten Wortel
Abstract:
Let $S$ denote the unit sphere of a real normed space. We show that the intrinsic metric on $S$ is strongly equivalent to the induced metric on $S$. Specifically, for all $x,y\in S$, \[ \|x-y\|\leq d(x,y)\leq\sqrt{2}π\|x-y\|, \] where $d$ denotes the intrinsic metric on $S$.
Let $S$ denote the unit sphere of a real normed space. We show that the intrinsic metric on $S$ is strongly equivalent to the induced metric on $S$. Specifically, for all $x,y\in S$, \[ \|x-y\|\leq d(x,y)\leq\sqrt{2}π\|x-y\|, \] where $d$ denotes the intrinsic metric on $S$.
△ Less
Submitted 8 March, 2017; v1 submitted 26 October, 2015;
originally announced October 2015.
-
Equivalence after extension for compact operators on Banach spaces
Authors:
Sanne ter Horst,
Miek Messerschmidt,
André C. M. Ran
Abstract:
In recent years the coincidence of the operator relations equivalence after extension and Schur coupling was settled for the Hilbert space case, by showing that equivalence after extension implies equivalence after one-sided extension. In this paper we investigate consequences of equivalence after extension for compact Banach space operators. We show that generating the same operator ideal is nece…
▽ More
In recent years the coincidence of the operator relations equivalence after extension and Schur coupling was settled for the Hilbert space case, by showing that equivalence after extension implies equivalence after one-sided extension. In this paper we investigate consequences of equivalence after extension for compact Banach space operators. We show that generating the same operator ideal is necessary but not sufficient for two compact operators to be equivalent after extension. In analogy with the necessary and sufficient conditions on the singular values for compact Hilbert space operators that are equivalent after extension, we prove the necessity of similar relationships between the $s$-numbers of two compact Banach space operators that are equivalent after extension, for arbitrary $s$-functions.
We investigate equivalence after extension for operators on $\ell^{p}$-spaces. We show that two operators that act on different $\ell^{p}$-spaces cannot be equivalent after one-sided extension. Such operators can still be equivalent after extension, for instance all invertible operators are equivalent after extension, however, if one of the two operators is compact, then they cannot be equivalent after extension. This contrasts the Hilbert space case where equivalence after one-sided extension and equivalence after extension are, in fact, identical relations.
Finally, for general Banach spaces $X$ and $Y$, we investigate consequences of an operator on $X$ being equivalent after extension to a compact operator on $Y$. We show that, in this case, a closed finite codimensional subspace of $Y$ must embed into $X$, and that certain general Banach space properties must transfer from $X$ to $Y$. We also show that no operator on $X$ can be equivalent after extension to an operator on $Y$, if $X$ and $Y$ are essentially incomparable Banach spaces.
△ Less
Submitted 5 June, 2015; v1 submitted 25 March, 2015;
originally announced March 2015.
-
Nonlinear X-ray Compton Scattering
Authors:
Matthias Fuchs,
Mariano Trigo,
Jian Chen,
Shambhu Ghimire,
Sharon Shwartz,
Michael Kozina,
Mason Jiang,
Thomas Henighan,
Crystal Bray,
Georges Ndabashimiye,
P. H. Bucksbaum,
Yi** Feng,
Sven Herrmann,
Gabriella Carini,
Jack Pines,
Philip Hart,
Christopher Kenney,
Serge Guillet,
Sebastien Boutet,
Garth Williams,
Marc Messerschmidt,
Marvin Seibert,
Stefan Moeller,
Jerome B. Hastings,
David A. Reis
Abstract:
X-ray scattering is a weak linear probe of matter. It is primarily sensitive to the position of electrons and their momentum distribution. Elastic X-ray scattering forms the basis of atomic structural determination while inelastic Compton scattering is often used as a spectroscopic probe of both single-particle excitations and collective modes. X-ray free-electron lasers (XFELs) are unique tools f…
▽ More
X-ray scattering is a weak linear probe of matter. It is primarily sensitive to the position of electrons and their momentum distribution. Elastic X-ray scattering forms the basis of atomic structural determination while inelastic Compton scattering is often used as a spectroscopic probe of both single-particle excitations and collective modes. X-ray free-electron lasers (XFELs) are unique tools for studying matter on its natural time and length scales due to their bright and coherent ultrashort pulses. However, in the focus of an XFEL the assumption of a weak linear probe breaks down, and nonlinear light-matter interactions can become ubiquitous. The field can be sufficiently high that even non-resonant multiphoton interactions at hard X-rays wavelengths become relevant. Here we report the observation of one of the most fundamental nonlinear X-ray-matter interactions, the simultaneous Compton scattering of two identical photons producing a single photon at nearly twice the photon energy. We measure scattered photons with an energy near 18 keV generated from solid beryllium irradiated by 8.8-9.75 keV XFEL pulses. The intensity in the X-ray focus reaches up to 4x20 W/cm2, which corresponds to a peak electric field two orders of magnitude higher than the atomic unit of field-strength and within four orders of magnitude of the quantum electrodynamic critical field. The observed signal scales quadratically in intensity and is emitted into a non-dipolar pattern, consistent with the simultaneous two-photon scattering from free electrons. However, the energy of the generated photons shows an anomalously large redshift only present at high intensities. This indicates that the instantaneous high-intensity scattering effectively interacts with a different electron momentum distribution than linear Compton scattering, with implications for the study of atomic-scale structure and dynamics of matter
△ Less
Submitted 27 February, 2015; v1 submitted 2 February, 2015;
originally announced February 2015.
-
Imaging Molecular Structure through Femtosecond Photoelectron Diffraction on Aligned and Oriented Gas-Phase Molecules
Authors:
R. Boll,
A. Rouzee,
M. Adolph,
D. Anielski,
A. Aquila,
S. Bari,
C. Bomme,
C. Bostedt,
J. D. Bozek,
H. N. Chapman,
L. Christensen,
R. Coffee,
N. Coppola,
S. De,
P. Decleva,
S. W. Epp,
B. Erk,
F. Filsinger,
L. Foucar,
T. Gorkhover,
L. Gumprecht,
A. Hoemke,
L. Holmegaard,
P. Johnsson,
J. S. Kienitz
, et al. (27 additional authors not shown)
Abstract:
This paper gives an account of our progress towards performing femtosecond time-resolved photoelectron diffraction on gas-phase molecules in a pump-probe setup combining optical lasers and an X-ray Free-Electron Laser. We present results of two experiments aimed at measuring photoelectron angular distributions of laser-aligned 1-ethynyl-4-fluorobenzene (C8H5F) and dissociating, laseraligned 1,4-di…
▽ More
This paper gives an account of our progress towards performing femtosecond time-resolved photoelectron diffraction on gas-phase molecules in a pump-probe setup combining optical lasers and an X-ray Free-Electron Laser. We present results of two experiments aimed at measuring photoelectron angular distributions of laser-aligned 1-ethynyl-4-fluorobenzene (C8H5F) and dissociating, laseraligned 1,4-dibromobenzene (C6H4Br2) molecules and discuss them in the larger context of photoelectron diffraction on gas-phase molecules. We also show how the strong nanosecond laser pulse used for adiabatically laser-aligning the molecules influences the measured electron and ion spectra and angular distributions, and discuss how this may affect the outcome of future time-resolved photoelectron diffraction experiments.
△ Less
Submitted 29 July, 2014;
originally announced July 2014.
-
Geometric duality theory of cones in dual pairs of vector spaces
Authors:
Miek Messerschmidt
Abstract:
This paper will generalize what may be termed the "geometric duality theory" of real pre-ordered Banach spaces which relates geometric properties of a closed cone in a real Banach space, to geometric properties of the dual cone in the dual Banach space. We show that geometric duality theory is not restricted to real pre-ordered Banach spaces, as is done classically, but can be extended to real Ban…
▽ More
This paper will generalize what may be termed the "geometric duality theory" of real pre-ordered Banach spaces which relates geometric properties of a closed cone in a real Banach space, to geometric properties of the dual cone in the dual Banach space. We show that geometric duality theory is not restricted to real pre-ordered Banach spaces, as is done classically, but can be extended to real Banach spaces endowed with arbitrary collections of closed cones.
We define geometric notions of normality, conormality, additivity and coadditivity for members of dual pairs of real vector spaces as certain possible interactions between two cones and two convex convex sets containing zero. We show that, thus defined, these notions are dual to each other under certain conditions, i.e., for a dual pair of real vector spaces $(Y,Z)$, the space $Y$ is normal (additive) if and only if its dual $Z$ is conormal (coadditive) and vice versa. These results are set up in a manner so as to provide a framework to prove results in the geometric duality theory of cones in real Banach spaces. As an example of using this framework, we generalize classical duality results for real Banach spaces pre-ordered by a single closed cone, to real Banach spaces endowed with an arbitrary collections of closed cones.
As an application, we analyze some of the geometric properties of naturally occurring cones in C*-algebras and their duals.
△ Less
Submitted 14 May, 2015; v1 submitted 9 July, 2014;
originally announced July 2014.
-
Toward atomic resolution diffractive imaging of isolated molecules with x-ray free-electron lasers
Authors:
Stephan Stern,
Lotte Holmegaard,
Frank Filsinger,
Arnaud Rouzée,
Artem Rudenko,
Per Johnsson,
Andrew V. Martin,
Anton Barty,
Christoph Bostedt,
John D. Bozek,
Ryan N. Coffee,
Sascha Epp,
Benjamin Erk,
Lutz Foucar,
Robert Hartmann,
Nils Kimmel,
Kai-Uwe Kühnel,
Jochen Maurer,
Marc Messerschmidt,
Benedikt Rudek,
Dmitri G. Starodub,
Jan Thøgersen,
Georg Weidenspointner,
Thomas A. White,
Henrik Stapelfeldt
, et al. (3 additional authors not shown)
Abstract:
We give a detailed account of the theoretical analysis and the experimental results of an x-ray-diffraction experiment on quantum-state selected and strongly laser-aligned gas-phase ensembles of the prototypical large asymmetric rotor molecule 2,5-diiodobenzonitrile, performed at the Linac Coherent Light Source [Phys. Rev. Lett. 112, 083002 (2014)]. This experiment is the first step toward coheren…
▽ More
We give a detailed account of the theoretical analysis and the experimental results of an x-ray-diffraction experiment on quantum-state selected and strongly laser-aligned gas-phase ensembles of the prototypical large asymmetric rotor molecule 2,5-diiodobenzonitrile, performed at the Linac Coherent Light Source [Phys. Rev. Lett. 112, 083002 (2014)]. This experiment is the first step toward coherent diffractive imaging of structures and structural dynamics of isolated molecules at atomic resolution, i. e., picometers and femtoseconds, using x-ray free-electron lasers.
△ Less
Submitted 11 March, 2014;
originally announced March 2014.
-
X-ray diffraction from isolated and strongly aligned gas-phase molecules with a free-electron laser
Authors:
Jochen Küpper,
Stephan Stern,
Lotte Holmegaard,
Frank Filsinger,
Arnaud Rouzée,
Artem Rudenko,
Per Johnsson,
Andrew V. Martin,
Marcus Adolph,
Andrew Aquila,
Saša Bajt,
Anton Barty,
Christoph Bostedt,
John Bozek,
Carl Caleman,
Ryan Coffee,
Nicola Coppola,
Tjark Delmas,
Sascha Epp,
Benjamin Erk,
Lutz Foucar,
Tais Gorkhover,
Lars Gumprecht,
Andreas Hartmann,
Robert Hartmann
, et al. (30 additional authors not shown)
Abstract:
We report experimental results on x-ray diffraction of quantum-state-selected and strongly aligned ensembles of the prototypical asymmetric rotor molecule 2,5-diiodobenzonitrile using the Linac Coherent Light Source. The experiments demonstrate first steps toward a new approach to diffractive imaging of distinct structures of individual, isolated gas-phase molecules. We confirm several key ingredi…
▽ More
We report experimental results on x-ray diffraction of quantum-state-selected and strongly aligned ensembles of the prototypical asymmetric rotor molecule 2,5-diiodobenzonitrile using the Linac Coherent Light Source. The experiments demonstrate first steps toward a new approach to diffractive imaging of distinct structures of individual, isolated gas-phase molecules. We confirm several key ingredients of single molecule diffraction experiments: the abilities to detect and count individual scattered x-ray photons in single shot diffraction data, to deliver state-selected, e. g., structural-isomer-selected, ensembles of molecules to the x-ray interaction volume, and to strongly align the scattering molecules. Our approach, using ultrashort x-ray pulses, is suitable to study ultrafast dynamics of isolated molecules.
△ Less
Submitted 28 January, 2014; v1 submitted 17 July, 2013;
originally announced July 2013.
-
Normality of spaces of operators and quasi-lattices
Authors:
Miek Messerschmidt
Abstract:
We give an overview of normality and conormality properties of pre-ordered Banach spaces. For pre-ordered Banach spaces $X$ and $Y$ with closed cones we investigate normality of $B(X,Y)$ in terms of normality and conormality of the underlying spaces $X$ and $Y$.
Furthermore, we define a class of ordered Banach spaces called quasi-lattices which strictly contains the Banach lattices, and we prove…
▽ More
We give an overview of normality and conormality properties of pre-ordered Banach spaces. For pre-ordered Banach spaces $X$ and $Y$ with closed cones we investigate normality of $B(X,Y)$ in terms of normality and conormality of the underlying spaces $X$ and $Y$.
Furthermore, we define a class of ordered Banach spaces called quasi-lattices which strictly contains the Banach lattices, and we prove that every strictly convex reflexive ordered Banach space with a closed proper generating cone is a quasi-lattice. These spaces provide a large class of examples $X$ and $Y$ that are not Banach lattices, but for which $B(X,Y)$ is normal. In particular, we show that a Hilbert space $\mathcal{H}$ endowed with a Lorentz cone is a quasi-lattice (that is not a Banach lattice if $\dim\mathcal{H}\geq3$), and satisfies an identity analogous to the elementary Banach lattice identity $\||x|\|=\|x\|$ which holds for all elements $x$ of a Banach lattice. This is used to show that spaces of operators between such ordered Hilbert spaces are always absolutely monotone and that the operator norm is positively attained, as is also always the case for spaces of operators between Banach lattices.
△ Less
Submitted 16 February, 2015; v1 submitted 4 July, 2013;
originally announced July 2013.
-
Crossed products of Banach algebras. III
Authors:
Marcel de Jeu,
Miek Messerschmidt
Abstract:
In earlier work a crossed product of a Banach algebra was constructed from a Banach algebra dynamical system $(A,G,α)$ and a class $\mathcal{R}$ of continuous covariant representations, and its representations were determined. In this paper we adapt the theory to the ordered context. We construct a pre-ordered crossed product of a Banach algebra from a pre-ordered Banach algebra dynamical system…
▽ More
In earlier work a crossed product of a Banach algebra was constructed from a Banach algebra dynamical system $(A,G,α)$ and a class $\mathcal{R}$ of continuous covariant representations, and its representations were determined. In this paper we adapt the theory to the ordered context. We construct a pre-ordered crossed product of a Banach algebra from a pre-ordered Banach algebra dynamical system $(A,G,α)$ and a given uniformly bounded class $\mathcal{R}$ of continuous covariant representations of $(A,G,α)$. If $A$ has a positive bounded approximate left identity and $\mathcal{R}$ consists of non-degenerate continuous covariant representations, we establish a bijection between the positive non-degenerate bounded representations of the pre-ordered crossed product on pre-ordered Banach spaces with closed cones and the positive non-degenerate $\mathcal{R}$-continuous covariant representations of $(A,G,α)$ on such spaces. Under mild conditions, we show that this pre-ordered crossed product is the essentially unique pre-ordered Banach algebra for which such a bijection exists. Finally, we study pre-ordered generalized Beurling algebras. We show that they are bipositively topologically isomorphic to pre-ordered crossed products of Banach algebras associated with pre-ordered Banach algebra dynamical systems, and hence the general theory allows us to describe their positive representations on pre-ordered Banach spaces with closed cones.
△ Less
Submitted 26 June, 2013;
originally announced June 2013.
-
Crossed products of Banach algebras. II
Authors:
Marcel de Jeu,
Miek Messerschmidt,
Marten Wortel
Abstract:
In earlier work a crossed product of a Banach algebra was constructed from a Banach algebra dynamical system $(A,G,α)$ and a class $\mathcal{R}$ of continuous covariant representations, and its representations were determined. In this paper the theory is developed further. We consider the dependence of the crossed product on the class $\mathcal{R}$ and its essential uniqueness. Next we study gener…
▽ More
In earlier work a crossed product of a Banach algebra was constructed from a Banach algebra dynamical system $(A,G,α)$ and a class $\mathcal{R}$ of continuous covariant representations, and its representations were determined. In this paper the theory is developed further. We consider the dependence of the crossed product on the class $\mathcal{R}$ and its essential uniqueness. Next we study generalized Beurling algebras: weighted Bochner spaces of $A$-valued functions on $G$ with a continuous multiplication. Though not Banach algebras in general, they are isomorphic to a crossed product of a Banach algebra, and the earlier work therefore predicts the structure of their representations. Classical results for the usual Beurling (Banach) algebras of scalar valued functions are then retrieved as special cases. We also show how, e.g., an anti-covariant pair of anti-representations of $A$ and $G$ can be viewed as a covariant pair for a related Banach algebra dynamical system, so that the earlier work becomes applicable to classes of such other pairs. After including material on the representations of the projective tensor product of Banach algebras, we combine this idea with the results already obtained and describe the two-sided modules over the generalized Beurling algebras, where again specializing to the scalars gives a classical result.
△ Less
Submitted 10 May, 2013;
originally announced May 2013.
-
A strong open map** theorem for surjections from cones onto Banach spaces
Authors:
Marcel de Jeu,
Miek Messerschmidt
Abstract:
We show that a continuous additive positively homogeneous map from a closed not necessarily proper cone in a Banach space onto a Banach space is an open map precisely when it is surjective. This generalization of the usual Open Map** Theorem for Banach spaces is then combined with Michael's Selection Theorem to yield the existence of a continuous bounded positively homogeneous right inverse of s…
▽ More
We show that a continuous additive positively homogeneous map from a closed not necessarily proper cone in a Banach space onto a Banach space is an open map precisely when it is surjective. This generalization of the usual Open Map** Theorem for Banach spaces is then combined with Michael's Selection Theorem to yield the existence of a continuous bounded positively homogeneous right inverse of such a surjective map; a strong version of the usual Open Map** Theorem is then a special case. As another consequence, an improved version of the analogue of Andô's Theorem for an ordered Banach space is obtained for a Banach space that is, more generally than in Andô's Theorem, a sum of possibly uncountably many closed not necessarily proper cones. Applications are given for a (pre)-ordered Banach space and for various spaces of continuous functions taking values in such a Banach space or, more generally, taking values in an arbitrary Banach space that is a finite sum of closed not necessarily proper cones.
△ Less
Submitted 13 March, 2014; v1 submitted 12 February, 2013;
originally announced February 2013.
-
Femtosecond X-ray Laser induced transient electronic phase change observed in fullerene C60
Authors:
Brian Abbey,
Ruben A. Dilanian,
Connie Darmanin,
Rebecca A. Ryan,
Corey T. Putkunz,
Andrew V. Martin,
Victor Streltsov,
Michael W. M. Jones,
Naylyn Gaffney,
Felix Hofmann,
Garth J. Williams,
Sebastian Boutet,
Marc Messerschmidt,
M. Marvin Siebert,
Sophie Williams,
Evan Curwood,
Eugeniu Balaur,
Andrew G. Peele,
Keith A. Nugent,
Harry M. Quiney
Abstract:
X-ray Free-Electron Lasers (XFELs) deliver X-ray pulses with a coherent flux that is approximately eight orders of magnitude greater than that available from a modern third generation synchrotron source. The power density in an XFEL pulse may be so high that it can modify the electronic properties of a sample on a femtosecond timescale. Exploration of the interaction of intense coherent X-ray puls…
▽ More
X-ray Free-Electron Lasers (XFELs) deliver X-ray pulses with a coherent flux that is approximately eight orders of magnitude greater than that available from a modern third generation synchrotron source. The power density in an XFEL pulse may be so high that it can modify the electronic properties of a sample on a femtosecond timescale. Exploration of the interaction of intense coherent X-ray pulses and matter is of both intrinsic scientific interest, and of critical importance to the interpretation of experiments that probe the structures of materials using high-brightness femtosecond XFEL pulses. In this letter, we report observations of the diffraction of an extremely intense 32 fs nanofocused X-ray pulses by a powder sample of crystalline C60. We find that the diffraction pattern at the highest available incident power exhibits significant structural signatures that are absent in data obtained at both third-generation synchrotron sources or from XFEL sources operating at low output power. These signatures are consistent with a highly ordered structure that does not correspond with any previously known phase of crystalline C60. We argue that these data indicate the formation of a transient phase that is formed by a dynamic electronic distortion induced by inner-shell ionisation of at least one carbon atom in each C60 molecule.
△ Less
Submitted 24 September, 2012;
originally announced September 2012.
-
Coherence Properties of Individual Femtosecond Pulses of an X-ray Free-Electron Laser
Authors:
I. A. Vartanyants,
A. Singer,
A. P. Mancuso,
O. Yefanov,
A. Sakdinawat,
Y. Liu,
E. Bang,
G. J. Williams,
G. Cadenazzi,
B. Abbey,
H. Sinn,
D. Attwood,
K. A. Nugent,
E. Weckert,
T. Wang,
D. Zhu,
B. Wu,
C. Graves,
A. Scherz,
J. J. Turner,
W. F. Schlotter,
M. Messerschmidt,
J. Luning,
Y. Acremann,
P. Heimann
, et al. (11 additional authors not shown)
Abstract:
Measurements of the spatial and temporal coherence of single, femtosecond x-ray pulses generated by the first hard x-ray free-electron laser (FEL), the Linac Coherent Light Source (LCLS), are presented. Single shot measurements were performed at 780 eV x-ray photon energy using apertures containing double pinholes in "diffract and destroy" mode. We determined a coherence length of 17 micrometers i…
▽ More
Measurements of the spatial and temporal coherence of single, femtosecond x-ray pulses generated by the first hard x-ray free-electron laser (FEL), the Linac Coherent Light Source (LCLS), are presented. Single shot measurements were performed at 780 eV x-ray photon energy using apertures containing double pinholes in "diffract and destroy" mode. We determined a coherence length of 17 micrometers in the vertical direction, which is approximately the size of the focused LCLS beam in the same direction. The analysis of the diffraction patterns produced by the pinholes with the largest separation yields an estimate of the temporal coherence time of 0.6 fs. We find that the total degree of transverse coherence is 56% and that the x-ray pulses are adequately described by two transverse coherent modes in each direction. This leads us to the conclusion that 78% of the total power is contained in the dominant mode.
△ Less
Submitted 19 May, 2011;
originally announced May 2011.