title: SOLD: Sinhala Offensive Language Dataset

abstract: The widespread of offensive content online, such as hate speech and cyber-bullying, is a global phenomenon. This has sparked interest in the artificial intelligence (AI) and natural language processing (NLP) communities, motivating the development of various systems trained to detect potentially harmful content automatically. These systems require annotated datasets to train the machine learning (ML) models. However, with a few notable exceptions, most datasets on this topic have dealt with English and a few other high-resource languages. As a result, the research in offensive language identification has been limited to these languages. This paper addresses this gap by tackling offensive language identification in Sinhala, a low-resource Indo-Aryan language spoken by over 17 million people in Sri Lanka. We introduce the Sinhala Offensive Language Dataset (SOLD) and present multiple experiments on this dataset. SOLD is a manually annotated dataset containing 10,000 posts from Twitter annotated as offensive and not offensive at both sentence-level and token-level, improving the explainability of the ML models. SOLD is the first large publicly available offensive language dataset compiled for Sinhala. We also introduce SemiSOLD, a larger dataset containing more than 145,000 Sinhala tweets, annotated following a semi-supervised approach.


title: Symphony in the Latent Space: Provably Integrating High-dimensional Techniques with Non-linear Machine Learning Models

abstract: This paper revisits building machine learning algorithms that involve interactions between entities, such as those between financial assets in an actively managed portfolio, or interactions between users in a social network. Our goal is to forecast the future evolution of ensembles of multivariate time series in such applications (e.g., the future return of a financial asset or the future popularity of a Twitter account). Designing ML algorithms for such systems requires addressing the challenges of high-dimensional interactions and non-linearity. Existing approaches usually adopt an ad-hoc approach to integrating high-dimensional techniques into non-linear models and recent studies have shown these approaches have questionable efficacy in time-evolving interacting systems. To this end, we propose a novel framework, which we dub as the additive influence model. Under our modeling assumption, we show that it is possible to decouple the learning of high-dimensional interactions from the learning of non-linear feature interactions. To learn the high-dimensional interactions, we leverage kernel-based techniques, with provable guarantees, to embed the entities in a low-dimensional latent space. To learn the non-linear feature-response interactions, we generalize prominent machine learning techniques, including designing a new statistically sound non-parametric method and an ensemble learning algorithm optimized for vector regressions. Extensive experiments on two common applications demonstrate that our new algorithms deliver significantly stronger forecasting power compared to standard and recently proposed methods.


title: Dust Rings and Cavities in the Protoplanetary Disks around HD 163296 and DoAr 44

abstract: We model substructure in the protoplanetary disks around DoAr 44 and HD 163296 in order to better understand the conditions under which planets may form. We match archival millimeter-wavelength thermal emission against models of the disks' structure that are in radiation balance with the starlight heating and in vertical hydrostatic equilibrium, and then compare to archival polarized scattered near-infrared images of the disks. The millimeter emission arises in the interior, while the scattered near-infrared radiation probes the disks' outer layers. Our best model of the HD 163296 disk has dust masses $81\pm 13$ $M_\oplus$ in the inner ring at 68 au and $82^{+26}_{-16}$ $M_\oplus$ in the outer ring at 102 au, both falling within the range of estimates from previous studies. Our DoAr 44 model has total dust mass $84^{+7.0}_{-3.5}$ $M_\oplus$. Unlike HD 163296, DoAr 44 as of yet has no detected planets. If the central cavity in the DoAr 44 disk is caused by a planet, the planet's mass must be at least 0.5 $M_J$ and is unlikely to be greater than 1.6 $M_J$. We demonstrate that the DoAr 44 disk's structure with a bright ring offset within a fainter skirt can be formed by dust particles drifting through a plausible distribution of gas.


title: Effective quasiclassical models for odd-frequency superconductivity: energy-symmetry, preserved spectral weight, and Meissner response

abstract: The odd-frequency superconducting state appears generally in hybrid structures consisting of conventional superconductors and other materials, and features electrons that form temporally non-local Cooper pairs. The quasiclassical theory of superconductivity has been extensively used to model such systems, finding in many cases excellent agreement with experimental measurements. Therefore, it is of interest to study effective models of odd-frequency superconductivity to predict new phenomena associated with this form of unconventional pairing. We establish necessary criteria that the quasiclassical Green functions in odd-frequency superconducting systems in the dirty limit must satisfy in order to be physically reasonable, including conservation of spectral weight. We show that it is possible to write down effective models which satisfy all the abovementioned criteria, but which still predict different behavior when it comes to the density of states and the magnetic response of the superconductor. For instance, an effective model for the odd-frequency anomalous Green function that gives a conserved spectral weight can yield either a peaked or gapped density of states at the Fermi energy, and exhibit conventional, zero, or unconventional Meissner response. This finding demonstrates the importance of carefully considering the properties of effective models describing odd-frequency superconductivity in order to obtain physically reasonable results.


title: Reward Function Optimization of a Deep Reinforcement Learning Collision Avoidance System

abstract: The proliferation of unmanned aircraft systems (UAS) has caused airspace regulation authorities to examine the interoperability of these aircraft with collision avoidance systems initially designed for large transport category aircraft. Limitations in the currently mandated TCAS led the Federal Aviation Administration to commission the development of a new solution, the Airborne Collision Avoidance System X (ACAS X), designed to enable a collision avoidance capability for multiple aircraft platforms, including UAS. While prior research explored using deep reinforcement learning algorithms (DRL) for collision avoidance, DRL did not perform as well as existing solutions. This work explores the benefits of using a DRL collision avoidance system whose parameters are tuned using a surrogate optimizer. We show the use of a surrogate optimizer leads to DRL approach that can increase safety and operational viability and support future capability development for UAS collision avoidance.


title: Risk-Adaptive Approaches to Stochastic Optimization: A Survey

abstract: Uncertainty is prevalent in engineering design, data-driven problems, and decision making broadly. Due to inherent risk-averseness and ambiguity about assumptions, it is common to address uncertainty by formulating and solving conservative optimization models expressed using measures of risk and related concepts. We survey the rapid development of risk measures over the last quarter century. From their beginning in financial engineering, we recount the spread to nearly all areas of engineering and applied mathematics. Solidly rooted in convex analysis, risk measures furnish a general framework for handling uncertainty with significant computational and theoretical advantages. We describe the key facts, list several concrete algorithms, and provide an extensive list of references for further reading. The survey recalls connections with utility theory and distributionally robust optimization, points to emerging applications areas such as fair machine learning, and defines measures of reliability.


title: a survey on GPT-3

abstract: This paper provides an introductory survey to GPT-3. We cover some of the historical development behind this technology, some of the key features of GPT-3, and discuss the machine learning model and the datasets used. We survey both academic and commercial efforts applying GPT-3 in diverse domains such as developing conversational AI chatbots, software development, creative work, domain knowledge, and business productivity. We discuss some of the challenges that GPT-3 faces such as the problems of training complexity, bias, and hallucination/incorrect answers. We also discuss the future research opportunities in this area.


title: Algebras from finite group actions and a question of Eilenberg and Sch\"{u}tzenberger

abstract: In 1976 S. Eilenberg and M.-P. Sch\"{u}tzenberger posed the following diabolical question: if $\mathbf{A}$ is a finite algebraic structure, $\Sigma$ is the set of all identities true in $\mathbf{A}$, and there exists a finite subset $F$ of $\Sigma$ such that $F$ and $\Sigma$ have exactly the same finite models, must there also exist a finite subset $F'$ of $\Sigma$ such that $F'$ and $\Sigma$ have exactly the same finite and infinite models? (That is, must the identities of $\mathbf{A}$ be "finitely based"?) It is known that any counter-example to their question (if one exists) must fail to be finitely based in a particularly strange way. In this paper we show that the "inherently nonfinitely based" algebras constructed by Lawrence and Willard from group actions do not fail to be finitely based in this particularly strange way, and so do not provide a counter-example to the question of Eilenberg and Sch\"{u}tzenberger. As a corollary, we give the first known examples of inherently nonfinitely based "automatic algebras" constructed from group actions.


title: Conductance suppression due to two-stream instability in bilayer graphene

abstract: We investigate the electron-hole two-stream instability (or Coulomb drag) in intrinsic bilayer graphene in the hydrodynamic regime, accounting for the effects of temperature, initial drift velocity, magnetic field, and collisions. The threshold drift speed for the onset of instabilities is of the order of the thermal velocity of the carriers. We put in evidence an unprecedented purely electrostatic mechanism leading to current relaxation, giving rise to a well-defined dc longitudinal conductivity $\propto T^{3/2}$. Due to competition between electrostatic and collisional processes, two distinct transport regimes are identified. An analysis on the Hall conductivity revealed that the two-stream instability effects also correct the most recent results obtained within the linear response theory.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.quant-gas physics.plasm-ph


title: A Model-based GNN for Learning Precoding

abstract: Learning precoding policies with neural networks enables low complexity online implementation, robustness to channel impairments, and joint optimization with channel acquisition. However, existing neural networks suffer from high training complexity and poor generalization ability when they are used to learn to optimize precoding for mitigating multi-user interference. This impedes their use in practical systems where the number of users is time-varying. In this paper, we propose a graph neural network (GNN) to learn precoding policies by harnessing both the mathematical model and the property of the policies. We first show that a vanilla GNN cannot well-learn pseudo-inverse of channel matrix when the numbers of antennas and users are large, and is not generalizable to unseen numbers of users. Then, we design a GNN by resorting to the Taylor's expansion of matrix pseudo-inverse, which allows for capturing the importance of the neighbored edges to be aggregated that is crucial for learning precoding policies efficiently. Simulation results show that the proposed GNN can well learn spectral efficient and energy efficient precoding policies in single- and multi-cell multi-user multi-antenna systems with low training complexity, and can be well generalized to the numbers of users.


