title: Medical device regulation efforts for mHealth apps -- An experience report of Corona Check and Corona Health

abstract: Within the healthcare environment, mobile health (mHealth) applications (apps) are more and more important. The number of new mHealth apps has risen steadily in the last years. Especially the Covid-19 pandemic has led to an enormous amount of app releases. Notably, in most countries, mHealth applications have to be already compliant with several regulatory aspects in order to be declared to be a 'medical app'. However, the latest applicable medical device regulation (MDR) does not comment in more detail on the topic of the requirements for mHealth applications. When developing a medical app, it is essential that all contributors in an interdisciplinary team - especially the software engineers - are aware of the specific regulatory requirements beforehand. The development process, however, should not be stalled too long due to the integration of the MDR. Therefore, a developing framework, which includes these aspects, is required, to enable a smooth development process. The paper at hand introduces the creation of such a framework on the basis of the Corona Health and Corona Check apps. The relevant regulatory guidelines are listed and summarized to a guidance for medical app developments. In particular, the important stages and faced challenges emerged during the entire development process are highlighted.


title: Point Cloud Learning with Transformer

abstract: Remarkable performance from Transformer networks in Natural Language Processing promote the development of these models in dealing with computer vision tasks such as image recognition and segmentation. In this paper, we introduce a novel framework, called Multi-level Multi-scale Point Transformer (MLMSPT) that works directly on the irregular point clouds for representation learning. Specifically, a point pyramid transformer is investigated to model features with diverse resolutions or scales we defined, followed by a multi-level transformer module to aggregate contextual information from different levels of each scale and enhance their interactions. While a multi-scale transformer module is designed to capture the dependencies among representations across different scales. Extensive evaluation on public benchmark datasets demonstrate the effectiveness and the competitive performance of our methods on 3D shape classification, segmentation tasks.


title: Stacking faults in $\alpha$-RuCl$_3$ revealed by local electric polarization

abstract: We present out-of-plane dielectric and magnetodielectric measurements of single crystallines $\alpha$-RuCl$_3$ with various degrees of stack faults. A frequency dependent, but field independent, dielectric anomaly appears at $T_{A}\:(f=100\:\mathrm{kHz})\sim$ 4 K once both magnetic transitions at $T_{N1}\sim$ 7 K and $T_{N2}\sim$ 14 K set in. The observed dielectric anomaly is attributed to the emergency of possible local electric polarizations whose inversion symmetry is broken by inhomogeneously distributed stacking faults. A field-induced intermediate phase is only observed when a magnetic field is applied perpendicular to the Ru-Ru bonds for samples with minimal stacking faults. Less pronounced in-plane anisotropy is found in samples with sizable contribution from stacking imperfections. Our findings suggest that dielectric measurement is a sensitive probe in detecting the structural and magnetic properties, which may be a promising tool especially in studying $\alpha$-RuCl$_3$ thin film devices. Moreover, the stacking details of RuCl$_3$ layers strongly affect the ground state both in the magnetic and electric channels. Such a fragile ground state against stacking faults needs to be overcome for realistic applications utilizing the magnetic and/or electric properties of Kitaev based physics in $\alpha$-RuCl$_3$.


title: PyTorch Tabular: A Framework for Deep Learning with Tabular Data

abstract: In spite of showing unreasonable effectiveness in modalities like Text and Image, Deep Learning has always lagged Gradient Boosting in tabular data - both in popularity and performance. But recently there have been newer models created specifically for tabular data, which is pushing the performance bar. But popularity is still a challenge because there is no easy, ready-to-use library like Sci-Kit Learn for deep learning. PyTorch Tabular is a new deep learning library which makes working with Deep Learning and tabular data easy and fast. It is a library built on top of PyTorch and PyTorch Lightning and works on pandas dataframes directly. Many SOTA models like NODE and TabNet are already integrated and implemented in the library with a unified API. PyTorch Tabular is designed to be easily extensible for researchers, simple for practitioners, and robust in industrial deployments.


title: Computing the Hilbert Class Fields of Quartic CM Fields Using Complex Multiplication

abstract: Let $K$ be a quartic CM field, that is, a totally imaginary quadratic extension of a real quadratic number field. In a 1962 article titled On the classfields obtained by complex multiplication of abelian varieties, Shimura considered a particular family $\{F_K(m) : m \in \mathbb{Z} >0 \}$ of abelian extensions of $K$, and showed that the Hilbert class field $H_K$ of $K$ is contained in $F_K(m)$ for some positive integer m. We make this m explicit. We then give an algorithm that computes a set of defining polynomials for the Hilbert class field using the field $F_K(m)$. Our proof-of-concept implementation of this algorithm computes a set of defining polynomials much faster than current implementations of the generic Kummer algorithm for certain examples of quartic CM fields.


title: Societal Biases in Retrieved Contents: Measurement Framework and Adversarial Mitigation for BERT Rankers

abstract: Societal biases resonate in the retrieved contents of information retrieval (IR) systems, resulting in reinforcing existing stereotypes. Approaching this issue requires established measures of fairness in respect to the representation of various social groups in retrieval results, as well as methods to mitigate such biases, particularly in the light of the advances in deep ranking models. In this work, we first provide a novel framework to measure the fairness in the retrieved text contents of ranking models. Introducing a ranker-agnostic measurement, the framework also enables the disentanglement of the effect on fairness of collection from that of rankers. To mitigate these biases, we propose AdvBert, a ranking model achieved by adapting adversarial bias mitigation for IR, which jointly learns to predict relevance and remove protected attributes. We conduct experiments on two passage retrieval collections (MSMARCO Passage Re-ranking and TREC Deep Learning 2019 Passage Re-ranking), which we extend by fairness annotations of a selected subset of queries regarding gender attributes. Our results on the MSMARCO benchmark show that, (1) all ranking models are less fair in comparison with ranker-agnostic baselines, and (2) the fairness of Bert rankers significantly improves when using the proposed AdvBert models. Lastly, we investigate the trade-off between fairness and utility, showing that we can maintain the significant improvements in fairness without any significant loss in utility.


title: A fully backward representation of semilinear PDEs applied to the control of thermostatic loads in power systems

abstract: We propose a fully backward representation of semilinear PDEs with application to stochastic control. Based on this, we develop a fully backward Monte-Carlo scheme allowing to generate the regression grid, backwardly in time, as the value function is computed. This offers two key advantages in terms of computational efficiency and memory. First, the grid is generated adaptively in the areas of interest and second, there is no need to store the entire grid. The performances of this technique are compared in simulations to the traditional Monte-Carlo forward-backward approach on a control problem of thermostatic loads.


title: Matching of observations

abstract: We study the statistical distribution of the closest encounter between observations computed along different trajectories of a mixing dynamical system. At the limit of large trajectories, the distribution is of Gumbel type and depends on the length of the trajectories and on the Generalized Dimensions of the image measure. It is also modulated by an Extremal Index, for which we give a formula in the case of expanding maps of the interval and regular observations. We discuss the implications of these results for the study of physical systems.


title: On the Unreasonable Effectiveness of Centroids in Image Retrieval

abstract: Image retrieval task consists of finding similar images to a query image from a set of gallery (database) images. Such systems are used in various applications e.g. person re-identification (ReID) or visual product search. Despite active development of retrieval models it still remains a challenging task mainly due to large intra-class variance caused by changes in view angle, lighting, background clutter or occlusion, while inter-class variance may be relatively low. A large portion of current research focuses on creating more robust features and modifying objective functions, usually based on Triplet Loss. Some works experiment with using centroid/proxy representation of a class to alleviate problems with computing speed and hard samples mining used with Triplet Loss. However, these approaches are used for training alone and discarded during the retrieval stage. In this paper we propose to use the mean centroid representation both during training and retrieval. Such an aggregated representation is more robust to outliers and assures more stable features. As each class is represented by a single embedding - the class centroid - both retrieval time and storage requirements are reduced significantly. Aggregating multiple embeddings results in a significant reduction of the search space due to lowering the number of candidate target vectors, which makes the method especially suitable for production deployments. Comprehensive experiments conducted on two ReID and Fashion Retrieval datasets demonstrate effectiveness of our method, which outperforms the current state-of-the-art. We propose centroid training and retrieval as a viable method for both Fashion Retrieval and ReID applications.


title: Missing understanding of the phase factor between valence-electron and hole operators

abstract: This paper provides the long-missing foundation to connect semiconductor and atomic notations and to support results incorrectly obtained by doing as if semiconductor electrons possessed an orbital angular momentum. We here show that the phase factor between valence-electron destruction operator and hole creation operator is the same as the one between particle and antiparticle in quantum relativity, namely $\hat{a}_{m}=(-1)^{j-m} \hat{b}^\dag_{-m}$ provided that $m=(j,j-1\cdots,-j)$ labels the degenerate states of the $(2j+1)$-fold electron level at hand. This result is remarkable because $(i)$ the hole is definitely not a naive antiparticle due to the remaining valence electrons; $(ii)$ unlike atomic electrons in a central potential, semiconductor electrons in a periodic crystal do not have orbital angular momentum $\textbf{L}=\textbf{r}\wedge\textbf{p}$ nor angular momentum $\textbf{J}=\textbf{L}+\textbf{S}$. Consequently, $(j,m)$ for semiconductor electrons merely are convenient notations to label the states of a degenerate level. To illustrate the physical implications, we discuss the interband couplings between photons and semiconductor, in terms of valence electrons and of holes: the phase factor is crucial to establish that bright excitons are in a spin-singlet state.


title: Learning from {\L}ukasiewicz and Meredith: Investigations into Proof Structures (Extended Version)

abstract: The material presented in this paper contributes to establishing a basis deemed essential for substantial progress in Automated Deduction. It identifies and studies global features in selected problems and their proofs which offer the potential of guiding proof search in a more direct way. The studied problems are of the wide-spread form of "axiom(s) and rule(s) imply goal(s)". The features include the well-known concept of lemmas. For their elaboration both human and automated proofs of selected theorems are taken into a close comparative consideration. The study at the same time accounts for a coherent and comprehensive formal reconstruction of historical work by {\L}ukasiewicz, Meredith and others. First experiments resulting from the study indicate novel ways of lemma generation to supplement automated first-order provers of various families, strengthening in particular their ability to find short proofs.


