title: Space-Time Computation and Visualization of the Electromagnetic Fields and Potentials Generated by Moving Point Charges

abstract: We present a computational methodology to directly calculate and visualize the directional components of the Coulomb, radiation, and total electromagnetic fields, as well as the scalar and vector potentials, generated by moving point charges in arbitrary motion with varying speeds. Our method explicitly calculates the retarded time of the point charge along a discretized grid which is then used to determine the fields and potentials. The computational approach, implemented in Python, provides an intuitive understanding of the electromagnetic waves generated by moving point charges and can be used as a pedagogical tool for undergraduate and graduate-level electromagnetic theory courses. Our computer code, freely available for download, can also approximate complicated time-varying continuous charge and current densities, and can be used in conjunction with grid-based numerical modeling methods to solve real-world computational electromagnetics problems, such as experiments with high-energy electron sources. We simulate and discuss several interesting example applications and lab experiments including electric and magnetic dipoles, oscillating and linear accelerating point charges, synchrotron radiation, and Bremsstrahlung.


title: A random batch Ewald method for particle systems with Coulomb interactions

abstract: We develop a random batch Ewald (RBE) method for molecular dynamics simulations of particle systems with long-range Coulomb interactions, which achieves an $O(N)$ complexity in each step of simulating the $N$-body systems. The RBE method is based on the Ewald splitting for the Coulomb kernel with a random "mini-batch" type technique introduced to speed up the summation of the Fourier series for the long-range part of the splitting. Importance sampling is employed to reduce the induced force variance by taking advantage of the fast decay property of the Fourier coefficients. The stochastic approximation is unbiased with controlled variance. Analysis for bounded force fields gives some theoretic support of the method. Simulations of two typical problems of charged systems are presented to illustrate the accuracy and efficiency of the RBE method in comparison to the results from the Debye-H\"uckel theory and the classical Ewald summation, demonstrating that the proposed method has the attractiveness of being easy to implement with the linear scaling and is promising for many practical applications.


title: Statistical modelling of the cosmological dispersion measure

abstract: We have investigated the basic statistics of the cosmological dispersion measure (DM) -- such as its mean, variance, probability distribution, angular power spectrum and correlation function -- using the state-of-the-art hydrodynamic simulations, IllustrisTNG300, for the fast radio burst (FRB) cosmology. To model the DM statistics, we first measured the free-electron abundance and the power spectrum of its spatial fluctuations. The free-electron power spectrum turns out to be consistent with the dark matter power spectrum at large scales, but it is strongly damped at small scales ($\lesssim 1$Mpc) owing to the stellar and active galactic nucleus feedback. The free-electron power spectrum is well modelled using a scale-dependent bias factor (the ratio of its fluctuation amplitude to that of the dark matter). We provide analytical fitting functions for the free-electron abundance and its bias factor. We next constructed mock sky maps of the DM by performing standard ray-tracing simulations with the TNG300 data. The DM statistics are calculated analytically from the fitting functions of the free-electron distribution, which agree well with the simulation results measured from the mock maps. We have also obtained the probability distribution of source redshift for a given DM, which helps in identifying the host galaxies of FRBs from the measured DMs. The angular two-point correlation function of the DM is described by a simple power law, $\xi(\theta) \approx 2400 (\theta/{\rm deg})^{-1} \, {\rm pc}^2 \, {\rm cm}^{-6}$, which we anticipate will be confirmed by future observations when thousands of FRBs are available.


title: Lyapunov-type inequalities for a Sturm-Liouville problem of the one-dimensional $p$-Laplacian

abstract: This article considers the eigenvalue problem for the Sturm-Liouville problem including $p$-Laplacian \begin{align*} \begin{cases} \left(\vert u'\vert^{p-2}u'\right)'+\left(\lambda+r(x)\right)\vert u\vert ^{p-2}u=0,\,\, x\in (0,\pi_{p}),\\ u(0)=u(\pi_{p})=0, \end{cases} \end{align*} where $1<p<\infty$, $\pi_{p}$ is the generalized $\pi$ given by $\pi_{p}=2\pi/\left(p\sin(\pi/p)\right)$, $r\in C[0,\pi_{p}]$ and $\lambda<p-1$. Sharp Lyapunov-type inequalities, which are necessary conditions for the existence of nontrivial solutions of the above problem are presented. Results are obtained through the analysis of variational problem related to a sharp Sobolev embedding and generalized trigonometric and hyperbolic functions.


title: Vacuum polarization on topological black holes with Robin boundary conditions

abstract: We compute the renormalized vacuum polarization for a massless, conformally coupled scalar field on asymptotically anti-de Sitter black hole backgrounds. Mixed (Robin) boundary conditions are applied on the spacetime boundary. We consider black holes with nonspherical event horizon topology as well as spherical event horizons. The quantum scalar field is in the Hartle-Hawking state, and we employ Euclidean methods to calculate the renormalized expectation values. Far from the black hole, we find that the vacuum polarization approaches a finite limit, which is the same for all boundary conditions except Dirichlet boundary conditions.


title: Symbolic analysis of second-order ordinary differential equations with polynomial coefficients

abstract: The singularity structure of a second-order ordinary differential equation with polynomial coefficients often yields the type of solution. It is shown that the $\theta$-operator method can be used as a symbolic computational approach to obtain the indicial equation and the recurrence relation. Consequently, the singularity structure leads to the transformations that yield a solution in terms of a special function, if the equation is suitable. Hypergeometric and Heun-type equations are mostly employed in physical applications. Thus only these equations and their confluent types are considered with SageMath routines which are assembled in the open-source package symODE2.


title: Study of the low-order $\Delta\nu$-${\bar \rho}$ relation for moderately-rotating $\delta$ Scuti stars and its impact on their characterisation

abstract: The large separation in the low radial order regime is considered as a highly valuable observable to derive mean densities of $\delta$ Scuti stars, due to its independence with rotation. Up to now, theoretical studies of this $\Delta\nu$-${\bar \rho}$ relation have been limited to 1D non-rotating models, and 2D pseudo-evolutionary models. The present work aims at completing this scenario by investigating quantitatively the impact of rotation in this relation on a large grid of 1D asteroseismic models representative of $\delta$ Scuti stars. These include rotation effects on both the stellar evolution and the interaction with pulsation. This allowed us to compute the stellar deformation, get the polar and equatorial radii, and correct the stellar mean densities. We found that the new $\Delta\nu$-${\bar \rho}$ relation for rotating models is compatible with previous works. We explained the dispersion of the points around the linear fits as caused mainly by the distribution of the stellar mass, and partially by the evolutionary stage. The new fit is found to be close to the previous theoretical studies for lower masses ($1.3-1.81\,\mathrm{M}_{\odot}$). However, the opposite holds for the observations: for the higher masses ($1.81-3\,\mathrm{M}_{\odot}$) the fit is more compatible with the empirical relation. We applied these results to characterise the two well-known $\delta$ Scuti stars observed by CoRoT, HD174936 and HD174966, and compared the physical parameters with those of previous works. Inclusion of rotation in the modelling causes a tendency towards greater masses, radii, luminosities and lower density values. Comparison between $\Delta\nu$ and Gaia's luminosities also allowed us to constraint the inclination angles and rotational velocities of both stars. The present results pave the way to systematically constrain the angle of inclination of $\delta$ Scuti stars


title: Coupling techniques for nonlinear hyperbolic equations. II. Resonant interfaces with internal structure

abstract: In the first part of this series, an augmented PDE system was introduced in order to couple two nonlinear hyperbolic equations together. This formulation allowed the authors, based on Dafermos's self-similar viscosity method, to establish the existence of self-similar solutions to the coupled Riemann problem. We continue here this analysis in the {restricted} case of one-dimensional scalar equations and investigate the internal structure of the interface in order to derive a selection criterion associated with the underlying regularization mechanism and, in turn, to characterize the nonconservative interface layer. In addition, we identify a new criterion that selects double-waved solutions that are also continuous at the interface. We conclude by providing some evidence that such solutions can be non-unique when dealing with non-convex flux-functions.


title: Controllability of two-point boundary value problem for wave equations in $L^1$ and $L^2$ spaces: One dimensional case

abstract: In this paper we discuss the controllability of two-point boundary value problem (TBVP) for one-dimensional wave equation. Some new concepts are introduced: TBVP input control problem, minimum-input solution (MS) and pre-minimum-input solution (PMS). We set the metric in $L^1$ and $L^2$ spaces on a closed set, and control the input to reach its minimum. And we mainly discuss the property of input, the existence and uniqueness of MS and PMS for $L^1$ and $L^2$ metric respectively. The minimum inputs lie on a strip in $L^1$ and PMS for $L^1$ and $L^2$ always exists. Furthermore, to construct PMS, we also introduce an approximation method which meets certain conditions.


title: Facial gesture interfaces for expression and communication

abstract: Considerable effort has been devoted to the automatic extraction of information about action of the face from image sequences. Within the context of human-computer interaction (HCI) we may distinguish systems that allow expression from those which aim at recognition. Most of the work in facial action processing has been directed at automatically recognizing affect from facial actions. By contrast, facial gesture interfaces, which respond to deliberate facial actions, have received comparatively little attention. This paper reviews several projects on vision-based interfaces that rely on facial action for intentional HCI. Applications to several domains are introduced, including text entry, artistic and musical expression and assistive technology for motor-impaired users.


title: Statistical Assessment of Safety Levels of Railway Operators

abstract: Recently the European Union Agency for Railways (ERA) has received a mandate for 'the development of common safety methods for assessing the safety level and the safety performance of railway operators at national and Union level'. Currently, several methods are under development. It is of interest how a possible candidate would behave and what would be the advantages and disadvantages of a particular method. In this paper, we study a version of the procedure. On the one hand side we analyze it based on the theory of mathematical statistics. As a result, we present a statistically efficient method the rate-ratio test based on a quantity that has smaller variance than the quantity handled by the ERA. Then, we support the theoretical results with the help of a simple simulation study in order to estimate failure probabilities of the first and second kinds. We construct such alternative distributions which the decision procedure cannot distinguish. We will show that the use of procedures that are optimal in the sense of mathematical statistics combined with the use of a characteristics that has small spread, here the number of accidents, is advantageous.