title: Asymptotically nonlocal gravity

abstract: Asymptotically nonlocal field theories interpolate between Lee-Wick theories with multiple propagator poles, and ghost-free nonlocal theories. Previous work on asymptotically nonlocal scalar, Abelian, and non-Abelian gauge theories has demonstrated the existence of an emergent regulator scale that is hierarchically smaller than the lightest Lee-Wick partner, in a limit where the Lee-Wick spectrum becomes dense and decoupled. We generalize this construction to linearized gravity, and demonstrate the emergent regulator scale in three examples: by studying the resolution of the singularity (i) at the origin in the classical solution for the metric of a point particle, and (ii) in the nonrelativistic gravitational potential computed via a one-graviton exchange amplitude; (iii) we also show how this derived scale regulates the one-loop graviton contribution to the self energy of a real scalar field. We comment briefly on the generalization of our approach to the full, nonlinear theory of gravity.


title: An introduction to optimization under uncertainty -- A short survey

abstract: Optimization equips engineers and scientists in a variety of fields with the ability to transcribe their problems into a generic formulation and receive optimal solutions with relative ease. Industries ranging from aerospace to robotics continue to benefit from advancements in optimization theory and the associated algorithmic developments. Nowadays, optimization is used in real time on autonomous systems acting in safety critical situations, such as self-driving vehicles. It has become increasingly more important to produce robust solutions by incorporating uncertainty into optimization programs. This paper provides a short survey about the state of the art in optimization under uncertainty. The paper begins with a brief overview of the main classes of optimization without uncertainty. The rest of the paper focuses on the different methods for handling both aleatoric and epistemic uncertainty. Many of the applications discussed in this paper are within the domain of control. The goal of this survey paper is to briefly touch upon the state of the art in a variety of different methods and refer the reader to other literature for more in-depth treatments of the topics discussed here.


title: Modeling Mobile Health Users as Reinforcement Learning Agents

abstract: Mobile health (mHealth) technologies empower patients to adopt/maintain healthy behaviors in their daily lives, by providing interventions (e.g. push notifications) tailored to the user's needs. In these settings, without intervention, human decision making may be impaired (e.g. valuing near term pleasure over own long term goals). In this work, we formalize this relationship with a framework in which the user optimizes a (potentially impaired) Markov Decision Process (MDP) and the mHealth agent intervenes on the user's MDP parameters. We show that different types of impairments imply different types of optimal intervention. We also provide analytical and empirical explorations of these differences.


title: Statistical mechanical model for crack growth

abstract: Analytic relations that describe crack growth are vital for modeling experiments and building a theoretical understanding of fracture. Upon constructing an idealized model system for the crack and applying the principles of statistical thermodynamics, it is possible to formulate the rate of thermally activated crack growth as a function of load, but the result is analytically intractable. Here, an asymptotically correct theory is used to obtain analytic approximations of the crack growth rate from the fundamental theoretical formulation. These crack growth rate relations are compared to those that exist in the literature and are validated with respect to Monte Carlo calculations and experiments. The success of this approach is encouraging for future modeling endeavors that might consider more complicated fracture mechanisms, such as inhomogeneity or a reactive environment.


title: PoroTwin: A digital twin for a FluidFlower rig

abstract: We present a framework for integrated experiments and simulations of tracer transport in heterogeneous porous media using digital twin technology. The physical asset in our setup is a meter-scale FluidFlower rig. The digital twin consists of a traditional physics-based forward simulation tool and a correction technique which compensates for mismatches between simulation results and observations. The latter augments the range of the physics-based simulation and allows us to bridge the gap between simulation and experiments in a quantitative sense. We describe the setup of the physical and digital twin, including data transfer protocols using cloud technology. The accuracy of the digital twin is demonstrated on a case with artificially high diffusion that must be compensated by the correction approach, as well as by simulations in geologically complex media. The digital twin is then applied to control tracer transport by manipulating fluid injection and production in the experimental rig, thereby enabling two-way coupling between the physical and digital twins.


title: Learning Robust State Observers using Neural ODEs (longer version)

abstract: Relying on recent research results on Neural ODEs, this paper presents a methodology for the design of state observers for nonlinear systems based on Neural ODEs, learning Luenberger-like observers and their nonlinear extension (Kazantzis-Kravaris-Luenberger (KKL) observers) for systems with partially-known nonlinear dynamics and fully unknown nonlinear dynamics, respectively. In particular, for tuneable KKL observers, the relationship between the design of the observer and its trade-off between convergence speed and robustness is analysed and used as a basis for improving the robustness of the learning-based observer in training. We illustrate the advantages of this approach in numerical simulations.


title: Pre-averaging fractional processes contaminated by noise, with an application to turbulence

abstract: In this article, we consider the problem of estimating fractional processes based on noisy high-frequency data. Generalizing the idea of pre-averaging to a fractional setting, we exhibit a sequence of consistent estimators for the unknown parameters of interest by proving a law of large numbers for associated variation functionals. In contrast to the semimartingale setting, the optimal window size for pre-averaging depends on the unknown roughness parameter of the underlying process. We evaluate the performance of our estimators in a simulation study and use them to empirically verify Kolmogorov's 2/3-law in turbulence data contaminated by instrument noise.


title: Snowmass 2021 Underground Facilities for the Cosmic Frontier Topical Report

abstract: Detecting dark matter directly using sensitive underground detectors is one of the most promising ways to address the question of what is dark matter. The next generation underground experiments will search for dark matter in two directions. One is to use larger target mass detectors to further probe smaller cross sections in the WIMP parameter space and the other is to probe lower mass dark matter which requires new technologies with extremely low threshold. Once dark matter is detected, experiments with directional sensitivities and experiments with longer exposure and larger target masses are needed for the time-dependent signatures, such as annual modulations, to verify their cosmic origin and to further study their properties. This report covers the underground facilities need for the next generation dark matter search experiments with noble liquids, cryogenic bolometers and other technologies.


title: Flexible social inference facilitates targeted social learning when rewards are not observable

abstract: Groups coordinate more effectively when individuals are able to learn from others' successes. But acquiring such knowledge is not always easy, especially in real-world environments where success is hidden from public view. We suggest that social inference capacities may help bridge this gap, allowing individuals to update their beliefs about others' underlying knowledge and success from observable trajectories of behavior. We compared our social inference model against simpler heuristics in three studies of human behavior in a collective sensing task. In Experiment 1, we found that average performance improves as a function of group size at a rate greater than predicted by non-inferential models. Experiment 2 introduced artificial agents to evaluate how individuals selectively rely on social information. Experiment 3 generalized these findings to a more complex reward landscape. Taken together, our findings provide insight into the relationship between individual social cognition and the flexibility of collective behavior.


title: The existence of subspace designs

abstract: We prove the existence of subspace designs with any given parameters, provided that the dimension of the underlying space is sufficiently large in terms of the other parameters of the design and satisfies the obvious necessary divisibility conditions. This settles an open problem from the 1970s. Moreover, we also obtain an approximate formula for the number of such designs.


title: Introductory physics students' recognition of strong peers: Gender and racial/ethnic bias differ by course level and context

abstract: Researchers have pinpointed recognition from others as one of the most important dimensions of students' science and engineering identity. Studies, however, have found gender biases in students' recognition of their peers, with inconsistent patterns across introductory science and engineering courses. Toward finding the source of this variation, we examine whether a gender bias exists in students' nominations of strong peers across three different remote, introductory physics courses with varying student populations (varying demographics, majors, and course levels). We also uniquely evaluate possible racial/ethnic biases and probe the relationship between instructional context (whether lecture or laboratory) and recognition. Some of our results replicate previous findings (such as the the association of course grade and small class section enrollment with nominations), while others offer contradictions. Comparing across our three courses and the prior work, results suggest that course level (whether first-year students or beyond-first-year students) might be more associated with a gender bias in peer recognition than other variables. Surprisingly, we also find instances of racial/ethnic biases in favor of students from backgrounds historically underrepresented in science. Finally, we find that the nomination patterns differ when students nominate individuals strong in the lecture material versus laboratory material. This work serves as an important step in determining which courses and contexts exhibit biases in peer recognition, as well as how students' perceptions of one another form in remote teaching environments.


title: Random circular billiards on surfaces of constant curvature: Pseudo integrability and mixing

abstract: Given a random map (T_1, T_2, T_3, T_4, p_1, p_2, p_3, p_4), we define a random billiard map on a surface of constant curvature (Euclidean plane, hyperbolic plane, or the sphere). The Liouville measure is invariant for this billiard map. At last, we show some dynamical properties in the case of circular billiards, such as its ergodicity.


title: CONVOLVE: Smart and seamless design of smart edge processors

