title: $f(R)$-Gravity Generated Post-inflationary Eras and their Effect on Primordial Gravitational Waves

abstract: In this work we shall consider the effects of a geometrically generated post-inflationary era on the energy spectrum of the primordial gravitational waves. Specifically, we shall consider a post-inflationary constant equation of state era, generated by the synergistic effect of $f(R)$ gravity and of radiation and matter perfect fluids. Two cases of interest shall be studied, one with equation of state parameter $w=-1/3$, in which case the Universe neither accelerates nor decelerates, and one with $w=0$ so an early matter domination era. For the evaluation of the inflationary observational indices which is relevant for the calculation of the gravitational waves energy spectrum, we also took into account the effects of the constant equation of state parameter era, on the $e$-foldings number. In both the $w=-1/3$ and $w=0$ cases, the energy spectrum of the primordial gravitational waves is amplified, but for the $w=0$ case, the effect is stronger.


title: From Explanation to Recommendation: Ethical Standards for Algorithmic Recourse

abstract: People are increasingly subject to algorithmic decisions, and it is generally agreed that end-users should be provided an explanation or rationale for these decisions. There are different purposes that explanations can have, such as increasing user trust in the system or allowing users to contest the decision. One specific purpose that is gaining more traction is algorithmic recourse. We first propose that recourse should be viewed as a recommendation problem, not an explanation problem. Then, we argue that the capability approach provides plausible and fruitful ethical standards for recourse. We illustrate by considering the case of diversity constraints on algorithmic recourse. Finally, we discuss the significance and implications of adopting the capability approach for algorithmic recourse research.


title: Grid HTM: Hierarchical Temporal Memory for Anomaly Detection in Videos

abstract: The interest for video anomaly detection systems has gained traction for the past few years. The current approaches use deep learning to perform anomaly detection in videos, but this approach has multiple problems. For starters, deep learning in general has issues with noise, concept drift, explainability, and training data volumes. Additionally, anomaly detection in itself is a complex task and faces challenges such as unknowness, heterogeneity, and class imbalance. Anomaly detection using deep learning is therefore mainly constrained to generative models such as generative adversarial networks and autoencoders due to their unsupervised nature, but even they suffer from general deep learning issues and are hard to train properly. In this paper, we explore the capabilities of the Hierarchical Temporal Memory (HTM) algorithm to perform anomaly detection in videos, as it has favorable properties such as noise tolerance and online learning which combats concept drift. We introduce a novel version of HTM, namely, Grid HTM, which is an HTM-based architecture specifically for anomaly detection in complex videos such as surveillance footage.


title: A Categorical View on the Principle of Relativity

