title: A Comprehensive and Cross-Platform Test Suite for Memory Safety -- Towards an Open Framework for Testing Processor Hardware Supported Security Extensions

abstract: Memory safety remains a critical and widely violated property in reality. Numerous defense techniques have been proposed and developed but most of them are not applied or enabled by default in production-ready environment due to their substantial running cost. The situation might change in the near future because the hardware supported defenses against these attacks are finally beginning to be adopted by commercial processors, operating systems and compilers. We then face a question as there is currently no suitable test suite to measure the memory safety extensions supported on different processors. In fact, the issue is not constrained only for memory safety but all aspect of processor security. All of the existing test suites related to processor security lack some of the key properties, such as comprehensiveness, distinguishability and portability. As an initial step, we propose an expandable test framework for measuring the processor security and open source a memory safety test suite utilizing this framework. The framework is deliberately designed to be flexible so it can be gradually extended to all types of hardware supported security extensions in processors. The initial test suite for memory safety currently contains 160 test cases covering spatial and temporal safety of memory, memory access control, pointer integrity and control-flow integrity. Each type of vulnerabilities and their related defenses have been individually evaluated by one or more test cases. The test suite has been ported to three different instruction set architectures (ISAs) and experimented on six different platforms. We have also utilized the test suite to explore the security benefits of applying different sets of compiler flags available on the latest GNU GCC and LLVM compilers.


title: Classification of integrable boundary equations for integrable quad-graph systems

abstract: In the context of integrable systems on quad-graphs, the boundary consistency around a half of a rhombic dodecahedron, as a companion notion to the three-dimensional consistency around a cube, was introduced as a criterion for defining integrable boundary conditions for quad-graph systems with a boundary. In this paper, we formalize the notions of boundary equations as boundary conditions for quad-graph systems, and provide a systematic method for solving the boundary consistency, which results in a classification of integrable boundary equations for quad-graph equations in the Adler-Bobenko-Suris classification. This relies on factorizing, first the quad-graph equations into pairs of dual boundary equations, and then the consistency on a rhombic dodecahedron into two equivalent boundary consistencies. Generalizations of the method to rhombic-symmetric equations are also considered.


title: Rate-Splitting Multiple Access for Satellite-Terrestrial Integrated Networks:Benefits of Coordination and Cooperation

abstract: This work studies the joint beamforming design problem of achieving max-min rate fairness in a satellite-terrestrial integrated network (STIN) where the satellite provides wide coverage to multibeam multicast satellite users (SUs), and the terrestrial base station (BS) serves multiple cellular users (CUs) in a densely populated area. Both the satellite and BS operate in the same frequency band. Since rate-splitting multiple access (RSMA) has recently emerged as a promising strategy for non-orthogonal transmission and robust interference management in multi-antenna wireless networks, we present two RSMA-based STIN schemes, namely the coordinated scheme relying on channel state information (CSI) sharing and the cooperative scheme relying on CSI and data sharing. Our objective is to maximize the minimum fairness rate amongst all SUs and CUs subject to transmit power constraints at the satellite and the BS. A joint beamforming algorithm is proposed to reformulate the original problem into an approximately equivalent convex one which can be iteratively solved. Moreover, an expectation-based robust joint beamforming algorithm is proposed against the practical environment when satellite channel phase uncertainties are considered. Simulation results demonstrate the effectiveness and robustness of our proposed RSMA schemes for STIN, and exhibit significant performance gains compared with various traditional transmission strategies.


title: Image preprocessing and modified adaptive thresholding for improving OCR

abstract: In this paper I have proposed a method to find the major pixel intensity inside the text and thresholding an image accordingly to make it easier to be used for optical character recognition (OCR) models. In our method, instead of editing whole image, I are removing all other features except the text boundaries and the color filling them. In this approach, the grayscale intensity of the letters from the input image are used as one of thresholding parameters. The performance of the developed model is finally validated with input images, with and without image processing followed by OCR by PyTesseract. Based on the results obtained, it can be observed that this algorithm can be efficiently applied in the field of image processing for OCR.


title: Structural theorems on the distance sets over finite fields

abstract: Let $\mathbb{F}_q$ be a finite field of order $q$. Iosevich and Rudnev (2005) proved that for any set $A\subset \mathbb{F}_q^d$, if $|A|\gg q^{\frac{d+1}{2}}$, then the distance set $\Delta(A)$ contains a positive proportion of all distances. Although this result is sharp in odd dimensions, it is conjectured that the right exponent should be $\frac{d}{2}$ in even dimensions. During the last 15 years, only some improvements have been made in two dimensions, and the conjecture is still wide open in higher dimensions. To fill the gap, we need to understand more about the structures of the distance sets, the main purpose of this paper is to provide some structural theorems on the distribution of square and non-square distances.


title: Existence and uniqueness of local regular solution to the Schr\"{o}dinger flow from a bounded domain in $\mathbb{R}^3$ into $\mathbb{S}^2$

abstract: In this paper, we show the existence and uniqueness of local regular solutions to the initial-Neumann boundary value problem of Schr\"{o}dinger flow from a smooth bounded domain $\Omega\subset\mathbb{R}^3$ into $\mathbb{S}^2$(namely Landau-Lifshitz equation without dissipation). The proof is built on a parabolic perturbation method, an intrinsic geometric energy argument and some observations on the behaviors of some geometric quantities on the boundary of the domain manifold. It is based on methods from Ding and Wang (one of the authors of this paper) for the Schr\"odinger flows of maps from a closed Riemannian manifold into a K\"ahler manifold as well as on methods by Carbou and Jizzini for solutions of the Landau-Lifshitz equation.


title: A simple proof of ill-posedness for incompressible Euler equations in critical Sobolev spaces

abstract: We provide a simple proof that the Cauchy problem for the incompressible Euler equations in $\mathbb{R}^{d}$ with any $d\ge3$ is ill-posed in critical Sobolev spaces, extending an earlier work of Bourgain and Li in the case $d = 3$. The ill-posedness is shown for certain critical Lorentz spaces as well.


title: Anomalous particle diffusion influenced by angular heterogeneity

abstract: A generalized persistent random walk (GPRW) model to study anomalous particle diffusion influenced by angular heterogeneity is presented. Consider the motion of a particle is composed of many consecutive straight line segments. At the end of each straight motion, the particle can switch to a new moving direction. Angular heterogeneity occurs when the probability of choosing a moving direction is non-uniformly distributed and influenced by surrounding environment and by the particle past conditions. Based on the model, we show that particles perform Gaussian Fickian diffusion with directional drifting in a memoryless system with spatial dependent angular heterogeneity. When the probability of maintaining the current moving direction is correlated with the particle speed, these particles perform Fickian diffusion, but their full distribution diverges from Gaussian. When the probability of maintaining te current moving direction is correlated with the historical moving distance, particles perform superdiffusion. The GPRW framework presented can be applied to study protein diffusion, cell migration and solute transport in complex heterogeneous environments.


title: Empirical Conditional Method: A New Approach to Predict Throughput in TCP Mobile Data Network

abstract: Experience of live video streaming can be improved if future available bandwidth can be predicted more accurately at the video uploader side. Thus follows a natural question which is how to make predictions both easily and precisely in an ever-changing network. Researchers have developed many prediction algorithms in the literature, from where a simple algorithm, Arithmetic Mean (AM), stands out. Based on that, we are purposing a new method called Empirical Conditional Method (ECM) based on a Markov model, hoping to utilize more information in the past data to get a more accurate prediction without loss of practicality. Through simulations, we found that our ECM algorithm performs better than the commonly used AM one, in the sense of reducing the loss by about 10% compared with AM. Besides, ECM also has a higher utilization rate of available bandwidth, which means ECM can send more data out while not having a higher loss rate or delay, especially under a low FPS setting. ECM can be more helpful for those who have relatively limited networks to reach a more considerable balance between frame loss rate and video quality hence improving the quality of experience.


title: CoFeVSb: A Promising Candidate for Spin Valve and Thermoelectric Applications

abstract: We report a combined theoretical and experimental study of a novel quaternary Heusler system CoFeVSb from the view point of room temperature spintronics and thermoelectric applications. It crystallizes in cubic structure with small DO$_3$-type disorder. The presence of disorder is confirmed by room temperature synchrotron X-ray diffraction(XRD) and extended X-ray absorption fine structure (EXAFS) measurements. Magnetization data reveal high ordering temperature with a saturation magnetization of 2.2 $\mu_B$/f.u. Resistivity measurements reflect half-metallic nature. Double hysteresis loop along with asymmetry in the magnetoresistance(MR) data reveals room temperature spin-valve feature, which remains stable even at 300 K. Hall measurements show anomalous behavior with significant contribution from intrinsic Berry phase. This compound also large room temperature power factor ($\sim0.62$ mWatt/m/K$^{2}$) and ultra low lattice thermal conductivity ($\sim0.4$ W/m/K), making it a promising candidate for thermoelectric application. Ab-initio calculations suggest weak half-metallic behavior and reduced magnetization (in agreement with experiment) in presence of DO$_3$ disorder. We have also found an energetically competing ferromagnetic FM)/antiferromagnetic (AFM) interface structure within an otherwise FM matrix: one of the prerequisites for spin valve behavior. Coexistence of so many promising features in a single system is rare, and hence CoFeVSb gives a fertile platform to explore numerous applications in future.


title: Bounds on semi-device-independent quantum random number expansion capabilities

abstract: The randomness expansion capabilities of semi-device-independent (SDI) prepare and measure protocols are analyzed under the sole assumption that the Hilbert state dimension is known. It's explicitly proved that the maximum certifiable entropy that can be obtained through this set of protocols is $-\log_2\left[\frac{1}{2}\left(1+\frac{1}{\sqrt{3}}\right)\right]$ and the same is independent of the dimension witnesses used to certify the protocol. The minimum number of preparation and measurement settings required to achieve this entropy is also proven. An SDI protocol that generates the maximum output entropy with the least amount of input setting is provided. An analytical relationship between the entropy generated and the witness value is obtained. It's also established that certifiable entropy can be generated as soon as dimension witness crosses the classical bound, making the protocol noise-robust and useful in practical applications.


