title: Power Consumption Analysis of Parallel Algorithms on GPUs

abstract: Due to their highly parallel multi-cores architecture, GPUs are being increasingly used in a wide range of computationally intensive applications. Compared to CPUs, GPUs can achieve higher performances at accelerating the programs' execution in an energy-efficient way. Therefore GPGPU computing is useful for high performance computing applications and in many scientific research fields. In order to bring further performance improvements, GPU clusters are increasingly adopted. The energy consumed by GPUs cannot be neglected. Therefore, an energy-efficient time scheduling of the programs that are going to be executed by the parallel GPUs based on their deadline as well as the assigned priorities could be deployed to face their energetic avidity. For this reason, we present in this paper a model enabling the measure of the power consumption and the time execution of some elementary operations running on a single GPU using a new developed energy measurement protocol. Consequently, using our methodology, energy needs of a program could be predicted, allowing a better task scheduling.


title: Compiling Turing Machines into Storage Modification Machines

abstract: It is well known that Sch\"onhage's Storage Modification Machines (SMM) can simulate Turing Machines (TM) since Sch\"onhage's original proof of the Turing completeness of the eponymous machines. We propose a simple transformation of TM into SMM, setting the base for a straightforward TM-to-SMM compiler.


title: Is it always worthwhile to resolve the governing equations of plate theories for graded porosity along the thickness?

abstract: Functionally graded porous (FGP) plates have been introduced as modern structural members which open a new window to optimal and functional designs. Despite the need to study the effect of graded porosity on the mechanical behavior of FGP plates, it is necessary to consider the very extensive and valuable literature in this field, presenting remarkable closed-form solutions. Hence, this paper aims to answer where is possible to implement the available exact solutions for the analysis of FGP plates. As the special distinction of FGP plates, graded porosity, is reflected in their stiffnesses and moments of inertia coefficients, 12 different functionality of porosity distribution along the thickness are considered and a set of explicit formulation for evaluating these coefficients are presented to be substituted in already provided analytical solutions. Many examples including bending and free vibration of thin and thick FGP plates are exhibited and the influence of the type of porosity distribution is discussed in details. This work can be considered as a guideline for designers to evaluate the effect of graded porosity based on the cornerstone of the huge number of solutions in the precious literature of plate theories.


title: Large magnetodielectric coupling in the vicinity of metamagnetic transition in $6H-$perovskite Ba$_3$GdRu$_2$O$_9$

abstract: The 6H-perovskites Ba$_3$RRu$_2$O$_9$ (R = rare earth element) demonstrate the magnetodielectric (MD) coupling as a manifestation of $4d - 4f$ magnetic interactions. Here, we have reported a detailed study of the structural, magnetic, heat capacity, and MD properties of the 6H-perovskite Ba$_3$GdRu$_2$O$_9$. The signature of long-range antiferromagnetic (AFM) ordering $\sim$ 14.8 K ($T_N$) is evident from the magnetization and heat capacity studies. The $T_N$ shifts towards the lower temperature side, apart from splitting in two with the application of the magnetic field. Field-dependent magnetization at 1.8 K shows three metamagnetic transitions with the opening of small hysteresis in different regions. A new transition at $T_1$ emerges after the onset of the first metamagnetic transition. Complex magnetic behavior is observed in different magnetic field regions whereas these field regions themselves vary with the temperature. Dielectric response recorded at zero and 80 kOe field exhibits the development of MD coupling well above $T_N$. The MD coupling ($\sim$ 4.5 \% at 10 K) is enhanced by 25 \% as compared to the Dy counterpart. Effect of complex magnetic behavior is also conveyed in the MD results where the maximum value of MD coupling is observed in the vicinity of 10 K (onset of $T_1$) and near the second metamagnetic transition. Our investigation suggests that both Gd and Ru moments align simultaneously at $T_N$. Short-range magnetic correlations are possibly responsible for MD coupling above $T_N$.


title: Singlet exciton dynamics of perylene diimide and tetracene based hetero/homogeneous substrates via an \textit{ab initio} kinetic Monte Carlo model

abstract: Luminescent solar concentrators (LSCs) are devices that trap a portion of the solar spectrum and funnel it towards photon harvesting devices. The modelling of LSCs at a quantum chemical level however, remains a challenge due to the complexity of exciton and photon dynamic modelling. This study examines singlet exciton dynamics occurring within a typical LSC device. To do this, we use a rejection-free kinetic Monte Carlo method to predict diffusion lengths, diffusion coefficients, substrate anisotropy, and average exciton lifetimes of perylene diimide (PDI) and tetracene based substrates in the low concentration scheme. \textit{Ab initio} rate constants are computed using time-dependant density functional theory based methods. PDI type substrates are observed to display enhanced singlet exciton transport properties when compared to tetracene. Simulations show that substrates with dipole-aligned chromophores are characterised by anisotropic exciton diffusion, with slightly improved transport properties. Finally, a PDI-tetracene substrate is simulated for both disordered and dipole-aligned chromophore configurations. In this multi-dopant substrate transport is predominantly mediated by PDI due to the asymmetry in the transport rates between the two dyes considered. We conclude discussing the properties of multi-dopant substrates and how they can impact the design of next generation LSCs.


title: Moduli spaces of residueless meromorphic differentials and the KP hierarchy

abstract: We prove that the cohomology classes of the moduli spaces of residueless meromorphic differentials, i.e., the closures, in the moduli space of stable curves, of the loci of smooth curves whose marked points are the zeros and poles of prescribed orders of a meromorphic differential with vanishing residues, form a partial cohomological field theory (CohFT) of infinite rank. To this partial CohFT we apply the double ramification hierarchy construction to produce a Hamiltonian system of evolutionary PDEs. We prove that its reduction to the case of differentials with exactly two zeros and any number of poles coincides with the KP hierarchy up to a change of variables.


title: Towards Adaptive Simulations of Dispersive Tsunami Propagation from an Asteroid Impact

abstract: The long-term goal of this work is the development of high-fidelity simulation tools for dispersive tsunami propagation. A dispersive model is especially important for short wavelength phenomena such as an asteroid impact into the ocean, and is also important in modeling other events where the simpler shallow water equations are insufficient. Adaptive simulations are crucial to bridge the scales from deep ocean to inundation, but have difficulties with the implicit system of equations that results from dispersive models. We propose a fractional step scheme that advances the solution on separate patches with different spatial resolutions and time steps. We show a simulation with 7 levels of adaptive meshes and onshore inundation resulting from a simulated asteroid impact off the coast of Washington. Finally, we discuss a number of open research questions that need to be resolved for high quality simulations.

categories: math.NA astro-ph.EP cs.NA physics.ao-ph physics.flu-dyn physics.geo-ph


title: Unraveling the graph structure of tabular data through Bayesian and spectral analysis

abstract: In the big-data age, tabular data are being generated and analyzed everywhere. As a consequence, finding and understanding the relationships between the features in these data are of great relevance. Here, to encompass these relationships, we propose a graph-based method that allows individual, group and multi-scale analyses. The method starts by mapping the tabular data into a weighted directed graph using the Shapley additive explanations technique. With this graph of relationships, we show that the inference of the hierarchical modular structure obtained by the Nested Stochastic Block Model (nSBM) as well as the study of the spectral space of the magnetic Laplacian can help us identify the classes of features and unravel non-trivial relationships. As a case study, we analyzed a socioeconomic survey conducted with students in Brazil: the PeNSE survey. The spectral embedding of the columns suggested that questions related to physical activities form a separate group. The application of the nSBM approach not only corroborated with that but allowed complementary findings about the modular structure: some groups of questions showed a high adherence with the divisions qualitatively defined by the designers of the survey. As opposed to the structure obtained by the spectrum, questions from the class Safety were partly grouped by our method in the class Drugs. Surprisingly, by inspecting these questions, we observed that they were related to both these topics, suggesting an alternative interpretation of these questions. These results show how our method can provide guidance for tabular data analysis as well as the design of future surveys.


title: Individualized sound pressure equalization in hearing devices exploiting an electro-acoustic model

abstract: To improve sound quality in hearing devices, the hearing device output should be appropriately equalized. To achieve optimal individualized equalization typically requires knowledge of all transfer functions between the source, the hearing device, and the individual eardrum. However, in practice the measurement of all of these transfer functions is not feasible. This study investigates sound pressure equalization using different transfer function estimates. Specifically, an electro-acoustic model is used to predict the sound pressure at the individual eardrum, and average estimates are used to predict the remaining transfer functions. Experimental results show that using these assumptions a practically feasible and close-to-optimal individualized sound pressure equalization can be achieved.


title: Economics of Semantic Communication System in Wireless Powered Internet of Things

abstract: The semantic communication system enables wireless devices to communicate effectively with the semantic meaning of the data. Wireless powered Internet of Things (IoT) that adopts the semantic communication system relies on harvested energy to transmit semantic information. However, the issue of energy constraint in the semantic communication system is not well studied. In this paper, we propose a semantic-based energy valuation and take an economic approach to solve the energy allocation problem as an incentive mechanism design. In our model, IoT devices (bidders) place their bids for the energy and power transmitter (auctioneer) decides the winner and payment by using deep learning based optimal auction. Results show that the revenue of wireless power transmitter is maximized while satisfying Individual Rationality (IR) and Incentive Compatibility (IC).


title: Local control of magnetic interface effects in chiral Ir$|$Co$|$Pt multilayers using Ga$^{+}$ ion irradiation

