title: Quantifying Modal Thermal Conductivity in Amorphous Silicon

abstract: While there are several methods, e.g., anharmonic lattice dynamics and normal mode decomposition, to compute the modal lattice vibrational information in perfect crystals, the modal information of vibrations, e.g., vibrational relaxation time, group velocity and mean free path, in amorphous solids are still challenge to be captured. By systematically analyzing the normal mode decomposition and structure factor methods, we conclude that the vibrational dispersion can be calculated by applying effective wave vectors in the structure factor method, while the vibrational relaxation time calculated by the normal mode decomposition method is questionable since the group velocity cannot be defined on the Gamma point. We also show that the anharmonicity caused by the system temperature has little effect on the relaxation times of the propagating modes in amorphous materials, and therefore, the corresponding modal and total thermal conductivity is temperature independent when all the vibrations are assumed to be excited. The non-propagating modes, i.e., diffusons, conduct heat via thermal coupling between different vibrational modes, and can be calculated by harmonic lattice dynamics using Allen-Feldman theory. As a result, the thermal conductivity contributed from diffusons is also temperature independent when all the vibrational modes are activated which is the situation in molecular dynamics simulations. The total thermal conductivity concerning both propagons (50%) and diffusons (50%) agree quite well with the results computed using Green-Kubo equilibrium molecular dynamics. By correcting the excitation state of the vibrations in amorphous solids, the thermal conductivity calculated by the structure factor method and Allen-Feldman theory can fully capture the experimentally measured temperature-dependent thermal conductivity.


title: Lane-Change Initiation and Planning Approach for Highly Automated Driving on Freeways

abstract: Quantifying and encoding occupants' preferences as an objective function for the tactical decision making of autonomous vehicles is a challenging task. This paper presents a low-complexity approach for lane-change initiation and planning to facilitate highly automated driving on freeways. Conditions under which human drivers find different manoeuvres desirable are learned from naturalistic driving data, eliminating the need for an engineered objective function and incorporation of expert knowledge in form of rules. Motion planning is formulated as a finite-horizon optimisation problem with safety constraints. It is shown that the decision model can replicate human drivers' discretionary lane-change decisions with up to 92% accuracy. Further proof of concept simulation of an overtaking manoeuvre is shown, whereby the actions of the simulated vehicle are logged while the dynamic environment evolves as per ground truth data recordings.


title: Superpixel Based Graph Laplacian Regularization for Sparse Hyperspectral Unmixing

abstract: An efficient spatial regularization method using superpixel segmentation and graph Laplacian regularization is proposed for sparse hyperspectral unmixing method. Since it is likely to find spectrally similar pixels in a homogeneous region, we use a superpixel segmentation algorithm to extract the homogeneous regions by considering the image boundaries. We first extract the homogeneous regions, which are called superpixels, then a weighted graph in each superpixel is constructed by selecting $K$-nearest pixels in each superpixel. Each node in the graph represents the spectrum of a pixel and edges connect the similar pixels inside the superpixel. The spatial similarity is investigated using graph Laplacian regularization. Sparsity regularization for abundance matrix is provided using a weighted sparsity promoting norm. Experimental results on simulated and real data sets show the superiority of the proposed algorithm over the well-known algorithms in the literature.


title: Simultaneous diagonalization via congruence of Hermitian matrices: some equivalent conditions and a numerical solution

abstract: This paper aims at solving the Hermitian SDC problem, i.e., that of \textit{simultaneously diagonalizing via $*$-congruence} a collection of finitely many (not need pairwise commute) Hermitian matrices. Theoretically, we provide some equivalent conditions for that such a matrix collection can be simultaneously diagonalized via $^*$-congruence.% by a nonsingular matrix. Interestingly, one of such conditions leads to the existence of a positive definite solution to a semidefinite program (SDP). From practical point of view, we propose an algorithm for numerically solving such problem. The proposed algorithm is a combination of (1) a positive semidefinite program detecting whether the initial Hermitian matrices are simultaneously diagonalizable via $*$-congruence, and (2) a Jacobi-like algorithm for simultaneously diagonalizing via $*$-congruence the commuting normal matrices derived from the previous stage. Illustrating examples by hand/coding in \textsc{Matlab} are also presented.


title: Risk-Averse MPC via Visual-Inertial Input and Recurrent Networks for Online Collision Avoidance

abstract: In this paper, we propose an online path planning architecture that extends the model predictive control (MPC) formulation to consider future location uncertainties for safer navigation through cluttered environments. Our algorithm combines an object detection pipeline with a recurrent neural network (RNN) which infers the covariance of state estimates through each step of our MPC's finite time horizon. The RNN model is trained on a dataset that comprises of robot and landmark poses generated from camera images and inertial measurement unit (IMU) readings via a state-of-the-art visual-inertial odometry framework. To detect and extract object locations for avoidance, we use a custom-trained convolutional neural network model in conjunction with a feature extractor to retrieve 3D centroid and radii boundaries of nearby obstacles. The robustness of our methods is validated on complex quadruped robot dynamics and can be generally applied to most robotic platforms, demonstrating autonomous behaviors that can plan fast and collision-free paths towards a goal point.


title: A 3D Non-Stationary GBSM for Vehicular Visible Light Communication MISO Channels

abstract: The potential of using visible light communication (VLC) technologies for vehicular communication networks has recently attracted much attention. The underlying VLC channels, as a foundation for the proper design and optimization of vehicular VLC communication systems, have not yet been sufficiently investigated. Vehicular VLC link impairments can have a significant impact on the system performance and capacity. Such impairments include the optical wireless channel distortion and background noise. This paper proposes a novel three-dimensional (3D) regular-shaped geometry-based stochastic model (RS-GBSM) for vehicular VLC multiple-input single-output (MISO) channels. The proposed 3D RS-GBSM combines a two-sphere model and an elliptic-cylinder model. Both the line-of-sight (LoS) and single-bounced (SB) components are considered. The proposed model jointly considers the azimuth and elevation angles by using von-Mises-Fisher (VMF) distribution. Based on the proposed model, the relationship between the communication range and the received optical power is analyzed and validated by simulations. The impact of the elevation angle in the 3D model on the received optical power is investigated by comparing with the received optical power of the corresponding two-dimensional (2D) model. Furthermore, the background noise is also modeled to evaluate the system's signal-to-noise ratio (SNR).


title: Logarithmic Prismatic Cohomology I

abstract: We introduce a logarithmic variant of the notion of $\delta$-rings, which we call $\delta_{\log}$-rings, and use it to define a logarithmic version of the prismatic site introduced by Bhatt and Scholze. In particular, this enables us to construct the Breuil-Kisin cohomology in the semistable case.


title: A Process Mining Software Comparison

abstract: www.processmining-software.com is a dedicated website for process mining software comparison and was developed to give practitioners and researchers an overview of commercial tools available on the market. Based on literature review and experimental tool testing, a set of criteria was developed in order to assess the tools' functional capabilities in an objective manner. With our publicly accessible website, we intend to increase the transparency of tool functionality. Being an academic endeavour, the non-commercial nature of the study ensures a less biased assessment as compared with reports from analyst firms.


title: Ejection of close-in super-Earths around low-mass stars in the giant impact stage

abstract: Earth-sized planets were observed in close-in orbits around M dwarfs. While more and more planets are expected to be uncovered around M dwarfs, theories of their formation and dynamical evolution are still in their infancy. We investigate the giant impact growth of protoplanets, which includes strong scattering around low-mass stars. The aim is to clarify whether strong scattering around low-mass stars affects the orbital and mass distributions of the planets. We perform $N$-body simulation of protoplanets by systematically surveying the parameter space of the stellar mass and surface density of protoplanets. We find that protoplanets are often ejected after twice or three times close-scattering around late M dwarfs. The ejection sets the upper limit of the largest planet mass. Adopting the surface density scaling linearly with the stellar mass, we find that as the stellar mass decreases less massive planets are formed in orbits with higher eccentricities and inclinations. Under this scaling, we also find that a few close-in protoplanets are generally ejected. The ejection of protoplanets plays an important role in the mass distribution of super-Earths around late M dwarfs. The mass relation of observed close-in super-Earths and their central star mass is well reproduced by ejection.


title: Test of the universality of $\tau$ and $\mu$ lepton couplings in $W$-boson decays from $t\bar{t}$ events with the ATLAS detector

abstract: The Standard Model of particle physics encapsulates our current best understanding of physics at the smallest scales. A fundamental axiom of this theory is the universality of the couplings of the different generations of leptons to the electroweak gauge bosons. The measurement of the ratio of the rate of decay of $W$ bosons to $\tau$-leptons and muons, $R(\tau/\mu) = B(W \to \tau \nu_\tau)/B(W \to \mu \nu_\mu)$, constitutes an important test of this axiom. A measurement of this quantity with a novel technique using di-leptonic $t\bar{t}$ events is presented based on 139 fb${}^{-1}$ of data recorded with the ATLAS detector in proton--proton collisions at $\sqrt{s}=13$ TeV. Muons originating from $W$ bosons and those originating from an intermediate $\tau$-lepton are distinguished using the lifetime of the $\tau$-lepton, through the muon transverse impact parameter, and differences in the muon transverse momentum spectra. The value of $R(\tau/\mu)$ is found to be $0.992 \pm 0.013 [\pm 0.007 (stat) \pm 0.011 (syst)]$ and is in agreement with the hypothesis of universal lepton couplings as postulated in the Standard Model. This is the most precise measurement of this ratio, and the only such measurement from the Large Hadron Collider, to date.


title: The non-linear Cousin problem for $J$-holomorphic maps

abstract: We solve the non-linear Cousin problem for $J$-holomorphic maps. That is, we provide a gluing method for the pseudoholomorphic maps defined on a Cartan pair of domains in $\mathbb{C}$.


title: Derivation of Information-Theoretically Optimal Adversarial Attacks with Applications to Robust Machine Learning