abstract: With the rise of Deep Learning (DL), our world braces for AI in every edge device, creating an urgent need for edge-AI SoCs. This SoC hardware needs to support high throughput, reliable and secure AI processing at Ultra Low Power (ULP), with a very short time to market. With its strong legacy in edge solutions and open processing platforms, the EU is well-positioned to become a leader in this SoC market. However, this requires AI edge processing to become at least 100 times more energy-efficient, while offering sufficient flexibility and scalability to deal with AI as a fast-moving target. Since the design space of these complex SoCs is huge, advanced tooling is needed to make their design tractable. The CONVOLVE project (currently in Inital stage) addresses these roadblocks. It takes a holistic approach with innovations at all levels of the design hierarchy. Starting with an overview of SOTA DL processing support and our project methodology, this paper presents 8 important design choices largely impacting the energy efficiency and flexibility of DL hardware. Finding good solutions is key to making smart-edge computing a reality.


title: Korn's inequality in anisotropic Sobolev spaces

abstract: Korn's inequality has been at the heart of much exciting research since its first appearance in the beginning of the 20th century. Many are the applications of this inequality to the analysis and construction of discretizations of a large variety of problems in continuum mechanics. In this paper, we prove that the classical Korn inequality holds true in {\it anisotropic Sobolev spaces}. We also prove that an extension of Korn's inequality, involving non-linear continuous maps, is valid in such spaces. Finally, we point out that another classical inequality, Poincare's inequality, also holds in anisotropic Sobolev spaces.


title: Understanding interaction network formation across instructional contexts in remote physics courses

abstract: Engaging in interactions with peers is important for student learning. Many studies have quantified patterns of student interactions in in-person physics courses using social network analysis, finding different network structures between instructional contexts (lecture and lab) and styles (active and traditional). Such studies also find inconsistent results as to whether and how student-level variables (e.g., grades and demographics) relate to the formation of interaction networks. In this cross-sectional research study, we investigate these relationships further by examining lecture and lab interaction networks in four different remote physics courses spanning various instructional styles and student populations. We apply statistical methods from social network analysis -- exponential random graph models -- to measure the relationship between network formation and multiple variables: students' discussion and lab section enrollment, final course grades, gender, and race/ethnicity. Similar to previous studies of in-person courses, we find that remote lecture interaction networks contain large clusters connecting many students, while remote lab interaction networks contain smaller clusters of a few students. Our statistical analysis suggests that these distinct network structures arise from a combination of both instruction-level and student-level variables, including the learning goals of each instructional context, whether assignments are completed in groups or individually, and the distribution of gender and major of students enrolled in a course. We further discuss how these and other variables help to understand the formation of interaction networks in both remote and in-person physics courses.


title: Numerical simulation of non-central collisions of spherical magnets

abstract: We present a computational model of non-central collisions of two spherical neodymium-iron-boron magnets, suggested as a demonstration of angular momentum conservation. Our program uses an attractive dipole-dipole force and a repulsive contact force to solve the Newtonian equations of motion for the magnets. We confirm the conservation of angular momentum and study the changes in energy throughout the interaction. Using the exact expression for the dipole-dipole force, including non-central terms, we correctly model the final rotational frequencies, which is not possible with a simple power-law approximation.


title: Dual Arm Impact-Aware Grasping through Time-Invariant Reference Spreading Control

abstract: With the goal of increasing the speed and efficiency in robotic dual arm manipulation, a novel control approach is presented that utilizes intentional simultaneous impacts to rapidly grasp objects. This approach uses the time-invariant reference spreading framework, in which partly-overlapping ante- and post-impact reference vector fields are used. These vector fields are coupled via the impact dynamics in proximity of the expected impact area, minimizing the otherwise large velocity errors after the impact and the corresponding large control efforts. A purely spatial task is introduced to strongly encourage the synchronization of impact times of the two arms. An interim-impact control phase provides robustness in the execution against the inevitable lack of exact impact simultaneity and the corresponding unreliable velocity error. In this interim phase, a position feedback signal is derived from the ante-impact velocity reference, which is used to enforce sustained contact in all contact points without using velocity error feedback. With an eye towards real-life implementation, the approach is formulated using a QP control framework, and is validated using numerical simulations on a realistic robot model with flexible joints and low-level torque control.


title: On the nature of Tycho Brahe's supernova

abstract: At the 450 yr anniversary of its observation,the supernova named after Tycho Brahe, SN 1572, can be explained in the terms used nowadays to characterize Type Ia supernovae (SNe Ia). By assembling the records of the observations made in 1572--74 and evaluating their uncertainties, it is possible to recover the light curve and the color evolution of this supernova. It is found that, within the SNe Ia family, the event should have been a SN Ia with a normal rate of decline. Concerning the color evolution of SNe Ia, the most recently recovered records reaffirm previous findings of its being a normal SN Ia. The abundance studies from X--ray spectroscopy of the whole remnant point to a nuclear burning of the kind of a delayed detonation explosion of a Chandrasekhar--mass white dwarf. A tentative single degenerate path to explosion was suggested from the exploration of the stars in the field in SN 1572. Though, the origin in a double degenerate is being considered as well. Tycho Brahe's supernova, being the first supernova studied by astronomers, is still the subject of very intensive debates nowadays.


title: Quantum Cryptography in Algorithmica

abstract: We construct a classical oracle relative to which $\mathsf{P} = \mathsf{NP}$ yet single-copy secure pseudorandom quantum states exist. In the language of Impagliazzo's five worlds, this is a construction of pseudorandom states in "Algorithmica," and hence shows that in a black-box setting, quantum cryptography based on pseudorandom states is possible even if one-way functions do not exist. As a consequence, we demonstrate that there exists a property of a cryptographic hash function that simultaneously (1) suffices to construct pseudorandom states, (2) holds for a random oracle, and (3) is independent of $\mathsf{P}$ vs. $\mathsf{NP}$ in the black-box setting. We also introduce a conjecture that would generalize our results to multi-copy secure pseudorandom states. We build on the recent construction by Aaronson, Ingram, and Kretschmer (CCC 2022) of an oracle relative to which $\mathsf{P} = \mathsf{NP}$ but $\mathsf{BQP} \neq \mathsf{QCMA}$, based on hardness of the OR $\circ$ Forrelation problem. Our proof also introduces a new discretely-defined variant of the Forrelation distribution, for which we prove pseudorandomness against $\mathsf{AC^0}$ circuits. This variant may be of independent interest.


title: Dynamic reorientation of tidally locked bodies: application to Pluto

abstract: Planets and moons reorient in space due to mass redistribution associated with various types of internal and external processes. While the equilibrium orientation of a tidally locked body is well understood, much less explored are the dynamics of the reorientation process (or true polar wander, TPW, used here for the motion of either the rotation or the tidal pole). This is despite their importance for predicting the patterns of TPW-induced surface fractures, and for assessing whether enough time has passed for the equilibrium orientation to be reached. The only existing, and relatively complex numerical method for an accurate evaluation of the reorientation dynamics of a tidally locked body was described in a series of papers by Hu et al. (2017a,b, 2019). Here we demonstrate that an identical solution can be obtained with a simple approach, denoted as ow||mMIA, because, contrary to previous claims, during TPW the tidal and the rotation axes closely follow respectively the minor and the major axes of the total, time-evolving inertia tensor. Motivated by the presumed reorientation of Pluto, the use of the ow||mMIA method is illustrated on several test examples. In particular, we analyze whether reorientation paths are curved or straight when the load sign and the mass of the host body are varied. When tidal forcing is relatively small, the paths of negative anomalies (e.g.~basins) towards the rotation pole are highly curved, while positive loads may reach the sub- or anti-host point in a straightforward manner. Our results suggest that the Sputnik Planitia basin cannot be a negative anomaly at present day, and that the remnant figure of Pluto must have formed prior to the reorientation. Finally, the presented method is complemented with an energy balance that can be used to test the numerical solution.


title: Investigating Deep Learning Model Calibration for Classification Problems in Mechanics

abstract: Recently, there has been a growing interest in applying machine learning methods to problems in engineering mechanics. In particular, there has been significant interest in applying deep learning techniques to predicting the mechanical behavior of heterogeneous materials and structures. Researchers have shown that deep learning methods are able to effectively predict mechanical behavior with low error for systems ranging from engineered composites, to geometrically complex metamaterials, to heterogeneous biological tissue. However, there has been comparatively little attention paid to deep learning model calibration, i.e., the match between predicted probabilities of outcomes and the true probabilities of outcomes. In this work, we perform a comprehensive investigation into ML model calibration across seven open access engineering mechanics datasets that cover three distinct types of mechanical problems. Specifically, we evaluate both model and model calibration error for multiple machine learning methods, and investigate the influence of ensemble averaging and post hoc model calibration via temperature scaling. Overall, we find that ensemble averaging of deep neural networks is both an effective and consistent tool for improving model calibration, while temperature scaling has comparatively limited benefits. Looking forward, we anticipate that this investigation will lay the foundation for future work in developing mechanics specific approaches to deep learning model calibration.


title: Extended isogeometric analysis of multi-material and multi-physics problems using hierarchical B-splines

abstract: This paper presents an immersed, isogeometric finite element framework to predict the response of multi-material, multi-physics problems with complex geometries using locally refined discretizations. To circumvent the need to generate conformal meshes, this work uses an eXtended Finite Element Method (XFEM) to discretize the governing equations on non-conforming, embedding meshes. A flexible approach to create truncated hierarchical B-splines discretizations is presented. This approach enables the refinement of each state variable field individually to meet field-specific accuracy requirements. To obtain an immersed geometry representation that is consistent across all hierarchically refined B-spline discretizations, the geometry is immersed into a single mesh, the XFEM background mesh, which is constructed from the union of all hierarchical B-spline meshes. An extraction operator is introduced to represent the truncated hierarchical B-spline bases in terms of Lagrange shape functions on the XFEM background mesh without loss of accuracy. The truncated hierarchical B-spline bases are enriched using a generalized Heaviside enrichment strategy to accommodate small geometric features and multi-material problems. The governing equations are augmented by a formulation of the face-oriented ghost stabilization enhanced for locally refined B-spline bases. We present examples for two- and three-dimensional linear elastic and thermo-elastic problems. The numerical results validate the accuracy of our framework. The results also demonstrate the applicability of the proposed framework to large, geometrically complex problems.