title: A new look at the Bondi-Sachs energy-momentum

abstract: How does one compute the Bondi mass on an arbitrary cut of null infinity $\scri$ when it is not presented in a Bondi system? What then is the correct definition of the mass aspect? How does one normalise an asymptotic translation computed on a cut which is not equipped with the unit-sphere metric? These are questions which need to be answered if one wants to calculate the Bondi-Sachs energy-momentum for a space-time which has been determined numerically. Under such conditions there is not much control over the presentation of $\scri$ so that most of the available formulations of the Bondi energy-momentum simply do not apply. The purpose of this article is to provide the necessary background for a manifestly conformally invariant and gauge independent formulation of the Bondi energy-momentum. To this end we introduce a conformally invariant version of the GHP formalism to rephrase all the well-known formulae. This leads us to natural definitions for the space of asymptotic translations with its Lorentzian metric, for the Bondi news and the mass-aspect. A major role in these developments is played by the "co-curvature", a naturally appearing quantity closely related to the Gau{\ss} curvature on a cut of~$\scri$.


title: Localization of eigenvalues for non-self-adjoint Dirac and Klein-Gordon operators

abstract: This note aims to give prominence to some new results on the absence and localization of eigenvalues for the Dirac and Klein-Gordon operators, starting from known resolvent estimates already established in the literature combined with the renowned Birman-Schwinger principle.

categories: math.SP math-ph math.AP math.MP quant-ph


title: Two stages for visual object tracking

abstract: Siamese-based trackers have achived promising performance on visual object tracking tasks. Most existing Siamese-based trackers contain two separate branches for tracking, including classification branch and bounding box regression branch. In addition, image segmentation provides an alternative way to obetain the more accurate target region. In this paper, we propose a novel tracker with two-stages: detection and segmentation. The detection stage is capable of locating the target by Siamese networks. Then more accurate tracking results are obtained by segmentation module given the coarse state estimation in the first stage. We conduct experiments on four benchmarks. Our approach achieves state-of-the-art results, with the EAO of 52.6$\%$ on VOT2016, 51.3$\%$ on VOT2018, and 39.0$\%$ on VOT2019 datasets, respectively.


title: Variational symmetries and superintegrability in multifield cosmology

abstract: We consider a spatially flat Friedmann--Lema\^{\i}tre--Robertson--Walker background space with an ideal gas and a multifield Lagrangian consisting of two minimally coupled scalar fields which evolve in a field space of constant curvature. For this cosmological model we classify the potential function for the scalar fields such that variational point symmetries exist. The corresponding conservation laws are calculated. Finally, analytic solutions are presented for specific functional forms of the scalar field potential in which the cosmological field equations are characterized as a Liouville integrable system by point symmetries. The free parameters of the cosmological model are constrained in order to describe analytic solutions for an inflationary epoch. Finally, stability properties of exact closed-form solutions are investigated. These solutions are scaling solutions with important physical properties for the cosmological model.


title: Non-equilibrium Equation of State in stellar atmospheres

abstract: In the stellar chromospheres, radiative energy transport is dominated by only the strongest spectral lines. For these lines, the approximation of local thermodynamic equilibrium (LTE) is known to be very inaccurate, and a state of equilibrium cannot be assumed in general. To calculate the radiative energy transport under these conditions, the population evolution equation must be evaluated explicitly, including all time-dependent terms. We develop a numerical method to solve the evolution equation for the atomic-level populations in a time-implicit way, keeping all time-dependent terms to first order. We show that the linear approximation of the time dependence of the populations can handle very large time steps without losing the accuracy. We reproduce the benchmark solutions from earlier, well-established works in terms of non-LTE kinetic equilibrium solution and typical ionization/recombination time-scales in the solar chromosphere.


title: Motive of the representation varieties of torus knots for low rank affine groups

abstract: We compute the motive of the variety of representations of the torus knot of type (m,n) into the affine groups $AGL_1(C)$ and $AGL_2(C)$. For this, we stratify the varieties and show that the motives lie in the subring generated by the Lefschetz motive q=[C].


title: Social Norms Offer Explanation for Inconsistent Effects of Incentives on Prosocial Behavior

abstract: Incentives have surprisingly inconsistent effects when it comes to encouraging people to behave prosocially. Classical economic theory, according to which a specific behavior becomes more prevalent when it is rewarded, struggles to explain why incentives sometimes backfire. More recent theories therefore posit a reputational cost offsetting the benefits of receiving an incentive -- yet unexplained effects of incentives remain, for instance across incentive types and countries. We propose that social norms can offer an explanation for these inconsistencies. Ultimately, social norms determine the reputational costs or benefits resulting from a given behavior, and thus variation in the effect of incentives may reflect variation in norms. We implemented a formal model of prosocial behavior integrating social norms, which we empirically tested on the real-world prosocial behavior of blood donation. Blood donation is essential for many life-saving medical procedures, but also presents an ideal testing ground for our theory: Various incentive policies for blood donors exist across countries, enabling a comparative approach. Our preregistered analyses reveal that social norms can indeed account for the varying effects of financial and time incentives on individual-level blood donation behavior across 28 European countries. Incentives are associated with higher levels of prosociality when norms regarding the incentive are more positive. The results indicate that social norms play an important role in explaining the relationship between incentives and prosocial behavior. More generally, our approach highlights the potential of integrating theory from across the economic and behavioral sciences to generate novel insights, with tangible consequences for policy-making.


title: On the Martingale Representation with Respect to the super-Brownian Filtration

abstract: We derive the explicit form of the martingale representation for square-integrable processes that are martingales with respect to the natural filtration of the super-Brownian motion. This is done by using a weak extension of the Dupire derivative for functionals of superprocesses.


title: Toppling on permutations with an extra chip

abstract: The study of toppling on permutations with an extra labeled chip was initiated by the first author with D. Hathcock and P. Tetali (arXiv:2010.11236), where the extra chip was added in the middle. We extend this to all possible locations $p$ as well as values $r$ of the extra chip and give a complete characterization of permutations which topple to the identity. Further, we classify all permutations which are outcomes of the toppling process in this generality, which we call resultant permutations. Resultant permutations turn out to be certain decomposable permutations. The number of configurations toppling to a given resultant permutation is shown to depend purely on the number of left-to-right maxima (or records) of the permutation to the left of $n-p$ and the number of right-to-left minima to the right of $n-p$. The number of permutations toppling to a given resultant permutation (identity or otherwise) is shown to be the binomial transform of a poly-Bernoulli number of type B.


title: Magnetic Proximity Effect in an Antiferromagnetic Insulator/Topological Insulator Heterostructure with Sharp Interface

abstract: We report an experimental study of electron transport properties of MnSe/(Bi,Sb)2Te3 heterostructures, in which MnSe is an antiferromagnetic insulator, and (Bi,Sb)2Te3 is a three-dimensional topological insulator (TI). Strong magnetic proximity effect is manifested in the measurements of the Hall effect and longitudinal resistances. Our analysis shows that the gate voltage can substantially modify the anomalous Hall conductance, which exceeds 0.1 e2/h at temperature of 1.6 K and magnetic field of 5 T, even though only the top TI surface is in proximity to MnSe. This work suggests that heterostructures based on antiferromagnetic insulators provide a promising platform for investigating a wide range of topological spintronic phenomena.


title: Adaptive Channel Estimation Based on Model-Driven Deep Learning for Wideband mmWave Systems

abstract: Channel estimation in wideband millimeter-wave (mmWave) systems is very challenging due to the beam squint effect. To solve the problem, we propose a learnable iterative shrinkage thresholding algorithm-based channel estimator (LISTA-CE) based on deep learning. The proposed channel estimator can learn to transform the beam-frequency mmWave channel into the domain with sparse features through training data. The transform domain enables us to adopt a simple denoiser with few trainable parameters. We further enhance the adaptivity of the estimator by introducing hypernetwork to automatically generate learnable parameters for LISTA-CE online. Simulation results show that the proposed approach can significantly outperform the state-of-the-art deep learning-based algorithms with lower complexity and fewer parameters and adapt to new scenarios rapidly.


title: Orbital stability of compact three-planet systems, I: Dependence of system lifetimes on initial orbital separations and longitudes

abstract: We explore the orbital dynamics of systems consisting of three planets, each as massive as the Earth, on coplanar, initially circular, orbits about a star of one solar mass. The initial semimajor axes of the planets are equally spaced in terms of their mutual Hill radius, which is equivalent to a geometric progression of orbital periods for small planets of equal mass. Our simulations explore a wide range of spacings of the planets, and were integrated for virtual times of up to 10 billion years or until the orbits of any pair of planets crossed. We find the same general trend of system lifetimes increasing exponentially with separation between orbits seen by previous studies of systems of three or more planets. One focus of this paper is to go beyond the rough trends found by previous numerical studies and quantitatively explore the nature of the scatter in lifetimes and the destabilizing effects of mean motion resonances. In contrast to previous results for five-planet systems, a nontrivial fraction of three-planet systems survive at least several orders of magnitude longer than most other systems with similar initial separation between orbits, with some surviving $10^{10}$ years at much smaller orbital separations than any found for five-planet systems. Substantial shifts in the initial planetary longitudes cause a scatter of roughly a factor of two in system lifetime, whereas the shift of one planet's initial position by 100 meters along its orbit results in smaller changes in the logarithm of the time to orbit crossing, especially for systems with short lifetimes.


title: Orbital stability of compact three-planet systems, II: Post-instability impact behaviour

