-
Towards Deep Active Learning in Avian Bioacoustics
Authors:
Lukas Rauch,
Denis Huseljic,
Moritz Wirth,
Jens Decke,
Bernhard Sick,
Christoph Scholz
Abstract:
Passive acoustic monitoring (PAM) in avian bioacoustics enables cost-effective and extensive data collection with minimal disruption to natural habitats. Despite advancements in computational avian bioacoustics, deep learning models continue to encounter challenges in adapting to diverse environments in practical PAM scenarios. This is primarily due to the scarcity of annotations, which requires l…
▽ More
Passive acoustic monitoring (PAM) in avian bioacoustics enables cost-effective and extensive data collection with minimal disruption to natural habitats. Despite advancements in computational avian bioacoustics, deep learning models continue to encounter challenges in adapting to diverse environments in practical PAM scenarios. This is primarily due to the scarcity of annotations, which requires labor-intensive efforts from human experts. Active learning (AL) reduces annotation cost and speed ups adaption to diverse scenarios by querying the most informative instances for labeling. This paper outlines a deep AL approach, introduces key challenges, and conducts a small-scale pilot study.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
CodeGemma: Open Code Models Based on Gemma
Authors:
CodeGemma Team,
Heri Zhao,
Jeffrey Hui,
Joshua Howland,
Nam Nguyen,
Siqi Zuo,
Andrea Hu,
Christopher A. Choquette-Choo,
**gyue Shen,
Joe Kelley,
Kshitij Bansal,
Luke Vilnis,
Mateo Wirth,
Paul Michel,
Peter Choy,
Pratik Joshi,
Ravin Kumar,
Sarmad Hashmi,
Shubham Agrawal,
Zhitao Gong,
Jane Fine,
Tris Warkentin,
Ale Jakse Hartman,
Bin Ni,
Kathy Korevec
, et al. (2 additional authors not shown)
Abstract:
This paper introduces CodeGemma, a collection of specialized open code models built on top of Gemma, capable of a variety of code and natural language generation tasks. We release three model variants. CodeGemma 7B pretrained (PT) and instruction-tuned (IT) variants have remarkably resilient natural language understanding, excel in mathematical reasoning, and match code capabilities of other open…
▽ More
This paper introduces CodeGemma, a collection of specialized open code models built on top of Gemma, capable of a variety of code and natural language generation tasks. We release three model variants. CodeGemma 7B pretrained (PT) and instruction-tuned (IT) variants have remarkably resilient natural language understanding, excel in mathematical reasoning, and match code capabilities of other open models. CodeGemma 2B is a state-of-the-art code completion model designed for fast code infilling and open-ended generation in latency-sensitive settings.
△ Less
Submitted 18 June, 2024; v1 submitted 17 June, 2024;
originally announced June 2024.
-
Operator-Valued Twisted Araki-Woods Algebras
Authors:
Rahul Kumar R,
Melchior Wirth
Abstract:
We introduce operator-valued twisted Araki-Woods algebras. These are operator-valued versions of a class of second quantization algebras that includes $q$-Gaussian and $q$-Araki-Woods algebras and also generalize Shlyakhtenko's von Neumann algebras generated by operator-valued semicircular variables. We develop a disintegration theory that reduces the isomorphism type of operator-valued twisted Ar…
▽ More
We introduce operator-valued twisted Araki-Woods algebras. These are operator-valued versions of a class of second quantization algebras that includes $q$-Gaussian and $q$-Araki-Woods algebras and also generalize Shlyakhtenko's von Neumann algebras generated by operator-valued semicircular variables. We develop a disintegration theory that reduces the isomorphism type of operator-valued twisted Araki-Woods algebras over type I factors to the scalar-valued case. Moreover, these algebras come with a natural weight, and we characterize its modular theory. We also give sufficient criteria that guarantee that factoriality of these algebras.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Coherent coupling of circular Rydberg qubits to inner shell excitations
Authors:
Moritz Wirth,
Christian Hölzl,
Aaron Götzelmann,
Einius Pultinevicius,
Florian Meinert
Abstract:
Divalent atoms provide excellent means for advancing control in Rydberg atom-based quantum simulation and computing, due to the second optically active valence electron available. Particularly promising in this context are circular Rydberg atoms, for which long-lived ionic core excitations can be exploited without suffering from detrimental autoionization. Here, we report measurements of the elect…
▽ More
Divalent atoms provide excellent means for advancing control in Rydberg atom-based quantum simulation and computing, due to the second optically active valence electron available. Particularly promising in this context are circular Rydberg atoms, for which long-lived ionic core excitations can be exploited without suffering from detrimental autoionization. Here, we report measurements of the electric quadrupole coupling between the metastable 4D$_{3/2}$ level and a very high-$n$ ($n=79$) circular Rydberg qubit, realized in doubly excited $^{88}$Sr atoms. We measure the kHz-scale differential level shift on the circular Rydberg qubit via beat-node Ramsey interferometry comprising spin echo. Observing this coupling requires coherent interrogation of the Rydberg states for more than one hundred microseconds, which is assisted by tweezer trap** and circular state lifetime enhancement in a black-body radiation suppressing capacitor. Our results demonstrate access to weak electron-electron interactions in Rydberg atoms and expand the quantum simulation toolbox for optical control of highly excited circular state qubits via ionic core manipulation.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
BirdSet: A Dataset and Benchmark for Classification in Avian Bioacoustics
Authors:
Lukas Rauch,
Raphael Schwinger,
Moritz Wirth,
René Heinrich,
Denis Huseljic,
Jonas Lange,
Stefan Kahl,
Bernhard Sick,
Sven Tomforde,
Christoph Scholz
Abstract:
Deep learning (DL) models have emerged as a powerful tool in avian bioacoustics to assess environmental health. To maximize the potential of cost-effective and minimal-invasive passive acoustic monitoring (PAM), DL models must analyze bird vocalizations across a wide range of species and environmental conditions. However, data fragmentation challenges a comprehensive evaluation of generalization p…
▽ More
Deep learning (DL) models have emerged as a powerful tool in avian bioacoustics to assess environmental health. To maximize the potential of cost-effective and minimal-invasive passive acoustic monitoring (PAM), DL models must analyze bird vocalizations across a wide range of species and environmental conditions. However, data fragmentation challenges a comprehensive evaluation of generalization performance. Therefore, we introduce the BirdSet dataset, comprising approximately 520,000 global bird recordings for training and over 400 hours of PAM recordings for testing. Our benchmark offers baselines for several DL models to enhance comparability and consolidate research across studies, along with code implementations that include comprehensive training and evaluation protocols.
△ Less
Submitted 17 June, 2024; v1 submitted 15 March, 2024;
originally announced March 2024.
-
Gemma: Open Models Based on Gemini Research and Technology
Authors:
Gemma Team,
Thomas Mesnard,
Cassidy Hardin,
Robert Dadashi,
Surya Bhupatiraju,
Shreya Pathak,
Laurent Sifre,
Morgane Rivière,
Mihir Sanjay Kale,
Juliette Love,
Pouya Tafti,
Léonard Hussenot,
Pier Giuseppe Sessa,
Aakanksha Chowdhery,
Adam Roberts,
Aditya Barua,
Alex Botev,
Alex Castro-Ros,
Ambrose Slone,
Amélie Héliou,
Andrea Tacchetti,
Anna Bulanova,
Antonia Paterson,
Beth Tsai,
Bobak Shahriari
, et al. (83 additional authors not shown)
Abstract:
This work introduces Gemma, a family of lightweight, state-of-the art open models built from the research and technology used to create Gemini models. Gemma models demonstrate strong performance across academic benchmarks for language understanding, reasoning, and safety. We release two sizes of models (2 billion and 7 billion parameters), and provide both pretrained and fine-tuned checkpoints. Ge…
▽ More
This work introduces Gemma, a family of lightweight, state-of-the art open models built from the research and technology used to create Gemini models. Gemma models demonstrate strong performance across academic benchmarks for language understanding, reasoning, and safety. We release two sizes of models (2 billion and 7 billion parameters), and provide both pretrained and fine-tuned checkpoints. Gemma outperforms similarly sized open models on 11 out of 18 text-based tasks, and we present comprehensive evaluations of safety and responsibility aspects of the models, alongside a detailed description of model development. We believe the responsible release of LLMs is critical for improving the safety of frontier models, and for enabling the next wave of LLM innovations.
△ Less
Submitted 16 April, 2024; v1 submitted 13 March, 2024;
originally announced March 2024.
-
Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context
Authors:
Gemini Team,
Petko Georgiev,
Ving Ian Lei,
Ryan Burnell,
Libin Bai,
Anmol Gulati,
Garrett Tanzer,
Damien Vincent,
Zhufeng Pan,
Shibo Wang,
Soroosh Mariooryad,
Yifan Ding,
Xinyang Geng,
Fred Alcober,
Roy Frostig,
Mark Omernick,
Lexi Walker,
Cosmin Paduraru,
Christina Sorokin,
Andrea Tacchetti,
Colin Gaffney,
Samira Daruki,
Olcan Sercinoglu,
Zach Gleicher,
Juliette Love
, et al. (1092 additional authors not shown)
Abstract:
In this report, we introduce the Gemini 1.5 family of models, representing the next generation of highly compute-efficient multimodal models capable of recalling and reasoning over fine-grained information from millions of tokens of context, including multiple long documents and hours of video and audio. The family includes two new models: (1) an updated Gemini 1.5 Pro, which exceeds the February…
▽ More
In this report, we introduce the Gemini 1.5 family of models, representing the next generation of highly compute-efficient multimodal models capable of recalling and reasoning over fine-grained information from millions of tokens of context, including multiple long documents and hours of video and audio. The family includes two new models: (1) an updated Gemini 1.5 Pro, which exceeds the February version on the great majority of capabilities and benchmarks; (2) Gemini 1.5 Flash, a more lightweight variant designed for efficiency with minimal regression in quality. Gemini 1.5 models achieve near-perfect recall on long-context retrieval tasks across modalities, improve the state-of-the-art in long-document QA, long-video QA and long-context ASR, and match or surpass Gemini 1.0 Ultra's state-of-the-art performance across a broad set of benchmarks. Studying the limits of Gemini 1.5's long-context ability, we find continued improvement in next-token prediction and near-perfect retrieval (>99%) up to at least 10M tokens, a generational leap over existing models such as Claude 3.0 (200k) and GPT-4 Turbo (128k). Finally, we highlight real-world use cases, such as Gemini 1.5 collaborating with professionals on completing their tasks achieving 26 to 75% time savings across 10 different job categories, as well as surprising new capabilities of large language models at the frontier; when given a grammar manual for Kalamang, a language with fewer than 200 speakers worldwide, the model learns to translate English to Kalamang at a similar level to a person who learned from the same content.
△ Less
Submitted 14 June, 2024; v1 submitted 8 March, 2024;
originally announced March 2024.
-
Long-Lived Circular Rydberg Qubits of Alkaline-Earth Atoms in Optical Tweezers
Authors:
Christian Hölzl,
Aaron Götzelmann,
Einius Pultinevicius,
Moritz Wirth,
Florian Meinert
Abstract:
Coherence time and gate fidelities in Rydberg atom quantum simulators and computers are fundamentally limited by the Rydberg state lifetime. Circular Rydberg states are highly promising candidates to overcome this limitation by orders of magnitude, as they can be effectively protected from decay due to their maximum angular momentum. We report the first realization of alkaline-earth circular Rydbe…
▽ More
Coherence time and gate fidelities in Rydberg atom quantum simulators and computers are fundamentally limited by the Rydberg state lifetime. Circular Rydberg states are highly promising candidates to overcome this limitation by orders of magnitude, as they can be effectively protected from decay due to their maximum angular momentum. We report the first realization of alkaline-earth circular Rydberg atoms trapped in optical tweezers, which provide unique and novel control possibilities due to the optically active ionic core. Specifically, we demonstrate creation of very high-$n$ ($n=79$) circular states of $^{88}$Sr. We measure lifetimes as long as 2.55 ms at room temperature, which are achieved via cavity-assisted suppression of black-body radiation. We show coherent control of a microwave qubit encoded in circular states of nearby manifolds, and characterize the qubit coherence time via Ramsey and spin-echo spectroscopy. Finally, circular state tweezer trap** exploiting the Sr$^+$ core polarizability is quantified via measurements of the trap-induced light shift on the qubit. Our work opens routes for quantum simulations with circular Rydberg states of divalent atoms, exploiting the emergent toolbox associated with the optically active core ion.
△ Less
Submitted 4 March, 2024; v1 submitted 19 January, 2024;
originally announced January 2024.
-
Intertwining Curvature Bounds for Graphs and Quantum Markov Semigroups
Authors:
Florentin Münch,
Melchior Wirth,
Haonan Zhang
Abstract:
Based on earlier work by Carlen-Maas and the second- and third-named author, we introduce the notion of intertwining curvature lower bounds for graphs and quantum Markov semigroups. This curvature notion is stronger than both Bakry-Émery and entropic Ricci curvature, while also computationally simpler than the latter. We verify intertwining curvature bounds in a number of examples, including finit…
▽ More
Based on earlier work by Carlen-Maas and the second- and third-named author, we introduce the notion of intertwining curvature lower bounds for graphs and quantum Markov semigroups. This curvature notion is stronger than both Bakry-Émery and entropic Ricci curvature, while also computationally simpler than the latter. We verify intertwining curvature bounds in a number of examples, including finite weighted graphs and graphs with Laplacians admitting nice map** representations, as well as generalized dephasing semigroups and quantum Markov semigroups whose generators are formed by commuting jump operators. By improving on the best-known bounds for entropic curvature of depolarizing semigroups, we demonstrate that there can be a gap between the optimal intertwining and entropic curvature bound. In the case of qubits, this improved entropic curvature bound implies the modified logarithmic Sobolev inequality with optimal constant.
△ Less
Submitted 10 January, 2024;
originally announced January 2024.
-
Gemini: A Family of Highly Capable Multimodal Models
Authors:
Gemini Team,
Rohan Anil,
Sebastian Borgeaud,
Jean-Baptiste Alayrac,
Jiahui Yu,
Radu Soricut,
Johan Schalkwyk,
Andrew M. Dai,
Anja Hauth,
Katie Millican,
David Silver,
Melvin Johnson,
Ioannis Antonoglou,
Julian Schrittwieser,
Amelia Glaese,
Jilin Chen,
Emily Pitler,
Timothy Lillicrap,
Angeliki Lazaridou,
Orhan Firat,
James Molloy,
Michael Isard,
Paul R. Barham,
Tom Hennigan,
Benjamin Lee
, et al. (1325 additional authors not shown)
Abstract:
This report introduces a new family of multimodal models, Gemini, that exhibit remarkable capabilities across image, audio, video, and text understanding. The Gemini family consists of Ultra, Pro, and Nano sizes, suitable for applications ranging from complex reasoning tasks to on-device memory-constrained use-cases. Evaluation on a broad range of benchmarks shows that our most-capable Gemini Ultr…
▽ More
This report introduces a new family of multimodal models, Gemini, that exhibit remarkable capabilities across image, audio, video, and text understanding. The Gemini family consists of Ultra, Pro, and Nano sizes, suitable for applications ranging from complex reasoning tasks to on-device memory-constrained use-cases. Evaluation on a broad range of benchmarks shows that our most-capable Gemini Ultra model advances the state of the art in 30 of 32 of these benchmarks - notably being the first model to achieve human-expert performance on the well-studied exam benchmark MMLU, and improving the state of the art in every one of the 20 multimodal benchmarks we examined. We believe that the new capabilities of the Gemini family in cross-modal reasoning and language understanding will enable a wide variety of use cases. We discuss our approach toward post-training and deploying Gemini models responsibly to users through services including Gemini, Gemini Advanced, Google AI Studio, and Cloud Vertex AI.
△ Less
Submitted 17 June, 2024; v1 submitted 18 December, 2023;
originally announced December 2023.
-
Active Bird2Vec: Towards End-to-End Bird Sound Monitoring with Transformers
Authors:
Lukas Rauch,
Raphael Schwinger,
Moritz Wirth,
Bernhard Sick,
Sven Tomforde,
Christoph Scholz
Abstract:
We propose a shift towards end-to-end learning in bird sound monitoring by combining self-supervised (SSL) and deep active learning (DAL). Leveraging transformer models, we aim to bypass traditional spectrogram conversions, enabling direct raw audio processing. ActiveBird2Vec is set to generate high-quality bird sound representations through SSL, potentially accelerating the assessment of environm…
▽ More
We propose a shift towards end-to-end learning in bird sound monitoring by combining self-supervised (SSL) and deep active learning (DAL). Leveraging transformer models, we aim to bypass traditional spectrogram conversions, enabling direct raw audio processing. ActiveBird2Vec is set to generate high-quality bird sound representations through SSL, potentially accelerating the assessment of environmental changes and decision-making processes for wind farms. Additionally, we seek to utilize the wide variety of bird vocalizations through DAL, reducing the reliance on extensively labeled datasets by human experts. We plan to curate a comprehensive set of tasks through Huggingface Datasets, enhancing future comparability and reproducibility of bioacoustic research. A comparative analysis between various transformer models will be conducted to evaluate their proficiency in bird sound recognition tasks. We aim to accelerate the progression of avian bioacoustic research and contribute to more effective conservation strategies.
△ Less
Submitted 21 November, 2023; v1 submitted 14 August, 2023;
originally announced August 2023.
-
Fundamental Scaling Relationships in Additive Manufacturing and their Implications for Future Manufacturing Systems
Authors:
David M. Wirth,
Chi Chung Li,
Jonathan K. Pokorski,
Hayden K. Taylor,
Maxim Shusteff
Abstract:
The field of additive manufacturing (AM) has advanced considerably over recent decades through the development of novel methods, materials, and systems. However, as the field approaches maturity, it is relevant to investigate the scaling frontiers and fundamental limits of AM in a generalized sense. Here we propose a simplified universal mathematical model that describes the essential process dyna…
▽ More
The field of additive manufacturing (AM) has advanced considerably over recent decades through the development of novel methods, materials, and systems. However, as the field approaches maturity, it is relevant to investigate the scaling frontiers and fundamental limits of AM in a generalized sense. Here we propose a simplified universal mathematical model that describes the essential process dynamics of many AM hardware platforms. We specifically examine the influence of several key parameters on total manufacturing time, comparing these with performance results obtained from real-world AM systems. We find a inverse-cubic dependency on minimal feature size and a linear dependency on overall structure size. These relationships imply how certain process features such as parallelization and process dimensionality can help move toward the fundamental limits. AM methods that are capable of varying the size of deposited voxels provide one possibility to overcome these limits in the future development of AM. We also propose a new framework for classifying manufacturing processes as "top-down" vs "bottom-up" paradigms, which differs from the conventional usage of such terms, and present considerations for how "bottom-up" manufacturing approaches may surpass the fundamental limits of "top-down" systems.
△ Less
Submitted 26 July, 2023;
originally announced July 2023.
-
Modular Completely Dirichlet forms as Squares of Derivations
Authors:
Melchior Wirth
Abstract:
We prove that certain closable derivations on the GNS Hilbert space associated with a non-tracial weight on a von Neumann algebra give rise to GNS-symmetric semigroups of contractive completely positive maps on the von Neumann algebra.
We prove that certain closable derivations on the GNS Hilbert space associated with a non-tracial weight on a von Neumann algebra give rise to GNS-symmetric semigroups of contractive completely positive maps on the von Neumann algebra.
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
-
ActiveGLAE: A Benchmark for Deep Active Learning with Transformers
Authors:
Lukas Rauch,
Matthias Aßenmacher,
Denis Huseljic,
Moritz Wirth,
Bernd Bischl,
Bernhard Sick
Abstract:
Deep active learning (DAL) seeks to reduce annotation costs by enabling the model to actively query instance annotations from which it expects to learn the most. Despite extensive research, there is currently no standardized evaluation protocol for transformer-based language models in the field of DAL. Diverse experimental settings lead to difficulties in comparing research and deriving recommenda…
▽ More
Deep active learning (DAL) seeks to reduce annotation costs by enabling the model to actively query instance annotations from which it expects to learn the most. Despite extensive research, there is currently no standardized evaluation protocol for transformer-based language models in the field of DAL. Diverse experimental settings lead to difficulties in comparing research and deriving recommendations for practitioners. To tackle this challenge, we propose the ActiveGLAE benchmark, a comprehensive collection of data sets and evaluation guidelines for assessing DAL. Our benchmark aims to facilitate and streamline the evaluation process of novel DAL strategies. Additionally, we provide an extensive overview of current practice in DAL with transformer-based language models. We identify three key challenges - data set selection, model training, and DAL settings - that pose difficulties in comparing query strategies. We establish baseline results through an extensive set of experiments as a reference point for evaluating future work. Based on our findings, we provide guidelines for researchers and practitioners.
△ Less
Submitted 16 June, 2023;
originally announced June 2023.
-
Silicon-lattice-matched boron-doped gallium phosphide: A scalable acousto-optic platform
Authors:
Nicholas S. Yama,
I-Tung Chen,
Srivatsa Chakravarthi,
Bingzhao Li,
Christian Pederson,
Bethany E. Matthews,
Steven R. Spurgeon,
Daniel E. Perea,
Mark G. Wirth,
Peter V. Sushko,
Mo Li,
Kai-Mei C. Fu
Abstract:
The compact size, scalability, and strongly confined fields in integrated photonic devices enable new functionalities in photonic networking and information processing, both classical and quantum. Gallium phosphide (GaP) is a promising material for active integrated photonics due to its high refractive index, wide band gap, strong nonlinear properties, and large acousto-optic figure of merit. In t…
▽ More
The compact size, scalability, and strongly confined fields in integrated photonic devices enable new functionalities in photonic networking and information processing, both classical and quantum. Gallium phosphide (GaP) is a promising material for active integrated photonics due to its high refractive index, wide band gap, strong nonlinear properties, and large acousto-optic figure of merit. In this work we demonstrate that silicon-lattice-matched boron-doped GaP (BGaP), grown at the 12-inch wafer scale, provides similar functionalities as GaP. BGaP optical resonators exhibit intrinsic quality factors exceeding 25,000 and 200,000 at visible and telecom wavelengths respectively. We further demonstrate the electromechanical generation of low-loss acoustic waves and an integrated acousto-optic (AO) modulator. High-resolution spatial and compositional map**, combined with ab initio calculations indicate two candidates for the excess optical loss in the visible band: the silicon-GaP interface and boron dimers. These results demonstrate the promise of the BGaP material platform for the development of scalable AO technologies at telecom and provide potential pathways toward higher performance at shorter wavelengths.
△ Less
Submitted 19 May, 2023;
originally announced May 2023.
-
Towards Quantitative Analysis of Deuterium Absorption in Ferrite and Austenite during Electrochemical Charging by Comparing Cyclic Voltammetry and Cryogenic Transfer Atom Probe Tomography
Authors:
Dallin J. Barton,
Dan-Thien Nguyen,
Daniel E. Perea,
Kelsey A. Stoerzinger,
Reyna Morales Lumagui,
Sten V. Lambeets,
Mark G. Wirth,
Arun Devaraj
Abstract:
Hydrogen embrittlement mechanisms of steels have been studied for several decades. Understanding hydrogen diffusion behavior in steels is crucial towards both develo** predictive models for hydrogen embrittlement and identifying mitigation strategies. However, because hydrogen has a low atomic mass, it is extremely challenging to detect by most analytical methods. In recent years, cryogenic-tran…
▽ More
Hydrogen embrittlement mechanisms of steels have been studied for several decades. Understanding hydrogen diffusion behavior in steels is crucial towards both develo** predictive models for hydrogen embrittlement and identifying mitigation strategies. However, because hydrogen has a low atomic mass, it is extremely challenging to detect by most analytical methods. In recent years, cryogenic-transfer atom probe tomography (APT) of electrochemically-deuterium-charged steels has provided invaluable qualitative analysis of nanoscale deuterium traps such as carbides, dislocations, grain boundaries and interfaces between ferrite and cementite. Independently, cyclic voltammetry (CV) has provided valuable analysis of bulk hydrogen diffusion in steels. In this work, we use a combination of CV and cryogenic-transfer APT for quantitative analysis of deuterium pickup in electrolytically charged pure Fe (ferrite) and a model austenitic Fe18Cr14Ni alloy without any second phase or defect trap sites. The high solubility and low diffusivity of hydrogen in austenite versus ferrite are highlighted to result in clear observable signatures in CV and cryogenic-transfer APT results. The remaining challenges and pathway for enabling quantitative analysis of hydrogen pick up in steels is also discussed.
△ Less
Submitted 29 March, 2023;
originally announced March 2023.
-
Derivations and KMS-Symmetric Quantum Markov Semigroups
Authors:
Matthijs Vernooij,
Melchior Wirth
Abstract:
We prove that the generator of the $L^2$ implementation of a KMS-symmetric quantum Markov semigroup can be expressed as the square of a derivation with values in a Hilbert bimodule, extending earlier results by Cipriani and Sauvageot for tracially symmetric semigroups and the second-named author for GNS-symmetric semigroups. This result hinges on the introduction of a new completely positive map o…
▽ More
We prove that the generator of the $L^2$ implementation of a KMS-symmetric quantum Markov semigroup can be expressed as the square of a derivation with values in a Hilbert bimodule, extending earlier results by Cipriani and Sauvageot for tracially symmetric semigroups and the second-named author for GNS-symmetric semigroups. This result hinges on the introduction of a new completely positive map on the algebra of bounded operators on the GNS Hilbert space. This transformation maps symmetric Markov operators to symmetric Markov operators and is essential to obtain the required inner product on the Hilbert bimodule.
△ Less
Submitted 23 June, 2023; v1 submitted 28 March, 2023;
originally announced March 2023.
-
Motional ground-state cooling of single atoms in state-dependent optical tweezers
Authors:
Christian Hölzl,
Aaron Götzelmann,
Moritz Wirth,
Marianna S. Safronova,
Sebastian Weber,
Florian Meinert
Abstract:
Laser cooling of single atoms in optical tweezers is a prerequisite for neutral atom quantum computing and simulation. Resolved sideband cooling comprises a well-established method for efficient motional ground-state preparation, but typically requires careful cancellation of light shifts in so-called magic traps. Here, we study a novel laser cooling scheme which overcomes such constraints, and ap…
▽ More
Laser cooling of single atoms in optical tweezers is a prerequisite for neutral atom quantum computing and simulation. Resolved sideband cooling comprises a well-established method for efficient motional ground-state preparation, but typically requires careful cancellation of light shifts in so-called magic traps. Here, we study a novel laser cooling scheme which overcomes such constraints, and applies when the ground-state of a narrow cooling transition is trapped stronger than the excited state. We demonstrate our scheme, which exploits sequential addressing of red sideband transitions via frequency chir** of the cooling light, at the example of $^{88}$Sr atoms, and report ground-state populations compatible with recent experiments in magic tweezers. The scheme also induces light-assisted collisions, which are key to the assembly of large atom arrays. Our work enriches the toolbox for tweezer-based quantum technology, also enabling applications for tweezer-trapped molecules and ions that are incompatible with resolved sideband cooling conditions.
△ Less
Submitted 1 August, 2023; v1 submitted 8 February, 2023;
originally announced February 2023.
-
Boundary representations of intermediate forms between a regular Dirichlet form and its active main part
Authors:
Matthias Keller,
Daniel Lenz,
Marcel Schmidt,
Michael Schwarz,
Melchior Wirth
Abstract:
We characterize all semigroups sandwiched between the semigroup of a Dirichlet form and the semigroup of its active main part. In case the Dirichlet form is regular, we give a more explicit description of the quadratic forms of the sandwiched semigroups in terms of pairs consisting of an open set and a measure on an abstract boundary.
We characterize all semigroups sandwiched between the semigroup of a Dirichlet form and the semigroup of its active main part. In case the Dirichlet form is regular, we give a more explicit description of the quadratic forms of the sandwiched semigroups in terms of pairs consisting of an open set and a measure on an abstract boundary.
△ Less
Submitted 3 January, 2023;
originally announced January 2023.
-
Quantum Talagrand, KKL and Friedgut's theorems and the learnability of quantum Boolean functions
Authors:
Cambyse Rouzé,
Melchior Wirth,
Haonan Zhang
Abstract:
We extend three related results from the analysis of influences of Boolean functions to the quantum setting, namely the KKL Theorem, Friedgut's Junta Theorem and Talagrand's variance inequality for geometric influences. Our results are derived by a joint use of recently studied hypercontractivity and gradient estimates. These generic tools also allow us to derive generalizations of these results i…
▽ More
We extend three related results from the analysis of influences of Boolean functions to the quantum setting, namely the KKL Theorem, Friedgut's Junta Theorem and Talagrand's variance inequality for geometric influences. Our results are derived by a joint use of recently studied hypercontractivity and gradient estimates. These generic tools also allow us to derive generalizations of these results in a general von Neumann algebraic setting beyond the case of the quantum hypercube, including examples in infinite dimensions relevant to quantum information theory such as continuous variables quantum systems. Finally, we comment on the implications of our results as regards to noncommutative extensions of isoperimetric type inequalities, quantum circuit complexity lower bounds and the learnability of quantum observables.
△ Less
Submitted 3 April, 2024; v1 submitted 15 September, 2022;
originally announced September 2022.
-
The Differential Structure of Generators of GNS-symmetric Quantum Markov Semigroups
Authors:
Melchior Wirth
Abstract:
We show that the generator of a GNS-symmetric quantum Markov semigroup can be written as the square of a derivation. This generalizes a result of Cipriani and Sauvageot for tracially symmetric semigroups. Compared to the tracially symmetric case, the derivations in the general case satisfy a twisted product rule, reflecting the non-triviality of their modular group. This twist is captured by the n…
▽ More
We show that the generator of a GNS-symmetric quantum Markov semigroup can be written as the square of a derivation. This generalizes a result of Cipriani and Sauvageot for tracially symmetric semigroups. Compared to the tracially symmetric case, the derivations in the general case satisfy a twisted product rule, reflecting the non-triviality of their modular group. This twist is captured by the new concept of Tomita bimodules we introduce. If the quantum Markov semigroup satisfies a certain additional regularity condition, the associated Tomita bimodule can be realized inside the $L^2$ space of a bigger von Neumann algebra, whose construction is an operator-valued version of free Araki-Woods factors.
△ Less
Submitted 19 July, 2022;
originally announced July 2022.
-
Christensen-Evans theorem and extensions of GNS-symmetric quantum Markov semigroups
Authors:
Melchior Wirth
Abstract:
In this note we prove a refined version of the Christensen-Evans theorem for generators of uniformly continuous GNS-symmetric quantum Markov semigroups. We use this result to show the existence of GNS-symmetric extensions of GNS-symmetric quantum Markov semigroups. In particular, this implies that the generators of GNS-symmetric quantum Markov semigroups on finite-dimensional von Neumann algebra c…
▽ More
In this note we prove a refined version of the Christensen-Evans theorem for generators of uniformly continuous GNS-symmetric quantum Markov semigroups. We use this result to show the existence of GNS-symmetric extensions of GNS-symmetric quantum Markov semigroups. In particular, this implies that the generators of GNS-symmetric quantum Markov semigroups on finite-dimensional von Neumann algebra can be written in the form specified by Alicki's theorem.
△ Less
Submitted 1 March, 2022;
originally announced March 2022.
-
Ergodic Decompositions of Dirichlet Forms under Order Isomorphisms
Authors:
Lorenzo Dello Schiavo,
Melchior Wirth
Abstract:
We study ergodic decompositions of Dirichlet spaces under intertwining via unitary order isomorphisms. We show that the ergodic decomposition of a quasi-regular Dirichlet space is unique up to a unique isomorphism of the indexing space. Furthermore, every unitary order isomorphism intertwining two quasi-regular Dirichlet spaces is decomposable over their ergodic decompositions up to conjugation vi…
▽ More
We study ergodic decompositions of Dirichlet spaces under intertwining via unitary order isomorphisms. We show that the ergodic decomposition of a quasi-regular Dirichlet space is unique up to a unique isomorphism of the indexing space. Furthermore, every unitary order isomorphism intertwining two quasi-regular Dirichlet spaces is decomposable over their ergodic decompositions up to conjugation via an isomorphism of the corresponding indexing spaces.
△ Less
Submitted 27 November, 2022; v1 submitted 1 September, 2021;
originally announced September 2021.
-
Curvature-dimension conditions for symmetric quantum Markov semigroups
Authors:
Melchior Wirth,
Haonan Zhang
Abstract:
Following up on the recent work on lower Ricci curvature bounds for quantum systems, we introduce two noncommutative versions of curvature-dimension bounds for symmetric quantum Markov semigroups over matrix algebras. Under suitable such curvature-dimension conditions, we prove a family of dimension-dependent functional inequalities, a version of the Bonnet-Myers theorem and concavity of entropy p…
▽ More
Following up on the recent work on lower Ricci curvature bounds for quantum systems, we introduce two noncommutative versions of curvature-dimension bounds for symmetric quantum Markov semigroups over matrix algebras. Under suitable such curvature-dimension conditions, we prove a family of dimension-dependent functional inequalities, a version of the Bonnet-Myers theorem and concavity of entropy power in the noncommutative setting. We also provide examples satisfying certain curvature-dimension conditions, including Schur multipliers over matrix algebras, Herz-Schur multipliers over group algebras and depolarizing semigroups.
△ Less
Submitted 17 September, 2021; v1 submitted 18 May, 2021;
originally announced May 2021.
-
A dual formula for the noncommutative transport distance
Authors:
Melchior Wirth
Abstract:
In this article we study the noncommutative transport distance introduced by Carlen and Maas and its entropic regularization defined by Becker and Li. We prove a duality formula that can be understood as a quantum version of the dual Benamou-Brenier formulation of the Wasserstein distance in terms of subsolutions of Hamilton-Jacobi-Bellmann equation.
In this article we study the noncommutative transport distance introduced by Carlen and Maas and its entropic regularization defined by Becker and Li. We prove a duality formula that can be understood as a quantum version of the dual Benamou-Brenier formulation of the Wasserstein distance in terms of subsolutions of Hamilton-Jacobi-Bellmann equation.
△ Less
Submitted 9 June, 2021; v1 submitted 24 April, 2021;
originally announced April 2021.
-
Correlation length of the two-dimensional random field Ising model via greedy lattice animal
Authors:
Jian Ding,
Mateo Wirth
Abstract:
For the two-dimensional random field Ising model where the random field is given by i.i.d.\ mean zero Gaussian variables with variance $ε^2$, we study (one natural notion of) the correlation length, which is the critical size of a box at which the influences of the random field and of the boundary condition on the spin magnetization are comparable. We show that as $ε\to 0$, at zero temperature the…
▽ More
For the two-dimensional random field Ising model where the random field is given by i.i.d.\ mean zero Gaussian variables with variance $ε^2$, we study (one natural notion of) the correlation length, which is the critical size of a box at which the influences of the random field and of the boundary condition on the spin magnetization are comparable. We show that as $ε\to 0$, at zero temperature the correlation length scales as $e^{Θ(ε^{-4/3})}$ (and our upper bound applies for all positive temperatures).
△ Less
Submitted 19 July, 2022; v1 submitted 17 November, 2020;
originally announced November 2020.
-
Complete gradient estimates of quantum Markov semigroups
Authors:
Melchior Wirth,
Haonan Zhang
Abstract:
In this article we introduce a complete gradient estimate for symmetric quantum Markov semigroups on von Neumann algebras equipped with a normal faithful tracial state, which implies semi-convexity of the entropy with respect to the recently introduced noncommutative 2-Wasserstein distance. We show that this complete gradient estimate is stable under tensor products and free products and establish…
▽ More
In this article we introduce a complete gradient estimate for symmetric quantum Markov semigroups on von Neumann algebras equipped with a normal faithful tracial state, which implies semi-convexity of the entropy with respect to the recently introduced noncommutative 2-Wasserstein distance. We show that this complete gradient estimate is stable under tensor products and free products and establish its validity for a number of examples. As an application we prove a complete modified logarithmic Sobolev inequality with optimal constant for Poisson-type semigroups on free group factors.
△ Less
Submitted 3 September, 2021; v1 submitted 27 July, 2020;
originally announced July 2020.
-
Crossing estimates from metric graph and discrete GFF
Authors:
Jian Ding,
Mateo Wirth,
Hao Wu
Abstract:
We compare level-set percolation for Gaussian free fields (GFFs) defined on a rectangular subset of $δ\mathbb{Z}^2$ to level-set percolation for GFFs defined on the corresponding metric graph as the mesh size $δ$ goes to 0. In particular, we look at the probability that there is a path that crosses the rectangle in the horizontal direction on which the field is positive. We show this probability i…
▽ More
We compare level-set percolation for Gaussian free fields (GFFs) defined on a rectangular subset of $δ\mathbb{Z}^2$ to level-set percolation for GFFs defined on the corresponding metric graph as the mesh size $δ$ goes to 0. In particular, we look at the probability that there is a path that crosses the rectangle in the horizontal direction on which the field is positive. We show this probability is strictly larger in the discrete graph. In the metric graph case, we show that for appropriate boundary conditions the probability that there exists a closed pivotal edge for the horizontal crossing event decays logarithmically in $δ$. In the discrete graph case, we compute the limit of the probability of a horizontal crossing for appropriate boundary conditions.
△ Less
Submitted 17 January, 2020;
originally announced January 2020.
-
Self-Adjoint Extensions of Bipartite Hamiltonians
Authors:
Daniel Lenz,
Timon Weinmann,
Melchior Wirth
Abstract:
We compute the deficiency spaces of operators of the form $H_A{\hat{\otimes}} I + I{\hat{\otimes}} H_B$, for symmetric $H_A$ and self-adjoint $H_B$. This enables us to construct self-adjoint extensions (if they exist) by means of von Neumann's theory. The structure of the deficiency spaces for this case was asserted already by Ibort, Marmo and Pérez-Pardo, but only proven under the restriction of…
▽ More
We compute the deficiency spaces of operators of the form $H_A{\hat{\otimes}} I + I{\hat{\otimes}} H_B$, for symmetric $H_A$ and self-adjoint $H_B$. This enables us to construct self-adjoint extensions (if they exist) by means of von Neumann's theory. The structure of the deficiency spaces for this case was asserted already by Ibort, Marmo and Pérez-Pardo, but only proven under the restriction of $H_B$ having discrete, non-degenerate spectrum.
△ Less
Submitted 18 November, 2020; v1 submitted 8 December, 2019;
originally announced December 2019.
-
Maximum of the integer-valued Gaussian free field
Authors:
Mateo Wirth
Abstract:
We investigate the order of the maximum of the integer-valued Gaussian free field in two dimensions, and show that it grows logarithmically with the size of the box. Our treatment follows closely that of a recent paper by Kharash and Peled on the Fröhlich-Spencer proof of the Berezinskii-Kosterlitz-Thouless transition.
We investigate the order of the maximum of the integer-valued Gaussian free field in two dimensions, and show that it grows logarithmically with the size of the box. Our treatment follows closely that of a recent paper by Kharash and Peled on the Fröhlich-Spencer proof of the Berezinskii-Kosterlitz-Thouless transition.
△ Less
Submitted 20 July, 2019;
originally announced July 2019.
-
Query Generation for Patent Retrieval with Keyword Extraction based on Syntactic Features
Authors:
Julien Rossi,
Matthias Wirth,
Evangelos Kanoulas
Abstract:
This paper describes a new method to extract relevant keywords from patent claims, as part of the task of retrieving other patents with similar claims (search for prior art). The method combines a qualitative analysis of the writing style of the claims with NLP methods to parse text, in order to represent a legal text as a specialization arborescence of terms. In this setting, the set of extracted…
▽ More
This paper describes a new method to extract relevant keywords from patent claims, as part of the task of retrieving other patents with similar claims (search for prior art). The method combines a qualitative analysis of the writing style of the claims with NLP methods to parse text, in order to represent a legal text as a specialization arborescence of terms. In this setting, the set of extracted keywords are yielding better search results than keywords extracted with traditional methods such as tf-idf. The performance is measured on the search results of a query consisting of the extracted keywords.
△ Less
Submitted 18 June, 2019;
originally announced June 2019.
-
A Noncommutative Transport Metric and Symmetric Quantum Markov Semigroups as Gradient Flows of the Entropy
Authors:
Melchior Wirth
Abstract:
We study quantum Dirichlet forms and the associated symmetric quantum Markov semigroups on noncommutative $L^2$ spaces. It is known from the work of Cipriani and Sauvageot that these semigroups induce a first order differential calculus, and we use this differential calculus to define a noncommutative transport metric on the set of density matrices. This construction generalizes both the $L^2$-Was…
▽ More
We study quantum Dirichlet forms and the associated symmetric quantum Markov semigroups on noncommutative $L^2$ spaces. It is known from the work of Cipriani and Sauvageot that these semigroups induce a first order differential calculus, and we use this differential calculus to define a noncommutative transport metric on the set of density matrices. This construction generalizes both the $L^2$-Wasserstein distance on a large class of metric spaces as well as the discrete transport distance introduced by Maas, Mielke, and Chow-Huang-Li-Zhou. Assuming a Bakry-Émery-type gradient estimate, we show that the quantum Markov semigroup can be viewed as a metric gradient flow of the entropy with respect to this transport metric. Under the same assumption we also establish that the set of density matrices with finite entropy endowed with the noncommutative transport metric is a geodesic space and that the entropy is semi-convex along these geodesics.
△ Less
Submitted 12 August, 2021; v1 submitted 16 August, 2018;
originally announced August 2018.
-
Percolation for level-sets of Gaussian free fields on metric graphs
Authors:
Jian Ding,
Mateo Wirth
Abstract:
We study level-set percolation for Gaussian free fields on metric graphs. In two dimensions, we give an upper bound on the chemical distance between the two boundaries of a macroscopic annulus. Our bound holds with high probability conditioned on connectivity and the bound is sharp up to a poly-logarithmic factor with an exponent of one-quarter. This substantially improves a previous result by Li…
▽ More
We study level-set percolation for Gaussian free fields on metric graphs. In two dimensions, we give an upper bound on the chemical distance between the two boundaries of a macroscopic annulus. Our bound holds with high probability conditioned on connectivity and the bound is sharp up to a poly-logarithmic factor with an exponent of one-quarter. This substantially improves a previous result by Li and the first author. In three dimensions and higher, we provide rather sharp estimates of percolation probabilities in different regimes which altogether describe a sharp phase transition.
△ Less
Submitted 12 March, 2019; v1 submitted 29 July, 2018;
originally announced July 2018.
-
On the geometry of geodesics in discrete optimal transport
Authors:
Matthias Erbar,
Jan Maas,
Melchior Wirth
Abstract:
We consider the space of probability measures on a discrete set $X$, endowed with a dynamical optimal transport metric. Given two probability measures supported in a subset $Y \subseteq X$, it is natural to ask whether they can be connected by a constant speed geodesic with support in $Y$ at all times. Our main result answers this question affirmatively, under a suitable geometric condition on…
▽ More
We consider the space of probability measures on a discrete set $X$, endowed with a dynamical optimal transport metric. Given two probability measures supported in a subset $Y \subseteq X$, it is natural to ask whether they can be connected by a constant speed geodesic with support in $Y$ at all times. Our main result answers this question affirmatively, under a suitable geometric condition on $Y$ introduced in this paper. The proof relies on an extension result for subsolutions to discrete Hamilton-Jacobi equations, which is of independent interest.
△ Less
Submitted 31 May, 2018; v1 submitted 15 May, 2018;
originally announced May 2018.
-
Sobolev-Type Inequalities and Eigenvalue Growth on Graphs with Finite Measure
Authors:
Bobo Hua,
Matthias Keller,
Michael Schwarz,
Melchior Wirth
Abstract:
In this note we study the eigenvalue growth of infinite graphs with discrete spectrum. We assume that the corresponding Dirichlet forms satisfy certain Sobolev-type inequalities and that the total measure is finite. In this sense, the associated operators on these graphs display similarities to elliptic operators on bounded domains in the continuum. Specifically, we prove lower bounds on the eigen…
▽ More
In this note we study the eigenvalue growth of infinite graphs with discrete spectrum. We assume that the corresponding Dirichlet forms satisfy certain Sobolev-type inequalities and that the total measure is finite. In this sense, the associated operators on these graphs display similarities to elliptic operators on bounded domains in the continuum. Specifically, we prove lower bounds on the eigenvalue growth and show by examples that corresponding upper bounds can not be established.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
Geometric properties of Dirichlet forms under order isomorphisms
Authors:
Daniel Lenz,
Marcel Schmidt,
Melchior Wirth
Abstract:
We study pairs of Dirichlet forms related by an intertwining order isomorphisms between the associated $L^2$-spaces. We consider the measurable, the topological and the geometric setting respectively. In the measurable setting, we deal with arbitrary (irreducible) Dirichlet forms and show that any intertwining order isomorphism is necessarily unitary (up to a constant). In the topological setting…
▽ More
We study pairs of Dirichlet forms related by an intertwining order isomorphisms between the associated $L^2$-spaces. We consider the measurable, the topological and the geometric setting respectively. In the measurable setting, we deal with arbitrary (irreducible) Dirichlet forms and show that any intertwining order isomorphism is necessarily unitary (up to a constant). In the topological setting we deal with quasi-regular forms and show that any intertwining order isomorphism induces a quasi-homeomorphism between the underlying spaces. In the geometric setting we deal with both regular Dirichlet forms as well as resistance forms and essentially show that the geometry defined by these forms is preserved by intertwining order isomorphisms. In particular, we prove in the strongly local regular case that intertwining order isomorphisms induce isometries with respect to the intrinsic metrics between the underlying spaces under fairly mild assumptions. This applies to a wide variety of metric measure spaces including $\mathrm{RCD}(K,N)$-spaces, complete weighted Riemannian manifolds and complete quantum graphs. In the non-local regular case our results cover in particular graphs as well as fractional Laplacians as arising in the treatment of $α$-stable Lévy processes. For resistance forms we show that intertwining order isomorphisms are isometries with respect to the resistance metrics.
Our results can can be understood as saying that diffusion always determines the Hilbert space, and -- under natural compatibility assumptions -- the topology and the geometry respectively. As special instances they cover earlier results for manifolds and graphs.
△ Less
Submitted 25 January, 2018;
originally announced January 2018.
-
Tilings of convex sets by mutually incongruent equilateral triangles contain arbitrarily small tiles
Authors:
Christian Richter,
Melchior Wirth
Abstract:
We show that every tiling of a convex set in the Euclidean plane $\mathbb{R}^2$ by equilateral triangles of mutually different sizes contains arbitrarily small tiles. The proof is purely elementary up to the discussion of one family of tilings of the full plane $\mathbb{R}^2$, which is based on a surprising connection to a random walk on a directed graph.
We show that every tiling of a convex set in the Euclidean plane $\mathbb{R}^2$ by equilateral triangles of mutually different sizes contains arbitrarily small tiles. The proof is purely elementary up to the discussion of one family of tilings of the full plane $\mathbb{R}^2$, which is based on a surprising connection to a random walk on a directed graph.
△ Less
Submitted 24 November, 2017;
originally announced November 2017.
-
Domination of quadratic forms
Authors:
Daniel Lenz,
Marcel Schmidt,
Melchior Wirth
Abstract:
We study domination of quadratic forms in the abstract setting of ordered Hilbert spaces. Our main result gives a characterization in terms of the associated forms. This generalizes and unifies various earlier works. Along the way we present several examples.
We study domination of quadratic forms in the abstract setting of ordered Hilbert spaces. Our main result gives a characterization in terms of the associated forms. This generalizes and unifies various earlier works. Along the way we present several examples.
△ Less
Submitted 20 November, 2017;
originally announced November 2017.
-
Tree-Structured Boosting: Connections Between Gradient Boosted Stumps and Full Decision Trees
Authors:
José Marcio Luna,
Eric Eaton,
Lyle H. Ungar,
Eric Diffenderfer,
Shane T. Jensen,
Efstathios D. Gennatas,
Mateo Wirth,
Charles B. Simone II,
Timothy D. Solberg,
Gilmer Valdes
Abstract:
Additive models, such as produced by gradient boosting, and full interaction models, such as classification and regression trees (CART), are widely used algorithms that have been investigated largely in isolation. We show that these models exist along a spectrum, revealing never-before-known connections between these two approaches. This paper introduces a novel technique called tree-structured bo…
▽ More
Additive models, such as produced by gradient boosting, and full interaction models, such as classification and regression trees (CART), are widely used algorithms that have been investigated largely in isolation. We show that these models exist along a spectrum, revealing never-before-known connections between these two approaches. This paper introduces a novel technique called tree-structured boosting for creating a single decision tree, and shows that this method can produce models equivalent to CART or gradient boosted stumps at the extremes by varying a single parameter. Although tree-structured boosting is designed primarily to provide both the model interpretability and predictive performance needed for high-stake applications like medicine, it also can produce decision trees represented by hybrid models between CART and boosted stumps that can outperform either of these approaches.
△ Less
Submitted 17 November, 2017;
originally announced November 2017.
-
Stability of Kac regularity under domination of quadratic forms
Authors:
Melchior Wirth
Abstract:
A domain is called Kac regular for a quadratic form on $L^2$ if the closure of all functions vanishing almost everywhere outside a closed subset of the domain coincides with the set of all functions vanishing almost everywhere outside the domain. It is shown that this notion is stable under domination of quadratic forms. As applications measure perturbations of quasi-regular Dirichlet forms, Cheeg…
▽ More
A domain is called Kac regular for a quadratic form on $L^2$ if the closure of all functions vanishing almost everywhere outside a closed subset of the domain coincides with the set of all functions vanishing almost everywhere outside the domain. It is shown that this notion is stable under domination of quadratic forms. As applications measure perturbations of quasi-regular Dirichlet forms, Cheeger energies on metric measure spaces and Schrödinger operators on manifolds are studied. Along the way a characterization of the Sobolev space with Dirichlet boundary conditions on domains in infinitesimally Riemannian metric measure spaces is obtained.
△ Less
Submitted 13 September, 2017;
originally announced September 2017.
-
Uniqueness of form extensions and domination of semigroups
Authors:
Daniel Lenz,
Marcel Schmidt,
Melchior Wirth
Abstract:
In this article, we present a new method to study uniqueness of form extensions in a rather general setting. The method is based on the theory of ordered Hilbert spaces and the concept of domination of semigroups. Our main abstract result transfers uniqueness of form extension of a dominating form to that of a dominated form. This result can be applied to a multitude of examples including various…
▽ More
In this article, we present a new method to study uniqueness of form extensions in a rather general setting. The method is based on the theory of ordered Hilbert spaces and the concept of domination of semigroups. Our main abstract result transfers uniqueness of form extension of a dominating form to that of a dominated form. This result can be applied to a multitude of examples including various magnetic Schrödinger forms on graphs and on manifolds.
△ Less
Submitted 3 August, 2020; v1 submitted 24 August, 2016;
originally announced August 2016.
-
Airborne forward pointing UV Rayleigh lidar for remote clear air turbulence (CAT) detection: system design and performance
Authors:
Patrick Vrancken,
Martin Wirth,
Gerhard Ehret,
Hervé Barny,
Philippe Rondeau,
Henk Veerman
Abstract:
A high-performance airborne UV Rayleigh lidar system was developed within the European project DELICAT. With its forward-pointing architecture it aims at demonstrating a novel detection scheme for clear air turbulence (CAT) for an aeronautics safety application. Due to its occurrence in clear and clean air at high altitudes (aviation cruise flight level), this type of turbulence evades microwave r…
▽ More
A high-performance airborne UV Rayleigh lidar system was developed within the European project DELICAT. With its forward-pointing architecture it aims at demonstrating a novel detection scheme for clear air turbulence (CAT) for an aeronautics safety application. Due to its occurrence in clear and clean air at high altitudes (aviation cruise flight level), this type of turbulence evades microwave radar techniques and in most cases coherent Doppler lidar techniques. The present lidar detection technique relies on air density fluctuations measurement and is thus independent of backscatter from hydrometeors and aerosol particles. The subtle air density fluctuations caused by the turbulent air flow demand exceptionally high stability of the setup and in particular of the detection system. This paper describes an airborne test system for the purpose of demonstrating this technology and turbulence detection method: a high-power UV Rayleigh lidar system is installed on a research aircraft in a forward-looking configuration for use in cruise flight altitudes. Flight test measurements demonstrate this unique lidar system being able to resolve air density fluctuations occurring in light-to-moderate CAT at 5 km or moderate CAT at 10 km distance. A scaling of the determined stability and noise characteristics shows that such performance is adequate for an application in commercial air transport.
△ Less
Submitted 14 November, 2016; v1 submitted 30 June, 2016;
originally announced June 2016.
-
Uniqueness of form extensions and domination of semigroups
Authors:
Melchior Wirth
Abstract:
In this article, we study questions of uniqueness of form extension for certain magnetic Schrödinger forms. The method is based on the theory of ordered Hilbert spaces and the concept of domination of semigroups. We review this concept in an abstract setting and give a characterization in terms of the associated forms. Then we use it to prove a theorem that transfers uniqueness of form extension o…
▽ More
In this article, we study questions of uniqueness of form extension for certain magnetic Schrödinger forms. The method is based on the theory of ordered Hilbert spaces and the concept of domination of semigroups. We review this concept in an abstract setting and give a characterization in terms of the associated forms. Then we use it to prove a theorem that transfers uniqueness of form extension of a dominating form to that of a dominated form. This result is applied in two concrete situations: magnetic Schrödinger forms on graphs and on domains in Euclidean space.
△ Less
Submitted 18 April, 2016;
originally announced April 2016.
-
Diffusion determines the recurrent graph
Authors:
Matthias Keller,
Daniel Lenz,
Marcel Schmidt,
Melchior Wirth
Abstract:
We consider diffusion on discrete measure spaces as encoded by Markovian semigroups arising from weighted graphs. We study whether the graph is uniquely determined if the diffusion is given up to order isomorphism. If the graph is recurrent then the complete graph structure and the measure space are determined (up to an overall scaling). As shown by counterexamples this result is optimal. Without…
▽ More
We consider diffusion on discrete measure spaces as encoded by Markovian semigroups arising from weighted graphs. We study whether the graph is uniquely determined if the diffusion is given up to order isomorphism. If the graph is recurrent then the complete graph structure and the measure space are determined (up to an overall scaling). As shown by counterexamples this result is optimal. Without the recurrence assumption, the graph still turns out to be determined in the case of normalized diffusion on graphs with standard weights and in the case of arbitrary graphs over spaces in which each point has the same mass. These investigations provide discrete counterparts to studies of diffusion on Euclidean domains and manifolds initiated by Arendt and continued by Arendt/Biegert/ter Elst and Arendt/ter Elst. A crucial step in our considerations shows that order isomorphisms are actually unitary maps (up to a scaling) in our context.
△ Less
Submitted 13 May, 2014;
originally announced May 2014.
-
An acoustically-driven biochip - Impact of flow on the cell-association of targeted drug carriers
Authors:
Christian Fillafer,
Gerda Ratzinger,
Jürgen Neumann,
Zeno Guttenberg,
Silke Dissauer,
Irene Lichtscheidl,
Michael Wirth,
Franz Gabor,
Matthias Schneider
Abstract:
The interaction of targeted drug carriers with epithelial and endothelial barriers in vivo is largely determined by the dynamics of the body fluids. To simulate these conditions in binding assays, a fully biocompatible in vitro model was developed which can accurately mimic a wide range of physiological flow conditions on a thumbnail-format cell-chip. This acoustically-driven microfluidic system w…
▽ More
The interaction of targeted drug carriers with epithelial and endothelial barriers in vivo is largely determined by the dynamics of the body fluids. To simulate these conditions in binding assays, a fully biocompatible in vitro model was developed which can accurately mimic a wide range of physiological flow conditions on a thumbnail-format cell-chip. This acoustically-driven microfluidic system was used to study the interaction characteristics of protein-coated particles with cells. Poly(D,L-lactide-co-glycolide) (PLGA) microparticles (2.86 {\pm} 0.95 μm) were conjugated with wheat germ agglutinin (WGA-MP, cytoadhesive protein) or bovine serum albumin (BSA-MP, nonspecific protein) and their binding to epithelial cell monolayers was investigated under stationary and flow conditions. While mean numbers of 1500 {\pm} 307 mm-2 WGA-MP and 94 {\pm} 64 mm-2 BSA-MP respectively were detected to be cell-bound in the stationary setup, incubation at increasing flow velocities increasingly antagonized the attachment of both types of surface-modified particles. However, while binding of BSA-MP was totally inhibited by flow, grafting with WGA resulted in a pronounced anchoring effect. This was indicated by a mean number of 747 {\pm} 241 mm-2 and 104 {\pm} 44 mm-2 attached particles at shear rates of 0.2 s-1 and 1 s-1 respectively. Due to the compactness of the fluidic chip which favours parallelization, this setup represents a highly promising approach towards a screening platform for the performance of drug delivery vehicles under physiological flow conditions. In this regard, the flow-chip is expected to provide substantial information for the successful design and development of targeted micro- and nanoparticulate drug carrier systems.
△ Less
Submitted 26 July, 2011;
originally announced July 2011.