title: Influence of silicon nanocone on cell membrane self-sealing capabilities for targeted drug delivery -- computer simulation study

abstract: Efficient and non-invasive techniques of cargo delivery to biological cells are the focus of biomedical research because of their great potential importance for targeted drug therapy. Therefore, much effort is being made to study the characteristics of using nano-based biocompatible materials as systems that can facilitate this task while ensuring appropriate self-sealing of the cell membrane. Here, we study the effects of indentation and withdrawal of nanospear on phospholipid membrane by applying steered molecular dynamics (SMD) technique. Our results show that the withdrawal process directly depends on the initial position of the nanocone. The average force and work are considerably more significant in case of the withdrawal starting from a larger depth. This result is attributed to stronger hydrophobic interactions between the nanocone and lipid tails of the membrane molecules. Furthermore, when the indenter was started from the lower initial depth, the number of lipids removed from the membrane was several times smaller than the deeper indentation. The choice of the least invasive method for nanostructure-assisted drug delivery is crucial for possible applications in medicine. Therefore, the results presented in this work might be helpful in efficient and safe drug delivery with nanomaterials.


title: Pareto Regret Analyses in Multi-objective Multi-armed Bandit

abstract: We study Pareto optimality in multi-objective multi-armed bandit by providing a formulation of adversarial multi-objective multi-armed bandit and defining its Pareto regrets that can be applied to both stochastic and adversarial settings. The regrets do not rely on any scalarization functions and reflect Pareto optimality compared to scalarized regrets. We also present new algorithms assuming both with and without prior information of the multi-objective multi-armed bandit setting. The algorithms are shown optimal in adversarial settings and nearly optimal up to a logarithmic factor in stochastic settings simultaneously by our established upper bounds and lower bounds on Pareto regrets. Moreover, the lower bound analyses show that the new regrets are consistent with the existing Pareto regret for stochastic settings and extend an adversarial attack mechanism from bandit to the multi-objective one.


title: Identifying most typical and most ideal attribute levels in small populations of expert decision makers: Studying the Go/No Go decision of disaster relief organizations

abstract: This paper proposes the use of Most Typical (MT) and Most Ideal (MI) levels when an adaptive choice-based conjoint (ACBC) survey can only obtain a small sample size n from a small population size N.


title: Diffusion Generative Models in Infinite Dimensions

abstract: Diffusion generative models have recently been applied to domains where the available data can be seen as a discretization of an underlying function, such as audio signals or time series. However, these models operate directly on the discretized data, and there are no semantics in the modeling process that relate the observed data to the underlying functional forms. We generalize diffusion models to operate directly in function space by developing the foundational theory for such models in terms of Gaussian measures on Hilbert spaces. A significant benefit of our function space point of view is that it allows us to explicitly specify the space of functions we are working in, leading us to develop methods for diffusion generative modeling in Sobolev spaces. Our approach allows us to perform both unconditional and conditional generation of function-valued data. We demonstrate our methods on several synthetic and real-world benchmarks.


title: Investigation of process history and phenomenology of plutonium oxides using vector quantizing variational autoencoder

abstract: Accurate, high throughput, and unbiased analysis of plutonium oxide particles is needed for analysis of the phenomenology associated with process parameters in their synthesis. Compared to qualitative and taxonomic descriptors, quantitative descriptors of particle morphology through scanning electron microscopy (SEM) have shown success in analyzing process parameters of uranium oxides. We utilize a VQ-VAE to quantitatively describe plutonium dioxide (PuO2) particles created in a designed experiment and investigate their phenomenology and prediction of their process parameters. PuO2 was calcined from Pu(III) oxalates that were precipitated under varying synthetic conditions that related to concentrations, temperature, addition and digestion times, precipitant feed, and strike order; the surface morphology of the resulting PuO2 powders were analyzed by SEM. A pipeline was developed to extract and quantify useful image representations for individual particles with the VQ-VAE to perform multiple classification tasks simultaneously. The reduced feature space could predict process parameters with greater than 80% accuracies for some parameters with a single particle. They also showed utility for grouping particles with similar surface morphology characteristics together. Both the clustering and classification results reveal valuable information regarding which chemical process parameters chiefly influence the PuO2 particle morphologies: strike order and oxalic acid feedstock. Doing the same analysis with multiple particles was shown to improve the classification accuracy on each process parameter over the use of a single particle, with statistically significant results generally seen with as few as four particles in a sample.


title: Decisions that Explain Themselves: A User-Centric Deep Reinforcement Learning Explanation System

abstract: With deep reinforcement learning (RL) systems like autonomous driving being wildly deployed but remaining largely opaque, developers frequently use explainable RL (XRL) tools to better understand and work with deep RL agents. However, previous XRL works employ a techno-centric research approach, ignoring how RL developers perceive the generated explanations. Through a pilot study, we identify major goals for RL practitioners to use XRL methods and four pitfalls that widen the gap between existing XRL methods and these goals. The pitfalls include inaccessible reasoning processes, inconsistent or unintelligible explanations, and explanations that cannot be generalized. To fill the discovered gap, we propose a counterfactual-inference-based explanation method that discovers the details of the reasoning process of RL agents and generates natural language explanations. Surrounding this method, we build an interactive XRL system where users can actively explore explanations and influential information. In a user study with 14 participants, we validated that developers identified 20.9% more abnormal behaviors and limitations of RL agents with our system compared to the baseline method, and using our system helped end users improve their performance in actionability tests by 25.1% in an auto-driving task and by 16.9% in a StarCraft II micromanagement task.


title: Singular Spectrum Analysis of Two Photon Interference from Distinct Quantum Emitters

abstract: Two-photon interference underlies the functioning of many quantum photonics devices. It also serves as the prominent tool for testing the indistinguishability of distinct photons. However, as their time-spectral profile becomes more involved, extracting relevant parameters, foremost the central frequency difference, may start suffering difficulties. In a parametric approach, these arise from the need for an exhaustive model combined with limited count statistics. Here we discuss a solution to curtail these effects on the evaluation of frequency separation relying on a semiparametric method. The time trace of the quantum interference pattern of two photons from two independent solid-state emitters is preprocessed by means of singular spectral analysis before inspecting its spectral content. This approach allows to single out the relevant oscillations from both the envelope and the noise, without resorting to fitting. This opens the way for robust and efficient on-line monitoring of quantum emitters.


title: Polarons and bipolarons in a two-dimensional square lattice

abstract: Quasiparticles and their interactions are a key part of our understanding of quantum many-body systems. Quantum simulation experiments with cold atoms have in recent years advanced our understanding of isolated quasiparticles, but so far they have provided limited information regarding their interactions and possible bound states. Here, we show how exploring mobile impurities immersed in a Bose-Einstein condensate (BEC) in a two-dimensional lattice can address this problem. First, the spectral properties of individual impurities are examined, and in addition to the attractive and repulsive polarons known from continuum gases, we identify a new kind of quasiparticle stable for repulsive boson-impurity interactions. The spatial properties of polarons are calculated showing that there is an increased density of bosons at the site of the impurity both for repulsive and attractive interactions. We then derive an effective Schr\"odinger equation describing two polarons interacting via the exchange of density oscillations in the BEC, which takes into account strong impurity-boson two-body correlations. Using this, we show that the attractive nature of the effective interaction between two polarons combined with the two-dimensionality of the lattice leads to the formation of bound states -- i.e. bipolarons. The wave functions of the bipolarons are examined showing that the ground state is symmetric under particle exchange and therefore relevant for bosonic impurities, whereas the first excited state is doubly degenerate and odd under particle exchange making it relevant for fermionic impurities. Our results show that quantum gas microscopy in optical lattices is a promising platform to explore the spatial properties of polarons as well as to finally observe the elusive bipolarons.


title: Space Complexity of Stack Automata Models

abstract: This paper examines several measures of space complexity of variants of stack automata: non-erasing stack automata and checking stack automata. These measures capture the minimum stack size required to accept every word in the language of the automaton (weak measure), the maximum stack size used in any accepting computation on any accepted word (accept measure),and the maximum stack size used in any computation (strong measure). We give a detailed characterization of the accept and strong space complexity measures for checking stack automata. Exactly one of three cases can occur: the complexity is either bounded by a constant, behaves like a linear function, or it can not be bounded by any function of the length of the input word (and it is decidable which case occurs). However, this result does not hold for non-erasing stack automata; we provide an example where the space complexity grows proportionally to the square root of the length of the input. Furthermore, we study the complexity bounds of machines which accept a given language, and decidability of space complexity properties.


title: Progressive Feature Upgrade in Semi-supervised Learning on Tabular Domain

abstract: Recent semi-supervised and self-supervised methods have shown great success in the image and text domain by utilizing augmentation techniques. Despite such success, it is not easy to transfer this success to tabular domains. It is not easy to adapt domain-specific transformations from image and language to tabular data due to mixing of different data types (continuous data and categorical data) in the tabular domain. There are a few semi-supervised works on the tabular domain that have focused on proposing new augmentation techniques for tabular data. These approaches may have shown some improvement on datasets with low-cardinality in categorical data. However, the fundamental challenges have not been tackled. The proposed methods either do not apply to datasets with high-cardinality or do not use an efficient encoding of categorical data. We propose using conditional probability representation and an efficient progressively feature upgrading framework to effectively learn representations for tabular data in semi-supervised applications. The extensive experiments show superior performance of the proposed framework and the potential application in semi-supervised settings.


