title: Position-controlled functionalization of vacancies in silicon by single-ion implanted germanium atoms

abstract: Special point defects in semiconductors have been envisioned as suitable components for quantum-information technology. The identification of new deep centers in silicon that can be easily activated and controlled is a main target of the research in the field. Vacancy-related complexes are suitable to provide deep electronic levels but they are hard to control spatially. With the spirit of investigating solid state devices with intentional vacancy-related defects at controlled position, here we report on the functionalization of silicon vacancies by implanting Ge atoms through single-ion implantation, producing Ge-vacancy (GeV) complexes. We investigate the quantum transport through an array of GeV complexes in a silicon-based transistor. By exploiting a model based on an extended Hubbard Hamiltonian derived from ab-initio results we find anomalous activation energy values of the thermally activated conductance of both quasi-localized and delocalized many-body states, compared to conventional dopants. We identify such states, forming the upper Hubbard band, as responsible of the experimental sub-threshold transport across the transistor. The combination of our model with the single-ion implantation method enables future research for the engineering of GeV complexes towards the creation of spatially controllable individual defects in silicon for applications in quantum information technologies.


title: Bayesian Neural Networks for Virtual Flow Metering: An Empirical Study

abstract: Recent works have presented promising results from the application of machine learning (ML) to the modeling of flow rates in oil and gas wells. Encouraging results and advantageous properties of ML models, such as computationally cheap evaluation and ease of calibration to new data, have sparked optimism for the development of data-driven virtual flow meters (VFMs). Data-driven VFMs are developed in the small data regime, where it is important to question the uncertainty and robustness of models. The modeling of uncertainty may help to build trust in models, which is a prerequisite for industrial applications. The contribution of this paper is the introduction of a probabilistic VFM based on Bayesian neural networks. Uncertainty in the model and measurements is described, and the paper shows how to perform approximate Bayesian inference using variational inference. The method is studied by modeling on a large and heterogeneous dataset, consisting of 60 wells across five different oil and gas assets. The predictive performance is analyzed on historical and future test data, where an average error of 4-6% and 8-13% is achieved for the 50% best performing models, respectively. Variational inference appears to provide more robust predictions than the reference approach on future data. Prediction performance and uncertainty calibration is explored in detail and discussed in light of four data challenges. The findings motivate the development of alternative strategies to improve the robustness of data-driven VFMs.


title: $\tau$-Tilting modules over one-point extensions by a simple module at a source point

abstract: Let $B$ be an one-point extension of a finite dimensional $k$-algebra $A$ by a simple $A$-module at a source point $i$. In this paper, we classify the $\tau$-tilting modules over $B$. Moreover, it is shown that there are equations $$|\tilt B|=|\tilt A|+|\tilt A/\langle e_i\rangle|\quad \text{and}\quad |\stilt B|=2|\stilt A|+|\stilt A/\langle e_i\rangle|.$$ As a consequence, we can calculate the numbers of $\tau$-tilting modules and support $\tau$-tilting modules over linearly Dynkin type algebras whose square radical are zero.


title: It's always personal: Using Early Exits for Efficient On-Device CNN Personalisation

abstract: On-device machine learning is becoming a reality thanks to the availability of powerful hardware and model compression techniques. Typically, these models are pretrained on large GPU clusters and have enough parameters to generalise across a wide variety of inputs. In this work, we observe that a much smaller, personalised model can be employed to fit a specific scenario, resulting in both higher accuracy and faster execution. Nevertheless, on-device training is extremely challenging, imposing excessive computational and memory requirements even for flagship smartphones. At the same time, on-device data availability might be limited and samples are most frequently unlabelled. To this end, we introduce PersEPhonEE, a framework that attaches early exits on the model and personalises them on-device. These allow the model to progressively bypass a larger part of the computation as more personalised data become available. Moreover, we introduce an efficient on-device algorithm that trains the early exits in a semi-supervised manner at a fraction of the whole network's personalisation time. Results show that PersEPhonEE boosts accuracy by up to 15.9% while dropping the training cost by up to 2.2x and inference latency by 2.2-3.2x on average for the same accuracy, depending on the availability of labels on-device.


title: Klein tunneling through the trapezoidal potential barrier in graphene: conductance and shot noise

abstract: When a single-layer graphene sheet is contacted with metallic electrodes, tunnel barriers are formed as a result of the doping of graphene by the metal in the contact region. If the Fermi energy level is modulated by a gate voltage, the phenomenon of Klein tunneling results in specific features in the conductance and noise. Here we obtain analytically exact solutions for the transmission and reflection probability amplitudes using a trapezoidal potential barrier, allowing us to calculate the differential conductance and the Fano factor for a graphene sheet in the ballistic regime. We put in evidence an unexpected global symmetry - the transmission probability is the same for energies symmetric with respect to half of the barrier height. We outline a proposal for the experimental verification of these ideas using realistic sample parameters.


title: Probabilistically Violating the First Law of Thermodynamics in a Quantum Heat Engine

abstract: Fluctuations of thermodynamic observables, such as heat and work, contain relevant information on the underlying physical process. These fluctuations are however not taken into account in the traditional laws of thermodynamics. While the second law is extended to fluctuating systems by the celebrated fluctuation theorems, the first law is generally believed to hold even in the presence of fluctuations. Here we show that in the presence of quantum fluctuations, also the first law of thermodynamics may break down. This happens because quantum mechanics imposes constraints on the knowledge of heat and work. To illustrate our results, we provide a detailed case-study of work and heat fluctuations in a quantum heat engine based on a circuit QED architecture. We find probabilistic violations of the first law and show that they are closely connected to quantum signatures related to negative quasi-probabilities. Our results imply that in the presence of quantum fluctuations, the first law of thermodynamics may not be applicable to individual experimental runs.


title: Emergence of low-energy electronic states in oxygen-controlled Mott insulator Ca$_{2}$RuO$_{4+\delta}$

abstract: Insulator-to-metal transition in Ca$_{2}$RuO$_{4}$ has drawn keen attention because of its sensitivity to various stimulation and its potential controllability. Here, we report a direct observation of Fermi surface, which emerges upon introducing excess oxygen into an insulating Ca$_{2}$RuO$_{4}$, by using angle-resolved photoemission spectroscopy. Comparison between energy distribution curves shows that the Mott insulating gap is closed by eV-scale spectral-weight transfer with excess oxygen. Momentum-space mapping exhibits two square-shaped sheets of the Fermi surface. One is a hole-like $\alpha$ sheet around the corner of a tetragonal Brillouin zone, and the other is an electron-like $\beta$ sheet around the $\Gamma$ point. The electron occupancies of the $\alpha$ and $\beta$ bands are determined to be $n_{\alpha}=1.6$ and $n_{\beta}=0.6$, respectively. Our result indicates that the insulator-to-metal transition occurs selectively in $d_{xz}$ and $d_{yz}$ bands and not yet in $d_{xy}$ band. This orbital selectivity is most likely explained in terms of the energy level of $d_{xy}$, which is deeper for Ca$_{2}$RuO$_{4+\delta}$ than for Ca$_{1.8}$Sr$_{0.2}$RuO$_{4}$. Consequently, we found substantial differences from the Fermi surface of other ruthenates, shedding light on a unique role of excess oxygen among the metallization methods of Ca$_{2}$RuO$_{4}$.


title: Low-Rate Overuse Flow Tracer (LOFT): An Efficient and Scalable Algorithm for Detecting Overuse Flows

abstract: Current probabilistic flow-size monitoring can only detect heavy hitters (e.g., flows utilizing 10 times their permitted bandwidth), but cannot detect smaller overuse (e.g., flows utilizing 50-100% more than their permitted bandwidth). Thus, these systems lack accuracy in the challenging environment of high-throughput packet processing, where fast-memory resources are scarce. Nevertheless, many applications rely on accurate flow-size estimation, e.g. for network monitoring, anomaly detection and Quality of Service. We design, analyze, implement, and evaluate LOFT, a new approach for efficiently detecting overuse flows that achieves dramatically better properties than prior work. LOFT can detect 1.5x overuse flows in one second, whereas prior approaches fail to detect 2x overuse flows within a timeout of 300 seconds. We demonstrate LOFT's suitability for high-speed packet processing with implementations in the DPDK framework and on an FPGA.


title: Magnetic field generation from bubble collisions during first-order phase transition

abstract: We study the magnetic fields generation from the cosmological first-order electroweak phase transition. We calculate the magnetic field induced by the variation of the Higgs phase for two bubbles and three bubbles collisions. Our study shows that electromagnetic currents in the collision direction produce the ring-like magnetic field in the intersect regions of colliding bubbles, which may seed the primordial magnetic field that are constrained by intergalatic field observations.


title: Unassisted Noise Reduction of Chemical Reaction Data Sets

abstract: Existing deep learning models applied to reaction prediction in organic chemistry can reach high levels of accuracy (> 90% for Natural Language Processing-based ones). With no chemical knowledge embedded than the information learnt from reaction data, the quality of the data sets plays a crucial role in the performance of the prediction models. While human curation is prohibitively expensive, the need for unaided approaches to remove chemically incorrect entries from existing data sets is essential to improve artificial intelligence models' performance in synthetic chemistry tasks. Here we propose a machine learning-based, unassisted approach to remove chemically wrong entries from chemical reaction collections. We applied this method to the collection of chemical reactions Pistachio and to an open data set, both extracted from USPTO (United States Patent Office) patents. Our results show an improved prediction quality for models trained on the cleaned and balanced data sets. For the retrosynthetic models, the round-trip accuracy metric grows by 13 percentage points and the value of the cumulative Jensen Shannon divergence decreases by 30% compared to its original record. The coverage remains high with 97%, and the value of the class-diversity is not affected by the cleaning. The proposed strategy is the first unassisted rule-free technique to address automatic noise reduction in chemical data sets.