abstract: Recent observational missions have uncovered a significant number of compact multi-exoplanet systems. The tight orbital spacing of these systems has led to much effort being applied to the understanding of their stability; however, a key limitation of the majority of these studies is the termination of simulations as soon as the orbits of two planets cross. In this work we explore the stability of compact, three-planet systems and continue our simulations all the way to the first collision of planets to yield a better understanding of the lifetime of these systems. We perform over $25,000$ integrations of a Sun-like star orbited by three Earth-like secondaries for up to a billion orbits to explore a wide parameter space of initial conditions in both the co-planar and inclined cases, with a focus on the initial orbital spacing. We calculate the probability of collision over time and determine the probability of collision between specific pairs of planets. We find systems that persist for over $10^8$ orbits after an orbital crossing and show how the post-instability survival time of systems depends upon the initial orbital separation, mutual inclination, planetary radius, and the closest encounter experienced. Additionally, we examine the effects of very small changes in the initial positions of the planets upon the time to collision and show the effect that the choice of integrator can have upon simulation results. We generalise our results throughout to show both the behaviour of systems with an inner planet initially located at $1$ AU and $0.25$ AU.


title: Exploiting Degeneracy in Belief Propagation Decoding of Quantum Codes

abstract: Quantum information needs to be protected by quantum error-correcting codes due to imperfect physical devices and operations. One would like to have an efficient and high-performance decoding procedure for the class of quantum stabilizer codes. A potential candidate is Pearl's belief propagation (BP), but its performance suffers from the many short cycles inherent in a quantum stabilizer code, especially highly-degenerate codes. A general impression exists that BP is not effective for topological codes. In this paper, we propose a decoding algorithm for quantum codes based on quaternary BP with additional memory effects (called MBP). This MBP is like a recursive neural network with inhibitions between neurons (edges with negative weights), which enhance the perception capability of a network. Moreover, MBP exploits the degeneracy of a quantum code so that the most probable error or its degenerate errors can be found with high probability. The decoding performance is significantly improved over the conventional BP for various quantum codes, including quantum bicycle, hypergraph-product, surface and toric codes. For MBP on the surface and toric codes over depolarizing errors, we observe error thresholds of 16% and 17.5%, respectively.


title: Timing Covert Channel Analysis of the VxWorks MILS Embedded Hypervisor under the Common Criteria Security Certification

abstract: Virtualization technology is nowadays adopted in security-critical embedded systems to achieve higher performance and more design flexibility. However, it also comes with new security threats, where attackers leverage timing covert channels to exfiltrate sensitive information from a partition using a trojan. This paper presents a novel approach for the experimental assessment of timing covert channels in embedded hypervisors, with a case study on security assessment of a commercial hypervisor product (Wind River VxWorks MILS), in cooperation with a licensed laboratory for the Common Criteria security certification. Our experimental analysis shows that it is indeed possible to establish a timing covert channel, and that the approach is useful for system designers for assessing that their configuration is robust against this kind of information leakage.


title: Radiative transfer with opacity distribution functions: Application to narrow band filters

abstract: Modelling of stellar radiative intensities in various spectral pass-bands plays an important role in stellar physics. At the same time the direct calculations of the high-resolution spectrum and then integrating it over the given spectral pass-band is computationally demanding due to the vast number of atomic and molecular lines. This is particularly so when employing three-dimensional (3D) models of stellar atmospheres. To accelerate the calculations, one can employ approximate methods, e.g., the use of Opacity Distribution Functions (ODFs). Generally, ODFs provide a good approximation of traditional spectral synthesis i.e., computation of intensities through filters with strictly rectangular transmission function. However, their performance strongly deteriorates when the filter transmission noticeably changes within its pass-band, which is the case for almost all filters routinely used in stellar physics. In this context, the aims of this paper are a) to generalize the ODFs method for calculating intensities through filters with arbitrary transmission functions; b) to study the performance of the standard and generalized ODFs methods for calculating intensities emergent from 3D models of stellar atmosphere. For this purpose we use the newly-developed MPS-ATLAS radiative transfer code to compute intensities emergent 3D cubes simulated with the radiative magnetohydrodynamics code MURaM. The calculations are performed in the 1.5D regime, i.e., along many parallel rays passing through the simulated cube. We demonstrate that generalized ODFs method allows accurate and fast syntheses of spectral intensities and their centre-to-limb variations.


title: A coding theorem for the rate-distortion-perception function

abstract: The rate-distortion-perception function (RDPF; Blau and Michaeli, 2019) has emerged as a useful tool for thinking about realism and distortion of reconstructions in lossy compression. Unlike the rate-distortion function, however, it is unknown whether encoders and decoders exist that achieve the rate suggested by the RDPF. Building on results by Li and El Gamal (2018), we show that the RDPF can indeed be achieved using stochastic, variable-length codes. For this class of codes, we also prove that the RDPF lower-bounds the achievable rate


title: CRC Codes as Error Correction Codes

abstract: CRC codes have long since been adopted in a vast range of applications. The established notion that they are suitable primarily for error detection can be set aside through use of the recently proposed Guessing Random Additive Noise Decoding (GRAND). Hard-detection (GRAND-SOS) and soft-detection (ORBGRAND) variants can decode any short, high-rate block code, making them suitable for error correction of CRC-coded data. When decoded with GRAND, short CRC codes have error correction capability that is at least as good as popular codes such as BCH codes, but with no restriction on either code length or rate. The state-of-the-art CA-Polar codes are concatenated CRC and Polar codes. For error correction, we find that the CRC is a better short code than either Polar or CA-Polar codes. Moreover, the standard CA-SCL decoder only uses the CRC for error detection and therefore suffers severe performance degradation in short, high rate settings when compared with the performance GRAND provides, which uses all of the CA-Polar bits for error correction. Using GRAND, existing systems can be upgraded from error detection to low-latency error correction without re-engineering the encoder, and additional applications of CRCs can be found in IoT, Ultra-Reliable Low Latency Communication (URLLC), and beyond. The universality of GRAND, its ready parallelized implementation in hardware, and the good performance of CRC as codes make their combination a viable solution for low-latency applications.


title: The sup-completion of a Dedekind complete vector lattice

abstract: Every Dedekind complete Riesz space X has a unique sup-completion X^{s}, which is a Dedekind complete lattice cone. This paper aims to present a systematic study this cone by extending several known results to general setting, proving new results and, in particular, introducing for elements of X^{s} finite and infinite parts. This enuables us to get a satisfactory abstract formulation of some classical results in the setting of Riesz spaces. We prove, in pareticular, a Riesz space version of Borel-Cantelli Lemma and present some applications to it.29*


title: Robust Face-Swap Detection Based on 3D Facial Shape Information

abstract: Maliciously-manipulated images or videos - so-called deep fakes - especially face-swap images and videos have attracted more and more malicious attackers to discredit some key figures. Previous pixel-level artifacts based detection techniques always focus on some unclear patterns but ignore some available semantic clues. Therefore, these approaches show weak interpretability and robustness. In this paper, we propose a biometric information based method to fully exploit the appearance and shape feature for face-swap detection of key figures. The key aspect of our method is obtaining the inconsistency of 3D facial shape and facial appearance, and the inconsistency based clue offers natural interpretability for the proposed face-swap detection method. Experimental results show the superiority of our method in robustness on various laundering and cross-domain data, which validates the effectiveness of the proposed method.


title: End-to-End Approach for Recognition of Historical Digit Strings

abstract: The plethora of digitalised historical document datasets released in recent years has rekindled interest in advancing the field of handwriting pattern recognition. In the same vein, a recently published data set, known as ARDIS, presents handwritten digits manually cropped from 15.000 scanned documents of Swedish church books and exhibiting various handwriting styles. To this end, we propose an end-to-end segmentation-free deep learning approach to handle this challenging ancient handwriting style of dates present in the ARDIS dataset (4-digits long strings). We show that with slight modifications in the VGG-16 deep model, the framework can achieve a recognition rate of 93.2%, resulting in a feasible solution free of heuristic methods, segmentation, and fusion methods. Moreover, the proposed approach outperforms the well-known CRNN method (a model widely applied in handwriting recognition tasks).


title: A Survey on User-Centric Cell-Free Massive MIMO Systems

abstract: The mobile data traffic has been exponentially growing during the last decades, which has been enabled by the densification of the network infrastructure in terms of increased cell density (i.e., ultra-dense network (UDN)) and/or increased number of active antennas per access point (AP) (i.e., massive multiple-input multiple-output (mMIMO)). However, neither UDN nor mMIMO will meet the increasing data rate demands of the sixth generation (6G) wireless communications due to the inter-cell interference and large quality-of-service variations, respectively. Cell-free (CF) mMIMO, which combines the best aspects of UDN and mMIMO, is viewed as a key solution to this issue. In such systems, each user equipment (UE) is served by a preferred set of surrounding APs cooperatively. In this paper, we provide a survey of the state-of-the-art literature on CF mMIMO. As a starting point, the significance and the basic properties of CF mMIMO are highlighted. We then present the canonical framework, where the essential details (i.e., transmission procedure and mathematical system model) are discussed. Next, we provide a deep look at the resource allocation and signal processing problems related to CF mMIMO and survey the up-to-date schemes and algorithms. After that, we discuss the practical issues when implementing CF mMIMO. Potential future directions are then pointed out. Finally, we conclude this paper with a summary of the key lessons learned in this field. This paper aims to provide a starting point for anyone who wants to conduct research on CF mMIMO for future wireless networks.


title: Highly efficient charging and discharging of three-level quantum batteries through shortcuts to adiabaticity

abstract: Quantum batteries are energy storage devices that satisfy quantum mechanical principles. How to improve the battery's performance such as stored energy and power is a crucial element in the quantum battery. Here, we investigate the charging and discharging dynamics of a three-level counterdiabatic stimulated Raman adiabatic passage quantum battery via shortcuts to adiabaticity, which can compensate for undesired transitions to realize a fast adiabatic evolution through the application of an additional control field to an initial Hamiltonian. The scheme can significantly speed up the charging and discharging processes of a three-level quantum battery and obtain more stored energy and higher power compared with the original stimulated Raman adiabatic passage. We explore the effect of both the amplitude and the delay time of driving fields on the performances of the quantum battery. Possible experimental implementation in superconducting circuit and nitrogen-vacancy center is also discussed.