title: Compositional Learning of Dynamical System Models Using Port-Hamiltonian Neural Networks

abstract: Many dynamical systems -- from robots interacting with their surroundings to large-scale multiphysics systems -- involve a number of interacting subsystems. Toward the objective of learning composite models of such systems from data, we present i) a framework for compositional neural networks, ii) algorithms to train these models, iii) a method to compose the learned models, iv) theoretical results that bound the error of the resulting composite models, and v) a method to learn the composition itself, when it is not known a priori. The end result is a modular approach to learning: neural network submodels are trained on trajectory data generated by relatively simple subsystems, and the dynamics of more complex composite systems are then predicted without requiring additional data generated by the composite systems themselves. We achieve this compositionality by representing the system of interest, as well as each of its subsystems, as a port-Hamiltonian neural network (PHNN) -- a class of neural ordinary differential equations that uses the port-Hamiltonian systems formulation as inductive bias. We compose collections of PHNNs by using the system's physics-informed interconnection structure, which may be known a priori, or may itself be learned from data. We demonstrate the novel capabilities of the proposed framework through numerical examples involving interacting spring-mass-damper systems. Models of these systems, which include nonlinear energy dissipation and control inputs, are learned independently. Accurate compositions are learned using an amount of training data that is negligible in comparison with that required to train a new model from scratch. Finally, we observe that the composite PHNNs enjoy properties of port-Hamiltonian systems, such as cyclo-passivity -- a property that is useful for control purposes.


title: CAT(0) Polygonal Complexes are 2-Median

abstract: Median spaces are spaces in which for every three points the three intervals between them intersect at a single point. It is well known that rank-1 affine buildings are median spaces, but by a result of Haettel, higher rank buildings are not even coarse median. We define the notion of ``2-median space'', which roughly says that for every four points the minimal discs filling the four geodesic triangles they span intersect in a point or a geodesic segment. We show that CAT(0) Euclidean polygonal complexes, and in particular rank-2 affine buildings, are 2-median. In the appendix, we recover a special case of a result of Stadler of a Fary-Milnor type theorem and show in elementary tools that a minimal disc filling a geodesic triangle is injective.


title: Local to global principle for higher moments over function fields

abstract: We establish a local to global principle for higher moments over holomorphy rings of global function fields and use it to compute the higher moments of rectangular unimodular matrices and Eisenstein polynomials with coefficients in such rings.


title: Nonlinear controllability and function representation by neural stochastic differential equations

abstract: There has been a great deal of recent interest in learning and approximation of functions that can be expressed as expectations of a given nonlinearity with respect to its random internal parameters. Examples of such representations include "infinitely wide" neural nets, where the underlying nonlinearity is given by the activation function of an individual neuron. In this paper, we bring this perspective to function representation by neural stochastic differential equations (SDEs). A neural SDE is an It\^o diffusion process whose drift and diffusion matrix are elements of some parametric families. We show that the ability of a neural SDE to realize nonlinear functions of its initial condition can be related to the problem of optimally steering a certain deterministic dynamical system between two given points in finite time. This auxiliary system is obtained by formally replacing the Brownian motion in the SDE by a deterministic control input. We derive upper and lower bounds on the minimum control effort needed to accomplish this steering; these bounds may be of independent interest in the context of motion planning and deterministic optimal control.


title: Generalizations of Checking Stack Automata: Characterizations and Hierarchies

abstract: We examine different generalizations of checking stack automata by allowing multiple input heads and multiple stacks, and characterize their computing power in terms of two-way multi-head finite automata and space-bounded Turing machines. For various models, we obtain hierarchies in terms of their computing power. Our characterizations and hierarchies expand or tighten some previously known results. We also discuss some decidability questions and the space/time complexity of the models.


title: Hierarchical Model Selection for Graph Neural Netoworks

abstract: Node classification on graph data is a major problem, and various graph neural networks (GNNs) have been proposed. Variants of GNNs such as H2GCN and CPF outperform graph convolutional networks (GCNs) by improving on the weaknesses of the traditional GNN. However, there are some graph data which these GNN variants fail to perform well than other GNNs in the node classification task. This is because H2GCN has a feature thinning on graph data with high average degree, and CPF gives rise to a problem about label-propagation suitability. Accordingly, we propose a hierarchical model selection framework (HMSF) that selects an appropriate GNN model by analyzing the indicators of each graph data. In the experiment, we show that the model selected by our HMSF achieves high performance on node classification for various types of graph data.


title: On the evolutionary emergence of predation

abstract: In models for the evolution of predation from initially purely competitive species interactions, the propensity of predation is most often assumed to be a direct consequence of the relative morphological and physiological traits of interacting species. Here we explore a model in which predation ability is an independently evolving phenotypic feature, so that even when the relative morphological or physiological traits allow for predation, predation only occurs if the predation ability of individuals has independently evolved to high enough values. In addition to delineating the conditions for the evolutionary emergence of predation, the model reproduces stationary and non-stationary multilevel food webs with the top predators not necessarily having size superiority.


title: Stabilizing $\alpha-$helicity of polypeptide in aqueous urea: Dipole orientation or hydrogen bonding?

abstract: Urea denatures proteins due to its strong tendency to dehydrate the first solvation shell via urea-residue preferential binding. However, even after extensive experimental and computational investigations, the influence of urea on the stability of secondary structures remains elusive. For example, contrary to the common understanding, experimental studies have indicated that specific polypeptides, such as poly-alanine or alanine-rich systems, may even show an improved tendency to form secondary structures in aqueous urea. We investigate this seemingly counter-intuitive behaviour using over 15$\mu$s long all-atom simulations. These results show how a delicate balance between the localized dipole orientations and hydrogen bonding dictates polypeptide solvation in aqueous urea. Our work establishes a structure-property relationship that highlights the importance of microscopic dipole-dipole orientations/interactions for the operational understanding of macroscopic protein solvation.


title: The Vacuum Energy Density and Gravitational Entropy

abstract: The failure to calculate the vacuum energy is a central problem in theoretical physics. Presumably the problem arises from the insistent use of effective field theory reasoning in a context that is well beyond its intended scope. If one follows this path, one is led inevitably to statistical or anthropic reasoning for observations. It appears that a more palatable resolution of the vacuum energy problem requires some form of UV/IR feedback. In this paper we take the point of view that such feedback can be thought of as arising by defining a notion of quantum space-time. We reformulate the regularized computation of vacuum energy in such a way that it can be interpreted in terms of a sum over elementary phase space volumes, that we identify with a ground state degeneracy. This observation yields a precise notion of UV/IR feedback, while leaving a scale unfixed. Here we argue that holography can be thought to provide a key piece of information: we show that equating this microscopic ground state degeneracy with macroscopic gravitational entropy yields a prediction for the vacuum energy that can easily be consistent with observations. Essentially, the smallness of the vacuum energy is tied to the large size of the Universe. We discuss how within this scenario notions of effective field theory can go so wrong.


title: Evolution of the surface states of the Luttinger semimetal under strain and inversion-symmetry breaking: Dirac, line-node, and Weyl semimetals

abstract: The Luttinger model of a quadratic-node semimetal for electrons with the $j=\frac32$ angular momentum under cubic symmetry is the parent, highest-symmetry low-energy model for a variety of topological and strongly correlated materials, such as HgTe, $\alpha$-Sn, and iridate compounds. Previously, we have theoretically demonstrated that the Luttinger semimetal exhibits surface states. In the present work, we theoretically study the evolution of these surface states under symmetry-lowering perturbations: compressive strain and bulk-inversion asymmetry (BIA). This system is quite special in that each consecutive perturbation creates a new type of a semimetal phase, resulting in a sequence of four semimetal phases, where each successive phase arises by modification of the nodal structure of the previous phase: under compressive strain, the Luttinger semimetal turns into a Dirac semimetal, which under the linear-in-momentum BIA term turns into a line-node semimetal, which under the cubic-in-momentum BIA terms turns into a Weyl semimetal. We calculate the surface states within the generalized Luttinger model for these four semimetal phases within a ``semi-analytical'' approach and fully analyze the corresponding evolution of the surface states. Importantly, for this sequence of four semimetal phases, there is a corresponding hierarchy of the low-energy models describing the vicinities of the nodes. We derive most of these models and demonstrate quantitative asymptotic agreement between the surface-state spectra of some of them. This proves that the mechanisms responsible for the surface states are fully contained in the low-energy models within their validity ranges, once they are supplemented with proper boundary conditions, and demonstrates that continuum models are perfectly applicable for studying surface states.


title: DeclutterCam: A Photographic Assistant System with Clutter Detection and Removal

abstract: Photographs convey the stories of photographers to the audience. However, this story-telling aspect of photography is easily distracted by visual clutter. Informed by a pilot study, we identified the kinds of clutter that amateurs frequently include in their photos. We were thus inspired to develop DeclutterCam, a photographic assistant system that incorporates novel user interactions and AI algorithms for photographic decluttering. Clutter elements are detected by an aesthetic quality evaluation algorithm and are highlighted so that users can interactively identify distracting elements. A GAN-based iterative clutter removal tool enables users to test their photographic ideas in real-time. User studies with 32 photography beginners demonstrate that our system provides flexible interfaces, accurate algorithms, and immediate feedback that allow users to avoid clutter and explore more photographic ideas. Evaluations by photography experts show that users can take higher-quality photos that better convey the intended story using our system.