title: Coupled spin-orbital fluctuations in a three orbital model for $4d$ and $5d$ oxides with electron fillings $n=3,4,5$ -- Application to $\rm NaOsO_3$, $\rm Ca_2RuO_4$, and $\rm Sr_2IrO_4$

abstract: A unified approach is presented for investigating coupled spin-orbital fluctuations within a realistic three-orbital model for strongly spin-orbit coupled systems with electron fillings $n=3,4,5$ in the $t_{2g}$ sector of $d_{yz},d_{xz},d_{xy}$ orbitals. A generalized fluctuation propagator is constructed which is consistent with the generalized self-consistent Hartree-Fock approximation where all Coulomb interaction contributions involving orbital diagonal and off-diagonal spin and charge condensates are included. Besides the low-energy magnon, intermediate-energy orbiton and spin-orbiton, and high-energy spin-orbit exciton modes, the generalized spectral function also shows other high-energy excitations such as the Hund's coupling induced gapped magnon modes. We relate the characteristic features of the coupled spin-orbital excitations to the complex magnetic behavior resulting from the interplay between electronic bands, spin-orbit coupling, Coulomb interactions, and structural distortion effects, as realized in the compounds $\rm NaOsO_3$, $\rm Ca_2RuO_4$, and $\rm Sr_2IrO_4$.


title: Infrasound of a Wind Turbine Reanalyzed as Power Spectrum and Power Spectral Density

abstract: The infrasound levels due to the blade-tower interaction generated by a wind turbine in the publication by Pilger and Ceranna (JSV, Vol. 388, pp. 188-200, 2017) have to be corrected to be interpreted as sound pressure level. Also, the electrical power of the wind turbine should be corrected for the high wind case to 660 kW. We provide a reanalysis of the measured data with a power spectrum showing levels for the low-frequency signal of the wind turbine about 34 dB below the original work. All measured levels at a distance of 200 m from the wind turbine's infrasound signal are well below the hearing threshold.


title: Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications

abstract: In this paper, we investigate both qualitative and quantitative synthesis of optimal privacy-enforcing supervisors for partially-observed discrete-event systems. We consider a dynamic system whose information-flow is partially available to an intruder, which is modeled as a passive observer. We assume that the system has a "secret" that does not want to be revealed to the intruder. Our goal is to synthesize a supervisor that controls the system in a least-restrictive manner such that the closed-loop system meets the privacy requirement. For the qualitative case, we adopt the notion of infinite-step opacity as the privacy specification by requiring that the intruder can never determine for sure that the system is/was at a secret state for any specific instant. If the qualitative synthesis problem is not solvable or the synthesized solution is too restrictive, then we further investigate the quantitative synthesis problem so that the secret is revealed (if unavoidable) as late as possible. Effective algorithms are provided to solve both the qualitative and quantitative synthesis problems. Specifically, by building suitable information structures that involve information delays, we show that the optimal qualitative synthesis problem can be solved as a safety-game. The optimal quantitative synthesis problem can also be solved as an optimal total-cost control problem over an augmented information structure. Our work provides a complete solution to the standard infinite-step opacity control problem, which has not been solved without assumption on the relationship between controllable events and observable events. Furthermore, we generalize the opacity enforcement problem to the numerical setting by introducing the secret-revelation-time as a new quantitative measure.


title: Mitigating the effect of atmospheric turbulence on orbital angular momentum-based quantum key distribution using real-time adaptive optics with phase unwrapping

abstract: Quantum key distribution (QKD) employed orbital angular momentum (OAM) for high-dimensional encoding enhances the system security and information capacity between two communication parties. However, such advantages significantly degrade because of the fragility of OAM states in atmospheric turbulence. Unlike previous researches, we first investigate the performance degradation of OAM-based QKD by infinitely long phase screen (ILPS), which offers a feasible way to study how adaptive optics (AO) dynamically corrects the turbulence-induced aberrations in real time. Secondly, considering the failure of AO while encountering phase cuts, we evaluate the quality enhancement of OAM-based QKD under moderate turbulence strengths by AO after implementing the wrapped cuts elimination. Finally, we simulate that, with more realistic considerations, real-time AO can still mitigate the impact of atmospheric turbulence on OAM-based QKD even in the large wind velocity regime.


title: Face Recognition Using $Sf_{3}CNN$ With Higher Feature Discrimination

abstract: With the advent of 2-dimensional Convolution Neural Networks (2D CNNs), the face recognition accuracy has reached above 99%. However, face recognition is still a challenge in real world conditions. A video, instead of an image, as an input can be more useful to solve the challenges of face recognition in real world conditions. This is because a video provides more features than an image. However, 2D CNNs cannot take advantage of the temporal features present in the video. We therefore, propose a framework called $Sf_{3}CNN$ for face recognition in videos. The $Sf_{3}CNN$ framework uses 3-dimensional Residual Network (3D Resnet) and A-Softmax loss for face recognition in videos. The use of 3D ResNet helps to capture both spatial and temporal features into one compact feature map. However, the 3D CNN features must be highly discriminative for efficient face recognition. The use of A-Softmax loss helps to extract highly discriminative features from the video for face recognition. $Sf_{3}CNN$ framework gives an increased accuracy of 99.10% on CVBL video database in comparison to the previous 97% on the same database using 3D ResNets.


title: Child-Computer Interaction with Mobile Devices: Recent Works, New Dataset, and Age Detection

abstract: This article provides an overview of recent research in Child-Computer Interaction with mobile devices and describe our framework ChildCI intended for: i) overcoming the lack of large-scale publicly available databases in the area, ii) generating a better understanding of the cognitive and neuromotor development of children along time, contrary to most previous studies in the literature focused on a single-session acquisition, and iii) enabling new applications in e-Learning and e-Health through the acquisition of additional information such as the school grades and children's disorders, among others. Our framework includes a new mobile application, specific data acquisition protocols, and a first release of the ChildCI dataset (ChildCIdb v1), which is planned to be extended yearly to enable longitudinal studies. In our framework children interact with a tablet device, using both a pen stylus and the finger, performing different tasks that require different levels of neuromotor and cognitive skills. ChildCIdb is the first database in the literature that comprises more than 400 children from 18 months to 8 years old, considering therefore the first three development stages of the Piaget's theory. In addition, and as a demonstration of the potential of the ChildCI framework, we include experimental results for one of the many applications enabled by ChildCIdb: children age detection based on device interaction.


title: Dynamic Cooper Pair Splitter

abstract: Cooper pair splitters are promising candidates for generating spin-entangled electrons. However, the splitting of Cooper pairs is a random and noisy process, which hinders further synchronized operations on the entangled electrons. To circumvent this problem, we here propose and analyze a dynamic Cooper pair splitter that produces a noiseless and regular flow of spin-entangled electrons. The Cooper pair splitter is based on a superconductor coupled to quantum dots, whose energy levels are tuned in and out of resonance to control the splitting process. We identify the optimal operating conditions for which exactly one Cooper pair is split per period of the external drive and the flow of entangled electrons becomes noiseless. To characterize the regularity of the Cooper pair splitter in the time domain, we analyze the $g^{(2)}$-function of the output currents and the distribution of waiting times between split Cooper pairs. Our proposal is feasible using current technology, and it paves the way for dynamic quantum information processing with spin-entangled electrons.


title: Trends in COVID-19 prevalence and mortality: a year in review

abstract: This paper introduces new methods to study the changing dynamics of COVID-19 cases and deaths among the 50 worst-affected countries throughout 2020. First, we analyse the trajectories and turning points of rolling mortality rates to understand at which times the disease was most lethal. We demonstrate five characteristic classes of mortality rate trajectories and determine structural similarity in mortality trends over time. Next, we introduce a class of \emph{virulence matrices} to study the evolution of COVID-19 cases and deaths on a global scale. Finally, we introduce \emph{three-way inconsistency analysis} to determine anomalous countries with respect to three attributes: countries' COVID-19 cases, deaths and human development indices. We demonstrate the most anomalous countries across these three measures are Pakistan, the United States and the United Arab Emirates.


title: Exponential bounds for random walks on hyperbolic spaces without moment conditions

abstract: We consider nonelementary random walks on general hyperbolic spaces. Without any moment condition on the walk, we show that it escapes linearly to infinity, with exponential error bounds. We even get such exponential bounds up to the rate of escape of the walk. Our proof relies on an inductive decomposition of the walk, recording times at which it could go to infinity in several independent directions, and using these times to control further backtracking.


title: AURSAD: Universal Robot Screwdriving Anomaly Detection Dataset

abstract: Screwdriving is one of the most popular industrial processes. As such, it is increasingly common to automate that procedure by using various robots. Even though the automation increases the efficiency of the screwdriving process, if the process is not monitored correctly, faults may occur during operation, which can impact the effectiveness and quality of assembly. Machine Learning (ML) has the potential to detect those undesirable events and limit their impact. In order to do so, first a dataset that fully describes the operation of an industrial robot performing automated screwdriving must be available. This report describes a dataset created using a UR3e series robot and OnRobot Screwdriver. We create different scenarios and introduce 4 types of anomalies to the process while all available robot and screwdriver sensors are continuously recorded. The resulting data contains 2042 samples of normal and anomalous robot operation. Brief ML benchmarks using this data are also provided, showcasing the data's suitability and potential for further analysis and experimentation.


title: QMeS-Derivation: Mathematica package for the symbolic derivation of functional equations

