title: Romanus: Robust Task Offloading in Modular Multi-Sensor Autonomous Driving Systems

abstract: Due to the high performance and safety requirements of self-driving applications, the complexity of modern autonomous driving systems (ADS) has been growing, instigating the need for more sophisticated hardware which could add to the energy footprint of the ADS platform. Addressing this, edge computing is poised to encompass self-driving applications, enabling the compute-intensive autonomy-related tasks to be offloaded for processing at compute-capable edge servers. Nonetheless, the intricate hardware architecture of ADS platforms, in addition to the stringent robustness demands, set forth complications for task offloading which are unique to autonomous driving. Hence, we present $ROMANUS$, a methodology for robust and efficient task offloading for modular ADS platforms with multi-sensor processing pipelines. Our methodology entails two phases: (i) the introduction of efficient offloading points along the execution path of the involved deep learning models, and (ii) the implementation of a runtime solution based on Deep Reinforcement Learning to adapt the operating mode according to variations in the perceived road scene complexity, network connectivity, and server load. Experiments on the object detection use case demonstrated that our approach is 14.99% more energy-efficient than pure local execution while achieving a 77.06% reduction in risky behavior from a robust-agnostic offloading baseline.


title: Long-lived Solitons and Their Signatures in the Classical Heisenberg Chain

abstract: Motivated by the KPZ scaling recently observed in the classical ferromagnetic Heisenberg chain, we investigate the role of solitonic excitations in this model. We find that the Heisenberg chain, although well-known to be non-integrable, supports a two-parameter family of long-lived solitons. We connect these to the exact soliton solutions of the integrable Ishimori chain with $\log(1+ S_i\cdot S_j)$ interactions. We explicitly construct infinitely long-lived stationary solitons, and provide an adiabatic construction procedure for moving soliton solutions, which shows that Ishimori solitons have a long-lived Heisenberg counterpart when they are not too narrow and not too fast-moving. Finally, we demonstrate their presence in thermal states of the Heisenberg chain, even when the typical soliton width is larger than the spin correlation length, and argue that these excitations likely underlie the KPZ scaling.


title: MCTensor: A High-Precision Deep Learning Library with Multi-Component Floating-Point

abstract: In this paper, we introduce MCTensor, a library based on PyTorch for providing general-purpose and high-precision arithmetic for DL training. MCTensor is used in the same way as PyTorch Tensor: we implement multiple basic, matrix-level computation operators and NN modules for MCTensor with identical PyTorch interface. Our algorithms achieve high precision computation and also benefits from heavily-optimized PyTorch floating-point arithmetic. We evaluate MCTensor arithmetic against PyTorch native arithmetic for a series of tasks, where models using MCTensor in float16 would match or outperform the PyTorch model with float32 or float64 precision.


title: Isotonic propensity score matching

abstract: We propose a one-to-many matching estimator of the average treatment effect based on propensity scores estimated by isotonic regression. The method relies on the monotonicity assumption on the propensity score function, which can be justified in many applications in economics. We show that the nature of the isotonic estimator can help us to fix many problems of existing matching methods, including efficiency, choice of the number of matches, choice of tuning parameters, robustness to propensity score misspecification, and bootstrap validity. As a by-product, a uniformly consistent isotonic estimator is developed for our proposed matching method.


title: FLAIR: Federated Learning Annotated Image Repository

