title: Thermodynamics education for energy transformation: a Stirling Engine experiment

abstract: We present a thermodynamics experiment suitable for first year undergraduate students employing Stirling Engines to create a demonstration of energy transformation and to measure the mechanical efficiency of such engines. Using an inexpensive transparent chambered Stirling Engine, students can connect concepts such as the theoretical pressure-volume diagram with the physical movements of the engine's pistons and the resultant useful output work of a spinning wheel. We found the majority of students successfully complete this experiment obtaining results similar to when performed by the authors. In addition to the core thermodynamics lesson, this experiment incorporates DC circuits, oscilloscopes, and data analysis so it can be integrated into a wider undergraduate physics course to combine the teaching of multiple subjects.


title: On exploration requirements for learning safety constraints

abstract: Enforcing safety for dynamical systems is challenging, since it requires constraint satisfaction along trajectory predictions. Equivalent control constraints can be computed in the form of sets that enforce positive invariance, and can thus guarantee safety in feedback controllers without predictions. However, these constraints are cumbersome to compute from models, and it is not yet well established how to infer constraints from data. In this paper, we shed light on the key objects involved in learning control constraints from data in a model-free setting. In particular, we discuss the family of constraints that enforce safety in the context of a nominal control policy, and expose that these constraints do not need to be accurate everywhere. They only need to correctly exclude a subset of the state-actions that would cause failure, which we call the critical set.


title: Newton like equations for the radiating particle: the non relativistic limit

abstract: A broad class of forces, P, is identified, for which the Abraham-Lorentz-Dirac (ALD) and Newton-like equations have solutions in common. Moreover, these solutions do not present pre-acceleration or escape into infinity (runaway behavior). Any continuous or piecewise continuous force can be represented in terms of functions belonging to this class P. It was also argued that the set of common solutions of both sets of equations is wider, it was proved that these solutions could be formulated in terms of generalized functions. The existence of such generalized functions motions is explicitly demonstrated for the relevant example of the instantaneously applied constant force, for which the respective solution of the ALD equation exhibits lack of causality and runaway motion. In this case, the expressions for the position and velocity of the particle are formulated in terms of generalized functions of time, having only a point support at the time that the force is applied. Thus, both, the velocity and the position are discontinuous at the instant that the force was applied. The solution for a particle moving between the plates of a capacitor reproduces the one obtained by A. Yaghjian from his discussion for extended particles. This outcome suggests a possible link or equivalence between both studies. A solution, common to the Newton-like and the ALD equations, for a constant homogeneous magnetic field is also presented. The extension of the results obtained to a relativistic context will be studied in future works.


title: Reactive Navigation Framework for Mobile Robots by Heuristically Evaluated Pre-sampled Trajectories

abstract: This paper describes and analyzes a reactive navigation framework for mobile robots in unknown environments. The approach does not rely on a global map and only considers the local occupancy in its robot-centered 3D grid structure. The proposed algorithm enables fast navigation by heuristic evaluations of pre-sampled trajectories on-the-fly. At each cycle, these paths are evaluated by a weighted cost function, based on heuristic features such as closeness to the goal, previously selected trajectories, and nearby obstacles. This paper introduces a systematic method to calculate a feasible pose on the selected trajectory, before sending it to the controller for the motion execution. Defining the structures in the framework and providing the implementation details, the paper also explains how to adjust its offline and online parameters. To demonstrate the versatility and adaptability of the algorithm in unknown environments, physics-based simulations on various maps are presented. Benchmark tests show the superior performance of the proposed algorithm over its previous iteration and another state-of-art method. The open-source implementation of the algorithm and the benchmark data can be found at \url{https://github.com/RIVeR-Lab/tentabot}.


title: MUSER: MUltimodal Stress Detection using Emotion Recognition as an Auxiliary Task

abstract: The capability to automatically detect human stress can benefit artificial intelligent agents involved in affective computing and human-computer interaction. Stress and emotion are both human affective states, and stress has proven to have important implications on the regulation and expression of emotion. Although a series of methods have been established for multimodal stress detection, limited steps have been taken to explore the underlying inter-dependence between stress and emotion. In this work, we investigate the value of emotion recognition as an auxiliary task to improve stress detection. We propose MUSER -- a transformer-based model architecture and a novel multi-task learning algorithm with speed-based dynamic sampling strategy. Evaluations on the Multimodal Stressed Emotion (MuSE) dataset show that our model is effective for stress detection with both internal and external auxiliary tasks, and achieves state-of-the-art results.


title: COVID-19 Lung Lesion Segmentation Using a Sparsely Supervised Mask R-CNN on Chest X-rays Automatically Computed from Volumetric CTs

abstract: Chest X-rays of coronavirus disease 2019 (COVID-19) patients are frequently obtained to determine the extent of lung disease and are a valuable source of data for creating artificial intelligence models. Most work to date assessing disease severity on chest imaging has focused on segmenting computed tomography (CT) images; however, given that CTs are performed much less frequently than chest X-rays for COVID-19 patients, automated lung lesion segmentation on chest X-rays could be clinically valuable. There currently exists a universal shortage of chest X-rays with ground truth COVID-19 lung lesion annotations, and manually contouring lung opacities is a tedious, labor-intensive task. To accelerate severity detection and augment the amount of publicly available chest X-ray training data for supervised deep learning (DL) models, we leverage existing annotated CT images to generate frontal projection "chest X-ray" images for training COVID-19 chest X-ray models. In this paper, we propose an automated pipeline for segmentation of COVID-19 lung lesions on chest X-rays comprised of a Mask R-CNN trained on a mixed dataset of open-source chest X-rays and coronal X-ray projections computed from annotated volumetric CTs. On a test set containing 40 chest X-rays of COVID-19 positive patients, our model achieved IoU scores of 0.81 $\pm$ 0.03 and 0.79 $\pm$ 0.03 when trained on a dataset of 60 chest X-rays and on a mixed dataset of 10 chest X-rays and 50 projections from CTs, respectively. Our model far outperforms current baselines with limited supervised training and may assist in automated COVID-19 severity quantification on chest X-rays.


title: Adaptive Density Tracking by Quadrature for Stochastic Differential Equations

abstract: Density tracking by quadrature (DTQ) is a numerical procedure for computing solutions to Fokker-Planck equations that describe probability densities for stochastic differential equations (SDEs). In this paper, we extend upon existing tensorized DTQ procedures by utilizing a flexible quadrature rule that allows for unstructured, adaptive meshes. We propose and describe the procedure for $N$-dimensions, and demonstrate that the resulting adaptive procedure is significantly more efficient than a tensorized approach. Although we consider two-dimensional examples, all our computational procedures are extendable to higher dimensional problems.


title: Deep Metric Learning for Few-Shot Image Classification: A Review of Recent Developments

abstract: Few-shot image classification is a challenging problem that aims to achieve the human level of recognition based only on a small number of training images. One main solution to few-shot image classification is deep metric learning. These methods, by classifying unseen samples according to their distances to few seen samples in an embedding space learned by powerful deep neural networks, can avoid overfitting to few training images in few-shot image classification and have achieved the state-of-the-art performance. In this paper, we provide an up-to-date review of deep metric learning methods for few-shot image classification from 2018 to 2022 and categorize them into three groups according to three stages of metric learning, namely learning feature embeddings, learning class representations, and learning distance measures. With this taxonomy, we identify the novelties of different methods and problems they face. We conclude this review with a discussion on current challenges and future trends in few-shot image classification.


title: Modeling the EdNet Dataset with Logistic Regression

abstract: Many of these challenges are won by neural network models created by full-time artificial intelligence scientists. Due to this origin, they have a black-box character that makes their use and application less clear to learning scientists. We describe our experience with competition from the perspective of educational data mining, a field founded in the learning sciences and connected with roots in psychology and statistics. We describe our efforts from the perspectives of learning scientists and the challenges to our methods, some real and some imagined. We also discuss some basic results in the Kaggle system and our thoughts on how those results may have been improved. Finally, we describe how learner model predictions are used to make pedagogical decisions for students. Their practical use entails a) model predictions and b) a decision rule (based on the predictions). We point out how increased model accuracy can be of limited practical utility, especially when paired with simple decision rules and argue instead for the need to further investigate optimal decision rules.


title: On Using P2P Technology for Decentralized Detection of Service Level Agreement Violations

abstract: Critical networked services enable significant revenue for network operators and, in turn, are regulated by Service Level Agreements (SLAs). In order to ensure SLAs are being met, service levels need to be monitored. One technique for this involves active measurement mechanisms which employ measurement probes along the network to inject synthetic traffic and compute the network performance. However, these mechanisms are expensive in terms of resources consumption. Thus, these mechanisms usually can cover only a fraction of what could be measured, which can lead to SLA violations being missed. Besides that, the definition of this fraction is a practice done by human administrators, which does not scale well and does not adapt to highly dynamic networking patterns. In this article, we examine the potential benefits of using P2P technology to improve the detection of SLA Violations. We first describe the principles of a P2P-based steering of active measurement mechanisms. These principles are characterized by a high degree of decentralized decision making across a network using a self-organizing overlay. In a second step, we present measurement session activation strategies based on these principles. These strategies do not require human intervention, are adaptive to changes in network conditions, and independent of the underlying active measurement technology.


title: The derivator of setoids

abstract: Without the axiom of choice, the free exact completion of the category of sets (i.e. the category of setoids) may not be complete or cocomplete. We will show that nevertheless, it can be enhanced to a derivator: the formal structure of categories of diagrams related by Kan extension functors. Moreover, this derivator is the free cocompletion of a point in a class of "1-truncated derivators" (which behave like a 1-category rather than a higher category). In classical mathematics, the free cocompletion of a point relative to all derivators is the homotopy theory of spaces. Thus, if there is a homotopy theory that can be shown to have this universal property constructively, its 1-truncation must contain not only sets, but also setoids. This suggests that either setoids are an unavoidable aspect of constructive homotopy theory, or more radical modifications to the notion of homotopy theory are needed.