title: Human-instructed Deep Hierarchical Generative Learning for Automated Urban Planning

abstract: The essential task of urban planning is to generate the optimal land-use configuration of a target area. However, traditional urban planning is time-consuming and labor-intensive. Deep generative learning gives us hope that we can automate this planning process and come up with the ideal urban plans. While remarkable achievements have been obtained, they have exhibited limitations in lacking awareness of: 1) the hierarchical dependencies between functional zones and spatial grids; 2) the peer dependencies among functional zones; and 3) human regulations to ensure the usability of generated configurations. To address these limitations, we develop a novel human-instructed deep hierarchical generative model. We rethink the urban planning generative task from a unique functionality perspective, where we summarize planning requirements into different functionality projections for better urban plan generation. To this end, we develop a three-stage generation process from a target area to zones to grids. The first stage is to label the grids of a target area with latent functionalities to discover functional zones. The second stage is to perceive the planning requirements to form urban functionality projections. We propose a novel module: functionalizer to project the embedding of human instructions and geospatial contexts to the zone-level plan to obtain such projections. Each projection includes the information of land-use portfolios and the structural dependencies across spatial grids in terms of a specific urban function. The third stage is to leverage multi-attentions to model the zone-zone peer dependencies of the functionality projections to generate grid-level land-use configurations. Finally, we present extensive experiments to demonstrate the effectiveness of our framework.


title: Femtosecond laser writing of the depressed cladding buried channel waveguides in ZnS crystal

abstract: We report the first direct femtosecond laser-writing of buried channel waveguides in monocrystalline ZnS. We also report the first single-mode Cr:ZnS depressed cladding buried waveguide laser manufactured by femtosecond laser writing. The laser yields 150 mW average power at 2272 nm wavelength with 11% slope efficiency. A depressed cladding waveguide with propagation loss of 0.62 dB/cm at 1030 nm allowed to obtain spectral broadening under femtosecond-pumping at 1030 nm.


title: Karolos: An Open-Source Reinforcement Learning Framework for Robot-Task Environments

abstract: In reinforcement learning (RL) research, simulations enable benchmarks between algorithms, as well as prototyping and hyper-parameter tuning of agents. In order to promote RL both in research and real-world applications, frameworks are required which are on the one hand efficient in terms of running experiments as fast as possible. On the other hand, they must be flexible enough to allow the integration of newly developed optimization techniques, e.g. new RL algorithms, which are continuously put forward by an active research community. In this paper, we introduce Karolos, a RL framework developed for robotic applications, with a particular focus on transfer scenarios with varying robot-task combinations reflected in a modular environment architecture. In addition, we provide implementations of state-of-the-art RL algorithms along with common learning-facilitating enhancements, as well as an architecture to parallelize environments across multiple processes to significantly speed up experiments. The code is open source and published on GitHub with the aim of promoting research of RL applications in robotics.


title: Fusion breeding and pure fusion development perceptions and misperceptions

abstract: This paper examines fusion breeding, namely the use of 14 MeV fusion neutrons to breed $^{233}$U fuel for thermal nuclear reactors. This can be accomplished much more quickly than pure fusion. It can become main component of a power architecture that is economical, enviromentally sound and has little if any proliferation risk.


title: Test Flakiness' Causes, Detection, Impact and Responses: A Multivocal Review

abstract: Flaky tests (tests with non-deterministic outcomes) pose a major challenge for software testing. They are known to cause significant issues such as reducing the effectiveness and efficiency of testing and delaying software releases. In recent years, there has been an increased interest in flaky tests, with research focusing on different aspects of flakiness, such as identifying causes, detection methods and mitigation strategies. Test flakiness has also become a key discussion point for practitioners (in blog posts, technical magazines, etc.) as the impact of flaky tests is felt across the industry. This paper presents a multivocal review that investigates how flaky tests, as a topic, have been addressed in both research and practice. We cover a total of 651 articles (560 academic articles and 91 grey literature articles/posts), and structure the body of relevant research and knowledge using four different dimensions: causes, detection, impact and responses. For each of those dimensions we provide a categorisation, and classify existing research, discussions, methods and tools. With this, we provide a comprehensive and current snapshot of existing thinking on test flakiness, covering both academic views and industrial practices, and identify limitations and opportunities for future research.


title: Atmospheric dispersion management in the mid-IR mode-locked oscillators

abstract: The atmospheric dispersion in the mid-infrared transparency windows presents and important albeit frequently neglected factor when developing ultra-short pulsed lasers. We show that it can amount to hundreds of fs^2 in 2-3 micron window with typical laser round-trip path lengths. Using the Cr:ZnS ultrashort-pulsed laser as a test-bed, we demonstrate the atmospheric dispersion influence on a femtosecond and chirped-pulse oscillator performance and show that the humidity fluctuations can be compensated by active dispersion control, greatly improving stability of mid-IR few-optical cycle laser sources. The approach can be readily extended to any ultrafast source in the mid-IR transparency windows.


title: Wall-crossing for quasimaps to GIT stack bundles

abstract: We define the notion of $\epsilon$-stable quasimaps to a GIT stack bundle, and study the wall-crossing behavior of the resulting $\epsilon$-quasimap theory as $\epsilon$ varies.


title: Navigating causal deep learning

abstract: Causal deep learning (CDL) is a new and important research area in the larger field of machine learning. With CDL, researchers aim to structure and encode causal knowledge in the extremely flexible representation space of deep learning models. Doing so will lead to more informed, robust, and general predictions and inference -- which is important! However, CDL is still in its infancy. For example, it is not clear how we ought to compare different methods as they are so different in their output, the way they encode causal knowledge, or even how they represent this knowledge. This is a living paper that categorises methods in causal deep learning beyond Pearl's ladder of causation. We refine the rungs in Pearl's ladder, while also adding a separate dimension that categorises the parametric assumptions of both input and representation, arriving at the map of causal deep learning. Our map covers machine learning disciplines such as supervised learning, reinforcement learning, generative modelling and beyond. Our paradigm is a tool which helps researchers to: find benchmarks, compare methods, and most importantly: identify research gaps. With this work we aim to structure the avalanche of papers being published on causal deep learning. While papers on the topic are being published daily, our map remains fixed. We open-source our map for others to use as they see fit: perhaps to offer guidance in a related works section, or to better highlight the contribution of their paper.


title: Private Multiparty Perception for Navigation

abstract: We introduce a framework for navigating through cluttered environments by connecting multiple cameras together while simultaneously preserving privacy. Occlusions and obstacles in large environments are often challenging situations for navigation agents because the environment is not fully observable from a single camera view. Given multiple camera views of an environment, our approach learns to produce a multiview scene representation that can only be used for navigation, provably preventing one party from inferring anything beyond the output task. On a new navigation dataset that we will publicly release, experiments show that private multiparty representations allow navigation through complex scenes and around obstacles while jointly preserving privacy. Our approach scales to an arbitrary number of camera viewpoints. We believe developing visual representations that preserve privacy is increasingly important for many applications such as navigation.


title: Intercombination line photoassociation spectroscopy of ${}^{87}$Rb${}^{170}$Yb

abstract: We report on the first observation of photoassociation near the ${}^2 S _\frac 1 2 + {}^3P_1$-asymptote in a mixture of ${}^{87}$Rb and ${}^{170}$Yb. In a search spanning binding energies between 0.1 GHz and 11 GHz, a single pair of interspecies PA resonances is detected around 3.1 GHz. These resonances are characterized by extracting PA rates, binding energies and Zeeman shift coefficients. Using one of these resonances, 2-photon-photoassociaton is performed, improving on previous measurements of the binding energies of the two least bound states in the electronic ground state and demonstrating intercombination line photoassociation as a powerful spectroscopic tool. We discuss implications for pathways towards RbYb molecules in the absolute ground state.


title: QFF: Quantized Fourier Features for Neural Field Representations

abstract: Multilayer perceptrons (MLPs) learn high frequencies slowly. Recent approaches encode features in spatial bins to improve speed of learning details, but at the cost of larger model size and loss of continuity. Instead, we propose to encode features in bins of Fourier features that are commonly used for positional encoding. We call these Quantized Fourier Features (QFF). As a naturally multiresolution and periodic representation, our experiments show that using QFF can result in smaller model size, faster training, and better quality outputs for several applications, including Neural Image Representations (NIR), Neural Radiance Field (NeRF) and Signed Distance Function (SDF) modeling. QFF are easy to code, fast to compute, and serve as a simple drop-in addition to many neural field representations.


title: Asymmetry of tensile vs. compressive elasticity and permeability contributes to the regulation of exchanges in collagen gels

abstract: The Starling principle describes exchanges in tissues based on the balance of hydrostatic and osmotic flows. This balance neglects the coupling between mechanics and hydrodynamics, a questionable assumption in strained elastic tissues due to intravascular pressure. Here, we measure the elasticity and permeability of collagen gels under tensile and compressive stress via the comparison of the temporal evolution of pressure in an air cavity sealed at the outlet of a collagen slab with an analytical kinetic model. We observe a drop in the permeability and enhanced strain-stiffening of native collagen gels under compression, both effects being essentially lost after chemical cross-linking. Further, we prove that this asymmetric response accounts for the accumulation of compressive stress upon sinusoidal fluid injection, which modulates the material's permeability. Our results thus show that the properties of collagen gels regulate molecular exchanges and could help understand drug transport in tissues.


