-
Decapodes: A Diagrammatic Tool for Representing, Composing, and Computing Spatialized Partial Differential Equations
Authors:
Luke Morris,
Andrew Baas,
Jesus Arias,
Maia Gatlin,
Evan Patterson,
James P. Fairbanks
Abstract:
We present Decapodes, a diagrammatic tool for representing, composing, and solving partial differential equations. Decapodes provides an intuitive diagrammatic representation of the relationships between variables in a system of equations, a method for composing systems of partial differential equations using an operad of wiring diagrams, and an algorithm for deriving solvers using hypergraphs and…
▽ More
We present Decapodes, a diagrammatic tool for representing, composing, and solving partial differential equations. Decapodes provides an intuitive diagrammatic representation of the relationships between variables in a system of equations, a method for composing systems of partial differential equations using an operad of wiring diagrams, and an algorithm for deriving solvers using hypergraphs and string diagrams. The string diagrams are in turn compiled into executable programs using the techniques of categorical data migration, graph traversal, and the discrete exterior calculus. The generated solvers produce numerical solutions consistent with state-of-the-art open source tools as demonstrated by benchmark comparisons with SU2. These numerical experiments demonstrate the feasibility of this approach to multiphysics simulation and identify areas requiring further development.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
On the accumulation points of non-periodic orbits of a difference equation of fourth order
Authors:
Antonio Linero Bas,
Víctor Mañosa,
Daniel Nieves Roldán
Abstract:
In this paper, we are interested in analyzing the dynamics of the fourth-order difference equation $x_{n+4} = \max\{x_{n+3},x_{n+2},x_{n+1},0\}-x_n$, with arbitrary real initial conditions. We fully determine the accumulation point sets of the non-periodic solutions that, in fact, are configured as proper compact intervals of the real line. This study complements the previous knowledge of the dyna…
▽ More
In this paper, we are interested in analyzing the dynamics of the fourth-order difference equation $x_{n+4} = \max\{x_{n+3},x_{n+2},x_{n+1},0\}-x_n$, with arbitrary real initial conditions. We fully determine the accumulation point sets of the non-periodic solutions that, in fact, are configured as proper compact intervals of the real line. This study complements the previous knowledge of the dynamics of the difference equation already achieved in [M. Csörnyei, M. Laczkovich, Monatsh. Math. 132 (2001), 215-236] and [A. Linero Bas, D. Nieves Roldán, J. Difference Equ. Appl. 27 (2021), no. 11, 1608-1645].
△ Less
Submitted 21 June, 2023;
originally announced June 2023.
-
Symmetry and nonlinearity of spin wave resonance excited by focused surface acoustic waves
Authors:
Piyush J. Shah,
Derek A. Bas,
Abbass Hamadeh,
Michael Wolf,
Andrew Franson,
Michael Newburger,
Philipp Pirro,
Mathias Weiler,
Michael R. Page
Abstract:
The use of a complex ferromagnetic system to manipulate GHz surface acoustic waves is a rich current topic under investigation, but the high-power nonlinear regime is under-explored. We introduce focused surface acoustic waves, which provide a way to access this regime with modest equipment. Symmetry of the magneto-acoustic interaction can be tuned by interdigitated transducer design which can int…
▽ More
The use of a complex ferromagnetic system to manipulate GHz surface acoustic waves is a rich current topic under investigation, but the high-power nonlinear regime is under-explored. We introduce focused surface acoustic waves, which provide a way to access this regime with modest equipment. Symmetry of the magneto-acoustic interaction can be tuned by interdigitated transducer design which can introduce additional strain components. Here, we compare the impact of focused acoustic waves versus standard unidirectional acoustic waves in significantly enhancing the magnon-phonon coupling behavior. Analytical simulation results based on modified Landau-Lifshitz-Gilbert theory show good agreement with experimental findings. We also report nonlinear input power dependence of the transmission through the device. This experimental observation is supported by the micromagnetic simulation using mumax3 to model the nonlinear dependence. These results pave the way for extending the understanding and design of acoustic wave devices for exploration of acoustically driven spin wave resonance physics.
△ Less
Submitted 10 May, 2023;
originally announced May 2023.
-
On the relationship between Lozi maps and max-type difference equations
Authors:
Antonio Linero Bas,
Daniel Nieves Roldán
Abstract:
In the present work we revise a transformation that links generalized Lozi maps with max-type difference equations. In this view, according to the technique of topological conjugation, we relate the dynamics of a concrete Lozi map with a complete uniparametric family of max-equations, and we apply this fact to investigate the dynamics of two particular families. Moreover, we present some numerical…
▽ More
In the present work we revise a transformation that links generalized Lozi maps with max-type difference equations. In this view, according to the technique of topological conjugation, we relate the dynamics of a concrete Lozi map with a complete uniparametric family of max-equations, and we apply this fact to investigate the dynamics of two particular families. Moreover, we present some numerical simulations related to the topic and, finally, we propose some open problems that look into the relationship established between generalized Lozi maps and max-equations.
△ Less
Submitted 8 September, 2022;
originally announced September 2022.
-
A diagrammatic view of differential equations in physics
Authors:
Evan Patterson,
Andrew Baas,
Timothy Hosgood,
James Fairbanks
Abstract:
Presenting systems of differential equations in the form of diagrams has become common in certain parts of physics, especially electromagnetism and computational physics. In this work, we aim to put such use of diagrams on a firm mathematical footing, while also systematizing a broadly applicable framework to reason formally about systems of equations and their solutions. Our main mathematical too…
▽ More
Presenting systems of differential equations in the form of diagrams has become common in certain parts of physics, especially electromagnetism and computational physics. In this work, we aim to put such use of diagrams on a firm mathematical footing, while also systematizing a broadly applicable framework to reason formally about systems of equations and their solutions. Our main mathematical tools are category-theoretic diagrams, which are well known, and morphisms between diagrams, which have been less appreciated. As an application of the diagrammatic framework, we show how complex, multiphysical systems can be modularly constructed from basic physical principles. A wealth of examples, drawn from electromagnetism, transport phenomena, fluid mechanics, and other fields, is included.
△ Less
Submitted 17 June, 2022; v1 submitted 1 April, 2022;
originally announced April 2022.
-
An Algebraic Framework for Structured Epidemic Modeling
Authors:
Sophie Libkind,
Andrew Baas,
Micah Halter,
Evan Patterson,
James Fairbanks
Abstract:
Pandemic management requires that scientists rapidly formulate and analyze epidemiological models in order to forecast the spread of disease and the effects of mitigation strategies. Scientists must modify existing models and create novel ones in light of new biological data and policy changes such as social distancing and vaccination. Traditional scientific modeling workflows detach the structure…
▽ More
Pandemic management requires that scientists rapidly formulate and analyze epidemiological models in order to forecast the spread of disease and the effects of mitigation strategies. Scientists must modify existing models and create novel ones in light of new biological data and policy changes such as social distancing and vaccination. Traditional scientific modeling workflows detach the structure of a model -- its submodels and their interactions -- from its implementation in software. Consequently, incorporating local changes to model components may require global edits to the code-base through a manual, time-intensive, and error-prone process. We propose a compositional modeling framework that uses high-level algebraic structures to capture domain-specific scientific knowledge and bridge the gap between how scientists think about models and the code that implements them. These algebraic structures, grounded in applied category theory, simplify and expedite modeling tasks such as model specification, stratification, analysis, and calibration. With their structure made explicit, models also become easier to communicate, criticize, and refine in light of stakeholder feedback.
△ Less
Submitted 7 May, 2022; v1 submitted 28 February, 2022;
originally announced March 2022.
-
Higher Algebraic Structures and General Field Theories
Authors:
Nils A. Baas
Abstract:
In this paper we show how the hyperstructure concept leads to new algebraic structures and general field theories.
In this paper we show how the hyperstructure concept leads to new algebraic structures and general field theories.
△ Less
Submitted 29 August, 2023; v1 submitted 17 November, 2021;
originally announced November 2021.
-
Periods of a max-type equation
Authors:
Antonio Linero Bas,
Daniel Nieves Roldán
Abstract:
We consider the max-type equation $$x_{n+4}=\max\{x_{n+3},x_{n+2},x_{n+1},0\}-x_n,$$ with arbitrary real initial conditions. We describe completely its set of periods $\mathrm{Per}(F_4)$, as well as its associate periodic orbits. We also prove that there exists a natural number $N\notin\mathrm{Per}(F_4)$ for which $$\left\{N+m:m\geq 1,m\in\mathbb N\right\}\subset\mathrm{Per}(F_4).$$
We consider the max-type equation $$x_{n+4}=\max\{x_{n+3},x_{n+2},x_{n+1},0\}-x_n,$$ with arbitrary real initial conditions. We describe completely its set of periods $\mathrm{Per}(F_4)$, as well as its associate periodic orbits. We also prove that there exists a natural number $N\notin\mathrm{Per}(F_4)$ for which $$\left\{N+m:m\geq 1,m\in\mathbb N\right\}\subset\mathrm{Per}(F_4).$$
△ Less
Submitted 2 November, 2021;
originally announced November 2021.
-
Reproducing size distributions of swarms of barchan dunes on Mars and Earth using a mean-field model
Authors:
Dominic T Robson,
Alessia Annibale,
Andreas CW Baas
Abstract:
We apply a mean-field model of interactions between migrating barchan dunes, the CAFE model, which includes spontaneous calving, aggregation, fragmentation, and mass-exchange, yielding a steady-state size distribution that can be resolved for different choices of interaction parameters. The CAFE model is applied to empirically measured distributions of dune sizes in two barchan swarms in the north…
▽ More
We apply a mean-field model of interactions between migrating barchan dunes, the CAFE model, which includes spontaneous calving, aggregation, fragmentation, and mass-exchange, yielding a steady-state size distribution that can be resolved for different choices of interaction parameters. The CAFE model is applied to empirically measured distributions of dune sizes in two barchan swarms in the north circumpolar region of Mars, three swarms in Morocco, and one in Mauritania, each containing more than 1000 bedforms. When the sizes of bedforms are rescaled by the mean size in each zone two attractor states appear, with the Tarfaya zones all displaying a common distribution and the Martian and Mauritanian zones sharing a different distribution. Comparison of these attractor states with the outputs of the CAFE model reveals that the Tarfaya-type distribution results from a preference for aggregation and fragmentation interactions whereas the Mars-Mauritania distribution is more likely a result of exchange-dominated interactions. We observe that there appears to be a greater number of collisions happening in Tarfaya than in the other areas which is consistent with a greater rate of aggregation-fragmentation processes as suggested by our model. Our comparison with the CAFE model also predicts a universal rule for the outputs of the different types of interactions with exchange interactions favouring the production of two dunes roughly equal in size. Fragmentation interactions often result in three bedforms with volumes approximately in the ratio 1:1:2. Finally, we find that spontaneous calving of dunes does not play an important role in sha** the size distributions in barchan swarms.
△ Less
Submitted 15 August, 2022; v1 submitted 29 October, 2021;
originally announced October 2021.
-
Operadic Modeling of Dynamical Systems: Mathematics and Computation
Authors:
Sophie Libkind,
Andrew Baas,
Evan Patterson,
James Fairbanks
Abstract:
Dynamical systems are ubiquitous in science and engineering as models of phenomena that evolve over time. Although complex dynamical systems tend to have important modular structure, conventional modeling approaches suppress this structure. Building on recent work in applied category theory, we show how deterministic dynamical systems, discrete and continuous, can be composed in a hierarchical sty…
▽ More
Dynamical systems are ubiquitous in science and engineering as models of phenomena that evolve over time. Although complex dynamical systems tend to have important modular structure, conventional modeling approaches suppress this structure. Building on recent work in applied category theory, we show how deterministic dynamical systems, discrete and continuous, can be composed in a hierarchical style. In mathematical terms, we reformulate some existing operads of wiring diagrams and introduce new ones, using the general formalism of C-sets (copresheaves). We then establish dynamical systems as algebras of these operads. In a computational vein, we show that Euler's method is functorial for undirected systems, extending a previous result for directed systems. All of the ideas in this paper are implemented as practical software using Catlab and the AlgebraicJulia ecosystem, written in the Julia programming language for scientific computing.
△ Less
Submitted 3 November, 2022; v1 submitted 25 May, 2021;
originally announced May 2021.
-
A combined model of aggregation, fragmentation, and exchange processes: insights from analytical calculations
Authors:
Dominic T Robson,
Andreas CW Baas,
Alessia Annibale
Abstract:
We introduce a mean-field framework for the study of systems of interacting particles sharing a conserved quantity. The work generalises and unites the existing fields of asset-exchange models, often applied to socio-economic systems, and aggregation-fragmentation models, typically used in modelling the dynamics of clusters. An initial model includes only two-body collisions, which is then extende…
▽ More
We introduce a mean-field framework for the study of systems of interacting particles sharing a conserved quantity. The work generalises and unites the existing fields of asset-exchange models, often applied to socio-economic systems, and aggregation-fragmentation models, typically used in modelling the dynamics of clusters. An initial model includes only two-body collisions, which is then extended to include many-body collisions and spontaneous fragmentation. We derive self-consistency equations for the steady-state distribution, which can be solved using a population dynamics algorithm, as well as a full solution for the time evolution of the moments, corroborated with numerical simulations. The generality of the model makes it applicable to many problems and allows for the study of systems exhibiting more complex interactions that those typically considered. The work is relevant to the modelling of barchan dune fields in which interactions between the bedforms and spontaneous fragmentation due to changes in the wind are thought to lead to size-selection. Our work could also be applied in finding wealth distributions when agents can both combine assets as well as split into multiple subsidiaries.
△ Less
Submitted 7 April, 2021;
originally announced April 2021.
-
AfriKI: Machine-in-the-Loop Afrikaans Poetry Generation
Authors:
Imke van Heerden,
Anil Bas
Abstract:
This paper proposes a generative language model called AfriKI. Our approach is based on an LSTM architecture trained on a small corpus of contemporary fiction. With the aim of promoting human creativity, we use the model as an authoring tool to explore machine-in-the-loop Afrikaans poetry generation. To our knowledge, this is the first study to attempt creative text generation in Afrikaans.
This paper proposes a generative language model called AfriKI. Our approach is based on an LSTM architecture trained on a small corpus of contemporary fiction. With the aim of promoting human creativity, we use the model as an authoring tool to explore machine-in-the-loop Afrikaans poetry generation. To our knowledge, this is the first study to attempt creative text generation in Afrikaans.
△ Less
Submitted 30 March, 2021;
originally announced March 2021.
-
Exploring Transformers in Natural Language Generation: GPT, BERT, and XLNet
Authors:
M. Onat Topal,
Anil Bas,
Imke van Heerden
Abstract:
Recent years have seen a proliferation of attention mechanisms and the rise of Transformers in Natural Language Generation (NLG). Previously, state-of-the-art NLG architectures such as RNN and LSTM ran into vanishing gradient problems; as sentences grew larger, distance between positions remained linear, and sequential computation hindered parallelization since sentences were processed word by wor…
▽ More
Recent years have seen a proliferation of attention mechanisms and the rise of Transformers in Natural Language Generation (NLG). Previously, state-of-the-art NLG architectures such as RNN and LSTM ran into vanishing gradient problems; as sentences grew larger, distance between positions remained linear, and sequential computation hindered parallelization since sentences were processed word by word. Transformers usher in a new era. In this paper, we explore three major Transformer-based models, namely GPT, BERT, and XLNet, that carry significant implications for the field. NLG is a burgeoning area that is now bolstered with rapid developments in attention mechanisms. From poetry generation to summarization, text generation derives benefit as Transformer-based language models achieve groundbreaking results.
△ Less
Submitted 16 February, 2021;
originally announced February 2021.
-
Curvature Invariants for the Alcubierre and Natário Warp Drives
Authors:
Brandon Mattingly,
Abinash Kar,
Matthew Gorban,
William Julius,
Cooper Watson,
MD Ali,
Andrew Baas,
Caleb Elmore,
Jeff Lee,
Bahram Shakerin,
Eric Davis,
Gerald Cleaver
Abstract:
A process for using curvature invariants is applied to evaluate the metrics for the Alcubierre and the Natario warp drives at a constant velocity.Curvature invariants are independent of coordinate bases, so plotting these invariants will be free of coordinate map** distortions. As a consequence, they provide a novel perspective into complex spacetimes such as warp drives. Warp drives are the the…
▽ More
A process for using curvature invariants is applied to evaluate the metrics for the Alcubierre and the Natario warp drives at a constant velocity.Curvature invariants are independent of coordinate bases, so plotting these invariants will be free of coordinate map** distortions. As a consequence, they provide a novel perspective into complex spacetimes such as warp drives. Warp drives are the theoretical solutions to Einstein's field equations that allow the possibility for faster-than-light (FTL) travel. While their mathematics is well established, the visualisation of such spacetimes is unexplored. This paper uses the methods of computing and plotting the warp drive curvature invariants to reveal these spacetimes. The warp drive parameters of velocity, skin depth and radius are varied individually and then plotted to see each parameter's unique effect on the surrounding curvature. For each warp drive, this research shows a safe harbor and how the shape function forms the warp bubble. The curvature plots for the constant velocity Natario warp drive do not contain a wake or a constant curvature indicating that these are unique features of the accelerating Natario warp drive.
△ Less
Submitted 14 April, 2021; v1 submitted 26 October, 2020;
originally announced October 2020.
-
What does the world look like according to superdeterminism?
Authors:
Augustin Baas,
Baptiste Le Bihan
Abstract:
The violation of Bell inequalities seems to establish an important fact about the world: that it is non-local. However, this result relies on the assumption of the statistical independence of the measurement settings with respect to potential past events that might have determined them. Superdeterminism refers to the view that a local, and determinist, account of Bell inequalities violations is po…
▽ More
The violation of Bell inequalities seems to establish an important fact about the world: that it is non-local. However, this result relies on the assumption of the statistical independence of the measurement settings with respect to potential past events that might have determined them. Superdeterminism refers to the view that a local, and determinist, account of Bell inequalities violations is possible, by rejecting this assumption of statistical independence. We examine and clarify various problems with superdeterminism, looking in particular at its consequences on the nature of scientific laws and scientific reasoning. We argue that the view requires a neo-Humean account of at least some laws, and creates a significant problem for the use of statistical independence in other parts of physics and science more generally.
△ Less
Submitted 29 September, 2020;
originally announced September 2020.
-
Curvature Invariants for the Accelerating Natario Warp Drive
Authors:
B. Mattingly,
A. Kar,
M. Gorban,
W. Julius,
C. K. Watson,
M. D. Ali,
A. Baas,
C. Elmore,
J. S. Lee,
B. Shakerin,
E. W. Davis,
G. B. Cleaver
Abstract:
A process for using curvature invariants is applied to evaluate the accelerating Natario warp drive. Curvature invariants are independent of coordinate bases and plotting the invariants is free of coordinate map** distortions. While previous works focus mainly on the mathematical description of the warp bubble, plotting curvature invariants provides a novel pathway to investigate the Natário spa…
▽ More
A process for using curvature invariants is applied to evaluate the accelerating Natario warp drive. Curvature invariants are independent of coordinate bases and plotting the invariants is free of coordinate map** distortions. While previous works focus mainly on the mathematical description of the warp bubble, plotting curvature invariants provides a novel pathway to investigate the Natário spacetime and its characteristics. For warp drive spacetimes, there are four independent curvature invariants the Ricci scalar, r_1, r_2, and w_2. The invariant plots demonstrate how each curvature invariant evolves over the parameters of time, acceleration, skin depth and radius of the warp bubble. They show that the Ricci scalar has the greatest impact of the invariants on the surrounding spacetime. They also reveal key features of the Natario warp bubble such as a flat harbor in the center of it, a dynamic wake, and the internal structures of the warp bubble.
△ Less
Submitted 28 September, 2020; v1 submitted 7 August, 2020;
originally announced August 2020.
-
Compositional Scientific Computing with Catlab and SemanticModels
Authors:
Micah Halter,
Evan Patterson,
Andrew Baas,
James Fairbanks
Abstract:
Scientific computing is currently performed by writing domain specific modeling frameworks for solving special classes of mathematical problems. Since applied category theory provides abstract reasoning machinery for describing and analyzing diverse areas of math, it is a natural platform for building generic and reusable software components for scientific computing. We present Catlab.jl, which pr…
▽ More
Scientific computing is currently performed by writing domain specific modeling frameworks for solving special classes of mathematical problems. Since applied category theory provides abstract reasoning machinery for describing and analyzing diverse areas of math, it is a natural platform for building generic and reusable software components for scientific computing. We present Catlab.jl, which provides the category-theoretic infrastructure for this project, together with SemanticModels.jl, which leverages this infrastructure for particular modeling tasks. This approach enhances and automates scientific computing workflows by applying recent advances in mathematical modeling of interconnected systems as cospan algebras.
△ Less
Submitted 29 June, 2020; v1 submitted 10 May, 2020;
originally announced May 2020.
-
Giant Nonreciprocity of Surface Acoustic Waves enabled by the Magnetoelastic Interaction
Authors:
Piyush J. Shah,
Derek A. Bas,
Ivan Lisenkov,
Alexei Matyushov,
Nianxiang Sun,
Michael R. Page
Abstract:
Nonreciprocity, the defining characteristic of isolators, circulators and a wealth of other applications in radio/microwave communications technologies, is in general difficult to achieve as most physical systems incorporate symmetries that prevent the effect. In particular, acoustic waves are an important medium for information transport, but they are inherently symmetric in time. In this work, w…
▽ More
Nonreciprocity, the defining characteristic of isolators, circulators and a wealth of other applications in radio/microwave communications technologies, is in general difficult to achieve as most physical systems incorporate symmetries that prevent the effect. In particular, acoustic waves are an important medium for information transport, but they are inherently symmetric in time. In this work, we report giant nonreciprocity in the transmission of surface acoustic waves (SAWs) on lithium niobate substrate coated with ferromagnet/insulator/ferromagnet (FeGaB/Al2O3/FeGaB) multilayer structure. We exploit this novel structure with a unique asymmetric band diagram, and expand on magnetoelastic coupling theory to show how the magnetic bands couple with acoustic waves only in a single direction. We measure 48.4 dB (ratio of 1:100,000) isolation which outperforms current state of the art microwave isolator devices in a novel acoustic wave system that facilitates unprecedented size, weight, and power reduction. Additionally, these results offer a promising platform to study nonreciprocal SAW devices.
△ Less
Submitted 29 April, 2020;
originally announced April 2020.
-
Minimal non uniquely ergodic flipped IETs
Authors:
A. Linero Bas,
G. Soler López
Abstract:
In this paper we prove the existence of minimal non uniquely ergodic flipped IETs. In particular, we build explicitly minimal non uniquely ergodic $(10,k)$-IETs for any $1\leq k \leq 10$. This answers an open question posed in [C.~Gutierrez, S.~Lloyd, V.~Medvedev, B.~Pires, and E.~Zhuzhoma.Transitive circle exchange transformations with flips. Discrete Contin. Dyn. Syst.,26 (1):251--263, 2010]. As…
▽ More
In this paper we prove the existence of minimal non uniquely ergodic flipped IETs. In particular, we build explicitly minimal non uniquely ergodic $(10,k)$-IETs for any $1\leq k \leq 10$. This answers an open question posed in [C.~Gutierrez, S.~Lloyd, V.~Medvedev, B.~Pires, and E.~Zhuzhoma.Transitive circle exchange transformations with flips. Discrete Contin. Dyn. Syst.,26 (1):251--263, 2010]. As a consequence, we also derive the existence of transitive non uniquely ergodic $(n,k)$-IETs, for any $n\geq 10$ and $1\leq k\leq n$ if $n$ is even, and $1\leq k\leq n-1$ if $n$ is odd.
△ Less
Submitted 29 January, 2020;
originally announced January 2020.
-
Computing odd periods of alternating systems of affine circle maps
Authors:
J. S. Cánovas Peña,
A. Linero Bas,
G. Soler López
Abstract:
Let $f,g$ be affine circle maps and let $[f,g]$ be the alternating system generated by $f$ and $g$. We present an algorithm to compute the periodic structure of $[f,g]$.
Let $f,g$ be affine circle maps and let $[f,g]$ be the alternating system generated by $f$ and $g$. We present an algorithm to compute the periodic structure of $[f,g]$.
△ Less
Submitted 27 September, 2019;
originally announced September 2019.
-
Curvature Invariants for Lorentzian Traversable Wormholes
Authors:
B. Mattingly,
A. Kar,
W. Julius,
M. Gorban,
C. Watson,
M. D. Ali,
A. Baas,
C. Elmore,
B. Shakerin,
E. W. Davis,
G. B. Cleaver
Abstract:
A process for using curvature invariants is applied as a new means to evaluate the traversability of Lorentzian wormholes and to display the wormhole spacetime manifold. This approach was formulated by Henry, Overduin and Wilcomb for Black Holes in Reference [1]. Curvature invariants are independent of coordinate basis, so the process is free of coordinate map** distortions and the same regardle…
▽ More
A process for using curvature invariants is applied as a new means to evaluate the traversability of Lorentzian wormholes and to display the wormhole spacetime manifold. This approach was formulated by Henry, Overduin and Wilcomb for Black Holes in Reference [1]. Curvature invariants are independent of coordinate basis, so the process is free of coordinate map** distortions and the same regardless of your chosen coordinates. The four independent Carminati and McLenaghan (CM) invariants are calculated and the non-zero curvature invariant functions are plotted. Three example traversable wormhole metrics (i) spherically symmetric Morris and Thorne, (ii) thin-shell Schwarzschild wormholes, and (iii) the exponential metric are investigated and are demonstrated to be traversable.
△ Less
Submitted 7 March, 2019; v1 submitted 28 June, 2018;
originally announced June 2018.
-
A Mathematical Approach to the Hierarchical Structure of Languages
Authors:
Nils A. Baas
Abstract:
In this paper we suggest how the mathematical concept of hyperstructures may be a useful tool in the study of the higher, hierachical structure of languages.
In this paper we suggest how the mathematical concept of hyperstructures may be a useful tool in the study of the higher, hierachical structure of languages.
△ Less
Submitted 13 June, 2018;
originally announced June 2018.
-
On the Mathematics of Higher Structures
Authors:
Nils A. Baas
Abstract:
In this paper we will relate hyperstructures and the general $\mathscr{H}$-principle to known mathematical structures, and also discuss how they may give rise to new mathematical structures. The main purpose is to point out new ideas and directions of investigation.
In this paper we will relate hyperstructures and the general $\mathscr{H}$-principle to known mathematical structures, and also discuss how they may give rise to new mathematical structures. The main purpose is to point out new ideas and directions of investigation.
△ Less
Submitted 14 May, 2019; v1 submitted 11 May, 2018;
originally announced May 2018.
-
On the Philosophy of Higher Structures
Authors:
Nils A. Baas
Abstract:
The purpose of this paper is to describe and elaborate the philosophical ideas behind hyperstructures and structure formation in general and emphasize the key ideas of the Hyperstructure Program.
The purpose of this paper is to describe and elaborate the philosophical ideas behind hyperstructures and structure formation in general and emphasize the key ideas of the Hyperstructure Program.
△ Less
Submitted 20 March, 2019; v1 submitted 11 May, 2018;
originally announced May 2018.
-
Topology and Higher Concurrencies
Authors:
Nils A. Baas
Abstract:
We formulate a general approach to higher concurrencies in general and neural codes in particular, and suggest how the higher order aspects may be dealt with in using topology.
We formulate a general approach to higher concurrencies in general and neural codes in particular, and suggest how the higher order aspects may be dealt with in using topology.
△ Less
Submitted 11 May, 2018;
originally announced May 2018.
-
Statistical transformer networks: learning shape and appearance models via self supervision
Authors:
Anil Bas,
William A. P. Smith
Abstract:
We generalise Spatial Transformer Networks (STN) by replacing the parametric transformation of a fixed, regular sampling grid with a deformable, statistical shape model which is itself learnt. We call this a Statistical Transformer Network (StaTN). By training a network containing a StaTN end-to-end for a particular task, the network learns the optimal nonrigid alignment of the input data for the…
▽ More
We generalise Spatial Transformer Networks (STN) by replacing the parametric transformation of a fixed, regular sampling grid with a deformable, statistical shape model which is itself learnt. We call this a Statistical Transformer Network (StaTN). By training a network containing a StaTN end-to-end for a particular task, the network learns the optimal nonrigid alignment of the input data for the task. Moreover, the statistical shape model is learnt with no direct supervision (such as landmarks) and can be reused for other tasks. Besides training for a specific task, we also show that a StaTN can learn a shape model using generic loss functions. This includes a loss inspired by the minimum description length principle in which an appearance model is also learnt from scratch. In this configuration, our model learns an active appearance model and a means to fit the model from scratch with no supervision at all, even identity labels.
△ Less
Submitted 7 April, 2018;
originally announced April 2018.
-
3D Morphable Models as Spatial Transformer Networks
Authors:
Anil Bas,
Patrik Huber,
William A. P. Smith,
Muhammad Awais,
Josef Kittler
Abstract:
In this paper, we show how a 3D Morphable Model (i.e. a statistical model of the 3D shape of a class of objects such as faces) can be used to spatially transform input data as a module (a 3DMM-STN) within a convolutional neural network. This is an extension of the original spatial transformer network in that we are able to interpret and normalise 3D pose changes and self-occlusions. The trained lo…
▽ More
In this paper, we show how a 3D Morphable Model (i.e. a statistical model of the 3D shape of a class of objects such as faces) can be used to spatially transform input data as a module (a 3DMM-STN) within a convolutional neural network. This is an extension of the original spatial transformer network in that we are able to interpret and normalise 3D pose changes and self-occlusions. The trained localisation part of the network is independently useful since it learns to fit a 3D morphable model to a single image. We show that the localiser can be trained using only simple geometric loss functions on a relatively small dataset yet is able to perform robust normalisation on highly uncontrolled images including occlusion, self-occlusion and large pose changes.
△ Less
Submitted 23 August, 2017;
originally announced August 2017.
-
What does 2D geometric information really tell us about 3D face shape?
Authors:
Anil Bas,
William A. P. Smith
Abstract:
A face image contains geometric cues in the form of configurational information and contours that can be used to estimate 3D face shape. While it is clear that 3D reconstruction from 2D points is highly ambiguous if no further constraints are enforced, one might expect that the face-space constraint solves this problem. We show that this is not the case and that geometric information is an ambiguo…
▽ More
A face image contains geometric cues in the form of configurational information and contours that can be used to estimate 3D face shape. While it is clear that 3D reconstruction from 2D points is highly ambiguous if no further constraints are enforced, one might expect that the face-space constraint solves this problem. We show that this is not the case and that geometric information is an ambiguous cue. There are two sources for this ambiguity. The first is that, within the space of 3D face shapes, there are flexibility modes that remain when some parts of the face are fixed. The second occurs only under perspective projection and is a result of perspective transformation as camera distance varies. Two different faces, when viewed at different distances, can give rise to the same 2D geometry. To demonstrate these ambiguities, we develop new algorithms for fitting a 3D morphable model to 2D landmarks or contours under either orthographic or perspective projection and show how to compute flexibility modes for both cases. We show that both fitting problems can be posed as a separable nonlinear least squares problem and solved efficiently. We demonstrate both quantitatively and qualitatively that the ambiguity is present in reconstructions from geometric information alone but also in reconstructions from a state-of-the-art CNN-based method.
△ Less
Submitted 30 July, 2019; v1 submitted 22 August, 2017;
originally announced August 2017.
-
Investigations of Higher Order Links
Authors:
Nils A. Baas,
Andrew Stacey
Abstract:
The following is an amalgamation of four preprints and some computer programs which together represent the current state of our investigations of higher order links. This investigation was motivated by questions discussed and raised in the first author's paper "New States of Matter Suggested by New Topological Structures". An important motivation has been to suggest the synthesis of new types of m…
▽ More
The following is an amalgamation of four preprints and some computer programs which together represent the current state of our investigations of higher order links. This investigation was motivated by questions discussed and raised in the first author's paper "New States of Matter Suggested by New Topological Structures". An important motivation has been to suggest the synthesis of new types of molecules (see the relevant articles listed in the bibliography). This discussion is not final, but we think that the results and methods are worth making public and would be useful for other investigators.
△ Less
Submitted 20 February, 2016;
originally announced February 2016.
-
Fitting a 3D Morphable Model to Edges: A Comparison Between Hard and Soft Correspondences
Authors:
Anil Bas,
William A. P. Smith,
Timo Bolkart,
Stefanie Wuhrer
Abstract:
We propose a fully automatic method for fitting a 3D morphable model to single face images in arbitrary pose and lighting. Our approach relies on geometric features (edges and landmarks) and, inspired by the iterated closest point algorithm, is based on computing hard correspondences between model vertices and edge pixels. We demonstrate that this is superior to previous work that uses soft corres…
▽ More
We propose a fully automatic method for fitting a 3D morphable model to single face images in arbitrary pose and lighting. Our approach relies on geometric features (edges and landmarks) and, inspired by the iterated closest point algorithm, is based on computing hard correspondences between model vertices and edge pixels. We demonstrate that this is superior to previous work that uses soft correspondences to form an edge-derived cost surface that is minimised by nonlinear optimisation.
△ Less
Submitted 3 October, 2016; v1 submitted 2 February, 2016;
originally announced February 2016.
-
Photocurrents in Bi2Se3: bulk versus surface, and injection versus shift currents
Authors:
Derek A. Bas,
Rodrigo A. Muniz,
Sercan Babakiray,
David Lederman,
J. E. Sipe,
Alan D. Bristow
Abstract:
Optical injection and detection of charge currents can complement conventional transport and photoemission measurements without the necessity of invasive contact that may disturb the system being examined. This is a particular concern for the surface states of a topological insulator. In this work one- and two-color sources of photocurrents are examined in epitaxial, thin films of Bi2Se3. We demon…
▽ More
Optical injection and detection of charge currents can complement conventional transport and photoemission measurements without the necessity of invasive contact that may disturb the system being examined. This is a particular concern for the surface states of a topological insulator. In this work one- and two-color sources of photocurrents are examined in epitaxial, thin films of Bi2Se3. We demonstrate that optical excitation and terahertz detection simultaneously captures one- and two- color photocurrent contributions, as previously not required in other material systems. A method is devised to isolate the two components, and in doing so each can be related to surface or bulk excitations through symmetry. This strategy allows surface states to be examined in a model system, where they have independently been verified with angle-resolved photoemission spectroscopy.
△ Less
Submitted 2 February, 2016;
originally announced February 2016.
-
Using persistent homology to reveal hidden information in neural data
Authors:
Gard Spreemann,
Benjamin Dunn,
Magnus Bakke Botnan,
Nils A. Baas
Abstract:
We propose a method, based on persistent homology, to uncover topological properties of a priori unknown covariates of neuron activity. Our input data consist of spike train measurements of a set of neurons of interest, a candidate list of the known stimuli that govern neuron activity, and the corresponding state of the animal throughout the experiment performed. Using a generalized linear model f…
▽ More
We propose a method, based on persistent homology, to uncover topological properties of a priori unknown covariates of neuron activity. Our input data consist of spike train measurements of a set of neurons of interest, a candidate list of the known stimuli that govern neuron activity, and the corresponding state of the animal throughout the experiment performed. Using a generalized linear model for neuron activity and simple assumptions on the effects of the external stimuli, we infer away any contribution to the observed spike trains by the candidate stimuli. Persistent homology then reveals useful information about any further, unknown, covariates.
△ Less
Submitted 22 October, 2015;
originally announced October 2015.
-
On Higher Structures
Authors:
Nils A. Baas
Abstract:
In this paper we discuss various philosophical aspects of the hyperstructure concept extending networks and higher categories. By this discussion we hope to pave the way for applications and further developments of the mathematical theory of hyperstructures.
In this paper we discuss various philosophical aspects of the hyperstructure concept extending networks and higher categories. By this discussion we hope to pave the way for applications and further developments of the mathematical theory of hyperstructures.
△ Less
Submitted 1 December, 2015; v1 submitted 31 August, 2015;
originally announced September 2015.
-
Coherent control of injection currents in high-quality films of Bi2Se3
Authors:
D. A. Bas,
K. Vargas-Velez,
S. Babakiray,
T. A. Johnson,
P. Borisov,
T. D. Stanescu,
D. Lederman,
A. D. Bristow
Abstract:
Films of the topological insulator Bi2Se3 are grown by molecular beam epitaxy with in-situ reflection high-energy electron diffraction. The films are shown to be high-quality by X-ray reflectivity and diffraction and atomic-force microscopy. Quantum interference control of photocurrents is observed by excitation with harmonically related pulses and detected by terahertz radiation. The injection cu…
▽ More
Films of the topological insulator Bi2Se3 are grown by molecular beam epitaxy with in-situ reflection high-energy electron diffraction. The films are shown to be high-quality by X-ray reflectivity and diffraction and atomic-force microscopy. Quantum interference control of photocurrents is observed by excitation with harmonically related pulses and detected by terahertz radiation. The injection current obeys the expected excitation irradiance dependence, showing linear dependence on the fundamental pulse irradiance and square-root irradiance dependence of the frequency-doubled optical pulses. The injection current also follows a sinusoidal relative-phase dependence between the two excitation pulses. These results confirm the third-order nonlinear optical origins of the coherently controlled injection current. Experiments are compared to a tight-binding band structure to illustrate the possible optical transitions that occur in creating the injection current.
△ Less
Submitted 28 January, 2015; v1 submitted 24 December, 2014;
originally announced December 2014.
-
Exciton-polaritons gas as a nonequilibrium coolant
Authors:
Sebastian Klembt,
Emilien Durupt,
Sanjoy Datta,
Thorsten Klein,
Augustin Baas,
Yoan Léger,
Carsten Kruse,
Detlef Hommel,
Anna Minguzzi,
Maxime Richard
Abstract:
Using angle-resolved Raman spectroscopy, we show that a resonantly excited ground-state exciton-polariton fluid behaves like a nonequilibrium coolant for its host solid-state semiconductor microcavity. With this optical technique, we obtain a detailed measurement of the thermal fluxes generated by the pumped polaritons. We thus find a maximum cooling power for a cryostat temperature of $50$K and b…
▽ More
Using angle-resolved Raman spectroscopy, we show that a resonantly excited ground-state exciton-polariton fluid behaves like a nonequilibrium coolant for its host solid-state semiconductor microcavity. With this optical technique, we obtain a detailed measurement of the thermal fluxes generated by the pumped polaritons. We thus find a maximum cooling power for a cryostat temperature of $50$K and below where optical cooling is usually suppressed, and we identify the participation of an ultrafast cooling mechanism. We also show that the nonequilibrium character of polaritons constitutes an unexpected resource: each scattering event can remove more heat from the solid than would be normally allowed using a thermal fluid with normal internal equilibration.
△ Less
Submitted 24 February, 2015; v1 submitted 8 December, 2014;
originally announced December 2014.
-
Higher Order Architecture of Collections of Objects
Authors:
Nils A. Baas
Abstract:
We show that on an arbitrary collection of objects there is a wide variety of higher order architectures governed by hyperstructures. Higher order gluing, local to global processes, fusion of collections, bridges and higher order types are discussed. We think that these types of architectures may have interesting applications in many areas of science.
We show that on an arbitrary collection of objects there is a wide variety of higher order architectures governed by hyperstructures. Higher order gluing, local to global processes, fusion of collections, bridges and higher order types are discussed. We think that these types of architectures may have interesting applications in many areas of science.
△ Less
Submitted 3 October, 2014; v1 submitted 1 September, 2014;
originally announced September 2014.
-
Terahertz emission from ZnGeP2: Phase-matching, intensity and length scalability
Authors:
Joseph D. Rowley,
Derek A. Bas,
Kevin T. Zawilski,
Peter G. Schunemann,
Alan D. Bristow
Abstract:
Collinear phase-matched optical rectification is studied in ZnGeP$_{2}$ pumped with near-infrared light. The pump-intensity dependence is presented for three crystal lengths (0.3, 1.0 and 3.0 mm) to determine the effects of linear optical absorption, nonlinear optical absorption and terahertz free-carrier absorption on the generation. Critical parameters such as the coherence length (for velocity…
▽ More
Collinear phase-matched optical rectification is studied in ZnGeP$_{2}$ pumped with near-infrared light. The pump-intensity dependence is presented for three crystal lengths (0.3, 1.0 and 3.0 mm) to determine the effects of linear optical absorption, nonlinear optical absorption and terahertz free-carrier absorption on the generation. Critical parameters such as the coherence length (for velocity matching), dispersion length (for linear pulse broadening) and nonlinear length (for self-phase modulation) are determined for this material. These parameters provide insight into the upper limit of pulse intensity and crystal length required to generate intense terahertz pulse without detriment to the pulse shape. It is found that for 1-mm thick ZnGeP$_{2}$(012), pumped at 1.28 micron with intensity of ~15 GW/cm2 will produce intense undistorted pulses, whereas longer crystals or larger intensities modify the pulse shape to varying degrees. Moreover, phase-matching dispersion maps are presented for the terahertz generation over a large tuning range (1.1-2.4 micron) in longer (3 mm) crystal, demonstrating the phase-matching bandwidth and phase mismatch that leads to fringing associated with multi-pulse interference. All observed results are simulated numerically showing good qualitative agreement.
△ Less
Submitted 18 February, 2014; v1 submitted 3 June, 2013;
originally announced June 2013.
-
Terahertz Waveguiding in Silicon-Core Fibers
Authors:
Derek A. Bas,
Scott K. Cushing,
John Ballato,
Alan D. Bristow
Abstract:
We propose the use of a silicon-core optical fiber for terahertz (THz) waveguide applications. Finite-difference time-domain simulations have been performed based on a cylindrical waveguide with a silicon core and silica cladding. High-resistivity silicon has a flat dispersion over a 0.1 - 3 THz range, making it viable for propagation of tunable narrowband CW THz and possibly broadband picosecond…
▽ More
We propose the use of a silicon-core optical fiber for terahertz (THz) waveguide applications. Finite-difference time-domain simulations have been performed based on a cylindrical waveguide with a silicon core and silica cladding. High-resistivity silicon has a flat dispersion over a 0.1 - 3 THz range, making it viable for propagation of tunable narrowband CW THz and possibly broadband picosecond pules of THz radiation. Simulations show the propagation dynamics and the integrated intensity, from which transverse mode profiles and absorption lengths are extraced. It is found that for 140 - 250 micron core diameters the mode is primarily confined to the core, such that the overall absorbance is only slightly less than in bulk polycrystalline silicon.
△ Less
Submitted 2 May, 2013;
originally announced May 2013.
-
Singularities and Quinn spectra
Authors:
Nils A. Baas,
Gerd Laures
Abstract:
We introduce singularities to Quinn spectra. It enables us to talk about ads with prescribed singularities and to explicitly construct representatives for prominent spectra like Morava $K$-theories or for $L$-theory with singularities. We develop a spectral sequence for the computation of the associated bordism groups and investigate product structures in the presence of singularities.
We introduce singularities to Quinn spectra. It enables us to talk about ads with prescribed singularities and to explicitly construct representatives for prominent spectra like Morava $K$-theories or for $L$-theory with singularities. We develop a spectral sequence for the computation of the associated bordism groups and investigate product structures in the presence of singularities.
△ Less
Submitted 28 September, 2015; v1 submitted 12 April, 2013;
originally announced April 2013.
-
Higher-order Brunnian structures and possible physical realizations
Authors:
Nils A. Baas,
D. V. Fedorov,
A. S. Jensen,
K. Riisager,
A. G. Volosniev,
N. T. Zinner
Abstract:
We consider few-body bound state systems and provide precise definitions of Borromean and Brunnian systems. The initial concepts are more than a hundred years old and originated in mathematical knot-theory as purely geometric considerations. About thirty years ago they were generalized and applied to the binding of systems in nature. It now appears that recent generalization to higher order Brunni…
▽ More
We consider few-body bound state systems and provide precise definitions of Borromean and Brunnian systems. The initial concepts are more than a hundred years old and originated in mathematical knot-theory as purely geometric considerations. About thirty years ago they were generalized and applied to the binding of systems in nature. It now appears that recent generalization to higher order Brunnian structures may potentially be realized as laboratory made or naturally occurring systems. With the binding energy as measure, we discuss possibilities of physical realization in nuclei, cold atoms, and condensed matter systems. Appearance is not excluded. However, both the form and the strengths of the interactions must be rather special. The most promising subfields for present searches would be in cold atoms because of external control of effective interactions, or perhaps in condensed-matter systems with non-local interactions. In nuclei, it would only be by sheer luck due to a lack of tunability.
△ Less
Submitted 13 February, 2014; v1 submitted 3 May, 2012;
originally announced May 2012.
-
On Structure and Organization: An Organizing Principle
Authors:
Nils A. Baas
Abstract:
We discuss the nature of structure and organization, and the process of making new Things. Hyperstructures are introduced as binding and organizing principles, and we show how they can transfer from one situation to another. A guiding example is the hyperstructure of higher order Brunnian rings and similarly structured many-body systems.
We discuss the nature of structure and organization, and the process of making new Things. Hyperstructures are introduced as binding and organizing principles, and we show how they can transfer from one situation to another. A guiding example is the hyperstructure of higher order Brunnian rings and similarly structured many-body systems.
△ Less
Submitted 1 December, 2015; v1 submitted 27 January, 2012;
originally announced January 2012.
-
On Many Body System Interactions
Authors:
Nils A. Baas
Abstract:
We discuss possible relationships between geometric and topological interactions on one side and physical interactions on the other side.
We discuss possible relationships between geometric and topological interactions on one side and physical interactions on the other side.
△ Less
Submitted 13 December, 2010;
originally announced December 2010.
-
New States of Matter Suggested by New Topological Structures
Authors:
Nils A. Baas
Abstract:
We extend the well-known Borromean and Brunnian rings to new higher order versions. Then we suggest an extension of the connection between Efimov states in cold gases and Borromean and Brunnian rings to these new higher order links. This gives rise to a whole new hierarchy of possible states with Efimov states at the bottom.
We extend the well-known Borromean and Brunnian rings to new higher order versions. Then we suggest an extension of the connection between Efimov states in cold gases and Borromean and Brunnian rings to these new higher order links. This gives rise to a whole new hierarchy of possible states with Efimov states at the bottom.
△ Less
Submitted 24 August, 2012; v1 submitted 13 December, 2010;
originally announced December 2010.
-
Stable bundles over rig categories
Authors:
Nils A. Baas,
Bjorn Ian Dundas,
Birgit Richter,
John Rognes
Abstract:
The point of this paper is to prove the conjecture that virtual 2-vector bundles are classified by K(ku), the algebraic K-theory of topological K-theory. Hence, by the work of Ausoni and the fourth author, virtual 2-vector bundles give us a geometric cohomology theory of the same telescopic complexity as elliptic cohomology. The main technical step is showing that for well-behaved small rig catego…
▽ More
The point of this paper is to prove the conjecture that virtual 2-vector bundles are classified by K(ku), the algebraic K-theory of topological K-theory. Hence, by the work of Ausoni and the fourth author, virtual 2-vector bundles give us a geometric cohomology theory of the same telescopic complexity as elliptic cohomology. The main technical step is showing that for well-behaved small rig categories R (also known as bimonoidal categories) the algebraic K-theory space, K(HR), of the ring spectrum HR associated to R is equivalent to Z \times |BGL(R)|^+, where GL(R) is the monoidal category of weakly invertible matrices over R. If π_0R is a ring this is almost formal, and our approach is to replace R by a ring completed version provided by [BDRR1] whose π_0 is the ring completion of π_0R.
△ Less
Submitted 12 May, 2011; v1 submitted 9 September, 2009;
originally announced September 2009.
-
Nonlinear relaxation of 0-dimension-trapped microcavity polaritons
Authors:
Ounsi El Daif,
Gael Nardin,
Taofiq K. Paraiso,
Augustin Baas,
Maxime Richard,
J. -P. Brantut,
Francois Morier-Genoud,
Benoit Deveaud-Pledran,
Thierry Guillet
Abstract:
We study the emission properties of confined polariton states in shallow zero-dimensional traps under non-resonant excitation. We evidence several relaxation regimes. For slightly negative photon-exciton detuning, we observe a nonlinear increase of the emission intensity, characteristic of carrier-carrier scattering assisted relaxation under strong-coupling regime. This demonstrates the efficien…
▽ More
We study the emission properties of confined polariton states in shallow zero-dimensional traps under non-resonant excitation. We evidence several relaxation regimes. For slightly negative photon-exciton detuning, we observe a nonlinear increase of the emission intensity, characteristic of carrier-carrier scattering assisted relaxation under strong-coupling regime. This demonstrates the efficient relaxation towards a confined state of the system. For slightly positive detuning, we observe the transition from strong to weak coupling regime and then to single-mode lasing.
△ Less
Submitted 19 May, 2009;
originally announced May 2009.
-
Dynamics of long-range order in an exciton-polariton condensate
Authors:
G. Nardin,
K. G. Lagoudakis,
M. Wouters,
M. Richard,
A. Baas,
R. Andre,
Le Si Dang,
B. Pietka,
B. Deveaud-Pledran
Abstract:
We report on time resolved measurements of the first order spatial coherence in an exciton polariton Bose-Einstein condensate. Long range spatial coherence is found to set in right at the onset of stimulated scattering, on a picosecond time scale. The coherence reaches its maximum value after the population and decays slower, staying up to a few hundreds of picoseconds. This behavior can be qual…
▽ More
We report on time resolved measurements of the first order spatial coherence in an exciton polariton Bose-Einstein condensate. Long range spatial coherence is found to set in right at the onset of stimulated scattering, on a picosecond time scale. The coherence reaches its maximum value after the population and decays slower, staying up to a few hundreds of picoseconds. This behavior can be qualitatively reproduced, using a stochastic classical field model describing interaction between the polariton condensate and the exciton reservoir within a disordered potential.
△ Less
Submitted 9 November, 2009; v1 submitted 14 May, 2009;
originally announced May 2009.
-
Reply to the "Comment on: Testing the speed of 'spooky action at a distance' "
Authors:
D. Salart,
A. Baas,
C. Branciard,
N. Gisin,
H. Zbinden
Abstract:
This is the reply to the comment arXiv:0810.4452 by Kofler, Ursin, Brukner, and Zeilinger.
This is the reply to the comment arXiv:0810.4452 by Kofler, Ursin, Brukner, and Zeilinger.
△ Less
Submitted 27 October, 2008;
originally announced October 2008.
-
Testing spooky action at a distance
Authors:
D. Salart,
A. Baas,
C. Branciard,
N. Gisin,
H. Zbinden
Abstract:
In science, one observes correlations and invents theoretical models that describe them. In all sciences, besides quantum physics, all correlations are described by either of two mechanisms. Either a first event influences a second one by sending some information encoded in bosons or molecules or other physical carriers, depending on the particular science. Or the correlated events have some com…
▽ More
In science, one observes correlations and invents theoretical models that describe them. In all sciences, besides quantum physics, all correlations are described by either of two mechanisms. Either a first event influences a second one by sending some information encoded in bosons or molecules or other physical carriers, depending on the particular science. Or the correlated events have some common causes in their common past. Interestingly, quantum physics predicts an entirely different kind of cause for some correlations, named entanglement. This new kind of cause reveals itself, e.g., in correlations that violate Bell inequalities (hence cannot be described by common causes) between space-like separated events (hence cannot be described by classical communication). Einstein branded it as spooky action at a distance. A real spooky action at a distance would require a faster than light influence defined in some hypothetical universally privileged reference frame. Here we put stringent experimental bounds on the speed of all such hypothetical influences. We performed a Bell test during more than 24 hours between two villages separated by 18 km and approximately east-west oriented, with the source located precisely in the middle. We continuously observed 2-photon interferences well above the Bell inequality threshold. Taking advantage of the Earth's rotation, the configuration of our experiment allowed us to determine, for any hypothetically privileged frame, a lower bound for the speed of this spooky influence. For instance, if such a privileged reference frame exists and is such that the Earth's speed in this frame is less than 10^-3 that of the speed of light, then the speed of this spooky influence would have to exceed that of light by at least 4 orders of magnitude.
△ Less
Submitted 25 August, 2008;
originally announced August 2008.
-
Space-like Separation in a Bell Test assuming Gravitationally Induced Collapses
Authors:
D. Salart,
A. Baas,
J. A. W. van Houwelingen,
N. Gisin,
H. Zbinden
Abstract:
We report on a Bell experiment with space-like separation assuming that the measurement time is related to gravity-induced state reduction. Two energy-time entangled photons are sent through optical fibers and directed into unbalanced interferometers at two receiving stations separated by 18 km. At each station, the detection of a photon triggers the displacement of a macroscopic mass. The timin…
▽ More
We report on a Bell experiment with space-like separation assuming that the measurement time is related to gravity-induced state reduction. Two energy-time entangled photons are sent through optical fibers and directed into unbalanced interferometers at two receiving stations separated by 18 km. At each station, the detection of a photon triggers the displacement of a macroscopic mass. The timing ensures space-like separation from the moment a photon enters its interferometer until the mass has moved. 2-photon interference fringes with a visibility of up to 90.5% are obtained, leading to a violation of Bell inequality.
△ Less
Submitted 17 March, 2008;
originally announced March 2008.
-
Quantised Vortices in an Exciton-Polariton Fluid
Authors:
K. G. Lagoudakis,
M. Wouters,
M. Richard,
A. Baas,
I. Carusotto,
R. Andre,
Le Si Dang,
B. Deveaud-Pledran
Abstract:
One of the most striking quantum effects in a low temperature interacting Bose gas is superfluidity. First observed in liquid 4He, this phenomenon has been intensively studied in a variety of systems for its amazing features such as the persistence of superflows and the quantization of the angular momentum of vortices. The achievement of Bose-Einstein condensation (BEC) in dilute atomic gases pr…
▽ More
One of the most striking quantum effects in a low temperature interacting Bose gas is superfluidity. First observed in liquid 4He, this phenomenon has been intensively studied in a variety of systems for its amazing features such as the persistence of superflows and the quantization of the angular momentum of vortices. The achievement of Bose-Einstein condensation (BEC) in dilute atomic gases provided an exceptional opportunity to observe and study superfluidity in an extremely clean and controlled environment. In the solid state, Bose-Einstein condensation of exciton polaritons has now been reported several times. Polaritons are strongly interacting light-matter quasi-particles, naturally occurring in semiconductor microcavities in the strong coupling regime and constitute a very interesting example of composite bosons. Even though pioneering experiments have recently addressed the propagation of a fluid of coherent polaritons, still no conclusive evidence is yet available of its superfluid nature. In the present Letter, we report the observation of spontaneous formation of pinned quantised vortices in the Bose-condensed phase of a polariton fluid by means of phase and amplitude imaging. Theoretical insight into the possible origin of such vortices is presented in terms of a generalised Gross-Pitaevskii equation. The implications of our observations concerning the superfluid nature of the non-equilibrium polariton fluid are finally discussed.
△ Less
Submitted 12 January, 2008;
originally announced January 2008.