title: Estimation Error Correction in Deep Reinforcement Learning for Deterministic Actor-Critic Methods

abstract: In value-based deep reinforcement learning methods, approximation of value functions induces overestimation bias and leads to suboptimal policies. We show that in deep actor-critic methods that aim to overcome the overestimation bias, if the reinforcement signals received by the agent have a high variance, a significant underestimation bias arises. To minimize the underestimation, we introduce a parameter-free, novel deep Q-learning variant. Our Q-value update rule combines the notions behind Clipped Double Q-learning and Maxmin Q-learning by computing the critic objective through the nested combination of maximum and minimum operators to bound the approximate value estimates. We evaluate our modification on the suite of several OpenAI Gym continuous control tasks, improving the state-of-the-art in every environment tested.


title: DyStyle: Dynamic Neural Network for Multi-Attribute-Conditioned Style Editing

abstract: The semantic controllability of StyleGAN is enhanced by unremitting research. Although the existing weak supervision methods work well in manipulating the style codes along one attribute, the accuracy of manipulating multiple attributes is neglected. Multi-attribute representations are prone to entanglement in the StyleGAN latent space, while sequential editing leads to error accumulation. To address these limitations, we design a Dynamic Style Manipulation Network (DyStyle) whose structure and parameters vary by input samples, to perform nonlinear and adaptive manipulation of latent codes for flexible and precise attribute control. In order to efficient and stable optimization of the DyStyle network, we propose a Dynamic Multi-Attribute Contrastive Learning (DmaCL) method: including dynamic multi-attribute contrastor and dynamic multi-attribute contrastive loss, which simultaneously disentangle a variety of attributes from the generative image and latent space of model. As a result, our approach demonstrates fine-grained disentangled edits along multiple numeric and binary attributes. Qualitative and quantitative comparisons with existing style manipulation methods verify the superiority of our method in terms of the multi-attribute control accuracy and identity preservation without compromising photorealism.


title: The Relative Supernovae Contribution to the Chemical Enrichment History of Abell 1837

abstract: In this paper, we report the relative SNe contributions on the metal budget of the ICM of Abell 1837 galaxy cluster at redshift z $=$ 0.069. For this purpose, we analysed the hot ICM of the cluster and obtained radial metal distributions by using XMM-Newton archival data with total exposure $\sim$100 ks. These metal measurements consist of Mg, Si, S, Fe and Ni within 0.7 R$_{500}$ radius which is divided into three concentric annuli. In order to explain the observed metal abundance pattern in terms of relative supernova contributions, we used our newly developed code SNeRatio which utilizes theoretical nucleosynthesis models. This study covers the most recent 3D SNIa and SNcc yield tables. All combinations of these theoretical yields were fitted with our measured abundance ratios and statistically acceptable ones were selected. Each of these models were found to predict a uniform SNIa percentage contribution to the total SNe from the cluster center to the outskirts and form an SNIa ratio distribution with a mean 39 $\pm$ 14$\%$. This uniformity is consistent with the early enrichment scenario which assumes that the metal production processes begin in early phase of cluster formation, namely proto-cluster phase at epoch z $\geq$ 2.


title: Predicting Efficiency/Effectiveness Trade-offs for Dense vs. Sparse Retrieval Strategy Selection

abstract: Over the last few years, contextualized pre-trained transformer models such as BERT have provided substantial improvements on information retrieval tasks. Recent approaches based on pre-trained transformer models such as BERT, fine-tune dense low-dimensional contextualized representations of queries and documents in embedding space. While these dense retrievers enjoy substantial retrieval effectiveness improvements compared to sparse retrievers, they are computationally intensive, requiring substantial GPU resources, and dense retrievers are known to be more expensive from both time and resource perspectives. In addition, sparse retrievers have been shown to retrieve complementary information with respect to dense retrievers, leading to proposals for hybrid retrievers. These hybrid retrievers leverage low-cost, exact-matching based sparse retrievers along with dense retrievers to bridge the semantic gaps between query and documents. In this work, we address this trade-off between the cost and utility of sparse vs dense retrievers by proposing a classifier to select a suitable retrieval strategy (i.e., sparse vs. dense vs. hybrid) for individual queries. Leveraging sparse retrievers for queries which can be answered with sparse retrievers decreases the number of calls to GPUs. Consequently, while utility is maintained, query latency decreases. Although we use less computational resources and spend less time, we still achieve improved performance. Our classifier can select between sparse and dense retrieval strategies based on the query alone. We conduct experiments on the MS MARCO passage dataset demonstrating an improved range of efficiency/effectiveness trade-offs between purely sparse, purely dense or hybrid retrieval strategies, allowing an appropriate strategy to be selected based on a target latency and resource budget.


title: Coupling between Antiferromagnetic and Spin Glass Orders in the Quasi-One-Dimensional Iron Telluride TaFe$_{1+x}$Te$_3$ ($x$=0.25)

abstract: Understanding the interplay among different magnetic exchange interactions and its physical consequences, especially in the presence of itinerant electrons and disorders, remains one of the central themes in condensed matter physics. In this vein, the coupling between antiferromagnetic and spin glass orders may lead to large exchange bias, a property of potential broad technological applications. In this article, we report the coexistence of antiferromagnetic order and spin glass behaviors in a quasi-one-dimensional iron telluride TaFe$_{1+x}$Te$_3$ ($x$=0.25). Its antiferromagnetism is believed to arise from the antiferromagnetic interchain coupling between the ferromagnetically aligned FeTe chains along the $b$-axis, while the spin glassy state stems from the disordered Fe interstitials. This dichotomic role of chain and interstitial sublattices is responsible for the large exchange bias observed at low temperatures, with the interstitial Fe acting as the uncompensated moment and its neighboring Fe chain providing the source for its pinning. This iron-based telluride may thereby represent a new paradigm to study the large family of transition metal chalcogenides whose magnetic order or even the dimensionality can be tuned to a large extent, forming a fertile playground to manipulate or switch the spin degrees of freedom thereof.


title: Combining Halo-EFT descriptions of nuclei and precise models of nuclear reactions

abstract: The clear separation of scales observed in halo nuclei between the extended halo and the compact core makes these exotic nuclei a perfect subject for Effective Field Theory (EFT). Such description leads to a systematic expansion of the core-halo Hamiltonian, which naturally orders the nuclear-structure observables. In this short review, I show the advantage there is to include Halo-EFT descriptions within precise models of reactions. It helps identifying the nuclear-structure observables that matter in the description of the reactions, and enables us to easily bridge predictions of nuclear-structure calculations to reaction observables. I illustrate this on breakup, transfer and knockout reactions with 11Be, the archetypical one-neutron halo nucleus.


title: Early Lane Change Prediction for Automated Driving Systems Using Multi-Task Attention-based Convolutional Neural Networks

abstract: Lane change (LC) is one of the safety-critical manoeuvres in highway driving according to various road accident records. Thus, reliably predicting such manoeuvre in advance is critical for the safe and comfortable operation of automated driving systems. The majority of previous studies rely on detecting a manoeuvre that has been already started, rather than predicting the manoeuvre in advance. Furthermore, most of the previous works do not estimate the key timings of the manoeuvre (e.g., crossing time), which can actually yield more useful information for the decision making in the ego vehicle. To address these shortcomings, this paper proposes a novel multi-task model to simultaneously estimate the likelihood of LC manoeuvres and the time-to-lane-change (TTLC). In both tasks, an attention-based convolutional neural network (CNN) is used as a shared feature extractor from a bird's eye view representation of the driving environment. The spatial attention used in the CNN model improves the feature extraction process by focusing on the most relevant areas of the surrounding environment. In addition, two novel curriculum learning schemes are employed to train the proposed approach. The extensive evaluation and comparative analysis of the proposed method in existing benchmark datasets show that the proposed method outperforms state-of-the-art LC prediction models, particularly considering long-term prediction performance.


title: Natural Typing Recognition via Surface Electromyography

abstract: By using a computer keyboard as a finger recording device, we construct the largest existing dataset for gesture recognition via surface electromyography (sEMG), and use deep learning to achieve over 90% character-level accuracy on reconstructing typed text entirely from measured muscle potentials. We prioritize the temporal structure of the EMG signal instead of the spatial structure of the electrode layout, using network architectures inspired by those used for real-time spoken language transcription. Our architecture recognizes the rapid movements of natural computer typing, which occur at irregular intervals and often overlap in time. The extensive size of our dataset also allows us to study gesture recognition after synthetically downgrading the spatial or temporal resolution, showing the system capabilities necessary for real-time gesture recognition.


title: Quasi-normal modes and Microscopic Structure of the Schwarzschild Black Hole

abstract: Maggiore observed that, in the high-damping regime, the quasi-normal modes spectrum for the Schwarzschild black hole resembles that of a quantum harmonic oscillator. Motivated by this observation, we describe a black hole as a statistical ensemble of N quantum harmonic oscillators. By working in the canonical ensemble, we show that, in the large-mass black hole limit, the leading contribution to the Gibbs entropy is the Bekenstein-Hawking term, while the subleading one is a logarithmic correction, in agreement with several results in the literature. We also find that the number of oscillators scales holographically with the area of the event horizon.


title: Reduced Markovian Descriptions of Brownian Dynamics: Toward an Exact Theory

abstract: We outline a reduction scheme for a class of Brownian dynamics which leads to meaningful corrections to the Smoluchowski equation in the overdamped regime. The mobility coefficient of the reduced dynamics is obtained by exploiting the Dynamic Invariance principle, whereas the diffusion coefficient fulfils the Fluctuation-Dissipation theorem. Explicit calculations are carried out in the case of a harmonically bound particle. A quantitative pointwise representation of the reduction error is also provided and connections to both the Maximum Entropy method and the linear response theory are highlighted. Our study paves the way to the development of reduction procedures applicable to a wider class of diffusion processes.


