title: Functional Bayesian Filter

abstract: We present a general nonlinear Bayesian filter for high-dimensional state estimation using the theory of reproducing kernel Hilbert space (RKHS). Applying kernel method and the representer theorem to perform linear quadratic estimation in a functional space, we derive a Bayesian recursive state estimator for a general nonlinear dynamical system in the original input space. Unlike existing nonlinear extensions of Kalman filter where the system dynamics are assumed known, the state-space representation for the Functional Bayesian Filter (FBF) is completely learned from measurement data in the form of an infinite impulse response (IIR) filter or recurrent network in the RKHS, with universal approximation property. Using positive definite kernel function satisfying Mercer's conditions to compute and evolve information quantities, the FBF exploits both the statistical and time-domain information about the signal, extracts higher-order moments, and preserves the properties of covariances without the ill effects due to conventional arithmetic operations. This novel kernel adaptive filtering algorithm is applied to recurrent network training, chaotic time-series estimation and cooperative filtering using Gaussian and non-Gaussian noises, and inverse kinematics modeling. Simulation results show FBF outperforms existing Kalman-based algorithms.


title: Analysis of an $SU(8)$ model with a spin-$\frac{1}{2}$ field directly coupled to a gauged Rarita-Schwinger spin-$\frac{3}{2}$ field

abstract: In earlier work we analyzed an abelianized model in which a gauged Rarita-Schwinger spin-$\frac{3}{2}$ field is directly coupled to a spin-$\frac{1}{2}$ field. Here we extend this analysis to the gauged $SU(8)$ model for which the abelianized model was a simplified substitute. We calculate the gauge anomaly, show that anomaly cancellation requires adding an additional left chiral representation $\overline{8}$ spin-$\frac{1}{2}$ fermion to the original fermion complement of the $SU(8)$ model, and give options for restoring boson-fermion balance. We conclude with a summary of attractive features of the reformulated $SU(8)$ model, including a possible connection to the $E_8$ root lattice.


title: AnoNet: Weakly Supervised Anomaly Detection in Textured Surfaces

abstract: Humans can easily detect a defect (anomaly) because it is different or salient when compared to the surface it resides on. Today, manual human visual inspection is still the norm because it is difficult to automate anomaly detection. Neural networks are a useful tool that can teach a machine to find defects. However, they require a lot of training examples to learn what a defect is and it is tedious and expensive to get these samples. We tackle the problem of teaching a network with a low number of training samples with a system we call AnoNet. AnoNet's architecture is similar to CompactCNN with the exceptions that (1) it is a fully convolutional network and does not use strided convolution; (2) it is shallow and compact which minimizes over-fitting by design; (3) the compact design constrains the size of intermediate features which allows training to be done without image downsizing; (4) the model footprint is low making it suitable for edge computation; and (5) the anomaly can be detected and localized despite the weak labelling. AnoNet learns to detect the underlying shape of the anomalies despite the weak annotation as well as preserves the spatial localization of the anomaly. Pre-seeding AnoNet with an engineered filter bank initialization technique reduces the total samples required for training and also achieves state-of-the-art performance. Compared to the CompactCNN, AnoNet achieved a massive 94% reduction of network parameters from 1.13 million to 64 thousand parameters. Experiments were conducted on four data-sets and results were compared against CompactCNN and DeepLabv3. AnoNet improved the performance on an average across all data-sets by 106% to an F1 score of 0.98 and by 13% to an AUROC value of 0.942. AnoNet can learn from a limited number of images. For one of the data-sets, AnoNet learnt to detect anomalies after a single pass through just 53 training images.


title: Tension of the $E_G$ statistic and RSD data with Planck/$\Lambda$CDM and implications for weakening gravity

abstract: The $E_G$ statistic is a powerful probe for detecting deviations from GR by combining weak lensing (WL), real-space clustering and redshift space distortion (RSD) measurements thus probing both the lensing and the growth effective Newton constants ($G_L$ and $G_{eff}$). We construct an up to date compilation of $E_G$ statistic data including both redshift and scale dependence ($E_G(R,z)$). We combine this $E_G$ data compilation with an up to date compilation of $f\sigma_8$ data from RSD observations to identify the current level of tension between the Planck/$\Lambda$CDM standard model based on general relativity and a general model independent redshift evolution parametrization of $G_L$ and $G_{eff}$. Each $f\sigma_8$ datapoint considered has been published separately in the context of independent analyses of distinct galaxy samples. However, there are correlations among the datapoints considered due to overlap of the analyzed galaxy samples. Due to these correlations the derived levels of tension of the best fit parameters with Planck/$\Lambda$CDM are somewhat overestimated but this is the price to pay for maximizing the information encoded in the compilation considered. We find that the level of tension increases from about $3.5\sigma$ for the $f\sigma_8$ data compilation alone to about $6\sigma$ when the $E_G$ data are also included in the analysis. The direction of the tension is the same as implied by the $f\sigma_8$ RSD growth data alone (lower $\Omega_m$ and/or weaker effective Newton constant at low redshifts for both the lensing and the growth effective Newton constants ($G_L$ and $G_{eff}$)). These results further amplify the hints for weakening modified gravity discussed in other recent analyses.


title: On Maximum-Sum Matchings of Points

abstract: Huemer et al. (Discrete Mathematics, 2019) proved that for any two point sets $R$ and $B$ with $|R|=|B|$, the perfect matching that matches points of $R$ with points of $B$, and maximizes the total \emph{squared} Euclidean distance of the matched pairs, verifies that all the disks induced by the matching have a common point. Each pair of matched points $p\in R$ and $q\in B$ induces the disk of smallest diameter that covers $p$ and $q$. Following this research line, in this paper we consider the perfect matching that maximizes the total Euclidean distance. First, we prove that this new matching for $R$ and $B$ does not always ensure the common intersection property of the disks. Second, we extend the study of this new matching for sets of $2n$ uncolored points in the plane, where a matching is just a partition of the points into $n$ pairs. As the main result, we prove that in this case all disks of the matching do have a common point. This implies a big improvement on a conjecture of Andy Fingerhut in 1995, about a maximum matching of $2n$ points in the plane.


title: Spin-orbitronics at a topological insulator-semiconductor interface

abstract: Topological insulators (TIs) hold great promises for new spin-related phenomena and applications thanks to the spin texture of their surface states. However, a versatile platform allowing for the exploitation of these assets is still lacking due to the difficult integration of these materials with the mainstream Si-based technology. Here, we exploit germanium as a substrate for the growth of Bi$_2$Se$_3$, a prototypical TI. We probe the spin properties of the Bi$_2$Se$_3$/Ge pristine interface by investigating the spin-to-charge conversion taking place in the interface states by means of a non-local detection method. The spin population is generated by optical orientation in Ge, and diffuses towards the Bi$_2$Se$_3$ which acts as a spin detector. We compare the spin-to-charge conversion in Bi$_2$Se$_3$/Ge with the one taking place in Pt in the same experimental conditions. Notably, the sign of the spin-to-charge conversion given by the TI detector is reversed compared to the Pt one, while the efficiency is comparable. By exploiting first-principles calculations, we ascribe the sign reversal to the hybridization of the topological surface states of Bi$_2$Se$_3$ with the Ge bands. These results pave the way for the implementation of highly efficient spin detection in TI-based architectures compatible with semiconductor-based platforms.


title: Binary star detection in the Open Cluster King 1 field

abstract: A rarely studied open cluster, King 1 is observed using the 1.3m telescope equipped with 2k x 4k CCD at the Vainu Bappu Observatory, India. We analyse the photometric data obtained from the CCD observations in both B and V bands. Out of 132 detected stars in the open cluster King 1 field, we have identified 4 stellar variables and 2 among them are reported as newly detected binary systems, in this paper. The parallax values from GAIA DR2 suggest that the open cluster King 1 is at the background of these two detected binary systems, falling along the same line of sight, giving rise to different parallax values. The periodogram analysis was carried out using Phase Dispersion Minimization (PDM) and Lomb Scargle (LS) method for all the detected variables. PHOEBE (PHysics Of Eclipsing BinariEs) is extensively used to model various stellar parameters of both the detected binary systems. Based on the modeling results obtained from this work, one of the binary systems is reported for the first time as an Eclipsing Detached (ED) and the other as an Eclipsing Contact (EC) binary of W-type W UMa.


title: Analysis of hybridized discontinuous Galerkin methods without elliptic regularity assumptions

abstract: In this paper we present new stability and optimal error analyses of hybridized discontinuous Galerkin (HDG) methods which do not require elliptic regularity assumptions. To obtain error estimates without elliptic regularity assumptions, we use new inf-sup conditions based on stabilized saddle point structures of HDG methods. We show that this approach can be applied to obtain optimal error estimates of HDG methods for the Poisson equations, the convection-reaction-diffusion equations, the Stokes equations, and the Oseen equations.


title: Deep Mixture Density Network for Probabilistic Object Detection

abstract: Mistakes/uncertainties in object detection could lead to catastrophes when deploying robots in the real world. In this paper, we measure the uncertainties of object localization to minimize this kind of risk. Uncertainties emerge upon challenging cases like occlusion. The bounding box borders of an occluded object can have multiple plausible configurations. We propose a deep multivariate mixture of Gaussians model for probabilistic object detection. The covariances help to learn the relationship between the borders, and the mixture components potentially learn different configurations of an occluded part. Quantitatively, our model improves the AP of the baselines by 3.9% and 1.4% on CrowdHuman and MS-COCO respectively with almost no computational or memory overhead. Qualitatively, our model enjoys explainability since the resulting covariance matrices and the mixture components help measure uncertainties.


title: Imaging carrier transport properties in halide perovskites using time-resolved optical microscopy