title: Optimal Stopping via Randomized Neural Networks

abstract: This paper presents the benefits of using randomized neural networks instead of standard basis functions or deep neural networks to approximate the solutions of optimal stopping problems. The key idea is to use neural networks, where the parameters of the hidden layers are generated randomly and only the last layer is trained, in order to approximate the continuation value. Our approaches are applicable to high dimensional problems where the existing approaches become increasingly impractical. In addition, since our approaches can be optimized using simple linear regression, they are easy to implement and theoretical guarantees can be provided. We test our approaches for American option pricing on Black--Scholes, Heston and rough Heston models and for optimally stopping a fractional Brownian motion. In all cases, our algorithms outperform the state-of-the-art and other relevant machine learning approaches in terms of computation time while achieving comparable results. Moreover, we show that they can also be used to efficiently compute Greeks of American options.

categories: stat.ML cs.LG cs.NA math.NA math.PR q-fin.CP


title: A Quantum Chemical Approach for the Characterization of the Interaction Potential of Propylene Oxide with Rare-Gas Atoms (He, Ne, Ar)

abstract: Propylene oxide is one of the simplest organic chiral molecules and has attracted considerable interest from the scientific community a few years ago, when it was discovered in the interstellar medium. Here, we report a preliminary study on the interaction between propylene oxide and rare-gas atoms, specifically He, Ne, and Ar. The interaction potentials as a function of the distance between the center-of-mass of propylene oxide and the rare-gas-atom are calculated for fourteen leading configurations at CCSD(T)/aug-cc-pVDZ level of theory. Symmetry Adapted Perturbation Theory has been employed for the analysis of the intermolecular potential, revealing that most of the contribution is given by dispersion and exchange forces.


title: Continual Learning Approach for Improving the Data and Computation Mapping in Near-Memory Processing System

abstract: The resurgence of near-memory processing (NMP) with the advent of big data has shifted the computation paradigm from processor-centric to memory-centric computing. To meet the bandwidth and capacity demands of memory-centric computing, 3D memory has been adopted to form a scalable memory-cube network. Along with NMP and memory system development, the mapping for placing data and guiding computation in the memory-cube network has become crucial in driving the performance improvement in NMP. However, it is very challenging to design a universal optimal mapping for all applications due to unique application behavior and intractable decision space. In this paper, we propose an artificially intelligent memory mapping scheme, AIMM, that optimizes data placement and resource utilization through page and computation remapping. Our proposed technique involves continuously evaluating and learning the impact of mapping decisions on system performance for any application. AIMM uses a neural network to achieve a near-optimal mapping during execution, trained using a reinforcement learning algorithm that is known to be effective for exploring a vast design space. We also provide a detailed AIMM hardware design that can be adopted as a plugin module for various NMP systems. Our experimental evaluation shows that AIMM improves the baseline NMP performance in single and multiple program scenario by up to 70% and 50%, respectively.


title: Models of binary neutron star remnants with tabulated equations of state

abstract: The emergence of novel differential rotation laws that can reproduce the rotational profile of binary neutron star merger remnants has opened the way for the construction of equilibrium models with properties that resemble those of remnants in numerical simulations. We construct models of merger remnants, using a recently introduced 4-parameter differential rotation law and three tabulated, zero-temperature equations of state. The models have angular momenta that are determined by empirical relations, constructed through numerical simulations. After a systematic exploration of the parameter space of merger remnant equilibrium sequences, which includes the determination of turning points along constant angular momentum sequences, we find that a particular rotation law can reproduce the threshold mass to prompt collapse to a black hole with a relative difference of only $\sim 1\%$ with respect to numerical simulations, in all cases considered. Furthermore, our results indicate a possible correlation between the compactness of equilibrium models of remnants at the threshold mass and the compactness of maximum-mass nonrotating models. Another key prediction of binary neutron star merger simulations is a relatively slowly rotating inner region, where the angular velocity $\Omega$ (as measured by an observer at infinity) is mostly due to the frame dragging angular velocity $\omega$. In our investigation of the parameter space of the adopted differential rotation law, we naturally find quasi-spherical (Type A) remnant models with this property. Our investigation clarifies the impact of the differential rotation law and of the equation of state on key properties of binary neutron star remnants and lays the groundwork for including thermal effects in future studies.


title: AdvHaze: Adversarial Haze Attack

abstract: In recent years, adversarial attacks have drawn more attention for their value on evaluating and improving the robustness of machine learning models, especially, neural network models. However, previous attack methods have mainly focused on applying some $l^p$ norm-bounded noise perturbations. In this paper, we instead introduce a novel adversarial attack method based on haze, which is a common phenomenon in real-world scenery. Our method can synthesize potentially adversarial haze into an image based on the atmospheric scattering model with high realisticity and mislead classifiers to predict an incorrect class. We launch experiments on two popular datasets, i.e., ImageNet and NIPS~2017. We demonstrate that the proposed method achieves a high success rate, and holds better transferability across different classification models than the baselines. We also visualize the correlation matrices, which inspire us to jointly apply different perturbations to improve the success rate of the attack. We hope this work can boost the development of non-noise-based adversarial attacks and help evaluate and improve the robustness of DNNs.


title: Approximating spaces of Nagata dimension zero by weighted trees

abstract: We prove that if a metric space $X$ has Nagata dimension zero with constant $c$, then there exists a dense subset of $X$ that is $8c$-bilipschitz equivalent to a weighted tree. The factor $8$ is the best possible if $c=1$, that is, if $X$ is an ultrametric space. This yields a new proof of a result of Chan, Xia, Konjevod and Richa. Moreover, as an application, we also obtain quantitative versions of certain metric embedding and Lipschitz extension results of Lang and Schlichenmaier. Finally, we prove a variant of our main theorem for $0$-hyperbolic proper metric spaces. This generalizes a result of Gupta.


title: Typability and Type Inference in Atomic Polymorphism

abstract: It is well-known that typability, type inhabitation and type inference are undecidable in the Girard-Reynolds polymorphic system F. It has recently been proven that type inhabitation remains undecidable even in the predicative fragment of system F in which all universal instantiations have an atomic witness (system Fat). In this paper we analyze typability and type inference in Curry style variants of system Fat and show that typability is decidable and that there is an algorithm for type inference which is capable of dealing with non-redundancy constraints.


title: A unified convergence analysis for the fractional diffusion equation driven by fractional Gaussion noise with Hurst index $H\in(0,1)$

abstract: Here, we provide a unified framework for numerical analysis of stochastic nonlinear fractional diffusion equation driven by fractional Gaussian noise with Hurst index $H\in(0,1)$. A novel estimate of the second moment of the stochastic integral with respect to fractional Brownian motion is constructed, which greatly contributes to the regularity analyses of the solution in time and space for $H\in(0,1)$. Then we use spectral Galerkin method and backward Euler convolution quadrature to discretize the fractional Laplacian and Riemann-Liouville fractional derivative, respectively. The sharp error estimates of the built numerical scheme are also obtained. Finally, the extensive numerical experiments verify the theoretical results.


title: Hamiltonian active particles in an environment

abstract: We examine a Hamiltonian system which represents an active Brownian particle that can move against an external force by drawing energy from an internal depot while immersed in a noisy and dissipative environment. The Hamiltonian consists of two subsystems, one representing the active particle's motion and the other its depot of `fuel'. We show that although the active particle loses some of its energy to dissipation from the environment, dissipation can also help to stabilize the dynamical process that makes the particle active. Additionally we show how a Hamiltonian active particle can harvest energy from its environment.


title: Double Lie algebras of a nonzero weight

abstract: We introduce the notion of $\lambda$-double Lie algebra, which coincides with usual double Lie algebra when $\lambda = 0$. We state that every $\lambda$-double Lie algebra for $\lambda\neq0$ provides the structure of modified double Poisson algebra on the free associative algebra. In particular, it confirms the conjecture of S. Arthamonov (2017). We prove that there are no simple finite-dimensional $\lambda$-double Lie algebras.


title: Shifted Bender-Knuth moves and a shifted Berenstein-Kirillov group

abstract: The Bender-Knuth involutions on Young tableaux are known to coincide with the tableau switching on two adjacent letters, together with a swapping of those letters. Using the shifted tableau switching due to Choi, Nam and Oh (2019), we introduce a shifted version of the Bender-Knuth operators and define a shifted version of the Berenstein-Kirillov group. The actions of the cactus group, due to the author, and of the shifted Berenstein-Kirillov group on the Gillespie-Levinson-Purbhoo straight-shaped shifted tableau crystal (2017, 2020) coincide. Following the works of Halacheva (2016, 2020), and Chmutov, Glick and Pylyavskyy (2016, 2020), on the relation between the actions of the Berenstein-Kirillov group and the cactus group on the crystal of straight-shaped Young tableaux, we show that the shifted Berenstein-Kirillov group is isomorphic to a quotient of the cactus group. Not all the known relations that hold in the classic Berenstein-Kirillov group need to be satisfied by the shifted Bender-Knuth involutions, but the ones implying the relations of the cactus group are verified. Hence we have an alternative presentation for the cactus group via the shifted Bender-Knuth involutions.


title: WKB periods for higher order ODE and TBA equations

abstract: We study the WKB periods for the $(r+1)$-th order ordinary differential equation (ODE) which is obtained by the conformal limit of the linear problem associated with the $A_r^{(1)}$ affine Toda field equation. We compute the quantum corrections by using the Picard-Fuchs operators. The ODE/IM correspondence provides a relation between the Wronskians of the solutions and the Y-functions which satisfy the thermodynamic Bethe ansatz (TBA) equation related to the Lie algebra $A_r$. For the quadratic potential, we propose a formula to show the equivalence between the logarithm of the Y-function and the WKB period, which is confirmed by solving the TBA equation numerically.


title: Kernelization, Proof Complexity and Social Choice

