title: Estimating entropy rate from censored symbolic time series: a test for time-irreversibility

abstract: In this work we introduce a method for estimating entropy rate and entropy production rate from finite symbolic time series. From the point of view of statistics, estimating entropy from a finite series can be interpreted as a problem of estimating parameters of a distribution with a censored or truncated sample. We use this point of view to give estimations of entropy rate and entropy production rate assuming that they are parameters of a (limit) distribution. The last statement is actually a consequence of the fact that the distribution of estimations obtained from recurrence-time statistics satisfy the central limit theorem. We test our method using time series coming from Markov chain models, discrete-time chaotic maps and real a DNA sequence from human genome.


title: ConvAI3: Generating Clarifying Questions for Open-Domain Dialogue Systems (ClariQ)

abstract: This document presents a detailed description of the challenge on clarifying questions for dialogue systems (ClariQ). The challenge is organized as part of the Conversational AI challenge series (ConvAI3) at Search Oriented Conversational AI (SCAI) EMNLP workshop in 2020. The main aim of the conversational systems is to return an appropriate answer in response to the user requests. However, some user requests might be ambiguous. In IR settings such a situation is handled mainly thought the diversification of the search result page. It is however much more challenging in dialogue settings with limited bandwidth. Therefore, in this challenge, we provide a common evaluation framework to evaluate mixed-initiative conversations. Participants are asked to rank clarifying questions in an information-seeking conversations. The challenge is organized in two stages where in Stage 1 we evaluate the submissions in an offline setting and single-turn conversations. Top participants of Stage 1 get the chance to have their model tested by human annotators.


title: Higher-Order Spectral Clustering for Geometric Graphs

abstract: The present paper is devoted to clustering geometric graphs. While the standard spectral clustering is often not effective for geometric graphs, we present an effective generalization, which we call higher-order spectral clustering. It resembles in concept the classical spectral clustering method but uses for partitioning the eigenvector associated with a higher-order eigenvalue. We establish the weak consistency of this algorithm for a wide class of geometric graphs which we call Soft Geometric Block Model. A small adjustment of the algorithm provides strong consistency. We also show that our method is effective in numerical experiments even for graphs of modest size.


title: A Deep Learning Algorithm for Objective Assessment of Hypernasality in Children with Cleft Palate

abstract: Objectives: Evaluation of hypernasality requires extensive perceptual training by clinicians and extending this training on a large scale internationally is untenable; this compounds the health disparities that already exist among children with cleft. In this work, we present the objective hypernasality measure (OHM), a speech analytics algorithm that automatically measures hypernasality in speech, and validate it relative to a group of trained clinicians. Methods: We trained a deep neural network (DNN) on approximately 100 hours of a publicly-available healthy speech corpus to detect the presence of nasal acoustic cues generated through the production of nasal consonants and nasalized phonemes in speech. Importantly, this model does not require any clinical data for training. The posterior probabilities of the deep learning model were aggregated at the sentence and speaker-levels to compute the OHM. Results: The results showed that the OHM was significantly correlated with the perceptual hypernasality ratings in the Americleft database ( r=0.797, ~p$<$0.001), and with the New Mexico Cleft Palate Center (NMCPC) database (r=0.713,p<$0.001). In addition, we evaluated the relationship between the OHM and articulation errors; the sensitivity of the OHM in detecting the presence of very mild hypernasality; and establishing the internal reliability of the metric. Further, the performance of OHM was compared with a DNN regression algorithm directly trained on the hypernasal speech samples. Significance: The results indicate that the OHM is able to rate the severity of hypernasality on par with Americleft-trained clinicians on this dataset.


title: Structure Aware Negative Sampling in Knowledge Graphs

abstract: Learning low-dimensional representations for entities and relations in knowledge graphs using contrastive estimation represents a scalable and effective method for inferring connectivity patterns. A crucial aspect of contrastive learning approaches is the choice of corruption distribution that generates hard negative samples, which force the embedding model to learn discriminative representations and find critical characteristics of observed data. While earlier methods either employ too simple corruption distributions, i.e. uniform, yielding easy uninformative negatives or sophisticated adversarial distributions with challenging optimization schemes, they do not explicitly incorporate known graph structure resulting in suboptimal negatives. In this paper, we propose Structure Aware Negative Sampling (SANS), an inexpensive negative sampling strategy that utilizes the rich graph structure by selecting negative samples from a node's k-hop neighborhood. Empirically, we demonstrate that SANS finds semantically meaningful negatives and is competitive with SOTA approaches while requires no additional parameters nor difficult adversarial optimization.


title: Uniform convergence of an upwind discontinuous Galerkin method for solving scaled discrete-ordinate radiative transfer equations with isotropic scattering kernel

abstract: We present an error analysis for the discontinuous Galerkin method applied to the discrete-ordinate discretization of the steady-state radiative transfer equation. Under some mild assumptions, we show that the DG method converges uniformly with respect to a scaling parameter $\varepsilon$ which characterizes the strength of scattering in the system. However, the rate is not optimal and can be polluted by the presence of boundary layers. In one-dimensional slab geometries, we demonstrate optimal convergence when boundary layers are not present and analyze a simple strategy for balance interior and boundary layer errors. Some numerical tests are also provided in this reduced setting.


title: Virus-host interactions shape viral dispersal giving rise to distinct classes of travelling waves in spatial expansions

abstract: Reaction-diffusion waves have long been used to describe the growth and spread of populations undergoing a spatial range expansion. Such waves are generally classed as either pulled, where the dynamics are driven by the very tip of the front and stochastic fluctuations are high, or pushed, where cooperation in growth or dispersal results in a bulk-driven wave in which fluctuations are suppressed. These concepts have been well studied experimentally in populations where the cooperation leads to a density-dependent growth rate. By contrast, relatively little is known about experimental populations that exhibit density-dependent dispersal. Using bacteriophage T7 as a test organism, we present novel experimental measurements that demonstrate that the diffusion of phage T7, in a lawn of host E. coli, is hindered by steric interactions with host bacteria cells. The coupling between host density, phage dispersal and cell lysis caused by viral infection results in an effective density-dependent diffusion coefficient akin to cooperative behavior. Using a system of reaction-diffusion equations, we show that this effect can result in a transition from a pulled to pushed expansion. Moreover, we find that a second, independent density-dependent effect on phage dispersal spontaneously emerges as a result of the viral incubation period, during which phage is trapped inside the host unable to disperse. Additional stochastic agent-based simulations reveal that lysis time dramatically affects the rate of diversity loss in viral expansions. Taken together, our results indicate both that bacteriophage can be used as a controllable laboratory population to investigate the impact of density-dependent dispersal on evolution, and that the genetic diversity and adaptability of expanding viral populations could be much greater than is currently assumed.


title: Robotic Reverberation Mapping of the Southern Seyfert NGC 3783

abstract: We present spectroscopic and photometric monitoring of NGC 3783 conducted throughout the first half of 2020. Time delays between the continuum variations and the response of the broad optical emission lines were clearly detected, and we report reverberation measurements for H$\beta$, HeII $\lambda 4686$, H$\gamma$, and H$\delta$. From the time delay in the broad H$\beta$ emission line and the line width in the variable portion of the spectrum, we derive a black hole mass of $M_{\rm BH} = 2.34^{+0.43}_{-0.43} \times 10^7$ M$_{\odot}$. This is slightly smaller than, but consistent with, previous determinations. However, our significantly improved time sampling ($T_{\rm med}=1.7$ days compared to $T_{\rm med}=4.0$ days) has reduced the uncertainties on both the time delay and the derived mass by $\sim 50$%. We also detect clear velocity-resolved time delays across the broad H$\beta$ profile, with shorter lags in the line wings and a longer lag in the line core. Future modeling of the full velocity-resolved time delay response will further improve the reverberation-based mass for NGC 3783, adding it to the small but growing sample of AGNs for which we have direct, primary black hole mass measurements. Upcoming MUSE observations at VLT will also allow NGC 3783 to join the smaller sample of black holes where reverberation masses and masses from stellar dynamical modeling may be directly compared.


title: A Unified Analysis of First-Order Methods for Smooth Games via Integral Quadratic Constraints

abstract: The theory of integral quadratic constraints (IQCs) allows the certification of exponential convergence of interconnected systems containing nonlinear or uncertain elements. In this work, we adapt the IQC theory to study first-order methods for smooth and strongly-monotone games and show how to design tailored quadratic constraints to get tight upper bounds of convergence rates. Using this framework, we recover the existing bound for the gradient method~(GD), derive sharper bounds for the proximal point method~(PPM) and optimistic gradient method~(OG), and provide \emph{for the first time} a global convergence rate for the negative momentum method~(NM) with an iteration complexity $\mathcal{O}(\kappa^{1.5})$, which matches its known lower bound. In addition, for time-varying systems, we prove that the gradient method with optimal step size achieves the fastest provable worst-case convergence rate with quadratic Lyapunov functions. Finally, we further extend our analysis to stochastic games and study the impact of multiplicative noise on different algorithms. We show that it is impossible for an algorithm with one step of memory to achieve acceleration if it only queries the gradient once per batch (in contrast with the stochastic strongly-convex optimization setting, where such acceleration has been demonstrated). However, we exhibit an algorithm which achieves acceleration with two gradient queries per batch.


title: EPEM: Efficient Parameter Estimation for Multiple Class Monotone Missing Data

abstract: The problem of monotone missing data has been broadly studied during the last two decades and has many applications in different fields such as bioinformatics or statistics. Commonly used imputation techniques require multiple iterations through the data before yielding convergence. Moreover, those approaches may introduce extra noises and biases to the subsequent modeling. In this work, we derive exact formulas and propose a novel algorithm to compute the maximum likelihood estimators (MLEs) of a multiple class, monotone missing dataset when all the covariance matrices of all categories are assumed to be equal, namely EPEM. We then illustrate an application of our proposed methods in Linear Discriminant Analysis (LDA). As the computation is exact, our EPEM algorithm does not require multiple iterations through the data as other imputation approaches, thus promising to handle much less time-consuming than other methods. This effectiveness was validated by empirical results when EPEM reduced the error rates significantly and required a short computation time compared to several imputation-based approaches. We also release all codes and data of our experiments in one GitHub repository to contribute to the research community related to this problem.