abstract: We consider the theoretical problem of designing an optimal adversarial attack on a decision system that maximally degrades the achievable performance of the system as measured by the mutual information between the degraded signal and the label of interest. This problem is motivated by the existence of adversarial examples for machine learning classifiers. By adopting an information theoretic perspective, we seek to identify conditions under which adversarial vulnerability is unavoidable i.e. even optimally designed classifiers will be vulnerable to small adversarial perturbations. We present derivations of the optimal adversarial attacks for discrete and continuous signals of interest, i.e., finding the optimal perturbation distributions to minimize the mutual information between the degraded signal and a signal following a continuous or discrete distribution. In addition, we show that it is much harder to achieve adversarial attacks for minimizing mutual information when multiple redundant copies of the input signal are available. This provides additional support to the recently proposed ``feature compression" hypothesis as an explanation for the adversarial vulnerability of deep learning classifiers. We also report on results from computational experiments to illustrate our theoretical results.


title: Fields of definition of elliptic fibrations on covers of certain extremal rational elliptic surfaces

abstract: We study K3 surfaces over a number field $k$ which are double covers of extremal rational elliptic surfaces. We provide a list of all elliptic fibrations on certain K3 surfaces together with the degree of a field extension over which each genus one fibration is defined and admits a section. We show that the latter depends, in general, on the action of the cover involution on the fibers of the genus 1 fibration.


title: Polyadic Quantum Classifier

abstract: We introduce here a supervised quantum machine learning algorithm for multi-class classification on NISQ architectures. A parametric quantum circuit is trained to output a specific bit string corresponding to the class of the input datapoint. We train and test it on an IBMq 5-qubit quantum computer and the algorithm shows good accuracy --compared to a classical machine learning model-- for ternary classification of the Iris dataset and an extension of the XOR problem. Furthermore, we evaluate with simulations how the algorithm fares for a binary and a quaternary classification on resp. a known binary dataset and a synthetic dataset.


title: The Tractability of SHAP-Score-Based Explanations over Deterministic and Decomposable Boolean Circuits

