Related papers: Free Fall Frame to Demonstrate Weightlessness
The paper is devoted to the study of the motion of one-dimensional rigid bodies during a free fall in a quasi-Newtonian hyperviscous fluid at low Reynolds number. We show the existence of a steady solution and furnish sufficient conditions…
I analyze the change of the interference pattern in an optical interferometer when it passes from rest to free fall. It is shown that the "disconnection" of the gravitational field causes a jump in the phase difference that could be…
Entanglement witnesses provide a standard tool for the analysis of entanglement in experiments. We investigate possible nonlinear entanglement witnesses from several perspectives. First, we demonstrate that they can be used to show that the…
Certain lattice wave systems in translationally invariant settings have one or more spectral bands that are strictly flat or independent of momentum in the tight binding approximation, arising from either internal symmetries or fine-tuned…
Weak values are typically obtained experimentally by performing weak measurements, which involve weak interactions between the measured system and a probe. However, the determination of weak values does not necessarily require weak…
We show normalisation and decidability of convertibility for a type theory with a hierarchy of universes and a proof irrelevant type of propositions, close to the type system used in the proof assistant Lean. Contrary to previous arguments,…
The nearly-incessant free oscillations of the Earth (not the larger, long-lived normal modes seen following intense quakes) were first observed by accident in the record of a tilt-sensitive instrument designed to study surface physics.…
We propose here to look at how abstract a model of a usable system can be, but still say something useful and interesting, so this paper is an exercise in abstraction and formalisation, with usability-of-design as an example target use. We…
One of the striking properties of artificially structured materials is the negative refraction, an optical feature that known natural materials do not exhibit. Here, we propose a simple design, composed of two parallel layers of materials…
A proof of quantumness is a method for provably demonstrating (to a classical verifier) that a quantum device can perform computational tasks that a classical device with comparable resources cannot. Providing a proof of quantumness is the…
We show that the phenomenon of quantum contextuality can be used to certify lower bounds on the dimension accessed by the measurement devices. To prove this, we derive bounds for different dimensions and scenarios of the simplest…
The purpose of this paper is to give new examples of families of free singularities. We first show that a generic equidimensional subspace arrangement is free. Furthermore, we show that a product of two reduced Cohen-Macaulay subspaces is…
Understanding geometric relationships with little mathematical knowledge can be challenging for today's students and teachers. A new toolset is introduced that is able to create a proof without words by combining the benefits of the…
Bimetric variational formalism was recently employed to construct novel bimetric gravity models. In these models an affine connection is generated by an additional tensor field which is independent of the physical metric. In this work we…
Developing a general-purpose wearable real-time fall-detection system is still a challenging task, especially for healthy and strong subjects, such as industrial workers that work in harsh environments. In this work, we present a hybrid…
A general theory of presentations for d-frames does not yet exist. We review the difficulties and give sufficient conditions for when they can be overcome. As an application we prove that the category of d-frames is closed under coproducts.
This work presents an experimental design for studying low-velocity collisions into granular surfaces in low-gravity. In the experiment apparatus, reduced-gravity is simulated by releasing a free-falling projectile into a surface container…
Device independent dimension witnesses provide a lower bound on the dimensionality of classical and quantum systems in a "black box" scenario where only correlations between preparations, measurements and outcomes are considered. We address…
A goodness-of-fit test for the fitting of a parametric model to data obtained from a detector with finite resolution and limited acceptance is proposed. The parameters of the model are found by minimization of a statistic that is used for…
It is shown that the precession of a gyroscope can be used to elucidate the nature of the smoothness of the null infinity of an asymptotically flat spacetime (describing an isolated body). A model for which the effects of precession in the…