abstract: Cross-device federated learning is an emerging machine learning (ML) paradigm where a large population of devices collectively train an ML model while the data remains on the devices. This research field has a unique set of practical challenges, and to systematically make advances, new datasets curated to be compatible with this paradigm are needed. Existing federated learning benchmarks in the image domain do not accurately capture the scale and heterogeneity of many real-world use cases. We introduce FLAIR, a challenging large-scale annotated image dataset for multi-label classification suitable for federated learning. FLAIR has 429,078 images from 51,414 Flickr users and captures many of the intricacies typically encountered in federated learning, such as heterogeneous user data and a long-tailed label distribution. We implement multiple baselines in different learning setups for different tasks on this dataset. We believe FLAIR can serve as a challenging benchmark for advancing the state-of-the art in federated learning. Dataset access and the code for the benchmark are available at \url{https://github.com/apple/ml-flair}.


title: Efficient Ordered-Transmission Based Distributed Detection under Data Falsification Attacks

abstract: In distributed detection systems, energy-efficient ordered transmission (EEOT) schemes are able to reduce the number of transmissions required to make a final decision. In this work, we investigate the effect of data falsification attacks on the performance of EEOT-based systems. We derive the probability of error for an EEOT-based system under attack and find an upper bound (UB) on the expected number of transmissions required to make the final decision. Moreover, we tighten this UB by solving an optimization problem via integer programming (IP). We also obtain the FC's optimal threshold which guarantees the optimal detection performance of the EEOT-based system. Numerical and simulation results indicate that it is possible to reduce transmissions while still ensuring the quality of the decision with an appropriately designed threshold.


title: EIFIS: a modular extreme integral field spectrograph for the 10.4m GTC

abstract: EIFIS (Extreme Integral FIeld Spectrograph) is a modular integral field spectrograph, based on image slicers, and makes use of new, large format detectors. The concept is thought to cover the largest possible field of view while producing spectroscopy over the complete optical range (3 000 - 10 000 \r{A}) at a medium resolving power of about 2400. In the optimal concept, each module covers a field of view of 38" x 38" with 0.3" spaxels, which is fed into a double spectrograph with common collimator optics. The blue arm covers the spectral range between 3000 and 5600 \r{A} and the red arm between 5400 and 10100 \r{A}, allowing for an overlap range. The spectra are imaged onto 9.2k x 9.2k detectors using a double pseudoslit. The proposed design for the 10.4m Gran Telescopio Canarias uses a total of 6 such modules to cover a total of 2.43 square arcminutes. Here we will present the conceptual design of the instrument and a feasibility study of the optical and mechanical design of the spectrographs. We discuss the limitations and alternative designs and its potential to produce leading edge science in the era of extremely large telescopes and the James Webb Space Telescope.


title: Room temperature spin-orbit torque efficiency in sputtered low-temperature superconductor delta-TaN

abstract: In the course of searching for promising topological materials for applications in future topological electronics, we evaluated spin-orbit torques (SOTs) in high-quality sputtered ${\delta}-$TaN/Co20Fe60B20 devices through spin-torque ferromagnetic resonance ST-FMR and spin pumping measurements. From the ST-FMR characterization we observed a significant linewidth modulation in the magnetic Co20Fe60B20 layer attributed to the charge-to-spin conversion generated from the ${\delta}-$TaN layer. Remarkably, the spin-torque efficiency determined from ST-FMR and spin pumping measurements is as large as ${\Theta} =$ 0.034 and 0.031, respectively. These values are over two times larger than for ${\alpha}-$Ta, but almost five times lower than for ${\beta}-$Ta, which can be attributed to the low room temperature electrical resistivity $\sim 74{\mu}{\Omega}$ cm in ${\delta}-$TaN. A large spin diffusion length of at least $\sim8$ nm is estimated, which is comparable to the spin diffusion length in pure Ta. Comprehensive experimental analysis, together with density functional theory calculations, indicates that the origin of the pronounced SOT effect in ${\delta}-$TaN can be mostly related to a significant contribution from the Berry curvature associated with the presence of a topically nontrivial electronic band structure in the vicinity of the Fermi level (EF). Through additional detailed theoretical analysis, we also found that an isostructural allotrope of the superconducting ${\delta}-$TaN phase, the simple hexagonal structure, ${\theta}-$TaN, has larger Berry curvature, and that, together with expected reasonable charge conductivity, it can also be a promising candidate for exploring a generation of spin-orbit torque magnetic random access memory as cheap, temperature stable, and highly efficient spin current sources.


title: Consistent Polyhedral Surrogates for Top-$k$ Classification and Variants

abstract: Top-$k$ classification is a generalization of multiclass classification used widely in information retrieval, image classification, and other extreme classification settings. Several hinge-like (piecewise-linear) surrogates have been proposed for the problem, yet all are either non-convex or inconsistent. For the proposed hinge-like surrogates that are convex (i.e., polyhedral), we apply the recent embedding framework of Finocchiaro et al. (2019; 2022) to determine the prediction problem for which the surrogate is consistent. These problems can all be interpreted as variants of top-$k$ classification, which may be better aligned with some applications. We leverage this analysis to derive constraints on the conditional label distributions under which these proposed surrogates become consistent for top-$k$. It has been further suggested that every convex hinge-like surrogate must be inconsistent for top-$k$. Yet, we use the same embedding framework to give the first consistent polyhedral surrogate for this problem.


title: A note on powerful numbers in short intervals

abstract: In this note, we are interested in obtaining uniform upper bounds for the number of powerful numbers in short intervals $(x, x + y]$. We obtain unconditional upper bounds $O(\frac{y}{\log y})$ and $O(y^{11/12})$ for all powerful numbers and $y^{1/2}$-smooth powerful numbers respectively. Conditional on the $abc$-conjecture, we prove the bound $O(\frac{y}{\log^{1+\epsilon} y})$ for squarefull numbers and the bound $O(y^{(2 + \epsilon)/k})$ for $k$-full numbers when $k \ge 3$. They are related to Roth's theorem on arithmetic progressions and the conjecture on non-existence of three consecutive squarefull numbers.


title: Electron Sources for Accelerators

abstract: Electron sources are essential to an array of electron accelerator supporting research in high-energy physics and beyond. This report summarizes the "Snowmass 2021 Electron Source Workshop" which reviewed the current state-of-the art research and identified some possible research directions.


title: Magnetoelectric effects in Josephson junctions

abstract: The review is devoted to the fundamental aspects and characteristic features of the magnetoelectric effects, reported in the literature on Josephson junctions (JJs). The main focus of the review is on the manifestations of the direct and inverse magnetoelectric effects in various types of Josephson systems. They provide a coupling of the magnetization in superconductor/ferromagnet/superconductor JJs to the Josephson current. The direct magnetoelectric effect is a driving force of spin torques acting on the ferromagnet inside the JJ. Therefore it is of key importance for the electrical control of the magnetization. The inverse magnetoelectric effect accounts for the back action of the magnetization dynamics on the Josephson subsystem, in particular, making the JJ to be in the resistive state in the presence of the magnetization dynamics of any origin. The perspectives of the coupling of the magnetization in JJs with ferromagnetic interlayers to the Josephson current via the magnetoelectric effects are discussed.


title: Prior Knowledge Guided Unsupervised Domain Adaptation

abstract: The waive of labels in the target domain makes Unsupervised Domain Adaptation (UDA) an attractive technique in many real-world applications, though it also brings great challenges as model adaptation becomes harder without labeled target data. In this paper, we address this issue by seeking compensation from target domain prior knowledge, which is often (partially) available in practice, e.g., from human expertise. This leads to a novel yet practical setting where in addition to the training data, some prior knowledge about the target class distribution are available. We term the setting as Knowledge-guided Unsupervised Domain Adaptation (KUDA). In particular, we consider two specific types of prior knowledge about the class distribution in the target domain: Unary Bound that describes the lower and upper bounds of individual class probabilities, and Binary Relationship that describes the relations between two class probabilities. We propose a general rectification module that uses such prior knowledge to refine model generated pseudo labels. The module is formulated as a Zero-One Programming problem derived from the prior knowledge and a smooth regularizer. It can be easily plugged into self-training based UDA methods, and we combine it with two state-of-the-art methods, SHOT and DINE. Empirical results on four benchmarks confirm that the rectification module clearly improves the quality of pseudo labels, which in turn benefits the self-training stage. With the guidance from prior knowledge, the performances of both methods are substantially boosted. We expect our work to inspire further investigations in integrating prior knowledge in UDA. Code is available at https://github.com/tsun/KUDA.


title: A hierarchical semantic segmentation framework for computer vision-based bridge damage detection

abstract: Computer vision-based damage detection using remote cameras and unmanned aerial vehicles (UAVs) enables efficient and low-cost bridge health monitoring that reduces labor costs and the needs for sensor installation and maintenance. By leveraging recent semantic image segmentation approaches, we are able to find regions of critical structural components and recognize damage at the pixel level using images as the only input. However, existing methods perform poorly when detecting small damages (e.g., cracks and exposed rebars) and thin objects with limited image samples, especially when the components of interest are highly imbalanced. To this end, this paper introduces a semantic segmentation framework that imposes the hierarchical semantic relationship between component category and damage types. For example, certain concrete cracks only present on bridge columns and therefore the non-column region will be masked out when detecting such damages. In this way, the damage detection model could focus on learning features from possible damaged regions only and avoid the effects of other irrelevant regions. We also utilize multi-scale augmentation that provides views with different scales that preserves contextual information of each image without losing the ability of handling small and thin objects. Furthermore, the proposed framework employs important sampling that repeatedly samples images containing rare components (e.g., railway sleeper and exposed rebars) to provide more data samples, which addresses the imbalanced data challenge.


title: Explosive Transitions in Epidemic Dynamics

abstract: Standard epidemic models exhibit one continuous, second order phase transition to macroscopic outbreaks. However, interventions to control outbreaks may fundamentally alter epidemic dynamics. Here we reveal how such interventions modify the type of phase transition. In particular, we uncover three distinct types of explosive phase transitions for epidemic dynamics with capacity-limited interventions. Depending on the capacity limit, interventions may (i) leave the standard second order phase transition unchanged but exponentially suppress the probability of large outbreaks, (ii) induce a first-order discontinuous transition to macroscopic outbreaks, or (iii) cause a secondary explosive yet continuous third-order transition. These insights highlight inherent limitations in predicting and containing epidemic outbreaks. More generally our study offers a cornerstone example of a third order explosive phase transition in complex systems.


title: Deep Sequence Models for Text Classification Tasks

abstract: The exponential growth of data generated on the Internet in the current information age is a driving force for the digital economy. Extraction of information is the major value in an accumulated big data. Big data dependency on statistical analysis and hand-engineered rules machine learning algorithms are overwhelmed with vast complexities inherent in human languages. Natural Language Processing (NLP) is equipping machines to understand these human diverse and complicated languages. Text Classification is an NLP task which automatically identifies patterns based on predefined or undefined labeled sets. Common text classification application includes information retrieval, modeling news topic, theme extraction, sentiment analysis, and spam detection. In texts, some sequences of words depend on the previous or next word sequences to make full meaning; this is a challenging dependency task that requires the machine to be able to store some previous important information to impact future meaning. Sequence models such as RNN, GRU, and LSTM is a breakthrough for tasks with long-range dependencies. As such, we applied these models to Binary and Multi-class classification. Results generated were excellent with most of the models performing within the range of 80% and 94%. However, this result is not exhaustive as we believe there is room for improvement if machines are to compete with humans.


title: A product integration rule on equispaced nodes for highly oscillating integrals

abstract: This paper provides a product integration rule for highly oscillating integrands, based on equally spaced nodes. The stability and the error estimate are proven in the space of continuous functions, and some numerical tests which confirm such estimates are provided.


title: Sharp hypotheses and organic fiducial inference

abstract: A fundamental class of inferential problems are those characterised by there having been a substantial degree of pre-data (or prior) belief that the value of a model parameter $\theta_j$ was equal or lay close to a specified value $\theta^{*}_j$, which may, for example, be the value that indicates the absence of a treatment effect or the lack of correlation between two variables. This paper puts forward a generally applicable 'push-button' solution to problems of this type that circumvents the severe difficulties that arise when attempting to apply standard methods of inference, including the Bayesian method, to such problems. Usually the only input of major note that is required from the user in implementing this solution is the assignment of a pre-data or prior probability to the hypothesis that the parameter $\theta_j$ lies in a narrow interval $[\theta_{j0},\theta_{j1}]$ that is assumed to contain the value of interest $\theta^{*}_j$. On the other hand, the end result that is achieved by applying this method is, conveniently, a joint post-data distribution over all the parameters $\theta_1,\theta_2,\ldots,\theta_k$ of the model concerned. The proposed method is constructed by naturally combining a simple Bayesian argument with an approach to inference called organic fiducial inference that was developed in a number of earlier papers. To begin with, the main theoretical arguments underlying this combined Bayesian and fiducial method are presented and discussed in detail. Various applications and useful extensions of this methodology are then outlined in the latter part of the paper. The examples that are considered are made relevant to the analysis of clinical trial data where appropriate.


title: Population dynamics under demographic and environmental stochasticity

abstract: The present paper is devoted to the study of the long term dynamics of diffusion processes modelling a single species that experiences both demographic and environmental stochasticity. In our setting, the long term dynamics of the diffusion process in the absence of demographic stochasticity is determined by the sign of $\Lambda_0$, the external Lyapunov exponent, as follows: $\Lambda_0<0$ implies (asymptotic) extinction and $\Lambda_0>0$ implies convergence to a unique positive stationary distribution $\mu_0$. If the system is of size $\frac{1}{\epsilon^{2}}$ for small $\epsilon>0$ (the intensity of demographic stochasticity), demographic effects will make the extinction time finite almost surely. This suggests that to understand the dynamics one should analyze the quasi-stationary distribution (QSD) $\mu_\epsilon$ of the system. The existence and uniqueness of the QSD is well-known under mild assumptions. We look at what happens when the population size is sent to infinity, i.e., when $\epsilon\to 0$. We show that the external Lyapunov exponent still plays a key role: 1) If $\Lambda_0<0$, then $\mu_\epsilon\to \delta_0$, the mean extinction time is of order $|\ln \epsilon|$ and the extinction rate associated with the QSD $\mu_{\epsilon}$ has a lower bound of order $\frac{1}{|\ln\epsilon|}$; 2) If $\Lambda_0>0$, then $\mu_\epsilon\to \mu_0$, the mean extinction time is polynomial in $\frac{1}{\epsilon^{2}}$ and the extinction rate is polynomial in $\epsilon^{2}$. Furthermore, when $\Lambda_0>0$ we are able to show that the system exhibits multiscale dynamics: at first the process quickly approaches the QSD $\mu_\epsilon$ and then, after spending a polynomially long time there, it relaxes to the extinction state. We give sharp asymptotics in $\epsilon$ for the time spent close to $\mu_\epsilon$.


title: From Infinity to Choreographies: Extraction for Unbounded Systems

abstract: Choreographies are formal descriptions of distributed systems, which focus on the way in which participants communicate. While they are useful for analysing protocols, in practice systems are written directly by specifying each participant's behaviour. This created the need for choreography extraction: the process of obtaining a choreography that faithfully describes the collective behaviour of all participants in a distributed protocol. Previous works have addressed this problem for systems with a predefined, finite number of participants. In this work, we show how to extract choreographies from system descriptions where the total number of participants is unknown and unbounded, due to the ability of spawning new processes at runtime. This extension is challenging, since previous algorithms relied heavily on the set of possible states of the network during execution being finite.


title: The Ashtekar Variables and a Varying Cosmological Constant from Dynamical Chern-Simons Gravity

abstract: We revisit the Kodama state by quantizing the theory of General Relativity (GR) with dynamical Chern-Simons (dCS) gravity. We find a new exact solution to the Wheeler-DeWitt equation where the Pontryagin term induces a modification in the Kodama state from quantizing GR alone. The dCS modification directly encodes the variation of the cosmological constant.


title: Turning the information-sharing dial: efficient inference from different data sources

abstract: A fundamental aspect of statistics is the integration of data from different sources. Classically, Fisher and others were focused on how to integrate homogeneous (or only mildly heterogeneous) sets of data. More recently, as data are becoming more accessible, the question of if data sets from different sources should be integrated is becoming more relevant. The current literature treats this as a question with only two answers: integrate or don't. Here we take a different approach, motivated by information-sharing principles coming from the shrinkage estimation literature. In particular, we deviate from the do/don't perspective and propose a dial parameter that controls the extent to which two data sources are integrated. How far this dial parameter should be turned is shown to depend, for example, on the informativeness of the different data sources as measured by Fisher information. In the context of generalized linear models, this more nuanced data integration framework leads to relatively simple parameter estimates and valid tests/confidence intervals. Moreover, we demonstrate both theoretically and empirically that setting the dial parameter according to our recommendation leads to more efficient estimation compared to other binary data integration schemes.


