-
ÚFAL CorPipe at CRAC 2023: Larger Context Improves Multilingual Coreference Resolution
Authors:
Milan Straka
Abstract:
We present CorPipe, the winning entry to the CRAC 2023 Shared Task on Multilingual Coreference Resolution. Our system is an improved version of our earlier multilingual coreference pipeline, and it surpasses other participants by a large margin of 4.5 percent points. CorPipe first performs mention detection, followed by coreference linking via an antecedent-maximization approach on the retrieved s…
▽ More
We present CorPipe, the winning entry to the CRAC 2023 Shared Task on Multilingual Coreference Resolution. Our system is an improved version of our earlier multilingual coreference pipeline, and it surpasses other participants by a large margin of 4.5 percent points. CorPipe first performs mention detection, followed by coreference linking via an antecedent-maximization approach on the retrieved spans. Both tasks are trained jointly on all available corpora using a shared pretrained language model. Our main improvements comprise inputs larger than 512 subwords and changing the mention decoding to support ensembling. The source code is available at https://github.com/ufal/crac2023-corpipe.
△ Less
Submitted 7 December, 2023; v1 submitted 24 November, 2023;
originally announced November 2023.
-
Electronic interactions in Dirac fluids visualized by nano-terahertz spacetime interference of electron-photon quasiparticles
Authors:
Suheng Xu,
Yutao Li,
Rocco A. Vitalone,
Ran **g,
Aaron J. Sternbach,
Shuai Zhang,
Julian Ingham,
Milan Delor,
James. W. McIver,
Matthew Yankowitz,
Raquel Queiroz,
Andrew J. Millis,
Michael M. Fogler,
Cory R. Dean,
Abhay N. Pasupathy,
James Hone,
Mengkun Liu,
D. N. Basov
Abstract:
Ultraclean graphene at charge neutrality hosts a quantum critical Dirac fluid of interacting electrons and holes. Interactions profoundly affect the charge dynamics of graphene, which is encoded in the properties of its electron-photon collective modes: surface plasmon polaritons (SPPs). Here we show that polaritonic interference patterns are particularly well suited to unveil the interactions in…
▽ More
Ultraclean graphene at charge neutrality hosts a quantum critical Dirac fluid of interacting electrons and holes. Interactions profoundly affect the charge dynamics of graphene, which is encoded in the properties of its electron-photon collective modes: surface plasmon polaritons (SPPs). Here we show that polaritonic interference patterns are particularly well suited to unveil the interactions in Dirac fluids by tracking polaritonic interference in time at temporal scales commensurate with the electronic scattering. Spacetime SPP interference patterns recorded in tera-hertz (THz) frequency range provided unobstructed readouts of the group velocity and lifetime of polariton that can be directly mapped onto the electronic spectral weight and the relaxation rate. Our data uncovered prominent departures of the electron dynamics from the predictions of the conventional Fermi-liquid theory. The deviations are particularly strong when the densities of electrons and holes are approximately equal. The proposed spacetime imaging methodology can be broadly applied to probe the electrodynamics of quantum materials.
△ Less
Submitted 10 July, 2024; v1 submitted 19 November, 2023;
originally announced November 2023.
-
The least eigenvalues of integral circulant graphs
Authors:
Milan Basic
Abstract:
The integral circulant graph $ICG_n (D)$ has the vertex set $Z_n = \{0, 1, 2, \ldots, n - 1\}$, where vertices $a$ and $b$ are adjacent if $\gcd(a-b,n)\in D$, with $D \subseteq \{d : d \mid n,\ 1\leq d<n\}$. In this paper, we establish that the minimal value of the least eigenvalues (minimal least eigenvalue) of integral circulant graphs $ICG_n(D)$, given an order $n$ with its prime factorization…
▽ More
The integral circulant graph $ICG_n (D)$ has the vertex set $Z_n = \{0, 1, 2, \ldots, n - 1\}$, where vertices $a$ and $b$ are adjacent if $\gcd(a-b,n)\in D$, with $D \subseteq \{d : d \mid n,\ 1\leq d<n\}$. In this paper, we establish that the minimal value of the least eigenvalues (minimal least eigenvalue) of integral circulant graphs $ICG_n(D)$, given an order $n$ with its prime factorization $p_1^{α_1}\cdots p_k^{α_k}$, is equal to $-\frac{n}{p_1}$. Moreover, we show that the minimal least eigenvalue of connected integral circulant graphs $ICG_n(D)$ of order $n$ whose complements are also connected is equal to $-\frac{n}{p_1}+p_1^{α_1-1}$. Finally, we determine the second minimal eigenvalue among all least eigenvalues within the class of connected integral circulant graphs of a prescribed order $n$ and show it to be equal to $-\frac{n}{p_1}+p_1-1$ or $-\frac{n}{p_1}+1$, depending on whether $α_1>1$ or not, respectively. In all the aforementioned tasks, we provide a complete characterization of graphs whose spectra contain these determined minimal least eigenvalues.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Magnetic-coupled electronic landscape in bilayer-distorted titanium-based kagome metals
Authors:
Yong Hu,
Congcong Le,
Long Chen,
Hanbin Deng,
Ying Zhou,
Nicholas C. Plumb,
Milan Radovic,
Ronny Thomale,
Andreas P. Schnyder,
Jia-Xin Yin,
Gang Wang,
Xianxin Wu,
Ming Shi
Abstract:
Quantum materials whose atoms are arranged on a lattice of corner-sharing triangles, $\textit{i.e.}$, the kagome lattice, have recently emerged as a captivating platform for investigating exotic correlated and topological electronic phenomena. Here, we combine ultra-low temperature angle-resolved photoemission spectroscopy (ARPES) with scanning tunneling microscopy and density functional theory ca…
▽ More
Quantum materials whose atoms are arranged on a lattice of corner-sharing triangles, $\textit{i.e.}$, the kagome lattice, have recently emerged as a captivating platform for investigating exotic correlated and topological electronic phenomena. Here, we combine ultra-low temperature angle-resolved photoemission spectroscopy (ARPES) with scanning tunneling microscopy and density functional theory calculations to reveal the fascinating electronic structure of the bilayer-distorted kagome material $\textit{Ln}$Ti${_3}$Bi${_4}$, where $\textit{Ln}$ stands for Nd and Yb. Distinct from other kagome materials, $\textit{Ln}$Ti${_3}$Bi${_4}$ exhibits two-fold, rather than six-fold, symmetries, stemming from the distorted kagome lattice, which leads to a unique electronic structure. Combining experiment and theory we map out the electronic structure and discover double flat bands as well as multiple van Hove singularities (VHSs), with one VHS exhibiting higher-order characteristics near the Fermi level. Notably, in the magnetic version NdTi${_3}$Bi${_4}$, the ultra-low base temperature ARPES measurements unveil an unconventional band splitting in the band dispersions which is induced by the ferromagnetic ordering. These findings reveal the potential of bilayer-distorted kagome metals $\textit{Ln}$Ti${_3}$Bi${_4}$ as a promising platform for exploring novel emergent phases of matter at the intersection of strong correlation and magnetism.
△ Less
Submitted 13 November, 2023;
originally announced November 2023.
-
Neural General Circulation Models for Weather and Climate
Authors:
Dmitrii Kochkov,
Janni Yuval,
Ian Langmore,
Peter Norgaard,
Jamie Smith,
Griffin Mooers,
Milan Klöwer,
James Lottes,
Stephan Rasp,
Peter Düben,
Sam Hatfield,
Peter Battaglia,
Alvaro Sanchez-Gonzalez,
Matthew Willson,
Michael P. Brenner,
Stephan Hoyer
Abstract:
General circulation models (GCMs) are the foundation of weather and climate prediction. GCMs are physics-based simulators which combine a numerical solver for large-scale dynamics with tuned representations for small-scale processes such as cloud formation. Recently, machine learning (ML) models trained on reanalysis data achieved comparable or better skill than GCMs for deterministic weather fore…
▽ More
General circulation models (GCMs) are the foundation of weather and climate prediction. GCMs are physics-based simulators which combine a numerical solver for large-scale dynamics with tuned representations for small-scale processes such as cloud formation. Recently, machine learning (ML) models trained on reanalysis data achieved comparable or better skill than GCMs for deterministic weather forecasting. However, these models have not demonstrated improved ensemble forecasts, or shown sufficient stability for long-term weather and climate simulations. Here we present the first GCM that combines a differentiable solver for atmospheric dynamics with ML components, and show that it can generate forecasts of deterministic weather, ensemble weather and climate on par with the best ML and physics-based methods. NeuralGCM is competitive with ML models for 1-10 day forecasts, and with the European Centre for Medium-Range Weather Forecasts ensemble prediction for 1-15 day forecasts. With prescribed sea surface temperature, NeuralGCM can accurately track climate metrics such as global mean temperature for multiple decades, and climate forecasts with 140 km resolution exhibit emergent phenomena such as realistic frequency and trajectories of tropical cyclones. For both weather and climate, our approach offers orders of magnitude computational savings over conventional GCMs. Our results show that end-to-end deep learning is compatible with tasks performed by conventional GCMs, and can enhance the large-scale physical simulations that are essential for understanding and predicting the Earth system.
△ Less
Submitted 7 March, 2024; v1 submitted 13 November, 2023;
originally announced November 2023.
-
Provoking topology by octahedral tilting in strained SrNbO$_3$
Authors:
Alla Chikina,
Victor Rosendal,
Hang Li,
Eduardo B. Guedes,
Marco Caputo,
Nicholas Clark Plumb,
Ming Shi,
Dirch Hjorth Petersen,
Mads Brandbyge,
Walber Hugo Brito,
Ekaterina Pomjakushina,
Valerio Scagnoli,
Jike Lyu,
Marisa Medarde,
Elizabeth Skoropata,
Urs Staub,
Shih-Wen Huang,
Felix Baumberger,
Nini Pryds,
Milan Radovic
Abstract:
Transition metal oxides with a wide variety of electronic and magnetic properties offer an extraordinary possibility to be a platform for develo** future electronics based on unconventional quantum phenomena, for instance, the topology. The formation of topologically non-trivial states is related to crystalline symmetry, spin-orbit coupling, and magnetic ordering. Here, we demonstrate how lattic…
▽ More
Transition metal oxides with a wide variety of electronic and magnetic properties offer an extraordinary possibility to be a platform for develo** future electronics based on unconventional quantum phenomena, for instance, the topology. The formation of topologically non-trivial states is related to crystalline symmetry, spin-orbit coupling, and magnetic ordering. Here, we demonstrate how lattice distortions and octahedral rotation in SrNbO$_3$ films induce the band topology. By employing angle-resolved photoemission spectroscopy (ARPES) and density functional theory (DFT) calculations, we verify the presence of in-phase $a^0a^0c^+$ octahedral rotation in ultra-thin SrNbO$_3$ films, which causes the formation of topologically-protected Dirac band crossings. Our study illustrates that octahedral engineering can be effectively exploited for implanting and controlling quantum topological phases in transition metal oxides.
△ Less
Submitted 10 November, 2023;
originally announced November 2023.
-
Femtosecond pulse amplification on a chip
Authors:
Mahmoud A. Gaafar,
Markus Ludwig,
Kai Wang,
Thibault Wildi,
Thibault Voumard,
Milan Sinobad,
Jan Lorenzen,
Henry Francis,
Shuangyou Zhang,
Toby Bi,
Pascal DeľHaye,
Michael Geiselmann,
Neetesh Singh,
Franz X. Kärtner,
Sonia M. Garcia-Blanco,
Tobias Herr
Abstract:
Femtosecond laser pulses enable the synthesis of light across the electromagnetic spectrum and provide access to ultrafast phenomena in physics, biology, and chemistry. Chip-integration of femtosecond technology could revolutionize applications such as point-of-care diagnostics, biomedical imaging, portable chemical sensing, or autonomous navigation. However, current sources lack the required powe…
▽ More
Femtosecond laser pulses enable the synthesis of light across the electromagnetic spectrum and provide access to ultrafast phenomena in physics, biology, and chemistry. Chip-integration of femtosecond technology could revolutionize applications such as point-of-care diagnostics, biomedical imaging, portable chemical sensing, or autonomous navigation. However, current sources lack the required power, and the on-chip amplification of femtosecond pulses is an unresolved challenge. Here, addressing this challenge, we report >50-fold amplification of 1 GHz-repetition-rate chirped femtosecond pulses in a CMOS-compatible photonic chip to 800 W peak power with 116 fs pulse duration. Nonlinear effects, usually a hallmark of integrated photonics but prohibitive to pulse amplification are mitigated through all-normal dispersion, large mode-area rare-earth-doped gain waveguides. These results offer a pathway to chip-integrated femtosecond technology with power-levels characteristic of table-top sources.
△ Less
Submitted 8 November, 2023;
originally announced November 2023.
-
A Quantum Optimization Method for Geometric Constrained Image Segmentation
Authors:
Nam H. Le,
Milan Sonka,
Fatima Toor
Abstract:
Quantum image processing is a growing field attracting attention from both the quantum computing and image processing communities. We propose a novel method in combining a graph-theoretic approach for optimal surface segmentation and hybrid quantum-classical optimization of the problem-directed graph. The surface segmentation is modeled classically as a graph partitioning problem in which a smooth…
▽ More
Quantum image processing is a growing field attracting attention from both the quantum computing and image processing communities. We propose a novel method in combining a graph-theoretic approach for optimal surface segmentation and hybrid quantum-classical optimization of the problem-directed graph. The surface segmentation is modeled classically as a graph partitioning problem in which a smoothness constraint is imposed to control surface variation for realistic segmentation. Specifically, segmentation refers to a source set identified by a minimum s-t cut that divides graph nodes into the source (s) and sink (t) sets. The resulting surface consists of graph nodes located on the boundary between the source and the sink. Characteristics of the problem-specific graph, including its directed edges, connectivity, and edge capacities, are embedded in a quadratic objective function whose minimum value corresponds to the ground state energy of an equivalent Ising Hamiltonian. This work explores the use of quantum processors in image segmentation problems, which has important applications in medical image analysis. Here, we present a theoretical basis for the quantum implementation of LOGISMOS and the results of a simulation study on simple images. Quantum Approximate Optimization Algorithm (QAOA) approach was utilized to conduct two simulation studies whose objective was to determine the ground state energies and identify bitstring solutions that encode the optimal segmentation of objective functions. The objective function encodes tasks associated with surface segmentation in 2-D and 3-D images while incorporating a smoothness constraint. In this work, we demonstrate that the proposed approach can solve the geometric-constrained surface segmentation problem optimally with the capability of locating multiple minimum points corresponding to the globally minimal solution.
△ Less
Submitted 6 November, 2023; v1 submitted 30 October, 2023;
originally announced October 2023.
-
Artifact-Robust Graph-Based Learning in Digital Pathology
Authors:
Saba Heidari Gheshlaghi,
Milan Aryal,
Nasim Yahyasoltani,
Masoud Ganji
Abstract:
Whole slide images~(WSIs) are digitized images of tissues placed in glass slides using advanced scanners. The digital processing of WSIs is challenging as they are gigapixel images and stored in multi-resolution format. A common challenge with WSIs is that perturbations/artifacts are inevitable during storing the glass slides and digitizing them. These perturbations include motion, which often ari…
▽ More
Whole slide images~(WSIs) are digitized images of tissues placed in glass slides using advanced scanners. The digital processing of WSIs is challenging as they are gigapixel images and stored in multi-resolution format. A common challenge with WSIs is that perturbations/artifacts are inevitable during storing the glass slides and digitizing them. These perturbations include motion, which often arises from slide movement during placement, and changes in hue and brightness due to variations in staining chemicals and the quality of digitizing scanners. In this work, a novel robust learning approach to account for these artifacts is presented. Due to the size and resolution of WSIs and to account for neighborhood information, graph-based methods are called for. We use graph convolutional network~(GCN) to extract features from the graph representing WSI. Through a denoiser {and pooling layer}, the effects of perturbations in WSIs are controlled and the output is followed by a transformer for the classification of different grades of prostate cancer. To compare the efficacy of the proposed approach, the model without denoiser is trained and tested with WSIs without any perturbation and then different perturbations are introduced in WSIs and passed through the network with the denoiser. The accuracy and kappa scores of the proposed model with prostate cancer dataset compared with non-robust algorithms show significant improvement in cancer diagnosis.
△ Less
Submitted 27 October, 2023;
originally announced October 2023.
-
Summation formulas generated by Hilbert space eigenproblem
Authors:
Petar Mali,
Sonja Gombar,
Slobodan Radoševi\' c,
Milica Rutonjski,
Milan Panti\' c,
Milica Pavkov-Hrvojevi\' c
Abstract:
We demonstrate that certain classes of Schl\" omilch-like infinite series and series that include generalized hypergeometric functions can be calculated in closed form starting from a simple quantum model of a particle trapped inside an infinite potential well and using principles of quantum mechanics. We provide a general framework based on the Hilbert space eigenproblem that can be applied to di…
▽ More
We demonstrate that certain classes of Schl\" omilch-like infinite series and series that include generalized hypergeometric functions can be calculated in closed form starting from a simple quantum model of a particle trapped inside an infinite potential well and using principles of quantum mechanics. We provide a general framework based on the Hilbert space eigenproblem that can be applied to different exactly solvable quantum models. Obtaining series from normalization conditions in well-defined quantum problems secures their convergence.
△ Less
Submitted 3 March, 2024; v1 submitted 26 October, 2023;
originally announced October 2023.
-
Trust, but Verify: Robust Image Segmentation using Deep Learning
Authors:
Fahim Ahmed Zaman,
Xiaodong Wu,
Weiyu Xu,
Milan Sonka,
Raghuraman Mudumbai
Abstract:
We describe a method for verifying the output of a deep neural network for medical image segmentation that is robust to several classes of random as well as worst-case perturbations i.e. adversarial attacks. This method is based on a general approach recently developed by the authors called "Trust, but Verify" wherein an auxiliary verification network produces predictions about certain masked feat…
▽ More
We describe a method for verifying the output of a deep neural network for medical image segmentation that is robust to several classes of random as well as worst-case perturbations i.e. adversarial attacks. This method is based on a general approach recently developed by the authors called "Trust, but Verify" wherein an auxiliary verification network produces predictions about certain masked features in the input image using the segmentation as an input. A well-designed auxiliary network will produce high-quality predictions when the input segmentations are accurate, but will produce low-quality predictions when the segmentations are incorrect. Checking the predictions of such a network with the original image allows us to detect bad segmentations. However, to ensure the verification method is truly robust, we need a method for checking the quality of the predictions that does not itself rely on a black-box neural network. Indeed, we show that previous methods for segmentation evaluation that do use deep neural regression networks are vulnerable to false negatives i.e. can inaccurately label bad segmentations as good. We describe the design of a verification network that avoids such vulnerability and present results to demonstrate its robustness compared to previous methods.
△ Less
Submitted 19 December, 2023; v1 submitted 25 October, 2023;
originally announced October 2023.
-
A Systematic Study of Performance Disparities in Multilingual Task-Oriented Dialogue Systems
Authors:
Songbo Hu,
Han Zhou,
Moy Yuan,
Milan Gritta,
Guchun Zhang,
Ignacio Iacobacci,
Anna Korhonen,
Ivan Vulić
Abstract:
Achieving robust language technologies that can perform well across the world's many languages is a central goal of multilingual NLP. In this work, we take stock of and empirically analyse task performance disparities that exist between multilingual task-oriented dialogue (ToD) systems. We first define new quantitative measures of absolute and relative equivalence in system performance, capturing…
▽ More
Achieving robust language technologies that can perform well across the world's many languages is a central goal of multilingual NLP. In this work, we take stock of and empirically analyse task performance disparities that exist between multilingual task-oriented dialogue (ToD) systems. We first define new quantitative measures of absolute and relative equivalence in system performance, capturing disparities across languages and within individual languages. Through a series of controlled experiments, we demonstrate that performance disparities depend on a number of factors: the nature of the ToD task at hand, the underlying pretrained language model, the target language, and the amount of ToD annotated data. We empirically prove the existence of the adaptation and intrinsic biases in current ToD systems: e.g., ToD systems trained for Arabic or Turkish using annotated ToD data fully parallel to English ToD data still exhibit diminished ToD task performance. Beyond providing a series of insights into the performance disparities of ToD systems in different languages, our analyses offer practical tips on how to approach ToD data collection and system development for new languages.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
Terrestrial Very-Long-Baseline Atom Interferometry: Workshop Summary
Authors:
Sven Abend,
Baptiste Allard,
Iván Alonso,
John Antoniadis,
Henrique Araujo,
Gianluigi Arduini,
Aidan Arnold,
Tobias Aßmann,
Nadja Augst,
Leonardo Badurina,
Antun Balaz,
Hannah Banks,
Michele Barone,
Michele Barsanti,
Angelo Bassi,
Baptiste Battelier,
Charles Baynham,
Beaufils Quentin,
Aleksandar Belic,
Ankit Beniwal,
Jose Bernabeu,
Francesco Bertinelli,
Andrea Bertoldi,
Ikbal Ahamed Biswas,
Diego Blas
, et al. (228 additional authors not shown)
Abstract:
This document presents a summary of the 2023 Terrestrial Very-Long-Baseline Atom Interferometry Workshop hosted by CERN. The workshop brought together experts from around the world to discuss the exciting developments in large-scale atom interferometer (AI) prototypes and their potential for detecting ultralight dark matter and gravitational waves. The primary objective of the workshop was to lay…
▽ More
This document presents a summary of the 2023 Terrestrial Very-Long-Baseline Atom Interferometry Workshop hosted by CERN. The workshop brought together experts from around the world to discuss the exciting developments in large-scale atom interferometer (AI) prototypes and their potential for detecting ultralight dark matter and gravitational waves. The primary objective of the workshop was to lay the groundwork for an international TVLBAI proto-collaboration. This collaboration aims to unite researchers from different institutions to strategize and secure funding for terrestrial large-scale AI projects. The ultimate goal is to create a roadmap detailing the design and technology choices for one or more km-scale detectors, which will be operational in the mid-2030s. The key sections of this report present the physics case and technical challenges, together with a comprehensive overview of the discussions at the workshop together with the main conclusions.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
Graphs with three and four distinct eigenvalues based on circulants
Authors:
Milan Bašić
Abstract:
In this paper, we aim to address the open questions raised in various recent papers regarding characterization of circulant graphs with three or four distinct eigenvalues in their spectra. Our focus is on providing characterizations and constructing classes of graphs falling under this specific category. We present a characterization of circulant graphs with prime number order and unitary Cayley g…
▽ More
In this paper, we aim to address the open questions raised in various recent papers regarding characterization of circulant graphs with three or four distinct eigenvalues in their spectra. Our focus is on providing characterizations and constructing classes of graphs falling under this specific category. We present a characterization of circulant graphs with prime number order and unitary Cayley graphs with arbitrary order, both of which possess spectra displaying three or four distinct eigenvalues. Various constructions of circulant graphs with composite orders are provided whose spectra consist of four distinct eigenvalues. These constructions primarily utilize specific subgraphs of circulant graphs that already possess two or three eigenvalues in their spectra, employing graph operations like the tensor product, the union, and the complement. Finally, we characterize the iterated line graphs of unitary Cayley graphs whose spectra contain three or four distinct eigenvalues, and we show their non-circulant nature.
△ Less
Submitted 9 October, 2023;
originally announced October 2023.
-
Direct visualization of quasiparticle concentration around superconducting vortices
Authors:
Jian-Feng Ge,
Koen M. Bastiaans,
Jiasen Niu,
Tjerk Benschop,
Maialen Ortego Larrazabal,
Milan P. Allan
Abstract:
Bogoliubov quasiparticles play a crucial role in understanding the behavior of a superconductor, and in achieving reliable operations of superconducting quantum circuits. Diagnosis of quasiparticle poisoning at the nanoscale provides invaluable benefits in designing superconducting qubits. Here, we use scanning tunneling noise microscopy to locally quantify quasiparticles by measuring the effectiv…
▽ More
Bogoliubov quasiparticles play a crucial role in understanding the behavior of a superconductor, and in achieving reliable operations of superconducting quantum circuits. Diagnosis of quasiparticle poisoning at the nanoscale provides invaluable benefits in designing superconducting qubits. Here, we use scanning tunneling noise microscopy to locally quantify quasiparticles by measuring the effective charge. Using the vortex lattice as a model system, we directly visualize the spatial variation of the quasiparticle concentration around superconducting vortices, which can be described within the Ginzburg-Landau framework. This shows a direct, noninvasive approach for the atomic-scale detection of relative quasiparticle concentration as small as 10-4 in various superconducting qubit systems. Our results alert of a quick increase in quasiparticle concentration with decreasing intervortex distance in vortex-based Majorana qubits.
△ Less
Submitted 30 April, 2024; v1 submitted 9 October, 2023;
originally announced October 2023.
-
Physics-assisted machine learning for THz spectroscopy: sensing moisture on plant leaves
Authors:
Milan Koumans,
Daan Meulendijks,
Haiko Middeljans,
Djero Peeters,
Jacob C. Douma,
Dook van Mechelen
Abstract:
Signal processing techniques are of vital importance to bring THz spectroscopy to a maturity level to reach practical applications. In this work, we illustrate the use of machine learning techniques for THz time-domain spectroscopy assisted by domain knowledge based on light-matter interactions. We aim at the potential agriculture application to determine the amount of free water on plant leaves,…
▽ More
Signal processing techniques are of vital importance to bring THz spectroscopy to a maturity level to reach practical applications. In this work, we illustrate the use of machine learning techniques for THz time-domain spectroscopy assisted by domain knowledge based on light-matter interactions. We aim at the potential agriculture application to determine the amount of free water on plant leaves, so-called leaf wetness. This quantity is important for understanding and predicting plant diseases that need leaf wetness for disease development. The overall transmission of a moist plant leaf for 12,000 distinct water patterns was experimentally acquired using THz time-domain spectroscopy. We report on key insights of applying decision trees and convolutional neural networks to the data using physics-motivated choices. Eventually, we discuss the generalizability of these models to determine leaf wetness after testing them on cases with increasing deviations from the training set.
△ Less
Submitted 6 October, 2023;
originally announced October 2023.
-
Learning Parametric Koopman Decompositions for Prediction and Control
Authors:
Yue Guo,
Milan Korda,
Ioannis G. Kevrekidis,
Qianxiao Li
Abstract:
We present an approach to construct approximate Koopman-type decompositions for dynamical systems depending on static or time-varying parameters. Our method simultaneously constructs an invariant subspace and a parametric family of projected Koopman operators acting on this subspace. We parametrize both the projected Koopman operator family and the dictionary that spans the invariant subspace by n…
▽ More
We present an approach to construct approximate Koopman-type decompositions for dynamical systems depending on static or time-varying parameters. Our method simultaneously constructs an invariant subspace and a parametric family of projected Koopman operators acting on this subspace. We parametrize both the projected Koopman operator family and the dictionary that spans the invariant subspace by neural networks and jointly train them with trajectory data. We show theoretically the validity of our approach, and demonstrate via numerical experiments that it exhibits significant improvements over existing methods in solving prediction problems, especially those with large state or parameter dimensions, and those possessing strongly non-linear dynamics. Moreover, our method enables data-driven solution of optimal control problems involving non-linear dynamics, with interesting implications on controllability.
△ Less
Submitted 2 October, 2023;
originally announced October 2023.
-
Decoding the Manhattan Project's Network: Unveiling Science, Collaboration, and Human Legacy
Authors:
Milan Janosov
Abstract:
The Manhattan Project was one of the largest scientific collaborations ever undertaken. It operated thanks to a complex social network of extraordinary minds and it became undoubtedly one of the most remarkable intellectual efforts of human history. It also had devastating consequences during and after the atomic bombings of Hiroshima and Nagasaki. Despite the loss of hundreds of thousands of huma…
▽ More
The Manhattan Project was one of the largest scientific collaborations ever undertaken. It operated thanks to a complex social network of extraordinary minds and it became undoubtedly one of the most remarkable intellectual efforts of human history. It also had devastating consequences during and after the atomic bombings of Hiroshima and Nagasaki. Despite the loss of hundreds of thousands of human lives during the bombing and the subsequent events, the scientific journey itself stands as a testament to human achievement, as highlighted in Christopher Nolan's film portrayal of Oppenheimer.
△ Less
Submitted 2 October, 2023;
originally announced October 2023.
-
A parsimonious, computationally efficient machine learning method for spatial regression
Authors:
Milan Žukovič,
Dionissios T. Hristopulos
Abstract:
We introduce the modified planar rotator method (MPRS), a physically inspired machine learning method for spatial/temporal regression. MPRS is a non-parametric model which incorporates spatial or temporal correlations via short-range, distance-dependent ``interactions'' without assuming a specific form for the underlying probability distribution. Predictions are obtained by means of a fully autono…
▽ More
We introduce the modified planar rotator method (MPRS), a physically inspired machine learning method for spatial/temporal regression. MPRS is a non-parametric model which incorporates spatial or temporal correlations via short-range, distance-dependent ``interactions'' without assuming a specific form for the underlying probability distribution. Predictions are obtained by means of a fully autonomous learning algorithm which employs equilibrium conditional Monte Carlo simulations. MPRS is able to handle scattered data and arbitrary spatial dimensions. We report tests on various synthetic and real-word data in one, two and three dimensions which demonstrate that the MPRS prediction performance (without parameter tuning) is competitive with standard interpolation methods such as ordinary kriging and inverse distance weighting. In particular, MPRS is a particularly effective gap-filling method for rough and non-Gaussian data (e.g., daily precipitation time series). MPRS shows superior computational efficiency and scalability for large samples. Massive data sets involving millions of nodes can be processed in a few seconds on a standard personal computer.
△ Less
Submitted 28 September, 2023;
originally announced September 2023.
-
Genius Cliques: Map** out the Nobel Network
Authors:
Milan Janosov
Abstract:
In this short piece, I delved into the connections of Nobel laureates by applying Network Science methods to and public data collected from Wikipedia. I uncovered the existence of a central "giant component" in the Nobel laureate network, highlighting the core-periphery structure and the disparity in visibility among laureates. I explored the dominance of laureates in the fields of science and hum…
▽ More
In this short piece, I delved into the connections of Nobel laureates by applying Network Science methods to and public data collected from Wikipedia. I uncovered the existence of a central "giant component" in the Nobel laureate network, highlighting the core-periphery structure and the disparity in visibility among laureates. I explored the dominance of laureates in the fields of science and humanities, revealing a polarization that contradicts the trend of interdisciplinary research. Furthermore, it the finding sheds light on the underrepresentation of female laureates in certain Nobel Prize categories.
△ Less
Submitted 27 September, 2023;
originally announced September 2023.
-
Trace Maps on Rigid Stein Spaces
Authors:
Milan Malčić
Abstract:
We provide a relative version of the trace map from the work of Beyer, which can be associated to any finite tale morphism $X \to Y$ of smooth rigid Stein spaces and which then relates the Serre duality on $X$ with the Serre duality on $Y$. Furthermore, we consider the behaviour of any rigid Stein space under (completed) base change to any complete extension field and deduce a commutative diagram…
▽ More
We provide a relative version of the trace map from the work of Beyer, which can be associated to any finite tale morphism $X \to Y$ of smooth rigid Stein spaces and which then relates the Serre duality on $X$ with the Serre duality on $Y$. Furthermore, we consider the behaviour of any rigid Stein space under (completed) base change to any complete extension field and deduce a commutative diagram relating Serre duality over the base field with the Serre duality over the extension field.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
Iterative Reachability Estimation for Safe Reinforcement Learning
Authors:
Milan Ganai,
Zheng Gong,
Chenning Yu,
Sylvia Herbert,
Sicun Gao
Abstract:
Ensuring safety is important for the practical deployment of reinforcement learning (RL). Various challenges must be addressed, such as handling stochasticity in the environments, providing rigorous guarantees of persistent state-wise safety satisfaction, and avoiding overly conservative behaviors that sacrifice performance. We propose a new framework, Reachability Estimation for Safe Policy Optim…
▽ More
Ensuring safety is important for the practical deployment of reinforcement learning (RL). Various challenges must be addressed, such as handling stochasticity in the environments, providing rigorous guarantees of persistent state-wise safety satisfaction, and avoiding overly conservative behaviors that sacrifice performance. We propose a new framework, Reachability Estimation for Safe Policy Optimization (RESPO), for safety-constrained RL in general stochastic settings. In the feasible set where there exist violation-free policies, we optimize for rewards while maintaining persistent safety. Outside this feasible set, our optimization produces the safest behavior by guaranteeing entrance into the feasible set whenever possible with the least cumulative discounted violations. We introduce a class of algorithms using our novel reachability estimation function to optimize in our proposed framework and in similar frameworks such as those concurrently handling multiple hard and soft constraints. We theoretically establish that our algorithms almost surely converge to locally optimal policies of our safe optimization framework. We evaluate the proposed methods on a diverse suite of safe RL environments from Safety Gym, PyBullet, and MuJoCo, and show the benefits in improving both reward performance and safety compared with state-of-the-art baselines.
△ Less
Submitted 23 September, 2023;
originally announced September 2023.
-
Quantitative convergence of the nonlocal Allen--Cahn equation to volume-preserving mean curvature flow
Authors:
Milan Kroemer,
Tim Laux
Abstract:
We prove a quantitative convergence result of the nonlocal Allen--Cahn equation to volume-preserving mean curvature flow. The proof uses gradient flow calibrations and the relative entropy method, which has been used in the recent literature to prove weak-strong uniqueness results for mean curvature flow and convergence of the Allen--Cahn equation. A crucial difference in this work is a new notion…
▽ More
We prove a quantitative convergence result of the nonlocal Allen--Cahn equation to volume-preserving mean curvature flow. The proof uses gradient flow calibrations and the relative entropy method, which has been used in the recent literature to prove weak-strong uniqueness results for mean curvature flow and convergence of the Allen--Cahn equation. A crucial difference in this work is a new notion of gradient flow calibrations. We add a tangential component to the velocity field in order to prove the Gronwall estimate for the relative energy. This allows us to derive the optimal convergence rate without having to show the closeness of the Lagrange-multipliers.
△ Less
Submitted 21 September, 2023;
originally announced September 2023.
-
Spatio-temporal dynamics of anisotropic emission from nano second laser produced aluminium plasma
Authors:
Geethika B. R.,
**to Thomas,
Milaan Patel,
Renjith Kumar R.,
Hem Chandra Joshi
Abstract:
Polarized emission carries captivating information and can help understand various elementary processes involving collisions within the plasma as well as in radiative transitions. In this work, we investigate the spatio-temporal dependence of the emission anisotropy of a nanosecond laser produced aluminium plasma at 100 mbar background pressure. We observe that the anisotropy of the emission spect…
▽ More
Polarized emission carries captivating information and can help understand various elementary processes involving collisions within the plasma as well as in radiative transitions. In this work, we investigate the spatio-temporal dependence of the emission anisotropy of a nanosecond laser produced aluminium plasma at 100 mbar background pressure. We observe that the anisotropy of the emission spectra exhibits interesting spatio-temporal characteristics which in turn depend on the charge state of the emitting species. The degree of polarization (DOP) is found to reverse its sign along the plume propagation direction. Observed behaviour in DOP appears to be due to the contribution from various involved atomic processes. However, closer to the sample the contribution from the self-generated magnetic field predominantly affect the polarization. On the other hand, the effect of the self generated magnetic field on the observed polarized emission is insignificant as the plume propagates away from the sample. This is of particular interest in polarization resolved laser induced breakdown spectroscopy as spatio-temporal profile of the degree of polarization has to be properly taken into account prior to the spectral analysis.
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
ATM: a Logic for Quantitative Security Properties on Attack Trees
Authors:
Stefano M. Nicoletti,
Milan Lopuhaä-Zwakenberg,
E. Moritz Hahn,
Mariëlle Stoelinga
Abstract:
Critical infrastructure systems - for which high reliability and availability are paramount - must operate securely. Attack trees (ATs) are hierarchical diagrams that offer a flexible modelling language used to assess how systems can be attacked. ATs are widely employed both in industry and academia but - in spite of their popularity - little work has been done to give practitioners instruments to…
▽ More
Critical infrastructure systems - for which high reliability and availability are paramount - must operate securely. Attack trees (ATs) are hierarchical diagrams that offer a flexible modelling language used to assess how systems can be attacked. ATs are widely employed both in industry and academia but - in spite of their popularity - little work has been done to give practitioners instruments to formulate queries on ATs in an understandable yet powerful way. In this paper we fill this gap by presenting ATM, a logic to express quantitative security properties on ATs. ATM allows for the specification of properties involved with security metrics that include "cost", "probability" and "skill" and permits the formulation of insightful what-if scenarios. To showcase its potential, we apply ATM to the case study of a CubeSAT, presenting three different ways in which an attacker can compromise its availability. We showcase property specification on the corresponding attack tree and we present theory and algorithms - based on binary decision diagrams - to check properties and compute metrics of ATM-formulae.
△ Less
Submitted 17 May, 2024; v1 submitted 17 September, 2023;
originally announced September 2023.
-
Earth Virtualization Engines -- A Technical Perspective
Authors:
Torsten Hoefler,
Bjorn Stevens,
Andreas F. Prein,
Johanna Baehr,
Thomas Schulthess,
Thomas F. Stocker,
John Taylor,
Daniel Klocke,
Pekka Manninen,
Piers M. Forster,
Tobias Kölling,
Nicolas Gruber,
Hartwig Anzt,
Claudia Frauen,
Florian Ziemen,
Milan Klöwer,
Karthik Kashinath,
Christoph Schär,
Oliver Fuhrer,
Bryan N. Lawrence
Abstract:
Participants of the Berlin Summit on Earth Virtualization Engines (EVEs) discussed ideas and concepts to improve our ability to cope with climate change. EVEs aim to provide interactive and accessible climate simulations and data for a wide range of users. They combine high-resolution physics-based models with machine learning techniques to improve the fidelity, efficiency, and interpretability of…
▽ More
Participants of the Berlin Summit on Earth Virtualization Engines (EVEs) discussed ideas and concepts to improve our ability to cope with climate change. EVEs aim to provide interactive and accessible climate simulations and data for a wide range of users. They combine high-resolution physics-based models with machine learning techniques to improve the fidelity, efficiency, and interpretability of climate projections. At their core, EVEs offer a federated data layer that enables simple and fast access to exabyte-sized climate data through simple interfaces. In this article, we summarize the technical challenges and opportunities for develo** EVEs, and argue that they are essential for addressing the consequences of climate change.
△ Less
Submitted 16 September, 2023;
originally announced September 2023.
-
Octave-spanning supercontinuum generation in a CMOS-compatible thin Si3N4 waveguide coated with highly nonlinear TeO2
Authors:
Hamidu M. Mbonde,
Neetesh Singh,
Bruno L. Segat Frare,
Milan Sinobad,
Pooya Torab Ahmadi,
Batoul Hashemi,
Dawson. B. Bonneville,
Peter Mascher,
Franz X. Kaertner,
Jonathan D. B. Bradley
Abstract:
Supercontinuum generation (SCG) is an important nonlinear optical process enabling broadband light sources for many applications, for which silicon nitride(Si3N4) has emerged as a leading on-chip platform.To achieve suitable group velocity dispersion and high confinement for broadband SCG the Si3N4 waveguide layer used is typically thick (>~700 nm), which can lead to high stress and cracks unless…
▽ More
Supercontinuum generation (SCG) is an important nonlinear optical process enabling broadband light sources for many applications, for which silicon nitride(Si3N4) has emerged as a leading on-chip platform.To achieve suitable group velocity dispersion and high confinement for broadband SCG the Si3N4 waveguide layer used is typically thick (>~700 nm), which can lead to high stress and cracks unless specialized processing steps are used. Here, we report on efficient octave spanning SCG in a thinner moderate-confinement 400-nm Si3N4 platform using a highly nonlinear tellurium oxide (TeO2) coating. An octave-spanning supercontinuum is achieved at a low peak power of 258 W using a 100-fs laser centered at 1565 nm. Our numerical simulations agree well with the experimental results showing an increase of waveguide's nonlinear parameter by a factor of 2.5 when coating the Si3N4 waveguide with TeO2 film. This work demonstrates highly efficient SCG via effective dispersion engineering and an enhanced nonlinearity in a CMOS-compatible hybrid TeO2-Si3N4 waveguides and a promising route to monolithically integrated nonlinear, linear, and active functionalities on a single silicon photonic chip.
△ Less
Submitted 15 September, 2023;
originally announced September 2023.
-
A Machine Learning Framework to Deconstruct the Primary Drivers for Electricity Market Price Events
Authors:
Milan Jain,
Xueqing Sun,
Sohom Datta,
Abhishek Somani
Abstract:
Power grids are moving towards 100% renewable energy source bulk power grids, and the overall dynamics of power system operations and electricity markets are changing. The electricity markets are not only dispatching resources economically but also taking into account various controllable actions like renewable curtailment, transmission congestion mitigation, and energy storage optimization to ens…
▽ More
Power grids are moving towards 100% renewable energy source bulk power grids, and the overall dynamics of power system operations and electricity markets are changing. The electricity markets are not only dispatching resources economically but also taking into account various controllable actions like renewable curtailment, transmission congestion mitigation, and energy storage optimization to ensure grid reliability. As a result, price formations in electricity markets have become quite complex. Traditional root cause analysis and statistical approaches are rendered inapplicable to analyze and infer the main drivers behind price formation in the modern grid and markets with variable renewable energy (VRE). In this paper, we propose a machine learning-based analysis framework to deconstruct the primary drivers for price spike events in modern electricity markets with high renewable energy. The outcomes can be utilized for various critical aspects of market design, renewable dispatch and curtailment, operations, and cyber-security applications. The framework can be applied to any ISO or market data; however, in this paper, it is applied to open-source publicly available datasets from California Independent System Operator (CAISO) and ISO New England (ISO-NE).
△ Less
Submitted 12 September, 2023;
originally announced September 2023.
-
Non-Einsteinian Viscosity Reduction in Boron Nitride Nanotube Nanofluids
Authors:
André Guerra,
Adam McElligott,
Chong Yang Du,
Milan Marić,
Alejandro D. Rey,
Phillip Servio
Abstract:
(1) Introduction: Nanoparticles have multiple applications, including drug delivery systems, biosensing, and carbon capture. Non-Einstein-like viscosity reduction has been reported in nanoparticle-polymer blends at low nanoparticle concentrations. More recently, a similar non-Einsteinian viscosity reduction effect has been observed in aqueous ultra-low concentration carbon-based nanofluids. (2) Me…
▽ More
(1) Introduction: Nanoparticles have multiple applications, including drug delivery systems, biosensing, and carbon capture. Non-Einstein-like viscosity reduction has been reported in nanoparticle-polymer blends at low nanoparticle concentrations. More recently, a similar non-Einsteinian viscosity reduction effect has been observed in aqueous ultra-low concentration carbon-based nanofluids. (2) Methods: We use a boron nitride nanotube functionalized with hydrophilic groups in rheological experiments to investigate the viscosity reduction in ultra-low concentration nanofluids (0.1-10 ppm). We measure the dynamic viscosity in an air atmosphere and methane (0-5 MPag) at low temperatures (0-10 C). (3) Results: A negligible effect on the temperature dependence of viscosity was found. Ultra-low concentrations of BNNT reduced the viscosity of the nanofluid by up to 29% at 10 ppm in the presence of methane. The results presented here were compared to similar studies on O-GNF and O-MWCNT nanofluids, which also reported significant viscosity reductions. (4) Conclusions: This work identified a non-Einsteinian viscosity reduction in BNNT nanofluids, which was exacerbated by methane dissolved in the nanofluid.
△ Less
Submitted 1 September, 2023;
originally announced September 2023.
-
Preventing Others from Commercializing Your Innovation: Evidence from Creative Commons Licenses
Authors:
Erdem Dogukan Yilmaz,
Tim Meyer,
Milan Miric
Abstract:
Online innovation communities are an important source of innovation for many organizations. While contributions to such communities are typically made without financial compensation, these contributions are often governed by licenses such as Creative Commons that may prevent others from building upon and commercializing them. While this can diminish the usefulness of contributions, there is limite…
▽ More
Online innovation communities are an important source of innovation for many organizations. While contributions to such communities are typically made without financial compensation, these contributions are often governed by licenses such as Creative Commons that may prevent others from building upon and commercializing them. While this can diminish the usefulness of contributions, there is limited work analyzing what leads individuals to impose restrictions on the use of their work. In this paper, we examine innovators imposing restrictive licenses within the 3D-printable design community Thingiverse. Our analyses suggest that innovators are more likely to restrict commercialization of their contributions as their reputation increases and when reusing contributions created by others. These findings contribute to innovation communities and the growing literature on property rights in digital markets.
△ Less
Submitted 1 September, 2023;
originally announced September 2023.
-
Target-independent XLA optimization using Reinforcement Learning
Authors:
Milan Ganai,
Haichen Li,
Theodore Enns,
Yida Wang,
Randy Huang
Abstract:
An important challenge in Machine Learning compilers like XLA is multi-pass optimization and analysis. There has been recent interest chiefly in XLA target-dependent optimization on the graph-level, subgraph-level, and kernel-level phases. We specifically focus on target-independent optimization XLA HLO pass ordering: our approach aims at finding the optimal sequence of compiler optimization passe…
▽ More
An important challenge in Machine Learning compilers like XLA is multi-pass optimization and analysis. There has been recent interest chiefly in XLA target-dependent optimization on the graph-level, subgraph-level, and kernel-level phases. We specifically focus on target-independent optimization XLA HLO pass ordering: our approach aims at finding the optimal sequence of compiler optimization passes, which is decoupled from target-dependent optimization. However, there is little domain specific study in pass ordering for XLA HLO. To this end, we propose introducing deep Reinforcement Learning (RL) based search for optimal XLA HLO pass ordering. We also propose enhancements to the deep RL algorithms to further improve optimal search performance and open the research direction for domain-specific guidance for RL. We create an XLA Gym experimentation framework as a tool to enable RL algorithms to interact with the compiler for passing optimizations and thereby train agents. Overall, in our experimentation we observe an average of $13.3\%$ improvement in operation count reduction on a benchmark of GPT-2 training graphs and $10.4\%$ improvement on a diverse benchmark including GPT-2, BERT, and ResNet graphs using the proposed approach over the compiler's default phase ordering.
△ Less
Submitted 28 August, 2023;
originally announced August 2023.
-
On Sudden Cessation in Circular Motion
Authors:
Milan Batista
Abstract:
This short paper presents a simple analytical model for the abrupt termination of circular motion, as discussed in the "The Most Mind-Blowing Aspect of Circular Motion".
This short paper presents a simple analytical model for the abrupt termination of circular motion, as discussed in the "The Most Mind-Blowing Aspect of Circular Motion".
△ Less
Submitted 21 August, 2023;
originally announced August 2023.
-
Enhanced repetition codes for the cross-platform comparison of progress towards fault-tolerance
Authors:
Milan Liepelt,
Tommaso Peduzzi,
James R. Wootton
Abstract:
Achieving fault-tolerance will require a strong relationship between the hardware and the protocols used. Different approaches will therefore naturally have tailored proof-of-principle experiments to benchmark progress. Nevertheless, repetition codes have become a commonly used basis of experiments that allow cross-platform comparisons. Here we propose methods by which repetition code experiments…
▽ More
Achieving fault-tolerance will require a strong relationship between the hardware and the protocols used. Different approaches will therefore naturally have tailored proof-of-principle experiments to benchmark progress. Nevertheless, repetition codes have become a commonly used basis of experiments that allow cross-platform comparisons. Here we propose methods by which repetition code experiments can be expanded and improved, while retaining cross-platform compatibility. We also consider novel methods of analyzing the results, which offer more detailed insights than simple calculation of the logical error rate.
△ Less
Submitted 27 May, 2024; v1 submitted 17 August, 2023;
originally announced August 2023.
-
Coupling liquid electrochemical TEM and mass-spectrometry to investigate electrochemical reactions occurring in a Na-ion battery anode
Authors:
Kevyn Gallegos Moncayo,
Nicolas Folastre,
Milan Toledo,
Hélène Tonnoir,
François Rabuel,
Grégory Gachot,
Da Huo,
Arnaud Demortière
Abstract:
In this study, we propose a novel approach for investigating the formation of solid electrolyte interphase (SEI) in Na-ion batteries (NIB) through the coupling of in situ liquid electrochemical transmission electron microscopy (ec-TEM) and gas-chromatography mass-spectrometry (GC/MS). To optimize this coupling, we conducted experiments on the sodiation of hard carbon materials (HC) using two diffe…
▽ More
In this study, we propose a novel approach for investigating the formation of solid electrolyte interphase (SEI) in Na-ion batteries (NIB) through the coupling of in situ liquid electrochemical transmission electron microscopy (ec-TEM) and gas-chromatography mass-spectrometry (GC/MS). To optimize this coupling, we conducted experiments on the sodiation of hard carbon materials (HC) using two different setups: in situ ec-TEM holder (operating in an "anode free" configuration, referred to as $μ$-battery) and ex-situ setup (Swagelok battery configuration). In the in situ TEM experiments, we intentionally degraded the electrolyte (NP30) using cyclic voltammetry (CV) and analyzed the recovered liquid product using GC/MS, while the solid product ($μ$-chip) was analyzed using TEM techniques in a post-mortem analysis. The ex-situ experiments served as a reference to observe and detect the insertion of Na+ ions in the HC, SEI size (389 nm), SEI composition (P, Na, F, and O), and Na plating. Furthermore, the TEM analysis revealed a cyclability limitation in our in situ TEM system. This issue appears to be caused by the deposition of Na in the form of a "foam" structure, resulting from the gas release during the reaction of Na with DMC/EC electrolyte. The foam structure, subsequently transforms into a second SEI, is electrochemically inactive and reduce the cyclability of the battery. Overall, our results demonstrate the powerful synergy achieved by coupling in situ ec-TEM and GC/MS techniques, which provides a deeper understanding of the dynamics and behavior of SEI. Consequently, this knowledge contributes to the advancement of the new generation of NIB.
△ Less
Submitted 9 August, 2023;
originally announced August 2023.
-
Multi3WOZ: A Multilingual, Multi-Domain, Multi-Parallel Dataset for Training and Evaluating Culturally Adapted Task-Oriented Dialog Systems
Authors:
Songbo Hu,
Han Zhou,
Mete Hergul,
Milan Gritta,
Guchun Zhang,
Ignacio Iacobacci,
Ivan Vulić,
Anna Korhonen
Abstract:
Creating high-quality annotated data for task-oriented dialog (ToD) is known to be notoriously difficult, and the challenges are amplified when the goal is to create equitable, culturally adapted, and large-scale ToD datasets for multiple languages. Therefore, the current datasets are still very scarce and suffer from limitations such as translation-based non-native dialogs with translation artefa…
▽ More
Creating high-quality annotated data for task-oriented dialog (ToD) is known to be notoriously difficult, and the challenges are amplified when the goal is to create equitable, culturally adapted, and large-scale ToD datasets for multiple languages. Therefore, the current datasets are still very scarce and suffer from limitations such as translation-based non-native dialogs with translation artefacts, small scale, or lack of cultural adaptation, among others. In this work, we first take stock of the current landscape of multilingual ToD datasets, offering a systematic overview of their properties and limitations. Aiming to reduce all the detected limitations, we then introduce Multi3WOZ, a novel multilingual, multi-domain, multi-parallel ToD dataset. It is large-scale and offers culturally adapted dialogs in 4 languages to enable training and evaluation of multilingual and cross-lingual ToD systems. We describe a complex bottom-up data collection process that yielded the final dataset, and offer the first sets of baseline scores across different ToD-related tasks for future reference, also highlighting its challenging nature.
△ Less
Submitted 26 July, 2023;
originally announced July 2023.
-
Closed Shell States in Periodic Compounds
Authors:
Milan Damnjanovic,
Ivanka Milosevic
Abstract:
Vanishing of the total angular momentum of the electrons occupying all orbitals of a closed shell in an atom is a textbook fact. Understanding the symmetry content of the atomic shell as irreducible representation of angular momentum, enables straightforward transfer of the notion to (translational or helically) periodic systems. More relevant generalizations naturally appear: stratum shell is int…
▽ More
Vanishing of the total angular momentum of the electrons occupying all orbitals of a closed shell in an atom is a textbook fact. Understanding the symmetry content of the atomic shell as irreducible representation of angular momentum, enables straightforward transfer of the notion to (translational or helically) periodic systems. More relevant generalizations naturally appear: stratum shell is intermediate step to physically sound band representations, including elementary and basic ones and connected components. We show that nontrivial determinant representation indicates stable topology of band in single colorless layer groups and obstructive limit in in single colorless line groups.
△ Less
Submitted 28 June, 2023;
originally announced July 2023.
-
Schema-Driven Actionable Insight Generation and Smart Recommendation
Authors:
Allmin Susaiyah,
Aki Härmä,
Milan Petković
Abstract:
In natural language generation (NLG), insight mining is seen as a data-to-text task, where data is mined for interesting patterns and verbalised into 'insight' statements. An 'over-generate and rank' paradigm is intuitively used to generate such insights. The multidimensionality and subjectivity of this process make it challenging. This paper introduces a schema-driven method to generate actionabl…
▽ More
In natural language generation (NLG), insight mining is seen as a data-to-text task, where data is mined for interesting patterns and verbalised into 'insight' statements. An 'over-generate and rank' paradigm is intuitively used to generate such insights. The multidimensionality and subjectivity of this process make it challenging. This paper introduces a schema-driven method to generate actionable insights from data to drive growth and change. It also introduces a technique to rank the insights to align with user interests based on their feedback. We show preliminary qualitative results of the insights generated using our technique and demonstrate its ability to adapt to feedback.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
In-plane magnetocrystalline anisotropy in the van der Waals antiferromagnet FePSe$_3$ probed by magneto-Raman scattering
Authors:
Dipankar Jana,
Piotr Kapuscinski,
Amit Pawbake,
Anastasios Papavasileiou,
Zdenek Sofer,
Ivan Breslavetz,
Milan Orlita,
Marek Potemski,
Clement Faugeras
Abstract:
Magnon gap excitations selectively coupled to phonon modes have been studied in FePSe$_3$ layered antiferromagnet with magneto-Raman scattering experiments performed at different temperatures. The bare magnon excitation in this material has been found to be split (by $\approx~1.2$ cm$^{-1}$) into two components each being selectively coupled to one of the two degenerated, nearby phonon modes. Lift…
▽ More
Magnon gap excitations selectively coupled to phonon modes have been studied in FePSe$_3$ layered antiferromagnet with magneto-Raman scattering experiments performed at different temperatures. The bare magnon excitation in this material has been found to be split (by $\approx~1.2$ cm$^{-1}$) into two components each being selectively coupled to one of the two degenerated, nearby phonon modes. Lifting the degeneracy of the fundamental magnon mode points out toward the biaxial character of the FePS$_3$ antiferromagnet, with an additional in-plane anisotropy complementing much stronger, out-of-plane anisotropy. Moreover, the tunability, with temperature, of the phonon- versus the magnon-like character of the observed coupled modes has been demonstrated.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
Embedded coherent structures from MHD to sub-ion scales in turbulent solar wind at 0.17 au
Authors:
Alexander Vinogradov,
Olga Alexandrova,
Pascal Démoulin,
Anton Artemyev,
Milan Maksimovic,
André Mangeney,
Alexei Vasiliev,
Anatoly Petrukovich,
Stuart Bale
Abstract:
We study intermittent coherent structures in solar wind magnetic turbulence from MHD to kinetic plasma scales using Parker Solar Probe data during its first perihelion (at 0.17 au), when the satellite was in the Alfvénic slow wind of 340 km/s. The coherent structures are energetic events localized in time and covering wide range of scales. We detect them using Morlet wavelets. For the first time,…
▽ More
We study intermittent coherent structures in solar wind magnetic turbulence from MHD to kinetic plasma scales using Parker Solar Probe data during its first perihelion (at 0.17 au), when the satellite was in the Alfvénic slow wind of 340 km/s. The coherent structures are energetic events localized in time and covering wide range of scales. We detect them using Morlet wavelets. For the first time, we apply a multi-scale analyses in physical space to study these structures. At MHD scales within the inertial range, times scales $τ\in (1, 10^{2} )$ s, we find (i) current sheets including switchback boundaries and (ii) Alfvén vortices. Within these events, there are embedded structures at smaller scales: typically Alfvén vortices at ion scales, $τ\in (0.08, 1)$ s, and a compressible vortices at sub-ion scales, $τ\in (8,80)$ ms. The number of coherent structures grows toward smaller scales: we observe about $\sim 200$ events during 5 h time interval at MHD scales, $\sim 10^{3}$ events ai ion scales and $\sim 10^{4}$ events at sub-ion scales. In general, there are multiple structures of ion and sub-ion scales embedded within one MHD structure. There are also examples of ion and sub-ion scales structures outside of MHD structures. To quantify the relative importance of different type of structures, we do a statistical comparison of the observed structures with the expectations of models of the current sheets and vortices. This comparison is based on amplitude anisotropy of magnetic fluctuations within the structures. The results show the dominance of Alfvén vortices at all scales in contrast to the widespread view of dominance of current sheets. This means that Alfvén vortices are important building blocs of solar wind turbulence.
△ Less
Submitted 30 May, 2024; v1 submitted 19 July, 2023;
originally announced July 2023.
-
The Spectrum and Energy Levels of the Low-lying Configurations of Nd III
Authors:
Milan Ding,
Juliet C. Pickering,
Alexander N. Ryabtsev,
Edward Y. Kononov,
Tatiana Ryabchikova
Abstract:
Emission spectra of neodymium (Nd, Z=60) were recorded using Penning and hollow cathode discharge lamps in the region 11500-54000 cm$^{-1}$ (8695-1852 Å) by Fourier transform spectroscopy at resolving powers up to 106. Wavenumber measurements were accurate to a few 10$^{-3}$ cm$^{-1}$. Grating spectroscopy of Nd vacuum sliding sparks and stellar spectra were used to aid line and energy level ident…
▽ More
Emission spectra of neodymium (Nd, Z=60) were recorded using Penning and hollow cathode discharge lamps in the region 11500-54000 cm$^{-1}$ (8695-1852 Å) by Fourier transform spectroscopy at resolving powers up to 106. Wavenumber measurements were accurate to a few 10$^{-3}$ cm$^{-1}$. Grating spectroscopy of Nd vacuum sliding sparks and stellar spectra were used to aid line and energy level identification. The classification of 433 transitions of doubly-ionised neodymium (Nd III) from the Penning lamp spectra resulted in the determination of 144 energy levels of the 4f$^4$, 4f$^3$5d, 4f$^3$6s, and 4f$^3$6p configurations of Nd III, 105 of which were experimentally established for the first time. Of the 40 previously published Nd III levels, 1 was revised and 39 were confirmed. New Nd III atomic structure calculations were made using the Cowan code parameterised by newly established levels. These results will not only benchmark and improve future semi-empirical atomic structure calculations of Nd III, but also enable more reliable astrophysical applications of Nd III, such as abundance analyses of kilonovae and chemically peculiar stars, and studies of pulsational wave propagation in these stars.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
Maximal diameter of integral circulant graphs
Authors:
Milan Bašić,
Aleksandar Ilić,
Aleksandar Stamenković
Abstract:
Integral circulant graphs are proposed as models for quantum spin networks that permit a quantum phenomenon called perfect state transfer. Specifically, it is important to know how far information can potentially be transferred between nodes of the quantum networks modelled by integral circulant graphs and this task is related to calculating the maximal diameter of a graph. The integral circulant…
▽ More
Integral circulant graphs are proposed as models for quantum spin networks that permit a quantum phenomenon called perfect state transfer. Specifically, it is important to know how far information can potentially be transferred between nodes of the quantum networks modelled by integral circulant graphs and this task is related to calculating the maximal diameter of a graph. The integral circulant graph $ICG_n (D)$ has the vertex set $Z_n = \{0, 1, 2, \ldots, n - 1\}$ and vertices $a$ and $b$ are adjacent if $\gcd(a-b,n)\in D$, where $D \subseteq \{d : d \mid n,\ 1\leq d<n\}$. Motivated by the result on the upper bound of the diameter of $ICG_n(D)$ given in [N. Saxena, S. Severini, I. Shparlinski, \textit{Parameters of integral circulant graphs and periodic quantum dynamics}, International Journal of Quantum Information 5 (2007), 417--430], according to which $2|D|+1$ represents one such bound, in this paper we prove that the maximal value of the diameter of the integral circulant graph $ICG_n(D)$ of a given order $n$ with its prime factorization $p_1^{α_1}\cdots p_k^{α_k}$, is equal to $r(n)$ or $r(n)+1$, where $r(n)=k + |\{ i \ | α_i> 1,\ 1\leq i\leq k \}|$, depending on whether $n\not\in 4N+2$ or not, respectively. Furthermore, we show that, for a given order $n$, a divisor set $D$ with $|D|\leq k$ can always be found such that this bound is attained. Finally, we calculate the maximal diameter in the class of integral circulant graphs of a given order $n$ and cardinality of the divisor set $t\leq k$ and characterize all extremal graphs. We actually show that the maximal diameter can have the values $2t$, $2t+1$, $r(n)$ and $r(n)+1$ depending on the values of $t$ and $n$. This way we further improve the upper bound of Saxena, Severini and Shparlinski and we also characterize all graphs whose diameters are equal to $2|D|+1$, thus generalizing a result in that paper.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
Dialogue Agents 101: A Beginner's Guide to Critical Ingredients for Designing Effective Conversational Systems
Authors:
Shivani Kumar,
Sumit Bhatia,
Milan Aggarwal,
Tanmoy Chakraborty
Abstract:
Sharing ideas through communication with peers is the primary mode of human interaction. Consequently, extensive research has been conducted in the area of conversational AI, leading to an increase in the availability and diversity of conversational tasks, datasets, and methods. However, with numerous tasks being explored simultaneously, the current landscape of conversational AI becomes fragmente…
▽ More
Sharing ideas through communication with peers is the primary mode of human interaction. Consequently, extensive research has been conducted in the area of conversational AI, leading to an increase in the availability and diversity of conversational tasks, datasets, and methods. However, with numerous tasks being explored simultaneously, the current landscape of conversational AI becomes fragmented. Therefore, initiating a well-thought-out model for a dialogue agent can pose significant challenges for a practitioner. Towards highlighting the critical ingredients needed for a practitioner to design a dialogue agent from scratch, the current study provides a comprehensive overview of the primary characteristics of a dialogue agent, the supporting tasks, their corresponding open-domain datasets, and the methods used to benchmark these datasets. We observe that different methods have been used to tackle distinct dialogue tasks. However, building separate models for each task is costly and does not leverage the correlation among the several tasks of a dialogue agent. As a result, recent trends suggest a shift towards building unified foundation models. To this end, we propose UNIT, a UNified dIalogue dataseT constructed from conversations of existing datasets for different dialogue tasks capturing the nuances for each of them. We also examine the evaluation strategies used to measure the performance of dialogue agents and highlight the scope for future research in the area of conversational AI.
△ Less
Submitted 23 May, 2024; v1 submitted 14 July, 2023;
originally announced July 2023.
-
Linear programming sensitivity measured by the optimal value worst-case analysis
Authors:
Milan Hladík
Abstract:
This paper introduces a concept of a derivative of the optimal value function in linear programming (LP). Basically, it is the the worst case optimal value of an interval LP problem when the nominal data the data are inflated to intervals according to given perturbation patterns. By definition, the derivative expresses how the optimal value can worsen when the data are subject to variation. In add…
▽ More
This paper introduces a concept of a derivative of the optimal value function in linear programming (LP). Basically, it is the the worst case optimal value of an interval LP problem when the nominal data the data are inflated to intervals according to given perturbation patterns. By definition, the derivative expresses how the optimal value can worsen when the data are subject to variation. In addition, it also gives a certain sensitivity measure or condition number of an LP problem.
If the LP problem is nondegenerate, the derivatives are easy to calculate from the computed primal and dual optimal solutions. For degenerate problems, the computation is more difficult. We propose an upper bound and some kind of characterization, but there are many open problems remaining.
We carried out numerical experiments with specific LP problems and with real LP data from Netlib repository. They show that the derivatives give a suitable sensitivity measure of LP problems. It remains an open problem how to efficiently and rigorously handle degenerate problems.
△ Less
Submitted 13 July, 2023;
originally announced July 2023.
-
Probing the Quantitative-Qualitative Divide in Probabilistic Reasoning
Authors:
Duligur Ibeling,
Thomas Icard,
Krzysztof Mierzewski,
Milan Mossé
Abstract:
This paper explores the space of (propositional) probabilistic logical languages, ranging from a purely `qualitative' comparative language to a highly `quantitative' language involving arbitrary polynomials over probability terms. While talk of qualitative vs. quantitative may be suggestive, we identify a robust and meaningful boundary in the space by distinguishing systems that encode (at most) a…
▽ More
This paper explores the space of (propositional) probabilistic logical languages, ranging from a purely `qualitative' comparative language to a highly `quantitative' language involving arbitrary polynomials over probability terms. While talk of qualitative vs. quantitative may be suggestive, we identify a robust and meaningful boundary in the space by distinguishing systems that encode (at most) additive reasoning from those that encode additive and multiplicative reasoning. The latter includes not only languages with explicit multiplication but also languages expressing notions of dependence and conditionality. We show that the distinction tracks a divide in computational complexity: additive systems remain complete for $\mathsf{NP}$, while multiplicative systems are robustly complete for $\exists\mathbb{R}$. We also address axiomatic questions, offering several new completeness results as well as a proof of non-finite-axiomatizability for comparative probability. Repercussions of our results for conceptual and empirical questions are addressed, and open problems are discussed.
△ Less
Submitted 11 July, 2023;
originally announced July 2023.
-
Deductive Controller Synthesis for Probabilistic Hyperproperties
Authors:
Roman Andriushchenko,
Ezio Bartocci,
Milan Ceska,
Francesco Pontiggia,
Sarah Sallinger
Abstract:
Probabilistic hyperproperties specify quantitative relations between the probabilities of reaching different target sets of states from different initial sets of states. This class of behavioral properties is suitable for capturing important security, privacy, and system-level requirements. We propose a new approach to solve the controller synthesis problem for Markov decision processes (MDPs) and…
▽ More
Probabilistic hyperproperties specify quantitative relations between the probabilities of reaching different target sets of states from different initial sets of states. This class of behavioral properties is suitable for capturing important security, privacy, and system-level requirements. We propose a new approach to solve the controller synthesis problem for Markov decision processes (MDPs) and probabilistic hyperproperties. Our specification language builds on top of the logic HyperPCTL and enhances it with structural constraints over the synthesized controllers. Our approach starts from a family of controllers represented symbolically and defined over the same copy of an MDP. We then introduce an abstraction refinement strategy that can relate multiple computation trees and that we employ to prune the search space deductively. The experimental evaluation demonstrates that the proposed approach considerably outperforms HyperProb, a state-of-the-art SMT-based model checking tool for HyperPCTL. Moreover, our approach is the first one that is able to effectively combine probabilistic hyperproperties with additional intra-controller constraints (e.g. partial observability) as well as inter-controller constraints (e.g. agreements on a common action).
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
-
The Electronic Structure of the Hydrogen Molecule: A Tutorial Exercise in Classical and Quantum Computation
Authors:
Vincent Graves,
Christoph Sünderhauf,
Nick S. Blunt,
Róbert Izsák,
Milán Szőri
Abstract:
In this educational paper, we will discuss calculations on the hydrogen molecule both on classical and quantum computers. In the former case, we will discuss the calculation of molecular integrals that can then be used to calculate potential energy curves at the Hartree--Fock level and to correct them by obtaining the exact results for all states in the minimal basis. Some aspects of spin-symmetry…
▽ More
In this educational paper, we will discuss calculations on the hydrogen molecule both on classical and quantum computers. In the former case, we will discuss the calculation of molecular integrals that can then be used to calculate potential energy curves at the Hartree--Fock level and to correct them by obtaining the exact results for all states in the minimal basis. Some aspects of spin-symmetry will also be discussed. In the case of quantum computing, we will start out from the second-quantized Hamiltonian and qubit map**s. Using quantum phase estimation, we then provide the circuits for two different algorithms: Trotteization and qubitization. Finally, the significance of quantum error correction will be briefly discussed.
△ Less
Submitted 9 July, 2023;
originally announced July 2023.
-
Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations
Authors:
Nicolas Augier,
Didier Henrion,
Milan Korda,
Victor Magron
Abstract:
We address the problem of symmetry reduction of optimal control problems under the action of a finite group from a measure relaxation viewpoint. We propose a method based on the moment-SOS aka Lasserre hierarchy which allows one to significantly reduce the computation time and memory requirements compared to the case without symmetry reduction. We show that the recovery of optimal trajectories boi…
▽ More
We address the problem of symmetry reduction of optimal control problems under the action of a finite group from a measure relaxation viewpoint. We propose a method based on the moment-SOS aka Lasserre hierarchy which allows one to significantly reduce the computation time and memory requirements compared to the case without symmetry reduction. We show that the recovery of optimal trajectories boils down to solving a symmetric parametric polynomial system. Then we illustrate our method on the symmetric integrator and the time-optimal inversion of qubits.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
Absolute value linear programming
Authors:
Milan Hladík,
David Hartman
Abstract:
We deal with linear programming problems involving absolute values in their formulations, so that they are no more expressible as standard linear programs. The presence of absolute values causes the problems to be nonconvex and nonsmooth, so hard to solve. In this paper, we study fundamental properties on the topology and the geometric shape of the solution set, and also conditions for convexity,…
▽ More
We deal with linear programming problems involving absolute values in their formulations, so that they are no more expressible as standard linear programs. The presence of absolute values causes the problems to be nonconvex and nonsmooth, so hard to solve. In this paper, we study fundamental properties on the topology and the geometric shape of the solution set, and also conditions for convexity, connectedness, boundedness and integrality of the vertices. Further, we address various complexity issues, showing that many basic questions are NP-hard to solve. We show that the feasible set is a (nonconvex) polyhedral set and, more importantly, every nonconvex polyhedral set can be described by means of absolute value constraints. We also provide a necessary and sufficient condition when a KKT point of a nonconvex quadratic programming reformulation solves the original problem.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
Characterisation of three-body loss in ${}^{166}$Er and optimised production of large Bose-Einstein condensates
Authors:
Milan Krstajić,
Péter Juhász,
Jiří Kučera,
Lucas R. Hofer,
Gavin Lamb,
Anna L. Marchant,
Robert P. Smith
Abstract:
Ultracold gases of highly magnetic lanthanide atoms have enabled the realisation of dipolar quantum droplets and supersolids. However, future studies could be limited by the achievable atom numbers and hindered by high three-body loss rates. Here we study density-dependent atom loss in an ultracold gas of ${}^{166}$Er for magnetic fields below $4\ \textrm{G}$, identifying six previously unknown fe…
▽ More
Ultracold gases of highly magnetic lanthanide atoms have enabled the realisation of dipolar quantum droplets and supersolids. However, future studies could be limited by the achievable atom numbers and hindered by high three-body loss rates. Here we study density-dependent atom loss in an ultracold gas of ${}^{166}$Er for magnetic fields below $4\ \textrm{G}$, identifying six previously unknown features which display both a strong temperature dependence and also sensitivity to the polarisation and intensity of the light used to optically trap the atoms. This detailed knowledge of the loss landscape allows us to optimise the production of dipolar BECs with more than $2 \times 10^5$ atoms and points towards optimal strategies for the study of large-atom-number dipolar gases in the droplet and supersolid regimes.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
Bayesian variable selection using an informed reversible jump in imaging genetics: an application to schizophrenia
Authors:
Djidenou Montcho,
Daiane Zuanetti,
Thierry Chekouo,
Luis Milan
Abstract:
Modern attempts in providing predictive risk for complex disorders, such as schizophrenia, integrate genetic and brain information in what is known as imaging genetics. In this work, we propose inferential and predictive methods to relate the presence of a complex disorder, schizophrenia, to genetic and imaging features and predict its risk for new individuals. Given functional Magnetic Resonance…
▽ More
Modern attempts in providing predictive risk for complex disorders, such as schizophrenia, integrate genetic and brain information in what is known as imaging genetics. In this work, we propose inferential and predictive methods to relate the presence of a complex disorder, schizophrenia, to genetic and imaging features and predict its risk for new individuals. Given functional Magnetic Resonance Image and Single Nucleotide Polymorphisms information of healthy and people diagnosed with schizophrenia, we use a Bayesian probit model to select discriminating variables, while to estimate the predictive risk, the most promising models are combined using a Bayesian model averaging scheme. For these purposes, we propose an informed reversible jump Markov chain Monte Carlo, named data driven or informed reversible jump, which is scalable to high-dimension data when the number of covariates is much larger than the sample size.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.