-
Overlap** Top Gate Electrodes based on Low Temperature Atomic Layer Deposition for Nanoscale Ambipolar Lateral Junctions
Authors:
Christopher Fuchs,
Lena Fürst,
Hartmut Buhmann,
Johannes Kleinlein,
Laurens W. Molenkamp
Abstract:
We present overlap** top gate electrodes for the formation of gate defined lateral junctions in semiconducting layers as an alternative to the back gate/top gate combination and to the split gate configuration. The optical lithography microfabrication of the overlap** top gates is based on multiple layers of low-temperature atomic layer deposited hafnium oxide, which acts as a gate dielectric…
▽ More
We present overlap** top gate electrodes for the formation of gate defined lateral junctions in semiconducting layers as an alternative to the back gate/top gate combination and to the split gate configuration. The optical lithography microfabrication of the overlap** top gates is based on multiple layers of low-temperature atomic layer deposited hafnium oxide, which acts as a gate dielectric and as a robust insulating layer between two overlap** gate electrodes exhibiting a large dielectric breakdown field of > 1E9 V/m. The advantage of overlap** gates over the split gate approach is confirmed in model calculations of the electrostatics of the gate stack. The overlap** gate process is applied to Hall bar devices of mercury telluride in order to study the interaction of different quantum Hall states in the nn', np, pn and pp' regime.
△ Less
Submitted 10 April, 2024;
originally announced April 2024.
-
Quantum Dynamics Happens Only on Paper: QBism's Account of Decoherence
Authors:
John B. DeBrota,
Christopher A. Fuchs,
Ruediger Schack
Abstract:
QBism has long recognized quantum states, POVM elements, Kraus operators, and even unitary operations to be cut from the same cloth: They express aspects of an agent's personal belief system concerning the consequences (for her) of actions she might take on her external world. Such action-consequence pairs have conventionally been called "quantum measurements." The calculus of quantum theory is th…
▽ More
QBism has long recognized quantum states, POVM elements, Kraus operators, and even unitary operations to be cut from the same cloth: They express aspects of an agent's personal belief system concerning the consequences (for her) of actions she might take on her external world. Such action-consequence pairs have conventionally been called "quantum measurements." The calculus of quantum theory is then viewed as an empirically motivated addition to Bayesian decision theory when brought to this notion of measurement. This radical approach has allowed QBism to eliminate conceptual problems that plague other interpretations of quantum mechanics. However, one issue has remained elusive: If a QBist does not believe in the existence of an ontic (agent-independent) dynamical variable evolving over time, why would there be any constraints on her quantum-state assignment in the absence of performing a measurement? Why would she introduce unitary or open-system quantum dynamics at all? Here, we present a representation theorem based on van Fraassen's reflection principle to answer these questions. Simply put, an agent's assignment of quantum dynamics represents her belief that a measurement action she is contemplating would not change her current odds for future gambles. A corollary to this approach is that one can make sense of "open-system dynamics" without introducing an "environment with a measurement record" as is common in decoherence accounts of quantum measurement. Instead, the QBist understanding of decoherence rests entirely on an agent's beliefs about the system of interest (not system plus environment) and her judgments about measurements she might perform on that system. More broadly, this result establishes QBism's contention that measurement itself is the central concept of quantum theory and thus the framework upon which any future QBist ontology must hang.
△ Less
Submitted 17 May, 2024; v1 submitted 21 December, 2023;
originally announced December 2023.
-
Coronal Heating as Determined by the Solar Flare Frequency Distribution Obtained by Aggregating Case Studies
Authors:
James Paul Mason,
Alexandra Werth,
Colin G. West,
Allison A. Youngblood,
Donald L. Woodraska,
Courtney Peck,
Kevin Lacjak,
Florian G. Frick,
Moutamen Gabir,
Reema A. Alsinan,
Thomas Jacobsen,
Mohammad Alrubaie,
Kayla M. Chizmar,
Benjamin P. Lau,
Lizbeth Montoya Dominguez,
David Price,
Dylan R. Butler,
Connor J. Biron,
Nikita Feoktistov,
Kai Dewey,
N. E. Loomis,
Michal Bodzianowski,
Connor Kuybus,
Henry Dietrick,
Aubrey M. Wolfe
, et al. (977 additional authors not shown)
Abstract:
Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms th…
▽ More
Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms that could explain it: nanoflares or Alfvén waves. To date, neither can be directly observed. Nanoflares are, by definition, extremely small, but their aggregate energy release could represent a substantial heating mechanism, presuming they are sufficiently abundant. One way to test this presumption is via the flare frequency distribution, which describes how often flares of various energies occur. If the slope of the power law fitting the flare frequency distribution is above a critical threshold, $α=2$ as established in prior literature, then there should be a sufficient abundance of nanoflares to explain coronal heating. We performed $>$600 case studies of solar flares, made possible by an unprecedented number of data analysts via three semesters of an undergraduate physics laboratory course. This allowed us to include two crucial, but nontrivial, analysis methods: pre-flare baseline subtraction and computation of the flare energy, which requires determining flare start and stop times. We aggregated the results of these analyses into a statistical study to determine that $α= 1.63 \pm 0.03$. This is below the critical threshold, suggesting that Alfvén waves are an important driver of coronal heating.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
QBism, Where Next?
Authors:
Christopher A. Fuchs
Abstract:
This paper expresses what a breath of fresh air it has been since a few phenomenological philosophers have started to engage with QBism. In service of the newfound discussion, the aim of this exposition is to lay out the structure of QBism as clearly as possible for that audience. In the process, we arrive at eight tenets for QBism: 1) A quantum state is an agent's personal judgment. 2) A quantum…
▽ More
This paper expresses what a breath of fresh air it has been since a few phenomenological philosophers have started to engage with QBism. In service of the newfound discussion, the aim of this exposition is to lay out the structure of QBism as clearly as possible for that audience. In the process, we arrive at eight tenets for QBism: 1) A quantum state is an agent's personal judgment. 2) A quantum measurement is an agent's action upon its external world. 3) Quantum measurement outcomes are personal to the agent performing the action. 4) The quantum formalism is normative rather than descriptive. 5) Unitary evolution too expresses an agent's degrees of belief. 6) Even probability-one assignments are judgments without ontic content. 7) Subjective certainty about what an outcome will be does not negate that unperformed measurements have no outcomes. And, 8) quantum theory is a single-user theory for each of us. We then analyze the Wigner's friend thought experiment in light of the eight tenets and indicate that a still more extended analysis is potentially QBism's surest path to uncovering an ontology to go with quantum theory's normative structure. We conclude with a small discussion of how the philosophy of Maurice Merleau-Ponty may be relevant to this quest.
△ Less
Submitted 10 March, 2023; v1 submitted 2 March, 2023;
originally announced March 2023.
-
Quantum mechanics? It's all fun and games until someone loses an $i$
Authors:
Christopher A. Fuchs,
Maxim Olshanii,
Matthew B. Weiss
Abstract:
QBism regards quantum mechanics as an addition to probability theory. The addition provides an extra normative rule for decision-making agents concerned with gambling across experimental contexts, somewhat in analogy to the double-slit experiment. This establishes the meaning of the Born Rule from a QBist perspective. Moreover it suggests that the best way to formulate the Born Rule for foundation…
▽ More
QBism regards quantum mechanics as an addition to probability theory. The addition provides an extra normative rule for decision-making agents concerned with gambling across experimental contexts, somewhat in analogy to the double-slit experiment. This establishes the meaning of the Born Rule from a QBist perspective. Moreover it suggests that the best way to formulate the Born Rule for foundational discussions is with respect to an informationally complete reference device. Recent work [DeBrota, Fuchs, and Stacey, Phys. Rev. Res. 2, 013074 (2020)] has demonstrated that reference devices employing symmetric informationally complete POVMs (or SICs) achieve a minimal quantumness: They witness the irreducible difference between classical and quantum. In this paper, we attempt to answer the analogous question for real-vector-space quantum theory. While standard quantum mechanics seems to allow SICs to exist in all finite dimensions, in the case of quantum theory over the real numbers it is known that SICs do not exist in most dimensions. We therefore attempt to identify the optimal reference device in the first real dimension without a SIC (i.e., $d=4$) in hopes of better understanding the essential role of complex numbers in quantum mechanics. In contrast to their complex counterparts, the expressions that result in a QBist understanding of real-vector-space quantum theory are surprisingly complex.
△ Less
Submitted 21 July, 2022; v1 submitted 30 June, 2022;
originally announced June 2022.
-
On the growth of multi-recurrences
Authors:
Clemens Fuchs,
Sebastian Heintze
Abstract:
In this paper we provide a complete proof for a bound on the growth of multi-recurrences which are defined over a number field. The proven bound was already stated by van der Poorten and Schlickewei forty years ago.
In this paper we provide a complete proof for a bound on the growth of multi-recurrences which are defined over a number field. The proven bound was already stated by van der Poorten and Schlickewei forty years ago.
△ Less
Submitted 7 February, 2022;
originally announced February 2022.
-
Approximation of values of algebraic elements over the ring of power sums
Authors:
Clemens Fuchs,
Sebastian Heintze
Abstract:
Let $ \mathbb{Q}\mathcal{E}_{\mathbb{Z}} $ be the set of power sums whose characteristic roots belong to $ \mathbb{Z} $ and whose coefficients belong to $ \mathbb{Q} $, i.e. $ G : \mathbb{N} \rightarrow \mathbb{Q} $ satisfies \begin{equation*} G(n) = G_n = b_1 c_1^n + \cdots + b_h c_h^n \end{equation*} with $ c_1,\ldots,c_h \in \mathbb{Z} $ and $ b_1,\ldots,b_h \in \mathbb{Q} $. Furthermore, let…
▽ More
Let $ \mathbb{Q}\mathcal{E}_{\mathbb{Z}} $ be the set of power sums whose characteristic roots belong to $ \mathbb{Z} $ and whose coefficients belong to $ \mathbb{Q} $, i.e. $ G : \mathbb{N} \rightarrow \mathbb{Q} $ satisfies \begin{equation*} G(n) = G_n = b_1 c_1^n + \cdots + b_h c_h^n \end{equation*} with $ c_1,\ldots,c_h \in \mathbb{Z} $ and $ b_1,\ldots,b_h \in \mathbb{Q} $. Furthermore, let $ f \in \mathbb{Q}[x,y] $ be absolutely irreducible and $ α: \mathbb{N} \rightarrow \overline{\mathbb{Q}} $ be a solution $ y $ of $ f(G_n,y) = 0 $, i.e. $ f(G_n,α(n)) = 0 $ identically in $ n $. Then we will prove under suitable assumptions a lower bound, valid for all but finitely many positive integers $ n $, for the approximation error if $ α(n) $ is approximated by rational numbers with bounded denominator. After that we will also consider the case that $ α$ is a solution of \begin{equation*} f(G_n^{(0)}, \ldots, G_n^{(d)},y) = 0, \end{equation*} i.e. defined by using more than one power sum and a polynomial $ f $ satisfying some suitable conditions. This extends results of Bugeaud, Corvaja, Luca, Scremin and Zannier.
△ Less
Submitted 19 October, 2021;
originally announced October 2021.
-
Letters for Andrei: QBism and the Unfinished Nature of Nature
Authors:
Christopher A. Fuchs
Abstract:
From the Text: How shall I tribute Andrei Khrennikov in this volume? With an email collection of course! But with what theme? It ought to be something big. One of the troubles of QBism's ontological program is that it is so sideways to the ways most run-of-the-mill philosophers of physics think, they don't even have the tools to parse its sentences. They simply can't see it as having to do with on…
▽ More
From the Text: How shall I tribute Andrei Khrennikov in this volume? With an email collection of course! But with what theme? It ought to be something big. One of the troubles of QBism's ontological program is that it is so sideways to the ways most run-of-the-mill philosophers of physics think, they don't even have the tools to parse its sentences. They simply can't see it as having to do with ontology at all. Maybe there is no remedy for this except to wait for the generation to die away. But QBism can and must move forward. Here we select some emails that might inspire a young researcher to throw in on the QBist ontological project, to help develop it on its own terms. The road to a proper, detailed QBist ontology is sure to be a hard one, but one has to start somewhere.
△ Less
Submitted 16 September, 2021;
originally announced September 2021.
-
The longitudinal neutron resonant spin echo spectrometer RESEDA
Authors:
Christian Franz,
Olaf Soltwedel,
Christian Fuchs,
Steffen Säubert,
Franz Haslbeck,
Andreas Wendl,
Johanna K. Jochum,
Peter Böni,
Christian Pfleiderer
Abstract:
The instrumental layout and technical realisation of the neutron resonant spin echo (NRSE) spectrometer RESEDA at the Heinz Maier-Leibnitz Zentrum (MLZ) in Garching, Germany, is presented. RESEDA is based on a longitudinal field configuration, boosting both dynamic range and maximum resolution of the spectrometer compared to the conventional transverse layout. The resonant neutron spin echo techni…
▽ More
The instrumental layout and technical realisation of the neutron resonant spin echo (NRSE) spectrometer RESEDA at the Heinz Maier-Leibnitz Zentrum (MLZ) in Garching, Germany, is presented. RESEDA is based on a longitudinal field configuration, boosting both dynamic range and maximum resolution of the spectrometer compared to the conventional transverse layout. The resonant neutron spin echo technique enables the realisation of two complementary implementations: A longitudinal NRSE (LNRSE) option comparable to the classical neutron spin echo (NSE) method for highest energy resolution and large momentum transfers as well as a Modulation of Intensity with Zero Effort (MIEZE) option for depolarising samples or sample environments such as high magnetic fields, and strong incoherent scattering samples. With their outstanding dynamic range, exceeding nominally seven orders of magnitude, both options cover new fields for ultra-high resolution neutron spectroscopy in hard and soft condensed matter systems. In this paper the concept of RESEDA as well as the technical realisation along with reference measurements are reported.
△ Less
Submitted 23 March, 2021;
originally announced March 2021.
-
Born's rule as a quantum extension of Bayesian coherence
Authors:
John B. DeBrota,
Christopher A. Fuchs,
Jacques L. Pienaar,
Blake C. Stacey
Abstract:
The subjective Bayesian interpretation of probability asserts that the rules of the probability calculus follow from the normative principle of Dutch-book coherence: A decision-making agent should not assign probabilities such that a series of monetary transactions based on those probabilities would lead them to expect a sure loss. Similarly, the subjective Bayesian interpretation of quantum mecha…
▽ More
The subjective Bayesian interpretation of probability asserts that the rules of the probability calculus follow from the normative principle of Dutch-book coherence: A decision-making agent should not assign probabilities such that a series of monetary transactions based on those probabilities would lead them to expect a sure loss. Similarly, the subjective Bayesian interpretation of quantum mechanics (QBism) asserts that the Born rule is a normative rule in analogy to Dutch-book coherence, but with the addition of one or more empirically based assumptions -- i.e., the "only a little more" that connects quantum theory to the particular characteristics of the physical world. Here we make this link explicit for a conjectured representation of the Born rule which holds true if symmetric informationally complete POVMs (or SICs) exist for every finite dimensional Hilbert space. We prove that an agent who thinks they are gambling on the outcomes of measurements on a sufficiently quantum-like system, but refuses to use this form of the Born rule when placing their bets is vulnerable to a Dutch book. The key property for being sufficiently quantum-like is that the system admits a symmetric reference measurement, but that this measurement is not sampling any hidden variables.
△ Less
Submitted 1 August, 2022; v1 submitted 28 December, 2020;
originally announced December 2020.
-
QBians Do Not Exist
Authors:
Christopher A. Fuchs,
Blake C. Stacey
Abstract:
We remark on John Earman's paper ``Quantum Bayesianism Assessed'' [The Monist 102 (2019), 403--423], illustrating with a number of examples that the quantum ``interpretation'' Earman critiques and the interpretation known as QBism have almost nothing to do with each other.
We remark on John Earman's paper ``Quantum Bayesianism Assessed'' [The Monist 102 (2019), 403--423], illustrating with a number of examples that the quantum ``interpretation'' Earman critiques and the interpretation known as QBism have almost nothing to do with each other.
△ Less
Submitted 28 December, 2020;
originally announced December 2020.
-
Low-threshold operation of GaAs-based (GaIn)As/Ga(AsSb)/(GaIn)As W-quantum well lasers emitting in the O-band
Authors:
Christian Fuchs,
Imad Limame,
Stefan Reinhard,
Jannik Lehr,
Jörg Hader,
Jerome V. Moloney,
Ada Bäumner,
Stephan W. Koch,
Wolfgang Stolz
Abstract:
The influence of the growth conditions as well as the device design on the device performance of (GaIn)As/Ga(AsSb)/(GaIn)As "W"-quantum well lasers is investigated. To this purpose, the epitaxy process is scaled to full two inch substrates for improved homogeneity while the growth process is carried out in a single run for an improved quality. Furthermore, the optical confinement factor is increas…
▽ More
The influence of the growth conditions as well as the device design on the device performance of (GaIn)As/Ga(AsSb)/(GaIn)As "W"-quantum well lasers is investigated. To this purpose, the epitaxy process is scaled to full two inch substrates for improved homogeneity while the growth process is carried out in a single run for an improved quality. Furthermore, the optical confinement factor is increased by increasing the aluminum concentration within the cladding layers to a value of 65%. The procedure is carried out for devices with emission wavelengths of 1.26 micrometer as well as 1.30 micrometer. Differential efficiencies as high as 58% and threshold current densities as low as 0.16 kA/cm^2 are observed in case of devices emitting at 1.26 micrometer at room temperature. Furthermore, excellent characteristic temperatures of T_0=(72 plus minus 5)K and T_1=(293 plus minus 16) K are recorded in the temperature range between 10 degree Celsius and 100 degree Celsius. Devices emitting at 1.30 micrometer exhibit differential efficiencies of 31% and threshold current densities of 0.50 kA/cm^2 at room temperature. Further improvements of these properties and wavelength extension schemes are briefly discssused.
△ Less
Submitted 20 December, 2020;
originally announced December 2020.
-
Temperature-dependent spectral properties of (GaIn)As/Ga(AsSb)/(GaIn)As W-quantum well heterostructure lasers
Authors:
Christian Fuchs,
Ada Baeumner,
Anja Brueggemann,
Christian Berger,
Christoph Moeller,
Stefan Reinhard,
Joerg Hader,
Jerome V. Moloney,
Stephan W. Koch,
Wolfgang Stolz
Abstract:
This paper discusses the temperature-dependent properties of (GaIn)As/Ga(AsSb)/(GaIn)As W-quantum well heterostructures for laser applications based on theoretical modeling as well as experimental findings. A microscopic theory is applied to discuss band bending effects giving rise to the characteristic blue shift with increasing charge carrier density observed in type-II heterostructures. Further…
▽ More
This paper discusses the temperature-dependent properties of (GaIn)As/Ga(AsSb)/(GaIn)As W-quantum well heterostructures for laser applications based on theoretical modeling as well as experimental findings. A microscopic theory is applied to discuss band bending effects giving rise to the characteristic blue shift with increasing charge carrier density observed in type-II heterostructures. Furthermore, gain spectra for a W-quantum well heterostructure are calculated up to high charge carrier densities. At these high charge carrier densities, the interplay between multiple type-II transitions results in broad and flat gain spectra with a spectral width of approximately 160 nm. Furthermore, the temperature-dependent properties of broad-area edge-emitting lasers are analyzed using electroluminescence as well as laser characteristic measurements. A first indication for the theoretically predicted broad gain spectra is presented and the interplay between the temperature-dependent red shift and the charge carrier density-dependent blue shift is discussed. A combination of these effects results in a significant reduction of the temperature-induced red shift of the emission wavelengths and even negative shift rates of (-0.10 plusminus 0.04) nm/K are achieved.
△ Less
Submitted 2 December, 2020;
originally announced December 2020.
-
Performance characteristics of low threshold current 1.25-μm type-II GaInAs/GaAsSb W-lasers for optical communications
Authors:
Dominic A. Duffy,
Igor P. Marko,
Christian Fuchs,
Timothy D. Eales,
Jannik Lehr,
Wolfgang Stolz,
Stephen J. Sweeney
Abstract:
Type-II W-lasers have made an important contribution to the development of mid-infrared laser diodes. In this paper, we show that a similar approach can yield high performance lasers in the optical communications wavelength range. (GaIn)As/Ga(AsSb) type-II W structures emitting at 1255 nm have been realised on a GaAs substrate and exhibit low room temperature threshold current densities of 200-300…
▽ More
Type-II W-lasers have made an important contribution to the development of mid-infrared laser diodes. In this paper, we show that a similar approach can yield high performance lasers in the optical communications wavelength range. (GaIn)As/Ga(AsSb) type-II W structures emitting at 1255 nm have been realised on a GaAs substrate and exhibit low room temperature threshold current densities of 200-300 Acm$^{-2}$, pulsed output powers exceeding 1 W for 100 $μ$m wide stripes, and a characteristic temperature T${_0}$${\approx}$90 K around room temperature. Optical gain studies indicate a high modal gain around 15-23 cm$^{-1}$ at 200-300 Acm$^{-2}$ and low optical losses of 8 ${\pm}$ 3 cm$^{-1}$. Analysis of the spontaneous emission indicates that at room temperature, up to 24% of the threshold current is due to radiative recombination, with the remaining current due to other thermally activated non-radiative processes. The observed decrease in differential quantum efficiency with increasing temperature suggests that this is primarily due to a carrier leakage process. The impact of these processes is discussed in terms of the potential for further device optimisation. Our results present strong figures of merit for near-infrared type-II laser diodes and indicate significant potential for their applications in optical communications.
△ Less
Submitted 29 November, 2020;
originally announced November 2020.
-
Oscillatory magnetic fields for neutron resonance spin-echo spectroscopy
Authors:
J. K. Jochum,
A. Hecht,
O. Soltwedel,
C. Fuchs,
J. Frank,
E. Faulhaber,
J. C. Leiner,
C. Pfleiderer,
C. Franz
Abstract:
The generation of high frequency oscillatory magnetic fields represents a fundamental component underlying the successful implementation of neutron resonant spin-echo spectrometers, a class of instrumentation critical for the high-resolution extraction of dynamical excitations (structural and magnetic) in materials. In this paper, the setup of the resonant circuits at the longitudinal resonant spi…
▽ More
The generation of high frequency oscillatory magnetic fields represents a fundamental component underlying the successful implementation of neutron resonant spin-echo spectrometers, a class of instrumentation critical for the high-resolution extraction of dynamical excitations (structural and magnetic) in materials. In this paper, the setup of the resonant circuits at the longitudinal resonant spin-echo spectrometer RESEDA is described in comprehensive technical detail. We demonstrate that these circuits are capable of functioning at frequencies up to 3.6 MHz and over a broad bandwidth down to 35 kHz using a combination of signal generators, amplifiers, impedance matching transformers, and a carefully designed cascade of tunable capacitors and customized coils.
△ Less
Submitted 27 November, 2020; v1 submitted 8 October, 2020;
originally announced October 2020.
-
Diophantine equations in separated variables and polynomial power sums
Authors:
Clemens Fuchs,
Sebastian Heintze
Abstract:
We consider Diophantine equations of the shape $ f(x) = g(y) $, where the polynomials $ f $ and $ g $ are elements of power sums. Using a finiteness criterion of Bilu and Tichy, we will prove that under suitable assumptions infinitely many rational solutions $ (x,y) $ with a bounded denominator are only possible in trivial cases.
We consider Diophantine equations of the shape $ f(x) = g(y) $, where the polynomials $ f $ and $ g $ are elements of power sums. Using a finiteness criterion of Bilu and Tichy, we will prove that under suitable assumptions infinitely many rational solutions $ (x,y) $ with a bounded denominator are only possible in trivial cases.
△ Less
Submitted 24 August, 2020;
originally announced August 2020.
-
A function field variant of Pillai's problem
Authors:
Clemens Fuchs,
Sebastian Heintze
Abstract:
In this paper, we consider a variant of Pillai's problem over function fields $ F $ in one variable over $ \mathbb{C} $. For given simple linear recurrence sequences $ G_n $ and $ H_m $, defined over $ F $ and satisfying some weak conditions, we will prove that the equation $ G_n - H_m = f $ has only finitely many solutions $ (n,m) \in \mathbb{N}^2 $ for any non-zero $ f \in F $, which can be effe…
▽ More
In this paper, we consider a variant of Pillai's problem over function fields $ F $ in one variable over $ \mathbb{C} $. For given simple linear recurrence sequences $ G_n $ and $ H_m $, defined over $ F $ and satisfying some weak conditions, we will prove that the equation $ G_n - H_m = f $ has only finitely many solutions $ (n,m) \in \mathbb{N}^2 $ for any non-zero $ f \in F $, which can be effectively bounded. Furthermore, we prove that under suitable assumptions there are only finitely many effectively computable $ f $ with more than one representation of the form $ G_n - H_m $.
△ Less
Submitted 24 August, 2020;
originally announced August 2020.
-
Integral zeros of a polynomial with linear recurrences as coefficients
Authors:
Clemens Fuchs,
Sebastian Heintze
Abstract:
Let $ K $ be a number field, $ S $ a finite set of places of $ K $, and $ \mathcal{O}_S $ be the ring of $ S $-integers. Moreover, let $$ G_n^{(0)} Z^d + \cdots + G_n^{(d-1)} Z + G_n^{(d)} $$ be a polynomial in $ Z $ having simple linear recurrences of integers evaluated at $ n $ as coefficients. Assuming some technical conditions we give a description of the zeros…
▽ More
Let $ K $ be a number field, $ S $ a finite set of places of $ K $, and $ \mathcal{O}_S $ be the ring of $ S $-integers. Moreover, let $$ G_n^{(0)} Z^d + \cdots + G_n^{(d-1)} Z + G_n^{(d)} $$ be a polynomial in $ Z $ having simple linear recurrences of integers evaluated at $ n $ as coefficients. Assuming some technical conditions we give a description of the zeros $ (n,z) \in \mathbb{N} \times \mathcal{O}_S $ of the above polynomial. We also give a result in the spirit of Hilbert irreducibility for such polynomials.
△ Less
Submitted 24 August, 2020;
originally announced August 2020.
-
Respecting One's Fellow: QBism's Analysis of Wigner's Friend
Authors:
John B. DeBrota,
Christopher A. Fuchs,
Ruediger Schack
Abstract:
According to QBism, quantum states, unitary evolutions, and measurement operators are all understood as personal judgments of the agent using the formalism. Meanwhile, quantum measurement outcomes are understood as the personal experiences of the same agent. Wigner's conundrum of the friend, in which two agents ostensibly have different accounts of whether or not there is a measurement outcome, th…
▽ More
According to QBism, quantum states, unitary evolutions, and measurement operators are all understood as personal judgments of the agent using the formalism. Meanwhile, quantum measurement outcomes are understood as the personal experiences of the same agent. Wigner's conundrum of the friend, in which two agents ostensibly have different accounts of whether or not there is a measurement outcome, thus poses no paradox for QBism. Indeed the resolution of Wigner's original thought experiment was central to the development of QBist thinking. The focus of this paper concerns two very instructive modifications to Wigner's puzzle: One, a recent no-go theorem by Frauchiger and Renner, and the other a thought experiment by Baumann and Brukner. We show that the paradoxical features emphasized in these works disappear once both friend and Wigner are understood as agents on an equal footing with regard to their individual uses of quantum theory. Wigner's action on his friend then becomes, from the friend's perspective, an action the friend takes on Wigner. Our analysis rests on a kind of quantum Copernican principle: When two agents take actions on each other, each agent has a dual role as a physical system for the other agent. No user of quantum theory is more privileged than any other. In contrast to the sentiment of Wigner's original paper, neither agent should be considered as in "suspended animation." In this light, QBism brings an entirely new perspective to understanding Wigner's friend thought experiments.
△ Less
Submitted 8 August, 2020;
originally announced August 2020.
-
A Polynomial Variant of Diophantine Triples in Linear Recurrences
Authors:
Clemens Fuchs,
Sebastian Heintze
Abstract:
Let $ (G_n)_{n=0}^{\infty} $ be a polynomial power sum, i.e. a simple linear recurrence sequence of complex polynomials with power sum representation $ G_n = f_1α_1^n + \cdots + f_kα_k^n $ and polynomial characteristic roots $ α_1,\ldots,α_k $. For a fixed polynomial $ p $, we consider triples $ (a,b,c) $ of pairwise distinct non-zero polynomials such that $ ab+p, ac+p, bc+p $ are elements of…
▽ More
Let $ (G_n)_{n=0}^{\infty} $ be a polynomial power sum, i.e. a simple linear recurrence sequence of complex polynomials with power sum representation $ G_n = f_1α_1^n + \cdots + f_kα_k^n $ and polynomial characteristic roots $ α_1,\ldots,α_k $. For a fixed polynomial $ p $, we consider triples $ (a,b,c) $ of pairwise distinct non-zero polynomials such that $ ab+p, ac+p, bc+p $ are elements of $ (G_n)_{n=0}^{\infty} $. We will prove that under a suitable dominant root condition there are only finitely many such triples if neither $ f_1 $ nor $ f_1 α_1 $ is a perfect square.
△ Less
Submitted 22 June, 2020;
originally announced June 2020.
-
Norm form equations with solutions taking values in a multi-recurrence
Authors:
Clemens Fuchs,
Sebastian Heintze
Abstract:
We are interested in solutions of a norm form equation that takes values in a given multi-recurrence. We show that among the solutions there are only finitely many values in each component which lie in the given multi-recurrence unless the recurrence is of precisely described exceptional shape. This gives a variant of the question on arithmetic progressions in the solution set of norm form equatio…
▽ More
We are interested in solutions of a norm form equation that takes values in a given multi-recurrence. We show that among the solutions there are only finitely many values in each component which lie in the given multi-recurrence unless the recurrence is of precisely described exceptional shape. This gives a variant of the question on arithmetic progressions in the solution set of norm form equations.
△ Less
Submitted 19 June, 2020;
originally announced June 2020.
-
On the growth of linear recurrences in function fields
Authors:
Clemens Fuchs,
Sebastian Heintze
Abstract:
Let $ (G_n)_{n=0}^{\infty} $ be a non-degenerate linear recurrence sequence with power sum representation $ G_n = a_1(n) α_1^n + \cdots + a_t(n) α_t^n $. In this paper we will prove a function field analogue of the well known result that in the number field case, under some non-restrictive conditions, for $ n $ large enough the inequality…
▽ More
Let $ (G_n)_{n=0}^{\infty} $ be a non-degenerate linear recurrence sequence with power sum representation $ G_n = a_1(n) α_1^n + \cdots + a_t(n) α_t^n $. In this paper we will prove a function field analogue of the well known result that in the number field case, under some non-restrictive conditions, for $ n $ large enough the inequality $ \vert G_n\vert \geq \left( \max_{j=1,\ldots,t} \vert α_j\vert \right)^{n(1-\varepsilon)} $ holds true.
△ Less
Submitted 19 June, 2020;
originally announced June 2020.
-
stochprofML: Stochastic Profiling Using Maximum Likelihood Estimation in R
Authors:
Lisa Amrhein,
Christiane Fuchs
Abstract:
Tissues are often heterogeneous in their single-cell molecular expression, and this can govern the regulation of cell fate. For the understanding of development and disease, it is important to quantify heterogeneity in a given tissue. We introduce the \proglang{R} package \pkg{stochprofML} which is designed to parameterize heterogeneity from the cumulative expression of small random pools of cells…
▽ More
Tissues are often heterogeneous in their single-cell molecular expression, and this can govern the regulation of cell fate. For the understanding of development and disease, it is important to quantify heterogeneity in a given tissue. We introduce the \proglang{R} package \pkg{stochprofML} which is designed to parameterize heterogeneity from the cumulative expression of small random pools of cells. This method outweighs the demixing of mixed samples with a saving in cost and effort and less measurement error. The approach uses the maximum likelihood principle and was originally presented in Bajikar et al.(2014); its extension to varying pool sizes was used in Tirier et al. (2019). We evaluate the algorithm's performance in simulation studies and present further application opportunities.
△ Less
Submitted 19 April, 2020;
originally announced April 2020.
-
Are Non-Boolean Event Structures the Precedence or Consequence of Quantum Probability?
Authors:
Christopher A. Fuchs,
Blake C. Stacey
Abstract:
In the last five years of his life Itamar Pitowsky developed the idea that the formal structure of quantum theory should be thought of as a Bayesian probability theory adapted to the empirical situation that Nature's events just so happen to conform to a non-Boolean algebra. QBism too takes a Bayesian stance on the probabilities of quantum theory, but its probabilities are the personal degrees of…
▽ More
In the last five years of his life Itamar Pitowsky developed the idea that the formal structure of quantum theory should be thought of as a Bayesian probability theory adapted to the empirical situation that Nature's events just so happen to conform to a non-Boolean algebra. QBism too takes a Bayesian stance on the probabilities of quantum theory, but its probabilities are the personal degrees of belief a sufficiently-schooled agent holds for the consequences of her actions on the external world. Thus QBism has two levels of the personal where the Pitowskyan view has one. The differences go further. Most important for the technical side of both views is the quantum mechanical Born Rule, but in the Pitowskyan development it is a theorem, not a postulate, arising in the way of Gleason from the primary empirical assumption of a non-Boolean algebra. QBism on the other hand strives to develop a way to think of the Born Rule in a pre-algebraic setting, so that it itself may be taken as the primary empirical statement of the theory. In other words, the hope in QBism is that, suitably understood, the Born Rule is quantum theory's most fundamental postulate, with the Hilbert space formalism (along with its perceived connection to a non-Boolean event structure) arising only secondarily. This paper will avail of Pitowsky's program, along with its extensions in the work of Jeffrey Bub and William Demopoulos, to better explicate QBism's aims and goals.
△ Less
Submitted 23 December, 2019;
originally announced December 2019.
-
Perfect powers in polynomial power sums
Authors:
Clemens Fuchs,
Sebastian Heintze
Abstract:
We prove that a non-degenerate simple linear recurrence sequence $ (G_n(x))_{n=0}^{\infty} $ of polynomials satisfying some further conditions cannot contain arbitrary large powers of polynomials if the order of the sequence is at least two. In other words we will show that for $ m $ large enough there is no polynomial $ h(x) $ of degree $ \geq 2 $ such that $ (h(x))^m $ is an element of…
▽ More
We prove that a non-degenerate simple linear recurrence sequence $ (G_n(x))_{n=0}^{\infty} $ of polynomials satisfying some further conditions cannot contain arbitrary large powers of polynomials if the order of the sequence is at least two. In other words we will show that for $ m $ large enough there is no polynomial $ h(x) $ of degree $ \geq 2 $ such that $ (h(x))^m $ is an element of $ (G_n(x))_{n=0}^{\infty} $. The bound for $ m $ depends here only on the sequence $ (G_n(x))_{n=0}^{\infty} $. In the binary case we prove even more. We show that then there is a bound $ C $ on the index $ n $ of the sequence $ (G_n(x))_{n=0}^{\infty} $ such that only elements with index $ n \leq C $ can be a proper power.
△ Less
Submitted 20 December, 2019;
originally announced December 2019.
-
Statistical inference for fractional diffusion process with random effects at discrete observations
Authors:
El Omari Mohamed,
Hamid El Maroufy,
Christiane Fuchs
Abstract:
This paper deals with the problem of inference associated with linear fractional diffusion process with random effects in the drift. In particular we are concerned with the maximum likelihood estimators (MLE) of the random effect parameters. First of all, we estimate the Hurst parameter H from one single subject. Second, assuming the Hurst index H is known, we derive the MLE and examine their asym…
▽ More
This paper deals with the problem of inference associated with linear fractional diffusion process with random effects in the drift. In particular we are concerned with the maximum likelihood estimators (MLE) of the random effect parameters. First of all, we estimate the Hurst parameter H from one single subject. Second, assuming the Hurst index H is known, we derive the MLE and examine their asymptotic behavior as the number of subjects under study becomes large, with random effects normally distributed.
△ Less
Submitted 3 December, 2019;
originally announced December 2019.
-
Yet another $S$-unit variant of Diophantine tuples
Authors:
Clemens Fuchs,
Sebastian Heintze
Abstract:
We show that there are only finitely many triples of integers $ 0 < a < b < c $ such that the product of any two of them is the value of a given polynomial with integer coefficients evaluated at an $ S $-unit that is also a positive integer. The proof is based on a result of Corvaja and Zannier and thus is ultimately a consequence of the Schmidt subspace theorem.
We show that there are only finitely many triples of integers $ 0 < a < b < c $ such that the product of any two of them is the value of a given polynomial with integer coefficients evaluated at an $ S $-unit that is also a positive integer. The proof is based on a result of Corvaja and Zannier and thus is ultimately a consequence of the Schmidt subspace theorem.
△ Less
Submitted 21 October, 2019;
originally announced October 2019.
-
Fault-Tolerant Nanosatellite Computing on a Budget
Authors:
Christian M. Fuchs,
Nadia Murillo,
Aske Plaat,
Erik Van der Kouwe,
Daniel Harsono,
Todor Stefanov
Abstract:
Micro- and nanosatellites have become popular platforms for a variety of commercial and scientific applications, but today are considered suitable mainly for short and low-priority space missions due to their low reliability. In part, this can be attributed to their reliance upon cheap, low-feature size, COTS components originally designed for embedded and mobile-market applications, for which tra…
▽ More
Micro- and nanosatellites have become popular platforms for a variety of commercial and scientific applications, but today are considered suitable mainly for short and low-priority space missions due to their low reliability. In part, this can be attributed to their reliance upon cheap, low-feature size, COTS components originally designed for embedded and mobile-market applications, for which traditional hardware-voting concepts are ineffective. Software-fault-tolerance concepts have been shown effective for such systems, but have largely been ignored by the space industry due to low maturity, as most have only been researched in theory. In practice, designers of payload instruments and miniaturized satellites are usually forced to sacrifice reliability in favor deliver the level of performance necessary for cutting-edge science and innovative commercial applications. Thus, we developed a software-fault-tolerance-approach based upon thread-level coarse-grain lockstep, which was validated using fault-injection. To offer strong long-term fault coverage, our architecture is implemented as tiled MPSoC on an FPGA, utilizing partial reconfiguration, as well as mixed criticality. This architecture can satisfy the high performance requirements of current and future scientific and commercial space missions at very low cost, while offering the strong fault-coverage guarantees necessary for platform control even for missions with a long duration. This architecture was developed for a 4-year ESA project. Together with two industrial partners, we are develo** a prototype to then undergo radiation testing.
△ Less
Submitted 20 March, 2019;
originally announced March 2019.
-
Dynamic Fault Tolerance Through Resource Pooling
Authors:
Christian M. Fuchs,
Nadia M. Murillo,
Aske Plaat,
Erik van der Kouwe,
Todor Stefanov
Abstract:
Miniaturized satellites are currently not considered suitable for critical, high-priority, and complex multi-phased missions, due to their low reliability. As hardware-side fault tolerance (FT) solutions designed for larger spacecraft can not be adopted aboard very small satellites due to budget, energy, and size constraints, we developed a hybrid FT-approach based upon only COTS components, commo…
▽ More
Miniaturized satellites are currently not considered suitable for critical, high-priority, and complex multi-phased missions, due to their low reliability. As hardware-side fault tolerance (FT) solutions designed for larger spacecraft can not be adopted aboard very small satellites due to budget, energy, and size constraints, we developed a hybrid FT-approach based upon only COTS components, commodity processor cores, library IP, and standard software. This approach facilitates fault detection, isolation, and recovery in software, and utilizes fault-coverage techniques across the embedded stack within an multiprocessor system-on-chip (MPSoC). This allows our FPGA-based proof-of-concept implementation to deliver strong fault-coverage even for missions with a long duration, but also to adapt to varying performance requirements during the mission. The operator of a spacecraft utilizing this approach can define performance profiles, which allow an on-board computer (OBC) to trade between processing capacity, fault coverage, and energy consumption using simple heuristics. The software-side FT approach developed also offers advantages if deployed aboard larger spacecraft through spare resource pooling, enabling an OBC to more efficiently handle permanent faults. This FT approach in part mimics a critical biological systems's way of tolerating and adjusting to failures, enabling graceful ageing of an MPSoC.
△ Less
Submitted 21 February, 2019;
originally announced February 2019.
-
Nonparametric estimation for fractional diffusion processes with random effects
Authors:
M. El Omari,
H. El Maroufy,
C. Fuchs
Abstract:
We propose a nonparametric estimation for a class of fractional stochastic differential equations (FSDE) with random effects. We precisely consider general linear fractional stochastic differential equations with drift depending on random effects and non-random diffusion. We build ordinary kernel estimators and histogram estimators and study their Lp-risk (p =1 or 2), when H>1/2. Asymptotic result…
▽ More
We propose a nonparametric estimation for a class of fractional stochastic differential equations (FSDE) with random effects. We precisely consider general linear fractional stochastic differential equations with drift depending on random effects and non-random diffusion. We build ordinary kernel estimators and histogram estimators and study their Lp-risk (p =1 or 2), when H>1/2. Asymptotic results are evaluated as both T = T(N) and N tend to infinity.
△ Less
Submitted 16 January, 2019;
originally announced January 2019.
-
The Varieties of Minimal Tomographically Complete Measurements
Authors:
John B. DeBrota,
Christopher A. Fuchs,
Blake C. Stacey
Abstract:
Minimal Informationally Complete quantum measurements, or MICs, illuminate the structure of quantum theory and how it departs from the classical. Central to this capacity is their role as tomographically complete measurements with the fewest possible number of outcomes for a given finite dimension. Despite their advantages, little is known about them. We establish general properties of MICs, explo…
▽ More
Minimal Informationally Complete quantum measurements, or MICs, illuminate the structure of quantum theory and how it departs from the classical. Central to this capacity is their role as tomographically complete measurements with the fewest possible number of outcomes for a given finite dimension. Despite their advantages, little is known about them. We establish general properties of MICs, explore constructions of several classes of them, and make some developments to the theory of MIC Gram matrices. These Gram matrices turn out to be a rich subject of inquiry, relating linear algebra, number theory and probability. Among our results are some equivalent conditions for unbiased MICs, a characterization of rank-1 MICs through the Hadamard product, several ways in which immediate properties of MICs capture the abandonment of classical phase space intuitions, and a numerical study of MIC Gram matrix spectra. We also present, to our knowledge, the first example of an unbiased rank-1 MIC which is not group covariant. This work provides further context to the discovery that the symmetric informationally complete quantum measurements (SICs) are in many ways optimal among MICs. In a deep sense, the ideal measurements of quantum physics are not orthogonal bases.
△ Less
Submitted 21 September, 2020; v1 submitted 20 December, 2018;
originally announced December 2018.
-
Composite polynomials in linear recurrence sequences
Authors:
Clemens Fuchs,
Christina Karolus
Abstract:
Let $(G_n(x))_{n=0}^\infty$ be a $d$-th order linear recurrence sequence having polynomial characteristic roots, one of which has degree strictly greater than the others. Moreover, let $m\geq 2$ be a given integer. We ask for $n\in\mathbb{N}$ such that the equation $G_n(x)=g\circ h$ is satisfied for a polynomial $g\in\mathbb{C}[x]$ with deg$g=m$ and some polynomial $h\in\mathbb{C}[x]$ with deg…
▽ More
Let $(G_n(x))_{n=0}^\infty$ be a $d$-th order linear recurrence sequence having polynomial characteristic roots, one of which has degree strictly greater than the others. Moreover, let $m\geq 2$ be a given integer. We ask for $n\in\mathbb{N}$ such that the equation $G_n(x)=g\circ h$ is satisfied for a polynomial $g\in\mathbb{C}[x]$ with deg$g=m$ and some polynomial $h\in\mathbb{C}[x]$ with deg$h>1$. We prove that for all but finitely many $n$ these decompositions can be described in "finite terms" coming from a generic decomposition parameterized by an algebraic variety. All data in this description will be shown to be effectively computable.
△ Less
Submitted 29 October, 2018;
originally announced October 2018.
-
Copenhagen Interpretation Delenda Est?
Authors:
Christopher A. Fuchs
Abstract:
This is a slightly extended version of a review of Adam Becker's book What is Real? The Unfinished Quest for the Meaning of Quantum Physics, to appear in American Journal of Physics. The key addition is the reference list.
This is a slightly extended version of a review of Adam Becker's book What is Real? The Unfinished Quest for the Meaning of Quantum Physics, to appear in American Journal of Physics. The key addition is the reference list.
△ Less
Submitted 11 November, 2018; v1 submitted 13 September, 2018;
originally announced September 2018.
-
Bayesian Inference for Diffusion Processes: Using Higher-Order Approximations for Transition Densities
Authors:
Susanne Pieschner,
Christiane Fuchs
Abstract:
Modelling random dynamical systems in continuous time, diffusion processes are a powerful tool in many areas of science. Model parameters can be estimated from time-discretely observed processes using Markov chain Monte Carlo (MCMC) methods that introduce auxiliary data. These methods typically approximate the transition densities of the process numerically, both for calculating the posterior dens…
▽ More
Modelling random dynamical systems in continuous time, diffusion processes are a powerful tool in many areas of science. Model parameters can be estimated from time-discretely observed processes using Markov chain Monte Carlo (MCMC) methods that introduce auxiliary data. These methods typically approximate the transition densities of the process numerically, both for calculating the posterior densities and proposing auxiliary data. Here, the Euler-Maruyama scheme is the standard approximation technique. However, the MCMC method is computationally expensive. Using higher-order approximations may accelerate it, but the specific implementation and benefit remain unclear. Hence, we investigate the utilisation and usefulness of higher-order approximations in the example of the Milstein scheme. Our study demonstrates that the MCMC methods based on the Milstein approximation yield good estimation results. However, they are computationally more expensive and can be applied to multidimensional processes only with impractical restrictions. Moreover, the combination of the Milstein approximation and the well-known modified bridge proposal introduces additional numerical challenges.
△ Less
Submitted 15 September, 2020; v1 submitted 6 June, 2018;
originally announced June 2018.
-
Symmetric Informationally Complete Measurements Identify the Irreducible Difference between Classical and Quantum Systems
Authors:
John B. DeBrota,
Christopher A. Fuchs,
Blake C. Stacey
Abstract:
We describe a general procedure for associating a minimal informationally-complete quantum measurement (or MIC) and a set of linearly independent post-measurement quantum states with a purely probabilistic representation of the Born Rule. Such representations are motivated by QBism, where the Born Rule is understood as a consistency condition between probabilities assigned to the outcomes of one e…
▽ More
We describe a general procedure for associating a minimal informationally-complete quantum measurement (or MIC) and a set of linearly independent post-measurement quantum states with a purely probabilistic representation of the Born Rule. Such representations are motivated by QBism, where the Born Rule is understood as a consistency condition between probabilities assigned to the outcomes of one experiment in terms of the probabilities assigned to the outcomes of other experiments. In this setting, the difference between quantum and classical physics is the way their physical assumptions augment bare probability theory: Classical physics corresponds to a trivial augmentation -- one just applies the Law of Total Probability (LTP) between the scenarios -- while quantum theory makes use of the Born Rule expressed in one or another of the forms of our general procedure. To mark the irreducible difference between quantum and classical, one should seek the representations that minimize the disparity between the expressions. We prove that the representation of the Born Rule obtained from a symmetric informationally-complete measurement (or SIC) minimizes this distinction in at least two senses -- the first to do with unitarily invariant distance measures between the rules, and the second to do with available volume in a reference probability simplex (roughly speaking a new kind of uncertainty principle). Both of these arise from a significant majorization result. This work complements recent studies in quantum computation where the deviation of the Born Rule from the LTP is measured in terms of negativity of Wigner functions.
△ Less
Submitted 16 December, 2023; v1 submitted 22 May, 2018;
originally announced May 2018.
-
Diophantine triples in linear recurrence sequences of Pisot type
Authors:
Clemens Fuchs,
Christoph Hutle,
Florian Luca
Abstract:
The study of Diophantine triples taking values in linear recurrence sequences is a variant of a problem going back to Diophantus of Alexandria which has been studied quite a lot in the past. The main questions are, as usual, about existence or finiteness of Diophantine triples in such sequences. Whilst the case of binary recurrence sequences is almost completely solved, not much was known about re…
▽ More
The study of Diophantine triples taking values in linear recurrence sequences is a variant of a problem going back to Diophantus of Alexandria which has been studied quite a lot in the past. The main questions are, as usual, about existence or finiteness of Diophantine triples in such sequences. Whilst the case of binary recurrence sequences is almost completely solved, not much was known about recurrence sequences of larger order, except for very specialized generalizations of the Fibonacci sequence. Now, we will prove that any linear recurrence sequence with the Pisot property contains only finitely many Diophantine triples, whenever the order is large and a few more not very restrictive conditions are met.
△ Less
Submitted 10 November, 2017;
originally announced November 2017.
-
Bringing Fault-Tolerant GigaHertz-Computing to Space: A Multi-Stage Software-Side Fault-Tolerance Approach for Miniaturized Spacecraft
Authors:
Christian M. Fuchs,
Todor Stefanov,
Nadia Murillo,
Aske Plaat
Abstract:
Modern embedded technology is a driving factor in satellite miniaturization, contributing to a massive boom in satellite launches and a rapidly evolving new space industry. Miniaturized satellites, however, suffer from low reliability, as traditional hardware-based fault-tolerance (FT) concepts are ineffective for on-board computers (OBCs) utilizing modern systems-on-a-chip (SoC). Therefore, large…
▽ More
Modern embedded technology is a driving factor in satellite miniaturization, contributing to a massive boom in satellite launches and a rapidly evolving new space industry. Miniaturized satellites, however, suffer from low reliability, as traditional hardware-based fault-tolerance (FT) concepts are ineffective for on-board computers (OBCs) utilizing modern systems-on-a-chip (SoC). Therefore, larger satellites continue to rely on proven processors with large feature sizes. Software-based concepts have largely been ignored by the space industry as they were researched only in theory, and have not yet reached the level of maturity necessary for implementation. We present the first integral, real-world solution to enable fault-tolerant general-purpose computing with modern multiprocessor-SoCs (MPSoCs) for spaceflight, thereby enabling their use in future high-priority space missions. The presented multi-stage approach consists of three FT stages, combining coarse-grained thread-level distributed self-validation, FPGA reconfiguration, and mixed criticality to assure long-term FT and excellent scalability for both resource constrained and critical high-priority space missions. Early benchmark results indicate a drastic performance increase over state-of-the-art radiation-hard OBC designs and considerably lower software- and hardware development costs. This approach was developed for a 4-year European Space Agency (ESA) project, and we are implementing a tiled MPSoC prototype jointly with two industrial partners.
△ Less
Submitted 23 August, 2017;
originally announced August 2017.
-
Preliminary Performance Estimations and Benchmark Results for a Software-based Fault-Tolerance Approach aboard Miniaturized Satellite Computers
Authors:
Christian M. Fuchs,
Todor Stefanov,
Nadia Murillo,
Aske Plaat
Abstract:
Modern embedded technology is a driving factor in satellite miniaturization, contributing to a massive boom in satellite launches and a rapidly evolving new space industry. Miniaturized satellites however suffer from low reliability, as traditional hardware-based fault-tolerance (FT) concepts are ineffective for on-board computers (OBCs) utilizing modern systems-on-a-chip (SoC). Larger satellites…
▽ More
Modern embedded technology is a driving factor in satellite miniaturization, contributing to a massive boom in satellite launches and a rapidly evolving new space industry. Miniaturized satellites however suffer from low reliability, as traditional hardware-based fault-tolerance (FT) concepts are ineffective for on-board computers (OBCs) utilizing modern systems-on-a-chip (SoC). Larger satellites therefore continue to rely on proven processors with large feature sizes. Software-based concepts have largely been ignored by the space industry as they were researched only in theory, and have not yet reached the level of maturity necessary for implementation. In related work, we presented the first integral, real-world solution to enable fault-tolerant general-purpose computing with modern multiprocessor-SoCs (MPSoCs) for spaceflight, thereby enabling their use in future high-priority space missions. The presented multi-stage approach consists of three FT stages, combining coarse-grained thread-level distributed self-validation, FPGA reconfiguration, and mixed criticality to assure long-term FT and excellent scalability for both resource constrained and critical high-priority space missions. As part of the ongoing implementation effort towards a hardware prototype, several software implementations were achieved and tested. This document contains an outline of the conducted tests, performance evaluation results, and supplementary information not included in the actual paper. It is being continuously expanded and updated.
△ Less
Submitted 22 July, 2017; v1 submitted 7 June, 2017;
originally announced June 2017.
-
A New 3D Segmentation Technique for QCT Scans of the Lumbar Spine to Determine BMD and Vertebral Geometry
Authors:
Andre Mastmeyer,
Klaus Engelke,
Christina Fuchs,
Willi Kalender
Abstract:
Quantitative computed tomography (QCT) is a standard method to determine bone mineral density (BMD) in the spine. Traditionally single 8 - 10 mm thick slices have been analyzed only. Current spiral CT scanners provide true 3D acquisition schemes allowing for a more differential BMD analysis and an assessment of geometric parameters, which may improve fracture prediction. We developed a novel 3D se…
▽ More
Quantitative computed tomography (QCT) is a standard method to determine bone mineral density (BMD) in the spine. Traditionally single 8 - 10 mm thick slices have been analyzed only. Current spiral CT scanners provide true 3D acquisition schemes allowing for a more differential BMD analysis and an assessment of geometric parameters, which may improve fracture prediction. We developed a novel 3D segmentation approach that combines deformable balloons, multi seeded volume growing, and dedicated morphological operations to extract the vertebral bodies. An anatomy-oriented coordinate system attached automatically to each vertebra is used to define volumes of interest. We analyzed intra-operator precision of the segmentation procedure using abdominal scans from 10 patients (60 mAs, 120 kV, slice thickness 1mm, B40s, Siemens Sensation 16). Our new segmentation method shows excellent precision errors in the order of < 1 % for BMD and < 2 % for volume.
△ Less
Submitted 19 May, 2017;
originally announced May 2017.
-
Notwithstanding Bohr, the Reasons for QBism
Authors:
Christopher A. Fuchs
Abstract:
Without Niels Bohr, QBism would be nothing. But QBism is not Bohr. This paper attempts to show that, despite a popular misconception, QBism is no minor tweak to Bohr's interpretation of quantum mechanics. It is something quite distinct. Along the way, we lay out three tenets of QBism in some detail: 1) The Born Rule---the foundation of what quantum theory means for QBism---is a normative statement…
▽ More
Without Niels Bohr, QBism would be nothing. But QBism is not Bohr. This paper attempts to show that, despite a popular misconception, QBism is no minor tweak to Bohr's interpretation of quantum mechanics. It is something quite distinct. Along the way, we lay out three tenets of QBism in some detail: 1) The Born Rule---the foundation of what quantum theory means for QBism---is a normative statement. It is about the decision-making behavior any individual agent should strive for; it is not a descriptive "law of nature" in the usual sense. 2) All probabilities, including all quantum probabilities, are so subjective they never tell nature what to do. This includes probability-1 assignments. Quantum states thus have no "ontic hold" on the world. 3) Quantum measurement outcomes just are personal experiences for the agent gambling upon them. Particularly, quantum measurement outcomes are not, to paraphrase Bohr, instances of "irreversible amplification in devices whose design is communicable in common language suitably refined by the terminology of classical physics." Finally, an explicit comparison is given between QBism and Bohr with regard to three subjects: a) The issue of the "detached observer" as it arose in a debate between Pauli and Bohr, b) Bohr's reply to Einstein, Podolsky, and Rosen, and c) Bohr's mature notion of "quantum phenomena." At the end, we discuss how Bohr's notion of phenomena may have something to offer the philosophy of William James: A physics from which to further develop his vision of the world---call it an ontology if you will---in which "new being comes in local spots and patches."
△ Less
Submitted 11 November, 2018; v1 submitted 9 May, 2017;
originally announced May 2017.
-
Negativity Bounds for Weyl-Heisenberg Quasiprobability Representations
Authors:
John B. DeBrota,
Christopher A. Fuchs
Abstract:
The appearance of negative terms in quasiprobability representations of quantum theory is known to be inevitable, and, due to its equivalence with the onset of contextuality, of central interest in quantum computation and information. Until recently, however, nothing has been known about how much negativity is necessary in a quasiprobability representation. Zhu proved that the upper and lower boun…
▽ More
The appearance of negative terms in quasiprobability representations of quantum theory is known to be inevitable, and, due to its equivalence with the onset of contextuality, of central interest in quantum computation and information. Until recently, however, nothing has been known about how much negativity is necessary in a quasiprobability representation. Zhu proved that the upper and lower bounds with respect to one type of negativity measure are saturated by quasiprobability representations which are in one-to-one correspondence with the elusive symmetric informationally complete quantum measurements (SICs). We define a family of negativity measures which includes Zhu's as a special case and consider another member of the family which we call "sum negativity." We prove a sufficient condition for local maxima in sum negativity and find exact global maxima in dimensions $3$ and $4$. Notably, we find that Zhu's result on the SICs does not generally extend to sum negativity, although the analogous result does hold in dimension $4$. Finally, the Hoggar lines in dimension $8$ make an appearance in a conjecture on sum negativity.
△ Less
Submitted 5 May, 2017; v1 submitted 23 March, 2017;
originally announced March 2017.
-
The SIC Question: History and State of Play
Authors:
Christopher A. Fuchs,
Michael C. Hoang,
Blake C. Stacey
Abstract:
Recent years have seen significant advances in the study of symmetric informationally complete (SIC) quantum measurements, also known as maximal sets of complex equiangular lines. Previously, the published record contained solutions up to dimension 67, and was with high confidence complete up through dimension 50. Computer calculations have now furnished solutions in all dimensions up to 151, and…
▽ More
Recent years have seen significant advances in the study of symmetric informationally complete (SIC) quantum measurements, also known as maximal sets of complex equiangular lines. Previously, the published record contained solutions up to dimension 67, and was with high confidence complete up through dimension 50. Computer calculations have now furnished solutions in all dimensions up to 151, and in several cases beyond that, as large as dimension 844. These new solutions exhibit an additional type of symmetry beyond the basic definition of a SIC, and so verify a conjecture of Zauner in many new cases. The solutions in dimensions 68 through 121 were obtained by Andrew Scott, and his catalogue of distinct solutions is, with high confidence, complete up to dimension 90. Additional results in dimensions 122 through 151 were calculated by the authors using Scott's code. We recap the history of the problem, outline how the numerical searches were done, and pose some conjectures on how the search technique could be improved. In order to facilitate communication across disciplinary boundaries, we also present a comprehensive bibliography of SIC research.
△ Less
Submitted 11 July, 2017; v1 submitted 22 March, 2017;
originally announced March 2017.
-
Decomposable polynomials in second order linear recurrence sequences
Authors:
Clemens Fuchs,
Christina Karolus,
Dijana Kreso
Abstract:
We study elements of second order linear recurrence sequences $(G_n)_{n= 0}^{\infty}$ of polynomials in $\mathbb{C}[x]$ which are decomposable, i.e. representable as $G_n=g\circ h$ for some $g, h\in \mathbb{C}[x]$ satisfying $\operatorname{deg}g,\operatorname{deg}h>1$. Under certain assumptions, and provided that $h$ is not of particular type, we show that $\operatorname{deg}g$ may be bounded by a…
▽ More
We study elements of second order linear recurrence sequences $(G_n)_{n= 0}^{\infty}$ of polynomials in $\mathbb{C}[x]$ which are decomposable, i.e. representable as $G_n=g\circ h$ for some $g, h\in \mathbb{C}[x]$ satisfying $\operatorname{deg}g,\operatorname{deg}h>1$. Under certain assumptions, and provided that $h$ is not of particular type, we show that $\operatorname{deg}g$ may be bounded by a constant independent of $n$, depending only on the sequence.
△ Less
Submitted 9 March, 2017;
originally announced March 2017.
-
QBism: Quantum Theory as a Hero's Handbook
Authors:
Christopher A. Fuchs,
Blake C. Stacey
Abstract:
This paper represents an elaboration of the lectures delivered by one of us (CAF) during "Course 197 -- Foundations of Quantum Physics" at the International School of Physics "Enrico Fermi" in Varenna, Italy, July 2016. Much of the material for it is drawn from arXiv:1003.5209, arXiv:1401.7254, and arXiv:1405.2390. However there are substantial additions of original material in Sections 4, 7, 8 an…
▽ More
This paper represents an elaboration of the lectures delivered by one of us (CAF) during "Course 197 -- Foundations of Quantum Physics" at the International School of Physics "Enrico Fermi" in Varenna, Italy, July 2016. Much of the material for it is drawn from arXiv:1003.5209, arXiv:1401.7254, and arXiv:1405.2390. However there are substantial additions of original material in Sections 4, 7, 8 and 9, along with clarifications and expansions of the older content throughout. Topics include the meaning of subjective probability; no-cloning, teleportation, and quantum tomography from the subjectivist Bayesian perspective; the message QBism receives from Bell inequality violations (namely, that nature is creative); the import of symmetric informationally complete (SIC) quantum measurements for the technical side of QBism; quantum cosmology QBist-style; and a potential meaning for the holographic principle within QBism.
△ Less
Submitted 26 July, 2019; v1 submitted 21 December, 2016;
originally announced December 2016.
-
Introducing the Qplex: A Novel Arena for Quantum Theory
Authors:
Marcus Appleby,
Christopher A. Fuchs,
Blake C. Stacey,
Huangjun Zhu
Abstract:
We reconstruct quantum theory starting from the premise that, as Asher Peres remarked, "Unperformed experiments have no results." The tools of modern quantum information theory, and in particular the symmetric informationally complete (SIC) measurements, provide a concise expression of how exactly Peres's dictum holds true. That expression is a constraint on how the probability distributions for o…
▽ More
We reconstruct quantum theory starting from the premise that, as Asher Peres remarked, "Unperformed experiments have no results." The tools of modern quantum information theory, and in particular the symmetric informationally complete (SIC) measurements, provide a concise expression of how exactly Peres's dictum holds true. That expression is a constraint on how the probability distributions for outcomes of different, mutually exclusive experiments mesh together, a type of constraint not foreseen in classical thinking. Taking this as our foundational principle, we show how to reconstruct the formalism of quantum theory in finite-dimensional Hilbert spaces. Along the way, we derive a condition for the existence of a d-dimensional SIC.
△ Less
Submitted 23 January, 2017; v1 submitted 9 December, 2016;
originally announced December 2016.
-
Band Offset in (Ga,In)As/Ga(As,Sb) Heterostructures
Authors:
S. Gies,
M. J. Weseloh,
C. Fuchs,
W. Stolz,
J. Hader,
J. V. Moloney,
S. W. Koch,
W. Heimbrodt
Abstract:
A series of (Ga,In)As/GaAs/Ga(As,Sb) multi-quantum well heterostructures is analyzed using temperature- and power-dependent photoluminescence (PL) spectroscopy. Pronounced PL variations with sample temperature are observed and analyzed using microscopic many-body theory and band structure calculations based on the k$\cdot$p method. This theory-experiment comparison reveals an unusual, temperature…
▽ More
A series of (Ga,In)As/GaAs/Ga(As,Sb) multi-quantum well heterostructures is analyzed using temperature- and power-dependent photoluminescence (PL) spectroscopy. Pronounced PL variations with sample temperature are observed and analyzed using microscopic many-body theory and band structure calculations based on the k$\cdot$p method. This theory-experiment comparison reveals an unusual, temperature dependent variation of the band alignment between the (Ga,In)As and Ga(As,Sb) quantum wells.
△ Less
Submitted 12 October, 2016;
originally announced October 2016.
-
Recombination dynamics of type-II excitons in (Ga,In)As/GaAs/Ga(As,Sb) heterostructures
Authors:
S. Gies,
B. Holz,
C. Fuchs,
W. Stolz,
W. Heimbrodt
Abstract:
(Ga,In)As/GaAs/Ga(As,Sb) multi-quantum well heterostructures have been investigated using continuous wave and time-resolved photoluminescence spectroscopy at various temperatures. A complex interplay was observed between the excitonic type-II transitions with electrons in the (Ga,In)As well and holes in the Ga(As,Sb) well and the type-I excitons in the (Ga,In)As and Ga(As,Sb) wells. The type-II lu…
▽ More
(Ga,In)As/GaAs/Ga(As,Sb) multi-quantum well heterostructures have been investigated using continuous wave and time-resolved photoluminescence spectroscopy at various temperatures. A complex interplay was observed between the excitonic type-II transitions with electrons in the (Ga,In)As well and holes in the Ga(As,Sb) well and the type-I excitons in the (Ga,In)As and Ga(As,Sb) wells. The type-II luminescence exhibits a strongly non-exponential temporal behavior below a critical temperature of Tc = 70K. The transients were analyzed in the framework of a rate-equation model. It was found that the exciton relaxation and hop** in the localized states of the disordered ternary Ga(As,Sb) are the decisive processes to describe the dynamics of the type-II excitons correctly.
△ Less
Submitted 29 September, 2016;
originally announced September 2016.
-
Gain spectroscopy of a type-II VECSEL chip
Authors:
Christian Lammers,
Markus Stein,
Christian Berger,
Christoph Möller,
Christian Fuchs,
Antje Ruiz Perez,
Arash Rahimi-Iman,
Jörg Hader,
Jerome Moloney,
Wolfgang Stolz,
Stephan W. Koch,
Martin Koch
Abstract:
Using optical pump-white light probe spectroscopy the gain dynamics is investigated for a VECSEL chip which is based on a type-II heterostructure. The active region the chip consists of a GaAs/(GaIn)As/Ga(AsSb)/(GaIn)As/GaAs multiple quantum well. For this structure, a fully microscopic theory predicts a modal room temperature gain at a wavelength of 1170 nm, which is confirmed by experimental spe…
▽ More
Using optical pump-white light probe spectroscopy the gain dynamics is investigated for a VECSEL chip which is based on a type-II heterostructure. The active region the chip consists of a GaAs/(GaIn)As/Ga(AsSb)/(GaIn)As/GaAs multiple quantum well. For this structure, a fully microscopic theory predicts a modal room temperature gain at a wavelength of 1170 nm, which is confirmed by experimental spectra. The results show a gain buildup on the type-II chip which is delayed relative to that of a type-I chip. This slower gain dynamics is attributed to a diminished cooling rate arising from reduced electron-hole scattering.
△ Less
Submitted 18 August, 2016;
originally announced August 2016.
-
Estimating the Dissemination of Social and Mobile Search in Categories of Information Needs Using Websites as Proxies
Authors:
Christoph Fuchs,
Akash Nayyar,
Ruth Nussbaumer,
Georg Groh
Abstract:
With the increasing popularity of social means to satisfy information needs using Social Media (e.g., Social Media Question Asking, SMQA) or Social Information Retrieval approaches, this paper tries to identify types of information needs which are inherently social and therefore better suited for those techniques. We describe an experiment where prominent websites from various content categories a…
▽ More
With the increasing popularity of social means to satisfy information needs using Social Media (e.g., Social Media Question Asking, SMQA) or Social Information Retrieval approaches, this paper tries to identify types of information needs which are inherently social and therefore better suited for those techniques. We describe an experiment where prominent websites from various content categories are used to represent their respective content area and allow to correlate attributes of the content areas. The underlying assumption is that successful websites for focused content areas perfectly align with the information seekers' requirements when satisfying information needs in the respective content areas. Based on a manually collected dataset of URLs from websites covering a broad range of topics taken from Alexa (http://www.alexa.com} (retrieved 2015-11-04)) (a company that publishes statistics about web traffic), a crowdsourcing approach is employed to rate the information needs that could get solved by the respective URLs according to several dimensions (incl. sociality and mobility) to investigate possible correlations with other attributes. Our results suggest that information needs which do not require a certain formal expertise play an important role in social information retrieval and that some content areas are better suited for social information retrieval (e.g., Factual Knowledge & News, Games, Lifestyle) than others (e.g., Health & Lifestyle).
△ Less
Submitted 7 July, 2016;
originally announced July 2016.
-
Non-equilibrium thermodynamics and collective vibrational modes of liquid water in an inhomogeneous electric field
Authors:
Adam D. Wexler,
Sandra Drusová,
Jakob Woisetschläger,
Elmar C. Fuchs
Abstract:
In this experiment liquid water is subject to an inhomogeneous electric field (${\nabla}^2 E_a {\approx} 10^{10} \frac{V}{m^2}$ ) using a high voltage (20 kV) point-plane electrode system. With interferometry it was found that the application of a strong electric field gradient to water generates local changes in the refractive index of the liquid, polarizes the surface and creates a downward movi…
▽ More
In this experiment liquid water is subject to an inhomogeneous electric field (${\nabla}^2 E_a {\approx} 10^{10} \frac{V}{m^2}$ ) using a high voltage (20 kV) point-plane electrode system. With interferometry it was found that the application of a strong electric field gradient to water generates local changes in the refractive index of the liquid, polarizes the surface and creates a downward moving electro-convective jet. A maximum temperature difference of 1 °C is measured in the immediate vicinity of the point electrode. Raman spectroscopy on water reveals an enhancement of the vibrational collective modes (3250 $cm^{-1}$) as well as an increase in the local mode (3490 $cm^{-1}$) energy. This bimodal enhancement indicates the spectral changes are not due to temperature. The intense field gradient thus establishes an excited subpopulation of vibrational oscillators far from thermal equilibrium. Delocalization of the collective vibrational mode spatially expands this excited population beyond the microscale. Hindered rotational freedom due to electric field pinning of molecular dipoles retards heat flow and generates a chemical potential gradient. These changes are responsible for the observed changes in refractive index and temperature. It is demonstrated that polar liquids can thus support local non-equilibrium thermodynamic transient states critical to biochemical and environmental processes.
△ Less
Submitted 25 March, 2016;
originally announced March 2016.