title: The first and second homotopy groups of a homogeneous space of a complex linear algebraic group

abstract: Let $X$ be a homogeneous space of a connected linear algebraic group $G$ defined over the field of complex numbers $\mathbb C$. Let $x\in X({\mathbb C})$ be a point. We denote by $H$ the stabilizer of $x$ in $G$. When $H$ is connected, we compute the topological fundamental group $\pi_1^{\rm top}(X({\mathbb C}),x)$. Moreover, we compute the second homotopy group $\pi_2^{\rm top}(X({\mathbb C}),x)$.


title: Point-particle drag, lift, and torque closure models using machine learning: hierarchical approach and interpretability

abstract: Developing deterministic neighborhood-informed point-particle closure models using machine learning has garnered interest in recent times from dispersed multiphase flow community. The robustness of neural models for this complex multi-body problem is hindered by the availability of particle-resolved data. The present work addresses this unavoidable limitation of data paucity by implementing two strategies: (i) by using a rotation and reflection equivariant neural network and (ii) by pursuing a physics-based hierarchical machine learning approach. The resulting machine learned models are observed to achieve a maximum accuracy of 85% and 96% in the prediction of neighbor-induced force and torque fluctuations, respectively, for a wide range of Reynolds number and volume fraction conditions considered. Furthermore, we pursue force and torque network architectures that provide universal prediction spanning a wide range of Reynolds number ($0.25 \leq Re \leq 250$) and particle volume fraction ($0 \leq \phi \leq 0.4$). The hierarchical nature of the approach enables improved prediction of quantities such as streamwise torque, by going beyond binary interactions to include trinary interactions.


title: The Detectability of Rocky Planet Surface and Atmosphere Composition with JWST: The Case of LHS 3844b

abstract: The spectroscopic characterization of terrestrial exoplanets will be made possible for the first time with JWST. One challenge to characterizing such planets is that it is not known a priori whether they possess optically thick atmospheres or even any atmospheres altogether. But this challenge also presents an opportunity - the potential to detect the surface of an extrasolar world. This study explores the feasibility of characterizing the atmosphere and surface of a terrestrial exoplanet with JWST, taking LHS 3844b as a test case because it is the highest signal-to-noise rocky thermal emission target among planets that are cool enough to have non-molten surfaces. We model the planetary emission, including the spectral signal of both atmosphere and surface, and we explore all scenarios that are consistent with the existing Spitzer 4.5 $\mu$m measurement of LHS 3844b from Kreidberg et al. (2019). In summary, we find a range of plausible surfaces and atmospheres that are within 3 $\sigma$ of the observation - less reflective metal-rich, iron oxidized and basaltic compositions are allowed, and atmospheres are restricted to a maximum thickness of 1 bar, if near-infrared absorbers at $\gtrsim$ 100 ppm are included. We further make predictions on the observability of surfaces and atmospheres, perform a Bayesian retrieval analysis on simulated JWST data and find that a small number, ~3, of eclipse observations should suffice to differentiate between surface and atmospheric features. However, the surface signal may make it harder to place precise constraints on the abundance of atmospheric species and may even falsely induce a weak H$_2$O detection.


title: NeuForm: Adaptive Overfitting for Neural Shape Editing

abstract: Neural representations are popular for representing shapes, as they can be learned form sensor data and used for data cleanup, model completion, shape editing, and shape synthesis. Current neural representations can be categorized as either overfitting to a single object instance, or representing a collection of objects. However, neither allows accurate editing of neural scene representations: on the one hand, methods that overfit objects achieve highly accurate reconstructions, but do not generalize to unseen object configurations and thus cannot support editing; on the other hand, methods that represent a family of objects with variations do generalize but produce only approximate reconstructions. We propose NEUFORM to combine the advantages of both overfitted and generalizable representations by adaptively using the one most appropriate for each shape region: the overfitted representation where reliable data is available, and the generalizable representation everywhere else. We achieve this with a carefully designed architecture and an approach that blends the network weights of the two representations, avoiding seams and other artifacts. We demonstrate edits that successfully reconfigure parts of human-designed shapes, such as chairs, tables, and lamps, while preserving semantic integrity and the accuracy of an overfitted shape representation. We compare with two state-of-the-art competitors and demonstrate clear improvements in terms of plausibility and fidelity of the resultant edits.


title: Wink: Deniable Secure Messaging

abstract: End-to-end encrypted (E2EE) messaging is an essential first step in providing message confidentiality. Unfortunately, all security guarantees of end-to-end encryption are lost when keys or plaintext are disclosed, either due to device compromise or (sometimes lawful) coercion by powerful adversaries. This work introduces Wink, the first plausibly-deniable messaging system protecting message confidentiality from partial device compromise and compelled key disclosure. Wink can surreptitiously inject hidden messages in standard random coins (e.g., salts, IVs) used by existing E2EE protocols. It does so as part of legitimate secure cryptographic functionality deployed inside the widely-available trusted execution environment (TEE) TrustZone. This results in hidden communication using virtually unchanged existing E2EE messaging apps, as well as strong plausible deniability. Wink has been demonstrated with multiple existing E2EE applications (including Telegram and Signal) with minimal (external) instrumentation, negligible overheads, and crucially, without changing on-wire message formats.


title: Distributed Differentiable Dynamic Game for Multi-robot Coordination

abstract: This paper develops a Distributed Differentiable Dynamic Game (D3G) framework, which can efficiently solve the forward and inverse problems in multi-robot coordination. We formulate multi-robot coordination as a dynamic game, where the behavior of a robot is dictated by its own dynamics and objective that also depends on others' behavior. In the forward problem, D3G enables all robots collaboratively to seek the Nash equilibrium of the game in a distributed manner, by developing a distributed shooting-based Nash solver. In the inverse problem, where each robot aims to find (learn) its objective (and dynamics) parameters to mimic given coordination demonstrations, D3G proposes a differentiation solver based on Differential Pontryagin's Maximum Principle, which allows each robot to update its parameters in a distributed and coordinated manner. We test the D3G in simulation with two types of robots given different task configurations. The results demonstrate the effectiveness of D3G for solving both forward and inverse problems in comparison with existing methods.


title: $N$-quandles of spatial graphs

abstract: The fundamental quandle is a powerful invariant of knots, links and spatial graphs, but it is often difficult to determine whether two quandles are isomorphic. One approach is to look at quotients of the quandle, such as the $n$-quandle defined by Joyce \cite{JO}; in particular, Hoste and Shanahan \cite{HS2} classified the knots and links with finite $n$-quandles. Mellor and Smith \cite{MS} introduced the $N$-quandle of a link as a generalization of Joyce's $n$-quandle, and proposed a classification of the links with finite $N$-quandles. We generalize the $N$-quandle to spatial graphs, and investigate which spatial graphs have finite $N$-quandles. We prove basic results about $N$-quandles for spatial graphs, and conjecture a classification of spatial graphs with finite $N$-quandles, extending the conjecture for links in \cite{MS}. We verify the conjecture in several cases, and also present a possible counterexample.


title: A Deep Reinforcement Learning Approach for Finding Non-Exploitable Strategies in Two-Player Atari Games

abstract: This paper proposes new, end-to-end deep reinforcement learning algorithms for learning two-player zero-sum Markov games. Different from prior efforts on training agents to beat a fixed set of opponents, our objective is to find the Nash equilibrium policies that are free from exploitation by even the adversarial opponents. We propose (a) Nash-DQN algorithm, which integrates the deep learning techniques from single DQN into the classic Nash Q-learning algorithm for solving tabular Markov games; (b) Nash-DQN-Exploiter algorithm, which additionally adopts an exploiter to guide the exploration of the main agent. We conduct experimental evaluation on tabular examples as well as various two-player Atari games. Our empirical results demonstrate that (i) the policies found by many existing methods including Neural Fictitious Self Play and Policy Space Response Oracle can be prone to exploitation by adversarial opponents; (ii) the output policies of our algorithms are robust to exploitation, and thus outperform existing methods.


title: Anomalous Hall metal and fractional Chern insulator in twisted transition metal dichalcogenides

abstract: We predict robust Ising ferromagnetism driven by Coulomb interaction in the metallic phase of twisted transition metal dichalcogenides homobilayers for a range of small twist angles. Due to the presence of spin-valley locking and Chern band, the completely spin polarized state -- a half metal -- has a spin gap and exhibits anomalous Hall effect. We also find that near a magic angle where the Chern band is predicted to be exceptionally flat, the anomalous Hall metal at $1/3$ filling may become unstable at low temperature to a $\sqrt{3}\times\sqrt{3}$ charge density wave, or a fractional Chern insulator.


title: On the Study of Sample Complexity for Polynomial Neural Networks

abstract: As a general type of machine learning approach, artificial neural networks have established state-of-art benchmarks in many pattern recognition and data analysis tasks. Among various kinds of neural networks architectures, polynomial neural networks (PNNs) have been recently shown to be analyzable by spectrum analysis via neural tangent kernel, and particularly effective at image generation and face recognition. However, acquiring theoretical insight into the computation and sample complexity of PNNs remains an open problem. In this paper, we extend the analysis in previous literature to PNNs and obtain novel results on sample complexity of PNNs, which provides some insights in explaining the generalization ability of PNNs.


title: Proposal and Description of a Test System with Wind, Hydro and Fossil Fuel Power Plants for Static Analyses

abstract: This article presents and describes a 229 bus test system that includes wind, hydro and fossil fuel power plants. It represents the Northeast subsystem of the Brazilian Interconnected Power System (BIPS). The test system supplies a load of 4.17 GW, being 13% powered by wind farms, which is the current wind power penetration level of the BIPS. The data comprehends different load levels based on the typical load behavior and typical capacity factors of wind, hydro and fossil fuel plants, as well as the capacity of transmission and sub-transmission lines, transformers, and the adopted structure for the test system. The data is compiled considering models and operating scenarios of the BIPS, and allow performing studies of static voltage stability, sensitivity of voltage stability margin considering the wind farms, and multi-objective optimization considering market constraints. The results of the simulations with the test system indicate the consistency of their data structure and its applicability to different studies of electric power systems.