abstract: We display an application of the notions of kernelization and data reduction from parameterized complexity to proof complexity: Specifically, we show that the existence of data reduction rules for a parameterized problem having (a). a small-length reduction chain, and (b). small-size (extended) Frege proofs certifying the soundness of reduction steps implies the existence of subexponential size (extended) Frege proofs for propositional formalizations of the given problem. We apply our result to infer the existence of subexponential Frege and extended Frege proofs for a variety of problems. Improving earlier results of Aisenberg et al. (ICALP 2015), we show that propositional formulas expressing (a stronger form of) the Kneser-Lov\'asz Theorem have polynomial size Frege proofs for each constant value of the parameter k. Previously only quasipolynomial bounds were known (and only for the ordinary Kneser-Lov\'asz Theorem). Another notable application of our framework is to impossibility results in computational social choice: we show that, for any fixed number of agents, propositional translations of the Arrow and Gibbard-Satterthwaite impossibility theorems have subexponential size Frege proofs.


title: HOTR: End-to-End Human-Object Interaction Detection with Transformers

abstract: Human-Object Interaction (HOI) detection is a task of identifying "a set of interactions" in an image, which involves the i) localization of the subject (i.e., humans) and target (i.e., objects) of interaction, and ii) the classification of the interaction labels. Most existing methods have indirectly addressed this task by detecting human and object instances and individually inferring every pair of the detected instances. In this paper, we present a novel framework, referred to by HOTR, which directly predicts a set of <human, object, interaction> triplets from an image based on a transformer encoder-decoder architecture. Through the set prediction, our method effectively exploits the inherent semantic relationships in an image and does not require time-consuming post-processing which is the main bottleneck of existing methods. Our proposed algorithm achieves the state-of-the-art performance in two HOI detection benchmarks with an inference time under 1 ms after object detection.


title: Fundamental groupoids and homotopy types of non-compact surfaces

abstract: The paper contains an application of van Kampen theorem for groupoids for computation of homotopy types of certain class of non-compact foliated surfaces obtained by gluing at most countably many strips $\mathbb{R}\times(0,1)$ with boundary intervals in $\mathbb{R}\times\{\pm1\}$ along some of those intervals.


title: Grazing, non-transiting disintegrating exoplanets observed with the planned Ariel space observatory -- A case study using Kepler-1520b

abstract: Disintegrating/evaporating rocky exoplanets can be observed not only as transiting planets, but also in a grazing, non-transiting regime, where the solid body of the planet does not transit, but part of the comet-like tail can transit. In this case the forward scattering on the escaping particles is the dominant process, which amplifies the photometric signal of the parent star detected by the observer. The change in the flux is small, about 10^-3 (1000 ppm) at the best properties of the planetary system, but if the observation is enough precise, the detection is possible. The planned Ariel space observatory is designed to achieve a stability of < 100 ppm (the goal is 10 ppm) over the temporal bandwidth of the transit, typically less than 10 hours. In this case study we took the disintegrating exoplanet Kepler-1520b and changed the orbital properties of the system to get a grazing, non-transiting orbit scenario, and investigated, how different particle sizes, species, Ariel observational channels, and other factors affect the amplitude of the forward-scattering peak, and the detectability of the scattering event. Our most important result is that the forward-scattering amplitude is not sensitive to the dust composition, but is very sensitive to the particle size, observational channel, and other factors. These factors can reduce mainly the detectability of 1-micron grains. 0.1-micron grains will be detectable at short wavelengths. 0.01-micron grains generate long and very small forward scattering amplitude, which is below the detection limit. Based on our results we can conclude that using Ariel will be possible to detect and investigate not only transiting, but also grazing, non-transiting disintegrating exoplanets based on the forward scattering. From the viewpoint of such objects the big advantage of Ariel will be the possibility of multiwavelength observations.


title: Adaptive Optics control using Model-Based Reinforcement Learning

abstract: Reinforcement Learning (RL) presents a new approach for controlling Adaptive Optics (AO) systems for Astronomy. It promises to effectively cope with some aspects often hampering AO performance such as temporal delay or calibration errors. We formulate the AO control loop as a model-based RL problem (MBRL) and apply it in numerical simulations to a simple Shack-Hartmann Sensor (SHS) based AO system with 24 resolution elements across the aperture. The simulations show that MBRL controlled AO predicts the temporal evolution of turbulence and adjusts to mis-registration between deformable mirror and SHS which is a typical calibration issue in AO. The method learns continuously on timescales of some seconds and is therefore capable of automatically adjusting to changing conditions.


title: Multiple Antenna Selection and Successive Signal Detection for SM-based IRS-aided Communication

abstract: Intelligent reflecting surface (IRS) is being considered as a prospective candidate for next-generation wireless communication due to its ability to significantly improve coverage and spectral efficiency by controlling the propagation environment. One of the ways IRS increases spectral efficiency is by adjusting phase shifts to perform passive beamforming. In this letter, we integrate the concept of IRS-aided communication to the domain of multi-direction beamforming, whereby multiple receive antennas are selected to convey more information bits than existing spatial modulation (SM) techniques at any specific time. To complement this system, we also propose a successive signal detection (SSD) technique at the receiver. Numerical results show that the proposed design is able to improve the average successful bits transmitted (ASBT) by the system, which outperforms other state-of-the-art methods proposed in the literature.


title: Graph topology inference with derivative-reproducing property in RKHS: algorithm and convergence analysis

abstract: In many areas such as computational biology, finance or social sciences, knowledge of an underlying graph explaining the interactions between agents is of paramount importance but still challenging. Considering that these interactions may be based on nonlinear relationships adds further complexity to the topology inference problem. Among the latest methods that respond to this need is a topology inference one proposed by the authors, which estimates a possibly directed adjacency matrix in an online manner. Contrasting with previous approaches based on linear models, the considered model is able to explain nonlinear interactions between the agents in a network. The novelty in the considered method is the use of a derivative-reproducing property to enforce network sparsity, while reproducing kernels are used to model the nonlinear interactions. The aim of this paper is to present a thorough convergence analysis of this method. The analysis is proven to be sane both in the mean and mean square sense. In addition, stability conditions are devised to ensure the convergence of the analyzed method.


title: Commensurators of abelian subgroups of biautomatic groups

abstract: We show that the commensurator of any finitely generated abelian subgroup $H$ in a biautomatic group centralises a finite-index subgroup of $H$. We deduce that the CAT(0) groups introduced by Leary-Minasyan are either biautomatic or cannot arise as subgroups of biautomatic groups, answering a question posed by Leary-Minasyan and generalising an analogous result for Baumslag-Solitar groups. These are the first examples of CAT(0) groups that are not subgroups of biautomatic groups.


title: Investigating neutron transfer in the $^{9}$Be + $^{197}$Au system

abstract: In this work $\textit{n}$-transfer and incomplete fusion cross sections for $^{9}$Be + $^{197}$Au system are reported over a wide energy range, E$_{c.m.}$ $\approx$ 29-45 MeV. The experiment was carried out using activation technique and off-line gamma counting. The transfer process is found to be the dominant mode as compared to all other reaction channels. Detailed coupled reaction channel (CRC) calculations have been performed for $\textit{n}$-transfer stripping and pickup cross sections. The measured 1$\textit{n}$-stripping cross sections are explained with CRC calculations by including the ground state and the 2$^{+}$ resonance state (E = 3.03 MeV) of $^{8}$Be. The calculations for 1$\textit{n}$-pickup, including only the ground state of $^{10}$Be agree reasonably well with the measured cross sections, while it overpredicts the data at subbarrier energies. For a better insight into the role of projectile structure in the transfer process, a comprehensive analysis of 1$\textit{n}$-stripping reaction has been carried out for various weakly bound projectiles on $^{197}$Au target nucleus. The transfer cross sections scaled with the square of total radius of interacting nuclei show the expected Q-value dependence of 1$\textit{n}$-stripping channel for weakly bound stable projectiles.


title: Low-Complexity Distance-Based Scheduling for Multi-User XL-MIMO Systems

abstract: We introduce DBS, a new technique for user selection in downlink multi-user communications with extra-large (XL) antenna arrays. DBS categorizes users according to their equivalent distance to the antenna array. Such categorization effectively accounts for inter-user interference while largely reducing the computational burden. Results show that (i) DBS achieves the same performance as the reference zero-forcing beamforming scheme with a lower complexity; (ii) a simplified version of DBS achieves a similar performance when realistic spherical-wavefront (SW) propagation features are considered; (iii) SW propagation brings additional degrees of freedom, which allows for increasing the number of served users.


title: SELF & FEIL: Emotion and Intensity Lexicons for Finnish

abstract: This paper introduces a Sentiment and Emotion Lexicon for Finnish (SELF) and a Finnish Emotion Intensity Lexicon (FEIL). We describe the lexicon creation process and evaluate the lexicon using some commonly available tools. The lexicon uses annotations projected from the NRC Emotion Lexicon with carefully edited translations. To our knowledge, this is the first comprehensive sentiment and emotion lexicon for Finnish.


title: Light Induced Negative Differential Conductance in Molecular Junctions: Role of Triplet States and Electron-Phonon Interaction

abstract: In this work we theoretically consider the OPE-3 molecule bridging two metallic leads and show that because of the electron-phonon interaction and the transition of cation to triplet states, we can have a light induced negative differential conductance. Furthermore, we investigate the effects of light intensity and temperature on this phenomena.


title: On the Limiting Distribution of Sieve VAR($\infty$) Estimators in Small Samples

abstract: When a finite order vector autoregressive model is fitted to VAR($\infty$) data the asymptotic distribution of statistics obtained via smooth functions of least-squares estimates requires care. L\"utkepohl and Poskitt (1991) provide a closed-form expression for the limiting distribution of (structural) impulse responses for sieve VAR models based on the Delta method. Yet, numerical simulations have shown that confidence intervals built in such way appear overly conservative. In this note I argue that these results stem naturally from the limit arguments used in L\"utkepohl and Poskitt (1991), that they manifest when sieve inference is improperly applied, and that they can be "remedied" by either using bootstrap resampling or, simply, by using standard (non-sieve) asymptotics.