title: Nonlinear Tunable Vibrational Response in Hexagonal Boron Nitride

abstract: Nonlinear light-matter interactions in structured materials are the source of exciting properties and enable vanguard applications in photonics. However, the magnitude of nonlinear effects is generally small, thus requiring high optical intensities for their manifestation at the nanoscale. Here, we reveal a large nonlinear response of monolayer hexagonal boron nitride (hBN) in the mid-infrared phonon-polariton region, triggered by the strongly anharmonic potential associated with atomic vibrations in this material. We present robust first-principles theory predicting a threshold light field $\sim40\,$MV/m to produce order-unity effects in Kerr nonlinearities and harmonic generation, which are made possible by a combination of the long lifetimes exhibited by optical phonons and the strongly asymmetric landscape of the configuration energy in hBN. We further foresee polariton blockade at the few-quanta level in nanometer-sized structures. In addition, by mixing static and optical fields, the strong nonlinear response of monolayer hBN gives rise to substantial frequency shifts of optical phonon modes, exceeding their spectral width for in-plane DC fields that are attainable using lateral gating technology. We therefore predict a practical scheme for electrical tunability of the vibrational modes with potential interest in mid-infrared optoelectronics. The strong nonlinear response, low damping, and robustness of hBN polaritons set the stage for the development of applications in light modulation, sensing, and metrology, while triggering the search for intense vibrational nonlinear response in other ionic materials.


title: StRETcH: a Soft to Resistive Elastic Tactile Hand

abstract: Soft optical tactile sensors enable robots to manipulate deformable objects by capturing important features such as high-resolution contact geometry and estimations of object compliance. This work presents a variable stiffness soft tactile end-effector called StRETcH, a Soft to Resistive Elastic Tactile Hand, that is easily manufactured and integrated with a robotic arm. An elastic membrane is suspended between two robotic fingers, and a depth sensor capturing the deformations of the elastic membrane enables sub-millimeter accurate estimates of contact geometries. The parallel-jaw gripper varies the stiffness of the membrane by uni-axially stretching it, which controllably modulates StRETcH's effective modulus from approximately 4kPa to 9kPa. This work uses StRETcH to reconstruct the contact geometry of rigid and deformable objects, estimate the stiffness of four balloons filled with different substances, and manipulate dough into a desired shape.


title: (Deep) Induction Rules for GADTs

abstract: Deep data types are those that are constructed from other data types, including, possibly, themselves. In this case, they are said to be truly nested. Deep induction is an extension of structural induction that traverses all of the structure in a deep data type, propagating predicates on its primitive data throughout the entire structure. Deep induction can be used to prove properties of nested types, including truly nested types, that cannot be proved via structural induction. In this paper we show how to extend deep induction to GADTs that are not truly nested GADTs. This opens the way to incorporating automatic generation of (deep) induction rules for them into proof assistants. We also show that the techniques developed in this paper do not suffice for extending deep induction to truly nested GADTs, so more sophisticated techniques are needed to derive deep induction rules for them.


title: Electron Beam Irradiation of Gallium Nitride-on-Silicon Betavoltaics Fabricated with a Triple Mesa Etch

abstract: A process for growing gallium nitride (GaN) vertical p-i-n homojunctions on (111) silicon (Si) substrates using metalorganic chemical vapor deposition (MOCVD) was developed, and a triple mesa etch technique was used to fabricate efficient betavoltaic energy converters. Monte Carlo simulation platform CASINO was used to model beta radiation penetration into GaN to aid device design. The resulting devices were tested under irradiation from a scanning electron microscope (SEM) electron beam (e-beam) tuned to imitate the energies of the 63Ni beta emission spectrum. Based on current-voltage (I-V) measurements taken under e-beam illumination, a maximum open-circuit voltage of 412 mV and a maximum short-circuit current density of 407 nA/cm2 were measured. A high fill factor (FF) of 0.77 and power conversion efficiency of 6.6% were obtained. Additionally, the proposed triple mesa etch technique used to create these betavoltaics has potential for further use in fabricating many types of electronic devices using a wide variety of material platforms.


title: Cardiac Functional Analysis with Cine MRI via Deep Learning Reconstruction

abstract: Retrospectively gated cine (retro-cine) MRI is the clinical standard for cardiac functional analysis. Deep learning (DL) based methods have been proposed for the reconstruction of highly undersampled MRI data and show superior image quality and magnitude faster reconstruction time than CS-based methods. Nevertheless, it remains unclear whether DL reconstruction is suitable for cardiac function analysis. To address this question, in this study we evaluate and compare the cardiac functional values (EDV, ESV and EF for LV and RV, respectively) obtained from highly accelerated MRI acquisition using DL based reconstruction algorithm (DL-cine) with values from CS-cine and conventional retro-cine. To the best of our knowledge, this is the first work to evaluate the cine MRI with deep learning reconstruction for cardiac function analysis and compare it with other conventional methods. The cardiac functional values obtained from cine MRI with deep learning reconstruction are consistent with values from clinical standard retro-cine MRI.


title: The Confluence of Networks, Games and Learning

abstract: Recent years have witnessed significant advances in technologies and services in modern network applications, including smart grid management, wireless communication, cybersecurity as well as multi-agent autonomous systems. Considering the heterogeneous nature of networked entities, emerging network applications call for game-theoretic models and learning-based approaches in order to create distributed network intelligence that responds to uncertainties and disruptions in a dynamic or an adversarial environment. This paper articulates the confluence of networks, games and learning, which establishes a theoretical underpinning for understanding multi-agent decision-making over networks. We provide an selective overview of game-theoretic learning algorithms within the framework of stochastic approximation theory, and associated applications in some representative contexts of modern network systems, such as the next generation wireless communication networks, the smart grid and distributed machine learning. In addition to existing research works on game-theoretic learning over networks, we highlight several new angles and research endeavors on learning in games that are related to recent developments in artificial intelligence. Some of the new angles extrapolate from our own research interests. The overall objective of the paper is to provide the reader a clear picture of the strengths and challenges of adopting game-theoretic learning methods within the context of network systems, and further to identify fruitful future research directions on both theoretical and applied studies.


title: A comparison of six numerical methods for integrating a compartmental Hodgkin-Huxley type model

abstract: We compare six numerical integrators' performance when simulating a regular spiking cortical neuron model whose 74-compartments are equipped with eleven membrane ion channels and Calcium dynamics. Four methods are explicit and two are implicit; three are finite difference PDE methods, two are Runge-Kutta methods, and one an exponential time differencing method. Three methods are first-, two commonly considered second-, and one commonly considered fourth-order. Derivations show, and simulation data confirms, that Hodgkin-Huxley type cable equations render multiple order explicit RK methods as first-order methods. Illustrations compare accuracy, stability, variations of action potential phase and waveform statistics. Explicit methods were found unsuited for our model given their inability to control spiking waveform consistency up to 10 microseconds less than the step size for onset of instability. While the backward-time central space method performed satisfactorily as a first order method for step sizes up to 80 microseconds, performance of the Hines-Crank-Nicolson method, our only true second order method, was unmatched for step sizes of 1-100 microseconds.


title: Polynomial upper bounds on the number of differing columns of $\Delta$-modular integer programs

abstract: We study integer-valued matrices with bounded determinants. Such matrices appear in the theory of integer programs (IP) with bounded determinants. For example, Artmann et al. showed that an IP can be solved in strongly polynomial time if the constraint matrix is bimodular, that is, the determinants are bounded in absolute value by two. Determinants are also used to bound the $\ell_1$-distance between IP solutions and solutions of its linear relaxation. One of the first works to quantify the complexity of IPs with bounded determinants was that of Heller, who identified the maximum number of differing columns in a totally unimodular matrix. Each extension of Heller's bound to general determinants has been super-polynomial in the determinants or the number of equations. We provide the first column bound that is polynomial in both values. For integer programs with box constraints, our result gives the first $\ell_1$-distance bound that is polynomial in the determinants and the number of equations. Our result can also be used to derive a bound on the height of Graver basis elements that is polynomial in the determinants and the number of equations. Furthermore, we show a tight bound on the number of differing columns in a bimodular matrix; this is the first tight bound since Heller. Our analysis reveals combinatorial properties of bimodular IPs that may be of independent interest.


title: Perturbative readout error mitigation for near term quantum computers

abstract: Readout errors on near-term quantum computers can introduce significant error to the empirical probability distribution sampled from the output of a quantum circuit. These errors can be mitigated by classical postprocessing given the access of an experimental \emph{response matrix} that describes the error associated with measurement of each computational basis state. However, the resources required to characterize a complete response matrix and to compute the corrected probability distribution scale exponentially in the number of qubits $n$. In this work, we modify standard matrix inversion techniques using two perturbative approximations with significantly reduced complexity and bounded error when the likelihood of high order bitflip events is strongly suppressed. Given a characteristic error rate $q$, our first method recovers the probability of the all-zeros bitstring $p_0$ by sampling only a small subspace of the response matrix before inverting readout error resulting in a relative speedup of $\text{poly}\left(2^{n} / \big(\begin{smallmatrix} n \\ w \end{smallmatrix}\big)\right)$, which we motivate using a simplified error model for which the approximation incurs only $O(q^w)$ error for some integer $w$. We then provide a generalized technique to efficiently recover full output distributions with $O(q^w)$ error in the perturbative limit. These approximate techniques for readout error correction may greatly accelerate near term quantum computing applications.


title: A mm-Wave Patch Antenna with Broad Bandwidth and a Wide Angular Range

