title: Analysis of time-to-event for observational studies: Guidance to the use of intensity models

abstract: This paper provides guidance for researchers with some mathematical background on the conduct of time-to-event analysis in observational studies based on intensity (hazard) models. Discussions of basic concepts like time axis, event definition and censoring are given. Hazard models are introduced, with special emphasis on the Cox proportional hazards regression model. We provide check lists that may be useful both when fitting the model and assessing its goodness of fit and when interpreting the results. Special attention is paid to how to avoid problems with immortal time bias by introducing time-dependent covariates. We discuss prediction based on hazard models and difficulties when attempting to draw proper causal conclusions from such models. Finally, we present a series of examples where the methods and check lists are exemplified. Computational details and implementation using the freely available R software are documented in Supplementary Material. The paper was prepared as part of the STRATOS initiative.


title: Waveform relaxation for low frequency coupled field/circuit differential-algebraic models of index 2

abstract: Motivated by the task to design quench protection systems for superconducting magnets in particle accelerators we address a coupled field/circuit simulation based on a magneto-quasistatic field modeling. We investigate how a waveform relaxation of Gau{\ss}-Seidel type performs for a coupled simulation when circuit solving packages are used that describe the circuit by the modified nodal analysis. We present sufficient convergence criteria for the coupled simulation of FEM discretised field models and circuit models formed by a differential-algebraic equation (DAE) system of index 2. In particular, we demonstrate by a simple benchmark system the drastic influence of the circuit topology on the convergence behavior of the coupled simulation.


title: Selective Inference for Latent Block Models

abstract: Model selection in latent block models has been a challenging but important task in the field of statistics. Specifically, a major challenge is encountered when constructing a test on a block structure obtained by applying a specific clustering algorithm to a finite size matrix. In this case, it becomes crucial to consider the selective bias in the block structure, that is, the block structure is selected from all the possible cluster memberships based on some criterion by the clustering algorithm. To cope with this problem, this study provides a selective inference method for latent block models. Specifically, we construct a statistical test on a set of row and column cluster memberships of a latent block model, which is given by a squared residue minimization algorithm. The proposed test, by its nature, includes and thus can also be used as the test on the set of row and column cluster numbers. We also propose an approximated version of the test based on simulated annealing to avoid combinatorial explosion in searching the optimal block structure. The results show that the proposed exact and approximated tests work effectively, compared to the naive test that did not take the selective bias into account.


title: Asymptotic Spectral Theory for Spatial Data

abstract: In this paper we study the asymptotic theory for spectral analysis of stationary random fields, including linear and nonlinear fields. Asymptotic properties of Fourier coefficients and periodograms, including limiting distributions of Fourier coefficients, and the uniform consistency of kernel spectral density estimators are obtained under various mild conditions on moments and dependence structures. The validity of the aforementioned asymptotic results for estimated spatial fields is also established.


title: Who is this Explanation for? Human Intelligence and Knowledge Graphs for eXplainable AI

abstract: eXplainable AI focuses on generating explanations for the output of an AI algorithm to a user, usually a decision-maker. Such user needs to interpret the AI system in order to decide whether to trust the machine outcome. When addressing this challenge, therefore, proper attention should be given to produce explanations that are interpretable by the target community of users. In this chapter, we claim for the need to better investigate what constitutes a human explanation, i.e. a justification of the machine behaviour that is interpretable and actionable by the human decision makers. In particular, we focus on the contributions that Human Intelligence can bring to eXplainable AI, especially in conjunction with the exploitation of Knowledge Graphs. Indeed, we call for a better interplay between Knowledge Representation and Reasoning, Social Sciences, Human Computation and Human-Machine Cooperation research -- as already explored in other AI branches -- in order to support the goal of eXplainable AI with the adoption of a Human-in-the-Loop approach.


title: Motivic Chern classes of cones

abstract: We study motivic Chern classes of cones. First we show examples of projective cones of smooth curves such that their various $K$-classes (sheaf theoretic, push-forward and motivic) are all different. Then we show connections between the torus equivariant motivic Chern class of a projective variety and of its affine cone, generalizing results on projective Thom polynomials.


title: Solvability of the two-dimensional stationary incompressible inhomogeneous Navier-Stokes equations with variable viscosity coefficient

abstract: We show the existence and the regularity properties of the weak solutions to the two-dimensional stationary incompressible inhomogeneous Navier-Stokes equations with variable viscosity coefficient, by analyzing a fourth-order nonlinear elliptic equation for the stream function. The density function and the viscosity coefficient may have large variations. In addition, we formulate the solutions for the parallel, concentric and radial flows respectively, and as examples we calculate the solutions with piecewise-constant viscosity coefficients explicitly.


title: Collisions of three-component vector solitons in Bose-Einstein condensates

abstract: Ultracold gases provide an unprecedented level of control for the investigation of soliton dynamics and collisions. We present a scheme for deterministically preparing pairs of three-component solitons in a Bose-Einstein condensate. Our method is based on local spin rotations which simultaneously imprint suitable phase and density distributions. This enables us to observe striking collisional properties of the vector degree of freedom which naturally arises for the coherent nature of the emerging multi-component solitons. We find that the solitonic properties in the quasi-one-dimensional system are quantitatively described by the integrable repulsive three-component Manakov model.


title: Diffusion toward non-overlapping partially reactive spherical traps: fresh insights onto classic problems

abstract: Several classic problems for particles diffusing outside an arbitrary configuration of non-overlapping partially reactive spherical traps in three dimensions are revisited. For this purpose, we describe the generalized method of separation of variables for solving boundary value problems of the associated modified Helmholtz equation. In particular, we derive a semi-analytical solution for the Green function that is the key ingredient to determine various diffusion-reaction characteristics such as the survival probability, the first-passage time distribution, and the reaction rate. We also present modifications of the method to determine numerically or asymptotically the eigenvalues and eigenfunctions of the Laplace operator and of the Dirichlet-to-Neumann operator in such perforated domains. Some potential applications in chemical physics and biophysics are discussed, including diffusion-controlled reactions for mortal particles.


title: Modified majoron model for cosmological anomalies

abstract: The vacuum expectation value $v_s$ of a Higgs triplet field $\Delta$ carrying two units of lepton number $L$ induces neutrino masses $\propto v_s$. The neutral component of $\Delta$ gives rise to two Higgs particles, a pseudoscalar $A$ and a scalar $S$. The most general renormalizable Higgs potential $V$ for $\Delta $ and the Standard-Model Higgs doublet $\Phi$ does not permit the possibility that the mass of either $A$ or $S$ is small, of order $v_s$, while the other mass is heavy enough to forbid the decay $Z\to A S$ to comply with LEP 1 data. We present a model with additional dimension-6 terms in $V$, in which this feature is absent and either $A$ or $S$ can be chosen light. Subsequently we propose the model as a remedy to cosmological anomalies, namely the tension between observed and predicted tensor-to-scalar mode ratios in the cosmic microwave background and the different values of the Hubble constant measured at different cosmological scales. Furthermore, if $\Delta$ dominantly couples to the third-generation doublet $L_\tau=(\nu_\tau,\tau)$, the deficit of $\nu_\tau$ events at IceCube can be explained. The singly and doubly charged triplet Higgs bosons are lighter than 280 GeV and 400 GeV respectively, and could be found at the LHC.


title: Oxygen vacancy induced electronic structure modification of KTaO$_3$

abstract: The observation of metallic interface between band insulators LaAlO$_3$ and SrTiO$_3$ has led to massive efforts to understand the origin of the phenomenon as well as to search for other systems hosting such two dimensional electron gases (2-DEG). However, the understanding of the origin of the 2-DEG is very often hindered as several possible mechanisms such as polar catastrophe, cationic intermixing and oxygen vacancy (OV) etc. can be operative simultaneously. The presence of a heavy element makes KTaO$_3$ (KTO) based 2-DEG a potential platform to investigate spin orbit coupling driven novel electronic and magnetic phenomena. In this work, we investigate the sole effect of the OV, which makes KTO metallic. Our detailed \textit{ab initio} calculations not only find partially filled conduction bands in the presence of an OV but also predict a highly localized mid-gap state due to the linear clustering of OVs around Ta. Photoluminescence measurements indeed reveal the existence of such mid-gap state and O $K$-edge X-ray absorption spectroscopy finds electron doping in Ta $t_{2g}^*$ antibonding states. This present work suggests that one should be cautious about the possible presence of OVs within KTO substrate in interpreting metallic behavior of KTO based 2-DEG.


title: Simulation of the COVID-19 pandemic on the social network of Slovenia: estimating the intrinsic forecast uncertainty

abstract: In the article a virus transmission model is constructed on a simplified social network. The social network consists of more than 2 million nodes, each representing an inhabitant of Slovenia. The nodes are organised and interconnected according to the real household and elderly-care center distribution, while their connections outside these clusters are semi-randomly distributed and fully-linked. The virus spread model is coupled to the disease progression model. The ensemble approach with the perturbed transmission and disease parameters is used to quantify the ensemble spread, a proxy for the forecast uncertainty. The presented ongoing forecasts of COVID-19 epidemic in Slovenia are compared with the collected Slovenian data. Results show that infection is currently twice more likely to transmit within households/elderly care centers than outside them. We use an ensemble of simulations (N = 1000) to inversely obtain posterior distributions of model parameters and to estimate the COVID-19 forecast uncertainty. We found that in the uncontrolled epidemic, the intrinsic uncertainty mostly originates from the uncertainty of the virus biology, i.e. its reproductive number. In the controlled epidemic with low ratio of infected population, the randomness of the social network becomes the major source of forecast uncertainty, particularly for the short-range forecasts. Social-network-based models are thus essential for improving epidemics forecasting.


title: OpenQL : A Portable Quantum Programming Framework for Quantum Accelerators