abstract: Halide perovskites have remarkable properties for relatively crudely processed semiconductors, including large optical absorption coefficients and long charge carrier lifetimes. Thanks to such properties, these materials are now competing with established technologies for use in cost-effective and efficient light harvesting and light emitting devices. Nevertheless, our fundamental understanding of the behaviour of charge carriers in these materials particularly on the nano to micro scale has on the whole lagged behind the empirical device performances. Such understanding is essential to control charge carriers, exploit new device structures, and push devices to their performance limits. Among other tools, optical microscopy and spectroscopic techniques have revealed rich information about charge carrier recombination and transport on important length scales. In this Progress Report, we detail the contribution of time-resolved optical microscopy techniques to our collective understanding of the photophysics of these materials. We discuss ongoing technical developments in the field that are overcoming traditional experimental limitations in order to visualise transport properties over multiple time and length scales. Finally, we propose strategies to combine optical microscopy with complementary techniques in order to obtain a holistic picture of local carrier photophysics in state of the art perovskite devices.


title: Efficiently Counting Vertex Orbits of All 5-vertex Subgraphs, by EVOKE

abstract: Subgraph counting is a fundamental task in network analysis. Typically, algorithmic work is on total counting, where we wish to count the total frequency of a (small) pattern subgraph in a large input data set. But many applications require local counts (also called vertex orbit counts) wherein, for every vertex $v$ of the input graph, one needs the count of the pattern subgraph involving $v$. This provides a rich set of vertex features that can be used in machine learning tasks, especially classification and clustering. But getting local counts is extremely challenging. Even the easier problem of getting total counts has received much research attention. Local counts require algorithms that get much finer grained information, and the sheer output size makes it difficult to design scalable algorithms. We present EVOKE, a scalable algorithm that can determine vertex orbits counts for all 5-vertex pattern subgraphs. In other words, EVOKE exactly determines, for every vertex $v$ of the input graph and every 5-vertex subgraph $H$, the number of copies of $H$ that $v$ participates in. EVOKE can process graphs with tens of millions of edges, within an hour on a commodity machine. EVOKE is typically hundreds of times faster than previous state of the art algorithms, and gets results on datasets beyond the reach of previous methods. Theoretically, we generalize a recent "graph cutting" framework to get vertex orbit counts. This framework generate a collection of polynomial equations relating vertex orbit counts of larger subgraphs to those of smaller subgraphs. EVOKE carefully exploits the structure among these equations to rapidly count. We prove and empirically validate that EVOKE only has a small constant factor overhead over the best (total) 5-vertex subgraph counter.


title: Biological sex classification with structural MRI data shows increased misclassification in transgender women

abstract: Transgender individuals (TIs) show brain structural alterations that differ from their biological sex as well as their perceived gender. To substantiate evidence that the brain structure of TIs differs from male and female, we use a combined multivariate and univariate approach. Gray matter segments resulting from voxel-based morphometry preprocessing of $N = 1753$ cisgender (CG) healthy participants were used to train ($N=1402$) and validate (20 % hold-out; $N = 351$) a support-vector machine classifying the biological sex. As a second validation, we classified $N = 1104$ patients with depression. A third validation was performed using the matched CG sample of the transgender women (TWs) application-sample. Subsequently, the classifier was applied to $N = 26$ TWs. Finally, we compared brain volumes of CG-men, women and TW-pre/post treatment (cross-sex hormone treatment) in a univariate analysis controlling for sexual orientation, age and total brain volume. The application of our biological sex classifier to the transgender sample resulted in a significantly lower true positive rate (TPR) (TPR-male = 56.0 %). The TPR did not differ between CG-individuals with (TPR-male = 86.9 %) and without depression (TPR-male = 88.5 %). The univariate analysis of the transgender application-sample revealed that TW-pre/post treatment show brain structural differences from CG-women and CG-men in the putamen and insula, as well as the whole-brain analysis. Our results support the hypothesis that brain structure in TW differs from brain structure of their biological sex (male) as well as their perceived gender (female). This finding substantiates evidence that TIs show specific brain structural alterations leading to a different pattern of brain structure than CG-individuals.


title: Natural Ricci Solitons on tangent and unit tangent bundles

abstract: Considering pseudo-Riemannian $g$-natural metrics on tangent bundles, we prove that the condition of being Ricci soliton is hereditary in the sense that a Ricci soliton structure on the tangent bundle gives rise to a Ricci soliton structure on the base manifold. Restricting ourselves to some class of pseudo-Riemannian $g$-natural metrics, we show that the tangent bundle is a Ricci soliton if and only if the base manifold is flat and the potential vector field is a complete lift of a conformal vector field. We give then a classification of conformal vector fields on a flat Riemannian manifold. When unit tangent bundles over a constant curvature Riemannian manifold are endowed with pseudo-Riemannian Kaluza-Klein type metric, we give a classification of Ricci soliton structures whose potential vector fields are fiber-preserving, inferring the existence of some of them which are non Einstein.


title: Transitions between hyperfine structure states of antiprotonic $^4 \mathrm{He}$ at collisions with medium atoms: interaction \emph{ab initio}

abstract: Collisions of metastable antiprotonic helium atoms with atoms of the medium induce, among other processes, transitions between hyperfine structure (HFS) states, as well as shifts and broadening of microwave M1 spectral lines. In order to obtain matrix potential of interaction between $(\mathrm{\bar{p} He} ^+)$ and $\mathrm{He}$, we have calculated the potential energy surface (PES) in the framework of unrestricted Hartree-Fock method taking into account electron correlations in the second-order perturbation theory (MP2). With this potential, the system of close-coupling equations for HFS channels is solved numerically. Cross sections and transition rates, shifts and broadening of M1 spectral lines are calculated. They are used to obtain a numerical solution of the master equation that determines the time evolution of the HFS-states density matrix. The results are compared with the experimental data and with the results of model calculation.


title: Charge-Transfer Selectivity and Quantum Interference in Real-Time Electron Dynamics: Gaining Insights from Time-Dependent Configuration Interaction Simulations

abstract: Many-electron wavepacket dynamics based on time-dependent configuration interaction (TDCI) is a numerically rigorous approach to quantitatively model electron-transfer across molecular junctions. TDCI simulations of cyanobenzene thiolates---para- and meta-linked to an acceptor gold atom---show donor states \emph{conjugating} with the benzene $\pi$-network to allow better through-molecule electron migration in the para isomer compared to the meta counterpart. For dynamics involving \emph{non-conjugating} states, we find electron-injection to stem exclusively from distance-dependent non-resonant quantum mechanical tunneling, in which case the meta isomer exhibits better dynamics. Computed trend in donor-to-acceptor net-electron transfer through differently linked azulene bridges agrees with the trend seen in low-bias conductivity measurements. Disruption of $\pi$-conjugation has been shown to be the cause of diminished electron-injection through the 1,3-azulene, a pathological case for graph-based diagnosis of destructive quantum interference. Furthermore, we demonstrate quantum interference of many-electron wavefunctions to drive para- vs. meta- selectivity in the coherent evolution of superposed $\pi$(CN)- and $\sigma$(NC-C)-type wavepackets. Analyses reveal that in the para-linked benzene, $\sigma$ and $\pi$ MOs localized at the donor terminal are \emph{in-phase} leading to constructive interference of electron density distribution while phase-flip of one of the MOs in the meta isomer results in destructive interference. These findings suggest that \emph{a priori} detection of orbital phase-flip and quantum coherence conditions can aid in molecular device design strategies.


title: DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning

abstract: Testing Deep Neural Network (DNN) models has become more important than ever with the increasing usage of DNN models in safety-critical domains such as autonomous cars. The traditional approach of testing DNNs is to create a test set, which is a random subset of the dataset about the problem of interest. This kind of approach is not enough for testing most of the real-world scenarios since these traditional test sets do not include corner cases, while a corner case input is generally considered to introduce erroneous behaviors. Recent works on adversarial input generation, data augmentation, and coverage-guided fuzzing (CGF) have provided new ways to extend traditional test sets. Among those, CGF aims to produce new test inputs by fuzzing existing ones to achieve high coverage on a test adequacy criterion (i.e. coverage criterion). Given that the subject test adequacy criterion is a well-established one, CGF can potentially find error inducing inputs for different underlying reasons. In this paper, we propose a novel CGF solution for structural testing of DNNs. The proposed fuzzer employs Monte Carlo Tree Search to drive the coverage-guided search in the pursuit of achieving high coverage. Our evaluation shows that the inputs generated by our method result in higher coverage than the inputs produced by the previously introduced coverage-guided fuzzing techniques.


title: Scale-invariant scalar field dark matter through the Higgs portal

abstract: We introduce an oscillating scalar field coupled to the Higgs that can account for all dark matter in the Universe. Due to an underlying scale invariance of this model, the dark scalar only acquires mass after the electroweak phase transition. We discuss the dynamics of this dark matter candidate, showing that it behaves like dark radiation until the Electroweak phase transition and like non-relativistic matter afterwards. In the case of a negative coupling to the Higgs field, the scalar gets a vacuum expectation value after the electroweak phase transition and may decay into photons, although being sufficiently long-lived to account for dark matter. We show that, within this scenario, for a mass of 7 keV, the model can explain the observed galactic and extra-galactic 3.5 keV X-ray line. Nevertheless, it will be very difficult to probe this model in the laboratory in the near future.


title: On a New Type $pq$-Calculus

abstract: In this paper, we introduce a new type of $ pq $-calculus. The $ pq $-derivative and $ pq $-integration are investigated and various properties of these concepts are given. The fundamental theorem of $ pq $-calculus and formulas of $ pq $-integration by part are also presented.


title: Fluctuations of the Magnetization for Ising Models on Erd\H{o}s-R\'enyi Random Graphs -- the Regimes of Small p and the Critical Temperature

