title: Forecasting Irreversible Disease via Progression Learning

abstract: Forecasting Parapapillary atrophy (PPA), i.e., a symptom related to most irreversible eye diseases, provides an alarm for implementing an intervention to slow down the disease progression at early stage. A key question for this forecast is: how to fully utilize the historical data (e.g., retinal image) up to the current stage for future disease prediction? In this paper, we provide an answer with a novel framework, namely \textbf{D}isease \textbf{F}orecast via \textbf{P}rogression \textbf{L}earning (\textbf{DFPL}), which exploits the irreversibility prior (i.e., cannot be reversed once diagnosed). Specifically, based on this prior, we decompose two factors that contribute to the prediction of the future disease: i) the current disease label given the data (retinal image, clinical attributes) at present and ii) the future disease label given the progression of the retinal images that from the current to the future. To model these two factors, we introduce the current and progression predictors in DFPL, respectively. In order to account for the degree of progression of the disease, we propose a temporal generative model to accurately generate the future image and compare it with the current one to get a residual image. The generative model is implemented by a recurrent neural network, in order to exploit the dependency of the historical data. To verify our approach, we apply it to a PPA in-house dataset and it yields a significant improvement (\textit{e.g.}, \textbf{4.48\%} of accuracy; \textbf{3.45\%} of AUC) over others. Besides, our generative model can accurately localize the disease-related regions.


title: Classical and quantum exact solutions for a FRW in chiral like cosmology

abstract: In this work, first, we study a flat Friedmann-Robertson-Walker Universe with two scalar fields but only one potential term, which can be thought as a simple quintessence plus a K-essence model. Employing the Hamiltonian formalism we are able to obtain the classical and quantum solutions. The second model studied, is also a flat Friedmann-Robertson-Walker Universe with two scalar fields, with the difference that the two potentials are considered as well as the standard kinetic energy and the mixed term (chiral field approach). Regarding this second model, it is shown that setting to zero the coefficient accompanying the mixed momenta term, two possible cases can be studied: a quintom like case ($m^{12}_{+}$) and a quintessence like case ($m^{12}_{-}$). For both scenarios classical and quantum solutions are presented.


title: Communicating Uncertainty and Risk in Air Quality Maps

abstract: Environmental sensors provide crucial data for understanding our surroundings. For example, air quality maps based on sensor readings help users make decisions to mitigate the effects of pollution on their health. Standard maps show readings from individual sensors or colored contours indicating estimated pollution levels. However, showing a single estimate may conceal uncertainty and lead to underestimation of risk, while showing sensor data yields varied interpretations. We present several visualizations of uncertainty in air quality maps, including a frequency-framing "dotmap" and small multiples, and we compare them with standard contour and sensor-based maps. In a user study, we find that including uncertainty in maps has a significant effect on how much users would choose to reduce physical activity, and that people make more cautious decisions when using uncertainty-aware maps. Additionally, we analyze think-aloud transcriptions from the experiment to understand more about how the representation of uncertainty influences people's decision-making. Our results suggest ways to design maps of sensor data that can encourage certain types of reasoning, yield more consistent responses, and convey risk better than standard maps.


title: Modular functors with infinite dimensional Hilbert spaces

abstract: We introduce a notion of generalized modular functors with Hilbert spaces of infinite dimension in general, and show that a generalized modular functor with data of conformal dimensions determines uniquely wave functions as its flat sections. Furthermore, we study an example of generalized modular functors derived from the Liouville conformal field theory. In this example, wave functions are seen to be gluing conformal blocks which are identified with eigenfunctions in the quantum Teichm\"uller theory.


title: Theory and simulations for crowding-induced changes in stability of proteins with applications to $\lambda$ repressor

abstract: Experiments and theories have shown that when steric interactions between crowding particles and proteins are dominant, which give rise to Asakura-Oosawa depletion forces, then the stabilities of the proteins increase compared to the infinite dilution case. We show using theoretical arguments that the crowder volume fraction ($\Phi_C$) dependent increase in the melting temperature of globular proteins, $\Delta T_m(\Phi_C) \approx \Phi_C^{\alpha}$ where $\alpha = \frac{1}{(3 \nu_{eff} - 1)}$. The effective Flory exponent, $\nu_{eff}$, relates the radius of gyration in the unfolded state to the number of amino acid residues in the protein. We derive the bound 1.25 $\le \alpha \le$ 2.0. The theoretical predictions are confirmed using molecular simulations of $\lambda$ repressor in the presence of spherical crowding particles. Analyses of previous simulations and experiments confirm the predicted theoretical bound for $\alpha$. We show that the non-specific attractions between crowding particles and amino acid residues have to be substantial to fully negate the enhanced protein stabilities due to intra protein attractive Asakura-Oosawa (AO) depletion potential. Using the findings, we provide an alternate explanation for the very modest (often less than 0.5 Kcal/mol) destabilization in certain proteins in the cellular milieu. Cellular environment is polydisperse containing large and small crowding agents. AO arguments suggest that proteins would be localized between large (sizes exceeding that of the proteins) crowders, which are predicted to have negligible effect on stability. {\it In vitro} experiments containing mixtures of crowding particles could validate or invalidate the predictions.


title: Ionic-strength and pH dependent reactivities of ascorbic acid toward ozone in aqueous micro-droplets studied by aerosol optical tweezers

abstract: The heterogeneous oxidation reaction of single aqueous ascorbic acid (AH$_2$) aerosol particles with gas-phase ozone was investigated in this study utilizing aerosol optical tweezers with Raman spectroscopy. The measured liquid-phase bimolecular rate coefficients of the AH$_2$ + O$_3$ reaction exhibit a significant pH dependence, and the corresponding values at ionic strength 0.2 M are $(3.1 \pm 2.0) \times 10^5$ M$^{-1}$s$^{-1}$ and $(1.2 \pm 0.6) \times 10^7$ M$^{-1}$s$^{-1}$ for pH $\approx$ 2 and 6, respectively. These results measured in micron-sized droplets agree with those from previous bulk measurements, indicating that the observed aerosol reaction kinetics can be solely explained by liquid phase diffusion and AH$_2$ + O$_3$ reaction. Furthermore, the results indicate that high ionic strengths could enhance the liquid-phase rate coefficients of the AH$_2$ + O$_3$ reaction. The results also exhibit a negative ozone pressure dependence that can be rationalized in terms of a Langmuir-Hinshelwood type mechanism for the heterogeneous oxidation of AH$_2$ aerosol particles by gas-phase ozone. The results of the present work imply that in acidified airway-lining fluids the antioxidant ability of AH$_2$ against atmospheric ozone will be significantly suppressed.


title: Improving unsupervised anomaly localization by applying multi-scale memories to autoencoders

abstract: Autoencoder and its variants have been widely applicated in anomaly detection.The previous work memory-augmented deep autoencoder proposed memorizing normality to detect anomaly, however it neglects the feature discrepancy between different resolution scales, therefore we introduce multi-scale memories to record scale-specific features and multi-scale attention fuser between the encoding and decoding module of the autoencoder for anomaly detection, namely MMAE.MMAE updates slots at corresponding resolution scale as prototype features during unsupervised learning. For anomaly detection, we accomplish anomaly removal by replacing the original encoded image features at each scale with most relevant prototype features,and fuse these features before feeding to the decoding module to reconstruct image. Experimental results on various datasets testify that our MMAE successfully removes anomalies at different scales and performs favorably on several datasets compared to similar reconstruction-based methods.


title: A Bayesian State-Space Approach to Mapping Directional Brain Networks

abstract: The human brain is a directional network system of brain regions involving directional connectivity. Seizures are a directional network phenomenon as abnormal neuronal activities start from a seizure onset zone (SOZ) and propagate to otherwise healthy regions. To localize the SOZ of an epileptic patient, clinicians use iEEG to record the patient's intracranial brain activity in many small regions. iEEG data are high-dimensional multivariate time series. We build a state-space multivariate autoregression (SSMAR) for iEEG data to model the underlying directional brain network. To produce scientifically interpretable network results, we incorporate into the SSMAR the scientific knowledge that the underlying brain network tends to have a cluster structure. Specifically, we assign to the SSMAR parameters a stochastic-blockmodel-motivated prior, which reflects the cluster structure. We develop a Bayesian framework to estimate the SSMAR, infer directional connections, and identify clusters for the unobserved network edges. The new method is robust to violations of model assumptions and outperforms existing network methods. By applying the new method to an epileptic patient's iEEG data, we reveal seizure initiation and propagation in the patient's brain network. Our method can also accurately localize the SOZ. Overall, this paper provides a tool to study the human brain network.


title: A trace inequality for commuting tuple of operators

abstract: For a commuting $d$- tuple of operators $\boldsymbol T$ defined on a complex separable Hilbert space $\mathcal H$, let $\big [ \!\!\big [ \boldsymbol T^*, \boldsymbol T \big ]\!\!\big ]$ be the $d\times d$ block operator $\big (\!\!\big (\big [ T_j^* , T_i\big ]\big )\!\!\big )$ of the commutators $[T^*_j , T_i] := T^*_j T_i - T_iT_j^*$. We define the determinant of $\big [ \!\!\big [ \boldsymbol T^*, \boldsymbol T \big ]\!\!\big ]$ by symmetrizing the products in the Laplace formula for the determinant of a scalar matrix. We prove that the determinant of $\big [ \!\!\big [ \boldsymbol T^*, \boldsymbol T \big ]\!\!\big ]$ equals the generalized commutator of the $2d$ - tuple of operators, $(T_1,T_1^*, \ldots, T_d,T_d^*)$ introduced earlier by Helton and Howe. We then apply the Amitsur-Levitzki theorem to conclude that for any commuting $d$ - tuple of $d$ - normal operators, the determinant of $\big [ \!\!\big [ \boldsymbol T^*, \boldsymbol T \big ]\!\!\big ]$ must be $0$. We show that if the $d$- tuple $\boldsymbol T$ is cyclic, the determinant of $\big [ \!\!\big [ \boldsymbol T^*, \boldsymbol T \big ]\!\!\big ]$ is non-negative and the compression of a fixed set of words in $T_j^* $ and $T_i$ -- to a nested sequence of finite dimensional subspaces increasing to $\mathcal H$ -- does not grow very rapidly, then the trace of the determinant of the operator $\big [\!\! \big [ \boldsymbol T^* , \boldsymbol T\big ] \!\!\big ]$ is finite. Moreover, an upper bound for this trace is given. This upper bound is shown to be sharp for a class of commuting $d$ - tuples. We make a conjecture of what might be a sharp bound in much greater generality and verify it in many examples.