title: Low Complexity Neural Network Structures for Self-Interference Cancellation in Full-Duplex Radio

abstract: Self-interference (SI) is considered as a main challenge in full-duplex (FD) systems. Therefore, efficient SI cancelers are required for the influential deployment of FD systems in beyond fifth-generation wireless networks. Existing methods for SI cancellation have mostly considered the polynomial representation of the SI signal at the receiver. These methods are shown to operate well in practice while requiring high computational complexity. Alternatively, neural networks (NNs) are envisioned as promising candidates for modeling the SI signal with reduced computational complexity. Consequently, in this paper, two novel low complexity NN structures, referred to as the ladder-wise grid structure (LWGS) and moving-window grid structure (MWGS), are proposed. The core idea of these two structures is to mimic the non-linearity and memory effect introduced to the SI signal in order to achieve proper SI cancellation while exhibiting low computational complexity. The simulation results reveal that the LWGS and MWGS NN-based cancelers attain the same cancellation performance of the polynomial-based canceler while providing 49.87% and 34.19% complexity reduction, respectively.


title: Dense Forecasting of Wildfire Smoke Particulate Matter Using Sparsity Invariant Convolutional Neural Networks

abstract: Accurate forecasts of fine particulate matter (PM 2.5) from wildfire smoke are crucial to safeguarding cardiopulmonary public health. Existing forecasting systems are trained on sparse and inaccurate ground truths, and do not take sufficient advantage of important spatial inductive biases. In this work, we present a convolutional neural network which preserves sparsity invariance throughout, and leverages multitask learning to perform dense forecasts of PM 2.5values. We demonstrate that our model outperforms two existing smoke forecasting systems during the 2018 and 2019 wildfire season in British Columbia, Canada, predicting PM 2.5 at a grid resolution of 10 km, 24 hours in advance with high fidelity. Most interestingly, our model also generalizes to meaningful smoke dispersion patterns despite training with irregularly distributed ground truth PM 2.5 values available in only 0.5% of grid cells.


title: Tic-Tac-Toe on an Affine Plane of order 4

abstract: The game of tic-tac-toe is well known. In particular, in its classic version it is famous for being unwinnable by either player. While classically it is played on a grid, it is natural to consider the effect of playing the game on richer structures, such as finite planes. Playing the game of tic-tac-toe on finite affine and projective planes has been studied previously. While the second player can usually force a draw, for small orders it is possible for the first player to win. In this regard, a computer proof that tic-tac-toe played on the affine plane of order 4 is a first player win has been claimed. In this note we use techniques from the theory of latin squares and transversal designs to give a human verifiable, explicit proof of this fact.


title: Consistent description of angular correlations in $\beta$ decay for Beyond Standard Model physics searches

abstract: Measurements of angular correlations between initial and final particles in $\beta$ decay remain one of the most promising ways of probing the Standard Model and looking for new physics. As experiments reach unprecedented precision well into the per-mille regime, proper extraction of results requires one to take into account a great number of nuclear structure and radiative corrections in a procedure which becomes dependent upon the experimental geometry. We provide here a compilation and update of theoretical results which describe all corrections in the same conceptual framework, point out pitfalls and review the influence of the experimental geometry. Finally, we summarize the potential for new physics reach.


title: Geodesic flows modeled by expansive flows: Compact surfaces without conjugate points and continuous Green bundles

abstract: We study the geodesic flow of a compact surface without conjugate points and genus greater than one and continuous Green bundles. Identifying each strip of bi-asymptotic geodesics induces an equivalence relation on the unit tangent bundle. Its quotient space is shown to carry the structure of a 3-dimensional compact manifold. This manifold carries a canonically defined continuous flow which is expansive, time-preserving semi-conjugate to the geodesic flow, and has a local product structure. An essential step towards the proof of these properties is to study regularity properties of the horospherical foliations and to show that they are indeed tangent to the Green subbundles. As an application it is shown that the geodesic flow has a unique measure of maximal entropy.


title: Leibniz Cohomology and Connections on Differentiable Manifolds

abstract: We show how an affine connection on a Riemannian manifold occurs naturally as a cochain in the complex for Leibniz cohomology of vector fields with coefficients in the adjoint representation. The Leibniz coboundary of the Levi-Civita connection can be expressed as a sum of two terms, one the Laplace-Beltrami operator and the other a Ricci curvature term. The vanishing of this coboundary has an interpretation in terms of eigenfunctions of the Laplacian. Additionally, we compute the Leibniz cohomology with adjoint coefficients for a certain family of vector fields on Euclidean ${\bf{R}}^n$ corresponding to the affine orthogonal Lie algebra, $n \geq 3$.


title: Portfolio Optimization on Multivariate Regime Switching GARCH Model with Normal Tempered Stable Innovation

abstract: This paper uses simulation-based portfolio optimization to mitigate the left tail risk of the portfolio. The contribution is twofold. (i) We propose the Markov regime-switching GARCH model with multivariate normal tempered stable innovation (MRS-MNTS-GARCH) to accommodate fat tails, volatility clustering and regime switch. The volatility of each asset independently follows the regime-switch GARCH model, while the correlation of joint innovation of the GARCH models follows the Hidden Markov Model. (ii) We use tail risk measures, namely conditional value-at-risk (CVaR) and conditional drawdown-at-risk (CDaR), in the portfolio optimization. The optimization is performed with the sample paths simulated by the MRS-MNTS-GARCH model. We conduct an empirical study on the performance of optimal portfolios. Out-of-sample tests show that the optimal portfolios with tail measures outperform the optimal portfolio with standard deviation measure and the equally weighted portfolio in various performance measures. The out-of-sample performance of the optimal portfolios is also more robust to suboptimality on the efficient frontier.


title: Evolution of Autopoiesis and Multicellularity in the Game of Life

abstract: Recently we introduced a model of symbiosis, Model-S, based on the evolution of seed patterns in Conway's Game of Life. In the model, the fitness of a seed pattern is measured by one-on-one competitions in the Immigration Game, a two-player variation of the Game of Life. Our previous article showed that Model-S can serve as a highly abstract, simplified model of biological life: (1) The initial seed pattern is analogous to a genome. (2) The changes as the game runs are analogous to the development of the phenome. (3) Tournament selection in Model-S is analogous to natural selection in biology. (4) The Immigration Game in Model-S is analogous to competition in biology. (5) The first three layers in Model-S are analogous to biological reproduction. (6) The fusion of seed patterns in Model-S is analogous to symbiosis. The current article takes this analogy two steps further: (7) Autopoietic structures in the Game of Life (still lifes, oscillators, and spaceships -- collectively known as ashes) are analogous to cells in biology. (8) The seed patterns in the Game of Life give rise to multiple, diverse, cooperating autopoietic structures, analogous to multicellular biological life. We use the apgsearch software (Ash Pattern Generator Search), developed by Adam Goucher for the study of ashes, to analyze autopoiesis and multicellularity in Model-S. We find that the fitness of evolved seed patterns in Model-S is highly correlated with the diversity and quantity of multicellular autopoietic structures.


title: A Personal Perspective on Numerical Analysis and Optimization

abstract: I give a brief, non-technical, historical perspective on numerical analysis and optimization. I also touch on emerging trends and future challenges. This content is based on the short presentation that I made at the opening ceremony of \emph{The International Conference on Numerical Analysis and Optimization}, which was held at Sultan Qaboos University, Muscat, Oman, on January 6--9, 2020. Of course, the material covered here is necessarily incomplete and biased towards my own interests and comfort zones. My aim is to give a feel for how the area has developed over the past few decades and how it may continue.


title: Unravelling the role of coherence in the first law of quantum thermodynamics

abstract: One of the fundamental questions in the emerging field of quantum thermodynamics is the role played by coherence in energetic processes that occur at the quantum level. Here, we address this issue by investigating two different quantum versions of the first law of thermodynamics, derived from the classical definitions of work and heat. By doing so, we find out that there exists a mathematical inconsistency between both scenarios. We further show that the energetic contribution of the dynamics of coherence is the key ingredient to establish the consistency. Some examples involving two-level atomic systems are discussed in order to illustrate our findings.


title: Simulating Non Commutative Geometry with Quantum Walks

abstract: Non Commutative Geometry (NCG) is considered in the context of a charged particle moving in a uniform magnetic field. The classical and quantum mechanical treatments are revisited and a new marker of NCG is introduced. This marker is then used to investigate NCG in magnetic Quantum Walks. It is proven that these walks exhibit NCG at and near the continuum limit. For the purely discrete regime, two illustrative walks of different complexities are studied in full detail. The most complex walk does exhibit NCG but the simplest, most degenerate one does not. Thus, NCG can be simulated by QWs, not only in the continuum limit, but also in the purely discrete regime.


title: Directional Clogging and Phase Separation for Disk Flow Through Periodic and Diluted Obstacle Arrays

abstract: We model collective disk flow though a square array of obstacles as the flow direction is changed relative to the symmetry directions of the array. At lower disk densities there is no clogging for any driving direction, but as the disk density increases, the average disk velocity decreases and develops a drive angle dependence. For certain driving angles, the flow is reduced or drops to zero when the system forms a heterogeneous clogged state consisting of high density clogged regions coexisting with empty regions. The clogged states are fragile and can be unclogged by changing the driving angle. For large obstacle sizes, we find a uniform clogged state that is distinct from the collective clogging regime. Within the clogged phases, depinning transitions can occur as a function of increasing driving force, with strongly intermittent motion appearing just above the depinning threshold. The clogging is robust against the random removal or dilution of the obstacle sites, and the disks are able to form system-spanning clogged clusters even under increasing dilution. If the dilution becomes too large, however, the clogging behavior is lost.