abstract: We continue our analysis of Ising models on the (directed) Erd\H{o}s-R\'enyi random graph. This graph is constructed on $N$ vertices and every edge has probability $p$ to be present. These models were introduced by Bovier and Gayrard [J. Stat. Phys., 1993] and analyzed by the authors in a previous note, in which we consider the case of $p=p(N)$ satisfying $p^3N^2\to +\infty$ and $\beta <1$. In the current note we prove a quenched Central Limit Theorem for the magnetization for $p$ satisfying $pN \to \infty$ in the high-temperature regime $\beta<1$. We also show a non-standard Central Limit Theorem for $p^4N^3 \to \infty$ at the critical temperature $\beta=1$. For $p^4N^3 \to 0$ we obtain a Gaussian limiting distribution for the magnetization. Finally, on the critical line $p^4N^3 \to c$ the limiting distribution for the magnetization contains a quadratic component as well as a $x^4$-term. Hence, at $\beta=1$ we observe a phase transition in $p$ for the fluctuations of the magnetization.


title: The universal fibration with fibre $X$ in rational homotopy theory

abstract: Let $X$ be a simply connected space with finite-dimensional rational homotopy groups. Let $p_\infty \colon UE \to \mathrm{Baut}_1(X)$ be the universal fibration of simply connected spaces with fibre $X$. We give a DG Lie model for the evaluation map $ \omega \colon \mathrm{aut}_1(\mathrm{Baut}_1(X_{\mathbb Q})) \to \mathrm{Baut}_1(X_{\mathbb Q})$ expressed in terms of derivations of the relative Sullivan model of $p_\infty$. We deduce formulas for the rational Gottlieb group and for the evaluation subgroups of the classifying space $\mathrm{Baut}_1(X_{\mathbb Q})$ as a consequence. We also prove that ${\mathbb C} P^n_{\mathbb Q}$ cannot be realized as $\mathrm{Baut}_1(X_{\mathbb Q})$ for $n \leq 4$ and $X$ with finite-dimensional rational homotopy groups.


title: The center of the total ring of fractions

abstract: Let $A$ be a right Ore domain, $Z(A)$ be the center of $A$ and $Q_r(A)$ be the right total ring of fractions of $A$. If $K$ is a field and $A$ is a $K$-algebra, in this short paper we prove that if $A$ is finitely generated and ${\rm GKdim}(A)<{\rm GKdim}(Z(A))+1$, then $Z(Q_r(A))\cong Q(Z(A))$. Many examples that illustrate the theorem are included, most of them within the skew $PBW$ extensions.


title: The Reconfigurable Aerial Robotic Chain: Shape and Motion Planning

abstract: This paper presents the design concept, modeling and motion planning solution for the aerial robotic chain. This design represents a configurable robotic system of systems, consisting of multi-linked micro aerial vehicles that simultaneously presents the ability to cross narrow sections, morph its shape, ferry significant payloads, offer the potential of distributed sensing and processing, and allow system extendability. We contribute an approach to address the motion planning problem of such a connected robotic system of systems, making full use of its reconfigurable nature, to find collision free paths in a fast manner despite the increased number of degrees of freedom. The presented approach exploits a library of aerial robotic chain configurations, optimized either for cross-section size or sensor coverage, alongside a probabilistic strategy to sample random shape configurations that may be needed to facilitate continued collision-free navigation. Evaluation studies in simulation involve traversal of constrained and obstacle-laden environments, having narrow corridors and cross sections.


title: Does set theory really ground arithmetic truth?

abstract: We consider the foundational relation between arithmetic and set theory. Our goal is to criticize the construction of standard arithmetic models as providing grounds for arithmetic truth (even in a relative sense). Our method is to emphasize the incomplete picture of both theories and treat models as their syntactical counterparts. Insisting on the incomplete picture will allow us to argue in favor of the revisability of the standard model interpretation. We then show that it is hopeless to expect that the relative grounding provided by a standard interpretation can resist being revisable. We start briefly characterizing the expansion of arithmetic truth provided by the interpretation in a set theory. Further, we show that, for every well-founded interpretation of recursive extensions of PA in extensions of ZF, the interpreted version of arithmetic has more theorems than the original. This theorem expansion is not complete however. We continue by defining the coordination problem. The problem can be summarized as follows. We consider two independent communities of mathematicians responsible for deciding over new axioms for ZF and PA. How likely are they to be coordinated regarding PAs interpretation in ZF? We prove that it is possible to have extensions of PA not interpretable in a given set theory ST. We further show that the probability of a random extension of arithmetic being interpretable in ST is zero.


title: Fatigue Detection

abstract: Nowadays, there are many fatigue detection methods and the majority of them are tracking eye in real-time using one or two cameras to detect the physical responses in eyes. It is indicated that the responses in eyes have high relativity with driver fatigue. As part of this project, We will propose a fatigue detection system based on pose estimation. Using pose estimation, We plan to mark the body joints in the upper body for shoulders and neck. Then, we plan to compare the location of the joints of the current posture with the ideal posture.


title: Enabling Large-Scale Condensed-Phase Hybrid Density Functional Theory Based $Ab$ $Initio$ Molecular Dynamics I: Theory, Algorithm, and Performance

abstract: By including a fraction of exact exchange (EXX), hybrid functionals reduce the self-interaction error in semi-local density functional theory (DFT), and thereby furnish a more accurate and reliable description of the electronic structure in systems throughout biology, chemistry, physics, and materials science. However, the high computational cost associated with the evaluation of all required EXX quantities has limited the applicability of hybrid DFT in the treatment of large molecules and complex condensed-phase materials. To overcome this limitation, we have devised a linear-scaling yet formally exact approach that utilizes a local representation of the occupied orbitals (e.g., maximally localized Wannier functions, MLWFs) to exploit the sparsity in the real-space evaluation of the quantum mechanical exchange interaction in finite-gap systems. In this work, we present a detailed description of the theoretical and algorithmic advances required to perform MLWF-based ab initio molecular dynamics (AIMD) simulations of large-scale condensed-phase systems at the hybrid DFT level. We provide a comprehensive description of the exx algorithm, which is currently implemented in the Quantum ESPRESSO program and employs a hybrid MPI/OpenMP parallelization scheme to efficiently utilize high-performance computing (HPC) resources. This is followed by a critical assessment of the accuracy and parallel performance of this approach when performing AIMD simulations of liquid water in the canonical ensemble. With access to HPC resources, we demonstrate that exx enables hybrid DFT based AIMD simulations of condensed-phase systems containing 500-1000 atoms with a walltime cost that is comparable to semi-local DFT. In doing so, exx takes us closer to routinely performing AIMD simulations of large-scale condensed-phase systems for sufficiently long timescales at the hybrid DFT level of theory.


title: Mixed scalar-pseudoscalar Higgs boson production through next-to-next-to-leading order at the LHC

abstract: We study the production of a mixed scalar-pseudoscalar Higgs boson in gluon fusion at the LHC, through next-to-next-to-leading order (NNLO) in QCD. We obtain fully differential results, including the decay of the Higgs boson to two charged lepton pairs. We discuss the impact of the interference between the scalar and pseudoscalar states. We also show differential distributions for several kinematic variables whose shape is sensitive to the parity of the Higgs boson, and assess the impact of the NNLO QCD corrections on these shapes.


title: Determination of the energy of the Dzyaloshinskii-Moriya interaction in [Co/Pd(111)]5 superlattices with different Co thickness by micromagnetic simulations of labyrinth domain structures

abstract: Determination of the energy of Dzyaloshinskii-Moriya interaction along with a definition of the basic magnetic characteristics in ferromagnetic/nonmagnetic multilayered systems are both required for the construction of a magnetic skyrmion recording medium. A method for estimating the energy of the effective Dzyaloshinskii-Moriya interaction which compared the periodicities of micromagnetically simulated and experimentally measured demagnetized domain structures was shown in a current paper. Symmetric epitaxial [Co/Pd(111)]5 superlattices with Co layers of varying thickness were used as the system for investigation. The structural and magnetic properties of epitaxial [Co(dCo)/Pd]5 superlattices with different Co layers thicknesses were comprehensively investigated. The dependence of the energy of effective Dzyaloshinskii-Moriya interaction on the thickness of the Co layers in the [Co(dCo)/Pd]5 multilayered structures was determined. The relationship between Dzyaloshinskii-Moriya interaction and asymmetry of the strains between the bottom Pd/Co and top Co/Pd interfaces was discussed. The simulation parameters and the demagnetization approach prior to measuring the magnetic structure influenced the obtained results. Necessity of setting all the layers in micromagnetic simulations was established. The significant influence of interlayer dipolar coupling on the periodicity of simulated labyrinth domain structures was also confirmed.


title: The harmonic mean $\chi^2$ test to substantiate scientific findings

abstract: Statistical methodology plays a crucial role in drug regulation. Decisions by the FDA or EMA are typically made based on multiple primary studies testing the same medical product, where the two-trials rule is the standard requirement, despite a number of shortcomings. A new approach is proposed for this task based on the (weighted) harmonic mean of the squared study-specific test statistics. Appropriate scaling ensures that, for any number of independent studies, the null distribution is a $\chi^2$-distribution with one degree of freedom. This gives rise to a new method for combining one-sided $p$-values and calculating confidence intervals for the overall treatment effect. Further properties are discussed and a comparison with the two-trials rule is made, as well as with alternative research synthesis methods. An attractive feature of the new approach is that a claim of success requires each study to be convincing on its own to a certain degree depending on the overall significance level and the number of studies. A real example with 5 clinical trials investigating the effect of Carvedilol for the treatment of patients with moderate to severe heart failure patients is used to illustrate the methodology.


title: Long nonnegative sums of Legendre symbols

abstract: For $0\leq \alpha<1$ and prime number $p$ let $L(\alpha,p)$ be the sum of the first $[\alpha p]$ values of Legendre symbol modulo $p$. We study positivity of $L(\alpha,p)$ and prove that for $|\alpha-\frac13|<2\cdot 10^{-6}$ and for rational $\alpha\leq \frac12$ with denominators in the set $\{1,2,3,4,5,6,8,12\}$ the inequality $L(\alpha,p)\geq 0$ holds for majority of primes.


title: Multi-Agent Reinforcement Learning: A Selective Overview of Theories and Algorithms