title: EMLight: Lighting Estimation via Spherical Distribution Approximation

abstract: Illumination estimation from a single image is critical in 3D rendering and it has been investigated extensively in the computer vision and computer graphic research community. On the other hand, existing works estimate illumination by either regressing light parameters or generating illumination maps that are often hard to optimize or tend to produce inaccurate predictions. We propose Earth Mover Light (EMLight), an illumination estimation framework that leverages a regression network and a neural projector for accurate illumination estimation. We decompose the illumination map into spherical light distribution, light intensity and the ambient term, and define the illumination estimation as a parameter regression task for the three illumination components. Motivated by the Earth Mover distance, we design a novel spherical mover's loss that guides to regress light distribution parameters accurately by taking advantage of the subtleties of spherical distribution. Under the guidance of the predicted spherical distribution, light intensity and ambient term, the neural projector synthesizes panoramic illumination maps with realistic light frequency. Extensive experiments show that EMLight achieves accurate illumination estimation and the generated relighting in 3D object embedding exhibits superior plausibility and fidelity as compared with state-of-the-art methods.


title: Chiral effective Lagrangian for doubly charmed baryons up to $\mathcal{O}(q^4)$

abstract: The chiral effective meson-baryon Lagrangian for the description of interactions between the doubly charmed baryons and Goldstone bosons is constructed up to the order of $q^{4}$. The numbers of linearly independent invariant monomials of $\mathcal{O}(q^2)$, $\mathcal{O}(q^3)$ and $\mathcal{O}(q^4)$ are 8, 32 and 218, in order. The obtained Lagrangian can be used to study the chiral dynamics and relevant phenomenology of the doubly charmed baryons at complete one-loop level in future. For completeness, the non-relativistic reduction of the Lagrangian is also discussed.


title: A shear-compression damage model for the simulation of underground mining by block caving

abstract: Block caving is an ore extraction technique used in the copper mines of Chile. It uses gravity to ease the breaking of rocks, and to facilitate the extraction from the mine of the resulting mixture of ore and waste. To simulate this extraction process numerically and better understand its impact on the mine environment, we study 3 variational models for damage, based on the gradient damage model of Pham and Marigo (2010). In these models, the damage criterion may exhibit an anisotropic dependence on the spherical and deviatoric parts of the stress tensor. We report simulations that satisfactorily represent the expected evolution of the stress field in a block caving operation.


title: Inverse Faraday Effect in an Optomagnonic Waveguide

abstract: Single-mode high-index-contrast waveguides have been ubiquitously exploited in optical, microwave, and phononic structures for achieving enhanced wave-matter interactions. Although micro-scale optomechanical and electro-optical devices have been widely studied, optomagnonic devices remain a grand challenge at the microscale. Here, we introduce a planar optomagnonic waveguide platform based on a ferrimagnetic insulator that simultaneously supports single transverse mode of spin waves (magnons) and highly confined optical modes. The co-localization of spin and light waves gives rise to enhanced inverse Faraday effect, and as a result, magnons are excited by an effective magnetic field generated by interacting optical photons. Moreover, the strongly enhanced optomagnonic interaction allows us to observe such effect using low-power (milliwatt level) light signals in the continuous-wave form, as opposed to high-intensity (megawatt peak power) light pulses that are typically required in magnetic bulk materials or thin films. The optically-driven magnons are detected electrically with preserved phase coherence, showing the feasibility for launching spin waves with low-power continuous optical fields.


title: RC-chain: Reputation-based Crowdsourcing Blockchain for Vehicular Networks

abstract: As the commercial use of 5G technologies has grown more prevalent, smart vehicles have become an efficient platform for delivering a wide array of services directly to customers. The vehicular crowdsourcing service (VCS), for example, can provide immediate and timely feedback to the user regarding real-time transportation information. However, different sources can generate spurious information towards a specific service request in the pursuit of profit. Distinguishing trusted information from numerous sources is the key to a reliable VCS platform. This paper proposes a solution to this problem called "RC-chain", a reputation-based crowdsourcing framework built on a blockchain platform (Hyperledger Fabric). We first establish the blockchain-based platform to support the management of crowdsourcing trading and user-reputation evaluating activities. A reputation model, the Trust Propagation \& Feedback Similarity (TPFS), then calculates the reputation values of participants and reveals any malicious behavior accordingly. Finally, queueing theory is used to evaluate the blockchain-based platform and optimize the system performance. The proposed framework was deployed on the IBM Hyperledger Fabric platform to observe its real-world running time, effectiveness, and overall performance.


title: Chains of reproducing kernel Hilbert spaces generated by unimodular functions

abstract: We present a method to construct a chain of reproducing kernel Hilbert spaces controlled by a first-order system of differential equations from a given unimodular function satisfying several conditions. One of the applications of that method is a conditional but richly general solution to the inverse problem of recovering the structure Hamiltonian from a given de Branges space.


title: Statistical Modelling and Analysis of the Computer-Simulated Datasets

abstract: Over the last two decades, the science has come a long way from relying on only physical experiments and observations to experimentation using computer simulators. This chapter focusses on the modelling and analysis of data arising from computer simulators. It turns out that traditional statistical metamodels are often not very useful for analyzing such datasets. For deterministic computer simulators, the realizations of Gaussian Process (GP) models are commonly used for fitting a surrogate statistical metamodel of the simulator output. The chapter starts with a quick review of the standard GP based statistical surrogate model. The chapter also emphasizes on the numerical instability due to near-singularity of the spatial correlation structure in the GP model fitting process. The authors also present a few generalizations of the GP model, reviews methods and algorithms specifically developed for analyzing big data obtained from computer model runs, and reviews the popular analysis goals of such computer experiments. A few real-life computer simulators are also briefly outlined here.


title: Generator coordinate method with a conjugate momentum: application to the particle number projection

abstract: We discuss an extension of the generator coordinate method (GCM) by taking simultaneously a collective coordinate and its conjugate momentum as generator coordinates. To this end, we follow the idea of the dynamical GCM (DGCM) proposed by Goeke and Reinhard. We first show that the DGCM method can be regarded as an extension of the double projection method for the center of mass motion. As an application of DGCM, we then investigate the particle number projection, for which we not only carry out an integral over the gauge angle as in the usual particle number projection but also take a linear superposition of BCS states which have different mean particle numbers. We show that the ground state energy is significantly lowered by such effect, especially for magic nuclei for which the pairing gap is zero in the BCS approximation. This suggests that the present method makes a good alternative to the variation after projection (VAP) method, as the method is much simpler than the VAP.


title: The Evolution of Dynamic Gaussian Process Model with Applications to Malaria Vaccine Coverage Prediction

abstract: Gaussian process (GP) based statistical surrogates are popular, inexpensive substitutes for emulating the outputs of expensive computer models that simulate real-world phenomena or complex systems. Here, we discuss the evolution of dynamic GP model - a computationally efficient statistical surrogate for a computer simulator with time series outputs. The main idea is to use a convolution of standard GP models, where the weights are guided by a singular value decomposition (SVD) of the response matrix over the time component. The dynamic GP model also adopts a localized modeling approach for building a statistical model for large datasets. In this chapter, we use several popular test function based computer simulators to illustrate the evolution of dynamic GP models. We also use this model for predicting the coverage of Malaria vaccine worldwide. Malaria is still affecting more than eighty countries concentrated in the tropical belt. In 2019 alone, it was the cause of more than 435,000 deaths worldwide. The malice is easy to cure if diagnosed in time, but the common symptoms make it difficult. We focus on a recently discovered reliable vaccine called Mos-Quirix (RTS,S) which is currently going under human trials. With the help of publicly available data on dosages, efficacy, disease incidence and communicability of other vaccines obtained from the World Health Organisation, we predict vaccine coverage for 78 Malaria-prone countries.


title: Study of air-core vortical flow structure induced by a plughole vortex

abstract: This paper describes a study of the generation of a plughole vortex and its consequences in a drainpipe during drainage of water from a stationary rectangular tank. The critical and minimum depths of water above the inlet of the drainpipe, where a surface dip starts to develop for drainpipes of various diameters, were examined parametrically. This study explored the following naturally occurring phenomena arising from a plughole vortex. (i) A plughole vortex initially causes a surface dip to develop towards the inlet of the drainpipe and as the surface dip approaches the inlet of the drainpipe it creates a droplet-shaped air bubble. (ii) A unique bubble transformation, i.e., from a droplet-shaped to a donut-shaped bubble ring, occurs just after the separation of the droplet-shaped air bubble from the surface dip. (iii) The donut-shaped bubble ring flows with the drain water and initially causes bubbly flow in the drainpipe. (iv) As the water head above the inlet of the drainpipe decreases, the droplet-shaped bubble size increases, and consequently, the bubble ring size increases and causes slug flow in the drainpipe. (v) As the slugs combine, the flow of the draining water eventually becomes annular flow in the drainpipe. Sounds, such as that of instantaneous fizz and bubble sink draining, were observed to be produced as a result of the bubble formation process. Temporal changes in the shape and size of the air bubbles were studied. Within the range of 0.45 to 0.6, the ratio of the bubble diameter to the bubble length was found to be linearly proportional to the ratio of the water depth to the diameter of the drainpipe. Several drainage cases were simulated numerically to observe the physics of these naturally occurring phenomena. The shapes and sizes of the vortices induced by plugholes have been visualised and analysed using the vortex core method.


title: Preferential imbibition in a dual-permeability pore network