title: Impossibility of almost extension

abstract: Let $({\mathbf X},\|\cdot\|_{\mathbf X}), ({\mathbf Y},\|\cdot\|_{\mathbf Y})$ be normed spaces with ${\mathrm{dim}}({\mathbf X})=n$. Bourgain's almost extension theorem asserts that for any ${\varepsilon}>0$, if ${\mathcal{N}}$ is an ${\varepsilon}$-net of the unit sphere of ${\mathbf X}$ and $f:{\mathcal{N}}\to {\mathbf Y}$ is $1$-Lipschitz, then there exists an $O(1)$-Lipschitz $F:{\mathbf X}\to {\mathbf Y}$ such that $\|F(a)-f(a)\|_{\mathbf Y}\lesssim n{\varepsilon}$ for all $a\in \mathcal{N}$. We prove that this is optimal up to lower order factors, i.e., sometimes $\max_{a\in {\mathcal{N}}} \|F(a)-f(a)\|_{\mathbf Y}\gtrsim n^{1-o(1)}{\varepsilon}$ for every $O(1)$-Lipschitz $F:{\mathbf X}\to {\mathbf Y}$. This improves Bourgain's lower bound of $\max_{a\in {\mathcal{N}}} \|F(a)-f(a)\|_{\mathbf Y}\gtrsim n^{c}{\varepsilon}$ for some $0<c<\frac12$. If ${\mathbf X}=\ell_2^n$, then the approximation in the almost extension theorem can be improved to $\max_{a\in {\mathcal{N}}} \|F(a)-f(a)\|_{\mathbf Y}\lesssim \sqrt{n}{\varepsilon}$. We prove that this is sharp, i.e., sometimes $\max_{a\in {\mathcal{N}}} \|F(a)-f(a)\|_{\mathbf Y}\gtrsim \sqrt{n}{\varepsilon}$ for every $O(1)$-Lipschitz $F:\ell_2^n\to {\mathbf Y}$.


title: Fast Adaptation Nonlinear Observer for SLAM

abstract: The process of simultaneously mapping the environment in three dimensional (3D) space and localizing a moving vehicle's pose (orientation and position) is termed Simultaneous Localization and Mapping (SLAM). SLAM is a core task in robotics applications. In the SLAM problem, each of the vehicle's pose and the environment are assumed to be completely unknown. This paper takes the conventional SLAM design as a basis and proposes a novel approach that ensures fast adaptation of the nonlinear observer for SLAM. Due to the fact that the true SLAM problem is nonlinear and is modeled on the Lie group of $\mathbb{SLAM}_{n}\left(3\right)$, the proposed observer for SLAM is nonlinear and modeled on $\mathbb{SLAM}_{n}\left(3\right)$. The proposed observer compensates for unknown bias attached to velocity measurements. The results of the simulation illustrate the robustness of the proposed approach.


title: Wide-field study of the peculiar globular cluster system hosted by the field lenticular NGC 1172

abstract: We present a wide-field study of the globular cluster system (GCS) of the field lenticular galaxy NGC 1172, based on observations from GMOS/Gemini (optical), FourStar/Magellan (NIR), and archival data from ACS/HST (optical). This analysis covers the full extension of the GCS, and results in a value of specific frequency (S_N=8.6 +/- 1.5) peculiarly high for an intermediate-mass galaxy in a low-density environment such as this one. We find that the GCS appears to be bimodal, although the colour distribution is narrow and does not allow for an accurate separation of the subpopulations. However, the combination of optical and NIR filters allows us to obtain an estimation of the metallicity distribution based on the photometry, which supports bimodality. We conclude that the presence of a large fraction of metal-poor globular clusters (GCs) and the high specific frequency point to NGC 1172 having accreted a significant amount of GCs from low-mass satellites in the past.


title: A Positive and Stable L2-minimization Based Moment Method for the Boltzmann Equation of Gas dynamics

abstract: We consider the method-of-moments approach to solve the Boltzmann equation of rarefied gas dynamics, which results in the following moment-closure problem. Given a set of moments, find the underlying probability density function. The moment-closure problem has infinitely many solutions and requires an additional optimality criterion to single-out a unique solution. Motivated from a discontinuous Galerkin velocity discretization, we consider an optimality criterion based upon L2-minimization. To ensure a positive solution to the moment-closure problem, we enforce positivity constraints on L2-minimization. This results in a quadratic optimization problem with moments and positivity constraints. We show that a (Courant-Friedrichs-Lewy) CFL-type condition ensures both the feasibility of the optimization problem and the L2-stability of the moment approximation. Numerical experiments showcase the accuracy of our moment method.


title: Non-intrusive reduced order modelling for the dynamics of geometrically nonlinear flat structures using three-dimensional finite elements

abstract: Non-intrusive methods have been used since two decades to derive reduced-order models for geometrically nonlinear structures, with a particular emphasis on the so-called STiffness Evaluation Procedure (STEP), relying on the static application of prescribed displacements in a finite-element context. We show that a particularly slow convergence of the modal expansion is observed when applying the method with 3D elements, because of nonlinear couplings occurring with very high frequency modes involving 3D thickness deformations. Focusing on the case of flat structures, we first show by computing all the modes of the structure that a converged solution can be exhibited by using either static condensation or normal form theory. We then show that static modal derivatives provide the same solution with fewer calculations. Finally, we propose a modified STEP, where the prescribed displacements are imposed solely on specific degrees of freedom of the structure, and show that this adjustment also provides efficiently a converged solution.


title: Solitary wave solutions of FKPP equation using Homogeneous balance method(HB method)

abstract: In this paper, we use the homogeneous balance(HB) method is used to construct function transformation to solve the nonlinear development equation||Fisher-Kolomogror-Pertrovskii-Piskmov equation (FKPP equation), then the exact solution of FKPP equation is obtained, and the solutionis converted into the form of isolated wave solution. Finally, we have shown the solution of FKPPequation in some picture forms, and the rationality of the solution in this paper can be verified byusing the pictures.


title: A supersingular coincidence

abstract: The fifteen supersingular primes, see https://oeis.org/A002267, appear in the theory of the moduli of abelian surfaces. This short expository note explains why.


title: Combining Weighted Total Variation and Deep Image Prior for natural and medical image restoration via ADMM

abstract: In the last decades, unsupervised deep learning based methods have caught researchers attention, since in many real applications, such as medical imaging, collecting a great amount of training examples is not always feasible. Moreover, the construction of a good training set is time consuming and hard because the selected data have to be enough representative for the task. In this paper, we focus on the Deep Image Prior (DIP) framework and we propose to combine it with a space-variant Total Variation regularizer with an automatic estimation of the local regularization parameters. Differently from other existing approaches, we solve the arising minimization problem via the flexible Alternating Direction Method of Multipliers (ADMM). Furthermore, we provide a specific implementation also for the standard isotropic Total Variation. The promising performances of the proposed approach, in terms of PSNR and SSIM values, are addressed through several experiments on simulated as well as real natural and medical corrupted images.


title: Writhe-like invariants of alternating links

abstract: It is known that the writhe calculated from any reduced alternating link diagram of the same (alternating) link has the same value. That is, it is a link invariant if we restrict ourselves to reduced alternating link diagrams. This is due to the fact that reduced alternating link diagrams of the same link are obtainable from each other via flypes and flypes do not change writhe. In this paper, we introduce several quantities that are derived from Seifert graphs of reduced alternating link diagrams. We prove that they are "writhe-like" invariants in the sense that they are also link invariants among reduced alternating link diagrams. The determination of these invariants are elementary and non-recursive so they are easy to calculate. We demonstrate that many different alternating links can be easily distinguished by these new invariants, even for large, complicated knots for which other invariants such as the Jones polynomial are hard to compute. As an application, we also derive an if and only if condition for a strongly invertible rational link.


title: Multi-Pass Transformer for Machine Translation

abstract: In contrast with previous approaches where information flows only towards deeper layers of a stack, we consider a multi-pass transformer (MPT) architecture in which earlier layers are allowed to process information in light of the output of later layers. To maintain a directed acyclic graph structure, the encoder stack of a transformer is repeated along a new multi-pass dimension, keeping the parameters tied, and information is allowed to proceed unidirectionally both towards deeper layers within an encoder stack and towards any layer of subsequent stacks. We consider both soft (i.e., continuous) and hard (i.e., discrete) connections between parallel encoder stacks, relying on a neural architecture search to find the best connection pattern in the hard case. We perform an extensive ablation study of the proposed MPT architecture and compare it with other state-of-the-art transformer architectures. Surprisingly, Base Transformer equipped with MPT can surpass the performance of Large Transformer on the challenging machine translation En-De and En-Fr datasets. In the hard connection case, the optimal connection pattern found for En-De also leads to improved performance for En-Fr.


title: Emergent universality in critical quantum spin chains: entanglement Virasoro algebra

