title: The Design and Simulation of Biomimetic Fish Robot for Aquatic Creature Study

abstract: In the application of underwater creature study, comparing with propeller-powered ROVs and servo motor actuated robotic fish, novel biomimetic fish robot designs with soft actuation structure could interact with aquatic creatures closely and record authentic habitats and behaviours. This final project report presents the detailed design process of a hydraulic soft actuator powered robotic fish for aquatic creature study capable of swimming along the 3D trajectory. The robotic fish is designed based on the analysis of the pro and cons of existing designs. Except for the mechanical and electronic designs and manufacturing method of crucial components, a simplified open-loop control algorithm was designed to check the functionality of the application board and microcontroller in the Proteus simulation environment. As the key component of the robotic fish, Finite Element Method (FEM) simulations were conducted to visualise the soft actuator's deformation under different pressure to validate the design. Computational Fluid Dynamics (CFD) simulations were also conducted to improve the hydrodynamic efficiency of the shape of robotic fish. Although physical manufacturing is impossible due to the pandemic, the simulations show overall good performance in terms of control, actuation, and hydrodynamic efficiency.


title: Solving the Families In the Wild Kinship Verification Challenge by Program Synthesis

abstract: Kinship verification is the task of determining whether a parent-child, sibling, or grandparent-grandchild relationship exists between two people and is important in social media applications, forensic investigations, finding missing children, and reuniting families. We demonstrate high quality kinship verification by participating in the 2021 Recognizing Families in the Wild challenge which provides the largest publicly available dataset in the field. Our approach is among the top 3 winning entries in the competition. We ensemble models written by both human experts and a foundation model, OpenAI Codex, trained on text and code. We use Codex to generate model variants, and also demonstrate its ability to generate entire running programs for kinship verification tasks of specific relationships.


title: New Tsallis holographic dark energy with apparent horizon as IR-cutoff in non-flat Universe

abstract: New Tsallis holographic dark energy with apparent horizon as IR-cutoff studied by considering non-flat Friedmann-Lemaitre-Robertson-Walker metric. The accelerating expansion phase of the Universe is described by using deceleration parameter, equation of state parameter and density parameter by using different values of NTHDE parameter "$\delta$". The NTHDE Universe's transition from a decelerated to an accelerated expanding phase is described by the smooth graph of deceleration parameter. Depending on distinct values of Tsallis parameter "$\delta$", we have explored the quintessence behavior of the equation of state parameter. We used Hubble data sets obtained using Cosmic Chronometric methods and distance modulus measurement of Type Ia Supernova to fit the NTHDE parameters. Stability of our model by analyzing the squared speed of sound investigated as well.


title: Lossy Compression with Universal Distortion

abstract: We consider a novel variant of $d$-semifaithful lossy coding in which the distortion measure is revealed only to the encoder and only at run-time, as well as an extension of it in which the distortion constraint $d$ is also revealed at run-time. Two forms of rate redundancy are used to analyze the performance, and achievability results of both a pointwise and minimax nature are demonstrated. The first coding scheme uses ideas from VC dimension and growth functions, the second uses appropriate quantization of the space of distortion measures, and the third relies on a random coding argument.


title: The Gelfand-Tsetlin basis for infinite-dimensional representations of $gl_n(\mathbb{C})$

abstract: We consider the problem of determination of the Gelfand-Tsetlin basis for unitary principal series representations of the Lie algebra $gl_n(\mathbb{C})$. The Gelfand-Tsetlin basis for an infinite-dimensional representation can be defined as the basis of common eigenfunctions of corner quantum minors of the corresponding L-operator. The construction is based on the induction with respect to the rank of the algebra: an element of the basis for $gl_n(\mathbb{C})$ is expressed in terms of a Mellin-Barnes type integral of an element of the basis for $gl_{n-1}(\mathbb{C})$. The integration variables are the parameters (in other words, the quantum numbers) setting the eigenfunction. Explicit results are obtained for ranks $3$ and $4$, and the orthogonality of constructed sets of basis elements is demonstrated. For $gl_3(\mathbb{C})$ the kernel of the integral is expressed in terms of gamma-functions of the parameters of eigenfunctions, and in the case of $gl_4(\mathbb{C})$ -- in terms of a hypergeometric function of the complex field at unity. The formulas presented for an arbitrary rank make it possible to obtain the system of finite-difference equations for the kernel. They include expressions for the quantum minors of $gl_n(\mathbb{C})$ L-operator via the minors of $gl_{n-1}(\mathbb{C})$ L-operator for the principal series representations, as well as formulas for action of some non-corner minors on the eigenfunctions of corner ones. The latter hold for any representation of $gl_n(\mathbb{C})$ (not only principal series) in which the corner minors of the L-operator can be diagonalized.


title: Stability and Efficiency of Random Serial Dictatorship

abstract: This paper establishes non-asymptotic convergence of the cutoffs in Random serial dictatorship in an environment with many students, many schools, and arbitrary student preferences. Convergence is shown to hold when the number of schools, $m$, and the number of students, $n$, satisfy the relation $m \ln m \ll n$, and we provide an example showing that this result is sharp. We differ significantly from prior work in the mechanism design literature in our use of analytic tools from randomized algorithms and discrete probability, which allow us to show concentration of the RSD lottery probabilities and cutoffs even against adversarial student preferences.


title: Generalized entropy production in collisionless plasma flows and turbulence

abstract: Collisionless plasmas exhibit nonthermal particle distributions after being energized; as a consequence, they enter a state of low Boltzmann-Gibbs (BG) entropy relative to the thermal state. The Vlasov equations predict that in a collisionless plasma with closed boundaries, BG entropy is formally conserved, along with an infinite set of Casimir invariants; this provides a seemingly strong constraint that may explain how plasmas maintain low entropy. Nevertheless, it is commonly believed that entropy production is enabled by phase mixing or nonlinear entropy cascades. The question of whether such anomalous entropy production occurs, and of how to characterize it quantitatively, is a fundamental problem in plasma physics. We construct a new theoretical framework for characterizing entropy production (in a generalized sense) based on ideally conserved dimensional quantities derived from the Casimir invariants; these are referred to as ``Casimir momenta'' and they generalize BG entropy. The growth of Casimir momenta relative to the average particle momentum indicates entropy production. We apply this framework to quantify entropy production in particle-in-cell simulations of laminar flows and turbulent flows driven in relativistic plasma, where efficient nonthermal particle acceleration is enabled. We demonstrate that a large amount of anomalous entropy is produced by turbulence despite nonthermal features. These results have implications for reduced modeling of nonthermal particle acceleration and for diagnosing irreversible dissipation in collisionless plasmas such as the solar wind and Earth's magnetosphere. Dimensional representations of generalized entropy analogous to Casimir momenta may be useful for other problems in statistical physics.


title: Dynamics of pearling instability in polymersomes: the role of shear membraneviscosity and spontaneous curvature

abstract: The stability of copolymer tethers is investigated theoretically. Self-assembly of diblockor triblock copolymers can lead to tubular polymersomes which are known experimentallyto undergo shape instability under thermal, chemical and tension stresses. It leads to aperiodic modulation of the radius which evolves to assembly-line pearls connected by tinytethers. We study the contributions of shear surface viscosity and spontaneous curvatureand their interplay to understand the pearling instability. The performed linear analysisof stability of this cylinder-to-pearls transition shows that such systems are unstable if themembrane tension is larger than a finite critical value contrary to the Rayleigh-Plateau in-stability, an already known or if the spontaneous curvature is in a specific range whichdepends on membrane tension. For the case of spontaneous curvature-induced shape insta-bility, two dynamical modes are identified. The first one is analog to the tension-inducedinstability with a marginal mode. Its wavenumber associated to the most unstable modedecreases continuously to zero as membrane viscosity increases. The unexpected secondone has a finite range of unstable wavenumbers. The wavenumber of the most unstablemode tends to a constant as membrane viscosity increases. In this mode, its growth ratebecomes independent of the bulk viscosity in the limit of high membrane viscosity andbehaves as a pure viscous surface.


title: Comparison of SVD and factorized TDNN approaches for speech to text

abstract: This work concentrates on reducing the RTF and word error rate of a hybrid HMM-DNN. Our baseline system uses an architecture with TDNN and LSTM layers. We find this architecture particularly useful for lightly reverberated environments. However, these models tend to demand more computation than is desirable. In this work, we explore alternate architectures employing singular value decomposition (SVD) is applied to the TDNN layers to reduce the RTF, as well as to the affine transforms of every LSTM cell. We compare this approach with specifying bottleneck layers similar to those introduced by SVD before training. Additionally, we reduced the search space of the decoding graph to make it a better fit to operate in real-time applications. We report -61.57% relative reduction in RTF and almost 1% relative decrease in WER for our architecture trained on Fisher data along with reverberated versions of this dataset in order to match one of our target test distributions.


title: AI Total: Analyzing Security ML Models with Imperfect Data in Production

abstract: Development of new machine learning models is typically done on manually curated data sets, making them unsuitable for evaluating the models' performance during operations, where the evaluation needs to be performed automatically on incoming streams of new data. Unfortunately, pure reliance on a fully automatic pipeline for monitoring model performance makes it difficult to understand if any observed performance issues are due to model performance, pipeline issues, emerging data distribution biases, or some combination of the above. With this in mind, we developed a web-based visualization system that allows the users to quickly gather headline performance numbers while maintaining confidence that the underlying data pipeline is functioning properly. It also enables the users to immediately observe the root cause of an issue when something goes wrong. We introduce a novel way to analyze performance under data issues using a data coverage equalizer. We describe the various modifications and additional plots, filters, and drill-downs that we added on top of the standard evaluation metrics typically tracked in machine learning (ML) applications, and walk through some real world examples that proved valuable for introspecting our models.


title: Adaptive Elastic Training for Sparse Deep Learning on Heterogeneous Multi-GPU Servers