title: Benchmarking Machine Learning Robustness in Covid-19 Genome Sequence Classification

abstract: The rapid spread of the COVID-19 pandemic has resulted in an unprecedented amount of sequence data of the SARS-CoV-2 genome -- millions of sequences and counting. This amount of data, while being orders of magnitude beyond the capacity of traditional approaches to understanding the diversity, dynamics, and evolution of viruses is nonetheless a rich resource for machine learning (ML) approaches as alternatives for extracting such important information from these data. It is of hence utmost importance to design a framework for testing and benchmarking the robustness of these ML models. This paper makes the first effort (to our knowledge) to benchmark the robustness of ML models by simulating biological sequences with errors. In this paper, we introduce several ways to perturb SARS-CoV-2 genome sequences to mimic the error profiles of common sequencing platforms such as Illumina and PacBio. We show from experiments on a wide array of ML models that some simulation-based approaches are more robust (and accurate) than others for specific embedding methods to certain adversarial attacks to the input sequences. Our benchmarking framework may assist researchers in properly assessing different ML models and help them understand the behavior of the SARS-CoV-2 virus or avoid possible future pandemics.


title: Achievable error exponents of data compression with quantum side information and communication over symmetric classical-quantum channels

abstract: A fundamental quantity of interest in Shannon theory, classical or quantum, is the optimal error exponent of a given channel W and rate R: the constant E(W,R) which governs the exponential decay of decoding error when using ever larger codes of fixed rate R to communicate over ever more (memoryless) instances of a given channel W. Here I show that a bound by Hayashi [CMP 333, 335 (2015)] for an analogous quantity in privacy amplification implies a lower bound on the error exponent of communication over symmetric classical-quantum channels. The resulting bound matches Dalai's [IEEE TIT 59, 8027 (2013)] sphere-packing upper bound for rates above a critical value, and reproduces the well-known classical result for symmetric channels. The argument proceeds by first relating the error exponent of privacy amplification to that of compression of classical information with quantum side information, which gives a lower bound that matches the sphere-packing upper bound of Cheng et al. [IEEE TIT 67, 902 (2021)]. In turn, the polynomial prefactors to the sphere-packing bound found by Cheng et al. may be translated to the privacy amplification problem, sharpening a recent result by Li, Yao, and Hayashi [arXiv:2111.01075 [quant-ph]], at least for linear randomness extractors.


title: A Quantum Simulator Based on Locally Controlled Logical Systems

abstract: In a digital quantum simulator, basic two-qubit interactions are manipulated by means of fast local control operations to establish a desired target Hamiltonian. Here we consider a quantum simulator based on logical systems, i.e. where several physical qubits are used to represent a single logical two-level system to obtain enhanced and simple control over effective interactions between logical systems. Fixed, distance-dependent pairwise interactions between the physical qubits lead to effective interactions between the logical systems, which can be fully controlled solely by the choice of their internal state. This allows one to directly manipulate the topology and strength of effective interactions between logical systems. We show how to choose and generate the required states of logical systems for any desired interaction pattern and topology, how to perform arbitrary logical measurements, and how to obtain full control over single logical systems using only the intrinsic two-body interactions and control of individual physical qubits. This leads to a universal quantum simulator based on logical systems. We discuss the advantages of such a logical quantum simulator over standard ones, including the possibility to reach target topologies that are only accessible with large overheads otherwise. We provide several examples of how to obtain different target interaction patterns and topologies from initial long-ranged or short-ranged qubit-qubit interactions with a specific distance dependence.


title: Dimension two holomorphic distributions on four-dimensional projective space

abstract: We study two-dimensional holomorphic distributions on $\mathbb{P}^4$. We classify dimension two distributions, of degree at most $2$, with either locally free tangent sheaf or locally free conormal sheaf and whose singular scheme has pure dimension one. We show that the corresponding sheaves are split. Next, we investigate the geometry of such distributions, studying from maximally non-integrable to integrable distributions. In the maximally non-integrable case, we show that the distribution is either of Lorentzian type or a push-forward by a rational map of the Cartan prolongation of a singular contact structure on a weighted projective 3-fold. We study distributions of dimension two in $\mathbb{P}^4$ whose the conormal sheaves are the Horrocks-Mumford sheaves, describing the numerical invariants of their singular schemes which are smooth and connected. Such distributions are maximally non-integrable, uniquely determined by their singular schemes and invariant by a group $H_5 \rtimes SL(2,\mathbb{Z}_5) \subset Sp(4, \mathbb{Q})$, where $H_5$ is the Heisenberg group of level $5$. We prove that the moduli spaces of Horrocks-Mumford distributions are irreducible quasi-projective varieties and we determine their dimensions. Finally, we observe that the space of codimension one distributions, of degree $d\geq 6$, on $\mathbb{P}^4$ have a family of degenerated flat holomorphic Riemannian metrics. Moreover, the degeneracy divisors of such metrics consist of codimension one distributions invariant by $H_5 \rtimes SL(2,\mathbb{Z}_5)$ and singular along a degenerate abelian surface with $(1,5)$-polarization and level-$5$-structure.


title: Layered Cost-Map-Based Traffic Management for Multiple Automated Mobile Robots via a Data Distribution Service

abstract: This letter proposes traffic management for multiple automated mobile robots (AMRs) based on a layered cost map. Multiple AMRs communicate via a data distribution service (DDS), which is shared by topics in the same DDS domain. The cost of each layer is manipulated by topics. The traffic management server in the domain sends or receives topics to each of AMRs. Using the layered cost map, the new concept of prohibition filter, lane filter, fleet layer, and region filter are proposed and implemented. The prohibition filter can help a user set an area that would prohibit an AMR from trespassing. The lane filter can help set one-way directions based on an angle image. The fleet layer can help AMRs share their locations via the traffic management server. The region filter requests for or receives an exclusive area, which can be occupied by only one AMR, from the traffic management server. All the layers are experimentally validated with real-world AMRs. Each area can be configured with user-defined images or text-based parameter files.


title: The theory of transport in helical spin-structure crystals

abstract: We study helical structures in spin-spiral single crystals. In the continuum approach for the helicity potential energy the simple electronic band splits into two non-parabolic bands. For the Fermi energy greater than the splitting between the bands, the lower band is described by a surface with a saddle shape in the direction of the helicity axis. Using the Boltzmann equation with the relaxation due to acoustic phonons, we discover the dependence of the current on the angle between the electric field and helicity axis leading to the both parallel and perpendicular to the electric field components in the electroconductivity. In addition, we find that the transition rates depend on an electron spin allowing the transition between the bands. The electric conductivities exhibit nonlinear behaviors with respect to chemical potential. We explain this effect as the interference of the band anisotropy, spin conservation, and interband transitions. The proposed theory with the spherical model in the effective mass approximation for conduction electrons can elucidate nonlinear dependencies that can be identified in experiments. There is the excellent agreement between the theoretical and experimental data for parallel resistivity depending on temperature at the phase transition from helical to ferromagnetic state in a MnP single crystal. In addition, we predict that the perpendicular resistivity abruptly drops to zero in the ferromagnetic phase.


title: Seshadri stratifications and Schubert varieties: a geometric construction of a standard monomial theory

abstract: A standard monomial theory for Schubert varieties is constructed exploiting (1) the geometry of the Seshadri stratifications of Schubert varieties by their Schubert subvarieties and (2) the combinatorial LS-path character formula for Demazure modules. The general theory of Seshadri stratifications is improved by using arbitrary linearization of the partial order and by weakening the definition of balanced stratification.


title: Evidence of extra-mixing in field giants as traced by lithium and carbon isotope ratio

abstract: Although not predicted by standard stellar evolution, the surface abundance of light elements, such as lithium (Li), carbon, and nitrogen, changes during the red giant branch (RGB) as a result of extra-mixing. This is associated usually with thermohaline mixing acting after the RGB bump. Peculiar Li-enriched RGB stars might also be related to either enhanced extra-mixing or pollution from external sources. We measure the Li abundance and carbon isotopic ratio 12C/13C in a sample of 166 field red giants with -0.3<[Fe/H]<0.2, targeted by the EXPRESS radial velocity program to analyze the effects of extra-mixing. Multiple-epoch observations needed for exoplanet detection are used to decrease the effects of telluric contamination in 12C/13C measurements. Due to the prevalence of upper limits, the Li abundance pattern is complicated to interpret, but the comparison between RGB and core-He burning giants shows effects of extra-mixing consistent with thermohaline. The most Li-enriched giant in the sample, classified as a RGB star close to the RGB bump, has low 12C/13C. Given that the 12C/13C should not be affected by planet engulfment, this does not seem to be the source of the high Li. There is a decreasing correlation between mass and 12C/13C in the RGB and an increasing correlation in the horizontal branch, which, once again, is consistent with thermohaline mixing. Our data also shows a correlation between 12C/13C and [Fe/H]. There is no evident impact of binarity either on Li or on 12C/13C. Our sample shows behavior consistent with additional mixing acting after the RGB bump. The 12C/13C adds new clues to describe extra-mixing, and could well be the best tool to study mixing in red giants. Additional measurements of 12C/13C in field stars would greatly improve our ability to compare with models and understand mixing mechanisms.


title: Quantum continuants, quantum rotundus and triangulations of annuli

abstract: We give enumerative interpretations of the polynomials arising as numerators and denominators of the $q$-deformed rational numbers introduced by Morier-Genoud and Ovsienko. The considered polynomials are quantum analogues of the classical continuants and of their cyclically invariant versions called rotundi. The combinatorial models involve triangulations of polygons and annuli. We prove that the quantum continuants are the coarea-generating functions of paths in a triangulated polygon and that the quantum rotundi are the (co)area-generating functions of closed loops on a triangulated annulus.