title: A Grounded Well-being Conversational Agent with Multiple Interaction Modes: Preliminary Results

abstract: Technologies for enhancing well-being, healthcare vigilance and monitoring are on the rise. However, despite patient interest, such technologies suffer from low adoption. One hypothesis for this limited adoption is loss of human interaction that is central to doctor-patient encounters. In this paper we seek to address this limitation via a conversational agent that adopts one aspect of in-person doctor-patient interactions: A human avatar to facilitate medical grounded question answering. This is akin to the in-person scenario where the doctor may point to the human body or the patient may point to their own body to express their conditions. Additionally, our agent has multiple interaction modes, that may give more options for the patient to use the agent, not just for medical question answering, but also to engage in conversations about general topics and current events. Both the avatar, and the multiple interaction modes could help improve adherence. We present a high level overview of the design of our agent, Marie Bot Wellbeing. We also report implementation details of our early prototype , and present preliminary results.


title: Advantages of Including Globular Cluster Millisecond Pulsars in Pulsar Timing Arrays

abstract: Even though Pulsar Timing Arrays already have the potential to detect the gravitational wave background by finding a quadrupole correlation in the timing residuals, this goal has not yet been achieved. Motivated by some theoretical arguments, we analyzed some advantages of including the millisecond pulsars within globular clusters, especially those in their cores, in current and future Pulsar Timing Array projects for detecting the gravitational waves emitted by an ensemble of supermassive black holes.


title: Optics-less beam control of EUV high harmonics generated from solids

abstract: High harmonics generation (HHG) of coherent extreme ultraviolet (EUV) radiation enables ultrafast pump-probe spectroscopy with attosecond-scale timing resolutions. Yet beam control of generated EUV radiation remains a major challenge for handy implementation of ultrafast spectroscopy particularly for nano-micro samples. Here, we demonstrate a solid-based HHG scheme that incorporates non-collinear illumination to perform the propagation control of EUV harmonics by wavefront phase manipulation via a spatial light modulator. Further, our solid-based non-collinear HHG scheme converts EUV harmonics to Bessel beams without extra optics for beam focusing, offering a useful tool for diverse EUV applications of metrology and fabrication.


title: Weakening the Inner Strength: Spotting Core Collusive Users in YouTube Blackmarket Network

abstract: Social reputation (e.g., likes, comments, shares, etc.) on YouTube is the primary tenet to popularize channels/videos. However, the organic way to improve social reputation is tedious, which often provokes content creators to seek the services of online blackmarkets for rapidly inflating content reputation. Such blackmarkets act underneath a thriving collusive ecosystem comprising core users and compromised accounts (together known as collusive users). Core users form the backbone of blackmarkets; thus, spotting and suspending them may help in destabilizing the entire collusive network. Although a few studies focused on collusive user detection on Twitter, Facebook, and YouTube, none of them differentiate between core users and compromised accounts. We are the first to present a rigorous analysis of core users in YouTube blackmarkets. To this end, we collect a new dataset of collusive YouTube users. We study the core-periphery structure of the underlying collusive commenting network (CCN). We examine the topology of CCN to explore the behavioral dynamics of core and compromised users. We then introduce KORSE, a novel graph-based method to automatically detect core users based only on the topological structure of CCN. KORSE performs a weighted k-core decomposition using our proposed metric, called Weighted Internal Core Collusive Index (WICCI). However, KORSE is infeasible to adopt in practice as it requires complete interactions among collusive users to construct CCN. We, therefore, propose NURSE, a deep fusion framework that only leverages user timelines (without considering the underlying CCN) to detect core blackmarket users. Experimental results show that NURSE is quite close to KORSE in detecting core users and outperforms nine baselines.


title: Radiation pressure acceleration of protons from structured thin-foil targets

abstract: The process of radiation pressure acceleration (RPA) of ions is investigated with the aim of suppressing the Rayleigh-Taylor like transverse instabilities in laser-foil interaction. This is achieved by imposing surface and density modulations on the target surface. We also study the efficacy of RPA of ions from density modulated and structured targets in the radiation dominated regime where the radiation reaction effects are important. We show that the use of density modulated and structured targets and the radiation reaction effects can help in achieving the twin goals of high ion energy (in GeV range) and lower energy spread.


title: Multicriteria interpretability driven Deep Learning

abstract: Deep Learning methods are renowned for their performances, yet their lack of interpretability prevents them from high-stakes contexts. Recent model agnostic methods address this problem by providing post-hoc interpretability methods by reverse-engineering the model's inner workings. However, in many regulated fields, interpretability should be kept in mind from the start, which means that post-hoc methods are valid only as a sanity check after model training. Interpretability from the start, in an abstract setting, means posing a set of soft constraints on the model's behavior by injecting knowledge and annihilating possible biases. We propose a Multicriteria technique that allows to control the feature effects on the model's outcome by injecting knowledge in the objective function. We then extend the technique by including a non-linear knowledge function to account for more complex effects and local lack of knowledge. The result is a Deep Learning model that embodies interpretability from the start and aligns with the recent regulations. A practical empirical example based on credit risk, suggests that our approach creates performant yet robust models capable of overcoming biases derived from data scarcity.


title: Self-generated ultraviolet radiation in molecular shock waves II. CH+ and the interpretation of emission from shock ensembles

abstract: Shocks, modelled over a broad range of parameters, are used to construct a new tool to deduce the mechanical energy and physical conditions from observed atomic or molecular emission lines. We compute magnetised, molecular shock models with velocities $V_s=5$-$80$ km s$^{-1}$, preshock proton densities $n_{\rm H}=10^2$-$10^6$ cm$^{-3}$, weak or moderate magnetic field strengths, and in the absence or presence of an external UV radiation field. We develop a simple emission model of an ensemble of shocks for connecting any observed emission lines to the mechanical energy and physical conditions of the system. For this range of parameters we find the full diversity (C-, C$^*$-, CJ-, and J-type) of magnetohydrodynamic shocks. H$_2$ and H are dominant coolants, with up to 30% of the shock kinetic flux escaping in Ly$\alpha$ photons. The reformation of molecules in the cooling tail means H$_2$ is even a good tracer of dissociative shocks and shocks that were initially fully atomic. For each shock model we provide integrated intensities of rovibrational lines of H$_2$, CO, and CH$^+$, atomic H lines, and atomic fine-structure and metastable lines. We demonstrate how to use these shock models to deduce the mechanical energy and physical conditions of extragalactic environments. As a template example, we interpret the CH$^+$(1-0) emission from the Eyelash starburst galaxy. A mechanical energy injection rate of at least $10^{11}$ $L_\odot$ into molecular shocks is required to reproduce the observed line. The low-velocity, externally irradiated shocks are at least an order magnitude more efficient than the most efficient shocks with no external irradiation, in terms of the total mechanical energy required. We predict differences of more than 2 orders of magnitude in intensities of the pure rotational lines of CO, Ly$\alpha$, metastable lines of O, S$^+$, and N, between representative models.


title: Numerical solution of the heat conduction problem with memory

abstract: It is necessary to use more general models than the classical Fourier heat conduction law to describe small-scale thermal conductivity processes. The effects of heat flow memory and heat capacity memory (internal energy) in solids are considered in first-order integrodifferential evolutionary equations with difference-type kernels. The main difficulties in applying such nonlocal in-time mathematical models are associated with the need to work with a solution throughout the entire history of the process. The paper develops an approach to transforming a nonlocal problem into a computationally simpler local problem for a system of first-order evolution equations. Such a transition is applicable for heat conduction problems with memory if the relaxation functions of the heat flux and heat capacity are represented as a sum of exponentials. The correctness of the auxiliary linear problem is ensured by the obtained estimates of the stability of the solution concerning the initial data and the right-hand side in the corresponding Hilbert spaces. The study's main result is to prove the unconditional stability of the proposed two-level scheme with weights for the evolutionary system of equations for modeling heat conduction in solid media with memory. In this case, finding an approximate solution on a new level in time is not more complicated than the classical heat equation. The numerical solution of a model one-dimensional in space heat conduction problem with memory effects is presented.


title: hermiter: R package for Sequential Nonparametric Estimation

abstract: This article introduces the R package hermiter which facilitates estimation of univariate and bivariate probability density functions and cumulative distribution functions along with full quantile functions (univariate) and nonparametric correlation coefficients (bivariate) using Hermite series based estimators. The algorithms implemented in the hermiter package are particularly useful in the sequential setting (both stationary and non-stationary) and one-pass batch estimation setting for large data sets. In addition, the Hermite series based estimators are approximately mergeable allowing parallel and distributed estimation.


title: Cognitive factors that affect the adoption of autonomous agriculture

abstract: Robotic and Autonomous Agricultural Technologies (RAAT) are increasingly available yet may fail to be adopted. This paper focusses specifically on cognitive factors that affect adoption including: inability to generate trust, loss of farming knowledge and reduced social cognition. It is recommended that agriculture develops its own framework for the performance and safety of RAAT drawing on human factors research in aerospace engineering including human inputs (individual variance in knowledge, skills, abilities, preferences, needs and traits), trust, situational awareness and cognitive load. The kinds of cognitive impacts depend on the RAATs level of autonomy, ie whether it has automatic, partial autonomy and autonomous functionality and stage of adoption, ie adoption, initial use or post-adoptive use. The more autonomous a system is, the less a human needs to know to operate it and the less the cognitive load, but it also means farmers have less situational awareness about on farm activities that in turn may affect strategic decision-making about their enterprise. Some cognitive factors may be hidden when RAAT is first adopted but play a greater role during prolonged or intense post-adoptive use. Systems with partial autonomy need intuitive user interfaces, engaging system information, and clear signaling to be trusted with low level tasks; and to compliment and augment high order decision-making on farm.