abstract: With the potential of quantum algorithms to solve intractable classical problems, quantum computing is rapidly evolving and more algorithms are being developed and optimized. Expressing these quantum algorithms using a high-level language and making them executable on a quantum processor while abstracting away hardware details is a challenging task. Firstly, a quantum programming language should provide an intuitive programming interface to describe those algorithms. Then a compiler has to transform the program into a quantum circuit, optimize it and map it to the target quantum processor respecting the hardware constraints such as the supported quantum operations, the qubit connectivity, and the control electronics limitations. In this paper, we propose a quantum programming framework named OpenQL, which includes a high-level quantum programming language and its associated quantum compiler. We present the programming interface of OpenQL, we describe the different layers of the compiler and how we can provide portability over different qubit technologies. Our experiments show that OpenQL allows the execution of the same high-level algorithm on two different qubit technologies, namely superconducting qubits and Si-Spin qubits. Besides the executable code, OpenQL also produces an intermediate quantum assembly code (cQASM), which is technology-independent and can be simulated using the QX simulator.


title: Convergence Analysis of Riemannian Stochastic Approximation Schemes

abstract: This paper analyzes the convergence for a large class of Riemannian stochastic approximation (SA) schemes, which aim at tackling stochastic optimization problems. In particular, the recursions we study use either the exponential map of the considered manifold (geodesic schemes) or more general retraction functions (retraction schemes) used as a proxy for the exponential map. Such approximations are of great interest since they are low complexity alternatives to geodesic schemes. Under the assumption that the mean field of the SA is correlated with the gradient of a smooth Lyapunov function (possibly non-convex), we show that the above Riemannian SA schemes find an ${\mathcal{O}}(b_\infty + \log n / \sqrt{n})$-stationary point (in expectation) within ${\mathcal{O}}(n)$ iterations, where $b_\infty \geq 0$ is the asymptotic bias. Compared to previous works, the conditions we derive are considerably milder. First, all our analysis are global as we do not assume iterates to be a-priori bounded. Second, we study biased SA schemes. To be more specific, we consider the case where the mean-field function can only be estimated up to a small bias, and/or the case in which the samples are drawn from a controlled Markov chain. Third, the conditions on retractions required to ensure convergence of the related SA schemes are weak and hold for well-known examples. We illustrate our results on three machine learning problems.


title: PaccMann$^{RL}$ on SARS-CoV-2: Designing antiviral candidates with conditional generative models

abstract: With the fast development of COVID-19 into a global pandemic, scientists around the globe are desperately searching for effective antiviral therapeutic agents. Bridging systems biology and drug discovery, we propose a deep learning framework for conditional de novo design of antiviral candidate drugs tailored against given protein targets. First, we train a multimodal ligand--protein binding affinity model on predicting affinities of antiviral compounds to target proteins and couple this model with pharmacological toxicity predictors. Exploiting this multi-objective as a reward function of a conditional molecular generator (consisting of two VAEs), we showcase a framework that navigates the chemical space toward regions with more antiviral molecules. Specifically, we explore a challenging setting of generating ligands against unseen protein targets by performing a leave-one-out-cross-validation on 41 SARS-CoV-2-related target proteins. Using deep RL, it is demonstrated that in 35 out of 41 cases, the generation is biased towards sampling more binding ligands, with an average increase of 83% comparing to an unbiased VAE. We present a case-study on a potential Envelope-protein inhibitor and perform a synthetic accessibility assessment of the best generated molecules is performed that resembles a viable roadmap towards a rapid in-vitro evaluation of potential SARS-CoV-2 inhibitors.


title: Thermoelectric current in a graphene Cooper pair splitter

abstract: Thermoelectric effect generating electricity from thermal gradient and vice versa appears in numerous generic applications. Recently, an original prospect of thermoelectricity arising from the nonlocal Cooper pair splitting (CPS) and the elastic co-tunneling (EC) in hybrid normal metal-superconductor-normal metal (NSN) structures was foreseen. Here we demonstrate experimentally the existence of non-local Seebeck effect in a graphene-based CPS device comprising two quantum dots connected to an aluminum superconductor and theoretically validate the observations. This non-local Seebeck effect offers an efficient tool for producing entangled electrons.


title: Analysing AIA Flare Observations using Convolutional Neural Networks

abstract: In order to efficiently analyse the vast amount of data generated by solar space missions and ground-base instruments, modern machine learning techniques such as decision trees, support vector machines (SVMs) and neural networks can be very useful. In this paper we present initial results from using a convolutional neural network (CNN) to analyse observations from the Atmospheric Imaging Assembly (AIA) in the 1600A wavelength. The data is pre-processed to locate flaring regions where flare ribbons are visible in the observations. The CNN is created and trained to automatically analyse the shape and position of the flare ribbons, by identifying whether each image belongs into one of four classes: two-ribbon flare, compact/circular ribbon flare, limb flare or quiet Sun, with the final class acting as a control for any data included in the training or test sets where flaring regions are not present. The network created can classify flare ribbon observations into any of the four classes with a final accuracy of 94%. Initial results show that most of the images are correctly classified with the compact flare class being the only class where accuracy drops below 90% ad some observations are wrongly classified as belonging to the limb class.


title: An Entropy Based Outlier Score and its Application to Novelty Detection for Road Infrastructure Images

abstract: A novel unsupervised outlier score, which can be embedded into graph based dimensionality reduction techniques, is presented in this work. The score uses the directed nearest neighbor graphs of those techniques. Hence, the same measure of similarity that is used to project the data into lower dimensions, is also utilized to determine the outlier score. The outlier score is realized through a weighted normalized entropy of the similarities. This score is applied to road infrastructure images. The aim is to identify newly observed infrastructures given a pre-collected base dataset. Detecting unknown scenarios is a key for accelerated validation of autonomous vehicles. The results show the high potential of the proposed technique. To validate the generalization capabilities of the outlier score, it is additionally applied to various real world datasets. The overall average performance in identifying outliers using the proposed methods is higher compared to state-of-the-art methods. In order to generate the infrastructure images, an openDRIVE parsing and plotting tool for Matlab is developed as part of this work. This tool and the implementation of the entropy based outlier score in combination with Uniform Manifold Approximation and Projection are made publicly available.


title: Anytime Behavior of Inexact TSP Solvers and Perspectives for Automated Algorithm Selection

abstract: The Traveling-Salesperson-Problem (TSP) is arguably one of the best-known NP-hard combinatorial optimization problems. The two sophisticated heuristic solvers LKH and EAX and respective (restart) variants manage to calculate close-to optimal or even optimal solutions, also for large instances with several thousand nodes in reasonable time. In this work we extend existing benchmarking studies by addressing anytime behaviour of inexact TSP solvers based on empirical runtime distributions leading to an increased understanding of solver behaviour and the respective relation to problem hardness. It turns out that performance ranking of solvers is highly dependent on the focused approximation quality. Insights on intersection points of performances offer huge potential for the construction of hybridized solvers depending on instance features. Moreover, instance features tailored to anytime performance and corresponding performance indicators will highly improve automated algorithm selection models by including comprehensive information on solver quality.


title: Pandemic News: Facebook Pages of Mainstream News Media and the Coronavirus Crisis -- A Computational Content Analysis

abstract: The unfolding of the COVID-19 pandemic has been an unprecedented challenge for news media around the globe. While journalism is meant to process yet unknown events by design, the dynamically evolving situation affected all aspects of life in such profound ways that even the routines of crisis reporting seemed to be insufficient. Critics noted tendencies to horse-race reporting and uncritical coverage, with journalism being too close to official statements and too affirmative of political decisions. However, empirical data on the performance of journalistic news media during the crisis has been lacking thus far. The current study analyzes the Facebook messages of journalistic news media during the early Coronavirus crisis, based on a large German data set from January to March 2020. Using computational content analysis methods, reach and interactions, topical structure, relevant actors, negativity of messages, as well as the coverage of fabricated news and conspiracy theories were examined. The topical structure of the near-time Facebook coverage changed during various stages of the crisis, with just partial support for the claims of critics. The initial stages were somewhat lacking in topical breadth, but later stages offered a broad range of coverage on Corona-related issues and societal concerns. Further, journalistic media covered fake news and conspiracy theories during the crisis, but they consistently contextualized them as what they were and debunked the false claims circulating in public. While some criticism regarding the performance of journalism during the crisis received mild empirical support, the analysis did not find overwhelming signs of systemic dysfunctionalities. Overall, journalistic media did not default to a uniform reaction nor to sprawling, information-poor pandemic news, but they responded with a multi-perspective coverage of the crisis.


title: Deep Sensory Substitution: Noninvasively Enabling Biological Neural Networks to Receive Input from Artificial Neural Networks

abstract: As is expressed in the adage "a picture is worth a thousand words", when using spoken language to communicate visual information, brevity can be a challenge. This work describes a novel technique for leveraging machine-learned feature embeddings to sonify visual (and other types of) information into a perceptual audio domain, allowing users to perceive this information using only their aural faculty. The system uses a pretrained image embedding network to extract visual features and embed them in a compact subset of Euclidean space -- this converts the images into feature vectors whose $L^2$ distances can be used as a meaningful measure of similarity. A generative adversarial network (GAN) is then used to find a distance preserving map from this metric space of feature vectors into the metric space defined by a target audio dataset equipped with either the Euclidean metric or a mel-frequency cepstrum-based psychoacoustic distance metric. We demonstrate this technique by sonifying images of faces into human speech-like audio. For both target audio metrics, the GAN successfully found a metric preserving mapping, and in human subject tests, users were able to accurately classify audio sonifications of faces.


title: Experimental diagnostics of entanglement swapping by a collective entanglement test

abstract: The paper reports on experimental diagnostics of entanglement swapping protocol by means of collective entanglement witness. Our approach is suitable to detect disturbances occurring in the preparation of quantum states, quantum communication channel and imperfect Bell-state projection. More specifically we demonstrate that our method can distinguish disturbances such as depolarization, phase-damping, amplitude-damping and imperfect Bell-state measurement by observing four probabilities and estimating collective entanglement witness. Since entanglement swapping is a key procedure for quantum repeaters, quantum relays, device-independent quantum communications or entanglement assisted error correction, this can aid in faster and practical resolution of quality-of-transmission related problems as our approach requires less measurements then other means of diagnostics.


