-
Public Goods Games in Disease Evolution and Spread
Authors:
Christo Morison,
Małgorzata Fic,
Thomas Marcou,
Javad Mohamadichamgavi,
Javier Redondo Antón,
Golsa Sayyar,
Alexander Stein,
Frank Bastian,
Hana Krakovská,
Nandakishor Krishnan,
Diogo L. Pires,
Mohammadreza Satouri,
Frederik J. Thomsen,
Kausutua Tjikundi,
Wajid Ali
Abstract:
Cooperation arises in nature at every scale, from within cells to entire ecosystems. In the framework of evolutionary game theory, public goods games (PGGs) are used to analyse scenarios where individuals can cooperate or defect, and can predict when and how these behaviours emerge. However, too few examples motivate the transferal of knowledge from one application of PGGs to another. Here, we foc…
▽ More
Cooperation arises in nature at every scale, from within cells to entire ecosystems. In the framework of evolutionary game theory, public goods games (PGGs) are used to analyse scenarios where individuals can cooperate or defect, and can predict when and how these behaviours emerge. However, too few examples motivate the transferal of knowledge from one application of PGGs to another. Here, we focus on PGGs arising in disease modelling of cancer evolution and the spread of infectious diseases. We use these two systems as case studies for the development of the theory and applications of PGGs, which we succinctly review and compare. We also posit that applications of evolutionary game theory to decision-making in cancer, such as interactions between a clinician and a tumour, can learn from the PGGs studied in epidemiology, where cooperative behaviours such as quarantine and vaccination compliance have been more thoroughly investigated. Furthermore, instances of cellular-level cooperation observed in cancers point to a corresponding area of potential interest for modellers of other diseases, be they viral, bacterial or otherwise. We aim to demonstrate the breadth of applicability of PGGs in disease modelling while providing a starting point for those interested in quantifying cooperation arising in healthcare.
△ Less
Submitted 27 February, 2024;
originally announced February 2024.
-
Finitely generated bimodules over Weyl algebras
Authors:
Niels Lauritzen,
Jesper Funch Thomsen
Abstract:
Let $A$ be the $n$-th Weyl algebra over a field of characteristic zero, and $\varphi:A\rightarrow A$ an endomorphism with $S = \varphi(A)$. We prove that if $A$ is finitely generated as a left or right $S$-module, then $S = A$. The proof involves reduction to large positive characteristics. By holonomicity, $A$ is always finitely generated as an $S$-bimodule. Moreover, if this bimodule property co…
▽ More
Let $A$ be the $n$-th Weyl algebra over a field of characteristic zero, and $\varphi:A\rightarrow A$ an endomorphism with $S = \varphi(A)$. We prove that if $A$ is finitely generated as a left or right $S$-module, then $S = A$. The proof involves reduction to large positive characteristics. By holonomicity, $A$ is always finitely generated as an $S$-bimodule. Moreover, if this bimodule property could be transferred into a similar property in large positive characteristics, then we could again conclude that $A=S$. The latter would imply the Dixmier Conjecture.
△ Less
Submitted 17 February, 2024; v1 submitted 18 August, 2023;
originally announced August 2023.
-
Anyon condensation and the color code
Authors:
Markus S. Kesselring,
Julio C. Magdalena de la Fuente,
Felix Thomsen,
Jens Eisert,
Stephen D. Bartlett,
Benjamin J. Brown
Abstract:
The manipulation of topologically-ordered phases of matter to encode and process quantum information forms the cornerstone of many approaches to fault-tolerant quantum computing. Here we demonstrate that fault-tolerant logical operations in these approaches can be interpreted as instances of anyon condensation. We present a constructive theory for anyon condensation and, in tandem, illustrate our…
▽ More
The manipulation of topologically-ordered phases of matter to encode and process quantum information forms the cornerstone of many approaches to fault-tolerant quantum computing. Here we demonstrate that fault-tolerant logical operations in these approaches can be interpreted as instances of anyon condensation. We present a constructive theory for anyon condensation and, in tandem, illustrate our theory explicitly using the color-code model. We show that different condensation processes are associated with a general class of domain walls, which can exist in both space- and time-like directions. This class includes semi-transparent domain walls that condense certain subsets of anyons. We use our theory to classify topological objects and design novel fault-tolerant logic gates for the color code. As a final example, we also argue that dynamical `Floquet codes' can be viewed as a series of condensation operations. We propose a general construction for realising planar dynamically driven codes based on condensation operations on the color code. We use our construction to introduce a new Calderbank-Shor Steane-type Floquet code that we call the Floquet color code.
△ Less
Submitted 13 March, 2024; v1 submitted 30 November, 2022;
originally announced December 2022.
-
Low-overhead quantum computing with the color code
Authors:
Felix Thomsen,
Markus S. Kesselring,
Stephen D. Bartlett,
Benjamin J. Brown
Abstract:
Fault-tolerant quantum computation demands significant resources: large numbers of physical qubits must be checked for errors repeatedly to protect quantum data as logic gates are implemented in the presence of noise. We demonstrate that an approach based on the color code can lead to considerable reductions in the resource overheads compared with conventional methods, while remaining compatible w…
▽ More
Fault-tolerant quantum computation demands significant resources: large numbers of physical qubits must be checked for errors repeatedly to protect quantum data as logic gates are implemented in the presence of noise. We demonstrate that an approach based on the color code can lead to considerable reductions in the resource overheads compared with conventional methods, while remaining compatible with a two-dimensional layout. We propose a lattice surgery scheme that exploits the rich structure of the color-code phase to perform arbitrary pairs of commuting logical Pauli measurements in parallel while kee** the space cost low. Compared to lattice surgery schemes based on the surface code with the same code distance, our approach yields about a $3\times$ improvement in the space-time overhead, obtained from a combination of a $1.5\times$ improvement in spatial overhead together with a $2\times$ speedup due to the parallelisation of commuting logical measurements. Even when taking into account the color code's lower error threshold using current decoders, the overhead is reduced by 10\% at a physical error rate of $10^{-3}$ and by 50\% at $10^{-4}$.
△ Less
Submitted 9 April, 2024; v1 submitted 19 January, 2022;
originally announced January 2022.
-
Corridor for new mobility Aachen-Düsseldorf: Methods and concepts of the research project ACCorD
Authors:
Laurent Kloeker,
Amarin Kloeker,
Fabian Thomsen,
Armin Erraji,
Lutz Eckstein,
Serge Lamberty,
Adrian Fazekas,
Eszter Kalló,
Markus Oeser,
Charlotte Fléchon,
Jochen Lohmiller,
Pascal Pfeiffer,
Martin Sommer,
Helen Winter
Abstract:
With the Corridor for New Mobility Aachen - Düsseldorf, an integrated development environment is created, incorporating existing test capabilities, to systematically test and validate automated vehicles in interaction with connected Intelligent Transport Systems Stations (ITS-Ss). This is achieved through a time- and cost-efficient toolchain and methodology, in which simulation, closed test sites…
▽ More
With the Corridor for New Mobility Aachen - Düsseldorf, an integrated development environment is created, incorporating existing test capabilities, to systematically test and validate automated vehicles in interaction with connected Intelligent Transport Systems Stations (ITS-Ss). This is achieved through a time- and cost-efficient toolchain and methodology, in which simulation, closed test sites as well as test fields in public transport are linked in the best possible way. By implementing a digital twin, the recorded traffic events can be visualized in real-time and driving functions can be tested in the simulation based on real data. In order to represent diverse traffic scenarios, the corridor contains a highway section, a rural area, and urban areas. First, this paper outlines the project goals before describing the individual project contents in more detail. These include the concepts of traffic detection, driving function development, digital twin development, and public involvement.
△ Less
Submitted 13 July, 2021;
originally announced July 2021.
-
Highly accurate digital traffic recording as a basis for future mobility research: Methods and concepts of the research project HDV-Mess
Authors:
Laurent Kloeker,
Fabian Thomsen,
Lutz Eckstein,
Philip Trettner,
Tim Elsner,
Julius Nehring-Wirxel,
Kersten Schuster,
Leif Kobbelt,
Michael Hoesch
Abstract:
The research project HDV-Mess aims at a currently missing, but very crucial component for addressing important challenges in the field of connected and automated driving on public roads. The goal is to record traffic events at various relevant locations with high accuracy and to collect real traffic data as a basis for the development and validation of current and future sensor technologies as wel…
▽ More
The research project HDV-Mess aims at a currently missing, but very crucial component for addressing important challenges in the field of connected and automated driving on public roads. The goal is to record traffic events at various relevant locations with high accuracy and to collect real traffic data as a basis for the development and validation of current and future sensor technologies as well as automated driving functions. For this purpose, it is necessary to develop a concept for a mobile modular system of measuring stations for highly accurate traffic data acquisition, which enables a temporary installation of a sensor and communication infrastructure at different locations. Within this paper, we first discuss the project goals before we present our traffic detection concept using mobile modular intelligent transport systems stations (ITS-Ss). We then explain the approaches for data processing of sensor raw data to refined trajectories, data communication, and data validation.
△ Less
Submitted 8 June, 2021;
originally announced June 2021.
-
Periodic patterns displace active phase separation
Authors:
Frederik J. Thomsen,
Lisa Rapp,
Fabian Bergmann,
Walter Zimmermann
Abstract:
In this work we identify and investigate a novel bifurcation in conserved systems. This secondary bifurcation stops active phase separation in its nonlinear regime. It is then either replaced by an extended, system-filling, spatially periodic pattern or, in a complementary parameter region, by a novel hybrid state with spatially alternating homogeneous and periodic states. The transition from phas…
▽ More
In this work we identify and investigate a novel bifurcation in conserved systems. This secondary bifurcation stops active phase separation in its nonlinear regime. It is then either replaced by an extended, system-filling, spatially periodic pattern or, in a complementary parameter region, by a novel hybrid state with spatially alternating homogeneous and periodic states. The transition from phase separation to extended spatially periodic patterns is hysteretic. We show that the resulting patterns are multistable, as they show stability beyond the bifurcation for different wavenumbers belonging to a wavenumber band. The transition from active phase separation to the hybrid states is continuous. Both transition scenarios are systems-spanning phenomena in particle conserving systems. They are predicted with a generic dissipative model introduced in this work. Candidates for specific systems, in which these generic secondary transitions are likely to occur, are, for example, generalized models for motility-induced phase separation in active Brownian particles, models for cell division or chemotactic systems with conserved particle dynamics.
△ Less
Submitted 18 February, 2021;
originally announced March 2021.
-
Noise Reduction to Compute Tissue Mineral Density and Trabecular Bone Volume Fraction from Low Resolution QCT
Authors:
Felix Thomsen,
José M. Fuertes García,
Manuel Lucena,
Juan Pisula,
Rodrigo de Luis García,
Jan Broggrefe,
Claudio Delrieux
Abstract:
We propose a 3D neural network with specific loss functions for quantitative computed tomography (QCT) noise reduction to compute micro-structural parameters such as tissue mineral density (TMD) and bone volume ratio (BV/TV) with significantly higher accuracy than using no or standard noise reduction filters. The vertebra-phantom study contained high resolution peripheral and clinical CT scans wit…
▽ More
We propose a 3D neural network with specific loss functions for quantitative computed tomography (QCT) noise reduction to compute micro-structural parameters such as tissue mineral density (TMD) and bone volume ratio (BV/TV) with significantly higher accuracy than using no or standard noise reduction filters. The vertebra-phantom study contained high resolution peripheral and clinical CT scans with simulated in vivo CT noise and nine repetitions of three different tube currents (100, 250 and 360 mAs). Five-fold cross validation was performed on 20466 purely spongy pairs of noisy and ground-truth patches. Comparison of training and test errors revealed high robustness against over-fitting. While not showing effects for the assessment of BMD and voxel-wise densities, the filter improved thoroughly the computation of TMD and BV/TV with respect to the unfiltered data. Root-mean-square and accuracy errors of low resolution TMD and BV/TV decreased to less than 17% of the initial values. Furthermore filtered low resolution scans revealed still more TMD- and BV/TV-relevant information than high resolution CT scans, either unfiltered or filtered with two state-of-the-art standard denoising methods. The proposed architecture is threshold and rotational invariant, applicable on a wide range of image resolutions at once, and likely serves for an accurate computation of further micro-structural parameters. Furthermore, it is less prone for over-fitting than neural networks that compute structural parameters directly. In conclusion, the method is potentially important for the diagnosis of osteoporosis and other bone diseases since it allows to assess relevant 3D micro-structural information from standard low exposure CT protocols such as 100 mAs and 120 kVp.
△ Less
Submitted 4 November, 2020;
originally announced November 2020.
-
Error-robust quantum logic optimization using a cloud quantum computer interface
Authors:
Andre R. R. Carvalho,
Harrison Ball,
Michael J. Biercuk,
Michael R. Hush,
Felix Thomsen
Abstract:
We describe an experimental effort designing and deploying error-robust single-qubit operations using a cloud-based quantum computer and analog-layer programming access. We design numerically-optimized pulses that implement target operations and exhibit robustness to various error processes including dephasing noise, instabilities in control amplitudes, and crosstalk. Pulse optimization is perform…
▽ More
We describe an experimental effort designing and deploying error-robust single-qubit operations using a cloud-based quantum computer and analog-layer programming access. We design numerically-optimized pulses that implement target operations and exhibit robustness to various error processes including dephasing noise, instabilities in control amplitudes, and crosstalk. Pulse optimization is performed using a flexible optimization package incorporating a device model and physically-relevant constraints (e.g. bandwidth limits on the transmission lines of the dilution refrigerator housing IBM Quantum hardware). We present techniques for conversion and calibration of physical Hamiltonian definitions to pulse waveforms programmed via Qiskit Pulse and compare performance against hardware default DRAG pulses on a five-qubit device. Experimental measurements reveal default DRAG pulses exhibit coherent errors an order of magnitude larger than tabulated randomized-benchmarking measurements; solutions designed to be robust against these errors outperform hardware-default pulses for all qubits across multiple metrics. Experimental measurements demonstrate performance enhancements up to: $\sim10\times$ single-qubit gate coherent-error reduction; $\sim5\times$ average coherent-error reduction across a five qubit system; $\sim10\times$ increase in calibration window to one week of valid pulse calibration; $\sim12\times$ reduction gate-error variability across qubits and over time; and up to $\sim9\times$ reduction in single-qubit gate error (including crosstalk) in the presence of fully parallelized operations. Randomized benchmarking reveals error rates for Clifford gates constructed from optimized pulses consistent with tabulated $T_{1}$ limits, and demonstrates a narrowing of the distribution of outcomes over randomizations associated with suppression of coherent-errors.
△ Less
Submitted 15 October, 2020;
originally announced October 2020.
-
Generative Modelling of 3D in-silico Spongiosa with Controllable Micro-Structural Parameters
Authors:
Emmanuel Iarussi,
Felix Thomsen,
Claudio Delrieux
Abstract:
Research in vertebral bone micro-structure generally requires costly procedures to obtain physical scans of real bone with a specific pathology under study, since no methods are available yet to generate realistic bone structures in-silico. Here we propose to apply recent advances in generative adversarial networks (GANs) to develop such a method. We adapted style-transfer techniques, which have b…
▽ More
Research in vertebral bone micro-structure generally requires costly procedures to obtain physical scans of real bone with a specific pathology under study, since no methods are available yet to generate realistic bone structures in-silico. Here we propose to apply recent advances in generative adversarial networks (GANs) to develop such a method. We adapted style-transfer techniques, which have been largely used in other contexts, in order to transfer style between image pairs while preserving its informational content. In a first step, we trained a volumetric generative model in a progressive manner using a Wasserstein objective and gradient penalty (PWGAN-GP) to create patches of realistic bone structure in-silico. The training set contained 7660 purely spongeous bone samples from twelve human vertebrae (T12 or L1) with isotropic resolution of 164um and scanned with a high resolution peripheral quantitative CT (Scanco XCT). After training, we generated new samples with tailored micro-structure properties by optimizing a vector z in the learned latent space. To solve this optimization problem, we formulated a differentiable goal function that leads to valid samples while compromising the appearance (content) with target 3D properties (style). Properties of the learned latent space effectively matched the data distribution. Furthermore, we were able to simulate the resulting bone structure after deterioration or treatment effects of osteoporosis therapies based only on expected changes of micro-structural parameters. Our method allows to generate a virtually infinite number of patches of realistic bone micro-structure, and thereby likely serves for the development of bone-biomarkers and to simulate bone therapies in advance.
△ Less
Submitted 23 September, 2020;
originally announced September 2020.
-
Predicting the Long-Term Outcomes of Biologics in Psoriasis Patients Using Machine Learning
Authors:
Sepideh Emam,
Amy X. Du,
Philip Surmanowicz,
Simon F. Thomsen,
Russ Greiner,
Robert Gniadecki
Abstract:
Background. Real-world data show that approximately 50% of psoriasis patients treated with a biologic agent will discontinue the drug because of loss of efficacy. History of previous therapy with another biologic, female sex and obesity were identified as predictors of drug discontinuations, but their individual predictive value is low. Objectives. To determine whether machine learning algorithms…
▽ More
Background. Real-world data show that approximately 50% of psoriasis patients treated with a biologic agent will discontinue the drug because of loss of efficacy. History of previous therapy with another biologic, female sex and obesity were identified as predictors of drug discontinuations, but their individual predictive value is low. Objectives. To determine whether machine learning algorithms can produce models that can accurately predict outcomes of biologic therapy in psoriasis on individual patient level. Results. All tested machine learning algorithms could accurately predict the risk of drug discontinuation and its cause (e.g. lack of efficacy vs adverse event). The learned generalized linear model achieved diagnostic accuracy of 82%, requiring under 2 seconds per patient using the psoriasis patients dataset. Input optimization analysis established a profile of a patient who has best chances of long-term treatment success: biologic-naive patient under 49 years, early-onset plaque psoriasis without psoriatic arthritis, weight < 100 kg, and moderate-to-severe psoriasis activity (DLQI $\geq$ 16; PASI $\geq$ 10). Moreover, a different generalized linear model is used to predict the length of treatment for each patient with mean absolute error (MAE) of 4.5 months. However Pearson Correlation Coefficient indicates 0.935 linear dependencies between the actual treatment lengths and predicted ones. Conclusions. Machine learning algorithms predict the risk of drug discontinuation and treatment duration with accuracy exceeding 80%, based on a small set of predictive variables. This approach can be used as a decision-making tool, communicating expected outcomes to the patient, and development of evidence-based guidelines.
△ Less
Submitted 25 August, 2019;
originally announced August 2019.
-
The graph of a Weyl algebra endomorphism
Authors:
Niels Lauritzen,
Jesper Funch Thomsen
Abstract:
Endomorphisms of Weyl algebras are studied using bimodules. Initially, for a Weyl algebra over a field of characteristic zero, Bernstein's inequality implies that holonomic bimodules finitely generated from the right or left form a monoidal category.
The most important bimodule in this paper is the graph of an endomorphism. We prove that the graph of an endomorphism of a Weyl algebra over a fiel…
▽ More
Endomorphisms of Weyl algebras are studied using bimodules. Initially, for a Weyl algebra over a field of characteristic zero, Bernstein's inequality implies that holonomic bimodules finitely generated from the right or left form a monoidal category.
The most important bimodule in this paper is the graph of an endomorphism. We prove that the graph of an endomorphism of a Weyl algebra over a field of characteristic zero is a simple bimodule. The simplicity of the tensor product of the dual graph and the graph is equivalent to the Dixmier conjecture.
It is also shown how the graph construction leads to a non-commutative Groebner basis algorithm for detecting invertibility of an endomorphism for Weyl algebras and computing the inverse over arbitrary fields.
△ Less
Submitted 5 April, 2019;
originally announced April 2019.
-
Cassini CAPS identification of pickup ion compositions at Rhea
Authors:
R. T. Desai,
S. A. Taylor,
L. H. Regoli,
A. J. Coates,
T. A. Nordheim,
M. A. Cordiner,
B. D. Teolis,
M. F. Thomsen,
R. E. Johnson,
G. H. Jones,
M. M. Cowee,
J. H. Waite
Abstract:
Saturn's largest icy moon, Rhea, hosts a tenuous surface-sputtered exosphere composed primarily of molecular oxygen and carbon dioxide. In this Letter, we examine Cassini Plasma Spectrometer velocity space distributions near Rhea and confirm that Cassini detected nongyrotropic fluxes of outflowing CO$_2^+$ during both the R1 and R1.5 encounters. Accounting for this nongyrotropy, we show that these…
▽ More
Saturn's largest icy moon, Rhea, hosts a tenuous surface-sputtered exosphere composed primarily of molecular oxygen and carbon dioxide. In this Letter, we examine Cassini Plasma Spectrometer velocity space distributions near Rhea and confirm that Cassini detected nongyrotropic fluxes of outflowing CO$_2^+$ during both the R1 and R1.5 encounters. Accounting for this nongyrotropy, we show that these possess comparable alongtrack densities of $\sim$2$\times$10$^{-3}$ cm$^{-3}$. Negatively charged pickup ions, also detected during R1, are surprisingly shown as consistent with mass 26$\pm$3 u which we suggest are carbon-based compounds, such as CN$^-$, C$_2$H$^-$, C$_2^-$, or HCO$^-$, sputtered from carbonaceous material on the moons surface. These negative ions are calculated to possess alongtrack densities of $\sim$5$\times$10$^{-4}$ cm$^{-3}$ and are suggested to derive from exogenic compounds, a finding consistent with the existence of Rhea's dynamic CO$_2$ exosphere and surprisingly low O$_2$ sputtering yields. These pickup ions provide important context for understanding the exospheric and surface-ice composition of Rhea and of other icy moons which exhibit similar characteristics.
△ Less
Submitted 26 January, 2018; v1 submitted 30 November, 2017;
originally announced November 2017.
-
Cassini in situ observations of long-duration magnetic reconnection in Saturn's magnetotail
Authors:
Christopher S. Arridge,
Jonathan P. Eastwood,
Caitriona M. Jackman,
Gang-Kai Poh,
James A. Slavin,
Michelle F. Thomsen,
Nicolas André,
Xianzhe Jia,
Ariah Kidder,
Laurent Lamy,
Aikaterina Radioti,
Dan B. Reisenfeld,
Nick Sergis,
Martin Volwerk,
Andrew P. Walsh,
Philippe Zarka,
Andrew J. Coates,
Michele K. Dougherty
Abstract:
Magnetic reconnection is a fundamental process in solar system and astrophysical plasmas, through which stored magnetic energy associated with current sheets is converted into thermal, kinetic and wave energy. Magnetic reconnection is also thought to be a key process involved in shedding internally produced plasma from the giant magnetospheres at Jupiter and Saturn through topological reconfigurat…
▽ More
Magnetic reconnection is a fundamental process in solar system and astrophysical plasmas, through which stored magnetic energy associated with current sheets is converted into thermal, kinetic and wave energy. Magnetic reconnection is also thought to be a key process involved in shedding internally produced plasma from the giant magnetospheres at Jupiter and Saturn through topological reconfiguration of the magnetic field. The region where magnetic fields reconnect is known as the diffusion region and in this letter we report on the first encounter of the Cassini spacecraft with a diffusion region in Saturn's magnetotail. The data also show evidence of magnetic reconnection over a period of 19 h revealing that reconnection can, in fact, act for prolonged intervals in a rapidly rotating magnetosphere. We show that reconnection can be a significant pathway for internal plasma loss at Saturn. This counters the view of reconnection as a transient method of internal plasma loss at Saturn. These results, although directly relating to the magnetosphere of Saturn, have applications in the understanding of other rapidly rotating magnetospheres, including that of Jupiter and other astrophysical bodies.
△ Less
Submitted 22 December, 2015;
originally announced December 2015.
-
Two properties of endomorphisms of Weyl algebras
Authors:
Niels Lauritzen,
Jesper Funch Thomsen
Abstract:
We show that endomorphisms of Weyl algebras over fields of characteristic zero are flat and that birational endomorphisms are automorphisms by reducing to positive characteristic. We also give examples showing that endomorphisms of Weyl algebras are not in general flat over fields of positive characteristic.
We show that endomorphisms of Weyl algebras over fields of characteristic zero are flat and that birational endomorphisms are automorphisms by reducing to positive characteristic. We also give examples showing that endomorphisms of Weyl algebras are not in general flat over fields of positive characteristic.
△ Less
Submitted 11 August, 2015;
originally announced August 2015.
-
CPIC: a Curvilinear Particle-In-Cell code for plasma-material interaction studies
Authors:
Gian Luca Delzanno,
Enrico Camporeale,
J. David Moulton,
Joseph E. Borovsky,
Elizabeth A. MacDonald,
Michelle F. Thomsen
Abstract:
We describe a new electrostatic Particle-In-Cell (PIC) code in curvilinear geometry called Curvilinear PIC (CPIC). The code models the microscopic (kinetic) evolution of a plasma with the PIC method, coupled with an adaptive computational grid that can conform to arbitrarily shaped domains. CPIC is particularly suited for multiscale problems associated with the interaction of complex objects with…
▽ More
We describe a new electrostatic Particle-In-Cell (PIC) code in curvilinear geometry called Curvilinear PIC (CPIC). The code models the microscopic (kinetic) evolution of a plasma with the PIC method, coupled with an adaptive computational grid that can conform to arbitrarily shaped domains. CPIC is particularly suited for multiscale problems associated with the interaction of complex objects with plasmas. A map is introduced between the physical space and the logical space, where the grid is uniform and Cartesian. In CPIC, most operations are performed in logical space. CPIC was designed following criteria of versatility, robustness and performance. Its main features are the use of structured meshes, a scalable field solver based on the black box multigrid algorithm and a hybrid mover, where particles' position is in logical space while the velocity is in physical space. Test examples involving the interaction of a plasma with material boundaries are presented.
△ Less
Submitted 10 November, 2013;
originally announced November 2013.
-
Electron acceleration to relativistic energies at a strong quasi-parallel shock wave
Authors:
A. Masters,
L. Stawarz,
M. Fujimoto,
S. J. Schwartz,
N. Sergis,
M. F. Thomsen,
A. Retinò,
H. Hasegawa,
G. R. Lewis,
A. J. Coates,
P. Canu,
M. K. Dougherty
Abstract:
Electrons can be accelerated to ultrarelativistic energies at strong (high-Mach number) collisionless shock waves that form when stellar debris rapidly expands after a supernova. Collisionless shock waves also form in the flow of particles from the Sun (the solar wind), and extensive spacecraft observations have established that electron acceleration at these shocks is effectively absent whenever…
▽ More
Electrons can be accelerated to ultrarelativistic energies at strong (high-Mach number) collisionless shock waves that form when stellar debris rapidly expands after a supernova. Collisionless shock waves also form in the flow of particles from the Sun (the solar wind), and extensive spacecraft observations have established that electron acceleration at these shocks is effectively absent whenever the upstream magnetic field is roughly parallel to the shock surface normal (quasi-parallel conditions). However, it is unclear whether this magnetic dependence of electron acceleration also applies to the far stronger shocks around young supernova remnants, where local magnetic conditions are poorly understood. Here we present Cassini spacecraft observations of an unusually strong solar system shock wave (Saturn's bow shock) where significant local electron acceleration has been confirmed under quasi-parallel magnetic conditions for the first time, contradicting the established magnetic dependence of electron acceleration at solar system shocks. Furthermore, the acceleration led to electrons at relativistic energies (~MeV), comparable to the highest energies ever attributed to shock-acceleration in the solar wind. These observations demonstrate that at high-Mach numbers, like those of young supernova remnant shocks, quasi-parallel shocks become considerably more effective electron accelerators.
△ Less
Submitted 8 January, 2013;
originally announced January 2013.
-
A proof of Wahl's conjecture in the symplectic case
Authors:
Jesper Funch Thomsen
Abstract:
Let $X$ denote a flag variety of type $A$ or type $C$. We construct a canonical Frobenius splitting of $X \times X$ which vanishes with maximal multiplicty along the diagonal. This way we verify a conjecture by Lakshmibai, Mehta and Parameswaran in type $C$, and obtain a new proof in type $A$. In particular, we obtain a proof of Wahl's conjecture in type $C$, and a new proof in type $A$. We also p…
▽ More
Let $X$ denote a flag variety of type $A$ or type $C$. We construct a canonical Frobenius splitting of $X \times X$ which vanishes with maximal multiplicty along the diagonal. This way we verify a conjecture by Lakshmibai, Mehta and Parameswaran in type $C$, and obtain a new proof in type $A$. In particular, we obtain a proof of Wahl's conjecture in type $C$, and a new proof in type $A$. We also present certain cohomological consequences.
△ Less
Submitted 2 September, 2010;
originally announced September 2010.
-
Influence of Hot Plasma Pressure on the Global Structure of Saturn's Magnetodisk
Authors:
N. Achilleos,
P. Guio,
C. S. Arridge,
N. Sergis,
R. J. Wilson,
M. F. Thomsen,
A. J. Coates
Abstract:
Using a model of force balance in Saturn's disk-like magnetosphere, we show that variations in hot plasma pressure can change the magnetic field configuration. This effect changes (i) the location of the magnetopause, even at fixed solar wind dynamic pressure, and (ii) the magnetic map** between ionosphere and disk. The model uses equatorial observations as a boundary condition-we test its predi…
▽ More
Using a model of force balance in Saturn's disk-like magnetosphere, we show that variations in hot plasma pressure can change the magnetic field configuration. This effect changes (i) the location of the magnetopause, even at fixed solar wind dynamic pressure, and (ii) the magnetic map** between ionosphere and disk. The model uses equatorial observations as a boundary condition-we test its predictions over a wide latitude range by comparison with a Cassini high-inclination orbit of magnetic field and hot plasma pressure data. We find reasonable agreement over time scales larger than the period of Saturn kilometric radiation (also known as the camshaft period).
△ Less
Submitted 13 September, 2010; v1 submitted 23 August, 2010;
originally announced August 2010.
-
On frobenius splitting of orbit closures of spherical subgroups in flag varieties
Authors:
Xuhua He,
Jesper Funch Thomsen
Abstract:
Let $H$ be a connected spherical subgroup of a semisimple algebraic group $G$. In this paper, we give a criterion for $H$-orbit closures in the flag variety of $G$ to have nice geometric and cohomological properties. Our main tool is the method of Frobenius splitting and of global F-regularity.
Let $H$ be a connected spherical subgroup of a semisimple algebraic group $G$. In this paper, we give a criterion for $H$-orbit closures in the flag variety of $G$ to have nice geometric and cohomological properties. Our main tool is the method of Frobenius splitting and of global F-regularity.
△ Less
Submitted 26 June, 2010;
originally announced June 2010.
-
Maximal compatible splitting and diagonals of Kempf varieties
Authors:
Niels Lauritzen,
Jesper Funch Thomsen
Abstract:
Lakshmibai, Mehta and Parameswaran (LMP) introduced the notion of maximal multiplicity vanishing in Frobenius splitting. In this paper we define the algebraic analogue of this concept and construct a Frobenius splitting vanishing with maximal multiplicity on the diagonal of the full flag variety. Our splitting induces a diagonal Frobenius splitting of maximal multiplicity for a special class of sm…
▽ More
Lakshmibai, Mehta and Parameswaran (LMP) introduced the notion of maximal multiplicity vanishing in Frobenius splitting. In this paper we define the algebraic analogue of this concept and construct a Frobenius splitting vanishing with maximal multiplicity on the diagonal of the full flag variety. Our splitting induces a diagonal Frobenius splitting of maximal multiplicity for a special class of smooth Schubert varieties first considered by Kempf. Consequences are Frobenius splitting of tangent bundles, of blow-ups along the diagonal in flag varieties along with the LMP and Wahl conjectures in positive characteristic for the special linear group.
△ Less
Submitted 30 August, 2010; v1 submitted 16 April, 2010;
originally announced April 2010.
-
Frobenius splitting and geometry of $G$-Schubert varieties
Authors:
Xuhua He,
Jesper Funch Thomsen
Abstract:
Let $X$ be an equivariant embedding of a connected reductive group $G$ over an algebraically closed field $k$ of positive characteristic. Let $B$ denote a Borel subgroup of $G$. A $G$-Schubert variety in $X$ is a subvariety of the form $\diag(G) \cdot V$, where $V$ is a $B \times B$-orbit closure in $X$. In the case where $X$ is the wonderful compactification of a group of adjoint type, the $G$-…
▽ More
Let $X$ be an equivariant embedding of a connected reductive group $G$ over an algebraically closed field $k$ of positive characteristic. Let $B$ denote a Borel subgroup of $G$. A $G$-Schubert variety in $X$ is a subvariety of the form $\diag(G) \cdot V$, where $V$ is a $B \times B$-orbit closure in $X$. In the case where $X$ is the wonderful compactification of a group of adjoint type, the $G$-Schubert varieties are the closures of Lusztig's $G$-stable pieces. We prove that $X$ admits a Frobenius splitting which is compatible with all $G$-Schubert varieties. Moreover, when $X$ is smooth, projective and toroidal, then any $G$-Schubert variety in $X$ admits a stable Frobenius splitting along an ample divisors. Although this indicates that $G$-Schubert varieties have nice singularities we present an example of a non-normal $G$-Schubert variety in the wonderful compactification of a group of type $G_2$. Finally we also extend the Frobenius splitting results to the more general class of $\mathcal R$-Schubert varieties.
△ Less
Submitted 10 September, 2008; v1 submitted 5 April, 2007;
originally announced April 2007.
-
Geometry of $B \times B$-orbit closures in equivariant embeddings
Authors:
Xuhua He,
Jesper Funch Thomsen
Abstract:
Let $X$ denote an equivariant embedding of a connected reductive group $G$ over an algebraically closed field $k$. Let $B$ denote a Borel subgroup of $G$ and let $Z$ denote a $B \times B$-orbit closure in $X$. When the characteristic of $k$ is positive and $X$ is projective we prove that $Z$ is globally $F$-regular. As a consequence, $Z$ is normal and Cohen-Macaulay for arbitrary $X$ and arbitra…
▽ More
Let $X$ denote an equivariant embedding of a connected reductive group $G$ over an algebraically closed field $k$. Let $B$ denote a Borel subgroup of $G$ and let $Z$ denote a $B \times B$-orbit closure in $X$. When the characteristic of $k$ is positive and $X$ is projective we prove that $Z$ is globally $F$-regular. As a consequence, $Z$ is normal and Cohen-Macaulay for arbitrary $X$ and arbitrary characteristics. Moreover, in characteristic zero it follows that $Z$ has rational singularities. This extends earlier results by the second author and M. Brion.
△ Less
Submitted 14 October, 2005; v1 submitted 5 October, 2005;
originally announced October 2005.
-
On compactifications of the Steinberg zero-fiber
Authors:
Thomas Haahr Lynderup,
Jesper Funch Thomsen
Abstract:
Let G be a connected semisimple linear algebraic group over an algebraically closed field k of positive characteristic and let X denote an equivariant embedding of G. We define a distinguished Steinberg fiber N in G, called the zero-fiber, and prove that the closure of N within X is normal and Cohen-Macaulay. Furthermore, when X is smooth we prove that the closure of N is a local complete inters…
▽ More
Let G be a connected semisimple linear algebraic group over an algebraically closed field k of positive characteristic and let X denote an equivariant embedding of G. We define a distinguished Steinberg fiber N in G, called the zero-fiber, and prove that the closure of N within X is normal and Cohen-Macaulay. Furthermore, when X is smooth we prove that the closure of N is a local complete intersection.
△ Less
Submitted 17 June, 2005;
originally announced June 2005.
-
Closures of Steinberg fibers in twisted wonderful compactifications
Authors:
Xuhua He,
Jesper Funch Thomsen
Abstract:
By a case-free approach we give a precise description of the closure of a Steinberg fiber within a twisted wonderful compactification of a simple linear algebraic group. In the non-twisted case this description was earlier obtained by the first author.
By a case-free approach we give a precise description of the closure of a Steinberg fiber within a twisted wonderful compactification of a simple linear algebraic group. In the non-twisted case this description was earlier obtained by the first author.
△ Less
Submitted 1 February, 2006; v1 submitted 5 June, 2005;
originally announced June 2005.
-
Frobenius splitting of equivariant closures of regular conjugacy classes
Authors:
Jesper Funch Thomsen
Abstract:
Let $G$ denote a connected semisimple and simply connected algebraic group over an algebraically closed field $k$ of positive characteristic and let $g$ denote a regular element of $G$. Let $X$ denote any equivariant embedding of $G$. We prove that the closure of the conjugacy class of $g$ within $X$ is normal and Cohen-Macaulay. Moreover, when $X$ is smooth we prove that this closure is a local…
▽ More
Let $G$ denote a connected semisimple and simply connected algebraic group over an algebraically closed field $k$ of positive characteristic and let $g$ denote a regular element of $G$. Let $X$ denote any equivariant embedding of $G$. We prove that the closure of the conjugacy class of $g$ within $X$ is normal and Cohen-Macaulay. Moreover, when $X$ is smooth we prove that this closure is a local complete intersection. As a consequence, the closure of the unipotent variety within $X$ share the same geometric properties.
△ Less
Submitted 7 February, 2005;
originally announced February 2005.
-
F-regularity of large Schubert varieties
Authors:
Michel Brion,
Jesper Funch Thomsen
Abstract:
Let G denote a connected reductive algebraic group over an algebraically closed field k and let X denote a projective G x G-equivariant embedding of G. The large Schubert varieties in X are the closures of the double cosets BgB, where B denotes a Borel subgroup of G, and g is in G. We prove that these varieties are globally F-regular in positive characteristic, resp. of globally F-regular type i…
▽ More
Let G denote a connected reductive algebraic group over an algebraically closed field k and let X denote a projective G x G-equivariant embedding of G. The large Schubert varieties in X are the closures of the double cosets BgB, where B denotes a Borel subgroup of G, and g is in G. We prove that these varieties are globally F-regular in positive characteristic, resp. of globally F-regular type in characteristic 0. As a consequence, the large Schubert varieties are normal and
△ Less
Submitted 13 August, 2004;
originally announced August 2004.
-
Global F-regularity of Schubert varieties with applications to D-modules
Authors:
Niels Lauritzen,
Ulf Raben-Pedersen,
Jesper Funch Thomsen
Abstract:
We prove that Schubert varieties are globally F-regular in the sense of Karen Smith. We apply this result to the category of equivariant and holonomic D-modules on flag varieties in positive characteristic. Here recent results of Blickle are shown to imply that the simple D-modules coincide with local cohomology sheaves with support in Schubert varieties. Using a local Grothendieck-Cousin comple…
▽ More
We prove that Schubert varieties are globally F-regular in the sense of Karen Smith. We apply this result to the category of equivariant and holonomic D-modules on flag varieties in positive characteristic. Here recent results of Blickle are shown to imply that the simple D-modules coincide with local cohomology sheaves with support in Schubert varieties. Using a local Grothendieck-Cousin complex we prove that the decomposition of local cohomology sheaves with support in Schubert cells is multiplicity free.
△ Less
Submitted 30 May, 2007; v1 submitted 4 February, 2004;
originally announced February 2004.
-
A new realization of the cohomology of Springer fibers
Authors:
Shrawan Kumar,
Jesper Funch Thomsen
Abstract:
In this note we give a geometric realization of the cohomology of Springer fibers in type A. More precisely, we describe the cohomology by the coordinate ring of a scheme theoretic intersection of a Cartan subalgebra with a certain union of cones of nilpotent elements inside the Lie algebra of the group SL_n. As such, the main result of this note is similar to an earlier description given by de…
▽ More
In this note we give a geometric realization of the cohomology of Springer fibers in type A. More precisely, we describe the cohomology by the coordinate ring of a scheme theoretic intersection of a Cartan subalgebra with a certain union of cones of nilpotent elements inside the Lie algebra of the group SL_n. As such, the main result of this note is similar to an earlier description given by de Concini and Procesi.
△ Less
Submitted 13 November, 2002;
originally announced November 2002.
-
Stability and heating of magnetically driven jets from Keplerian accretion discs
Authors:
F. Thomsen,
A. Nordlund
Abstract:
We have performed 3-D numerical magnetohydrodynamic (MHD) jet experiments to study the instabilities associated with strongly toroidal magnetic fields and determine if such magnetic configurations in jets are as unstable as similar situations are found to be in the laboratory and in analytical estimates. A perfectly conducting Keplerian disc with fixed density, rotational velocity and pressure i…
▽ More
We have performed 3-D numerical magnetohydrodynamic (MHD) jet experiments to study the instabilities associated with strongly toroidal magnetic fields and determine if such magnetic configurations in jets are as unstable as similar situations are found to be in the laboratory and in analytical estimates. A perfectly conducting Keplerian disc with fixed density, rotational velocity and pressure is used as a lower boundary for the jet. The energy equation is solved, with the inclusion of self-consistently computed heating by viscous and magnetic dissipation. The resulting jets evolve into time-dependent, non-axisymmetric configurations, but we find only minor disruption of the jets by for example the kink instability. We find that magnetic dissipation may have profound effects on the jet flow as: 1) it turns on in highly wound up magnetic field regions and helps to prevent critical kink situations; 2) it influences jet dynamics by re-organizing the magnetic field structure and increasing thermal pressure in the jet; and 3) it influences mass loading by increasing temperature and pressure at the base of the jet.
△ Less
Submitted 22 June, 2002;
originally announced June 2002.
-
A conjectural generalization of n! result to arbitrary groups
Authors:
Shrawan Kumar,
Jesper Funch Thomsen
Abstract:
We relate the n! conjecture (by Garsia and Haiman) to the geometry of principal nilpotent pairs, and state a conjecture generalizing the n! conjecture to arbitrary semisimple algebraic groups. We also show, using Borel's fixed point theorem, how to reduce the n! conjecture to staircase partitions. Finally we study the interplay between characteristic p and the n! conjecture for box partitions.
We relate the n! conjecture (by Garsia and Haiman) to the geometry of principal nilpotent pairs, and state a conjecture generalizing the n! conjecture to arbitrary semisimple algebraic groups. We also show, using Borel's fixed point theorem, how to reduce the n! conjecture to staircase partitions. Finally we study the interplay between characteristic p and the n! conjecture for box partitions.
△ Less
Submitted 14 August, 2002; v1 submitted 22 January, 2002;
originally announced January 2002.
-
Frobenius splitting of Hilbert schemes of points on surfaces
Authors:
Shrawan Kumar,
Jesper Funch Thomsen
Abstract:
Let X be a quasiprojective smooth surface defined over an algebraically closed field of positive characteristic. We show that if X is Frobenius split then so is the Hilbert scheme Hilb^n(X) of n points in X. In particular, we get the higher cohomology vanishing for ample line bundles on Hilb^n(X) when X is projective and Frobenius split.
Let X be a quasiprojective smooth surface defined over an algebraically closed field of positive characteristic. We show that if X is Frobenius split then so is the Hilbert scheme Hilb^n(X) of n points in X. In particular, we get the higher cohomology vanishing for ample line bundles on Hilb^n(X) when X is projective and Frobenius split.
△ Less
Submitted 23 November, 1999;
originally announced November 1999.
-
Frobenius splitting of cotangent bundles of flag varieties and geometry of nilpotent cones
Authors:
Shrawan Kumar,
Niels Lauritzen,
Jesper Funch Thomsen
Abstract:
We use the G-invariant non-degenerate form on the Steinberg module to Frobenius split the cotangent bundle of a flag variety in good prime characteristics. This was previously only known for the general linear group. Applications are a vanishing theorem for pull back of line bundles to the cotangent bundle (proved for the classical groups and G_2 by Andersen and Jantzen and in characteristic zer…
▽ More
We use the G-invariant non-degenerate form on the Steinberg module to Frobenius split the cotangent bundle of a flag variety in good prime characteristics. This was previously only known for the general linear group. Applications are a vanishing theorem for pull back of line bundles to the cotangent bundle (proved for the classical groups and G_2 by Andersen and Jantzen and in characteristic zero by B. Broer (for all groups)), normality and rational singularities for the subregular nilpotent variety and good filtrations of the global sections of pull backs of line bundles to the cotangent bundle, which in turn implies good filtrations of cohomology of induced representations.
△ Less
Submitted 8 September, 1998;
originally announced September 1998.
-
Irreducibility of \bar{M}_{0,n}(G/P,β)
Authors:
Jesper Funch Thomsen
Abstract:
Let G be a linear algebraic group, P be a parabolic subgroup of G and βbe a cycle of dimension 1 in the Chow group of the quotient G/P. Using geometric arguments and Borel's fixed point theorem, we prove that the moduli space \bar{M}_{0,n}(G/P, β) of n-pointed genus 0 stable maps representing βis irreducible.
Let G be a linear algebraic group, P be a parabolic subgroup of G and βbe a cycle of dimension 1 in the Chow group of the quotient G/P. Using geometric arguments and Borel's fixed point theorem, we prove that the moduli space \bar{M}_{0,n}(G/P, β) of n-pointed genus 0 stable maps representing βis irreducible.
△ Less
Submitted 9 July, 1997;
originally announced July 1997.
-
Frobenius morphisms over Z/p^2 and Bott vanishing
Authors:
A. Buch,
J. F. Thomsen,
N. Lauritzen,
V. B. Mehta
Abstract:
Let $X$ be a smooth projective algebraic variety over $Z/p$, which has a flat lift to a scheme $X'$ over $Z/p^2$. If the absolute Frobenius morphism $F$ on $X$ lifts to a morphism on $X'$, then an old trick by Mazur shows that push-down of the de Rham complex under $F$ decomposes. We show that the quasi-isomorphism in question is split. This is then applied to toric varieties (where a glueing ar…
▽ More
Let $X$ be a smooth projective algebraic variety over $Z/p$, which has a flat lift to a scheme $X'$ over $Z/p^2$. If the absolute Frobenius morphism $F$ on $X$ lifts to a morphism on $X'$, then an old trick by Mazur shows that push-down of the de Rham complex under $F$ decomposes. We show that the quasi-isomorphism in question is split. This is then applied to toric varieties (where a glueing argument gives lifting of Frobenius to $Z/p^2$) and we derive natural characteristic $p$ proofs of Bott vanishing and degeneration of the Danilov spectral sequence. For flag varieties we obtain generalizations of a result of Paranjape and Srinivas about non-lifting of Frobenius to the Witt vectors.
△ Less
Submitted 17 August, 1995;
originally announced August 1995.