abstract: Motivated by extreme multi-label classification applications, we consider training deep learning models over sparse data in multi-GPU servers. The variance in the number of non-zero features across training batches and the intrinsic GPU heterogeneity combine to limit accuracy and increase the time to convergence. We address these challenges with Adaptive SGD, an adaptive elastic model averaging stochastic gradient descent algorithm for heterogeneous multi-GPUs that is characterized by dynamic scheduling, adaptive batch size scaling, and normalized model merging. Instead of statically partitioning batches to GPUs, batches are routed based on the relative processing speed. Batch size scaling assigns larger batches to the faster GPUs and smaller batches to the slower ones, with the goal to arrive at a steady state in which all the GPUs perform the same number of model updates. Normalized model merging computes optimal weights for every GPU based on the assigned batches such that the combined model achieves better accuracy. We show experimentally that Adaptive SGD outperforms four state-of-the-art solutions in time-to-accuracy and is scalable with the number of GPUs.


title: On strategies for selection games related to countable dimension

abstract: Two selection games from the literature, $G_c(\mathcal O,\mathcal O)$ and $G_1(\mathcal O_{zd},\mathcal O)$, are known to characterize countable dimension among certain spaces. This paper studies their perfect- and limited-information strategies, and investigates issues related to non-equivalent characterizations of zero-dimensionality for spaces that are not both separable and metrizable. To relate results on zero-dimensional and finite-dimensional spaces, a generalization of Telg\'{a}rsky's proof that the point-open and finite-open games are equivalent is demonstrated.


title: Improving the Robustness to Variations of Objects and Instructions with a Neuro-Symbolic Approach for Interactive Instruction Following

abstract: An interactive instruction following task has been proposed as a benchmark for learning to map natural language instructions and first-person vision into sequences of actions to interact with objects in 3D environments. We found that an existing end-to-end neural model for this task tends to fail to interact with objects of unseen attributes and follow various instructions. We assume that this problem is caused by the high sensitivity of neural feature extraction to small changes in vision and language inputs. To mitigate this problem, we propose a neuro-symbolic approach that utilizes high-level symbolic features, which are robust to small changes in raw inputs, as intermediate representations. We verify the effectiveness of our model with the subtask evaluation on the ALFRED benchmark. Our experiments show that our approach significantly outperforms the end-to-end neural model by 9, 46, and 74 points in the success rate on the ToggleObject, PickupObject, and SliceObject subtasks in unseen environments respectively.


title: A Short Review of Ergodicity and Convergence of Markov chain Monte Carlo Estimators

abstract: This short note reviews the basic theory for quantifying both the asymptotic and preasymptotic convergence of Markov chain Monte Carlo estimators.


title: Compliance checking in reified IO logic via SHACL

abstract: Reified Input/Output (I/O) logic[21] has been recently proposed to model real-world norms in terms of the logic in [11]. This is massively grounded on the notion of reification, and it has specifically designed to model meaning of natural language sentences, such as the ones occurring in existing legislation. This paper presents a methodology to carry out compliance checking on reified I/O logic formulae. These are translated in SHACL (Shapes Constraint Language) shapes, a recent W3C recommendation to validate and reason with RDF triplestores. Compliance checking is then enforced by validating RDF graphs describing states of affairs with respect to these SHACL shapes.


title: How Does Momentum Benefit Deep Neural Networks Architecture Design? A Few Case Studies

abstract: We present and review an algorithmic and theoretical framework for improving neural network architecture design via momentum. As case studies, we consider how momentum can improve the architecture design for recurrent neural networks (RNNs), neural ordinary differential equations (ODEs), and transformers. We show that integrating momentum into neural network architectures has several remarkable theoretical and empirical benefits, including 1) integrating momentum into RNNs and neural ODEs can overcome the vanishing gradient issues in training RNNs and neural ODEs, resulting in effective learning long-term dependencies. 2) momentum in neural ODEs can reduce the stiffness of the ODE dynamics, which significantly enhances the computational efficiency in training and testing. 3) momentum can improve the efficiency and accuracy of transformers.


title: Bond Default Prediction with Text Embeddings, Undersampling and Deep Learning

abstract: The special and important problems of default prediction for municipal bonds are addressed using a combination of text embeddings from a pre-trained transformer network, a fully connected neural network, and synthetic oversampling. The combination of these techniques provides significant improvement in performance over human estimates, linear models, and boosted ensemble models, on data with extreme imbalance. Less than 0.2% of municipal bonds default, but our technique predicts 9 out of 10 defaults at the time of issue, without using bond ratings, at a cost of false positives on less than 0.1% non-defaulting bonds. The results hold the promise of reducing the cost of capital for local public goods, which are vital for society, and bring techniques previously used in personal credit and public equities (or national fixed income), as well as the current generation of embedding techniques, to sub-sovereign credit decisions.


title: Controllable spin filtering and half metallicity in $\beta_{12}$-borophene nanoribbons

abstract: The experimental observation of the Dirac fermion states in $\beta_{12}$-borophene sheets and the discovery of their novel topological properties properties have made them a promising candidate for spintronic applications. Here, by combining non-equilibrium Green's function (NEGF) and tight-binding (TB) approximation, we study the charge and spin transport properties through a $\beta_{12}$-borophene nanoribbon (BNR) with the different edge shapes. We show when a BNR exposed to a nonlocal exchange magnetic field, the spin filtering occurs for both spin-up and spin-down so that the spin direction of transmitted electrons could be controlled by adjusting the energy of incoming electrons with the help of an external backgate voltage. It is found that an armchair BNR (ABNR) in the simultaneous presence of a transverse electric field and a nonlocal exchange field indicates a half-metallic nature which is electrically controllable. Moreover, the influence of local exchange field fields is evaluated by exposing the edges of ABNR to ferromagnetic strips with parallel and antiparallel configurations. Our findings show that the edge manipulations in ABNRs lead to the emergence of a giant magnetoresistance and a perfect spin filter. Finally, we studied the effects of edge vacancies and Anderson disorder on the spin-dependent conductance of an ABNR and find that the perfect spin polarization is not destroyed in the presence of Anderson disorder and various single vacancies. Our results reveal the outstanding spin transport properties of ABNRs for future spintronic devices.


title: Solving multiscale steady radiative transfer equation using neural networks with uniform stability

abstract: This paper concerns solving the steady radiative transfer equation with diffusive scaling, using the physics informed neural networks (PINNs). The idea of PINNs is to minimize a least-square loss function, that consists of the residual from the governing equation, the mismatch from the boundary conditions, and other physical constraints such as conservation. It is advantageous of being flexible and easy to execute, and brings the potential for high dimensional problems. Nevertheless, due the presence of small scales, the vanilla PINNs can be extremely unstable for solving multiscale steady transfer equations. In this paper, we propose a new formulation of the loss based on the macro-micro decomposition. We prove that, the new loss function is uniformly stable with respect to the small Knudsen number in the sense that the $L^2$-error of the neural network solution is uniformly controlled by the loss. When the boundary condition is an-isotropic, a boundary layer emerges in the diffusion limit and therefore brings an additional difficulty in training the neural network. To resolve this issue, we include a boundary layer corrector that carries over the sharp transition part of the solution and leaves the rest easy to be approximated. The effectiveness of the new methodology is demonstrated in extensive numerical examples.


title: Towards Efficient NLP: A Standard Evaluation and A Strong Baseline

abstract: Supersized pre-trained language models have pushed the accuracy of various natural language processing (NLP) tasks to a new state-of-the-art (SOTA). Rather than pursuing the reachless SOTA accuracy, more and more researchers start paying attention on model efficiency and usability. Different from accuracy, the metric for efficiency varies across different studies, making them hard to be fairly compared. To that end, this work presents ELUE (Efficient Language Understanding Evaluation), a standard evaluation, and a public leaderboard for efficient NLP models. ELUE is dedicated to depict the Pareto Frontier for various language understanding tasks, such that it can tell whether and how much a method achieves Pareto improvement. Along with the benchmark, we also release a strong baseline, ElasticBERT, which allows BERT to exit at any layer in both static and dynamic ways. We demonstrate the ElasticBERT, despite its simplicity, outperforms or performs on par with SOTA compressed and early exiting models. With ElasticBERT, the proposed ELUE has a strong Pareto Frontier and makes a better evaluation for efficient NLP models.


title: Presenting a Larger Up-to-date Movie Dataset and Investigating the Effects of Pre-released Attributes on Gross Revenue

abstract: Movie-making has become one of the most costly and risky endeavors in the entertainment industry. Continuous change in the preference of the audience makes it harder to predict what kind of movie will be financially successful at the box office. So, it is no wonder that cautious, intelligent stakeholders and large production houses will always want to know the probable revenue that will be generated by a movie before making an investment. Researchers have been working on finding an optimal strategy to help investors in making the right decisions. But the lack of a large, up-to-date dataset makes their work harder. In this work, we introduce an up-to-date, richer, and larger dataset that we have prepared by scraping IMDb for researchers and data analysts to work with. The compiled dataset contains the summery data of 7.5 million titles and detail information of more than 200K movies. Additionally, we perform different statistical analysis approaches on our dataset to find out how a movie's revenue is affected by different pre-released attributes such as budget, runtime, release month, content rating, genre etc. In our analysis, we have found that having a star cast/director has a positive impact on generated revenue. We introduce a novel approach for calculating the star power of a movie. Based on our analysis we select a set of attributes as features and train different machine learning algorithms to predict a movie's expected revenue. Based on generated revenue, we classified the movies in 10 categories and achieved a one-class-away accuracy rate of almost 60% (bingo accuracy of 30%). All the generated datasets and analysis codes are available online. We also made the source codes of our scraper bots public, so that researchers interested in extending this work can easily modify these bots as they need and prepare their own up-to-date datasets.