title: Oscillations of the number of immune system cells in a space-velocity thermostatted kinetic theory model of tumor growth

abstract: The competition between cancer cells and immune system cells in inhomogeneous conditions is described at cell scale within the framework of the thermostatted kinetic theory. Cell learning is reproduced by increased cell activity during favorable interactions. The cell activity fluctuations are controlled by a thermostat. The direction of cell velocity is changed according to stochastic rules mimicking a dense fluid. We develop a kinetic Monte Carlo algorithm inspired from the direct simulation Monte Carlo (DSMC) method initially used for dilute gases. The evolution of an initially localized tumor is analyzed. Qualitatively different behaviors are observed as the field regulating activity fluctuations decreases. For high field values, i.e. efficient thermalization, cancer is controlled. For small field values, cancer rapidly and monotonously escapes from immunosurveillance. For the critical field value separating these two domains, the 3E's of immunotherapy are reproduced, with an apparent initial elimination of cancer, a long quasi-equilibrium period followed by large fluctuations, and the final escape of cancer, even for a favored production of immune system cells. For field values slightly smaller than the critical value, more regular oscillations of the number of immune system cells are spontaneously observed in agreement with clinical observations. The antagonistic effects that the stimulation of the immune system may have on oncogenesis are reproduced in the model by activity-weighted rate constants for the autocatalytic productions of immune system cells and cancer cells. Local favorable conditions for the launching of the oscillations are met in the fluctuating inhomogeneous system, able to generate a small cluster of immune system cells with larger activities than those of the surrounding cancer cells.


title: Information Interaction Profile of Choice Adoption

abstract: Interactions between pieces of information (entities) play a substantial role in the way an individual acts on them: adoption of a product, the spread of news, strategy choice, etc. However, the underlying interaction mechanisms are often unknown and have been little explored in the literature. We introduce an efficient method to infer both the entities interaction network and its evolution according to the temporal distance separating interacting entities; together, they form the interaction profile. The interaction profile allows characterizing the mechanisms of the interaction processes. We approach this problem via a convex model based on recent advances in multi-kernel inference. We consider an ordered sequence of exposures to entities (URL, ads, situations) and the actions the user exerts on them (share, click, decision). We study how users exhibit different behaviors according to combinations of exposures they have been exposed to. We show that the effect of a combination of exposures on a user is more than the sum of each exposure's independent effect--there is an interaction. We reduce this modeling to a non-parametric convex optimization problem that can be solved in parallel. Our method recovers state-of-the-art results on interaction processes on three real-world datasets and outperforms baselines in the inference of the underlying data generation mechanisms. Finally, we show that interaction profiles can be visualized intuitively, easing the interpretation of the model.


title: A superposition theorem of Kolmogorov type for bounded continuous functions

abstract: Let $C({\mathbb R}^n)$ denote the set of real valued continuous functions defined on ${\mathbb R}^n$. We prove that for every $n\ge 2$ there are positive numbers $\lambda _1 , \ldots , \lambda _n$ and continuous functions $\phi_1 ,\ldots , \phi _m \in C({\mathbb R})$ with the following property: for every bounded and continuous $f\in C( {\mathbb R}^n )$ there is a continuous function $g\in C({\mathbb R} )$ such that $$f(x)=\sum_{q=1}^m g\left( \sum_{p=1}^n \lambda _p \phi _q (x_p ) \right)$$ for every $x=(x_1 ,\ldots , x_n )\in {\mathbb R}^n$. Consequently, every $f\in C({\mathbb R}^n)$ can be obtained from continuous functions of one variable using compositions and additions.


title: Multi-Objective Reconstruction Of Software Architecture

abstract: Design erosion is a persistent problem within the software engineering discipline. Software designs tend to deteriorate over time and there is a need for tools and techniques that support software architects when dealing with legacy systems. This paper presents an evaluation of a Search Based Software Engineering (SBSE) approach intended to recover high-level architecture designs of software systems by structuring low-level artefacts into high-level architecture artefact configurations. In particular , this paper describes the performance evaluation of a number of metaheuristic search algorithms applied to architecture reconstruction problems with high dimensionality in terms of objectives. These problems have been selected as representative of the typical challenges faced by software architects dealing with legacy systems and the results inform the ongoing developed of a software tool that supports the analysis of trade-offs between different reconstructed architectures.


title: $\mathsf{PFA}$ and $\omega_1$-free compact spaces

abstract: The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging $\omega_1$-sequence.


title: A hard-sphere model of protein corona formation on spherical and cylindrical nanoparticles

abstract: A nanoparticle (NP) immersed in biological media rapidly forms a corona of adsorbed proteins, which later controls the eventual fate of the particle and the route through which adverse outcomes may occur. The composition and timescale for the formation of this corona are both highly dependent on both the NP and its environment. The deposition of proteins on the surface of the NP is related to processes of random sequential adsorption and, based on this model, we develop a rate-equation treatment for the formation of a corona represented by hard spheres on spherical and cylindrical NPs. We find that the geometry of the NP significantly alters the composition of the corona through a process independent of the rate constants assumed for adsorption and desorption of proteins, with the radius and shape of the NP both influencing the corona. Moreover, we demonstrate that in the condition of strong binding such that the adsorption is effectively irreversible the corona content reflects the protein mobility and concentration in solution rather than their binding affinity.


title: Cosmic-ray flux predictions and observations for and with Metis on board Solar Orbiter

abstract: The Metis coronagraph is one of the remote sensing instruments hosted on board the ESA/NASA Solar Orbiter mission. Metis is devoted to carry out the first simultaneous imaging of the solar corona in both visible light (VL) and ultraviolet (UV). High-energy particles penetrate spacecraft materials and may limit the performance of on-board instruments. A study of galactic cosmic-ray (GCR) tracks observed in the first VL images gathered by Metis during the commissioning phase for a total of 60 seconds of exposure time is presented here. A similar analysis is planned for the UV channel. A prediction of the GCR flux up to hundreds of GeV is made here for the first part of the Solar Orbiter mission to study the Metis coronagraph performance. GCR model predictions are compared to observations gathered on board Solar Orbiter by the EPD/HET experiment in the range 10 MeV-100 MeV in the summer 2020 and with previous measurements. Estimated cosmic-ray fluxes above 70 MeV n$^{-1}$ have been also parameterized and used for Monte Carlo simulations aiming at reproducing the cosmic-ray track observations in the Metis coronagraph VL images. The same parameterizations can also be used to study the performance of other detectors. By comparing observations of cosmic-ray tracks in the Metis VL images with FLUKA Monte Carlo simulations of cosmic-ray interactions in the VL detector, it is found that cosmic rays fire a fraction of the order of 10$^{-4}$ of the whole image pixel sample. Therefore, cosmic rays do not affect sensibly the quality of Metis VL images. It is also found that the overall efficiency for cosmic-ray identification in the Metis VL images is approximately equal to the contribution of Z$>$2 particles. As a result, the Metis coronagraph may play the role of a proton monitor for long-term GCR variations during the overall mission duration.


title: Understanding one-body losses in magnetically trapped metastable europium atoms

abstract: We report the measurement of one-body loss rates for magnetically trapped metastable europium atoms and the study of their loss mechanism. The loss of atoms observed in a magneto-optical trap is not fully understood because of the indivisibility of the loss regarding optical pumpings due to the presence of cooling laser beams. We magnetically trapped the atoms by directly loading from the magneto-optical trap and observed almost identical one-body loss rates of approximately $2.6\,\mathrm{s^{-1}}$ for two isotopes: $\mathrm{{}^{151}Eu}$ and $\mathrm{{}^{153}Eu}$. Our rate-equation-based model, combined with loss rate measurements carried out with repumpers, shows that blackbody radiation at room temperature drives E1 transitions and induces the observed losses.


title: PANDA : Perceptually Aware Neural Detection of Anomalies

abstract: Semi-supervised methods of anomaly detection have seen substantial advancement in recent years. Of particular interest are applications of such methods to diverse, real-world anomaly detection problems where anomalous variations can vary from the visually obvious to the very subtle. In this work, we propose a novel fine-grained VAE-GAN architecture trained in a semi-supervised manner in order to detect both visually distinct and subtle anomalies. With the use of a residually connected dual-feature extractor, a fine-grained discriminator and a perceptual loss function, we are able to detect subtle, low inter-class (anomaly vs. normal) variant anomalies with greater detection capability and smaller margins of deviation in AUC value during inference compared to prior work whilst also remaining time-efficient during inference. We achieve state of-the-art anomaly detection results when compared extensively with prior semi-supervised approaches across a multitude of anomaly detection benchmark tasks including trivial leave-one out tasks (CIFAR-10 - AUPRCavg: 0.91; MNIST - AUPRCavg: 0.90) in addition to challenging real-world anomaly detection tasks (plant leaf disease - AUC: 0.776; threat item X-ray - AUC: 0.51), video frame-level anomaly detection (UCSDPed1 - AUC: 0.95) and high frequency texture with object anomalous defect detection (MVTEC - AUCavg: 0.83).


title: Photo-switchable nanoripples in Ti3C2Tx MXene

abstract: MXenes are two-dimensional materials with a rich set of remarkable chemical and electromagnetic properties, the latter including saturable absorption and intense surface plasmon resonances. To fully harness the functionality of MXenes for applications in optics, electronics and sensing, it is important to understand the interaction of light with MXenes on atomic and femtosecond dimensions. Here, we use ultrafast electron diffraction and high-resolution electron microscopy to investigate the laser-induced structural dynamics of Ti3C2Tx nanosheets. We find an exceptionally fast lattice response with an electron-phonon coupling time of 230 femtoseconds. Repetitive femtosecond laser excitation transforms Ti3C2Tx through a structural transition into a metamaterial with deeply sub-wavelength nanoripples that are aligned with the laser polarization. By a further laser illumination, the material is reversibly photo-switchable between a flat and rippled morphology. The resulting nanostructured MXene metamaterial with directional nanoripples is expected to exhibit an anisotropic optical and electronic response as well as an enhanced chemical activity that can be switched on and off by light.