title: Exciton landscape in van der Waals heterostructures

abstract: van der Waals heterostructures consisting of vertically stacked transition-metal dichalcogenides (TMDs) exhibit a rich landscape of bright and dark intra- and interlayer excitons. In spite of a growing literature in this field of research, the type of excitons dominating optical spectra in different van der Waals heterostructures has not yet been well established. The spectral position of exciton states depends strongly on the strength of hybridization and energy renormalization due to the periodic moir\'e potential. Combining exciton density-matrix formalism and density-functional theory, we shed light on the exciton landscape in TMD homo- and heterobilayers at different stackings. This allows us to identify on a microscopic footing the energetically lowest-lying exciton state for each material and stacking. Furthermore, we disentangle the contribution of hybridization and layer polarization-induced alignment shifts of dark and bright excitons in photoluminescence spectra. By revealing the exciton landscape in van der Waals heterostructures, our work provides the basis for further studies of the optical, dynamical, and transport properties of this technologically promising class of nanomaterials.


title: The Variation of the Uncentered Maximal Operator with respect to Cubes

abstract: We consider the maximal operator with respect to uncentered cubes on Euclidean space with arbitrary dimension. We prove that for any function with bounded variation, the variation of its maximal function is bounded by the variation of the function times a dimensional constant. We also prove the corresponding result for maximal operators with respect to collections of more general sets than cubes. The sets are required to satisfy a certain inner cone star condition and in addition the collection must enjoy a tiling property which for example the collection of all cubes does enjoy and the collection of all Euclidean balls does not.


title: Drawing Science: an interdisciplinary, playful, and inclusive proposal

abstract: This article proposes and discusses qualitatively the use of a didactic board game in Science Education for high school students. The game contemplates in an interdisciplinary way the areas of Physics, Biology, Chemistry and Astronomy and is based on the development of the cognitive structure of the students through the act of drawing the concepts addressed in the classroom, also aiming at socialization through teamwork and the inclusion of students with hearing impairment. The game was created in a physics teacher education course and also aims to promote reflection on teaching practice and the search for attractive teaching methodologies for students.


title: If time had no beginning: growth dynamics for past-infinite causal sets

abstract: We explore whether the growth dynamics paradigm of Causal Set Theory is compatible with past-infinite causal sets. We modify the Classical Sequential Growth dynamics of Rideout and Sorkin to accommodate growth "into the past" and discuss what form physical constraints such as causality could take in this new framework. We propose convex-suborders as the "observables" or "physical properties" in a theory in which causal sets can be past-infinite and use this proposal to construct a manifestly covariant framework for dynamical models of growth for past-infinite causal sets.


title: Control of Pneumatic Artificial Muscles with SNN-based Cerebellar-like Model

abstract: Soft robotics technologies have gained growing interest in recent years, which allows various applications from manufacturing to human-robot interaction. Pneumatic artificial muscle (PAM), a typical soft actuator, has been widely applied to soft robots. The compliance and resilience of soft actuators allow soft robots to behave compliant when interacting with unstructured environments, while the utilization of soft actuators also introduces nonlinearity and uncertainty. Inspired by Cerebellum's vital functions in control of human's physical movement, a neural network model of Cerebellum based on spiking neuron networks (SNNs) is designed. This model is used as a feed-forward controller in controlling a 1-DOF robot arm driven by PAMs. The simulation results show that this Cerebellar-based system achieves good performance and increases the system's response.


title: Measuring $\mathbf{CP}$ violating phase in beauty baryon decays

abstract: One of the outstanding problems in physics is to explain the baryon-anti-baryon asymmetry observed in nature. According to the well-known Sakharov criterion for explaining the observed asymmetry, it is essential that $CP$ violation exist. Even though $CP$ violation has been observed in meson decays and is an integral part of the standard model (SM), measurements in meson decays indicate that $CP$ violation in the SM is insufficient to explain the observed baryon-anti-baryon asymmetry. SM predicts the existence of yet to be observed $CP$ violation in baryon decays. A critical test of the SM requires that $CP$ violation be measured in baryon decays as well, in order to verify that it agrees with the measurement using meson decays. In this letter we propose a new method to measure $CP$ violating phase in $b$-baryons, using interference arising implicitly due to Bose symmetry considerations of the decaying amplitudes.


title: Geometric characterizations for conformal mappings in weighted Bergman spaces

abstract: We prove that a conformal mapping defined on the unit disk belongs to a weighted Bergman space if and only if certain integrals involving the harmonic measure converge. With the aid of this theorem, we give a geometric characterization of conformal mappings in Hardy or weighted Bergman spaces by studying Euclidean areas. Applying these results, we prove several consequences for such mappings that extend known results for Hardy spaces to weighted Bergman spaces. Moreover, we introduce a number which is the analogue of the Hardy number for weighted Bergman spaces. We derive various expressions for this number and hence we establish new results for the Hardy number and the relation between Hardy and weighted Bergman spaces.


title: Through a Black Hole Singularity

abstract: We show that the Kantowski--Sachs model of a Schwarzschild black hole interior can be slightly generalized in order to accommodate spatial metrics of different orientations, and in this formulation the equations of motion admit a variable redefinition that makes the system regular at the singularity. This system will then traverse the singularity in a deterministic way (information will be conserved through it), and evolve into a time-reversed and orientation-flipped Schwarzschild white hole interior.


title: Optimal Operation of a Hydrogen-based Building Multi-Energy System Based on Deep Reinforcement Learning

abstract: Since hydrogen has many advantages (e.g., free pollution, extensive sources, convenient storage and transportation), hydrogen-based multi-energy systems (HMESs) have received wide attention. However, existing works on the optimal operation of HMESs neglect building thermal dynamics, which means that the flexibility of building thermal loads can not be utilized for reducing system operation cost. In this paper, we investigate an optimal operation problem of an HMES with the consideration of building thermal dynamics. Specifically, we first formulate an expected operational cost minimization problem related to an HMES. Due to the existence of uncertain parameters, inexplicit building thermal dynamics models, temporally coupled operational constraints related to three kinds of energy storage systems and indoor temperatures, as well as the coupling between electric energy subsystems and thermal energy subsystems, it is challenging to solve the formulated problem. To overcome the challenge, we reformulate the problem as a Markov game and propose an energy management algorithm to solve it based on multi-agent discrete actor-critic with rules (MADACR). Note that the proposed algorithm does not require any prior knowledge of uncertain parameters, parameter prediction, and explicit building thermal dynamics model. Simulation results based on real-world traces show the effectiveness of the proposed algorithm.


title: Contraction rates for sparse variational approximations in Gaussian process regression