title: Data Incubation -- Synthesizing Missing Data for Handwriting Recognition

abstract: In this paper, we demonstrate how a generative model can be used to build a better recognizer through the control of content and style. We are building an online handwriting recognizer from a modest amount of training samples. By training our controllable handwriting synthesizer on the same data, we can synthesize handwriting with previously underrepresented content (e.g., URLs and email addresses) and style (e.g., cursive and slanted). Moreover, we propose a framework to analyze a recognizer that is trained with a mixture of real and synthetic training data. We use the framework to optimize data synthesis and demonstrate significant improvement on handwriting recognition over a model trained on real data only. Overall, we achieve a 66% reduction in Character Error Rate.


title: New Measures for Shaping Trajectories in Dynamic Optimization

abstract: We propose a new class of measures for shaping time-dependent trajectories in dynamic optimization (DO). The proposed measures are analogous to risk measures used in stochastic optimization (SO) and are inspired by a recently-proposed unifying abstraction for infinite-dimensional optimization. Risk measures are summarizing statistics (e.g., average, variance, quantiles, worst-case values) that are used to shape the probability density of random objectives and constraints. We show that this extensive collection of measures can be applied in DO for computing and manipulating interesting features of time-dependent trajectories (e.g., excursion costs and quantiles). We also discuss how to implement these measures in the Julia modeling package InfiniteOpt.jl.


title: Orthogonal Polynomial Stochastic Duality Functions for Multi-Species SEP$(2j)$ and Multi-Species IRW

abstract: We obtain orthogonal polynomial self-duality functions for multi-species version of the symmetric exclusion process (SEP$(2j)$) and the independent random walker process (IRW) on a finite undirected graph. In each process, we have $n>1$ species of particles. In addition, we allow up to $2j$ particles to occupy each site in the multi-species SEP$(2j)$. The duality functions for the multi-species SEP$(2j)$ and the multi-species IRW come from unitary intertwiners between different $*$-representations of the special linear Lie algebra $\mathfrak{sl}_{n+1}$ and the Heisenberg Lie algebra $\mathfrak{h}_n$, respectively. The analysis leads to multivariate Krawtchouk polynomials as orthogonal duality functions for the multi-species SEP$(2j)$ and homogeneous products of Charlier polynomials as orthogonal duality functions for the multi-species IRW.


title: Why Out-of-distribution Detection in CNNs Does Not Like Mahalanobis -- and What to Use Instead

abstract: Convolutional neural networks applied for real-world classification tasks need to recognize inputs that are far or out-of-distribution (OoD) with respect to the known or training data. To achieve this, many methods estimate class-conditional posterior probabilities and use confidence scores obtained from the posterior distributions. Recent works propose to use multivariate Gaussian distributions as models of posterior distributions at different layers of the CNN (i.e., for low- and upper-level features), which leads to the confidence scores based on the Mahalanobis distance. However, this procedure involves estimating probability density in high dimensional data using the insufficient number of observations (e.g. the dimensionality of features at the last two layers in the ResNet-101 model are 2048 and 1024, with ca. 1000 observations per class used to estimate density). In this work, we want to address this problem. We show that in many OoD studies in high-dimensional data, LOF-based (Local Outlierness-Factor) methods outperform the parametric, Mahalanobis distance-based methods. This motivates us to propose the nonparametric, LOF-based method of generating the confidence scores for CNNs. We performed several feasibility studies involving ResNet-101 and EffcientNet-B3, based on CIFAR-10 and ImageNet (as known data), and CIFAR-100, SVHN, ImageNet2010, Places365, or ImageNet-O (as outliers). We demonstrated that nonparametric LOF-based confidence estimation can improve current Mahalanobis-based SOTA or obtain similar performance in a simpler way.


title: A multiple scattering formulation for finite-size flexural metasurfaces

abstract: We provide an analytical formulation to model the propagation of elastic waves in a homogeneous half-space supporting an array of thin plates. The technique provides the displacement field obtained from the interaction between an incident wave generated by a harmonic source and the scattered fields induced by the flexural motion of the plates. The scattered field generated by each plate is calculated using an ad-hoc set of Green's functions. The interaction between the incident field and the scattered fields is modeled through a multiple scattering formulation. Owing to the introduction of the multiple scattering formalism, the proposed technique can handle a generic set of plates arbitrarily arranged on the half-space surface. The method is validated via comparison with finite element simulations considering Rayleigh waves interacting with a single and a collection of thin plates. Our framework can be used to investigate the interaction of vertically polarized surface waves and flexural resonators in different engineering contexts, from the design of novel surface acoustic wave devices to the interpretation of urban vibrations problems.


title: Investigating Health-Aware Smart-Nudging with Machine Learning to Help People Pursue Healthier Eating-Habits

abstract: Food-choices and eating-habits directly contribute to our long-term health. This makes the food recommender system a potential tool to address the global crisis of obesity and malnutrition. Over the past decade, artificial-intelligence and medical researchers became more invested in researching tools that can guide and help people make healthy and thoughtful decisions around food and diet. In many typical (Recommender System) RS domains, smart nudges have been proven effective in shaping users' consumption patterns. In recent years, knowledgeable nudging and incentifying choices started getting attention in the food domain as well. To develop smart nudging for promoting healthier food choices, we combined Machine Learning and RS technology with food-healthiness guidelines from recognized health organizations, such as the World Health Organization, Food Standards Agency, and the National Health Service United Kingdom. In this paper, we discuss our research on, persuasive visualization for making users aware of the healthiness of the recommended recipes. Here, we propose three novel nudging technology, the WHO-BubbleSlider, the FSA-ColorCoading, and the DRCI-MLCP, that encourage users to choose healthier recipes. We also propose a Topic Modeling based portion-size recommendation algorithm. To evaluate our proposed smart-nudges, we conducted an online user study with 96 participants and 92250 recipes. Results showed that, during the food decision-making process, appropriate healthiness cues make users more likely to click, browse, and choose healthier recipes over less healthy ones.


title: Deep Metric Learning with Locality Sensitive Angular Loss for Self-Correcting Source Separation of Neural Spiking Signals

abstract: Neurophysiological time series, such as electromyographic signal and intracortical recordings, are typically composed of many individual spiking sources, the recovery of which can give fundamental insights into the biological system of interest or provide neural information for man-machine interfaces. For this reason, source separation algorithms have become an increasingly important tool in neuroscience and neuroengineering. However, in noisy or highly multivariate recordings these decomposition techniques often make a large number of errors, which degrades human-machine interfacing applications and often requires costly post-hoc manual cleaning of the output label set of spike timestamps. To address both the need for automated post-hoc cleaning and robust separation filters we propose a methodology based on deep metric learning, using a novel loss function which maintains intra-class variance, creating a rich embedding space suitable for both label cleaning and the discovery of new activations. We then validate this method with an artificially corrupted label set based on source-separated high-density surface electromyography recordings, recovering the original timestamps even in extreme degrees of feature and class-dependent label noise. This approach enables a neural network to learn to accurately decode neurophysiological time series using any imperfect method of labelling the signal.


title: Ordinal Synchronization and Typical States in High-Frequency Digital Markets

abstract: In this paper we study Algorithmic High-Frequency Financial Markets as dynamical networks. After an individual analysis of 24 stocks of the US market during a trading year of fully automated transactions by means of ordinal pattern series, we define an information-theoretic measure of pairwise synchronization for time series which allows us to study this subset of the US market as a dynamical network. We apply to the resulting network a couple of clustering algorithms in order to detect collective market states, characterized by their degree of centralized or descentralized synchronicity. This collective analysis has shown to reproduce, classify and explain the anomalous behavior previously observed at the individual level. We also find two whole coherent seasons of highly centralized and descentralized synchronicity, respectively. Finally, we model these states dynamics through a simple Markov model.


title: Sparse Linear Mixed Model Selection via Streamlined Variational Bayes

abstract: Linear mixed models are a versatile statistical tool to study data by accounting for fixed effects and random effects from multiple sources of variability. In many situations, a large number of candidate fixed effects is available and it is of interest to select a parsimonious subset of those being effectively relevant for predicting the response variable. Variational approximations facilitate fast approximate Bayesian inference for the parameters of a variety of statistical models, including linear mixed models. However, for models having a high number of fixed or random effects, simple application of standard variational inference principles does not lead to fast approximate inference algorithms, due to the size of model design matrices and inefficient treatment of sparse matrix problems arising from the required approximating density parameters updates. We illustrate how recently developed streamlined variational inference procedures can be generalized to make fast and accurate inference for the parameters of linear mixed models with nested random effects and global-local priors for Bayesian fixed effects selection. Our variational inference algorithms achieve convergence to the same optima of their standard implementations, although with significantly lower computational effort, memory usage and time, especially for large numbers of random effects. Using simulated and real data examples, we assess the quality of automated procedures for fixed effects selection that are free from hyperparameters tuning and only rely upon variational posterior approximations. Moreover, we show high accuracy of variational approximations against model fitting via Markov Chain Monte Carlo sampling.


title: Analysis of single-excitation states in quantum optics

abstract: In this paper we analyze the dynamics of single-excitation states, which model the scattering of a single photon from multiple two level atoms. For short times and weak atom-field couplings we show that the atomic amplitudes are given by a sum of decaying exponentials, where the decay rates and Lamb shifts are given by the poles of a certain analytic function. This result is a refinement of the "pole approximation" appearing in the standard Wigner-Weisskopf analysis of spontaneous emission. On the other hand, at large times, the atomic field decays like $O(1/t^3)$ with a known constant expressed in terms of the coupling parameter and the resonant frequency of the atoms. Moreover, we show that for stronger coupling, the solutions also feature a collection of oscillatory exponentials which dominate the behavior at long times. Finally, we extend the analysis to the continuum limit in which atoms are distributed according to a given density.