title: Enhancing Resilience of Deep Learning Networks by Means of Transferable Adversaries

abstract: Artificial neural networks in general and deep learning networks in particular established themselves as popular and powerful machine learning algorithms. While the often tremendous sizes of these networks are beneficial when solving complex tasks, the tremendous number of parameters also causes such networks to be vulnerable to malicious behavior such as adversarial perturbations. These perturbations can change a model's classification decision. Moreover, while single-step adversaries can easily be transferred from network to network, the transfer of more powerful multi-step adversaries has - usually -- been rather difficult. In this work, we introduce a method for generating strong ad-versaries that can easily (and frequently) be transferred between different models. This method is then used to generate a large set of adversaries, based on which the effects of selected defense methods are experimentally assessed. At last, we introduce a novel, simple, yet effective approach to enhance the resilience of neural networks against adversaries and benchmark it against established defense methods. In contrast to the already existing methods, our proposed defense approach is much more efficient as it only requires a single additional forward-pass to achieve comparable performance results.


title: High-contrast imaging of 180{\deg} ferroelectric domains by optical microscopy using ferroelectric liquid crystals

abstract: Ferroelectric liquid crystals (FLCs) couple the direction of their spontaneous electric polarization to the direction of tilt of their optic axis. Consequently, reversal of the electric polarization by an electric field gives rise to an immediate and lasting optical response when an appropriately aligned FLC is observed between crossed polarizers, with one field direction yielding a dark image, and the opposite direction yielding a bright image. Here this peculiar electro-optic response is used to image, with high optical contrast, 180{\deg} ferroelectric domains in a crystalline substrate of magnesium-doped lithium niobate. The lithium niobate substrate contains a few domains with upwards electric polarization surrounded by regions with downward electric polarization. In contrast to a reference non-chiral liquid crystal that is unable to show ferroelectric behavior due to its high symmetry, the FLC, which is used as a thin film confined between the lithium niobate substrate and an inert aligning substrate, reveals ferroelectric domains as well as their boundaries, with strong black and white contrast. The results show that FLCs can be used for non-destructive read-out of domains in underlying ferroelectrics, with potential applications in e.g. photonic devices and non-volatile ferroelectric memories.


title: Analysis of Human Exposure to Electromagnetic Fields in 5G Uplink and Downlink

abstract: Concern has been widely acknowledged about human health---e.g., heating of the eyes and skin--from exposure to electromagnetic fields (EMF) produced by wireless transmitters. Mobile telecommunications rely on an extensive network of base stations (BSs) and handheld devices that transmit signals via EMF. There is chance of aggravation due to two important changes that will be seen in future cellular networks. First, the number of BSs will remarkably grow with the proliferation of small-cell networks, which will expose humans to EMF more often. Second, highly concentrated EMF beams will be generated by employing larger antenna arrays to overcome faster EMF energy attenuation in higher-frequency bands such as millimeter wave (mmW) spectrum, which will increase damage if the main beam points to the human body. However, the two changes can be exploited as leverages for (i) wider selection of alternative BSs and (ii) more precise beamforming to a desired user equipment (UE) with less EMF leakage to other directions, respectively. Harnessing the two changes, we have been investigating the human health impacts of 5G wireless systems. This extended abstract summarizes our findings thus far.


title: Hyperbolic Metamaterial Nanoparticles for Efficient Hyperthermia in the II and III Near-Infrared Windows

abstract: The use of gold nanoparticles for hyperthermia therapy in near infrared (NIR) spectral regions has catalysed substantial research efforts due to the potential impact in clinical therapy applications. However, the photoscattering effect scaling with the square of the nanoparticle volume leads to a low absorption efficiency, which has hindered the utility of gold nanoparticles in NIR II regions above 1000 nm. Here, we conquer this limit by introducing hyperbolic metamaterial nanoparticles that are made of multi-layered gold/dielectric nanodisks and exhibit >70% absorption efficiency in the NIR II and III regions. Their high light-to-heat conversion is demonstrated by a much larger temperature increase than that of gold nanodisks with the same amount of gold. Efficient in vitro hyperthermia of living cells with negligible cytotoxicity shows the potential of our approach for next-generation bio-medical applications.


title: Accelerating Neural Network Inference by Overflow Aware Quantization

abstract: The inherent heavy computation of deep neural networks prevents their widespread applications. A widely used method for accelerating model inference is quantization, by replacing the input operands of a network using fixed-point values. Then the majority of computation costs focus on the integer matrix multiplication accumulation. In fact, high-bit accumulator leads to partially wasted computation and low-bit one typically suffers from numerical overflow. To address this problem, we propose an overflow aware quantization method by designing trainable adaptive fixed-point representation, to optimize the number of bits for each input tensor while prohibiting numeric overflow during the computation. With the proposed method, we are able to fully utilize the computing power to minimize the quantization loss and obtain optimized inference performance. To verify the effectiveness of our method, we conduct image classification, object detection, and semantic segmentation tasks on ImageNet, Pascal VOC, and COCO datasets, respectively. Experimental results demonstrate that the proposed method can achieve comparable performance with state-of-the-art quantization methods while accelerating the inference process by about 2 times.


title: An Iteratively Optimized Patch Label Inference Network for Automatic Pavement Distress Detection