abstract: We study the theoretical properties of a variational Bayes method in the Gaussian Process regression model. We consider the inducing variables method introduced by Titsias (2009a) and derive sufficient conditions for obtaining contraction rates for the corresponding variational Bayes (VB) posterior. As examples we show that for three particular covariance kernels (Mat\'ern, squared exponential, random series prior) the VB approach can achieve optimal, minimax contraction rates for a sufficiently large number of appropriately chosen inducing variables. The theoretical findings are demonstrated by numerical experiments.


title: Constrained multi-agent ergodic area surveying control based on finite element approximation of the potential field

abstract: Heat Equation Driven Area Coverage (HEDAC) is a state-of-the-art multi-agent ergodic motion control guided by a gradient of a potential field. A finite element method is hereby implemented to obtain a solution of the Helmholtz partial differential equation, which models the potential field for surveying motion control. This allows us to survey arbitrarily shaped domains and to include obstacles in an elegant and robust manner intrinsic to HEDAC's fundamental idea. For a simple kinematic motion, the obstacles and boundary avoidance constraints are successfully handled by directing the agent motion with the gradient of the potential. However, including additional constraints, such as the minimal clearance distance from stationary and moving obstacles and the minimal path curvature radius, requires further alternations of the control algorithm. We introduce a relatively simple yet robust approach for handling these constraints by formulating a straightforward optimization problem based on collision-free escape route maneuvers. This approach provides a guaranteed collision avoidance mechanism while being computationally inexpensive as a result of the optimization problem partitioning. The proposed motion control is evaluated in three realistic surveying scenarios simulations, showing the effectiveness of the surveying and the robustness of the control algorithm. Furthermore, potential maneuvering difficulties due to improperly defined surveying scenarios are highlighted and we provide guidelines on how to overpass them. The results are promising and indicate real-world applicability of the proposed constrained multi-agent motion control for autonomous surveying and potentially other HEDAC utilizations.


title: Unsupervised Movement Detection in Indoor Positioning Systems of Production Halls

abstract: Consider indoor positioning systems (IPS) in production halls where objects equipped with sensors send their current position. Beside its large volume, the analyzation of the resulting raw data is challenging due to the susceptibility towards noise. Reasons are accuracy issues and undesired awakenings of sensors that occur due to the dynamics of logistic processes (e.g.~vibrations of passing forklifts). We propose a tailor-made statistical procedure for these challenges and combine visual analytics with movement detection. Contrary to common stay-point algorithms, we do not only distinguish between stops and moves, but also consider undesired awakenings. This leads to a more detailed interpretation scheme offering usages for online (e.g.~monitoring of orders) and offline applications (e.g.~detection of problematic areas). The approach does not require other information than the raw IPS output and enables an ad-hoc analysis. We underline our findings in an extensive case study with real IPS data of our industry partner.


title: Hopfion Dynamics in Chiral Magnets

abstract: Resonant spin dynamics of topological spin textures are correlated with their topological nature, which can be employed to understand this nature. In this study, we present resonant spin dynamics of three-dimensional topological spin texture, i.e., Neel and Bloch hopfions. Using micromagnetic simulations, we stabilize Bloch and Neel hopfions with bulk and interfacial Dzyaloshinskii-Moriya interaction (DMI), respectively. We identify the ground state spin configuration of both hopfions, effects of anisotropies, geometric confinements, and demagnetizing fields. To confirm topological nature, Hopf number is calculated for each spin texture. Then, we calculate the resonance frequencies and spin-wave modes of spin precessions under multiple magnetic fields. Unique resonance frequencies and specific magnetic field dependence can help to guide experimental studies to identify the three-dimensional topological spin texture of hopfions in functioning chiral magnets when imaging is not possible.


title: Astronomical Pipeline Provenance: A Use Case Evaluation

abstract: In this decade astronomy is undergoing a paradigm shift to handle data from next generation observatories such as the Square Kilometre Array (SKA) or the Vera C. Rubin Observatory (LSST). Producing real time data streams of up to 10 TB/s and data products of the order of 600 Pbytes/year, the SKA will be the biggest civil data producing machine of the world that demands novel solutions on how these data volumes can be stored and analysed. Through the use of complex, automated pipelines the provenance of this real time data processing is key to establish confidence within the system, its final data products, and ultimately its scientific results. The intention of this paper is to lay the foundation for making an automated provenance generation tool for astronomical/data-processing pipelines. We therefore present a use case analysis, specific to the astronomical needs which addresses the issues of trust and reproducibility as well as other ulterior use cases which are of interest to astronomers. This analysis is subsequently used as the basis to discuss the requirements, challenges, and opportunities involved in designing both the tool and the associated provenance model.


title: FaceEraser: Removing Facial Parts for Augmented Reality

abstract: Our task is to remove all facial parts (e.g., eyebrows, eyes, mouth and nose), and then impose visual elements onto the ``blank'' face for augmented reality. Conventional object removal methods rely on image inpainting techniques (e.g., EdgeConnect, HiFill) that are trained in a self-supervised manner with randomly manipulated image pairs. Specifically, given a set of natural images, randomly masked images are used as inputs and the raw images are treated as ground truths. Whereas, this technique does not satisfy the requirements of facial parts removal, as it is hard to obtain ``ground-truth'' images with real ``blank'' faces. To address this issue, we propose a novel data generation technique to produce paired training data that well mimic the ``blank'' faces. In the mean time, we propose a novel network architecture for improved inpainting quality for our task. Finally, we demonstrate various face-oriented augmented reality applications on top of our facial parts removal model. The source codes are released at \href{https://github.com/duxingren14/FaceEraser}{duxingren14/FaceEraser} on github for research purposes.


title: Stigmergy-based collision-avoidance algorithm for self-organising swarms

abstract: Real-time multi-agent collision-avoidance algorithms comprise a key enabling technology for the practical use of self-organising swarms of drones. This paper proposes a decentralised reciprocal collision-avoidance algorithm, which is based on stigmergy and scalable. The algorithm is computationally inexpensive, based on the gradient of the locally measured dynamic cumulative signal strength field which results from the signals emitted by the swarm. The signal strength acts as a repulsor on each drone, which then tends to steer away from the noisiest regions (cluttered environment), thus avoiding collisions. The magnitudes of these repulsive forces can be tuned to control the relative importance assigned to collision avoidance with respect to the other phenomena affecting the agent's dynamics. We carried out numerical experiments on a self-organising swarm of drones aimed at fighting wildfires autonomously. As expected, it has been found that the collision rate can be reduced either by decreasing the cruise speed of the agents and/or by increasing the sampling frequency of the global signal strength field. A convenient by-product of the proposed collision-avoidance algorithm is that it helps maintain diversity in the swarm, thus enhancing exploration.


title: Complexes with the double centraliser property

abstract: In representation theory, the double centraliser property is an important property for a module (bimodule). It plays a fundamental role in many theories. In this paper, we extend this property to complexes in derived categories of finite dimensional algebras, under the name derived double centraliser property. Characterizations for complexes with the derived double centraliser property and (two-sided) tilting complexes in derived categories of hereditary algebras are given. In particular, all complexes with this property in the derived categories of lower triangular matrix algebras are classified.


title: A Deep Learning Perspective on Connected Automated Vehicle (CAV) Cybersecurity and Threat Intelligence

abstract: The automation and connectivity of CAV inherit most of the cyber-physical vulnerabilities of incumbent technologies such as evolving network architectures, wireless communications, and AI-based automation. This book chapter entails the cyber-physical vulnerabilities and risks that originated in IT, OT, and the physical domains of the CAV ecosystem, eclectic threat landscapes, and threat intelligence. To deal with the security threats in high-speed, high dimensional, multimodal data and assets from eccentric stakeholders of the CAV ecosystem, this chapter presents and analyzes some of the state of art deep learning-based threat intelligence for attack detection. The frontiers in deep learning, namely Meta-Learning and Federated Learning, along with their challenges have been included in the chapter. We have proposed, trained, and tested the deep CNN-LSTM architecture for CAV threat intelligence; assessed and compared the performance of the proposed model against other deep learning algorithms such as DNN, CNN, LSTM. Our results indicate the superiority of the proposed model although DNN and 1d-CNN also achieved more than 99% of accuracy, precision, recall, f1-score, and AUC on the CAV-KDD dataset. The good performance of deep CNN-LSTM comes with the increased model complexity and cumbersome hyperparameters tuning. Still, there are open challenges on deep learning adoption in the CAV cybersecurity paradigm due to lack of properly developed protocols and policies, poorly defined privileges between stakeholders, costlier training, adversarial threats to the model, and poor generalizability of the model under out of data distributions.


title: A Data-Analytic Evaluation of Smoking Cessation via Online Hypnosis

abstract: In this article we report the observations of our field study which investigates the success rates of online hypnosis for smoking cessation. Following an international call in Germany, Austria and Switzerland for subjects willing to stop smoking $83$ participants contributed to this study, which took place during the lockdowns of the COVID-19 pandemic. All subjects received two online hypnosis sessions in small groups and additionally got two MP3 audio files for invididual intensification. The participants sent back several questionnaires, from which we present the evaluation results, and we discuss the problems observed during the study. It turned out that $86\%$ of the participants are smoke-free after $6$ months as long as they participated according to the intervention protocol. Among all smokers after six months we have observed a reduction of $32\%$ in cigarette consumption. This report shall be seen as a statistical evaluation of the collected data and not as the report of a fully pre-designed study in a narrower sense.


title: An artificial neural network approach to bifurcating phenomena in computational fluid dynamics

abstract: This work deals with the investigation of bifurcating fluid phenomena using a reduced order modelling setting aided by artificial neural networks. We discuss the POD-NN approach dealing with non-smooth solutions set of nonlinear parametrized PDEs. Thus, we study the Navier-Stokes equations describing: (i) the Coanda effect in a channel, and (ii) the lid driven triangular cavity flow, in a physical/geometrical multi-parametrized setting, considering the effects of the domain's configuration on the position of the bifurcation points. Finally, we propose a reduced manifold-based bifurcation diagram for a non-intrusive recovery of the critical points evolution. Exploiting such detection tool, we are able to efficiently obtain information about the pattern flow behaviour, from symmetry breaking profiles to attaching/spreading vortices, even at high Reynolds numbers.

categories: physics.flu-dyn cs.LG cs.NA math.NA physics.comp-ph


title: The primitive filtration of the Leibniz complex

abstract: Pirashvili exhibited a small subcomplex of the Leibniz complex $(T(s \mathfrak{g}), d_{\mathrm{Leib}})$ of a Leibniz algebra $\mathfrak{g}$. The main result of this paper generalizes this result to show that the primitive filtration of $T(s\mathfrak{g})$ provides an increasing, exhaustive filtration of the Leibniz complex by subcomplexes, thus establishing a conjecture due to Loday. The associated spectral sequence is used to give a new proof of Pirashvili's conjecture that, when $\mathfrak{g}$ is a free Leibniz algebra, the homology of the Pirashvili complex is zero except in degree one. This result is then used to show that the desuspension of the Pirashvili complex carries a natural $L_\infty$-structure that induces the natural Lie algebra structure on the homology of the complex in degree zero.


title: HybridSDF: Combining Deep Implicit Shapes and Geometric Primitives for 3D Shape Representation and Manipulation

abstract: Deep implicit surfaces excel at modeling generic shapes but do not always capture the regularities present in manufactured objects, which is something simple geometric primitives are particularly good at. In this paper, we propose a representation combining latent and explicit parameters that can be decoded into a set of deep implicit and geometric shapes that are consistent with each other. As a result, we can effectively model both complex and highly regular shapes that coexist in manufactured objects. This enables our approach to manipulate 3D shapes in an efficient and precise manner.


title: Homological splitting results for modules over Leibniz algebras

abstract: A unified splitting result for Ext calculated in the category of modules over a Leibniz algebra is given for the case where coefficients are either both symmetric modules or both antisymmetric modules. This is a generalization of results of Loday and Pirashvili and others.


title: Magnetic field induced Valley-Polarized Quantum Anomalous Hall Effects in Ferromagnetic van der Waals Heterostructures

abstract: The valley-polarized quantum anomalous Hall effect (VQAHE) attracts intensive interest since it uniquely combines valleytronics and spintronics with nontrivial band topology. Here, based on first-principles calculations and Wannier-function-based tight-binding (WFTB) model, we reveal that valley-based Hall effects and especially the VQAHE induced by external magnetic fields can occur in two-dimensional (2D) ferromagnetic van der Waals heterostructures (vdWHs). The results show that considerable valley-splitting derived from the Zeeman exchange energy drives these vdWHs generating the valley anomalous Hall effect and then the VQAHE. The chiral edge states and quantized Hall conductance are utilized to confirm the presence of VQAHE. Besides, it is also found that external electric fields (or tuning interlayer distances) can facilitate the realization of VQAHE, and thus we present a phase diagram in a broad parameter regime of magnetic fields and electric fields (or interlayer distances). Our work not only offers a class of ferromagnetic vdWHs to realize various valley-based Hall phases, but also can guide advancements for designing topological devices with spin-valley filtering effects based on the VQAHE.


title: Exploring Adversarial Examples for Efficient Active Learning in Machine Learning Classifiers

abstract: Machine learning researchers have long noticed the phenomenon that the model training process will be more effective and efficient when the training samples are densely sampled around the underlying decision boundary. While this observation has already been widely applied in a range of machine learning security techniques, it lacks theoretical analyses of the correctness of the observation. To address this challenge, we first add particular perturbation to original training examples using adversarial attack methods so that the generated examples could lie approximately on the decision boundary of the ML classifiers. We then investigate the connections between active learning and these particular training examples. Through analyzing various representative classifiers such as k-NN classifiers, kernel methods as well as deep neural networks, we establish a theoretical foundation for the observation. As a result, our theoretical proofs provide support to more efficient active learning methods with the help of adversarial examples, contrary to previous works where adversarial examples are often used as destructive solutions. Experimental results show that the established theoretical foundation will guide better active learning strategies based on adversarial examples.


title: On the spectrum of the tridiagonal matrices with two-periodic main diagonal

abstract: We find the spectrum and eigenvectors of an arbitrary irreducible complex tridiagonal matrix with two-periodic main diagonal provided that the spectrum and eigenvectors of the matrix with the same sub- and superdiagonals and zero main diagonal is known. Our result substantially generalises some recent results on the Sylvester-Kac matrix and its certain main principal submatrices.


title: NaI(Tl+Li) scintillator as multirange energies neutron detector

abstract: Novel NaIL detector (5x6 inch) was investigated for aims of neutron detection in wide energy range. It has been found that the detector together with its known ability to detect the {\gamma}- radiation is also allows to distinguish neutron signals in three quasi-independent ways. It sensitive to neutron fluxes on a level down to $10^{-3}$ $cm^{-2}$ $s^{-1}$. In the work intrinsic {\alpha}- background and neutron detection efficiency for the NaIL detector were obtained. Experimental data was compared with results of Geant4 Monte Carlo (MC).


title: Multi-frequency solitons in commensurate-incommensurate photonic moir\'e lattices

abstract: We predict that photonic moir\'e patterns created by two mutually twisted periodic sublattices in quadratic nonlinear media allow the formation of parametric solitons under conditions that are strongly impacted by the geometry of the pattern. The question addressed here is how the geometry affects the joint trapping of multiple parametrically-coupled waves into a single soliton state. We show that above the localization-delocalization transition the threshold power for soliton excitation is drastically reduced relative to uniform media. Also, the geometry of the moir\'e pattern shifts the condition for phase-matching between the waves to the value that matches the edges of the eigenmode bands, thereby shifting the properties of all soliton families. Moreover, the phase-mismatch bandwidth for soliton generation is dramatically broadened in the moir\'e patterns relative to latticeless structures.


title: "It's a Trap!"-How Speculation Invariance Can Be Abused with Forward Speculative Interference

abstract: Speculative side-channel attacks access sensitive data and use transmitters to leak the data during wrong-path execution. Various defenses have been proposed to prevent such information leakage. However, not all speculatively executed instructions are unsafe: Recent work demonstrates that speculation invariant instructions are independent of speculative control-flow paths and are guaranteed to eventually commit, regardless of the speculation outcome. Compile-time information coupled with run-time mechanisms can then selectively lift defenses for speculation invariant instructions, reclaiming some of the lost performance. Unfortunately, speculation invariant instructions can easily be manipulated by a form of speculative interference to leak information via a new side-channel that we introduce in this paper. We show that forward speculative interference whereolder speculative instructions interfere with younger speculation invariant instructions effectively turns them into transmitters for secret data accessed during speculation. We demonstrate forward speculative interference on actual hardware, by selectively filling the reorder buffer (ROB) with instructions, pushing speculative invariant instructions in-or-out of the ROB on demand, based on a speculatively accessed secret. This reveals the speculatively accessed secret, as the occupancy of the ROB itself becomes a new speculative side-channel.


title: Separable equivalences, finitely generated cohomology and finite tensor categories

abstract: We show that finitely generated cohomology is invariant under separable equivalences for all algebras. As a result, we obtain a proof of the finite generation of cohomology for finite symmetric tensor categories in characteristic zero, as conjectured by Etingof and Ostrik. Moreover, for such categories we also determine the representation dimension and the Rouquier dimension of the stable category. Finally, we recover a number of results on the cohomology of stably equivalent and singularly equivalent algebras.


title: Towards a systematic treatment of observational uncertainties in forward asteroseismic modelling of gravity-mode pulsators

abstract: Context. In asteroseismology the pulsation mode frequencies of a star are the fundamental data that are compared to theoretical predictions to determine a star's interior physics. Recent significant advances in the numerical, theoretical and statistical asteroseismic methods applied to main sequence stars with convective cores have renewed the interest in investigating the propagation of observational uncertainties within a forward asteroseismic modelling framework. Aims. We aim to quantify the impact of various choices made throughout the observational aspects of extracting pulsation mode frequencies in main sequence stars with gravity modes. Methods. We use a well-studied benchmark slowly pulsating B star, KIC 7760680, to investigate the sensitivity of forward asteroseismic modelling to various sources of observational uncertainty that affect the precision of the input pulsation mode frequencies. Results. We quantify the impact of the propagation of the observational uncertainties involved in forward asteroseismic modelling. We find that one of the largest sources of uncertainty in our benchmark star is in the manual building of period spacing patterns, such that the inclusion of a potentially ambiguous pulsation mode frequency may yield differences in model parameters of up to 10% for mass and age depending on the radial order of the mode. Conclusions. We conclude that future asteroseismic studies of main sequence stars with a convective core should quantify and include observational uncertainties introduced by the light curve extraction, iterative pre-whitening and the building of period spacing patterns, as these propagate into the final modelling results.


title: Deep Variational Clustering Framework for Self-labeling of Large-scale Medical Images

abstract: We propose a Deep Variational Clustering (DVC) framework for unsupervised representation learning and clustering of large-scale medical images. DVC simultaneously learns the multivariate Gaussian posterior through the probabilistic convolutional encoder and the likelihood distribution with the probabilistic convolutional decoder; and optimizes cluster labels assignment. Here, the learned multivariate Gaussian posterior captures the latent distribution of a large set of unlabeled images. Then, we perform unsupervised clustering on top of the variational latent space using a clustering loss. In this approach, the probabilistic decoder helps to prevent the distortion of data points in the latent space and to preserve the local structure of data generating distribution. The training process can be considered as a self-training process to refine the latent space and simultaneously optimizing cluster assignments iteratively. We evaluated our proposed framework on three public datasets that represented different medical imaging modalities. Our experimental results show that our proposed framework generalizes better across different datasets. It achieves compelling results on several medical imaging benchmarks. Thus, our approach offers potential advantages over conventional deep unsupervised learning in real-world applications. The source code of the method and all the experiments are available publicly at: https://github.com/csfarzin/DVC


title: Label Cleaning Multiple Instance Learning: Refining Coarse Annotations on Single Whole-Slide Images

abstract: Annotating cancerous regions in whole-slide images (WSIs) of pathology samples plays a critical role in clinical diagnosis, biomedical research, and machine learning algorithms development. However, generating exhaustive and accurate annotations is labor-intensive, challenging, and costly. Drawing only coarse and approximate annotations is a much easier task, less costly, and it alleviates pathologists' workload. In this paper, we study the problem of refining these approximate annotations in digital pathology to obtain more accurate ones. Some previous works have explored obtaining machine learning models from these inaccurate annotations, but few of them tackle the refinement problem where the mislabeled regions should be explicitly identified and corrected, and all of them require a -- often very large -- number of training samples. We present a method, named Label Cleaning Multiple Instance Learning (LC-MIL), to refine coarse annotations on a single WSI without the need of external training data. Patches cropped from a WSI with inaccurate labels are processed jointly within a multiple instance learning framework, mitigating their impact on the predictive model and refining the segmentation. Our experiments on a heterogeneous WSI set with breast cancer lymph node metastasis, liver cancer, and colorectal cancer samples show that LC-MIL significantly refines the coarse annotations, outperforming state-of-the-art alternatives, even while learning from a single slide. Moreover, we demonstrate how real annotations drawn by pathologists can be efficiently refined and improved by the proposed approach. All these results demonstrate that LC-MIL is a promising, light-weight tool to provide fine-grained annotations from coarsely annotated pathology sets.


title: A mean-field extension of the LIBOR market model

abstract: We introduce a mean-field extension of the LIBOR market model (LMM) which preserves the basic features of the original model. Among others, these features are the martingale property, a directly implementable calibration and an economically reasonable parametrization of the classical LMM. At the same time, the mean-field LIBOR market model (MF-LMM) is designed to reduce the probability of exploding scenarios, arising in particular in the market-consistent valuation of long-term guarantees. To this end, we prove existence and uniqueness of the corresponding MF-LMM and investigate its practical aspects, including a Black '76-type formula. Moreover, we present an extensive numerical analysis of the MF-LMM. The corresponding Monte Carlo method is based on a suitable interacting particle system which approximates the underlying mean-field equation.


title: Stability Assessment for Multi-Infeed Grid-Connected VSCs Modeled in the Admittance Matrix Form

abstract: The increasing use of power electronics converters to integrate renewable energy sources has been subject of concern due to the resonance oscillatory phenomena caused by their interaction with poorly damped AC networks. Early studies are focused to assess the controller influence of a single converter connected to simple networks, and they are no longer representative for existing systems. Lately, studies of multi-infeed grid-connected converters are of particular interest, and their main aim is to apply traditional criteria and identify their difficulties in the stability assessment. An extension of traditional criteria is commonly proposed as a result of these analysis, but they can be burdensome for large and complex power systems. The present work addresses this issue by proposing a simple criterion to assess the stability of large power systems with high-penetration of power converters. The criterion has its origin in the mode analysis and positive-net damping stability criteria, and it addresses the stability in the frequency domain by studying the eigenvalues magnitude and real component of dynamic models in the admittance matrix form. Its effectiveness is tested in two case studies developed in Matlab/Simulink which compare it with traditionally criteria, proving its simplicity.


title: Introducing Symmetries to Black Box Meta Reinforcement Learning

abstract: Meta reinforcement learning (RL) attempts to discover new RL algorithms automatically from environment interaction. In so-called black-box approaches, the policy and the learning algorithm are jointly represented by a single neural network. These methods are very flexible, but they tend to underperform in terms of generalisation to new, unseen environments. In this paper, we explore the role of symmetries in meta-generalisation. We show that a recent successful meta RL approach that meta-learns an objective for backpropagation-based learning exhibits certain symmetries (specifically the reuse of the learning rule, and invariance to input and output permutations) that are not present in typical black-box meta RL systems. We hypothesise that these symmetries can play an important role in meta-generalisation. Building off recent work in black-box supervised meta learning, we develop a black-box meta RL system that exhibits these same symmetries. We show through careful experimentation that incorporating these symmetries can lead to algorithms with a greater ability to generalise to unseen action & observation spaces, tasks, and environments.


title: Potential for a precision measurement of solar $pp$ neutrinos in the Serappis Experiment

abstract: The Serappis (SEarch for RAre PP-neutrinos In Scintillator) project aims at a precision measurement of the flux of solar $pp$ neutrinos on the few-percent level. Such a measurement will be a relevant contribution to the study of solar neutrino oscillation parameters and a sensitive test of the solar luminosity constraint. The concept of Serappis relies on a small organic liquid scintillator detector ($\sim$20 m$^3$) with excellent energy resolution ($\sim$2.5 % at 1 MeV), low internal background and sufficient shielding from surrounding radioactivity. This can be achieved by a minor upgrade of the OSIRIS facility at the site of the JUNO neutrino experiment in southern China. To go substantially beyond current accuracy levels for the $pp$ flux, an organic scintillator with ultra-low $^{14}$C levels (below $10^{-18}$) is required. The existing OSIRIS detector and JUNO infrastructure will be instrumental in identifying suitable scintillator materials, offering a unique chance for a low-budget high-precision measurement of a fundamental property of our Sun that will be otherwise hard to access.


title: Dynamic Behaviors and Training Effects in TiN/Ti/HfO$_x$/TiN Nanolayered Memristors with Controllable Quantized Conductance States: Implications for Quantum and Neuromorphic Computing Devices

abstract: Controllable quantized conductance states of TiN/Ti/HfO$_x$/TiN memristors are realized with great precision through a pulse-mode reset procedure, assisted with analytical differentiation of the condition of the set procedure, which involves critical monitoring of the measured bias voltage. An intriguing training effect that leads to faster switching of the states is also observed during the operation. Detailed analyses on the low- and high-resistance states under different compliance currents reveal a complete picture of the structural evolution and dynamic behaviors of the conductive filament in the HfO$_x$ layer. This study provides a closer inspection on the quantum-level manipulation of nanoscale atomic configurations in the memristors, which helps to develop essential knowledge about the design and fabrication of the future memristor-based quantum devices and neuromorphic computing devices.


title: The hypocoercivity index for the short time behavior of linear time-invariant ODE systems

abstract: We consider the class of conservative-dissipative ODE systems, which is a subclass of Lyapunov stable, linear time-invariant ODE systems. We characterize asymptotically stable, conservative-dissipative ODE systems via the hypocoercivity (theory) of their system matrices. Our main result is a concise characterization of the hypocoercivity index (an algebraic structural property of matrices with positive semi-definite Hermitian part introduced in Achleitner, Arnold, and Carlen (2018)) in terms of the short time behavior of the propagator norm for the associated conservative-dissipative ODE system.


title: Near-term Efficient Quantum Algorithms for Entanglement Analysis

abstract: Entanglement plays a crucial role in quantum physics and is the key resource in quantum information processing. However, entanglement detection and quantification are believed to be hard due to the operational impracticality of existing methods. This work proposes three near-term efficient algorithms exploiting the hybrid quantum-classical technique to address this difficulty. The first algorithm finds the Schmidt decomposition--a powerful tool to analyze the properties and structure of entanglement--for bipartite pure states. While the logarithm negativity can be calculated from the Schmidt decomposition, we propose the second algorithm to estimate the logarithm negativity for bipartite pure states, where the width of the parameterized quantum circuits is further reduced. Finally, we generalize our framework for mixed states, leading to our third algorithm which detects entanglement on specific families of states, and determines disdillability in general. All three algorithms share a similar framework where the optimizations are accomplished by maximizing a cost function utilizing local parameterized quantum circuits, with better hardware efficiency and practicality compared to existing methods. The experimental implementation on Quantum Leaf using the IoP CAS superconducting quantum processor exhibits the validity and practicality of our methods for analyzing and quantifying entanglement on near-term quantum devices.


title: Exact solutions of a nonlinear diffusion equation on polynomial invariant subspace of maximal dimension

abstract: The nonlinear diffusion equation $u_t = (u^{- 4/3} u_x)_x$ is reduced by the substitution $u = v^{- 3/4}$ to an equation with quadratic nonlinearities possessing a polynomial invariant linear subspace of the maximal possible dimension equal to five. The dynamics of the solutions on this subspace is described by a fifth-order nonlinear dynamical system (V.A. Galaktionov). We found that, on differentiation, this system reduces to a single linear equation of the second order, which is a special case of the Lam\'e equation, and that the general solution of this linear equation is expressed in terms of the Weierstrass $\wp$-function and its derivative. As a result, all exact solutions $v(x,t)$ on a five-dimensional polynomial invariant subspace, as well as the corresponding solutions $u(x,t)$ of the original equation, are constructed explicitly. Using invariance condition, two families of non-invariant solutions are singled out. For one of these families, all types of solutions are considered in detail. Some of them describe peculiar blow-up regimes, while others fade out in finite time.


title: DHT-based Communications Survey: Architectures and Use Cases

abstract: Several distributed system paradigms utilize Distributed Hash Tables (DHTs) to realize structured peer-to-peer (P2P) overlays. DHT structures arise as the most commonly used organizations for peers that can efficiently perform crucial services such as data storage, replication, query resolution, and load balancing. With the advances in various distributed system technologies, novel and efficient solutions based on DHTs emerge and play critical roles in system design. DHT-based methods and communications have been proposed to address challenges such as scalability, availability, reliability and performance, by considering unique characteristics of these technologies. In this article, we propose a classification of the state-of-the-art DHT-based methods focusing on their system architecture, communication, routing and technological aspects across various system domains. To the best of our knowledge, there is no comprehensive survey on DHT-based applications from system architecture and communication perspectives that spans various domains of recent distributed system technologies. We investigate the recently emerged DHT-based solutions in the seven key domains of edge and fog computing, cloud computing, blockchain, the Internet of Things (IoT), Online Social Networks (OSNs), Mobile Ad Hoc Networks (MANETs), and Vehicular Ad Hoc Networks (VANETs). In contrast to the existing surveys, our study goes beyond the commonly known DHT methods such as storage, routing, and lookup, and identifies diverse DHT-based solutions including but not limited to aggregation, task scheduling, resource management and discovery, clustering and group management, federation, data dependency management, and data transmission. Furthermore, we identify open problems and discuss future research guidelines for each domain.


title: An Optimal Control Problem for Single-Spot Pulsed Laser Welding

abstract: We consider an optimal control problem for a single-spot pulsed laser welding problem. The distribution of thermal energy is described by a quasilinear heat equation. Our emphasis is on materials which tend to suffer from hot cracking, such as aluminum alloys. A simple indicator for the occurrence of hot cracks is the velocity of the solidification front. We therefore formulate an optimal control problem whose objective contains a term which penalizes excessive solidification velocities. The control function to be optimized is the laser power over time, subject to pointwise lower and upper bounds. We describe the finite element discretization of the problem and a projected gradient scheme for its solution. Numerical experiments for material data representing the EN AW 6082-T6 aluminum alloy exhibit interesting laser pulse patterns which perform significantly better than standard ramp-down patterns.


title: Do I Get the Privacy I Need? Benchmarking Utility in Differential Privacy Libraries

abstract: An increasing number of open-source libraries promise to bring differential privacy to practice, even for non-experts. This paper studies five libraries that offer differentially private analytics: Google DP, SmartNoise, diffprivlib, diffpriv, and Chorus. We compare these libraries qualitatively (capabilities, features, and maturity) and quantitatively (utility and scalability) across four analytics queries (count, sum, mean, and variance) executed on synthetic and real-world datasets. We conclude that these libraries provide similar utility (except in some notable scenarios). However, there are significant differences in the features provided, and we find that no single library excels in all areas. Based on our results, we provide guidance for practitioners to help in choosing a suitable library, guidance for library designers to enhance their software, and guidance for researchers on open challenges in differential privacy tools for non-experts.


title: Evaluation of mechanical and energy properties for the phase field modeling of failure

abstract: In recent years, various phase field models have been developed in variational methods to simulate the failure of brittle solids. However, there is a lack of objective evaluation of the existing results, and in particular, there are few studies on model nonhomogeneous resolution, stress-strain linear elastic properties, and failure stress estimation. To compensate for the above gaps, the commonly used variational phase field model is systematically analyzed to solve the problem of evaluating the mechanics and energy properties of the model in this paper. The unified expression of the analytical solution and the nonhomogeneous solution under specific boundary conditions is analyzed and verified. Additionally, we theoretically analyze the energy properties of the phase field model and study the influence of the critical strain energy on the damage field, stress and strain of different models. Finally, the effect of different effective material parameters on the material failure stress is analyzed, the stress estimation formula for the failure of mode I of various phase field models is given, and the accuracy of the theory is verified by some examples.


title: On the effect of slip transfer at grain boundaries on the strength of FCC polycrystals

abstract: The effect of slip transfer on the flow strength of various FCC polycrystals was analyzed by means of computational homogenization of a representative volume element of the microstructure. The crystal behavior was governed by a physically-based crystal plasticity model in the framework of finite strains where slip transfer at grain boundaries was allowed between slip systems suitably oriented according to geometrical criteria. Conversely, slip transfer was blocked if the conditions for slip transfer were not fulfilled, leading to the formation of dislocation pile-ups. All the model parameters for each material were identified from either dislocation dynamics simulations or experimental data from the literature. Slip transfer led to a reduction in the flow stress of the polycrystals (as compared with the simulations with opaque grain boundaries) which was dependent on the fraction of translucent and transparent grain boundaries in the microstructure. Moreover, dislocation densities and Von Mises stresses were much higher around opaque grain boundaries, which become suitable places for damage nucleation. Finally, predictions of the Hall-Petch effect in Al, Ni, Cu and Ag polycrystals including slip transfer were in better agreement with the literature results, as compared with predictions assuming that all grain boundaries are opaque, particularly for small grain sizes ($<$ 20 $\mu$m).


title: Electric field lines of an arbitrarily moving charged particle

abstract: In this paper it is shown that the equations of electric field lines of an arbitrarily moving charged particle in the general case are reduced to homogeneous, linear differential equations with variable coefficients. For trajectories where the expression b=Zeta/(Gamma*Kappa) is a constant (Zeta - orbit torsion, Kappa - orbit curvature, Gamma - Lorentz factor of a particle) these equations are reduced to homogeneous, linear differential equations with constant coefficients. This case, in particular, includes all planar trajectories. This paper presents solutions of the equations of electric field lines and corresponding illustrations both in the orbital plane and outside it for a charge moving in a flat monochromatic linearly polarized wave.


title: Physics-informed Neural Networks-based Model Predictive Control for Multi-link Manipulators

abstract: We discuss nonlinear model predictive control (NMPC) for multi-body dynamics via physics-informed machine learning methods. Physics-informed neural networks (PINNs) are a promising tool to approximate (partial) differential equations. PINNs are not suited for control tasks in their original form since they are not designed to handle variable control actions or variable initial values. We thus present the idea of enhancing PINNs by adding control actions and initial conditions as additional network inputs. The high-dimensional input space is subsequently reduced via a sampling strategy and a zero-hold assumption. This strategy enables the controller design based on a PINN as an approximation of the underlying system dynamics. The additional benefit is that the sensitivities are easily computed via automatic differentiation, thus leading to efficient gradient-based algorithms. Finally, we present our results using our PINN-based MPC to solve a tracking problem for a complex mechanical system, a multi-link manipulator.


title: Entropic Issues in Likelihood-Based OOD Detection

abstract: Deep generative models trained by maximum likelihood remain very popular methods for reasoning about data probabilistically. However, it has been observed that they can assign higher likelihoods to out-of-distribution (OOD) data than in-distribution data, thus calling into question the meaning of these likelihood values. In this work we provide a novel perspective on this phenomenon, decomposing the average likelihood into a KL divergence term and an entropy term. We argue that the latter can explain the curious OOD behaviour mentioned above, suppressing likelihood values on datasets with higher entropy. Although our idea is simple, we have not seen it explored yet in the literature. This analysis provides further explanation for the success of OOD detection methods based on likelihood ratios, as the problematic entropy term cancels out in expectation. Finally, we discuss how this observation relates to recent success in OOD detection with manifold-supported models, for which the above decomposition does not hold directly.


title: Neural network relief: a pruning algorithm based on neural activity

abstract: Current deep neural networks (DNNs) are overparameterized and use most of their neuronal connections during inference for each task. The human brain, however, developed specialized regions for different tasks and performs inference with a small fraction of its neuronal connections. We propose an iterative pruning strategy introducing a simple importance-score metric that deactivates unimportant connections, tackling overparameterization in DNNs and modulating the firing patterns. The aim is to find the smallest number of connections that is still capable of solving a given task with comparable accuracy, i.e. a simpler subnetwork. We achieve comparable performance for LeNet architectures on MNIST, and significantly higher parameter compression than state-of-the-art algorithms for VGG and ResNet architectures on CIFAR-10/100 and Tiny-ImageNet. Our approach also performs well for the two different optimizers considered -- Adam and SGD. The algorithm is not designed to minimize FLOPs when considering current hardware and software implementations, although it performs reasonably when compared to the state of the art.


title: Thermal divergences of quantum measurement engine

abstract: A quantum engine fueled by quantum measurement is proposed. Under the finite-time adiabatic driving regime, the conversion of heat to work is realized without the compression and expansion of the resonance frequency. The work output, quantum heat, and efficiency are derived, highlighting the important role of the thermal divergence recently reappearing in open quantum systems. The key problem of how the measurement basis can be optimized to enhance the performance is solved by connecting the thermal divergence to the nonequilibrium free energy and entropy. The spin-engine architecture offers a comprehensive platform for future investigations of extracting work from quantum measurement.


title: Improved Multi-label Classification with Frequent Label-set Mining and Association

abstract: Multi-label (ML) data deals with multiple classes associated with individual samples at the same time. This leads to the co-occurrence of several classes repeatedly, which indicates some existing correlation among them. In this article, the correlation among classes has been explored to improve the classification performance of existing ML classifiers. A novel approach of frequent label-set mining has been proposed to extract these correlated classes from the label-sets of the data. Both co-presence (CP) and co-absence (CA) of classes have been taken into consideration. The rules mined from the ML data has been further used to incorporate class correlation information into existing ML classifiers. The soft scores generated by an ML classifier are modified through a novel approach using the CP-CA rules. A concept of certain and uncertain scores has been defined here, where the proposed method aims to improve the uncertain scores with the help of the certain scores and their corresponding CP-CA rules. This has been experimentally analysed on ten ML datasets for three ML existing classifiers which shows substantial improvement in their overall performance.


title: Data-Driven Design of Novel Halide Perovskite Alloys

abstract: The great tunability of the properties of halide perovskites presents new opportunities for optoelectronic applications as well as significant challenges associated with exploring combinatorial chemical spaces. In this work, we develop a framework powered by high-throughput computations and machine learning for the design and prediction of mixed cation halide perovskite alloys. In a chemical space of ABX$_{3}$ perovskites with a selected set of options for A, B, and X atoms, pseudo-cubic structures of compounds with B-site mixing are simulated using density functional theory (DFT) and several properties are computed, including stability, lattice constant, band gap, vacancy formation energy, refractive index, and optical absorption spectrum, using both semi-local and hybrid functionals. Neural networks (NN) are used to train predictive models for every property using tabulated elemental properties of A, B, and X site atoms as descriptors. Starting from the DFT dataset of 229 points, we use the trained NN models to predict the structural, energetic, electronic and optical properties of a complete dataset of 17,955 compounds, and perform high-throughput screening in terms of stability, band gap and defect tolerance, to obtain 574 promising compounds that are ranked as potential absorbers according to their photovoltaic figure of merit. Compositional trends in the screened set of attractive mixed cation halide perovskites are revealed and additional computations are performed on selected compounds. The data-driven design framework developed here is promising for designing novel mixed compositions and can be extended to a wider perovskite chemical space in terms of A, B, and X atoms, different kinds of mixing at the A, B, or X sites, non-cubic phases, and other properties of interest.


title: Critical Temperatures of Hard-Core Boson Model on Square Lattice within Bethe Approximation

abstract: The short-range correlations are considered for a two-dimensional hard-core boson model on square lattice within Bethe approximation for the clusters consisting of two and four sites. Explicit equations are derived for the critical temperatures of charge and superfluid ordering and their solutions are considered for various ratios of the charge-charge correlation parameter to the transfer integral. It is shown that taking into account short-range correlations for the temperatures of charge ordering results in the appearance of the critical concentration of bosons, which restricts the existence domain of the solutions of charge ordering type. In the case of superfluid ordering with the assumption of short-range correlations, the critical temperature is reduced up to zero values at half-filling. A phase diagram of the hard-core boson model is constructed with the assumption of phase separation within Maxwell's construction and it is shown that taking into account short-range correlations within Bethe approximation quantitatively approximates the form of phase diagram to the results of the quantum Monte Carlo method.


title: Terahertz Band-Pass Filters for Wideband Superconducting On-chip Filter-bank Spectrometers

abstract: A superconducting microstrip half-wavelength resonator is proposed as a suitable band-pass filter for broadband moderate spectral resolution spectroscopy for terahertz (THz) astronomy. The proposed filter geometry has a free spectral range of an octave of bandwidth without introducing spurious resonances, reaches a high coupling efficiency in the pass-band and shows very high rejection in the stop-band to minimize reflections and cross-talk with other filters. A spectrally sparse prototype filter-bank in the band 300-400 GHz has been developed employing these filters as well as an equivalent circuit model to anticipate systematic errors. The fabricated chip has been characterized in terms of frequency response, reporting an average peak coupling efficiency of 27% with an average spectral resolution of 940.


title: Special holomorphic tensors on orthogonal modular varieties and applications to the Lang conjecture

abstract: We introduce a method to construct special holomorphic tensors on orthogonal modular varieties from scalar-valued modular forms, and give applications to the Lang conjecture on the birational type of subvarieties of orthogonal modular varieties.


title: Muon g-2, Dark Matter and the Higgs mass in No-Scale Supergravity

abstract: We discuss the phenomenology of no-scale supergravity (SUGRA), in which the universal scalar mass is zero at the high scale, focussing on the recently updated muon g-2 measurement, and including dark matter and the correct Higgs boson mass. Such no-scale supergravity scenarios arise naturally from string theory and are also inspired by the successful Starobinsky inflation, with a class of minimal models leading to a strict upper bound on the gravitino mass m3/2 < 103 TeV. We perform a Monte Carlo scan over the allowed parameter space, assuming a mixture of pure gravity mediated and universal gaugino masses, using the SPheno package linked to FeynHiggs, MicrOmegas and CheckMate, displaying the results in terms of a Likelihood function. We present results for zero and non-zero trilinear soft parameters, and for different signs of gaugino masses, giving a representative set of benchmark points for each viable region of parameter space. We find that, while no-scale SUGRA can readily satisfy the dark matter and Higgs boson mass requirements, consistent with all other phenomenological constraints, the muon g- 2 measurement may be accommodated only in certain regions of parameter space, close to the LHC excluded regions for light sleptons and charginos.


title: Multi-Slice Clustering for 3-order Tensor Data

abstract: Several methods of triclustering of three dimensional data require the specification of the cluster size in each dimension. This introduces a certain degree of arbitrariness. To address this issue, we propose a new method, namely the multi-slice clustering (MSC) for a 3-order tensor data set. We analyse, in each dimension or tensor mode, the spectral decomposition of each tensor slice, i.e. a matrix. Thus, we define a similarity measure between matrix slices up to a threshold (precision) parameter, and from that, identify a cluster. The intersection of all partial clusters provides the desired triclustering. The effectiveness of our algorithm is shown on both synthetic and real-world data sets.


title: Nondegeneracy of heteroclinic orbits for a class of potentials on the plane

abstract: In the scalar case, the nondegeneracy of heteroclinic orbits is a well-known property, commonly used in problems involving nonlinear elliptic, parabolic or hyperbolic P.D.E. On the other hand, Schatzman proved that in the vector case this assumption is generic, in the sense that for any potential $W:\mathbb{R}^m\to\mathbb{R}$, $m\geq 2$, there exists an arbitrary small perturbation of $W$, such that for the new potential minimal heteroclinic orbits are nondegenerate. However, to the best of our knowledge, nontrivial explicit examples of such potentials are not available. In this paper, we prove the nondegeneracy of heteroclinic orbits for potentials $W:\mathbb{R|^2\to [0,\infty)$ that can be written as $W(z)=|f(z)|^2$, with $f:\mathbb{C} \to \mathbb{C}$ a holomorphic function.


title: Statistical Methods for Quantum State Verification and Fidelity Estimation

abstract: The efficient and reliable certification of quantum states is essential for various quantum information processing tasks as well as for the general progress on the implementation of quantum technologies. In the last few years several methods have been introduced which use advanced statistical methods to certify quantum states in a resource-efficient manner. In this article we present a review of the recent progress in this field. We first explain how the verification and fidelity estimation of a quantum state can be discussed in the language of hypothesis testing. Then, we explain in detail various strategies for the verification of entangled states with local measurements or measurements assisted by local operations and classical communication. Finally, we discuss several extensions of the problem, such as the certification of quantum channels and the verification of entanglement.


title: Performance of the quantum MaxEnt estimation in the presence of physical symmetries

abstract: When an informationally complete measurement is not available, the reconstruction of the density operator that describes the state of a quantum system can be accomplish, in a reliable way, by adopting the maximum entropy principle (MaxEnt principle), as an additional criterion, to obtain the least biased estimation. In this paper, we study the performance of the MaxEnt method for quantum state estimation when there is prior information about symmetries of the unknown state. We explicitly describe how to work with this method in the most general case, and present an algorithm that allows to improve the estimation of quantum states with arbitrary symmetries. Furthermore, we implement this algorithm to carry out numerical simulations estimating the density matrix of several three-qubit states of particular interest for quantum information tasks. We observed that, for most states, our approach allows to considerably reduce the number of independent measurements needed to obtain a sufficiently high fidelity in the reconstruction of the density matrix. Moreover, we analyze the performance of the method in realistic scenarios, showing that it is robust even when considering the effect of finite statistics, and under the presence of typical experimental noise.


title: Measurements of branching fractions and CP-violating charge asymmetries in multibody charmless $B$ decays reconstructed in 2019-2020 Belle II data

abstract: We report on measurements of branching fractions ($\mathcal{B}$) and CP-violating charge asymmetries ($\mathcal{A}_{\rm CP}$) of multibody charmless $B$ decays reconstructed by the Belle II experiment at the SuperKEKB electron-positron collider. We use a sample of collisions collected in 2019 and 2020 at the $\Upsilon(4S)$ resonance and corresponding to $62.8$ fb$^{-1}$ of integrated luminosity. We use simulation to determine optimized event selections. The $\Delta E$ and $M_{\rm bc}$ distributions of the resulting samples are fit to determine signal yields of approximately 690, 840, and 380 decays for the channels $B^+ \to K^+K^-K^+$, $B^+ \to K^+\pi^-\pi^+$, and $B^0 \to K^+\pi^-\pi^0$, respectively. These yields are corrected for efficiencies determined from simulation and control data samples to obtain $\mathcal{B}(B^+ \to K^+K^-K^+) = [35.8 \pm 1.6(\rm stat) \pm 1.4 (\rm syst)]\times 10^{-6}$, $\mathcal{B}(B^+ \to K^+\pi^-\pi^+) = [67.0 \pm 3.3 (\rm stat)\pm 2.3 (\rm syst)]\times 10^{-6}$, $\mathcal{B}(B^0 \to K^+\pi^-\pi^0) = [38.1 \pm 3.5 (\rm stat)\pm 3.9 (\rm syst)]\times 10^{-6}$, $\mathcal{A}_{\rm CP}(B^+ \to K^+K^-K^+) = -0.103 \pm 0.042(\rm stat) \pm 0.020 (\rm syst)$, $\mathcal{A}_{\rm CP}(B^+ \to K^+\pi^-\pi^+) = -0.010 \pm 0.050 (\rm stat)\pm 0.021(\rm syst)$, and $\mathcal{A}_{\rm CP}(B^0 \to K^+\pi^-\pi^0) = 0.207 \pm 0.088 (\rm stat)\pm 0.011(\rm syst)$. Results are consistent with previous measurements and demonstrate detector performance comparable with the best Belle results.


title: Population-scale dietary interests during the COVID-19 pandemic

abstract: The SARS-CoV-2 virus has altered people's lives around the world. Here we document population-wide shifts in dietary interests in 18 countries in 2020, as revealed through time series of Google search volumes. We find that during the first wave of the COVID-19 pandemic there was an overall surge in food interest, larger and longer-lasting than the surge during typical end-of-year holidays in Western countries. The shock of decreased mobility manifested as a drastic increase in interest in consuming food at home and a corresponding decrease in consuming food outside of home. The largest (up to threefold) increases occurred for calorie-dense carbohydrate-based foods such as pastries, bakery products, bread, and pies. The observed shifts in dietary interests have the potential to globally affect food consumption and health outcomes. These findings can inform governmental and organizational decisions regarding measures to mitigate the effects of the COVID-19 pandemic on diet and nutrition.


title: Kagome superconductors AV$_3$Sb$_5$ (A=K, Rb, Cs)

abstract: The quasi two-dimensional (quasi-2D) kagome materials AV$_3$Sb$_5$ (A=K, Rb, Cs) were found to be a prime example of kagome superconductors, a new quantum platform to investigate the interplay between electron correlation effects, topology and geometric frustration. In this review, we report recent progress on the experimental and theoretical studies of AV$_3$Sb$_5$ and provide a broad picture of this fast-developing field in order to stimulate an expanded search for unconventional kagome superconductors. We review the electronic properties of AV$_3$Sb$_5$, the experimental measurements of the charge density wave state, evidence of time-reversal symmetry breaking, and other potential hidden symmetry breaking in these materials. A variety of theoretical proposals and models that address the nature of the time-reversal symmetry breaking are discussed. Finally, we review the superconducting properties of AV$_3$Sb$_5$, especially the potential pairing symmetries and the interplay between superconductivity and the charge density wave state.


title: On the continuity of optimal stopping surfaces for jump-diffusions

abstract: We show that optimal stopping surfaces $(t,y)\mapsto x_*(t,y)$ arising from time-inhomogeneous optimal stopping problems on two-dimensional jump-diffusions $(X,Y)$ are continuous (jointly in time and space) under mild monotonicity and regularity assumptions of local nature.


title: Revisiting rescattering contributions to $\overline{B}_{(s)}\to D^{(*)}_{(s)} M$ decays

abstract: Motivated by the reported discrepancies between experimental data and Standard Model predictions for the branching ratios of the color-allowed decays $\overline{B}^0 \to D^{(*)+}K^-$ and $\overline{B}^0_s \to D^{(*)+}_s \pi^-$, we study final-state rescattering effects on $\overline{B}_{(s)}\to D^{(*)}_{(s)} P$ and $\overline{B}_{(s)}\to D_{(s)} V$, where $P$ ($V$) is a light pseudoscalar (vector) meson. We consider quasi-elastic rescatterings in the framework of $SU(3)$ and $U(3)$ flavor symmetries, and find that the effects cannot explain the measured branching ratios of the color-allowed and color-suppressed decays simultaneously. We also perform global fits to the $\overline{B}_{(s)}\to D^{(*)}_{(s)} P$ and $\overline{B}_{(s)}\to D_{(s)} V$ data, allowing for new physics contributions to the Wilson coefficient $a_1$ associated with the color-allowed tree amplitudes. It is shown that the fits prefer a downward shift of $\mathcal{O}(10\%)$ in $a_1$ even in the presence of the quasi-elastic rescattering contributions.


title: Scalar Cherenkov radiation from high-energy cosmic rays

abstract: As first noted by Robert Wagoner in the 1970s, if a scalar field is nonminimally coupled to the Ricci scalar and propagates at subluminal speeds, then there exists the possibility of scalar $\check{\hbox{C}}$erenkov radiation from a moving particle. The mere observation of high-energy cosmic rays could in principle rule out the existence of such scalar fields since any particle moving faster than scalar perturbations would lose energy in the form of scalar waves until it moves slower than those. We compute in detail the energy loss to scalar waves and find that it scales with the square of the ultra-violet (UV) cutoff frequency of the effective field theory (EFT) of gravity. For dark-energy-motivated EFTs, the UV cutoff can be low, in which case that energy loss could always be negligible. In contrast, if viewed as a covariant theory valid at all scales or as an EFT valid at higher energies, perhaps even all the way up to the Planck scale, as may be the case if motivated by quantum-gravity perspectives, then the energy loss to scalar waves may diverge or become dramatically large. In this case, high-energy cosmic rays of extragalactic origin stringently constrain any conformally coupled scalar fields with non-canonical kinetic terms, although a minimum scalar phase velocity is required to trust the EFT.


title: A Workflow for Offline Model-Free Robotic Reinforcement Learning

abstract: Offline reinforcement learning (RL) enables learning control policies by utilizing only prior experience, without any online interaction. This can allow robots to acquire generalizable skills from large and diverse datasets, without any costly or unsafe online data collection. Despite recent algorithmic advances in offline RL, applying these methods to real-world problems has proven challenging. Although offline RL methods can learn from prior data, there is no clear and well-understood process for making various design choices, from model architecture to algorithm hyperparameters, without actually evaluating the learned policies online. In this paper, our aim is to develop a practical workflow for using offline RL analogous to the relatively well-understood workflows for supervised learning problems. To this end, we devise a set of metrics and conditions that can be tracked over the course of offline training, and can inform the practitioner about how the algorithm and model architecture should be adjusted to improve final performance. Our workflow is derived from a conceptual understanding of the behavior of conservative offline RL algorithms and cross-validation in supervised learning. We demonstrate the efficacy of this workflow in producing effective policies without any online tuning, both in several simulated robotic learning scenarios and for three tasks on two distinct real robots, focusing on learning manipulation skills with raw image observations with sparse binary rewards. Explanatory video and additional results can be found at sites.google.com/view/offline-rl-workflow


title: Fractional Growth Portfolio Investment

abstract: We review some fundamental concepts of investment from a mathematical perspective, concentrating specifically on fractional-Kelly portfolios, which allocate a fraction of wealth to a growth-optimal portfolio while the remainder collects (or pays) interest at a risk-free rate. We elucidate a coherent continuous-parameter time-series framework for analysis of these portfolios, explaining relationships between Sharpe ratios, growth rates, and leverage. We see how Kelly's criterion prescribes the same leverage as Markowitz mean-variance optimization. Furthermore, for fractional Kelly portfolios, we state a simple distributional relationship between portfolio Sharpe ratio, the fractional coefficient, and portfolio log-returns. These results provide critical insight into realistic expectations of growth for different classes of investors, from individuals to quantitative trading operations. We then illustrate application of the results by analyzing performance of various bond and equity mixes for an investor. We also demonstrate how the relationships can be exploited by a simple method-of-moments calculation to estimate portfolio Sharpe ratios and levels of risk deployment, given a fund's reported returns.


title: A new block alternating splitting iteration method for solving a class of two-by-two block complex linear systems

abstract: A block alternating splitting iteration (BASI) method is presented for solving the system arising from the finite element discretization of the distributed optimal control problem with time-periodic parabolic equations. We prove that the BASI method is unconditionally convergent. We derive the BASI preconditioner and present an estimation formula for the parameter of the BASI preconditioner. Numerical results are presented to verify the efficiency of both the BASI method and the BASI preconditioner. Comparison with some existing methods are also given.


title: Airborne virus transmission under different weather conditions

abstract: The COVID19 infection is known to disseminate through droplets ejected by infected individuals during coughing, sneezing, speaking and breathing. The spread of the infection and hence its menace depend on how the virus-loaded droplets evolve in space and time with changing environmental conditions. In view of this, we investigate the evolution of the droplets within the purview of the Brownian motion of the evaporating droplets in the air with varying weather conditions under the action of gravity. We track the movement of the droplets till either they gravitationally settle on the ground or evaporate to aerosols of size 2$\mu$m or less. Droplets with radii $2 \mu$m or less may continue to diffuse and remain suspended in the air for long time. The effects of relative humidity and temperature on the evaporation are found to be significant. We note that under strong flowing conditions droplets travel large distances. It is found that the bigger droplets fall on the ground due to the dominance of gravity over the diffusive force despite the loss of mass due to evaporation. The smaller evaporating droplets may not settle on the ground but remain suspended in the air due to the dominance of the diffusive force. The fate of the intermediate size droplets depends on the weather conditions and play crucial roles in the spread of the infection. These environment dependent effects indicate that the maintenance of physical separation to evade the virus is not corroborated, making the use of face mask indispensable.


title: Causal Inference in Non-linear Time-series using Deep Networks and Knockoff Counterfactuals

abstract: Estimating causal relations is vital in understanding the complex interactions in multivariate time series. Non-linear coupling of variables is one of the major challenges inaccurate estimation of cause-effect relations. In this paper, we propose to use deep autoregressive networks (DeepAR) in tandem with counterfactual analysis to infer nonlinear causal relations in multivariate time series. We extend the concept of Granger causality using probabilistic forecasting with DeepAR. Since deep networks can neither handle missing input nor out-of-distribution intervention, we propose to use the Knockoffs framework (Barberand Cand`es, 2015) for generating intervention variables and consequently counterfactual probabilistic forecasting. Knockoff samples are independent of their output given the observed variables and exchangeable with their counterpart variables without changing the underlying distribution of the data. We test our method on synthetic as well as real-world time series datasets. Overall our method outperforms the widely used vector autoregressive Granger causality and PCMCI in detecting nonlinear causal dependency in multivariate time series.


title: Solution Representations of Solving Problems for the Black-Scholes equations and Application to the Pricing Options on Bond with Credit Risk

abstract: In this paper is investigated the pricing problem of options on bonds with credit risk based on analysis on two kinds of solving problems for the Black-Scholes equations. First, a solution representation of the Black-Scholes equation with the maturity payoff function which is the product of the power function, normal distribution function and characteristic function is provided. Then a solution representation of a special terminal boundary value problem of the Black-Sholes equation is provided and its monotonicity is proved. The simplest case of the structural model of the credit bond is studied and its pricing formula is provided, and based on the results, the pricing model of option on corporate bond with credit risk is transformed into a terminal boundary value problem of the Black-Scholes equation with some special maturity payoff functions and the solution formula is obtained. Using it, we provide the pricing formulae of the puttable and callable bonds with credit risk.


title: Formulations and Approximations of the Branch Flow Model for Mesh Power Networks

abstract: The formulations and approximations of the branch flow model for mesh power networks (Mesh-BranchFlow) are given in this paper. Using different sets of the power flow equations, six formats of the exact Mesh-BranchFlow model are listed. These six formats are mathematically equivalent with each other. Linear approximation and second-order cone programming (SOCP) are then used to derive the six formats of the convex Mesh-BranchFlow model. The branch ampacity constraints considering the shunt conductance and capacitance of the transmission line $\Pi$-model are derived. The key foundation of deriving the ampacity constraints is the correct interpretation of the physical meaning of the transmission line $\Pi$-model. An exact linear expression of the ampacity constraints of the power loss variable is derived. The applications of the Mesh-BranchFlow model in deriving twelve formats of the exact optimal power flow (OPF) model and twelve formats of the approximate OPF model are formulated and analyzed. Using the Julia programming language, the extensive numerical investigations of all formats of the OPF models show the accuracy and computational efficiency of the Mesh-BranchFlow model. A penalty function based approximation gap reduction method is finally proposed and numerically validated to improve the AC-feasibility of the approximate Mesh-BranchFlow model.


title: Fell algebras, groupoids, and projections

abstract: Examples of Fell algebras with compact spectrum and trivial Dixmier-Douady invariant are constructed to illustrate differences with the case of continuous trace $C^*$-algebras. At the level of the spectrum, this translates to only assuming the spectrum is locally Hausdorff (rather than Hausdorff). The existence of (full) projections is the fundamental question considered. The class of Fell algebras studied here arise naturally in the study of Wieler solenoids and applications to dynamical systems will be discussed in a separate paper.


title: On the Effect of Surface Friction and Upward Radiation of Energy on Equatorial Waves

abstract: In theoretical models of tropical dynamics, the effects of both surface friction and upward wave radiation through interaction with the stratosphere are oft-ignored, as they greatly complicate mathematical analysis. In this study, we relax the rigid-lid assumption and impose surface drag, which allows the barotropic mode to be excited in equatorial waves. In particular, a previously developed set of linear, strict quasi-equilibrium tropospheric equations is coupled with a dry, passive stratosphere, and surface drag is added to the troposphere momentum equations. Theoretical and numerical model analysis is performed on the model in the limits of an inviscid surface coupled to a stratosphere, as well as a frictional surface under a rigid-lid. This study confirms previous research that shows the presence of a stratosphere strongly shifts the growth rates of fast propagating equatorial waves to larger scales, reddening the equatorial power spectrum. The growth rates of modes that are slowly propagating and highly interactive with cloud-radiation are shown to be negligibly affected by the presence of a stratosphere. Surface friction in this model framework acts as purely a damping mechanism and increases the poleward extent of the equatorial waves through barotropic vorticity generation. Numerical solutions of the coupled troposphere-stratosphere model with surface friction also show that the barotropic mode can be tropospherically trapped when excited by surface friction but in the presence of a highly stratified stratosphere. The superposition of phase-shifted barotropic and first baroclinic modes is also shown to lead to an eastward vertical tilt in the dynamical fields of Kelvin-wave like modes.