title: Competitive Multi-Agent Load Balancing with Adaptive Policies in Wireless Networks

abstract: Using Machine Learning (ML) techniques for the next generation wireless networks have shown promising results in the recent years, due to high learning and adaptation capability of ML algorithms. More specifically, ML techniques have been used for load balancing in Self-Organizing Networks (SON). In the context of load balancing and ML, several studies propose network management automation (NMA) from the perspective of a single and centralized agent. However, a single agent domain does not consider the interaction among the agents. In this paper, we propose a more realistic load balancing approach using novel Multi-Agent Deep Deterministic Policy Gradient with Adaptive Policies (MADDPG-AP) scheme that considers throughput, resource block utilization and latency in the network. We compare our proposal with a single-agent RL algorithm named Clipped Double Q-Learning (CDQL) . Simulation results reveal a significant improvement in latency, packet loss ratio and convergence time


title: Fast and Scalable Inference for Spatial Extreme Value Models

abstract: The generalized extreme value (GEV) distribution is a popular model for analyzing and forecasting extreme weather data. To increase prediction accuracy, spatial information is often pooled via a latent Gaussian process (GP) on the GEV parameters. Inference for GEV-GP models is typically carried out using Markov chain Monte Carlo (MCMC) methods, or using approximate inference methods such as the integrated nested Laplace approximation (INLA). However, MCMC becomes prohibitively slow as the number of spatial locations increases, whereas INLA is only applicable in practice to a limited subset of GEV-GP models. In this paper, we revisit the original Laplace approximation for fitting spatial GEV models. In combination with a popular sparsity-inducing spatial covariance approximation technique, we show through simulations that our approach accurately estimates the Bayesian predictive distribution of extreme weather events, is scalable to several thousand spatial locations, and is several orders of magnitude faster than MCMC. A case study in forecasting extreme snowfall across Canada is presented.


title: 6G: Connectivity in the Era of Distributed Intelligence

abstract: The confluence of 5G and AI is transforming wireless networks to deliver diverse services at the Edge, driving towards a vision of pervasive distributed intelligence. Future 6G networks will need to deliver quality of experience through seamless integration of communication, computation and AI. Therefore, networks must become intelligent, distributed, scalable, and programmable platforms across the continuum of data delivery to address the ever-increasing service requirements and deployment complexity. We present novel results across three research directions that are expected to be integral to 6G systems and also discuss newer 6G metrics.


title: Robust MIMO Detection using Hypernetworks with Learned Regularizers

abstract: Optimal symbol detection in multiple-input multiple-output (MIMO) systems is known to be an NP-hard problem. Recently, there has been a growing interest to get reasonably close to the optimal solution using neural networks while keeping the computational complexity in check. However, existing work based on deep learning shows that it is difficult to design a generic network that works well for a variety of channels. In this work, we propose a method that tries to strike a balance between symbol error rate (SER) performance and generality of channels. Our method is based on hypernetworks that generate the parameters of a neural network-based detector that works well on a specific channel. We propose a general framework by regularizing the training of the hypernetwork with some pre-trained instances of the channel-specific method. Through numerical experiments, we show that our proposed method yields high performance for a set of prespecified channel realizations while generalizing well to all channels drawn from a specific distribution.


title: Phase Separation in Systems of Interacting Active Brownian Particles

abstract: The aim of this paper is to discuss the mathematical modeling of Brownian active particle systems, a recently popular paradigmatic system for self-propelled particles. We present four microscopic models with different types of repulsive interactions between particles and their associated macroscopic models, which are formally obtained using different coarse-graining methods. The macroscopic limits are integro-differential equations for the density in phase space (positions and orientations) of the particles and may include nonlinearities in both the diffusive and advective components. In contrast to passive particles, systems of active particles can undergo phase separation without any attractive interactions, a mechanism known as motility-induced phase separation (MIPS). We explore the onset of such a transition for each model in the parameter space of occupied volume fraction and P\'eclet number via a linear stability analysis and numerical simulations at both the microscopic and macroscopic levels. We establish that one of the models, namely the mean-field model which assumes long-range repulsive interactions, cannot explain the emergence of MIPS. In contrast, MIPS is observed for the remaining three models that assume short-range interactions that localize the interaction terms in space.


title: Continual learning using lattice-free MMI for speech recognition

abstract: Continual learning (CL), or domain expansion, recently became a popular topic for automatic speech recognition (ASR) acoustic modeling because practical systems have to be updated frequently in order to work robustly on types of speech not observed during initial training. While sequential adaptation allows tuning a system to a new domain, it may result in performance degradation on the old domains due to catastrophic forgetting. In this work we explore regularization-based CL for neural network acoustic models trained with the lattice-free maximum mutual information (LF-MMI) criterion. We simulate domain expansion by incrementally adapting the acoustic model on different public datasets that include several accents and speaking styles. We investigate two well-known CL techniques, elastic weight consolidation (EWC) and learning without forgetting (LWF), which aim to reduce forgetting by preserving model weights or network outputs. We additionally introduce a sequence-level LWF regularization, which exploits posteriors from the denominator graph of LF-MMI to further reduce forgetting. Empirical results show that the proposed sequence-level LWF can improve the best average word error rate across all domains by up to 9.4% relative compared with using regular LWF.


title: Cosmological evolution in Weyl conformal geometry

abstract: We discuss the cosmological evolution of the Weyl conformal geometry and its associated Weyl quadratic gravity. The Einstein gravity (with a positive cosmological constant) is recovered in the spontaneously broken phase of Weyl gravity; this happens after the Weyl gauge field ($\omega_\mu$) of scale symmetry, that is part of the Weyl geometry, becomes massive by Stueckelberg mechanism and then decouples. This breaking is a natural result of the cosmological evolution of Weyl geometry, in the absence of matter. Of particular interest in the analysis is the special limiting case of Weyl integrable geometry. Both this case and the general one provide an accelerated expansion of the Universe, controlled by the scalar mode of the $\tilde R^2$ term in the action and by $\omega_0$. Their comparison to the $\Lambda$CDM model shows a very good agreement to this model for the (dimensionless) Hubble function $h(z)$ and the deceleration $q(z)$ for redshift $z\leq 3$. Therefore, the Weyl conformal geometry and its associated Weyl quadratic gravity provide an interesting alternative to the $\Lambda$CDM model and to the Einstein gravity.


title: High-throughput Phenotyping of Nematode Cysts

abstract: The beet cyst nematode (BCN) Heterodera schachtii is a plant pest responsible for crop loss on a global scale. Here, we introduce a high-throughput system based on computer vision that allows quantifying BCN infestation and characterizing nematode cysts through phenotyping. After recording microscopic images of soil extracts in a standardized setting, an instance segmentation algorithm serves to detect nematode cysts in these samples. Going beyond fast and precise cyst counting, the image-based approach enables quantification of cyst density and phenotyping of morphological features of cysts under different conditions, providing the basis for high-throughput applications in agriculture and plant breeding research.


title: Ego4D: Around the World in 3,000 Hours of Egocentric Video

abstract: We introduce Ego4D, a massive-scale egocentric video dataset and benchmark suite. It offers 3,670 hours of daily-life activity video spanning hundreds of scenarios (household, outdoor, workplace, leisure, etc.) captured by 931 unique camera wearers from 74 worldwide locations and 9 different countries. The approach to collection is designed to uphold rigorous privacy and ethics standards with consenting participants and robust de-identification procedures where relevant. Ego4D dramatically expands the volume of diverse egocentric video footage publicly available to the research community. Portions of the video are accompanied by audio, 3D meshes of the environment, eye gaze, stereo, and/or synchronized videos from multiple egocentric cameras at the same event. Furthermore, we present a host of new benchmark challenges centered around understanding the first-person visual experience in the past (querying an episodic memory), present (analyzing hand-object manipulation, audio-visual conversation, and social interactions), and future (forecasting activities). By publicly sharing this massive annotated dataset and benchmark suite, we aim to push the frontier of first-person perception. Project page: https://ego4d-data.org/


title: Subspace Regularizers for Few-Shot Class Incremental Learning

abstract: Few-shot class incremental learning -- the problem of updating a trained classifier to discriminate among an expanded set of classes with limited labeled data -- is a key challenge for machine learning systems deployed in non-stationary environments. Existing approaches to the problem rely on complex model architectures and training procedures that are difficult to tune and re-use. In this paper, we present an extremely simple approach that enables the use of ordinary logistic regression classifiers for few-shot incremental learning. The key to this approach is a new family of subspace regularization schemes that encourage weight vectors for new classes to lie close to the subspace spanned by the weights of existing classes. When combined with pretrained convolutional feature extractors, logistic regression models trained with subspace regularization outperform specialized, state-of-the-art approaches to few-shot incremental image classification by up to 22% on the miniImageNet dataset. Because of its simplicity, subspace regularization can be straightforwardly extended to incorporate additional background information about the new classes (including class names and descriptions specified in natural language); these further improve accuracy by up to 2%. Our results show that simple geometric regularization of class representations offers an effective tool for continual learning.


title: Mixed Hodge structures on character varieties of nilpotent groups

abstract: Let R be the connected component of the identity of the variety of representations of a finitely generated nilpotent group N into a connected reductive complex affine algebraic group G. We determine the mixed Hodge structure on the representation variety R and on the character variety R//G. We obtain explicit formulae (both closed and recursive) for the mixed Hodge polynomial of these representation and character varieties.


title: Coherent energy fluctuation theorems: theory and experiment

abstract: Heat, work and entropy production: the statistical distribution of such quantities are constrained by the fluctuation theorems (FT), which reveal crucial properties about the nature of non-equilibrium dynamics. In this paper we report theoretical and experimental results regarding two FT for a new quantity, named coherent energy, which is an energy form directly associated with the coherences of the quantum state. We also demonstrate that this quantity behaves as a thermodynamic arrow of time for unitary evolutions, that is, in the absence of entropy production. The experiment is implemented in an all-optical setup in which the system is encoded in the polarization of one photon of a pair. The FT are demonstrated using the two-point measurement protocol, executed using the other photon of the pair, allowing to assess the probability distributions directly from the outcomes of the experiment.