abstract: Category theory plays a special character in mathematics - it unifies distinct branches under the same formalism. Despite this integrative power in math, it also seems to provide the proper foundations to the experimental physicist. In this work, we present another application of category in physics, related to the principle of relativity. The operational construction of (inertial) frames of reference indicates that only the movement between one and another frame is enough to differentiate both of them. This fact is hidden when one applies only group theory to connect frames. In fact, rotations and translations only change coordinates, keeping the frame inert. The change of frames is only attainable by boosts in the classical and relativistic regimes for both Galileo and Lorentz (Poincar\'e) groups. Besides providing a non-trivial example of application of category theory in physics, we also fulfill the presented gap when one directly applies group theory for connecting frames.


title: Painful intelligence: What AI can tell us about human suffering

abstract: This book uses the modern theory of artificial intelligence (AI) to understand human suffering or mental pain. Both humans and sophisticated AI agents process information about the world in order to achieve goals and obtain rewards, which is why AI can be used as a model of the human brain and mind. This book intends to make the theory accessible to a relatively general audience, requiring only some relevant scientific background. The book starts with the assumption that suffering is mainly caused by frustration. Frustration means the failure of an agent (whether AI or human) to achieve a goal or a reward it wanted or expected. Frustration is inevitable because of the overwhelming complexity of the world, limited computational resources, and scarcity of good data. In particular, such limitations imply that an agent acting in the real world must cope with uncontrollability, unpredictability, and uncertainty, which all lead to frustration. Fundamental in such modelling is the idea of learning, or adaptation to the environment. While AI uses machine learning, humans and animals adapt by a combination of evolutionary mechanisms and ordinary learning. Even frustration is fundamentally an error signal that the system uses for learning. This book explores various aspects and limitations of learning algorithms and their implications regarding suffering. At the end of the book, the computational theory is used to derive various interventions or training methods that will reduce suffering in humans. The amount of frustration is expressed by a simple equation which indicates how it can be reduced. The ensuing interventions are very similar to those proposed by Buddhist and Stoic philosophy, and include mindfulness meditation. Therefore, this book can be interpreted as an exposition of a computational theory justifying why such philosophies and meditation reduce human suffering.


title: LiDAR-aid Inertial Poser: Large-scale Human Motion Capture by Sparse Inertial and LiDAR Sensors

abstract: We propose a multi-sensor fusion method for capturing challenging 3D human motions with accurate consecutive local poses and global trajectories in large-scale scenarios, only using single LiDAR and 4 IMUs, which are set up conveniently and worn lightly. Specifically, to fully utilize the global geometry information captured by LiDAR and local dynamic motions captured by IMUs, we design a two-stage pose estimator in a coarse-to-fine manner, where point clouds provide the coarse body shape and IMU measurements optimize the local actions. Furthermore, considering the translation deviation caused by the view-dependent partial point cloud, we propose a pose-guided translation corrector. It predicts the offset between captured points and the real root locations, which makes the consecutive movements and trajectories more precise and natural. Moreover, we collect a LiDAR-IMU multi-modal mocap dataset, LIPD, with diverse human actions in long-range scenarios. Extensive quantitative and qualitative experiments on LIPD and other open datasets all demonstrate the capability of our approach for compelling motion capture in large-scale scenarios, which outperforms other methods by an obvious margin. We will release our code and captured dataset to stimulate future research.


title: High-order (N=4-6) multi-photon absorption and mid-infrared Kerr nonlinearity in GaP, ZnSe, GaSe, and ZGP crystals

abstract: We report a study of high-order multi-photon absorption, nonlinear refraction, and their anisotropy in four notable mid-infrared \c{hi}(2) crystals: GaP, ZnSe, GaSe and ZGP using the Z- scan method and 2.35-{\mu}m femtosecond pulses with peak intensity in excess of 200 GW/cm2. We found that the nonlinear absorption obeys a perturbation model with multi-photon absorption (MPA) orders from N = 4 to 6, in good agreement with the bandgaps of the crystals. A study of the role of free carrier absorption, performed by varying the pulse duration between 30 and 70 fs while maintaining a constant peak intensity showed that at our intensity levels, free carriers generated in the process of MPA absorb much stronger than would be expected from their linear absorption cross section. Possible mechanisms include high-field effects, such as intra-valley scattering in the conduction band and absorption to higher lying bands. Nonlinear refractive indices were measured using (i) closed aperture Z-scan and (ii) spectral broadening due to self-phase modulation, both methods agreeing well with each other.


title: Asynchronous Deterministic Leader Election in Three-Dimensional Programmable Matter

abstract: Over three decades of scientific endeavors to realize programmable matter, a substance that can change its physical properties based on user input or responses to its environment, there have been many advances in both the engineering of modular robotic systems and the corresponding algorithmic theory of collective behavior. However, while the design of modular robots routinely addresses the challenges of realistic three-dimensional (3D) space, algorithmic theory remains largely focused on 2D abstractions such as planes and planar graphs. In this work, we formalize the 3D geometric space variant for the canonical amoebot model of programmable matter, using the face-centered cubic (FCC) lattice to represent space and define local spatial orientations. We then give a distributed algorithm for leader election in connected, contractible 2D or 3D geometric amoebot systems that deterministically elects exactly one leader in $\mathcal{O}(n)$ rounds under an unfair sequential adversary, where $n$ is the number of amoebots in the system. We then demonstrate how this algorithm can be transformed using the concurrency control framework for amoebot algorithms (DISC 2021) to obtain the first known amoebot algorithm, both in 2D and 3D space, to solve leader election under an unfair asynchronous adversary.


title: PolypConnect: Image inpainting for generating realistic gastrointestinal tract images with polyps

abstract: Early identification of a polyp in the lower gastrointestinal (GI) tract can lead to prevention of life-threatening colorectal cancer. Developing computer-aided diagnosis (CAD) systems to detect polyps can improve detection accuracy and efficiency and save the time of the domain experts called endoscopists. Lack of annotated data is a common challenge when building CAD systems. Generating synthetic medical data is an active research area to overcome the problem of having relatively few true positive cases in the medical domain. To be able to efficiently train machine learning (ML) models, which are the core of CAD systems, a considerable amount of data should be used. In this respect, we propose the PolypConnect pipeline, which can convert non-polyp images into polyp images to increase the size of training datasets for training. We present the whole pipeline with quantitative and qualitative evaluations involving endoscopists. The polyp segmentation model trained using synthetic data, and real data shows a 5.1% improvement of mean intersection over union (mIOU), compared to the model trained only using real data. The codes of all the experiments are available on GitHub to reproduce the results.


title: A portfolio-based analysis method for competition results

abstract: Competitions such as the MiniZinc Challenges or the SAT competitions have been very useful sources for comparing performance of different solving approaches and for advancing the state-of-the-arts of the fields. Traditional competition setting often focuses on producing a ranking between solvers based on their average performance across a wide range of benchmark problems and instances. While this is a sensible way to assess the relative performance of solvers, such ranking does not necessarily reflect the full potential of a solver, especially when we want to utilise a portfolio of solvers instead of a single one for solving a new problem. In this paper, I will describe a portfolio-based analysis method which can give complementary insights into the performance of participating solvers in a competition. The method is demonstrated on the results of the MiniZinc Challenges and new insights gained from the portfolio viewpoint are presented.


title: Autonomous Circular Heat Engine

abstract: A dynamical model of a highly efficient heat engine is proposed, where an applied temperature difference maintains the motion of particles around the circuit consisting of two asymmetric narrow channels, in one of which the current flows against the applied thermodynamic forces. Numerical simulations and linear-response analysis suggest that, in the absence of frictional losses, the Carnot efficiency can be achieved in the thermodynamic limit.


title: Distributed Ledger Technology based Integrated Healthcare Solution for Bangladesh

abstract: Healthcare data is sensitive and requires great protection. Encrypted electronic health records (EHRs) contain personal and sensitive data such as names and addresses. Having access to patient data benefits all of them. This paper proposes a blockchain-based distributed healthcare application platform for Bangladeshi public and private healthcare providers. Using data immutability and smart contracts, the suggested application framework allows users to create safe digital agreements for commerce or collaboration. Thus, all enterprises may securely collaborate using the same blockchain network, gaining data openness and read/write capacity. The proposed application consists of various application interfaces for various system users. For data integrity, privacy, permission and service availability, the proposed solution leverages Hyperledger fabric and Blockchain as a Service. Everyone will also have their own profile in the portal. A unique identity for each person and the installation of digital information centres across the country have greatly eased the process. It will collect systematic health data from each person which will be beneficial for research institutes and health-related organisations. A national data warehouse in Bangladesh is feasible for this application and It is also possible to keep a clean health sector by analysing data stored in this warehouse and conducting various purification algorithms using technologies like Data Science. Given that Bangladesh has both public and private health care, a straightforward digital strategy for all organisations is essential.


title: Channel Model Mismatch Analysis for XL-MIMO Systems from a Localization Perspective

abstract: Radio localization is applied in high-frequency (e.g., mmWave and THz) systems to support communication and to provide location-based services without extra infrastructure. {For solving localization problems, a simplified, stationary, narrowband far-field channel model is widely used due to its compact formulation.} However, with increased array size in extra-large MIMO systems and increased bandwidth at upper mmWave bands, the effect of channel spatial non-stationarity (SNS), spherical wave model (SWM), and beam squint effect (BSE) cannot be ignored. In this case, localization performance will be affected when an inaccurate channel model deviating from the true model is adopted. In this work, we employ the MCRB (misspecified Cram\'er-Rao lower bound) to lower bound the localization error using a simplified mismatched model while the observed data is governed by a more complex true model. The simulation results show that among all the model impairments, the SNS has the least contribution, the SWM dominates when the distance is small compared to the array size, and the BSE has a more significant effect when the distance is much larger than the array size.


title: Asymptotic welfare performance of Boston assignment algorithms

abstract: We make a detailed analysis of three key algorithms (Serial Dictatorship and the naive and adaptive variants of the Boston algorithm) for the housing allocation problem, under the assumption that agent preferences are chosen iid uniformly from linear orders on the items. We compute limiting distributions (with respect to some common utility functions) as $n\to \infty$ of both the utilitarian welfare and the order bias. To do this, we compute limiting distributions of the outcomes for an arbitrary agent whose initial relative position in the tiebreak order is $\theta\in[0,1]$, as a function of $\theta$. The results for the Boston algorithms are all new, and we expect that these fundamental results on the stochastic processes underlying these algorithms will have wider applicability in future. Overall our results show that the differences in utilitarian welfare performance of the three algorithms are fairly small but still important. However, the differences in order bias are much greater. Also, Naive Boston beats Adaptive Boston, which beats Serial Dictatorship, on both utilitarian welfare and order bias.


title: Fool SHAP with Stealthily Biased Sampling

abstract: SHAP explanations aim at identifying which features contribute the most to the difference in model prediction at a specific input versus a background distribution. Recent studies have shown that they can be manipulated by malicious adversaries to produce arbitrary desired explanations. However, existing attacks focus solely on altering the black-box model itself. In this paper, we propose a complementary family of attacks that leave the model intact and manipulate SHAP explanations using stealthily biased sampling of the data points used to approximate expectations w.r.t the background distribution. In the context of fairness audit, we show that our attack can reduce the importance of a sensitive feature when explaining the difference in outcomes between groups while remaining undetected. More precisely, experiments performed on real-world datasets showed that our attack could yield up to a 90\% relative decrease in amplitude of the sensitive feature attribution. These results highlight the manipulability of SHAP explanations and encourage auditors to treat them with skepticism.


title: Fast Two-Stage Variational Bayesian Approach to Estimating Panel Spatial Autoregressive Models with Unrestricted Spatial Weights Matrices

abstract: This paper proposes a fast two-stage variational Bayesian (VB) algorithm to estimate unrestricted panel spatial autoregressive models. Using Dirichlet-Laplace priors, we are able to uncover the spatial relationships between cross-sectional units without imposing any a priori restrictions. Monte Carlo experiments show that our approach works well for both long and short panels. We are also the first in the literature to develop VB methods to estimate large covariance matrices with unrestricted sparsity patterns, which are useful for popular large data models such as Bayesian vector autoregressions. In empirical applications, we examine the spatial interdependence between euro area sovereign bond ratings and spreads. We find marked differences between the spillover behaviours of the northern euro area countries and those of the south.


title: Multilayer adaptive networks in neuronal processing

abstract: The connectome is a wiring diagram mapping all the neural connections in the brain. At the cellular level, it provides a map of the neurons and synapses within a part or all of the brain of an organism. In recent years, significant advances have been made in the study of the connectome via network science and graph theory. This analysis is fundamental to understand neurotransmission (fast synaptic transmission) networks. However, neurons use other forms of communication as neuromodulation that, instead of conveying excitation or inhibition, change neuronal and synaptic properties. This additional neuromodulatory layers condition and reconfigure the connectome. In this paper, we propose that multilayer adaptive networks, in which different synaptic and neurochemical layers interact, are the appropriate framework to explain neuronal processing. Then, we describe a simplified multilayer adaptive network model that accounts for these extra-layers of interaction and analyse the emergence of interesting computational capabilities.


title: Profile Monitoring via Eigenvector Perturbation

abstract: Control charts are often used to monitor the quality characteristics of a process over time to ensure undesirable behavior is quickly detected. The escalating complexity of processes we wish to monitor spurs the need for more flexible control charts such as those used in profile monitoring. Additionally, designing a control chart that has an acceptable false alarm rate for a practitioner is a common challenge. Alarm fatigue can occur if the sampling rate is high (say, once a millisecond) and the control chart is calibrated to an average in-control run length ($ARL_0$) of 200 or 370 which is often done in the literature. As alarm fatigue may not just be annoyance but result in detrimental effects to the quality of the product, control chart designers should seek to minimize the false alarm rate. Unfortunately, reducing the false alarm rate typically comes at the cost of detection delay or average out-of-control run length ($ARL_1$). Motivated by recent work on eigenvector perturbation theory, we develop a computationally fast control chart called the Eigenvector Perturbation Control Chart for nonparametric profile monitoring. The control chart monitors the $l_2$ perturbation of the leading eigenvector of a correlation matrix and requires only a sample of known in-control profiles to determine control limits. Through a simulation study we demonstrate that it is able to outperform its competition by achieving an $ARL_1$ close to or equal to 1 even when the control limits result in a large $ARL_0$ on the order of $10^6$. Additionally, non-zero false alarm rates with a change point after $10^4$ in-control observations were only observed in scenarios that are either pathological or truly difficult for a correlation based monitoring scheme.


title: Meteor shower radiant dispersions in Global Meteor Network data

abstract: Meteor showers occur when streams of meteoroids originating from a common source intersect the Earth. There will be small dissimilarities between the direction of motion of different meteoroids within a stream, and these small differences will act to broaden the radiant, or apparent point of origin, of the shower. This dispersion in meteor radiant can be particularly important when considering the effect of the Earth's gravity on the stream, as it limits the degree of enhancement of the stream's flux due to gravitational focusing. In this paper, we present measurements of the radiant dispersion of twelve showers using observations from the Global Meteor Network. We find that the median offset of individual meteors from the shower radiant ranges from 0.32$^\circ$ for the eta Aquariids to 1.41$^\circ$ for the Southern Taurids. We also find that there is a small but statistically significant drift in Sun-centered ecliptic radiant and/or geocentric speed over time for most showers. Finally, we compare radiant dispersion with shower duration and find that, in contrast with previous results, the two quantities are not correlated in our data.


title: Connecting adversarial attacks and optimal transport for domain adaptation

abstract: We present a novel algorithm for domain adaptation using optimal transport. In domain adaptation, the goal is to adapt a classifier trained on the source domain samples to the target domain. In our method, we use optimal transport to map target samples to the domain named source fiction. This domain differs from the source but is accurately classified by the source domain classifier. Our main idea is to generate a source fiction by c-cyclically monotone transformation over the target domain. If samples with the same labels in two domains are c-cyclically monotone, the optimal transport map between these domains preserves the class-wise structure, which is the main goal of domain adaptation. To generate a source fiction domain, we propose an algorithm that is based on our finding that adversarial attacks are a c-cyclically monotone transformation of the dataset. We conduct experiments on Digits and Modern Office-31 datasets and achieve improvement in performance for simple discrete optimal transport solvers for all adaptation tasks.


title: Edge coloring of graphs of signed class 1 and 2

abstract: Recently, Behr introduced a notion of the chromatic index of signed graphs and proved that for every signed graph $(G$, $\sigma)$ it holds that \[ \Delta(G)\leq\chi'(G\text{, }\sigma)\leq\Delta(G)+1\text{,} \] where $\Delta(G)$ is the maximum degree of $G$ and $\chi'$ denotes its chromatic index. In general, the chromatic index of $(G$, $\sigma)$ depends on both the underlying graph $G$ and the signature $\sigma$. In the paper we study graphs $G$ for which $\chi'(G$, $\sigma)$ does not depend on $\sigma$. To this aim we introduce two new classes of graphs, namely $1^\pm$ and $2^\pm$, such that graph $G$ is of class $1^\pm$ (respectively, $2^\pm$) if and only if $\chi'(G$, $\sigma)=\Delta(G)$ (respectively, $\chi'(G$, $\sigma)=\Delta(G)+1$) for all possible signatures $\sigma$. We prove that all wheels, necklaces, complete bipartite graphs $K_{r,t}$ with $r\neq t$ and almost all cacti graphs are of class $1^\pm$. Moreover, we give sufficient and necessary conditions for a graph to be of class $2^\pm$, i.e. we show that these graphs must have odd maximum degree and give examples of such graphs with arbitrary odd maximum degree bigger that $1$.


title: Fitting and recognition of geometric primitives in segmented 3D point clouds using a localized voting procedure

abstract: The automatic creation of geometric models from point clouds has numerous applications in CAD (e.g., reverse engineering, manufacturing, assembling) and, more in general, in shape modelling and processing. Given a segmented point cloud representing a man-made object, we propose a method for recognizing simple geometric primitives and their interrelationships. Our approach is based on the Hough transform (HT) for its ability to deal with noise, missing parts and outliers. In our method we introduce a novel technique for processing segmented point clouds that, through a voting procedure, is able to provide an initial estimate of the geometric parameters characterizing each primitive type. By using these estimates, we localize the search of the optimal solution in a dimensionally-reduced parameter space thus making it efficient to extend the HT to more primitives than those that are generally found in the literature, i.e. planes and spheres. Then, we extract a number of geometric descriptors that uniquely characterize a segment, and, on the basis of these descriptors, we show how to aggregate parts of primitives (segments). Experiments on both synthetic and industrial scans reveal the robustness of the primitive fitting method and its effectiveness for inferring relations among segments.


title: Doppler-Enabled Single-Antenna Localization and Mapping Without Synchronization

abstract: Radio localization is a key enabler for joint communication and sensing in the fifth/sixth generation (5G/6G) communication systems. With the help of multipath components (MPCs), localization and mapping tasks can be done with a single base station (BS) and single unsynchronized user equipment (UE) if both of them are equipped with an antenna array. However, the antenna array at the UE side increases the hardware and computational cost, preventing localization functionality. In this work, we show that with Doppler estimation and MPCs, localization and mapping tasks can be performed even with a single-antenna mobile UE. Furthermore, we show that the localization and mapping performance will improve and then saturate at a certain level with an increased UE speed. Both theoretical Cram\'er-Rao bound analysis and simulation results show the potential of localization under mobility and the effectiveness of the proposed localization algorithm.


title: Segmentation Consistency Training: Out-of-Distribution Generalization for Medical Image Segmentation

abstract: Generalizability is seen as one of the major challenges in deep learning, in particular in the domain of medical imaging, where a change of hospital or in imaging routines can lead to a complete failure of a model. To tackle this, we introduce Consistency Training, a training procedure and alternative to data augmentation based on maximizing models' prediction consistency across augmented and unaugmented data in order to facilitate better out-of-distribution generalization. To this end, we develop a novel region-based segmentation loss function called Segmentation Inconsistency Loss (SIL), which considers the differences between pairs of augmented and unaugmented predictions and labels. We demonstrate that Consistency Training outperforms conventional data augmentation on several out-of-distribution datasets on polyp segmentation, a popular medical task.


title: A standard form for scattered linearized polynomials and properties of the related translation planes

abstract: In this paper we present results concerning the stabilizer $G_f$ in $\mathrm{GL}(2,q^n)$ of the subspace $U_f=\{(x,f(x))\colon x\in\mathbb F_{q^n}[x]\}$, $f(x)$ a scattered linearized polynomial in $\mathbb F_{q^n}[x]$. Each $G_f$ contains the $q-1$ maps $(x,y)\mapsto(ax,ay)$, $a\in\mathbb F_{q}^*$. By virtue of the results of Beard (1972) and Willett (1973), the matrices in $G_f$ are simultaneously diagonalizable. This has several consequences: $(i)$ the polynomials such that $|G_f|>q-1$ have a standard form of type $\sum_{j=0}^{n/t-1}a_jx^{q^{s+jt}}$ for some $s$ and $t$ such that $(s,t)=1$, $t>1$ a divisor of $n$; $(ii)$ this standard form is essentially unique; $(iii)$ for $n>2$ and $q>3$, the translation plane $\cal A_f$ associated with $f(x)$ admits nontrivial affine homologies if and only if $|G_f|>q-1$, and in that case those with axis through the origin form two groups of cardinality $(q^t-1)/(q-1)$ that exchange axes and coaxes; $(iv)$ no plane of type $\cal A_f$, $f(x)$ a scattered polynomial not of pseudoregulus type, is a generalized Andr\'e plane.


title: Eigenvalue Bounds for Saddle-Point Systems with Singular Leading Blocks

abstract: We derive bounds on the eigenvalues of saddle-point matrices with singular leading blocks. The technique of proof is based on augmentation. Our bounds depend on the principal angles between the ranges or kernels of the matrix blocks. Numerical experiments validate our analytical findings.


title: Tetravalent half-arc-transitive graphs of order $12p$

abstract: A graph is half-arc-transitive if its automorphism group acts transitively on its vertex set, edge set, but not its arc set. In this paper, we study all tetravalent half-arc-transitive graphs of order $12p$.


title: Constraining mass of the graviton with GW170817

abstract: We consider the massive graviton phenomenological model based on the graviton's dispersion terms included into phase of gravitational wave's waveform. Such model was already considered in many works but it was based on a single leading-order dispersion term only. Here we derive a relation between relativistic gravitons emission and absorption time intervals computed up to ${\cal O}(\gamma^{-6})$, where $\gamma$ is the Lorentz factor. Including the dispersion terms into the phase of gravitational wave's waveform results in two non-GR parameters of the $1^{st}$ and the $-2^{nd}$ post-Newtonian orders whose posteriors are used to put a constraint on the graviton's rest mass. We use the TaylorF2 waveform model to analyse the event GW170817 and report the following $95\%$-confidence upper bounds on the graviton's rest mass: $m^{Low\,Spin}_{g}\leq1.305\times10^{-54}$g and $m^{High\,Spin}_{g}\leq2.996\times10^{-54}$g for the high and low spin priors.


title: The NEWS-G detector at SNOLAB

abstract: The New Experiments With Spheres-Gas (NEWS-G) collaboration intends to achieve $\mathrm{sub-GeV/c^{2}}$ Weakly Interacting Massive Particles (WIMPs) detection using Spherical Proportional Counters (SPCs). SPCs are gaseous detectors relying on ionization with a single ionization electron energy threshold. The latest generation of SPC for direct dark matter searches has been installed at SNOLAB in Canada in 2021. This article details the different processes involved in the fabrication of the NEWS-G experiment. Also outlined in this paper are the mitigation strategies, measurements of radioactivity of the different components, and estimations of induced background event rates that were used to quantify and address detector backgrounds.


title: A Game-Theoretic Framework for Managing Risk in Multi-Agent Systems

abstract: In order for agents in multi-agent systems (MAS) to be safe, they need to take into account the risks posed by the actions of other agents. However, the dominant paradigm in game theory (GT) assumes that agents are not affected by risk from other agents and only strive to maximise their expected utility. For example, in hybrid human-AI driving systems, it is necessary to limit large deviations in reward resulting from car crashes. Although there are equilibrium concepts in game theory that take into account risk aversion, they either assume that agents are risk-neutral with respect to the uncertainty caused by the actions of other agents, or they are not guaranteed to exist. We introduce a new GT-based Risk-Averse Equilibrium (RAE) that always produces a solution that minimises the potential variance in reward accounting for the strategy of other agents. Theoretically and empirically, we show RAE shares many properties with a Nash Equilibrium (NE), establishing convergence properties and generalising to risk-dominant NE in certain cases. To tackle large-scale problems, we extend RAE to the PSRO multi-agent reinforcement learning (MARL) framework. We empirically demonstrate the minimum reward variance benefits of RAE in matrix games with high-risk outcomes. Results on MARL experiments show RAE generalises to risk-dominant NE in a trust dilemma game and that it reduces instances of crashing by 7x in an autonomous driving setting versus the best performing baseline.


title: Characterization of interactions' persistence in time-varying networks

abstract: Many complex networked systems exhibit volatile dynamic interactions among their vertices, whose order and persistence reverberate on the outcome of dynamical processes taking place on them. To quantify and characterize the similarity of the snapshots of a time-varying network -- a proxy for the persistence,-- we present a study on the persistence of the interactions based on a descriptor named \emph{temporality}. We use the average value of the temporality, $\overline{\mathcal{T}}$, to assess how ``\emph{special}'' is a given time-varying network within the configuration space of ordered sequences of snapshots. We analyze the temporality of several empirical networks and find that empirical sequences are much more similar than their randomized counterparts. We study also the effects on $\overline{\mathcal{T}}$ induced by the (time) resolution at which interactions take place.


title: Uncertainty Quantification for Fairness in Two-Stage Recommender Systems

abstract: Many large-scale recommender systems consist of two stages. The first stage efficiently screens the complete pool of items for a small subset of promising candidates, from which the second-stage model curates the final recommendations. In this paper, we investigate how to ensure group fairness to the items in this two-stage architecture. In particular, we find that existing first-stage recommenders might select an irrecoverably unfair set of candidates such that there is no hope for the second-stage recommender to deliver fair recommendations. To this end, motivated by recent advances in uncertainty quantification, we propose two threshold-policy selection rules that can provide distribution-free and finite-sample guarantees on fairness in first-stage recommenders. More concretely, given any relevance model of queries and items and a point-wise lower confidence bound on the expected number of relevant items for each threshold-policy, the two rules find near-optimal sets of candidates that contain enough relevant items in expectation from each group of items. To instantiate the rules, we demonstrate how to derive such confidence bounds from potentially partial and biased user feedback data, which are abundant in many large-scale recommender systems. In addition, we provide both finite-sample and asymptotic analyses of how close the two threshold selection rules are to the optimal thresholds. Beyond this theoretical analysis, we show empirically that these two rules can consistently select enough relevant items from each group while minimizing the size of the candidate sets for a wide range of settings.


title: AMED: Automatic Mixed-Precision Quantization for Edge Devices

abstract: Quantized neural networks are well known for reducing the latency, power consumption, and model size without significant harm to the performance. This makes them highly appropriate for systems with limited resources and low power capacity. Mixed-precision quantization offers better utilization of customized hardware that supports arithmetic operations at different bitwidths. Quantization methods either aim to minimize the compression loss given a desired reduction or optimize a dependent variable for a specified property of the model (such as FLOPs or model size); both make the performance inefficient when deployed on specific hardware, but more importantly, quantization methods assume that the loss manifold holds a global minimum for a quantized model that copes with the global minimum of the full precision counterpart. Challenging this assumption, we argue that the optimal minimum changes as the precision changes, and thus, it is better to look at quantization as a random process, placing the foundation for a different approach to quantize neural networks, which, during the training procedure, quantizes the model to a different precision, looks at the bit allocation as a Markov Decision Process, and then, finds an optimal bitwidth allocation for measuring specified behaviors on a specific device via direct signals from the particular hardware architecture. By doing so, we avoid the basic assumption that the loss behaves the same way for a quantized model. Automatic Mixed-Precision Quantization for Edge Devices (dubbed AMED) demonstrates its superiority over current state-of-the-art schemes in terms of the trade-off between neural network accuracy and hardware efficiency, backed by a comprehensive evaluation.


title: Fresh look at experimental evidence for odderon exchange

abstract: Theory suggests that in high-energy elastic hadron+hadron scattering, $t$-channel exchange of a family of colourless crossing-odd states -- the odderon -- may generate differences between $p\bar p$ and $pp$ cross-sections in the neighbourhood of the diffractive minimum. Using a mathematical approach based on interpolation via continued fractions enhanced by statistical sampling, we develop robust comparisons between $p\bar p$ elastic differential cross-sections measured at $\surd s=1.96\,$TeV by the D0 Collaboration at the Tevatron and function-form-unbiased extrapolations to this energy of kindred $pp$ measurements at $\surd s /{\rm TeV} = 2.76, 7, 8, 13$ by the TOTEM Collaboration at the LHC and a combination of these data with earlier cross-section measurements at $\surd s/{\rm GeV} = 23.5, 30.7, 44.7, 52.8, 62.5$ made at the internal storage rings. Focusing on a domain that straddles the diffractive minimum in the $p\bar p$ and $pp$ cross-sections, we find that these two cross-sections differ at the $(2.2-2.6)\sigma$ level; hence, supply evidence with this level of significance for the existence of the odderon. If combined with evidence obtained through different experiment-theory comparisons, whose significance is reported to lie in the range $(3.4-4.6)\sigma$, one arrives at a $(4.0 - 5.2)\sigma$ signal for the odderon.


title: StyleTTS: A Style-Based Generative Model for Natural and Diverse Text-to-Speech Synthesis

abstract: Text-to-Speech (TTS) has recently seen great progress in synthesizing high-quality speech owing to the rapid development of parallel TTS systems, but producing speech with naturalistic prosodic variations, speaking styles and emotional tones remains challenging. Moreover, since duration and speech are generated separately, parallel TTS models still have problems finding the best monotonic alignments that are crucial for naturalistic speech synthesis. Here, we propose StyleTTS, a style-based generative model for parallel TTS that can synthesize diverse speech with natural prosody from a reference speech utterance. With novel Transferable Monotonic Aligner (TMA) and duration-invariant data augmentation schemes, our method significantly outperforms state-of-the-art models on both single and multi-speaker datasets in subjective tests of speech naturalness and speaker similarity. Through self-supervised learning of the speaking styles, our model can synthesize speech with the same prosodic and emotional tone as any given reference speech without the need for explicitly labeling these categories.


title: Lithium-Ion Battery Charging Schedule Optimization to Balance Battery Usage and Degradation

abstract: This work optimizes a lithium-ion battery charging schedule while considering a joint revenue and battery degradation model. The study extends the work of Meheswari et. al. to encourage battery usage/charging at optimal intervals depending on energy cost forecasts. This paper utilizes central difference Nesterov momentum gradient descent to come to optimal charging strategies and deal with the non-linearities of the battery degradation model. This optimization strategy is tested against constant, random varied price forecasts and a novel Gaussian process cost forecasting model. Contrary to many other papers regarding battery charging, formulating schedule optimization as a multivariate optimization problem provides meaningful insight to the inherent balance between these two competing objectives.


title: Charged black holes from T-duality

abstract: In this paper, we present a family of regular black hole solutions in the presence of charge and angular momentum. We also discuss the related thermodynamics and we comment about the black hole life cycle during the balding and spin down phases. Interestingly the static solution resembles the Ay\'on-Beato--Garc\'ia spacetime, provided the T-duality scale is redefined in terms of the electric charge, $l_0\to Q$. The key factor at the basis of our derivation is the employment of Padmanabhan's propagator to calculate static potentials. Such a propagator encodes string T-duality effects. This means that the regularity of the spacetimes here presented can open a new window on string theory phenomenology.


title: Exploring Advances in Transformers and CNN for Skin Lesion Diagnosis on Small Datasets

abstract: Skin cancer is one of the most common types of cancer in the world. Different computer-aided diagnosis systems have been proposed to tackle skin lesion diagnosis, most of them based in deep convolutional neural networks. However, recent advances in computer vision achieved state-of-art results in many tasks, notably Transformer-based networks. We explore and evaluate advances in computer vision architectures, training methods and multimodal feature fusion for skin lesion diagnosis task. Experiments show that PiT ($0.800 \pm 0.006$), CoaT ($0.780 \pm 0.024$) and ViT ($0.771 \pm 0.018$) backbone models with MetaBlock fusion achieved state-of-art results for balanced accuracy metric in PAD-UFES-20 dataset.


title: Orientation-Aware Model Predictive Control with Footstep Adaptation for Dynamic Humanoid Walking

abstract: This paper proposes a novel orientation-aware model predictive control (MPC) for dynamic humanoid walking that can plan footstep locations online. Instead of a point-mass model, this work uses the augmented single rigid body model (aSRBM) to enable the MPC to leverage orientation dynamics and stepping strategy within a unified optimization framework. With the footstep location as part of the decision variables in the aSRBM, the MPC can reason about stepping within the kinematic constraints. A task-space controller (TSC) tracks the body pose and swing leg references output from the MPC, while exploiting the full-order dynamics of the humanoid. The proposed control framework is suitable for real-time applications since both MPC and TSC are formulated as quadratic programs. Simulation investigations show that the orientation-aware MPC-based framework is more robust against external torque disturbance compared to state-of-the-art controllers using the point mass model, especially when the torso undergoes large angular excursion. The same control framework can also enable the MIT Humanoid to overcome uneven terrains, such as traversing a wave field.


title: Integrity Authentication in Tree Models

abstract: Tree models are very widely used in practice of machine learning and data mining. In this paper, we study the problem of model integrity authentication in tree models. In general, the task of model integrity authentication is the design \& implementation of mechanisms for checking/detecting whether the model deployed for the end-users has been tampered with or compromised, e.g., malicious modifications on the model. We propose an authentication framework that enables the model builders/distributors to embed a signature to the tree model and authenticate the existence of the signature by only making a small number of black-box queries to the model. To the best of our knowledge, this is the first study of signature embedding on tree models. Our proposed method simply locates a collection of leaves and modifies their prediction values, which does not require any training/testing data nor any re-training. The experiments on a large number of public classification datasets confirm that the proposed signature embedding process has a high success rate while only introducing a minimal prediction accuracy loss.


title: Continual Object Detection: A review of definitions, strategies, and challenges

abstract: The field of Continual Learning investigates the ability to learn consecutive tasks without losing performance on those previously learned. Its focus has been mainly on incremental classification tasks. We believe that research in continual object detection deserves even more attention due to its vast range of applications in robotics and autonomous vehicles. This scenario is more complex than conventional classification given the occurrence of instances of classes that are unknown at the time, but can appear in subsequent tasks as a new class to be learned, resulting in missing annotations and conflicts with the background label. In this review, we analyze the current strategies proposed to tackle the problem of class-incremental object detection. Our main contributions are: (1) a short and systematic review of the methods that propose solutions to traditional incremental object detection scenarios; (2) A comprehensive evaluation of the existing approaches using a new metric to quantify the stability and plasticity of each technique in a standard way; (3) an overview of the current trends within continual object detection and a discussion of possible future research directions.


title: Stability of linear systems with bounded switching intervals

abstract: We address the stability problem for linear switching systems with mode-dependent restrictions on the switching intervals. Their lengths can be bounded as from below (the guaranteed dwell-time) as from above. The upper bounds make this problem quite different from the classical case: a stable system can consist of unstable matrices, it may not possess Lyapunov functions, etc. We introduce the concept of Lyapunov multifunction with discrete monotonicity, which gives upper bounds for the Lyapunov exponent. Its existence as well as the existence of invariant norms are proved. Tight lower bounds are obtained in terms of a modified Berger-Wang formula over periodizable switching laws. Based on those results we develop a method of computation of the Lyapunov exponent with an arbitrary precision and analyse its efficiency in numerical results. The case when some of upper bounds can be cancelled is analysed.


title: Holistic Generalized Linear Models

abstract: Holistic linear regression extends the classical best subset selection problem by adding additional constraints designed to improve the model quality. These constraints include sparsity-inducing constraints, sign-coherence constraints and linear constraints. The $\textsf{R}$ package $\texttt{holiglm}$ provides functionality to model and fit holistic generalized linear models. By making use of state-of-the-art conic mixed-integer solvers, the package can reliably solve GLMs for Gaussian, binomial and Poisson responses with a multitude of holistic constraints. The high-level interface simplifies the constraint specification and can be used as a drop-in replacement for the $\texttt{stats::glm()}$ function.


title: FeatER: An Efficient Network for Human Reconstruction via Feature Map-Based TransformER

abstract: Recently, vision transformers have shown great success in a set of human reconstruction tasks such as 2D human pose estimation (2D HPE), 3D human pose estimation (3D HPE), and human mesh reconstruction (HMR) tasks. In these tasks, feature map representations of the human structural information are often extracted first from the image by a CNN (such as HRNet), and then further processed by transformer to predict the heatmaps (encodes each joint's location into a feature map with a Gaussian distribution) for HPE or HMR. However, existing transformer architectures are not able to process these feature map inputs directly, forcing an unnatural flattening of the location-sensitive human structural information. Furthermore, much of the performance benefit in recent HPE and HMR methods has come at the cost of ever-increasing computation and memory needs. Therefore, to simultaneously address these problems, we propose FeatER, a novel transformer design that preserves the inherent structure of feature map representations when modeling attention while reducing memory and computational costs. Taking advantage of FeatER, we build an efficient network for a set of human reconstruction tasks including 2D HPE, 3D HPE, and HMR. A feature map reconstruction module is applied to improve the performance of the estimated human pose and mesh. Extensive experiments demonstrate the effectiveness of FeatER on various human pose and mesh datasets. For instance, FeatER outperforms the SOTA method MeshGraphormer by requiring 5% of Params and 16% of MACs on Human3.6M and 3DPW datasets. The project webpage is https://zczcwh.github.io/feater_page/.


title: Posterior and Computational Uncertainty in Gaussian Processes

abstract: Gaussian processes scale prohibitively with the size of the dataset. In response, many approximation methods have been developed, which inevitably introduce approximation error. This additional source of uncertainty, due to limited computation, is entirely ignored when using the approximate posterior. Therefore in practice, GP models are often as much about the approximation method as they are about the data. Here, we develop a new class of methods that provides consistent estimation of the combined uncertainty arising from both the finite number of data observed and the finite amount of computation expended. The most common GP approximations map to an instance in this class, such as methods based on the Cholesky factorization, conjugate gradients, and inducing points. For any method in this class, we prove (i) convergence of its posterior mean in the associated RKHS, (ii) decomposability of its combined posterior covariance into mathematical and computational covariances, and (iii) that the combined variance is a tight worst-case bound for the squared error between the method's posterior mean and the latent function. Finally, we empirically demonstrate the consequences of ignoring computational uncertainty and show how implicitly modeling it improves generalization performance on benchmark datasets.


title: Water storage capacity of the Martian mantle through time

abstract: Water has been stored in the Martian mantle since its formation, primarily in nominally anhydrous minerals. The short-lived early hydrosphere and intermittently flowing water on the Martian surface may have been supplied and replenished by magmatic degassing of water from the mantle. Estimating the water storage capacity of the solid Martian mantle places important constraints on its water inventory and helps elucidate the sources, sinks, and temporal variations of water on Mars. In this study, we applied a bootstrap aggregation method to investigate the effects of iron on water storage capacities in olivine, wadsleyite, and ringwoodite, based on high-pressure experimental data compiled from the literature, and we provide a quantitative estimate of the upper bound of the bulk water storage capacity in the FeO-rich solid Martian mantle. Along a series of areotherms at different mantle potential temperatures ($T_{p}$), we estimated a water storage capacity equal to $9.0_{-2.2} ^{+2.8}$ km Global Equivalent Layer (GEL) for the present-day Martian mantle at $T_{p}$ = 1600 K and $4.9_{-1.5}^{+1.7}$ km GEL for the initial Martian mantle at $T_{p}$ = 1900 K. The water storage capacity of the Martian mantle increases with secular cooling through time, but due to the lack of an efficient water recycling mechanism on Mars, its actual mantle water content may be significantly lower than its water storage capacity today.


title: Economics of 100% renewable power systems

abstract: Studies have evaluated the economic feasibility of 100% renewable power systems using the optimization approach, but the mechanisms determining the results remain poorly understood. Based on a simple but essential model, this study found that the bottleneck formed by the largest mismatch between demand and power generation profiles determines the optimal capacities of generation and storage and their trade-off relationship. Applying microeconomic theory, particularly the duality of quantity and value, this study comprehensively quantified the relationships among the factor cost of technologies, their optimal capacities, and total system cost. Using actual profile data for multiple years/regions in Japan, this study demonstrated that hybrid systems comprising cost-competitive multiple renewable energy sources and different types of storage are critical for the economic feasibility of any profile.


title: MVMO: A Multi-Object Dataset for Wide Baseline Multi-View Semantic Segmentation

abstract: We present MVMO (Multi-View, Multi-Object dataset): a synthetic dataset of 116,000 scenes containing randomly placed objects of 10 distinct classes and captured from 25 camera locations in the upper hemisphere. MVMO comprises photorealistic, path-traced image renders, together with semantic segmentation ground truth for every view. Unlike existing multi-view datasets, MVMO features wide baselines between cameras and high density of objects, which lead to large disparities, heavy occlusions and view-dependent object appearance. Single view semantic segmentation is hindered by self and inter-object occlusions that could benefit from additional viewpoints. Therefore, we expect that MVMO will propel research in multi-view semantic segmentation and cross-view semantic transfer. We also provide baselines that show that new research is needed in such fields to exploit the complementary information of multi-view setups.


title: Prescribed Scalar Curvature on Compact Manifolds Under Conformal Deformation

abstract: We give sufficient and "almost" necessary conditions for the prescribed scalar curvature problems within the conformal class of a Riemannian metric $ g $ for both closed manifolds and compact manifolds with boundary, including the interesting cases $ \mathbb{S}^{n} $ or some quotient of $ \mathbb{S}^{n} $, in dimensions $ n \geqslant 3 $, provided that the first eigenvalues of conformal Laplacian (with appropriate boundary conditions if necessary) are positive. When the manifold is not some quotient of $ \mathbb{S}^{n} $, we show that, on one hand, any smooth function that is a positive constant within some open subset of the manifold with arbitrary positive measure, and has no restriction on the rest of the manifold, is a prescribed scalar curvature function of some metric under conformal change; on the other hand, any smooth function $ S $ is almost a prescribed scalar curvature function of Yamabe metric within the conformal class $ [g] $ in the sense that an appropriate perturbation of $ S $ that defers with $ S $ within an arbitrarily small open subset is a prescribed scalar curvature function of Yamabe metric. When the manifold is either $ \mathbb{S}^{n} $ or $ \mathbb{S}^n / \Gamma $ with Kleinian group $ \Gamma $ we show that any positive function that satisfies a technical analytical condition, called CONDITION B, can be realized as a prescribed scalar curvature functions on these manifolds.


title: Hard-core attractive Yukawa fluid global isomorphism with the lattice gas model

abstract: In this work we study the global isomorphism between the liquid-vapor equilibrium of the hard-core attractive Yukawa fluid (HCAYF) and that of the Lattice Gas (LG) model of the Ising-like type. The applicability of the global isomorphism transformation and dependence of its parameters on the screening length of the Yukawa potential are discussed. These parameters determine both the slope of the rectilinear diameter of the liquid-vapor binodal and the Zeno-element which are the core ingredients of the fluid - lattice gas isomorphism. We compare the Zeno-element parameters with the virial Zeno-line parameters which are commonly used in the literature for the formulation of generalized law of the correspondent states. It is demonstrated that the Zeno-element parameters appear to be sensitive to the liquid state instability when the interaction potential becomes too short-ranged while the virial ones do not show any peculiarities connected with this specific of the HCAYF.


title: A Simulation Environment and Reinforcement Learning Method for Waste Reduction

abstract: In retail (e.g., grocery stores, apparel shops, online retailers), inventory managers have to balance short-term risk (no items to sell) with long-term-risk (over ordering leading to product waste). This balancing task is made especially hard due to the lack of information about future customer purchases. In this paper, we study the problem of restocking a grocery store's inventory with perishable items over time, from a distributional point of view. The objective is to maximize sales while minimizing waste, with uncertainty about the actual consumption by costumers. This problem is of a high relevance today, given the growing demand for food and the impact of food waste on the environment, the economy, and purchasing power. We frame inventory restocking as a new reinforcement learning task that exhibits stochastic behavior conditioned on the agent's actions, making the environment partially observable. We make two main contributions. First, we introduce a new reinforcement learning environment, RetaiL, based on real grocery store data and expert knowledge. This environment is highly stochastic, and presents a unique challenge for reinforcement learning practitioners. We show that uncertainty about the future behavior of the environment is not handled well by classical supply chain algorithms, and that distributional approaches are a good way to account for the uncertainty. Second, we introduce GTDQN, a distributional reinforcement learning algorithm that learns a generalized Tukey Lambda distribution over the reward space. GTDQN provides a strong baseline for our environment. It outperforms other distributional reinforcement learning approaches in this partially observable setting, in both overall reward and reduction of generated waste.


title: Registering Image Volumes using 3D SIFT and Discrete SP-Symmetry

abstract: This paper proposes to extend local image features in 3D to include invariance to discrete symmetry including inversion of spatial axes and image contrast. A binary feature sign $s \in \{-1,+1\}$ is defined as the sign of the Laplacian operator $\nabla^2$, and used to obtain a descriptor that is invariant to image sign inversion $s \rightarrow -s$ and 3D parity transforms $(x,y,z)\rightarrow(-x,-y,-z)$, i.e. SP-invariant or SP-symmetric. SP-symmetry applies to arbitrary scalar image fields $I: R^3 \rightarrow R^1$ mapping 3D coordinates $(x,y,z) \in R^3$ to scalar intensity $I(x,y,z) \in R^1$, generalizing the well-known charge conjugation and parity symmetry (CP-symmetry) applying to elementary charged particles. Feature orientation is modeled as a set of discrete states corresponding to potential axis reflections, independently of image contrast inversion. Two primary axis vectors are derived from image observations and potentially subject to reflection, and a third axis is an axial vector defined by the right-hand rule. Augmenting local feature properties with sign in addition to standard (location, scale, orientation) geometry leads to descriptors that are invariant to coordinate reflections and intensity contrast inversion. Feature properties are factored in to probabilistic point-based registration as symmetric kernels, based on a model of binary feature correspondence. Experiments using the well-known coherent point drift (CPD) algorithm demonstrate that SIFT-CPD kernels achieve the most accurate and rapid registration of the human brain and CT chest, including multiple MRI modalities of differing intensity contrast, and abnormal local variations such as tumors or occlusions. SIFT-CPD image registration is invariant to global scaling, rotation and translation and image intensity inversions of the input data.


title: Orbit equivalence superrigidity for type III$_0$ actions

abstract: We prove the first orbit equivalence superrigidity results for actions of type III$_\lambda$ when $\lambda \neq 1$. These actions arise as skew products of actions of dense subgroups of $SL(n,\mathbb{R})$ on the sphere $S^{n-1}$ and they can have any prescribed associated flow.


title: Bayesian Active Learning for Scanning Probe Microscopy: from Gaussian Processes to Hypothesis Learning

abstract: Recent progress in machine learning methods, and the emerging availability of programmable interfaces for scanning probe microscopes (SPMs), have propelled automated and autonomous microscopies to the forefront of attention of the scientific community. However, enabling automated microscopy requires the development of task-specific machine learning methods, understanding the interplay between physics discovery and machine learning, and fully defined discovery workflows. This, in turn, requires balancing the physical intuition and prior knowledge of the domain scientist with rewards that define experimental goals and machine learning algorithms that can translate these to specific experimental protocols. Here, we discuss the basic principles of Bayesian active learning and illustrate its applications for SPM. We progress from the Gaussian Process as a simple data-driven method and Bayesian inference for physical models as an extension of physics-based functional fits to more complex deep kernel learning methods, structured Gaussian Processes, and hypothesis learning. These frameworks allow for the use of prior data, the discovery of specific functionalities as encoded in spectral data, and exploration of physical laws manifesting during the experiment. The discussed framework can be universally applied to all techniques combining imaging and spectroscopy, SPM methods, nanoindentation, electron microscopy and spectroscopy, and chemical imaging methods, and can be particularly impactful for destructive or irreversible measurements.


title: Do surface gravity waves have a frozen turbulence state?

abstract: We study the energy transfer by exact resonances for surface gravity waves in a finite periodic spatial domain. Based on a kinematic model simulating the generation of active wave modes in a finite discrete wavenumber space $\mathcal{S}_R$, we examine the possibility of direct and inverse energy cascades. More specifically, we set an initially excited region which iteratively spreads energy to wave modes in $\mathcal{S}_R$ through exact resonances. At each iteration, we first activate new modes from scale resonances (which generate modes with new lengths), then consider two bounding situations for angle resonances (which transfer energy at the same length scale): the lower bound where no angle resonance is included and the upper bound where all modes with the same length as any active mode are excited. Such a strategy is essential to enable the computation for a large domain $\mathcal{S}_R$ with the maximum wavenumber $R\sim 10^3$. We show that for both direct and inverse cascades, the energy cascade to the boundaries of $\mathcal{S}_R$ can be established when the initially excited region is sufficiently large, otherwise a frozen turbulence state occurs, with a sharp transition between the two regimes especially for the direct cascade. Through a study on the structure of resonant quartets, the mechanism associated with the sharp transition and the role of angular energy transfer in the cascades are elucidated.


title: Critic Sequential Monte Carlo

abstract: We introduce CriticSMC, a new algorithm for planning as inference built from a composition of sequential Monte Carlo with learned Soft-Q function heuristic factors. These heuristic factors, obtained from parametric approximations of the marginal likelihood ahead, more effectively guide SMC towards the desired target distribution, which is particularly helpful for planning in environments with hard constraints placed sparsely in time. Compared with previous work, we modify the placement of such heuristic factors, which allows us to cheaply propose and evaluate large numbers of putative action particles, greatly increasing inference and planning efficiency. CriticSMC is compatible with informative priors, whose density function need not be known, and can be used as a model-free control algorithm. Our experiments on collision avoidance in a high-dimensional simulated driving task show that CriticSMC significantly reduces collision rates at a low computational cost while maintaining realism and diversity of driving behaviors across vehicles and environment scenarios.


title: Derandomized knockoffs: leveraging e-values for false discovery rate control

abstract: Model-X knockoffs is a flexible wrapper method for high-dimensional regression algorithms, which provides guaranteed control of the false discovery rate (FDR). Due to the randomness inherent to the method, different runs of model-X knockoffs on the same dataset often result in different sets of selected variables, which is undesirable in practice. In this paper, we introduce a methodology for derandomizing model-X knockoffs with provable FDR control. The key insight of our proposed method lies in the discovery that the knockoffs procedure is in essence an e-BH procedure. We make use of this connection, and derandomize model-X knockoffs by aggregating the e-values resulting from multiple knockoff realizations. We prove that the derandomized procedure controls the FDR at the desired level, without any additional conditions (in contrast, previously proposed methods for derandomization are not able to guarantee FDR control). The proposed method is evaluated with numerical experiments, where we find that the derandomized procedure achieves comparable power and dramatically decreased selection variability when compared with model-X knockoffs.


title: Causal Explanations for Sequential Decision Making Under Uncertainty

abstract: We introduce a novel framework for causal explanations of stochastic, sequential decision-making systems built on the well-studied structural causal model paradigm for causal reasoning. This single framework can identify multiple, semantically distinct explanations for agent actions -- something not previously possible. In this paper, we establish exact methods and several approximation techniques for causal inference on Markov decision processes using this framework, followed by results on the applicability of the exact methods and some run time bounds. We discuss several scenarios that illustrate the framework's flexibility and the results of experiments with human subjects that confirm the benefits of this approach.


title: Few-Shot Diffusion Models

abstract: Denoising diffusion probabilistic models (DDPM) are powerful hierarchical latent variable models with remarkable sample generation quality and training stability. These properties can be attributed to parameter sharing in the generative hierarchy, as well as a parameter-free diffusion-based inference procedure. In this paper, we present Few-Shot Diffusion Models (FSDM), a framework for few-shot generation leveraging conditional DDPMs. FSDMs are trained to adapt the generative process conditioned on a small set of images from a given class by aggregating image patch information using a set-based Vision Transformer (ViT). At test time, the model is able to generate samples from previously unseen classes conditioned on as few as 5 samples from that class. We empirically show that FSDM can perform few-shot generation and transfer to new datasets. We benchmark variants of our method on complex vision datasets for few-shot learning and compare to unconditional and conditional DDPM baselines. Additionally, we show how conditioning the model on patch-based input set information improves training convergence.


title: Stripe correlations in the two-dimensional Hubbard-Holstein model

abstract: Several state-of-the-art numerical methods have observed static or fluctuating spin and charge stripes in doped two-dimensional Hubbard models, suggesting that these orders play a significant role in shaping the cuprate phase diagram. Many experiments, however, also indicate that the cuprates have strong electron-phonon ($e$-ph) coupling, and it is unclear how this interaction influences stripe correlations. We study static and fluctuating stripe orders in the doped singleband Hubbard-Holstein model using zero temperature variational Monte Carlo and finite temperature determinant quantum Monte Carlo. We find that the lattice couples more strongly with the charge component of the stripes, leading to an enhancement or suppression of stripe correlations, depending on model parameters like the next-nearest-neighbor hopping $t^\prime$ or phonon energy $\Omega$. Our results help elucidate how the $e$-ph interaction can tip the delicate balance between stripe and superconducting correlations in the Hubbard-Holstein model with implications for our understanding of the high-$T_\mathrm{c}$ cuprates.


title: Analyzing Modality Robustness in Multimodal Sentiment Analysis

abstract: Building robust multimodal models are crucial for achieving reliable deployment in the wild. Despite its importance, less attention has been paid to identifying and improving the robustness of Multimodal Sentiment Analysis (MSA) models. In this work, we hope to address that by (i) Proposing simple diagnostic checks for modality robustness in a trained multimodal model. Using these checks, we find MSA models to be highly sensitive to a single modality, which creates issues in their robustness; (ii) We analyze well-known robust training strategies to alleviate the issues. Critically, we observe that robustness can be achieved without compromising on the original performance. We hope our extensive study-performed across five models and two benchmark datasets-and proposed procedures would make robustness an integral component in MSA research. Our diagnostic checks and robust training solutions are simple to implement and available at https://github. com/declare-lab/MSA-Robustness.


title: Data Banzhaf: A Robust Data Valuation Framework for Machine Learning

abstract: Data valuation has wide use cases in machine learning, including improving data quality and creating economic incentives for data sharing. This paper studies the robustness of data valuation to noisy model performance scores. Particularly, we find that the inherent randomness of the widely used stochastic gradient descent can cause existing data value notions (e.g., the Shapley value and the Leave-one-out error) to produce inconsistent data value rankings across different runs. To address this challenge, we introduce the concept of safety margin, which measures the robustness of a data value notion. We show that the Banzhaf value, a famous value notion that originated from cooperative game theory literature, achieves the largest safety margin among all semivalues (a class of value notions that satisfy crucial properties entailed by ML applications and include the famous Shapley value and Leave-one-out error). We propose an algorithm to efficiently estimate the Banzhaf value based on the Maximum Sample Reuse (MSR) principle. Our evaluation demonstrates that the Banzhaf value outperforms the existing semivalue-based data value notions on several ML tasks such as learning with weighted samples and noisy label detection. Overall, our study suggests that when the underlying ML algorithm is stochastic, the Banzhaf value is a promising alternative to the other semivalue-based data value schemes given its computational advantage and ability to robustly differentiate data quality.


title: Operator Deformations and T-duality via Parallel Transport

abstract: We consider deformations of CFTs from the perspective of parallel transport in moduli space. In particular, we show how the deformations of individual operators can be computed and we also explore how these ideas can be extended to more general QFTs lacking conformal symmetry. We explore how to write one theory in terms of operators defined in a nearby theory, related to the first by a parallel transport in theory space. Using this construction, we describe how T-duality can be realised and how this provides a different perspective from the usual Buscher construction.


title: Polarization in early optical afterglows of gamma-ray bursts driven by precessing jets

abstract: Jet precessions are widely involved in astrophysical phenomena from galaxies to X-ray binaries and gamma-ray bursts (GRBs). Polarization presents a unique probe of the magnetic fields in GRB jets. The precession of GRBs relativistic jets will change the geometry within the observable emitting region of the jet, which can potentially affect the polarization of the afterglow. In this paper, we take into account jet precession to study the polarization evolution and corresponding light curves in GRB early optical afterglows with ordered and random magnetic field geometries. We find that the jet precession in long-lived engines can significantly reduce the polarization degree (PD) regardless of the magnetic field structure. The strongest PD attenuation is found when the line of sight is aligned with the precession axis. Our results show that jet precession can provide new insight into the low PD measured in the early optical afterglows of GRBs.


title: GCoNet+: A Stronger Group Collaborative Co-Salient Object Detector

abstract: In this paper, we present a novel end-to-end group collaborative learning network, termed GCoNet+, which can effectively and efficiently (250 fps) identify co-salient objects in natural scenes. The proposed GCoNet+ achieves the new state-of-the-art performance for co-salient object detection (CoSOD) through mining consensus representations based on the following two essential criteria: 1) intra-group compactness to better formulate the consistency among co-salient objects by capturing their inherent shared attributes using our novel group affinity module (GAM); 2) inter-group separability to effectively suppress the influence of noisy objects on the output by introducing our new group collaborating module (GCM) conditioning on the inconsistent consensus. To further improve the accuracy, we design a series of simple yet effective components as follows: i) a recurrent auxiliary classification module (RACM) promoting model learning at the semantic level; ii) a confidence enhancement module (CEM) assisting the model in improving the quality of the final predictions; and iii) a group-based symmetric triplet (GST) loss guiding the model to learn more discriminative features. Extensive experiments on three challenging benchmarks, i.e., CoCA, CoSOD3k, and CoSal2015, demonstrate that our GCoNet+ outperforms the existing 12 cutting-edge models. Code has been released at https://github.com/ZhengPeng7/GCoNet_plus.