abstract: A novel mm-wave microstrip-fed patch antenna with broad bandwidth and wide angular coverage suitable for integration in planar arrays is designed, analyzed and verified by measurements. The antenna provides a bandwidth of 13.1% between 34.1 GHz and 38.9 GHz, which is achieved by a slotted multiple resonances microstrip patch and a matching circuit in microstrip technology. The antenna is built on RO3003 substrate with top and ground layers, which is low cost compared to other techniques. For simple integration with microstrip and frontend circuits, the feeding happens in the top layer with a microstrip coupling gap feed. The wide half power beamwidth is achieved by suitably designed parasitic patches for the first resonant mode. The second resonant mode has a wide half power beamwidth by default. The half power beamwidth is between 100{\deg} and 125{\deg} within the matched bandwidth, which is a very good value for a microstrip patch antenna radiating over a ground plane. The measured input impedance and radiation characteristic show very good agreement with simulation results.


title: Accelerating 3D MULTIPLEX MRI Reconstruction with Deep Learning

abstract: Multi-contrast MRI images provide complementary contrast information about the characteristics of anatomical structures and are commonly used in clinical practice. Recently, a multi-flip-angle (FA) and multi-echo GRE method (MULTIPLEX MRI) has been developed to simultaneously acquire multiple parametric images with just one single scan. However, it poses two challenges for MULTIPLEX to be used in the 3D high-resolution setting: a relatively long scan time and the huge amount of 3D multi-contrast data for reconstruction. Currently, no DL based method has been proposed for 3D MULTIPLEX data reconstruction. We propose a deep learning framework for undersampled 3D MRI data reconstruction and apply it to MULTIPLEX MRI. The proposed deep learning method shows good performance in image quality and reconstruction time.


title: Parallel and Flexible Sampling from Autoregressive Models via Langevin Dynamics

abstract: This paper introduces an alternative approach to sampling from autoregressive models. Autoregressive models are typically sampled sequentially, according to the transition dynamics defined by the model. Instead, we propose a sampling procedure that initializes a sequence with white noise and follows a Markov chain defined by Langevin dynamics on the global log-likelihood of the sequence. This approach parallelizes the sampling process and generalizes to conditional sampling. Using an autoregressive model as a Bayesian prior, we can steer the output of a generative model using a conditional likelihood or constraints. We apply these techniques to autoregressive models in the visual and audio domains, with competitive results for audio source separation, super-resolution, and inpainting.


title: Social Behavior and Mental Health: A Snapshot Survey under COVID-19 Pandemic

abstract: Online social media provides a channel for monitoring people's social behaviors and their mental distress. Due to the restrictions imposed by COVID-19 people are increasingly using online social networks to express their feelings. Consequently, there is a significant amount of diverse user-generated social media content. However, COVID-19 pandemic has changed the way we live, study, socialize and recreate and this has affected our well-being and mental health problems. There are growing researches that leverage online social media analysis to detect and assess user's mental status. In this paper, we survey the literature of social media analysis for mental disorders detection, with a special focus on the studies conducted in the context of COVID-19 during 2020-2021. Firstly, we classify the surveyed studies in terms of feature extraction types, varying from language usage patterns to aesthetic preferences and online behaviors. Secondly, we explore detection methods used for mental disorders detection including machine learning and deep learning detection methods. Finally, we discuss the challenges of mental disorder detection using social media data, including the privacy and ethical concerns, as well as the technical challenges of scaling and deploying such systems at large scales, and discuss the learnt lessons over the last few years.


title: Variation of the Nebular Dust Attenuation Curve with the Properties of Local Star-forming Galaxies

abstract: We use a sample of $78,340$ star-forming galaxies at $z\simeq 0.04-0.1$ from the SDSS DR8 survey to calculate the average nebular dust attenuation curve and its variation with the physical properties of galaxies. Using the first four low-order Balmer emission lines (H$\alpha$, H$\beta$, H$\gamma$, H$\delta$) detected in the composite spectrum of all galaxies in the sample, we derive a nebular attenuation curve in the range of $0.41\,\mu$m to $0.66\,\mu$m that has a similar shape and normalization to that of the Galactic extinction curve (Milky Way curve), the SMC curve and the nebular attenuation curve derived recently for typical star-forming galaxies at $z\sim2$. We divide the galaxies into bins of stellar mass, gas-phase metallicity, and specific star-formation rate, and derive the nebular attenuation curve in each of these bins. This analysis indicates that there is very little variation in the shape of the nebular dust attenuation curve with the properties used to bin the galaxies, and suggests a near universal shape of the nebular dust attenuation curve at least among the galaxies and the range of properties considered in our sample.


title: Maximal Acceleration, Reciprocity & Nonlocality

abstract: The existence of a fundamental scale is expected to be a key feature of quantum gravity. Many approaches take this property as a starting assumption. Here, instead, we take a less conventional viewpoint based on a critical inspection of both fundamental principles and kinematic laws. We point out that rigorous arguments suggest a more urgent need to revise known theories to incorporate a fundamental acceleration scale already in flat space. The reciprocity principle can naturally do so. In addition to noticing links with string theory, we argue that the reciprocity principle implies an infinite-derivative generalization of the Einstein-Hilbert action that makes the gravitational interaction fundamentally nonlocal, thus providing a guiding principle that could lead us towards the formulation of a consistent theory of quantum gravity.


title: Cosmological radiation density with non-standard neutrino-electron interactions

abstract: Neutrino non-standard interactions (NSI) with electrons are known to alter the picture of neutrino decoupling from the cosmic plasma. NSI modify both flavour oscillations through matter effects, and the annihilation and scattering between neutrinos and electrons and positrons in the thermal plasma. In view of the forthcoming cosmological observations, we perform a precision study of the impact of non-universal and flavour-changing NSI on the effective number of neutrinos, $N_{eff}$. We present the variation of $N_{eff}$ arising from the different NSI parameters and discuss the existing degeneracies among them, from cosmology alone and in relation to the current bounds from terrestrial experiments. Even though cosmology is generally less sensitive to NSI than these experiments, we find that future cosmological data would provide competitive and complementary constraints for some of the couplings and their combinations.


title: Safe Occlusion-aware Autonomous Driving via Game-Theoretic Active Perception

abstract: Autonomous vehicles interacting with other traffic participants heavily rely on the perception and prediction of other agents' behaviors to plan safe trajectories. However, as occlusions limit the vehicle's perception ability, reasoning about potential hazards beyond the field of view is one of the most challenging issues in developing autonomous driving systems. This paper introduces a novel analytical approach that poses safe trajectory planning under occlusions as a hybrid zero-sum dynamic game between the autonomous vehicle (evader) and an initially hidden traffic participant (pursuer). Due to occlusions, the pursuer's state is initially unknown to the evader and may later be discovered by the vehicle's sensors. The analysis yields optimal strategies for both players as well as the set of initial conditions from which the autonomous vehicle is guaranteed to avoid collisions. We leverage this theoretical result to develop a novel trajectory planning framework for autonomous driving that provides worst-case safety guarantees while minimizing conservativeness by accounting for the vehicle's ability to actively avoid other road users as soon as they are detected in future observations. Our framework is agnostic to the driving environment and suitable for various motion planners. We demonstrate our algorithm on challenging urban and highway driving scenarios using the open-source CARLA simulator.


title: Zero Dynamics, Pendulum Models, and Angular Momentum in Feedback Control of Bipedal Locomotion

abstract: Low-dimensional models are ubiquitous in the bipedal robotics literature. On the one hand is the community of researchers that bases feedback control design on pendulum models selected to capture the center of mass dynamics of the robot during walking. On the other hand is the community that bases feedback control design on virtual constraints, which induce an exact low-dimensional model in the closed-loop system. In the first case, the low-dimensional model is valued for its physical insight and analytical tractability. In the second case, the low-dimensional model is integral to a rigorous analysis of the stability of walking gaits in the full-dimensional model of the robot. This paper seeks to clarify the commonalities and differences in the two perspectives for using low-dimensional models. In the process of doing so, we argue that angular momentum about the contact point is a better indicator of robot state than linear velocity. Concretely, we show that an approximate (pendulum and zero dynamics) model parameterized by angular momentum provides better predictions for foot placement on a physical robot (e.g., legs with mass) than does a related approximate model parameterized in terms of linear velocity. We implement an associated angular-momentum-based controller on Cassie, a 3D robot, and demonstrate high agility and robustness in experiments.


title: On the structure tensor of $\mathfrak{sl}_n$

abstract: The structure tensor of $\mathfrak{sl}_n$, denoted $T_{\mathfrak{sl}_n}$, is the tensor arising from the Lie bracket bilinear operation on the set of traceless $n \times n$ matrices over $\mathbb{C}$. This tensor is intimately related to the well studied matrix multiplication tensor. Studying the structure tensor of $\mathfrak{sl}_n$ may provide further insight into the complexity of matrix multiplication and the "hay in a haystack" problem of finding explicit sequences tensors with high rank or border rank. We aim to find new bounds on the rank and border rank of this structure tensor in the case of $\mathfrak{sl}_3$ and $\mathfrak{sl}_4$. We additionally provide bounds in the case of the lie algebras $\mathfrak{so}_4$ and $\mathfrak{so}_5$. The lower bounds on the border ranks were obtained via various recent techniques, namely Koszul flattenings, border substitution, and border apolarity. Upper bounds on the rank of $T_{\mathfrak{sl}_3}$ are obtained via numerical methods that allowed us to find an explicit rank decomposition.


title: Galois Cohomology of Function Fields of Curves over Non-archimedean Local Fields

abstract: Let $F$ be the function field of a curve over a non-archimedean local field. Let $m \geq 2$ be an integer coprime to the characteristic of the residue field of the local field. In this article, we show that every element in $H^{3}(F, \mu_{m}^{\otimes 2})$ is of the form $\chi \cup (f) \cup (g)$, where $\chi$ is in $H^{1}(F, \mathbb{Z}/m\mathbb{Z})$ and $(f)$, $(g)$ in $H^{1}(F, \mu_{m})$. This extends a result of Parimala and Suresh, where they show this when $m$ is prime and when $F$ contains $\mu_{m}$.