abstract: Recent years have witnessed significant advances in reinforcement learning (RL), which has registered great success in solving various sequential decision-making problems in machine learning. Most of the successful RL applications, e.g., the games of Go and Poker, robotics, and autonomous driving, involve the participation of more than one single agent, which naturally fall into the realm of multi-agent RL (MARL), a domain with a relatively long history, and has recently re-emerged due to advances in single-agent RL techniques. Though empirically successful, theoretical foundations for MARL are relatively lacking in the literature. In this chapter, we provide a selective overview of MARL, with focus on algorithms backed by theoretical analysis. More specifically, we review the theoretical results of MARL algorithms mainly within two representative frameworks, Markov/stochastic games and extensive-form games, in accordance with the types of tasks they address, i.e., fully cooperative, fully competitive, and a mix of the two. We also introduce several significant but challenging applications of these algorithms. Orthogonal to the existing reviews on MARL, we highlight several new angles and taxonomies of MARL theory, including learning in extensive-form games, decentralized MARL with networked agents, MARL in the mean-field regime, (non-)convergence of policy-based methods for learning in games, etc. Some of the new angles extrapolate from our own research endeavors and interests. Our overall goal with this chapter is, beyond providing an assessment of the current state of the field on the mark, to identify fruitful future research directions on theoretical studies of MARL. We expect this chapter to serve as continuing stimulus for researchers interested in working on this exciting while challenging topic.


title: Pyramid Vector Quantization and Bit Level Sparsity in Weights for Efficient Neural Networks Inference

abstract: This paper discusses three basic blocks for the inference of convolutional neural networks (CNNs). Pyramid Vector Quantization (PVQ) is discussed as an effective quantizer for CNNs weights resulting in highly sparse and compressible networks. Properties of PVQ are exploited for the elimination of multipliers during inference while maintaining high performance. The result is then extended to any other quantized weights. The Tiny Yolo v3 CNN is used to compare such basic blocks.


title: I Send, Therefore I Leak: Information Leakage in Low-Power Wide Area Networks

abstract: Low-power wide area networks (LPWANs), such as LoRa, are fast emerging as the preferred networking technology for large-scale Internet of Things deployments (e.g., smart cities). Due to long communication range and ultra low power consumption, LPWAN-enabled sensors are today being deployed in a variety of application scenarios where sensitive information is wirelessly transmitted. In this work, we study the privacy guarantees of LPWANs, in particular LoRa. We show that, although the event-based duty cycling of radio communication, i.e., transmission of radio signals only when an event occurs, saves power, it inherently leaks information. This information leakage is independent of the implemented crypto primitives. We identify two types of information leakage and show that it is hard to completely prevent leakage without incurring significant additional communication and computation costs.


title: The Luminosity Function of Red Supergiants in M31

abstract: The mass-loss rates of red supergiant stars (RSGs) are poorly constrained by direct measurements, and yet the subsequent evolution of these stars depends critically on how much mass is lost during the RSG phase. In 2012 the Geneva evolutionary group updated their mass-loss prescription for RSGs with the result that a 20 solar mass star now loses 10x more mass during the RSG phase than in the older models. Thus, higher mass RSGs evolve back through a second yellow supergiant phase rather than exploding as Type II-P supernovae, in accord with recent observations (the so-called "RSG Problem"). Still, even much larger mass-loss rates during the RSG phase cannot be ruled out by direct measurements of their current dust-production rates, as such mass-loss is episodic. Here we test the models by deriving a luminosity function for RSGs in the nearby spiral galaxy M31 which is sensitive to the total mass loss during the RSG phase. We carefully separate RSGs from asymptotic giant branch stars in the color-magnitude diagram following the recent method exploited by Yang and collaborators in their Small Magellanic Cloud studies. Comparing our resulting luminosity function to that predicted by the evolutionary models shows that the new prescription for RSG mass-loss does an excellent job of matching the observations, and we can readily rule out significantly larger values.


title: Hyperkloosterman sums revisited

abstract: We return to some past studies of hyperkloosterman sums ([9,10]) via $p$-adic cohomology with an aim to improve earlier results. In particular, we work here with Dwork's $\theta_\infty$-splitting function and a better choice of basis for cohomology. To a large extent, we are guided to this choice of basis by our recent work on the $p$-integrality of coefficients of $A$-hypergeometric series[3]. In the earlier work, congruence estimates were limited to $p>n+2$. We are here able to remove all characteristic restrictions from earlier results.


title: Algorithmic Bias in Recidivism Prediction: A Causal Perspective

abstract: ProPublica's analysis of recidivism predictions produced by Correctional Offender Management Profiling for Alternative Sanctions (COMPAS) software tool for the task, has shown that the predictions were racially biased against African American defendants. We analyze the COMPAS data using a causal reformulation of the underlying algorithmic fairness problem. Specifically, we assess whether COMPAS exhibits racial bias against African American defendants using FACT, a recently introduced causality grounded measure of algorithmic fairness. We use the Neyman-Rubin potential outcomes framework for causal inference from observational data to estimate FACT from COMPAS data. Our analysis offers strong evidence that COMPAS exhibits racial bias against African American defendants. We further show that the FACT estimates from COMPAS data are robust in the presence of unmeasured confounding.


title: ORL: Reinforcement Learning Benchmarks for Online Stochastic Optimization Problems

abstract: Reinforcement Learning (RL) has achieved state-of-the-art results in domains such as robotics and games. We build on this previous work by applying RL algorithms to a selection of canonical online stochastic optimization problems with a range of practical applications: Bin Packing, Newsvendor, and Vehicle Routing. While there is a nascent literature that applies RL to these problems, there are no commonly accepted benchmarks which can be used to compare proposed approaches rigorously in terms of performance, scale, or generalizability. This paper aims to fill that gap. For each problem we apply both standard approaches as well as newer RL algorithms and analyze results. In each case, the performance of the trained RL policy is competitive with or superior to the corresponding baselines, while not requiring much in the way of domain knowledge. This highlights the potential of RL in real-world dynamic resource allocation problems.


title: Geometry and volume product of finite dimensional Lipschitz-free spaces

abstract: The goal of this paper is to study geometric and extremal properties of the convex body $B_{\mathcal F(M)}$, which is the unit ball of the Lipschitz-free Banach space associated with a finite metric space $M$. We investigate $\ell_1$ and $\ell_\infty$-sums, in particular we characterize the metric spaces such that $B_{\mathcal F(M)}$ is a Hanner polytope. We also characterize the finite metric spaces whose Lipschitz-free spaces are isometric. We discuss the extreme properties of the volume product $\mathcal{P}(M)=|B_{\mathcal F(M)}|\cdot|B_{\mathcal F(M)}^\circ|$, when the number of elements of $M$ is fixed. We show that if $\mathcal P(M)$ is maximal among all the metric spaces with the same number of points, then all triangle inequalities in $M$ are strict and $B_{\mathcal F(M)}$ is simplicial. We also focus on the metric spaces minimizing $\mathcal P(M)$, and in the Mahler's conjecture for this class of convex bodies.


title: Mordell-Weil ranks and Tate-Shafarevich groups of elliptic curves with mixed-reduction type over cyclotomic extensions

abstract: Let $E$ be an elliptic curve defined over a number field $K$ where $p$ splits completely. Suppose that $E$ has good reduction at all primes above $p$. Generalizing previous works of Kobayashi and Sprung, we define multiply signed Selmer groups over the cyclotomic $\mathbb{Z}_p$-extension of a finite extension $F$ of $K$ where $p$ is unramified. Under the hypothesis that the Pontryagin duals of these Selmer groups are torsion over the corresponding Iwasawa algebra, we show that the Mordell-Weil ranks of $E$ over a subextension of the cyclotomic $\mathbb{Z}_p$-extension are bounded. Furthermore, we derive an aysmptotic formula of the growth of the $p$-parts of the Tate-Shafarevich groups of $E$ over these extensions.


title: The Tilted Beta Binomial Linear Regression Model: a Bayesian Approach

abstract: This paper proposes new linear regression models to deal with overdispersed binomial datasets. These new models, called tilted beta binomial regression models, are defined from the tilted beta binomial distribution, proposed assuming that the parameter of the binomial distribution follows a tilted beta distribution. As a particular case of this regression models, we propose the beta rectangular binomial regression models, defined from the binomial distribution assuming that their parameters follow a beta rectangular distribution. These new linear regression models, defined assuming that the parameters of these new distributions follow regression structures, are fitted applying Bayesian methods and using the OpenBUGS software. The proposed regression models are fitted to an overdispersed binomial dataset of the number of seeds that germinate depending on the type of chosen seed androot.


title: Derivative-Free Method For Composite Optimization With Applications To Decentralized Distributed Optimization

abstract: In this paper, we propose a new method based on the Sliding Algorithm from Lan(2016, 2019) for the convex composite optimization problem that includes two terms: smooth one and non-smooth one. Our method uses the stochastic noised zeroth-order oracle for the non-smooth part and the first-order oracle for the smooth part. To the best of our knowledge, this is the first method in the literature that uses such a mixed oracle for the composite optimization. We prove the convergence rate for the new method that matches the corresponding rate for the first-order method up to a factor proportional to the dimension of the space or, in some cases, its squared logarithm. We apply this method for the decentralized distributed optimization and derive upper bounds for the number of communication rounds for this method that matches known lower bounds. Moreover, our bound for the number of zeroth-order oracle calls per node matches the similar state-of-the-art bound for the first-order decentralized distributed optimization up to to the factor proportional to the dimension of the space or, in some cases, even its squared logarithm.


title: Graded basic elements

abstract: We prove the existence theorem for basic elements in the quasi-projective case, extending results of Eisenbud-Evans and Bruns from the affine case. We give several geometric applications. For example, we show that every local complete intersection of pure codimension two in a smooth projective variety of dimension d over an infinite field is the degeneracy locus of d-1 sections of a rank d bundle.


title: Fast convergence to higher multiplicity zeros