abstract: We present the Mathematica package QMeS-Derivation. It derives symbolic functional equations from a given master equation. The latter include functional renormalisation group equations, Dyson-Schwinger equations, Slavnov-Taylor and Ward identities and their modifications in the presence of momentum cutoffs. The modules allow to derive the functional equations, take functional derivatives, trace over field space, apply a given truncation scheme, and do momentum routings while keeping track of prefactors and signs that arise from fermionic commutation relations. The package furthermore contains an installer as well as Mathematica notebooks with showcase examples.


title: Interactive Query Formulation using Point to Point Queries

abstract: Effective information disclosure in the context of databases with a large conceptual schema is known to be a non-trivial problem. In particular the formulation of ad-hoc queries is a major problem in such contexts. Existing approaches for tackling this problem include graphical query interfaces, query by navigation, and query by construction. In this article we propose the point to point query mechanism that can be combined with the existing mechanism into an unprecedented computer supported query formulation mechanism. In a point to point query a path through the information structure is build. This path can then be used to formulate more complex queries. A point to point query is typically useful when users know some object types which are relevant for their information need, but do not (yet) know how they are related in the conceptual schema. Part of the point to point query mechanism is therefore the selection of the most appropriate path between object types (points) in the conceptual schema. This article both discusses some of the pragmatic issues involved in the point to point query mechanism, and the theoretical issues involved in finding the relevant paths between selected object types.


title: On Codes for the Noisy Substring Channel

abstract: We consider the problem of coding for the substring channel, in which information strings are observed only through their (multisets of) substrings. Due to existing DNA sequencing techniques and applications in DNA-based storage systems, interest in this channel has renewed in recent years. In contrast to existing literature, we consider a noisy channel model where information is subject to noise before its substrings are sampled, motivated by in-vivo storage. We study two separate noise models, substitutions or deletions. In both cases, we examine families of codes which may be utilized for error-correction and present combinatorial bounds on their sizes. Through a generalization of the concept of repeat-free strings, we show that the added required redundancy due to this imperfect observation assumption is sublinear, either when the fraction of errors in the observed substring length is sufficiently small, or when that length is sufficiently long. This suggests that no asymptotic cost in rate is incurred by this channel model in these cases. Moreover, we develop an efficient encoder for such constrained strings in some cases. Finally, we show how a similar encoder can be used to avoid formation of secondary-structures in coded DNA strands, even when accounting for imperfect structures.


title: Two Social Concepts in Virtual Communities: Trust and Reputation

abstract: Our social interactions mainly depend on the social phenomenon called trust. We evaluate our trust in our peer to decide whether to start an interaction or not. When our information about the peer is not sufficient, we use the knowledge of others. This knowledge can also be referred to as the reputation of the peer in the community. Like real-life communities, trust and reputation play a key role in virtual communities, too. These two notions help us overcome the complex interactions between agents in virtual communities. In previous studies regarding this topic, the social aspect of trust and reputation is partly ignored. In this paper, we will review an article which we accept as a starting point and compare it with another article that provides a more advanced model. Additionally, a new trust model which is mainly based on sociological notions will also be introduced.


title: Joint Transmit Precoding and Reflect Beamforming Design for IRS-Assisted MIMO Cognitive Radio Systems

abstract: Cognitive radio (CR) is an effective solution to improve the spectral efficiency (SE) of wireless communications by allowing the secondary users (SUs) to share spectrum with primary users (PUs). Meanwhile, intelligent reflecting surface (IRS) has been recently proposed as a promising approach to enhance SE and energy efficiency (EE) of wireless communication systems through intelligently reconfiguring the channel environment. In this paper, we consider an IRS-assisted downlink CR system, in which a secondary access point (SAP) communicates with multiple SUs without affecting multiple PUs in the primary network and all nodes are equipped with multiple antennas. Our design objective is to maximize the achievable weighted sum rate (WSR) of SUs subject to the total transmit power constraint at the SAP and the interference constraints at PUs, by jointly optimizing the transmit precoding at the SAP and the reflecting coefficients at the IRS. To deal with the complex objective function, the problem is reformulated by employing the well-known weighted minimum mean-square error (WMMSE) method and an alternating optimization (AO)-based algorithm is proposed. Furthermore, a special scenario with only one PU is considered and AO algorithm is adopted again. It is worth mentioning that the proposed algorithm has a much lower computational complexity than the above algorithm without the performance loss. Finally, some numerical simulations have been provided to demonstrate that the proposed algorithm outperforms other benchmark schemes.


title: Detecting spins with a microwave photon counter

abstract: Quantum emitters respond to resonant illumination by radiating electromagnetic fields. A component of these fields is phase-coherent with the driving tone, while another one is incoherent, consisting of spontaneously emitted photons and forming the fluorescence signal. Atoms and molecules are routinely detected by their fluorescence at optical frequencies, with important applications in quantum technology and microscopy. Spins, on the other hand, are usually detected by {their coherent response} at radio- or microwave frequencies, either in continuous-wave or pulsed magnetic resonance. Indeed, fluorescence detection of spins is hampered {by their low spontaneous emission rate} and by the lack of single-photon detectors in this frequency range. Here, using superconducting quantum devices, we demonstrate the detection of a small ensemble of donor spins in silicon by their fluorescence at microwave frequency and millikelvin temperatures. We enhance the spin radiative decay rate by coupling them to a high-quality-factor and small-mode-volume superconducting resonator, and we connect the device output to a newly-developed microwave single-photon counter based on a superconducting qubit. We discuss the potential of fluorescence detection as a novel method for magnetic resonance spectroscopy of small numbers of spins.


title: Dynamical coupling of a mean-field dynamo and its wind: Feedback loop over a stellar activity cycle

abstract: We focus on the connection between the internal dynamo magnetic field and the stellar wind. If the star has a cyclic dynamo, the modulations of the magnetic field can affect the wind, which in turn can back-react on the boundary conditions of the star, creating a feedback loop. We have developed a 2.5-dimensional numerical set-up to model this essential coupling. We have implemented an alpha-Omega mean-field dynamo in the PLUTO code, and then coupled it to a spherical polytropic wind model via an interface composed of four grid layers with dedicated boundary conditions. We present here a dynamo model close to a young Sun with cyclic magnetic activity. First we show how this model allows to track the influence of the dynamo activity on the corona by displaying the correlation between the activity cycle, the coronal structure and the time evolution of integrated quantities. Then we add the feedback of the wind on the dynamo and discuss the changes observed in the dynamo symmetry and the wind variations. We explain these changes in terms of dynamo modes : in this parameter regime, the feedback loop leads to a coupling between the dynamo families via a preferred growth of the quadrupolar mode. We also study our interface in terms of magnetic helicity, and show that it leads to a small injection in the dynamo. This model confirms the importance of coupling physically internal and external stellar layers, as it has a direct impact on both the dynamo and the wind.


title: Two Demonstrations of the Machine Translation Applications to Historical Documents

abstract: We present our demonstration of two machine translation applications to historical documents. The first task consists in generating a new version of a historical document, written in the modern version of its original language. The second application is limited to a document's orthography. It adapts the document's spelling to modern standards in order to achieve an orthography consistency and accounting for the lack of spelling conventions. We followed an interactive, adaptive framework that allows the user to introduce corrections to the system's hypothesis. The system reacts to these corrections by generating a new hypothesis that takes them into account. Once the user is satisfied with the system's hypothesis and validates it, the system adapts its model following an online learning strategy. This system is implemented following a client-server architecture. We developed a website which communicates with the neural models. All code is open-source and publicly available. The demonstration is hosted at http://demosmt.prhlt.upv.es/mthd/.


title: $\mathbb{L}^p$-solutions of deterministic and stochastic convective Brinkman-Forchheimer equations

abstract: In the first part of this work, we establish the existence and uniqueness of a local mild solution to the deterministic convective Brinkman-Forchheimer (CBF) equations defined on the whole space, by using properties of the heat semigroup and fixed point arguments based on an iterative technique. The second part is devoted for establishing the existence and uniqueness of a pathwise mild solution upto a random time to the stochastic CBF equations perturbed by L\'evy noise by exploiting the contraction mapping principle. We also discuss the local solvability of the stochastic CBF equations subjected to fractional Brownian noise.


title: Community Detection with a Subsampled Semidefinite Program

abstract: Semidefinite programming is an important tool to tackle several problems in data science and signal processing, including clustering and community detection. However, semidefinite programs are often slow in practice, so speed up techniques such as sketching are often considered. In the context of community detection in the stochastic block model, Mixon and Xie \cite{mixon2020sketching} have recently proposed a sketching framework in which a semidefinite program is solved only on a subsampled subgraph of the network, giving rise to significant computational savings. In this short paper, we provide a positive answer to a conjecture of Mixon and Xie about the statistical limits of this technique for the stochastic block model with two balanced communities.


title: The Road Towards 6G: A Comprehensive Survey

abstract: As of today, the fifth generation (5G) mobile communication system has been rolled out in many countries and the number of 5G subscribers already reaches a very large scale. It is time for academia and industry to shift their attention towards the next generation. At this crossroad, an overview of the current state of the art and a vision of future communications are definitely of interest. This article thus aims to provide a comprehensive survey to draw a picture of the sixth generation (6G) system in terms of drivers, use cases, usage scenarios, requirements, key performance indicators (KPIs), architecture, and enabling technologies. First, we attempt to answer the question of "Is there any need for 6G?" by shedding light on its key driving factors, in which we predict the explosive growth of mobile traffic until 2030, and envision potential use cases and usage scenarios. Second, the technical requirements of 6G are discussed and compared with those of 5G with respect to a set of KPIs in a quantitative manner. Third, the state-of-the-art 6G research efforts and activities from representative institutions and countries are summarized, and a tentative roadmap of definition, specification, standardization, and regulation is projected. Then, we identify a dozen of potential technologies and introduce their principles, advantages, challenges, and open research issues. Finally, the conclusions are drawn to paint a picture of "What 6G may look like?". This survey is intended to serve as an enlightening guideline to spur interests and further investigations for subsequent research and development of 6G communications systems.