abstract: A deep understanding of two-phase displacement in porous media with permeability contrast is essential for the design and optimisation of enhanced oil recovery processes. In this paper, we investigate the forced imbibition behaviour in two dual-permeability geometries that are of equal permeability contrast. First, a mathematical model is developed for the imbibition in a pore doublet, which shows that the imbibition dynamics can be fully described by the viscosity ratio $\lambda$ and capillary number $Ca_m$ which creatively incorporates the influence of channel width and length. Through the finite difference solution of the mathematical model, a $\lambda-Ca_m$ phase diagram is established to characterise the imbibition preference in the pore doublet. We then investigate the imbibition process in a dual-permeability pore network using a well-established lattice Boltzmann method, focusing on the competition between the viscous and capillary forces. Like in the pore doublet, the preferential imbibition occurs in high permeability zone at high $Ca_{m}$ but in low permeability zone at low $Ca_{m}$. When $Ca_m$ is not sufficiently high, an oblique advancing pattern is observed which is attributed to non-trivial interfacial tension. Thanks to the newly defined capillary number, the critical $Ca_{m}$ curve on which the breakthrough simultaneously occurs in both permeability zones, is found to match perfectly with that from the pore doublet and it is the optimal condition for maximising the imbibition efficiency in the entire pore network.


title: Completeness of Sets of Shifts in Invariant Banach Spaces of Tempered Distributions via Tauberian conditions

abstract: The main result of this paper is a far reaching generalization of the completeness result given by V.~Katsnelson in a recent paper [35]. Instead of just using a collection of dilated Gaussians it is shown that the key steps of an earlier paper [27] by the authors, combined with the use of Tauberian conditions (i.e. the non-vanishing of the Fourier transform) allow us to show that the linear span of the translates of a single function $g \in {{{\boldsymbol{\mathcal {S}}}({\mathbb{R}}^d)}}$ is a dense subspace of any Banach space satisfying certain double invariance properties. In fact, a much stronger statement is presented: for a given compact subset $M$ in such a Banach space $({\boldsymbol B}, \, \|\,\cdot\,\|_{\boldsymbol B})$ one can construct a finite rank operator, whose range is contained in the linear span of finitely many translates of $g$, and which approximates the identity operator over $M$ up to a given level of precision. The setting of tempered distributions allows to reduce the technical arguments to methods which are widely used in Fourier Analysis. The extension to non-quasi-analytic weights respectively locally compact Abelian groups is left to a forthcoming paper, which will be technically much more involved and uses different ingredients.


title: PEFP: Efficient k-hop Constrained s-t Simple Path Enumeration on FPGA

abstract: Graph plays a vital role in representing entities and their relationships in a variety of fields, such as e-commerce networks, social networks and biological networks. Given two vertices s and t, one of the fundamental problems in graph databases is to investigate the relationships between s and t. A well-studied problem in such area is k-hop constrained s-t simple path enumeration. Nevertheless, all existing algorithms targeting this problem follow the DFS-based paradigm, which cannot scale up well. Moreover, using hardware devices like FPGA to accelerate graph computation has become popular. Motivated by this, in this paper, we propose the first FPGA-based algorithm PEFP to solve the problem of k-hop constrained s-t simple path enumeration efficiently. On the host side, we propose a preprocessing algorithm Pre-BFS to reduce the graph size and search space. On the FPGA side in PEFP, we propose a novel DFS-based batching technique to save on-chip memory efficiently. In addition, we also propose caching techniques to cache necessary data in BRAM, which overcome the latency bottleneck brought by the read/write operations from/to FPGA DRAM. Finally, we propose a data separation technique to enable dataflow optimization for the path verification module; hence the sub-stages in that module can be executed in parallel. Comprehensive experiments show that PEFP outperforms the state-of-the-art algorithm JOIN by more than 1 order of magnitude by average, and up to 2 orders of magnitude in terms of preprocessing time, query processing time and total time, respectively.


title: A Semi-Lagrangian Computation of Front Speeds of G-equation in ABC and Kolmogorov Flows with Estimation via Ballistic Orbits

abstract: The Arnold-Beltrami-Childress (ABC) flow and the Kolmogorov flow are three dimensional periodic divergence free velocity fields that exhibit chaotic streamlines. We are interested in front speed enhancement in G-equation of turbulent combustion by large intensity ABC and Kolmogorov flows. We give a quantitative construction of the ballistic orbits of ABC and Kolmogorov flows, namely those with maximal large time asymptotic speeds in a coordinate direction. Thanks to the optimal control theory of G-equation (a convex but non-coercive Hamilton-Jacobi equation), the ballistic orbits serve as admissible trajectories for front speed estimates. To study the tightness of the estimates, we compute the front speeds of G-equation based on a semi-Lagrangian (SL) scheme with Strang splitting and weighted essentially non-oscillatory (WENO) interpolation. Time step size is chosen so that the Courant number grows sublinearly with the flow intensity. Numerical results show that the front speed growth rate in terms of the flow intensity may approach the analytical bounds from the ballistic orbits.


title: An adaptive mesh, GPU-accelerated, and error minimized special relativistic hydrodynamics code