abstract: In this paper, the Newton-Anderson method, which results from applying an extrapolation technique known as Anderson acceleration to Newton's method, is shown both analytically and numerically to provide superlinear convergence to non-simple roots of scalar equations. The method requires neither a priori knowledge of the multiplicities of the roots, nor computation of any additional function evaluations or derivatives.


title: A Note on Mixing in High Dimensional Time Series

abstract: Various mixing conditions have been imposed on high dimensional time series, including the strong mixing ($\alpha$-mixing), maximal correlation coefficient ($\rho$-mixing), absolute regularity ($\beta$-mixing), and $\phi$-mixing. $\alpha$-mixing condition is a routine assumption when studying autoregression models. $\rho$-mixing can lead to $\alpha$-mixing. In this paper, we prove a way to verify $\rho$-mixing under a high-dimensional triangular array time series setting by using the Pearson's $\phi^2$, mean square contingency. Vector autoregression model VAR(1) and vector autoregression moving average VARMA(1,1) are proved satisfying $\rho$-mixing condition based on low rank setting.


title: Residual supersingular Iwasawa theory and signed Iwasawa invariants

abstract: For an odd prime $p$ and a supersingular elliptic curve over a number field, this article introduces a fine signed residual Selmer group, under certain hypotheses on the base field. This group depends purely on the residual representation at $p$, yet captures information about the Iwasawa theoretic invariants of the signed $p^\infty$-Selmer group that arise in supersingular Iwasawa theory. Working in this residual setting provides a natural framework for studying congruences modulo $p$ in Iwasawa theory.


title: On some sequences of polynomials generating the Genocchi numbers

abstract: Sequences of Genocchi numbers of the first and second kind are considered. For these numbers, an approach based on their representation using sequences of polynomials is developed. Based on this approach, for these numbers some identities generalizing the known identities are constructed.


title: Trajectory growth lower bounds for random sparse deep ReLU networks

abstract: This paper considers the growth in the length of one-dimensional trajectories as they are passed through deep ReLU neural networks, which, among other things, is one measure of the expressivity of deep networks. We generalise existing results, providing an alternative, simpler method for lower bounding expected trajectory growth through random networks, for a more general class of weights distributions, including sparsely connected networks. We illustrate this approach by deriving bounds for sparse-Gaussian, sparse-uniform, and sparse-discrete-valued random nets. We prove that trajectory growth can remain exponential in depth with these new distributions, including their sparse variants, with the sparsity parameter appearing in the base of the exponent.


title: The Einstein-Klein-Gordon coupled system: global stability of the Minkowski solution

abstract: We prove definitive results on the global stability of the flat space among solutions of the Einstein-Klein-Gordon system. Our main theorems in this monograph include: (1) A proof of global regularity (in wave coordinates) of solutions of the Einstein-Klein-Gordon coupled system, in the case of small, smooth, and localized perturbations of the stationary Minkowski solution; (2) Precise asymptotics of the metric components and the Klein-Gordon field as the time goes to infinity, including the construction of modified (nonlinear) scattering profiles and quantitative bounds for convergence; (3) Classical estimates on the solutions at null and timelike infinity, such as bounds on the metric components, weak peeling estimates of the Riemann curvature tensor, ADM and Bondi energy identities and estimates, and asymptotic description of null and timelike geodesics.


title: A Unified Deep Learning Approach for Prediction of Parkinson's Disease

abstract: The paper presents a novel approach, based on deep learning, for diagnosis of Parkinson's disease through medical imaging. The approach includes analysis and use of the knowledge extracted by Deep Convolutional and Recurrent Neural Networks (DNNs) when trained with medical images, such as Magnetic Resonance Images and DaTscans. Internal representations of the trained DNNs constitute the extracted knowledge which is used in a transfer learning and domain adaptation manner, so as to create a unified framework for prediction of Parkinson's across different medical environments. A large experimental study is presented illustrating the ability of the proposed approach to effectively predict Parkinson's, using different medical image sets from real environments.


title: Lung Cancer Detection and Classification based on Image Processing and Statistical Learning

abstract: Lung cancer is one of the death threatening diseases among human beings. Early and accurate detection of lung cancer can increase the survival rate from lung cancer. Computed Tomography (CT) images are commonly used for detecting the lung cancer.Using a data set of thousands of high-resolution lung scans collected from Kaggle competition [1], we will develop algorithms that accurately determine in the lungs are cancerous or not. The proposed system promises better result than the existing systems, which would be beneficial for the radiologist for the accurate and early detection of cancer. The method has been tested on 198 slices of CT images of various stages of cancer obtained from Kaggle dataset[1] and is found satisfactory results. The accuracy of the proposed method in this dataset is 72.2%


title: Inverse scattering transform of an extended nonlinear Schr\"{o}dinger equation with nonzero boundary conditions and its multisoliton solutions

abstract: Under investigation in this work is an extended nonlinear Schr\"{o}dinger equation with nonzero boundary conditions, which can model the propagation of waves in dispersive media. Firstly, a matrix Riemann-Hilbert problem for the equation with nonzero boundary conditions at infinity is systematically discussed. Then the inverse problems are solved through the investigation of the matrix Riemann-Hilbert problem. Therefore, the general solutions for the potentials, and explicit expressions for the reflection-less potentials are presented. Furthermore, we construct the simple-pole and double-pole solutions for the equation. Finally, the remarkable characteristics of these solutions are graphically discussed. Our results should be useful to enrich and explain the related nonlinear wave phenomena in nonlinear fields.


title: Detectability of SASI activity in supernova neutrino signals

abstract: We introduce a novel methodology for establishing the presence of Standing Accretion Shock Instabilities (SASI) in the dynamics of a core collapse supernova from the observed neutrino event rate at water- or ice-based neutrino detectors. The methodology uses a likelihood ratio in the frequency domain as a test-statistics; it is also employed to assess the potential to estimate the frequency and the amplitude of the SASI modulations of the neutrino signal. The parameter estimation errors are consistent with the minimum possible errors as evaluated from the inverse of the Fisher information matrix, and close to the theoretical minimum for the SASI amplitude. Using results from a core-collapse simulation of a 15 solar-mass star by Kuroda $\it {et\, al.}$ (2017) as a test bed for the method, we find that SASI can be identified with high confidence for a distance to the supernova of up to $\sim 6$ kpc for IceCube and and up to $\sim 3$ kpc for a 0.4 Mt mass water Cherenkov detector. This methodology will aid the investigation of a future galactic supernova.


title: Reducing the Human Effort in Developing PET-CT Registration

abstract: We aim to reduce the tedious nature of developing and evaluating methods for aligning PET-CT scans from multiple patient visits. Current methods for registration rely on correspondences that are created manually by medical experts with 3D manipulation, or assisted alignments done by utilizing mutual information across CT scans that may not be consistent when transferred to the PET images. Instead, we propose to label multiple key points across several 2D slices, which we then fit a key curve to. This removes the need for creating manual alignments in 3D and makes the labelling process easier. We use these key curves to define an error metric for the alignments that can be computed efficiently. While our metric is non-differentiable, we further show that we can utilize it during the training of our deep model via a novel method. Specifically, instead of relying on detailed geometric labels -- e.g., manual 3D alignments -- we use synthetically generated deformations of real data. To incorporate robustness to changes that occur between visits other than geometric changes, we enforce consistency across visits in the deep network's internal representations. We demonstrate the potential of our method via qualitative and quantitative experiments.


title: Projective Quadratic Regression for Online Learning

abstract: This paper considers online convex optimization (OCO) problems - the paramount framework for online learning algorithm design. The loss function of learning task in OCO setting is based on streaming data so that OCO is a powerful tool to model large scale applications such as online recommender systems. Meanwhile, real-world data are usually of extreme high-dimensional due to modern feature engineering techniques so that the quadratic regression is impractical. Factorization Machine as well as its variants are efficient models for capturing feature interactions with low-rank matrix model but they can't fulfill the OCO setting due to their non-convexity. In this paper, We propose a projective quadratic regression (PQR) model. First, it can capture the import second-order feature information. Second, it is a convex model, so the requirements of OCO are fulfilled and the global optimal solution can be achieved. Moreover, existing modern online optimization methods such as Online Gradient Descent (OGD) or Follow-The-Regularized-Leader (FTRL) can be applied directly. In addition, by choosing a proper hyper-parameter, we show that it has the same order of space and time complexity as the linear model and thus can handle high-dimensional data. Experimental results demonstrate the performance of the proposed PQR model in terms of accuracy and efficiency by comparing with the state-of-the-art methods.


title: Snell's law for spin waves at a 90-degree domain wall

abstract: We report experimental observation of the refraction and re ection of propagating magnetostatic spin waves crossing a 90-degree domain wall (DW) in terms of time-resolved magneto-optical imaging. Due to the magnetization rotation across the 90-degree DW, the dispersion relation of magnetostatic spin waves rotates by 90 degrees, which results in the change in the propagation dynamics of spin waves in both sides of the DW. We observe the refraction and re ection of magnetosatatc spin waves at the 90-degree DW, and reveal their characteristics, such as negative refraction. The incident-angle dependence of the refraction angle is explained by the wavenumber conservation along the DW, same as the case of Snell's law for light.


title: Polarization control of an X-ray free electron laser oscillator

abstract: High-intensity, fully coherent X-ray radiation with a tunable polarization over a wide spectral range is of great importance to many experiments. In this paper, we propose a tapered crossed-polarized undulator configuration for X-ray free electron laser oscillator (XFELO) to produce arbitrarily polarized X-ray pulses in hard X-ray region. A numerical example utilizing the parameters of the Shanghai High-Repetition-Rate XFEL and Extreme Light Facility (SHINE) is presented to demonstrate the generation of polarization controllable, fully coherent Hard X-ray pulses with 99.9% polarization degree and 20 KHz polarization switching rate. This scheme also holds the possibility to be used in cavity tunable XFELO.


title: Existence and stability of unidirectional flocks in hydrodynamic Euler Alignment systems