title: A Course on Controllers

abstract: Over the last four years, we have developed a series of lectures, labs and project assignments aimed at introducing enough technology so that students from a mix of disciplines can design and build innovative interface devices.


title: Problems and Prospects for Intimate Musical Control of Computers

abstract: In this paper we describe our efforts towards the development of live performance computer-based musical instrumentation. Our design criteria include initial ease of use coupled with a long term potential for virtuosity, minimal and low variance latency, and clear and simple strategies for programming the relationship between gesture and musical result. We present custom controllers and unique adaptations of standard gestural interfaces, a programmable connectivity processor, a communications protocol called Open Sound Control (OSC), and a variety of metaphors for musical control. We further describe applications of our technology to a variety of real musical performances and directions for future research.


title: Input Devices for Musical Expression: Borrowing Tools from HCI

abstract: This paper reviews the existing literature on input device evaluation and design in human-computer interaction (HCI) and discusses possible applications of this knowledge to the design and evaluation of new interfaces for musical expression. Specifically, a set of musical tasks is suggested to allow the evaluation of different existing controllers.


title: Resonant Processing of Instrumental Sound Controlled by Spatial Position

abstract: We present an acoustic musical instrument played through a resonance model of another sound. The resonance model is controlled in real time as part of the composite instrument. Our implementation uses an electric violin, whose spatial position modifies filter parameters of the resonance model. Simplicial interpolation defines the mapping from spatial position to filter parameters. With some effort, pitch tracking can also control the filter parameters. The individual technologies -- motion tracking, pitch tracking, resonance models -- are easily adapted to other instruments.


title: On the complete metrisability of spaces of contractive semigroups

abstract: The space of unitary $C_{0}$-semigroups on separable infinite dimensional Hilbert space, when viewed under the topology of uniform weak convergence on compact subsets of $\mathbb{R}_{+}$, is known to admit various interesting residual subspaces. Before treating the contractive case, the problem of the complete metrisability of this space was raised in [Eisner, 2010]. Utilising Borel complexity computations and automatic continuity results for semigroups, we obtain a general result, which in particular implies that the one-/multiparameter contractive $C_{0}$-semigroups constitute Polish spaces and thus positively addresses the open problem.


title: The Accordiatron: A MIDI Controller For Interactive Music

abstract: The Accordiatron is a new MIDI controller for real-time performance based on the paradigm of a conventional squeeze box or concertina. It translates the gestures of a performer to the standard communication protocol of MIDI, allowing for flexible mappings of performance data to sonic parameters. When used in conjunction with a realtime signal processing environment, the Accordiatron becomes an expressive, versatile musical instrument. A combination of sensory outputs providing both discrete and continuous data gives the subtle expressiveness and control necessary for interactive music.


title: Tangible Music Interfaces Using Passive Magnetic Tags

abstract: The technologies behind passive resonant magnetically coupled tags are introduced and their application as a musical controller is illustrated for solo or group performances, interactive installations, and music toys.


title: Body, Clothes, Water, and Toys: Media Towards Natural Music Expressions with Digital Sounds

abstract: In this paper, we introduce our research challenges for creating new musical instruments using everyday-life media with intimate interfaces, such as the self-body, clothes, water and stuffed toys. Various sensor technologies including image processing and general touch sensitive devices are employed to exploit these interaction media. The focus of our effort is to provide user-friendly and enjoyable experiences for new music and sound performances. Multimodality of musical instruments is explored in each attempt. The degree of controllability in the performance and the richness of expressions are also discussed for each installation.


title: The MATRIX: A Novel Controller for Musical Expression

abstract: The MATRIX (Multipurpose Array of Tactile Rods for Interactive eXpression) is a new musical interface for amateurs and professionals alike. It gives users a 3- dimensional tangible interface to control music using their hands, and can be used in conjunction with a traditional musical instrument and a microphone, or as a stand-alone gestural input device. The surface of the MATRIX acts as a real-time interface that can manipulate the parameters of a synthesis engine or effect algorithm in response to a performer's expressive gestures. One example is to have the rods of the MATRIX control the individual grains of a granular synthesizer, thereby "sonically sculpting" the microstructure of a sound. In this way, the MATRIX provides an intuitive method of manip


title: Creating Contexts of Creativity: Musical Composition with Modular Components

abstract: This paper describes a series of projects that explore the possibilities of musical expression through the combination of pre-composed, interlocking, modular components. In particular, this paper presents a modular soundtrack recently composed by the author for "Currents of Creativity," a permanent interactive video wall installation at the Pope John Paul II Cultural Center which is slated to open Easter 2001 in Washington, DC.


title: New Musical Interfaces and New Music-making Paradigms

abstract: The conception and design of new musical interfaces is a multidisciplinary area that tightly relates technology and artistic creation. In this paper, the author first exposes some of the questions he has posed himself during more than a decade experience as a performer, composer, interface and software designer, and educator. Finally, he illustrates these topics with some examples of his work.


title: Chiral extrapolation of the magnetic polarizability of the neutral pion

abstract: The magnetic polarizability of the neutral pion has been calculated in the background magnetic-field formalism of Lattice QCD. In this investigation, the chiral extrapolation of these lattice results is considered in a formalism preserving the exact leading nonanalytic terms of chiral perturbation theory. The $n_f = 2 + 1$ numerical simulations are electro-quenched, such that the virtual sea-quarks of the QCD vacuum do not interact with the background field. To understand the impact of this, we draw on partially quenched chiral perturbation theory and identify the leading contributions of quark-flow connected and disconnected diagrams. While electro-quenching does not impact the leading-loop contribution to the magnetic polarizability, the loops which generate the leading term have yet to be considered in lattice QCD simulations. Lattice QCD results are used to constrain the analytic terms in the chiral expansion and supplementing those with the two-loop result from chiral perturbation theory enables an evaluation of the polarizability at the physical quark mass. The resulting magnetic polarizability of the neutral pion is $\beta_{\pi^0}=3.44(19)^{\rm stat}(37)^{\rm syst}\times 10^{-4}$ fm$^3$, which lies just above the $1 \sigma$ error bound of the experimental measurement.


title: The efficiency of simple Quantum Engine Stirling and Ericsson cycle

abstract: The quantum engine cycle serves as an analogous representation of the macroscopic nature of heat engines and the quantum regime of thermal devices composed of a single element. In this work, we follow the formalism of a quantum engine proposed by Bender et al. [1] where they observed quantum Carnot cycle with a single particle of mass m confined to an infinite one-dimensional potential well of width L as a working medium. Using this model, a quantum-mechanical analogue of the Stirling cycle [SC] and Ericsson cycle [EC] have been constructed through changes of both, the width of the well and its quantum state. The efficiency of quantum engines is derived, which is found to be analogous to classical thermodynamic engines. Keywords: Quantum thermodynamics, Quantum mechanics, Ericsson cycle, Stirling cycle, Quantum heat engines, Nano-engines.


title: DNS Covert Channel Detection via Behavioral Analysis: a Machine Learning Approach

abstract: Detecting covert channels among legitimate traffic represents a severe challenge due to the high heterogeneity of networks. Therefore, we propose an effective covert channel detection method, based on the analysis of DNS network data passively extracted from a network monitoring system. The framework is based on a machine learning module and on the extraction of specific anomaly indicators able to describe the problem at hand. The contribution of this paper is two-fold: (i) the machine learning models encompass network profiles tailored to the network users, and not to the single query events, hence allowing for the creation of behavioral profiles and spotting possible deviations from the normal baseline; (ii) models are created in an unsupervised mode, thus allowing for the identification of zero-days attacks and avoiding the requirement of signatures or heuristics for new variants. The proposed solution has been evaluated over a 15-day-long experimental session with the injection of traffic that covers the most relevant exfiltration and tunneling attacks: all the malicious variants were detected, while producing a low false-positive rate during the same period.


title: On the paths of steepest descent for the norm of a one variable complex polynomial

abstract: We consider paths of steepest descent, in the complex plane, for the norm of a non-constant one variable polynomial $f$. We show that such paths, starting from a zero of the logarithmic derivative of $f$ and ending in a root of $f$, draw a tree in the complex plane, and we give an upper bound estimate on their lengths. In some cases, we obtain a finer estimate that depends only on the set of roots of $f$, not on their multiplicity, and we wonder if this can be done in general. We also extend this question to finite Blaschke products for the unit disk.


title: Dirac series for complex classical Lie groups: A multiplicity-one theorem

abstract: This paper computes the Dirac cohomology $H_D(\pi)$ of irreducible unitary Harish-Chandra modules $\pi$ of complex classical groups viewed as real reductive groups. More precisely, unitary representations with nonzero Dirac cohomology are shown to be unitarily induced from unipotent representations. When nonzero, there is a unique, multiplicity free $K-$type in $\pi$ contributing to $H_D(\pi)$. This confirms conjectures formulated by the first named author and Pandzic in 2011.


title: A novel theoretical approach for the study of resonances in weakly bound systems

abstract: In this paper, a novel theoretical scheme is presented to investigate resonant levels in weakly bound nuclear systems by the use of isospectral potentials. In this scheme, a new potential is constructed which is strictly isospectral with the original shallow-well potential and has properties that are desirable to calculate resonances more accurately and easier. Effectiveness of the method has been had been demonstrated in terms of its application to the first $0^+$ resonances in the neutron-rich isotopes $^A$C ($\equiv ^{A-2}$C+n+n) in the three-body cluster model for A=18, 20.


title: Laser-microstructured ZnO/p-Si photodetector with enhanced and broadband responsivity across the UV-Vis-NIR