abstract: We present a new special relativistic hydrodynamics (SRHD) code capable of handling coexisting ultra-relativistically hot and non-relativistically cold gases. We achieve this by designing a new algorithm for conversion between primitive and conserved variables in the SRHD solver, which incorporates a realistic ideal-gas equation of state covering both the relativistic and non-relativistic regimes. The code can handle problems involving a Lorentz factor as high as $10^6$ and optimally avoid the catastrophic cancellation. In addition, we have integrated this new SRHD solver into the code GAMER (https://github.com/gamer-project/gamer) to support adaptive mesh refinement and hybrid OpenMP/MPI/GPU parallelization. It achieves a peak performance of $7\times 10^{7}$ cell updates per second on a single Tesla P100 GPU and scales well to 2048 GPUs. We apply this code to two interesting astrophysical applications: (a) an asymmetric explosion source on the relativistic blast wave and (b) the flow acceleration and limb-brightening of relativistic jets.


title: Weight-Based Exploration for Unmanned Aerial Teams Searching for Multiple Survivors

abstract: During floods, reaching survivors in the shortest possible time is a priority for rescue teams. Given their ability to explore difficult terrain in short spans of time, Unmanned Aerial Vehicles (UAVs) have become an increasingly valuable aid to search and rescue operations. Traditionally, UAVs utilize exhaustive lawnmower exploration patterns to locate stranded survivors, without any information regarding the survivor's whereabouts. In real life disaster scenarios however, on-ground observers provide valuable information to the rescue effort, such as the survivor's last known location and heading. In earlier work, a Weight Based Exploration (WBE) model, which utilizes this information to generate a prioritized list of waypoints to aid the UAV in its search mission, was proposed. This approach was shown to be effective for a single UAV locating a single survivor. In this paper, we extend the WBE model to a team of UAVs locating multiple survivors. The model initially partitions the search environment amongst the UAVs using Voronoi cells. The UAVs then utilize the WBE model to locate survivors in their partitions. We test this model with varying survivor locations and headings. We demonstrate the scalability of the model developed by testing the model with aerial teams comprising several UAVs.


title: Ruling out Bipartite Nonsignaling Nonlocal Models for Tripartite Correlations

abstract: Many three-party correlations, including some that are commonly described as genuinely tripartite nonlocal, can be simulated by a network of underlying subsystems that display only bipartite nonsignaling nonlocal behavior. Quantum mechanics predicts three-party correlations that admit no such simulation, suggesting there are versions of nonlocality in nature transcending the phenomenon of bipartite nonsignaling nonlocality. This paper introduces a rigorous framework for analyzing tripartite correlations that can be simulated by bipartite-only networks. We confirm that expected properties of so-obtained correlations, such as no-signaling, indeed hold, and show how to use the framework to derive Bell-inequality-type constraints on these correlations that can be robustly violated by tripartite quantum systems. In particular, we use this framework to rederive a version of one such constraint previously described in a paper of Chao and Reichardt (arXiv:1706.02008).


title: The first photometric analysis and period investigation of the K-type W UMa type binary system V0842 Cep

abstract: V0842 Cep is a W UMa-type binary star that has been neglected since its discovery. We analysed the VR$_c$I$_c$ light curves, obtained by the 1 m telescope at the Weihai Observatory of Shandong University, using the Wilson-Devinney code. V0842 Cep was found to be a shallow contact binary system (f=8.7$\%$) with a mass ratio of 2.281. Because its orbital inclination is greater than 80$^\circ$, the photometric results are reliable. A period study is included which reveals a continually decreasing orbital period ($\frac{\mathrm{d}p}{\mathrm{d}t}$=1.50($\pm$0.42)$\times$10$^{-7}$dyr$^{-1}$). This trend could be attributed to the angular momentum loss via stellar wind.


title: Learning content and context with language bias for Visual Question Answering

abstract: Visual Question Answering (VQA) is a challenging multimodal task to answer questions about an image. Many works concentrate on how to reduce language bias which makes models answer questions ignoring visual content and language context. However, reducing language bias also weakens the ability of VQA models to learn context prior. To address this issue, we propose a novel learning strategy named CCB, which forces VQA models to answer questions relying on Content and Context with language Bias. Specifically, CCB establishes Content and Context branches on top of a base VQA model and forces them to focus on local key content and global effective context respectively. Moreover, a joint loss function is proposed to reduce the importance of biased samples and retain their beneficial influence on answering questions. Experiments show that CCB outperforms the state-of-the-art methods in terms of accuracy on VQA-CP v2.


title: Nonstationarity Analysis of Materials Microstructures via Fisher Score Vectors

abstract: Microstructures are critical to the physical properties of materials. Stochastic microstructures are commonly observed in many kinds of materials and traditional descriptor-based image analysis of them can be challenging. In this paper, we introduce a powerful and versatile score-based framework for analyzing nonstationarity in stochastic materials microstructures. The framework involves training a parametric supervised learning model to predict a pixel value using neighboring pixels in images of microstructures~(as known as micrographs), and this predictive model provides an implicit characterization of the stochastic nature of the microstructure. The basis for our approach is the Fisher score vector, defined as the gradient of the log-likelihood with respect to the parameters of the predictive model, at each micrograph pixel. A fundamental property of the score vector is that it is zero-mean if the predictive relationship in the vicinity of that pixel remains unchanged, which we equate with the local stochastic nature of the microstructure remaining unchanged. Conversely, if the local stochastic nature changes, then the mean of the score vector generally differs from zero. Our framework analyzes how the local mean of the score vector varies across one or more image samples to: (1) monitor for nonstationarity by indicating whether new samples are statistically different than reference samples and where they may differ and (2) diagnose nonstationarity by identifying the distinct types of stochastic microstructures and labeling accordingly the corresponding regions of the samples. Unlike feature-based methods, our approach is almost completely general and requires no prior knowledge of the nature of the nonstationarities. Using a number of real and simulated micrographs, including polymer composites and multiphase alloys, we demonstrate the power and versatility of the approach.


title: Stability in Categories and Normal Projective Varieties over Perfect Fields

abstract: We present a notion of $\Delta$-stability and stability filtration in arbitrary categories which is equivalent to the existence of Harder-Narasimhan (HN) sequences on objects. Indeed it is equivalent to the existence of a zero morphism, a partial order on objects, and a collection of some universal sequences. In additive categories embedded in an ambient triangulated category, we could obtain a numerical polynomial or central charge of objects by calculating the Euler characteristic of slope sequences and objects, inducing a partial order and HN sequences. In the case of normal projective surfaces over an arbitrary perfect field $k$ we show the existence of $\Delta$-stabilities of degree one on the relevant bounded derived categories which is equivalent to the existence of Bridgeland's stabilities on normal surfaces. This result also leads to new effective restriction theorem of slope semistable sheave on normal projective varieties over perfect fields. Our approach also gives alternative proofs of Hodge Index Theorem and Bogomolov Inequality.


title: Structural phase transition of two-dimensional monolayer SnTe from artificial neural network

abstract: As machine learning becomes increasingly important in engineering and science, it is inevitable that machine learning techniques will be applied to the investigation of materials, and in particular the structural phase transitions common in ferroelectric materials. Here, we build and train an artificial neural network to accurately predict the energy change associated with atom displacements and use the trained artificial neural network in Monte-Carlo simulations on ferroelectric materials to investigate their phase transitions. We apply this approach to two-dimensional monolayer SnTe and show that it can indeed be used to simulate the phase transitions and predict the transition temperature. The artificial neural network, when viewed as a universal mathematical structure, can be readily transferred to the investigation of other ferroelectric materials when training data generated with ab initio methods are available.


title: Adjust-free adversarial example generation in speech recognition using evolutionary multi-objective optimization under black-box condition

abstract: This paper proposes a black-box adversarial attack method to automatic speech recognition systems. Some studies have attempted to attack neural networks for speech recognition; however, these methods did not consider the robustness of generated adversarial examples against timing lag with a target speech. The proposed method in this paper adopts Evolutionary Multi-objective Optimization (EMO)that allows it generating robust adversarial examples under black-box scenario. Experimental results showed that the proposed method successfully generated adjust-free adversarial examples, which are sufficiently robust against timing lag so that an attacker does not need to take the timing of playing it against the target speech.


title: Quantum K-medians Algorithm Using Parallel Euclidean Distance Estimator

abstract: Quantum machine learning, though in its initial stage, has demonstrated its potential to speed up some of the costly machine learning calculations when compared to the existing classical approaches. Among the challenging subroutines, computing distance between with the large and high-dimensional data sets by the classical k-medians clustering algorithm is one of them. To tackle this challenge, this paper proposes an efficient quantum k-medians clustering algorithm using the powerful quantum Euclidean estimator algorithm. The proposed quantum k-medians algorithm has provided an exponential speed up as compared to the classical version of it. If and only if we allow the input and the output vectors to be quantum states. The proposed algorithm implementation handled in python with the help of third-party module known as QISKit. The implemented quantum algorithm was executed on the IBM Quantum simulators through cloud. The results from the experiment and simulation suggest that quantum distance estimator algorithms could give benefits for other distance-based machine learning algorithms like k-nearest neighbor classification, support vector machine, hierarchical clustering and k-means clustering. This work sheds light on the bright future of the age of big data making use of exponential speed up provided by quantum theory.


title: LQF: Linear Quadratic Fine-Tuning

abstract: Classifiers that are linear in their parameters, and trained by optimizing a convex loss function, have predictable behavior with respect to changes in the training data, initial conditions, and optimization. Such desirable properties are absent in deep neural networks (DNNs), typically trained by non-linear fine-tuning of a pre-trained model. Previous attempts to linearize DNNs have led to interesting theoretical insights, but have not impacted the practice due to the substantial performance gap compared to standard non-linear optimization. We present the first method for linearizing a pre-trained model that achieves comparable performance to non-linear fine-tuning on most of real-world image classification tasks tested, thus enjoying the interpretability of linear models without incurring punishing losses in performance. LQF consists of simple modifications to the architecture, loss function and optimization typically used for classification: Leaky-ReLU instead of ReLU, mean squared loss instead of cross-entropy, and pre-conditioning using Kronecker factorization. None of these changes in isolation is sufficient to approach the performance of non-linear fine-tuning. When used in combination, they allow us to reach comparable performance, and even superior in the low-data regime, while enjoying the simplicity, robustness and interpretability of linear-quadratic optimization.


title: Sine-Gordon on a wormhole

abstract: In an attempt to understand the soliton resolution conjecture, we consider the Sine-Gordon equation on a spherically symmetric wormhole spacetime. We show that within each topological sector (indexed by a positive integer degree $n$) there exists a unique linearly stable soliton, which we call the $n$-kink. We give numerical evidence that the $n$-kink is a global attractor in the evolution of any smooth, finite energy solutions of degree $n$. When the radius of the wormhole throat $a$ is large enough, the convergence to the $n$-kink is shown to be governed by internal modes that slowly decay due to the resonant transfer of energy to radiation. We compute the exact asymptotics of this relaxation process for the $1$-kink using the Soffer-Weinstein weakly nonlinear perturbation theory.


title: Towards Incorporating Entity-specific Knowledge Graph Information in Predicting Drug-Drug Interactions

abstract: Off-the-shelf biomedical embeddings obtained from the recently released various pre-trained language models (such as BERT, XLNET) have demonstrated state-of-the-art results (in terms of accuracy) for the various natural language understanding tasks (NLU) in the biomedical domain. Relation Classification (RC) falls into one of the most critical tasks. In this paper, we explore how to incorporate domain knowledge of the biomedical entities (such as drug, disease, genes), obtained from Knowledge Graph (KG) Embeddings, for predicting Drug-Drug Interaction from textual corpus. We propose a new method, BERTKG-DDI, to combine drug embeddings obtained from its interaction with other biomedical entities along with domain-specific BioBERT embedding-based RC architecture. Experiments conducted on the DDIExtraction 2013 corpus clearly indicate that this strategy improves other baselines architectures by 4.1% macro F1-score.


title: Topological Quantum Criticality in Superfluids and Superconductors: Surface criticality, Thermal properties, and Lifshitz Majorana fields

abstract: Time reversal invariant (TRI) topological superfluids (TSFs) and topological superconductors (TSCs) are robust symmetry protected gapped topological states. In this article, we study the evolution of these topological states in the presence of time reversal symmetry breaking (TRB) fields and/or sufficiently large TRI fields. Physically, one of the realizations of TRB fields can be internal spin exchange fields due to background magnetic ordering. We find that the fully gapped TSFs and TSCs are generically separated from other nodal states by various zero temperature quantum critical points that are characterized by generalized quantum Lifshitz fields with distinct scaling properties. These emergent Lifshitz fields also define finite temperature properties in quantum critical regimes. Moreover, for a certain subset of TRB fields, there exist a precursor to bulk transitions, where surface states can also exhibit quantum critical behavior near zero fields. The possibility for a fully gapped TSF/TSC to smoothly crossover into a topologically trivial state without a phase transition is also examined.


title: An empirical analysis of success factors in the adaption of the scaled agile framework -- first outcomes from an empirical study

abstract: Agile methodologies are used for improving productivity and quality of development originally created for small teams. However , now they are expanding to larger organizations, for which "scaled up" approaches have been proposed. This study presents the preliminary outcomes from a survey on the effects of the Scaled Agile Framework (SAFe), which is considered the most used of such approaches. The apparent advantages and limitations are discussed along with the lines for future research.


title: Domain specific BERT representation for Named Entity Recognition of lab protocol

abstract: Supervised models trained to predict properties from representations have been achieving high accuracy on a variety of tasks. For instance, the BERT family seems to work exceptionally well on the downstream task from NER tagging to the range of other linguistic tasks. But the vocabulary used in the medical field contains a lot of different tokens used only in the medical industry such as the name of different diseases, devices, organisms, medicines, etc. that makes it difficult for traditional BERT model to create contextualized embedding. In this paper, we are going to illustrate the System for Named Entity Tagging based on Bio-Bert. Experimental results show that our model gives substantial improvements over the baseline and stood the fourth runner up in terms of F1 score, and first runner up in terms of Recall with just 2.21 F1 score behind the best one.


title: Flux-Pinning Behaviors and Mechanism According to Dopant Level in (Fe, Ti) Paticle-Doped MgB$_2$ Superconductor

abstract: We have studied flux-pinning effects of MgB$_2$ superconductor by doping (Fe, Ti) particles of which radius is 163 nm on average. 5 wt.\% (Fe, Ti) doped MgB$_2$ among the specimens showed the best field dependence of magnetization and 25 wt.\% one did the worst at 5 K . The difference of field dependence of magnetization of the two increased as temperature increased. Here we show experimental results of (Fe, Ti) particle-doped MgB$_2$ according to dopant level and the causes of the behaviors. Flux-pinning effect of volume defects-doped superconductor was modeled in ideal state. During the study, we had to divide M-H curve of volume defect-dominating superconductor as three discreet regions for analyzing flux pinning effects, which are diamagnetic increase region, $\Delta$H=$\Delta$B region, and diamagnetic decrease region. As a result, flux-pinning effects of volume defects decreased as dopant level increased over the optimal dopant level, which was caused by decrease of flux-pinning limit of a volume defect. And similar behaviors are obtained as dopant level decreased below the optimal dopant level, which was caused by the decreased number of volume defects. Comparing the theory with experimental results, deviations increased as dopant level increased over the optimal dopant level, whereas the two was well matched on less dopant level than the optimal dopant level. The behavior is considered to be caused by segregation of volume defects. On the other hand, the property of over-doped specimens dramatically decrease as temperature increases, which is caused by double decreases of flux-pinning limit of a volume defect and segregation effect.


title: Hop-Hop Relation-aware Graph Neural Networks

abstract: Graph Neural Networks (GNNs) are widely used in graph representation learning. However, most GNN methods are designed for either homogeneous or heterogeneous graphs. In this paper, we propose a new model, Hop-Hop Relation-aware Graph Neural Network (HHR-GNN), to unify representation learning for these two types of graphs. HHR-GNN learns a personalized receptive field for each node by leveraging knowledge graph embedding to learn relation scores between the central node's representations at different hops. In neighborhood aggregation, our model simultaneously allows for hop-aware projection and aggregation. This mechanism enables the central node to learn a hop-wise neighborhood mixing that can be applied to both homogeneous and heterogeneous graphs. Experimental results on five benchmarks show the competitive performance of our model compared to state-of-the-art GNNs, e.g., up to 13K faster in terms of time cost per training epoch on large heterogeneous graphs.


title: Efficient On-Chip Learning for Optical Neural Networks Through Power-Aware Sparse Zeroth-Order Optimization

abstract: Optical neural networks (ONNs) have demonstrated record-breaking potential in high-performance neuromorphic computing due to their ultra-high execution speed and low energy consumption. However, current learning protocols fail to provide scalable and efficient solutions to photonic circuit optimization in practical applications. In this work, we propose a novel on-chip learning framework to release the full potential of ONNs for power-efficient in situ training. Instead of deploying implementation-costly back-propagation, we directly optimize the device configurations with computation budgets and power constraints. We are the first to model the ONN on-chip learning as a resource-constrained stochastic noisy zeroth-order optimization problem, and propose a novel mixed-training strategy with two-level sparsity and power-aware dynamic pruning to offer a scalable on-chip training solution in practical ONN deployment. Compared with previous methods, we are the first to optimize over 2,500 optical components on chip. We can achieve much better optimization stability, 3.7x-7.6x higher efficiency, and save >90% power under practical device variations and thermal crosstalk.


title: Integrating Deep Neural Networks with Full-waveform Inversion: Reparametrization, Regularization, and Uncertainty Quantification

abstract: Full-waveform inversion (FWI) is an accurate imaging approach for modeling velocity structure by minimizing the misfit between recorded and predicted seismic waveforms. However, the strong non-linearity of FWI resulting from fitting oscillatory waveforms can trap the optimization in local minima. We propose a neural-network-based full waveform inversion method (NNFWI) that integrates deep neural networks with FWI by representing the velocity model with a generative neural network. Neural networks can naturally introduce spatial correlations as regularization to the generated velocity model, which suppresses noise in the gradients and mitigates local minima. The velocity model generated by neural networks is input to the same partial differential equation (PDE) solvers used in conventional FWI. The gradients of both the neural networks and PDEs are calculated using automatic differentiation, which back-propagates gradients through the acoustic PDEs and neural network layers to update the weights of the generative neural network. Experiments on 1D velocity models, the Marmousi model, and the 2004 BP model demonstrate that NNFWI can mitigate local minima, especially for imaging high-contrast features like salt bodies, and significantly improves the inversion in the presence of noise. Adding dropout layers to the neural network model also allows analyzing the uncertainty of the inversion results through Monte Carlo dropout. NNFWI opens a new pathway to combine deep learning and FWI for exploiting both the characteristics of deep neural networks and the high accuracy of PDE solvers. Because NNFWI does not require extra training data and optimization loops, it provides an attractive and straightforward alternative to conventional FWI.


title: Improving Unsupervised Image Clustering With Robust Learning

abstract: Unsupervised image clustering methods often introduce alternative objectives to indirectly train the model and are subject to faulty predictions and overconfident results. To overcome these challenges, the current research proposes an innovative model RUC that is inspired by robust learning. RUC's novelty is at utilizing pseudo-labels of existing image clustering models as a noisy dataset that may include misclassified samples. Its retraining process can revise misaligned knowledge and alleviate the overconfidence problem in predictions. The model's flexible structure makes it possible to be used as an add-on module to other clustering methods and helps them achieve better performance on multiple datasets. Extensive experiments show that the proposed model can adjust the model confidence with better calibration and gain additional robustness against adversarial noise.


title: Automated segmentation of an intensity calibration phantom in clinical CT images using a convolutional neural network

abstract: Purpose: To apply a convolutional neural network (CNN) to develop a system that segments intensity calibration phantom regions in computed tomography (CT) images, and to test the system in a large cohort to evaluate its robustness. Methods: A total of 1040 cases (520 cases each from two institutions), in which an intensity calibration phantom (B-MAS200, Kyoto Kagaku, Kyoto, Japan) was used, were included herein. A training dataset was created by manually segmenting the regions of the phantom for 40 cases (20 cases each). Segmentation accuracy of the CNN model was assessed with the Dice coefficient and the average symmetric surface distance (ASD) through the 4-fold cross validation. Further, absolute differences of radiodensity values (in Hounsfield units: HU) were compared between manually segmented regions and automatically segmented regions. The system was tested on the remaining 1000 cases. For each institution, linear regression was applied to calculate coefficients for the correlation between radiodensity and the densities of the phantom. Results: After training, the median Dice coefficient was 0.977, and the median ASD was 0.116 mm. When segmented regions were compared between manual segmentation and automated segmentation, the median absolute difference was 0.114 HU. For the test cases, the median correlation coefficient was 0.9998 for one institution and was 0.9999 for the other, with a minimum value of 0.9863. Conclusions: The CNN model successfully segmented the calibration phantom's regions in the CT images with excellent accuracy, and the automated method was found to be at least equivalent to the conventional manual method. Future study should integrate the system by automatically segmenting the region of interest in bones such that the bone mineral density can be fully automatically quantified from CT images.


title: Explainable Machine Learning based Transform Coding for High Efficiency Intra Prediction

abstract: Machine learning techniques provide a chance to explore the coding performance potential of transform. In this work, we propose an explainable transform based intra video coding to improve the coding efficiency. Firstly, we model machine learning based transform design as an optimization problem of maximizing the energy compaction or decorrelation capability. The explainable machine learning based transform, i.e., Subspace Approximation with Adjusted Bias (Saab) transform, is analyzed and compared with the mainstream Discrete Cosine Transform (DCT) on their energy compaction and decorrelation capabilities. Secondly, we propose a Saab transform based intra video coding framework with off-line Saab transform learning. Meanwhile, intra mode dependent Saab transform is developed. Then, Rate Distortion (RD) gain of Saab transform based intra video coding is theoretically and experimentally analyzed in detail. Finally, three strategies on integrating the Saab transform and DCT in intra video coding are developed to improve the coding efficiency. Experimental results demonstrate that the proposed 8$\times$8 Saab transform based intra video coding can achieve Bj{\o}nteggard Delta Bit Rate (BDBR) from -1.19% to -10.00% and -3.07% on average as compared with the mainstream 8$\times$8 DCT based coding scheme.


title: A complete, parallel and autonomous photonic neural network in a semiconductor multimode laser

abstract: Neural networks are one of the disruptive computing concepts of our time. However, they fundamentally differ from classical, algorithmic computing in a number of fundamental aspects. These differences result in equally fundamental, severe and relevant challenges for neural network computing using current computing substrates. Neural networks urge for parallelism across the entire processor and for a co-location of memory and arithmetic, i.e. beyond von Neumann architectures. Parallelism in particular made photonics a highly promising platform, yet until now scalable and integratable concepts are scarce. Here, we demonstrate for the first time how a fully parallel and fully implemented photonic neural network can be realized using spatially distributed modes of an efficient and fast semiconductor laser. Importantly, all neural network connections are realized in hardware, and our processor produces results without pre- or post-processing. 130+ nodes are implemented in a large-area vertical cavity surface emitting laser, input and output weights are realized via the complex transmission matrix of a multimode fiber and a digital micro-mirror array, respectively. We train the readout weights to perform 2-bit header recognition, a 2-bit XOR and 2-bit digital analog conversion, and obtain < 0.9 10^-3 and 2.9 10^-2 error rates for digit recognition and XOR, respectively. Finally, the digital analog conversion can be realized with a standard deviation of only 5.4 10^-2. Our system is scalable to much larger sizes and to bandwidths in excess of 20 GHz.


title: FlowDB a large scale precipitation, river, and flash flood dataset

abstract: Flooding results in 8 billion dollars of damage annually in the US and causes the most deaths of any weather related event. Due to climate change scientists expect more heavy precipitation events in the future. However, no current datasets exist that contain both hourly precipitation and river flow data. We introduce a novel hourly river flow and precipitation dataset and a second subset of flash flood events with damage estimates and injury counts. Using these datasets we create two challenges (1) general stream flow forecasting and (2) flash flood damage estimation. We have created several publicly available benchmarks and an easy to use package. Additionally, in the future we aim to augment our dataset with snow pack data and soil index moisture data to improve predictions.


title: Necessary condition for sparse optimal control problem with intermediate constraints

abstract: This article treats optimal sparse control problems with multiple constraints defined at intermediate points of the time domain. For such problems with intermediate constraints, we first establish a new Pontryagin maximum principle that provides first order necessary conditions for optimality in such problems. Then we announce and employ a new numerical algorithm to arrive at, in a computationally tractable fashion, optimal state-action trajectories from the necessary conditions given by our maximum principle. Several detailed illustrative examples are included.


title: Muon $g-2$, dark matter, and neutrino mass explanations in a modular $A_4$ symmetry

abstract: We study a successful model to explain the muon anomalous magnetic moment originating from Yukawa-type interactions {in a supersymmetric theory}. Thanks to a modular $A_4$ flavor symmetry, any lepton flavor violations that spoil the model are forbidden. We also investigate a predictive radiative seesaw model including a dark matter (DM) candidate. At first, we construct the minimum model to satisfy the neutrino oscillation data and obtain several predictions such as Dirac CP and Majorana phases, the neutrino masses through $\chi^2$ analysis. However, the minimum model would not provide our promising DM candidate. Thus, we minimally extend the model and find a good DM candidate. In the extended framework, we show the allowed regions to satisfy the muon anomalous magnetic moment and the observed relic density of dark matter in addition to predictions of the lepton sector.


title: Narrative Incoherence Detection

abstract: We propose the task of narrative incoherence detection as a new arena for inter-sentential semantic understanding: Given a multi-sentence narrative, decide whether there exist any semantic discrepancies in the narrative flow. Specifically, we focus on the missing sentence and discordant sentence detection. Despite its simple setup, this task is challenging as the model needs to understand and analyze a multi-sentence narrative, and predict incoherence at the sentence level. As an initial step towards this task, we implement several baselines either directly analyzing the raw text (\textit{token-level}) or analyzing learned sentence representations (\textit{sentence-level}). We observe that while token-level modeling has better performance when the input contains fewer sentences, sentence-level modeling performs better on longer narratives and possesses an advantage in efficiency and flexibility. Pre-training on large-scale data and auxiliary sentence prediction training objective further boost the detection performance of the sentence-level model.


title: Electric Vehicle Aggregator as an Automatic Reserves Provider in the European Market Setting

abstract: Shift of the power system generation from the fossil to the variable renewable sources prompted the system operators to search for new sources of flexibility, that is, new reserve providers. With the introduction of electric vehicles, smart charging emerged as one of the relevant solutions. However, electric vehicle aggregators face the uncertainty of reserve activation on one side and electric vehicle availability on the other. These uncertainty can have a negative effect on both the aggregators' profitability and their users' comfort.State-of-the art literature mostly neglects the reserve activation or the related uncertainty. Also, they rarely model European markets or use real balancing data. This paper introduces a new method for modeling the reserve activation uncertainty based on actual data for the European power system. Three electric vehicle scheduling models were designed and tested: the deterministic, the stochastic and the robust one. The results demonstrate that the current deterministic approaches inaccurately represent the activation uncertainty and that the proposed models that consider uncertainty, both the stochastic and the robust one, substantially improve the results.


title: Multi-stream Convolutional Neural Network with Frequency Selection for Robust Speaker Verification

abstract: Speaker verification aims to verify whether an input speech corresponds to the claimed speaker, and conventionally, this kind of system is deployed based on single-stream scenario, wherein the feature extractor operates in full frequency range. In this paper, we hypothesize that machine can learn enough knowledge to do classification task when listening to partial frequency range instead of full frequency range, which is so called frequency selection technique, and further propose a novel framework of multi-stream Convolutional Neural Network (CNN) with this technique for speaker verification tasks. The proposed framework accommodates diverse temporal embeddings generated from multiple streams to enhance the robustness of acoustic modeling. For the diversity of temporal embeddings, we consider feature augmentation with frequency selection, which is to manually segment the full-band of frequency into several sub-bands, and the feature extractor of each stream can select which sub-bands to use as target frequency domain. Different from conventional single-stream solution wherein each utterance would only be processed for one time, in this framework, there are multiple streams processing it in parallel. The input utterance for each stream is pre-processed by a frequency selector within specified frequency range, and post-processed by mean normalization. The normalized temporal embeddings of each stream will flow into a pooling layer to generate fused embeddings. We conduct extensive experiments on VoxCeleb dataset, and the experimental results demonstrate that multi-stream CNN significantly outperforms single-stream baseline with 20.53 % of relative improvement in minimum Decision Cost Function (minDCF).


title: Mobile Robot Planner with Low-cost Cameras Using Deep Reinforcement Learning

abstract: This study develops a robot mobility policy based on deep reinforcement learning. Since traditional methods of conventional robotic navigation depend on accurate map reproduction as well as require high-end sensors, learning-based methods are positive trends, especially deep reinforcement learning. The problem is modeled in the form of a Markov Decision Process (MDP) with the agent being a mobile robot. Its state of view is obtained by the input sensors such as laser findings or cameras and the purpose is navigating to the goal without any collision. There have been many deep learning methods that solve this problem. However, in order to bring robots to market, low-cost mass production is also an issue that needs to be addressed. Therefore, this work attempts to construct a pseudo laser findings system based on direct depth matrix prediction from a single camera image while still retaining stable performances. Experiment results show that they are directly comparable with others using high-priced sensors.


title: Communication and Localization with Extremely Large Lens Antenna Array

abstract: Achieving high-rate communication with accurate localization and wireless environment sensing has emerged as an important trend of beyond-fifth and sixth generation cellular systems. Extension of the antenna array to an extremely large scale is a potential technology for achieving such goals. However, the super massive operating antennas significantly increases the computational complexity of the system. Motivated by the inherent advantages of lens antenna arrays in reducing system complexity, we consider communication and localization problems with an \uline{ex}tremely large \uline{lens} antenna array, which we call "ExLens". Since radiative near-field property emerges in the setting, we derive the closed-form array response of the lens antenna array with spherical wave, which includes the array response obtained on the basis of uniform plane wave as a special case. Our derivation result reveals a window effect for energy focusing property of ExLens, which indicates that ExLens has great potential in position sensing and multi-user communication. We also propose an effective method for location and channel parameters estimation, which is able to achieve the localization performance close to the Cram\'{e}r-Rao lower bound. Finally, we examine the multi-user communication performance of ExLens that serves coexisting near-field and far-field users. Numerical results demonstrate the effectiveness of the proposed channel estimation method and show that ExLens with a minimum mean square error receiver achieves significant spectral efficiency gains and complexity-and-cost reductions compared with a uniform linear array.


title: On the Ky Fan $k$-norm of the $LI$-matrix of graphs

abstract: Let $A(G)$ and $D(G)$ be the adjacency matrix and the degree diagonal matrix of a graph $G$, respectively. Then $L(G)=D(G)-A(G)$ is called Laplacian matrix of the graph $G$. Let $G$ be a graph with $n$ vertices and $m$ edges. Then the $LI$-matrix of $G$ are defined as $LI(G)=L(G)-\frac{2m}{n}I_n$, where $I_n$ is the identity matrix. In this paper, we are interested in extremal properties of the Ky Fan $k$-norm of the $LI$-matrix of graphs, which is closely related to the well known problems and results in spectral graph theory, such as the Laplacian spectral radius, the Laplacian spread, the sum of the $k$ largest Laplacian eigenvalues, the Laplacian energy, and other parameters. Some bounds on the Ky Fan $k$-norm of the $LI$-matrix of graphs are given, and the extremal graphs are partly characterized. In addition, upper and lower bounds on the Ky Fan $k$-norm of $LI$-matrix of trees, unicyclic graphs and bicyclic graphs are determined, and the corresponding extremal graphs are characterized.


title: MT-Teql: Evaluating and Augmenting Consistency of Text-to-SQL Models with Metamorphic Testing

abstract: Text-to-SQL is a task to generate SQL queries from human utterances. However, due to the variation of natural language, two semantically equivalent utterances may appear differently in the lexical level. Likewise, user preferences (e.g., the choice of normal forms) can lead to dramatic changes in table structures when expressing conceptually identical schemas. Envisioning the general difficulty for text-to-SQL models to preserve prediction consistency against linguistic and schema variations, we propose MT-Teql, a Metamorphic Testing-based framework for systematically evaluating and augmenting the consistency of TExt-to-SQL models. Inspired by the principles of software metamorphic testing, MT-Teql delivers a model-agnostic framework which implements a comprehensive set of metamorphic relations (MRs) to conduct semantics-preserving transformations toward utterances and schemas. Model Inconsistency can be exposed when the original and transformed inputs induce different SQL queries. In addition, we leverage the transformed inputs to retrain models for further model robustness boost. Our experiments show that our framework exposes thousands of prediction errors from SOTA models and enriches existing datasets by order of magnitude, eliminating over 40% inconsistency errors without compromising standard accuracy.


title: Medical Entity Linking using Triplet Network

abstract: Entity linking (or Normalization) is an essential task in text mining that maps the entity mentions in the medical text to standard entities in a given Knowledge Base (KB). This task is of great importance in the medical domain. It can also be used for merging different medical and clinical ontologies. In this paper, we center around the problem of disease linking or normalization. This task is executed in two phases: candidate generation and candidate scoring. In this paper, we present an approach to rank the candidate Knowledge Base entries based on their similarity with disease mention. We make use of the Triplet Network for candidate ranking. While the existing methods have used carefully generated sieves and external resources for candidate generation, we introduce a robust and portable candidate generation scheme that does not make use of the hand-crafted rules. Experimental results on the standard benchmark NCBI disease dataset demonstrate that our system outperforms the prior methods by a significant margin.


title: Saturation problems with regularity constraints

abstract: For a graph $F$, we say that another graph $G$ is $F$-saturated, if $G$ is $F$-free and adding any edge to $G$ would create a copy of $F$. We study for a given graph $F$ and integer $n$ whether there exists a regular $n$-vertex $F$-saturated graph, and if it does, what is the smallest number of edges of such a graph. We mainly focus on the case when $F$ is a complete graph and prove for example that there exists a $K_3$-saturated regular graph on $n$ vertices for every large enough $n$. We also study two relaxed versions of the problem: when we only require that no regular $F$-free supergraph of $G$ should exist or when we drop the $F$-free condition and only require that any newly added edge should create a new copy of $F$.


title: Repairing Reed-Solomon Codes Evaluated on Subspaces

abstract: We consider the repair problem for Reed--Solomon (RS) codes, evaluated on an $\mathbb{F}_q$-linear subspace $U\subseteq\mathbb{F}_{q^m}$ of dimension $d$, where $q$ is a prime power, $m$ is a positive integer, and $\mathbb{F}_q$ is the Galois field of size $q$. For the case of $q\geq 3$, we show the existence of a linear repair scheme for the RS code of length $n=q^d$ and codimension $q^s$, $s< d$, evaluated on $U$, in which each of the $n-1$ surviving nodes transmits only $r$ symbols of $\mathbb{F}_q$, provided that $ms\geq d(m-r)$. For the case of $q=2$, we prove a similar result, with some restrictions on the evaluation linear subspace $U$. Our proof is based on a probabilistic argument, however the result is not merely an existence result; the success probability is fairly large (at least $1/3$) and there is a simple criterion for checking the validity of the randomly chosen linear repair scheme. Our result extend the construction of Dau--Milenkovich to the range $r<m-s$, for a wide range of parameters.


title: Adapting Active Reflector Technology for greater sensitivity and sky-coverage in FAST-like Telescopes

abstract: The Five-hundred-meter Aperture Spherical radio Telescope (FAST), the largest single dish radio telescope in the world, has implemented an innovative technology for its huge reflector, which changes the shape of the primary reflector from spherical to that of a paraboloid of 300 m aperture. Here we explore how the current FAST sensitivity can potentially be further improved by increasing the illuminated area (i.e., the aperture of the paraboloid embedded in the spherical surface). Alternatively, the maximum zenith angle can be increased to give greater sky coverage by decreasing the illuminated aperture.Different parabolic apertures within the FAST capability are analyzed in terms of how far the spherical surface would have to move to approximate a paraboloid. The sensitivity of FAST can be improved by approximately 10 % if the aperture of the paraboloid is increased from 300 m to 315 m. The parabolic aperture lies within the main spherical surface and does not extend beyond its edge. The maximum zenith angle can be increased to approximately 35 degrees from 26.4 degrees, if we decrease the aperture of the paraboloid to 220 m. This would still give a sensitivity similar to the Arecibo 305 m radio telescope. Radial deviations between paraboloids of different apertures and the spherical surfaces of differing radii are also investigated. Maximum zenith angles corresponding to different apertures of the paraboloid are further derived. A spherical surface with a different radius can provide a reference baseline for shape-changing applied through active reflector technology to FAST-like telescopes.


title: A Non-cooperative Game-based Distributed Beam Scheduling Framework for 5G Millimeter-Wave Cellular Networks

abstract: This paper studies the problem of distributed beam scheduling for 5G millimeter-Wave (mm-Wave) cellular networks where base stations (BSs) belonging to different operators share the same spectrum without centralized coordination among them. Our goal is to design efficient distributed scheduling algorithms to maximize the network utility, which is a function of the achieved throughput by the user equipment (UEs), subject to the average and instantaneous power consumption constraints of the BSs. We propose a Media Access Control (MAC) and a power allocation/adaptation mechanism utilizing the Lyapunov stochastic optimization framework and non-cooperative games. In particular, we first decompose the original utility maximization problem into two sub-optimization problems for each time frame, which are a convex optimization problem and a non-convex optimization problem, respectively. By formulating the distributed scheduling problem as a non-cooperative game where each BS is a player attempting to optimize its own utility, we provide a distributed solution to the non-convex sub-optimization problem via finding the Nash Equilibrium (NE) of the game whose weights are determined optimally by the Lyapunov optimization framework. Finally, we conduct simulation under various network settings to show the effectiveness of the proposed game-based beam scheduling algorithm in comparison to that of several reference schemes.


title: An End-to-End Document-Level Neural Discourse Parser Exploiting Multi-Granularity Representations

abstract: Document-level discourse parsing, in accordance with the Rhetorical Structure Theory (RST), remains notoriously challenging. Challenges include the deep structure of document-level discourse trees, the requirement of subtle semantic judgments, and the lack of large-scale training corpora. To address such challenges, we propose to exploit robust representations derived from multiple levels of granularity across syntax and semantics, and in turn incorporate such representations in an end-to-end encoder-decoder neural architecture for more resourceful discourse processing. In particular, we first use a pre-trained contextual language model that embodies high-order and long-range dependency to enable finer-grain semantic, syntactic, and organizational representations. We further encode such representations with boundary and hierarchical information to obtain more refined modeling for document-level discourse processing. Experimental results show that our parser achieves the state-of-the-art performance, approaching human-level performance on the benchmarked RST dataset.


title: Stability of spectral characteristics and Bari basis property of boundary value problems for $2 \times 2$ Dirac type systems

abstract: The paper is concerned with the stability property under perturbation $Q\to\widetilde Q$ of different spectral characteristics of a BVP associated in $L^2([0,1];\Bbb C^2)$ with the following $2\times2$ Dirac type equation $$L_U(Q)y=-iB^{-1}y'+Q(x)y=\lambda y,\quad B={\rm diag}(b_1,b_2),\quad b_1<0<b_2,\quad y={\rm col}(y_1,y_2),\quad(1)$$ with a potential matrix $Q\in L^p=L^p([0,1];\Bbb C^{2\times2})$ and subject to regular boundary conditions $Uy=\{U_1,U_2\}y=0$. Our approach to spectral stability relies on the existence of triangular transformation operators $K_Q^\pm$ for system (1) with $Q\in L^1$ established in our previous works. We prove the Lipshitz property of the mapping $Q\to K_Q^\pm$ from the balls in $L^p$ to the special Banach spaces $X_{\infty,p}^2,X_{1,p}^2$, naturally arising here, and obtain similar property for Fourier transforms of $K_Q^\pm$. These properties are of independent interest and play a crucial role in the proofs of all stability results discussed in the paper. For instance, as an immediate consequence we get the Lipshitz property of the mapping $Q\to\Phi_Q$, where $\Phi_Q$ is the fundamental matrix of the system (1). Assuming boundary conditions (BC) to be strictly regular, we show that the mapping $Q\to\sigma(L_U(Q))-\sigma(L_U(0))$ sends $L^p,p\in[1,2]$, either into $l^{p'}$ or into $l^p(\{(1+|n|)^{p-2}\})$; we also establish its Lipshitz property on compacts. We show similar result for the mapping $Q\to F_Q-F_0$ into $l^{p'}(\Bbb Z; C([0,1];\Bbb C^2))$, where $F_Q$ is a sequence of normalized eigenfunctions of $L_U(Q)$. Certain modifications of these results are proved for balls in $L^p,p\in[1,2]$. If $Q\in L^2$ we establish a criterion for the system of root vectors of $L_U(Q)$ to form a Bari basis in $L^2([0,1];\Bbb C^2)$. Under a simple additional assumption this system forms a Bari basis if and only if BC are self-adjoint.


title: A Comprehensive Survey of Machine Learning Based Localization with Wireless Signals

abstract: The last few decades have witnessed a growing interest in location-based services. Using localization systems based on Radio Frequency (RF) signals has proven its efficacy for both indoor and outdoor applications. However, challenges remain with respect to both complexity and accuracy of such systems. Machine Learning (ML) is one of the most promising methods for mitigating these problems, as ML (especially deep learning) offers powerful practical data-driven tools that can be integrated into localization systems. In this paper, we provide a comprehensive survey of ML-based localization solutions that use RF signals. The survey spans different aspects, ranging from the system architectures, to the input features, the ML methods, and the datasets. A main point of the paper is the interaction between the domain knowledge arising from the physics of localization systems, and the various ML approaches. Besides the ML methods, the utilized input features play a major role in shaping the localization solution; we present a detailed discussion of the different features and what could influence them, be it the underlying wireless technology or standards or the preprocessing techniques. A detailed discussion is dedicated to the different ML methods that have been applied to localization problems, discussing the underlying problem and the solution structure. Furthermore, we summarize the different ways the datasets were acquired, and then list the publicly available ones. Overall, the survey categorizes and partly summarizes insights from almost 400 papers in this field. This survey is self-contained, as we provide a concise review of the main ML and wireless propagation concepts, which shall help the researchers in either field navigate through the surveyed solutions, and suggested open problems.


title: Who will accept my request? Predicting response of link initiation in two-way relation networks

abstract: Popularity of social networks has rapidly increased over the past few years, and daily lives interrupt without their proper functioning. Social networking platform provide multiple interaction types between individuals, such as creating and joining groups, sending and receiving messages, sharing interests and creating friendship relationships. This paper addresses an important problem in social networks analysis and mining that is how to predict link initiation feedback in two-way networks. Relationships between two individuals in a two-way network include a link invitation from one of the individuals, which will be an established link if it is accepted by the invitee. We consider a sport gaming social networking platform and construct a multilayer social network between a number of users. The network formed by the link initiation process is on one of the layers, while the other two layers include a messaging relationships and interactions between the users. We propose a methodology to solve the link initiation feedback prediction problem in this multilayer fashion. The proposed method is based on features extracted from meta-paths, i.e. paths defined between different individuals from multiples layers in multilayer networks. We proposed a cluster-based approach to handle the sparsity issue in the dataset. Experimental results show that the proposed method can provide accurate prediction that outperforms state-of-the-art methods.


title: Zeros of hypergeometric functions in the $p$-adic setting

abstract: Let $p$ be an odd prime and $\mathbb{F}_p$ be the finite field with $p$ elements. McCarthy \cite{mccarthy-pacific} initiated a study of hypergeometric functions in the $p$-adic setting. This function can be understood as $p$-adic analogue of Gauss' hypergeometric function, and also some kind of extension of Greene's hypergeometric function over $\mathbb{F}_p$. In this paper we investigate values of two generic families of McCarthy's hypergeometric functions denoted by ${_nG_n}(t)$, and ${_n\widetilde{G}_n}(t)$ for $n\geq3$, and $t\in\mathbb{F}_p$. The values of the function ${_nG_n}(t)$ certainly depend on whether $t$ is $n$-th power residue modulo $p$ or not. Similarly, the values of the function ${_n\widetilde{G}_n}(t)$ rely on the incongruent modulo $p$ solutions of $y^n-y^{n-1}+\frac{(n-1)^{n-1}t}{n^n}\equiv0\pmod{p}$. These results generalize special cases of $p$-adic analogues of Whipple's theorem and Dixon's theorem of classical hypergeometric series. We examine zeros of the functions ${_nG_n}(t)$, and ${_n\widetilde{G}_n}(t)$ over $\mathbb{F}_p$. Moreover, we look into the values of $t$ for which ${_nG_n}(t)=0$ for infinitely many primes. For example, we show that there are infinitely many primes for which ${_{2k}G_{2k}}(-1)=0$. In contrast, for $t\neq0$ there is no prime for which ${_{2k}\widetilde{G}_{2k}}(t)=0$.


title: Unsupervised Cross-Lingual Speech Emotion Recognition Using DomainAdversarial Neural Network

abstract: By using deep learning approaches, Speech Emotion Recog-nition (SER) on a single domain has achieved many excellentresults. However, cross-domain SER is still a challenging taskdue to the distribution shift between source and target domains.In this work, we propose a Domain Adversarial Neural Net-work (DANN) based approach to mitigate this distribution shiftproblem for cross-lingual SER. Specifically, we add a languageclassifier and gradient reversal layer after the feature extractor toforce the learned representation both language-independent andemotion-meaningful. Our method is unsupervised, i. e., labelson target language are not required, which makes it easier to ap-ply our method to other languages. Experimental results showthe proposed method provides an average absolute improve-ment of 3.91% over the baseline system for arousal and valenceclassification task. Furthermore, we find that batch normaliza-tion is beneficial to the performance gain of DANN. Thereforewe also explore the effect of different ways of data combinationfor batch normalization.


title: Learn molecular representations from large-scale unlabeled molecules for drug discovery

abstract: How to produce expressive molecular representations is a fundamental challenge in AI-driven drug discovery. Graph neural network (GNN) has emerged as a powerful technique for modeling molecular data. However, previous supervised approaches usually suffer from the scarcity of labeled data and have poor generalization capability. Here, we proposed a novel Molecular Pre-training Graph-based deep learning framework, named MPG, that leans molecular representations from large-scale unlabeled molecules. In MPG, we proposed a powerful MolGNet model and an effective self-supervised strategy for pre-training the model at both the node and graph-level. After pre-training on 11 million unlabeled molecules, we revealed that MolGNet can capture valuable chemistry insights to produce interpretable representation. The pre-trained MolGNet can be fine-tuned with just one additional output layer to create state-of-the-art models for a wide range of drug discovery tasks, including molecular properties prediction, drug-drug interaction, and drug-target interaction, involving 13 benchmark datasets. Our work demonstrates that MPG is promising to become a novel approach in the drug discovery pipeline.


title: $0$-Shake Slice Implies Slice

abstract: Here, we prove that $0-$shake slice knots are slice.


title: On the sum of the largest $A_{\alpha}$-eigenvalues of graphs

abstract: For every real $0\leq \alpha \leq 1$, Nikiforov defined the $A_{\alpha}$-matrix of a graph $G$ as $A_{\alpha}(G)=\alpha D(G)+(1-\alpha)A(G)$, where $A(G)$ and $D(G)$ are the adjacency matrix and the degree diagonal matrix of a graph $G$, respectively. The eigenvalues of $A_{\alpha}(G)$ are called the $A_{\alpha}$-eigenvalues of $G$. Let $S_k(A_{\alpha}(G))$ be the sum of $k$ largest $A_{\alpha}$-eigenvalues of $G$. In this paper, we present several upper and lower bounds on $S_k(A_{\alpha}(G))$ and characterize the extremal graphs for certain cases, which can be regard as a common generalization of the sum of $k$ largest eigenvalues of adjacency matrix and signless Laplacian matrix of graphs. In addition, some graph operations on $S_k(A_{\alpha}(G))$ are presented.


title: Knowledge-Driven Machine Learning: Concept, Model and Case Study on Channel Estimation

abstract: The power of big data and machine learning has been drastically demonstrated in many fields during the past twenty years which somehow leads to the vague even false understanding that the huge amount of precious human knowledge accumulated to date no longer seems to matter. In this paper, we are pioneering to propose the knowledge-driven machine learning(KDML) model to exhibit that knowledge can play an important role in machine learning tasks. KDML takes advantage of domain knowledge to processes the input data by space transforming without any training which enable the space of input and the output data of the neural networks to be identical, so that we can simplify the machine learning network structure and reduce training costs significantly. Channel estimation problems considering the time selective and frequency selective fading in wireless communications are taken as a case study, where we choose least square(LS) and minimum meansquare error(MMSE) as knowledge module and Long Short Term Memory(LSTM) as learning module. The performance obtained by KDML channel estimator obviously outperforms that of knowledge processing or conventional machine learning, respectively. Our work sheds light on the new area of machine learning and knowledge processing.


title: Electronic correlations and magnetic interactions in infinite-layer NdNiO$_2$

abstract: The large antiferromagnetic exchange coupling in the parent high-$T_{\rm c}$ cuprate superconductors is believed to play a crucial role in pairing the superconducting carriers. The recent observation of superconductivity in hole-doped infinite-layer (IL-) NdNiO$_2$ brings to the fore the relevance of magnetic coupling in high-$T_{\rm c}$ superconductors, particularly because no magnetic ordering is observed in the undoped IL-NdNiO$_2$ unlike in parent copper oxides. Here, we investigate the electronic structure and the nature of magnetic exchange in IL-NdNiO$_2$ using state-of-the-art many-body quantum chemistry methods. From a systematic comparison of the electronic and magnetic properties with isostructural cuprate IL-CaCuO$_2$, we find that the on-site dynamical correlations are significantly stronger in IL-NdNiO$_2$ compared to the cuprate analog. These dynamical correlations play a critical role in the magnetic exchange resulting in an unexpectedly large antiferromagnetic nearest neighbor isotropic $J$ of 77 meV between the Ni$^{1+}$ ions within the $ab$-plane. While we find many similarities in the electronic structure between the nickelate and the cuprate, the role of electronic correlations is profoundly different in the two. We further discuss the implications of our findings in understanding the origin of superconductivity in nickelates.


title: Aspects of optimality of plans orthogonal through other factors

abstract: The concept of orthogonality through the block factor (OTB), defined in Bagchi (2010), is extended here to orthogonality through a set (say S) of other factors. We discuss the impact of such an orthogonality on the precision of the estimates as well as on the inference procedure. Concentrating on the case when $S$ is of size two, we construct a series of plans in each of which every pair of other factors is orthogonal through a given pair of factors. Next we concentrate on plans through the block factors (POTB). We construct POTBs for symmetrical experiments with two and three-level factors. The plans for two factors are E-optimal, while those for three-level factors are universally optimal. Finally, we construct POTBs for $s^t(s+1)$ experiments, where $s \equiv 3 \pmod 4$ is a prime power. The plan is universally optimal.


title: Escaping an Infinitude of Lions

abstract: We consider the following game played in the Euclidean plane: There is any countable set of unit speed lions and one fast man who can run with speed $1+\varepsilon$ for some value $\varepsilon>0$. Can the man survive? We answer the question in the affirmative for any $\varepsilon>0$.


title: Program State Abstraction for Feedback-Driven Fuzz Testing using Likely Invariants

abstract: Fuzz testing proved its great effectiveness in finding software bugs in the latest years, however, there are still open challenges. Coverage-guided fuzzers suffer from the fact that covering a program point does not ensure the trigger of a fault. Other more sensitive techniques that in theory should cope with this problem, such as the coverage of the memory values, easily lead to path explosion. In this thesis, we propose a new feedback for Feedback-driven Fuzz testing that combines code coverage with the "shape" of the data. We learn likely invariants for each basic block in order to divide into regions the space described by the variables used in the block. The goal is to distinguish in the feedback when a block is executed with values that fall in different regions of the space. This better approximates the program state coverage and, on some targets, improves the ability of the fuzzer in finding faults. We developed a prototype using LLVM and AFL++ called InvsCov.


title: Automatic differentiation for error analysis

abstract: We present ADerrors.jl, a software for linear error propagation and analysis of Monte Carlo data. Although the focus is in data analysis in Lattice QCD, where estimates of the observables have to be computed from Monte Carlo samples, the software also deals with variables with uncertainties, either correlated or uncorrelated. Thanks to automatic differentiation techniques linear error propagation is performed exactly, even in iterative algorithms (i.e. errors in parameters of non-linear fits). In this contribution we present an overview of the capabilities of the software, including access to uncertainties in fit parameters and dealing with correlated data. The software, written in julia, is available for download and use in https://gitlab.ift.uam-csic.es/alberto/aderrors.jl


title: Optimizing Deep Neural Networks through Neuroevolution with Stochastic Gradient Descent

abstract: Deep neural networks (DNNs) have achieved remarkable success in computer vision; however, training DNNs for satisfactory performance remains challenging and suffers from sensitivity to empirical selections of an optimization algorithm for training. Stochastic gradient descent (SGD) is dominant in training a DNN by adjusting neural network weights to minimize the DNNs loss function. As an alternative approach, neuroevolution is more in line with an evolutionary process and provides some key capabilities that are often unavailable in SGD, such as the heuristic black-box search strategy based on individual collaboration in neuroevolution. This paper proposes a novel approach that combines the merits of both neuroevolution and SGD, enabling evolutionary search, parallel exploration, and an effective probe for optimal DNNs. A hierarchical cluster-based suppression algorithm is also developed to overcome similar weight updates among individuals for improving population diversity. We implement the proposed approach in four representative DNNs based on four publicly-available datasets. Experiment results demonstrate that the four DNNs optimized by the proposed approach all outperform corresponding ones optimized by only SGD on all datasets. The performance of DNNs optimized by the proposed approach also outperforms state-of-the-art deep networks. This work also presents a meaningful attempt for pursuing artificial general intelligence.


title: Infrared image pedestrian target detection based on Yolov3 and migration learning

abstract: With the gradual application of infrared night vision vehicle assistance system in automatic driving, the accuracy of the collected infrared images of pedestrians is gradually improved. In this paper, the migration learning method is used to apply YOLOv3 model to realize pedestrian target detection in infrared images. The target detection model YOLOv3 is migrated to the CVC infrared pedestrian data set, and Diou loss is used to replace the loss function of the original YOLO model to test different super parameters to obtain the best migration learning effect. The experimental results show that in the pedestrian detection task of CVC data set, the average accuracy (AP) of Yolov3 model reaches 96.35%, and that of Diou-Yolov3 model is 72.14%, but the latter has a faster convergence rate of loss curve. The effect of migration learning can be obtained by comparing the two models.


title: Gysin sequences and SU(2)-symmetries of C*-algebras

abstract: Motivated by the study of symmetries of C*-algebras, as well as by multivariate operator theory, we introduce the notion of an SU(2)-equivariant subproduct system of Hilbert spaces. We analyse the resulting Toeplitz and Cuntz-Pimsner algebras and provide results about their topological invariants through Kasparov's bivariant K-theory. In particular, starting from an irreducible representation of SU(2), we show that the corresponding Toeplitz algebra is equivariantly KK-equivalent to the algebra of complex numbers. In this way, we obtain a six term exact sequence of K-groups containing a noncommutative analogue of the Euler class.