abstract: We propose a new sampler for robust estimators that always selects the sample with the highest probability of consisting only of inliers. After every unsuccessful iteration, the inlier probabilities are updated in a principled way via a Bayesian approach. The probabilities obtained by the deep network are used as prior (so-called neural guidance) inside the sampler. Moreover, we introduce a new loss that exploits, in a geometrically justifiable manner, the orientation and scale that can be estimated for any type of feature, e.g., SIFT or SuperPoint, to estimate two-view geometry. The new loss helps to learn higher-order information about the underlying scene geometry. Benefiting from the new sampler and the proposed loss, we combine the neural guidance with the state-of-the-art MAGSAC++. Adaptive Reordering Sampler with Neurally Guided MAGSAC (ARS-MAGSAC) is superior to the state-of-the-art in terms of accuracy and run-time on the PhotoTourism and KITTI datasets for essential and fundamental matrix estimation. The code and trained models are available at https://github.com/weitong8591/ars_magsac.


title: Topic Driven Adaptive Network for Cross-Domain Sentiment Classification

abstract: Cross-domain sentiment classification has been a hot spot these years, which aims to learn a reliable classifier using labeled data from a source domain and evaluate it on a target domain. In this vein, most approaches utilized domain adaptation that maps data from different domains into a common feature space. To further improve the model performance, several methods targeted to mine domain-specific information were proposed. However, most of them only utilized a limited part of domain-specific information. In this study, we first develop a method of extracting domain-specific words based on the topic information derived from topic models. Then, we propose a Topic Driven Adaptive Network (TDAN) for cross-domain sentiment classification. The network consists of two sub-networks: a semantics attention network and a domain-specific word attention network, the structures of which are based on transformers. These sub-networks take different forms of input and their outputs are fused as the feature vector. Experiments validate the effectiveness of our TDAN on sentiment classification across domains. Case studies also indicate that topic models have the potential to add value to cross-domain sentiment classification by discovering interpretable and low-dimensional subspaces.


title: Light Deflection under the Gravitational Field of Jupiter -- Testing General Relativity