title: Ordered conditional approximation of Potts models

abstract: Potts models, which can be used to analyze dependent observations on a lattice, have seen widespread application in a variety of areas, including statistical mechanics, neuroscience, and quantum computing. To address the intractability of Potts likelihoods for large spatial fields, we propose fast ordered conditional approximations that enable rapid inference for observed and hidden Potts models. Our methods can be used to directly obtain samples from the approximate joint distribution of an entire Potts field. The computational complexity of our approximation methods is linear in the number of spatial locations; in addition, some of the necessary computations are naturally parallel. We illustrate the advantages of our approach using simulated data and a satellite image.


title: Nonzero Skyrmion Hall Effect in Topologically Trivial Structures

abstract: It is widely believed that the skyrmion Hall effect, often disruptive for device applications, vanishes for overall topologically trivial structures such as (synthetic) antiferromagnetic skyrmions and skyrmioniums due to a compensation of Magnus forces. In this manuscript, however, we report that in contrast to the case of spin-transfer torque driven skyrmion motion, this notion is generally false for spin-orbit torque driven objects. We show that the skyrmion Hall angle is directly related to their helicity and imposes an unexpected roadblock for developing faster and lower input racetrack memories based on spin-orbit torques.


title: Variance Minimization in the Wasserstein Space for Invariant Causal Prediction

abstract: Selecting powerful predictors for an outcome is a cornerstone task for machine learning. However, some types of questions can only be answered by identifying the predictors that causally affect the outcome. A recent approach to this causal inference problem leverages the invariance property of a causal mechanism across differing experimental environments (Peters et al., 2016; Heinze-Deml et al., 2018). This method, invariant causal prediction (ICP), has a substantial computational defect -- the runtime scales exponentially with the number of possible causal variables. In this work, we show that the approach taken in ICP may be reformulated as a series of nonparametric tests that scales linearly in the number of predictors. Each of these tests relies on the minimization of a novel loss function -- the Wasserstein variance -- that is derived from tools in optimal transport theory and is used to quantify distributional variability across environments. We prove under mild assumptions that our method is able to recover the set of identifiable direct causes, and we demonstrate in our experiments that it is competitive with other benchmark causal discovery algorithms.


title: Exploratory X-Ray Monitoring of Luminous Radio-Quiet Quasars at High Redshift: Extended Time-Series Analyses and Stacked Imaging Spectroscopy

abstract: We present three new Chandra X-ray epochs along with new ground-based optical-UV observations as the third installment in a time-series analysis of four high-redshift ($z\sim4.1-4.4$) radio-quiet quasars (RQQs). In total, we present nine epochs for these sources with rest-frame temporal baselines of $\sim1300-2000$ days. We utilize the X-ray data to determine basic variability properties, as well as produce mean spectra and stacked images based on effective exposure times of $\sim40-70$ ks per source. We perform time-series analyses in the soft and hard bands, separately, and compare variability properties to those of sources at lower redshifts and luminosities. The magnitude of X-ray variability of our sources remains consistent with or lower than that of similar sources at lower redshifts, in agreement with the variability-luminosity anti-correlation. The mean power-law photon indices in the stacked Chandra spectra of our sources are consistent with the values measured from their archival XMM-Newton spectra separated by about three years in the rest frame. Along with the X-ray observations we provide near-simultaneous optical monitoring of the sources in the optical-UV regime. The overall variability in the optical-to-X-ray spectral slope is consistent with sources at lower redshifts and the optical-UV observations display mild variability on monthly timescales.


title: An algorithm for a fairer and better voting system