title: Spin and anomalous Hall effects emerging from topological degeneracy in Dirac fermion system CuMnAs

abstract: Orthorhombic CuMnAs has been proposed as an antiferromagnetic semimetal hosting nodal line and Dirac points around the Fermi level. We investigate relations between the topological bands and transport phenomena, i.e. spin Hall effect and anomalous Hall effect, in orthorhombic CuMnAs with first-principles calculations combined with symmetry analysis of magnetic structures and of (spin) Berry curvature. We show the nodal line gapped with spin-orbit coupling in CuMnAs dominantly generates large spin Hall conductivity in the ground state. Although the magnetic symmetry in the ground state of CuMnAs forbids the finite anomalous Hall effect, applied magnetic fields produce a significant anomalous component of the Hall conductivity with the magnetic symmetry breaking. We identify that the dominant contribution to anomalous Hall components comes from further lifting of band degeneracy under external magnetic fields for the Bloch states generated with splitting of nodal lines by spin-orbit coupling near Fermi energy.


title: Failure extropy, dynamic failure extropy and their weighted versions

abstract: Extropy was introduced as a dual complement of the Shannon entropy. In this investigation, we consider failure extropy and its dynamic version. Various basic properties of these measures are presented. It is shown that the dynamic failure extropy characterizes the distribution function uniquely. We also consider weighted versions of these measures. Several virtues of the weighted measures are explored. Finally, nonparametric estimators are introduced based on the empirical distribution function.


title: Designing and manufacturing of interference notch filter with a single reflection band

abstract: Rugate, HL, and hybrid methods are used to design Notch Filters. Achieving a design that fits the notch characteristics of the filter and reducing transmission band ripples are the most influential factors in this topic. The ability of easy fabrication and choosing the right manufacturing method to have a notch filter with better characteristics should be noted. The main idea of this work is to design a notch filter structure with a narrow notch width and maximum reflection while reducing fabrication challenges. In addition, using anti-reflection layers in the outermost part of the designed structure, the pass-band ripples are reduced. In designed systems, various quarter-wave factors were used, which have less challenge in the manufacturing step. In addition, the stability of the deposition conditions and the density of the layers affect their quality and consequently the result of environmental tests. Therefore, the sputtering method with RF and DC sources is used to construct the designed structure. Finally, the samples were subjected to environmental tests such as abrasion, humidity, temperature, and adhesion. Some of the significant results of the manufactured single-band notch filter are presented.


title: Optimal Transport between Gaussian random fields

abstract: We consider the optimal transport problem between zero mean Gaussian stationary random fields both in the aperiodic and periodic case. We show that the solution corresponds to a weighted Hellinger distance between the multivariate and multidimensional power spectral densities of the random fields. Then, we show that such a distance defines a geodesic, which depends on the weight function, on the manifold of the multivariate and multidimensional power spectral densities.


title: Signatures of Recent Cosmic-Ray Acceleration in the High-Latitude $\gamma$-Ray Sky

abstract: Cosmic-ray (CR) sources temporarily enhance the relativistic particle density in their vicinity over the background distribution accumulated from the Galaxy-wide past injection activity and propagation. If individual sources are close enough to the solar system, their localised enhancements may present as features in the measured spectra of the CRs and in the associated secondary electromagnetic emissions. Large scale loop like structures visible in the radio sky are possible signatures of such nearby CR sources. If so, these loops may also have counterparts in the high-latitude $\gamma$-ray sky. Using $\sim$10 years of data from the Fermi Large Area Telescope, applying Bayesian analysis including Gaussian Processes, we search for extended enhanced emission associated with putative nearby CR sources in the energy range from 1 GeV to 1 TeV for the sky region $|b| > 30^\circ$. We carefully control the systematic uncertainty due to imperfect knowledge of the interstellar gas distribution. Radio Loop~IV is identified for the first time as a $\gamma$-ray emitter and we also find significant emission from Loop~I. Strong evidence is found for asymmetric features about the Galactic $l = 0^\circ$ meridian that may be associated with parts of the so-called "Fermi Bubbles", and some evidence is also found for $\gamma$-ray emission from other radio loops. Implications for the CRs producing the features and possible locations of the sources of the emissions are discussed.


title: Heegaard Floer homology and plane curves with non-cuspidal singularities

abstract: We study possible configurations of singular points occuring on general algebraic curves in $\mathbb{C}P^2$ via Floer theory. To achieve this, we describe a general formula for the $H_{1}$-action on the knot Floer complex of the knotification of a link in $S^3$, in terms of natural actions on the link Floer complex of the original link. This result may be interest on its own.


title: Hybrid Approach for 3D Head Reconstruction: Using Neural Networks and Visual Geometry

abstract: Recovering the 3D geometric structure of a face from a single input image is a challenging active research area in computer vision. In this paper, we present a novel method for reconstructing 3D heads from a single or multiple image(s) using a hybrid approach based on deep learning and geometric techniques. We propose an encoder-decoder network based on the U-net architecture and trained on synthetic data only. It predicts both pixel-wise normal vectors and landmarks maps from a single input photo. Landmarks are used for the pose computation and the initialization of the optimization problem, which, in turn, reconstructs the 3D head geometry by using a parametric morphable model and normal vector fields. State-of-the-art results are achieved through qualitative and quantitative evaluation tests on both single and multi-view settings. Despite the fact that the model was trained only on synthetic data, it successfully recovers 3D geometry and precise poses for real-world images.


title: Magnetically induced polarization in centrosymmetric bonds

abstract: We reveal the microscopic origin of electric polarization $\vec{P}$ induced by noncollinear magnetic order. We show that in Mott insulators, such $\vec{P}$ is given by all possible combinations of position operators $\hat{\vec{r}}_{ij} = (\vec{r}_{ij}^{\, 0},\vec{\boldsymbol{r}}_{ij}^{\phantom{0}})$ and transfer integrals $\hat{t}_{ij} = (t_{ij}^{0},\boldsymbol{t}_{ij}^{\phantom{0}})$ in the bonds, where $\vec{r}_{ij}^{\, 0}$ and $t_{ij}^{0}$ are spin-independent contributions in the basis of Kramers doublet states, while $\vec{\boldsymbol{r}}_{ij}^{\phantom{0}}$ and $\boldsymbol{t}_{ij}^{\phantom{0}}$ stem solely from the spin-orbit interaction. Among them, the combination $t_{ij}^{0} \vec{\boldsymbol{r}}_{ij}^{\phantom{0}}$, which couples to the spin current, remains finite in the centrosymmetric bonds, thus yielding finite $\vec{P}$ in the case of noncollinear arrangement of spins. The form of the magnetoelectric coupling, which is controlled by $\vec{\boldsymbol{r}}_{ij}^{\phantom{0}}$, appears to be rich and is not limited to the phenomenological law $\vec{P} \sim \boldsymbol{\epsilon}_{ij} \times [\boldsymbol{e}_{i} \times \boldsymbol{e}_{j}]$ with $\boldsymbol{\epsilon}_{ij}$ being the bond vector connecting the spins $\boldsymbol{e}_{i}$ and $\boldsymbol{e}_{j}$. Using density-functional theory, we illustrate how the proposed mechanism work in the spiral magnets CuCl$_2$, CuBr$_2$, CuO, and $\alpha$-Li$_2$IrO$_3$, providing consistent explanation to available experimental data.


title: A Note on Connecting Barlow Twins with Negative-Sample-Free Contrastive Learning

abstract: In this report, we relate the algorithmic design of Barlow Twins' method to the Hilbert-Schmidt Independence Criterion (HSIC), thus establishing it as a contrastive learning approach that is free of negative samples. Through this perspective, we argue that Barlow Twins (and thus the class of negative-sample-free contrastive learning methods) suggests a possibility to bridge the two major families of self-supervised learning philosophies: non-contrastive and contrastive approaches. In particular, Barlow twins exemplified how we could combine the best practices of both worlds: avoiding the need of large training batch size and negative sample pairing (like non-contrastive methods) and avoiding symmetry-breaking network designs (like contrastive methods).


title: Individual Differences Limit Predicting Well-being and Productivity Using Software Repositories: A Longitudinal Industrial Study

abstract: Reports of poor work well-being and fluctuating productivity in software engineering have been reported in both academic and popular sources. Understanding and predicting these issues through repository analysis might help manage software developers' well-being. Our objective is to link data from software repositories, that is commit activity, communication, expressed sentiments, and job events, with measures of well-being obtained with a daily experience sampling questionnaire. To achieve our objective, we studied a single software project team for eight months in the software industry. Additionally, we performed semi-structured interviews to explain our results. The acquired quantitative data are analyzed with generalized linear mixed-effects models with autocorrelation structure. We find that individual variance accounts for most of the $R^2$ values in models predicting developers' experienced well-being and productivity. In other words, using software repository variables to predict developers' well-being or productivity is challenging due to individual differences. Prediction models developed for each developer individually work better, with fixed effects $R^2$ value of up to 0.24. The semi-structured interviews give insights into the well-being of software developers and the benefits of chat interaction. Our study suggests that individualized prediction models are needed for well-being and productivity prediction in software development.


title: The Algonauts Project 2021 Challenge: How the Human Brain Makes Sense of a World in Motion