title: A Class of Moving Boundary Problems with a Source Term. Application of a Reciprocal Transformation

abstract: We consider a new Stefan-type problem for the classical heat equation with a latent heat and phase-change temperature depending of the variable time. We prove the equivalence of this Stefan problem with a class of boundary value problems for the nonlinear canonical evolution equation involving a source term with two free boundaries. This equivalence is obtained by applying a reduction to a Burgers equation and a reciprocal-type transformations. Moreover, for a particular case, we obtain a unique explicit solution for the two different problems.


title: Bipolar Thermoelectricity in Bilayer-Graphene--Superconductor Tunnel Junctions

abstract: We investigate the thermoelectric properties of a hybrid nanodevice composed by a 2D carbon based material and a superconductor. This system presents nonlinear bipolar thermoelectricity as induced by the spontaneous breaking of the Particle-Hole (PH) symmetry in a tunnel junction between a BiLayer Graphene (BLG) and a Bardeen-Cooper-Schrieffer (BCS) superconductor. In this scheme, the nonlinear thermoelectric effect, predicted and observed in SIS' junctions is not affected by the competitive effect of the Josephson coupling. From a fundamental perspective, the most intriguing feature of this effect is its bipolarity. The capability to open and control the BLG gap guarantees improved thermoelectric performances, that reach up to 1 mV/K regarding the Seebeck coefficient and a power density of 1 nW/$\mu$m$^2$ for temperature gradients of tens of Kelvins. Furthermore, the externally controlled gating can also dope the BLG, which is otherwise intrinsically PH symmetric, giving us the opportunity to investigate the bipolar thermoelectricity even in presence of a controlled suppression of the PH symmetry. The predicted robustness of this system could foster further experimental investigations and applications in the near future, thanks to the available techniques of nano-fabrication.


title: Broadband polarization-entangled source for C+L-band flex-grid quantum networks

abstract: The rising demand for transmission capacity in optical networks has motivated steady interest in expansion beyond the standard C-band (1530-1565 nm) into the adjacent L-band (1565-1625 nm), for an approximate doubling of capacity in a single stroke. However, in the context of quantum networking, the ability to leverage the L-band will require advanced tools for characterization and management of entanglement resources which have so far been lagging. In this work, we demonstrate an ultrabroadband two-photon source integrating both C- and L-band wavelength-selective switches for complete control of spectral routing and allocation across 7.5 THz in a single setup. Polarization state tomography of all 150 pairs of 25 GHz-wide channels reveals an average fidelity of 0.98 and total distillable entanglement greater than 181 kebits/s. This source is explicitly designed for flex-grid optical networks and can facilitate optimal utilization of entanglement resources across the full C+L-band.


title: Entanglement Entropy across the Lattice-Continuum Correspondence

abstract: This paper revisits standard calculations of free field entanglement entropy in light of the newly developed lattice-continuum correspondence. This correspondence prescribes an explicit method to extract an approximately continuum quantum field theory out of a fully regularized lattice theory. This prescription will here be extended to subregion algebras, and it will be shown how entropies of continuum boson and fermion theories can be computed by working purely with lattice quantities. This gives a clear picture of the origin of divergences in entanglement entropy while also presenting a concise and detailed recipe for calculating this important quantity in continuum theories.


title: Deeply-Learned Generalized Linear Models with Missing Data

abstract: Deep Learning (DL) methods have dramatically increased in popularity in recent years, with significant growth in their application to supervised learning problems in the biomedical sciences. However, the greater prevalence and complexity of missing data in modern biomedical datasets present significant challenges for DL methods. Here, we provide a formal treatment of missing data in the context of deeply learned generalized linear models, a supervised DL architecture for regression and classification problems. We propose a new architecture, \textit{dlglm}, that is one of the first to be able to flexibly account for both ignorable and non-ignorable patterns of missingness in input features and response at training time. We demonstrate through statistical simulation that our method outperforms existing approaches for supervised learning tasks in the presence of missing not at random (MNAR) missingness. We conclude with a case study of a Bank Marketing dataset from the UCI Machine Learning Repository, in which we predict whether clients subscribed to a product based on phone survey data. Supplementary materials for this article are available online.


title: Faithful actions of automorphism groups of free groups on algebraic varieties

abstract: Considering a certain construction of algebraic varieties $X$ endowed with an algebraic action of the group ${\rm Aut}(F_n)$, $n<\infty$, we obtain a criterion for the faithfulness of this action. It gives an infinite family $\mathscr F$ of $X$'s such that ${\rm Aut}(F_n)$ embeds into ${\rm Aut}(X)$. For $n\geqslant 3$, this implies nonlinearity, and for $n\geqslant 2$, the existence of $F_2$ in ${\rm Aut}(X)$ (hence nonamenability of the latter) for $X\in \mathscr F$. We find in ${\mathscr F}$ two infinite subfamilies ${\mathscr N}$ and $\mathscr R$ consisting of irreducible affine varieties such that every $X\in {\mathscr N}$ is nonrational (and even not stably rational), while every $X\in \mathscr R$ is rational and $3n$-dimensional. As an application, we show that the minimal dimension of affine algebraic varieties $Z$, for which ${\rm Aut}(Z)$ contains the braid group $B_n$ on $n\geqslant 3$ strands, does not exceed $3n$. This upper bound strengthens the one following from the paper by D. Krammer [Kr02], where the linearity of $B_n$ was proved (this latter bound is quadratic in $n$). The same upper bound also holds for ${\rm Aut}(F_n)$. In particular, it shows that the minimal rank of the Cremona groups containing ${\rm Aut}(F_n)$, does not exceed $3n$, and the same is true for $B_n$ if $n\geqslant 3$. This paper is a major revision of [Po21].


title: Robust Factorizations and Colorings of Tensor Graphs

abstract: Since the seminal result of Karger, Motwani, and Sudan, algorithms for approximate 3-coloring have primarily centered around SDP-based rounding. However, it is likely that important combinatorial or algebraic insights are needed in order to break the $n^{o(1)}$ threshold. One way to develop new understanding in graph coloring is to study special subclasses of graphs. For instance, Blum studied the 3-coloring of random graphs, and Arora and Ge studied the 3-coloring of graphs with low threshold-rank. In this work, we study graphs which arise from a tensor product, which appear to be novel instances of the 3-coloring problem. We consider graphs of the form $H = (V,E)$ with $V =V( K_3 \times G)$ and $E = E(K_3 \times G) \setminus E'$, where $E' \subseteq E(K_3 \times G)$ is any edge set such that no vertex has more than an $\epsilon$ fraction of its edges in $E'$. We show that one can construct $\widetilde{H} = K_3 \times \widetilde{G}$ with $V(\widetilde{H}) = V(H)$ that is close to $H$. For arbitrary $G$, $\widetilde{H}$ satisfies $|E(H) \Delta E(\widetilde{H})| \leq O(\epsilon|E(H)|)$. Additionally when $G$ is a mild expander, we provide a 3-coloring for $H$ in polynomial time. These results partially generalize an exact tensor factorization algorithm of Imrich. On the other hand, without any assumptions on $G$, we show that it is NP-hard to 3-color $H$.


title: Conditional DETR V2: Efficient Detection Transformer with Box Queries

abstract: In this paper, we are interested in Detection Transformer (DETR), an end-to-end object detection approach based on a transformer encoder-decoder architecture without hand-crafted postprocessing, such as NMS. Inspired by Conditional DETR, an improved DETR with fast training convergence, that presented box queries (originally called spatial queries) for internal decoder layers, we reformulate the object query into the format of the box query that is a composition of the embeddings of the reference point and the transformation of the box with respect to the reference point. This reformulation indicates the connection between the object query in DETR and the anchor box that is widely studied in Faster R-CNN. Furthermore, we learn the box queries from the image content, further improving the detection quality of Conditional DETR still with fast training convergence. In addition, we adopt the idea of axial self-attention to save the memory cost and accelerate the encoder. The resulting detector, called Conditional DETR V2, achieves better results than Conditional DETR, saves the memory cost and runs more efficiently. For example, for the DC$5$-ResNet-$50$ backbone, our approach achieves $44.8$ AP with $16.4$ FPS on the COCO $val$ set and compared to Conditional DETR, it runs $1.6\times$ faster, saves $74$\% of the overall memory cost, and improves $1.0$ AP score.


title: Generalized class polynomials

abstract: The Hilbert class polynomial has as roots the j-invariants of elliptic curves whose endomorphism ring is a given imaginary quadratic order. It can be used to compute elliptic curves over finite fields with a prescribed number of points. Since its coefficients are typically rather large, there has been continued interest in finding alternative modular functions whose corresponding class polynomials are smaller. Best known are Weber's functions, that reduce the size by a factor of 72 for a positive density subset of imaginary quadratic discriminants. On the other hand, Br\"oker and Stevenhagen showed that no modular function will ever do better than a factor of 100.83. We introduce a generalization of class polynomials, with reduction factors that are not limited by the Br\"oker-Stevenhagen bound. We provide examples matching Weber's reduction factor. For an infinite family of discriminants, their reduction factors surpass those of all previously known modular functions by a factor at least 2.


title: Deformation quantization of the simplest Poisson Orbifold

abstract: Whenever a given Poisson manifold is equipped with discrete symmetries the corresponding algebra of invariant functions or the algebra of functions twisted by the symmetry group can have new deformations, which are not captured by Kontsevich Formality. We consider the simplest example of this situation: $\mathbb{R}^2$ with the reflection symmetry $\mathbb{Z}_2$. The usual quantization leads to the Weyl algebra. While Weyl algebra is rigid, the algebra of even or twisted by $\mathbb{Z}_2$ functions has one more deformation, which was identified by Wigner and is related to Feigin's $gl_\lambda$ and to fuzzy sphere. With the help of homological perturbation theory we obtain explicit formula for the deformed product, the first order of which can be extracted from Shoikhet-Tsygan-Kontsevich formality.


title: TESS Observations of Kepler systems with Transit Timing Variations