abstract: Skyrmions are topologically protected chiral spin textures that have shown promise as data carriers in future spintronic applications. They can be stabilized by the interfacial Dzyaloshinskii-Moriya interaction (iDMI) in material systems with inversion asymmetry and spin-orbit coupling, such as Ir$|$Co$|$Pt multilayers. The ability to locally tune such interface interactions, and hence the skyrmion energy, could greatly enhance the nucleation and control of skyrmions in racetrack type devices. In this work, we investigate local tuning of the iDMI and perpendicular magnetic anisotropy (PMA) using focussed Ga$^{+}$ ion beam irradiation, in an Ir$|$Co$|$Pt multilayer system. We show that the magnitude of the interface contribution to both effects can be significantly reduced by the irradiation with Ga$^{+}$ ions. This leads to a reduction by a factor two of the domain wall energy density, while still preserving the N\'{e}el character of the domain walls. Hence, we postulate that Ga$^{+}$ ion irradiation is an effective way to locally reduce the energy barrier for skyrmion nucleation, providing a novel pathway for targeted skyrmion nucleation in racetrack type devices.


title: Building a Noisy Audio Dataset to Evaluate Machine Learning Approaches for Automatic Speech Recognition Systems

abstract: Automatic speech recognition systems are part of people's daily lives, embedded in personal assistants and mobile phones, helping as a facilitator for human-machine interaction while allowing access to information in a practically intuitive way. Such systems are usually implemented using machine learning techniques, especially with deep neural networks. Even with its high performance in the task of transcribing text from speech, few works address the issue of its recognition in noisy environments and, usually, the datasets used do not contain noisy audio examples, while only mitigating this issue using data augmentation techniques. This work aims to present the process of building a dataset of noisy audios, in a specific case of degenerated audios due to interference, commonly present in radio transmissions. Additionally, we present initial results of a classifier that uses such data for evaluation, indicating the benefits of using this dataset in the recognizer's training process. Such recognizer achieves an average result of 0.4116 in terms of character error rate in the noisy set (SNR = 30).


title: Two-photon physics at future electron-positron colliders

abstract: Two photon collisions offer a variety of physics studies that can be performed at the future electron-positron colliders. Using the planned CEPC parameters as a benchmark we consider several topics to be studied in the two-photon collisions. With the full integrated luminosity the Higgs boson photoproduction can be reliably observed. A large statistics of various quarkonium states can be collected. The LEP results on the photon structure function and the tau lepton anomalous magnetic moment can be improved by 1-2 orders of magnitude.


title: Effect or Treatment Heterogeneity? Policy Evaluation with Aggregated and Disaggregated Treatments

abstract: Binary treatments are often ex-post aggregates of multiple treatments or can be disaggregated into multiple treatment versions. Thus, effects can be heterogeneous due to either effect or treatment heterogeneity. We propose a decomposition method that uncovers masked heterogeneity, avoids spurious discoveries, and evaluates treatment assignment quality. The estimation and inference procedure based on double/debiased machine learning allows for high-dimensional confounding, many treatments and extreme propensity scores. Our applications suggest that heterogeneous effects of smoking on birthweight are partially due to different smoking intensities and that gender gaps in Job Corps effectiveness are largely explained by differential selection into vocational training.


title: Seeking Similarities over Differences: Similarity-based Domain Alignment for Adaptive Object Detection

abstract: In order to robustly deploy object detectors across a wide range of scenarios, they should be adaptable to shifts in the input distribution without the need to constantly annotate new data. This has motivated research in Unsupervised Domain Adaptation (UDA) algorithms for detection. UDA methods learn to adapt from labeled source domains to unlabeled target domains, by inducing alignment between detector features from source and target domains. Yet, there is no consensus on what features to align and how to do the alignment. In our work, we propose a framework that generalizes the different components commonly used by UDA methods laying the ground for an in-depth analysis of the UDA design space. Specifically, we propose a novel UDA algorithm, ViSGA, a direct implementation of our framework, that leverages the best design choices and introduces a simple but effective method to aggregate features at instance-level based on visual similarity before inducing group alignment via adversarial training. We show that both similarity-based grouping and adversarial training allows our model to focus on coarsely aligning feature groups, without being forced to match all instances across loosely aligned domains. Finally, we examine the applicability of ViSGA to the setting where labeled data are gathered from different sources. Experiments show that not only our method outperforms previous single-source approaches on Sim2Real and Adverse Weather, but also generalizes well to the multi-source setting.


title: Thru-Hole Epitaxy: Is Remote Epitaxy Really Remote?