title: A short overview of adaptive multichannel filters SNR loss analysis

abstract: Many multichannel systems use a linear filter to retrieve a signal of interest corrupted by noise whose statistics are partly unknown. The optimal filter in Gaussian noise requires knowledge of the noise covariance matrix $\Sigma$ and in practice the latter is estimated from a set of training samples. An important issue concerns the characterization of the performance of such adaptive filters. This is generally achieved using as figure of merit the ratio of the signal to noise ratio (SNR) at the output of the adaptive filter to the SNR obtained with the clairvoyant -- known $\Sigma$ -- filter. This problem has been studied extensively since the seventies and this document presents a concise overview of results published in the literature. We consider various cases about the training samples covariance matrix and we investigate fully adaptive, partially adaptive and regularized filters.


title: Radiating-collapsing models satisfying Karmarkar condition

abstract: This paper presents a class of exact spherical symmetric solutions of the Einstein equations admitting heat-conducting anisotropic fluid as a collapsing matter. The exterior spacetime is assumed to be the Vaidya metric. This class of solutions is shown to satisfy all the energy conditions throughout the interior of the star, and the luminosity is time independent, radiating uniformly throughout the collapse.


title: Vision Based Autonomous UAV Plane Estimation And Following for Building Inspection

abstract: Unmanned Aerial Vehicle (UAV) has already demonstrated its potential in many civilian applications, and the fa\c{c}ade inspection is among the most promising ones. In this paper, we focus on enabling the autonomous perception and control of a small UAV for a fa\c{c}ade inspection task. Specifically, we consider the perception as a planar object pose estimation problem by simplifying the building structure as concatenation of planes, and the control as an optimal reference tracking control problem. First, a vision based adaptive observer is proposed which can realize stable plane pose estimation under very mild observation conditions. Second, a model predictive controller is designed to achieve stable tracking and smooth transition in a multi-plane scenario, while the persistent excitation (PE) condition of the observer and the maneuver constraints of the UAV are satisfied. The proposed autonomous plane pose estimation and plane tracking methods are tested in both simulation and practical building fas\c{c}ade inspection scenarios, which demonstrate their effectiveness and practicability.


title: Clustering with Penalty for Joint Occurrence of Objects: Computational Aspects

abstract: The method of Hol\'y, Sokol and \v{C}ern\'y (Applied Soft Computing, 2017, Vol. 60, p. 752-762) clusters objects based on their incidence in a large number of given sets. The idea is to minimize the occurrence of multiple objects from the same cluster in the same set. In the current paper, we study computational aspects of the method. First, we prove that the problem of finding the optimal clustering is NP-hard. Second, to numerically find a suitable clustering, we propose to use the genetic algorithm augmented by a renumbering procedure, a fast task-specific local search heuristic and an initial solution based on a simplified model. Third, in a simulation study, we demonstrate that our improvements of the standard genetic algorithm significantly enhance its computational performance.


title: The sharp second order Caffareli-Kohn-Nirenberg inequality and stability estimates for the sharp second order uncertainty principle

abstract: In this paper we prove a class of second order Caffarelli-Kohn-Nirenberg inequalities which contains the sharp second order uncertainty principle recently established by Cazacu, Flynn and Lam \cite{CFL2020} as a special case. We also show the sharpness of our inequalities for several classes of parameters. Finally, we prove two stability versions of the sharp second order uncertainty principle of Cazacu, Flynn and Lam by showing that the difference of both sides of the inequality controls the distance to the set of extremal functions in $L^2$ norm of gradient of functions.


title: Model completions for universal classes of algebras: necessary and sufficient conditions

abstract: Necessary and sufficient conditions are presented for the (first-order) theory of a universal class of algebraic structures (algebras) to admit a model completion, extending a characterization provided by Wheeler. For varieties of algebras that have equationally definable principal congruences and the compact intersection property, these conditions yield a more elegant characterization obtained (in a slightly more restricted setting) by Ghilardi and Zawadowski. Moreover, it is shown that under certain further assumptions on congruence lattices, the existence of a model completion implies that the variety has equationally definable principal congruences. This result is then used to provide necessary and sufficient conditions for the existence of a model completion for theories of Hamiltonian varieties of pointed residuated lattices, a broad family of varieties that includes lattice-ordered abelian groups and MV-algebras. Notably, if the theory of a Hamiltonian variety of pointed residuated lattices admits a model completion, it must have equationally definable principal congruences. In particular, the theories of lattice-ordered abelian groups and MV-algebras do not have a model completion, as first proved by Glass and Pierce, and Lacava, respectively. Finally, it is shown that certain varieties of pointed residuated lattices generated by their linearly ordered members, including lattice-ordered abelian groups and MV-algebras, can be extended with a binary operation in order to obtain theories that do have a model completion.


title: Shock wave in series connected Josephson transmission line: Theoretical foundations and effects of resistive elements

abstract: We analytically study shock wave in the Josephson transmission line (JTL) in the presence of ohmic dissipation. When ohmic resistors shunt the Josephson junctions (JJ) or are introduced in series with the ground capacitors the shock is broadened. When ohmic resistors are in series with the JJ, the shock remains sharp, same as it was in the absence of dissipation. In all the cases considered, ohmic resistors don't influence the shock propagation velocity. We study an alternative to the shock wave - an expansion fan - in the framework of the simple wave approximation for the dissipationless JTL and formulate the generalization of the approximation for the JTL with ohmic dissipation.

categories: cond-mat.supr-con nlin.PS physics.app-ph physics.class-ph


title: Graph Classification Based on Skeleton and Component Features

abstract: Most existing popular methods for learning graph embedding only consider fixed-order global structural features and lack structures hierarchical representation. To address this weakness, we propose a novel graph embedding algorithm named GraphCSC that realizes classification based on skeleton information using fixed-order structures learned in anonymous random walks manner, and component information using different size subgraphs. Two graphs are similar if their skeletons and components are both similar, thus in our model, we integrate both of them together into embeddings as graph homogeneity characterization. We demonstrate our model on different datasets in comparison with a comprehensive list of up-to-date state-of-the-art baselines, and experiments show that our work is superior in real-world graph classification tasks.


title: Drone Control based on Mental Commands and Facial Expressions

abstract: When it is tried to control drones, there are many different ways through various devices, using either motions like facial motion, special gloves with sensors, red, green, blue cameras on the laptop or even using smartwatches by performing gestures that are picked up by motion sensors. The paper proposes a work on how drones could be controlled using brainwaves without any of those devices. The drone control system of the current research was developed using electroencephalogram signals took by an Emotiv Insight headset. The electroencephalogram signals are collected from the users brain. The processed signal is then sent to the computer via Bluetooth. The headset employs Bluetooth Low Energy for wireless transmission. The brain of the user is trained in order to use the generated electroencephalogram data. The final signal is transmitted to Raspberry Pi zero via the MQTT messaging protocol. The Raspberry Pi controls the movement of the drone through the incoming signal from the headset. After years, brain control can replace many normal input sources like keyboards, touch screens or other traditional ways, so it enhances interactive experiences and provides new ways for disabled people to engage with their surroundings.


title: Effective screening of medium-assisted Van der Waals interactions between embedded particles

abstract: The effect of an implicit medium on dispersive interactions of particle pairs is discussed and simple expressions for the correction relative to vacuum are derived. We show that a single point Gauss quadrature leads to the intuitive result that the vacuum van der Waals $C_6$ coefficient is screened by the permittivity squared of the environment evaluated near to the resonance frequencies of the interacting particles. This approximation should be particularly relevant if the medium is transparent at these frequencies. In the manuscript, we provide simple models and sets of parameters for commonly used solvents, atoms and small molecules.


title: Predicting the Time Until a Vehicle Changes the Lane Using LSTM-based Recurrent Neural Networks

abstract: To plan safe and comfortable trajectories for automated vehicles on highways, accurate predictions of traffic situations are needed. So far, a lot of research effort has been spent on detecting lane change maneuvers rather than on estimating the point in time a lane change actually happens. In practice, however, this temporal information might be even more useful. This paper deals with the development of a system that accurately predicts the time to the next lane change of surrounding vehicles on highways using long short-term memory-based recurrent neural networks. An extensive evaluation based on a large real-world data set shows that our approach is able to make reliable predictions, even in the most challenging situations, with a root mean squared error around 0.7 seconds. Already 3.5 seconds prior to lane changes the predictions become highly accurate, showing a median error of less than 0.25 seconds. In summary, this article forms a fundamental step towards downstreamed highly accurate position predictions.


title: Bayesian data-driven discovery of partial differential equations with variable coefficients

abstract: The discovery of Partial Differential Equations (PDEs) is an essential task for applied science and engineering. However, data-driven discovery of PDEs is generally challenging, primarily stemming from the sensitivity of the discovered equation to noise and the complexities of model selection. In this work, we propose an advanced Bayesian sparse learning algorithm for PDE discovery with variable coefficients, predominantly when the coefficients are spatially or temporally dependent. Specifically, we apply threshold Bayesian group Lasso regression with a spike-and-slab prior (tBGL-SS) and leverage a Gibbs sampler for Bayesian posterior estimation of PDE coefficients. This approach not only enhances the robustness of point estimation with valid uncertainty quantification but also relaxes the computational burden from Bayesian inference through the integration of coefficient thresholds as an approximate MCMC method. Moreover, from the quantified uncertainties, we propose a Bayesian total error bar criteria for model selection, which outperforms classic metrics including the root mean square and the Akaike information criterion. The capability of this method is illustrated by the discovery of several classical benchmark PDEs with spatially or temporally varying coefficients from solution data obtained from the reference simulations. In the experiments, we show that the tBGL-SS method is more robust than the baseline methods under noisy environments and provides better model selection criteria along the regularization path.