abstract: We develop ZnO/p-Si photodetectors by atomic layer deposition (ALD) of ZnO thin films on laser-microstructured silicon and we investigate their electrical and optical behavior, demonstrating high sensitivity and broadband operation. Microstructured p-type silicon was obtained by ns-laser irradiation in SF6 gas, which results in the formation of quasi-ordered and uniform microspikes on the silicon surface. The irradiated silicon contains sulfur impurities, which extend its absorbance to the near infrared. A thin film of ZnO was conformally deposited on the microstructured silicon substrates by ALD. Photoluminescence measurements indicate high crystalline quality of the ZnO film after annealing. Current-voltage (I-V) measurements of the ZnO/p-Si heterodiodes in dark show a non-linear behavior with unusual high current values in reverse bias. Under illumination photocurrent is observed for reverse bias, even for wavelengths below the silicon bandgap in the case of the laser-microstructured photodetectors. Higher current values are measured for the microstructured photodetectors, compared to planar ones. Photoconductivity measurements show enhanced responsivity across the UV-Vis-NIR spectral range for the laser-microstructured devices, due to their increased surface area and light absorption.


title: Mining and modeling complex leadership-followership dynamics of movement data

abstract: Leadership and followership are essential parts of collective decision and organization in social animals, including humans. In nature, relationships of leaders and followers are dynamic and vary with context or temporal factors. Understanding dynamics of leadership and followership, such as how leaders and followers change, emerge, or converge, allows scientists to gain more insight into group decision-making and collective behavior in general. However, given only data of individual activities, it is challenging to infer the dynamics of leaders and followers. In this paper, we focus on mining and modeling frequent patterns of leading and following. We formalize new computational problems and propose a framework that can be used to address several questions regarding group movement. We use the leadership inference framework, mFLICA, to infer the time series of leaders and their factions from movement datasets and then propose an approach to mine and model frequent patterns of both leadership and followership dynamics. We evaluate our framework performance by using several simulated datasets, as well as the real-world dataset of baboon movement to demonstrate the applications of our framework. These are novel computational problems and, to the best of our knowledge, there are no existing comparable methods to address them. Thus, we modify and extend an existing leadership inference framework to provide a non-trivial baseline for comparison. Our framework performs better than this baseline in all datasets. Our framework opens the opportunities for scientists to generate testable scientific hypotheses about the dynamics of leadership in movement data.


title: Collaborative Tracking and Capture of Aerial Object using UAVs

abstract: This work details the problem of aerial target capture using multiple UAVs. This problem is motivated from the challenge 1 of Mohammed Bin Zayed International Robotic Challenge 2020. The UAVs utilise visual feedback to autonomously detect target, approach it and capture without disturbing the vehicle which carries the target. Multi-UAV collaboration improves the efficiency of the system and increases the chance of capturing the ball robustly in short span of time. In this paper, the proposed architecture is validated through simulation in ROS-Gazebo environment and is further implemented on hardware.


title: Latency optimal storage and scheduling of replicated fragments for memory-constrained servers

abstract: We consider the setting of distributed storage system where a single file is subdivided into smaller fragments of same size which are then replicated with a common replication factor across servers of identical cache size. An incoming file download request is sent to all the servers, and the download is completed whenever request gathers all the fragments. At each server, we are interested in determining the set of fragments to be stored, and the sequence in which fragments should be accessed, such that the mean file download time for a request is minimized. We model the fragment download time as an exponential random variable independent and identically distributed for all fragments across all servers, and show that the mean file download time can be lower bounded in terms of the expected number of useful servers summed over all distinct fragment downloads. We present deterministic storage schemes that attempt to maximize the number of useful servers. We show that finding the optimal sequence of accessing the fragments is a Markov decision problem, whose complexity grows exponentially with the number of fragments. We propose heuristic algorithms that determine the sequence of access to the fragments which are empirically shown to perform well.


title: Deep kernel processes

abstract: We define deep kernel processes in which positive definite Gram matrices are progressively transformed by nonlinear kernel functions and by sampling from (inverse) Wishart distributions. Remarkably, we find that deep Gaussian processes (DGPs), Bayesian neural networks (BNNs), infinite BNNs, and infinite BNNs with bottlenecks can all be written as deep kernel processes. For DGPs the equivalence arises because the Gram matrix formed by the inner product of features is Wishart distributed, and as we show, standard isotropic kernels can be written entirely in terms of this Gram matrix -- we do not need knowledge of the underlying features. We define a tractable deep kernel process, the deep inverse Wishart process, and give a doubly-stochastic inducing-point variational inference scheme that operates on the Gram matrices, not on the features, as in DGPs. We show that the deep inverse Wishart process gives superior performance to DGPs and infinite BNNs on standard fully-connected baselines.


title: Network neuroscience and the connectomics revolution

abstract: Connectomics and network neuroscience offer quantitative scientific frameworks for modeling and analyzing networks of structurally and functionally interacting neurons, neuronal populations, and macroscopic brain areas. This shift in perspective and emphasis on distributed brain function has provided fundamental insight into the role played by the brain's network architecture in cognition, disease, development, and aging. In this chapter, we review the core concepts of human connectomics at the macroscale. From the construction of networks using functional and diffusion MRI data, to their subsequent analysis using methods from network neuroscience, this review highlights key findings, commonly-used methodologies, and discusses several emerging frontiers in connectomics.


title: Unknown Presentation Attack Detection against Rational Attackers

abstract: Despite the impressive progress in the field of presentation attack detection and multimedia forensics over the last decade, these systems are still vulnerable to attacks in real-life settings. Some of the challenges for existing solutions are the detection of unknown attacks, the ability to perform in adversarial settings, few-shot learning, and explainability. In this study, these limitations are approached by reliance on a game-theoretic view for modeling the interactions between the attacker and the detector. Consequently, a new optimization criterion is proposed and a set of requirements are defined for improving the performance of these systems in real-life settings. Furthermore, a novel detection technique is proposed using generator-based feature sets that are not biased towards any specific attack species. To further optimize the performance on known attacks, a new loss function coined categorical margin maximization loss (C-marmax) is proposed which gradually improves the performance against the most powerful attack. The proposed approach provides a more balanced performance across known and unknown attacks and achieves state-of-the-art performance in known and unknown attack detection cases against rational attackers. Lastly, the few-shot learning potential of the proposed approach is studied as well as its ability to provide pixel-level explainability.


title: Resolvents and complex powers of semiclassical cone operators

abstract: We give a uniform description of resolvents and complex powers of elliptic semiclassical cone differential operators as the semiclassical parameter $h$ tends to $0$. An example of such an operator is the shifted semiclassical Laplacian $h^2\Delta_g+1$ on a manifold $(X, g)$ of dimension $n\geq 3$ with conic singularities. Our approach is constructive and based on techniques from geometric microlocal analysis: we construct the Schwartz kernels of resolvents and complex powers as conormal distributions on a suitable resolution of the space $[0,1)_h\times X\times X$ of $h$-dependent integral kernels; the construction of complex powers relies on a calculus with a second semiclassical parameter. As an application, we characterize the domains of $(h^2\Delta_g+1)^{w/2}$ for $\mathrm{Re}\,w\in(-\frac{n}{2},\frac{n}{2})$ and use this to prove the propagation of semiclassical regularity through a cone point on a range of weighted semiclassical function spaces.


title: Congruences for a class of eta-quotients and their applications

abstract: The partition function $ p_{[1^c\ell^d]}(n)$ can be defined using the generating function, \[\sum_{n=0}^{\infty}p_{[1^c{\ell}^d]}(n)q^n=\prod_{n=1}^{\infty}\dfrac{1}{(1-q^n)^c(1-q^{\ell n})^d}.\] In \cite{P}, we proved infinite family of congruences for this partition function for $\ell=11$. In this paper, we extend the ideas that we have used in \cite{P} to prove infinite families of congruences for the partition function $p_{[1^c\ell^d]}(n)$ modulo powers of $\ell$ for any integers $c$ and $d$, for primes $5\leq \ell\leq 17$. This generalizes Atkin, Gordon and Hughes' congruences for powers of the partition function. The proofs use an explicit basis for the vector space of modular functions of the congruence subgroup $\Gamma_0(\ell)$. Finally we used these congruences to prove congruences and incongruences of the generalized Frobenius $\ell$-color partitions, $\ell-$regular partitions and $\ell-$core partitions for $\ell=5,7,11,13$ and $17$.


title: Perturbative approach for strong and weakly coupled time-dependent non-Hermitian quantum systems

abstract: We propose a perturbative approach to determine the time-dependent Dyson map and the metric operator associated with time-dependent non-Hermitian Hamiltonians. We apply the method to a pair of explicitly time-dependent two dimensional harmonic oscillators that are weakly coupled to each other in a PT-symmetric fashion and to the strongly coupled explicitly time-dependent negative quartic anharmonic oscillator potential. We demonstrate that once the perturbative Ansatz is set up the coupled differential equations resulting order by order may be solved recursively in a constructive manner, thus bypassing the need for making any guess for the Dyson map or the metric operator. Exploring the ambiguities in the solutions of the order by order differential equations naturally leads to a whole set of inequivalent solutions for the Dyson maps and metric operators implying different physical behaviour as demonstrated for the expectation values of the time-dependent energy operator.

categories: quant-ph math-ph math.MP physics.atom-ph


title: TimeAutoML: Autonomous Representation Learning for Multivariate Irregularly Sampled Time Series

abstract: Multivariate time series (MTS) data are becoming increasingly ubiquitous in diverse domains, e.g., IoT systems, health informatics, and 5G networks. To obtain an effective representation of MTS data, it is not only essential to consider unpredictable dynamics and highly variable lengths of these data but also important to address the irregularities in the sampling rates of MTS. Existing parametric approaches rely on manual hyperparameter tuning and may cost a huge amount of labor effort. Therefore, it is desirable to learn the representation automatically and efficiently. To this end, we propose an autonomous representation learning approach for multivariate time series (TimeAutoML) with irregular sampling rates and variable lengths. As opposed to previous works, we first present a representation learning pipeline in which the configuration and hyperparameter optimization are fully automatic and can be tailored for various tasks, e.g., anomaly detection, clustering, etc. Next, a negative sample generation approach and an auxiliary classification task are developed and integrated within TimeAutoML to enhance its representation capability. Extensive empirical studies on real-world datasets demonstrate that the proposed TimeAutoML outperforms competing approaches on various tasks by a large margin. In fact, it achieves the best anomaly detection performance among all comparison algorithms on 78 out of all 85 UCR datasets, acquiring up to 20% performance improvement in terms of AUC score.