abstract: We use the worldline formalism to derive master formulas for the one-loop N-photon amplitudes in a plane-wave background, for both scalar and spinor QED. This generalises previous work by Ilderton and Torgrimsson for the vacuum polarisation case, although with some change in methodology since, instead of evaluating the path integral on the semi-classical trajectory, we use the special kinematics of the plane-wave background to uncover the crypto-gaussian character of this type of worldline path integral.


title: The localization spread and polarizability of rings and periodic chains

abstract: The localization spread gives a criterion to decide between metallic versus insulating behaviour of a material. It is defined as the second moment cumulant of the many-body position operator, divided by the number of electrons. Different operators are used for systems treated with Open or Periodic Boundary Conditions. In particular, in the case of periodic systems, we use the complex-position definition, that was already used in similar contexts for the treatment of both classical and quantum situations. In this study, we show that the localization spread evaluated on a finite ring system of radius $R$ with Open Boundary Conditions leads, in the large $R$ limit, to the same formula derived by Resta et al. for 1D systems with periodic Born-von K\'arm\'an boundary conditions. A second formula, alternative to the Resta's one, is also given, based on the sum-over-state formalism, allowing for an interesting generalization to polarizability and other similar quantities.


title: Transfer Learning Enhanced Generative Adversarial Networks for Multi-Channel MRI Reconstruction

abstract: Deep learning based generative adversarial networks (GAN) can effectively perform image reconstruction with under-sampled MR data. In general, a large number of training samples are required to improve the reconstruction performance of a certain model. However, in real clinical applications, it is difficult to obtain tens of thousands of raw patient data to train the model since saving k-space data is not in the routine clinical flow. Therefore, enhancing the generalizability of a network based on small samples is urgently needed. In this study, three novel applications were explored based on parallel imaging combined with the GAN model (PI-GAN) and transfer learning. The model was pre-trained with public Calgary brain images and then fine-tuned for use in (1) patients with tumors in our center; (2) different anatomies, including knee and liver; (3) different k-space sampling masks with acceleration factors (AFs) of 2 and 6. As for the brain tumor dataset, the transfer learning results could remove the artifacts found in PI-GAN and yield smoother brain edges. The transfer learning results for the knee and liver were superior to those of the PI-GAN model trained with its own dataset using a smaller number of training cases. However, the learning procedure converged more slowly in the knee datasets compared to the learning in the brain tumor datasets. The reconstruction performance was improved by transfer learning both in the models with AFs of 2 and 6. Of these two models, the one with AF=2 showed better results. The results also showed that transfer learning with the pre-trained model could solve the problem of inconsistency between the training and test datasets and facilitate generalization to unseen data.


title: A Simple Search Problem

abstract: A simple problem is studied in which there are N boxes and a prize known to be in one of the boxes. Furthermore, the probability that the prize is in any box is given. It is desired to find the prize with minimal expected work, where it takes one unit of work to open a box and look inside. The paper establishes bounds on the minimal work in terms of the $p=1/2$ H\"older norm of the probability density and in terms of the entropy of the probability density. We also introduce the notion of "Cartesian product" of problems, and determine the asymptotic behavior of the minimal work for the $n$th power of a problem. (This article is a newly typeset version of an internal publication written in 1984. The second author passed away on November 12, 2020, and his estate has approved the submission of this paper.)


title: Point-based Acoustic Scattering for Interactive Sound Propagation via Surface Encoding

abstract: We present a novel geometric deep learning method to compute the acoustic scattering properties of geometric objects. Our learning algorithm uses a point cloud representation of objects to compute the scattering properties and integrates them with ray tracing for interactive sound propagation in dynamic scenes. We use discrete Laplacian-based surface encoders and approximate the neighborhood of each point using a shared multi-layer perceptron. We show that our formulation is permutation invariant and present a neural network that computes the scattering function using spherical harmonics. Our approach can handle objects with arbitrary topologies and deforming models, and takes less than 1ms per object on a commodity GPU. We have analyzed the accuracy and perform validation on thousands of unseen 3D objects and highlight the benefits over other point-based geometric deep learning methods. To the best of our knowledge, this is the first real-time learning algorithm that can approximate the acoustic scattering properties of arbitrary objects with high accuracy.


title: A Dynamical Quantum Daemon