abstract: We identify targets in the Kepler field that may be characterized by transit timing variations (TTVs) and are detectable by the Transiting Exoplanet Survey Satellite (TESS). Despite the reduced signal-to-noise ratio of TESS transits compared to Kepler, we recover 48 transits from 13 systems in Sectors 14, 15, 26, 40 and 41. We find strong evidence of a nontransiting perturber orbiting Kepler-396 (KOI-2672) and explore two possible cases of a third planet in that system that could explain the measured transit times. We update the ephemerides and mass constraints where possible at KOI-70 (Kepler-20), KOI-82 (Kepler-102), KOI-94 (Kepler-89), KOI-137 (Kepler-18), KOI-244 (Kepler-25), KOI-245 (Kepler-37), KOI-282 (Kepler-130), KOI-377 (Kepler-9), KOI-620 (Kepler-51), KOI-806 (Kepler-30), KOI-1353 (Kepler-289) and KOI-1783 (Kepler-1662).


title: One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus

abstract: Generalization techniques have many applications, including template construction, argument generalization, and indexing. Modern interactive provers can exploit advancement in generalization methods over expressive type theories to further develop proof generalization techniques and other transformations. So far, investigations concerned with anti-unification (AU) over $\lambda$-terms and similar type theories have focused on developing algorithms for well-studied variants. These variants forbid the nesting of generalization variables, restrict the structure of their arguments, and are \textit{unitary}. Extending these methods to more expressive variants is important to applications. We consider the case of nested generalization variables and show that the AU problem is \textit{nullary} (using \textit{capture-avoiding} substitutions), even when the arguments to free variables are severely restricted.


title: Identifying Large Charge Operators

abstract: The Large Charge sector of Conformal Field Theory (CFT) can generically be described through a semiclassical expansion around a superfluid background. In this work, focussing on $U(1)$ invariant Wilson-Fisher fixed points, we study the spectrum of spinning large charge operators. For sufficiently low spin these correspond to the phonon excitations of the superfluid state. We discuss the organization of these states into conformal multiplets and the form of the corresponding composite operators in the free field theory limit. The latter entails a mapping, built order-by-order in the inverse charge $n^{-1}$, between the Fock space of vacuum fluctuations and the Fock space of fluctuations around the superfluid state. We discuss the limitations of the semiclassical method, and find that the phonon description breaks down for spins of order $n^{1/2}$ while the computation of observables is valid up to spins of order $n$. Finally, we apply the semiclassical method to compute some conformal 3-point and 4-point functions, and analyze the conformal block decomposition of the latter with our knowledge of the operator spectrum.


title: Recognizing Hand Use and Hand Role at Home After Stroke from Egocentric Video

abstract: Introduction: Hand function is a central determinant of independence after stroke. Measuring hand use in the home environment is necessary to evaluate the impact of new interventions, and calls for novel wearable technologies. Egocentric video can capture hand-object interactions in context, as well as show how more-affected hands are used during bilateral tasks (for stabilization or manipulation). Automated methods are required to extract this information. Objective: To use artificial intelligence-based computer vision to classify hand use and hand role from egocentric videos recorded at home after stroke. Methods: Twenty-one stroke survivors participated in the study. A random forest classifier, a SlowFast neural network, and the Hand Object Detector neural network were applied to identify hand use and hand role at home. Leave-One-Subject-Out-Cross-Validation (LOSOCV) was used to evaluate the performance of the three models. Between-group differences of the models were calculated based on the Mathews correlation coefficient (MCC). Results: For hand use detection, the Hand Object Detector had significantly higher performance than the other models. The macro average MCCs using this model in the LOSOCV were 0.50 +- 0.23 for the more-affected hands and 0.58 +- 0.18 for the less-affected hands. Hand role classification had macro average MCCs in the LOSOCV that were close to zero for all models. Conclusion: Using egocentric video to capture the hand use of stroke survivors at home is feasible. Pose estimation to track finger movements may be beneficial to classifying hand roles in the future.


title: Weighted composition operators from $H^\infty$ to the Bloch space of a bounded homogeneous domain

abstract: Let $D$ be a bounded homogeneous domain in $\mathbb{C}^n$. In this paper, we study the bounded and the compact weighted composition operators mapping the Hardy space $H^\infty(D)$ into the Bloch space of $D$. We characterize the bounded weighted composition operators, provide operator norm estimates, and give sufficient conditions for compactness. We prove that these conditions are necessary in the case of the unit ball and the polydisk. We then show that if $D$ is a bounded symmetric domain, the bounded multiplication operators from $H^\infty(D)$ to the Bloch space of $D$ are the operators whose symbol is bounded.


title: ir_metadata: An Extensible Metadata Schema for IR Experiments

abstract: The information retrieval (IR) community has a strong tradition of making the computational artifacts and resources available for future reuse, allowing the validation of experimental results. Besides the actual test collections, the underlying run files are often hosted in data archives as part of conferences like TREC, CLEF, or NTCIR. Unfortunately, the run data itself does not provide much information about the underlying experiment. For instance, the single run file is not of much use without the context of the shared task's website or the run data archive. In other domains, like the social sciences, it is good practice to annotate research data with metadata. In this work, we introduce ir_metadata - an extensible metadata schema for TREC run files based on the PRIMAD model. We propose to align the metadata annotations to PRIMAD, which considers components of computational experiments that can affect reproducibility. Furthermore, we outline important components and information that should be reported in the metadata and give evidence from the literature. To demonstrate the usefulness of these metadata annotations, we implement new features in repro_eval that support the outlined metadata schema for the use case of reproducibility studies. Additionally, we curate a dataset with run files derived from experiments with different instantiations of PRIMAD components and annotate these with the corresponding metadata. In the experiments, we cover reproducibility experiments that are identified by the metadata and classified by PRIMAD. With this work, we enable IR researchers to annotate TREC run files and improve the reuse value of experimental artifacts even further.


title: A Game-theoretic Model of the Consumer Behavior Under Pay-What-You-Want Pricing Strategy

abstract: In a digital age where companies face rapid changes in technology, consumer trends, and business environments, there is a critical need for continual revision of the business model in response to disruptive innovation. A pillar of innovation in business practices is the adoption of novel pricing schemes, such as Pay-What-You-Want (PWYW). In this paper, we employed game theory and behavioral economics to model consumers' behavior in response to a PWYW pricing strategy where there is an information asymmetry between the consumer and supplier. In an effort to minimize the information asymmetry, we incorporated the supplier's cost and the consumer's reference prices as two parameters that might influence the consumer's payment decision. Our model shows that consumers' behavior varies depending on the available information. As a result, when an external reference point is provided, the consumer tends to pay higher amounts to follow the social herd or respect her self-image. However, the external reference price can also decrease her demand when, in the interest of fairness, she forgoes the purchase because the amount she is willing to pay is less that what she recognizes to be an unrecoverable cost to the supplier.


title: On the efficacy of the wisdom of crowds to forecast economic indicators

abstract: The interest in the wisdom of crowds stems mainly from the possibility of combining independent forecasts from experts in the hope that many expert minds are better than a few. Hence the relevant subject of study nowadays is the Vox Expertorum rather than Galton's original Vox Populi. Here we use the Federal Reserve Bank of Philadelphia's Survey of Professional Forecasters to analyze $15455$ forecasting contests to predict a variety of economic indicators. We find that the median has advantages over the mean as a method to combine the experts' estimates: the odds that the crowd beats all participants of a forecasting contest is $0.015$ when the aggregation is given by the mean and $0.026$ when it is given by the median. In addition, the median is always guaranteed to beat the majority of the participants, whereas the mean beats that majority in 67 percent of the forecasts only. Both aggregation methods yield a $20$ percent error on the average, which must be contrasted with the $15$ percent error of the contests' winners. A standard time series forecasting algorithm, the ARIMA model, yields a $31$ percent error on the average. However, since the expected error of a randomly selected forecaster is about $22$ percent, our conclusion is that selective attention is the most likely explanation for the mysterious high accuracy of the crowd reported in the literature.


title: Image to Icosahedral Projection for $\mathrm{SO}(3)$ Object Reasoning from Single-View Images