abstract: In this note we reveal new classes of solutions to hydrodynamic Euler alignment systems governing collective behavior of flocks. The solutions describe unidirectional parallel motion of agents, and are globally well-posed in multi-dimensional settings subject to a threshold condition similar to the one dimensional case. We develop the flocking and stability theory of these solutions and show long time convergence to traveling wave with rapidly aligned velocity field. In the context of multi-scale models introduced in \cite{ST-multi} our solutions can be superimposed into Mikado formations -- clusters of unidirectional flocks pointing in various directions. Such formations exhibit multiscale alignment phenomena and resemble realistic behavior of interacting large flocks.


title: Crystal-electric-field excitations in a quantum-spin-liquid candidate NaErS$_2$

abstract: The delafossite family of compounds with a triangular lattice of rare earth ions has been recently proposed as a candidate host for quantum spin liquid (QSL) states. To realize QSLs, the crystal-electric-field (CEF) ground state of the rare earth ions should be composed of a doublet that allows sizable quantum tunneling, but till now the knowledge on CEF states in the delafossite compounds is still limited. Here we employ inelastic neutron scattering (INS) to study the CEF transitions in a powder sample of the delafossite NaErS$_2$, where the large total angular momentum $J = 15/2$ of the Er$^{3+} $ ions and the resulting plethora of CEF transitions enable an accurate fit of the CEF parameters. Our study reveals nearly isotropic spins with large $J_z = \pm 1/2$ components for the Er$^{3+}$ CEF ground states, which might facilitate the development of a QSL state. The scaling of the obtained CEF Hamiltonian to different rare earth ions suggests that sizable $J_z = \pm 1/2$ components are generally present in the CEF ground states, supporting the ternary sulfide delafossites as potential QSL hosts.


title: Entanglement Entropy in Jackiw-Teitelboim Gravity

abstract: We compute the entanglement entropy and Renyi entropies of arbitrary pure states in pure Jackiw-Teitelboim gravity in Lorentz signature. We apply the quantum Hubeny-Rangamani-Ryu-Takayanagi formula by computing the quantum corrected area term and the bulk entropy term. The sum of these two terms for the Hartle-Hawking state agrees with the black hole entropy above extremality computed from the Euclidean disk path integral. We interpret the area term as the universal contribution of a defect operator that plays a crucial role in our Lorentzian interpretation of the Euclidean replica trick in gravity.


title: Stochastic Graphon Games: I. The Static Case

abstract: We consider static finite-player network games and their continuum analogs, graphon games. Existence and uniqueness results are provided, as well as convergence of the finite-player network game optimal strategy profiles to their analogs for the graphon games. We also show that equilibrium strategy profiles of a graphon game provide approximate Nash equilibria for the finite-player games. Connections with mean field games and central planner optimization problems are discussed. Motivating applications are presented and explicit computations of their Nash equilibria and social optimal strategies are provided.


title: Phase Instability amid Dimensional Crossover in Artificial Oxide Crystal

abstract: Artificial crystals synthesized by atomic-scale epitaxy provides the ability to control the dimensions of the quantum phases and associated phase transitions via precise thickness modulation. In particular, reduction in dimensionality via quantized control of atomic layers is a powerful approach to revealing hidden electronic and magnetic phases. Here, we demonstrate a dimensionality-controlled and induced metal-insulator transition (MIT) in atomically designed superlattices by synthesizing a genuine two dimensional (2D) SrRuO3 crystal with highly suppressed charge transfer. The tendency to ferromagnetically align the spins in SrRuO3 layer diminishes in 2D as the interlayer exchange interaction vanishes, accompanying the 2D localization of electrons. Furthermore, electronic and magnetic instabilities in the two SrRuO3 unit cell layers induce a thermally-driven MIT along with a metamagnetic transition.


title: Who did They Respond to? Conversation Structure Modeling using Masked Hierarchical Transformer

abstract: Conversation structure is useful for both understanding the nature of conversation dynamics and for providing features for many downstream applications such as summarization of conversations. In this work, we define the problem of conversation structure modeling as identifying the parent utterance(s) to which each utterance in the conversation responds to. Previous work usually took a pair of utterances to decide whether one utterance is the parent of the other. We believe the entire ancestral history is a very important information source to make accurate prediction. Therefore, we design a novel masking mechanism to guide the ancestor flow, and leverage the transformer model to aggregate all ancestors to predict parent utterances. Our experiments are performed on the Reddit dataset (Zhang, Culbertson, and Paritosh 2017) and the Ubuntu IRC dataset (Kummerfeld et al. 2019). In addition, we also report experiments on a new larger corpus from the Reddit platform and release this dataset. We show that the proposed model, that takes into account the ancestral history of the conversation, significantly outperforms several strong baselines including the BERT model on all datasets


title: The continuum limit of interacting dislocations on multiple slip systems

abstract: In this paper we derive the continuum limit of a multiple-species, interacting particle system by proving a $\Gamma$-convergence result on the interaction energy as the number of particles tends to infinity. As the leading application, we consider $n$ edge dislocations in multiple slip systems. Since the interaction potential of dislocations has a logarithmic singularity at zero with a sign that depends on the orientation of the slip systems, the interaction energy is unbounded from below. To make the minimization problem of this energy meaningful, we follow the common approach to regularise the interaction potential over a length-scale $\delta > 0$. The novelty of our result is that we leave the \emph{type} of regularisation general, and that we consider the joint limit $n \to \infty$ and $\delta \to 0$. Our result shows that the limit behaviour of the interaction energy is not affected by the type of the regularisation used, but that it may depend on how fast the \emph{size} (i.e., $\delta$) decays as $n \to \infty$.


title: JParaCrawl: A Large Scale Web-Based English-Japanese Parallel Corpus

abstract: Recent machine translation algorithms mainly rely on parallel corpora. However, since the availability of parallel corpora remains limited, only some resource-rich language pairs can benefit from them. We constructed a parallel corpus for English-Japanese, for which the amount of publicly available parallel corpora is still limited. We constructed the parallel corpus by broadly crawling the web and automatically aligning parallel sentences. Our collected corpus, called JParaCrawl, amassed over 8.7 million sentence pairs. We show how it includes a broader range of domains and how a neural machine translation model trained with it works as a good pre-trained model for fine-tuning specific domains. The pre-training and fine-tuning approaches achieved or surpassed performance comparable to model training from the initial state and reduced the training time. Additionally, we trained the model with an in-domain dataset and JParaCrawl to show how we achieved the best performance with them. JParaCrawl and the pre-trained models are freely available online for research purposes.


title: Galois symbol maps for abelian varieties over a $p$-adic field

abstract: We study the Galois symbol map associated to the multiplicative group and an abelian variety which has good ordinary reduction over a $p$-adic field. As a byproduct, one can calculate the "class group" in the view of the class field theory for curves over a $p$-adic field.


title: Relativistic density functional theory with finite-light-speed correction for the Coulomb interaction: a non-relativistic-reduction based approach

abstract: The Breit correction, the finite-light-speed correction for the Coulomb interaction of the electron-electron interaction in $ O \left( 1/ c^2 \right) $, is introduced to density functional theory (DFT) based on the non-relativistic reduction with the local density approximation. Using this newly developed relativistic DFT, it is found that the possible outer-most electron of lawrencium atom is the $ p $ orbital instead of the $ d $ orbital, which is consistent with the previous calculations based on wave-function theory. A possible explanation of the anomalous behavior of its first ionization energy is also given. This DFT scheme provides a practical calculation method for the study of properties of super-heavy elements.

categories: physics.comp-ph cond-mat.mtrl-sci cond-mat.other physics.atom-ph physics.chem-ph


title: CANTO -- Covert AutheNtication with Timing channels over Optimized traffic flows for CAN

abstract: Previous research works have endorsed the use of delays and clock skews for detecting intrusions or fingerprinting ECUs on the CAN bus. Similar techniques have been also proposed for establishing a time-covert cryptographic authentication channel, in this way cleverly removing the need for cryptographic material inside the limited payload of CAN frames. The main shortcoming of such works is the limited security level that can be achieved under normal CAN-bus traffic. In this work we endeavour to test the limits of the achievable security level by relying on optimization algorithms for scheduling CAN frames. Under practical bus allocations that are based on real-world scenarios, we are able to extract around 4--5 bits of authentication data from each frame which leads to an efficient intrusion detection and authentication mechanism. By accumulating covert channel data over several consecutive frames, we can achieve higher security levels that are in line with current security demands. To prove the correctness of our approach, we present experiments on state-of-the-art automotive-grade controllers (Infineon Aurix) and bus measurements with the use of industry standard tools, i.e., CANoe.


title: GAC-GAN: A General Method for Appearance-Controllable Human Video Motion Transfer

abstract: Human video motion transfer has a wide range of applications in multimedia, computer vision and graphics. Recently, due to the rapid development of Generative Adversarial Networks (GANs), there has been significant progress in the field. However, almost all existing GAN-based works are prone to address the mapping from human motions to video scenes, with scene appearances are encoded individually in the trained models. Therefore, each trained model can only generate videos with a specific scene appearance, new models are required to be trained to generate new appearances. Besides, existing works lack the capability of appearance control. For example, users have to provide video records of wearing new clothes or performing in new backgrounds to enable clothes or background changing in their synthetic videos, which greatly limits the application flexibility. In this paper, we propose GAC-GAN, a general method for appearance-controllable human video motion transfer. To enable general-purpose appearance synthesis, we propose to include appearance information in the conditioning inputs. Thus, once trained, our model can generate new appearances by altering the input appearance information. To achieve appearance control, we first obtain the appearance-controllable conditioning inputs and then utilize a two-stage GAC-GAN to generate the corresponding appearance-controllable outputs, where we utilize an ACGAN loss and a shadow extraction module for output foreground and background appearance control respectively. We further build a solo dance dataset containing a large number of dance videos for training and evaluation. Experimental results show that, our proposed GAC-GAN can not only support appearance-controllable human video motion transfer but also achieve higher video quality than state-of-art methods.