abstract: We study the irreversibility \`a la Maxwell from a quantum point of view, involving an arbitrarily large ensemble of independent particles, with a daemonic potential that is capable of inducing asymmetries in the evolution, exhibiting new perspectives on how Maxwell's apparent paradox is posed and resolved dynamically. In addition, we design an electromagnetic cavity, to which dielectrics are added, fulfilling the function of a daemon. Thereby, this physical system is capable of cooling and ordering incident electromagnetic radiation. This setting can be generalized to many types of waves, without relying on the concept of measurement in quantum mechanics.


title: Learning Disentangled Representations for Time Series

abstract: Time-series representation learning is a fundamental task for time-series analysis. While significant progress has been made to achieve accurate representations for downstream applications, the learned representations often lack interpretability and do not expose semantic meanings. Different from previous efforts on the entangled feature space, we aim to extract the semantic-rich temporal correlations in the latent interpretable factorized representation of the data. Motivated by the success of disentangled representation learning in computer vision, we study the possibility of learning semantic-rich time-series representations, which remains unexplored due to three main challenges: 1) sequential data structure introduces complex temporal correlations and makes the latent representations hard to interpret, 2) sequential models suffer from KL vanishing problem, and 3) interpretable semantic concepts for time-series often rely on multiple factors instead of individuals. To bridge the gap, we propose Disentangle Time Series (DTS), a novel disentanglement enhancement framework for sequential data. Specifically, to generate hierarchical semantic concepts as the interpretable and disentangled representation of time-series, DTS introduces multi-level disentanglement strategies by covering both individual latent factors and group semantic segments. We further theoretically show how to alleviate the KL vanishing problem: DTS introduces a mutual information maximization term, while preserving a heavier penalty on the total correlation and the dimension-wise KL to keep the disentanglement property. Experimental results on various real-world benchmark datasets demonstrate that the representations learned by DTS achieve superior performance in downstream applications, with high interpretability of semantic concepts.


title: Deep Multistage Multi-Task Learning for Quality Prediction of Multistage Manufacturing Systems

abstract: In multistage manufacturing systems, modeling multiple quality indices based on the process sensing variables is important. However, the classic modeling technique predicts each quality variable one at a time, which fails to consider the correlation within or between stages. We propose a deep multistage multi-task learning framework to jointly predict all output sensing variables in a unified end-to-end learning framework according to the sequential system architecture in the MMS. Our numerical studies and real case study have shown that the new model has a superior performance compared to many benchmark methods as well as great interpretability through developed variable selection techniques.


title: Efficient calculations of the Mode-Resolved ab-initio thermal Conductivity in nanostructures

abstract: First-principles calculations of thermal transport in homogeneous materials have reached remarkable predicting power. Modeling deterministically phonon transport in nanostructures, however, poses novel challenges; notably, it entails solving as many algebraic equations as the number of combinations of wave vectors in the discretized Brillouen and polarizations. We show that, within the relaxation time approximation of the Boltzmann transport equation (BTE), this issue is resolved by interpolating the phonon distributions in the vectorial phonon mean free paths (MFP) space. The coupling between structure and mode-resolved heat transport is investigated in terms of angular-resolved bulk thermal conductivity and phonon suppression function, the latter being associated primarily to the material's geometry. Our method, termed the anisotropic MFP-BTE (aMFP-BTE), allows for fast and accurate thermal conductivity calculations in nanomaterials regardless of the number of phonon branches and wave vectors. Furthermore, it naturally blends with first-principles thermal transport calculations, therefore allowing for multiscale, parameter-free simulations. We apply the aMFP-BTE to compute the mode-resolved effective thermal conductivity of porous Si membranes, achieving up to 50x speed with respect to the case with no interpolation. The proposed approach unlocks the engineering of novel nanostructures, with applications to thermoelectrics and heat management.


title: Improvements to Modern Portfolio Theory based models applied to electricity systems

abstract: With the increase of variable renewable energy sources (VRES) share in electricity systems, manystudies were developed in order to determine their optimal technological and spatial mix. Modern PortfolioTheory (MPT) has been frequently applied in this context. However, some crucial aspects, important inenergy planning, are not addressed by these analyses. We, therefore, propose several improvements andevaluate how each change in formulation impacts results. More specifically, we address generation costs, system demand, and firm energy output, present a formal model and apply it to the case of Brazil. Wefound that, after including our proposed modifications, the resulting efficient frontier differs strongly fromthe one obtained in the original formulation. Portfolios with high output standard deviation are not ableto provide a firm output level at competitive costs. Furthermore, we show that diversification plays animportant role in smoothing output from VRES portfolios


title: On the Covering Number of $U_3(q)$

abstract: The covering number, $\sigma(G)$, of a finite, noncyclic group $G$ is the least positive integer $n$ such that $G$ is the union of $n$ proper subgroups. Here we investigate the covering numbers of the projective special unitary groups $U_3(q)$, give upper and lower bounds for $\sigma(U_3(q))$ when $q \geq 7$, and show that $\sigma(U_3(q))$ is asymptotic to $q^6/3$ as $q \rightarrow \infty$.


title: Thermodynamics of $T \bar{T}$ perturbations of some single particle field theories

abstract: We study the Thermodynamic Bethe Ansatz (TBA) equations for pure $T\bar{T}$ perturbations of some simple integrable quantum field theories with a single bosonic or fermionic particle, in particular the massive sinh-Gordon model and its ultraviolet (UV) limit which is a deformation of the conformally invariant free massless boson. Whereas the TBA equations for $T\bar{T}$ deformations of massive theories are in principle known, the TBA equations we propose for the deformations of conformal field theories (CFT's) are relatively new and require a special factorization in rapidity variables of the CDD factor for the scattering of the massless particles. The latter TBA equations can be solved exactly and reproduce the known results for the ground state energy on a cylinder of circumference $R$ which were previously obtained using different methods based for instance on the Burgers differential equation. Special attention is paid to the c-theorem in this context which is discussed in some detail. For positive infra-red (IR) central charge $c_{IR}$, for flows consistent with the c-theorem the ground state energy develops a (previously known) square-root singularity towards the UV, which strongly suggests the theories are UV incomplete in these physically important cases. We suggest that the singularity indicates a tachyonic vacuum instability. Other cases with $c_{IR} < 0$ do not have this singularity and are interpreted as being UV complete with $c_{UV} = 0$. We extend our results to a continuously variable $c_{IR}$ by introducing a chemical potential and suggest this as a possible toy model for the $T\bar{T}$ perturbed Liouville theory.


abstract: The large population of home cooks with dietary restrictions is under-served by existing cooking resources and recipe generation models. To help them, we propose the task of controllable recipe editing: adapt a base recipe to satisfy a user-specified dietary constraint. This task is challenging, and cannot be adequately solved with human-written ingredient substitution rules or existing end-to-end recipe generation models. We tackle this problem with SHARE: a System for Hierarchical Assistive Recipe Editing, which performs simultaneous ingredient substitution before generating natural-language steps using the edited ingredients. By decoupling ingredient and step editing, our step generator can explicitly integrate the available ingredients. Experiments on the novel RecipePairs dataset -- 83K pairs of similar recipes where each recipe satisfies one of seven dietary constraints -- demonstrate that SHARE produces convincing, coherent recipes that are appropriate for a target dietary constraint. We further show through human evaluations and real-world cooking trials that recipes edited by SHARE can be easily followed by home cooks to create appealing dishes.


title: Distribution-free changepoint detection tests based on the breaking of records

abstract: The analysis of record-breaking events is of interest in fields such as climatology, hydrology or anthropology. In connection with the record occurrence, we propose three distribution-free statistics for the changepoint detection problem. They are CUSUM-type statistics based on the upper and/or lower record indicators observed in a series. Using a version of the functional central limit theorem, we show that the CUSUM-type statistics are asymptotically Kolmogorov distributed. The main results under the null hypothesis are based on series of independent and identically distributed random variables, but a statistic to deal with series with seasonal component and serial correlation is also proposed. A Monte Carlo study of size, power and changepoint estimate has been performed. Finally, the methods are illustrated by analyzing the time series of temperatures at Madrid, Spain. The R package $\texttt{RecordTest}$ publicly available on CRAN implements the proposed methods.


title: Learning to Win, Lose and Cooperate through Reward Signal Evolution

abstract: Solving a reinforcement learning problem typically involves correctly prespecifying the reward signal from which the algorithm learns. Here, we approach the problem of reward signal design by using an evolutionary approach to perform a search on the space of all possible reward signals. We introduce a general framework for optimizing $N$ goals given $n$ reward signals. Through experiments we demonstrate that such an approach allows agents to learn high-level goals - such as winning, losing and cooperating - from scratch without prespecified reward signals in the game of Pong. Some of the solutions found by the algorithm are surprising, in the sense that they would probably not have been chosen by a person trying to hand-code a given behaviour through a specific reward signal. Furthermore, it seems that the proposed approach may also benefit from higher stability of the training performance when compared with the typical score-based reward signals.


title: Stochastic Downscaling to Chaotic Weather Regimes using Spatially Conditioned Gaussian Random Fields with Adaptive Covariance

abstract: Downscaling aims to link the behaviour of the atmosphere at fine scales to properties measurable at coarser scales, and has the potential to provide high resolution information at a lower computational and storage cost than numerical simulation alone. This is especially appealing for targeting convective scales, which are at the edge of what is possible to simulate operationally. Since convective scale weather has a high degree of independence from larger scales, a generative approach is essential. We here propose a statistical method for downscaling moist variables to convective scales using conditional Gaussian random fields, with an application to wet bulb potential temperature (WBPT) data over the UK. Our model uses an adaptive covariance estimation to capture the variable spatial properties at convective scales. We further propose a method for the validation, which has historically been a challenge for generative models.


title: The need for new techniques to identify the high-frequency MHD waves of an oscillating coronal loop

abstract: Magnetic arcades in the solar atmosphere, or coronal loops, are common structures known to host magnetohydrodynamic (MHD) waves and oscillations. Of particular interest are the observed properties of transverse loop oscillations, such as their frequency and mode of oscillation, which have received significant attention in recent years because of their seismological capability. Previous studies have relied on standard data analysis techniques, such as a fast Fourier transform (FFT) and wavelet transform (WT), to correctly extract periodicities and identify the MHD modes. However, how these methods can lead to artefacts requires investigation. We assess whether these two common spectral analysis techniques in coronal seismology can successfully identify high-frequency waves from an oscillating coronal loop. We examine extreme ultraviolet images of a coronal loop observed by the Atmospheric Imaging Assembly in the 171 \AA waveband on board the Solar Dynamics Observatory. We perform a spectral analysis of the loop waveform and compare our observation with a basic simulation. The spectral FFT and WT power of the observed loop waveform is found to reveal a significant signal with frequency 2.67 mHz superposed onto the dominant mode of oscillation of the loop (1.33 mHz), that is, the second harmonic of the loop. The simulated data show that the second harmonic is completely artificial even though both of these methods identify this mode as a real signal. This artificial harmonic, and several higher modes, are shown to arise owing to the periodic but non-uniform brightness of the loop. We further illustrate that the reconstruction of the 2.67 mHz component in the presence of noise yields a false perception of oscillatory behaviour that does not otherwise exist. We suggest that additional techniques such as a forward model of a 3D coronal arcade are necessary to verify such high-frequency waves.


title: Graph Neural Networks for Knowledge Enhanced Visual Representation of Paintings

abstract: We propose ArtSAGENet, a novel multimodal architecture that integrates Graph Neural Networks (GNNs) and Convolutional Neural Networks (CNNs), to jointly learn visual and semantic-based artistic representations. First, we illustrate the significant advantages of multi-task learning for fine art analysis and argue that it is conceptually a much more appropriate setting in the fine art domain than the single-task alternatives. We further demonstrate that several GNN architectures can outperform strong CNN baselines in a range of fine art analysis tasks, such as style classification, artist attribution, creation period estimation, and tag prediction, while training them requires an order of magnitude less computational time and only a small amount of labeled data. Finally, through extensive experimentation we show that our proposed ArtSAGENet captures and encodes valuable relational dependencies between the artists and the artworks, surpassing the performance of traditional methods that rely solely on the analysis of visual content. Our findings underline a great potential of integrating visual content and semantics for fine art analysis and curation.


title: Adaptive Video Encoding For Different Video Codecs

abstract: By 2022, we expect video traffic to reach 82% of the total internet traffic. Undoubtedly, the abundance of video-driven applications will likely lead internet video traffic percentage to a further increase in the near future, enabled by associate advances in video devices' capabilities. In response to this ever-growing demand, the Alliance for Open Media (AOM) and the Joint Video Experts Team (JVET) have demonstrated strong and renewed interest in developing new video codecs. In the fast-changing video codecs' landscape, there is thus, a genuine need to develop adaptive methods that can be universally applied to different codecs. In this study, we formulate video encoding as a multi-objective optimization process where video quality (as a function of VMAF and PSNR), bitrate demands, and encoding rate (in encoded frames per second) are jointly optimized, going beyond the standard video encoding approaches that focus on rate control targeting specific bandwidths. More specifically, we create a dense video encoding space (offline) and then employ regression to generate forward prediction models for each one of the afore-described optimization objectives, using only Pareto-optimal points. We demonstrate our adaptive video encoding approach that leverages the generated forward prediction models that qualify for real-time adaptation using different codecs (e.g., SVT-AV1 and x265) for a variety of video datasets and resolutions. To motivate our approach and establish the promise for future fast VVC encoders, we also perform a comparative performance evaluation using both subjective and objective metrics and report on bitrate savings among all possible pairs between VVC, SVT-AV1, x265, and VP9 codecs.


title: Confirmation of xi^1 CMa's ultra-slow rotation: magnetic polarity reversal and a dramatic change in magnetospheric UV emission lines

abstract: The magnetic beta Cep pulsator xi^1 CMa has the longest rotational period of any known magnetic B-type star. It is also the only magnetic B-type star with magnetospheric emission that is known to be modulated by both rotation and pulsation. We report here the first unambiguous detection of a negative longitudinal magnetic field in xi^1 CMa (<Bz>=-87 +/- 2 G in 2019 and <Bz>=-207 +/- 3 G in 2020), as well as the results of ongoing monitoring of the star's Halpha variability. We examine evidence for deviation from a purely dipolar topology. We also report a new HST UV spectrum of xi^1 CMa obtained near magnetic null that is consistent with an equatorial view of the magnetosphere, as evidenced by its similarity to the UV spectrum of beta Cep obtained near maximum emission. The new UV spectrum of xi^1 CMa provides additional evidence for the extremely long rotation period of this star via comparison to archival data.


title: Negative radiation pressure in metamaterials explained by light-driven atomic mass density rarefication waves

abstract: The momentum and radiation pressure of light in negative-index metamaterials (NIMs) are commonly expected to reverse their direction from what is observed for normal materials. The negative refraction and inverse Doppler effect of light in NIMs have been experimentally observed, but the equally surprising phenomenon, the negative radiation pressure of light, still lacks experimental verification. We show by simulating the exact position- and time-dependent field-material dynamics in NIMs that the momentum and radiation pressure of light in NIMs can be either positive or negative depending on their subwavelength structure. In NIMs exhibiting negative radiation pressure, the negative total momentum of light is caused by the sum of the positive momentum of the electromagnetic field and the negative momentum of the material. The negative momentum of the material results from the optical force density, which drives atoms backward and reduces the local density of atoms at the site of the light field. In contrast to earlier works, light in NIMs exhibiting negative radiation pressure has both negative total momentum and energy. For the experimental discovery of the negative radiation pressure, one must carefully design the NIM structure and record the joint total pressure of the field and material momentum components.


title: Visual FUDGE: Form Understanding via Dynamic Graph Editing

abstract: We address the problem of form understanding: finding text entities and the relationships/links between them in form images. The proposed FUDGE model formulates this problem on a graph of text elements (the vertices) and uses a Graph Convolutional Network to predict changes to the graph. The initial vertices are detected text lines and do not necessarily correspond to the final text entities, which can span multiple lines. Also, initial edges contain many false-positive relationships. FUDGE edits the graph structure by combining text segments (graph vertices) and pruning edges in an iterative fashion to obtain the final text entities and relationships. While recent work in this area has focused on leveraging large-scale pre-trained Language Models (LM), FUDGE achieves almost the same level of entity linking performance on the FUNSD dataset by learning only visual features from the (small) provided training set. FUDGE can be applied on forms where text recognition is difficult (e.g. degraded or historical forms) and on forms in resource-poor languages where pre-training such LMs is challenging. FUDGE is state-of-the-art on the historical NAF dataset.


title: Parallel Bayesian Optimization of Multiple Noisy Objectives with Expected Hypervolume Improvement

abstract: Optimizing multiple competing black-box objectives is a challenging problem in many fields, including science, engineering, and machine learning. Multi-objective Bayesian optimization (MOBO) is a sample-efficient approach for identifying the optimal trade-offs between the objectives. However, many existing methods perform poorly when the observations are corrupted by noise. We propose a novel acquisition function, NEHVI, that overcomes this important practical limitation by applying a Bayesian treatment to the popular expected hypervolume improvement (EHVI) criterion and integrating over this uncertainty in the Pareto frontier. We argue that, even in the noiseless setting, generating multiple candidates in parallel is an incarnation of EHVI with uncertainty in the Pareto frontier and therefore can be addressed using the same underlying technique. Through this lens, we derive a natural parallel variant, $q$NEHVI, that reduces computational complexity of parallel EHVI from exponential to polynomial with respect to the batch size. $q$NEHVI is one-step Bayes-optimal for hypervolume maximization in both noisy and noiseless environments, and we show that it can be optimized effectively with gradient-based methods via sample average approximation. Empirically, we demonstrate not only that $q$NEHVI is substantially more robust to observation noise than existing MOBO approaches, but also that it achieves state-of-the-art optimization performance and competitive wall-times in large-batch environments.


title: Physically Plausible Pose Refinement using Fully Differentiable Forces

abstract: All hand-object interaction is controlled by forces that the two bodies exert on each other, but little work has been done in modeling these underlying forces when doing pose and contact estimation from RGB/RGB-D data. Given the pose of the hand and object from any pose estimation system, we propose an end-to-end differentiable model that refines pose estimates by learning the forces experienced by the object at each vertex in its mesh. By matching the learned net force to an estimate of net force based on finite differences of position, this model is able to find forces that accurately describe the movement of the object, while resolving issues like mesh interpenetration and lack of contact. Evaluating on the ContactPose dataset, we show this model successfully corrects poses and finds contact maps that better match the ground truth, despite not using any RGB or depth image data.


title: Quantifying Causal Influence in Quantum Mechanics

abstract: We extend Pearl's definition of causal influence to the quantum domain, where two quantum systems $A$, $B$ with finite-dimensional Hilbert space are embedded in a common environment $C$ and propagated with a joint unitary $U$. For finite dimensional Hilbert space of $C$, we find the necessary and sufficient condition on $U$ for a causal influence of $A$ on $B$ and vice versa. We introduce an easily computable measure of the causal influence and use it to study the causal influence of different quantum gates, its mutuality, and quantum superpositions of different causal orders. For two two-level atoms dipole-interacting with a thermal bath of electromagnetic waves, the space-time dependence of causal influence almost perfectly reproduces the one of reservoir-induced entanglement.


title: In Search of Socio-Technical Congruence: A Large-Scale Longitudinal Study

abstract: We report on a large-scale empirical study investigating the relevance of socio-technical congruence over key basic software quality metrics, namely, bugs and churn. In particular, we explore whether alignment or misalignment of social communication structures and technical dependencies in large software projects influences software quality. To this end, we have defined a quantitative and operational notion of socio-technical congruence, which we call socio-technical motif congruence (STMC). STMC is a measure of the degree to which developers working on the same file or on two related files, need to communicate. As socio-technical congruence is a complex and multi-faceted phenomenon, the interpretability of the results is one of our main concerns, so we have employed a careful mixed-methods statistical analysis. In particular, we provide analyses with similar techniques as employed by seminal work in the field to ensure comparability of our results with the existing body of work. The major result of our study, based on an analysis of 25 large open-source projects, is that STMC is not related to project quality measures -- software bugs and churn -- in any temporal scenario. That is, we find no statistical relationship between the alignment of developer tasks and developer communications on the one hand, and project outcomes on the other hand. We conclude that, wherefore congruence does matter as literature shows, then its measurable effect lies elsewhere.


title: Randomly Initialized Convolutional Neural Network for the Recognition of COVID-19 using X-ray Images

abstract: By the start of 2020, the novel coronavirus disease (COVID-19) has been declared a worldwide pandemic. Because of the severity of this infectious disease, several kinds of research have focused on combatting its ongoing spread. One potential solution to detect COVID-19 is by analyzing the chest X-ray images using Deep Learning (DL) models. In this context, Convolutional Neural Networks (CNNs) are presented as efficient techniques for early diagnosis. In this study, we propose a novel randomly initialized CNN architecture for the recognition of COVID-19. This network consists of a set of different-sized hidden layers created from scratch. The performance of this network is evaluated through two public datasets, which are the COVIDx and the enhanced COVID-19 datasets. Both of these datasets consist of 3 different classes of images: COVID19, pneumonia, and normal chest X-ray images. The proposed CNN model yields encouraging results with 94% and 99% of accuracy for COVIDx and enhanced COVID-19 dataset, respectively.


title: Photometric Cross-Calibration of the SDSS Stripe 82 Standard Stars catalogue with Gaia EDR3, and Comparison with Pan-STARRS1, DES, CFIS and GALEX catalogues

abstract: We extend the SDSS Stripe 82 Standard Stars Catalog with post-2007 SDSS imaging data. This improved version lists averaged SDSS ugriz photometry for nearly a million stars brighter than r~22 mag. With 2-3x more measurements per star, random errors are 1.4-1.7x smaller than in the original catalog, and about 3x smaller than for individual SDSS runs. Random errors in the new catalog are ~< 0.01 mag for stars brighter than 20.0, 21.0, 21.0, 20.5, and 19.0 mag in u, g, r, i, and z-bands, respectively. We achieve this error threshold by using the Gaia Early Data Release 3 (EDR3) Gmag photometry to derive gray photometric zeropoint corrections, as functions of R.A. and Declination, for the SDSS catalog, and use the Gaia BP-RP colour to derive corrections in the ugiz bands, relative to the r-band. The quality of the recalibrated photometry, tested against Pan-STARRS1, DES, CFIS and GALEX surveys, indicates spatial variations of photometric zeropoints <=0.01 mag (RMS), with typical values of 3-7 millimag in the R.A., and 1-2 millimag in the Declination directions, except for <~6 millimag scatter in the u-band. We also report a few minor photometric problems with other surveys considered here, including a magnitude-dependent ~0.01 mag bias between 16 < G_Gaia < 20 in the Gaia EDR3. Our new, publicly available catalog offers robust calibration of ugriz photometry below 1% level, and will be helpful during the commissioning of the Vera C. Rubin Observatory Legacy Survey of Space and Time.


title: Teaching Inclusive Engineering Design at a Small Liberal Arts College

abstract: Modern engineering education tends to focus on mathematics and fundamentals, eschewing critical reflections on technology and the field of engineering. In this paper, I present an elective engineering course and a 3-lecture module in an introductory course that emphasize engaging with the social impacts of technology.


title: Ribbon operators in the generalized Kitaev quantum double model based on Hopf algebras

abstract: Kitaev's quantum double model is a family of exactly solvable lattice models that realize two dimensional topological phases of matter. Originally it is based on finite groups, and is later generalized to semi-simple Hopf algebras. We rigorously define and study ribbon operators in the generalized Kitaev quantum double model. These ribbon operators are important tools to understand quasi-particle excitations. It turns out that there are some subtleties in defining the operators in contrast to what one would naively think. In particular, one has to distinguish two classes of ribbons which we call locally clockwise and locally counterclockwise ribbons. Moreover, this issue already exists in the original model based on finite non-Abelian groups. We show how certain properties would fail even in the original model if we do not distinguish these two classes of ribbons. Perhaps not surprisingly, under the new definitions ribbon operators satisfy all properties that are expected. For instance, they create quasi-particle excitations only at the end of the ribbon, and the types of the quasi-particles correspond to irreducible representations of the Drinfeld double of the input Hopf algebra. However, the proofs of these properties are much more complicated than those in the case of finite groups. This is partly due to the complications in dealing with general Hopf algebras rather than just group algebras.

categories: cond-mat.str-el math-ph math.MP quant-ph


title: On local well-posedness of logarithmic inviscid regularizations of generalized SQG equations in borderline Sobolev spaces

abstract: This paper studies a family of generalized surface quasi-geostrophic (SQG) equations for an active scalar $\theta$ on the whole plane whose velocities have been mildly regularized, for instance, logarithmically. The well-posedness of these regularized models in borderline Sobolev regularity have previously been studied by D. Chae and J. Wu when the velocity $u$ is of lower singularity, i.e., $u=-\nabla^{\perp}\Lambda^{\beta-2}p(\Lambda)\theta$, where $p$ is a logarithmic smoothing operator and $\beta \in [0,1]$. We complete this study by considering the more singular regime $\beta\in(1,2)$. The main tool is the identification of a suitable linearized system that preserves the underlying commutator structure for the original equation. We observe that this structure is ultimately crucial for obtaining continuity of the flow map. In particular, straightforward applications of previous methods for active transport equations fail to capture the more nuanced commutator structure of the equation in this more singular regime. The proposed linearized system nontrivially modifies the flux of the original system in such a way that it coincides with the original flux when evaluated along solutions of the original system. The requisite estimates are developed for this modified linear system to ensure its well-posedness.


title: Synthesising Multi-Modal Minority Samples for Tabular Data

abstract: Real-world binary classification tasks are in many cases imbalanced, where the minority class is much smaller than the majority class. This skewness is challenging for machine learning algorithms as they tend to focus on the majority and greatly misclassify the minority. Adding synthetic minority samples to the dataset before training the model is a popular technique to address this difficulty and is commonly achieved by interpolating minority samples. Tabular datasets are often multi-modal and contain discrete (categorical) features in addition to continuous ones which makes interpolation of samples non-trivial. To address this, we propose a latent space interpolation framework which (1) maps the multi-modal samples to a dense continuous latent space using an autoencoder; (2) applies oversampling by interpolation in the latent space; and (3) maps the synthetic samples back to the original feature space. We defined metrics to directly evaluate the quality of the minority data generated and showed that our framework generates better synthetic data than the existing methods. Furthermore, the superior synthetic data yields better prediction quality in downstream binary classification tasks, as was demonstrated in extensive experiments with 27 publicly available real-world datasets


title: Reinforcement Learning for Adaptive Video Compressive Sensing

abstract: We apply reinforcement learning to video compressive sensing to adapt the compression ratio. Specifically, video snapshot compressive imaging (SCI), which captures high-speed video using a low-speed camera is considered in this work, in which multiple (B) video frames can be reconstructed from a snapshot measurement. One research gap in previous studies is how to adapt B in the video SCI system for different scenes. In this paper, we fill this gap utilizing reinforcement learning (RL). An RL model, as well as various convolutional neural networks for reconstruction, are learned to achieve adaptive sensing of video SCI systems. Furthermore, the performance of an object detection network using directly the video SCI measurements without reconstruction is also used to perform RL-based adaptive video compressive sensing. Our proposed adaptive SCI method can thus be implemented in low cost and real time. Our work takes the technology one step further towards real applications of video SCI.


title: LEWIS: Levenshtein Editing for Unsupervised Text Style Transfer

abstract: Many types of text style transfer can be achieved with only small, precise edits (e.g. sentiment transfer from I had a terrible time... to I had a great time...). We propose a coarse-to-fine editor for style transfer that transforms text using Levenshtein edit operations (e.g. insert, replace, delete). Unlike prior single-span edit methods, our method concurrently edits multiple spans in the source text. To train without parallel style text pairs (e.g. pairs of +/- sentiment statements), we propose an unsupervised data synthesis procedure. We first convert text to style-agnostic templates using style classifier attention (e.g. I had a SLOT time...), then fill in slots in these templates using fine-tuned pretrained language models. Our method outperforms existing generation and editing style transfer methods on sentiment (Yelp, Amazon) and politeness (Polite) transfer. In particular, multi-span editing achieves higher performance and more diverse output than single-span editing. Moreover, compared to previous methods on unsupervised data synthesis, our method results in higher quality parallel style pairs and improves model performance.


title: Half-wormholes in SYK with one time point

abstract: In this note we study the SYK model with one time point, recently considered by Saad, Shenker, Stanford, and Yao. Working in a collective field description, they derived a remarkable identity: the square of the partition function with fixed couplings is well approximated by a "wormhole" saddle plus a "pair of linked half-wormholes" saddle. It explains factorization of decoupled systems. Here, we derive an explicit formula for the half-wormhole contribution. It is expressed through a hyperpfaffian of the tensor of SYK couplings. We then develop a perturbative expansion around the half-wormhole saddle. This expansion truncates at a finite order and gives the exact answer. The last term in the perturbative expansion turns out to coincide with the wormhole contribution. In this sense the wormhole saddle in this model does not need to be added separately, but instead can be viewed as a large fluctuation around the linked half-wormholes.


title: A Tale of Two Tails: A Model-free Approach to Estimating Disaster Risk Premia and Testing Asset Pricing Models

abstract: I introduce a model-free methodology to assess the impact of disaster risk on the market return. Using S&P500 returns and the risk-neutral quantile function derived from option prices, I employ quantile regression to estimate local differences between the conditional physical and risk-neutral distributions. The results indicate substantial disparities primarily in the left-tail, reflecting the influence of disaster risk on the equity premium. These differences vary over time and persist beyond crisis periods. On average, the bottom 5% of returns contribute to 17% of the equity premium, shedding light on the Peso problem. I also find that disaster risk increases the stochastic discount factor's volatility. Using a lower bound observed from option prices on the left-tail difference between the physical and risk-neutral quantile functions, I obtain similar results, reinforcing the robustness of my findings.


title: BookSum: A Collection of Datasets for Long-form Narrative Summarization

abstract: The majority of available text summarization datasets include short-form source documents that lack long-range causal and temporal dependencies, and often contain strong layout and stylistic biases. While relevant, such datasets will offer limited challenges for future generations of text summarization systems. We address these issues by introducing BookSum, a collection of datasets for long-form narrative summarization. Our dataset covers source documents from the literature domain, such as novels, plays and stories, and includes highly abstractive, human written summaries on three levels of granularity of increasing difficulty: paragraph-, chapter-, and book-level. The domain and structure of our dataset poses a unique set of challenges for summarization systems, which include: processing very long documents, non-trivial causal and temporal dependencies, and rich discourse structures. To facilitate future work, we trained and evaluated multiple extractive and abstractive summarization models as baselines for our dataset.


title: New magic textures of Majorana neutrinos and baryon asymmetry of the Universe

abstract: The magic texture is one of the successful textures of the flavor neutrino mass matrix for Majorana neutrinos. In this paper, it turns out that two new types of magic textures are also consistent with the neutrino oscillation experiments, observation of cosmic microwave background radiation, and neutrinoless double beta decay experiments. The connection between these new magic textures and the leptogenesis scenario of the origin of the baryon asymmetry of the Universe is also discussed.


title: Symmetric mutations algebras in the context of sub-cluster algebras

abstract: For a rooted cluster algebra $\mathcal{A}(Q)$ over a valued quiver $Q$, a \emph{symmetric cluster variable} is any cluster variable belonging to a cluster associated with a quiver $\sigma (Q)$, for some permutation $\sigma$. The subalgebra of $\mathcal{A}(Q)$ generated by all symmetric cluster variables is called the \emph{symmetric mutation subalgebra} and is denoted by $\mathcal{B}(Q)$. In this paper we identify the class of cluster algebras that satisfy $\mathcal{B}(Q)=\mathcal{A}(Q)$, which contains almost every quiver of finite mutation type. In the process of proving the main theorem, we provide a classification of quivers mutation classes based on their weights. Some properties of symmetric mutation subalgebras are given.


title: Semi-classical description of electron dynamics in extended systems under intense laser fields

abstract: We propose a semi-classical approach based on the Vlasov equation to describe the time-dependent electronic dynamics in a bulk simple metal under an ultrashort intense laser pulse. We include in the effective potential not only the ionic Coulomb potential and mean-field electronic Coulomb potential from the one-body electron distribution but also the exchange-correlation potential within the local density approximation (LDA). The initial ground state is obtained by the Thomas-Fermi model. To numerically solve the Vlasov equation, we extend the pseudo-particle method, previously used for nuclei and atomic clusters, to solids, taking the periodic boundary condition into account. We apply the present implementation to a bulk aluminum (FCC) conventional unit cell irradiated with a short laser pulse. The optical conductivity, refractive index, extinction coefficient, and reflectivity as well as energy absorption calculated with the Vlasov-LDA method are in excellent agreement with the results by the time-dependent density functional theory and experimental references.


title: Distantly Supervised Relation Extraction via Recursive Hierarchy-Interactive Attention and Entity-Order Perception

abstract: Wrong-labeling problem and long-tail relations severely affect the performance of distantly supervised relation extraction task. Many studies mitigate the effect of wrong-labeling through selective attention mechanism and handle long-tail relations by introducing relation hierarchies to share knowledge. However, almost all existing studies ignore the fact that, in a sentence, the appearance order of two entities contributes to the understanding of its semantics. Furthermore, they only utilize each relation level of relation hierarchies separately, but do not exploit the heuristic effect between relation levels, i.e., higher-level relations can give useful information to the lower ones. Based on the above, in this paper, we design a novel Recursive Hierarchy-Interactive Attention network (RHIA) to further handle long-tail relations, which models the heuristic effect between relation levels. From the top down, it passes relation-related information layer by layer, which is the most significant difference from existing models, and generates relation-augmented sentence representations for each relation level in a recursive structure. Besides, we introduce a newfangled training objective, called Entity-Order Perception (EOP), to make the sentence encoder retain more entity appearance information. Substantial experiments on the popular (NYT) dataset are conducted. Compared to prior baselines, our RHIA-EOP achieves state-of-the-art performance in terms of precision-recall (P-R) curves, AUC, Top-N precision and other evaluation metrics. Insightful analysis also demonstrates the necessity and effectiveness of each component of RHIA-EOP.


title: An Annotated Commodity News Corpus for Event Extraction

abstract: Commodity News contains a wealth of information such as sum-mary of the recent commodity price movement and notable events that led tothe movement. Through event extraction, useful information extracted fromcommodity news is extremely useful in mining for causal relation betweenevents and commodity price movement, which can be used for commodity priceprediction. To facilitate the future research, we introduce a new dataset withthe following information identified and annotated: (i) entities (both nomi-nal and named), (ii) events (trigger words and argument roles), (iii) eventmetadata: modality, polarity and intensity and (iv) event-event relations.


title: Vertex Ordering Problems in Directed Graph Streams

abstract: We consider directed graph algorithms in a streaming setting, focusing on problems concerning orderings of the vertices. This includes such fundamental problems as topological sorting and acyclicity testing. We also study the related problems of finding a minimum feedback arc set (edges whose removal yields an acyclic graph), and finding a sink vertex. We are interested in both adversarially-ordered and randomly-ordered streams. For arbitrary input graphs with edges ordered adversarially, we show that most of these problems have high space complexity, precluding sublinear-space solutions. Some lower bounds also apply when the stream is randomly ordered: e.g., in our most technical result we show that testing acyclicity in the $p$-pass random-order model requires roughly $n^{1+1/p}$ space. For other problems, random ordering can make a dramatic difference: e.g., it is possible to find a sink in an acyclic tournament in the one-pass random-order model using polylog$(n)$ space whereas under adversarial ordering roughly $n^{1/p}$ space is necessary and sufficient given $\Theta(p)$ passes. We also design sublinear algorithms for the feedback arc set problem in tournament graphs; for random graphs; and for randomly ordered streams. In some cases, we give lower bounds establishing that our algorithms are essentially space-optimal. Together, our results complement the much maturer body of work on algorithms for undirected graph streams.


title: On the duration of stays of Brownian motion in domains in Euclidean space

abstract: Let $T_D$ denote the first exit time of a Brownian motion from a domain $D$ in ${\mathbb R}^n$. Given domains $U,W \subseteq {\mathbb R}^n$ containing the origin, we investigate the cases in which we are more likely to have fast exits from $U$ than $W$, meaning ${\bf P}(T_U<t) > {\bf P}(T_W<t)$ for $t$ small. We show that the primary factor in the probability of fast exits from domains is the proximity of the closest regular part of the boundary to the origin. We also prove a result on the complementary question of longs stays, meaning ${\bf P}(T_U>t) > {\bf P}(T_W>t)$ for $t$ large. This result, which applies only in two dimensions, shows that the unit disk has the lowest probability of long stays amongst all Schlicht domains.


title: IMPULSE: A 65nm Digital Compute-in-Memory Macro with Fused Weights and Membrane Potential for Spike-based Sequential Learning Tasks

abstract: The inherent dynamics of the neuron membrane potential in Spiking Neural Networks (SNNs) allows processing of sequential learning tasks, avoiding the complexity of recurrent neural networks. The highly-sparse spike-based computations in such spatio-temporal data can be leveraged for energy-efficiency. However, the membrane potential incurs additional memory access bottlenecks in current SNN hardware. To that effect, we propose a 10T-SRAM compute-in-memory (CIM) macro, specifically designed for state-of-the-art SNN inference. It consists of a fused weight (WMEM) and membrane potential (VMEM) memory and inherently exploits sparsity in input spikes leading to 97.4% reduction in energy-delay-product (EDP) at 85% sparsity (typical of SNNs considered in this work) compared to the case of no sparsity. We propose staggered data mapping and reconfigurable peripherals for handling different bit-precision requirements of WMEM and VMEM, while supporting multiple neuron functionalities. The proposed macro was fabricated in 65nm CMOS technology, achieving an energy-efficiency of 0.99TOPS/W at 0.85V supply and 200MHz frequency for signed 11-bit operations. We evaluate the SNN for sentiment classification from the IMDB dataset of movie reviews and achieve within 1% accuracy of an LSTM network with 8.5x lower parameters.


title: On the isometrization of groups of homeomorphisms

abstract: Let $G$ be a group of homeomorphisms of a topological space $X$. $G$ is $\textit{(properly) isometrizable}$ if there exists a $G$-invariant (proper) gauge structure on $X$. $G$ is $\textit{equiregular}$ if for every $x \in X$ and every open neighborhood $U$ of $x$ in $X$ there is an open neighborhood $V$ of $x$ in $X$ such that $cl(V) \subset U$ and every $y \in X$ has an open neighborhood $N_y$ with the property that for every $g \in G$, if $g(N_y) \cap cl(V) \neq \emptyset$, then $g(N_y) \subset U$. $G$ is $\textit{nearly proper}$ if for all compact subsets $A$ and $B$ of $X$, $cl$ ( $\bigcup$ { $g(A):g\in G$ and $g(A)\cap B \neq \emptyset$ } ) is compact. $G$ $\textit{acts properly on}$ $X$ if for all compact subsets $A$ and $B$ of $X$, the subset $G_{A,B}$ = { $g\in G : g(A) \cap B \neq \emptyset$ } is compact when $G$ is endowed with the compact-open topology. THE ISOMETRIZATION THEOREM: If $X$ is a Hausdorff space and $G$ \ $X$ is a paracompact regular space, then: $G$ is isometrizable if and only if $G$ is equiregular. THE PROPER ISOMETRIZATION THEOREM: If $X$ is a locally compact $\sigma$-compact Hausdorff space and $G$ \ $X$ is a regular space, then: $G$ is properly isometrizable if and only if $G$ is equiregular and nearly proper. The PROPER ISOMETRIZATION THEOREM has the following corollary. THEOREM OF ABEL-MANOUSSOS-NOSKOV: If $X$ is a locally compact $\sigma$-compact Hausdorff space and $G$ acts properly on $X$, then $X$ is properly isometrizable.


title: A time-domain nearfield frequency-invariant beamforming method

abstract: Most existing beamforming methods are frequency-domain methods, and are designed for enhancing a farfield target source over a narrow frequency band. They have found diverse applications and are still under active development. However, they struggle to achieve desired performance if the target source is in the nearfield with a broadband output. This paper proposes a time-domain nearfield frequency-invariant beamforming method. The time-domain implementation makes the beamformer output suitable for further use by real-time applications, the nearfield focusing enables the beamforming method to suppress an interference even if it is in the same direction as the target source, and the frequency-invariant beampattern makes the beamforming method suitable for enhancing the target source over a broad frequency band. These three features together make the beamforming method suitable for real-time broadband nearfield source enhancement, such as speech enhancement in room environments. The beamformer design process is separated from the sound field measurement process, and such that a designed beamformer applies to sensor arrays with various structures. The beamformer design process is further simplified by decomposing it into several independent parts. Simulation results confirm the performance of the proposed beamforming method.


title: Thermal Casimir effect for the scalar field in flat spacetime under a helix boundary condition

abstract: In this work we consider the generalized zeta function method to obtain temperature corrections to the vacuum (Casimir) energy density, at zero temperature, associated with quantum vacuum fluctuations of a scalar field subjected to a helix boundary condition and whose modes propagate in (3+1)-dimensional Euclidean spacetime. We find closed and analytical expressions for both the two-point heat kernel function and free energy density in the massive and massless scalar field cases. In particular, for the massless scalar field case, we also calculate the thermodynamics quantities internal energy density and entropy density, with their corresponding high- and low-temperature limits. We show that the temperature correction term in the free energy density must suffer a finite renormalization, by subtracting the scalar thermal blackbody radiation contribution, in order to provide the correct classical limit at high temperatures. We check that, at low temperature, the entropy density vanishes as the temperature goes to zero, in accordance with the third law of thermodynamics. We also point out that, at low temperatures, the dominant term in the free energy and internal energy densities is the vacuum energy density at zero temperature. Finally, we also show that the pressure obeys an equation of state.


title: Arrested phase separation in double-exchange models: machine-learning enabled large-scale simulation

abstract: We present large-scale dynamical simulations of electronic phase separation in the single-band double-exchange model based on deep-learning neural-network potentials trained from small-size exact diagonalization solutions. We uncover an intriguing correlation-induced freezing behavior as doped holes are segregated from half-filled insulating background during equilibration. While the aggregation of holes is stabilized by the formation of ferromagnetic clusters through Hund's coupling between charge carriers and local magnetic moments, this stabilization also creates confining potentials for holes when antiferromagnetic spin-spin correlation is well developed in the background. The dramatically reduced mobility of the self-trapped holes prematurely disrupts further growth of the ferromagnetic clusters, leading to an arrested phase separation. Implications of our findings for phase separation dynamics in materials that exhibit colossal magnetoresistance effect are discussed.

categories: cond-mat.str-el cond-mat.dis-nn cond-mat.mtrl-sci cs.LG


title: Decorating Your Own Bedroom: Locally Controlling Image Generation with Generative Adversarial Networks

abstract: Generative Adversarial Networks (GANs) have made great success in synthesizing high-quality images. However, how to steer the generation process of a well-trained GAN model and customize the output image is much less explored. It has been recently found that modulating the input latent code used in GANs can reasonably alter some variation factors in the output image, but such manipulation usually presents to change the entire image as a whole. In this work, we propose an effective approach, termed as LoGAN, to support local editing of the output image. Concretely, we introduce two operators, i.e., content modulation and style modulation, together with a priority mask to facilitate the precise control of the intermediate generative features. Taking bedroom synthesis as an instance, we are able to seamlessly remove, insert, shift, and rotate the individual objects inside a room. Furthermore, our method can completely clear out a room and then refurnish it with customized furniture and styles. Experimental results show the great potentials of steering the image generation of pre-trained GANs for versatile image editing.