title: Bundle geometry of the connection space, covariant Hamiltonian formalism, the problem of boundaries in gauge theories, and the dressing field method

abstract: We take advantage of the principal bundle geometry of the space of connections to obtain general results on the presymplectic structure of two classes of (pure) gauge theories: invariant theories, and non-invariant theories satisfying two restricting hypothesis. In particular, we derive the general field-dependent gauge transformations of the presymplectic potential and presymplectic 2-form in both cases. We point-out that a generalisation of the standard bundle geometry, called twisted geometry, arises naturally in the study of non-invariant gauge theories (e.g. non-Abelian Chern-Simons theory). These results prove that the well-known problem of associating a symplectic structure to a gauge theory over bounded regions is a generic feature of both classes. The edge modes strategy, recently introduced to address this issue, has been actively developed in various contexts by several authors. We draw attention to the dressing field method as the geometric framework underpinning, or rather encompassing, this strategy. The geometric insight afforded by the method both clarifies it and clearly delineates its potential shortcomings as well as its conditions of success. Applying our general framework to various examples allows to straightforwardly recover several results of the recent literature on edge modes and on the presymplectic structure of general relativity.


title: All-Pass Functions for Mirroring Pairs of Complex-Conjugated Roots of Rational Matrix Functions

abstract: We construct rational all-pass matrix functions with real-valued coefficients for mirroring pairs of complex-conjugated determinantal roots of a rational matrix. This problem appears, for example, when proving the spectral factorization theorem, or, more recently, in the literature on possibly non-invertible or possibly non-causal vector autoregressive moving average (VARMA) models. In general, it is not obvious whether the all-pass matrix function (and as a consequence the all-pass transformed rational matrix with initally real-valued coefficients) which mirrors complex-conjugated roots at the unit circle has real-valued coefficients. Naive constructions result in all-pass functions with complex-valued coefficients which implies that the real-valued parameter space (usually relevant for estimation) is left.


title: Criteria for partial entanglement of three qubit states arising from distributive rules

abstract: It is known that the partial entanglement/separability violates distributive rules with respect to the operations of taking convex hull and intersection. In this note, we give criteria for three qubit partially entangled states arising from distributive rules, together with the corresponding witnesses. The criteria will be given in terms of diagonal and anti-diagonal entries. They actually characterize those partial entanglement completely when all the entries are zero except for diagonal and anti-diagonal entries. Important states like Greenberger-Horne-Zeilinger diagonal states fall down in this class.


title: Sparseness-constrained Nonnegative Tensor Factorization for Detecting Topics at Different Time Scales

abstract: Temporal data (such as news articles or Twitter feeds) often consists of a mixture of long-lasting trends and popular but short-lasting topics of interest. A truly successful topic modeling strategy should be able to detect both types of topics and clearly locate them in time. In this paper, we first show that nonnegative CANDECOMP/PARAFAC decomposition (NCPD) is able to discover topics of variable persistence automatically. Then, we propose sparseness-constrained NCPD (S-NCPD) and its online variant in order to actively control the length of the learned topics effectively and efficiently. Further, we propose quantitative ways to measure the topic length and demonstrate the ability of S-NCPD (as well as its online variant) to discover short and long-lasting temporal topics in a controlled manner in semi-synthetic and real-world data including news headlines. We also demonstrate that the online variant of S-NCPD reduces the reconstruction error more rapidly than S-NCPD.


title: A neural network-based methodology to select young stellar object candidates from IR surveys

abstract: Observed Young Stellar Objects (YSOs) are used to study star formation and characterize star forming regions. For this purpose, YSO candidate catalogs are compiled from various surveys, especially in the infrared (IR), and simple selection schemes in colour-magnitude diagrams (CMDs) are often used to identify and classify YSOs. We propose a methodology for YSO classification through Machine Learning (ML) using Spitzer IR data. We detail our approach in order to ensure reproducibility and provide an in-depth example on how to efficiently apply ML to an astrophysical classification. We used feedforward Artificial Neural Networks (ANNs) that use the four IRAC bands ($3.6, 4.5, 5.8$ and $8 \mu m$) and the $24\ \mu m$ MIPS band from Spitzer to classify point source objects into CI and CII YSO candidates or as contaminants. We found that ANNs can efficiently be applied to YSO classification with a contained number of neurons ($\sim$ 25). Knowledge gathered on one star-forming region has shown to be partly efficient for prediction in new regions. Best generalization capacity was achieved using a combination of several star-forming regions to train the network. Carefully rebalancing the training proportions was necessary to achieve good results. We achieved above 90% and 97% recovery rate for CI and CII YSOs, respectively, with precision above 80% and 90% for our most general result. We took advantage of the ANN great flexibility to define, for each object, an effective membership probability to each output class. Using a threshold in this probability was found to efficiently improve the classification results at a reasonable cost of object exclusion. With this selection, we reached 90% precision on CI YSOs, for more than half of them. Our catalog of YSO candidates in Orion (365 CI, 2381 CII) and NGC 2264 (101 CI, 469 CII) predicted by our final ANN is publicly available at CDS.


title: On the ergodic properties of time changes of partially hyperbolic homogeneous flows

abstract: For any accessible partially hyperbolic homogeneous flow, we show that all smooth time changes are K and hence mixing of all orders. We also establish stable ergodicity for time-one map of these time changes.


title: A Novel Computational Method for Band Structures of Dispersive Photonic Crystals

abstract: We propose a new method to compute band structures of dispersive photonic crystals. It can treat arbitrarily frequency-dependent, lossy or lossless materials. The band structure problem is first formulated as the eigenvalue problem of an operator function. Finite elements are then used for discretization. Finally, the spectral indicator method is employed to compute the eigenvalues. Numerical examples in both the TE and TM cases are presented to show the effectiveness. There exist very few examples in literature for the TM case and three examples in this paper can serve as benchmarks.


title: A Sharp Analysis of Model-based Reinforcement Learning with Self-Play

abstract: Model-based algorithms -- algorithms that explore the environment through building and utilizing an estimated model -- are widely used in reinforcement learning practice and theoretically shown to achieve optimal sample efficiency for single-agent reinforcement learning in Markov Decision Processes (MDPs). However, for multi-agent reinforcement learning in Markov games, the current best known sample complexity for model-based algorithms is rather suboptimal and compares unfavorably against recent model-free approaches. In this paper, we present a sharp analysis of model-based self-play algorithms for multi-agent Markov games. We design an algorithm -- Optimistic Nash Value Iteration (Nash-VI) for two-player zero-sum Markov games that is able to output an $\epsilon$-approximate Nash policy in $\tilde{\mathcal{O}}(H^3SAB/\epsilon^2)$ episodes of game playing, where $S$ is the number of states, $A,B$ are the number of actions for the two players respectively, and $H$ is the horizon length. This significantly improves over the best known model-based guarantee of $\tilde{\mathcal{O}}(H^4S^2AB/\epsilon^2)$, and is the first that matches the information-theoretic lower bound $\Omega(H^3S(A+B)/\epsilon^2)$ except for a $\min\{A,B\}$ factor. In addition, our guarantee compares favorably against the best known model-free algorithm if $\min \{A,B\}=o(H^3)$, and outputs a single Markov policy while existing sample-efficient model-free algorithms output a nested mixture of Markov policies that is in general non-Markov and rather inconvenient to store and execute. We further adapt our analysis to designing a provably efficient task-agnostic algorithm for zero-sum Markov games, and designing the first line of provably sample-efficient algorithms for multi-player general-sum Markov games.


title: Energy dependence of light neutral meson $p_{\rm T}$ spectrum produced in pp collisions at the LHC measured in ALICE

abstract: We present the measurement of light neutral mesons, $\pi^{0}$ and $\eta$, in pp collisions at different center-of-mass energies obtained with the ALICE experiment at the LHC. The $\pi^{0}$ and $\eta$ mesons are measured via photons reconstructed by the electromagnetic calorimeters and the central tracking system. The invariant cross-section of $\pi^{0}$ and $\eta$ mesons are measured in a broad $p_{\rm T}$ range at $\sqrt{s} = 0.9, 2.76, 7, 5.02$ and 8 TeV. The spectra of $\pi^{0}$ and $\eta$ mesons measured in pp collisions at different collision energies show $x_{\rm T}$-scaling at high $p_{\rm T}$ and violation of $m_{\rm T}$-scaling at low $p_{\rm T}$. The smaller $x_{\rm T}$-scaling exponents of our measurements compared to RHIC may hint at a reduced importance of higher twist processes at LHC.


title: Dust and gas in the central region of NGC 1316 (Fornax A) -- Its origin and nature

abstract: The early-type galaxy NGC 1316 hosts about 10^7 solar masses of dust within a central radius of 5 kpc. These prominent dust structures are believed to have an external origin, which is also a popular interpretation for other dusty early-type galaxies. We use archival Hubble Space Telescope/ACS data to construct colour maps that delineate the dust pattern in detail, and we compare these data with maps constructed with data from MUSE of the VLT at the European Southern Observatory. Twelve MUSE pointings in wide field mode form a mosaic of the central 3.3'x2.4'. We use the tool PyParadise to fit the stellar population. We use the residual emission lines and the residual interstellar absorption NaI D-lines, and we measure line strengths, the velocity field, and the velocity dispersion field. The emission lines resemble LINER lines, with [NII] being the strongest line everywhere. Ionising sources are plausibly the post-asymptotic giant branch stars of the old or intermediate-age stellar population. There is a striking match between the dust structures, ionised gas, and atomic gas distributions, the last of which is manifested by interstellar absorption residuals of the stellar NaI D-lines. In the dust-free regions, the interstellar NaI D-lines appear in emission, which is indicative of a galactic wind. The velocity field of the ionised gas (and thus of the dust) is characterised by small-scale turbulent movements that indicate short lifetimes. At the very centre, a bipolar velocity field of the ionised gas is observed, which we interpret as an outflow. We identify a strongly inclined gaseous dusty disc along the major axis of NGC1316. A straight beam of ionised gas with a length of about 4 kpc emanates from the centre. Our findings are strongly suggestive of a dusty outflow. Nuclear outflows may be important dust-producing machines in galaxies. (Abridged)