title: The solution to the `$1/2$ vs $3/2$' puzzle

abstract: Using an almost complete relativistic method based on the Bethe-Salpeter equation, we study the mixing angle $\theta$, the mass splitting $\bigtriangleup M$, the strong decay widths $\Gamma(D^{({\prime})}_1)$ and the weak production rates $Br(B\to D^{({\prime})}_1\ell\nu_{\ell})$ of the $D_1(2420)$ and $D_1^{\prime}(2430)$. We find there is the strong cancellation between the $^1P_1$ and $^3P_1$ partial waves in $D_1^{\prime}(2430)$ with $\theta \sim-35.3^{\circ}$, which leads to the `$1/2$ vs $3/2$' puzzle. The puzzle can not be overcome by adding only relativistic corrections since in a large parameter range where $\bigtriangleup M$ is linear varying and not small, the $\theta$, $\Gamma(D^{({\prime})}_1)$ and $Br(B\to D^{({\prime})}_1\ell\nu_{\ell})$ remain almost unchanged but conflict with data. While in a special range around the mass inverse point where $\bigtriangleup M=0$ and $\theta =\pm 90^{\circ}$, they change rapidly but we find the windows where $\bigtriangleup M$, $\Gamma(D^{({\prime})}_1)$ and $Br(B\to D^{({\prime})}_1\ell\nu_{\ell})$ are all consistent with data. The small $\bigtriangleup M$ confirmed by experiment, is crucial to solve the `$1/2$ vs $3/2$' puzzle.