title: Domination for latin square graphs

abstract: In combinatorics, a latin square is a $n\times n$ matrix filled with n different symbols, each occurring exactly once in each row and exactly once in each column. Associated to each latin square, we can define a simple graph called a latin square graph. In this article, we compute lower and upper bounds for the domination number and the k-tuple total domination numbers of such graphs. Moreover, we describe a formula for the 2-tuple total domination number.


title: Adaptive Nearest Neighbor: A General Framework for Distance Metric Learning

abstract: $K$-NN classifier is one of the most famous classification algorithms, whose performance is crucially dependent on the distance metric. When we consider the distance metric as a parameter of $K$-NN, learning an appropriate distance metric for $K$-NN can be seen as minimizing the empirical risk of $K$-NN. In this paper, we design a new type of continuous decision function of the $K$-NN classification rule which can be used to construct the continuous empirical risk function of $K$-NN. By minimizing this continuous empirical risk function, we obtain a novel distance metric learning algorithm named as adaptive nearest neighbor (ANN). We have proved that the current algorithms such as the large margin nearest neighbor (LMNN), neighbourhood components analysis (NCA) and the pairwise constraint methods are special cases of the proposed ANN by setting the parameter different values. Compared with the LMNN, NCA, and pairwise constraint methods, our method has a broader searching space which may contain better solutions. At last, extensive experiments on various data sets are conducted to demonstrate the effectiveness and efficiency of the proposed method.


title: Tropical principal component analysis on the space of ultrametrics

abstract: In 2019, Yoshida et al. introduced a notion of tropical principal component analysis (PCA). The output is a tropical polytope with a fixed number of vertices that best fits the data. We here apply tropical PCA to dimension reduction and visualization of data sampled from the space of phylogenetic trees. Our main results are twofold: the existence of a tropical cell decomposition into regions of fixed tree topology and the development of a stochastic optimization method to estimate the tropical PCA using a Markov Chain Monte Carlo (MCMC) approach. This method performs well with simulation studies, and it is applied to three empirical datasets: Apicomplexa and African coelacanth genomes as well as sequences of hemagglutinin for influenza from New York.


title: Attribute Restoration Framework for Anomaly Detection

abstract: With the recent advances in deep neural networks, anomaly detection in multimedia has received much attention in the computer vision community. While reconstruction-based methods have recently shown great promise for anomaly detection, the information equivalence among input and supervision for reconstruction tasks can not effectively force the network to learn semantic feature embeddings. We here propose to break this equivalence by erasing selected attributes from the original data and reformulate it as a restoration task, where the normal and the anomalous data are expected to be distinguishable based on restoration errors. Through forcing the network to restore the original image, the semantic feature embeddings related to the erased attributes are learned by the network. During testing phases, because anomalous data are restored with the attribute learned from the normal data, the restoration error is expected to be large. Extensive experiments have demonstrated that the proposed method significantly outperforms several state-of-the-arts on multiple benchmark datasets, especially on ImageNet, increasing the AUROC of the top-performing baseline by 10.1%. We also evaluate our method on a real-world anomaly detection dataset MVTec AD and a video anomaly detection dataset ShanghaiTech.


title: Non-autoregressive Transformer by Position Learning

abstract: Non-autoregressive models are promising on various text generation tasks. Previous work hardly considers to explicitly model the positions of generated words. However, position modeling is an essential problem in non-autoregressive text generation. In this study, we propose PNAT, which incorporates positions as a latent variable into the text generative process. Experimental results show that PNAT achieves top results on machine translation and paraphrase generation tasks, outperforming several strong baselines.


title: Broadband Single-Mode Hybrid Photonic Crystal Waveguides for Terahertz Integration on a Chip

abstract: A novel terahertz hybrid waveguide chip consisting of silicon photonic crystals sandwiched in parallel gold plates is developed. Both simulation and experimental results demonstrate that the hybrid waveguide offers a wide single-mode transmission window with low group velocity dispersion and low loss. This compact, substrate-free terahertz chip would play a significant role in broadband, dense-integrated, multi-functional terahertz systems.


title: A Random-Line-Graph Approach to Overlapping Line Segments

abstract: We study graphs that are formed by independently-positioned needles (i.e., line segments) in the unit square. To mathematically characterize the graph structure, we derive the probability that two line segments intersect and determine related quantities such as the distribution of intersections, given a certain number of line segments $N$. We interpret intersections between line segments as nodes and connections between them as edges in a spatial network that we refer to as random-line graph (RLG). Using methods from the study of random-geometric graphs, we show that the probability of RLGs to be connected undergoes a sharp transition if the number of lines exceeds a threshold $N^*$.


title: The deep learning and statistical physics applications to the problems of combinatorial optimization

abstract: We present herein a new approach based on the simultaneous application of the deep learning and statistical physics methods to solve the combinatorial optimization problems. The recent modern advanced techniques, such as an artificial neural network, demonstrate their efficiency for solving various physical tasks for the quantum many-body systems, which may be related directly to the problems of combinatorial optimization. One of them is a classical Maximum Cut (MaxCut) problem, which we ascribe here to the search of the ground state of a quantum many-body system using an artificial neural network and deep learning. We found that the exact solution received for a quantum system corresponds to its counterpart in a classical MaxCut problem. As a proof, we have realized our approach for two random graphs of different size, containing 60 vertices (885 edges) and 100 vertices (2475 edges), and achieved for them the total performances p60~0.99 and $p100~0.97 of known maximal cuts, respectively.


title: Extreme congestion of microswimmers at a bottleneck constriction

abstract: When attracted by a stimulus (e. g. light), microswimmers can build up very densely at a constriction and thus cause clogging. The micro-alga \textit{Chlamydomonas Reinhardtii} is used here as a model system to study this phenomenon. Its negative phototaxis makes the algae swim away from a light source and go through a microfabricated bottleneck-shaped constriction. Successive clogging events interspersed with bursts of algae are observed. A power law decrease is found to describe well the distribution of time lapses of blockages. Moreover, the evacuation time is found to increase when increasing the swimming velocity. These results might be related to the phenomenology of crowd dynamics and in particular what has been called the Faster is Slower effect in the dedicated literature. It also raises the question of the presence of tangential solid friction between motile cells densely packed that may accompany arches formation. Using the framework of crowd dynamics we analyze the microswimmers behavior and in particular question the role of hydrodynamics.


title: Analysis of odds, probability, and hazard ratios: From 2 by 2 tables to two-sample survival data

abstract: Analysis of 2 by 2 tables and two-sample survival data has been widely used. Exact calculation is computational intractable for conditional likelihood inference in odds ratio models with large marginals in 2 by 2 tables, or partial likelihood inference in Cox's proportional hazards models with considerable tied event times. Approximate methods are often employed, but their statistical properties have not been formally studied while taking into account the approximation involved. We develop new methods and theory by constructing suitable estimating functions while leveraging knowledge from conditional or partial likelihood inference. We propose a weighted Mantel--Haenszel estimator in an odds ratio model such as Cox's discrete-time proportional hazards model. Moreover, we consider a probability ratio model, and derive as a consistent estimator the Breslow--Peto estimator, which has been regarded as an approximation to partial likelihood estimation in the odds ratio model. We study both model-based and model-robust variance estimation. For the Breslow--Peto estimator, our new model-based variance estimator is no greater than the commonly reported variance estimator. We present numerical studies which support the theoretical findings.


title: Image-based table recognition: data, model, and evaluation