abstract: Reasoning about 3D objects based on 2D images is challenging due to variations in appearance caused by viewing the object from different orientations. Tasks such as object classification are invariant to 3D rotations and other such as pose estimation are equivariant. However, imposing equivariance as a model constraint is typically not possible with 2D image input because we do not have an a priori model of how the image changes under out-of-plane object rotations. The only $\mathrm{SO}(3)$-equivariant models that currently exist require point cloud or voxel input rather than 2D images. In this paper, we propose a novel architecture based on icosahedral group convolutions that reasons in $\mathrm{SO(3)}$ by learning a projection of the input image onto an icosahedron. The resulting model is approximately equivariant to rotation in $\mathrm{SO}(3)$. We apply this model to object pose estimation and shape classification tasks and find that it outperforms reasonable baselines. Project website: \url{https://dmklee.github.io/image2icosahedral}


title: Cohomological Hall algebras and their representations via torsion pairs

abstract: In this paper, we provide a way of attaching to a torsion pair $(T,F)$ on the heart of a stable $\infty$-category $C$ a cohomological (K-theoretical, categorified) Hall algebra and corresponding left and right representations. More precisely, the algebra is associated to the torsion part, while the representation is associated to the torsion-free part. The left and right actions enable us to construct canonical subalgebras of the endomorphism ring of the Borel-Moore homology and K-theory of the moduli stack of torsion-free objects, whose "positive parts" recover the cohomological Hall algebra and the K-theoretical Hall algebra associated to the torsion part $T$, respectively. This provides a new direction that might lead to overcome the long-standing limitation of the theory of cohomological Hall algebras to just produce "positive parts" of whole algebras. We also provide a geometric sufficient criterion ensuring the vanishing of the commutator between two different operators. In the quiver case, we obtain the action of the two-dimensional cohomological Hall algebra of a quiver on the cohomology of Nakajima quiver varieties within our framework. Besides the quiver case, we also apply our framework to two torsion pairs on a smooth projective complex surface, and we investigate the corresponding Hall algebras and their representations associated to them. Finally, we slightly modify our method to construct representations of the cohomological Hall algebra of zero-dimensional sheaves on $S$ on the Borel-Moore homology of the moduli spaces of Pandharipande-Thomas stable pairs on surfaces and on relative Hilbert schemes of points (and we obtain similar results at the level of K-theory and bounded derived category).


title: Towards Learning Self-Organized Criticality of Rydberg Atoms using Graph Neural Networks

abstract: Self-Organized Criticality (SOC) is a ubiquitous dynamical phenomenon believed to be responsible for the emergence of universal scale-invariant behavior in many, seemingly unrelated systems, such as forest fires, virus spreading or atomic excitation dynamics. SOC describes the buildup of large-scale and long-range spatio-temporal correlations as a result of only local interactions and dissipation. The simulation of SOC dynamics is typically based on Monte-Carlo (MC) methods, which are however numerically expensive and do not scale beyond certain system sizes. We investigate the use of Graph Neural Networks (GNNs) as an effective surrogate model to learn the dynamics operator for a paradigmatic SOC system, inspired by an experimentally accessible physics example: driven Rydberg atoms. To this end, we generalize existing GNN simulation approaches to predict dynamics for the internal state of the node. We show that we can accurately reproduce the MC dynamics as well as generalize along the two important axes of particle number and particle density. This paves the way to model much larger systems beyond the limits of traditional MC methods. While the exact system is inspired by the dynamics of Rydberg atoms, the approach is quite general and can readily be applied to other systems.


title: Exploiting Anyonic Behavior of Quasicrystals for Topological Quantum Computing

abstract: We show that quasicrystals exhibit anyonic behavior that can be used for topological quantum computing. In particular, we study a correspondence between the fusion Hilbert spaces of the simplest non-abelian anyon, the Fibonacci anyons, and the tiling spaces of a class of quasicrystals, which includes the one dimensional Fibonacci chain and the two dimensional Penrose tiling. A possible encoding on tiling spaces of topological quantum information processing is also discussed.


title: Low frequency radio continuum imaging and SED modeling of 11 LIRGs: radio-only and FUV to radio bands

abstract: We present the detailed analysis of 11 local luminous infrared galaxies (LIRGs) from ultraviolet through far-infrared to radio ($\sim$70 MHz to $\sim$15 GHz) bands. We derive the astrophysical properties through spectral energy distribution (SED) modeling using the Code Investigating GALaxy Emission (CIGALE) and UltraNest codes. The radio SEDs include our new observations at 325 and 610 MHz from the GMRT and the measurements from public archives. Our main results are (1) radio SEDs show turnovers and bends, (2) the synchrotron spectral index of the fitted radio spectra ranges between $-$0.5 and $-$1.7, and (3) the infrared luminosity, dust mass, dust temperature, stellar mass, star-formation rates (SFRs) and AGN fraction obtained from CIGALE falls in the range exhibited by galaxies of the same class. The ratio of 60$\mu$m infrared and 1.4 GHz radio luminosity, the 1.4 GHz thermal fraction, and emission measure range between 2.1 and 2.9, 0.1% and 10%, 0.02 and 269.5$\times$10$^{6}$ cm$^{-6}$ pc, respectively. We conclude that the turnovers seen in the radio SEDs are due to free-free absorption; this is supported by the low AGN fraction derived from the CIGALE analysis. The decomposed 1.4 GHz thermal and nonthermal radio luminosities allowed us to compute the star formation rate (SFR) using scaling relations. A positive correlation is observed between the SFR$_{IR}$ obtained 10 Myr ago (compared to 100 Myr ago) and 1.4 GHz radio (total and nonthermal) because similar synchrotron lifetimes are expected for typical magnetic field strengths observed in these galaxies ($\approx$50$\mu$G).


title: Cooperative Infrastructure Perception

abstract: Recent works have considered two qualitatively different approaches to overcome line-of-sight limitations of 3D sensors used for perception: cooperative perception and infrastructure-augmented perception. In this paper, motivated by increasing deployments of infrastructure LiDARs, we explore a third approach, cooperative infrastructure perception. This approach generates perception outputs by fusing outputs of multiple infrastructure sensors, but, to be useful, must do so quickly and accurately. We describe the design, implementation and evaluation of Cooperative Infrastructure Perception (CIP), which uses a combination of novel algorithms and systems optimizations. It produces perception outputs within 100 ms using modest computing resources and with accuracy comparable to the state-of-the-art. CIP, when used to augment vehicle perception, can improve safety. When used in conjunction with offloaded planning, CIP can increase traffic throughput at intersections.


title: Spinning Hexagons

abstract: We reduce the computation of three point function of three spinning operators with arbitrary polarizations to a statistical mechanics problem via the hexagon formalism. The central building block of these correlation functions is the hexagon partition function. We explore its analytic structure and use it to generate perturbative data for spinning three point functions. For certain polarizations and any coupling, we express the full asymptotic three point function in determinant form. With the integrability approach established we open the ground to study the large spin limit where dualities with null Wilson loops and integrable pentagons must appear.


title: Non-local scattering control in coupled resonator networks

abstract: We demonstrate scattering control of Gaussian-like wave packets propagating with constant envelope velocity and invariant waist through coupled resonator optical waveguides (CROW) via an external resonator coupled to multiple sites of the CROW. We calculate the analytical reflectance and transmittance using standard scattering methods from waveguide quantum electrodynamics and show it is possible to approximate them for an external resonator detuned to the CROW. Our analytical and approximate results are in good agreement with numerical simulations. We engineer various configurations using an external resonator coupled to two sites of a CROW to show light trapping with effective exponential decay between the coupling sites, wave packet splitting into two pairs of identical Gaussian-like wave packets, and a non-local Mach-Zehnder interferometer.


title: Change point detection in high dimensional data with U-statistics

abstract: We consider the problem of detecting distributional changes in a sequence of high dimensional data. Our approach combines two separate statistics stemming from $L_p$ norms whose behavior is similar under $H_0$ but potentially different under $H_A$, leading to a testing procedure that that is flexible against a variety of alternatives. We establish the asymptotic distribution of our proposed test statistics separately in cases of weakly dependent and strongly dependent coordinates as $\min\{N,d\}\to\infty$, where $N$ denotes sample size and $d$ is the dimension, and establish consistency of testing and estimation procedures in high dimensions under one-change alternative settings. Computational studies in single and multiple change point scenarios demonstrate our method can outperform other nonparametric approaches in the literature for certain alternatives in high dimensions. We illustrate our approach though an application to Twitter data concerning the mentions of U.S. Governors.


title: Raman Photogalvanic Effect: photocurrent at inelastic light scattering

abstract: We show theoretically that electromagnetic waves propagating in the transparency region of a non-centrosymmetric medium can induce a dc electric current. The origin of the effect is the Raman scattering of light by free carriers in the system. Due to the photon scattering, electrons undergo real quantum transitions resulting in the formation of their anisotropic momentum distribution and in shifts of electronic wavepackets giving rise to a steady state photocurrent. We present microscopic theory of the Raman Photogalvanic effect (RPGE) focusing on two specific situations: (i) generic case of a bulk gyrotropic semiconductor and (ii) a quantum well structure where the light is scattered by intersubband excitations. We uncover the relation of the predicted RPGE and the traditional photogalvanic effect at the light absorption.


title: More on superintegrable models on spaces of constant curvature

abstract: A known general class of superintegrable systems on 2D spaces of constant curvature can be defined by potentials separating in (geodesic) polar coordinates. The radial parts of these potentials correspond either to an isotropic harmonic oscillator or a generalised Kepler potential. The angular components, on the contrary, are given implicitly by a transcendental, in general, equation. In the present note, devoted to the previously less studied models with the radial potential of the generalised Kepler type, a new two-parameter family of relevant angular potentials is constructed in terms of elementary functions. For an appropriate choice of parameters, the family reduces to an asymmetric spherical Higgs oscillator.


title: Leaky-wave metasurfaces for integrated photonics

abstract: Metasurfaces have been rapidly advancing our command over the many degrees of freedom of light within compact, lightweight devices. However, so far, they have mostly been limited to manipulating light in free space. Grating couplers provide the opportunity of bridging far-field optical radiation and in-plane guided waves, and thus have become fundamental building blocks in photonic integrated circuits. However, their operation and degree of light control is much more limited than metasurfaces. Metasurfaces integrated on top of guided wave photonic systems have been explored to control the scattering of light off-chip with enhanced functionalities - namely, point-by-point manipulation of amplitude, phase or polarization. However, these efforts have so far been limited to controlling one or two optical degrees of freedom at best, and to device configurations much more complex compared to conventional grating couplers. Here, we introduce leaky-wave metasurfaces, which are based on symmetry-broken photonic crystal slabs that support quasi-bound states in the continuum. This platform has a compact form factor equivalent to the one of conventional grating couplers, but it provides full command over amplitude, phase and polarization (four optical degrees of freedom) across large apertures. We present experimental demonstrations of various functionalities for operation at wavelengths near 1.55 microns based on leaky-wave metasurfaces, including devices for phase and amplitude control at a fixed polarization state, and devices controlling all four optical degrees of freedom. Our results merge the fields of guided and free-space optics under the umbrella of metasurfaces, exploiting the hybrid nature of quasi-bound states in the continuum, for opportunities to advance in disruptive ways imaging, communications, augmented reality, quantum optics, LIDAR and integrated photonic systems.


title: A Community-Aware Framework for Social Influence Maximization

abstract: We consider the problem of Influence Maximization (IM), the task of selecting $k$ seed nodes in a social network such that the expected number of nodes influenced is maximized. We propose a community-aware divide-and-conquer framework that involves (i) learning the inherent community structure of the social network, (ii) generating candidate solutions by solving the influence maximization problem for each community, and (iii) selecting the final set of seed nodes using a novel progressive budgeting scheme. Our experiments on real-world social networks show that the proposed framework outperforms the standard methods in terms of run-time and the heuristic methods in terms of influence. We also study the effect of the community structure on the performance of the proposed framework. Our experiments show that the community structures with higher modularity lead the proposed framework to perform better in terms of run-time and influence.


title: Cancellation of divergences in the nonprojectable Horava theory

abstract: We perform an analysis of the ultraviolet divergences of the quantum nonprojectable Horava gravity. We work the quantum field theory directly in the Hamiltonian formalism provided by the Batalin-Fradkin-Vilkovisky quantization. In this way the second-class constraints can be incorporated to the quantization. A known local gauge-fixing condition leads to a local canonical Lagrangian. Although the canonical fields acquire regular propagators, irregular propagators persist for the field associated to the measure of the second-class constraints. Loops can be formed with the irregular propagators producing potentially dangerous subdivergences. We show that all these loops cancel exactly between them due to a perfect matching between the propagators and vertices of the fields and ghosts forming the loops. The rest of divergences behaves similiarly to the projectable theory, they can be removed by local counterterms. This result points to the renormalization of the nonprojectable Horava theory.


title: Learning Sparsity-Promoting Regularizers using Bilevel Optimization

abstract: We present a method for supervised learning of sparsity-promoting regularizers for denoising signals and images. Sparsity-promoting regularization is a key ingredient in solving modern signal reconstruction problems; however, the operators underlying these regularizers are usually either designed by hand or learned from data in an unsupervised way. The recent success of supervised learning (mainly convolutional neural networks) in solving image reconstruction problems suggests that it could be a fruitful approach to designing regularizers. Towards this end, we propose to denoise signals using a variational formulation with a parametric, sparsity-promoting regularizer, where the parameters of the regularizer are learned to minimize the mean squared error of reconstructions on a training set of ground truth image and measurement pairs. Training involves solving a challenging bilievel optimization problem; we derive an expression for the gradient of the training loss using the closed-form solution of the denoising problem and provide an accompanying gradient descent algorithm to minimize it. Our experiments with structured 1D signals and natural images show that the proposed method can learn an operator that outperforms well-known regularizers (total variation, DCT-sparsity, and unsupervised dictionary learning) and collaborative filtering for denoising. While the approach we present is specific to denoising, we believe that it could be adapted to the larger class of inverse problems with linear measurement models, giving it applicability in a wide range of signal reconstruction settings.


title: Easy Batch Normalization

abstract: It was shown that adversarial examples improve object recognition. But what about their opposite side, easy examples? Easy examples are samples that the machine learning model classifies correctly with high confidence. In our paper, we are making the first step toward exploring the potential benefits of using easy examples in the training procedure of neural networks. We propose to use an auxiliary batch normalization for easy examples for the standard and robust accuracy improvement.


title: Circulation of a digital community currency

abstract: Circulation is the characteristic feature of successful currency systems, from community currencies to cryptocurrencies to national currencies. In this paper, we propose a network analysis approach especially suited for studying circulation given a system's digital transaction records. Sarafu is a digital community currency that was active in Kenya over a period that saw considerable economic disruption due to the COVID-19 pandemic. We represent its circulation as a network of monetary flow among the 40,000 Sarafu users. Network flow analysis reveals that circulation was highly modular, geographically localized, and occurring among users with diverse livelihoods. Across localized sub-populations, network cycle analysis supports the intuitive notion that circulation requires cycles. Moreover, the sub-networks underlying circulation are consistently degree disassortative and we find evidence of preferential attachment. Community-based institutions often take on the role of local hubs, and network centrality measures confirm the importance of early adopters and of women's participation. This work demonstrates that networks of monetary flow enable the study of circulation within currency systems at a striking level of detail, and our findings can be used to inform the development of community currencies in marginalized areas.


title: Implicit Regularization with Polynomial Growth in Deep Tensor Factorization

abstract: We study the implicit regularization effects of deep learning in tensor factorization. While implicit regularization in deep matrix and 'shallow' tensor factorization via linear and certain type of non-linear neural networks promotes low-rank solutions with at most quadratic growth, we show that its effect in deep tensor factorization grows polynomially with the depth of the network. This provides a remarkably faithful description of the observed experimental behaviour. Using numerical experiments, we demonstrate the benefits of this implicit regularization in yielding a more accurate estimation and better convergence properties.


title: MRCLens: an MRC Dataset Bias Detection Toolkit

abstract: Many recent neural models have shown remarkable empirical results in Machine Reading Comprehension, but evidence suggests sometimes the models take advantage of dataset biases to predict and fail to generalize on out-of-sample data. While many other approaches have been proposed to address this issue from the computation perspective such as new architectures or training procedures, we believe a method that allows researchers to discover biases, and adjust the data or the models in an earlier stage will be beneficial. Thus, we introduce MRCLens, a toolkit that detects whether biases exist before users train the full model. For the convenience of introducing the toolkit, we also provide a categorization of common biases in MRC.


title: Robustar: Interactive Toolbox Supporting Precise Data Annotation for Robust Vision Learning

abstract: We introduce the initial release of our software Robustar, which aims to improve the robustness of vision classification machine learning models through a data-driven perspective. Building upon the recent understanding that the lack of machine learning model's robustness is the tendency of the model's learning of spurious features, we aim to solve this problem from its root at the data perspective by removing the spurious features from the data before training. In particular, we introduce a software that helps the users to better prepare the data for training image classification models by allowing the users to annotate the spurious features at the pixel level of images. To facilitate this process, our software also leverages recent advances to help identify potential images and pixels worthy of attention and to continue the training with newly annotated data. Our software is hosted at the GitHub Repository https://github.com/HaohanWang/Robustar.


title: Gauge-equivariant flow models for sampling in lattice field theories with pseudofermions

abstract: This work presents gauge-equivariant architectures for flow-based sampling in fermionic lattice field theories using pseudofermions as stochastic estimators for the fermionic determinant. This is the default approach in state-of-the-art lattice field theory calculations, making this development critical to the practical application of flow models to theories such as QCD. Methods by which flow-based sampling approaches can be improved via standard techniques such as even/odd preconditioning and the Hasenbusch factorization are also outlined. Numerical demonstrations in two-dimensional U(1) and SU(3) gauge theories with $N_f=2$ flavors of fermions are provided.


title: Relative Rota-Baxter operators of nonzero weights on Lie Triple Systems

abstract: In this paper, we introduce the notion of a relative Rota-Baxter operator of weight $\lambda$ on a Lie triple system with respect to an action on another Lie triple system, which can be characterized by the graph of their semidirect product. We also establish a cohomology theory for a relative Rota-Baxter operator of weight $\lambda$ on Lie triple systems and use the first cohomology group to classify infinitesimal deformations.


title: Abundance stratification in type Ia supernovae -- VI: the peculiar slow decliner SN\,1999aa

abstract: The abundance distribution in the ejecta of the peculiar slowly declining Type Ia supernova (SN\,Ia) SN\,1999aa is obtained by modelling a time series of optical spectra. Similar to SN\,1991T, SN\,1999aa was characterised by early-time spectra dominated by \FeIII\ features and a weak \SiII\,6355\,\AA\ line, but it exhibited a high-velocity \CaII\,H\&K line and morphed into a spectroscopically normal SN\,Ia earlier. Three explosion models are investigated, yielding comparable fits. The innermost layers are dominated by $\sim 0.3$\,\Msun\ of neutron-rich stable Fe-group elements, mostly stable iron. Above that central region lies a \Nifs-dominated shell, extending to $v \approx 11,000$ -- $12,000$\,\kms, with mass $\sim 0.65$\,\Msun. These inner layers are therefore similar to those of normal SNe\,Ia. However, the outer layers exhibit composition peculiarities similar to those of SN\,1991T: the intermediate-mass elements shell is very thin, containing only $\sim 0.2$\,\Msun, and is sharply separated from an outer oxygen-dominated shell, which includes $\sim 0.22$\,\Msun. These results imply that burning suddenly stopped in SN\,1999aa. This is a feature SN\,1999aa shares with SN\,1991T, and explain the peculiarities of both SNe, which are quite similar in nature apart from the different luminosities. The spectroscopic path from normal to SN\,1991T-like SNe\,Ia cannot be explained solely by a temperature sequence. It also involves composition layering differences, suggesting variations in the progenitor density structure or in the explosion parameters.


title: Multi-step domain adaptation by adversarial attack to $\mathcal{H} \Delta \mathcal{H}$-divergence

abstract: Adversarial examples are transferable between different models. In our paper, we propose to use this property for multi-step domain adaptation. In unsupervised domain adaptation settings, we demonstrate that replacing the source domain with adversarial examples to $\mathcal{H} \Delta \mathcal{H}$-divergence can improve source classifier accuracy on the target domain. Our method can be connected to most domain adaptation techniques. We conducted a range of experiments and achieved improvement in accuracy on Digits and Office-Home datasets.


title: The Simons Observatory: Antenna control software integration and implementation

abstract: The Simons Observatory (SO) is a ground-based cosmic microwave background survey experiment that consists of three 0.5 m small-aperture telescopes and one 6 m large-aperture telescope, sited at an elevation of 5200 m in the Atacama Desert in Chile. SO will study the polarization and temperature anisotropies of the Cosmic Microwave Background (CMB). The observatory will require well-understood telescope pointing and scanning. Good antenna control will allow us to execute the scan strategy devised to optimize sensitivity to our scientific goals, calibrate the system with celestial targets, and make maps. To achieve this, we integrate the data acquisition and control of the telescopes' Antenna Control Units (ACUs) within the software framework of the SO Observatory Control System (OCS). We present here the current status of the software integration for the ACUs, as well as measurements of the Small Aperture Telescope platforms' responsiveness to software commanding in the factory, plans for in situ measurements, and prospects for implementation on the Large Aperture Telescope.


title: Adversarial Training Improves Joint Energy-Based Generative Modelling

abstract: We propose the novel framework for generative modelling using hybrid energy-based models. In our method we combine the interpretable input gradients of the robust classifier and Langevin Dynamics for sampling. Using the adversarial training we improve not only the training stability, but robustness and generative modelling of the joint energy-based models.