abstract: The remote epitaxy was originally proposed to grow a film, which is not in contact but crystallographically aligned with a substrate and easily detachable due to a van der Waals material as a space layer. Here we show that the claimed remote epitaxy is more likely to be nonremote `thru-hole' epitaxy. On a substrate with thick and symmetrically incompatible van der Waals space layer or even with a three-dimensional amorphous oxide film in-between, we demonstratively grew GaN domains through thru-holes via connectedness-initiated epitaxial lateral overgrowth, not only readily detachable but also crystallographically aligned with a substrate. Our proposed nonremote thru-hole epitaxy, which is embarrassingly straightforward and undemanding, can provide wider applicability of the benefits known to be only available by the claimed remote epitaxy.


title: Causality and Generalizability: Identifiability and Learning Methods

abstract: This PhD thesis contains several contributions to the field of statistical causal modeling. Statistical causal models are statistical models embedded with causal assumptions that allow for the inference and reasoning about the behavior of stochastic systems affected by external manipulation (interventions). This thesis contributes to the research areas concerning the estimation of causal effects, causal structure learning, and distributionally robust (out-of-distribution generalizing) prediction methods. We present novel and consistent linear and non-linear causal effects estimators in instrumental variable settings that employ data-dependent mean squared prediction error regularization. Our proposed estimators show, in certain settings, mean squared error improvements compared to both canonical and state-of-the-art estimators. We show that recent research on distributionally robust prediction methods has connections to well-studied estimators from econometrics. This connection leads us to prove that general K-class estimators possess distributional robustness properties. We, furthermore, propose a general framework for distributional robustness with respect to intervention-induced distributions. In this framework, we derive sufficient conditions for the identifiability of distributionally robust prediction methods and present impossibility results that show the necessity of several of these conditions. We present a new structure learning method applicable in additive noise models with directed trees as causal graphs. We prove consistency in a vanishing identifiability setup and provide a method for testing substructure hypotheses with asymptotic family-wise error control that remains valid post-selection. Finally, we present heuristic ideas for learning summary graphs of nonlinear time-series models.


title: Jet substructure and correlations in hadronic final states from ALICE

abstract: Jets of high energy collimated particles provide a rich phenomenology to study quantum chromodynamics, from first-principles tests of perturbative calculations to investigations of the emergent properties of the strongly-coupled quark-gluon plasma. In these proceedings, we highlight several recent jet measurements by the ALICE Collaboration, with a focus on jet substructure observables.


title: When do soft spheres become hard spheres?

abstract: The conventional (Zwanzig-Mountain) expressions for instantaneous elastic moduli of simple fluids predict their divergence as the limit of hard sphere (HS) interaction is approached. However, elastic moduli of a true HS fluid are finite. Here we demonstrate that this paradox reveals the soft- to hard-sphere crossover in fluid excitations and thermodynamics. With extensive \emph{in-silico} study of fluids with repulsive power-law interactions ($\propto r^{-n}$), we locate the crossover at $n\simeq 10-20$ and develop a simple and accurate model for the HS regime. The results open novel prospects to deal with the elasticity and related phenomena in various systems, from simple fluids to melts and glasses.


title: Pattern formation in Vlasov-Poisson plasmas beyond Landau caused by the continuous spectra of electron and ion hole equilibria

abstract: This review presents an upgraded wave theory adapted to the high fluctuation level of driven realistic i.e. non-idealized plasmas. Above all, this means giving up the well-known concept of a linear wave theory in favor of a thoroughly nonlinear theory. Based on the author's early publication (H. Schamel, Plasma Phys. 14 (1972) 905) and supported by recent Vlasov-Poisson simulations of realistic noisy plasmas, an extended framework is presented which not only covers the essential features of coherent hole structures, but which also enables to make the necessary corrections to the current wave theory. These corrections are long overdue and can be briefly summarized under the heading: loss of linear Vlasov dynamics when adequately addressing equilibrium states (i.e. failure of linear Landau theory and of continuous van Kampen spectra, respectively). A linear stability analysis for single harmonic waves that successfully incorporates trapped particle effects (in contrast to previous analyses) shows an unconditional marginal stability independent of the drift between electrons and ions, which irrevocably contradicts Landau's theory. Moreover, holes of negative energy are of particular interest because they act as attractors in the dynamical system. They are the source for the release of further modes and thus increase the level of intermittent turbulence. In summary, pattern formation in collisionless plasmas is inherently nonlinear and kinetic. However, to have a satisfactory, if not yet complete, understanding of its processes a twofold paradigm shift is imperative: one from the conventional linear, discrete wave models to the nonlinear wave models dealing with continuous spectra due to trapping and a second from the BGK to the present method for the correct handling of equilibria.


title: A curated, ontology-based, large-scale knowledge graph of artificial intelligence tasks and benchmarks

abstract: Research in artificial intelligence (AI) is addressing a growing number of tasks through a rapidly growing number of models and methodologies. This makes it difficult to keep track of where novel AI methods are successfully -- or still unsuccessfully -- applied, how progress is measured, how different advances might synergize with each other, and how future research should be prioritized. To help address these issues, we created the Intelligence Task Ontology and Knowledge Graph (ITO), a comprehensive, richly structured and manually curated resource on artificial intelligence tasks, benchmark results and performance metrics. The current version of ITO contain 685,560 edges, 1,100 classes representing AI processes and 1,995 properties representing performance metrics. The goal of ITO is to enable precise and network-based analyses of the global landscape of AI tasks and capabilities. ITO is based on technologies that allow for easy integration and enrichment with external data, automated inference and continuous, collaborative expert curation of underlying ontological models. We make the ITO dataset and a collection of Jupyter notebooks utilising ITO openly available.


title: Utilization of Event Shape in Search of the Chiral Magnetic Effect in Heavy-ion Collisions

abstract: The search for the chiral magnetic effect (CME) has been a subject of great interest in the field of high-energy heavy-ion collision physics, and various observables have been proposed to probe the CME. Experimental observables are often contaminated with background contributions arising from collective motions (specifically elliptic flow) of the collision system. We present a method study of event-shape engineering (ESE) that projects the CME-sensitive $\gamma_{112}$ correlator and its variations ($\gamma_{132}$ and $\gamma_{123}$) to a class of events with minimal flow. We discuss the realization of the zero-flow mode, the sensitivity on the CME signal, and the corresponding statistical significance for Au+Au, Ru+Ru, and Zr+Zr collisions at $\sqrt{s_{\rm NN}} = 200$ GeV with a multiphase transport (AMPT) model, as well as a new event generator, Event-By-Event Anomalous-Viscous Fluid Dynamics (EBE-AVFD).


title: WaveBeat: End-to-end beat and downbeat tracking in the time domain

abstract: Deep learning approaches for beat and downbeat tracking have brought advancements. However, these approaches continue to rely on hand-crafted, subsampled spectral features as input, restricting the information available to the model. In this work, we propose WaveBeat, an end-to-end approach for joint beat and downbeat tracking operating directly on waveforms. This method forgoes engineered spectral features, and instead, produces beat and downbeat predictions directly from the waveform, the first of its kind for this task. Our model utilizes temporal convolutional networks (TCNs) operating on waveforms that achieve a very large receptive field ($\geq$ 30 s) at audio sample rates in a memory efficient manner by employing rapidly growing dilation factors with fewer layers. With a straightforward data augmentation strategy, our method outperforms previous state-of-the-art methods on some datasets, while producing comparable results on others, demonstrating the potential for time domain approaches.


title: Integrating Quantum Simulation for Quantum-Enhanced Classical Network Emulation

abstract: We describe a method of investigating the near-term potential of quantum communication technology for communication networks from the perspective of current networks. For this, we integrate an instance of the quantum network simulator QuNetSim at the link layer into the communication network emulator ComNetsEmu. This novel augmented version of ComNetsEmu is thereby enabled to run arbitrary quantum protocols between any directly connected pair of network hosts. To give an example of the proposed method, we implement the link layer method of generating and storing entanglement while idle, to accelerate data transmission at later times using superdense coding.


title: Instrumental Variable-Driven Domain Generalization with Unobserved Confounders

abstract: Domain generalization (DG) aims to learn from multiple source domains a model that can generalize well on unseen target domains. Existing DG methods mainly learn the representations with invariant marginal distribution of the input features, however, the invariance of the conditional distribution of the labels given the input features is more essential for unknown domain prediction. Meanwhile, the existing of unobserved confounders which affect the input features and labels simultaneously cause spurious correlation and hinder the learning of the invariant relationship contained in the conditional distribution. Interestingly, with a causal view on the data generating process, we find that the input features of one domain are valid instrumental variables for other domains. Inspired by this finding, we propose an instrumental variable-driven DG method (IV-DG) by removing the bias of the unobserved confounders with two-stage learning. In the first stage, it learns the conditional distribution of the input features of one domain given input features of another domain. In the second stage, it estimates the relationship by predicting labels with the learned conditional distribution. Theoretical analyses and simulation experiments show that it accurately captures the invariant relationship. Extensive experiments on real-world datasets demonstrate that IV-DG method yields state-of-the-art results.


title: SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation

abstract: Proving secure compilation of partial programs typically requires back-translating an attack against the compiled program to an attack against the source program. To prove back-translation, one can syntactically translate the target attacker to a source one -- i.e., syntax-directed back-translation -- or show that the interaction traces of the target attacker can also be emitted by source attackers -- i.e., trace-directed back-translation. Syntax-directed back-translation is not suitable when the target attacker may use unstructured control flow that the source language cannot directly represent. Trace-directed back-translation works with such syntactic dissimilarity because only the external interactions of the target attacker have to be mimicked in the source, not its internal control flow. Revealing only external interactions is, however, inconvenient when sharing memory via unforgeable pointers, since information about shared pointers stashed in private memory is not present on the trace. This made prior proofs unnecessarily complex, since the generated attacker had to instead stash all reachable pointers. In this work, we introduce more informative *data-flow traces*, combining the best of syntax- and trace-directed back-translation in a simpler technique that handles both syntactic dissimilarity and memory sharing well, and that is proved correct in Coq. Additionally, we develop a novel *turn-taking simulation* relation and use it to prove a recomposition lemma, which is key to reusing compiler correctness in such secure compilation proofs. We are the first to mechanize such a recomposition lemma in the presence of memory sharing. We use these two innovations in a secure compilation proof for a code generation compiler pass between a source language with structured control flow and a target language with unstructured control flow, both with safe pointers and components.


title: Arithmetic Average Density Fusion -- Part I: Some Statistic and Information-theoretic Results

abstract: Finite mixture such as the Gaussian mixture is a flexible and powerful probabilistic modeling tool for representing the multimodal distribution widely involved in many estimation and learning problems. The core of it is representing the target distribution by the arithmetic average (AA) of a finite number of sub-distributions which constitute a mixture. While the mixture has been widely used for single sensor filter design, it is only recent that the AA fusion demonstrates compelling performance for multi-sensor filter design. In this paper, some statistic and information-theoretic results are given on the covariance consistency, mean square error, mode-preservation capacity, and the information divergence of the AA fusion approach. In particular, based on the concept of conservative fusion, the relationship of the AA fusion with the existing conservative fusion approaches such as covariance union and covariance intersection is exposed. A suboptimal weighting approach has been proposed, which jointly with the best mixture-fit property of the AA fusion leads to a max-min optimization problem. Linear Gaussian models are considered for algorithm illustration and simulation comparison, resulting in the first-ever AA fusion-based multi-sensor Kalman filter.


title: Sample distribution theory using Coarea Formula

abstract: Let $\left(\Omega,\Sigma,p\right)$ be a probability measure space and let $X:\Omega\to{\mathbb{R}}^k$ be a (vector valued) random variable. We suppose that the probability $p_X$ induced by $X$ is absolutely continuous with respect to the Lebesgue measure on ${\mathbb{R}}^k$ and set $f_X$ as its density function. Let $\phi:{\mathbb{R}}^k\to {\mathbb{R}}^n$ be a $C^1$-map and let us consider the new random variable $Y=\phi(X):\Omega\to{\mathbb{R}}^n$. Setting $m:=\max\{\mbox{rank }(J\phi(x)):x\in{\mathbb{R}}^k\}$, we prove that the probability $p_Y$ induced by $Y$ has a density function $f_Y$ with respect to the Hausdorff measure ${\mathcal{H}}^m$ on $\phi({\mathbb{R}}^k)$ which satisfies \begin{align*} f_Y(y)= \int_{\phi^{-1}(y)}f_X(x)\frac{1}{J_m\phi(x)}\,d{\mathcal{H}}^{k-m}(x), &\quad \text{for ${\mathcal{H}}^m$-a.e.}\quad y\in\phi({\mathbb{R}}^k). \end{align*} Here $J_m\phi$ is the $m$-dimensional Jacobian of $\phi$. When $J\phi$ has maximum rank we allow the map $\phi$ to be only locally Lipschitz. We also consider the case of $X$ having probability concentrated on some $m$-dimensional sub-manifold $E\subseteq{\mathbb{R}}^k$ and provide, besides, several examples including algebra of random variables, order statistics, degenerate normal distributions, Chi-squared and "Student's t" distributions.


title: A review of Generative Adversarial Networks (GANs) and its applications in a wide variety of disciplines -- From Medical to Remote Sensing

abstract: We look into Generative Adversarial Network (GAN), its prevalent variants and applications in a number of sectors. GANs combine two neural networks that compete against one another using zero-sum game theory, allowing them to create much crisper and discrete outputs. GANs can be used to perform image processing, video generation and prediction, among other computer vision applications. GANs can also be utilised for a variety of science-related activities, including protein engineering, astronomical data processing, remote sensing image dehazing, and crystal structure synthesis. Other notable fields where GANs have made gains include finance, marketing, fashion design, sports, and music. Therefore in this article we provide a comprehensive overview of the applications of GANs in a wide variety of disciplines. We first cover the theory supporting GAN, GAN variants, and the metrics to evaluate GANs. Then we present how GAN and its variants can be applied in twelve domains, ranging from STEM fields, such as astronomy and biology, to business fields, such as marketing and finance, and to arts, such as music. As a result, researchers from other fields may grasp how GANs work and apply them to their own study. To the best of our knowledge, this article provides the most comprehensive survey of GAN's applications in different fields.


title: Development and Training of Quantum Neural Networks, Based on the Principles of Grover's Algorithm

abstract: This paper highlights the possibility of creating quantum neural networks that are trained by Grover's Search Algorithm. The purpose of this work is to propose the concept of combining the training process of a neural network, which is performed on the principles of Grover's algorithm, with the functional structure of that neural network, interpreted as a quantum circuit. As a simple example of a neural network, to showcase the concept, a perceptron with one trainable parameter - the weight of a synapse connected to a hidden neuron.


title: Crashworthiness design of 3D lattice-structure filled thin-walled tubes based on data mining

abstract: Lattice structures and thin-walled tubes are two types of energy-absorbers widely studied and applied in engineering practice. In this study, a new type of lattice-structure filled thin-walled tube (LFT) was proposed. In this new type of LFT, a BCC-Z lattice structure was filled into a square thin-walled tube. Then using data mining, a 3-D geometric design with five design variables was conducted on this new LFT. Using Latin Hypercubic sampling algorithm, 150 design cases were generated. Numerical models were then developed to simulate their crush behavior, and the simulation dataset was used for data mining. The results showed that (1) Filling the BBC-Z lattice structure into a thin-walled tube can significantly improve the energy absorption (EA) capacity of the structure. (2) The decision trees generated in the data mining process indicated that the rod diameter d of lattice structure is the key design variable that has most significant impact on EA, followed by m and n. (3) The design rules to build LFTs with high EA efficiency (SEA>=16 kJ/kg and CFE>=45%), high total EA (SEA>=16 kJ/kg and EA>=6 kJ), and lightweight (SEA>=16 kJ/kg and Mass<=0.45 kg) were obtained from decision trees. The ideal configurations of LFT corresponding to these three objectives are: d>2 mm, n>2 and m>3 for high EA efficiency; d>2 mm, n>2 and m>3 for high total EA; and d>2 mm, n>2, m<=4 and t<=1.7 mm for lightweight.


title: Robust and Decomposable Average Precision for Image Retrieval

abstract: In image retrieval, standard evaluation metrics rely on score ranking, e.g. average precision (AP). In this paper, we introduce a method for robust and decomposable average precision (ROADMAP) addressing two major challenges for end-to-end training of deep neural networks with AP: non-differentiability and non-decomposability. Firstly, we propose a new differentiable approximation of the rank function, which provides an upper bound of the AP loss and ensures robust training. Secondly, we design a simple yet effective loss function to reduce the decomposability gap between the AP in the whole training set and its averaged batch approximation, for which we provide theoretical guarantees. Extensive experiments conducted on three image retrieval datasets show that ROADMAP outperforms several recent AP approximation methods and highlight the importance of our two contributions. Finally, using ROADMAP for training deep models yields very good performances, outperforming state-of-the-art results on the three datasets.


title: Label Propagation Through Optimal Transport

abstract: In this paper, we tackle the transductive semi-supervised learning problem that aims to obtain label predictions for the given unlabeled data points according to Vapnik's principle. Our proposed approach is based on optimal transport, a mathematical theory that has been successfully used to address various machine learning problems, and is starting to attract renewed interest in semi-supervised learning community. The proposed approach, Optimal Transport Propagation (OTP), performs in an incremental process, label propagation through the edges of a complete bipartite edge-weighted graph, whose affinity matrix is constructed from the optimal transport plan between empirical measures defined on labeled and unlabeled data. OTP ensures a high degree of predictions certitude by controlling the propagation process using a certainty score based on Shannon's entropy. We also provide a convergence analysis of our algorithm. Experiments task show the superiority of the proposed approach over the state-of-the-art. We make our code publicly available.


title: Real-Time Predictive Maintenance using Autoencoder Reconstruction and Anomaly Detection

abstract: Rotary machine breakdown detection systems are outdated and dependent upon routine testing to discover faults. This is costly and often reactive in nature. Real-time monitoring offers a solution for detecting faults without the need for manual observation. However, manual interpretation for threshold anomaly detection is often subjective and varies between industrial experts. This approach is ridged and prone to a large number of false positives. To address this issue, we propose a Machine Learning (ML) approach to model normal working operation and detect anomalies. The approach extracts key features from signals representing known normal operation to model machine behaviour and automatically identify anomalies. The ML learns generalisations and generates thresholds based on fault severity. This provides engineers with a traffic light system were green is normal behaviour, amber is worrying and red signifies a machine fault. This scale allows engineers to undertake early intervention measures at the appropriate time. The approach is evaluated on windowed real machine sensor data to observe normal and abnormal behaviour. The results demonstrate that it is possible to detect anomalies within the amber range and raise alarms before machine failure.


title: Experimental quasi-1D capillary-wave turbulence

abstract: Wave turbulence in quasi-1D geometry is usually not investigated experimentally since low-order resonant wave interactions are theoretically prohibited. Here, we report on the first observation of unidirectional capillary-wave turbulence on the surface of a fluid in a canal. We also show that five-wave interactions are the lowest-order resonant process subsisting at small scales, and are thus probably the one generating such quasi-1D capillary wave turbulence. We show that the wave spectrum is compatible with the corresponding dimensional analysis prediction. The main assumptions of weak turbulence theory are also verified experimentally. Quasi-1D wave turbulence could be thus highlighted in other fields of wave turbulence.


title: Artificial Neural Network and its Application Research Progress in Distillation

abstract: Artificial neural networks learn various rules and algorithms to form different ways of processing information, and have been widely used in various chemical processes. Among them, with the development of rectification technology, its production scale continues to expand, and its calculation requirements are also more stringent, because the artificial neural network has the advantages of self-learning, associative storage and high-speed search for optimized solutions, it can make high-precision simulation predictions for rectification operations, so it is widely used in the chemical field of rectification. This article gives a basic overview of artificial neural networks, and introduces the application research of artificial neural networks in distillation at home and abroad.


title: Extended dynamic mode decomposition with dictionary learning using neural ordinary differential equations

abstract: Nonlinear phenomena can be analyzed via linear techniques using operator-theoretic approaches. Data-driven method called the extended dynamic mode decomposition (EDMD) and its variants, which approximate the Koopman operator associated with the nonlinear phenomena, have been rapidly developing by incorporating machine learning methods. Neural ordinary differential equations (NODEs), which are a neural network equipped with a continuum of layers, and have high parameter and memory efficiencies, have been proposed. In this paper, we propose an algorithm to perform EDMD using NODEs. NODEs are used to find a parameter-efficient dictionary which provides a good finite-dimensional approximation of the Koopman operator. We show the superiority of the parameter efficiency of the proposed method through numerical experiments.

categories: cs.LG cs.NA eess.SP math.DS math.NA nlin.CD physics.data-an


title: Effective Field Theory analysis of ${}^3$He-$\alpha$ scattering data

abstract: We treat low-energy $^3$He-$\alpha$ elastic scattering in an Effective Field Theory (EFT) that exploits the separation of scales in this reaction. We compute the amplitude up to Next-to-Next-to-Leading Order (NNLO), developing a hierarchy of the effective-range parameters that contribute at various orders. We use the resulting formalism to analyze data for recent measurements at center-of-mass energies of 0.38-3.12 MeV using the SONIK gas target at TRIUMF as well as older data in this energy regime. We employ a likelihood function that incorporates the theoretical uncertainty due to truncation of the EFT and use Markov Chain Monte Carlo sampling to obtain the resulting posterior probability distribution. We find that the inclusion of a small amount of data on the analysing power $A_y$ is crucial to determine the sign of the p-wave splitting in such an analysis. The combination of $A_y$ and SONIK data constrains all effective-range parameters up to $O(p^4)$ in both s- and p-waves quite well. The ANCs and s-wave scattering length are consistent with a recent EFT analysis of the capture reaction ${}^3$He($\alpha$,$\gamma$)${}^7$Be.


title: Multiple MgII Absorption Systems in the Lines of Sight to Quadruply Lensed Quasar H1413+1143

abstract: We find multiple Mg II absorption systems at redshift z=1.66, 2.069, and 2.097 in the spatially resolved spectra of the quadruply gravitationally lensed quasar H1413+1143 utilizing the Kyoto tridimensional spectrograph II (Kyoto 3DII) spectrograph on board the Subaru telescope. Here we present the first measurement of differences in Mg II absorption strength of the multiple intervening absorbers, which include ones identified as damped Lyman alpha (DLA) absorption systems. Our detection of the significant Mg II absorptions in the spatially resolved spectra reveals the inhomogeneous chemical enrichment on scales of about 12 kpc within the separation of the four sightlines. For the DLA system at z=1.66, the rest equivalent widths of the Mg II absorption lines between the four spatially resolved lines of sight change by factors of up to about 6, which trace the variations in the H I absorption strength. This suggests that inhomogeneous cold absorbers that give rise to the strong H I/Mg II absorptions dwell on a scale of about 6-12 kpc between the four lines of sight. We also investigate the degree of variation in the equivalent width of the absorption lines between the lines of sight. We find that the systems giving rise to strong absorptions in the spectra of the quadruply lensed quasars tend to have a high degree of variation in absorption strength between the lines of sight toward the lensed quasars.


title: Optimal Resource Allocation and Beamforming for Two-User MISO WPCNs for a Non-linear Circuit-Based EH Model

abstract: We study two-user multiple-input single-output (MISO) wireless powered communication networks (WPCNs), where the user devices are equipped with non-linear energy harvesting (EH) circuits. We consider time-division duplex (TDD) transmission, where the users harvest power from the signal received in the downlink phase, and then, utilize this harvested power for information transmission in the uplink phase. In contrast to existing works, we adopt a non-linear model of the harvested power based on a precise analysis of the employed EH circuit. We jointly optimize the beamforming vectors in the downlink and the time allocated for downlink and uplink transmission to minimize the average transmit power in the downlink under per-user data rate constraints in the uplink. We provide conditions for the feasibility of the resource allocation problem and the existence of a trivial solution, respectively. For the case where the resource allocation has a non-trivial solution, we show that it is optimal to employ no more than three beamforming vectors for power transfer in the downlink. To determine these beamforming vectors, we develop an iterative algorithm based on semi-definite relaxation (SDR) and successive convex approximation (SCA). Our simulation results reveal that the proposed resource allocation scheme outperforms two baseline schemes based on linear and sigmoidal EH models, respectively.


title: Accelerated forward-backward method with fast convergence rate for nonsmooth convex optimization beyond differentiability

abstract: We propose an accelerated forward-backward method with fast convergence rate for finding a minimizer of a decomposable nonsmooth convex function over a closed convex set, and name it smoothing accelerated proximal gradient (SAPG) algorithm. The proposed algorithm combines the smoothing method with the proximal gradient algorithm with extrapolation $\frac{k-1}{k+\alpha-1}$ and $\alpha>3$. The updating rule of smoothing parameter $\mu_k$ is a smart scheme and guarantees the global convergence rate of $o(\ln^{\sigma}k/k)$ with $\sigma\in(\frac{1}{2},1]$ on the objective function values. Moreover, we prove that the sequence is convergent to an optimal solution of the problem. Furthermore, we introduce an error term in the SAPG algorithm to get the inexact smoothing accelerated proximal gradient algorithm. And we obtain the same convergence results as the SAPG algorithm under the summability condition on the errors. Finally, numerical experiments show the effectiveness and efficiency of the proposed algorithm.


title: Symmetries and conformal bridge in Schwarzschild-(A)dS black hole mechanics

abstract: We show that the Schwarzschild-(A)dS black hole mechanics possesses a hidden symmetry under the three-dimensional Poincar\'e group. This symmetry shows up after having gauge-fixed the diffeomorphism invariance in the symmetry-reduced homogeneous Einstein-$\Lambda$ model and stands as a physical symmetry of the system. It dictates the geometry both in the black hole interior and exterior regions, as well as beyond the cosmological horizon in the Schwarzschild-dS case. It follows that one can associate a set of non-trivial conserved charges to the Schwarzschild-(A)dS black hole which act in each causally disconnected regions. In T-regions, they act on fields living on spacelike hypersurface of constant time, while in the R-region, they act on time-like hypersurface of constant radius. We find that while the expression of the charges depend explicitly on the location of the hypersurface, the charge algebra remains the same at any radius in R-regions (or time in T-regions). Finally, the analysis of the Casimirs of the charge algebra reveals a new solution-generating map. The sl$(2,\mathbb{R})$ Casimir is shown to generate a one-parameter family of deformation of the black hole geometry labelled by the cosmological constant. This gives rise to a new conformal bridge allowing one to continuously deform the Schwarzschild-AdS geometry to the Schwarzschild and the Schwarzschild-dS solutions.


title: Planning 5G Networks for Rural Fixed Wireless Access

abstract: We study the planning of a rural 5G multi-user massive MIMO fixed wireless access system to offer fixed broadband service to homes. Specifically, we aim to determine the user limit, i.e., the maximum number of homes that can simultaneously receive target minimum bit rates (MBRs) on the downlink (DL) and on the uplink (UL) given a set of network resources and a cell radius. To compute that limit, we must understand how resources should be shared between the DL and UL and how user and stream selection, precoding and combining, and power distribution should be performed. We use block diagonalization and propose a static grouping strategy that organizes homes into fixed groups (of possibly different sizes) in the DL and UL; then we develop a simple approach to compute the user limit that we validate numerically. We study the impact of group size and show that smaller groups yield larger user limits in a 3.5 GHz band. We show how the user limit at different cell radii is impacted by the system bandwidth, the number of antennas at the base station and homes, the transmit power, and the DL and UL MBRs. Lastly, we offer insights into how the network could be operated.


title: General Relativistic Non-Neutral White Dwarf Stars

abstract: We generalize the recent Newtonian two-component charged fluid models for white dwarf stars of Krivoruchenko, Nadyozhin and Yudin and of Hund and Kiessling to the context of general relativity. We compare the equations and numerical solutions of these models. We extend to the general relativistic setting the non-neutrality results and bounds on the stellar charge obtained by Hund and Kiessling.


title: Designing Complex Experiments by Applying Unsupervised Machine Learning

abstract: Design of experiments (DOE) is playing an essential role in learning and improving a variety of objects and processes. The article discusses the application of unsupervised machine learning to support the pragmatic designs of complex experiments. Complex experiments are characterized by having a large number of factors, mixed-level designs, and may be subject to constraints that eliminate some unfeasible trials for various reasons. Having such attributes, it is very challenging to design pragmatic experiments that are economically, operationally, and timely sound. It means a significant decrease in the number of required trials from a full factorial design, while still attempting to achieve the defined objectives. A beta variational autoencoder (beta-VAE) has been applied to represent trials of the initial full factorial design after filtering out unfeasible trials on the low dimensional latent space. Regarding visualization and interpretability, the paper is limited to 2D representations. Beta-VAE supports (1) orthogonality of the latent space dimensions, (2) isotropic multivariate standard normal distribution of the representation on the latent space, (3) disentanglement of the latent space representation by levels of factors, (4) propagation of the applied constraints of the initial design into the latent space, and (5) generation of trials by decoding latent space points. Having an initial design representation on the latent space with such properties, it allows for the generation of pragmatic design of experiments (G-DOE) by specifying the number of trials and their pattern on the latent space, such as square or polar grids. Clustering and aggregated gradient metrics have been shown to guide grid specification.


title: Drone Charging Stations Deployment in Rural Areas for Better Wireless Coverage: Challenges and Solutions

abstract: While the fifth-generation cellular (5G) is meant to deliver Gigabit peak data speeds, low latency, and connect to billions of devices, and 6G is already on the way, half of the world population living in rural areas are still facing challenges connecting to the internet. Compared with urban areas, users in rural areas are greatly impacted by low income, high cost of backhaul connectivity, limited resources, extreme weather, and natural geographical limitations. Hereby, how to connect the rural areas and what are the difficulties of providing connectivity draw great attention. This article first provides a brief discussion about existing technologies and strategies for enhancing the network coverage in rural areas, their advantages, limitations, and cost. Next, we mainly focus on the UAV-assisted network in resource-limited regions. Considering the limitation of the on-board battery of UAVs and the electricity supply scarcity in some rural regions, we investigate the possibility and performance enhancement of the deployment of renewable energy (RE) charging stations. We outline three practical scenarios, and use simulation results to demonstrate that RE charging stations can be a possible solution to address the limited on-board battery of UAVs in rural areas, specially when they can harvest and store enough energy. Finally, future works and challenges are discussed.


title: Multi-Agent Path Planning Using Deep Reinforcement Learning

abstract: In this paper a deep reinforcement based multi-agent path planning approach is introduced. The experiments are realized in a simulation environment and in this environment different multi-agent path planning problems are produced. The produced problems are actually similar to a vehicle routing problem and they are solved using multi-agent deep reinforcement learning. In the simulation environment, the model is trained on different consecutive problems in this way and, as the time passes, it is observed that the model's performance to solve a problem increases. Always the same simulation environment is used and only the location of target points for the agents to visit is changed. This contributes the model to learn its environment and the right attitude against a problem as the episodes pass. At the end, a model who has already learned a lot to solve a path planning or routing problem in this environment is obtained and this model can already find a nice and instant solution to a given unseen problem even without any training. In routing problems, standard mathematical modeling or heuristics seem to suffer from high computational time to find the solution and it is also difficult and critical to find an instant solution. In this paper a new solution method against these points is proposed and its efficiency is proven experimentally.


title: Neutron star crustal properties from relativistic mean-field models and bulk parameters effects

abstract: We calculate crustal properties of neutron stars, namely, mass ($M_{\rm crust}$), radius ($R_{\rm crust}$) and fraction of moment of inertia ($\Delta I/I$) from parametrizations of hadronic relativistic mean-field (RMF) model consistent with symmetric and asymmetric nuclear matter constraints, as well as some stellar boundaries. We verify which one are also in agreement with restrictions of $\Delta I/I \geqslant 1.4\%$ and $\Delta I/I \geqslant 7\%$ related to the glitching mechanism observed in pulsars, such as the Vela one. The latter constraint explains the glitches phenomenon when entrainment effects are taken into account. Our findings indicate that these parametrizations pass in the glitching limit for a neutron star mass range of $M\leqslant 1.82M_\odot$ ($\Delta I/I \geqslant 1.4\%$), and $M\leqslant 1.16M_\odot$ ($\Delta I/I \geqslant 7\%$). We also investigate the influence of nuclear matter bulk parameters on crustal properties and find that symmetry energy is the quantity that produces the higher variations on $M_{\rm crust}$, $R_{\rm crust}$, and~$\Delta I/I$. Based on the results, we construct a particular RMF parametrization able to satisfy $\Delta I/I \geqslant 7\%$ even at $M=1.4M_\odot$, the mass value used to fit data from the softer component of the Vela pulsar X-ray spectrum. The model also presents compatibility with observational data from PSR J1614-2230, PSR J0348+0432, and MSP J0740+6620 pulsars, as well as, with data from the Neutron Star Interior Composition Explorer (NICER) mission.


title: A new weakly supervised approach for ALS point cloud semantic segmentation

abstract: While there are novel point cloud semantic segmentation schemes that continuously surpass state-of-the-art results, the success of learning an effective model usually rely on the availability of abundant labeled data. However, data annotation is a time-consuming and labor-intensive task, particularly for large-scale airborne laser scanning (ALS) point clouds involving multiple classes in urban areas. Thus, how to attain promising results while largely reducing labeling works become an essential issue. In this study, we propose a deep-learning based weakly supervised framework for semantic segmentation of ALS point clouds, exploiting potential information from unlabeled data subject to incomplete and sparse labels. Entropy regularization is introduced to penalize the class overlap in predictive probability. Additionally, a consistency constraint by minimizing the discrepancy distance between instant and ensemble predictions is designed to improve the robustness of predictions. Finally, we propose an online soft pseudo-labeling strategy to create extra supervisory sources in an efficient and nonpaprametric way. Extensive experimental analysis using three benchmark datasets demonstrates that in case of sparse point annotations, our proposed method significantly boosts the classification performance without compromising the computational efficiency. It outperforms current weakly supervised methods and achieves a comparable result against full supervision competitors. For the ISPRS 3D Labeling Vaihingen data, by using only 0.1% of labels, our method achieves an overall accuracy of 83.0% and an average F1 score of 70.0%, which have increased by 6.9% and 12.8% respectively, compared to model trained by sparse label information only.


title: Asynchronous Upper Confidence Bound Algorithms for Federated Linear Bandits

abstract: Linear contextual bandit is a popular online learning problem. It has been mostly studied in centralized learning settings. With the surging demand of large-scale decentralized model learning, e.g., federated learning, how to retain regret minimization while reducing communication cost becomes an open challenge. In this paper, we study linear contextual bandit in a federated learning setting. We propose a general framework with asynchronous model update and communication for a collection of homogeneous clients and heterogeneous clients, respectively. Rigorous theoretical analysis is provided about the regret and communication cost under this distributed learning framework; and extensive empirical evaluations demonstrate the effectiveness of our solution.


title: The Villafranca catalog of Galactic OB groups. II. From Gaia DR2 to EDR3 and ten new systems with O stars

abstract: CONTEXT. This is the second paper of a series on Galactic OB groups that uses astrometric and photometric data from Gaia and spectral classifications from GOSSS and LiLiMaRlin. The previous paper was based on Gaia DR2, this is based on Gaia EDR3. AIMS. The two aims of this paper are to revise the results for the sample from paper I using Gaia EDR3 data and to expand the sample of analyzed stellar groups to 26, from Villafranca O-001 to Villafranca O-026. METHODS. We use GOSSS to select Galactic stellar groups with O stars and an updated version of the method in paper 0 of this series, combining Gaia EDR3 G+GBP+GRP photometry, positions, proper motions, and parallaxes to assign memberships and measure distances. We present 99 spectra from GOSSS and 32 from LiLiMaRlin for stars in the analyzed groups or in their foreground. RESULTS. We derive distances to the 26 stellar groups with unprecedented precision and accuracy, with total uncertainties <1% within 1 kpc and of ~3% around 3 kpc, values that are almost 4x better than for Gaia DR2. We provide homogeneous spectral types for 110 stars and correct a number of errors in the literature, especially for objects in the Orion nebula cluster. For each of the groups we discuss its membership and present possible runaway/walkaway stars. At least two groups, Villafranca O-O12 S and Villafranca O-014 NW, are orphan clusters in which the most massive stars have been ejected by dynamical interactions, leaving objects with a capped mass function. The existence of such clusters has important consequences for the study of the IMF, the distribution of SNe across the Galaxy, and the population and dynamics of isolated compact objects. We fit PMS isochrones to four clusters to derive ages of 2.0$\pm$0.5 Ma for the sigma Orionis cluster, 4$\pm$2 Ma for NGC 2264, 5.0$\pm$0.5 Ma for NGC 2362, and 8$\pm$2 Ma for the gamma Velorum cluster. [ABRIDGED]


title: Weakly Durable High-Performance Transactions

abstract: Existing disk-based database systems largely fall into two categories -- they either provide very high performance but few guarantees, or expose the transaction abstraction satisfying the full ACID guarantees at the cost of lower performance. In this paper, we present an alternative that achieves the best of both worlds, namely good performance and transactional properties. Our key observation is that, because of the frequent use of synchronization primitives, systems with strong durability can hardly utilize the extremely high parallelism granted by modern storage devices. Thus, we explore the notion of weakly durable transactions, and discuss how to safely relax durability without compromising other transactional properties. We present AciKV, a transactional system whose design is centered around weak durability. AciKV exposes to users the normal transactional interface, but what sets it apart from others is a new "persist" primitive that decouples durability from commit. AciKV is a middle ground between systems that perform fast atomic operations, and ones that support transactions; this middle ground is useful as it provides similar performance to the former, while prevents isolation and consistency anomalies like the latter. Our evaluation using the YCSB benchmark shows that AciKV, under workloads that involve write requests, exhibits more than two orders of magnitude higher throughput than existing strongly durable systems.


title: Split Peas in a Pod: Intra-System Uniformity of Super-Earths and Sub-Neptunes

abstract: The planets within compact multi-planet systems tend to have similar sizes, masses, and orbital period ratios, like "peas in a pod". This pattern was detected when considering planets with radii between 1 and 4 $R_\oplus$. However, these same planets show a bimodal radius distribution, with few planets between 1.5 and 2 $R_{\oplus}$. The smaller "super-Earths" are consistent with being stripped rocky cores, while the larger "sub-Neptunes" likely have gaseous H/He envelopes. Given these distinct structures, it is worthwhile to test for intra-system uniformity separately within each category of planets. Here, we find that the tendency for intra-system uniformity is twice as strong when considering planets within the same size category than it is when combining all planets together. The sub-Neptunes tend to be $1.7^{+0.6}_{-0.3}$ times larger than the super-Earths in the same system, corresponding to an envelope mass fraction of about 2.6% for a $5\,M_{\oplus}$ planet. For the sub-Neptunes, the low-metallicity stars are found to have planets with more equal sizes, with modest statistical significance ($p\sim 0.005$). There is also a modest $(\sim$2-$\sigma)$ tendency for wider-orbiting planets to be larger, even within the same size category.


title: HyperTeNet: Hypergraph and Transformer-based Neural Network for Personalized List Continuation

abstract: The personalized list continuation (PLC) task is to curate the next items to user-generated lists (ordered sequence of items) in a personalized way. The main challenge in this task is understanding the ternary relationships among the interacting entities (users, items, and lists) that the existing works do not consider. Further, they do not take into account the multi-hop relationships among entities of the same type. In addition, capturing the sequential information amongst the items already present in the list also plays a vital role in determining the next relevant items that get curated. In this work, we propose HyperTeNet -- a self-attention hypergraph and Transformer-based neural network architecture for the personalized list continuation task to address the challenges mentioned above. We use graph convolutions to learn the multi-hop relationship among the entities of the same type and leverage a self-attention-based hypergraph neural network to learn the ternary relationships among the interacting entities via hyperlink prediction in a 3-uniform hypergraph. Further, the entity embeddings are shared with a Transformer-based architecture and are learned through an alternating optimization procedure. As a result, this network also learns the sequential information needed to curate the next items to be added to the list. Experimental results demonstrate that HyperTeNet significantly outperforms the other state-of-the-art models on real-world datasets. Our implementation and datasets are available at https://github.com/mvijaikumar/HyperTeNet.


title: $\Sigma_1$-definability at higher cardinals: Thin sets, almost disjoint families and long well-orders

abstract: Given an uncountable cardinal $\kappa$, we consider the question of whether subsets of the power set of $\kappa$ that are usually constructed with the help of the Axiom of Choice are definable by $\Sigma_1$-formulas that only use the cardinal $\kappa$ and sets of hereditary cardinality less than $\kappa$ as parameters. For limits of measurable cardinals, we prove a perfect set theorem for sets definable in this way and use it to generalize two classical non-definability results to higher cardinals. First, we show that a classical result of Mathias on the complexity of maximal almost disjoint families of sets of natural numbers can be generalized to measurable limits of measurables. Second, we prove that for a limit of countably many measurable cardinals, the existence of a simply definable well-ordering of subsets of $\kappa$ of length at least $\kappa^+$ implies the existence of a projective well-ordering of the reals. In addition, we determine the exact consistency strength of the non-existence of $\Sigma_1$-definitions of certain objects at singular strong limit cardinals. Finally, we show that both large cardinal assumptions and forcing axioms cause analogs of these statements to hold at the first uncountable cardinal $\omega_1$.


title: Data-driven Identification of Nonlinear Power System Dynamics Using Output-only Measurements

abstract: In this paper, we propose a novel approach for the data-driven characterization of power system dynamics. The developed method of Extended Subspace Identification (ESI) is suitable for systems with output measurements when all the dynamics states are not observable. It is particularly applicable for power systems dynamic identification using Phasor Measurement Units (PMUs) measurements. As in the case of power systems, it is often expensive or impossible to measure all the internal dynamic states of system components such as generators, controllers and loads. PMU measurements capture voltages, currents, power injection and frequencies, which can be considered as the outputs of system dynamics. The ESI method is suitable for system identification, capturing nonlinear modes, computing participation factor of output measurements in system modes and identifying system parameters such as system inertia. The proposed method is suitable for measurements with a noise similar to realistic system measurements. The developed method addresses some of the known deficiencies of existing data-driven dynamic system characterization methods. The approach is validated for multiple network models and dynamic event scenarios with synthetic PMU measurements.


title: Implementation of Parallel Simplified Swarm Optimization in CUDA

abstract: As the acquisition cost of the graphics processing unit (GPU) has decreased, personal computers (PC) can handle optimization problems nowadays. In optimization computing, intelligent swarm algorithms (SIAs) method is suitable for parallelization. However, a GPU-based Simplified Swarm Optimization Algorithm has never been proposed. Accordingly, this paper proposed Parallel Simplified Swarm Optimization (PSSO) based on the CUDA platform considering computational ability and versatility. In PSSO, the theoretical value of time complexity of fitness function is O (tNm). There are t iterations and N fitness functions, each of which required pair comparisons m times. pBests and gBest have the resource preemption when updating in previous studies. As the experiment results showed, the time complexity has successfully reduced by an order of magnitude of N, and the problem of resource preemption was avoided entirely.


title: Fine-Grained Neural Network Explanation by Identifying Input Features with Predictive Information

abstract: One principal approach for illuminating a black-box neural network is feature attribution, i.e. identifying the importance of input features for the network's prediction. The predictive information of features is recently proposed as a proxy for the measure of their importance. So far, the predictive information is only identified for latent features by placing an information bottleneck within the network. We propose a method to identify features with predictive information in the input domain. The method results in fine-grained identification of input features' information and is agnostic to network architecture. The core idea of our method is leveraging a bottleneck on the input that only lets input features associated with predictive latent features pass through. We compare our method with several feature attribution methods using mainstream feature attribution evaluation experiments. The code is publicly available.


title: Transmission of a single electron through a Berry's ring

abstract: A theoretical model of transmission and reflection of an electron with spin is proposed for a mesoscopic ring with rotating localized magnetic moment. This model may be realized in a pair of domain walls connecting two ferromagnetic domains with opposite magnetization. If the localized magnetic moment and the traveling spin is ferromagnetically coupled and if the localized moment rotates with opposite chirality in the double-path, our system is formulated in the model of an emergent spin-orbit interaction in a ring. The scattering problem for the transmission spectrum of the traveling spin is solved both in a single path and a double path model. In the double path, the quantum-path interference changes dramatically the transmission spectrum due to the effect of the Berry's phase. Specifically, the spin-flip transmission and reflection are both strictly forbidden.


title: Representations of orientifold Khovanov-Lauda-Rouquier algebras and the Enomoto-Kashiwara algebra

abstract: We consider an "orientifold" generalization of Khovanov-Lauda-Rouquier algebras, depending on a quiver with an involution and a framing. Their representation theory is related, via a Schur-Weyl duality type functor, to Kac-Moody quantum symmetric pairs, and, via a categorification theorem, to highest weight modules over an algebra introduced by Enomoto and Kashiwara. Our first main result is a new shuffle realization of these highest weight modules and a combinatorial construction of their PBW and canonical bases in terms of Lyndon words. Our second main result is a classification of irreducible representations of orientifold KLR algebras and a computation of their global dimension in the case when the framing is trivial.


title: Distributed Learning Approaches for Automated Chest X-Ray Diagnosis

abstract: Deep Learning has established in the latest years as a successful approach to address a great variety of tasks. Healthcare is one of the most promising field of application for Deep Learning approaches since it would allow to help clinicians to analyze patient data and perform diagnoses. However, despite the vast amount of data collected every year in hospitals and other clinical institutes, privacy regulations on sensitive data - such as those related to health - pose a serious challenge to the application of these methods. In this work, we focus on strategies to cope with privacy issues when a consortium of healthcare institutions needs to train machine learning models for identifying a particular disease, comparing the performances of two recent distributed learning approaches - Federated Learning and Split Learning - on the task of Automated Chest X-Ray Diagnosis. In particular, in our analysis we investigated the impact of different data distributions in client data and the possible policies on the frequency of data exchange between the institutions.


title: An estimation of the Gaia EDR3 parallax bias from stellar clusters and Magellanic Clouds data

abstract: CONTEXT. The Gaia EDR3 parallaxes constitute the most detailed and accurate dataset that can be currently used to determine stellar distances in the solar neighborhood. Nevertheless, there is still room for improvement in their calibration and systematic effects can be further reduced in some circumstances. AIMS. The aim of this paper is to determine an improved Gaia EDR3 parallax bias as a function of magnitude, color, and ecliptic latitude using a single method applied to stars in open clusters, globular clusters, the LMC, and the SMC. METHODS. I study the behavior of the residuals or differences between the individual (stellar) parallaxes and the group parallaxes, which are assumed constant for the corresponding cluster or galaxy. This is done by first applying the Lindegren et al. (2021) zero point and then calculating a new zero point from the residuals of the first analysis. RESULTS. The Lindegren zero point shows very small residuals as a function of magnitude between individual and group parallaxes for G < 13 but significant ones for brighter stars, especially blue ones. The new zero point reduces those residuals, especially in the 9.2 < G < 13 range. The k factor that is used to convert from catalog parallax uncertainties to external uncertainties is small (1.1-1.7) for 9.2 < G < 11 and G > 13, intermediate (1.7-2.0) for 11 < G < 13, and large (>2.0) for G <9.2. Therefore, significant corrections are needed to calculate distance uncertainties from Gaia EDR3 parallaxes for some stars. There is still room for improvement if future analyses add information from additional stellar clusters, especially for red stars with G < 11 and blue stars with G < 9.2. I also calculate k for stars with RUWE values between 1.4 and 8.0 and for stars with 6-parameter solutions, allowing for a correct estiimation of their uncertainties. [ABRIDGED]


title: Learning Online Visual Invariances for Novel Objects via Supervised and Self-Supervised Training

abstract: Humans can identify objects following various spatial transformations such as scale and viewpoint. This extends to novel objects, after a single presentation at a single pose, sometimes referred to as online invariance. CNNs have been proposed as a compelling model of human vision, but their ability to identify objects across transformations is typically tested on held-out samples of trained categories after extensive data augmentation. This paper assesses whether standard CNNs can support human-like online invariance by training models to recognize images of synthetic 3D objects that undergo several transformations: rotation, scaling, translation, brightness, contrast, and viewpoint. Through the analysis of models' internal representations, we show that standard supervised CNNs trained on transformed objects can acquire strong invariances on novel classes even when trained with as few as 50 objects taken from 10 classes. This extended to a different dataset of photographs of real objects. We also show that these invariances can be acquired in a self-supervised way, through solving the same/different task. We suggest that this latter approach may be similar to how humans acquire invariances.


title: Probing the mechanical properties of DNA nanostructures with metadynamics

abstract: Molecular dynamics simulations are often used to provide feedback in the design workflow of DNA nanostructures. However, even with coarse-grained models, convergence of distributions from unbiased simulation is slow, limiting applications to equilibrium structural properties. Given the increasing interest in dynamic, reconfigurable, and deformable devices, methods that enable efficient quantification of large ranges of motion, conformational transitions, and mechanical deformation are critically needed. Metadynamics is an automated biasing technique that enables the rapid acquisition of molecular conformational distributions by flattening free energy landscapes. Here we leveraged this approach to sample the free energy landscapes of DNA nanostructures whose unbiased dynamics are non-ergodic, including bistable Holliday junctions and part of a bistable origami. Taking an origami compliant joint as a case study, we further demonstrate that metadynamics can predict the mechanical response of a full DNA origami device to an applied force, showing good agreement with experiments. Our results establish an efficient framework to study free energy landscapes and force response in DNA nanodevices, which could be applied for rapid feedback in iterative design workflows and generally facilitate the integration of simulation and experiments. Metadynamics will be particularly useful to guide the design of dynamic devices for nanorobotics, biosensing, or nanomanufacturing applications.

categories: cond-mat.soft cond-mat.stat-mech physics.bio-ph physics.chem-ph


title: Stochastic Gravitational-Wave Background from Stellar Core-Collapse Events

abstract: We estimate the stochastic gravitational-wave background arising from all stellar core-collapse events in the universe based on the gravitational-wave signal predictions of recent numerical simulations. We focus on waveforms from slowly or non-rotating stars and include rapidly rotating, highly massive progenitors as extreme case limits. Our most realistic estimates are more than one hundred times below the sensitivity of third-generation terrestrial gravitational-wave detectors and likely weaker than cosmological contributions to the stochastic gravitational-wave background.

categories: gr-qc astro-ph.CO astro-ph.HE astro-ph.SR


title: Reducing the detection of genuine entanglement of n qubits to two qubits

abstract: We propose a criterion for the detection of genuine entanglement of pure multiqubit states. To this aim, we define an operator called the losing one qubit operator, which is different from the reduced density operator. The states obtained from a multiqubit state by applying the losing one qubit operator are referred to as its projected states. We show that all of the projected states of a pure product n-qubit state are pure product states provided that it cannot be written as a product of a single qubit state and a genuinely entangled (n-1)-qubit state. We also show that a pure n-qubit state is genuinely entangled provided that the state has at least two genuinely entangled (n-1)-qubit projected states. By repeating the losing process, we reduce the detection of entanglement of pure n-qubit states to the one of pure two-qubit states. Also we write a LISP program for the reduction process.


title: Photonic verification of device-independent quantum key distribution against collective attacks

abstract: In this paper, we employ theoretical and experimental efforts and realize a proof-of-principle verification of device-independent QKD based on the photonic setup. On the theoretical side, we enhance the loss tolerance for real device imperfections by combining different approaches, namely, random post-selection, noisy preprocessing, and developed numerical methods to estimate the key rate via the von Neumann entropy. On the experimental side, we develop a high-quality polarization-entangled photon source achieving a state-of-the-art (heralded) detection efficiency about 87.5%. This efficiency outperforms previous photonic experiments involving loophole-free Bell tests. Together, we show that the measured quantum correlations are strong enough to ensure a positive key rate under the fiber length up to 220 m. Our photonic platform can generate entangled photons at a high rate and in the telecom wavelength, which is desirable for high-speed generation over long distances. The results present an important step towards a full demonstration of photonic device-independent QKD.


title: GMRES Methods for Tomographic Reconstruction with an Unmatched Back Projector

abstract: Unmatched pairs of forward and back projectors are common in X-ray CT computations for large-scale problems; they are caused by the need for fast algorithms that best utilize the computer hardware, and it is an interesting and challenging task to develop fast and easy-to-use algorithms for these cases. Our approach is to use preconditioned GMRES, in the form of the AB- and BA-GMRES algorithms, to handle the unmatched normal equations associated with an unmatched pair. These algorithms are simple to implement, they rely only on computations with the available forward and back projectors, and they do not require the tuning of any algorithm parameters. We show that these algorithms are equivalent to well-known LSQR and LSMR algorithms in the case of a matched projector. Our numerical experiments demonstrate that AB- and BA-GMRES exhibit a desired semi-convergence behavior that is comparable with LSQR/LSMR and that standard stopping rules work well. Hence, AB- and BA-GMRES are suited for large-scale CT reconstruction problems with noisy data and unmatched projector pairs.


title: Non-Gaussianity and Secondary Gravitational Waves from Primordial Black Holes Production in $\alpha$-attractor Inflation

abstract: We study the non-Gaussianity and secondary Gravitational Waves (GWs) in the process of the Primordial Black Holes (PBHs) production from inflation. In our work, we focus on the $\alpha$-attractor inflation model in which a tiny bump in the inflaton potential enhances the amplitude of the curvature perturbations at some scales and consequently leads to the PBHs production with different mass scales. We implement the computational code BINGO which calculates the non-Gaussianity parameter in different triangle configurations. Our examination implies that in this setup, the non-Gaussianity gets amplified significantly in the equilateral shape around the scales in which the power spectrum of the scalar perturbations undergoes a sharp declination. The imprints of these non-Gaussianities can be probed in the scales corresponding to the BBN and $\mu$-distortion events, or in smaller scales, and detection of such signatures in the future observations may confirm the idea of our model for the generation of PBHs or rule it out. Moreover, we investigate the secondary GWs in this framework and show that in our model, the peak of the present fractional energy density is obtained as $\Omega_{\rm GW0} \sim 10^{-8}$ at different frequencies which depends on the model parameters. These results lie well within the sensitivity region of some GWs detectors at some frequencies, and therefore the observational compatibility of our model can be evaluated by the forthcoming data from these detectors. We further provide some estimations for the tilts of the induced GWs spectrum in the different intervals of frequency, and demonstrate that the spectrum obeys the power-law relation $\Omega_{\rm GW0}\sim f^{n}$ in those frequency bands.


title: Tunneling times of single photons

abstract: Although the group delay of classical pulses through a barrier may suggest superluminality, the information transfer is limited by the precursor which propagates at the vacuum light speed. Single photons, however, have infinite tails, and the question of causality becomes meaningless. We solve this problem by introducing strictly localized states close to single photons, which are examples of optical states produced by on-demand single-photon sources. These states can be arbitrarily close to single photons while demonstrating causality for their leading edge.


title: Escape from the Bermuda cluster: orphanization by multiple stellar ejections

abstract: CONTEXT. Dynamical interactions in young stellar clusters can eject massive stars early in their lives and significantly alter their mass functions. If all of the most massive stars are lost, we are left with an orphan cluster. AIMS. We study the Bermuda cluster (Villafranca O-014 NW), the most significant young stellar group in the North America and Pelican nebulae, and the massive stars that may have been ejected from it to test if it has been orphaned. METHODS. We use Gaia EDR3 parallaxes and proper motions to search for walkaway/runaway stars in the vicinity of the North America and Pelican nebulae. The candidates are analyzed with spectroscopy and photometry to assess their nature and their trajectories are traced back in time to determine at what time they left the Bermuda cluster. RESULTS. We detect three ejection events (Bajamar, Toronto, and HD 201 795 events) that expelled 5, 2, and 2 systems, respectively, or 6, 3, and 3 stars if we count the individual components in spectroscopic/eclipsing binaries. The events took place 1.611$\pm$0.011 Ma, 1.496$\pm$0.044 Ma, and 1.905$\pm$0.037 Ma ago, respectively, but our analysis is marginally consistent with the first two being simultaneous. We detect bow shocks in WISE images associated with four of the ejected systems. Combining the three events, the Bermuda cluster has lost >200 M_Sol, including its three most massive stars, so it can be considered an orphan cluster. One consequence is that the PDMF of the cluster has been radically altered from its top-heavy initial value to one compatible with a Kroupa-like function. Another one is that the cluster is currently expanding with a dynamical time scale consistent with the cause being the ejection events. A scenario in which the Bermuda cluster was formed in a conveyor belt fashion over several hundreds of ka or even 1 Ma is consistent with all the observables. [ABRIDGED]


title: JuriBERT: A Masked-Language Model Adaptation for French Legal Text

abstract: Language models have proven to be very useful when adapted to specific domains. Nonetheless, little research has been done on the adaptation of domain-specific BERT models in the French language. In this paper, we focus on creating a language model adapted to French legal text with the goal of helping law professionals. We conclude that some specific tasks do not benefit from generic language models pre-trained on large amounts of data. We explore the use of smaller architectures in domain-specific sub-languages and their benefits for French legal text. We prove that domain-specific pre-trained models can perform better than their equivalent generalised ones in the legal domain. Finally, we release JuriBERT, a new set of BERT models adapted to the French legal domain.


title: All-optical spin injection in silicon revealed by element specific time-resolved Kerr effect

abstract: Understanding how a spin current flows across metal-semiconductor interfaces at pico- and femtosecond timescales has implications for ultrafast spintronics, data processing and storage applications. However, the possibility to directly access the propagation of spin currents on such time scales has been hampered by the simultaneous lack of both ultrafast element specific magnetic sensitive probes and tailored metal-semiconductor interfaces. Here, by means of free electron laser-based element sensitive Kerr spectroscopy, we report direct experimental evidence of spin currents across a Ni/Si interface in the form of different magnetodynamics at the Ni M2,3 and Si L2,3 absorption edges. This further allows us to calculate the propagation velocity of the spin current in silicon, which is on the order of 0.2 nm/fs.


title: Twist versus heterostrain control of optical properties of moir\'e exciton minibands

abstract: We investigate the optical properties of interlayer excitons in heterobilayer transition metal dichalcogenides where moir\'e pattern is introduced by heterostrain, in comparison with that introduced by twisting (and/or lattice mismatch). Besides being a cause of the moir\'e texture, strain also effectively introduces a constant gauge potential on either electron or hole, which shifts the dispersion of kinetic energy with respect to the excitonic crystal momenta in the moir\'e superlattices.This leads to distinct exciton mini-band dispersions and light coupling properties from the twisting induced moir\'e, even if the excitonic moir\'e superlattice potentials have the similar real-space profile for the two cases. For strain that breaks the three-fold rotational symmetry at the atomic scale,the exciton wave packets trapped at the superlattice potential minima have elliptically polarized valley optical selection rules, in contrast to the circularly polarized ones in the twisting moir\'e. We investigate the evolution of the excitonic mini-bands and the optical dipoles of the bright states inside the light cones with the decrease of the moir\'e periodicity, upon which the excitonic wavefunctions evolve from localized wave packets to the extended Bloch states. Furthermore, moir\'e exciton properties under the interplay of twisting and heterostrain are also discussed.


title: Parameter inference with non-linear galaxy clustering: accounting for theoretical uncertainties

abstract: We implement EuclidEmulator (version 1), an emulator for the non-linear correction of the matter power spectrum, into the MCMC forecasting code MontePython. We compare the performance of Halofit, HMCode, and EuclidEmulator1, both at the level of power spectrum prediction and at the level of posterior probability distributions of the cosmological parameters, for different cosmological models and different galaxy power spectrum wave number cut-offs. We confirm that the choice of the power spectrum predictor has a non-negligible effect on the computed sensitivities when doing cosmological parameter forecasting, even for a conservative wave number cut-off of $0.2\,h\,{\rm Mpc}^{-1}$. We find that EuclidEmulator1 is on average up to $17\%$ more sensitive to the cosmological parameters than the other two codes, with the most significant improvements being for the Hubble parameter of up to $42\%$ and the equation of state of dark energy of up to $26\%$, depending on the case. In addition, we point out that the choice of the power spectrum predictor contributes to the risk of computing a significantly biased mean cosmology when doing parameter estimations. For the four tested scenarios we find biases, averaged over the cosmological parameters, of between 0.5 and 2$\sigma$ (from below $1\sigma$ up to $6\sigma$ for individual parameters). This paper provides a proof of concept that this risk can be mitigated by taking a well-tailored theoretical uncertainty into account as this allows to reduce the bias by a factor of 2 to 5, depending on the case under consideration, while keeping posterior credibility contours small: the standard deviations are amplified by a factor of $\leq1.4$ in all cases.


title: Object generators, relaxed sets, and a foundation for mathematics

abstract: Object generators are essentially the "object" primitives of category theory, and can usually be thought of as "collections of elements". We develop a logical context with these and their morphisms as primitives, and four straightforward axioms. The only novelty is the logic: it is considerably weaker than standard binary logic, and does not include either equality or quantification. Instead of building these features into the logic, we require them of the objects. Relaxed sets are \emph{defined} to be object generators that have an equality pairing and that do support quantification. Some basic set-theory material (well-orders, recursion, cardinals etc.) is developed to show these have all the properties expected of sets. The theory closely follows na\"ive set theory, and is almost as easy to use. The main technical result is that relaxed theory contains a universal implementation of the ZFC-1 axioms, universal in the sense that every other such implementation is (uniquely) isomorphic to a transitive subobject. Here `ZFC' stands for `Zermillo-Fraenkel-Choice', and `-1' means `ignore first-order logical constraints'. Unexpectedly, we see that relaxed set theory is the \emph{only} theory that is fully satisfactory for mainstream deductive mathematics. To see this we formulate the "Coherent Limit axiom" that asserts that a particularly simple type of increasing sequence of functions has a limit. It is easy to see that this is satisfied only in the maximal theory. Mainstream mathematicians implicitly assume this axiom, at least in the sense that they don't do the work required to deal with failures. Finally, a justification for including the Quantification Hypothesis is given in an appendix.