abstract: The major finding, of this article, is an ensemble method, but more exactly, a novel, better ranked voting system (and other variations of it), that aims to solve the problem of finding the best candidate to represent the voters. We have the source code on GitHub, for making realistic simulations of elections, based on artificial intelligence for comparing different variations of the algorithm, and other already known algorithms. We have convincing evidence that our algorithm is better than Instant-Runoff Voting, Preferential Block Voting, Single Transferable Vote, and First Past The Post (if certain, natural conditions are met, to support the wisdom of the crowds). By also comparing with the best voter, we demonstrated the wisdom of the crowds, suggesting that democracy (distributed system) is a better option than dictatorship (centralized system), if those certain, natural conditions are met. Voting systems are not restricted to politics, they are ensemble methods for artificial intelligence, but the context of this article is natural intelligence. It is important to find a system that is fair (e.g. freedom of expression on the ballot exists), especially when the outcome of the voting system has social impact: some voting systems have the unfair inevitability to trend (over time) towards the same two major candidates (Duverger's law).


title: Offline Reinforcement Learning for Autonomous Driving with Safety and Exploration Enhancement

abstract: Reinforcement learning (RL) is a powerful data-driven control method that has been largely explored in autonomous driving tasks. However, conventional RL approaches learn control policies through trial-and-error interactions with the environment and therefore may cause disastrous consequences such as collisions when testing in real-world traffic. Offline RL has recently emerged as a promising framework to learn effective policies from previously-collected, static datasets without the requirement of active interactions, making it especially appealing for autonomous driving applications. Despite promising, existing offline RL algorithms such as Batch-Constrained deep Q-learning (BCQ) generally lead to rather conservative policies with limited exploration efficiency. To address such issues, this paper presents an enhanced BCQ algorithm by employing a learnable parameter noise scheme in the perturbation model to increase the diversity of observed actions. In addition, a Lyapunov-based safety enhancement strategy is incorporated to constrain the explorable state space within a safe region. Experimental results in highway and parking traffic scenarios show that our approach outperforms the conventional RL method, as well as state-of-the-art offline RL algorithms.


title: Fredholm Homotopies for Strongly-Disordered 2D Insulators

abstract: We study topological indices of Fermionic time-reversal invariant topological insulators in two dimensions, in the regime of strong Anderson localization. We devise a method to interpolate between certain Fredholm operators arising in the context of these systems. We use this technique to prove the bulk-edge correspondence for mobility-gapped 2D topological insulators possessing a (Fermionic) time-reversal symmetry (class AII) and provide an alternative route to a theorem by Elgart-Graf-Schenker (2005) about the bulk-edge correspondence for strongly-disordered integer quantum Hall systems. We furthermore provide a proof of the stability of the $\mathbb{Z}_2$ index in the mobility gap regime. These two-dimensional results serve as a model for the study of higher dimensional $\mathbb{Z}_2$ indices.

categories: math-ph cond-mat.mes-hall math.FA math.MP math.SP


title: CloudPred: Predicting Patient Phenotypes From Single-cell RNA-seq

abstract: Single-cell RNA sequencing (scRNA-seq) has the potential to provide powerful, high-resolution signatures to inform disease prognosis and precision medicine. This paper takes an important first step towards this goal by developing an interpretable machine learning algorithm, CloudPred, to predict individuals' disease phenotypes from their scRNA-seq data. Predicting phenotype from scRNA-seq is challenging for standard machine learning methods -- the number of cells measured can vary by orders of magnitude across individuals and the cell populations are also highly heterogeneous. Typical analysis creates pseudo-bulk samples which are biased toward prior annotations and also lose the single cell resolution. CloudPred addresses these challenges via a novel end-to-end differentiable learning algorithm which is coupled with a biologically informed mixture of cell types model. CloudPred automatically infers the cell subpopulation that are salient for the phenotype without prior annotations. We developed a systematic simulation platform to evaluate the performance of CloudPred and several alternative methods we propose, and find that CloudPred outperforms the alternative methods across several settings. We further validated CloudPred on a real scRNA-seq dataset of 142 lupus patients and controls. CloudPred achieves AUROC of 0.98 while identifying a specific subpopulation of CD4 T cells whose presence is highly indicative of lupus. CloudPred is a powerful new framework to predict clinical phenotypes from scRNA-seq data and to identify relevant cells.


title: Fast Hand Detection in Collaborative Learning Environments

abstract: Long-term object detection requires the integration of frame-based results over several seconds. For non-deformable objects, long-term detection is often addressed using object detection followed by video tracking. Unfortunately, tracking is inapplicable to objects that undergo dramatic changes in appearance from frame to frame. As a related example, we study hand detection over long video recordings in collaborative learning environments. More specifically, we develop long-term hand detection methods that can deal with partial occlusions and dramatic changes in appearance. Our approach integrates object-detection, followed by time projections, clustering, and small region removal to provide effective hand detection over long videos. The hand detector achieved average precision (AP) of 72% at 0.5 intersection over union (IoU). The detection results were improved to 81% by using our optimized approach for data augmentation. The method runs at 4.7x the real-time with AP of 81% at 0.5 intersection over the union. Our method reduced the number of false-positive hand detections by 80% by improving IoU ratios from 0.2 to 0.5. The overall hand detection system runs at 4x real-time.


title: The search for small association schemes with noncyclotomic eigenvalues

abstract: In this article we determine feasible parameter sets for (what could potentially be) commutative association schemes with noncyclotomic eigenvalues that are of smallest possible rank and order. A feasible parameter set for a commutative association scheme corresponds to a standard integral table algebra with integral multiplicities that satisfies all of the parameter restrictions known to hold for association schemes. For each rank and involution type, we generate an algebraic variety for which any suitable integral solution corresponds to a standard integral table algebra with integral multiplicities, and then try to find the smallest suitable solution. Our main results show the eigenvalues of commutative association schemes of rank 4 and nonsymmetric commutative association schemes of rank 5 will always be cyclotomic. In the rank 5 cases these our conclusions rely on calculations done by computer for Gr\"obner bases or for bases of rational vector spaces spanned by polynomials. We give several examples of feasible parameter sets for small symmetric association schemes of rank 5 that have noncyclotomic eigenvalues.


title: Locally bounded enriched categories

abstract: We define and study the notion of a locally bounded enriched category over a (locally bounded) symmetric monoidal closed category, generalizing the locally bounded ordinary categories of Freyd and Kelly. In addition to proving several general results for constructing examples of locally bounded enriched categories and locally bounded closed categories, we demonstrate that locally bounded enriched categories admit fully enriched analogues of many of the convenient results enjoyed by locally bounded ordinary categories. In particular, we prove full enrichments of Freyd and Kelly's reflectivity and local boundedness results for orthogonal subcategories and categories of models for sketches and theories. We also provide characterization results for locally bounded enriched categories in terms of enriched presheaf categories, and we show that locally bounded enriched categories admit useful adjoint functor theorems and a representability theorem. We also define and study the notion of $\alpha$-bounded-small weighted limit enriched in a locally $\alpha$-bounded closed category, which parallels Kelly's notion of $\alpha$-small weighted limit enriched in a locally $\alpha$-presentable closed category, and we show that enriched categories of models of $\alpha$-bounded-small weighted limit theories are locally $\alpha$-bounded.


title: J-prime hyperideals and their generalizations

abstract: Let R be a multiplicative hyperring with identity. In this paper, we define the concept of J-prime hyperideals which is a generalization of n-hyperideals and we will show some properties of them. Then we extend the notion of J-prime to quasi J-prime and 2-absorbing J-prime hyperideals. Various characterizations of them are provided.


title: Finite-dimensional Quantum Observables are the Special Symmetric Dagger-Frobenius Algebras of CP Maps

abstract: We use purity, a principle borrowed from the foundations of quantum information, to show that all special symmetric dagger-Frobenius algebras in CPM(fHilb) are canonical, i.e. that they arise by doubling of special symmetric dagger-Frobenius algebras in fHilb. In particular, this applies to all classical structures.


title: General Compound Hawkes Processes for Mid-Price Prediction

abstract: High frequency financial data is burdened by a level of randomness that is unavoidable and obfuscates the task of modelling. This idea is reflected in the intraday evolution of limit orders book data for many financial assets and suggests several justifications for the use of stochastic models. For instance, the arbitrary distribution of inter arrival times and the subsequent dependence structure between consecutive book events. This has lead to the development of many stochastic models for the dynamics of limit order books. In this paper we look to examine the adaptability of one family of such models, the General Compound Hawkes Process (GCHP) models, to new data and new tasks. We further focus on the prediction problem for the mid-price within a limit order book and the practical applications of these stochastic models, which is the main contribution of this paper. To this end we examine the use of the GCHP for predicting the direction and volatility of futures and stock data and discuss possible extensions of the model to help improve its predictive capabilities.


title: Robust and tunable Weyl phases by coherent infrared phonons in ZrTe$_5$

abstract: Ultrafast optical control of the structural and electronic properties of various quantum materials has recently sparked great interest. In particular, photoinduced quantum phase transition between distinct topological phases has been considered as a promising route to realize ultrafast topological quantum computers. Here we use first-principles and effective Hamiltonian methods to show that in ZrTe$_5$, a layered topological material, lattice distortions corresponding to all three types of zone-center infrared optical phonon modes can drive the system from the strong or weak topological insulating phase to a Weyl semimetal by breaking the global inversion symmetry. Thus achieved Weyl phases are robust, highly tunable and one of the cleanest ones due to the proximity of the Weyl points to the Fermi level and a lack of other carriers. We further show that the amount of infrared-mode pumping necessary to induce such Weyl phases can be reduced if used in conjunction with an A$_g$ Raman-mode pumping that first drives the system to the Dirac semimetal state. We also find that Berry curvature dipole moment (BCDM), induced by the dynamical inversion symmetry breaking, gives rise to various nonlinear effects that oscillate with the amplitude of the phonon modes. These nonlinear effects present a novel switch for controlling the Weyltronics enabled quantum system.


title: Modeling and Analysis of Intermittent Federated Learning Over Cellular-Connected UAV Networks

abstract: Federated learning (FL) is a promising distributed learning technique particularly suitable for wireless learning scenarios since it can accomplish a learning task without raw data transportation so as to preserve data privacy and lower network resource consumption. However, current works on FL over wireless networks do not profoundly study the fundamental performance of FL over wireless networks that suffers from communication outage due to channel impairment and network interference. To accurately exploit the performance of FL over wireless networks, this paper proposes a novel intermittent FL model over a cellular-connected unmanned aerial vehicle (UAV) network, which characterizes communication outage from UAV (clients) to their server and data heterogeneity among the datasets at UAVs. We propose an analytically tractable framework to derive the uplink outage probability and use it to devise a simulation-based approach so as to evaluate the performance of the proposed intermittent FL model. Our findings reveal how the intermittent FL model is impacted by uplink communication outage and UAV deployment. Extensive numerical simulations are provided to show the consistency between the simulated and analytical performances of the proposed intermittent FL model.


title: On quenches to the critical point of the three states Potts model -- Matrix Product State simulations and CFT

abstract: Conformal Field Theories (CFTs) have been used extensively to understand the physics of critical lattice models at equilibrium. However, the applicability of CFT calculations to the behavior of the lattice systems in the out-of-equilibrium setting is not entirely understood. In this work, we compare the CFT results of the evolution of the entanglement spectrum after a quantum quench with numerical calculations of the entanglement spectrum of the three-state Potts model using matrix product state simulations. Our results lead us to conjecture that CFT does not describe the entanglement spectrum of the three-state Potts model at long times, contrary to what happens in the Ising model. We thus numerically simulate the out-of-equilibrium behaviour of the Potts model according to the CFT protocol - i.e. by taking a particular product state and "cooling" it, then quenching to the critical point and find that, in this case, the entanglement spectrum is indeed described by the CFT at long times.

categories: cond-mat.stat-mech cond-mat.quant-gas cond-mat.str-el hep-th quant-ph


title: Modelling wave propagation in elastic solids via high-order accurate implicit-mesh discontinuous Galerkin methods

abstract: A high-order accurate implicit-mesh discontinuous Galerkin framework for wave propagation in single-phase and bi-phase solids is presented. The framework belongs to the embedded-boundary techniques and its novelty regards the spatial discretization, which enables boundary and interface conditions to be enforced with high-order accuracy on curved embedded geometries. High-order accuracy is achieved via high-order quadrature rules for implicitly-defined domains and boundaries, whilst a cell-merging strategy addresses the presence of small cut cells. The framework is used to discretize the governing equations of elastodynamics, written using a first-order hyperbolic momentum-strain formulation, and an exact Riemann solver is employed to compute the numerical flux at the interface between dissimilar materials with general anisotropic properties. The space-discretized equations are then advanced in time using explicit high-order Runge-Kutta algorithms. Several two- and three-dimensional numerical tests including dynamic adaptive mesh refinement are presented to demonstrate the high-order accuracy and the capability of the method in the elastodynamic analysis of single- and bi-phases solids containing complex geometries.


title: Extension of Period Maps by Polyhedral Fans

abstract: Kato and Usui developed a theory of partial compactifications for quotients of period domains D by arithmetic groups {\Gamma}, in an attempt to generalize the toroidal compactifications of Ash-Mumford-Rapoport-Tai to non-classical cases. Their partial compactifications, which aim to fully compactify the images of period maps, rely on a choice of fan which is strongly compatible with {\Gamma}. In particular, they conjectured the existence of a complete fan, which would serve to simultaneously compactify all period maps of a given type. In this paper, we briefly review the theory, and construct a fan which compactifies theimage of a period map arising from a particular two-parameter family of Calabi-Yau threefolds studied by Hosono and Takagi, with Hodge numbers (1,2,2,1). On the other hand, we disprove the existence of complete fans in some general cases, including the (1,2,2,1) case.


title: Weakly tracially approximately representable actions

abstract: We describe a weak tracial analog of approximate representability under the name "weak tracial approximate representability" for finite group actions. Let $G$ be a finite abelian group, let $A$ be an infinite-dimensional simple unital C*-algebra, and let $\alpha \colon G \to \operatorname{Aut} (A)$ be an action of $G$ on $A$ which is pointwise outer. Then $\alpha$ has the weak tracial Rokhlin property if and only if the dual action $\widehat{\alpha}$ of the Pontryagin dual $\widehat{G}$ on the crossed product $C^*(G, A, \alpha)$ is weakly tracially approximately representable, and $\alpha$ is weakly tracially approximately representable if and only if the dual action $\widehat{\alpha}$ has the weak tracial Rokhlin property. This generalizes the results of Izumi in 2004 and Phillips in 2011 on the dual actions of finite abelian groups on unital simple C*-algebras.


title: The Impact of Spatiotemporal Augmentations on Self-Supervised Audiovisual Representation Learning

abstract: Contrastive learning of auditory and visual perception has been extremely successful when investigated individually. However, there are still major questions on how we could integrate principles learned from both domains to attain effective audiovisual representations. In this paper, we present a contrastive framework to learn audiovisual representations from unlabeled videos. The type and strength of augmentations utilized during self-supervised pre-training play a crucial role for contrastive frameworks to work sufficiently. Hence, we extensively investigate composition of temporal augmentations suitable for learning audiovisual representations; we find lossy spatio-temporal transformations that do not corrupt the temporal coherency of videos are the most effective. Furthermore, we show that the effectiveness of these transformations scales with higher temporal resolution and stronger transformation intensity. Compared to self-supervised models pre-trained on only sampling-based temporal augmentation, self-supervised models pre-trained with our temporal augmentations lead to approximately 6.5% gain on linear classifier performance on AVE dataset. Lastly, we show that despite their simplicity, our proposed transformations work well across self-supervised learning frameworks (SimSiam, MoCoV3, etc), and benchmark audiovisual dataset (AVE).


title: Dynamic Conflict Resolution of IoT Services in Smart Homes

abstract: We propose a novel conflict resolution framework for IoT services in multi-resident smart homes. The proposed framework employs a preference extraction model based on a temporal proximity strategy. We design a preference aggregation model using a matrix factorization-based approach (i.e., singular value decomposition). The concepts of current resident item matrix and ideal resident item matrix are introduced as key criteria to cater to the conflict resolution framework. Finally, a set of experiments on real-world datasets are conducted to show the effectiveness of the proposed approach.


title: Online Bipartite Matching with Reusable Resources

abstract: We study the classic online bipartite matching problem with a twist: offline vertices, called resources, are $\textit{reusable}$. In particular, when a resource is matched to an online vertex it is unavailable for a deterministic time duration $d$ after which it becomes available again for a re-match. Thus, a resource can be matched to many different online vertices over a period of time. While recent work on the problem have resolved the asymptotic case where we have large starting inventory (i.e., many copies) of every resource, we consider the (more general) case of $\textit{unit inventory}$ and give the first algorithms that are provably better than the naive greedy approach which has a competitive ratio of (exactly) 0.5. Our first algorithm, which achieves a competitive ratio of $0.589$, generalizes the classic RANKING algorithm for online bipartite matching of non-reusable resources (Karp et al., 1990), by $\textit{reranking}$ resources independently over time. While reranking resources frequently has the same worst case performance as greedy, we show that reranking intermittently on a periodic schedule succeeds in addressing reusability of resources and performs significantly better than greedy in the worst case. Our second algorithm, which achieves a competitive ratio of $0.505$, is a primal-dual randomized algorithm that works by suggesting up to two resources as candidate matches for every online vertex, and then breaking the tie to make the final matching selection in a randomized correlated fashion over time. As a key component of our algorithm, we suitably adapt and extend the powerful technique of online correlated selection (Fahrbach et al., 2020) to reusable resources, in order to induce negative correlation in our tie breaking step and to beat the competitive ratio of $0.5$. Both of our results also extend to the case where offline vertices have weights.


title: Eigenvalue-based micromagnetic analysis of switching in spin-torque-driven structures

abstract: We present an eigenvalue-based approach for studying the magnetization dynamics in magnetic nanostructures driven by spintronic excitations, such as spin transfer torque and spin orbit torque. The approach represents the system dynamics in terms of normal oscillation modes (eigenstates) with corresponding complex eigenfrequencies. The dynamics is driven by a small number of active eigenstates and often considering just a single eigenstate is sufficient. We develop a perturbation theory that provides semi-analytical dynamic solutions by using eigenstates for the case in the absence of damping and spintronic excitations as a basis. The approach provides important insights into dynamics in such systems and allows solving several difficulties in their modeling, such as extracting the switching current in magnetic random access memories (MRAM) and understanding switching mechanisms. We show that the presented approach directly predicts the critical switching current, i.e., switching current for an infinite time. The approach also provides solutions for the switching dynamics allowing obtaining the switching current for a finite switching time, provided that the system symmetry is broken, e.g., by tilting the polarizer, so that switching by a finite pulse is possible.


title: Turbulent drag reduction of viscoelastic wormlike micellar gels

abstract: Long-chained, viscoelastic surfactant solutions (VES) have been widely employed in the oil and gas industry, particularly in hydraulic fracturing and gravel-packing operations, where turbulence is commonly reached due to high pumping rates. With this motivation, we experimentally investigate the turbulent duct flow of an under-studied class of wormlike micellar solutions that forms a gel at room temperature. The fluid is characterized via rotational rheometry, and the turbulent velocity and Reynolds stress profiles are measured via Laser Doppler Anemometry (LDA). Three surfactant concentrations are investigated at increasing Reynolds numbers. The turbulent flow fields of water, and semi-dilute solutions of partially hydrolyzed polyacrylamide (HPAM) and xanthan gum (XG) are used as comparisons. Our study reveals that the gel-like structure of the wormlike micellar gel is mostly broken down during turbulent flow, especially in the near-wall region where the results indicate the presence of a water layer. Turbulent flow at low concentrations of surfactant show a Newtonian-like flow field throughout most of the duct, where the energy spectra shows a -5/3 power law scale with wavenumber, whereas higher concentrations lead to drag reduction and lower power spectral densities at large wavenumbers. A comparison of the flow of polymeric fluids and the wormlike micellar solutions at maximum drag reduction (MDR) shows comparable drag-reduction effects, with a large decrease in Reynolds shear stresses, and increased turbulence anisotropy in the buffer layer due to the large streamwise fluctuations and near-zero wall-normal fluctuations. Additionally, the MDR regime was bounded by Virk's asymptote for both polymers and the micellar gel, which implies a similar mechanism of drag reduction at MDR.


title: Readability and Understandability of Snippets Recommended by General-purpose Web Search Engines: a Comparative Study

abstract: Developers often search for reusable code snippets on general-purpose web search engines like Google, Yahoo! or Microsoft Bing. But some of these code snippets may have poor quality in terms of readability or understandability. In this paper, we propose an empirical analysis to analyze the readability and understandability score from snippets extracted from the web using three independent variables: ranking, general-purpose web search engine, and recommended site. We collected the top-5 recommended sites and their respective code snippet recommendations using Google, Yahoo!, and Bing for 9,480 queries, and evaluate their readability and understandability scores. We found that some recommended sites have significantly better readability and understandability scores than others. The better-ranked code snippet is not necessarily more readable or understandable than a lower-ranked code snippet for all general-purpose web search engines. Moreover, considering the readability score, Google has better-ranked code snippets compared to Yahoo! or Microsoft Bing


title: Calibrating photometric redshift measurements with the Multi-channel Imager (MCI) of the China Space Station Telescope (CSST)

abstract: The China Space Station Telescope (CSST) photometric survey aims to perform a high spatial resolution (~0.15'') photometric imaging for the targets that cover a large sky area (~17,500 deg^2) and wide wavelength range (from NUV to NIR). It expects to explore the properties of dark matter, dark energy, and other important cosmological and astronomical areas. In this work, we evaluate whether the filter design of the Multi-channel Imager (MCI), one of the five instruments of the CSST, can provide accurate photometric redshift (photo-z) measurements with its nine medium-band filters to meet the relevant scientific objectives. We generate the mock data based on the COSMOS photometric redshift catalog with astrophysical and instrumental effects. The application of upper limit information of low signal-to-noise ratio (SNR) data is adopted in the estimation of photo-z. We investigate the dependency of photo-z accuracy on the filter parameters, such as band position and width. We find that the current MCI filter design can achieve good photo-z measurements with accuracy sigma_z~0.017 and outlier fraction f_c~2.2%. It can effectively improve the photo-z measurements of the main CSST survey using the Survey Camera (SC) to an accuracy sigma_z~0.015 and outlier fraction f_c~1.5%. It indicates that the original MCI filters are proper for the photo-z calibration.


title: Efficient single-emitter plasmonic patch antenna fabrication by novel deterministic in situ optical lithography using spatially modulated light

abstract: Single-emitter plasmonic patch antennas are room-temperature deterministic single photon sources, which exhibit highly accelerated and directed single photon emission. However, for efficient operation these structures require three-dimensional nanoscale deterministic control of emitter positioning within the device, which is a demanding task, esp. when emitter damage during fabrication is a major concern. To overcome this limitation, our deterministic room-temperature in situ optical lithography protocol uses spatially modulated light to position a plasmonic structure non-destructively on any selected single-emitter with three-dimensional nanoscale control. In this paper we analyze the emission statistics of such plasmonic antennas that embed a deterministically positioned single colloidal CdSe/CdS quantum dot that highlight acceleration and brightness of emission. We demonstrate that the antenna induces a 1000-fold increase in the emitter absorption cross-section, and under high pumping, these antennas show nonlinearly enhanced emission.


title: MIMICause: Representation and automatic extraction of causal relation types from clinical notes

abstract: Understanding causal narratives communicated in clinical notes can help make strides towards personalized healthcare. Extracted causal information from clinical notes can be combined with structured EHR data such as patients' demographics, diagnoses, and medications. This will enhance healthcare providers' ability to identify aspects of a patient's story communicated in the clinical notes and help make more informed decisions. In this work, we propose annotation guidelines, develop an annotated corpus and provide baseline scores to identify types and direction of causal relations between a pair of biomedical concepts in clinical notes; communicated implicitly or explicitly, identified either in a single sentence or across multiple sentences. We annotate a total of 2714 de-identified examples sampled from the 2018 n2c2 shared task dataset and train four different language model based architectures. Annotation based on our guidelines achieved a high inter-annotator agreement i.e. Fleiss' kappa ($\kappa$) score of 0.72, and our model for identification of causal relations achieved a macro F1 score of 0.56 on the test data. The high inter-annotator agreement for clinical text shows the quality of our annotation guidelines while the provided baseline F1 score sets the direction for future research towards understanding narratives in clinical texts.


title: Local existence of strong solutions to the stochastic Navier-Stokes equations with $L^{p}$ data

abstract: For the stochastic Navier-Stokes equations with a multiplicative white noise on ${\mathbb T}^{3}$, we prove that there exists a unique strong solution locally in time when the initial datum belongs to $L^p(\Omega; L^p)$ for $p>3$.


title: On extension to Fourier transforms

abstract: For $n$-point sets $K$ in an LCA group $\Gamma$ we obtain an estimate for the norm of "the best" extension operator from the space $l^\infty(K)$ of bounded functions on $K$ to the space $A(\Gamma)$ of Fourier transforms. As a simple consequence our estimate implies that if $K$ is an infinite closed subset of $\Gamma$ then there does not exist a bounded linear extension operator from the space $C_0(K)$ of continuous functions on $K$ vanishing at infinity to $A(\Gamma)$. The latter result generalizes a result by Graham who considered the case of compact subsets $K$.


title: Muon to positron conversion

abstract: Lepton flavor violation (LFV) has been discovered in the neutrino sector by neutrino oscillation experiments. The minimally extended Standard Model (SM) to include neutrino masses allows LFV in the charged sector (CLFV) at the loop-level, but at rates that are too small to be experimentally observed. Lepton number violation (LNV) is explicitly forbidden even in the minimally extended SM, where the observation of a LNV process would be unambiguous evidence of physics beyond the SM. The search for the LNV and CLFV process $\mu^- + N(A,Z) \to e^+ + N'(A,Z-2)$ (referred to as $\mu^- \to e^+$ conversion) is a complementary LNV channel to neutrinoless double beta decay searches, sensitive to potential flavor effects in the neutrino mass generation mechanism. A theoretical motivation for $\mu^- \to e^+$ conversion is presented along with a review of the status of past $\mu^- \to e^+$ conversion experiments and future prospects. Special attention is taken to understanding an uncertain and potentially dominant background for these searches, radiative muon capture, and its potential impacts on current and future $\mu^- \to e^+$ searches.


title: Thermalization in a Spin-Orbit coupled Bose gas by enhanced spin Coulomb drag

abstract: An important component of the structure of the atom, the effects of spin-orbit coupling are present in many sub-fields of physics. Most of these effects are present continuously. We present a detailed study of the dynamics of changing the spin-orbit coupling in an ultra-cold Bose gas, coupling the motion of the atoms to their spin. We find that the spin-orbit coupling greatly increases the damping towards equilibrium. We interpret this damping as spin drag, which is enhanced by spin-orbit coupling rate, scaled by a remarkable factor of $8.9(6)$~s. We also find that spin-orbit coupling lowers the final temperature of the Bose gas after thermalization.


title: Irreducible modules of $\frak {sl}_{mp}$ in characteristic $p$ with regular or subregular nilpotent $p$-character

abstract: Let $\bbk$ be an algebraically closed field of prime characteristic $p$. If $p$ does not divide $n$, irreducible modules over $\frak {sl}_n$ for regular and subregular nilpotent representations have already known(see \cite{Jan2} and \cite{Jan3}). In this article, we investigate the question when $p$ divides $n$, and precisely describe simple modules of $\frak {sl}_n$ for regular and subregular nilpotent representations.


title: Identifying Introductions in Podcast Episodes from Automatically Generated Transcripts

abstract: As the volume of long-form spoken-word content such as podcasts explodes, many platforms desire to present short, meaningful, and logically coherent segments extracted from the full content. Such segments can be consumed by users to sample content before diving in, as well as used by the platform to promote and recommend content. However, little published work is focused on the segmentation of spoken-word content, where the errors (noise) in transcripts generated by automatic speech recognition (ASR) services poses many challenges. Here we build a novel dataset of complete transcriptions of over 400 podcast episodes, in which we label the position of introductions in each episode. These introductions contain information about the episodes' topics, hosts, and guests, providing a valuable summary of the episode content, as it is created by the authors. We further augment our dataset with word substitutions to increase the amount of available training data. We train three Transformer models based on the pre-trained BERT and different augmentation strategies, which achieve significantly better performance compared with a static embedding model, showing that it is possible to capture generalized, larger-scale structural information from noisy, loosely-organized speech data. This is further demonstrated through an analysis of the models' inner architecture. Our methods and dataset can be used to facilitate future work on the structure-based segmentation of spoken-word content.


title: A Comprehensive Study on Torchvision Pre-trained Models for Fine-grained Inter-species Classification

abstract: This study aims to explore different pre-trained models offered in the Torchvision package which is available in the PyTorch library. And investigate their effectiveness on fine-grained images classification. Transfer Learning is an effective method of achieving extremely good performance with insufficient training data. In many real-world situations, people cannot collect sufficient data required to train a deep neural network model efficiently. Transfer Learning models are pre-trained on a large data set, and can bring a good performance on smaller datasets with significantly lower training time. Torchvision package offers us many models to apply the Transfer Learning on smaller datasets. Therefore, researchers may need a guideline for the selection of a good model. We investigate Torchvision pre-trained models on four different data sets: 10 Monkey Species, 225 Bird Species, Fruits 360, and Oxford 102 Flowers. These data sets have images of different resolutions, class numbers, and different achievable accuracies. We also apply their usual fully-connected layer and the Spinal fully-connected layer to investigate the effectiveness of SpinalNet. The Spinal fully-connected layer brings better performance in most situations. We apply the same augmentation for different models for the same data set for a fair comparison. This paper may help future Computer Vision researchers in choosing a proper Transfer Learning model.


title: A Cubic Regularization Approach for Finding Local Minimax Points in Nonconvex Minimax Optimization

abstract: Gradient descent-ascent (GDA) is a widely used algorithm for minimax optimization. However, GDA has been proved to converge to stationary points for nonconvex minimax optimization, which are suboptimal compared with local minimax points. In this work, we develop cubic regularization (CR) type algorithms that globally converge to local minimax points in nonconvex-strongly-concave minimax optimization. We first show that local minimax points are equivalent to second-order stationary points of a certain envelope function. Then, inspired by the classic cubic regularization algorithm, we propose an algorithm named Cubic-LocalMinimax for finding local minimax points, and provide a comprehensive convergence analysis by leveraging its intrinsic potential function. Specifically, we establish the global convergence of Cubic-LocalMinimax to a local minimax point at a sublinear convergence rate and characterize its iteration complexity. Also, we propose a GDA-based solver for solving the cubic subproblem involved in Cubic-LocalMinimax up to certain pre-defined accuracy, and analyze the overall gradient and Hessian-vector product computation complexities of such an inexact Cubic-LocalMinimax algorithm. Moreover, we propose a stochastic variant of Cubic-LocalMinimax for large-scale minimax optimization, and characterize its sample complexity under stochastic sub-sampling. Experimental results demonstrate faster convergence of our stochastic Cubic-LocalMinimax than some existing algorithms.


title: An Energy-Based Discontinuous Galerkin Method with Tame CFL Numbers for the Wave Equation

abstract: We extend and analyze the energy-based discontinuous Galerkin method for second order wave equations on staggered and structured meshes. By combining spatial staggering with local time-stepping near boundaries, the method overcomes the typical numerical stiffness associated with high order piecewise polynomial approximations. In one space dimension with periodic boundary conditions and suitably chosen numerical fluxes, we prove bounds on the spatial operators that establish stability for CFL numbers $c \frac {\Delta t}{h} < C$ independent of order when stability-enhanced explicit time-stepping schemes of matching order are used. For problems on bounded domains and in higher dimensions we demonstrate numerically that one can march explicitly with large time steps at high order temporal and spatial accuracy.


title: Digital Twin Earth -- Coasts: Developing a fast and physics-informed surrogate model for coastal floods via neural operators

abstract: Developing fast and accurate surrogates for physics-based coastal and ocean models is an urgent need due to the coastal flood risk under accelerating sea level rise, and the computational expense of deterministic numerical models. For this purpose, we develop the first digital twin of Earth coastlines with new physics-informed machine learning techniques extending the state-of-art Neural Operator. As a proof-of-concept study, we built Fourier Neural Operator (FNO) surrogates on the simulations of an industry-standard flood and ocean model (NEMO). The resulting FNO surrogate accurately predicts the sea surface height in most regions while achieving upwards of 45x acceleration of NEMO. We delivered an open-source \textit{CoastalTwin} platform in an end-to-end and modular way, to enable easy extensions to other simulations and ML-based surrogate methods. Our results and deliverable provide a promising approach to massively accelerate coastal dynamics simulators, which can enable scientists to efficiently execute many simulations for decision-making, uncertainty quantification, and other research activities.


title: A graph coloring approach to family-based haplotype reconstruction

abstract: Edge Constrained Vertex Coloring (ECVC) problems are defined on a finite multigraph, their solutions are characterized, and a linear time algorithm is given for solving $N$ ECVCs on the same underlying multigraph. Using ECVC problems we develop a novel family-based haplotype reconstruction method which has linear-time complexity in both number of markers and family size and has many other desirable properties. To do so, we define a multigraph given a genomic interval on which a family is recombination-free.


title: Lattice dynamics with molecular Berry curvature: chiral optical phonons

abstract: Under the Born-Oppenheimer approximation, the electronic ground state evolves adiabatically and can accumulate geometrical phases characterized by the molecular Berry curvature. In this work, we study the effect of the molecular Berry curvature on the lattice dynamics in a system with broken time-reversal symmetry. The molecular Berry curvature is formulated based on the single-particle electronic Bloch states. It manifests as a non-local effective magnetic field in the equations of motion of the ions that are beyond the widely adopted Raman spin-lattice coupling model. We employ the Bogoliubov transformation to solve the quantized equations of motion and to obtain phonon polarization vectors. We apply our formula to the Haldane model on a honeycomb lattice and find a large molecular Berry curvature around the Brillouin zone center. As a result, the degeneracy of the optical branches at this point is lifted intrinsically. The lifted optical phonons show circular polarizations, possess large phonon Berry curvature, and have a nearly quantized angular momentum that modifies the Einstein-de Haas effect.


title: Video-based cattle identification and action recognition

abstract: We demonstrate a working prototype for the monitoring of cow welfare by automatically analysing the animal behaviours. Deep learning models have been developed and tested with videos acquired in a farm, and a precision of 81.2\% has been achieved for cow identification. An accuracy of 84.4\% has been achieved for the detection of drinking events, and 94.4\% for the detection of grazing events. Experimental results show that the proposed deep learning method can be used to identify the behaviours of individual animals to enable automated farm provenance. Our raw and ground-truth dataset will be released as the first public video dataset for cow identification and action recognition. Recommendations for further development are also provided.