abstract: We present a novel deep learning framework named the Iteratively Optimized Patch Label Inference Network (IOPLIN) for automatically detecting various pavement distresses that are not solely limited to specific ones, such as cracks and potholes. IOPLIN can be iteratively trained with only the image label via the Expectation-Maximization Inspired Patch Label Distillation (EMIPLD) strategy, and accomplish this task well by inferring the labels of patches from the pavement images. IOPLIN enjoys many desirable properties over the state-of-the-art single branch CNN models such as GoogLeNet and EfficientNet. It is able to handle images in different resolutions, and sufficiently utilize image information particularly for the high-resolution ones, since IOPLIN extracts the visual features from unrevised image patches instead of the resized entire image. Moreover, it can roughly localize the pavement distress without using any prior localization information in the training phase. In order to better evaluate the effectiveness of our method in practice, we construct a large-scale Bituminous Pavement Disease Detection dataset named CQU-BPDD consisting of 60,059 high-resolution pavement images, which are acquired from different areas at different times. Extensive results on this dataset demonstrate the superiority of IOPLIN over the state-of-the-art image classification approaches in automatic pavement distress detection. The source codes of IOPLIN are released on \url{https://github.com/DearCaat/ioplin}, and the CQU-BPDD dataset is able to be accessed on \url{https://dearcaat.github.io/CQU-BPDD/}.


title: Machine Learning for Software Engineering: A Systematic Mapping

abstract: Context: The software development industry is rapidly adopting machine learning for transitioning modern day software systems towards highly intelligent and self-learning systems. However, the full potential of machine learning for improving the software engineering life cycle itself is yet to be discovered, i.e., up to what extent machine learning can help reducing the effort/complexity of software engineering and improving the quality of resulting software systems. To date, no comprehensive study exists that explores the current state-of-the-art on the adoption of machine learning across software engineering life cycle stages. Objective: This article addresses the aforementioned problem and aims to present a state-of-the-art on the growing number of uses of machine learning in software engineering. Method: We conduct a systematic mapping study on applications of machine learning to software engineering following the standard guidelines and principles of empirical software engineering. Results: This study introduces a machine learning for software engineering (MLSE) taxonomy classifying the state-of-the-art machine learning techniques according to their applicability to various software engineering life cycle stages. Overall, 227 articles were rigorously selected and analyzed as a result of this study. Conclusion: From the selected articles, we explore a variety of aspects that should be helpful to academics and practitioners alike in understanding the potential of adopting machine learning techniques during software engineering projects.


title: Scalable Polyhedral Verification of Recurrent Neural Networks

abstract: We present a scalable and precise verifier for recurrent neural networks, called Prover based on two novel ideas: (i) a method to compute a set of polyhedral abstractions for the non-convex and nonlinear recurrent update functions by combining sampling, optimization, and Fermat's theorem, and (ii) a gradient descent based algorithm for abstraction refinement guided by the certification problem that combines multiple abstractions for each neuron. Using Prover, we present the first study of certifying a non-trivial use case of recurrent neural networks, namely speech classification. To achieve this, we additionally develop custom abstractions for the non-linear speech preprocessing pipeline. Our evaluation shows that Prover successfully verifies several challenging recurrent models in computer vision, speech, and motion sensor data classification beyond the reach of prior work.


title: Global Guidance for Local Generalization in Model Checking

abstract: SMT-based model checkers, especially IC3-style ones, are currently the most effective techniques for verification of infinite state systems. They infer global inductive invariants via local reasoning about a single step of the transition relation of a system, while employing SMT-based procedures, such as interpolation, to mitigate the limitations of local reasoning and allow for better generalization. Unfortunately, these mitigations intertwine model checking with heuristics of the underlying SMT-solver, negatively affecting stability of model checking. In this paper, we propose to tackle the limitations of locality in a systematic manner. We introduce explicit global guidance into the local reasoning performed by IC3-style algorithms. To this end, we extend the SMT-IC3 paradigm with three novel rules, designed to mitigate fundamental sources of failure that stem from locality. We instantiate these rules for the theory of Linear Integer Arithmetic and implement them on top of SPACER solver in Z3. Our empirical results show that GSPACER, SPACER extended with global guidance, is significantly more effective than both SPACER and sole global reasoning, and, furthermore, is insensitive to interpolation.


title: $E_8$ Spectra of Quasi-one-dimensional Antiferromagnet BaCo$_2$V$_2$O$_8$ under Transverse Field

abstract: We report $^{51}$V nuclear magnetic resonance (NMR) and inelastic neutron scattering (INS) measurements on a quasi-1D antiferromagnet BaCo$_2$V$_2$O$_8$ under transverse field along the [010] direction. The scaling behavior of the spin-lattice relaxation rate above the N\'{e}el temperatures unveils a 1D quantum critical point (QCP) at $H_c^{1D}\approx 4.7$ T, which is masked by the 3D magnetic order. With the aid of accurate analytical analysis and numerical calculations, we show that the zone center INS spectrum at $H_c^{1D}$ is precisely described by the pattern of the 1D quantum Ising model in a magnetic field, a class of universality described in terms of the exceptional $E_8$ Lie algebra. These excitations keep to be non-diffusive over a certain field range when the system is away from the 1D QCP. Our results provide an unambiguous experimental realization of the massive $E_8$ phase in the compound, and open new experimental route for exploring the dynamics of quantum integrable systems as well as physics beyond integrability.

categories: cond-mat.str-el cond-mat.mtrl-sci cond-mat.stat-mech hep-th


title: General-Purpose User Embeddings based on Mobile App Usage

abstract: In this paper, we report our recent practice at Tencent for user modeling based on mobile app usage. User behaviors on mobile app usage, including retention, installation, and uninstallation, can be a good indicator for both long-term and short-term interests of users. For example, if a user installs Snapseed recently, she might have a growing interest in photographing. Such information is valuable for numerous downstream applications, including advertising, recommendations, etc. Traditionally, user modeling from mobile app usage heavily relies on handcrafted feature engineering, which requires onerous human work for different downstream applications, and could be sub-optimal without domain experts. However, automatic user modeling based on mobile app usage faces unique challenges, including (1) retention, installation, and uninstallation are heterogeneous but need to be modeled collectively, (2) user behaviors are distributed unevenly over time, and (3) many long-tailed apps suffer from serious sparsity. In this paper, we present a tailored AutoEncoder-coupled Transformer Network (AETN), by which we overcome these challenges and achieve the goals of reducing manual efforts and boosting performance. We have deployed the model at Tencent, and both online/offline experiments from multiple domains of downstream applications have demonstrated the effectiveness of the output user embeddings.


title: ComPar: Optimized Multi-Compiler for Automatic OpenMP S2S Parallelization

abstract: Parallelization schemes are essential in order to exploit the full benefits of multi-core architectures. In said architectures, the most comprehensive parallelization API is OpenMP. However, the introduction of correct and optimal OpenMP parallelization to applications is not always a simple task, due to common parallel management pitfalls, architecture heterogeneity and the current necessity for human expertise in order to comprehend many fine details and abstract correlations. To ease this process, many automatic parallelization compilers were created over the last decade. Harel et al. [2020] tested several source-to-source compilers and concluded that each has its advantages and disadvantages and no compiler is superior to all other compilers in all tests. This indicates that a fusion of the compilers' best outputs under the best hyper-parameters for the current hardware setups can yield greater speedups. To create such a fusion, one should execute a computationally intensive hyper-parameter sweep, in which the performance of each option is estimated and the best option is chosen. We created a novel parallelization source-to-source multi-compiler named ComPar, which uses code segmentation-and-fusion with hyper-parameters tuning to achieve the best parallel code possible without any human intervention while maintaining the program's validity. In this paper we present ComPar and analyze its results on NAS and PolyBench benchmarks. We conclude that although the resources ComPar requires to produce parallel code are greater than other source-to-source parallelization compilers - as it depends on the number of parameters the user wishes to consider, and their combinations - ComPar achieves superior performance overall compared to the serial code version and other tested parallelization compilers. ComPar is publicly available at: https://github.com/Scientific-Computing-Lab-NRCN/compar.


title: Generalised dual Seidel switching and Deza graphs with strongly regular children

abstract: A Deza graph G with parameters (n,k,b,a) is a k-regular graph with n vertices such that any two distinct vertices have b or a common neighbours, where b >= a. The children G_A and G_B of a Deza graph G are defined on the vertex set of G such that every two distinct vertices are adjacent in G_A or G_B if and only if they have a or b common neighbours, respectively. In this paper we present a general approach to dual Seidel switching and investigate Deza graphs whose children are strongly regular graphs.


title: Spin-valley dynamics in alloy-based transition metal dichalcogenide heterobilayers

abstract: Van der Waals heterobilayers based on 2D transition metal dichalcogenides have been recently shown to support robust and long-lived valley polarization for potential valleytronic applications. However, the role of the band structure and alignment of the constituent layers in the underlying dynamics remains largely unexplored. Here we study spin--valley relaxation dynamics in heterobilayers with different band structures engineered via the use of alloyed monolayer semiconductors. Through a combination of time-resolved Kerr rotation spectroscopic measurements and theoretical modelling for Mo$_{1-x}$W$_{x}$Se$_2$/WSe$_2$ samples with different chemical compositions and stacking angles, we uncover the roles of interlayer exciton recombination and charge carrier spin depolarization in the overall valley dynamics. Our results provide insights into the microscopic spin--valley polarization mechanisms in van der Waals heterostructures for the development of future 2D valleytronic devices.


title: Accretion of the Vlasov gas on Reissner-Nordstr\"{o}m black holes

abstract: We investigate stationary spherically symmetric accretion of the relativistic Vlasov gas on Reissner-Nordstr\"{o}m black holes. The model is based on a recent analysis done by Rioseco and Sarbach for the Schwarzschild spacetime. Both models share many common features: The gas characterized by the Maxwell-J\"{u}ttner distribution at infinity is no longer in thermal equilibrium in the vicinity of the black hole. The radial pressure at the black-hole horizon can be even an order of magnitude smaller than the tangential pressure. Quantitative characteristics of the Reissner-Nordstr\"{o}m model depend on the charge parameter. For black holes with fixed asymptotic mass, the mass accretion rate decreases with the increasing black-hole charge. The ratio of the tangential pressure to the radial pressure at the horizon also decreases with the increasing charge. On the other hand, the particle density at the horizon (normalized by its asymptotic value) grows with the black-hole charge parameter.


title: Non-invasive detection of nanoscale structural changes in cornea associated with cross-linking treatment

abstract: Corneal cross-linking (CXL) using UVA irradiation with a riboflavin photosensitizer has grown from an interesting concept to a practical clinical treatment for corneal ectatic diseases globally, such as keratoconus. To characterize the corneal structural changes, existing methods such as X-ray microscopy, transmission electron microscopy (TEM), histology and optical coherence tomography have been used. However, these methods have various drawbacks such as invasive detection, the impossibility for in vivo measurement, or limited resolution and sensitivity to structural alterations. Here, we report the application of over-sampling nano-sensitive optical coherence tomography (nsOCT) method for probing the corneal structural alterations. The results indicate that the spatial period increases slightly after 30 minutes riboflavin instillation but decreases significantly after 30 min UVA irradiation following the Dresden protocol. The proposed non-invasive method can be implemented using existing OCT system, without any additional components, for detecting nanoscale changes with the potential to assist diagnostic assessment during CXL treatment, and possibly to be a real-time monitoring tool in clinics.


title: Efficient adaptive designs for clinical trials of interventions for COVID-19

abstract: The COVID-19 pandemic has led to an unprecedented response in terms of clinical research activity. An important part of this research has been focused on randomized controlled clinical trials to evaluate potential therapies for COVID-19. The results from this research need to be obtained as rapidly as possible. This presents a number of challenges associated with considerable uncertainty over the natural history of the disease and the number and characteristics of patients affected, and the emergence of new potential therapies. These challenges make adaptive designs for clinical trials a particularly attractive option. Such designs allow a trial to be modified on the basis of interim analysis data or stopped as soon as sufficiently strong evidence has been observed to answer the research question, without compromising the trial's scientific validity or integrity. In this paper we describe some of the adaptive design approaches that are available and discuss particular issues and challenges associated with their use in the pandemic setting. Our discussion is illustrated by details of four ongoing COVID-19 trials that have used adaptive designs.


title: Rotating self-gravitating Bose-Einstein condensates with a crust: a minimal model for pulsar glitches

abstract: We develop a minimal model for \textit{pulsar glitches} by introducing a solid-crust potential in the three-dimensional (3D) Gross-Pitaevskii-Poisson equation (GPPE), which we have used earlier to study gravitationally bound Bose-Einstein Condensates (BECs), i.e., bosonic stars. In the absence of the crust potential, we show that, if we rotate such a bosonic star, it is threaded by vortices. We then show, via extensive direct numerical simulations (DNSs), that the interaction of these vortices with the crust potential yields (a) stick-slip dynamics and (b) dynamical glitches. We demonstrate that, if enough momentum is transferred to the crust from the bosonic star, then the vortices are expelled from the star and the crust's angular momentum $J_c$ exhibits features that can be interpreted naturally as glitches. From the time series of $J_c$, we compute the cumulative probability distribution functions (CPDFs) of event sizes, event durations, and waiting times. We show that these CPDFs have signatures of self-organized criticality (SOC), which have been seen in observations on pulsar glitches.

categories: astro-ph.HE astro-ph.GA cond-mat.quant-gas physics.flu-dyn


title: Possible strain induced Mott gap collapse in 1T-TaS$_2$

abstract: Tuning the electronic properties of a matter is of fundamental interest in scientific research as well as in applications. Recently, the Mott insulator-metal transition has been reported in a pristine layered transition metal dichalcogenides 1T-TaS$_2$, with the transition triggered by an optical excitation, a gate controlled intercalation, or a voltage pulse. However, the sudden insulator-metal transition hinders an exploration of how the transition evolves. Here, we report the strain as a possible new tuning parameter to induce Mott gap collapse in 1T-TaS$_2$. In a strain-rich area, we find a mosaic state with distinct electronic density of states within different domains. In a corrugated surface, we further observe and analyze a smooth evolution from a Mott gap state to a metallic state. Our results shed new lights on the understanding of the insulator-metal transition and promote a controllable strain engineering on the design of switching devices in the future.


title: AutoSweep: Recovering 3D Editable Objectsfrom a Single Photograph

abstract: This paper presents a fully automatic framework for extracting editable 3D objects directly from a single photograph. Unlike previous methods which recover either depth maps, point clouds, or mesh surfaces, we aim to recover 3D objects with semantic parts and can be directly edited. We base our work on the assumption that most human-made objects are constituted by parts and these parts can be well represented by generalized primitives. Our work makes an attempt towards recovering two types of primitive-shaped objects, namely, generalized cuboids and generalized cylinders. To this end, we build a novel instance-aware segmentation network for accurate part separation. Our GeoNet outputs a set of smooth part-level masks labeled as profiles and bodies. Then in a key stage, we simultaneously identify profile-body relations and recover 3D parts by sweeping the recognized profile along their body contour and jointly optimize the geometry to align with the recovered masks. Qualitative and quantitative experiments show that our algorithm can recover high quality 3D models and outperforms existing methods in both instance segmentation and 3D reconstruction. The dataset and code of AutoSweep are available at https://chenxin.tech/AutoSweep.html.


title: Single Valued Neutrosophic Filters

abstract: In this paper we give a comprehensive presentation of the notions of filter base, filter and ultrafilter on single valued neutrosophic set and we investigate some of their properties and relationships. More precisely, we discuss properties related to filter completion, the image of neutrosophic filter base by a neutrosophic induced mapping and the infimum and supremum of two neutrosophic filter bases.


title: Multidimensional Hydrogen Tunneling in Supported Molecular Switches: The Role of Surface Interactions

abstract: The nuclear tunneling crossover temperature ($T_c$) of hydrogen transfer reactions in supported molecular-switch architectures can lie close to room temperature. This calls for the inclusion of nuclear quantum effects (NQE) in the calculation of reaction rates even at high temperatures. However, standard computations of NQE relying on parametrized dimensionality-reduced models, quickly become inadequate in these environments. In this letter, we study the paradigmatic molecular switch based on porphycene molecules adsorbed on metallic surfaces with full-dimensional calculations that combine density-functional theory for the electrons with the semi-classical ring-polymer instanton approximation for the nuclei. We show that the double intramolecular hydrogen transfer (DHT) rate can be enhanced by orders of magnitude due to surface fluctuations in the deep tunneling regime. We also explain the origin of an Arrhenius temperature-dependence of the rate below $T_c$ and why this dependence differs at different surfaces. We propose a simple model to rationalize the temperature dependence of DHT rates spanning diverse fcc [110] surfaces.


title: Numerical study of interface cracking in composite structures using a novel geometrically nonlinear Linear Elastic Brittle Interface Model: mixed-mode fracture conditions and application to structured interfaces

abstract: Interface cracking is one of the most prominent failure modes in fibre reinforced polymer (FRP) composites. Recent trends in high-tech applications of FRP composites exploit the limits of the load bearing capacity, generally encompassing the development of notable nonlinear effects from geometrical and material signatures. In this investigation, we present a comprehensive assessment of the new Linear Elastic Brittle Interface Model (LEBIM) in geometrically nonlinear applications undergoing mixed-mode fracture conditions. This interface model for triggering fracture events is formulated through the advocation of continuum-like assumptions (for initial non-zero interface thickness) and allows the incorporation of the potential role of the in-plane deformation effects. The performance of the present interface model is demonstrated through the simulation of specimens with mixed-mode delamination, with special attention for its application in samples equipped with structured interfaces. Current predictions exhibit an excellent agreement with respect to experimental data, validating the proposed methodology.


title: Tracking, exploring and analyzing recent developments in German-language online press in the face of the coronavirus crisis: cOWIDplus Analysis and cOWIDplus Viewer

abstract: The coronavirus pandemic may be the largest crisis the world has had to face since World War II. It does not come as a surprise that it is also having an impact on language as our primary communication tool. We present three inter-connected resources that are designed to capture and illustrate these effects on a subset of the German language: An RSS corpus of German-language newsfeeds (with freely available untruncated unigram frequency lists), a static but continuously updated HTML page tracking the diversity of the used vocabulary and a web application that enables other researchers and the broader public to explore these effects without any or with little knowledge of corpus representation/exploration or statistical analyses.


title: Quantum Mechanics May Need Consciousness

abstract: The assertion by Yu and Nikolic that the delayed choice quantum eraser experiment of Kim et al. empirically falsifies the consciousness-causes-collapse hypothesis of quantum mechanics is based on the unfounded and false assumption that the failure of a quantum wave function to collapse implies the appearance of a visible interference pattern.


title: Nanoscale structure detection and monitoring of tumour growth with optical coherence tomography

abstract: Approximately 90% of cancers have their origins in epithelial tissues and this leads to epithelial thickening, but the ultrastructural changes and underlying architecture is less well known. Depth resolved label free visualization of nanoscale tissue morphology is required to reveal the extent and distribution of ultrastructural changes in underlying tissue, but is difficult to achieve with existing imaging modalities. We developed a nanosensitive optical coherence tomography (nsOCT) approach to provide such imaging based on dominant axial structure with a few nanometre detection accuracy. nsOCT maps the distribution of axial structural sizes an order of magnitude smaller than the axial resolution of the system. We validated nsOCT methodology by detecting synthetic axial structure via numerical simulations. Subsequently, we validated the nsOCT technique experimentally by detecting known structures from a commercially fabricated sample. nsOCT reveals scaling with different depth of dominant submicron structural changes associated with carcinoma which may inform the origins of the disease, its progression and improve diagnosis.


title: Exponential mixing property for automorphisms of compact K\"ahler manifolds

abstract: Let $f$ be a holomorphic automorphism of a compact K\"ahler manifold. Assume moreover that $f$ admits a unique maximal dynamic degree $d_p$ with only one eigenvalue of maximal modulus. Let $\mu$ be its equilibrium measure. In this paper, we prove that $\mu$ is exponentially mixing for all d.s.h.\ test functions.


title: Daisy Hamming graphs

abstract: Daisy graphs of a rooted graph $G$ with the root $r$ were recently introduced as a generalization of daisy cubes, a class of isometric subgraphs of hypercubes. In this paper we first solve the problem posed in \cite{Taranenko2020} and characterize rooted graphs $G$ with the root $r$ for which all daisy graphs of $G$ with respect to $r$ are isometric in $G$. We continue the investigation of daisy graphs $G$ (generated by $X$) of a Hamming graph $H$ and characterize those daisy graphs generated by $X$ of cardinality 2 that are isometric in $H$. Finally, we give a characterization of isometric daisy graphs of a Hamming graph $K_{k_1}\Box \ldots \Box K_{k_n}$ with respect to $0^n$ in terms of an expansion procedure.


title: Wireless Feedback Control with Variable Packet Length for Industrial IoT

abstract: The paper considers a wireless networked control system (WNCS), where a controller sends packets carrying control information to an actuator through a wireless channel to control a physical process for industrial-control applications. In most of the existing work on WNCSs, the packet length for transmission is fixed. However, from the channel-encoding theory, if a message is encoded into a longer codeword, its reliability is improved at the expense of longer delay. Both delay and reliability have great impact on the control performance. Such a fundamental delay-reliability tradeoff has rarely been considered in WNCSs. In this paper, we propose a novel WNCS, where the controller adaptively changes the packet length for control based on the current status of the physical process. We formulate a decision-making problem and find the optimal variable-length packet-transmission policy for minimizing the long-term average cost of the WNCSs. We derive a necessary and sufficient condition on the existence of the optimal policy in terms of the transmission reliabilities with different packet lengths and the control system parameter.


title: Hopf-Galois algebras and their Poisson structures

abstract: As is known to all, Hopf-Galois objects have a significant research value for analyzing tensor categories of comodules and classification questions of pointed Hopf algebras, and are natural generalizations of Hopf algebras with a Galois-theoretic flavour. In this paper, we mainly prove a criterion for an Ore extension of a Hopf-Galois algebra to be a Hopf-Galois algebra, and introduce the conception of Poisson Hopf-Galois algebras, and establish the relationship between Poisson Hopf-Galois algebras and Poisson Hopf algebras. Moreover, we study Poisson Hopf-Galois structures on Poisson polynomial algebras, and mainly give a necessary and sufficient condition for the Poisson enveloping algebra of a Poisson Hopf-Galois algebra to be a Hopf-Galois algebra.


title: Anyon Quantum Transport and Noise away from Equilibrium

abstract: We investigate the quantum transport of anyons in one space dimension. After establishing some universal features of non-equilibrium systems in contact with two heat reservoirs in a generalised Gibbs state, we focus on the abelian anyon solution of the Tomonaga-Luttinger model possessing axial-vector duality. In this context a non-equilibrium representation of the physical observables is constructed, which is the basic tool for a systematic study of the anyon particle and heat transport. We determine the associated Lorentz number and describe explicitly the deviation from the standard Wiedemann-Franz law induced by the interaction and the anyon statistics. The quantum fluctuations generated by the electric and helical currents are investigated and the dependence of the relative noise power on the statistical parameter is established.

categories: cond-mat.stat-mech cond-mat.str-el math-ph math.MP quant-ph


title: Precision timing calorimetry with the CMS HGCAL

abstract: The existing CMS endcap calorimeters will be replaced with a High Granularity Calorimeter (HGCAL) for operation at the High Luminosity (HL) LHC. Radiation hardness and excellent physics performance will be achieved by utilising silicon pad sensors and SiPM-on-scintillator tiles with high longitudinal and transverse segmentation. One of the major challenges of the HL-LHC will be the high pileup environment, with interaction vertices spread not only in position, but also in time. In order to efficiently reject particles originating from pileup, precision timing information of the order of 30 ps will be of great benefit. In order to meet such performance goals, the HGCAL will provide timing measurements for individual hits with signals above 12 fC (equivalent to 3-10 MIPs), such that clusters resulting from particles with $p_T$ > 5 GeV should have a timing resolution better than 30 ps. Given the complexity and size of the system, this poses a particular challenge to the readout electronics as well as to the calibration and reconstruction procedures. We present the challenges for the front-end electronics design, results from prototype tests in laboratory and beam environments, as well as anticipated timing performance from simulation.


title: Large optical nonlinearity enhancement under electronic strong coupling

abstract: Nonlinear optical responses provide a powerful way to understand the microscopic interactions between laser fields and matter. They are critical for plenty of applications, such as in lasers, integrated photonic circuits, biosensing and medical tools. However, most materials exhibit weak optical nonlinearities or long response times when they interact with intense optical fields. Here, we strongly couple the exciton of organic molecules to an optical mode of a Fabry-Perot cavity, and achieve an enhancement of the nonlinear complex refractive index by two orders of magnitude compared with that of the uncoupled condition. Moreover, the coupled system shows an ultrafast response of ~120 fs that we extract from optical cross-correlation measurements. The ultrafast and large enhancement of the nonlinar coefficients in this work paves the way for exploring strong coupling effects on various third-order nonlinear optical phenomena and for technological applications.


title: CAT: A CTC-CRF based ASR Toolkit Bridging the Hybrid and the End-to-end Approaches towards Data Efficiency and Low Latency

abstract: In this paper, we present a new open source toolkit for speech recognition, named CAT (CTC-CRF based ASR Toolkit). CAT inherits the data-efficiency of the hybrid approach and the simplicity of the E2E approach, providing a full-fledged implementation of CTC-CRFs and complete training and testing scripts for a number of English and Chinese benchmarks. Experiments show CAT obtains state-of-the-art results, which are comparable to the fine-tuned hybrid models in Kaldi but with a much simpler training pipeline. Compared to existing non-modularized E2E models, CAT performs better on limited-scale datasets, demonstrating its data efficiency. Furthermore, we propose a new method called contextualized soft forgetting, which enables CAT to do streaming ASR without accuracy degradation. We hope CAT, especially the CTC-CRF based framework and software, will be of broad interest to the community, and can be further explored and improved.


title: A note on the Fredrickson-Andersen one spin facilitated model in stationarity

abstract: This note discusses two problems related to the Fredrickson-Andersen one spin facilitated model in stationarity. The first, considered in 2008 in a paper of Cancrini, Martinelli, Roberto and Toninelli, is the spectral gap of the model's infinitesimal generator. They study the decay of this spectral gap when the density is large, but in dimensions $3$ and higher, they do not find the exact exponent. They also show that the persistence function of the model has exponential tail, but the typical decay time is not analyzed. We will see that the correct exponent for the decay of the spectral gap in dimension $3$ and higher is $2$, and discover how the time over which the persistence function decays diverges in high densities. We also discuss the scaling of the spectral gap in finite graphs.


title: Multiplicative independence of modular functions

abstract: We provide a new, elementary proof of the multiplicative independence of pairwise distinct $\mathrm{GL}_2^+(\mathbb{Q})$-translates of the modular $j$-function, a result due originally to Pila and Tsimerman. We are thereby able to generalise this result to a wider class of modular functions. We show that this class includes a set comprising modular functions which arise naturally as Borcherds lifts of certain weakly holomorphic modular forms. For $f$ a modular function belonging to this class, we deduce, for each $n \geq 1$, the finiteness of $n$-tuples of distinct $f$-special points that are multiplicatively dependent and minimal for this property. This generalises a theorem of Pila and Tsimerman on singular moduli. We then show how these results relate to the Zilber--Pink conjecture for subvarieties of the mixed Shimura variety $Y(1)^n \times \mathbb{G}_{\mathrm{m}}^n$ and prove some special cases of this conjecture.


title: Holographic $s$-wave superconductors with conformal anomaly correction

abstract: We build a holographic $s$-wave conductor/superconductor model and an insulator/superconductor model in the four-dimensional conformal anomaly corrected~(CAC) AdS gravity. The effects of CAC parameter $\alpha$ are studied using both numerical and analytical methods in the probe approximation. Concretely, when the CAC parameter increases, the critical temperature increases for the conductor/superconductor phase transition, while the critical chemical potential decreases for the insulator/superconductor case, which suggests that the increasing CAC parameter enhances both superconducting phase transitions. Meanwhile, below the critical temperature or beyond the critical chemical potential, the scalar hair begins to condense, and the condensed phases are found to be thermodynamically stable. The critical behaviors obtained from numerics are confirmed by our analytical analysis. For the parameters we are considering, the energy gap in the conductor/superconductor model decreases monotonically by increasing the CAC parameter, while for the insulator/superconductor model the energy of quasiparticle excitations decreases with the CAC parameter.


title: The Mittag-Leffler function

abstract: We review the function theoretical properties of the Mittag-Leffler function $E_{a,b}\left( z\right) $ in a self-contained manner, but also add new results; more than half is new!


title: Memory Assessment of Versatile Video Coding

abstract: This paper presents a memory assessment of the next-generation Versatile Video Coding (VVC). The memory analyses are performed adopting as a baseline the state-of-the-art High-Efficiency Video Coding (HEVC). The goal is to offer insights and observations of how critical the memory requirements of VVC are aggravated, compared to HEVC. The adopted methodology consists of two sets of experiments: (1) an overall memory profiling and (2) an inter-prediction specific memory analysis. The results obtained in the memory profiling show that VVC access up to 13.4x more memory than HEVC. Moreover, the inter-prediction module remains (as in HEVC) the most resource-intensive operation in the encoder: 60%-90% of the memory requirements. The inter-prediction specific analysis demonstrates that VVC requires up to 5.3x more memory accesses than HEVC. Furthermore, our analysis indicates that up to 23% of such growth is due to VVC novel-CU sizes (larger than 64x64).


title: HyperLogLog Sketch Acceleration on FPGA

abstract: Data sketches are a set of widely used approximated data summarizing techniques. Their fundamental property is sub-linear memory complexity on the input cardinality, an important aspect when processing streams or data sets with a vast base domain (URLs, IP addresses, user IDs, etc.). Among the many data sketches available, HyperLogLog has become the reference for cardinality counting (how many distinct data items there are in a data set). Although it does not count every data item (to reduce memory consumption), it provides probabilistic guarantees on the result, and it is, thus, often used to analyze data streams. In this paper, we explore how to implement HyperLogLog on an FPGA to benefit from the parallelism available and the ability to process data streams coming from high-speed networks. Our multi-pipelined high-cardinality HyperLogLog implementation delivers 1.8x higher throughput than an optimized HyperLogLog running on a dual-socket Intel Xeon E5-2630 v3 system with a total of 16 cores and 32 hyper-threads.


title: Supervised convolutional neural networks for classification of flaring and nonflaring active regions using line-of-sight magnetograms

abstract: Solar flares are explosions in the solar atmosphere that release intense bursts of short-wavelength radiation and are capable of producing severe space-weather consequences. Flares release free energy built up in coronal fields, which are rooted in active regions (ARs) on the photosphere, via magnetic reconnection. The exact processes that lead to reconnection are not fully known and therefore reliable forecasting of flares is challenging. Recently, photospheric magnetic-field data has been extensively analysed using machine learning (ML) and these studies suggest that flare-forecasting accuracy does not strongly depend on how long in advance flares are predicted (Bobra & Couvidat 2015; Raboonik et al. 2017; Huang et al. 2018). Here, we use ML to understand the evolution of AR magnetic fields before and after flares. We explicitly train convolutional neural networks (CNNs) to classify SDO/HMI line-of-sight magnetograms into ARs producing at least one M- or X-class flare or as nonflaring. We find that flaring ARs remain in flare-productive states -- marked by recall >60% with a peak of ~ 80% -- days before and after flares. We use occlusion maps and statistical analysis to show that the CNN pays attention to regions between the opposite polarities from ARs and the CNN output is dominantly decided by the total unsigned line-of-sight flux of ARs. Using synthetic bipole magnetograms, we find spurious dependencies of the CNN output on magnetogram dimensions for a given bipole size. Our results suggest that it is important to use CNN designs that eliminate such artifacts in CNN applications for processing magnetograms and, in general, solar image data.


title: Enriched In-Order Linearization for Faster Sequence-to-Sequence Constituent Parsing

abstract: Sequence-to-sequence constituent parsing requires a linearization to represent trees as sequences. Top-down tree linearizations, which can be based on brackets or shift-reduce actions, have achieved the best accuracy to date. In this paper, we show that these results can be improved by using an in-order linearization instead. Based on this observation, we implement an enriched in-order shift-reduce linearization inspired by Vinyals et al. (2015)'s approach, achieving the best accuracy to date on the English PTB dataset among fully-supervised single-model sequence-to-sequence constituent parsers. Finally, we apply deterministic attention mechanisms to match the speed of state-of-the-art transition-based parsers, thus showing that sequence-to-sequence models can match them, not only in accuracy, but also in speed.


title: Optimal control of nonlinear systems with unsymmetrical input constraints and its applications to the UAV circumnavigation problem

abstract: In this paper, a novel design scheme is introduced to solve the optimal control problem for nonlinear systems with unsymmetrical and state-dependent input constraints. By introducing an initial stabilizing control policy as the baseline of the constructed optimal control policy, we remove the assumption in the current study for the adaptive optimal control, that is, the internal dynamics should hold zero when the state of the system is in the origin. Particularly, nonlinear control systems with partially-unknown dynamics are investigated and the procedure to acquire the corresponding optimal control policy is presented. The stability for the closed-loop dynamics and the optimality of the obtained control policy are both proved. Besides, we apply the proposed control design framework to solve the optimal circumnavigation problem based on the accumulative Fisher information for a fixed-wing unmanned aerial vehicle (UAV). The control performance of our algorithm is compared with that of the existing circumnavigation control policy in a numerical simulation.


title: Statistical mechanics of kinks on a gliding screw dislocation

abstract: The ability of a body-centered cubic metal to deform plastically is limited by the thermally activated glide motion of screw dislocations, which are line defects with a mobility exhibiting complex dependence on temperature, stress, and dislocation segment length. We derive an analytical expression for the velocity of dislocation glide, based on a statistical mechanics argument, and identify an apparent phase transition marked by a critical temperature above which the activation energy for glide effectively halves, changing from the formation energy of a double kink to that of a single kink. The analysis is in quantitative agreement with direct kinetic Monte Carlo simulations.


title: Joint Learning of Vessel Segmentation and Artery/Vein Classification with Post-processing

abstract: Retinal imaging serves as a valuable tool for diagnosis of various diseases. However, reading retinal images is a difficult and time-consuming task even for experienced specialists. The fundamental step towards automated retinal image analysis is vessel segmentation and artery/vein classification, which provide various information on potential disorders. To improve the performance of the existing automated methods for retinal image analysis, we propose a two-step vessel classification. We adopt a UNet-based model, SeqNet, to accurately segment vessels from the background and make prediction on the vessel type. Our model does segmentation and classification sequentially, which alleviates the problem of label distribution bias and facilitates training. To further refine classification results, we post-process them considering the structural information among vessels to propagate highly confident prediction to surrounding vessels. Our experiments show that our method improves AUC to 0.98 for segmentation and the accuracy to 0.92 in classification over DRIVE dataset.


title: Tackling the Problem of Large Deformations in Deep Learning Based Medical Image Registration Using Displacement Embeddings

abstract: Though, deep learning based medical image registration is currently starting to show promising advances, often, it still fells behind conventional frameworks in terms of registration accuracy. This is especially true for applications where large deformations exist, such as registration of interpatient abdominal MRI or inhale-to-exhale CT lung registration. Most current works use U-Net-like architectures to predict dense displacement fields from the input images in different supervised and unsupervised settings. We believe that the U-Net architecture itself to some level limits the ability to predict large deformations (even when using multilevel strategies) and therefore propose a novel approach, where the input images are mapped into a displacement space and final registrations are reconstructed from this embedding. Experiments on inhale-to-exhale CT lung registration demonstrate the ability of our architecture to predict large deformations in a single forward path through our network (leading to errors below 2 mm).


title: Aquareum: A Centralized Ledger Enhanced with Blockchain and Trusted Computing

abstract: Distributed ledger systems (i.e., blockchains) have received a lot of attention recently. They promise to enable mutually untrusted participants to execute transactions, while providing the immutability of the transaction history and censorship resistance. Although decentralized ledgers may become a disruptive innovation, as of today, they suffer from scalability, privacy, or governance issues. Therefore, they are inapplicable for many important use cases, where interestingly, centralized ledger systems quietly gain adoption and find new use cases. Unfortunately, centralized ledgers have also several drawbacks, like a lack of efficient verifiability or a higher risk of censorship and equivocation. In this paper, we present Aquareum, a novel framework for centralized ledgers removing their main limitations. By combining a trusted execution environment with a public blockchain platform, Aquareum provides publicly verifiable, non-equivocating, censorship-evident, private, and high-performance ledgers. Aquareum ledgers are integrated with a Turing-complete virtual machine, allowing arbitrary transaction processing logics, including tokens or client-specified smart contracts. Aquareum is fully implemented and deployment-ready, even with currently existing technologies.


title: Measurement of the $^{229}$Th isomer energy with a magnetic micro-calorimeter

abstract: We present a measurement of the low-energy (0--60$\,$keV) $\gamma$ ray spectrum produced in the $\alpha$-decay of $^{233}$U using a dedicated cryogenic magnetic micro-calorimeter. The energy resolution of $\sim$$10\,$eV, together with exceptional gain linearity, allow us to measure the energy of the low-lying isomeric state in $^{229}$Th using four complementary evaluation schemes. The most accurate scheme determines the $^{229}$Th isomer energy to be $8.10(17)\,$eV, corresponding to 153.1(37)$\,$nm, superseding in precision previous values based on $\gamma$ spectroscopy, and agreeing with a recent measurement based on internal conversion electrons. We also measure branching ratios of the relevant excited states to be $b_{29}=9.3(6)\%$ and $b_{42}=0.3(3)\%$.


title: Precise predictions for double-Higgs production via vector-boson fusion

abstract: Theoretical predictions with next-to-next-to-leading order (NNLO) QCD accuracy combined with the next-to-leading order (NLO) electroweak (EW) corrections are presented for differential observables of the double-Higgs production process via vector-boson fusion. While the QCD corrections were previously known, the EW ones are computed here for the first time. The numerical results are obtained for a realistic experimental set-up at the LHC and are presented in the form of fiducial cross sections and differential distributions. Within this setup we find that the VBF approximation employed in the NNLO QCD correction is accurate at the sub-percent level. We find that the NLO EW corrections within the fiducial volume are $-6.1\%$, making them of almost the same order as the NLO QCD corrections. In some kinematic regions they can grow as large as $-30\%$ making them the dominant radiative corrections. When the EW corrections are combined with the NNLO QCD corrections we find a total correction of $-14.8\%$. The results presented here thus comprise the state-of-the-art theoretical predicition for the double-Higgs production via vector-boson fusion, which will be of value to the high-luminosity programme at the LHC.


title: Towards an Open Platform for Legal Information

abstract: Recent advances in the area of legal information systems have led to a variety of applications that promise support in processing and accessing legal documents. Unfortunately, these applications have various limitations, e.g., regarding scope or extensibility. Furthermore, we do not observe a trend towards open access in digital libraries in the legal domain as we observe in other domains, e.g., economics of computer science. To improve open access in the legal domain, we present our approach for an open source platform to transparently process and access Legal Open Data. This enables the sustainable development of legal applications by offering a single technology stack. Moreover, the approach facilitates the development and deployment of new technologies. As proof of concept, we implemented six technologies and generated metadata for more than 250,000 German laws and court decisions. Thus, we can provide users of our platform not only access to legal documents, but also the contained information.


title: Properties of large-amplitudes vibrations in dynamical systems with discrete symmetry. Geometrical aspects

abstract: The research group from the Rostov State University has been developing the theory of bushes of nonlinear normal modes (NNMs) in Hamiltonian systems with discrete symmetry since the late 90s of the last century. Group-theoretical methods for studying large-amplitude atomic vibrations in molecular and crystal structures were developed. Each bush represents a certain collection of vibrational modes, which do not change in time despite the time evolution of these modes, and the energy of the initial excitation remains trapped in the bush. Any bush is characterized by its symmetry group, which is a subgroup of the system's symmetry group. The modes contained in the given bush are determined by symmetry-related methods and do not depend on the interatomic interactions in the considered system. The irreducible representations of the point and space groups are essentially used in the theory of the bushes of NNMs, and this theory can be considered as a generalization of the well-known Wigner classification of the small-amplitude vibrations in molecules and crystals for the case of large-amplitudes vibrations. Since using of the irreducible representations of the symmetry groups can be an obstacle to an initial familiarization with the bush theory, in the present review, we explain the basic concepts of this theory only with the aid of the ordinary normal modes, which is well known from the standard textbooks considering the theory of small atomic vibrations in mechanical systems. Our description is based on the example of describing plane nonlinear atomic vibrations of a simple square molecule.


title: Transition-based Semantic Dependency Parsing with Pointer Networks

abstract: Transition-based parsers implemented with Pointer Networks have become the new state of the art in dependency parsing, excelling in producing labelled syntactic trees and outperforming graph-based models in this task. In order to further test the capabilities of these powerful neural networks on a harder NLP problem, we propose a transition system that, thanks to Pointer Networks, can straightforwardly produce labelled directed acyclic graphs and perform semantic dependency parsing. In addition, we enhance our approach with deep contextualized word embeddings extracted from BERT. The resulting system not only outperforms all existing transition-based models, but also matches the best fully-supervised accuracy to date on the SemEval 2015 Task 18 English datasets among previous state-of-the-art graph-based parsers.


title: Some remarks on the metrizability of some well known generalized metric-like structures

abstract: In \cite[\, An, V.T., Tuyen, Q.L. and Dung, V.N., Stone-type theorem on $b$-metric spaces and applications, Topology Appl. 185-186 (2015), 50-64.]{an}, An et al. had provided a sufficient condition for $b$-metric spaces to be metrizable. However, their proof of metrizability relied on an assumption that the distance function is continuous in one variable. In this short note, we improve upon this result in a more simplified way without considering any assumption on the distance function. Moreover, we provide two shorter proofs of the metrizability of $\mathcal{F}$-metric spaces recently introduced by Jleli and Samet in \cite[\, Jleli, M. and Samet, B., On a new generalization of metric spaces, J. Fixed Point Theory Appl. (2018) 20:128]{JS1}. Lastly, in this short note, we give an alternative proof of the metrizability of $\theta$-metric spaces introduced by Khojasteh et al. in \cite[\, Khojasteh, F., Karapinar, E. and Radenovic, S., $\theta$-metric space: A Generalization, Math. Probl. Eng. Volume 2013, Article 504609, 7 pages]{ks}.


title: ALMA 26 arcmin$^2$ survey of GOODS-S at one-millimeter (ASAGAO): millimeter properties of stellar mass selected galaxies

abstract: We make use of the ASAGAO, deep 1.2 mm continuum observations of a 26 arcmin$^2$ region in the GOODS-South field obtained with ALMA, to probe dust-enshrouded star formation in $K$-band selected (i.e., stellar mass selected) galaxies, which are drawn from the ZFOURGE catalog. Based on the ASAGAO combined map, which was created by combining ASAGAO and ALMA archival data in the GOODS-South field, we find that 24 ZFOURGE sources have 1.2 mm counterparts with a signal-to-noise ratio $>$ 4.5 (1$\sigma\simeq$ 30 - 70 $\mu$Jy beam$^{-1}$ at 1.2 mm). Their median redshift is estimated to be $z_\mathrm{median}=$ 2.38 $\pm$ 0.14. They generally follow the tight relationship of the stellar mass versus star formation rate (i.e., the main sequence of star-forming galaxies). ALMA-detected ZFOURGE sources exhibit systematically larger infrared (IR) excess (IRX $\equiv L_\mathrm{IR}/L_\mathrm{UV}$) compared to ZFOURGE galaxies without ALMA detections even though they have similar redshifts, stellar masses, and star formation rates. This implies the consensus stellar-mass versus IRX relation, which is known to be tight among rest-frame-UV-selected galaxies, can not fully predict the ALMA detectability of stellar-mass-selected galaxies. We find that ALMA-detected ZFOURGE sources are the main contributors to the cosmic IR star formation rate density at $z$ = 2 - 3.


title: Scaling equations for mode-coupling theories with multiple decay channels

abstract: Multiple relaxation channels often arise in the dynamics of liquids where the momentum current associated to the particle-conservation law splits into distinct contributions. Examples are strongly confined liquids for which the currents in lateral and longitudinal direction to the walls are very different, or fluids of nonspherical particles with distinct relaxation patterns for translational and rotational degrees of freedom. Here, we perform an asymptotic analysis of the slow structural relaxation close to kinetic arrest as described by mode-coupling theory (MCT) with several relaxation channels. Compared to standard MCT, the presence of multiple relaxation channels significantly changes the structure of the underlying equations of motion and leads to additional, non-trivial terms in the asymptotic solution. We show that the solution can be rescaled, and thus prove that the well-known $ \beta $-scaling equation of MCT remains valid even in the presence of multiple relaxation channels. The asymptotic treatment is validated using a novel schematic model. We demonstrate that the numerical solution of this schematic model can indeed be described by the derived asymptotic scaling laws close to kinetic arrest. Additionally, clear traces of the existence of two distinct decay channels are found in the low-frequency susceptibility spectrum, suggesting that clear footprints of the additional relaxation channels can in principle be detected in simulations or experiments of confined or molecular liquids.


title: Thermo-Optic Properties of Silicon-Rich Silicon Nitride for On-chip Applications

abstract: We demonstrate the thermo-optic properties of silicon-rich silicon nitride (SRN) films deposited using plasma-enhanced chemical vapor deposition (PECVD). Shifts in the spectral response of Mach-Zehnder Interferometers (MZIs) as a function of temperature were used to characterize the thermo-optic coefficients of silicon nitride films with varying silicon contents. A clear relation is demonstrated between the silicon content and the exhibited thermo-optic coefficient in silicon nitride films, with the highest achievable coefficient being as high as (1.65+/-0.08) x 10-4 K-1. Furthermore, we realize an SRN Multi-Mode Interferometer (MMI) based thermo-optic switch with over 20 dB extinction ratio and total power consumption for two-port switching of 50 mW.


title: $\widehat{Z}$ at large $N$: from curve counts to quantum modularity

abstract: Reducing a 6d fivebrane theory on a 3-manifold $Y$ gives a $q$-series 3-manifold invariant $\widehat{Z}(Y)$. We analyse the large-$N$ behaviour of $F_K=\widehat{Z}(M_K)$, where $M_K$ is the complement of a knot $K$ in the 3-sphere, and explore the relationship between an $a$-deformed ($a=q^N$) version of $F_{K}$ and HOMFLY-PT polynomials. On the one hand, in combination with counts of holomorphic annuli on knot complements, this gives an enumerative interpretation of $F_K$ in terms of counts of open holomorphic curves. On the other, it leads to closed form expressions for $a$-deformed $F_K$ for $(2,2p+1)$-torus knots. They suggest a further $t$-deformation based on superpolynomials, which can be used to obtain a $t$-deformation of ADO polynomials, expected to be related to categorification. Moreover, studying how $F_K$ transforms under natural geometric operations on $K$ indicates relations to quantum modularity in a new setting.


title: Stabilized leapfrog based local time-stepping method for the wave equation

abstract: Local time-stepping methods permit to overcome the severe stability constraint on explicit methods caused by local mesh refinement without sacrificing explicitness. In \cite{DiazGrote09}, a leapfrog based explicit local time-stepping (LF-LTS) method was proposed for the time integration of second-order wave equations. Recently, optimal convergence rates were proved for a conforming FEM discretization, albeit under a CFL stability condition where the global time-step, $\Delta t$, depends on the smallest elements in the mesh \cite{grote_sauter_1}. In general one cannot improve upon that stability constraint, as the LF-LTS method may become unstable at certain discrete values of $\Delta t$. To remove those critical values of $\Delta t$, we apply a slight modification (as in recent work on LF-Chebyshev methods \cite{CarHocStu19}) to the original LF-LTS method which nonetheless preserves its desirable properties: it is fully explicit, second-order accurate, satisfies a three-term (leapfrog like) recurrence relation, and conserves the energy. The new stabilized LF-LTS method also yields optimal convergence rates for a standard conforming FE discretization, yet under a CFL condition where $\Delta t$ no longer depends on the mesh size inside the locally refined region.


title: Inducing anisotropies in Dirac fermions by periodic driving

abstract: We consider the three-dimensional Hamiltonian for Bi$_2$Se$_3$, a second-generation topological insulator, under the effect of a periodic drive for both in-plane and out-of-plane fields. As it will be shown by means of high-frequency expansions up to second order in the Floquet Hamiltonian, the driving induces anisotropies in the Dirac cone and opens up a quasienergy gap for in-plane elliptically polarized fields. Analytic expressions are obtained for the renormalized velocities and the quasienergy gap. These expressions are then compared to numerical calculations performed by discretizing the Hamiltonian in a one-dimensional lattice and following a staggered fermion approach, achieving a remarkable agreement. We believe our work may have an impact on the transport properties of topological insulators.


title: Graph Neural Network for Hamiltonian-Based Material Property Prediction

abstract: Development of next-generation electronic devices for applications call for the discovery of quantum materials hosting novel electronic, magnetic, and topological properties. Traditional electronic structure methods require expensive computation time and memory consumption, thus a fast and accurate prediction model is desired with increasing importance. Representing the interactions among atomic orbitals in any material, a material Hamiltonian provides all the essential elements that control the structure-property correlations in inorganic compounds. Effective learning of material Hamiltonian by developing machine learning methodologies therefore offers a transformative approach to accelerate the discovery and design of quantum materials. With this motivation, we present and compare several different graph convolution networks that are able to predict the band gap for inorganic materials. The models are developed to incorporate two different features: the information of each orbital itself and the interaction between each other. The information of each orbital includes the name, relative coordinates with respect to the center of super cell and the atom number, while the interaction between orbitals are represented by the Hamiltonian matrix. The results show that our model can get a promising prediction accuracy with cross-validation.


title: Threshold-based rerouting and replication for resolving job-server affinity relations

abstract: We consider a system with several job types and two parallel server pools. Within the pools the servers are homogeneous, but across pools possibly not in the sense that the service speed of a job may depend on its type as well as the server pool. Immediately upon arrival, jobs are assigned to a server pool. This could be based on (partial) knowledge of their type, but such knowledge might not be available. Information about the job type can however be obtained while the job is in service; as the service progresses, the likelihood that the service speed of this job type is low increases, creating an incentive to execute the job on different, possibly faster, server(s). Two policies are considered: reroute the job to the other server pool, or replicate it there. We determine the effective load per server under both the rerouting and replication policy for completely unknown as well as partly known job types. We also examine the impact of these policies on the stability bound, and find that the uncertainty in job types may significantly degrade the performance. For (highly) unbalanced service speeds full replication achieves the largest stability bound while for (nearly) balanced service speeds no replication maximizes the stability bound. Finally, we discuss how the use of threshold-based policies can help improve the expected latency for completely or partly unknown job types.


title: The Navier-Stokes equation with time quasi-periodic external force: existence and stability of quasi-periodic solutions

abstract: We prove the existence of small amplitude, time-quasi-periodic solutions (invariant tori) for the incompressible Navier-Stokes equation on the $d$-dimensional torus $\T^d$, with a small, quasi-periodic in time external force. We also show that they are orbitally and asymptotically stable in $H^s$ (for $s$ large enough). More precisely, for any initial datum which is close to the invariant torus, there exists a unique global in time solution which stays close to the invariant torus for all times. Moreover, the solution converges asymptotically to the invariant torus for $t \to + \infty$, with an exponential rate of convergence $O( e^{- \alpha t })$ for any arbitrary $\alpha \in (0, 1)$.


title: Farthest Point Problem and Partial Statistical Continuity in Normed Linear Spaces

abstract: In this paper, we prove that if $E$ is a uniquely remotal subset of a real normed linear space $X$ such that $E$ has a Chebyshev center $c \in X$ and the farthest point map $F:X\rightarrow E$ restricted to $[c,F(c)]$ is partially statistically continuous at $c$, then $E$ is a singleton. We obtain a necessary condition on uniquely remotal subsets of uniformly rotund Banach spaces to be a singleton. Moreover, we show that there exists a remotal set $M$ having a Chebyshev center $c$ such that the farthest point map $F:\mathbb{R}\rightarrow M$ is not continuous at $c$ but is partially statistically continuous there in the multivalued sense.


title: Homogenization of quasi-crystalline functionals via two-scale-cut-and-project convergence

abstract: We consider a homogenization problem associated with quasi-crystalline multiple integrals of the form \begin{equation*} \begin{aligned} u_\varepsilon\in L^p(\Omega;\mathbb{R}^d) \mapsto \int_\Omega f_R\Big(x,\frac{x}{\varepsilon}, u_\varepsilon(x)\Big)\, dx, \end{aligned} \end{equation*} where $u_\varepsilon$ is subject to constant-coefficient linear partial differential constraints. The quasi-crystalline structure of the underlying composite is encoded in the dependence on the second variable of the Lagrangian, $f_R$, and is modeled via the cut-and-project scheme that interprets the heterogeneous microstructure to be homogenized as an irrational subspace of a higher-dimensional space. A key step in our analysis is the characterization of the quasi-crystalline two-scale limits of sequences of the vector fields $u_\varepsilon$ that are in the kernel of a given constant-coefficient linear partial differential operator, $\mathcal{A}$, that is, $\mathcal{A} u _\varepsilon =0$. Our results provide a generalization of related ones in the literature concerning the ${\rm \mathcal{A} =curl } $ case to more general differential operators $\mathcal{A}$ with constant coefficients, and without coercivity assumptions on the Lagrangian $f_R$.