abstract: Important information that relates to a specific topic in a document is often organized in tabular format to assist readers with information retrieval and comparison, which may be difficult to provide in natural language. However, tabular data in unstructured digital documents, e.g., Portable Document Format (PDF) and images, are difficult to parse into structured machine-readable format, due to complexity and diversity in their structure and style. To facilitate image-based table recognition with deep learning, we develop the largest publicly available table recognition dataset PubTabNet (https://github.com/ibm-aur-nlp/PubTabNet), containing 568k table images with corresponding structured HTML representation. PubTabNet is automatically generated by matching the XML and PDF representations of the scientific articles in PubMed Central Open Access Subset (PMCOA). We also propose a novel attention-based encoder-dual-decoder (EDD) architecture that converts images of tables into HTML code. The model has a structure decoder which reconstructs the table structure and helps the cell decoder to recognize cell content. In addition, we propose a new Tree-Edit-Distance-based Similarity (TEDS) metric for table recognition, which more appropriately captures multi-hop cell misalignment and OCR errors than the pre-established metric. The experiments demonstrate that the EDD model can accurately recognize complex tables solely relying on the image representation, outperforming the state-of-the-art by 9.7% absolute TEDS score.


title: A Deep Reinforcement Learning Architecture for Multi-stage Optimal Control

abstract: Deep reinforcement learning for high dimensional, hierarchical control tasks usually requires the use of complex neural networks as functional approximators, which can lead to inefficiency, instability and even divergence in the training process. Here, we introduce stacked deep Q learning (SDQL), a flexible modularized deep reinforcement learning architecture, that can enable finding of optimal control policy of control tasks consisting of multiple linear stages in a stable and efficient way. SDQL exploits the linear stage structure by approximating the Q function via a collection of deep Q sub-networks stacking along an axis marking the stage-wise progress of the whole task. By back-propagating the learned state values from later stages to earlier stages, all sub-networks co-adapt to maximize the total reward of the whole task, although each sub-network is responsible for learning optimal control policy for its own stage. This modularized architecture offers considerable flexibility in terms of environment and policy modeling, as it allows choices of different state spaces, action spaces, reward structures, and Q networks for each stage, Further, the backward stage-wise training procedure of SDQL can offers additional transparency, stability, and flexibility to the training process, thus facilitating model fine-tuning and hyper-parameter search. We demonstrate that SDQL is capable of learning competitive strategies for problems with characteristics of high-dimensional state space, heterogeneous action space(both discrete and continuous), multiple scales, and sparse and delayed rewards.


title: Effects of Adopting Ultra-Fast Charging Stations in the San Francisco Bay Area

abstract: Ultra-Fast Charging (UFC) is a rising technology that can shorten the time of charging an Electric Vehicle (EV) from hours to minutes. However, the power consumption characteristics of UFC bring new challenges to the existing power system, and its pros and cons are yet to be studied. This project aims to set up a framework for studying the different aspects of substituting the normal non-residential EV chargers within the San Francisco Bay Area with Ultra-Fast Charging (UFC) stations. Three objectives were defined for three stakeholders involved in this simulation, namely: the EV user, the station owner, and the grid operator. The results show that, UFCs will significantly contribute to increase of peak load and power consumption during the peak demand period, which is an undesirable outcome from grid operation perspective. Total electricity and operations and maintenance costs for station owner would increase subsequently, while this can be justified by analyzing the value of time (VOT) from an EV-user perspective. Additionally, peak-shaving using battery storage facilities is studied for complementing the applied technology change and mitigating the impacts of higher power consumption on the grid.


title: Zero-Shot Imitating Collaborative Manipulation Plans from YouTube Cooking Videos

abstract: People often watch videos on the web to learn how to cook new recipes, assemble furniture or repair a computer. We wish to enable robots with the very same capability. This is challenging; there is a large variation in manipulation actions and some videos even involve multiple persons, who collaborate by sharing and exchanging objects and tools. Furthermore, the learned representations need to be general enough to be transferable to robotic systems. On the other hand, previous work has shown that the space of human manipulation actions has a linguistic, hierarchical structure that relates actions to manipulated objects and tools. Building upon this theory of language for action, we propose a system for understanding and executing demonstrated action sequences from full-length, real-world cooking videos on the web. The system takes as input a new, previously unseen cooking video annotated with object labels and bounding boxes, and outputs a collaborative manipulation action plan for one or more robotic arms. We demonstrate performance of the system in a standardized dataset of 100 YouTube cooking videos, as well as in six full-length Youtube videos that include collaborative actions between two participants. We compare our system with a baseline system that consists of a state-of-the-art action detection baseline and show our system achieves higher action detection accuracy. We additionally propose an open-source platform for executing the learned plans in a simulation environment as well as with an actual robotic arm.


title: Improvement of Batch Normalization in Imbalanced Data

abstract: In this study, we consider classification problems based on neural networks in data-imbalanced environment. Learning from an imbalanced data set is one of the most important and practical problems in the field of machine learning. A weighted loss function based on cost-sensitive approach is a well-known effective method for imbalanced data sets. We consider a combination of weighted loss function and batch normalization (BN) in this study. BN is a powerful standard technique in the recent developments in deep learning. A simple combination of both methods leads to a size-mismatch problem due to a mismatch between interpretations of effective size of data set in both methods. We propose a simple modification to BN to correct the size-mismatch and demonstrate that this modified BN is effective in data-imbalanced environment.


title: Rethinking Softmax with Cross-Entropy: Neural Network Classifier as Mutual Information Estimator

abstract: Mutual information is widely applied to learn latent representations of observations, whilst its implication in classification neural networks remain to be better explained. We show that optimising the parameters of classification neural networks with softmax cross-entropy is equivalent to maximising the mutual information between inputs and labels under the balanced data assumption. Through experiments on synthetic and real datasets, we show that softmax cross-entropy can estimate mutual information approximately. When applied to image classification, this relation helps approximate the point-wise mutual information between an input image and a label without modifying the network structure. To this end, we propose infoCAM, informative class activation map, which highlights regions of the input image that are the most relevant to a given label based on differences in information. The activation map helps localise the target object in an input image. Through experiments on the semi-supervised object localisation task with two real-world datasets, we evaluate the effectiveness of our information-theoretic approach.


title: Hidden antiferro-nematic order in Fe-based superconductor BaFe$_2$As$_2$ and NaFeAs above $T_S$

abstract: In several Fe-based superconductors, slight $C_4$ symmetry breaking occurs at $T^*$, which is tens of Kelvin higher than the structural transition temperature $T_S$. In this "hidden" nematic state at $T_S<T<T^*$, the orthorhombicity is tiny [$\phi=(a-b)/(a+b) \ll 0.1$%], but clear evidences of bulk phase transition have been accumulated. To explain this long-standing mystery, we propose the emergence of antiferro-bond (AFB) order with the antiferro wavevector ${\bf q}=(0,\pi)$ at $T=T^*$, by which the characteristic phenomena below $T^*$ are satisfactorily explained. This AFB order originates from the inter-orbital nesting between the $d_{xy}$-orbital hole-pocket and the electron-pocket, and this inter-orbital bond order naturally explains the pseudogap, band-folding, and tiny nematicity that is linear in $T^*-T$. The hidden AFB order explains key experiments in both BaFe$_2$As$_2$ and NaFeAs, but it is not expected to occur in FeSe because of the absence of the $d_{xy}$-orbital hole-pocket.


title: Measuring the evolution of intergalactic gas from z=0 to 5 using the kinematic Sunyaev-Zel'dovich effect

abstract: A complete census of baryons in the late universe is a long-standing challenge due to the intermediate temperate and rarefied character of the majority of cosmic gas. To gain insight into this problem, we extract measurements of the kinematic Sunyaev-Zel'dovich (kSZ) effect from the cross-correlation of angular redshift fluctuations maps, which contain precise information about the cosmic density and velocity fields, and CMB maps high-pass filtered using aperture photometry; we refer to this technique as ARF-kSZ tomography. Remarkably, we detect significant cross-correlation for a wide range of redshifts and filter apertures using 6dF galaxies, BOSS galaxies, and SDSS quasars as tracers, yielding a 11 sigma detection of the kSZ effect. We then leverage these measurements to set constraints on the location, density, and abundance of gas inducing the kSZ effect, finding that this gas resides outside dark matter haloes, presents densities ranging from 10 to 250 times the cosmic average, and comprises half of cosmic baryons. Taken together, these findings indicate that ARF-kSZ tomography provides a nearly complete census of intergalactic gas from z=0 to 5.


title: Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems

abstract: In all software development projects, engineers face the challenge of translating the requirements layer into a design layer, then into an implementation-code layer, and then validating the correctness of the result. Many methodologies, languages and tools exist for facilitating the process, including multiple back-and-forth `refinement trips' across the requirements, design and implementation layers, by focusing on formalizing the artifacts involved and on automating a variety of tasks throughout. In this paper, we introduce a novel and unique development environment, which integrates scenario-based programming (SBP) via the LSC language and the object-oriented, visual Statecharts formalism, for the development of reactive systems. LSC targets creation of models and systems directly from requirement specifications, and Statecharts is used mainly for specifying final component behavior. Our integration enables semantically-rich joint execution, with the sharing and interfacing of objects and events, and can be used for creating and then gradually enhancing testable models from early in requirements elicitation through detailed design. In some cases, it can be used for generating final system code. We describe the technical details of the integration and its semantics and discuss its significance for future development methodologies.


title: Mitigate Bias in Face Recognition using Skewness-Aware Reinforcement Learning

abstract: Racial equality is an important theme of international human rights law, but it has been largely obscured when the overall face recognition accuracy is pursued blindly. More facts indicate racial bias indeed degrades the fairness of recognition system and the error rates on non-Caucasians are usually much higher than Caucasians. To encourage fairness, we introduce the idea of adaptive margin to learn balanced performance for different races based on large margin losses. A reinforcement learning based race balance network (RL-RBN) is proposed. We formulate the process of finding the optimal margins for non-Caucasians as a Markov decision process and employ deep Q-learning to learn policies for an agent to select appropriate margin by approximating the Q-value function. Guided by the agent, the skewness of feature scatter between races can be reduced. Besides, we provide two ethnicity aware training datasets, called BUPT-Globalface and BUPT-Balancedface dataset, which can be utilized to study racial bias from both data and algorithm aspects. Extensive experiments on RFW database show that RL-RBN successfully mitigates racial bias and learns more balanced performance for different races.


title: Persistent and Zigzag Homology: A Matrix Factorization Viewpoint

abstract: Over the past two decades, topological data analysis has emerged as a field of applied mathematics with new applications and algorithmic developments appearing rapidly. Two fundamental computations in this field are persistent homology and zigzag homology. In this paper, we show how these computations in the most general case reduce to finding a canonical form of a matrix associated with a type A quiver representation, which in turn can be computed using factorizations of associated matrices. We show how to use arbitrary induced maps on homology for computation, providing a framework that goes beyond the capabilities of existing software for topological data analysis. Furthermore, this framework offers multiple opportunities for parallelization which have not been previously exploited. We provide several examples of the utility of this framework, demonstrate parallel speedups, and report on significant improvements in comparison to existing software.


title: Numerical investigation of coherent and turbulent structures of light via nonlinear integral mappings

abstract: The propagation of stable coherent entities of an electromagnetic field in nonlinear media with parameters varying in space can be described in the framework of iterations of nonlinear integral transformations. It is shown that for a set of geometries relevant to typical problems of nonlinear optics, numerical modeling by reducing to dynamical systems with discrete time and continuous spatial variables to iterates of local nonlinear Feigenbaum and Ikeda mappings and nonlocal diffusion-dispersion linear integral transforms is equivalent to partial differential equations of the Ginzburg-Landau type in a fairly wide range of parameters. Such nonlocal mappings , which are the products of matrix operators in the numerical implementation, turn out to be stable numerical-difference schemes, provide fast convergence and an adequate approximation of solutions. The realism of this approach allows one to take into account the effect of noise on nonlinear dynamics by superimposing a spatial noise specified in the form of a multimode random process at each iteration and selecting the stable wave configurations. The nonlinear wave formations described by this method include optical phase singularities, spatial solitons, and turbulent states with fast decay of correlations. The particular interest is in the periodic configurations of the electromagnetic field obtained by this numerical method that arise as a result of phase synchronization, such as optical lattices and self-organized vortex clusters.