abstract: Scores based on Shapley values are widely used for providing explanations to classification results over machine learning models. A prime example of this is the influential SHAP-score, a version of the Shapley value that can help explain the result of a learned model on a specific entity by assigning a score to every feature. While in general computing Shapley values is a computationally intractable problem, it has recently been claimed that the SHAP-score can be computed in polynomial time over the class of decision trees. In this paper, we provide a proof of a stronger result over Boolean models: the SHAP-score can be computed in polynomial time over deterministic and decomposable Boolean circuits. Such circuits, also known as tractable Boolean circuits, generalize a wide range of Boolean circuits and binary decision diagrams classes, including binary decision trees, Ordered Binary Decision Diagrams (OBDDs) and Free Binary Decision Diagrams (FBDDs). We also establish the computational limits of the notion of SHAP-score by observing that, under a mild condition, computing it over a class of Boolean models is always polynomially as hard as the model counting problem for that class. This implies that both determinism and decomposability are essential properties for the circuits that we consider, as removing one or the other renders the problem of computing the SHAP-score intractable (namely, #P-hard).


title: Quantum mechanical modeling of anharmonic phonon-phonon scattering in nanostructures

abstract: The coherent quantum effect becomes increasingly important in the heat dissipation bottleneck of semiconductor nanoelectronics with the characteristic size shrinking down to few nano-meters scale nowadays. However, the quantum mechanical model remains elusive for anharmonic phonon-phonon scattering in extremely small nanostructures with broken translational symmetry. It is a long-term challenging task to correctly simulate quantum heat transport including anharmonic scattering at a scale relevant to practical applications. In this article, we present a clarified theoretical formulation of anharmonic phonon non-equilibrium Green function (NEGF) formalism for both 1D and 3D nanostructures, through a diagrammatic perturbation expansion and an introduction of Fourier representation to both harmonic and anharmonic terms. A parallelized computational framework with first-principle force constants input is developed for large-scale quantum heat transport simulation. Some crucial approximations in numerical implementation are investigated to ensure the balance between numerical accuracy and efficiency. A quantitative validation is demonstrated for the anharmonic phonon NEGF formalism and computational framework by modeling cross-plane heat transport through silicon thin film. The phonon-phonon scattering is shown to be appreciable and to introduce about 20% reduction of thermal conductivity at room temperature even for a film thickness around 10 nm. The present methodology provides a robust platform for the device quantum thermal modeling, as well as the study on the transition from coherent to incoherent heat transport in nano-phononic crystals. This work thus paves the way to understand and to manipulate heat conduction via the wave nature of phonons.


title: Good Practice Guide on the electrical characterization of graphene using non-contact and high-throughput methods

abstract: The electrical characterisation of graphene, either in plane sheets or in properly geometrised form can be approached using non-contact methods already employed for thin film materials. The extraordinary thinness (and, correspondingly, the volume) of graphene, however, makes the proper application of these methods difficult. The electrical properties of interest (sheet electrical resistivity/conductivity, concentration and mobility of charge carriers) must be indirectly derived from the measurement outcome by geometrical and electrical modelling; the assumptions behind such models (e.g., uniformity and isotropy, effective value of the applied fields, etc.) require careful consideration. The traceability of the measurement to the International System of units and a proper expression of measurement uncertainty is an issue. This guide focuses on non-contact and high-throughput methods, that are methods where the graphene sample surface is not physically contacted with any metallic electrodes at any stage. A companion guide about contact methods is also available. The methods discussed are: - Measurement of surface potential and work function using Scanning Kelvin Probe Microscopy (SKPM); - Measurement of sheet resistance by Microwave Resonant Cavity; - Measurement of sheet resistance by Terahertz time-domain spectroscopy (THz-TDS); For each method, a corresponding measurement protocol is discussed, which describes: - The measurement principle; - Sample requirements and preparation; - A description of the measurement equipment / apparatus; - Calibration standards and ways to achieve a traceable measurement;


title: Additional close links between balancing and Lucas-balancing polynomials

abstract: Using generating functions, we derive many identities involving balancing and Lucas-balancing polynomials. By relating these polynomials to Chebyshev polynomials of the first and second kind, and Fibonacci and Lucas numbers, we offer some presumably new combinatorial identities involving these famous sequences.


title: Automated Unit Test Generation for Python

abstract: Automated unit test generation is an established research field, and mature test generation tools exist for statically typed programming languages such as Java. It is, however, substantially more difficult to automatically generate supportive tests for dynamically typed programming languages such as Python, due to the lack of type information and the dynamic nature of the language. In this paper, we describe a foray into the problem of unit test generation for dynamically typed languages. We introduce Pynguin, an automated unit test generation framework for Python. Using Pynguin, we aim to empirically shed light on two central questions: (1) Do well-established search-based test generation methods, previously evaluated only on statically typed languages, generalise to dynamically typed languages? (2) What is the influence of incomplete type information and dynamic typing on the problem of automated test generation? Our experiments confirm that evolutionary algorithms can outperform random test generation also in the context of Python, and can even alleviate the problem of absent type information to some degree. However, our results demonstrate that dynamic typing nevertheless poses a fundamental issue for test generation, suggesting future work on integrating type inference.


title: Toward Zero-Shot Unsupervised Image-to-Image Translation

abstract: Recent studies have shown remarkable success in unsupervised image-to-image translation. However, if there has no access to enough images in target classes, learning a mapping from source classes to the target classes always suffers from mode collapse, which limits the application of the existing methods. In this work, we propose a zero-shot unsupervised image-to-image translation framework to address this limitation, by associating categories with their side information like attributes. To generalize the translator to previous unseen classes, we introduce two strategies for exploiting the space spanned by the semantic attributes. Specifically, we propose to preserve semantic relations to the visual space and expand attribute space by utilizing attribute vectors of unseen classes, thus encourage the translator to explore the modes of unseen classes. Quantitative and qualitative results on different datasets demonstrate the effectiveness of our proposed approach. Moreover, we demonstrate that our framework can be applied to many tasks, such as zero-shot classification and fashion design.


title: Fully manipulate the power intensity pattern in a large space-time digital metasurface: from arbitrary multibeam generation to harmonic beam steering scheme

abstract: Beyond the scope of space-coding metasurfaces, space-time digital metasurfaces can substantially expand the application scope of digital metamaterials in which simultaneous manipulation of electromagnetic waves in both space and frequency domains would be feasible. In this paper, by adopting a superposition operation of terms with unequal coefficient, Huygens principle, and a proper time-varying biasing mechanism, some useful closed-form formulas in the class of large digital metasurfaces were presented for predicting the absolute directivity of scatted beams. Moreover, in the harmonic beam steering scheme, by applying several suitable assumptions, we have derived two separate expressions for calculating the exact total radiated power at harmonic frequencies and total radiated power for scattered beams located at the end-fire direction. Despite the simplifying assumptions we have applied, we have proved that the provided formulas can still be a good and fast estimate for developing a large digital metasurface with a predetermined power intensity pattern. The effect of quantization level and metasurface dimensions on the performance of power manipulating as well as the limitation on the maximum scan angle in harmonic beam steering have been addressed. Several demonstrative examples numerically demonstrated through MATLAB software and the good agreement between simulations and theoretical predictions have been observed. By considering the introduced restrictions in the manuscript, this method can be implemented in any desired frequency just by employing phase-only meta-particles as physical coding elements. The author believes that the proposed straightforward approach discloses a new opportunity for various applications such as multiple-target radar systems and THz communication.


title: Multioutput Gaussian Processes with Functional Data: A Study on Coastal Flood Hazard Assessment

abstract: Surrogate models are often used to replace costly-to-evaluate complex coastal codes to achieve substantial computational savings. In many of those models, the hydrometeorological forcing conditions (inputs) or flood events (outputs) are conveniently parameterized by scalar representations, neglecting that the inputs are actually time series and that floods propagate spatially inland. Both facts are crucial in flood prediction for complex coastal systems. Our aim is to establish a surrogate model that accounts for time-varying inputs and provides information on spatially varying inland flooding. We introduce a multioutput Gaussian process model based on a separable kernel that correlates both functional inputs and spatial locations. Efficient implementations consider tensor-structured computations or sparse-variational approximations. In several experiments, we demonstrate the versatility of the model for both learning maps and inferring unobserved maps, numerically showing the convergence of predictions as the number of learning maps increases. We assess our framework in a coastal flood prediction application. Predictions are obtained with small error values within computation time highly compatible with short-term forecast requirements (on the order of minutes compared to the days required by hydrodynamic simulators). We conclude that our framework is a promising approach for forecast and early-warning systems.


title: Thermomechanical Assessment of Breast Tumor Subjected to Focused Ultrasound and Interstitial Laser Heating

abstract: During laser and ultrasound thermotherapy it is always desirable to have a precise necrosis of deeply seated tumor preserving the adjoining healthy tissue with minimum thermally induced nociceptive pain sensation to the patient. The aim of the present study is to determine the effects of nanoparticle mixed tissues under pulsed and continuous heating during high intensity focused ultrasound (HIFU) and laser interstitial thermal therapy (LITT). The present problem incorporating the tissue thermal relaxation times ( ) was solved in a 3-dimensional multilayered vasculature breast tumor model signifying the complex inhomogeneous tissue structure. The coupled Radiative transfer, Helmontz, momentum, dual phase lag (DPL) and equilibrium equations for optic, acoustic, fluid, temperature and mechanical fields respectively were solved simultaneously using COMSOL Multiphysics (Bangalore, India) software. An in-vitro study on agar based tissue phantom was also performed to validate the present numerical results of focused ultrasound heating. The thermal relaxation times of tissue causes significant changes of thermal and damage history under focused ultrasound heating compared to unfocused laser heating. With limited rise in tissue temperature, the pulsed mode of heating for longer period with lower duty cycle (16.6%) shows a target specific necrotic damage with reduced nociceptive pain in contrast to continuous mode of heating. Further, the presence of nanoparticles and multilevel artery and vein affect both the thermal and mechanical response under external heating. Thus, the present findings could help to understand the role of different external heating modes and sources on tumor necrosis during clinical practice of thermo-therapy.


title: Synoptic solar observations of the Solar Flare Telescope focusing on space weather

abstract: The solar group at the National Astronomical Observatory of Japan is conducting synoptic solar observations with the Solar Flare Telescope. While it is a part of a long-term solar monitoring, contributing to the study of solar dynamo governing solar activity cycles, it is also an attempt at contributing to space weather research. The observations include imaging with filters for H$\alpha$, Ca K, G-band, and continuum, and spectropolarimetry at the wavelength bands including the He I 1083.0 nm / Si I 1082.7 nm and the Fe I 1564.8 nm lines. Data for the brightness, Doppler signal, and magnetic field information of the photosphere and the chromosphere are obtained. In addition to monitoring dynamic phenomena like flares and filament eruptions, we can track the evolution of the magnetic fields that drive them on the basis of these data. Furthermore, the magnetic field in solar filaments, which develops into a part of the interplanetary magnetic cloud after their eruption and occasionally hits the Earth, can be inferred in its pre-eruption configuration. Such observations beyond mere classical monitoring of the Sun will hereafter become crucially important from the viewpoint of the prediction of space weather phenomena. The current synoptic observations with the Solar Flare Telescope is considered to be a pioneering one for future synoptic observations of the Sun with advanced instruments.


title: Real-Time Neural Network Scheduling of Emergency Medical Mask Production during COVID-19

abstract: During the outbreak of the novel coronavirus pneumonia (COVID-19), there is a huge demand for medical masks. A mask manufacturer often receives a large amount of orders that are beyond its capability. Therefore, it is of critical importance for the manufacturer to schedule mask production tasks as efficiently as possible. However, existing scheduling methods typically require a considerable amount of computational resources and, therefore, cannot effectively cope with the surge of orders. In this paper, we propose an end-to-end neural network for scheduling real-time production tasks. The neural network takes a sequence of production tasks as inputs to predict a distribution over different schedules, employs reinforcement learning to optimize network parameters using the negative total tardiness as the reward signal, and finally produces a high-quality solution to the scheduling problem. We applied the proposed approach to schedule emergency production tasks for a medical mask manufacturer during the peak of COVID-19 in China. Computational results show that the neural network scheduler can solve problem instances with hundreds of tasks within seconds. The objective function value (i.e., the total weighted tardiness) produced by the neural network scheduler is significantly better than those of existing constructive heuristics, and is very close to those of the state-of-the-art metaheuristics whose computational time is unaffordable in practice.


title: Two-size Probability-Changing Cluster Algorithm

abstract: We propose a self-adapted Monte Carlo approach to automatically determine the critical temperature by simulating two systems with different sizes at the same temperature. The temperature is increased or decreased by checking the short-time average of the correlation ratios of the two system sizes. The critical temperature is achieved using the negative feedback mechanism, and the thermal average near the critical temperature can be calculated precisely. The proposed approach is a general method to treat second-order phase transition, first-order phase transition, and Berezinskii-Kosterlitz-Thouless transition on the equal footing.


title: On the singularities of the discrete Korteweg-deVries equation

abstract: We study the structure of singularities in the discrete Korteweg-deVries (d-KdV) equation. Four different types of singularities are identified. The first type corresponds to localised, `confined', singularities, the confinement constraints for which provide the integrability conditions for generalisations of d-KdV. Two other types of singularities are of infinite extent and consist of oblique lines of infinities, possibly alternating with lines of zeros. The fourth type of singularity corresponds to horizontal strips where the product of the values on vertically adjacent points is equal to 1. (A vertical version of this singularity with product equal to $-1$ on horizontally adjacent sites also exists). Due to its orientation this singularity can, in fact, interact with the other types. This leads to an extremely rich structure for the singularities of d-KdV, which is studied in detail in this paper. Given the important role played by the fourth type of singularity we decided to give it a special name: taishi (the origin of which is explained in the text). The taishi do not exist for nonintegrable extensions of d-KdV, which explains the relative paucity of singularity structures in the nonintegrable case: the second and third type of singularities that correspond to oblique lines still exist and the localised singularities of the integrable case now become unconfined, leading to semi-infinite lines of infinities alternating with zeros.


title: Measurement of the Spin Absorption Anisotropy in Lateral Spin Valves

abstract: The spin absorption process in a ferromagnetic material depends on the spin orientation relativelyto the magnetization. Using a ferromagnet to absorb the pure spin current created within a lateralspin-valve, we evidence and quantify a sizeable orientation dependence of the spin absorption inCo, CoFe and NiFe. These experiments allow determining the spin-mixing conductance, an elusivebut fundamental parameter of the spin-dependent transport. We show that the obtained valuescannot be understood within a model considering only the Larmor, transverse decoherence and spindiffusion lengths, and rather suggest that the spin-mixing conductance is actually limited by theSharvin conductance.


title: Modeling the spread of fake news on Twitter

abstract: Fake news can have a significant negative impact on society because of the growing use of mobile devices and the worldwide increase in Internet access. It is therefore essential to develop a simple mathematical model to understand the online dissemination of fake news. In this study, we propose a point process model of the spread of fake news on Twitter. The proposed model describes the spread of a fake news item as a two-stage process: initially, fake news spreads as a piece of ordinary news; then, when most users start recognizing the falsity of the news item, that itself spreads as another news story. We validate this model using two datasets of fake news items spread on Twitter. We show that the proposed model is superior to the current state-of-the-art methods in accurately predicting the evolution of the spread of a fake news item. Moreover, a text analysis suggests that our model appropriately infers the correction time, i.e., the moment when Twitter users start realizing the falsity of the news item. The proposed model contributes to understanding the dynamics of the spread of fake news on social media. Its ability to extract a compact representation of the spreading pattern could be useful in the detection and mitigation of fake news.


title: Spin and charge distributions in Graphene/Nickel (111) substrate under Rashba spin-orbital coupling

abstract: To understand the coupling factor between Rashba spin-orbital interaction and ferromagnetic proximity effect, we design a Monte Carlo algorithm to simulate the spin and charge distributions for the room-temperature Rashba material, Graphene/Nickel(111) substrate, at finite temperature. We observe that the rate of exchange fluctuation is a key player to produce giant Rashba spin-orbit splitting in graphene. More importantly, we monitor the Rashba spin-splitting phenomenon where the spin-polarized electrons may be escaped from two opposite edges upon heating. However, the escaped electrons show Gaussian-like distribution in interior area that is important for spintronic engineers to optimize the efficiency of spin-state detection. In addition, we investigate if our Monte Carlo model can explain why room-temperature Rashba effect is observed in Graphene/Nickel(111) substrate experimentally. All results are presented in physical units.


title: Quantitative maximal volume entropy rigidity on Alexandrov spaces

abstract: We will show that the quantitative maximal volume entropy rigidity holds on Alexandrov spaces. More precisely, given $N, D$, there exists $\epsilon(N, D)>0$, such that for $\epsilon<\epsilon(N, D)$, if $X$ is an $N$-dimensional Alexandrov space with curvature $\geq -1$, $\operatorname{diam}(X)\leq D, h(X)\geq N-1-\epsilon$, then $X$ is Gromov-Hausdorff close to a hyperbolic manifold. This result extends the quantitive maximal volume entropy rigidity of \cite{CRX} to Alexandrov spaces. And we will also give a quantitative maximal volume entropy rigidity for $\op{RCD}^*$-spaces in the non-collapsing case.


title: Big Bird: Transformers for Longer Sequences

abstract: Transformers-based models, such as BERT, have been one of the most successful deep learning models for NLP. Unfortunately, one of their core limitations is the quadratic dependency (mainly in terms of memory) on the sequence length due to their full attention mechanism. To remedy this, we propose, BigBird, a sparse attention mechanism that reduces this quadratic dependency to linear. We show that BigBird is a universal approximator of sequence functions and is Turing complete, thereby preserving these properties of the quadratic, full attention model. Along the way, our theoretical analysis reveals some of the benefits of having $O(1)$ global tokens (such as CLS), that attend to the entire sequence as part of the sparse attention mechanism. The proposed sparse attention can handle sequences of length up to 8x of what was previously possible using similar hardware. As a consequence of the capability to handle longer context, BigBird drastically improves performance on various NLP tasks such as question answering and summarization. We also propose novel applications to genomics data.


title: Clones of Compatible Operations on Rings Z_{p^k}}

abstract: We investigate the lattice I(n) of clones on the ring Z_n between the clone of polynomial functions and the clone of congruence preserving functions. The crucial case is when n is a prime power. For a prime p, the lattice I(p) is trivial and I(p^2) is known to be a 2-element lattice. We provide a description of I(p^3). To achieve this result, we prove a reduction theorem, which says that I(p^k) is isomorphic to a certain interval in the lattice of clones on Z_p^(k-1).


title: Steady state characterization and frequency synchronization of a multi-converter power system on high-order manifolds

abstract: We investigate the stability properties of a multi-converter power system model, defined on a high-order manifold. For this, we identify its symmetry (i.e., rotational invariance) generated by a static angle shift and rotation of AC signals. We characterize the steady state set, primarily determined by the steady state angles and DC power input. Based on eigenvalue conditions of its Jacobian matrix, we show asymptotic stability of the multi-converter system in a neighborhood of the synchronous steady state set by applying the center manifold theory. We guarantee the eigenvalue conditions via an explicit approach. Finally, we demonstrate our results based on a numerical example involving a network of identical DC/AC converter systems.


title: Correlation between COVID-19 morbidity and mortality rates in Japan and local population density, temperature and absolute humidity

abstract: This study analyzed the morbidity and mortality rates of the COVID-19 pandemic in different prefectures of Japan. Under the constraint that daily maximum confirmed deaths and daily maximum cases should exceed 4 and 10, respectively, 14 prefectures were included, and cofactors affecting the morbidity and mortality rates were evaluated. In particular, the number of confirmed deaths was assessed excluding the cases of nosocomial infections and nursing home patients. A mild correlation was observed between morbidity rate and population density (R2=0.394). In addition, the percentage of the elderly per population was also found to be non-negligible. Among weather parameters, the maximum temperature and absolute humidity averaged over the duration were found to be in modest correlation with the morbidity and mortality rates, excluding the cases of nosocomial infections. The lower morbidity and mortality are observed for higher temperature and absolute humidity. Multivariate analysis considering these factors showed that determination coefficients for the spread, decay, and combined stages were 0.708, 0.785, and 0.615, respectively. These findings could be useful for intervention planning during future pandemics, including a potential second COVID-19 outbreak.


title: Structural, electronic, elastic, power and transport properties of $\beta$-Ga$_2$O$_3$ from first-principles

abstract: We investigate the structural, electronic, vibrational, power and transport properties of the $\beta$ allotrope of Ga$_2$O$_3$ from first-principles. We find phonon frequencies and elastic constants that reproduce the correct band ordering, in agreement with experiment. We use the Boltzmann transport equation to compute the intrinsic electron and hole drift mobility and obtain a room temperature values of 258 cm$^2$/Vs and 1.2 cm$^2$/Vs, respectively as well as 6300 cm$^2$/Vs and 13 cm$^2$/Vs at 100 K. Through a spectral decomposition of the scattering contribution to the inverse mobility, we find that multiple longitudinal optical modes of B$_u$ symmetry are responsible for the electron mobility of $\beta$- Ga$_2$O$_3$ but that many acoustic modes also contributes, making it essential to include all scattering processes in the calculations. Using the von Hippel low energy criterion we computed the breakdown field to be 5.8 MV/cm at room temperature yielding a Baliga's figure of merit of 1250 with respect to silicon, ideal for high-power electronics. This work presents a general framework to predictively investigate novel high-power electronic materials.


title: Solitons of the midpoint mapping and affine curvature

abstract: For a polygon $x=(x_j)_{j\in \mathbb{Z}}$ in $\mathbb{R}^n$ we consider the midpoints polygon $(M(x))_j=\left(x_j+x_{j+1}\right)/2\,.$ We call a polygon a soliton of the midpoints mapping $M$ if its midpoints polygon is the image of the polygon under an invertible affine map. We show that a large class of these polygons lie on an orbit of a one-parameter subgroup of the affine group acting on $\mathbb{R}^n.$ These smooth curves are also characterized as solutions of the differential equation $\dot{c}(t)=Bc (t)+d$ for a matrix $B$ and a vector $d.$ For $n=2$ these curves are curves of constant generalized-affine curvature $k_{ga}=k_{ga}(B)$ depending on $B$ parametrized by generalized-affine arc length unless they are parametrizations of a parabola, an ellipse, or a hyperbola.


title: Nonconforming finite element Stokes complexes in three dimensions

abstract: Two nonconforming finite element Stokes complexes starting from the conforming Lagrange element and ending with the nonconforming $P_1$-$P_0$ element for the Stokes equation in three dimensions are constructed. And commutative diagrams are also shown by combining nonconforming finite element Stokes complexes and interpolation operators. The lower order $\boldsymbol H(\textrm{grad}\textrm{curl})$-nonconforming finite element only has $14$ degrees of freedom, whose basis functions are explicitly given in terms of the barycentric coordinates. The $\boldsymbol H(\textrm{grad}\textrm{curl})$-nonconforming elements are applied to solve the quad-curl problem, and optimal convergence is derived. By the nonconforming finite element Stokes complexes, the mixed finite element methods of the quad-curl problem are decoupled into two mixed methods of the Maxwell equation and the nonconforming $P_1$-$P_0$ element method for the Stokes equation, based on which a fast solver is discussed. Numerical results are provided to verify the theoretical convergence rates.


title: Convergence of the Kiefer-Wolfowitz algorithm in the presence of discontinuities

abstract: In this paper we estimate the expected error of a stochastic approximation algorithm where the maximum of a function is found using finite differences of a stochastic representation of that function. An error estimate of $O(n^{-1/5})$ for the $n$th iteration is achieved using suitable parameters. The novelty with respect to previous studies is that we allow the stochastic representation to be discontinuous and to consist of possibly dependent random variables (satisfying a mixing condition).


title: Anomaly detection in Context-aware Feature Models

abstract: Feature Models are a mechanism to organize the configuration space and facilitate the construction of software variants by describing configuration options using features, i.e., a name representing a functionality. The development of Feature Models is an error prone activity and detecting their anomalies is a challenging and important task needed to promote their usage. Recently, Feature Models have been extended with context to capture the correlation of configuration options with contextual influences and user customizations. Unfortunately, this extension makes the task of detecting anomalies harder. In this paper, we formalize the anomaly analysis in Context-aware Feature Models and we show how Quantified Boolean Formula (QBF) solvers can be used to detect anomalies without relying on iterative calls to a SAT solver. By extending the reconfigurator engine HyVarRec, we present findings evidencing that QBF solvers can outperform the common techniques for anomaly analysis.


title: Emotion Correlation Mining Through Deep Learning Models on Natural Language Text

abstract: Emotion analysis has been attracting researchers' attention. Most previous works in the artificial intelligence field focus on recognizing emotion rather than mining the reason why emotions are not or wrongly recognized. Correlation among emotions contributes to the failure of emotion recognition. In this paper, we try to fill the gap between emotion recognition and emotion correlation mining through natural language text from web news. Correlation among emotions, expressed as the confusion and evolution of emotion, is primarily caused by human emotion cognitive bias. To mine emotion correlation from emotion recognition through text, three kinds of features and two deep neural network models are presented. The emotion confusion law is extracted through orthogonal basis. The emotion evolution law is evaluated from three perspectives, one-step shift, limited-step shifts, and shortest path transfer. The method is validated using three datasets-the titles, the bodies, and the comments of news articles, covering both objective and subjective texts in varying lengths (long and short). The experimental results show that, in subjective comments, emotions are easily mistaken as anger. Comments tend to arouse emotion circulations of love-anger and sadness-anger. In objective news, it is easy to recognize text emotion as love and cause fear-joy circulation. That means, journalists may try to attract attention using fear and joy words but arouse the emotion love instead; After news release, netizens generate emotional comments to express their intense emotions, i.e., anger, sadness, and love. These findings could provide insights for applications regarding affective interaction such as network public sentiment, social media communication, and human-computer interaction.


title: Simplified model on the timing of easing the lockdown

abstract: Lockdown procedures have been proven successful in mitigating the spread of the viruses in this COVID-19 pandemic, but they also have devastating impact on the economy. We use a modified Susceptible-Infectious-Recovered-Deceased model with time dependent infection rate to simulate how the infection is spread under lockdown. The economic cost due to the loss of workforce and incurred medical expenses is evaluated with a simple model. We find the best strategy, meaning the smallest economic cost for the entire course of the pandemic, is to keep the strict lockdown as long as possible.


title: Observability inequalities for degenerate transport equations

abstract: In this paper we prove an observability inequality for a degenerate transport equation. First we introduce a local in time Carleman estimate for the degenerate equation, then we apply it to obtain a global in time observability inequality by using also an energy estimate.


title: Preparation of Sentiment tagged Parallel Corpus and Testing its effect on Machine Translation

abstract: In the current work, we explore the enrichment in the machine translation output when the training parallel corpus is augmented with the introduction of sentiment analysis. The paper discusses the preparation of the same sentiment tagged English-Bengali parallel corpus. The preparation of raw parallel corpus, sentiment analysis of the sentences and the training of a Character Based Neural Machine Translation model using the same has been discussed extensively in this paper. The output of the translation model has been compared with a base-line translation model using automated metrics such as BLEU and TER as well as manually.


title: Formal Fields: A Framework to Automate Code Generation Across Domains

abstract: Code generation, defined as automatically writing a piece of code to solve a given problem for which an evaluation function exists, is a classic hard AI problem. Its general form, writing code using a general language used by human programmers from scratch is thought to be impractical. Adding constraints to the code grammar, implementing domain specific concepts as primitives and providing examples for the algorithm to learn, makes it practical. Formal fields is a framework to do code generation across domains using the same algorithms and language structure. Its ultimate goal is not just solving different narrow problems, but providing necessary abstractions to integrate many working solutions as a single lifelong reasoning system. It provides a common grammar to define: a domain language, a problem and its evaluation. The framework learns from examples of code snippets about the structure of the domain language and searches completely new code snippets to solve unseen problems in the same field. Formal fields abstract the search algorithm away from the problem. The search algorithm is taken from existing reinforcement learning algorithms. In our implementation it is an apropos Monte-Carlo Tree Search (MCTS). We have implemented formal fields as a fully documented open source project applied to the Abstract Reasoning Challenge (ARC). The implementation found code snippets solving twenty two previously unsolved ARC problems.


title: Experimental realization of phase-controlled dynamics with hybrid digital-analog approach

abstract: Quantum simulation can be implemented in pure digital or analog ways, each with their pros and cons. By taking advantage of the universality of a digital route and the efficiency of analog simulation, hybrid digital-analog approaches can enrich the possibilities for quantum simulation. We use a unique hybrid approach to experimentally perform a quantum simulation of phase-controlled dynamics resulting from a closed-contour interaction (CCI) within certain multi-level systems in superconducting quantum circuits. Due to symmetry constraints, such systems cannot host an inherent CCI. Nevertheless, by assembling analog modules corresponding to their natural evolutions and specially designed digital modules constructed from standard quantum logic gates, we can bypass such constraints and realize an effective CCI in these systems. Based on this realization, we demonstrate a variety of related and interesting phenomena, including phase-controlled chiral dynamics, separation of chiral enantiomers, and a new mechanism to generate entangled states based on CCI.


title: High-Order Phase Reduction for Coupled Oscillators

abstract: We explore the phase reduction in networks of coupled oscillators in the higher orders of the coupling parameter. For coupled Stuart-Landau oscillators, where the phase can be introduced explicitly, we develop an analytic perturbation procedure to allow for the obtaining of the higher-order approximation explicitly. We demonstrate this by deriving the second-order phase equations for a network of three Stuart-Landau oscillators. For systems where explicit expressions of the phase are not available, we present a numerical procedure that constructs the phase dynamics equations for a small network of coupled units. We apply this approach to a network of three van der Pol oscillators and reveal components in the coupling with different scaling in the interaction strength.


title: Clustering Brain Signals: A Robust Approach Using Functional Data Ranking

abstract: In this paper, we analyze electroencephalograms (EEG) which are recordings of brain electrical activity. We develop new clustering methods for identifying synchronized brain regions, where the EEGs show similar oscillations or waveforms according to their spectral densities. We treat the estimated spectral densities from many epochs or trials as functional data and develop clustering algorithms based on functional data ranking. The two proposed clustering algorithms use different dissimilarity measures: distance of the functional medians and the area of the central region. The performance of the proposed algorithms is examined by simulation studies. We show that, when contaminations are present, the proposed methods for clustering spectral densities are more robust than the mean-based methods. The developed methods are applied to two stages of resting state EEG data from a male college student, corresponding to early exploration of functional connectivity in the human brain.


title: Data-Driven Learning of Reduced-order Dynamics for a Parametrized Shallow Water Equation

abstract: This paper discusses a non-intrusive data-driven model order reduction method that learns low-dimensional dynamical models for a parametrized shallow water equation. We consider the shallow water equation in non-traditional form (NTSWE). We focus on learning low-dimensional models in a non-intrusive way. That means, we assume not to have access to a discretized form of the NTSWE in any form. Instead, we have snapshots that are obtained using a black-box solver. Consequently, we aim at learning reduced-order models only from the snapshots. Precisely, a reduced-order model is learnt by solving an appropriate least-squares optimization problem in a low-dimensional subspace. Furthermore, we discuss computational challenges that particularly arise from the optimization problem being ill-conditioned. Moreover, we extend the non-intrusive model order reduction framework to a parametric case where we make use of the parameter dependency at the level of the partial differential equation. We illustrate the efficiency of the proposed non-intrusive method to construct reduced-order models for NTSWE and compare it with an intrusive method (proper orthogonal decomposition). We furthermore discuss the predictive capabilities of both models outside the range of the training data.


title: A set of efficient methods to generate high-dimensional binary data with specified correlation structures

abstract: High dimensional correlated binary data arise in many areas, such as observed genetic variations in biomedical research. Data simulation can help researchers evaluate efficiency and explore properties of different computational and statistical methods. Also, some statistical methods, such as Monte-Carlo methods, rely on data simulation. Lunn and Davies (1998) proposed linear time complexity methods to generate correlated binary variables with three common correlation structures. However, it is infeasible to specify unequal probabilities in their methods. In this manuscript, we introduce several computationally efficient algorithms that generate high-dimensional binary data with specified correlation structures and unequal probabilities. Our algorithms have linear time complexity with respect to the dimension for three commonly studied correlation structures, namely exchangeable, decaying-product and K-dependent correlation structures. In addition, we extend our algorithms to generate binary data of general non-negative correlation matrices with quadratic time complexity. We provide an R package, CorBin, to implement our simulation methods. Compared to the existing packages for binary data generation, the time cost to generate a 100-dimensional binary vector with the common correlation structures and general correlation matrices can be reduced up to $10^5$ folds and $10^3$ folds, respectively, and the efficiency can be further improved with the increase of dimensions. The R package CorBin is available on CRAN at https://cran.r-project.org/.


title: The turnpike with lack of observability

abstract: We obtain turnpike results for optimal control problems with lack of stabilizability in the state equation and/or detectability in the state term in the cost functional. We show how, under weakened stabilizability/detectability conditions, terminal conditions may affect turnpike phenomena. Numerical simulations have been performed to illustrate the theoretical results.


title: UNIPoint: Universally Approximating Point Processes Intensities

abstract: Point processes are a useful mathematical tool for describing events over time, and so there are many recent approaches for representing and learning them. One notable open question is how to precisely describe the flexibility of point process models and whether there exists a general model that can represent all point processes. Our work bridges this gap. Focusing on the widely used event intensity function representation of point processes, we provide a proof that a class of learnable functions can universally approximate any valid intensity function. The proof connects the well known Stone-Weierstrass Theorem for function approximation, the uniform density of non-negative continuous functions using a transfer functions, the formulation of the parameters of a piece-wise continuous functions as a dynamic system, and a recurrent neural network implementation for capturing the dynamics. Using these insights, we design and implement UNIPoint, a novel neural point process model, using recurrent neural networks to parameterise sums of basis function upon each event. Evaluations on synthetic and real world datasets show that this simpler representation performs better than Hawkes process variants and more complex neural network-based approaches. We expect this result will provide a practical basis for selecting and tuning models, as well as furthering theoretical work on representational complexity and learnability.


title: Universal Fake News Collection System using Debunking Tweets

abstract: Large numbers of people use Social Networking Services (SNS) for easy access to various news, but they have more opportunities to obtain and share ``fake news'' carrying false information. Partially to combat fake news, several fact-checking sites such as Snopes and PolitiFact have been founded. Nevertheless, these sites rely on time-consuming and labor-intensive tasks. Moreover, their available languages are not extensive. To address these difficulties, we propose a new fake news collection system based on rule-based (unsupervised) frameworks that can be extended easily for various languages. The system collects news with high probability of being fake by debunking tweets by users and presents event clusters gathering higher attention. Our system currently functions in two languages: English and Japanese. It shows event clusters, 65\% of which are actually fake. In future studies, it will be applied to other languages and will be published with a large fake news dataset.


title: Kalman Filter-based Head Motion Prediction for Cloud-based Mixed Reality

abstract: Volumetric video allows viewers to experience highly-realistic 3D content with six degrees of freedom in mixed reality (MR) environments. Rendering complex volumetric videos can require a prohibitively high amount of computational power for mobile devices. A promising technique to reduce the computational burden on mobile devices is to perform the rendering at a cloud server. However, cloud-based rendering systems suffer from an increased interaction (motion-to-photon) latency that may cause registration errors in MR environments. One way of reducing the effective latency is to predict the viewer's head pose and render the corresponding view from the volumetric video in advance. In this paper, we design a Kalman filter for head motion prediction in our cloud-based volumetric video streaming system. We analyze the performance of our approach using recorded head motion traces and compare its performance to an autoregression model for different prediction intervals (look-ahead times). Our results show that the Kalman filter can predict head orientations 0.5 degrees more accurately than the autoregression model for a look-ahead time of 60 ms.


title: Collective Spectral Density Estimation and Clustering for Spatially-Correlated Data

abstract: In this paper, we develop a method for estimating and clustering two-dimensional spectral density functions (2D-SDFs) for spatial data from multiple subregions. We use a common set of adaptive basis functions to explain the similarities among the 2D-SDFs in a low-dimensional space and estimate the basis coefficients by maximizing the Whittle likelihood with two penalties. We apply these penalties to impose the smoothness of the estimated 2D-SDFs and the spatial dependence of the spatially-correlated subregions. The proposed technique provides a score matrix, that is comprised of the estimated coefficients associated with the common set of basis functions representing the 2D-SDFs. {Instead of clustering the estimated SDFs directly, we propose to employ the score matrix for clustering purposes, taking advantage of its low-dimensional property.} In a simulation study, we demonstrate that our proposed method outperforms other competing estimation procedures used for clustering. Finally, to validate the described clustering method, we apply the procedure to soil moisture data from the Mississippi basin to produce homogeneous spatial clusters. We produce animations to dynamically show the estimation procedure, including the estimated 2D-SDFs and the score matrix, which provide an intuitive illustration of the proposed method.


title: Conservative regularization of neutral fluids and plasmas

abstract: Ideal systems of equations such as Euler and MHD may develop singular structures like shocks, vortex/current sheets. Among these, vortical singularities arise due to vortex stretching which can lead to unbounded growth of enstrophy. Viscosity and resistivity provide dissipative regularizations of these singularities. In analogy with the dispersive KdV regularization of the 1D inviscid Burgers' equation, we propose a local conservative regularization of ideal 3D compressible flows, MHD and 2-fluid plasmas (with potential applications to high vorticity flows with low dissipation). The regularization involves introducing a vortical `twirl' term lambda^2 w x curl w in the velocity equation. The cut-off length lambda must be inversely proportional to square root of density to ensure the conservation of a `swirl' energy. The latter includes positive kinetic, compressional, magnetic and vortical contributions, thus leading to a priori bounds on enstrophy. The extension to 2-fluid plasmas involves additionally magnetic `twirl' terms in the ion and electron velocity equations and a solenoidal addition to the current in Ampere's law. A Hamiltonian-Poisson bracket formulation is developed using the swirl energy as Hamiltonian. We also establish a minimality property of the twirl regularization. A swirl velocity field is shown to transport vortex and magnetic flux tubes as well as w/rho and B/rho, thus generalizing the Kelvin-Helmholtz and Alfven theorems. The steady regularized equations are used to model a rotating vortex, MHD pinch and vortex sheet. Our regularization could facilitate numerical simulations and a statistical treatment of vortex and current filaments in 3D. Finally, we briefly describe a conservative regularization of shock-like singularities in compressible flow generalizing both the KdV and nonlinear Schrodinger equations to the adiabatic dynamics of a gas in 3D.


title: Johnson Cook Flow Stress Parameter for Free Cutting Steel 50SiB8

abstract: The present documents deals with the material characterization of the free cutting steel 50SiB8 for numerical simulations. Quasi-static tensile tests as well as Split Hopkinson Tension Bar (SHTB) tests at various strain rates and temperatures are used to deduce the parameters for a Johnson-Cook flow stress model. These parameters are then verified against the SHTB-experiments within a finite element model (FEM) of the SHTB-test within ABAQUS.


title: Unit Groups of Group Algebras of Abelian Groups of order 32

abstract: Let $F$ be a finite field of characteristic $p>0$ with $q = p^{n}$ elements. In this paper, a complete characterization of the unit groups $U(FG)$ of group algebras $FG$ for the abelian groups of order $32$, over finite field of characteristic $p>0$ has been obtained.


title: Laser-plasma proton acceleration with a combined gas-foil target

abstract: Laser-plasma proton acceleration was investigated in the Target Normal Sheath Acceleration (TNSA) regime using a novel gas-foil target. The target is designed for reaching higher laser intensity at the foil plane owing to relativistic self-focusing and self compression of the pulse in the gas layer. Numerical 3D particle-in-cell (PIC) simulations were used to study pulse propagation in the gas, showing a nearly seven-fold increase in peak intensity. In the experiment, maximum proton energies showed high dependence on the energy transmission of the laser through the gas and a lesser dependence on the size and shape of the pulse. At high gas densities, laser energy depletion and pulse distortion suppressed proton energies. At low densities, self-focusing was observed and comparable or higher proton energies were measured with the gas.


title: Characteristic quantities for nonequilibrium Bose systems

abstract: The paper discusses what characteristic quantities could quantify nonequilibrium states of Bose systems. Among such quantities, the following are considered: effective temperature, Fresnel number, and Mach number. The suggested classification of nonequilibrium states is illustrated by studying a Bose-Einstein condensate in a shaken trap, where it is possible to distinguish eight different nonequilibrium states: weak nonequilibrium, vortex germs, vortex rings, vortex lines, deformed vortices, vortex turbulence, grain turbulence, and wave turbulence. Nonequilibrium states are created experimentally and modeled by solving the nonlinear Schr\"odinger equation.


title: Photon blockade in a double-cavity optomechanical system with nonreciprocal coupling

abstract: Photon blockade is an effective way to generate single photon, which is of great significance in quantum state preparation and quantum information processing. Here we investigate the statistical properties of photons in a double-cavity optomechanical system with nonreciprocal coupling, and explore the photon blockade in the weak and strong coupling regions respectively. To achieve the strong photon blockade, we give the optimal parameter relations under different blockade mechanisms. Moreover, we find that the photon blockades under their respective mechanisms exhibit completely different behaviors with the change of nonreciprocal coupling, and the perfect photon blockade can be achieved without an excessively large optomechanical coupling, i.e., the optomechanical coupling is much smaller than the mechanical frequency, which breaks the traditional cognition. Our proposal provides a feasible and flexible platform for the realization of single-photon source.


title: Counting Short Vector Pairs by Inner Product and Relations to the Permanent

abstract: Given as input two $n$-element sets $\mathcal A,\mathcal B\subseteq\{0,1\}^d$ with $d=c\log n\leq(\log n)^2/(\log\log n)^4$ and a target $t\in \{0,1,\ldots,d\}$, we show how to count the number of pairs $(x,y)\in \mathcal A\times \mathcal B$ with integer inner product $\langle x,y \rangle=t$ deterministically, in $n^2/2^{\Omega\bigl(\!\sqrt{\log n\log \log n/(c\log^2 c)}\bigr)}$ time. This demonstrates that one can solve this problem in deterministic subquadratic time almost up to $\log^2 n$ dimensions, nearly matching the dimension bound of a subquadratic randomized detection algorithm of Alman and Williams [FOCS 2015]. We also show how to modify their randomized algorithm to count the pairs w.h.p., to obtain a fast randomized algorithm. Our deterministic algorithm builds on a novel technique of reconstructing a function from sum-aggregates by prime residues, which can be seen as an {\em additive} analog of the Chinese Remainder Theorem. As our second contribution, we relate the fine-grained complexity of the task of counting of vector pairs by inner product to the task of computing a zero-one matrix permanent over the integers.


title: Terahertz Strong-Field Physics in Light-Emitting Diodes for Terahertz Detection and Imaging

abstract: Intense terahertz (THz) electromagnetic fields have been utilized to reveal a variety of extremely nonlinear optical effects in many materials through nonperturbative driving of elementary and collective excitations. However, such nonlinear photoresponses have not yet been discovered in light-emitting diodes (LEDs), letting alone employing them as fast, cost effective,compact, and room-temperature-operating THz detectors and cameras. Here we report ubiquitously available LEDs exhibited gigantic and fast photovoltaic signals with excellent signal-to-noise ratios when being illuminated by THz field strengths >50 kV/cm. We also successfully demonstrated THz-LED detectors and camera prototypes. These unorthodox THz detectors exhibited high responsivities (>1 kV/W) with response time shorter than those of pyroelectric detectors by four orders of magnitude. The detection mechanism was attributed to THz-field-induced nonlinear impact ionization and Schottky contact. These findings not only help deepen our understanding of strong THz field-matter interactions but also greatly contribute to the applications of strong-field THz diagnosis.


title: Optimized sideband cooling with initial system correlations in non-Markovian regime

abstract: An optimized sideband cooling in the presence of initial system correlations is investigated for a standard optomechanical system coupled to a general mechanical non-Markovian reservoir. We study the evolution of phonon number by incorporating the effects of initial correlations into the time-dependent coefficients in the Heisenberg equation. We introduce the concept of cooling rate and define an average phonon reduction function to describe the sideband cooling effect in non-Markovian regime. Our results show that the instantaneous phonon number can be significantly reduced by introducing either the parametric-amplification type or the beam-splitter type initial correlations. In addition, the ground state cooling rate can be accelerated by enhancing the initial correlation of beam-splitter type. By optimizing the initial state of the system and utilizing Q-modulation technology, a stable mechanical ground state can be obtained in a very short time. Our optimized cooling protocol provides an appealing platform for phonon manipulation and quantum information processing in solid-state systems.


title: Variationally Derived Intermediates for Correlated Free Energy Estimates between Intermediate States

abstract: Free energy difference calculations based on atomistic simulations generally improve in accuracy when sampling from a sequence of intermediate equilibrium thermodynamic states that bridge the configuration space between two states of interest. For reasons of efficiency, usually the same samples are used to calculate the step-wise difference of such an intermediate to both adjacent intermediates. However, this procedure violates the assumption of uncorrelated estimates that is necessary to derive both the optimal sequence of intermediate states and the widely used Bennett acceptance ratio (BAR) estimator. In this work, via a variational approach, we derive the sequence of intermediate states and the corresponding estimator with minimal mean squared error that account for these correlations and assess its accuracy.


title: Solution of the Size and Horizon Problems from Classical String Geometry

abstract: In a recent paper we developed a string cosmology background from classical string geometry. Here, we show that this background yields a solution to the size and horizon problems of Standard Big Bang cosmology while remaining compatible with the Transplanckian Censorship Conjecture. We also take a first look at the evolution of cosmological perturbations in this model.


title: Associating Uncertainty to Extended Poses for on Lie Group IMU Preintegration with Rotating Earth

abstract: The recently introduced matrix group SE2(3) provides a 5x5 matrix representation for the orientation, velocity and position of an object in the 3-D space, a triplet we call "extended pose". In this paper we build on this group to develop a theory to associate uncertainty with extended poses represented by 5x5 matrices. Our approach is particularly suited to describe how uncertainty propagates when the extended pose represents the state of an Inertial Measurement Unit (IMU). In particular it allows revisiting the theory of IMU preintegration on manifold and reaching a further theoretic level in this field. Exact preintegration formulas that account for rotating Earth, that is, centrifugal force and Coriolis force, are derived as a byproduct, and the factors are shown to be more accurate. The approach is validated through extensive simulations and applied to sensor-fusion where a loosely-coupled fixed-lag smoother fuses IMU and LiDAR on one hour long experiments using our experimental car. It shows how handling rotating Earth may be beneficial for long-term navigation within incremental smoothing algorithms.


title: Energy Efficiency and Hover Time Optimization in UAV-based HetNets

abstract: In this paper, we investigate the downlink performance of a three-tier heterogeneous network (HetNet). The objective is to enhance the edge capacity of a macro cell by deploying unmanned aerial vehicles (UAVs) as flying base stations and small cells (SCs) for improving the capacity of indoor users in scenarios such as temporary hotspot regions or during disaster situations where the terrestrial network is either insufficient or out of service. UAVs are energy-constrained devices with a limited flight time, therefore, we formulate a two layer optimization scheme, where we first optimize the power consumption of each tier for enhancing the system energy efficiency (EE) under a minimum quality-of-service (QoS) requirement, which is followed by optimizing the average hover time of UAVs. We obtain the solution to these nonlinear constrained optimization problems by first utilizing the Lagrange multipliers method and then implementing a sub-gradient approach for obtaining convergence. The results show that through optimal power allocation, the system EE improves significantly in comparison to when maximum power is allocated to users (ground cellular users or connected vehicles). The hover time optimization results in increased flight time of UAVs thus providing service for longer durations.


title: Proper vertex-pancyclicity of edge-colored complete graphs without joint monochromatic triangles

abstract: In an edge-colored graph $(G,c)$, let $d^c(v)$ denote the number of colors on the edges incident with a vertex $v$ of $G$ and $\delta^c(G)$ denote the minimum value of $d^c(v)$ over all vertices $v\in V(G)$. A cycle of $(G,c)$ is called proper if any two adjacent edges of the cycle have distinct colors. An edge-colored graph $(G,c)$ on $n\geq 3$ vertices is called properly vertex-pancyclic if each vertex of $(G,c)$ is contained in a proper cycle of length $\ell$ for every $\ell$ with $3 \le \ell \le n$. Fujita and Magnant conjectured that every edge-colored complete graph on $n\geq 3$ vertices with $\delta^c(G)\geq \frac{n+1}{2}$ is properly vertex-pancyclic. Chen, Huang and Yuan partially solve this conjecture by adding an extra condition that $(G,c)$ does not contain any monochromatic triangle. In this paper, we show that this conjecture is true if the edge-colored complete graph contain no joint monochromatic triangles.


title: Hexagon Ising-Kondo lattice: An implication for intrinsic antiferromagnetic topological insulator

abstract: Recently, the MnBi$_2$Te$_4$ material has been proposed as the first intrinsic antiferromagnetic topological insulator (AFMTI), where the interplay between magnetism and topology induces several fascinating topological phases, such as the quantum anomalous Hall effect, Majorana fermions, and axion electrodynamics. However, an exactly solvable model being capable to capture the essential physics of the interplay between magnetism and topology is still absent. Here, inspired by the the Ising-like nature [B. Li \textit{et al.} Phys. Rev. Lett. \textbf{124}, 167204 (2020)] and the topological property of MnBi$_2$Te$_4$, we propose a topological Ising-Kondo lattice (TIKL) model to study its ground state property in an analytical way at zero temperature. The resultant phase diagram includes rich topological and magnetic states, which emerge in the model proposed in a natural and consistent way for the intrinsic magnetic topological insulator. With Monte Carlo simulation, we extend the AFMTI ground state to finite temperature. It reveals that topological properties do sustain at high temperature, which even can be restored by elevated temperature at suitable correlation strength. The results demonstrate that TIKL may offer an insight for future experimental research, with which magnetism and transport properties could be fine tuned to achieve more stable and exotic magnetic topological quantum states.


title: Data Assimilation Method for Experimental and First-Principles Data: Finite-Temperature Magnetization of (Nd,Pr,La,Ce)$_{2}$(Fe,Co,Ni)$_{14}$B

abstract: We propose a data-assimilation method for evaluating the finite-temperature magnetization of a permanent magnet over a high-dimensional composition space. Based on a general framework for constructing a predictor from two data sets including missing values, a practical scheme for magnetic materials is formulated in which a small number of experimental data in limited composition space are integrated with a larger number of first-principles calculation data. We apply the scheme to (Nd$_{1-\alpha-\beta-\gamma}$Pr$_{\alpha}$La$_{\beta}$Ce$_{\gamma}$)$_{2}$(Fe$_{1-\delta-\zeta}$Co$_{\delta}$Ni$_{\zeta}$)$_{14}$B. The magnetization in the whole $(\alpha, \beta, \gamma, \delta, \zeta)$ space at arbitrary temperature is obtained. It is shown that the Co doping does not enhance the magnetization at low temperatures, whereas the magnetization increases with increasing $\delta$ above 320 K.


title: A wide survey for circumstellar disks in the Lupus complex

abstract: Previous star formation studies have, out of necessity, often defined a population of young stars confined to the proximity of a molecular cloud. Gaia allows us to examine a wider, three-dimensional structure of nearby star forming regions, leading to a new understanding of their history. We present a wide-area survey covering 494 square degrees of the Lupus complex, a prototypical low-mass star forming region. Our survey includes all known molecular clouds in this region as well as parts of the Upper Scorpius (US) and Upper Centaurus Lupus (UCL) groups of the Sco-Cen complex. We combine Gaia DR2 proper motions and parallaxes as well as ALLWISE mid-infrared photometry to select young stellar objects (YSOs) with disks. The YSO ages are inferred from Gaia color-magnitude diagrams, and their evolutionary stages from the slope of the spectral energy distributions. We find 98 new disk-bearing sources. Our new sample includes objects with ages ranging from 1 to 15 Myr and masses ranging from 0.05 to 0.5 solar masses , and consists of 56 sources with thick disks and 42 sources with anemic disks. While the youngest members are concentrated in the clouds and at distances of 160 pc, there is a distributed population of slightly older stars that overlap in proper motion, spatial distribution, distance, and age with the Lupus and UCL groups. The spatial and kinematic properties of the new disk-bearing YSOs indicate that Lupus and UCL are not distinct groups. Our new sample comprises some of the nearest disks to Earth at these ages, and thus provides an important target for follow-up studies of disks and accretion in very low mass stars, for example with ALMA and ESO-VLT X-Shooter.


title: A Deep Learning-based Detector for Brown Spot Disease in Passion Fruit Plant Leaves

abstract: Pests and diseases pose a key challenge to passion fruit farmers across Uganda and East Africa in general. They lead to loss of investment as yields reduce and losses increases. As the majority of the farmers, including passion fruit farmers, in the country are smallholder farmers from low-income households, they do not have the sufficient information and means to combat these challenges. While, passion fruits have the potential to improve the well-being of these farmers as they have a short maturity period and high market value , without the required knowledge about the health of their crops, farmers cannot intervene promptly to turn the situation around. For this work, we have partnered with the Uganda National Crop Research Institute (NaCRRI) to develop a dataset of expertly labelled passion fruit plant leaves and fruits, both diseased and healthy. We have made use of their extension service to collect images from 5 districts in Uganda, With the dataset in place, we are employing state-of-the-art techniques in machine learning, and specifically deep learning, techniques at scale for object detection and classification to correctly determine the health status of passion fruit plants and provide an accurate diagnosis for positive detections.This work focuses on two major diseases woodiness (viral) and brown spot (fungal) diseases.


title: On the Lie nilpotency index of modular group algebras

abstract: Let $KG$ be the modular group algebra of an arbitrary group $G$ over a field $K$ of characteristic $p>0$. It is seen that if $KG$ is Lie nilpotent, then its lower as well as upper Lie nilpotency index is at least $p+1$. The classification of group algebras $KG$ with upper Lie nilpotency index $t^{L}(KG)$ upto $9p-7$ have already been determined. In this paper, we classify the modular group algebra $KG$ for which the upper Lie nilpotency index is $10p-8$.


title: Homogeneous Hermitian Holomorphic Vector Bundles And Operators In The Cowen-Douglas Class Over The Poly-disc

abstract: In this article, we obtain two sets of results. The first set of complete results are exclusively for the case of the bi-disc while the second set of results describe in part, which of these carry over to the general case of the poly-disc: * A classification of irreducible hermitian holomorphic vector bundles over $\mathbb{D}^2$, homogeneous with respect to $\mbox{M\"ob}\times \mbox{M\"ob}$, is obtained assuming that the associated representations are \textit{multiplicity-free}. Among these the ones that give rise to an operator in the Cowen-Douglas class of $\mathbb{D}^2$ of rank $1,2$ or $3$ is determined. * Any hermitian holomorphic vector bundle of rank $2$ over $\mathbb{D}^n$, homogeneous with respect to the $n$-fold product of the group $\mbox{M\"ob}$ is shown to be a tensor product of $n-1$ hermitian holomorphic line bundles, each of which is homogeneous with respect to $\mbox{M\"ob}$ and a hermitian holomorphic vector bundle of rank $2$, homogeneous with respect to $\mbox{M\"ob}$. * The classification of irreducible homogeneous hermitian holomorphic vector buldles over $\mathbb{D}^2$ of rank $3$ (as well as the corresponding Cowen-Douglas class of operators) is extended to the case of $\mathbb{D}^n$, $n>2$. * It is shown that there is no irreducible $n$ - tuple of operators in the Cowen-Douglas class $\mathrm B_2(\mathbb{D}^n)$ that is homogeneous with respect $\mbox{Aut}(\mathbb{D}^n)$, $n >1$. Also, pairs of operators in $\mathrm B_3(\mathbb{D}^2)$ homogeneous with respect to $\mbox{Aut}(\mathbb{D}^2)$ are produced, while it is shown that no $n$ - tuple of operators in $\mathrm B_3(\mathbb{D}^n)$ is homogeneous with respect to $\mbox{Aut}(\mathbb{D}^n)$, $n > 2$.


title: Linear Codes Of 2-Designs As Subcodes Of The Extended Generalized Reed-Muller Codes

abstract: This paper is concerned with the affine-invariant ternary codes which are defined by Hermitian functions. We compute the incidence matrices of 2-designs that are supported by the minimum weight codewords of these ternary codes. The linear codes generated by the rows of these incidence matrix are subcodes of the extended codes of the 4-th order generalized Reed-Muller codes and they also hold 2-designs. Finally, we give the dimensions and lower bound of the minimum weights of these linear codes.


title: Theory and simulation for equilibrium glassy dynamics in cellular Potts model of confluent biological tissue

abstract: Glassy dynamics in a confluent monolayer is indispensable in morphogenesis, wound healing, bronchial asthma, and many others; a detailed theoretical framework for such a system is, therefore, important. Vertex model (VM) simulations have provided crucial insights into the dynamics of such systems, but their nonequilibrium nature makes it difficult for theoretical development. Cellular Potts model (CPM) of confluent monolayer provides an alternative model for such systems with a well-defined equilibrium limit. We combine numerical simulations of CPM and an analytical study based on one of the most successful theories of equilibrium glass, the random first order transition theory, and develop a comprehensive theoretical framework for a confluent glassy system. We find that the glassy dynamics within CPM is qualitatively similar to that in VM. Our study elucidates the crucial role of geometric constraints in bringing about two distinct regimes in the dynamics, as the target perimeter $P_0$ is varied. The unusual sub-Arrhenius relaxation results from the distinctive interaction potential arising from the perimeter constraint in such systems. Fragility of the system decreases with increasing $P_0$ in the low-$P_0$ regime, whereas the dynamics is independent of $P_0$ in the other regime. The rigidity transition, found in VM, is absent within CPM; this difference seems to come from the nonequilibrium nature of the former. We show that CPM captures the basic phenomenology of glassy dynamics in a confluent biological system via comparison of our numerical results with existing experiments on different systems.


title: Elliptic quintics on cubic fourfolds, O'Grady 10, and Lagrangian fibrations

abstract: For a smooth cubic fourfold Y, we study the moduli space M of semistable objects of Mukai vector $2\lambda_1+2\lambda_2$ in the Kuznetsov component of Y. We show that with a certain choice of stability conditions, M admits a symplectic resolution $\tilde M$, which is a smooth projective hyperk\"ahler manifold, deformation equivalent to the 10-dimensional examples constructed by O'Grady. As applications, we show that a birational model of $\tilde M$ provides a hyperk\"ahler compactification of the twisted family of intermediate Jacobians associated to Y. This generalizes the previous result of Voisin arXiv:1611.06679 in the very general case. We also prove that $\tilde M$ is the MRC quotient of the main component of the Hilbert scheme of elliptic quintic curves in Y, confirming a conjecture of Castravet.


title: merlin: An R package for Mixed Effects Regression for Linear, Nonlinear and User-defined models

abstract: The R package merlin performs flexible joint modelling of hierarchical multi-outcome data. Increasingly, multiple longitudinal biomarker measurements, possibly censored time-to-event outcomes and baseline characteristics are available. However, there is limited software that allows all of this information to be incorporated into one model. In this paper, we present merlin which allows for the estimation of models with unlimited numbers of continuous, binary, count and time-to-event outcomes, with unlimited levels of nested random effects. A wide variety of link functions, including the expected value, the gradient and shared random effects, are available in order to link the different outcomes in a biologically plausible way. The accompanying predict.merlin function allows for individual and population level predictions to be made from even the most complex models. There is the option to specify user-defined families, making merlin ideal for methodological research. The flexibility of merlin is illustrated using an example in patients followed up after heart valve replacement, beginning with a linear model, and finishing with a joint multiple longitudinal and competing risks survival model.


title: WaveFuse: A Unified Deep Framework for Image Fusion with Discrete Wavelet Transform

abstract: We propose an unsupervised image fusion architecture for multiple application scenarios based on the combination of multi-scale discrete wavelet transform through regional energy and deep learning. To our best knowledge, this is the first time the conventional image fusion method has been combined with deep learning. The useful information of feature maps can be utilized adequately through multi-scale discrete wavelet transform in our proposed method.Compared with other state-of-the-art fusion method, the proposed algorithm exhibits better fusion performance in both subjective and objective evaluation. Moreover, it's worth mentioning that comparable fusion performance trained in COCO dataset can be obtained by training with a much smaller dataset with only hundreds of images chosen randomly from COCO. Hence, the training time is shortened substantially, leading to the improvement of the model's performance both in practicality and training efficiency.


title: Monadic second order limit laws for natural well orderings

abstract: By combining classical results of B\"uchi, some elementary Tauberian theorems and some basic tools from logic and combinatorics we show that every ordinal $\alpha$ with $\varepsilon_0\geq \alpha\geq \omega^\omega$ satisfies a natural monadic second order limit law and that every ordinal $\alpha$ with $\omega^\omega>\alpha\geq \omega$ satisfies a natural monadic second order Cesaro limit law. In both cases we identify as usual $\alpha$ with the class of substructures $\{\beta:\beta<\alpha\}$. We work in an additive setting where the norm function $N$ assigns to every ordinal $\alpha$ the number of occurrrences of the symbol $\omega$ in its Cantor normal form. This number is the same as the number of edges in the tree which is canonically associated with $\alpha$. For a given $\alpha$ with $\omega\leq \alpha\leq \varepsilon_0$ the asymptotic probability of a monadic second order formula $\varphi$ from the language of linear orders is $\lim_{n\to\infty} \frac{\#\{\beta<\alpha: N\beta=n\wedge \beta\models \Phi\}}{\#\{\beta<\alpha: N\beta=n\}}$ if this limit exists. If this limit exists only in the Cesaro sense we speak of the Cesaro asympotic probability of $\varphi$. Moreover we prove monadic second order limit laws for the ordinal segments below below $\Gamma_0$ (where the norm function is extended appropriately) and we indicate how this paper's results can be extended to larger ordinal segments and even to certain impredicative ordinal notation systems having notations for uncountable ordinals. We also briefly indicate how to prove the corresponding multiplicative results for which the setting is defined relative to the Matula coding. The results of this paper concerning ordinals not exceeding $\varepsilon_0$ have been obtained partly in joint work with Alan R. Woods.


title: Surjective homomorphisms from algebras of operators on long sequence spaces are automatically injective

abstract: We study automatic injectivity of surjective algebra homomorphisms from $\mathscr{B}(X)$, the algebra of (bounded, linear) operators on $X$, to $\mathscr{B}(Y)$, where $X$ is one of the following \emph{long} sequence spaces: $c_0(\lambda)$, $\ell_{\infty}^c(\lambda)$, and $\ell_p(\lambda)$ ($1 \leqslant p < \infty$) and $Y$ is arbitrary. \textit{En route} to the proof that these spaces do indeed enjoy such a property, we classify two-sided ideals of the algebra of operators of any of the aforementioned Banach spaces that are closed with respect to the `sequential strong operator topology'.


title: Chiral Spin Spirals at the Surface of the van der Waals Ferromagnet Fe$_3$GeTe$_2$

abstract: Topologically protected magnetic structures provide a robust platform for low power consumption devices for computation and data storage. Examples of these structures are skyrmions, chiral domain walls, and spin spirals. Here we use scanning electron microscopy with polarization analysis to unveil the presence of chiral counterclockwise N\'eel spin spirals at the surface of a bulk van der Waals ferromagnet Fe$_3$GeTe$_2$ (FGT), at zero magnetic field. These N\'eel spin spirals survive up to FGT's Curie temperature $T_\mathrm{C}= 220 \mathrm{~K}$, with little change in the periodicity $p=300 \mathrm{~nm}$ of the spin spiral throughout the studied temperature range. The formation of a spin spiral showing counterclockwise rotation strongly suggests the presence of a positive Dzyaloshinskii-Moriya interaction in FGT, which provides the first steps towards the understanding of the magnetic structure of FGT. Our results additionally pave the way for chiral magnetism in van der Waals materials and their heterostructures.


title: HYREC-2: a highly accurate sub-millisecond recombination code

abstract: We present the new recombination code HYREC-2, holding the same accuracy as the state-of-the-art codes HYREC and COSMOREC and, at the same time, surpassing the computational speed of the code RECFAST commonly used for CMB-anisotropy data analyses. HYREC-2 is based on an effective 4-level atom model, accounting exactly for the non-equilibrium of highly excited states of hydrogen, and very accurately for radiative transfer effects with a correction to the Lyman-$\alpha$ escape rate. The latter is computed with the original HYREC, and tabulated, as a function of temperature, along with its derivatives with respect to the relevant cosmological parameters. This enables the code to keep the same accuracy as the original HYREC-2 over the full 99.7% confidence region of cosmological parameters currently allowed by Planck, while running in under one millisecond on a standard laptop. Our code leads to no noticeable bias in any cosmological parameters even in the case of an ideal cosmic-variance limited experiment up to $\ell$ = 5000. Beyond CMB anisotropy calculations, HYREC-2 will be a useful tool to compute various observables that depend on the recombination and thermal history, such as the recombination spectrum or the 21-cm signal.


title: Results on partial geometries with an abelian Singer group of rigid type

abstract: A partial geometry $S$ admitting an abelian Singer group $G$ is called of rigid type if all lines of $S$ have a trivial stabilizer in $G$. In this paper, we show that if a partial geometry of rigid type has fewer than $1000000$ points it must be the Van Lint-Schrijver geometry or be a hypothetical geometry with 1024 or 4096 or 194481 points, which provides evidence that partial geometries of rigid type are very rare. Along the way we also exclude an infinite set of parameters that originally seemed very promising for the construction of partial geometries of rigid type (as it contains the Van Lint-Schrijver parameters as its smallest case and one of the other cases we cannot exclude as the second member of this parameter family). We end the paper with a conjecture on this type of geometries.


title: Spin reorientation transition in an ultrathin Fe film on W(110) induced by Dzyaloshinsky-Moriya interactions

abstract: Controlling the preferred direction of the magnetic moments is essential for the design of spintronic devices based on ultrathin films and heterostructures. As the film thickness or the temperature is increased, the easy anisotropy axis is typically reoriented from an out-of-plane direction preferred by surface and interface energy contributions to an in-plane alignment favored by the volume anisotropy terms. We study the temperature-driven spin reorientation transition in two atomic layers of Fe on W(110) using well-tempered metadynamics simulations based on a spin model parametrized by ab initio calculations and find that the transition only takes place in the presence of the Dzyaloshinsky--Moriya interaction (DMI). This demonstrates that the chiral DMI does not only differentiate between noncollinear spin structures of different rotational senses, but it also influences the magnetic orientation of collinear magnetic configurations.


title: Nonlinear interferometry with infrared metasurfaces

abstract: The optical elements comprised of sub-diffractive light scatterers, or metasurfaces, hold a promise to reduce the footprint and unfold new functionalities of optical devices. A particular interest is focused on metasurfaces for manipulation of phase and amplitude of light beams. Characterisation of metasurfaces can be performed using interferometry, which, however, may be cumbersome, specifically in the infrared (IR) range. Here, we realise a new method for characterising IR metasurfaces based on nonlinear interference, which uses accessible components for visible light. Correlated IR and visible photons are launched into a nonlinear interferometer so that the phase profile, imposed by the metasurface on the IR photons, modifies the interference at the visible photon wavelength. Furthermore, we show that this concept can be used for broadband manipulation of the intensity profile of a visible beam using a single IR metasurface. Our method unfolds the potential of quantum interferometry for the characterization of advanced optical elements.