title: First Order Plus Fractional Diffusive Delay Modeling: interconnected discrete systems

abstract: This paper presents a novel First Order Plus Fractional Diffusive Delay (FOPFDD) model, capable of modeling delay dominant systems with high accuracy. The novelty of the FOPFDD is the Fractional Diffusive Delay (FDD) term, an exponential delay of non-integer order $\alpha$, i.e. $e^{-(Ls)^{\alpha}}$ in Laplace domain. The special cases of $\alpha = 0.5$ and $\alpha = 1$ have already been investigated thoroughly. In this work $\alpha$ is generalized to any real number in the interval $]0,1[$. For $\alpha=0.5$, this term appears in the solution of distributed diffusion systems, which will serve as a source of inspiration for this work. Both frequency and time domain are investigated. However, regarding the latter, no closed-form expression of the inverse Laplace transform of the FDD can be found for all $\alpha$, so numerical tools are used to obtain an impulse response of the FDD. To establish the algorithm, several properties of the FDD term have been proven: firstly, existence of the term, secondly, invariance of the time integral of the impulse response, and thirdly, dependency of the impulse response's energy on $\alpha$. To conclude, the FOPFDD model is fitted to several delay-dominant, diffusive-like resistors-capacitors (RC) circuits to show the increased modeling accuracy compared to other state-of-the-art models found in literature. The FOPFDD model outperforms the other approximation models in accurately tracking frequency response functions as well as in mimicing the peculiar delay/diffusive-like time responses, coming from the interconnection of a large number of discrete subsystems. The fractional character of the FOPFDD makes it an ideal candidate for an approximate model to these large and complex systems with only a few parameters.


title: An Abstraction-based Method to Check Multi-Agent Deep Reinforcement-Learning Behaviors

abstract: Multi-agent reinforcement learning (RL) often struggles to ensure the safe behaviours of the learning agents, and therefore it is generally not adapted to safety-critical applications. To address this issue, we present a methodology that combines formal verification with (deep) RL algorithms to guarantee the satisfaction of formally-specified safety constraints both in training and testing. The approach we propose expresses the constraints to verify in Probabilistic Computation Tree Logic (PCTL) and builds an abstract representation of the system to reduce the complexity of the verification step. This abstract model allows for model checking techniques to identify a set of abstract policies that meet the safety constraints expressed in PCTL. Then, the agents' behaviours are restricted according to these safe abstract policies. We provide formal guarantees that by using this method, the actions of the agents always meet the safety constraints, and provide a procedure to generate an abstract model automatically. We empirically evaluate and show the effectiveness of our method in a multi-agent environment.


title: Aluminum lactate role in improving hydration and drying behavior of MgO-bonded refractory castables

abstract: Developing MgO-bonded castables is still an important subject for refractory producers and end-users based on the expansive character of the in-situ Mg(OH)2 formation. Considering that magnesia undergoes hydration when exposed to water and the generated hydrated phase needs to be properly accommodated in the resulting microstructure to inhibit the generation of cracks, it is very important to find out alternatives to control the MgO hydration reaction rate. This research investigated the use of aluminum lactate (AL) as a likely additive to change the hydration and drying behavior of vibratable castables bonded with different MgO sources (dead burnt, caustic or fumed one). Firstly, XRD, TG and DSC measurements of magnesia-based aqueous suspensions were evaluated to identify the AL effect on changing the hydration reaction products during the curing and drying steps. After that, Al2O3-MgO refractories were prepared and their flowability, curing behavior, cold flexural strength, apparent porosity, permeability and explosion resistance were evaluated. The results indicated that, instead of Mg(OH)2, Mg6Al2(OH)16(OH)2.4.5H2O/ Mg6Al2(OH)16(CO3).4H2O was the main hydrated phase identified in the AL-containing compositions. Due to this change in the hydration behavior of the refractories, the mixtures prepared with dead-burnt or magnesia fumes plus organic salt presented a longer setting time. Besides that, crack-free samples with improved permeability and green mechanical strength could be obtained when adding 0.5 wt.% or 1.0 wt.% of aluminum lactate to the tested castable compositions. Consequently, 1.0 wt.% of the selected additive favored the design of refractories with enhanced properties and greater spalling resistance, as no explosion could be observed even when subjecting the prepared samples to severe heating conditions (20C/min).


title: Model-Predictive Control of Blood Suction for Surgical Hemostasis using Differentiable Fluid Simulations

abstract: Recent developments in surgical robotics have led to new advancements in the automation of surgical sub-tasks such as suturing, soft tissue manipulation, tissue tensioning and cutting. However, integration of dynamics to optimize these control policies for the variety of scenes encountered in surgery remains unsolved. Towards this effort, we investigate the integration of differentiable fluid dynamics to optimizing a suction tool's trajectory to clear the surgical field from blood as fast as possible. The fully differentiable fluid dynamics is integrated with a novel suction model for effective model predictive control of the tool. The differentiability of the fluid model is crucial because we utilize the gradients of the fluid states with respect to the suction tool position to optimize the trajectory. Through a series of experiments, we demonstrate how, by incorporating fluid models, the trajectories generated by our method can perform as good as or better than handcrafted human-intuitive suction policies. We also show that our method is adaptable and can work in different cavity conditions while using a single handcrafted strategy fails.


title: Hyperfine structure of the $2\,^3\!P$ state in $^9$Be and the nuclear quadrupole moment

abstract: We have performed accurate calculations of the hyperfine structure of the $2\,^3\!P$ state in the $^9$Be atom with the help of highly optimized, explicitly correlated functions, accounting for the leading finite nuclear mass, radiative, nuclear structure and relativistic effects. By comparison with measurements, we have determined the $^9$Be nuclear quadrupole moment to be $Q_{\rm N} = 0.05350(14)$ barns, which is not only the most accurate result, but also disagrees with previous determinations.


title: Quantum Holism

abstract: A composite quantum system has properties that are incompatible with every property of its parts. The existence of such global properties incompatible with all local properties constitutes what I call "mereological holism"--the distinctive holism of Quantum Theory. Mereological holism has the dramatic conceptual consequence of making untenable the usual understanding of the "quantum system" as being a "physical object", since composed objects have properties compatible with those of its parts. The notion of "property" can be extended in a unique way to the whole class of operational probabilistic theories (shortly OPTs), of which the most relevant cases are Quantum Theory and Classical Theory. Whereas Classical Theory is not mereologically holistic, we can now search for other OPTs that are so. Within the OPT framework the role of the "system" is that of an input-output connection between two objective events. In non holistic theories, such as Classical Theory, the system can still be regarded as an "object". On the contrary, in holistic theories interpreting "system" as "object" constitutes an hypostatization of a theoretical notion.


title: Image Splicing Detection, Localization and Attribution via JPEG Primary Quantization Matrix Estimation and Clustering

abstract: Detection of inconsistencies of double JPEG artefacts across different image regions is often used to detect local image manipulations, like image splicing, and to localize them. In this paper, we move one step further, proposing an end-to-end system that, in addition to detecting and localizing spliced regions, can also distinguish regions coming from different donor images. We assume that both the spliced regions and the background image have undergone a double JPEG compression, and use a local estimate of the primary quantization matrix to distinguish between spliced regions taken from different sources. To do so, we cluster the image blocks according to the estimated primary quantization matrix and refine the result by means of morphological reconstruction. The proposed method can work in a wide variety of settings including aligned and non-aligned double JPEG compression, and regardless of whether the second compression is stronger or weaker than the first one. We validated the proposed approach by means of extensive experiments showing its superior performance with respect to baseline methods working in similar conditions.


title: Justifications and a Reconstruction of Parity Game Solving Algorithms

abstract: Parity games are infinite two-player games played on directed graphs. Parity game solvers are used in the domain of formal verification. This paper defines parametrized parity games and introduces an operation, Justify, that determines a winning strategy for a single node. By carefully ordering Justify steps, we reconstruct three algorithms well known from the literature.


title: Face Recognition using 3D CNNs

abstract: The area of face recognition is one of the most widely researched areas in the domain of computer vision and biometric. This is because, the non-intrusive nature of face biometric makes it comparatively more suitable for application in area of surveillance at public places such as airports. The application of primitive methods in face recognition could not give very satisfactory performance. However, with the advent of machine and deep learning methods and their application in face recognition, several major breakthroughs were obtained. The use of 2D Convolution Neural networks(2D CNN) in face recognition crossed the human face recognition accuracy and reached to 99%. Still, robust face recognition in the presence of real world conditions such as variation in resolution, illumination and pose is a major challenge for researchers in face recognition. In this work, we used video as input to the 3D CNN architectures for capturing both spatial and time domain information from the video for face recognition in real world environment. For the purpose of experimentation, we have developed our own video dataset called CVBL video dataset. The use of 3D CNN for face recognition in videos shows promising results with DenseNets performing the best with an accuracy of 97% on CVBL dataset.


title: Enabling Lower-Power Charge-Domain Nonvolatile In-Memory Computing with Ferroelectric FETs

abstract: Compute-in-memory (CiM) is a promising approach to alleviating the memory wall problem for domain-specific applications. Compared to current-domain CiM solutions, charge-domain CiM shows the opportunity for higher energy efficiency and resistance to device variations. However, the area occupation and standby leakage power of existing SRAMbased charge-domain CiM (CD-CiM) are high. This paper proposes the first concept and analysis of CD-CiM using nonvolatile memory (NVM) devices. The design implementation and performance evaluation are based on a proposed 2-transistor-1-capacitor (2T1C) CiM macro using ferroelectric field-effect-transistors (FeFETs), which is free from leakage power and much denser than the SRAM solution. With the supply voltage between 0.45V and 0.90V, operating frequency between 100MHz to 1.0GHz, binary neural network application simulations show over 47%, 60%, and 64% energy consumption reduction from existing SRAM-based CD-CiM, SRAM-based current-domain CiM, and RRAM-based current-domain CiM, respectively. For classifications in MNIST and CIFAR-10 data sets, the proposed FeFETbased CD-CiM achieves an accuracy over 95% and 80%, respectively.


title: Optimal Coding Scheme and Resource Allocation for Distributed Computation with Limited Resources

abstract: A central issue of distributed computing systems is how to optimally allocate computing and storage resources and design data shuffling strategies such that the total execution time for computing and data shuffling is minimized. This is extremely critical when the computation, storage and communication resources are limited. In this paper, we study the resource allocation and coding scheme for the MapReduce-type framework with limited resources. In particular, we focus on the coded distributed computing (CDC) approach proposed by Li et al.. We first extend the asymmetric CDC (ACDC) scheme proposed by Yu et al. to the cascade case where each output function is computed by multiple servers. Then we demonstrate that whether CDC or ACDC is better depends on system parameters (e.g., number of computing servers) and task parameters (e.g., number of input files), implying that neither CDC nor ACDC is optimal. By merging the ideas of CDC and ACDC, we propose a hybrid scheme and show that it can strictly outperform CDC and ACDC. Furthermore, we derive an information-theoretic converse showing that for the MapReduce task using a type of weakly symmetric Reduce assignment, which includes the Reduce assignments of CDC and ACDC as special cases, the hybrid scheme with a corresponding resource allocation strategy is optimal, i.e., achieves the minimum execution time, for an arbitrary amount of computing servers and storage memories.


title: Search for new phenomena in events with two opposite-charge leptons, jets and missing transverse momentum in $pp$ collisions at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: The results of a search for direct pair production of top squarks and for dark matter in events with two opposite-charge leptons (electrons or muons), jets and missing transverse momentum are reported, using 139 fb$^{-1}$ of integrated luminosity from proton-proton collisions at $\sqrt{s} = 13$ TeV, collected by the ATLAS detector at the Large Hadron Collider during Run 2 (2015-2018). This search considers the pair production of top squarks and is sensitive across a wide range of mass differences between the top squark and the lightest neutralino. Additionally, spin-0 mediator dark-matter models are considered, in which the mediator is produced in association with a pair of top quarks. The mediator subsequently decays to a pair of dark-matter particles. No significant excess of events is observed above the Standard Model background, and limits are set at 95% confidence level. The results exclude top squark masses up to about 1 TeV, and masses of the lightest neutralino up to about 500 GeV. Limits on dark-matter production are set for scalar (pseudoscalar) mediator masses up to about 250 (300) GeV.


title: Prediction of low-keV monochromatic images from polyenergetic CT scans for improved automatic detection of pulmonary embolism

abstract: Detector-based spectral computed tomography is a recent dual-energy CT (DECT) technology that offers the possibility of obtaining spectral information. From this spectral data, different types of images can be derived, amongst others virtual monoenergetic (monoE) images. MonoE images potentially exhibit decreased artifacts, improve contrast, and overall contain lower noise values, making them ideal candidates for better delineation and thus improved diagnostic accuracy of vascular abnormalities. In this paper, we are training convolutional neural networks~(CNN) that can emulate the generation of monoE images from conventional single energy CT acquisitions. For this task, we investigate several commonly used image-translation methods. We demonstrate that these methods while creating visually similar outputs, lead to a poorer performance when used for automatic classification of pulmonary embolism (PE). We expand on these methods through the use of a multi-task optimization approach, under which the networks achieve improved classification as well as generation results, as reflected by PSNR and SSIM scores. Further, evaluating our proposed framework on a subset of the RSNA-PE challenge data set shows that we are able to improve the Area under the Receiver Operating Characteristic curve (AuROC) in comparison to a na\"ive classification approach from 0.8142 to 0.8420.


title: Excitation of bulk and surface wakefields by a relativistic electron bunch in plasma of semiconductors and semimetals

abstract: The spatio-temporal structure of the bulk wakefields excited by a relativistic electron bunch in plasma of semiconductors and semimetals is studied. It is shown that these wakefield consists of the field of longitudinal plasmons and Cherenkov electromagnetic radiation, which is a set of eigen electromagnetic waves of the semiconductor or semimetal waveguide. A branch of the surface plasmons appears in a waveguide with an axial vacuum channel. The process of wake excitation of the surface plasmons by the relativistic electron bunch is also investigated. The intensity of the excited wake surface wave is determined.


title: Global Earth Magnetic Field Modeling and Forecasting with Spherical Harmonics Decomposition

abstract: Modeling and forecasting the solar wind-driven global magnetic field perturbations is an open challenge. Current approaches depend on simulations of computationally demanding models like the Magnetohydrodynamics (MHD) model or sampling spatially and temporally through sparse ground-based stations (SuperMAG). In this paper, we develop a Deep Learning model that forecasts in Spherical Harmonics space 2, replacing reliance on MHD models and providing global coverage at one minute cadence, improving over the current state-of-the-art which relies on feature engineering. We evaluate the performance in SuperMAG dataset (improved by 14.53%) and MHD simulations (improved by 24.35%). Additionally, we evaluate the extrapolation performance of the spherical harmonics reconstruction based on sparse ground-based stations (SuperMAG), showing that spherical harmonics can reliably reconstruct the global magnetic field as evaluated on MHD simulation.

categories: physics.geo-ph astro-ph.SR cs.LG physics.space-ph


title: Search for axion-like dark matter with spin-based amplifiers

abstract: Ultralight axion-like particles (ALPs) are well-motivated dark matter candidates introduced by theories beyond the standard model. However, the constraints on the existence of ALPs through existing laboratory experiments are hindered by their current sensitivities, which are usually weaker than astrophysical limits. Here, we demonstrate a new quantum sensor to search for ALPs in the mass range that spans about two decades from 8.3 feV to 744 feV. Our sensor makes use of hyperpolarized long-lived nuclear spins as a pre-amplifier that effectively enhances coherently oscillating axion-like dark-matter field by a factor of >100. Using spin-based amplifiers, we achieve an ultrahigh magnetic sensitivity of 18 fT/Hz$^{1/2}$, which is significantly better than state-of-the-art nuclear-spin magnetometers. Our experiment constrains the parameter space describing the coupling of ALPs to nucleons over our mass range, at 67.5 feV reaching $2.9\times 10^{-9}~\textrm{GeV}^{-1}$ ($95\%$ confidence level), improving over previous laboratory limits by at least five orders of magnitude. Our measurements also constrain the ALP-nucleon quadratic interaction and dark photon-nucleon interaction with new limits beyond the astrophysical ones


title: Tractability of approximation in the weighted Korobov space in the worst-case setting -- a complete picture

abstract: In this paper, we study tractability of $L_2$-approximation of one-periodic functions from weighted Korobov spaces in the worst-case setting. The considered weights are of product form. For the algorithms we allow information from the class $\Lambda^{{\rm all}}$ consisting of all continuous linear functionals and from the class $\Lambda^{{\rm std}}$, which only consists of function evaluations. We provide necessary and sufficient conditions on the weights of the function space for quasi-polynomial tractability, uniform weak tractability, weak tractability and $(\sigma,\tau)$-weak tractability. Together with the already known results for strong polynomial and polynomial tractability, our findings provide a complete picture of the weight conditions for all current standard notions of tractability.


title: Experimental entanglement characterization of two-rebit states

abstract: We characterize entanglement subject to its definition over real and complex, composite quantum systems. In particular, a method is established to assess quantum correlations with respect to a selected number system, illuminating the deeply rooted, yet rarely discussed question of why quantum states are described via complex numbers. With our experiment, we then realize two-photon polarization states that are entangled with respect to the notion of two rebits, comprising two two-level systems over real numbers. At the same time, the generated states are separable with respect to two complex qubits. Among other results, we reconstruct the best approximation of the generated states in terms of a real-valued, local expansion and show that this yields an incomplete description of our data. Conversely, the generated states are shown to be fully decomposable in terms of tensor-product states with complex wave functions. Thereby, we probe paradigms of quantum physics with modern theoretical tools and experimental platforms that are relevant for applications in quantum information science and technology and connected to the fundamentals of the quantum description of nature.


title: Canonical scale separation in two-dimensional incompressible hydrodynamics

abstract: A two-dimensional inviscid incompressible fluid is governed by simple rules. Yet, to characterise its long-time behaviour is a knotty problem. The fluid evolves according to Euler's equations: a non-linear Hamiltonian system with infinitely many conservation laws. In both experiments and numerical simulations, coherent vortex structures, or blobs, emerge after an initial stage. These formations dominate the large-scale dynamics, but small scales also persist. Kraichnan describes in his classical work a forward cascade of enstrophy into smaller scales, and a backward cascade of energy into larger scales. Previous attempts to model Kraichnan's double cascade use filtering techniques that enforce separation from the outset. Here we show that Euler's equations posses an intrinsic, canonical splitting of the vorticity function. The splitting is remarkable in four ways: (i) it is defined solely via the Poisson bracket and the Hamiltonian, (ii) it characterises steady flows, (iii) without imposition it yields a separation of scales, enabling the dynamics behind Kraichnan's qualitative description, and (iv) it accounts for the "broken line" in the power law for the energy spectrum, observed in both experiments and numerical simulations. The splitting originates from Zeitlin's truncated model of Euler's equations in combination with a standard quantum-tool: the spectral decomposition of Hermitian matrices. In addition to theoretical insight, the scale separation dynamics could be used for stochastic model reduction, where small scales are modelled by multiplicative noise.

categories: math-ph cs.NA math.MP math.NA physics.flu-dyn


title: Detecting Anomalies in Software Execution Logs with Siamese Network

abstract: Logs are semi-structured text files that represent software's execution paths and states during its run-time. Therefore, detecting anomalies in software logs reflect anomalies in the software's execution path or state. So, it has become a notable concern in software engineering. We use LSTM like many prior works, and on top of LSTM, we propose a novel anomaly detection approach based on the Siamese network. This paper also provides an authentic validation of the approach on the Hadoop Distributed File System (HDFS) log dataset. To the best of our knowledge, the proposed approach outperforms other methods on the same dataset at the F1 score of 0.996, resulting in a new state-of-the-art performance on the dataset. Along with the primary method, we introduce a novel training pair generation algorithm that reduces generated training pairs by the factor of 3000 while maintaining the F1 score, merely a modest decay from 0.996 to 0.995. Additionally, we propose a hybrid model by combining the Siamese network with a traditional feedforward neural network to make end-to-end training possible, reducing engineering effort in setting up a deep-learning-based log anomaly detector. Furthermore, we examine our method's robustness to log evolutions by evaluating the model on synthetically evolved log sequences; we got the F1 score of 0.95 at the noise ratio of 20%. Finally, we dive deep into some of the side benefits of the Siamese network. Accordingly, we introduce a method of monitoring the evolutions of logs without label requirements at run-time. Additionally, we present a visualization technique that facilitates human administrations of log anomaly detection.


title: Measurement-based Uncomputation Applied to Controlled Modular Multiplication

abstract: This is a brief report on a particular use of measurement-based uncomputation. Though not appealing in performance, it may shed light on optimization techniques in various quantum circuits.


title: MAUVE: Measuring the Gap Between Neural Text and Human Text using Divergence Frontiers

abstract: As major progress is made in open-ended text generation, measuring how close machine-generated text is to human language remains a critical open problem. We introduce MAUVE, a comparison measure for open-ended text generation, which directly compares the learnt distribution from a text generation model to the distribution of human-written text using divergence frontiers. MAUVE scales up to modern text generation models by computing information divergences in a quantized embedding space. Through an extensive empirical study on three open-ended generation tasks, we find that MAUVE identifies known properties of generated text, scales naturally with model size, and correlates with human judgments, with fewer restrictions than existing distributional evaluation metrics.


title: My encounter with Seshadri and with the Narasimhan-Seshadri theorem

abstract: C.S. Seshadri passed away in July 2020. The first part of this article contains some reminiscences from the early 1980s, when as a graduate student in the Tata Institute of Fundamental Research (TIFR), Mumbai, I had the good fortune to learn from him. The second part is on the Narasimhan-Seshadri theorem and my encounter with it.


title: Decentralizing Supply Chain Anti-Counterfeiting Systems Using Blockchain Technology

abstract: An interesting research problem in supply chain industry is evaluating and determining provenance of physical goods - demonstrating authenticity of luxury goods. Yet, there have been a few innovative software solutions addressing product anti-counterfeiting and record provenance of today's goods that are produced and transported in complex and internationally-spanning supply chain networks. However, these supply chain systems have been implemented with centralized system architecture, relying on centralized authorities or any form of intermediaries, and leading to issues such as single-point processing, storage and failure, which could be susceptible to malicious modifications of product records or various potential attacks to system components by dishonest participant nodes traversing along the supply chain. Blockchain technology has evolved from being merely a decentralized, distributed and immutable ledger of cryptocurrency transactions to a programmable interactive environment for building decentralized and reliable applications addressing different use cases and existing problems in the world. In this research, the Decentralized NFC-Enabled Anti-Counterfeiting System (dNAS) is proposed and developed, decentralizing a legacy anti-counterfeiting system of supply chain industry using Blockchain technology, to facilitate trustworthy data provenance retrieval, verification and management, as well as strengthening capability of product anti-counterfeiting in supply chain industry. The proposed dNAS utilizes decentralized blockchain network on a consensus protocol compatible with the concept of enterprise consortium, programmable smart contracts and a distributed file storage system to develop a secure and immutable scientific data provenance tracking and management platform on which provenance records, providing compelling properties on data integrity, are validated automatically.


title: Dispersive regularization for phase transitions

abstract: We introduce a dispersive regularization of the compressible Euler equations in Lagrangian coordinates, in the one-dimensional torus. We assume a Van der Waals pressure law, which presents both hyperbolic and elliptic zones. The dispersive regularization is of Schroedinger type. In particular, the regularized system is complex-valued. It has a conservation law, which, for real unknowns, is identical to the energy of the unregularized physical system. The regularized system supports high-frequency solutions, with an existence time or an amplitude which depend strongly on the pressure law.


title: Drift Estimation with Graphical Models

abstract: This paper deals with the issue of concept drift in supervised machine learn-ing. We make use of graphical models to elicit the visible structure of the dataand we infer from there changes in the hidden context. Differently from previous concept-drift detection methods, this application does not depend on the supervised machine learning model in use for a specific target variable, but it tries to assess the concept drift as independent characteristic of the evolution of a dataset. Specifically, we investigate how a graphical model evolves by looking at the creation of new links and the disappearing of existing ones in different time periods. The paper suggests a method that highlights the changes and eventually produce a metric to evaluate the stability over time. The paper evaluate the method with real world data on the Australian Electric market.


title: The Method of Cumulants for the Normal Approximation

abstract: The survey is dedicated to a celebrated series of quantitave results, developed by the Lithuanian school of probability, on the normal approximation for a real-valued random variable. The key ingredient is a bound on cumulants of the type $|\kappa_j(X)| \leq j!^{1+\gamma} /\Delta^{j-2}$, which is weaker than Cram\'er's condition of finite exponential moments. We give a self-contained proof of some of the "main lemmas" in a book by Saulis and Statulevi\v{c}ius (1989), and an accessible introduction to the Cram\'er-Petrov series. In addition, we explain relations with heavy-tailed Weibull variables, moderate deviations, and mod-phi convergence. We discuss some methods for bounding cumulants such as summability of mixed cumulants and dependency graphs, and briefly review a few recent applications of the method of cumulants for the normal approximation.


title: Learning to Segment Human Body Parts with Synthetically Trained Deep Convolutional Networks

abstract: This paper presents a new framework for human body part segmentation based on Deep Convolutional Neural Networks trained using only synthetic data. The proposed approach achieves cutting-edge results without the need of training the models with real annotated data of human body parts. Our contributions include a data generation pipeline, that exploits a game engine for the creation of the synthetic data used for training the network, and a novel pre-processing module, that combines edge response maps and adaptive histogram equalization to guide the network to learn the shape of the human body parts ensuring robustness to changes in the illumination conditions. For selecting the best candidate architecture, we perform exhaustive tests on manually annotated images of real human body limbs. We further compare our method against several high-end commercial segmentation tools on the body parts segmentation task. The results show that our method outperforms the other models by a significant margin. Finally, we present an ablation study to validate our pre-processing module. With this paper, we release an implementation of the proposed approach along with the acquired datasets.


title: Roton Excitations in an Oblate Dipolar Quantum Gas

abstract: We observe signatures of radial and angular roton excitations around a droplet crystallization transition in dipolar Bose-Einstein condensates. In situ measurements are used to characterize the density fluctuations near this transition. The static structure factor is extracted and used to identify the radial and angular roton excitations by their characteristic symmetries. These fluctuations peak as a function of interaction strength indicating the crystallization transition of the system. We compare our observations to a theoretically calculated excitation spectrum allowing us to connect the crystallization mechanism with the softening of the angular roton modes.


title: A few remarks on Pimsner-Popa bases and regular subfactors of depth 2

abstract: We prove that a finite index regular inclusion of $II_1$-factors with commutative first relative commutant is always a crossed product subfactor with respect to a minimal action of a biconnected weak Kac algebra. Prior to this, we prove that every finite index inclusion of $II_1$-factors which is of depth $2$ and has simple first relative commutant (respectively, is regular and has commutative or simple first relative commutant) admits a two-sided Pimsner-Popa basis (respectively, a unitary orthonormal basis)


title: On the minimal dimension of a faithful linear representation of a finite group

abstract: The representation dimension of a finite group $G$ is the minimal dimension of a faithful complex linear representation of $G$. We prove that the representation dimension of any finite group $G$ is at most $\sqrt{|G|}$ except if $G$ is a $2$-group with elementary abelian center of order $8$ and all irreducible characters of $G$ whose kernel does not contain $Z(G)$ are fully ramified with respect to $G/Z(G)$. We also obtain bounds for the representation dimension of quotients of $G$ in terms of the representation dimension of $G$, and discuss the relation of this invariant with the essential dimension of $G$.


title: An algebraic method for solving the inverse problem of quantum scattering theory

abstract: We present a new algebraic method for solving the inverse problem of quantum scattering theory based on the Marchenko theory. We applied a triangular wave set for the Marchenko equation kernel expansion in a separable form. The separable form allows a reduction of the Marchenko equation to a system of linear equations. For the zero orbital angular momentum, a linear expression of the kernel expansion coefficients is obtained in terms of the Fourier series coefficients of a function depending on the momentum q and determined by the scattering data on the finite range of q.


title: Conjugate Distribution Laws in Cultural Evolution via Statistical Learning

abstract: Many cultural traits characterizing intelligent behaviors are now thought to be transmitted through statistical learning, motivating us to study its effects on cultural evolution. We conduct a large-scale music data analysis and observe that various statistical parameters of musical products approximately follow the beta distribution and other conjugate distributions. We construct a simple model of cultural evolution incorporating statistical learning and analytically show that conjugate distributions emerge at equilibrium in the presence of oblique transmission. The results demonstrate that the distribution of a cultural trait within a population depends on the individual's model for cultural production (the conjugate distribution law), and reveal interesting possibilities for theoretical and experimental studies on cultural evolution and social learning.


title: Individual dynamic prediction of clinical endpoint from large dimensional longitudinal biomarker history: a landmark approach

abstract: The individual data collected throughout patient follow-up constitute crucial information for assessing the risk of a clinical event, and eventually for adapting a therapeutic strategy. Joint models and landmark models have been proposed to compute individual dynamic predictions from repeated measures to one or two markers. However, they hardly extend to the case where the complete patient history includes much more repeated markers possibly. Our objective was thus to propose a solution for the dynamic prediction of a health event that may exploit repeated measures of a possibly large number of markers. We combined a landmark approach extended to endogenous markers history with machine learning methods adapted to survival data. Each marker trajectory is modeled using the information collected up to landmark time, and summary variables that best capture the individual trajectories are derived. These summaries and additional covariates are then included in different prediction methods. To handle a possibly large dimensional history, we rely on machine learning methods adapted to survival data, namely regularized regressions and random survival forests, to predict the event from the landmark time, and we show how they can be combined into a superlearner. Then, the performances are evaluated by cross-validation using estimators of Brier Score and the area under the Receiver Operating Characteristic curve adapted to censored data. We demonstrate in a simulation study the benefits of machine learning survival methods over standard survival models, especially in the case of numerous and/or nonlinear relationships between the predictors and the event. We then applied the methodology in two prediction contexts: a clinical context with the prediction of death for patients with primary biliary cholangitis, and a public health context with the prediction of death in the general elderly population at different ages. Our methodology, implemented in R, enables the prediction of an event using the entire longitudinal patient history, even when the number of repeated markers is large. Although introduced with mixed models for the repeated markers and methods for a single right censored time-to-event, our method can be used with any other appropriate modeling technique for the markers and can be easily extended to competing risks setting.


title: Nondegenerate abnormality, controllability, and gap phenomena in optimal control with state constraints

abstract: In optimal control theory, infimum gap means that there is a gap between the infimum values of a given minimum problem and an extended problem, obtained by enlarging the set of original solutions and controls. The gap phenomenon is somewhat "dual" to the problem of the controllability of the original control system to an extended solution. In this paper we present sufficient conditions for the absence of an infimum gap and for controllability for a wide class of optimal control problems subject to endpoint and state constraints. These conditions are based on a nondegenerate version of the nonsmooth constrained maximum principle, expressed in terms of subdifferentials. In particular, under some new constraint qualification conditions, we prove that: (i) if an extended minimizer is a nondegenerate normal extremal, then no gap shows up; (ii) given an extended solution verifying the constraints, either it is a nondegenerate abnormal extremal, or the original system is controllable to it. An application to the impulsive extension of a free end-time, non-convex optimization problem with control-polynomial dynamics illustrates the results.


title: TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems

abstract: Trigger-action programming (TAP) is a popular end-user programming framework that can simplify the Internet of Things (IoT) automation with simple trigger-action rules. However, it also introduces new security and safety threats. A lot of advanced techniques have been proposed to address this problem. Rigorously reasoning about the security of a TAP-based IoT system requires a well-defined model and verification method both against rule semantics and physical-world features, e.g., concurrency, rule latency, extended action, tardy attributes, and connection-based rule interactions, which has been missing until now. By analyzing these features, we find 9 new types of rule interaction vulnerabilities and validate them on two commercial IoT platforms. We then present TAPInspector, a novel system to detect these interaction vulnerabilities in concurrent TAP-based IoT systems. It automatically extracts TAP rules from IoT apps, translates them into a hybrid model by model slicing and state compression, and performs semantic analysis and model checking with various safety and liveness properties. Our experiments corroborate that TAPInspector is practical: it identifies 533 violations related to rule interaction from 1108 real-world market IoT apps and is at least 60000 times faster than the baseline without optimization.


title: The microscopic picture of the integer quantum Hall regime

abstract: Computer modelling of the integer quantum Hall effect based on self-consistent Hartee-Fock calculations has now reached an astonishing level of maturity. Spatially-resolved studies of the electron density at near macroscopic system sizes of up to $\sim 1\ \mu m^2$ reveal self-organized clusters of locally fully filled and locally fully depleted Landau levels depending on which spin polarization is favoured. The behaviour results, for strong disorders, in an exchange-interaction induced $g$-factor enhancement and, ultimately, gives rise to narrow transport channels, including the celebrated narrow edge channels. For weak disorder, we find that bubble and stripes phases emerge with characteristics that predict experimental results very well. Hence the HF approach has become a convenient numerical basis to \emph{quantitatively} study the quantum Hall effects, superseding previous more qualitative approaches.


title: Lax Connections in $T\bar{T}$-deformed Integrable Field Theories

abstract: In this work, we try to construct the Lax connections of $T\bar{T}$-deformed integrable field theories in two different ways. With reasonable assumptions, we make ansatz and find the Lax pairs in the $T\bar{T}$-deformed affine Toda theories and the principal chiral model by solving the Lax equations directly. This way is straightforward but maybe hard to apply for general models. We then make use of the dynamical coordinate transformation to read the Lax connection in the deformed theory from the undeformed one. We find that once the inverse of the transformation is available, the Lax connection can be read easily. We show the construction explicitly for a few classes of scalar models, and find consistency with the ones in the first way.


title: Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation

abstract: A general overview of the existing difference ring theory for symbolic summation is given. Special emphasis is put on the user interface: the translation and back translation of the corresponding representations within the term algebra and the formal difference ring setting. In particular, canonical (unique) representations and their refinements in the introduced term algebra are explored by utilizing the available difference ring theory. Based on that, precise input-output specifications of the available tools of the summation package Sigma are provided.


title: The dynamics of the globular cluster NGC3201 out to the Jacobi radius

abstract: As part of a chemo-dynamical survey of five nearby globular clusters with 2dF/AAOmega on the AAT, we have obtained kinematic information for the globular cluster NGC3201. Our new observations confirm the presence of a significant velocity gradient across the cluster which can almost entirely be explained by the high proper motion of the cluster. After subtracting the contribution of this perspective rotation, we found a remaining rotation signal with an amplitude of $\sim1\ km/s$ around a different axis to what we expect from the tidal tails and the potential escapers, suggesting that this rotation is internal and can be a remnant of its formation process. At the outer part, we found a rotational signal that is likely a result from potential escapers. The proper motion dispersion at large radii reported by Bianchini et al. has previously been attributed to dark matter. Here we show that the LOS dispersion between 0.5-1 Jacobi radius is lower, yet above the predictions from an N-body model of NGC3201 that we ran for this study. Based on the simulation, we find that potential escapers cannot fully explain the observed velocity dispersion. We also estimate the effect on the velocity dispersion of different amounts of stellar-mass black holes and unbound stars from the tidal tails with varying escape rates and find that these effects cannot explain the difference between the LOS dispersion and the N-body model. Given the recent discovery of tidal tail stars at large distances from the cluster, a dark matter halo is an unlikely explanation. We show that the effect of binary stars, which is not included in the N-body model, is important and can explain part of the difference in dispersion. We speculate that the remaining difference must be the result of effects not included in the N-body model, such as initial cluster rotation, velocity anisotropy and Galactic substructure.


title: Superintegrability and Kontsevich-Hermitian relation

abstract: We analyze the well-known equivalence between the quadratic Kontsevich-Penner and Hermitian matrix models from the point of view of superintegrability relations, i.e. explicit formulas for character averages. This is not that trivial on the Kontsevich side and seems important for further studies of various deformations of Kontsevich models. In particular, the Brezin-Hikami extension of the above equivalence becomes straightforward.


title: Propagation of Global Analytic Singularities for Schr\"odinger Equations with Quadratic Hamiltonians

abstract: We study the propagation in time of $1/2$-Gelfand-Shilov singularities, i.e. global analytic singularities, of tempered distributional solutions of the initial value problem \begin{align*} \begin{cases} u_t + q^w(x,D) u = 0 \\ u|_{t=0} = u_0, \end{cases} \end{align*} on $\mathbb{R}^n$, where $u_0$ is a tempered distribution on $\mathbb{R}^n$, $q=q(x,\xi)$ is a complex-valued quadratic form on $\mathbb{R}^{2n} = \mathbb{R}^n_x \times \mathbb{R}^n_\xi$ with nonnegative real part $\textrm{Re} \ q \ge 0$, and $q^w(x,D)$ is the Weyl quantization of $q$. We prove that the $1/2$-Gelfand-Shilov singularities of the initial data that are contained within a distinguished linear subspace of the phase space $\mathbb{R}^{2n}$, called the singular space of $q$, are transported by the Hamilton flow of $\textrm{Im} \ q$, while all other $1/2$-Gelfand-Shilov singularities are instantaneously regularized. Our result extends the observation of Hitrik, Pravda-Starov, and Viola '18 that this evolution is instantaneously globally analytically regularizing when the singular space of $q$ is trivial.


title: Thermodynamics of black hole in $D$-dimensional $f(R)$ theory

abstract: We consider whether the new horizon-first law works in higher-dimensional $f(R)$ theory. We firstly obtain the general formulas to calculate the entropy and the energy of a general spherically-symmetric black hole in $D$-dimensional $f(R)$ theory. For applications, we compute the entropies and the energies of some black hokes in some interesting higher-dimensional $f(R)$ theories.