title: Learning Temporal Logic Properties: an Overview of Two Recent Methods

abstract: Learning linear temporal logic (LTL) formulas from examples labeled as positive or negative has found applications in inferring descriptions of system behavior. We summarize two methods to learn LTL formulas from examples in two different problem settings. The first method assumes noise in the labeling of the examples. For that, they define the problem of inferring an LTL formula that must be consistent with most but not all of the examples. The second method considers the other problem of inferring meaningful LTL formulas in the case where only positive examples are given. Hence, the first method addresses the robustness to noise, and the second method addresses the balance between conciseness and specificity (i.e., language minimality) of the inferred formula. The summarized methods propose different algorithms to solve the aforementioned problems, as well as to infer other descriptions of temporal properties, such as signal temporal logic or deterministic finite automata.


title: On $p$-divisibility of Fourier coefficients of Siegel modular forms

abstract: We describe the $p$-divisibility transposition for the Fourier coefficients of Siegel modular forms. This provides a supplement to the result by Wilton for $p$-divisibility satisfied by the Ramanujan $\tau$-function.


title: Positive rational number of the form $\varphi(km^{a})/\varphi(ln^{b})$

abstract: Let $k, l, a$ and $b$ be positive integers with $\max\{a, \, b\}\ge2$. In this paper, we show that every positive rational number can be written as the form $\varphi(km^{a})/\varphi(ln^{b})$, where $m, \, n\in\mathbb{N}$ if and only if $\gcd(a, \,b)=1$ or $(a, b, k, l)=(2,2, 1, 1)$. Moreover, if $\gcd(a, b)>1$, then the proper representation of such representation is unique.


title: QH-POCC: taming tiling entropy in thermal expansion calculations of disordered materials

abstract: Disordered materials are attracting considerable attention because of their enhanced properties compared to their ordered analogs, making them particularly suitable for high-temperature applications. The feasibility of incorporating these materials into new devices depends on a variety of thermophysical properties. Among them, thermal expansion is critical to device stability, especially in multi-component systems. Its calculation, however, is quite challenging for materials with substitutional disorder, hindering computational screenings. In this work, we introduce QH-POCC to leverage the local tile-expansion of disorder. This method provides an effective partial partition function to calculate thermomechanical properties of substitutionally disordered compounds in the quasi-harmonic approximation. Two systems, AuCu3 and CdMg3, the latter a candidate for long-period superstructures at low temperature, are used to validate the methodology by comparing the calculated values of the coefficient of thermal expansion and isobaric heat capacity with experiment, demonstrating that QH-POCC is a promising approach to study thermomechanical properties of disordered systems.


title: Geometry-Aware Network for Domain Adaptive Semantic Segmentation

abstract: Measuring and alleviating the discrepancies between the synthetic (source) and real scene (target) data is the core issue for domain adaptive semantic segmentation. Though recent works have introduced depth information in the source domain to reinforce the geometric and semantic knowledge transfer, they cannot extract the intrinsic 3D information of objects, including positions and shapes, merely based on 2D estimated depth. In this work, we propose a novel Geometry-Aware Network for Domain Adaptation (GANDA), leveraging more compact 3D geometric point cloud representations to shrink the domain gaps. In particular, we first utilize the auxiliary depth supervision from the source domain to obtain the depth prediction in the target domain to accomplish structure-texture disentanglement. Beyond depth estimation, we explicitly exploit 3D topology on the point clouds generated from RGB-D images for further coordinate-color disentanglement and pseudo-labels refinement in the target domain. Moreover, to improve the 2D classifier in the target domain, we perform domain-invariant geometric adaptation from source to target and unify the 2D semantic and 3D geometric segmentation results in two domains. Note that our GANDA is plug-and-play in any existing UDA framework. Qualitative and quantitative results demonstrate that our model outperforms state-of-the-arts on GTA5->Cityscapes and SYNTHIA->Cityscapes.


title: AGRO: Adversarial Discovery of Error-prone groups for Robust Optimization

abstract: Models trained via empirical risk minimization (ERM) are known to rely on spurious correlations between labels and task-independent input features, resulting in poor generalization to distributional shifts. Group distributionally robust optimization (G-DRO) can alleviate this problem by minimizing the worst-case loss over a set of pre-defined groups over training data. G-DRO successfully improves performance of the worst-group, where the correlation does not hold. However, G-DRO assumes that the spurious correlations and associated worst groups are known in advance, making it challenging to apply it to new tasks with potentially multiple unknown spurious correlations. We propose AGRO -- Adversarial Group discovery for Distributionally Robust Optimization -- an end-to-end approach that jointly identifies error-prone groups and improves accuracy on them. AGRO equips G-DRO with an adversarial slicing model to find a group assignment for training examples which maximizes worst-case loss over the discovered groups. On the WILDS benchmark, AGRO results in 8% higher model performance on average on known worst-groups, compared to prior group discovery approaches used with G-DRO. AGRO also improves out-of-distribution performance on SST2, QQP, and MS-COCO -- datasets where potential spurious correlations are as yet uncharacterized. Human evaluation of ARGO groups shows that they contain well-defined, yet previously unstudied spurious correlations that lead to model errors.


title: Navigating to Objects in the Real World

abstract: Semantic navigation is necessary to deploy mobile robots in uncontrolled environments like our homes, schools, and hospitals. Many learning-based approaches have been proposed in response to the lack of semantic understanding of the classical pipeline for spatial navigation, which builds a geometric map using depth sensors and plans to reach point goals. Broadly, end-to-end learning approaches reactively map sensor inputs to actions with deep neural networks, while modular learning approaches enrich the classical pipeline with learning-based semantic sensing and exploration. But learned visual navigation policies have predominantly been evaluated in simulation. How well do different classes of methods work on a robot? We present a large-scale empirical study of semantic visual navigation methods comparing representative methods from classical, modular, and end-to-end learning approaches across six homes with no prior experience, maps, or instrumentation. We find that modular learning works well in the real world, attaining a 90% success rate. In contrast, end-to-end learning does not, dropping from 77% simulation to 23% real-world success rate due to a large image domain gap between simulation and reality. For practitioners, we show that modular learning is a reliable approach to navigate to objects: modularity and abstraction in policy design enable Sim-to-Real transfer. For researchers, we identify two key issues that prevent today's simulators from being reliable evaluation benchmarks - (A) a large Sim-to-Real gap in images and (B) a disconnect between simulation and real-world error modes - and propose concrete steps forward.


title: A Tractable Probability Distribution with Applications in Three-Dimensional Statistics

abstract: This paper introduces and characterizes a new family of continuous probability distributions applicable to norm distributions in three-dimensional random spaces, specifically for the Euclidean norm of three random Gaussian variables with non-zero means. The distribution is specified over the semi-infinite range $[0,\infty)$ and is notable for its computational tractability. Building on this foundation, we also introduce a separate family of continuous probability distributions suitable for power distributions in three-dimensional random spaces. Despite being previously unknown, these distributions are attractive for numerous applications, some of which are discussed in this work.


title: FeRhCrSi: A new spin semimetal with room temperature spin-valve behavior

abstract: Spin semimetals are a recently discovered new class of spintronic materials, which exhibit a band gap in one spin channel while a semimetallic feature in the other and thus allows for tunable spin transport. Here, we present experimental verification of spin semimetallic behavior in FeRhCrSi, a quaternary Heusler alloy with saturation moment 2 $\mu_B$ and Curie temperature $>$ 400 K. It crystallises in the L2$_1$ structure with 50$\%$ antisite disorder between Fe and Rh. Below 300 K, it shows a weakly temperature dependent electrical resistivity with negative temperature coefficient, indicating the normal semimetal or spin semimetal behavior. Anomalous magnetoresistance data reveals dominant contribution from asymmetric part, a clear signature of spin-valve nature, which is retained even at room temperature. \textcolor{black}{The asymmetric part of magneto-resistance shows an unusual increase with increasing temperature.} Hall measurements confirm the anomalous nature of conductivity originating from the intrinsic Berry curvature, with holes being the majority carriers. Ab-initio simulation confirms a unique long-range ferrimagnetic ordering to be the ground state, explaining the origin behind the unexpected low saturation moment. The ferrimagnetic disordered structure confirms the spin semimetallic feature of FeRhCrSi, as observed experimentally.


title: Superconductivity in a Magnetic Rashba Semimetal EuAuBi

abstract: We report the observation of superconductivity with multiple magnetic ordering and Rashba-type spin-orbit coupling in a layered polar semimetal EuAuBi. Magnetic transition is observed at 4 K, followed by a superconducting transition at 2.2 K, which is sensitive to the crystal surface conditions. The upper critical field Hc2 of 9.8 T for the out-of-plane field is three times higher than that for the in-plane field, which can be associated with the two-dimensional structure or the surface state. On the basis of first-principles calculations, it is found that the characteristic Hc2 possibly reflects the anisotropic modification of the Fermi surface by the effective combination of Rashba-type spin splitting and Zeeman spin splitting enhanced by Eu moments.


title: Fair Generative Models via Transfer Learning