title: Risk-Aware Learning for Scalable Voltage Optimization in Distribution Grids

abstract: Real-time coordination of distributed energy resources (DERs) is crucial for regulating the voltage profile in distribution grids. By capitalizing on a scalable neural network (NN) architecture, one can attain decentralized DER decisions to address the lack of real-time communications. This paper develops an advanced learning-enabled DER coordination scheme by accounting for the potential risks associated with reactive power prediction and voltage deviation. Such risks are quantified by the conditional value-at-risk (CVaR) using the worst-case samples only, and we propose a mini-batch selection algorithm to address the training speed issue in minimizing the CVaR-regularized loss. Numerical tests using real-world data on the IEEE 123-bus test case have demonstrated the computation and safety improvements of the proposed risk-aware learning algorithm for decentralized DER decision making, especially in terms of reducing feeder voltage violations.


title: Long-time relaxation dynamics in nematic and smectic liquid crystals of soft-repulsive colloidal rods

abstract: Understanding the relaxation dynamics of colloidal suspensions is crucial to identify the elements that influence the mobility of their constituents, assess their macroscopic response across the relevant time and length scales, and thus disclose the fundamentals underpinning their exploitation in formulation engineering. In this work, we specifically assess the impact of long-ranged ordering on the relaxation dynamics of suspensions of soft-repulsive rod-like particles, which are able to self-organise into nematic and smectic liquid-crystalline phases. By performing Dynamic Monte Carlo simulations, we analyse the effect of translational and orientational order on the diffusion of the rods along the relevant directions imposed by the morphology of the background phases. To provide a clear picture of the resulting dynamics, we assess their dependence on temperature, which can dramatically determine the response time of the system relaxation and the self-diffusion coefficients of the rods. The computation of the van Hove correlation functions allows us to identify the existence of rods that diffuse significantly faster than the average and whose concentration can be accurately adjusted by a suitable choice of temperature.


title: Asymptotic stability of solitary waves for the 1D cubic-quintic Schr\"odinger equation with no internal mode

abstract: For the Schr\"odinger equation with a cubic-quintic, focusing-defocusing nonlinearity in one space dimension, we prove the asymptotic stability of solitary waves for a large range of admissible frequencies. For this model, the linearized problem around the solitary waves does not have internal mode nor resonance.