title: The zero locus and some combinatorial properties of certain exponential Sheffer sequences

abstract: We present combinatorial and analytical results concerning a Sheffer sequence with an exponential generating function of the form $G(s,z)=e^{czs+\alpha z^{2}+\beta z^{4}}$, where $\alpha, \beta, c \in \mathbb{R}$ with $\beta<0$ and $c\neq 0$. We demonstrate that the zeros of all polynomials in such a Sheffer sequence are either real, or purely imaginary. Additionally, using the properties of Riordan matrices we show that our Sheffer sequence satisfies a three-term recurrence relation of order 4, and we also exhibit a connection between the coefficients of these Sheffer polynomials and the number of nodes with a a given label in certain marked generating trees.


title: Penetration of Non-energetic Hydrogen Atoms into Amorphous Solid Water and their Reaction with Embedded Benzene and Naphthalene

abstract: Chemical processes on the surface of icy grains play an important role in the chemical evolution in molecular clouds. In particular, reactions involving non-energetic hydrogen atoms accreted from the gaseous phase have been extensively studied. These reactions are believed to effectively proceed only on the surface of the icy grains; thus, molecules embedded in the ice mantle are not considered to react with hydrogen atoms. Recently, Tsuge et al. (2020) suggested that non-energetic hydrogen atoms can react with CO molecules even in ice mantles via diffusive hydrogenation. This investigation was extended to benzene and naphthalene molecules embedded in amorphous solid water (ASW) in the present study, which revealed that a portion of these molecules could be fully hydrogenated in astrophysical environments. The penetration depths of non-energetic hydrogen atoms into porous and non-porous ASW were determined using benzene molecules to be >50 and ~10 monolayers, respectively (1 monolayer ~ 0.3 nm).