title: Computational Pipeline to probe NaV1.7 gain-of-functions variants in neuropathic painful syndromes

abstract: Applications of machine learning and graph theory techniques to neuroscience have witnessed an increased interest in the last decade due to the large data availability and unprecedented technology developments. Their employment to investigate the effect of mutational changes in genes encoding for proteins modulating the membrane of excitable cells, whose biological correlates are assessed at electrophysiological level, could provide useful predictive clues. We apply this concept to the analysis of variants in sodium channel NaV1.7 subunit found in patients with chronic painful syndromes, by the implementation of a dedicated computational pipeline empowering different and complementary techniques including homology modeling, network theory, and machine learning. By testing three templates of different origin and sequence identities, we provide an optimal condition for its use. Our findings reveal the usefulness of our computational pipeline in supporting the selection of candidates for cell electrophysiology assay and with potential clinical applications.


title: Spin Hydrodynamics and Symmetric Energy-Momentum Tensors -- A current induced by the spin vorticity --

abstract: We discuss a puzzle in relativistic spin hydrodynamics; in the previous formulation the spin source from the antisymmetric part of the canonical energy-momentum tensor (EMT) is crucial. The Belinfante improved EMT is pseudo-gauge transformed from the canonical EMT and is usually a physically sensible choice especially when gauge fields are coupled as in magnetohydrodynamics, but the Belinfante EMT has no antisymmetric part. We find that pseudo-transformed entropy currents are physically inequivalent in nonequilibrium situations. We also identify a current induced by the spin vorticity read from the Belinfante symmetric EMT.


title: Bethe ansatz on a quantum computer?

abstract: We consider the feasibility of studying the anisotropic Heisenberg quantum spin chain with the Variational Quantum Eigensolver (VQE) algorithm, by treating Bethe states as variational states, and Bethe roots as variational parameters. For short chains, we construct exact one-magnon trial states that are functions of the variational parameter, and implement the VQE calculations in Qiskit. However, exact multi-magnon trial states appear to be out out of reach.


title: Adversarial Attack and Defense of Structured Prediction Models

abstract: Building an effective adversarial attacker and elaborating on countermeasures for adversarial attacks for natural language processing (NLP) have attracted a lot of research in recent years. However, most of the existing approaches focus on classification problems. In this paper, we investigate attacks and defenses for structured prediction tasks in NLP. Besides the difficulty of perturbing discrete words and the sentence fluency problem faced by attackers in any NLP tasks, there is a specific challenge to attackers of structured prediction models: the structured output of structured prediction models is sensitive to small perturbations in the input. To address these problems, we propose a novel and unified framework that learns to attack a structured prediction model using a sequence-to-sequence model with feedbacks from multiple reference models of the same structured prediction task. Based on the proposed attack, we further reinforce the victim model with adversarial training, making its prediction more robust and accurate. We evaluate the proposed framework in dependency parsing and part-of-speech tagging. Automatic and human evaluations show that our proposed framework succeeds in both attacking state-of-the-art structured prediction models and boosting them with adversarial training.


title: When in Doubt, Ask: Generating Answerable and Unanswerable Questions, Unsupervised