abstract: We measured the relative positions between two pairs of compact extragalactic sources (CESs), J1925-2219 \& J1923-2104 (C1--C2) and J1925-2219 \& J1928-2035 (C1--C3) on 2020 October 23--25 and 2021 February 5 (totaling four epochs), respectively, using the Very Long Baseline Array (VLBA) at 15 GHz. Accounting for the deflection angle dominated by Jupiter, as well as the contributions from the Sun, planets other than Earth, the Moon and Ganymede (the most massive of the solar system's moons), our theoretical calculations predict that the dynamical ranges of the relative positions across four epochs in R.A. of the C1--C2 pair and C1--C3 pair are 841.2 and 1127.9 $\mu$as, respectively. The formal accuracy in R.A. is about 20 $\mu$as, but the error in Decl. is poor. The measured standard deviations of the relative positions across the four epochs are 51.0 and 29.7 $\mu$as in R.A. for C1--C2 and C1--C3, respectively. These values indicate that the accuracy of the post-Newtonian relativistic parameter, $\gamma$, is $\sim 0.061$ for C1--C2 and $\sim 0.026$ for C1--C3. Combining the two CES pairs, the measured value of $\gamma$ is $0.984 \pm 0.037$, which is comparable to the latest published results for Jupiter as a gravitational lens reported by Fomalont \& Kopeikin, i.e., $1.01 \pm 0.03$.


title: Gated SwitchGAN for multi-domain facial image translation

abstract: Recent studies on multi-domain facial image translation have achieved impressive results. The existing methods generally provide a discriminator with an auxiliary classifier to impose domain translation. However, these methods neglect important information regarding domain distribution matching. To solve this problem, we propose a switch generative adversarial network (SwitchGAN) with a more adaptive discriminator structure and a matched generator to perform delicate image translation among multiple domains. A feature-switching operation is proposed to achieve feature selection and fusion in our conditional modules. We demonstrate the effectiveness of our model. Furthermore, we also introduce a new capability of our generator that represents attribute intensity control and extracts content information without tailored training. Experiments on the Morph, RaFD and CelebA databases visually and quantitatively show that our extended SwitchGAN (i.e., Gated SwitchGAN) can achieve better translation results than StarGAN, AttGAN and STGAN. The attribute classification accuracy achieved using the trained ResNet-18 model and the FID score obtained using the ImageNet pretrained Inception-v3 model also quantitatively demonstrate the superior performance of our models.


title: Cascade solutions of the Lorenz system

abstract: The Lorenz system is a milestone model of nonlinear dynamic systems. However, we report in this Letter that important information of the global solutions in the parameter space may still miss: there is a series of cascade solutions in certain regions of the parameter space that has not been found before. We denote them as Si, where i=1,2,3,..., can tend to be infinite. The solution S1 is the fundamental solution having been studied intensively, the second one has also been reported and studied partially before. We conduct a detailed study on other solutions to reveal their special self-similar features, which enable us to find that solutions of i=1,3,5,..., and solutions with i=2,4,6,..., have different symmetry, but in each series all of the solutions are qualitatively similar after properly rescaled. The phase diagram of cascade solutions is shown in the parameter space. Odd and even solutions may coexist in certain parameter regions, in which case their basins of attraction show fractal geometry. With high-order solutions, the Lorenz system is shown analog to an excitable system. An ordinary differential equation existing a series of infinite cascade solutions has never been reported before.


title: An adaptive regularization algorithm for unconstrained optimization with inexact function and derivatives values

abstract: An adaptive regularization algorithm for unconstrained nonconvex optimization is proposed that is capable of handling inexact objective-function and derivative values, and also of providing approximate minimizer of arbitrary order. In comparison with a similar algorithm proposed in Cartis, Gould, Toint (2021), its distinguishing feature is that it is based on controlling the relative error between the model and objective values. A sharp evaluation complexity complexity bound is derived for the new algorithm.


title: Local Central Limit Theorem for Long-Range Two-Body Potentials at Sufficiently High Temperatures

abstract: Dobrushin and Tirozzi [14] showed that, for a Gibbs measure with the finite-range potential, the Local Central Limit Theorem is implied by the Integral Central Limit Theorem. Campanino, Capocaccia, and Tirozzi [7] extended this result for a family of Gibbs measures for long-range pair potentials satisfying certain conditions. We are able to show for a family of Gibbs measures for long-range pair potentials not satisfying the conditions given in [7], that at sufficiently high temperatures, if the Integral Central Limit Theorem holds for a given sequence of Gibbs measures, then the Local Central Limit Theorem also holds for the same sequence. We also extend [7] when the state space is general, provided that it is equipped with a finite measure.

categories: math-ph cond-mat.stat-mech math.MP math.PR


title: Bayesian multistate modelling of incomplete chronic disease burden data

abstract: A widely-used model for determining the long-term health impacts of public health interventions, often called a "multistate lifetable", requires estimates of incidence, case fatality, and sometimes also remission rates, for multiple diseases by age and gender. Generally, direct data on both incidence and case fatality are not available in every disease and setting. For example, we may know population mortality and prevalence rather than case fatality and incidence. This paper presents Bayesian continuous-time multistate models for estimating transition rates between disease states based on incomplete data. This builds on previous methods by using a formal statistical model with transparent data-generating assumptions, while providing accessible software as an R package. Rates for people of different ages and areas can be related flexibly through splines or hierarchical models. Previous methods are also extended to allow age-specific trends through calendar time. The model is used to estimate case fatality for multiple diseases in the city regions of England, based on incidence, prevalence and mortality data from the Global Burden of Disease study. The estimates can be used to inform health impact models relating to those diseases and areas. Different assumptions about rates are compared, and we check the influence of different data sources.


title: Momentum dependence of near-threshold photoproduction of $\Xi^-$ hyperons off nuclei and their properties in the nuclear medium

abstract: We study the near-threshold inclusive photoproduction of $\Xi^-$ hyperons off $^{12}$C and $^{184}$W target nuclei within a first-collision model relying on the nuclear spectral function and including incoherent $\Xi^-$ production in direct elementary ${\gamma}p \to K^+{K^+}\Xi^-$ and ${\gamma}n \to K^+{K^0}\Xi^-$ processes. The model takes into account the impact of the nuclear effective scalar $K^+$, $K^0$, $\Xi^-$ and their Coulomb potentials on these processes as well as the absorption of final $\Xi^-$ hyperons in nuclear matter, the binding of intranuclear nucleons and their Fermi motion. We calculate the absolute differential cross sections and their ratios for the production of $\Xi^-$ hyperons off these nuclei at laboratory polar angles $\le$ 45$^{\circ}$ by photons with energies of 2.5 and 3.0 GeV, with and without imposing the phase space constraints on the $\Xi^-$ emission angle in the respective ${\gamma}p$ center-of-mass system. We also calculate the momentum dependence of the transparency ratio for $\Xi^-$ hyperons for the $^{184}$W/$^{12}$C combination at these photon energies. We show that the $\Xi^-$ momentum distributions (absolute and relative) at the adopted initial photon energies possess, contrary to the transparency ratio for $\Xi^-$ hyperons, a definite sensitivity to the considered changes in the scalar $\Xi^-$ nuclear mean-field potential at saturation density $\rho_0$ in the low-momentum range of 0.1--0.8 GeV/c. Therefore, the precise measurements of these distributions in a dedicated experiment at the CEBAF facility will provide valuable information on the $\Xi^-$ in-medium properties, which will be supplementary to that inferred from studying of the ($K^-$,$K^+$) reactions at initial momenta of 1.6--1.8 GeV/c.


title: Bayesian Data Fusion of Imperfect Fission Yields for Augmented Evaluations

abstract: We demonstrate that Bayesian machine learning can be used to treat the vast amount of experimental fission data which are noisy, incomplete, discrepant, and correlated. As an example, the two-dimensional cumulative fission yields (CFY) of neutron-induced fission of $^{238}$U are evaluated with energy dependencies and uncertainty qualifications. For independent fission yields (IFY) with very few experimental data, the heterogeneous data fusion of CFY and IFY is employed to interpolate the energy dependence. This work shows that Bayesian data fusion can facilitate the further utilization of imperfect raw nuclear data.


title: CHARTER: heatmap-based multi-type chart data extraction

abstract: The digital conversion of information stored in documents is a great source of knowledge. In contrast to the documents text, the conversion of the embedded documents graphics, such as charts and plots, has been much less explored. We present a method and a system for end-to-end conversion of document charts into machine readable tabular data format, which can be easily stored and analyzed in the digital domain. Our approach extracts and analyses charts along with their graphical elements and supporting structures such as legends, axes, titles, and captions. Our detection system is based on neural networks, trained solely on synthetic data, eliminating the limiting factor of data collection. As opposed to previous methods, which detect graphical elements using bounding-boxes, our networks feature auxiliary domain specific heatmaps prediction enabling the precise detection of pie charts, line and scatter plots which do not fit the rectangular bounding-box presumption. Qualitative and quantitative results show high robustness and precision, improving upon previous works on popular benchmarks


title: Optimal Partition for Multi-Type Queueing System

abstract: We analyze the optimal partition and assignment strategy for an uncapacitated FCFS queueing system with multiple types of customers. Each type of customers is associated with a certain arrival and service rate. The decision maker can partition the server into sub-queues, each with a smaller service capacity, and can route different types of customers to different sub-queues (deterministically or randomly). The objective is to minimize the overall expected waiting time. First, we show that by properly partitioning the queue, it is possible to reduce the expected waiting time of customers, and there exist a series of instances such that the reduction can be arbitrarily large. Then we consider four settings of this problem, depending on whether the partition is given (thus only assignment decision is to be made) or not and whether each type of customers can only be assigned to a unique queue or can be assigned to multiple queues in a probabilistic manner. When the partition is given, we show that this problem is NP-hard in general if each type of customers must be assigned to a unique queue. When the customers can be assigned to multiple queues in a probabilistic manner, we identify a structure of the optimal assignment and develop an efficient algorithm to find the optimal assignment. When the decision maker can also optimize the partition, we show that the optimal decision must be to segment customers deterministically based on their service rates, and to assign customers with consecutive service rates into the same queue. Efficient algorithms are also proposed in this case. Overall, our work is the first to comprehensively study the queue partition problem based on customer types, which has the potential to increase the efficiency of queueing system.


title: Galaxy cluster hydrostatic bias in Kottler spacetime

abstract: We calculate the relativistic corrections to hydrostatic X-ray masses for galaxy clusters in Kottler spacetime, which is the spherically symmetric solution to Einstein's equations in General relativity endowed with a cosmological constant. The hydrostatic masses for clusters (calculated assuming Newtonian gravity) have been found to be underestimated compared to lensing masses, and this discrepancy is known as hydrostatic mass bias. Since the relativistic hydrostatic X-ray masses are automatically lower than lensing masses, under the edifice of Kottler metric, we check if the hydrostatic mass bias problem gets alleviated using this {\it ansatz}. We consider a sample of 18 galaxy clusters for this pilot test. We find that the ratio of X-ray to lensing mass is close to unity even in Kottler spacetime. Therefore, the effect of relativistic corrections to hydrostatic X-ray masses for galaxy clusters is negligible.


title: Enhancing Keyphrase Extraction from Academic Articles with their Reference Information

abstract: With the development of Internet technology, the phenomenon of information overload is becoming more and more obvious. It takes a lot of time for users to obtain the information they need. However, keyphrases that summarize document information highly are helpful for users to quickly obtain and understand documents. For academic resources, most existing studies extract keyphrases through the title and abstract of papers. We find that title information in references also contains author-assigned keyphrases. Therefore, this article uses reference information and applies two typical methods of unsupervised extraction methods (TF*IDF and TextRank), two representative traditional supervised learning algorithms (Na\"ive Bayes and Conditional Random Field) and a supervised deep learning model (BiLSTM-CRF), to analyze the specific performance of reference information on keyphrase extraction. It is expected to improve the quality of keyphrase recognition from the perspective of expanding the source text. The experimental results show that reference information can increase precision, recall, and F1 of automatic keyphrase extraction to a certain extent. This indicates the usefulness of reference information on keyphrase extraction of academic papers and provides a new idea for the following research on automatic keyphrase extraction.


title: Interactive evaluation of operation efficiency of the city's transport system by methods of U-statistics

abstract: Method of U-statistics is used to analyze the efficiency of functioning of the motor transport system of a large city as a complex network system with partially ordered traffic flows. Based on the results of continuous monitoring of movement of the ordered part of flows equipped with GPS-trackers, namely, public transport means, methods of interactive, forecasting and aggregated analysis of the state and operation process of motor transport system components of various hierarchy levels have been developed. The proposed technique can be easily automated and used for operational analysis and forecasting of the development of traffic situations on city highways and creation of effective tools to optimize the process of motor transport system functioning.


title: Stream privacy amplification for quantum cryptography

abstract: Privacy amplification is the key step to guarantee the security of quantum communication. The existing security proofs require accumulating a large number of raw key bits for privacy amplification. This is similar to block ciphers in classical cryptography that would delay the final key generation since an entire block must be accumulated before privacy amplification. Moreover, any leftover errors after information reconciliation would corrupt the entire block. By modifying the security proof based on quantum error correction, we develop a stream privacy amplification scheme, which resembles the classical stream cipher. This scheme can output the final key in a stream way, prevent error from spreading, and hence can put privacy amplification before information reconciliation. The stream scheme can also help to enhance the security of trusted-relay quantum networks. Inspired by the connection between stream ciphers and quantum error correction in our security analysis, we further develop a generic information-theoretic tool to study the security of classical encryption algorithms.


title: Berry-Esseen bounds with targets and Local Limit Theorems for products of random matrices

abstract: Let $\mu$ be a probability measure on $\text{GL}_d(\mathbb R)$ and denote by $S_n:= g_n \cdots g_1$ the associated random matrix product, where $g_j$'s are i.i.d.'s with law $\mu$. We study statistical properties of random variables of the form $$\sigma(S_n,x) + u(S_n x),$$ where $x \in \mathbb P^{d-1}$, $\sigma$ is the norm cocycle and $u$ belongs to a class of admissible functions on $\mathbb P^{d-1}$ with values in $\mathbb R \cup \{\pm \infty\}$. Assuming that $\mu$ has a finite exponential moment and generates a proximal and strongly irreducible semigroup, we obtain optimal Berry-Esseen bounds and the Local Limit Theorem for such variables using a large class of observables on $\mathbb R$ and H\"older continuous target functions on $\mathbb P^{d-1}$. As particular cases, we obtain new limit theorems for $\sigma(S_n,x)$ and for the coefficients of $S_n$.


title: Enhancing Identification of Structure Function of Academic Articles Using Contextual Information

abstract: With the enrichment of literature resources, researchers are facing the growing problem of information explosion and knowledge overload. To help scholars retrieve literature and acquire knowledge successfully, clarifying the semantic structure of the content in academic literature has become the essential research question. In the research on identifying the structure function of chapters in academic articles, only a few studies used the deep learning model and explored the optimization for feature input. This limits the application, optimization potential of deep learning models for the research task. This paper took articles of the ACL conference as the corpus. We employ the traditional machine learning models and deep learning models to construct the classifiers based on various feature input. Experimental results show that (1) Compared with the chapter content, the chapter title is more conducive to identifying the structure function of academic articles. (2) Relative position is a valuable feature for building traditional models. (3) Inspired by (2), this paper further introduces contextual information into the deep learning models and achieved significant results. Meanwhile, our models show good migration ability in the open test containing 200 sampled non-training samples. We also annotated the ACL main conference papers in recent five years based on the best practice performing models and performed a time series analysis of the overall corpus. This work explores and summarizes the practical features and models for this task through multiple comparative experiments and provides a reference for related text classification tasks. Finally, we indicate the limitations and shortcomings of the current model and the direction of further optimization.


title: Study of heavy quark conserving weak decays in the quark model

abstract: Within the framework of a constituent quark model, we investigate the heavy quark conserving weak decays of $\Xi_c$ and $\Xi_b$. This process involves elementary transitions of $us\to du$ or $s\to ud \bar u$ with the heavy quark as a spectator, while for the charmed baryon in the initial state it can also occur via $cs\to dc$ to conserve the heavy quark flavor in the weak decays. It shows that the heavy quark symmetry (HQS) plays an essential role in the processes where the heavy quark acts as a spectator. For the $\Xi_c$ decays, the dominance of the pole terms in the parity-conserving transitions is evident. This can naturally explain the sizeable branching ratio for $\Xi_c^0\to\Lambda_c\pi^-$ as recently reported by LHCb. The same mechanism predicts a large branching ratio for $\Xi_c^+\to\Lambda_c\pi^0$. In contrast, the decays of $\Xi_b$ will only go through the parity-violating processes because of the HQS. In addition, the branching ratios of the $\Xi_c^+\to \Lambda_c \pi^0$ and $\Xi_b^0\to \Lambda_b \pi^0$ processes are also predicted for the further experimental measurement.


title: Constructions of some families of smooth Cauchy transforms

abstract: For a given Beurling-Carleson subset $E$ of the unit circle $\mathbb{T}$ which has positive Lebesgue measure, we give explicit formulas for measurable functions supported on $E$ such that their Cauchy transforms have smooth extensions from $\mathbb{D}$ to $\mathbb{T}$. The existence of such functions has been previously established by Khrushchev in 1978, in non-constructive ways by the use of duality arguments. We construct several particular families of such Cauchy transforms with a few applications in operator and function theory in mind. In one application, we give a new proof of irreducibility of the shift operator on certain Hilbert spaces of functions. In another application, we establish a permanence principle for inner factors under convergence in certain topologies. The applications lead to a self-contained duality proof of the density of smooth functions in a very large class of de Branges-Rovnyak spaces. This extends the previously known approximation results.


title: Appearance of peak in symmetry energy at N = 126 for Pb isotopic chain within relativistic energy density functional

abstract: The newly derived relativistic energy density functional [\textcolor{blue}{ Phys. Rev. C \textbf{103}, 024305 (2021)}], which stems from the effective field theory motivated relativistic mean-field (E-RMF) is employed to establish the appearance of peak/kink in the symmetry energy over the isotopic chain of Pb-nuclei. The coherent density fluctuation model parametrization procedure for finite nuclei is adopted here to obtain the relativistic energy density functional at local density. The relativistic energy density functional from E-RMFT takes precedence over the Br\"uckner energy density functional as it accurately predicts the empirical saturation density and binding energy per nucleon $E/A$, so-called 'Coester Band Problem'. Interestingly, using the relativistic energy density functional, it is possible to predict the peak at $N=126$ for recently developed G3 and widely used NL3 parameter sets, which is not observed for Br\"uckener's functional in-spite of using the E-RMF density. From the present analysis, the newly fitted energy density functional is found to be minutely sensitive to the choice of the parameter sets employed.


title: Statistical analyses of antimatter domains, created by nonhomogeneous baryosynthesis in a baryon asymmetrical Universe

abstract: Within the framework of scenarios of nonhomogeneous baryosynthesis, the formation of macroscopic antimatter domains is predicted in a matter-antimatter asymmetrical Universe. The properties of antimatter within the domains are outlined; the matter-antimatter boundary interactions are studied. The correlation functions for two astrophysical objects are calculated. The theoretical expression in the limiting process of the two-points correlation function of an astrophysical object and an antibaryon is derived.


title: Systematic study of two-proton radioactivity half-lives based on a modified Gamow-like model

abstract: In the present work, we systematically study the two-proton (2p) radioactivity half-lives of nuclei close to the proton drip line within a modified Gamow-like model. Using this model, the calculated 2p radioactivity half-lives can well reproduce the experimental data. Moreover, we use this model to predict the 2p radioactivity half-lives of 22 candidates whose 2p radioactivity is energetically allowed or observed but not yet quantied in evaluated nuclear properties table NUBASE2016. The predicted results are in good agreement with the ones obtained by using Gamow-like model, effective liquid drop model (ELDM), generalized liquid drop model (GLDM) as well as a four-parameter formula.


title: Far from equilibrium Chiral Magnetic Effect in Strong Magnetic Fields from Holography

abstract: We study the real time evolution of the chiral magnetic effect out-of-equilibrium in strongly coupled anomalous field theories. We match the parameters of our model to QCD parameters and draw lessons of possible relevance for the realization of the chiral magnetic effect in heavy ion collisions. In particular, we find an equilibration time of about $\sim0.35$ fm/c in presence of the chiral anomaly for plasma temperatures of order $T\sim300-400$ MeV.


title: Quasi-Objective Eddy Visualization from Sparse Drifter Data

abstract: We employ a recently developed single-trajectory Lagrangian diagnostic tool, the trajectory rotation average $ (\mathrm{\overline{TRA}}) $, to visualize oceanic vortices (or eddies) from sparse drifter data. We apply the $ \mathrm{\overline{TRA}} $ to two drifter data sets that cover various oceanographic scales: the Grand Lagrangian Deployment (GLAD) and the Global Drifter Program (GDP). Based on the $ \mathrm{\overline{TRA}} $, we develop a general algorithm that extracts approximate eddy boundaries. We find that the $ \mathrm{\overline{TRA}} $ outperforms other available single-trajectory-based eddy detection methodologies on sparse drifter data and identifies eddies on scales that are unresolved by satellite-altimetry.


title: The Galerkin analysis for the random periodic solution of semilinear stochastic evolution equations

abstract: In this paper we study the numerical method for approximating the random periodic solution of semiliear stochastic evolution equations. The main challenge lies in proving a convergence over an infinite time horizon while simulating infinite-dimensional objects. We first show the existence and uniqueness of the random periodic solution to the equation as the limit of the pull-back flows of the equation, and observe that its mild form is well-defined in the intersection of a family of decreasing Hilbert spaces. Then we propose a Galerkin-type exponential integrator scheme and establish its convergence rate of the strong error to the mild solution, where the order of convergence directly depends on the space (among the family of Hilbert spaces) for the initial point to live. We finally conclude with the best order of convergence that is arbitrarily close to 0.5.


title: Context Matters in Semantically Controlled Language Generation for Task-oriented Dialogue Systems

abstract: This work combines information about the dialogue history encoded by pre-trained model with a meaning representation of the current system utterance to realize contextual language generation in task-oriented dialogues. We utilize the pre-trained multi-context ConveRT model for context representation in a model trained from scratch; and leverage the immediate preceding user utterance for context generation in a model adapted from the pre-trained GPT-2. Both experiments with the MultiWOZ dataset show that contextual information encoded by pre-trained model improves the performance of response generation both in automatic metrics and human evaluation. Our presented contextual generator enables higher variety of generated responses that fit better to the ongoing dialogue. Analysing the context size shows that longer context does not automatically lead to better performance, but the immediate preceding user utterance plays an essential role for contextual generation. In addition, we also propose a re-ranker for the GPT-based generation model. The experiments show that the response selected by the re-ranker has a significant improvement on automatic metrics.


title: Imbalanced data preprocessing techniques utilizing local data characteristics

abstract: Data imbalance, that is the disproportion between the number of training observations coming from different classes, remains one of the most significant challenges affecting contemporary machine learning. The negative impact of data imbalance on traditional classification algorithms can be reduced by the data preprocessing techniques, methods that manipulate the training data to artificially reduce the degree of imbalance. However, the existing data preprocessing techniques, in particular SMOTE and its derivatives, which constitute the most prevalent paradigm of imbalanced data preprocessing, tend to be susceptible to various data difficulty factors. This is in part due to the fact that the original SMOTE algorithm does not utilize the information about majority class observations. The focus of this thesis is development of novel data resampling strategies natively utilizing the information about the distribution of both minority and majority class. The thesis summarizes the content of 12 research papers focused on the proposed binary data resampling strategies, their translation to the multi-class setting, and the practical application to the problem of histopathological data classification.


title: Enlightening the chemistry of infalling envelopes and accretion disks around Sun-like protostars: the ALMA FAUST project

abstract: The huge variety of planetary systems discovered in recent decades likely depends on the early history of their formation. In this contribution we introduce the FAUST Large Program, which focuses specifically on the early history of Solar-like protostars and their chemical diversity at scales of $\sim$ 50 au, where planets are expected to form. In particular, the goal of the project is to reveal and quantify the variety of chemical composition of the envelope/disk system at scales of 50 au in a sample of Class 0 and I protostars representative of the chemical diversity observed at larger scales. For each source, we propose a set of molecules able to: (1) disentangle the components of the 50-2000 au envelope/disk system; (2) characterise the organic complexity in each of them; (3) probe their ionization structure; (4) measure their molecular deuteration. The output will be a homogeneous database of thousands of images from different lines and species, i.e., an unprecedented source-survey of the chemical diversity of Solar-like protostars. FAUST will provide the community with a legacy dataset that will be a milestone for astrochemistry and star formation studies.


title: Cross-Task Consistency Learning Framework for Multi-Task Learning

abstract: Multi-task learning (MTL) is an active field in deep learning in which we train a model to jointly learn multiple tasks by exploiting relationships between the tasks. It has been shown that MTL helps the model share the learned features between tasks and enhance predictions compared to when learning each task independently. We propose a new learning framework for 2-task MTL problem that uses the predictions of one task as inputs to another network to predict the other task. We define two new loss terms inspired by cycle-consistency loss and contrastive learning, alignment loss and cross-task consistency loss. Both losses are designed to enforce the model to align the predictions of multiple tasks so that the model predicts consistently. We theoretically prove that both losses help the model learn more efficiently and that cross-task consistency loss is better in terms of alignment with the straight-forward predictions. Experimental results also show that our proposed model achieves significant performance on the benchmark Cityscapes and NYU dataset.


title: Improving the Resilience of Fast Failover Routing: TREE (Tree Routing to Extend Edge disjoint paths)

abstract: Today's communication networks have stringent availability requirements and hence need to rapidly restore connectivity after failures. Modern networks thus implement various forms of fast reroute mechanisms in the data plane, to bridge the gap to slow global control plane convergence. State-of-the-art fast reroute commonly relies on disjoint route structures, to offer multiple independent paths to the destination. We propose to leverage the network's path diversity to extend edge disjoint path mechanisms to tree routing, in order to improve the performance of fast rerouting. We present two such tree-mechanisms in detail and show that they boost resilience by up to 12% and 25% respectively on real-world, synthetic, and data center topologies, while still retaining good path length qualities.


title: Dyon Production from Near-Extremal Kerr-Newman-(Anti-)de Sitter Black Holes

abstract: Using the enhanced symmetry in the near-horizon region of the near-extremal dyonic Kerr-Newman (KN) black hole in the (A)dS space, we find the exact solutions for dyonic charged scalar field in terms of the hypergeometric function and explicitly compute the Schwinger effect for the emission of electric and/or magnetic charges. The emission formula confirms a universal factorization of the Schwinger formula in the AdS$_2$ and another Schwinger formula in the two-dimensional Rindler space determined by the effective temperature and the Hawking temperature with the chemical potentials of electric and/or magnetic charges and the angular momentum. The emission of the same species of charges from the KN black hole is enhanced in the AdS boundary while it is suppressed in the dS boundary. In addition, the dragging of particles in the KN black hole diminishes the emission of charges in both AdS and dS spaces. The AdS geometry of near-horizon gives the Breitenloher-Freedman (BF) bound, within which the stability of dyonic KN black holes is guaranteed against both the emission of charges and Hawking radiation.


title: AirSPEC: An IoT-empowered Air Quality Monitoring System integrated with a Machine Learning Framework to Detect and Predict defined Air Quality parameters

abstract: The air that surrounds us is the cardinal source of respiration of all life-forms. Therefore, it is undoubtedly vital to highlight that balanced air quality is utmost important to the respiratory health of all living beings, environmental homeostasis, and even economical equilibrium. Nevertheless, a gradual deterioration of air quality has been observed in the last few decades, due to the continuous increment of polluted emissions from automobiles and industries into the atmosphere. Even though many people have scarcely acknowledged the depth of the problem, the persistent efforts of determined parties, including the World Health Organization, have consistently pushed the boundaries for a qualitatively better global air homeostasis, by facilitating technology-driven initiatives to timely detect and predict air quality in regional and global scales. However, the existing frameworks for air quality monitoring lack the capability of real-time responsiveness and flexible semantic distribution. In this paper, a novel Internet of Things framework is proposed which is easily implementable, semantically distributive, and empowered by a machine learning model. The proposed system is equipped with a NodeRED dashboard which processes, visualizes, and stores the primary sensor data that are acquired through a public air quality sensor network, and further, the dashboard is integrated with a machine-learning model to obtain temporal and geo-spatial air quality predictions. ESP8266 NodeMCU is incorporated as a subscriber to the NodeRED dashboard via a message queuing telemetry transport broker to communicate quantitative air quality data or alarming emails to the end-users through the developed web and mobile applications. Therefore, the proposed system could become highly beneficial in empowering public engagement in air quality through an unoppressive, data-driven, and semantic framework.


title: Exploring the outskirts of the EAGLE disc galaxies

abstract: Observations show that the surface brightness of disc galaxies can be well-described by a single exponential (TI), up-bending (TIII) or down-bending (TII) profiles in the outskirts. Here we characterize the mass surface densities of simulated late-type galaxies from the EAGLE project according to their distribution of mono-age stellar populations, the star formation activity and angular momentum content. We find a clear correlation between the inner scale-lengths and the stellar spin parameter, {\lambda}, for all three disc types with {\lambda} > 0.35. The outer scale-lengths of TII and TIII discs show a positive trend with {\lambda}, albeit weaker for the latter. TII discs prefer fast rotating galaxies. With regards to the stellar age distribution, negative and U-shape age profiles are the most common for all disc types. Positive age profiles are determined by a more significant contributions of young stars in the central regions, which decrease rapidly in the outer parts. TII discs prefer relative higher contributions of old stars compared to other mono-age populations across the discs whereas TIII discs become progressively more dominated by intermediate age (2-6 Gyrs) stars for increasing radius. The change in slope of the age profiles is located after the break of the mass surface density. We find evidence of larger flaring for the old stellar populations in TIII systems compared to TI and TII, which could indicate the action of other processes. Overall, the relative distributions of mono-age stellar populations and the dependence of the star formation activity on radius are found to shape the different disc types and age profiles.


title: Study of similarity rules for electromagnetic process in partially ionized plasmas

abstract: As proved by previous study, the similarity of electromagnetic processes in plasmas will be violated by Coulomb collisions between electron and ions. Therefore, there is no similarity in highly ionized collisional plasma. But the situation will be completely different for collisional plasmas with low ionization degree. The main collision type will change from electron-ion Coulomb collision to electron-molecule collision, and a new variable (the number density of neutral molecules) will be introduced into the similarity constraint, which can increase the degree of freedom.Thus, in this condition, the similarity restriction caused by the collision process does not conflict with the other restrictions. Therefore, the similarity for electromagnetic process in collisional plasmas can be valid for partially ionized plasmas. In this paper, we propose the similarity in partially ionized plasmas, and prove it via particle in cell/Monte Carlo (PIC/MCC) simulation. Our research has a wide range of engineering applications.


title: Room temperature energy-efficient spin-orbit torque switching in wafer-scale all-vdW heterostructure

abstract: The emergent two-dimensional (2D) ferromagnetic materials with unique magnetic properties have endowed great potential for next-generation spintronic devices with extraordinary merits of high flexibility, easy controllability, and high heretointegrability, which is expected to promote the development of Moore's Law continuously. However, it is extremely challenging to realize magnetic switching with ultra-low power consumption at room temperature. Here, we demonstrate the room-temperature spin-orbit torque (SOT) driven magnetization switching in a well-epitaxial all-van der Waals (vdW) heterostructure. The topological insulator Bi2Te3 not only helps to elevate the Curie temperature of Fe3GeTe2 (FGT) through interfacial exchange coupling but also works as a spin current source allowing to switch FGT at a low current density of 2.2 * 106 A cm2. A large SOT efficiency of 0.7 is measured at room temperature, and the thickness of FGT is further adjusted to reduce the influence of the thermal contribution on the second-harmonic signal. Furthermore, the temperature and thickness-dependent SOT efficiency prove that the large SOT in our system mainly originates from the nontrivial origin of topological materials. Our experiment has enabled an all-vdW SOT structure and lays a solid foundation for the implementation of room-temperature all-vdW spintronic devices in the future.


title: Infinite dimensionality of the post-processing order of measurements on a general state space

abstract: For a partially ordered set $(S, \mathord\preceq)$, the order (monotone) dimension is the minimum cardinality of total orders (respectively, real-valued order monotone functions) on $S$ that characterize the order $\preceq$. In this paper we consider an arbitrary generalized probabilistic theory and the set of finite-outcome measurements on it, which can be described by effect-valued measures, equipped with the classical post-processing orders. We prove that the order and order monotone dimensions of the post-processing order are (countably) infinite if the state space is not a singleton (and is separable in the norm topology). This result gives a negative answer to the open question for quantum measurements posed in [Guff T \textit{et al.\/} 2021 \textit{J.\ Phys.\ A: Math.\ Theor.} \textbf{54} 225301]. We also consider the quantum post-processing relation of channels with a fixed input quantum system described by a separable Hilbert space $\mathcal{H}$ and show that the order (monotone) dimension is countably infinite when $\dim \mathcal{H} \geq 2$.


title: Master integrals for mixed QCD-QED corrections to charged-current Drell-Yan production of a massive charged lepton

abstract: The master integrals for the mixed QCD-QED two-loop virtual corrections to the charged-current Drell-Yan process $q\bar{q}^{\prime} \rightarrow \ell \nu$ are computed analytically by using the differential equation method. A suitable choice of master integrals makes it successful to cast the differential equation system into the canonical form. We keep the dependence on charged lepton mass in the building of differential equations and then expand the system against the ratio of small charged lepton mass to large $W$-boson mass. In such a way the final results will contain large logarithms of the form $\log(m_{\ell}^2/m_W^2)$. Finally, all the canonical master integrals are given as Taylor series around $d = 4$ spacetime dimensions up to order four, with coefficients expressed in terms of Goncharov polylogarithms up to weight four.


title: Learning a Weight Map for Weakly-Supervised Localization

abstract: In the weakly supervised localization setting, supervision is given as an image-level label. We propose to employ an image classifier $f$ and to train a generative network $g$ that outputs, given the input image, a per-pixel weight map that indicates the location of the object within the image. Network $g$ is trained by minimizing the discrepancy between the output of the classifier $f$ on the original image and its output given the same image weighted by the output of $g$. The scheme requires a regularization term that ensures that $g$ does not provide a uniform weight, and an early stopping criterion in order to prevent $g$ from over-segmenting the image. Our results indicate that the method outperforms existing localization methods by a sizable margin on the challenging fine-grained classification datasets, as well as a generic image recognition dataset. Additionally, the obtained weight map is also state-of-the-art in weakly supervised segmentation in fine-grained categorization datasets.


title: Throughput Maximization for IRS-Aided MIMO FD-WPCN with Non-Linear EH Model

abstract: This paper studies an intelligent reflecting surface (IRS)-aided multiple-input-multiple-output (MIMO) full-duplex (FD) wireless-powered communication network (WPCN), where a hybrid access point (HAP) operating in FD broadcasts energy signals to multiple devices for their energy harvesting (EH) in the downlink (DL) and meanwhile receives information signals from devices in the uplink (UL) with the help of an IRS. Taking into account the practical finite self-interference (SI) and the non-linear EH model, we formulate the weighted sum throughput maximization optimization problem by jointly optimizing DL/UL time allocation, precoding matrices at devices, transmit covariance matrices at the HAP, and phase shifts at the IRS. Since the resulting optimization problem is non-convex, there are no standard methods to solve it optimally in general. To tackle this challenge, we first propose an element-wise (EW) based algorithm, where each IRS phase shift is alternately optimized in an iterative manner. To reduce the computational complexity, a minimum mean-square error (MMSE) based algorithm is proposed, where we transform the original problem into an equivalent form based on the MMSE method, which facilities the design of an efficient iterative algorithm. In particular, the IRS phase shift optimization problem is recast as an second-order cone program (SOCP), where all the IRS phase shifts are simultaneously optimized. For comparison, we also study two suboptimal IRS beamforming configurations in simulations, namely partially dynamic IRS beamforming (PDBF) and static IRS beamforming (SBF), which strike a balance between the system performance and practical complexity.


title: A Pfaffian formulation for matrix elements of three-body operators in multiple quasi-particle configurations

abstract: We present a Pfaffian formula to calculate matrix elements of three-body operators in symmetry-restoration beyond-mean-field methods, including the case of multiple quasi-particle configurations. Detailed derivation based on [Mizusaki et al., Phys. Lett. B 715, 219 (2012)] and [Hu et al., Phys. Lett. B 734, 162 (2014)] is provided, and potential applications in generator coordinate method with chiral interactions, as well as in study of nuclear matrix elements in neutrinoless double beta decay are discussed.


title: Inverse scattering transform and dynamics of soliton solutions for nonlocal focusing modified Korteweg-de Vries equation

abstract: In this work, we mainly study the general $N$-soliton solutions of the nonlocal modified Korteweg-de Vries (mKdV) equation by utilizing the Riemann-Hilbert (RH) method. For the initial value belonging to Schwarz space, we firstly obtain the corresponding eigenfunctions and scattering data in the direct scattering process. Then we successfully establish a suitable RH problem of the nonlocal mKdV equation. The exact expression of the solution for the equation is derived via solving the RH problem. Using the symmetry of scattering data, the phenomena corresponding to different eigenvalues are analyzed, including bounded solutions, singular solutions, position solutions and kink solutions. Finally, the propagation path of the solution is observed, and the characteristic line is further used to analyze the continuity or other phenomena of the solution. The new dynamic behavior of the solution is observed by rotating the characteristic line at a certain angle.


title: Electronic properties of the Weyl semimetals Co$_2$MnX (X=Si, Ge, Sn)

abstract: Using first-principles electronic structure calculations, we show that ferromagnetic Heusler compounds Co$_2$MnX (X= Si, Ge, Sn) present non-trivial topological characteristics and belong to the category of Weyl semimetals. These materials exhibit two topologically interesting band crossings near the Fermi level. These band crossings have complex 3D geometries in the Brillouin zone and are characterized by non-trivial topology as Hopf links and chain-like nodal lines, that are protected by the perpendicular mirror planes. The spin-orbit interaction split these nodal lines into several zero-dimensional Weyl band crossings. Unlike previously known topologically non-trivial Heusler materials, these majority-spin band crossings lie in the band gap of minority spin bands, potentially facilitating its experimental realization.


title: Global Existence of Ideal Invicid Compressible and Heat Conductive Fluids with Radial Symmetry

abstract: In this paper, we study the global existence of classical solutions to the three dimensional ideal invicid compressible and heat conductive fluids with radial symmetrical data in $H^s(\mathbb{R}^3)$. Our proof is based on the symmetric hyperbolic structure of the system.


title: Strain Effect on Transmission in Graphene Laser Barrier

abstract: We investigate the strain effect along armchair and zigzag directions on the tunneling transport of Dirac fermions in graphene laser barrier through a time dependent potential along y-axis. Our system is composed of three regions and the central one is subjected to a deformation of strength S. Based on Dirac equation and the Floquet approach, we determine the eigenvalues and eigenspinors for each region. Using the boundary conditions at interfaces together with the transfer matrix method we identify the transmission in the different Floquet sideband states as function of the physical parameters. In the strainless case, we show that the transmisson of central band decreases for smaller values of the barrier width and rapidly oscillates with different amplitude for larger ones. Whereas the transmission for the first sidebands increases from zero and shows a damped oscillatory profile. It is found that the number of oscillations in all transmission channels reduces with increasing the strength of armchair strain but becomes more important by switching the deformation to zigzag. Moreover, it is observed the appearance of Fano type resonance peaks by altering the amplitude and the frequency of the laser field.


title: Two models unifying warm inflation with dark matter and dark energy

abstract: Two models that unify warm inflation with dark matter and dark energy are proposed. In the models, a single scalar field is responsible for the early expansion of the universe through the process of dissipative warm inflation and then acts as both dark matter and dark energy in subsequent stages. The first model is based on a noncanonical field with the Lagrangian density $\mathcal{L}=F(X)-V(\phi)$, where the potential is dominant at the slow-roll inflationary epoch and negligible in subsequent stages. The second model takes advantage of a $k$-essence Lagrangian density having the coupled form $\mathcal{L}=F(X)V(\phi)$. For both models, equations of the evolution for the fields and observational constraints are presented, and an evolution law describing how the energy density $\rho$ and state parameter $w$ scale with the scale factor $a$ is obtained.


title: Semantic Code Search for Smart Contracts

abstract: Semantic code search technology allows searching for existing code snippets through natural language, which can greatly improve programming efficiency. Smart contracts, programs that run on the blockchain, have a code reuse rate of more than 90%, which means developers have a great demand for semantic code search tools. However, the existing code search models still have a semantic gap between code and query, and perform poorly on specialized queries of smart contracts. In this paper, we propose a Multi-Modal Smart contract Code Search (MM-SCS) model. Specifically, we construct a Contract Elements Dependency Graph (CEDG) for MM-SCS as an additional modality to capture the data-flow and control-flow information of the code. To make the model more focused on the key contextual information, we use a multi-head attention network to generate embeddings for code features. In addition, we use a fine-tuned pretrained model to ensure the model's effectiveness when the training data is small. We compared MM-SCS with four state-of-the-art models on a dataset with 470K (code, docstring) pairs collected from Github and Etherscan. Experimental results show that MM-SCS achieves an MRR (Mean Reciprocal Rank) of 0.572, outperforming four state-of-the-art models UNIF, DeepCS, CARLCS-CNN, and TAB-CS by 34.2%, 59.3%, 36.8%, and 14.1%, respectively. Additionally, the search speed of MM-SCS is second only to UNIF, reaching 0.34s/query.


title: Tiling multipartite hypergraphs in Quasi-random Hypergraphs

abstract: Given $k\ge 2$ and two $k$-graphs ($k$-uniform hypergraphs) $F$ and $H$, an \emph{$F$-factor} in $H$ is a set of vertex disjoint copies of $F$ that together covers the vertex set of $H$. Lenz and Mubayi studied the $F$-factor problems in quasi-random $k$-graphs with minimum degree $\Omega(n^{k-1})$. In particular, they constructed a sequence of $1/8$-dense quasi-random $3$-graphs $H(n)$ with minimum degree $\Omega(n^2)$ and minimum codegree $\Omega(n)$ but with no $K_{2,2,2}$-factor. We prove that if $p>1/8$ and $F$ is a $3$-partite $3$-graph with $f$ vertices, then for sufficiently large $n$, all $p$-dense quasi-random $3$-graphs of order $n$ with minimum codegree $\Omega(n)$ and $f\mid n$ have $F$-factors. That is, $1/8$ is the density threshold for ensuring all $3$-partite $3$-graphs $F$-factors in quasi-random $3$-graphs given a minimum codegree condition $\Omega(n)$. Moreover, we show that one can not replace the minimum codegree condition by a minimum vertex degree condition. In fact, we find that for any $p\in(0,1)$ and $n\ge n_0$, there exist $p$-dense quasi-random $3$-graphs of order $n$ with minimum degree $\Omega (n^2)$ having no $K_{2,2,2}$-factor. In particular, we study the optimal density threshold of $F$-factors for each $3$-partite $3$-graph $F$ in quasi-random $3$-graphs given a minimum codegree condition $\Omega(n)$.


title: New Development of Homotopy Analysis Method for a Non-linear Integro-Differential Equations with initial conditions

abstract: Homotopy analysis method (HAM) was proposed by Liao in 1992 in his PhD thesis for non-linear problems and was applied it in many different problems of mathematical-physics and engineering. In this note, a new development of homotopy analysis method (ND-HAM) is demonstrated for non-linear integro-differential equation (NIDEs) with initial conditions. Practical investigations revealed that ND-HAM leads easy way how to find initial guess and it approaches to the exact solution faster than the standard HAM, modified HAM (MHAM), new modified of HAM (mHAM) and more general method of HAM (q-HAM). Two examples are illustrated to show the accuracy and validity of the proposed method. Five methods are compared in each example


title: Agility in Software 2.0 -- Notebook Interfaces and MLOps with Buttresses and Rebars

abstract: Artificial intelligence through machine learning is increasingly used in the digital society. Solutions based on machine learning bring both great opportunities, thus coined "Software 2.0," but also great challenges for the engineering community to tackle. Due to the experimental approach used by data scientists when developing machine learning models, agility is an essential characteristic. In this keynote address, we discuss two contemporary development phenomena that are fundamental in machine learning development, i.e., notebook interfaces and MLOps. First, we present a solution that can remedy some of the intrinsic weaknesses of working in notebooks by supporting easy transitions to integrated development environments. Second, we propose reinforced engineering of AI systems by introducing metaphorical buttresses and rebars in the MLOps context. Machine learning-based solutions are dynamic in nature, and we argue that reinforced continuous engineering is required to quality assure the trustworthy AI systems of tomorrow.


title: Continued fraction formulae involving ratios of three gamma functions

abstract: Via the MC-algorithm, in this paper we produce seven continued fraction formulae involving products and quotients of three gamma functions with three parameters, and another is an extension of Entry 34 in Chapter 12 of Ramanujan's second notebook. Five of them will be proved rigorously by the Bauer-Muir transformation. A crucial ingredient in the proofs of our five theorems is to employ the Bauer-Muir transformation twice with different nonlinear modifying factors.


title: The Atmospheres of Rocky Exoplanets II. Influence of surface composition on the diversity of cloud condensates

abstract: Clouds are an integral part of planetary atmospheres, with most planets hosting clouds. The understanding of not only the formation, but also the composition of clouds is crucial to the understanding of future observations. As observations of the planet's surface will remain very difficult, it is essential to link the observable high atmosphere gas and cloud composition to the surface conditions. We present a fast and simple chemical equilibrium (eq.) model for the troposphere of rocky exoplanets, which is in chemical and phase eq. with the crust. The hydrostatic eq. atmosphere is built from bottom to top. In each atmospheric layer chemical eq. is solved and all thermally stable condensates are removed, depleting the atmosphere above in the effected elements. These removed condensates build an upper limit for cloud formation and can be separated into high and low temperature condensates. The most important cloud condensates for 1000K>T>400K are KCl, NaCl, FeS, FeS2, FeO, Fe2O3, Fe3O4. For T<400K H2O, C, NH3, NH4Cl, NH4SH are thermally stable. For even lower temperatures of T<150K CO2, CH4, NH3, H2S become stable. The inclusion of clouds with trace abundances results in the thermal stability of a total of 72 condensates for atmospheres with the different surface conditions (300K<T<1000K and p=1bar,100bar). The different cloud condensates are not independent of each other, but follow sequences of condensation, which are robust against changes in crust composition, surface pressure, and surface temperature. Independent of the existence of water as a crust condensate H2O is a thermally stable cloud condensate for all investigated elemental abundances. However, the water cloud base depends on the hydration level of the crust. Therefore, the detection of water condensates alone does not necessarily imply stable water on the surface, even if the temperature could allow water condensation.


title: FashionSearchNet-v2: Learning Attribute Representations with Localization for Image Retrieval with Attribute Manipulation

abstract: The focus of this paper is on the problem of image retrieval with attribute manipulation. Our proposed work is able to manipulate the desired attributes of the query image while maintaining its other attributes. For example, the collar attribute of the query image can be changed from round to v-neck to retrieve similar images from a large dataset. A key challenge in e-commerce is that images have multiple attributes where users would like to manipulate and it is important to estimate discriminative feature representations for each of these attributes. The proposed FashionSearchNet-v2 architecture is able to learn attribute specific representations by leveraging on its weakly-supervised localization module, which ignores the unrelated features of attributes in the feature space, thus improving the similarity learning. The network is jointly trained with the combination of attribute classification and triplet ranking loss to estimate local representations. These local representations are then merged into a single global representation based on the instructed attribute manipulation where desired images can be retrieved with a distance metric. The proposed method also provides explainability for its retrieval process to help provide additional information on the attention of the network. Experiments performed on several datasets that are rich in terms of the number of attributes show that FashionSearchNet-v2 outperforms the other state-of-the-art attribute manipulation techniques. Different than our earlier work (FashionSearchNet), we propose several improvements in the learning procedure and show that the proposed FashionSearchNet-v2 can be generalized to different domains other than fashion.


title: Premelting layer during ice growth: role of clusters

abstract: The premelting plays an important role in ice growth, but there is a significant gap in our knowledge between the atomistic premelting surface structure and the macroscopic growth mechanism. In this work, using large-scale molecular dynamics simulation, we reveal the existence of clusters on premelting surface, as an intermediate feature bridging the gap. We show the spontaneous formation and evolution of clusters, and they form a stable distribution determined by the growth rate. We demonstrate how this stable distribution is related to the growth mode of ice, connected by the growth of clusters. We come to a bilayer-by-bilayer growth mode under simulation-reachable high growth rates, but another mechanism, namely "cluster stacking", is speculated to exist at lower growth rates. Our work builds a connection between the microscopic structure of premelting layer and the macroscopic growth of ice, making a step forward to the full understanding of premelting and ice growth.


title: Online size Ramsey numbers: Odd cycles vs connected graphs

abstract: Given two graph families $\mathcal H_1$ and $\mathcal H_2$, a size Ramsey game is played on the edge set of $K_\mathbb{N}$. In every round, Builder selects an edge and Painter colours it red or blue. Builder is trying to force Painter to create as soon as possible a red copy of a graph from $\mathcal H_1$ or a blue copy of a graph from $\mathcal H_2$. The online (size) Ramsey number $\tilde{r}(\mathcal H_1,\mathcal H_2)$ is the smallest number of rounds in the game provided Builder and Painter play optimally. We prove that if $\mathcal H_1$ is the family of all odd cycles and $\mathcal H_2$ is the family of all connected graphs on $n$ vertices and $m$ edges, then $\tilde{r}(\mathcal H_1,\mathcal H_2)\ge \varphi n + m-2\varphi+1$, where $\varphi$ is the golden ratio, and for $n\ge 3$, $m\le (n-1)^2/4$ we have $\tilde{r}(\mathcal H_1,\mathcal H_2)\le n+2m+O(\sqrt{m-n+1})$. We also show that $\tilde{r}(C_3,P_n)\le 3n-4$ for $n\ge 3$. As a consequence we get $2.6n-3\le \tilde{r}(C_3,P_n)\le 3n-4$ for every $n\ge 3$.


title: Computational Complexity of Normalizing Constants for the Product of Determinantal Point Processes

abstract: We consider the product of determinantal point processes (DPPs), a point process whose probability mass is proportional to the product of principal minors of multiple matrices, as a natural, promising generalization of DPPs. We study the computational complexity of computing its normalizing constant, which is among the most essential probabilistic inference tasks. Our complexity-theoretic results (almost) rule out the existence of efficient algorithms for this task unless the input matrices are forced to have favorable structures. In particular, we prove the following: (1) Computing $\sum_S\det({\bf A}_{S,S})^p$ exactly for every (fixed) positive even integer $p$ is UP-hard and Mod$_3$P-hard, which gives a negative answer to an open question posed by Kulesza and Taskar. (2) $\sum_S\det({\bf A}_{S,S})\det({\bf B}_{S,S})\det({\bf C}_{S,S})$ is NP-hard to approximate within a factor of $2^{O(|I|^{1-\epsilon})}$ or $2^{O(n^{1/\epsilon})}$ for any $\epsilon>0$, where $|I|$ is the input size and $n$ is the order of the input matrix. This result is stronger than the #P-hardness for the case of two matrices derived by Gillenwater. (3) There exists a $k^{O(k)}n^{O(1)}$-time algorithm for computing $\sum_S\det({\bf A}_{S,S})\det({\bf B}_{S,S})$, where $k$ is the maximum rank of $\bf A$ and $\bf B$ or the treewidth of the graph formed by nonzero entries of $\bf A$ and $\bf B$. Such parameterized algorithms are said to be fixed-parameter tractable. These results can be extended to the fixed-size case. Further, we present two applications of fixed-parameter tractable algorithms given a matrix $\bf A$ of treewidth $w$: (4) We can compute a $2^{\frac{n}{2p-1}}$-approximation to $\sum_S\det({\bf A}_{S,S})^p$ for any fractional number $p>1$ in $w^{O(wp)}n^{O(1)}$ time. (5) We can find a $2^{\sqrt n}$-approximation to unconstrained MAP inference in $w^{O(w\sqrt n)}n^{O(1)}$ time.


title: Waveforms and fluxes: Towards a self-consistent effective one body waveform model for nonprecessing, coalescing black-hole binaries for third generation detectors

abstract: We present a comprehensive comparison between numerical relativity (NR) angular momentum fluxes at infinity and the corresponding quantity entering the radiation reaction in TEOBResumS, an Effective-One-Body (EOB) waveform model for nonprecessing coalescing black hole binaries on quasi-circular orbits. This comparison prompted us to implement two changes in the model: (i) including Next-to-Quasi-Circular corrections in the $\ell=m$, $\ell\leq 5$ multipoles entering the radiation reaction and (ii) consequently updating the NR-informed spin-orbital sector of the model. This yields a new waveform model that presents a higher self-consistency between waveform and dynamics and an improved agreement with NR simulations. We test the model computing the EOB/NR unfaithfulness $\bar{F}_{\rm EOB/NR}$ over all 534 spin-aligned configurations available through the Simulating eXtreme Spacetime catalog, notably using the noise spectral density of Advanced LIGO, Einstein Telescope and Cosmic Explorer, for total mass up to $500M_\odot$. We find that the maximum unfaithfulness $\bar{F}^{\rm max}_{\rm EOB/NR}$ is mostly between $10^{-4}$ and $10^{-3}$, and the performance progressively worsens up to $\sim 5\times 10^{-3}$ as the effective spin of the system is increased. We perform similar analyses on the \SEOB{} model, that delivers $\bar{F}^{\rm max}_{\rm EOB/NR}$ values uniformly distributed versus effective spin and mostly between $10^{-3}$ and $10^{-2}$. We conclude that the improved TEOBResumS model already represents a reliable and robust first step towards the development of highly accurate waveform templates for third generation detectors.


title: Polytropic Wind Solutions via the Complex Plane Strategy

abstract: Solar-type stars generate spherical winds, which are pressure driven flows, that start subsonic, reach the sound speed at the sonic point and transition to supersonic flows. The sonic point, mathematically corresponds to a singularity of the system of differential equations describing the flow. In the problem of an isothermal wind, the Parker solution provides an exact analytical expression tuned appropriately so that the singularity does not affect the solution. However, if the wind is polytropic it is not possible to find an analytical solution and a numerical approach needs to be followed. We study solutions of spherical winds that are driven by pressure within a gravitational field. The solutions pass smoothly from the critical point and allow us to study the impact of the changes of the polytropic index to these winds. We explore the properties of these solutions as a function of the polytropic index and the boundary conditions used. We apply the Complex Plane Strategy (CPS) and we obtain numerically solutions of polytropic winds. This allows us to avoid the singularity appearing in the equations through the introduction complex variables and integration on the complex plane. Applying this method, we obtain solutions with physical behaviour at the stellar surface, the sonic point and at large distances from the star. We further explore the role of the polytropic index in the flow and the effect of mass--loss rate and temperature on the solution. We find that the increase of polytropic index as well as the decrease of flow parameter both yield to a smoother velocity profile and lower velocities and shifts the transition point from subsonic to supersonic behaviour further from the star. Finally, we verify that the increasing of coronal temperature yields higher wind velocities and a weaker dependence on polytropic index.


title: Learning Physical Concepts in Cyber-Physical Systems: A Case Study

abstract: Machine Learning (ML) has achieved great successes in recent decades, both in research and in practice. In Cyber-Physical Systems (CPS), ML can for example be used to optimize systems, to detect anomalies or to identify root causes of system failures. However, existing algorithms suffer from two major drawbacks: (i) They are hard to interpret by human experts. (ii) Transferring results from one systems to another (similar) system is often a challenge. Concept learning, or Representation Learning (RepL), is a solution to both of these drawbacks; mimicking the human solution approach to explain-ability and transfer-ability: By learning general concepts such as physical quantities or system states, the model becomes interpretable by humans. Furthermore concepts on this abstract level can normally be applied to a wide range of different systems. Modern ML methods are already widely used in CPS, but concept learning and transfer learning are hardly used so far. In this paper, we provide an overview of the current state of research regarding methods for learning physical concepts in time series data, which is the primary form of sensor data of CPS. We also analyze the most important methods from the current state of the art using the example of a three-tank system. Based on these concrete implementations1, we discuss the advantages and disadvantages of the methods and show for which purpose and under which conditions they can be used.


title: An inverse Sanov theorem for exponential families

abstract: We prove the large deviation principle (LDP) for posterior distributions arising from subfamilies of full exponential families, allowing misspecification of the model. Moreover, motivated by the so-called inverse Sanov Theorem (see e.g. Ganesh and O'Connell 1999 and 2000), we prove the LDP for the corresponding maximum likelihood estimator, and we study the relationship between rate functions. In our setting, even in the non misspecified case, it is not true in general that the rate functions for posterior distributions and for maximum likelihood estimators are Kullback-Leibler divergences with exchanged arguments.