title: Free-Space Ellipsoid Graphs for Multi-Agent Target Monitoring

abstract: We apply a novel framework for decomposing and reasoning about free space in an environment to a multi-agent persistent monitoring problem. Our decomposition method represents free space as a collection of ellipsoids associated with a weighted connectivity graph. The same ellipsoids used for reasoning about connectivity and distance during high level planning can be used as state constraints in a Model Predictive Control algorithm to enforce collision-free motion. This structure allows for streamlined implementation in distributed multi-agent tasks in 2D and 3D environments. We illustrate its effectiveness for a team of tracking agents tasked with monitoring a group of target agents. Our algorithm uses the ellipsoid decomposition as a primitive for the coordination, path planning, and control of the tracking agents. Simulations with four tracking agents monitoring fifteen dynamic targets in obstacle-rich environments demonstrate the performance of our algorithm.


title: Localized semiclassical states for Hamiltonian elliptic systems in dimension two

abstract: In this paper, we consider the Hamiltonian elliptic system in dimension two\begin{equation}\label{1.5}\aligned \left\{ \begin{array}{lll} -\epsilon^2\Delta u+V(x)u=g(v)\ & \text{in}\quad \mathbb{R}^2,\\ -\epsilon^2\Delta v+V(x)v=f(u)\ & \text{in}\quad \mathbb{R}^2, \end{array}\right.\endaligned \end{equation} where $V\in C(\mathbb{R}^2)$ has local minimum points, and $f,g\in C^1(\mathbb{R})$ are assumed to be either superlinear or asymptotically linear at infinity and of subcritical exponential growth in the sense of Trudinger-Moser inequality. Under only a local condition on $V$, we obtain a family of semiclassical states concentrating around local minimum points of $V$. In addition, in the case that $f$ and $g$ are superlinear at infinity, the decay and positivity of semiclassical states are also given. The proof is based on a reduction method, variational methods and penalization techniques.


title: Tame parahoric nonabelian Hodge correspondence on curves

abstract: The nonabelian Hodge correspondence for vector bundles over noncompact curves is adequately described by implementing a weighted filtration on the objects involved. In order to establish a full correspondence between a Dolbeault and a de Rham space for a general complex reductive group $G$, we introduce torsors given by parahoric group schemes in the sense of Bruhat--Tits. Combined with existing results on the Riemann--Hilbert correspondence for logarithmic parahoric connections, this gives a full nonabelian Hodge correspondence from Higgs bundles to fundamental group representations over a noncompact curve beyond the $\text{GL}_n(\mathbb{C})$-case.


title: Augmenting Scientific Creativity with an Analogical Search Engine

abstract: Analogies have been central to creative problem-solving throughout the history of science and technology. As the number of scientific papers continues to increase exponentially, there is a growing opportunity for finding diverse solutions to existing problems. However, realizing this potential requires the development of a means for searching through a large corpus that goes beyond surface matches and simple keywords. Here we contribute the first end-to-end system for analogical search on scientific papers and evaluate its effectiveness with scientists' own problems. Using a human-in-the-loop AI system as a probe we find that our system facilitates creative ideation, and that ideation success is mediated by an intermediate level of matching on the problem abstraction (i.e., high versus low). We also demonstrate a fully automated AI search engine that achieves a similar accuracy with the human-in-the-loop system. We conclude with design implications for enabling automated analogical inspiration engines to accelerate scientific innovation.


title: Introduction of a tree-based technique for efficient and real-time label retrieval in the object tracking system

abstract: This paper addresses the issue of the real-time tracking quality of moving objects in large-scale video surveillance systems. During the tracking process, the system assigns an identifier or label to each tracked object to distinguish it from other objects. In such a mission, it is essential to keep this identifier for the same objects, whatever the area, the time of their appearance, or the detecting camera. This is to conserve as much information about the tracking object as possible, decrease the number of ID switching (ID-Sw), and increase the quality of object tracking. To accomplish object labeling, a massive amount of data collected by the cameras must be searched to retrieve the most similar (nearest neighbor) object identifier. Although this task is simple, it becomes very complex in large-scale video surveillance networks, where the data becomes very large. In this case, the label retrieval time increases significantly with this increase, which negatively affects the performance of the real-time tracking system. To avoid such problems, we propose a new solution to automatically label multiple objects for efficient real-time tracking using the indexing mechanism. This mechanism organizes the metadata of the objects extracted during the detection and tracking phase in an Adaptive BCCF-tree. The main advantage of this structure is: its ability to index massive metadata generated by multi-cameras, its logarithmic search complexity, which implicitly reduces the search response time, and its quality of research results, which ensure coherent labeling of the tracked objects. The system load is distributed through a new Internet of Video Things infrastructure-based architecture to improve data processing and real-time object tracking performance. The experimental evaluation was conducted on a publicly available dataset generated by multi-camera containing different crowd activities.


title: Quantum Algorithm for Higher-Order Unconstrained Binary Optimization and MIMO Maximum Likelihood Detection

abstract: In this paper, we propose a quantum algorithm that supports a real-valued higher-order unconstrained binary optimization (HUBO) problem. This algorithm is based on the Grover adaptive search that originally supported HUBO with integer coefficients. Next, as an application example, we formulate multiple-input multiple-output maximum likelihood detection as a HUBO problem with real-valued coefficients, where we use the Gray-coded bit-to-symbol mapping specified in the 5G standard. The proposed approach allows us to construct an efficient quantum circuit for the detection problem and to analyze specific numbers of required qubits and quantum gates, whereas other conventional studies have assumed that such a circuit is feasible as a quantum oracle. To further accelerate the quantum algorithm, we also derive a probability distribution of the objective function value and determine a unique threshold to sample better states. Assuming a future fault-tolerant quantum computing, our proposed algorithm has the potential for significantly reducing query complexity in the classical domain and providing a quadratic speedup in the quantum domain.


title: HierarchyNet: Learning to Summarize Source Code with Heterogeneous Representations

abstract: We propose a novel method for code summarization utilizing Heterogeneous Code Representations (HCRs) and our specially designed HierarchyNet. HCRs effectively capture essential code features at lexical, syntactic, and semantic levels by abstracting coarse-grained code elements and incorporating fine-grained program elements in a hierarchical structure. Our HierarchyNet method processes each layer of the HCR separately through a unique combination of the Heterogeneous Graph Transformer, a Tree-based CNN, and a Transformer Encoder. This approach preserves dependencies between code elements and captures relations through a novel Hierarchical-Aware Cross Attention layer. Our method surpasses current state-of-the-art techniques, such as PA-Former, CAST, and NeuralCodeSum.


title: Post-hoc Concept Bottleneck Models

abstract: Concept Bottleneck Models (CBMs) map the inputs onto a set of interpretable concepts (``the bottleneck'') and use the concepts to make predictions. A concept bottleneck enhances interpretability since it can be investigated to understand what concepts the model "sees" in an input and which of these concepts are deemed important. However, CBMs are restrictive in practice as they require dense concept annotations in the training data to learn the bottleneck. Moreover, CBMs often do not match the accuracy of an unrestricted neural network, reducing the incentive to deploy them in practice. In this work, we address these limitations of CBMs by introducing Post-hoc Concept Bottleneck models (PCBMs). We show that we can turn any neural network into a PCBM without sacrificing model performance while still retaining the interpretability benefits. When concept annotations are not available on the training data, we show that PCBM can transfer concepts from other datasets or from natural language descriptions of concepts via multimodal models. A key benefit of PCBM is that it enables users to quickly debug and update the model to reduce spurious correlations and improve generalization to new distributions. PCBM allows for global model edits, which can be more efficient than previous works on local interventions that fix a specific prediction. Through a model-editing user study, we show that editing PCBMs via concept-level feedback can provide significant performance gains without using data from the target domain or model retraining.


title: Determination of the electron trap level in Fe-doped GaN by phonon-assisted conduction phenomenon

abstract: We acoustically measured the energy level for thermally activated conduction (TAC) in high-resistivity Fe-doped GaN using the non-contacting antenna-transmission acoustic-resonance method. The acoustic attenuation takes a maximum at a specific temperature, where the TAC is accelerated with the help of phonon energy. The Debye type relaxation is thus observed for acoustic attenuation, and its activation energy (0.54$\pm$0.04 eV) was determined with attenuation measurements at various frequencies and temperatures. This value agrees with the E3 level in GaN, indicating that thermally associated conduction originates from the E3 trap level. We also measured the five independent elastic constants at high temperatures.


title: Boosted second-harmonic generation in the LiNbO$\mathrm{_3}$ metasurface governed by high-Q guided resonances and bound states in the continuum

abstract: To date, second-harmonic generation (SHG) at nanoscale has been concentrated on employing high-refractive-index nanostructures, owing to the strong field confinement at deep subwavelength scales based on optically resonant effects. However, low-index nanostructures generally exhibit weaker resonant effects and lower field confinement. To address this issue, by harnessing the large nonlinearity of LiNbO$\mathrm{_3}$, we propose a novel approach to employ guided resonances and bound states in the continuum (BICs) with a LiNbO$\mathrm{_3}$ metasurface consisting of a LiNbO$\mathrm{_3}$ disk array sitting on a LiNbO3 thin film. Such a system can transform the guided modes supported by LiNbO$\mathrm{_3}$ thin film into high-quality guided resonances which can be excited directly under plane-wave illumination. Importantly, we further demonstrate strong field confinement inside LiNbO3 thin film with tailorable Q-factor by realising a Friedrich-Wintgen BIC. Such a unique mode engineering enables a record-high SHG efficiency of 5\% under a pump intensity as low as 0.4 $\mathrm{MW/cm^{2}}$. Moreover, we reveal the influence of nonlinear resonances and cross-coupling on the SHG by showing the anomalous SHG and efficiency tuning with the rotation of the crystal axis. Our work offers a new route to constructing enhanced SHG based on high-Q guided resonances and BICs, including low-index and high-index nonlinear materials.


title: Multi-robot Task Assignment for Aerial Tracking with Viewpoint Constraints

abstract: We address the problem of assigning a team of drones to autonomously capture a set desired shots of a dynamic target in the presence of obstacles. We present a two-stage planning pipeline that generates offline an assignment of drone to shots and locally optimizes online the viewpoint. Given desired shot parameters, the high-level planner uses a visibility heuristic to predict good times for capturing each shot and uses an Integer Linear Program to compute drone assignments. An online Model Predictive Control algorithm uses the assignments as reference to capture the shots. The algorithm is validated in hardware with a pair of drones and a remote controlled car.


title: Prospects of a thousand-ion Sn$^{2+}$ Coulomb-crystal clock with sub-$10^{-19}$ inaccuracy

abstract: We propose a many-ion optical atomic clock based on three-dimensional Coulomb crystals of order one thousand Sn$^{2+}$ ions confined in a linear RF Paul trap. Sn$^{2+}$ has a unique combination of features that is not available in previously considered ions: a $^1$S$_0$ $\leftrightarrow$ $^3$P$_0$ clock transition between two states with zero electronic and nuclear angular momentum (I = J = F = 0) making it immune to nonscalar perturbations, a negative differential polarizability making it possible to operate the trap in a manner such that the two dominant shifts for three-dimensional ion crystals cancel each other, and a laser-accessible transition suitable for direct laser cooling and state readout. We present calculations of the differential polarizability, other relevant atomic properties, and the motion of ions in large Coulomb crystals, in order to estimate the achievable accuracy and precision of Sn$^{2+}$ Coulomb-crystal clocks.


title: FinBERT-MRC: financial named entity recognition using BERT under the machine reading comprehension paradigm

abstract: Financial named entity recognition (FinNER) from literature is a challenging task in the field of financial text information extraction, which aims to extract a large amount of financial knowledge from unstructured texts. It is widely accepted to use sequence tagging frameworks to implement FinNER tasks. However, such sequence tagging models cannot fully take advantage of the semantic information in the texts. Instead, we formulate the FinNER task as a machine reading comprehension (MRC) problem and propose a new model termed FinBERT-MRC. This formulation introduces significant prior information by utilizing well-designed queries, and extracts start index and end index of target entities without decoding modules such as conditional random fields (CRF). We conduct experiments on a publicly available Chinese financial dataset ChFinAnn and a real-word bussiness dataset AdminPunish. FinBERT-MRC model achieves average F1 scores of 92.78% and 96.80% on the two datasets, respectively, with average F1 gains +3.94% and +0.89% over some sequence tagging models including BiLSTM-CRF, BERT-Tagger, and BERT-CRF. The source code is available at https://github.com/zyz0000/FinBERT-MRC.


title: A $\textbf{Gray}$-categorical pasting theorem

abstract: The notion of $\textbf{Gray}$-category, a semi-strict $3$-category in which the middle four interchange is weakened to an isomorphism, is central in the study of three-dimensional category theory. In this context it is common practice to use $2$-dimensional pasting diagrams to express composites of $2$-cells, however there is no thorough treatment in the literature justifying this procedure. We fill this gap by providing a formal approach to pasting in $\textbf{Gray}$-categories and by proving that such composites are uniquely defined up to a contractible groupoid of choices.


title: Multi-layer quivers and higher slice algebras

abstract: In this paper, we introduce multi-layer quiver and show how to construct an $(n+1)$-slice algebras of infinite type from an $n$-slice algebra of infinite type using the bound quivers. This leads to constructing $(n+1)$-slice algebras of infinite type as matrix algebra and as tensor algebra of an $n$-slice algebra and equivalences of their module categories as the module categories of diagram of some quiver of type $\widetilde{A}_{n+1}$.


title: Spin-Acoustic Control of Silicon Vacancies in 4H Silicon Carbide

abstract: We demonstrate direct, acoustically mediated spin control of naturally occurring negatively charged silicon monovacancies (V$_{Si}^-$) in a high quality factor Lateral Overtone Bulk Acoustic Resonator fabricated out of high purity semi-insulating 4H-Silicon Carbide. We compare the frequency response of silicon monovacancies to a radio-frequency magnetic drive via optically-detected magnetic resonance and the resonator's own radio-frequency acoustic drive via optically-detected spin acoustic resonance and observe a narrowing of the spin transition to nearly the linewidth of the driving acoustic resonance. We show that acoustic driving can be used at room temperature to induce coherent population oscillations. Spin acoustic resonance is then leveraged to perform stress metrology of the lateral overtone bulk acoustic resonator, showing for the first time the stress distribution inside a bulk acoustic wave resonator. Our work can be applied to the characterization of high quality-factor micro-electro-mechanical systems and has the potential to be extended to a mechanically addressable quantum memory.