abstract: Question Answering (QA) is key for making possible a robust communication between human and machine. Modern language models used for QA have surpassed the human-performance in several essential tasks; however, these models require large amounts of human-generated training data which are costly and time-consuming to create. This paper studies augmenting human-made datasets with synthetic data as a way of surmounting this problem. A state-of-the-art model based on deep transformers is used to inspect the impact of using synthetic answerable and unanswerable questions to complement a well-known human-made dataset. The results indicate a tangible improvement in the performance of the language model (measured in terms of F1 and EM scores) trained on the mixed dataset. Specifically, unanswerable question-answers prove more effective in boosting the model: the F1 score gain from adding to the original dataset the answerable, unanswerable, and combined question-answers were 1.3%, 5.0%, and 6.7%, respectively. [Link to the Github repository: https://github.com/lnikolenko/EQA]


title: Stability of Couette flow for 2D Boussinesq system without thermal diffusivity

abstract: In this paper, we prove the stability of Couette flow for 2D Navier-Stokes Boussinesq system without thermal diffusivity for the initial perturbation in Gevrey-$\frac{1}{s}$, ($1/3<s\leq 1$). The synergism of density mixing, vorticity mixing and velocity diffusion leads to the stability.


title: On Stein rational balls smoothly but not symplectically embedded in CP^2

abstract: We extend recent work of Brendan Owens by constructing a doubly infinite family of Stein rational homology balls which can be smoothly but not symplectically embedded in CP^2.


title: Channel Prediction for mmWave Ground-to-Air Propagation under Blockage

abstract: Ground-to-air (GA) communication using unmanned aerial vehicles (UAVs) has gained popularity in recent years and is expected to be part of 5G networks and beyond. However, the GA links are susceptible to frequent blockages at millimeter wave (mmWave) frequencies. During a link blockage, the channel information cannot be obtained reliably. In this work, we provide a novel method of channel prediction during the GA link blockage at 28 GHz. In our approach, the multipath components (MPCs) along a UAV flight trajectory are arranged into independent path bins based on the minimum Euclidean distance among the channel parameters of the MPCs. After the arrangement, the channel parameters of the MPCs in individual path bins are forecasted during the blockage. An autoregressive model is used for forecasting. The results obtained from ray tracing simulations indicate a close match between the actual and the predicted mmWave channel.


title: Generating Emotive Gaits for Virtual Agents Using Affect-Based Autoregression

abstract: We present a novel autoregression network to generate virtual agents that convey various emotions through their walking styles or gaits. Given the 3D pose sequences of a gait, our network extracts pertinent movement features and affective features from the gait. We use these features to synthesize subsequent gaits such that the virtual agents can express and transition between emotions represented as combinations of happy, sad, angry, and neutral. We incorporate multiple regularizations in the training of our network to simultaneously enforce plausible movements and noticeable emotions on the virtual agents. We also integrate our approach with an AR environment using a Microsoft HoloLens and can generate emotive gaits at interactive rates to increase the social presence. We evaluate how human observers perceive both the naturalness and the emotions from the generated gaits of the virtual agents in a web-based study. Our results indicate around 89% of the users found the naturalness of the gaits satisfactory on a five-point Likert scale, and the emotions they perceived from the virtual agents are statistically similar to the intended emotions of the virtual agents. We also use our network to augment existing gait datasets with emotive gaits and will release this augmented dataset for future research in emotion prediction and emotive gait synthesis. Our project website is available at https://gamma.umd.edu/gen_emotive_gaits/.


title: Learning Latent Interactions for Event classification via Graph Neural Networks and PMU Data

abstract: Phasor measurement units (PMUs) are being widely installed on power systems, providing a unique opportunity to enhance wide-area situational awareness. One essential application is the use of PMU data for real-time event identification. However, how to take full advantage of all PMU data in event identification is still an open problem. Thus, we propose a novel method that performs event identification by mining interaction graphs among different PMUs. The proposed interaction graph inference method follows an entirely data-driven manner without knowing the physical topology. Moreover, unlike previous works that treat interactive learning and event identification as two different stages, our method learns interactions jointly with the identification task, thereby improving the accuracy of graph learning and ensuring seamless integration between the two stages. Moreover, to capture multi-scale event patterns, a dilated inception-based method is investigated to perform feature extraction of PMU data. To test the proposed data-driven approach, a large real-world dataset from tens of PMU sources and the corresponding event logs have been utilized in this work. Numerical results validate that our method has higher classification accuracy compared to previous methods.


title: AIFNet: Automatic Vascular Function Estimation for Perfusion Analysis Using Deep Learning

abstract: Perfusion imaging is crucial in acute ischemic stroke for quantifying the salvageable penumbra and irreversibly damaged core lesions. As such, it helps clinicians to decide on the optimal reperfusion treatment. In perfusion CT imaging, deconvolution methods are used to obtain clinically interpretable perfusion parameters that allow identifying brain tissue abnormalities. Deconvolution methods require the selection of two reference vascular functions as inputs to the model: the arterial input function (AIF) and the venous output function, with the AIF as the most critical model input. When manually performed, the vascular function selection is time demanding, suffers from poor reproducibility and is subject to the professionals' experience. This leads to potentially unreliable quantification of the penumbra and core lesions and, hence, might harm the treatment decision process. In this work we automatize the perfusion analysis with AIFNet, a fully automatic and end-to-end trainable deep learning approach for estimating the vascular functions. Unlike previous methods using clustering or segmentation techniques to select vascular voxels, AIFNet is directly optimized at the vascular function estimation, which allows to better recognise the time-curve profiles. Validation on the public ISLES18 stroke database shows that AIFNet reaches inter-rater performance for the vascular function estimation and, subsequently, for the parameter maps and core lesion quantification obtained through deconvolution. We conclude that AIFNet has potential for clinical transfer and could be incorporated in perfusion deconvolution software.


title: A Modular Analysis of Provable Acceleration via Polyak's Momentum: Training a Wide ReLU Network and a Deep Linear Network

abstract: Incorporating a so-called "momentum" dynamic in gradient descent methods is widely used in neural net training as it has been broadly observed that, at least empirically, it often leads to significantly faster convergence. At the same time, there are very few theoretical guarantees in the literature to explain this apparent acceleration effect. Even for the classical strongly convex quadratic problems, several existing results only show Polyak's momentum has an accelerated linear rate asymptotically. In this paper, we first revisit the quadratic problems and show a non-asymptotic accelerated linear rate of Polyak's momentum. Then, we provably show that Polyak's momentum achieves acceleration for training a one-layer wide ReLU network and a deep linear network, which are perhaps the two most popular canonical models for studying optimization and deep learning in the literature. Prior work Du at al. 2019 and Wu et al. 2019 showed that using vanilla gradient descent, and with an use of over-parameterization, the error decays as $(1- \Theta(\frac{1}{ \kappa'}))^t$ after $t$ iterations, where $\kappa'$ is the condition number of a Gram Matrix. Our result shows that with the appropriate choice of parameters Polyak's momentum has a rate of $(1-\Theta(\frac{1}{\sqrt{\kappa'}}))^t$. For the deep linear network, prior work Hu et al. 2020 showed that vanilla gradient descent has a rate of $(1-\Theta(\frac{1}{\kappa}))^t$, where $\kappa$ is the condition number of a data matrix. Our result shows an acceleration rate $(1- \Theta(\frac{1}{\sqrt{\kappa}}))^t$ is achievable by Polyak's momentum. All the results in this work are obtained from a modular analysis, which can be of independent interest. This work establishes that momentum does indeed speed up neural net training.


title: Effect of magnetism on lattice dynamics in metallic chromium

abstract: Single-crystal sample of chromium doped with ca.0.2 at.%119Sn was studied by means of a transmission M\"ossbauer spectroscopy in the temperature range of 310-315 K. An anomaly in the temperature behavior of the center shift was found at ca. 313 K, a temperature that coincides well with the N\'eel temperature of chromium. The anomaly gives evidence that the vibrations of atoms in the studied system are affected by the magnetism.


title: Meta Sequence Learning for Generating Adequate Question-Answer Pairs

abstract: Creating multiple-choice questions to assess reading comprehension of a given article involves generating question-answer pairs (QAPs) on the main points of the document. We present a learning scheme to generate adequate QAPs via meta-sequence representations of sentences. A meta sequence is a sequence of vectors comprising semantic and syntactic tags. In particular, we devise a scheme called MetaQA to learn meta sequences from training data to form pairs of a meta sequence for a declarative sentence (MD) and a corresponding interrogative sentence (MIs). On a given declarative sentence, a trained MetaQA model converts it to a meta sequence, finds a matched MD, and uses the corresponding MIs and the input sentence to generate QAPs. We implement MetaQA for the English language using semantic-role labeling, part-of-speech tagging, and named-entity recognition, and show that trained on a small dataset, MetaQA generates efficiently over the official SAT practice reading tests a large number of syntactically and semantically correct QAPs with over 97\% accuracy.


title: Reconstructing Masses of Merging Neutron Stars from Stellar $R$-Process Abundance Signatures

abstract: Neutron star mergers (NSMs) are promising astrophysical sites for the rapid neutron-capture ("$r$-") process, but can their integrated yields explain the majority of heavy-element material in the Galaxy? One method to address this question has utilized a forward approach that propagates NSM rates and yields along with stellar formation rates, in the end comparing those results with observed chemical abundances of $r$-process-rich, metal-poor stars. In this work, we take the inverse approach by utilizing $r$-process-element abundance ratios of metal-poor stars as input to reconstruct the properties---especially the masses---of the neutron star (NS) binary progenitors of the $r$-process stars. This novel analysis provides an independent avenue for studying the population of the original neutron star binary systems that merged and produced the $r$-process material incorporated in Galactic metal-poor halo stars. We use ratios of elements typically associated with the limited-$r$ process and the actinide region to those in the lanthanide region (i.e., Zr/Dy and Th/Dy) to probe the NS masses of the progenitor merger. We find that NSMs can account for all $r$-process material in metal-poor stars that display $r$-process signatures, while simultaneously reproducing the present-day distribution of double-NS (DNS) systems. However, the most $r$-process enhanced stars (the $r$-II stars) on their own would require progenitor NSMs of very asymmetric systems that are distinctly different from present ones in the Galaxy. As this analysis is model-dependent, we also explore variations in line with future expectation regarding potential theoretical and observational updates, and comment on how these variations impact our results.


title: On global bifurcation for the nonlinear Steklov problems

abstract: For $p \in (1, \infty),$ for an integer $N \geq 2$ and for a bounded Lipschitz domain $\Omega$, we consider the following nonlinear Steklov bifurcation problem \begin{equation*} \begin{aligned} -\Delta_p \phi & = 0 \; \text{in} \ \Omega, \\ |\nabla \phi|^{p-2} \frac{\partial \phi}{\partial \nu} &= \lambda \left( g |\phi|^{p-2}\phi + f r(\phi) \right) \; \text{on} \ \partial \Omega, \end{aligned} \end{equation*} where $\Delta_p$ is the $p$-Laplace operator, $g,f \in L^1(\partial \Omega)$ are indefinite weight functions and $r \in C(\mathbb R)$ satisfies $r(0)=0$ and certain growth conditions near zero and at infinity. For $f,g$ in some appropriate Lorentz-Zygmund spaces, we establish the existence of a continuum that bifurcates from $(\lambda_1,0)$, where $\lambda_1$ is the first eigenvalue of the following nonlinear Steklov eigenvalue problem \begin{equation*} \begin{aligned} -\Delta_p \phi & = 0 \; \text{in} \ \Omega, \\ |\nabla \phi|^{p-2} \frac{\partial \phi}{\partial \nu} &= \lambda g |\phi|^{p-2}\phi \ \text{on} \ \partial \Omega. \end{aligned} \end{equation*}


title: Combinatorics arising from lax colimits of posets

abstract: In this paper we study maximal chains in certain lattices constructed from powers of chains by iterated lax colimits in the $2$-category of posets. Such a study is motivated by the fact that in lower dimensions, we get some familiar combinatorial objects such as Dyck paths and Kreweras walks.


title: Modulating nano-inhomogeneity at electrode-solid electrolyte interfaces for dendrite-proof solid-state batteries and long-life memristors

abstract: The penetration of dendrites in ceramic lithium conductors severely constrains the development of solid-state batteries (SSBs) while its nanoscopic origin remain unelucidated. We develop an in-situ nanoscale electrochemical characterization technique to reveal the nanoscopic lithium dendrite growth kinetics and use it as a guiding tool to unlock the design of interfaces for dendrite-proof SSBs. Using Li7La3Zr2O12 (LLZO) as a model system, in-situ nanoscopic dendrite triggering measurements, ex-situ electro-mechanical characterizations, and finite element simulations are carried out which reveal the dominating role of Li+ flux detouring and nano-mechanical inhomogeneity on dendrite penetration. To mitigate such nano-inhomogeneity, an ionic-conductive homogenizing layer based on poly(propylene carbonate) is designed which in-situ reacts with lithium to form a highly conformal interphase at mild conditions. A high critical current density of 1.8mA cm-2 and a low interfacial resistance of 14{\Omega} cm2 is achieved. Practical SSBs based on LiFePO4 cathodes show great cyclic stability without capacity decay over 300 cycles. Beyond this, highly reversible electrochemical dendrite healing behavior in LLZO is discovered using the nano-electrode, based on which a model memristor with a high on/off ratio of ~10^5 is demonstrated for >200 cycles. This work not only provides a novel tool to investigate and design interfaces in SSBs but offers also new opportunities for solid electrolytes beyond energy applications.


title: Deep Just-In-Time Inconsistency Detection Between Comments and Source Code

abstract: Natural language comments convey key aspects of source code such as implementation, usage, and pre- and post-conditions. Failure to update comments accordingly when the corresponding code is modified introduces inconsistencies, which is known to lead to confusion and software bugs. In this paper, we aim to detect whether a comment becomes inconsistent as a result of changes to the corresponding body of code, in order to catch potential inconsistencies just-in-time, i.e., before they are committed to a code base. To achieve this, we develop a deep-learning approach that learns to correlate a comment with code changes. By evaluating on a large corpus of comment/code pairs spanning various comment types, we show that our model outperforms multiple baselines by significant margins. For extrinsic evaluation, we show the usefulness of our approach by combining it with a comment update model to build a more comprehensive automatic comment maintenance system which can both detect and resolve inconsistent comments based on code changes.


title: AFN: Attentional Feedback Network based 3D Terrain Super-Resolution

abstract: Terrain, representing features of an earth surface, plays a crucial role in many applications such as simulations, route planning, analysis of surface dynamics, computer graphics-based games, entertainment, films, to name a few. With recent advancements in digital technology, these applications demand the presence of high-resolution details in the terrain. In this paper, we propose a novel fully convolutional neural network-based super-resolution architecture to increase the resolution of low-resolution Digital Elevation Model (LRDEM) with the help of information extracted from the corresponding aerial image as a complementary modality. We perform the super-resolution of LRDEM using an attention-based feedback mechanism named 'Attentional Feedback Network' (AFN), which selectively fuses the information from LRDEM and aerial image to enhance and infuse the high-frequency features and to produce the terrain realistically. We compare the proposed architecture with existing state-of-the-art DEM super-resolution methods and show that the proposed architecture outperforms enhancing the resolution of input LRDEM accurately and in a realistic manner.


title: Ring isomorphisms of Murray--von Neumann algebras

abstract: We give a complete description of ring isomorphisms between algebras of measurable operators affiliated with von Neumann algebras of type II$_1.$


title: Multiphysics flow simulations using D3Q19 lattice Boltzmann methods based on central moments

abstract: In a recent work [A. De Rosis, R. Huang, and C. Coreixas, "Universal formulation of central-moments-based lattice Boltzmann method with external forcing for the simulation of multiphysics phenomena", Phys. Fluids 31, 117102 (2019)], a multiple-relaxation-time lattice Boltzmann method (LBM) has been proposed by means of the D3Q27 discretization, where the collision stage is performed in the space of central moments (CMs). These quantities relax towards an elegant Galilean invariant equilibrium, and can also include the effect of external accelerations. Here, we investigate the possibility to adopt a coarser lattice composed of 19 discrete velocities only. The consequences of such a choice are evaluated in terms of accuracy and stability through multiphysics benchmark problems based on single-, multi-phase and magnetohydrodynamics flow simulations. In the end, it is shown that the reduction from 27 to 19 discrete velocities have only little impact on the accuracy and stability of the CM-LBM for moderate Reynolds number flows in the weakly compressible regime.


title: Ext Groups between Irreducible $\text{GL}_n(q)$-modules in Cross Characteristic

abstract: Let $G=\text{GL}_n(q)$ be the general linear group over the finite field $\mathbb{F}_q$ of $q$ elements, and let $k$ be an algebraically closed field of characteristic $r >0$ such that $r$ does not divide $q(q-1)$. In 1999, Cline, Parshall, and Scott showed that under these assumptions, cohomology calculations for $G$ may be translated to Ext$^i$ calculations over a $q$-Schur algebra. The aim of this paper is to extend the results of Cline, Parshall, and Scott and show that Ext$^i$ calculations for $\text{GL}_n(q)$ may also be translated to Ext$^i$ calculations over an appropriate $q$-Schur algebra (both for $i=1$ and $i>1$). To that end, we establish formulas relating certain Ext groups for $\text{GL}_n(q)$ to Ext groups for the $q$-Schur algebra $S_q(n,n)_k$. As a consequence, we show that there are no non-split self-extensions of irreducible $kG$-modules belonging to the unipotent principal Harish-Chandra series. As an application in higher degree, we describe a method which yields vanishing results for higher Ext groups between irreducible $kG$-modules and demonstrate this method in a series of examples.


title: Quantum superradiance on static black hole space-times

abstract: We study the quantum analogue of the classical process of superradiance for a massless charged scalar field on a static charged black hole space-time. We show that an "in" vacuum state, which is devoid of particles at past null infinity, contains an outgoing flux of particles at future null infinity. This radiation is emitted in the superradiant modes only, and is nonthermal in nature.


title: A Fully Polynomial Time Approximation Scheme for the Replenishment Storage Problem

abstract: The Replenishment Storage problem (RSP) is to minimize the storage capacity requirement for a deterministic demand, multi-item inventory system where each item has a given reorder size and cycle length. The reorders can only take place at integer time units within the cycle. This problem was shown to be weakly NP-hard for constant joint cycle length (the least common multiple of the lengths of all individual cycles). When all items have the same constant cycle length, there exists a Fully Polynomial Time Approximation Scheme (FPTAS), but no FPTAS has been known for the case when the individual cycles are different. Here we devise the first known FPTAS for the RSP with different individual cycles and constant joint cycle length.


title: Orthogonal Multi-view Analysis by Successive Approximations via Eigenvectors

abstract: We propose a unified framework for multi-view subspace learning to learn individual orthogonal projections for all views. The framework integrates the correlations within multiple views, supervised discriminant capacity, and distance preservation in a concise and compact way. It not only includes several existing models as special cases, but also inspires new novel models. To demonstrate its versatility to handle different learning scenarios, we showcase three new multi-view discriminant analysis models and two new multi-view multi-label classification ones under this framework. An efficient numerical method based on successive approximations via eigenvectors is presented to solve the associated optimization problem. The method is built upon an iterative Krylov subspace method which can easily scale up for high-dimensional datasets. Extensive experiments are conducted on various real-world datasets for multi-view discriminant analysis and multi-view multi-label classification. The experimental results demonstrate that the proposed models are consistently competitive to and often better than the compared methods that do not learn orthogonal projections.


title: On the Tradeoff Between Computation and Communication Costs for Distributed Linearly Separable Computation

abstract: This paper studies the distributed linearly separable computation problem, which is a generalization of many existing distributed computing problems such as distributed gradient descent and distributed linear transform. In this problem, a master asks $N$ distributed workers to compute a linearly separable function of $K$ datasets, which is a set of $K_c$ linear combinations of $K$ messages (each message is a function of one dataset). We assign some datasets to each worker, which then computes the corresponding messages and returns some function of these messages, such that from the answers of any $N_r$ out of $N$ workers the master can recover the task function. In the literature, the specific case where $K_c = 1$ or where the computation cost is minimum has been considered. In this paper, we focus on the general case (i.e., general $K_c$ and general computation cost) and aim to find the minimum communication cost. We first propose a novel converse bound on the communication cost under the constraint of the popular cyclic assignment (widely considered in the literature), which assigns the datasets to the workers in a cyclic way. Motivated by the observation that existing strategies for distributed computing fall short of achieving the converse bound, we propose a novel distributed computing scheme for some system parameters. The proposed computing scheme is optimal for any assignment when $K_c$ is large and is optimal under cyclic assignment when the numbers of workers and datasets are equal or $K_c$ is small. In addition, it is order optimal within a factor of 2 under cyclic assignment for the remaining cases.


title: On decidability of hyperbolicity

abstract: We prove that a wide range of coloring problems in graphs on surfaces can be resolved by inspecting a finite number of configurations.


title: $Mg_xZn_{1-x}O$ contact to $CuGa_3Se_5$ absorber for photovoltaic and photoelectrochemical devices

abstract: $CuGa_3Se_5$ is a promising candidate material with wide band gap for top cells in tandem photovoltaic (PV) and photoelectrochemical (PEC) devices. However, traditional CdS contact layers used with other chalcopyrite absorbers are not suitable for $CuGa_3Se_5$ due to the higher position of its conduction band minimum. $Mg_xZn_{1-x}O$ is a transparent oxide with adjustable band gap and conduction band position as a function of magnesium composition, but its direct application is hindered by $CuGa_3Se_5$ surface oxidation. Here, $Mg_xZn_{1-x}O$ is investigated as a contact (n-type buffer or window) material to $CuGa_3Se_5$ absorbers pretreated in $Cd^{2+}$ solution, and an onset potential close to 1 V vs RHE in 10 mM hexaammineruthenium (III) chloride electrolyte is demonstrated. The $Cd^{2+}$ surface treatment changes the chemical composition and electronic structure of the $CuGa_3Se_5$ surface, as demonstrated by photoelectron spectroscopy measurements. The performance of $CuGa_3Se_5$ absorber with $Cd^{2+}$ treated surface in the solid-state test structure depends on the Zn/Mg ratio in the $Mg_xZn_{1-x}O$ layer. The measured open circuit voltage close to 1 V is promising for tandem PEC water splitting with $CuGa_3Se_5$/$Mg_xZn_{1-x}O$ top cells.


title: Topological transitions induced by cavity-mediated interactions in photonic valley-Hall metasurfaces

abstract: Topological phases of light exhibit unique properties beyond the realm of conventional photonics. In particular the valley-Hall topological insulator has been realized in a variety of photonic structures because it can be easily induced by breaking certain lattice symmetries. However, the valley-Chern numbers are usually fixed by design and the corresponding topological edge states are forced to propagate in a fixed direction. Here, we propose a mechanism to induce topological transitions via accidental Dirac points in metasurfaces composed of interacting dipole emitters/antennas. For a fixed arrangement of dipoles, we show that the topological phase depends critically on the surrounding electromagnetic environment which mediates the dipole-dipole interactions. To access different topological phases we embed the metasurface inside a cavity waveguide where one can tune the dominant dipolar coupling from short-range Coulomb interactions to long-range photon-mediated interactions by reducing the cavity width; this results in a topological transition characterized by an inversion of the valley-Chern numbers. Consequently, we show that one can switch the chirality of the topological edge states by modifying only the electromagnetic environment in which the dipoles are embedded. This mechanism could have important implications for other topological phases such as photonic higher-order topological insulators.


title: Understanding How Over-Parametrization Leads to Acceleration: A case of learning a single teacher neuron

abstract: Over-parametrization has become a popular technique in deep learning. It is observed that by over-parametrization, a larger neural network needs a fewer training iterations than a smaller one to achieve a certain level of performance -- namely, over-parametrization leads to acceleration in optimization. However, despite that over-parametrization is widely used nowadays, little theory is available to explain the acceleration due to over-parametrization. In this paper, we propose understanding it by studying a simple problem first. Specifically, we consider the setting that there is a single teacher neuron with quadratic activation, where over-parametrization is realized by having multiple student neurons learn the data generated from the teacher neuron. We provably show that over-parametrization helps the iterate generated by gradient descent to enter the neighborhood of a global optimal solution that achieves zero testing error faster. On the other hand, we also point out an issue regarding the necessity of over-parametrization and study how the scaling of the output neurons affects the convergence time.


title: Counting intersections of normal curves

abstract: A fast algorithm for counting intersections of two normal curves on a triangulated surface is proposed. It yields a convenient way for treating mapping class groups of punctured surfaces by presenting mapping classes by matrices, and the composition by an exotic matrix multiplication. An efficient solution of the word problem for mapping class groups of punctured surfaces is proposed, with efficiency understood in a more restrictive way than the most common one.


title: On the interaction problem between a compressible viscous fluid and a nonlinear thermoelastic plate

abstract: In this paper we study the interaction problem between a nonlinear thermoelastic plate and a compressible viscous fluid with the adiabatic constant $\gamma>12/7$. The existence of a weak solution for this problem is obtained by constructing a time-continuous operator splitting scheme that decouples the fluid and the structure. The fluid sub-problem is given on a fixed reference domain in the arbitrary Lagrangian-Eulerian (ALE) formulation, and the continuity equation is damped on this domain as well. This allows the majority of the analysis to be performed on the fixed reference domain, while the convergence of the approximate pressure is obtained on the physical domain.


title: A general framework of low regularity integrators

abstract: We introduce a new general framework for the approximation of evolution equations at low regularity and develop a new class of schemes for a wide range of equations under lower regularity assumptions than classical methods require. In contrast to previous works, our new framework allows a unified practical formulation and the construction of the new schemes does not rely on any Fourier based expansions. This allows us for the first time to overcome the severe restriction to periodic boundary conditions, to embed in the same framework parabolic and dispersive equations and to handle nonlinearities that are not polynomial. In particular, as our new formalism does no longer require periodicity of the problem, one may couple the new time discretisation technique not only with spectral methods, but rather with various spatial discretisations. We apply our general theory to the time discretization of various concrete PDEs, such as the nonlinear heat equation, the nonlinear Schr\"odinger equation, the complex Ginzburg-Landau equation, the half wave and Klein--Gordon equations, set in $\Omega \subset \mathbb{R}^d$, $d \leq 3$ with suitable boundary conditions.


title: Radiative contribution to classical gravitational scattering at the third order in $G$

abstract: Working within the post-Minkowskian approach to General Relativity, we prove that the radiation-reaction to the emission of gravitational waves during the large-impact-parameter scattering of two (classical) point masses modifies the conservative scattering angle by an additional contribution of order $G^3$ which involves a high-energy (or massless) logarithmic divergence of opposite sign to the one contained in the third-post-Minkowskian result of Bern et al. [Phys. Rev. Lett. {\bf 122}, 201603 (2019)]. The high-energy limit of the resulting radiation-reaction-corrected (classical) scattering angle is finite, and is found to agree with the one following from the (quantum) eikonal-phase result of Amati, Ciafaloni and Veneziano [ Nucl. Phys. B {\bf 347}, 550 (1990)].


title: Ballistic-hydrodynamic phase transition in flow of two-dimensional electrons

abstract: Phase transitions are characterized by a sharp change in the type of dynamics of microparticles, and their description usually requires quantum mechanics. Recently, a peculiar type of conductors was discovered in which two-dimensional (2D) electrons form a viscous fluid. In this work we reveal that such electron fluid in high-quality samples can be formed from ballistic electrons via a phase transition. For this purpose, we theoretically study the evolution of a ballistic flow of 2D weakly interacting electrons with an increase of magnetic field and trace an emergence of a fluid fraction at a certain critical field. Such restructuring of the flow manifests itself in a kink in magnetic-field dependencies of the longitudinal and the Hall resistances. It is remarkable that the studied phase transition has a classical-mechanical origin and is determined by both the ballistic size effects and the electron-electron scattering. Our analysis shows that this effect was apparently observed in the recent transport experiments on 2D electrons in graphene and high-mobility GaAs quantum wells.


title: Differential Geometry of Weightings

abstract: We describe the notion of a \emph{weighting} along a submanifold $N\subset M$, and explore its differential-geometric implications. This includes a detailed discussion of weighted normal bundles, weighted deformation spaces, and weighted blow-ups. We give a description of weightings in terms of subbundles of higher tangent bundles, which leads us to notions of multiplicative weightings for Lie algebroids and Lie groupoids.


title: Estimation of friction force in an oscillator model of atomic force microscope tip sliding on vibrating surface

abstract: We consider an oscillator model to describe qualitatively friction force for an atomic force mi-croscope (AFM) tip driven on a surface described by periodic potential. It is shown that average value of the friction force could be controlled by application of external time-dependent periodic perturbation. Numerical simulation demonstrates significant drop or increase of friction depending on amplitude and frequency of perturbation. Two different oscillating regimes are observed, they determined by frequency and amplitude of perturbation. The first one is regime of mode locking at frequencies multiple to driving frequency. It occurs close to resonance of harmonic perturbation and driving frequencies. Another regime of motion for a driven oscillator is characterized by aperiodic oscillations. It was observed in the numerical experiment for perturbations with large amplitudes and frequencies far from oscillator eigenfrequency. In this regime the oscillator does not follow external driving force, but rather oscillates at several modes which result from interaction of oscillator eigenmode and perturbation frequency.


title: Kidney exchange and endless paths: On the optimal use of an altruistic donor

abstract: We consider a well-studied online random graph model for kidney exchange, where nodes representing patient-donor pairs arrive over time, and the probability of a directed edge is p. We assume existence of a single altruistic donor, who serves as a start node in this graph for a directed path of donations. The algorithmic problem is to select which donations to perform, and when, to minimize the amount of time that patients must wait before receiving a kidney. We advance our understanding of this setting by (1) providing efficient (in fact, linear-time) algorithms with optimal O(1/p) expected waiting time, (2) showing that some of these algorithms in fact provide guarantees to all patients of O(1/p) waiting time {\em with high probability}, (3) simplifying previous analysis of this problem, and (4) extending results to the case of multiple altruistic donors.


title: Improving the Exploration of High Dimensional Free Energy Landscape by a Combination of Temperature Accelerated Sliced Sampling and Parallel Biasing

abstract: Biased sampling methods such as the Temperature Accelerated Sliced Sampling (TASS), which can explore high dimensional collective variable (CV) space, is of great interest in free energy calculations. Such methods can efficiently sample configurational space even when a large number of CVs for biasing are used while many conventional methods are limited to two or three CVs. In this paper, we propose a modification to the TASS method, called Parallel Bias TASS or PBTASS, wherein a multidimensional parallel metadynamics bias is incorporated on a selected set of CVs. The corresponding time-dependent reweighting equations are derived, and the method is benchmarked. In particular, we compare the accuracy and efficiency of PBTASS with various methods viz. standard TASS, Temperature Accelerated Molecular Dynamics/driven-Adiabatic Free Energy Dynamics, and Parallel Bias Metadynamics. We demonstrate the capability of the PBTASS method by reconstructing the eight-dimensional free energy surface of alanine pentapeptide in vacuo from a 25 ns long trajectory. Free energy barriers and free energies of high energy saddle points on the high dimensional free energy landscape of this system are reported.


title: Mixed finite element approximation of periodic Hamilton--Jacobi--Bellman problems with application to numerical homogenization

abstract: In the first part of the paper, we propose and rigorously analyze a mixed finite element method for the approximation of the periodic strong solution to the fully nonlinear second-order Hamilton--Jacobi--Bellman equation with coefficients satisfying the Cordes condition. These problems arise as the corrector problems in the homogenization of Hamilton--Jacobi--Bellman equations. The second part of the paper focuses on the numerical homogenization of such equations, more precisely on the numerical approximation of the effective Hamiltonian. Numerical experiments demonstrate the approximation scheme for the effective Hamiltonian and the numerical solution of the homogenized problem.


title: Influence of magnetic ordering on the optical response of the antiferromagnetic topological insulator MnBi$_2$Te$_4$

abstract: The layered topological insulator MnBi$_2$Te$_4$ has attracted great interest recently due to its intrinsic antiferromagnetic order, potentially hosting various topological phases. By temperature-dependent infrared spectroscopy over a broad frequency range, we studied the changes in the optical conductivity of MnBi$_2$Te$_4$ at the magnetic ordering temperature. The temperature dependence of several optical parameters reveals an anomaly at the magnetic phase transition, which suggests the correlation between the bulk electronic band structure and the magnetism. We relate our findings to recent reports on the temperature dependence of the electronic band structure of MnBi$_2$Te$_4$.


title: Anomalous Quantum Oscillations in a Heterostructure of Graphene on a Proximate Quantum Spin Liquid

abstract: The quasi two-dimensional Mott insulator $\alpha$-RuCl$_3$ is proximate to the sought-after Kitaev quantum spin liquid (QSL). In a layer of $\alpha$-RuCl$_3$ on graphene the dominant Kitaev exchange is further enhanced by strain. Recently, quantum oscillation (QO) measurements of such $\alpha$-RuCl$_3$ / graphene heterostructures showed an anomalous temperature dependence beyond the standard Lifshitz-Kosevich (LK) description. Here, we develop a theory of anomalous QO in an effective Kitaev-Kondo lattice model in which the itinerant electrons of the graphene layer interact with the correlated magnetic layer via spin interactions. At low temperatures a heavy Fermi liquid emerges such that the neutral Majorana fermion excitations of the Kitaev QSL acquire charge by hybridising with the graphene Dirac band. Using ab-initio calculations to determine the parameters of our low energy model we provide a microscopic theory of anomalous QOs with a non-LK temperature dependence consistent with our measurements. We show how remnants of fractionalized spin excitations can give rise to characteristic signatures in QO experiments.


title: Supporting large-scale image recognition with out-of-domain samples

abstract: This article presents an efficient end-to-end method to perform instance-level recognition employed to the task of labeling and ranking landmark images. In a first step, we embed images in a high dimensional feature space using convolutional neural networks trained with an additive angular margin loss and classify images using visual similarity. We then efficiently re-rank predictions and filter noise utilizing similarity to out-of-domain images. Using this approach we achieved the 1st place in the 2020 edition of the Google Landmark Recognition challenge.


title: Interface Design for HCI Classroom: From Learners' Perspective

abstract: Having a good Human-Computer Interaction (HCI) design is challenging. Previous works have contributed significantly to fostering HCI, including design principle with report study from the instructor view. The questions of how and to what extent students perceive the design principles are still left open. To answer this question, this paper conducts a study of HCI adoption in the classroom. The studio-based learning method was adapted to teach 83 graduate and undergraduate students in 16 weeks long with four activities. A standalone presentation tool for instant online peer feedback during the presentation session was developed to help students justify and critique other's work. Our tool provides a sandbox, which supports multiple application types, including Web-applications, Object Detection, Web-based Virtual Reality (VR), and Augmented Reality (AR). After presenting one assignment and two projects, our results showed that students acquired a better understanding of the Golden Rules principle over time, which was demonstrated by the development of visual interface design. The Wordcloud reveals the primary focus was on the user interface and shed some light on students' interest in user experience. The inter-rater score indicates the agreement among students that they have the same level of understanding of the principles. The results show a high level of guideline compliance with HCI principles, in which we witnessed variations in visual cognitive styles. Regardless of diversity in visual preference, the students presented high consistency and a similar perspective on adopting HCI design principles. The results also elicited suggestions into the development of the HCI curriculum in the future.


title: FORK: A Forward-Looking Actor For Model-Free Reinforcement Learning

abstract: In this paper, we propose a new type of Actor, named forward-looking Actor or FORK for short, for Actor-Critic algorithms. FORK can be easily integrated into a model-free Actor-Critic algorithm. Our experiments on six Box2D and MuJoCo environments with continuous state and action spaces demonstrate significant performance improvement FORK can bring to the state-of-the-art algorithms. A variation of FORK can further solve Bipedal-WalkerHardcore in as few as four hours using a single GPU.