abstract: This work addresses fair generative models. Dataset biases have been a major cause of unfairness in deep generative models. Previous work had proposed to augment large, biased datasets with small, unbiased reference datasets. Under this setup, a weakly-supervised approach has been proposed, which achieves state-of-the-art quality and fairness in generated samples. In our work, based on this setup, we propose a simple yet effective approach. Specifically, first, we propose fairTL, a transfer learning approach to learn fair generative models. Under fairTL, we pre-train the generative model with the available large, biased datasets and subsequently adapt the model using the small, unbiased reference dataset. We find that our fairTL can learn expressive sample generation during pre-training, thanks to the large (biased) dataset. This knowledge is then transferred to the target model during adaptation, which also learns to capture the underlying fair distribution of the small reference dataset. Second, we propose fairTL++, where we introduce two additional innovations to improve upon fairTL: (i) multiple feedback and (ii) Linear-Probing followed by Fine-Tuning (LP-FT). Taking one step further, we consider an alternative, challenging setup when only a pre-trained (potentially biased) model is available but the dataset that was used to pre-train the model is inaccessible. We demonstrate that our proposed fairTL and fairTL++ remain very effective under this setup. We note that previous work requires access to the large, biased datasets and is incapable of handling this more challenging setup. Extensive experiments show that fairTL and fairTL++ achieve state-of-the-art in both quality and fairness of generated samples. The code and additional resources can be found at bearwithchris.github.io/fairTL/.


title: First-Order Methods for Nonsmooth Nonconvex Functional Constrained Optimization with or without Slater Points

abstract: Constrained optimization problems where both the objective and constraints may be nonsmooth and nonconvex arise across many learning and data science settings. In this paper, we show for any Lipschitz, weakly convex objectives and constraints, a simple first-order method finds a feasible, $\epsilon$-stationary point at a convergence rate of $O(\epsilon^{-4})$ without relying on compactness or Constraint Qualification (CQ). When CQ holds, this convergence is measured by approximately satisfying the Karush-Kuhn-Tucker conditions. When CQ fails, we guarantee the attainment of weaker Fritz-John conditions. As an illustrative example, our method stably converges on piecewise quadratic SCAD regularized problems despite frequent violations of constraint qualification. The considered algorithm is similar to those of "Quadratically regularized subgradient methods for weakly convex optimization with weakly convex constraints" by Ma et al. and "Stochastic first-order methods for convex and nonconvex functional constrained optimization" by Boob et al. (whose guarantees further assume compactness and CQ), iteratively taking inexact proximal steps, computed via an inner loop applying a switching subgradient method to a strongly convex constrained subproblem. Our non-Lipschitz analysis of the switching subgradient method appears to be new and may be of independent interest.


title: Single-shot ToF sensing with sub-mm precision using conventional CMOS sensors

abstract: We present a novel single-shot interferometric ToF camera targeted for precise 3D measurements of dynamic objects. The camera concept is based on Synthetic Wavelength Interferometry, a technique that allows retrieval of depth maps of objects with optically rough surfaces at submillimeter depth precision. In contrast to conventional ToF cameras, our device uses only off-the-shelf CCD/CMOS detectors and works at their native chip resolution (as of today, theoretically up to 20 Mp and beyond). Moreover, we can obtain a full 3D model of the object in single-shot, meaning that no temporal sequence of exposures or temporal illumination modulation (such as amplitude or frequency modulation) is necessary, which makes our camera robust against object motion. In this paper, we introduce the novel camera concept and show first measurements that demonstrate the capabilities of our system. We present 3D measurements of small (cm-sized) objects with > 2 Mp point cloud resolution (the resolution of our used detector) and up to sub-mm depth precision. We also report a "single-shot 3D video" acquisition and a first single-shot "Non-Line-of-Sight" measurement. Our technique has great potential for high-precision applications with dynamic object movement, e.g., in AR/VR, industrial inspection, medical imaging, and imaging through scattering media like fog or human tissue.


title: Transport of Cosmic ray electrons from 1 AU to the Sun

abstract: Gamma rays are produced by cosmic ray (CR) protons interacting with the particles at solar photosphere and by cosmic ray electrons and positrons (CRes) via inverse Compton scattering of solar photons. The former come from the solar disk while the latter extend beyond the disk. Evaluation of these emissions requires the flux and spectrum of CRs in the vicinity of the Sun, while most observations provide flux and spectra near the Earth, at around 1 AU from the Sun. Past estimates of the quiet Sun gamma-ray emission use phenomenological modulation procedures to estimate spectra near the Sun (see review by Orlando and Strong 2021 and references therein). We show that CRe transport in the inner heliosphere requires a kinetic approach and use a novel approximation to determine the variation of CRe flux and spectrum from 1 AU to the Sun including effects of (1) the structure of large scale magnetic field, (2) small scale turbulence in the solar wind from several in situ measurements, in particular, those by Parker Solar Probe that extend this information to 0.1 AU, and (3) most importantly, energy losses due to synchrotron and inverse Compton processes. We present results on the flux and spectrum variation of CRes from 1 AU to the Sun for several transport models. In forthcoming papers we will use these results for a more accurate estimate of quiet Sun inverse Compton gamma-ray spectra, and, for the first time, the spectrum of extreme ultraviolet to hard X-ray photons produced by synchrotron emission. These can be compared with the quiet Sun gamma-ray observation by Fermi (see, e.g.~Fermi-LAT Collaboration, 2011) and X-ray upper limits set by RHESSI (Hannah et al., 2010).


title: Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four body problem

abstract: We develop computer assisted arguments for proving the existence of transverse homoclinic connecting orbits, and apply these arguments for a number of non-perturbative parameter and energy values in the spatial equilateral circular restricted four body problem. The idea is to formulate the desired connecting orbits as solutions of certain two point boundary value problems for orbit segments which originate and terminate on the local stable/unstable manifolds attached to a periodic orbit. These boundary value problems are studied via a Newton-Kantorovich argument in an appropriate Cartesian product of Banach algebras of rapidly decaying sequences of Chebyshev coefficients. Perhaps the most delicate part of the problem is controlling the boundary conditions, which must lie on the local stable/unstable manifolds of the periodic orbit. For this portion of the problem we use a parameterization method to develop Fourier-Taylor approximations equipped with a-posteriori error bounds. This requires validated computation of a finite number of Fourier-Taylor coefficients via Newton-Kantorovich arguments in appropriate Cartesian product of rapidly decaying sequences of Fourier coefficients, followed by a fixed point argument to bound the tail terms of the Taylor expansion. Transversality follows as a consequence of the Newton-Kantorovich argument.


title: Inducing Skyrmion Flop Transitions in Co$_8$Zn$_8$Mn$_4$ at Room Temperature

abstract: Magnetic skyrmions are topologically-protected spin textures that manifest in certain non-centrosymmetric ferromagnets under the right conditions of temperature and field. In thin film skyrmion hosts, demagnetization effects combined with geometric confinement can result in two distinct types of spin textures: those with their axis of symmetry in the plane of the film (IP) and those with their axis pointing out-of-plane (OOP). Here we present Lorentz transmission electron microscopy evidence in conjunction with numerical modeling showing a flop transition between IP and OOP skyrmions in Co$_8$Zn$_8$Mn$_4$ at room temperature. We show that this skyrmion flop transition is controllable via the angle of the external field relative to the film normal and we illustrate how this transition depends on thickness. Finally, we propose a skyrmion-writing device that utilizes the details of this transition.


title: ObjectStitch: Generative Object Compositing

abstract: Object compositing based on 2D images is a challenging problem since it typically involves multiple processing stages such as color harmonization, geometry correction and shadow generation to generate realistic results. Furthermore, annotating training data pairs for compositing requires substantial manual effort from professionals, and is hardly scalable. Thus, with the recent advances in generative models, in this work, we propose a self-supervised framework for object compositing by leveraging the power of conditional diffusion models. Our framework can hollistically address the object compositing task in a unified model, transforming the viewpoint, geometry, color and shadow of the generated object while requiring no manual labeling. To preserve the input object's characteristics, we introduce a content adaptor that helps to maintain categorical semantics and object appearance. A data augmentation method is further adopted to improve the fidelity of the generator. Our method outperforms relevant baselines in both realism and faithfulness of the synthesized result images in a user study on various real-world images.


title: Fermions in Loop Quantum Gravity and Resolution of Doubling Problem

abstract: The fermion propagator is derived in detail from the model of fermion coupled to loop quantum gravity. As an ingredient of the propagator, the vacuum state is defined as the ground state of some effective fermion Hamiltonian under the background geometry given by a coherent state resembling the classical Minkowski spacetime. Moreover, as a critical feature of loop quantum gravity, the superposition over graphs is employed to define the vacuum state. It turns out that the graph superposition leads to the propagator being the average of the propagators of the lattice field theory over various graphs so that all fermion doubler modes are suppressed in the propagator. This resolves the doubling problem in loop quantum gravity. Our result suggests that the superposition nature of quantum geometry should, on the one hand, resolve the tension between fermion and the fundamental discreteness and, on the other hand, relate to the continuum limit of quantum gravity.


title: Shifting to Telework and Firms' Location: Does Telework Make Our Society Efficient?

abstract: Although it has been suggested that the shift from on-site work to telework will change the city structure, the mechanism of this change is not clear. This study clarifies how the location of firms changes when the cost of teleworking decreases and how this affects the urban economy. The two main results obtained are as follows. (i) The expansion of teleworking causes firms to be located closer to urban centers or closer to urban fringes. (ii) Teleworking makes urban production more efficient and cities more compact. This is the first paper to show that two empirical studies can be represented in a unified theoretical model and that existing studies obtained by simulation can be explained analytically.