abstract: The sciences of natural and artificial intelligence are fundamentally connected. Brain-inspired human-engineered AI are now the standard for predicting human brain responses during vision, and conversely, the brain continues to inspire invention in AI. To promote even deeper connections between these fields, we here release the 2021 edition of the Algonauts Project Challenge: How the Human Brain Makes Sense of a World in Motion (http://algonauts.csail.mit.edu/). We provide whole-brain fMRI responses recorded while 10 human participants viewed a rich set of over 1,000 short video clips depicting everyday events. The goal of the challenge is to accurately predict brain responses to these video clips. The format of our challenge ensures rapid development, makes results directly comparable and transparent, and is open to all. In this way it facilitates interdisciplinary collaboration towards a common goal of understanding visual intelligence. The 2021 Algonauts Project is conducted in collaboration with the Cognitive Computational Neuroscience (CCN) conference.


title: PyTorchDIA: A flexible, GPU-accelerated numerical approach to Difference Image Analysis

abstract: We present a GPU-accelerated numerical approach for fast kernel and differential background solutions. The model image proposed in the Bramich (2008) difference image analysis algorithm is analogous to a very simple Convolutional Neural Network (CNN), with a single convolutional filter (i.e. the kernel) and an added scalar bias (i.e. the differential background). Here, we do not solve for the discrete pixel array in the classical, analytical linear least-squares sense. Instead, by making use of PyTorch tensors (GPU compatible multi-dimensional matrices) and associated deep learning tools, we solve for the kernel via an inherently massively parallel optimisation. By casting the Difference Image Analysis (DIA) problem as a GPU-accelerated optimisation which utilises automatic differentiation tools, our algorithm is both flexible to the choice of scalar objective function, and can perform DIA on astronomical data sets at least an order of magnitude faster than its classical analogue. More generally, we demonstrate that tools developed for machine learning can be used to address generic data analysis and modelling problems.


title: A note on relative homological epimorphisms of topological algebras

abstract: We give several characterizations of relative homological epimorphisms in the setting of locally convex topological algebras, thereby correcting a gap in our earlier paper [Trans. Moscow Math. Soc. 2008, 27-104].


title: Ultra-broadband mid-infrared emission from Pr$^{3+}$/Dy$^{3+}$ co-doped selenide-chalcogenide glass fiber spectrally shaped by varying the pumping arrangement

abstract: In this contribution, a comprehensive experimental study of photoluminescence from Pr3+/Dy3+ co-doped selenide-chalcogenide multimode fiber samples is discussed. The selenide-chalcogenide multimode fiber samples co-doped with 500 ppm of Pr3+ ions and 500 ppm of Dy3+ ions are prepared using conventional melt-quenching. The main objective of the study is the analysis of the pumping wavelength selection on the shape of the output spectrum. For this purpose, the Pr3+/Dy3+ co-doped selenide-chalcogenide multimode fiber samples are illuminated at one end using pump lasers operating at the wavelengths of 1320 nm , 1511 nm and 1700 nm. The results obtained show that the Pr3+/Dy3+ ion co-doped selenide-chalcogenide multimode fiber emits photoluminescence spanning from 2000 nm to 6000 nm. Also it is demonstrated that, by varying the output power and wavelength of the pump sources, the spectral shape of the emitted luminescence can be modified to either reduce or enhance the contribution of radiation within a particular wavelength band. The presented results confirm that Pr3+/Dy3+ co-doped selenide-chalcogenide multimode fiber is a good candidate for the realization of broadband spontaneous emission fiber sources with shaped output spectrum for the mid-infrared wavelength region.


title: Graph Decoupling Attention Markov Networks for Semi-supervised Graph Node Classification

abstract: Graph neural networks (GNN) have been ubiquitous in graph node classification tasks. Most of GNN methods update the node embedding iteratively by aggregating its neighbors' information. However, they often suffer from negative disturbance, due to edges connecting nodes with different labels. One approach to alleviate this negative disturbance is to use attention to learn the weights of aggregation, but current attention-based GNNs only consider feature similarity and also suffer from the lack of supervision. In this paper, we consider the label dependency of graph nodes and propose a decoupling attention mechanism to learn both hard and soft attention. The hard attention is learned on labels for a refined graph structure with fewer inter-class edges, so that the aggregation's negative disturbance can be reduced. The soft attention aims to learn the aggregation weights based on features over the refined graph structure to enhance information gains during message passing. Particularly, we formulate our model under the EM framework, and the learned attention is used to guide the label propagation in the M-step and the feature propagation in the E-step, respectively. Extensive experiments are performed on six well-known benchmark graph datasets to verify the effectiveness of the proposed method.


title: Remarks on random walks on graphs and the Floyd boundary

abstract: We show that for a uniformly irreducible random walk on a graph, with bounded range, there is a Floyd function for which the random walk converges to its corresponding Floyd boundary. Moreover if we add the assumptions, $p^{(n)}(v,w)\leq C \rho^n$, where $\rho < 1$ is the spectral radius, then for any Floyd function $f$ that satisfies $\sum_{n=1}^{\infty}nf(n)<\infty$, the Dirichlet problem with respect to the Floyd boundary is solvable.


title: Nonclassical Attack on a Quantum KeyDistribution System

abstract: The article is focused on research of an attack on the quantum key distribution system and proposes a countermeasure method. Particularly noteworthy is that this is not a classic attack on a quantum protocol. We describe an attack on the process of calibration. Results of the research show that quantum key distribution systems have vulnerabilities not only in the protocols, but also in other vital system components. The described type of attack does not affect the cryptographic strength of the received keys and does not point to the vulnerability of the quantum key distribution protocol. We also propose a method for autocompensating optical communication system development, which protects synchronization from unauthorized access. The proposed method is based on the use of sync pulses attenuated to a photon level in the process of detecting a time interval with a signal. The paper presents the results of experimental studies that show the discrepancies between the theoretical and real parameters of the system. The obtained data allow the length of the quantum channel to be calculated with high accuracy.


title: Optimal Cooperative Driving at Signal-Free Intersections with Polynomial-Time Complexity

abstract: Cooperative driving at signal-free intersections, which aims to improve driving safety and efficiency for connected and automated vehicles, has attracted increasing interest in recent years. However, existing cooperative driving strategies either suffer from computational complexity or cannot guarantee global optimality. To fill this research gap, this paper proposes an optimal and computationally efficient cooperative driving strategy with the polynomial-time complexity. By modeling the conflict relations among the vehicles, the solution space of the cooperative driving problem is completely represented by a newly designed small-size state space. Then, based on dynamic programming, the globally optimal solution can be searched inside the state space efficiently. It is proved that the proposed strategy can reduce the time complexity of computation from exponential to a small-degree polynomial. Simulation results further demonstrate that the proposed strategy can obtain the globally optimal solution within a limited computation time under various traffic demand settings.


title: Beyond freeze-in: Dark Matter via inverse phase transition and gravitational wave signal

abstract: We propose a novel scenario of Dark Matter production naturally connected with generation of gravitational waves. Dark Matter is modelled as a real scalar, which interacts with the hot primordial plasma through a portal coupling to another scalar field. For a particular sign of the coupling, this system exhibits an inverse second order phase transition. The latter leads to an abundant Dark Matter production, even if the portal interaction is so weak that the freeze-in mechanism is inefficient. The model predicts domain wall formation in the Universe, long time before the inverse phase transition. These domain walls have a tension decreasing with time, and completely disappear at the inverse phase transition, so that the problem of overclosing the Universe is avoided. The domain wall network emits gravitational waves with characteristics defined by those of Dark Matter. In particular, the peak frequency of gravitational waves is determined by the portal coupling constant, and falls in the observable range for currently planned gravitational wave detectors.


title: From Slater to Mott physics: epitaxial engineering of electronic correlations in oxide interfaces

abstract: Using spin-assisted ab-initio random structure searches, we explore an exhaustive quantum phase diagram of archetypal interfaced Mott insulators, i.e. lanthanum-iron and lanthanum-titanium oxides. In particular, we report that the charge transfer induced by the interfacial electronic reconstruction stabilises a high spin ferrous Fe2+ state. We provide a pathway to control the strength of correlation in this electronic state by tuning the epitaxial strain, yielding a manifold of quantum electronic phases, i.e. Mott-Hubbard, charge transfer and Slater insulating states. Furthermore we report that the electronic correlations are closely related to the structural oxygen octahedral rotations, whose control is able to stabilise the low spin state of Fe2+ at low pressure previously observed only under the extreme high pressure conditions in the Earth's lower mantle. Thus we provide avenues for magnetic switching via THz radiations which have crucial implications for next generation of spintronics technologies.


title: Structural transformation and magnetic properties of (Fe$_{0.7}$Co$_{0.3}$)$_2$B alloys doped with 5$d$ elements: A combined first-principles and experimental study

abstract: (Fe,Co)$_2$B-based compounds with specified 5$d$ substitutions are considered as promising materials for permanent magnets without rare-earth elements. We conducted a combined first-principles and experimental study focused on (Fe$_{0.7}$Co$_{0.3}$)$_2$B alloys doped with W and Re. First, we used full-potential local-orbital scheme to systematically investigate (Fe,Co)$_2$B alloys with 3$d$, 4$d$, and 5$d$ substitutions. Computational analyses showed a significant increase in magnetocrystalline anisotropy only for the Re doped sample. Simultaneously, the structural and magnetic properties of the (Fe$_{0.7-x}$Co$_{0.3-x}$M$_{2x}$)$_2$B ($M$ = W, Re; $x$ = 0, 0.025) alloys were investigated experimentally. The desired (Fe,Co)$_2$B tetragonal phase was synthesized by heat treatment of amorphous precursors. We observed that isothermal annealing increases the coercive field of all samples. However, the obtained values, without further optimization, are well below the threshold for permanent magnet applications. Nevertheless, annealing of substituted samples at 750$^o$C significantly improves saturation magnetization values. Furthermore, M\"{o}ssbauer spectroscopy revealed a reduction of the hyperfine field due to the presence of Co atoms in the (Fe,Co)$_2$B phase, where additional defect positions are formed by Re and W. Radio-frequency M\"{o}ssbauer studies showed that (Fe$_{0.7}$Co$_{0.3}$)$_2$B and the W-substituted sample began to crystallize when exposed to an radio frequency field of 12 Oe, indicating that the amorphous phase is stabilized by Re substitution. Improvement of thermal stability of (Fe$_{0.675}$Co$_{0.275}$Re$_{0.05}$)$_2$B alloy is consistent with the results of differential scanning calorimetry and thermomagnetic measurements.