abstract: Entanglement entropy and entanglement spectrum have been widely used to characterize quantum entanglement in extended many-body systems. Given a pure state of the system and a division into regions $A$ and $B$, they can be obtained in terms of the $Schmidt~ values$, or eigenvalues $\lambda_{\alpha}$ of the reduced density matrix $\rho_A$ for region $A$. In this paper we draw attention instead to the $Schmidt~ vectors$, or eigenvectors $|v_{\alpha}\rangle$ of $\rho_A$. We consider the ground state of critical quantum spin chains whose low energy/long distance physics is described by an emergent conformal field theory (CFT). We show that the Schmidt vectors $|v_{\alpha}\rangle$ display an emergent universal structure, corresponding to a realization of the Virasoro algebra of a boundary CFT (a chiral version of the original CFT). Indeed, we build weighted sums $H_n$ of the lattice Hamiltonian density $h_{j,j+1}$ over region $A$ and show that the matrix elements $\langle v_{\alpha}H_n |v_{\alpha'}\rangle$ are universal, up to finite-size corrections. More concretely, these matrix elements are given by an analogous expression for $H_n^{\tiny \text{CFT}} = \frac 1 2 (L_n + L_{-n})$ in the boundary CFT, where $L_n$'s are (one copy of) the Virasoro generators. We numerically confirm our results using the critical Ising quantum spin chain and other (free-fermion equivalent) models.


title: Contact interaction analysis of pion GTMDs

abstract: A contact interaction is used to calculate an array of pion twist-two, -three and -four generalised transverse light-front momentum dependent parton distribution functions (GTMDs). Despite the interaction's simplicity, many of the results are physically relevant, amongst them a statement that GTMD size and shape are largely prescribed by the scale of emergent hadronic mass. Moreover, proceeding from GTMDs to generalised parton distributions (GPDs), it is found that the pion's mass distribution form factor is harder than its electromagnetic form factor, which is harder than the gravitational pressure distribution form factor; the pressure in the neighbourhood of the pion's core is commensurate with that at the centre of a neutron star; the shear pressure is maximal when confinement forces become dominant within the pion; and the spatial distribution of transversely polarised quarks within the pion is asymmetric. Regarding transverse momentum dependent distribution functions (TMDs), their magnitude and domain of support decrease with increasing twist. The simplest Wigner distribution associated with the pion's twist-two dressed-quark GTMD is sharply peaked on the kinematic domain associated with valence-quark dominance; has a domain of negative support; and broadens as the transverse position variable increases in magnitude.


title: A Review of the Anomalies in Directed Energy Deposition (DED) Processes and Potential Solutions

abstract: Directed Energy Deposition (DED) processes offer one of the most versatile current techniques to additively manufacture and repair metallic components that have generatively designed complex geometries, and with compositional control. When compared to powder bed fusion (PBF), its applicability and adoption has been limited because several issues innate to the process are yet to be suitably understood and resolved. This work catalogs and delineates these issues and anomalies in the DED process along with their causes and solutions, based on a state-of-the-art literature review. This work also serves to enumerate and associate the underlying causes to the detrimental effects which manifest as undesirable part/process outcomes. These DED-specific anomalies are categorized under groups related to the part, process, material, productivity, safety, repair, and functional gradients. Altogether, this primer acts as a guide to best prepare for and mitigate the problems that are encountered in DED, and also to lay the groundwork to inspire novel solutions to further advance DED into mainstream manufacturing.


title: Optimal Minimax Mobile Sensor Scheduling Over a Network

abstract: We investigate the problem of monitoring multiple targets using a single mobile sensor, with the goal of minimizing the maximum estimation error among all the targets over long time horizons. The sensor can move in a network-constrained structure, where it has to plan which targets to visit and for how long to dwell at each node. We prove that in an optimal observation time allocation, the peak uncertainty is the same among all the targets. By further restricting the agent policy to only visit each target once every cycle, we develop a scheme to optimize the agent's behavior that is significantly simpler computationally when compared to previous approaches for similar problems.


title: Existence of invariant volumes in nonholonomic systems subject to nonlinear constraints

abstract: We derive conditions for a nonholonomic system subject to nonlinear constraints (obeying Chetaev's rule) to preserve a smooth volume form. When applied to affine constraints, these conditions dictate that a basic invariant density exists if and only if a certain 1-form is exact and a certain function vanishes (this function automatically vanishes for linear constraints). Moreover, this result can be extended to geodesic flows for arbitrary metric connections and the sufficient condition manifests as integrability of the torsion. As a consequence, volume-preservation of a nonholonomic system is closely related to the torsion of the nonholonomic connection. Examples of nonlinear/affine/linear constraints are considered.


title: First-Order General-Relativistic Viscous Fluid Dynamics

abstract: We present the first generalization of Navier-Stokes theory to relativity that satisfies all of the following properties: (a) the system coupled to Einstein's equations is causal and strongly hyperbolic; (b) equilibrium states are stable; (c) all leading dissipative contributions are present, i.e., shear viscosity, bulk viscosity, and thermal conductivity; (d) non-zero baryon number is included; (e) entropy production is non-negative in the regime of validity of the theory; (f) all of the above holds in the nonlinear regime without any simplifying symmetry assumptions. These properties are accomplished using a generalization of Eckart's theory containing only the hydrodynamic variables, so that no new extended degrees of freedom are needed as in M\"uller-Israel-Stewart theories. Property (b), in particular, follows from a more general result that we also establish, namely, sufficient conditions that when added to stability in the fluid's rest frame imply stability in any reference frame obtained via a Lorentz transformation. All our results are mathematically rigorously established. The framework presented here provides the starting point for systematic investigations of general-relativistic viscous phenomena in neutron star mergers.


title: Extending High-Level Synthesis for Task-Parallel Programs

abstract: C/C++/OpenCL-based high-level synthesis (HLS) becomes more and more popular for field-programmable gate array (FPGA) accelerators in many application domains in recent years, thanks to its competitive quality of results (QoR) and short development cycles compared with the traditional register-transfer level design approach. Yet, limited by the sequential C semantics, it remains challenging to adopt the same highly productive high-level programming approach in many other application domains, where coarse-grained tasks run in parallel and communicate with each other at a fine-grained level. While current HLS tools do support task-parallel programs, the productivity is greatly limited (1) in the code development cycle due to the poor programmability, (2) in the correctness verification cycle due to restricted software simulation, and (3) in the QoR tuning cycle due to slow code generation. Such limited productivity often defeats the purpose of HLS and hinder programmers from adopting HLS for task-parallel FPGA accelerators. In this paper, we extend the HLS C++ language and present a fully automated framework with programmer-friendly interfaces, unconstrained software simulation, and fast hierarchical code generation to overcome these limitations and demonstrate how task-parallel programs can be productively supported in HLS. Experimental results based on a wide range of real-world task-parallel programs show that, on average, the lines of kernel and host code are reduced by 22% and 51%, respectively, which considerably improves the programmability. The correctness verification and the iterative QoR tuning cycles are both greatly shortened by 3.2x and 6.8x, respectively. Our work is open-source at https://github.com/UCLA-VAST/tapa/.


title: Parameters for the best convergence of an optimization algorithm On-The-Fly

abstract: What really sparked my interest was how certain parameters worked better at executing and optimization algorithm convergence even though the objective formula had no significant differences. Thus the research question stated: 'Which parameters provides an upmost optimal convergence solution of an Objective formula using the on-the-fly method?' This research was done in an experimental concept in which five different algorithms were tested with different objective functions to discover which parameter would result well for the best convergence. To find the correct parameter a method called 'on-the-fly' was applied. I run the experiments with five different optimization algorithms. One of the test runs showed that each parameter has an increasing or decreasing convergence accuracy towards the subjective function depending on which specific optimization algorithm you choose. Each parameter has an increasing or decreasing convergence accuracy toward the subjective function. One of the results in which evolutionary algorithm was applied with only the recombination technique did well at finding the best optimization. As well that some results have an increasing accuracy visualization by combing mutation or several parameters in one test performance. In conclusion, each algorithm has its own set of the parameter that converge differently. Also depending on the target formula that is used. This confirms that the fly method a suitable approach at finding the best parameter. This means manipulations and observe the effects in process to find the right parameter works as long as the learning cost rate decreases over time.


title: Bad and good news for Strassen's laser method: Border rank of the 3x3 permanent and strict submultiplicativity

abstract: We determine the border ranks of tensors that could potentially advance the known upper bound for the exponent $\omega$ of matrix multiplication. The Kronecker square of the small $q=2$ Coppersmith-Winograd tensor equals the $3\times 3$ permanent, and could potentially be used to show $\omega=2$. We prove the negative result for complexity theory that its border rank is $16$, resolving a longstanding problem. Regarding its $q=4$ skew cousin in $ C^5\otimes C^5\otimes C^5$, which could potentially be used to prove $\omega\leq 2.11$, we show the border rank of its Kronecker square is at most $42$, a remarkable sub-multiplicativity result, as the square of its border rank is $64$. We also determine moduli spaces $\underline{VSP}$ for the small Coppersmith-Winograd tensors.


title: Fast and stable randomized low-rank matrix approximation

abstract: Randomized SVD has become an extremely successful approach for efficiently computing a low-rank approximation of matrices. In particular the paper by Halko, Martinsson, and Tropp (SIREV 2011) contains extensive analysis, and has made it a very popular method. The typical complexity for a rank-$r$ approximation of $m\times n$ matrices is $O(mn\log n+(m+n)r^2)$ for dense matrices. The classical Nystr{\"o}m method is much faster, but applicable only to positive semidefinite matrices. This work studies a generalization of Nystr{\"o}m method applicable to general matrices, and shows that (i) it has near-optimal approximation quality comparable to competing methods, (ii) the computational cost is the near-optimal $O(mn\log n+r^3)$ for dense matrices, with small hidden constants, and (iii) crucially, it can be implemented in a numerically stable fashion despite the presence of an ill-conditioned pseudoinverse. Numerical experiments illustrate that generalized Nystr{\"o}m can significantly outperform state-of-the-art methods, especially when $r\gg 1$, achieving up to a 10-fold speedup. The method is also well suited to updating and downdating the matrix.


title: Student Responses to Changes in Introductory Physics Learning due to COVID-19 Pandemic

abstract: As a result of the spread of COVID-19 during spring 2020, many colleges and universities across the US, and beyond, were compelled to move entirely to remote, online instruction, or shut down. Due to the rapidity of this transition, instructors had to significantly -- if not completely -- change their instructional style on very short notice. Our purpose with this paper is to report on student experiences and reactions to the switch to emergency remote learning at two large, land-grant, research intensive universities. We aimed to explore how students have received and dealt with the shift to remote learning that began in March 2020, specifically in introductory physics and astronomy courses. By providing timely student feedback, we hope to help instructors tune their efforts to build a more effective remote learning environment.


title: FluentNet: End-to-End Detection of Speech Disfluency with Deep Learning

abstract: Strong presentation skills are valuable and sought-after in workplace and classroom environments alike. Of the possible improvements to vocal presentations, disfluencies and stutters in particular remain one of the most common and prominent factors of someone's demonstration. Millions of people are affected by stuttering and other speech disfluencies, with the majority of the world having experienced mild stutters while communicating under stressful conditions. While there has been much research in the field of automatic speech recognition and language models, there lacks the sufficient body of work when it comes to disfluency detection and recognition. To this end, we propose an end-to-end deep neural network, FluentNet, capable of detecting a number of different disfluency types. FluentNet consists of a Squeeze-and-Excitation Residual convolutional neural network which facilitate the learning of strong spectral frame-level representations, followed by a set of bidirectional long short-term memory layers that aid in learning effective temporal relationships. Lastly, FluentNet uses an attention mechanism to focus on the important parts of speech to obtain a better performance. We perform a number of different experiments, comparisons, and ablation studies to evaluate our model. Our model achieves state-of-the-art results by outperforming other solutions in the field on the publicly available UCLASS dataset. Additionally, we present LibriStutter: a disfluency dataset based on the public LibriSpeech dataset with synthesized stutters. We also evaluate FluentNet on this dataset, showing the strong performance of our model versus a number of benchmark techniques.


title: Electronic noise of warm electrons in semiconductors from first-principles

abstract: The ab-initio theory of low-field electronic transport properties such as carrier mobility in semiconductors is well-established. However, an equivalent treatment of electronic fluctuations about a non-equilibrium steady state, which are readily probed experimentally, remains less explored. Here, we report a first-principles theory of electronic noise for warm electrons in semiconductors. In contrast with typical numerical methods used for electronic noise, no adjustable parameters are required in the present formalism, with the electronic band structure and scattering rates calculated from first-principles. We demonstrate the utility of our approach by applying it to GaAs and show that spectral features in AC transport properties and noise originate from the disparate time scales of momentum and energy relaxation, despite the dominance of optical phonon scattering. Our formalism enables a parameter-free approach to probe the microscopic transport processes that give rise to electronic noise in semiconductors.


title: Azimuthal eigenmodes at strongly non-degenerate parametric down-conversion

abstract: Quantum-optical technologies based on parametric light down-conversion are not yet applied in the terahertz frequency range. This is owing to the complexity of detecting single photons in the terahertz frequency range and the strong entanglement of modes of optical-terahertz biphotons. This study investigates the angular structure of scattered radiation generated by strongly non-degenerate parametric down-conversion when the frequency of the idler radiation does not exceed several terahertz. We demonstrate that under certain approximations, it is possible to obtain azimuthal eigenmodes for the nonlinear-interaction operator. The solution of the evolution equations for the field operators in these eigenmodes has the form of the Bogolyubov transformation, which allows a scattering matrix to be obtained for arbitrary values of the parametric gain. This scattering matrix describes both the production of biphoton pairs and the generation of intense fluxes of correlated optical-terahertz fields that form a macroscopic quantum state of radiation in two spectral ranges.


title: Detection of Iterative Adversarial Attacks via Counter Attack

abstract: Deep neural networks (DNNs) have proven to be powerful tools for processing unstructured data. However for high-dimensional data, like images, they are inherently vulnerable to adversarial attacks. Small almost invisible perturbations added to the input can be used to fool DNNs. Various attacks, hardening methods and detection methods have been introduced in recent years. Notoriously, Carlini-Wagner (CW) type attacks computed by iterative minimization belong to those that are most difficult to detect. In this work we outline a mathematical proof that the CW attack can be used as a detector itself. That is, under certain assumptions and in the limit of attack iterations this detector provides asymptotically optimal separation of original and attacked images. In numerical experiments, we experimentally validate this statement and furthermore obtain AUROC values up to 99.73% on CIFAR10 and ImageNet. This is in the upper part of the spectrum of current state-of-the-art detection rates for CW attacks.


title: Chemical Interaction and Electronic Structure in a Compositionally Complex Alloy: a Case Study by means of X-ray Absorption and X-ray Photoelectron Spectroscopy

abstract: Chemical interaction and changes in local electronic structure of Cr, Fe, Co, Ni and Cu transition metals (TMs) upon formation of an $Al_{8}Co_{17}Cr_{17}Cu_{8}Fe_{17}Ni_{33}$ compositionally complex alloy (CCA) have been studied by X-ray absorption spectroscopy and X-ray photoelectron spectroscopy. It was found that upon CCA formation, occupancy of the Cr, Co and Ni 3d states changes and the maximum of the occupied and empty Ni 3d states density shifts away from Fermi level ($E_f$) by 0.5 and 0.6 eV, respectively, whereas the Cr 3d empty states maximum shifts towards $E_f$ by 0.3 eV, compared to the corresponding pure metals. The absence of significant charge transfer between the elements was established, pointing to the balancing of the 3d states occupancy change by involvement of delocalized 4s and 4p states into the charge redistribution. Despite the expected formation of strong Al-TMs covalent bonds, the Al role in the transformation of the TMs 3d electronic states is negligible. The work demonstrates a decisive role of Cr in the Ni local electronic structure transformation and suggests formation of directional Ni-Cr bonds with covalent character. These findings can be helpful for tuning deformation properties and phase stability of the CCA.


title: 'Setting things straight' by twisting and bending?

abstract: We explain the origins of the controversy about the classification of the $N_X$ phase observed in cyanobiphenyl dimers and why it is a polar twisted phase, an entirely new kind of nematic.


title: Jacobi Forms of Indefinite Lattice Index

abstract: We define Jacobi forms of indefinite lattice index, and show that they are isomorphic to vector-valued modular forms also in this setting. We also consider several operations of the two types of objects, and obtain an interesting bilinear map between vector-valued modular forms arising from the product operation.


title: High Dimensional Bayesian Network Classification with Network Global-Local Shrinkage Priors

abstract: This article proposes a novel Bayesian classification framework for networks with labeled nodes. While literature on statistical modeling of network data typically involves analysis of a single network, the recent emergence of complex data in several biological applications, including brain imaging studies, presents a need to devise a network classifier for subjects. This article considers an application from a brain connectome study, where the overarching goal is to classify subjects into two separate groups based on their brain network data, along with identifying influential regions of interest (ROIs) (referred to as nodes). Existing approaches either treat all edge weights as a long vector or summarize the network information with a few summary measures. Both these approaches ignore the full network structure, may lead to less desirable inference in small samples and are not designed to identify significant network nodes. We propose a novel binary logistic regression framework with the network as the predictor and a binary response, the network predictor coefficient being modeled using a novel class global-local shrinkage priors. The framework is able to accurately detect nodes and edges in the network influencing the classification. Our framework is implemented using an efficient Markov Chain Monte Carlo algorithm. Theoretically, we show asymptotically optimal classification for the proposed framework when the number of network edges grows faster than the sample size. The framework is empirically validated by extensive simulation studies and analysis of a brain connectome data.


title: Chiral vortical effect for vector fields

abstract: We consider photonic vortical effect, i.e. the difference of the flows of left- and right-handed photons along the vector of angular velocity in rotating photonic medium. Two alternative frameworks to evaluate the effect are considered, both of which have already been tried in the literature. First, the standard thermal fied theory and, alternatively, Hawking-radiation-type derivation. In our earlier attempt to compare the two approaches, we found a crucial factor of two difference. Here we revisit the problem, paying more attention to details of infrared regularizations. We find out that introduction of an infinitesimal mass of the vector field brings the two ways of evaluating the chiral vortical effect into agreement with each other. Some implications, both on the theoretical and phenomenological sides, are mentioned.


title: CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq

abstract: Reinforcement learning algorithms solve sequential decision-making problems in probabilistic environments by optimizing for long-term reward. The desire to use reinforcement learning in safety-critical settings inspires a recent line of work on formally constrained reinforcement learning; however, these methods place the implementation of the learning algorithm in their Trusted Computing Base. The crucial correctness property of these implementations is a guarantee that the learning algorithm converges to an optimal policy. This paper begins the work of closing this gap by developing a Coq formalization of two canonical reinforcement learning algorithms: value and policy iteration for finite state Markov decision processes. The central results are a formalization of Bellman's optimality principle and its proof, which uses a contraction property of Bellman optimality operator to establish that a sequence converges in the infinite horizon limit. The CertRL development exemplifies how the Giry monad and mechanized metric coinduction streamline optimality proofs for reinforcement learning algorithms. The CertRL library provides a general framework for proving properties about Markov decision processes and reinforcement learning algorithms, paving the way for further work on formalization of reinforcement learning algorithms.


title: Balancing simulation and gameplay -- applying game user research to LeukemiaSIM

abstract: A bioinformatics researcher and a game design researcher walk into a lab... This paper shares two case-studies of a collaboration between a bioinformatics researcher who is developing a set of educational VR simulations for youth and a consultative game design researcher with a background in games User Research (GUR) techniques who assesses and iteratively improves the player experience in the simulations. By introducing games-based player engagement strategies, the two researchers improve the (re)playability of these VR simulations to encourage greater player engagement and retention.


title: Rank-Based Multi-task Learning for Fair Regression

abstract: In this work, we develop a novel fairness learning approach for multi-task regression models based on a biased training dataset, using a popular rank-based non-parametric independence test, i.e., Mann Whitney U statistic, for measuring the dependency between target variable and protected variables. To solve this learning problem efficiently, we first reformulate the problem as a new non-convex optimization problem, in which a non-convex constraint is defined based on group-wise ranking functions of individual objects. We then develop an efficient model-training algorithm based on the framework of non-convex alternating direction method of multipliers (NC-ADMM), in which one of the main challenges is to implement an efficient projection oracle to the preceding non-convex set defined based on ranking functions. Through the extensive experiments on both synthetic and real-world datasets, we validated the out-performance of our new approach against several state-of-the-art competitive methods on several popular metrics relevant to fairness learning.


title: Unfairness Discovery and Prevention For Few-Shot Regression

abstract: We study fairness in supervised few-shot meta-learning models that are sensitive to discrimination (or bias) in historical data. A machine learning model trained based on biased data tends to make unfair predictions for users from minority groups. Although this problem has been studied before, existing methods mainly aim to detect and control the dependency effect of the protected variables (e.g. race, gender) on target prediction based on a large amount of training data. These approaches carry two major drawbacks that (1) lacking showing a global cause-effect visualization for all variables; (2) lacking generalization of both accuracy and fairness to unseen tasks. In this work, we first discover discrimination from data using a causal Bayesian knowledge graph which not only demonstrates the dependency of the protected variable on target but also indicates causal effects between all variables. Next, we develop a novel algorithm based on risk difference in order to quantify the discriminatory influence for each protected variable in the graph. Furthermore, to protect prediction from unfairness, a fast-adapted bias-control approach in meta-learning is proposed, which efficiently mitigates statistical disparity for each task and it thus ensures independence of protected attributes on predictions based on biased and few-shot data samples. Distinct from existing meta-learning models, group unfairness of tasks are efficiently reduced by leveraging the mean difference between (un)protected groups for regression problems. Through extensive experiments on both synthetic and real-world data sets, we demonstrate that our proposed unfairness discovery and prevention approaches efficiently detect discrimination and mitigate biases on model output as well as generalize both accuracy and fairness to unseen tasks with a limited amount of training samples.


title: Steering a Historical Disease Forecasting Model Under a Pandemic: Case of Flu and COVID-19

abstract: Forecasting influenza in a timely manner aids health organizations and policymakers in adequate preparation and decision making. However, effective influenza forecasting still remains a challenge despite increasing research interest. It is even more challenging amidst the COVID pandemic, when the influenza-like illness (ILI) counts are affected by various factors such as symptomatic similarities with COVID-19 and shift in healthcare seeking patterns of the general population. Under the current pandemic, historical influenza models carry valuable expertise about the disease dynamics but face difficulties adapting. Therefore, we propose CALI-Net, a neural transfer learning architecture which allows us to 'steer' a historical disease forecasting model to new scenarios where flu and COVID co-exist. Our framework enables this adaptation by automatically learning when it should emphasize learning from COVID-related signals and when it should learn from the historical model. Thus, we exploit representations learned from historical ILI data as well as the limited COVID-related signals. Our experiments demonstrate that our approach is successful in adapting a historical forecasting model to the current pandemic. In addition, we show that success in our primary goal, adaptation, does not sacrifice overall performance as compared with state-of-the-art influenza forecasting approaches.


title: On the weak Lefschetz principle in birational geometry

abstract: This is an expository article written for the Notices of the AMS in which we discuss the weak Lefschetz Principle in birational geometry. Our departing point is the influential work of Solomon Lefschetz started in 1924. Indeed, we look at the original formulation of the Lefschetz hyperplane theorem in algebraic topology and build up to recent developments of it in birational geometry. In doing so, the main theme of the article is the following: there are many scenarios in geometry in which analogous versions of the Lefschetz hyperplane theorem hold. These scenarios are somewhat unexpected and have had a profound impact in mathematics.


title: Bayesian Hierarchical Models for High-Dimensional Mediation Analysis with Coordinated Selection of Correlated Mediators

abstract: We consider Bayesian high-dimensional mediation analysis to identify among a large set of correlated potential mediators the active ones that mediate the effect from an exposure variable to an outcome of interest. Correlations among mediators are commonly observed in modern data analysis; examples include the activated voxels within connected regions in brain image data, regulatory signals driven by gene networks in genome data and correlated exposure data from the same source. When correlations are present among active mediators, mediation analysis that fails to account for such correlation can be sub-optimal and may lead to a loss of power in identifying active mediators. Building upon a recent high-dimensional mediation analysis framework, we propose two Bayesian hierarchical models, one with a Gaussian mixture prior that enables correlated mediator selection and the other with a Potts mixture prior that accounts for the correlation among active mediators in mediation analysis. We develop efficient sampling algorithms for both methods. Various simulations demonstrate that our methods enable effective identification of correlated active mediators, which could be missed by using existing methods that assume prior independence among active mediators. The proposed methods are applied to the LIFECODES birth cohort and the Multi-Ethnic Study of Atherosclerosis (MESA) and identified new active mediators with important biological implications.


title: Bouncing solutions in $f(T)$ gravity

abstract: We consider certain aspects of cosmological dynamics of a spatially curved Universe in $f(T)$ gravity. Local analysis allows us to find conditions for bounces and for static solutions; these conditions appear to be in general less restrictive than in general relativity. We also provide a global analysis of the corresponding cosmological dynamics in the cases when bounces and static configurations exist, by constructing phase diagrams. These diagrams indicate that the fate of a big contracting Universe is not altered significantly when bounces become possible, since they appear to be inaccessible by a sufficiently big Universe.


title: Dynamics of the sub-ambient gelation and shearing of solutions of P3HT incorporated with a non-fullerene acceptor o-IDTBR towards active layer formation in bulk heterojunction organic solar cells

abstract: Organic solar cells (OSCs) containing an active layer consisting of a nanostructured blend of a conjugated polymer like poly(3-hexylthiophene) (P3HT) and an electron acceptor molecule have the potential of competing against silicon-based photovoltaic panels. However, this potential is unfulfilled primarily due to interrelated production and stability issues. The generally employed spin coating process for fabricating organic solar cells cannot be scaled up. Recently, He et al., have reported that the gelation of P3HT with [6,6]-phenyl-C61-butyric acid methyl ester (PC60BM) under sub-ambient conditions can provide a continuous extrusion/coating based route to the processing of organic solar cells and that increases in power conversion efficiencies (PCEs) of the P3HT/PC60BM active layer are possible under certain shearing and thermal histories of the P3HT/PC60BM gels. Here oscillatory and steady torsional flows were used to investigate the gel formation dynamics of P3HT with a recently proposed non-fullerene o-IDTBR under sub-ambient conditions. The gel strengths defined on the basis of linear viscoelastic material functions as determined via small-amplitude oscillatory shear were observed to be functions of the P3HT and o-IDTBR concentrations, the solvent used and the shearing conditions. Overall, the gels which formed upon quenching to sub-zero temperatures were found to be stable during small-amplitude oscillatory shear (linear viscoelastic range) but broke down even at the relatively low shear rates associated with steady torsional flows, suggesting that the shearing conditions used during the processing of gels of P3HT with small molecule acceptor blends can alter the gel structure and possibly affect the resulting active layer performance.


title: Experimental Demonstration of 4,294,967,296-QAM Based Y-00 Quantum Stream Cipher Carrying 160-Gb/s 16-QAM Signals

abstract: We demonstrate a 4,294,967,296-ary quadrature amplitude modulation (QAM) based Y-00 quantum stream cipher system carrying 160-Gb/s 16-QAM signal transmitted over 320-km SSMF. The ultra-dense QAM cipher template is realized by an integrated two-segment silicon photonics I/Q modulator.


title: An elementary approach for minimax estimation of Bernoulli proportion in the restricted parameter space

abstract: We present an elementary mathematical method to find the minimax estimator of the Bernoulli proportion $\theta$ under the squared error loss when $\theta$ belongs to the restricted parameter space of the form $\Omega = [0, \eta]$ for some pre-specified constant $0 \leq \eta \leq 1$. This problem is inspired from the problem of estimating the rate of positive COVID-19 tests. The presented results and applications would be useful materials for both instructors and students when teaching point estimation in statistical or machine learning courses.


title: Interplay of rearrangements, strain, and local structure during avalanche propagation

abstract: Jammed soft disks exhibit avalanches of particle rearrangements under quasistatic shear. We follow the avalanches using steepest descent to decompose them into individual localized rearrangements. We characterize the local structural environment of each particle by a machine-learned quantity, softness, designed to be highly correlated with rearrangements, and analyze the interplay between softness, rearrangements and strain. Our findings form the foundation of an augmented elastoplastic model that includes local structure.


title: Optical and Near-Infrared Observations of the Nearby Type Ia Supernova 2017cbv

abstract: Supernova (SN) 2017cbv in NGC 5643 is one of a handful of type Ia supernovae (SNe~Ia) reported to have excess blue emission at early times. This paper presents extensive $BVRIYJHK_s$-band light curves of SN 2017cbv, covering the phase from $-16$ to $+125$ days relative to $B$-band maximum light. SN 2017cbv reached a $B$-band maximum of 11.710$\pm$0.006~mag, with a post-maximum magnitude decline $\Delta m_{15}(B)$=0.990$\pm$0.013 mag. The supernova suffered no host reddening based on Phillips intrinsic color, Lira-Phillips relation, and the CMAGIC diagram. By employing the CMAGIC distance modulus $\mu=30.58\pm0.05$~mag and assuming $H_0$=72~$\rm km \ s^{-1} \ Mpc^{-1}$, we found that 0.73~\msun $^{56}$Ni was synthesized during the explosion of SN 2017cbv, which is consistent with estimates using reddening-free and distance-free methods via the phases of the secondary maximum of the NIR-band light curves. We also present 14 near-infrared spectra from $-18$ to $+49$~days relative to the $B$-band maximum light, providing constraints on the amount of swept-up hydrogen from the companion star in the context of the single degenerate progenitor scenario. No $Pa{\beta}$ emission feature was detected from our post-maximum NIR spectra, placing a hydrogen mass upper limit of 0.1 $M_{\odot}$. The overall optical/NIR photometric and NIR spectral evolution of SN 2017cbv is similar to that of a normal SN~Ia, even though its early evolution is marked by a flux excess no seen in most other well-observed normal SNe~Ia. We also compare the exquisite light curves of SN 2017cbv with some $M_{ch}$ DDT models and sub-$M_{ch}$ double detonation models.


title: Enhancing Mixup-based Semi-Supervised Learning with Explicit Lipschitz Regularization

abstract: The success of deep learning relies on the availability of large-scale annotated data sets, the acquisition of which can be costly, requiring expert domain knowledge. Semi-supervised learning (SSL) mitigates this challenge by exploiting the behavior of the neural function on large unlabeled data. The smoothness of the neural function is a commonly used assumption exploited in SSL. A successful example is the adoption of mixup strategy in SSL that enforces the global smoothness of the neural function by encouraging it to behave linearly when interpolating between training examples. Despite its empirical success, however, the theoretical underpinning of how mixup regularizes the neural function has not been fully understood. In this paper, we offer a theoretically substantiated proposition that mixup improves the smoothness of the neural function by bounding the Lipschitz constant of the gradient function of the neural networks. We then propose that this can be strengthened by simultaneously constraining the Lipschitz constant of the neural function itself through adversarial Lipschitz regularization, encouraging the neural function to behave linearly while also constraining the slope of this linear function. On three benchmark data sets and one real-world biomedical data set, we demonstrate that this combined regularization results in improved generalization performance of SSL when learning from a small amount of labeled data. We further demonstrate the robustness of the presented method against single-step adversarial attacks. Our code is available at https://github.com/Prasanna1991/Mixup-LR.


title: A state-averaged orbital-optimized hybrid quantum-classical algorithm for a democratic description of ground and excited states

abstract: In the Noisy Intermediate-Scale Quantum (NISQ) era, solving the electronic structure problem from chemistry is considered as the "killer application" for near-term quantum devices. In spite of the success of variational hybrid quantum/classical algorithms in providing accurate energy profiles for small molecules, careful considerations are still required for the description of complicated features of potential energy surfaces. Because the current quantum resources are very limited, it is common to focus on a restricted part of the Hilbert space (determined by the set of active orbitals). While physically motivated, this approximation can severely impact the description of these complicated features. A perfect example is that of conical intersections (i.e. a singular point of degeneracy between electronic states), which are of primary importance to understand many prominent reactions. Designing active spaces so that the improved accuracy from a quantum computer is not rendered useless is key to finding useful applications of these promising devices within the field of chemistry. To answer this issue, we introduce a NISQ-friendly method called "State-Averaged Orbital-Optimized Variational Quantum Eigensolver" (SA-OO-VQE) which combines two algorithms: (1) a state-averaged orbital-optimizer, and (2) a state-averaged VQE. To demonstrate the success of the method, we classically simulate it on a minimal Schiff base model (namely the formaldimine molecule CH2NH) relevant also for the photoisomerization in rhodopsin -- a crucial step in the process of vision mediated by the presence of a conical intersection. We show that merging both algorithms fulfil the necessary condition to describe the molecule's conical intersection, i.e. the ability to treat degenerate (or quasi-degenerate) states on the same footing.


title: The dynamics of the broad-line region in NGC 3227

abstract: Archival Hubble Space Telescope (HST) observations of the Seyfert 1 nucleus of NGC 3227 obtained with the Space Telescope Imaging Spectrograph (STIS) are re-examined in order to constrain a viable photoionization model for the broad-line region (BLR). The results imply that the BLR is a partially ionized, dust-free, spherical shell that is collapsing, supersonically, at the free-fall velocity due to its proximity to a supermassive black hole. The BLR is ionization bounded at the outer radius, coincident with the dust reverberation radius, and transforms into an X-ray emitting plasma inside the Balmer reverberation radius as the central UV--X-ray source is approached. Only 40 M_Sun of Hydrogen are required to explain the Balmer emission line luminosity, but it is compressed by gravity into a column measuring 5.5 x 10^24 atoms/cm^2. Assuming radiatively inefficient accretion, the X-ray luminosity requires ~ 10^-2 M_sun/yr. However, the mass inflow rate required to explain the luminosity of the broad H-alpha emission line is ~1 M_sun/yr. The very large disparity between these two estimates indicates that 99% of the inflowing gas must be re-directed into an outflow, and on a very short timescale corresponding to ~40 years. Alternatively, the radiative efficiency of the inflow has been overestimated, or the X-ray luminosity has been underestimated; a distinct possibility if the BLR is indeed Compton thick.


title: Higher-order Weyl superconductors with anisotropic Weyl-point connectivity

abstract: Weyl superconductors feature Weyl points at zero energy in the three-dimensional (3D) Brillouin zone and arc states that connect the projections of these Weyl points on the surface. We report that higher-order Weyl superconductors can be realized in odd-parity topological superconductors with time-reversal symmetry being broken by periodic driving. Different from conventional Weyl points, the higher-order Weyl points in the bulk separate 2D first- and second-order topological phases, while on the surface, their projections are connected not only by conventional surface Majorana arcs, but also by hinge Majorana arcs. We show that the Weyl-point connectivity via Majorana arcs is largely enriched by the underlying higher-order topology and becomes anisotropic with respect to surface orientations. We identify the anisotropic Weyl-point connectivity as a characteristic feature of higher-order Weyl materials. As each 2D subsystem can be singled out by fixing the periodic driving, we propose how the Majorana zero modes in the 2D higher-order topological phases can be detected and manipulated in experiments.


title: Effect of the reaction medium on hydrolysis of sodium borohydride

abstract: In this study, the effect of the reaction medium on the initial hydrogen decomposition of the sodium borohydride (SBH) hydrolysis reaction in the presence of the Co catalyst surface has been theoretically investigated using the Castep package program bottomed on DFT. The aim of the research is to distinguish the catalytic effects of fcc cobalt surfaces on the decomposition of hydrogen from SBH and to identify the effects of the environments made by the hydrolysis of H2O at the most efficient the surface on H decomposition. Therefore, the common surface types of the face-centered cobalt crystal were used to determine the effect of fcc surface structure on H extrication from SBH and H2O extrication. The activation energies required for H extrication from SBH on the catalyst surface with the lowest activation barrier were determined for each possible reaction medium containing different density of chemical species. According to our results, the value of activation energy increases as the ratio of OH radicals increases.


title: Massive photon and fermion mixing as manifestations of an extra discrete dimension in bilayer systems

abstract: Discrete dimension is introduced via an extended Dirac operator to include the interlayer interactions in a geometric framework of generic $d+1$-dimensional bilayer systems. The photon and its Kaluza-Klein partners in this extended space-time will involve a pair of vector fields together with a scalar field, which describes a pair of local jumping between the layers. The quartic potential of the scalar field triggers an abelian Higgs mechanism, which gives a mass to one vector field, which describes a short-range interaction. The discrete derivative along the extra dimension generates a non-diagonal mass matrix, whose eigenstates mix the fermions on two layers with a mixing angle. The couplings of the Kaluza-Klein siblings of photon including massless, massive, and scalar ones with the mass eigenstates of fermions will also depend on the mixing angle. Thus interlayer interactions in bilayer systems are manifested elegantly by these new features via the extra discrete dimension. In specific cases, the short-range force, weak and strong coupling regimes of the fermions with different masses can lead to new physical consequences to be discovered in different realistic $2+1$ and $3+1$-dimensional bilayer systems.


title: An Online and Nonuniform Timeslicing Method for Network Visualisation

abstract: Visual analysis of temporal networks comprises an effective way to understand the network dynamics, facilitating the identification of patterns, anomalies, and other network properties, thus resulting in fast decision making. The amount of data in real-world networks, however, may result in a layout with high visual clutter due to edge overlapping. This is particularly relevant in the so-called streaming networks, in which edges are continuously arriving (online) and in non-stationary distribution. All three network dimensions, namely node, edge, and time, can be manipulated to reduce such clutter and improve readability. This paper presents an online and nonuniform timeslicing method, thus considering the underlying network structure and addressing streaming network analyses. We conducted experiments using two real-world networks to compare our method against uniform and nonuniform timeslicing strategies. The results show that our method automatically selects timeslices that effectively reduce visual clutter in periods with bursts of events. As a consequence, decision making based on the identification of global temporal patterns becomes faster and more reliable.


title: Task-Oriented Dialogue as Dataflow Synthesis

abstract: We describe an approach to task-oriented dialogue in which dialogue state is represented as a dataflow graph. A dialogue agent maps each user utterance to a program that extends this graph. Programs include metacomputation operators for reference and revision that reuse dataflow fragments from previous turns. Our graph-based state enables the expression and manipulation of complex user intents, and explicit metacomputation makes these intents easier for learned models to predict. We introduce a new dataset, SMCalFlow, featuring complex dialogues about events, weather, places, and people. Experiments show that dataflow graphs and metacomputation substantially improve representability and predictability in these natural dialogues. Additional experiments on the MultiWOZ dataset show that our dataflow representation enables an otherwise off-the-shelf sequence-to-sequence model to match the best existing task-specific state tracking model. The SMCalFlow dataset and code for replicating experiments are available at https://www.microsoft.com/en-us/research/project/dataflow-based-dialogue-semantic-machines.


title: Na\"ive Infinitesimal Analysis: Its Construction and Its Properties

abstract: This paper aims to build a new understanding of the nonstandard mathematical analysis. The main contribution of this paper is the construction of a new set of numbers, $\mathbb{R}^{\mathbb{Z}_< }$, which includes infinities and infinitesimals. The construction of this new set is done na\"ively in the sense that it does not require any heavy mathematical machinery, and so it will be much less problematic in a long term. Despite its na\"ivety character, the set $\mathbb{R}^{\mathbb{Z}_< }$ is still a robust and rewarding set to work in. We further develop some analysis and topological properties of it, where not only we recover most of the basic theories that we have classically, but we also introduce some new enthralling notions in them. The computability issue of this set is also explored. The works presented here can be seen as a contribution to bridge constructive analysis and nonstandard analysis, which has been extensively (and intensively) discussed in the past few years.


title: FTN: Foreground-Guided Texture-Focused Person Re-Identification

abstract: Person re-identification (Re-ID) is a challenging task as persons are often in different backgrounds. Most recent Re-ID methods treat the foreground and background information equally for person discriminative learning, but can easily lead to potential false alarm problems when different persons are in similar backgrounds or the same person is in different backgrounds. In this paper, we propose a Foreground-Guided Texture-Focused Network (FTN) for Re-ID, which can weaken the representation of unrelated background and highlight the attributes person-related in an end-to-end manner. FTN consists of a semantic encoder (S-Enc) and a compact foreground attention module (CFA) for Re-ID task, and a texture-focused decoder (TF-Dec) for reconstruction task. Particularly, we build a foreground-guided semi-supervised learning strategy for TF-Dec because the reconstructed ground-truths are only the inputs of FTN weighted by the Gaussian mask and the attention mask generated by CFA. Moreover, a new gradient loss is introduced to encourage the network to mine the texture consistency between the inputs and the reconstructed outputs. Our FTN is computationally efficient and extensive experiments on three commonly used datasets Market1501, CUHK03 and MSMT17 demonstrate that the proposed method performs favorably against the state-of-the-art methods.


title: A Research Review on Detection and Classification of Power Quality Disturbances caused by Integration of Renewable Energy Sources

abstract: With the increased interest in integrating renewable energy sources (RES) such as wind power and solar into the power systems owing to their zero greenhouse gas emissions and the involvement of power converters for integration in grid, the detection, classification and mitigation of power quality events has become indispensable. For employing an appropriate mitigation technique, it is a pre-requisite to correctly classify the various types of disturbances in power quality. This paper, therefore, presents a detailed research reviews on detection and classification of power quality disturbances caused by the integration of renewable energy sources and associated works present in literature till date. Attempts are also made to highlight the current and future issues involved in the detection, classification and mitigation of PQ disturbances. Best efforts have been made to make this paper serve as a full-fledged reference for the future work in this field. A list of 230 research publications on the subject is also appended for quick reference.


title: Giant strain gradient elasticity in SrTiO3 membranes: bending versus stretching

abstract: Young's modulus determines the mechanical loads required to elastically stretch a material, and also, the loads required to bend it, given that bending stretches one surface while compressing the opposite one. Flexoelectric materials have the additional property of becoming electrically polarized when bent. While numerous studies have characterized this flexoelectric coupling, its impact on the mechanical response, due to the energy cost of polarization upon bending, is largely unexplored. This intriguing contribution of strain gradient elasticity is expected to become visible at small length scales where strain gradients are geometrically enhanced, especially in high permittivity insulators. Here we present nano-mechanical measurements of freely suspended SrTiO3 membrane drumheads. We observe a striking non-monotonic thickness dependence of Young's modulus upon small deflections. Furthermore, the modulus inferred from a predominantly bending deformation is three times larger than that of a predominantly stretching deformation for membranes thinner than 20 nm. In this regime we extract a giant strain gradient elastic coupling of ~2.2e-6 N, which could be used in new operational regimes of nano-electro-mechanics.


title: Generalized Score Matching for General Domains

abstract: Estimation of density functions supported on general domains arises when the data is naturally restricted to a proper subset of the real space. This problem is complicated by typically intractable normalizing constants. Score matching provides a powerful tool for estimating densities with such intractable normalizing constants, but as originally proposed is limited to densities on $\mathbb{R}^m$ and $\mathbb{R}_+^m$. In this paper, we offer a natural generalization of score matching that accommodates densities supported on a very general class of domains. We apply the framework to truncated graphical and pairwise interaction models, and provide theoretical guarantees for the resulting estimators. We also generalize a recently proposed method from bounded to unbounded domains, and empirically demonstrate the advantages of our method.


title: Automatic identification of fossils and abiotic grains during carbonate microfacies analysis using deep convolutional neural networks

abstract: Petrographic analysis based on microfacies identification in thin sections is widely used in sedimentary environment interpretation and paleoecological reconstruction. Fossil recognition from microfacies is an essential procedure for petrographers to complete this task. Distinguishing the morphological and microstructural diversity of skeletal fragments requires extensive prior knowledge of fossil morphotypes in microfacies and long training sessions under the microscope. This requirement engenders certain challenges for sedimentologists and paleontologists, especially novices. However, a machine classifier can help address this challenge. In this study, we collected a microfacies image dataset comprising both public data from 1,149 references and our own materials (including 30,815 images of 22 fossil and abiotic grain groups). We employed a high-performance workstation to implement four classic deep convolutional neural networks (DCNNs), which have proven to be highly efficient in computer vision over the last several years. Our framework uses a transfer learning technique, which reuses the pre-trained parameters that are trained on a larger ImageNet dataset as initialization for the network to achieve high accuracy with low computing costs. We obtained up to 95% of the top one and 99% of the top three test accuracies in the Inception ResNet v2 architecture. The machine classifier exhibited 0.99 precision on minerals, such as dolomite and pyrite. Although it had some difficulty on samples having similar morphologies, such as the bivalve, brachiopod, and ostracod, it nevertheless obtained 0.88 precision. Our machine learning framework demonstrated high accuracy with reproducibility and bias avoidance that was comparable to those of human classifiers. Its application can thus eliminate much of the tedious, manually intensive efforts by human experts conducting routine identification.


title: Generalized stepping stone model with $\Xi$-resampling mechanism

abstract: A generalized stepping stone model with $\Xi$-resampling mechanism is a two dimensional probability-measure-valued stochastic process whose moment dual is similar to that of the classical stepping stone model except that Kingman's coalescent is replaced by $\Xi$-coalescent. We prove the existence of such a process by specifying its moments using the dual function-valued $\Xi$-coalescent process with geographical labels and migration, and then verifying a multidimensional Hausdorff moment problem. We also characterize the stationary distribution of the generalized stepping stone model and show that it is not reversible if the mutation operator is of uniform jump-type.


title: On the Betti Numbers of Finite Volume Hyperbolic Manifolds

abstract: We obtain strong upper bounds for the Betti numbers of compact complex-hyperbolic manifolds. We use the unitary holonomy to improve the results given by the most direct application of the techniques of [DS17]. We also provide effective upper bounds for Betti numbers of compact quaternionic- and Cayley-hyperbolic manifolds in most degrees. More importantly, we extend our techniques to complete finite volume real- and complex-hyperbolic manifolds. In this setting, we develop new monotonicity inequalities for strongly harmonic forms on hyperbolic cusps and employ a new peaking argument to estimate $L^2$-cohomology ranks. Finally, we provide bounds on the de Rham cohomology of such spaces, using a combination of our bounds on $L^2$-cohomology, bounds on the number of cusps in terms of the volume, and the topological interpretation of reduced $L^2$-cohomology on certain rank one locally symmetric spaces.


title: Fractional antiferromagnetic skyrmion lattice induced by anisotropic couplings

abstract: Magnetic skyrmions are topological solitons with a nanoscale winding spin texture that hold promise for spintronics applications. Until now, skyrmions have been observed in a variety of magnets that exhibit nearly parallel alignment for the neighbouring spins, but theoretically, skyrmions with anti-parallel neighbouring spins are also possible. The latter, antiferromagnetic skyrmions, may allow more flexible control compared to the conventional ferromagnetic skyrmions. Here, by combining neutron scattering and Monte Carlo simulations, we show that a fractional antiferromagnetic skyrmion lattice with an incipient meron character is stabilized in MnSc$_2$S$_4$ through anisotropic couplings. Our work demonstrates that the theoretically proposed antiferromagnetic skyrmions can be stabilized in real materials and represents an important step towards implementing the antiferromagnetic-skyrmion based spintronic devices.


title: Unifying data for fine-grained visual species classification

abstract: Wildlife monitoring is crucial to nature conservation and has been done by manual observations from motion-triggered camera traps deployed in the field. Widespread adoption of such in-situ sensors has resulted in unprecedented data volumes being collected over the last decade. A significant challenge exists to process and reliably identify what is in these images efficiently. Advances in computer vision are poised to provide effective solutions with custom AI models built to automatically identify images of interest and label the species in them. Here we outline the data unification effort for the Wildlife Insights platform from various conservation partners, and the challenges involved. Then we present an initial deep convolutional neural network model, trained on 2.9M images across 465 fine-grained species, with a goal to reduce the load on human experts to classify species in images manually. The long-term goal is to enable scientists to make conservation recommendations from near real-time analysis of species abundance and population health.


title: A Silicon Beam Tracker

abstract: When testing and calibrating particle detectors in a test beam, accurate tracking information independent of the detector being tested is extremely useful during the offline analysis of the data. A general-purpose Silicon Beam Tracker (SBT) was constructed with an active area of 32.0 x 32.0 mm2 to provide this capability for the beam calibration of the Cosmic Ray Energetics And Mass (CREAM) calorimeter. The tracker consists of two modules, each comprised of two orthogonal layers of 380 {\mu}m thick silicon strip sensors. In one module each layer is a 64-channel AC-coupled single-sided silicon strip detector (SSD) with a 0.5 mm pitch. In the other, each layer is a 32-channel DC-coupled single-sided SSD with a 1.0 mm pitch. The signals from the 4 layers are read out using modified CREAM hodoscope front-end electronics with a USB 2.0 interface board to a Linux DAQ PC. In this paper, we present the construction of the SBT, along with its performance in radioactive source tests and in a CERN beam test in October 2006.


title: Dynamic Approximate Maximum Independent Set on Massive Graphs

abstract: Computing a maximum independent set (MaxIS) is a fundamental NP-hard problem in graph theory, which has important applications in a wide spectrum of fields. Since graphs in many applications are changing frequently over time, the problem of maintaining a MaxIS over dynamic graphs has attracted increasing attention over the past few years. Due to the intractability of maintaining an exact MaxIS, this paper aims to develop efficient algorithms that can maintain an approximate MaxIS with an accuracy guarantee theoretically. In particular, we propose a framework that maintains a $(\frac{\Delta}{2} + 1)$-approximate MaxIS over dynamic graphs and prove that it achieves a constant approximation ratio in many real-world networks. To the best of our knowledge, this is the first non-trivial approximability result for the dynamic MaxIS problem. Following the framework, we implement an efficient linear-time dynamic algorithm and a more effective dynamic algorithm with near-linear expected time complexity. Our thorough experiments over real and synthetic graphs demonstrate the effectiveness and efficiency of the proposed algorithms, especially when the graph is highly dynamic.