title: FAST observations of an extremely active episode of FRB 20201124A: II. Energy Distribution

abstract: We report the properties of more than 800 bursts detected from the repeating fast radio burst (FRB) source FRB 20201124A with the Five-hundred-meter Aperture Spherical radio Telescope (FAST) during an extremely active episode on UTC September 25-28, 2021 in a series of four papers. In this second paper of the series, we mainly focus on the energy distribution of the detected bursts. The event rate initially increased exponentially but the source activity stopped within 24 hours after the 4th day. The detection of 542 bursts in one hour during the fourth day marked the highest event rate detected from one single FRB source so far. The bursts have complex structures in the time-frequency space. We find a double-peak distribution of the waiting time, which can be modeled with two log-normal functions peaking at 51.22 ms and 10.05 s, respectively. Compared with the emission from a previous active episode of the source detected with FAST, the second distribution peak time is smaller, suggesting that this peak is defined by the activity level of the source. We calculate the isotropic energy of the bursts using both a partial bandwidth and a full bandwidth and find that the energy distribution is not significantly changed. We find that an exponentially connected broken-power-law function can fit the cumulative burst energy distribution well, with the lower and higher-energy indices being $-1.22\pm0.01$ and $-4.27\pm0.23$, respectively. Assuming a radio radiative efficiency of $\eta_r = 10^{-4}$, the total isotropic energy of the bursts released during the four days when the source was active is already $3.9\times10^{46}$ erg, exceeding $\sim 23\%$ of the available magnetar dipolar magnetic energy. This challenges the magnetar models invoking an inefficient radio emission (e.g. synchrotron maser models).


title: Leveraging Structure from Motion to Localize Inaccessible Bus Stops

abstract: The detection of hazardous conditions near public transit stations is necessary for ensuring the safety and accessibility of public transit. Smart city infrastructures aim to facilitate this task among many others through the use of computer vision. However, most state-of-the-art computer vision models require thousands of images in order to perform accurate detection, and there exist few images of hazardous conditions as they are generally rare. In this paper, we examine the detection of snow-covered sidewalks along bus routes. Previous work has focused on detecting other vehicles in heavy snowfall or simply detecting the presence of snow. However, our application has an added complication of determining if the snow covers areas of importance and can cause falls or other accidents (e.g. snow covering a sidewalk) or simply covers some background area (e.g. snow on a neighboring field). This problem involves localizing the positions of the areas of importance when they are not necessarily visible. We introduce a method that utilizes Structure from Motion (SfM) rather than additional annotated data to address this issue. Specifically, our method learns the locations of sidewalks in a given scene by applying a segmentation model and SfM to images from bus cameras during clear weather. Then, we use the learned locations to detect if and where the sidewalks become obscured with snow. After evaluating across various threshold parameters, we identify an optimal range at which our method consistently classifies different categories of sidewalk images correctly. Although we demonstrate an application for snow coverage along bus routes, this method can extend to other hazardous conditions as well. Code for this project is available at https://github.com/ind1010/SfM_for_BusEdge.


title: Learnware: Small Models Do Big

abstract: There are complaints about current machine learning techniques such as the requirement of a huge amount of training data and proficient training skills, the difficulty of continual learning, the risk of catastrophic forgetting, the leaking of data privacy/proprietary, etc. Most research efforts have been focusing on one of those concerned issues separately, paying less attention to the fact that most issues are entangled in practice. The prevailing big model paradigm, which has achieved impressive results in natural language processing and computer vision applications, has not yet addressed those issues, whereas becoming a serious source of carbon emissions. This article offers an overview of the learnware paradigm, which attempts to enable users not need to build machine learning models from scratch, with the hope of reusing small models to do things even beyond their original purposes, where the key ingredient is the specification which enables a trained model to be adequately identified to reuse according to the requirement of future users who know nothing about the model in advance.


title: Quotients with respect to strongly $L$-subgyrogroups

abstract: A topological gyrogroup is a gyrogroup endowed with a compatible topology such that the multiplication is jointly continuous and the inverse is continuous. In this paper, we study the quotient gyrogroups in topological gyrogroups with respect to strongly $L$-subgyrogroups, and prove that let $(G, \tau,\oplus)$ be a topological gyrogroup and $H$ a closed strongly $L$-subgyrogroup of $G$, then the natural homomorphism $\pi$ from a topological gyrogroup $G$ to its quotient topology on $G/H$ is an open and continuous mapping, and $G/H$ is a homogeneous $T_1$-space. We also establish that for a locally compact strongly $L$-subgyrogroup $H$ of a topological gyrogroup $G$, the natural quotient mapping $\pi$ of $G$ onto the quotient space $G/H$ is a locally perfect mapping. This leads us to some interesting results on how properties of $G$ depend on the properties of $G/H$. Some classical results in topological groups are generalized.


title: How to Enable Uncertainty Estimation in Proximal Policy Optimization

abstract: While deep reinforcement learning (RL) agents have showcased strong results across many domains, a major concern is their inherent opaqueness and the safety of such systems in real-world use cases. To overcome these issues, we need agents that can quantify their uncertainty and detect out-of-distribution (OOD) states. Existing uncertainty estimation techniques, like Monte-Carlo Dropout or Deep Ensembles, have not seen widespread adoption in on-policy deep RL. We posit that this is due to two reasons: concepts like uncertainty and OOD states are not well defined compared to supervised learning, especially for on-policy RL methods. Secondly, available implementations and comparative studies for uncertainty estimation methods in RL have been limited. To overcome the first gap, we propose definitions of uncertainty and OOD for Actor-Critic RL algorithms, namely, proximal policy optimization (PPO), and present possible applicable measures. In particular, we discuss the concepts of value and policy uncertainty. The second point is addressed by implementing different uncertainty estimation methods and comparing them across a number of environments. The OOD detection performance is evaluated via a custom evaluation benchmark of in-distribution (ID) and OOD states for various RL environments. We identify a trade-off between reward and OOD detection performance. To overcome this, we formulate a Pareto optimization problem in which we simultaneously optimize for reward and OOD detection performance. We show experimentally that the recently proposed method of Masksembles strikes a favourable balance among the survey methods, enabling high-quality uncertainty estimation and OOD detection while matching the performance of original RL agents.


title: Longtonotes: OntoNotes with Longer Coreference Chains

abstract: Ontonotes has served as the most important benchmark for coreference resolution. However, for ease of annotation, several long documents in Ontonotes were split into smaller parts. In this work, we build a corpus of coreference-annotated documents of significantly longer length than what is currently available. We do so by providing an accurate, manually-curated, merging of annotations from documents that were split into multiple parts in the original Ontonotes annotation process. The resulting corpus, which we call LongtoNotes contains documents in multiple genres of the English language with varying lengths, the longest of which are up to 8x the length of documents in Ontonotes, and 2x those in Litbank. We evaluate state-of-the-art neural coreference systems on this new corpus, analyze the relationships between model architectures/hyperparameters and document length on performance and efficiency of the models, and demonstrate areas of improvement in long-document coreference modeling revealed by our new corpus. Our data and code is available at: https://github.com/kumar-shridhar/LongtoNotes.


title: Understanding the Covariance Structure of Convolutional Filters

abstract: Neural network weights are typically initialized at random from univariate distributions, controlling just the variance of individual weights even in highly-structured operations like convolutions. Recent ViT-inspired convolutional networks such as ConvMixer and ConvNeXt use large-kernel depthwise convolutions whose learned filters have notable structure; this presents an opportunity to study their empirical covariances. In this work, we first observe that such learned filters have highly-structured covariance matrices, and moreover, we find that covariances calculated from small networks may be used to effectively initialize a variety of larger networks of different depths, widths, patch sizes, and kernel sizes, indicating a degree of model-independence to the covariance structure. Motivated by these findings, we then propose a learning-free multivariate initialization scheme for convolutional filters using a simple, closed-form construction of their covariance. Models using our initialization outperform those using traditional univariate initializations, and typically meet or exceed the performance of those initialized from the covariances of learned filters; in some cases, this improvement can be achieved without training the depthwise convolutional filters at all.


title: Boosting thermodynamic performance by bending space-time

abstract: Black holes are arguably the most extreme regions of the universe. Yet, they are also utterly inaccessible to experimentation, and even just indirect observation poses significant technical challenges. The phenomenological approach of thermodynamics is uniquely suited to explore at least some of the physical properties of such scenarios, and this has motivated the study of so-called holographic engines. We show that the efficiency of an endoreversible Brayton cycle is given by the Curzon-Ahlborn efficiency if the engine is fueled by a 2-dimensional ideal gas; and that the efficiency is higher, if the working medium is a (2+1)-dimensional BTZ black hole. These findings may be relevant not only in the quest to unlock the mysteries of black holes, but also for potential technological applications of graphene.


title: Yielding and Strain Stiffening in Entangled Assemblies of Frictional Granular Chains

abstract: Packings of macroscopic granular chains capture some of the essential aspects of molecular polymer systems and have been suggested as a paradigm to understand the physics on a molecular scale. However, here we demonstrate that the interparticle friction $\mu$ in granular chain packings, which has no counterpart in polymer systems, leads to a nontrivial yielding and rheological response. Based on discrete element simulations we study the nonlinear rheology of random packings of granular chains under large amplitude oscillatory shear. We find that the maximum stress and the penetration depth of the shear deformation into the material bulk are nonmonotonic functions of friction with extrema at intermediate values of $\mu$. We also show that the regularly repeated gaps between the adjacent grains, which are special to commercial granular chains, broaden the shear zone and enhance the entanglements in the system by promoting the interlocking events between chains. These topological constraints can significantly increase the degree of strain stiffening. Our findings highlight the differences between the physics of granular chain packings and molecular polymer systems.


title: Episodic, compression-driven fluid venting in layered sedimentary basins

abstract: Fluid venting phenomena are prevalent in sedimentary basins globally. Offshore, these localised fluid-expulsion events are archived in the geologic record by the resulting pockmarks at the sea-floor. Venting is widely interpreted to occur via hydraulic fracturing, which requires near-lithostatic pore pressures for initiation. One common driver for these extreme pressures is horizontal tectonic compression, which pressurises the entire sedimentary column over a wide region. Fluid expulsion leads to a sudden, local relief of this pressure, which then gradually recharges through continued compression, leading to episodic venting. Pressure recharge will also occur through pressure diffusion from neighbouring regions that remain pressurised, but the combined role of compression and pressure diffusion in episodic venting has not previously been considered. Here, we develop a novel poroelastic model for episodic, compression-driven venting. We show that compression and pressure diffusion together set the resulting venting period. We derive a simple analytical expression for this venting period, demonstrating that pressure diffusion can significantly reduce the venting period associated with a given rate of compression. Our expression allows this rate of compression to be inferred from observations of episodic venting. We conclude that pressure diffusion is a major contributor to episodic fluid venting in mudstone-dominated basins.


title: Numerical Solution of an Extra-wide Angle Parabolic Equation through Diagonalization of a 1-D Indefinite Schr\"{o}dinger Operator with a Piecewise Constant Potential

abstract: We present a numerical method for computing the solution of a partial differential equation (PDE) for modeling acoustic pressure, known as an extra-wide angle parabolic equation, that features the square root of a differential operator. The differential operator is the negative of an indefinite Schr\"{o}dinger operator with a piecewise constant potential. This work primarily deals with the 3-piece case; however, a generalization is made the case of an arbitrary number of pieces. Through restriction to a judiciously chosen lower-dimensional subspace, approximate eigenfunctions are used to obtain estimates for the eigenvalues of the operator. Then, the estimated eigenvalues are used as initial guesses for the Secant Method to find the exact eigenvalues, up to roundoff error. An eigenfunction expansion of the solution is then constructed. The computational expense of obtaining each eigenpair is independent of the grid size. The accuracy, efficiency, and scalability of this method is shown through numerical experiments and comparisons with other methods.


title: Cohomology of line bundles on the incidence correspondence

abstract: For a finite dimensional vector space V of dimension n, we consider the incidence correspondence (or partial flag variety) X in P(V) x P(V*), parametrizing pairs consisting of a point and a hyperplane containing it. We completely characterize the vanishing and non-vanishing behavior of the cohomology groups of line bundles on X in characteristic p>0. If n=3 then X is the full flag variety of V, and the characterization is contained in the thesis of Griffith from the 70s. In characteristic 0, the cohomology groups are described for all V by the Borel-Weil-Bott theorem. Our strategy is to recast the problem in terms of computing cohomology of (twists of) divided powers of the cotangent sheaf on projective space, which we then study using natural truncations induced by Frobenius, along with careful estimates of Castelnuovo-Mumford regularity. When n=3, we recover the recursive description of characters from recent work of Linyuan Liu, while for general n we give character formulas for the cohomology of a restricted collection of line bundles. Our results suggest truncated Schur functions as the natural building blocks for the cohomology characters.


title: Towards a more robust algorithm for computing the Kerr quasinormal mode frequencies

abstract: Leaver's method has been the standard for computing the quasinormal mode (QNM) frequencies for a Kerr black hole (BH) for a few decades. We start with a spectral variant of Leaver's method introduced by Cook and Zalutskiy (arXiv: 1410.7698) and propose improvements in the form of computing the necessary derivatives analytically, rather than by numerical finite differencing. We also incorporate this derivative information into qnm, a Python package which finds the QNM frequencies via the spectral variant of Leaver's method. We confine ourselves to first derivatives only.


title: Polaron spectroscopy of a bilayer excitonic insulator

abstract: Recent advances in fabrication of two dimensional materials and their moir\'e heterostructures have opened up new avenues for realization of ground-state excitonic insulators, where the structure spontaneously develops a finite interlayer electronic polarization. We propose and analyze a scheme where an optically generated intralayer exciton is screened by excitations out of the excitonic insulator to form interlayer polarons. Using Quantum Monte-Carlo calculations we first determine the binding energy of the biexciton state composed of inter- and intralayer excitons, which plays a central role in understanding polaron formation. We describe the excitations out of the ground-state condensate using BCS theory and use a single interacting-quasiparticle-pair excitation Ansatz to describe dynamical screening of optical excitations. Our predictions carry the hallmarks of the excitonic insulator excitation spectrum and show how changing the interlayer exciton binding energy by increasing the layer separation modifies the optical spectra.


title: Spatio-temporal Tendency Reasoning for Human Body Pose and Shape Estimation from Videos

abstract: In this paper, we present a spatio-temporal tendency reasoning (STR) network for recovering human body pose and shape from videos. Previous approaches have focused on how to extend 3D human datasets and temporal-based learning to promote accuracy and temporal smoothing. Different from them, our STR aims to learn accurate and natural motion sequences in an unconstrained environment through temporal and spatial tendency and to fully excavate the spatio-temporal features of existing video data. To this end, our STR learns the representation of features in the temporal and spatial dimensions respectively, to concentrate on a more robust representation of spatio-temporal features. More specifically, for efficient temporal modeling, we first propose a temporal tendency reasoning (TTR) module. TTR constructs a time-dimensional hierarchical residual connection representation within a video sequence to effectively reason temporal sequences' tendencies and retain effective dissemination of human information. Meanwhile, for enhancing the spatial representation, we design a spatial tendency enhancing (STE) module to further learns to excite spatially time-frequency domain sensitive features in human motion information representations. Finally, we introduce integration strategies to integrate and refine the spatio-temporal feature representations. Extensive experimental findings on large-scale publically available datasets reveal that our STR remains competitive with the state-of-the-art on three datasets. Our code are available at https://github.com/Changboyang/STR.git.


title: New examples of compact Weyl-parallel manifolds

abstract: We prove the existence of compact pseudo-Riemannian manifolds with parallel Weyl tensor which are neither conformally flat nor locally symmetric, and represent all indefinite metric signatures in all dimensions $\,n\ge5$. Until now such manifolds were only known to exist in dimensions $\,n=3j+2$, where $\,j\,$ is any positive integer [11]. As in [11], our examples are diffeomorphic to nontrivial torus bundles over the circle and arise from a quotient-manifold construction applied to suitably chosen discrete isometry groups of diffeomorphically-Euclidean "model" manifolds.


abstract: Keeping the power system stable is becoming more challenging with the growing share of renewable energy sources of low or negligible inertia. Inertia constants for individual power plants are generally not known and are roughly estimated by considering the type of power generation technology and the nameplate capacity of plants. More accurate knowledge of inertia constants of individual power plants would give greater transparency to decisions of the transmission system operator (TSO) and to auctions for the procurement of inertia services. Additionally, a more accurate forecast or estimation of system inertia would improve the price signals to the power market well in advance of balancing actions taken by the TSO. We develop methods based on a combination of mathematical optimisation and machine learning that reverse-engineer the inertia constants of individual power plants from the historical values of their power production and from aggregate values of inertia in a power system. We demonstrate the methods for the power system of Great Britain (GB), where historical values for aggregate inertia are published by the TSO. We show that the recovered inertia data is crucial in understanding certain individual balancing decisions by the TSO. We use the reverse-engineered inertia constants to predict system inertia which gives valuable information to the power market.


title: GoalsEye: Learning High Speed Precision Table Tennis on a Physical Robot

abstract: Learning goal conditioned control in the real world is a challenging open problem in robotics. Reinforcement learning systems have the potential to learn autonomously via trial-and-error, but in practice the costs of manual reward design, ensuring safe exploration, and hyperparameter tuning are often enough to preclude real world deployment. Imitation learning approaches, on the other hand, offer a simple way to learn control in the real world, but typically require costly curated demonstration data and lack a mechanism for continuous improvement. Recently, iterative imitation techniques have been shown to learn goal directed control from undirected demonstration data, and improve continuously via self-supervised goal reaching, but results thus far have been limited to simulated environments. In this work, we present evidence that iterative imitation learning can scale to goal-directed behavior on a real robot in a dynamic setting: high speed, precision table tennis (e.g. "land the ball on this particular target"). We find that this approach offers a straightforward way to do continuous on-robot learning, without complexities such as reward design or sim-to-real transfer. It is also scalable -- sample efficient enough to train on a physical robot in just a few hours. In real world evaluations, we find that the resulting policy can perform on par or better than amateur humans (with players sampled randomly from a robotics lab) at the task of returning the ball to specific targets on the table. Finally, we analyze the effect of an initial undirected bootstrap dataset size on performance, finding that a modest amount of unstructured demonstration data provided up-front drastically speeds up the convergence of a general purpose goal-reaching policy. See https://sites.google.com/view/goals-eye for videos.


title: Inverting covariant exterior derivative

abstract: The algorithm for inverting covariant exterior derivative is provided. It works for a sufficiently small star-shaped region of a fibered set - a local subset of a vector bundle and associated vector bundle. The algorithm contains some constraints that can fail, giving no solution, which is the expected case for parallel transport equations. These constraints are straightforward to obtain in the proposed approach. The relation to operational calculus and operator theory is outlined. The upshot of this paper is to show, using the linear homotopy operator of the Poincare lemma, that we can solve the covariant constant and related equations in a geometric and algorithmic way. The considerations related to the regularity of the solutions are provided.


title: Bi-directional Weakly Supervised Knowledge Distillation for Whole Slide Image Classification

abstract: Computer-aided pathology diagnosis based on the classification of Whole Slide Image (WSI) plays an important role in clinical practice, and it is often formulated as a weakly-supervised Multiple Instance Learning (MIL) problem. Existing methods solve this problem from either a bag classification or an instance classification perspective. In this paper, we propose an end-to-end weakly supervised knowledge distillation framework (WENO) for WSI classification, which integrates a bag classifier and an instance classifier in a knowledge distillation framework to mutually improve the performance of both classifiers. Specifically, an attention-based bag classifier is used as the teacher network, which is trained with weak bag labels, and an instance classifier is used as the student network, which is trained using the normalized attention scores obtained from the teacher network as soft pseudo labels for the instances in positive bags. An instance feature extractor is shared between the teacher and the student to further enhance the knowledge exchange between them. In addition, we propose a hard positive instance mining strategy based on the output of the student network to force the teacher network to keep mining hard positive instances. WENO is a plug-and-play framework that can be easily applied to any existing attention-based bag classification methods. Extensive experiments on five datasets demonstrate the efficiency of WENO. Code is available at https://github.com/miccaiif/WENO.


title: Design of a Skipper CCD Focal Plane for the SOAR Integral Field Spectrograph

abstract: We present the development of a Skipper Charge-Coupled Device (CCD) focal plane prototype for the SOAR Telescope Integral Field Spectrograph (SIFS). This mosaic focal plane consists of four 6k $\times$ 1k, 15 $\mu$m pixel Skipper CCDs mounted inside a vacuum dewar. We describe the process of packaging the CCDs so that they can be easily tested, transported, and installed in a mosaic focal plane. We characterize the performance of $\sim 650 \mu$m thick, fully-depleted engineering-grade Skipper CCDs in preparation for performing similar characterization tests on science-grade Skipper CCDs which will be thinned to 250$\mu$m and backside processed with an antireflective coating. We achieve a single-sample readout noise of $4.5 e^{-} rms/pix$ for the best performing amplifiers and sub-electron resolution (photon counting capabilities) with readout noise $\sigma \sim 0.16 e^{-} rms/pix$ from 800 measurements of the charge in each pixel. We describe the design and construction of the Skipper CCD focal plane and provide details about the synchronized readout electronics system that will be implemented to simultaneously read 16 amplifiers from the four Skipper CCDs (4-amplifiers per detector). Finally, we outline future plans for laboratory testing, installation, commissioning, and science verification of our Skipper CCD focal plane.


title: On decompositions of non-reversible processes

abstract: Markov chains are studied in a formulation involving forces and fluxes. First, the iso-dissipation force recently introduced in the physics literature is investigated; we show that its non-uniqueness is linked to different notions of duality giving rise to dual forces. We then study Hamiltonians associated to variational formulations of Markov processes, and develop different decompositions for them.


title: CommsVAE: Learning the brain's macroscale communication dynamics using coupled sequential VAEs

abstract: Communication within or between complex systems is commonplace in the natural sciences and fields such as graph neural networks. The brain is a perfect example of such a complex system, where communication between brain regions is constantly being orchestrated. To analyze communication, the brain is often split up into anatomical regions that each perform certain computations. These regions must interact and communicate with each other to perform tasks and support higher-level cognition. On a macroscale, these regions communicate through signal propagation along the cortex and along white matter tracts over longer distances. When and what types of signals are communicated over time is an unsolved problem and is often studied using either functional or structural data. In this paper, we propose a non-linear generative approach to communication from functional data. We address three issues with common connectivity approaches by explicitly modeling the directionality of communication, finding communication at each timestep, and encouraging sparsity. To evaluate our model, we simulate temporal data that has sparse communication between nodes embedded in it and show that our model can uncover the expected communication dynamics. Subsequently, we apply our model to temporal neural data from multiple tasks and show that our approach models communication that is more specific to each task. The specificity of our method means it can have an impact on the understanding of psychiatric disorders, which are believed to be related to highly specific communication between brain regions compared to controls. In sum, we propose a general model for dynamic communication learning on graphs, and show its applicability to a subfield of the natural sciences, with potential widespread scientific impact.


title: Zeros of replicable functions

abstract: Following the work of Asai, Kaneko, and Ninomiya for Faber polynomials associated to $\mathrm{PSL}_2(\mathbb{Z})$, and Bannai, Kojima, and Miezaki's partial proof for the case of $\Gamma_0^*(2)$, we show that the zeros of certain modular functions associated to some low-level genus zero groups are all located on the boundary of certain natural fundamental domains for $\Gamma$. The groups considered are $\Gamma_0^*(2)$, $\Gamma_0^*(3)$, $\Gamma_0(2\Vert 2)$, $\Gamma_0^*(5)$, $\Gamma_0(6)+$, $\Gamma_0^*(7)$, $\Gamma_0(4\Vert 2)+$, $\Gamma_0(3\Vert 3)$, and $\Gamma_0(10)+$.


title: Odd elasticity and topological waves in active surfaces

abstract: Odd elasticity encompasses active elastic systems whose stress-strain relationship is not compatible with a potential energy. As the requirement of energy conservation is lifted from linear elasticity, new anti-symmetric (odd) components appear in the elastic tensor. In this work, we study the odd elasticity and non-Hermitian wave dynamics of active surfaces, specifically plates of moderate thickness. We find that a free-standing moderately thick, isotropic plate can exhibit two odd-elastic moduli, both of which are related to shear deformations of the plate. These odd moduli can endow the vibrational modes of the plate with a nonzero topological invariant known as the first Chern number. Within continuum elastic theory, we show that the Chern number is related to the presence of unidirectional shearing waves that are hosted at the plate's boundary. We show that the existence of these chiral edge waves hinges on a distinctive two-step mechanism: the finite thickness of the sample gaps the shear modes and the odd elasticity endows them with chirality.


title: General radially moving references frames in the black hole background

abstract: We consider general radially moving frames realized in the background of nonextremal black holes having causal structure similar to that of the Schwarzschild metric. In doing so, we generalize the Lema\^{\i}tre approach, constructing free-falling frames which are built from the reference particles with an arbitrary specific energy $e_{0}$ including $e_{0}<0$ and a special case $e_{0}=0$. The general formula of 3-velocity of a freely falling particle with the specific energy $e$ with respect to a frame with $% e_{0}$ is presented. We point out the relation between the properties of considered frames near a horizon and the Banados-Silk-West effect of an indefinite growth of energy of particle collisions. Using our radially moving frames, we consider also nonradial motion of test particles including the regions near the horizon and singularity. We also point out the properties of the Lema\^{\i}tre time at horizons depending on the frame and sign of particle energy.


title: A Closer Look at Hardware-Friendly Weight Quantization

abstract: Quantizing a Deep Neural Network (DNN) model to be used on a custom accelerator with efficient fixed-point hardware implementations, requires satisfying many stringent hardware-friendly quantization constraints to train the model. We evaluate the two main classes of hardware-friendly quantization methods in the context of weight quantization: the traditional Mean Squared Quantization Error (MSQE)-based methods and the more recent gradient-based methods. We study the two methods on MobileNetV1 and MobileNetV2 using multiple empirical metrics to identify the sources of performance differences between the two classes, namely, sensitivity to outliers and convergence instability of the quantizer scaling factor. Using those insights, we propose various techniques to improve the performance of both quantization methods - they fix the optimization instability issues present in the MSQE-based methods during quantization of MobileNet models and allow us to improve validation performance of the gradient-based methods by 4.0% and 3.3% for MobileNetV1 and MobileNetV2 on ImageNet respectively.


title: To tree or not to tree? Assessing the impact of smoothing the decision boundaries

abstract: When analyzing a dataset, it can be useful to assess how smooth the decision boundaries need to be for a model to better fit the data. This paper addresses this question by proposing the quantification of how much should the 'rigid' decision boundaries, produced by an algorithm that naturally finds such solutions, be relaxed to obtain a performance improvement. The approach we propose starts with the rigid decision boundaries of a seed Decision Tree (seed DT), which is used to initialize a Neural DT (NDT). The initial boundaries are challenged by relaxing them progressively through training the NDT. During this process, we measure the NDT's performance and decision agreement to its seed DT. We show how these two measures can help the user in figuring out how expressive his model should be, before exploring it further via model selection. The validity of our approach is demonstrated with experiments on simulated and benchmark datasets.


title: Electro-nuclear transition into a spatially modulated magnetic state in YbRh$_2$Si$_2$

abstract: The nature of the antiferromagnetic order in the heavy fermion metal YbRh$_2$Si$_2$, its quantum criticality, and superconductivity, which appears at low mK temperatures, remain open questions. We report measurements of the heat capacity over the wide temperature range 180 $\mu$K - 80 mK, using current sensing noise thermometry. In zero magnetic field we observe a remarkably sharp heat capacity anomaly at 1.5 mK, which we identify as an electro-nuclear transition into a state with spatially modulated electronic magnetic order of maximum amplitude 0.1$\mu_B$. We also report results of measurements in magnetic fields in the range 0 to 70 mT, applied perpendicular to the c-axis, which show eventual suppression of this order. These results demonstrate a coexistence of a large moment antiferromagnet with putative superconductivity.


title: Reinforcement Learning Approach for Multi-Agent Flexible Scheduling Problems

abstract: Scheduling plays an important role in automated production. Its impact can be found in various fields such as the manufacturing industry, the service industry and the technology industry. A scheduling problem (NP-hard) is a task of finding a sequence of job assignments on a given set of machines with the goal of optimizing the objective defined. Methods such as Operation Research, Dispatching Rules, and Combinatorial Optimization have been applied to scheduling problems but no solution guarantees to find the optimal solution. The recent development of Reinforcement Learning has shown success in sequential decision-making problems. This research presents a Reinforcement Learning approach for scheduling problems. In particular, this study delivers an OpenAI gym environment with search-space reduction for Job Shop Scheduling Problems and provides a heuristic-guided Q-Learning solution with state-of-the-art performance for Multi-agent Flexible Job Shop Problems.


title: Koopman Neural Forecaster for Time Series with Temporal Distribution Shifts

abstract: Temporal distributional shifts, with underlying dynamics changing over time, frequently occur in real-world time series and pose a fundamental challenge for deep neural networks (DNNs). In this paper, we propose a novel deep sequence model based on the Koopman theory for time series forecasting: Koopman Neural Forecaster (KNF) which leverages DNNs to learn the linear Koopman space and the coefficients of chosen measurement functions. KNF imposes appropriate inductive biases for improved robustness against distributional shifts, employing both a global operator to learn shared characteristics and a local operator to capture changing dynamics, as well as a specially-designed feedback loop to continuously update the learned operators over time for rapidly varying behaviors. We demonstrate that \ours{} achieves superior performance compared to the alternatives, on multiple time series datasets that are shown to suffer from distribution shifts.


title: IronDepth: Iterative Refinement of Single-View Depth using Surface Normal and its Uncertainty

abstract: Single image surface normal estimation and depth estimation are closely related problems as the former can be calculated from the latter. However, the surface normals computed from the output of depth estimation methods are significantly less accurate than the surface normals directly estimated by networks. To reduce such discrepancy, we introduce a novel framework that uses surface normal and its uncertainty to recurrently refine the predicted depth-map. The depth of each pixel can be propagated to a query pixel, using the predicted surface normal as guidance. We thus formulate depth refinement as a classification of choosing the neighboring pixel to propagate from. Then, by propagating to sub-pixel points, we upsample the refined, low-resolution output. The proposed method shows state-of-the-art performance on NYUv2 and iBims-1 - both in terms of depth and normal. Our refinement module can also be attached to the existing depth estimation methods to improve their accuracy. We also show that our framework, only trained for depth estimation, can also be used for depth completion. The code is available at https://github.com/baegwangbin/IronDepth.


title: Global epistasis on fitness landscapes

abstract: Epistatic interactions between mutations add substantial complexity to adaptive landscapes, and are often thought of as detrimental to our ability to predict evolution. Yet, patterns of global epistasis, in which the fitness effect of a mutation is well-predicted by the fitness of its genetic background, may actually be of help in our efforts to reconstruct fitness landscapes and infer adaptive trajectories. Microscopic interactions between mutations, or inherent nonlinearities in the fitness landscape, may cause global epistasis patterns to emerge. In this brief review, we provide a succinct overview of recent work about global epistasis, with an emphasis on building intuition about why it is often observed. To this end, we reconcile simple geometric reasoning with recent mathematical analyses, using these to explain why different mutations in an empirical landscape may exhibit different global epistasis patterns - ranging from diminishing to increasing returns. Finally, we highlight open questions and research directions.


title: Large deviations of slow-fast systems driven by fractional Brownian motion

abstract: We consider a multiscale system of stochastic differential equations in which the slow component is perturbed by a small fractional Brownian motion with Hurst index $H>1/2$ and the fast component is driven by an independent Brownian motion. Working in the framework of Young integration, we use tools from fractional calculus and weak convergence arguments to establish a Large Deviation Principle in the homogenized limit, as the noise intensity and time-scale separation parameters vanish at an appropriate rate. Our approach is based in the study of the limiting behavior of an associated controlled system. We show that, in certain cases, the non-local rate function admits an explicit non-variational form. The latter allows us to draw comparisons to the case $H=1/2$ which corresponds to the classical Freidlin-Wentzell theory. Moreover, we study the asymptotics of the rate function as $H\rightarrow{1/2}^+$ and show that it is discontinuous at $H=1/2.$


title: Towards a Quantum Simulation of Nonlinear Sigma Models with a Topological Term

abstract: We determine the mass gap of a two-dimensional $O(3)$ nonlinear sigma model augmented with a topological $\theta$-term using tensor network and digital quantum algorithms. As proof of principle, we consider the example $\theta = \pi$ and study its critical behaviour on a quantum simulator by examining the entanglement entropy of the ground state. We confirm that the quantum theory is massless in the strong-coupling regime, in agreement with analytical results. However, we also highlight the limitations of current quantum algorithms, designed for noisy intermediate-scale quantum devices, in the theory simulation at weak coupling. Finally, we compare the performance of our quantum algorithms to classical tensor network methods.


title: QParallel: Explicit Parallelism for Programming Quantum Computers

abstract: We present a language extension for parallel quantum programming to (1) remove ambiguities concerning parallelism in current quantum programming languages and (2) facilitate space-time tradeoff investigations in quantum computing. While the focus of similar libraries in the domain of classical computing (OpenMP, OpenACC, etc.) is to divide a computation into multiple threads, the main goal of QParallel is to keep the compiler and the runtime system from introducing parallelism-inhibiting dependencies, e.g., through reuse of qubits in automatic qubit management. We describe the syntax and semantics of the proposed language extension, implement a prototype based on Q#, and present several examples and use cases to illustrate its performance benefits. Moreover, we introduce a tool that guides programmers in the placement of parallel regions by identifying the subroutines that profit most from parallelization, which is especially useful if the programmer's knowledge of the source code is limited. Support for QParallel can be added to any multithreading library and language extension, including OpenMP and OpenACC.


title: Classification of Fermionic Topological Orders from Congruence Representations

abstract: The fusion rules and braiding statistics of anyons in $(2+1)$D fermionic topological orders are characterized by the modular data of a super-modular category. On the other hand, the modular data of a super-modular category form a congruence representation of the $\Gamma_\theta$ subgroup of the modular group $\mathrm{SL}_2(\mathbb{Z})$. We provide a method to classify the modular data of super-modular categories by first obtaining the congruence representations of $\Gamma_\theta$ and then building candidate modular data out of those representations. We carry out this classification up to rank $10$. We obtain both unitary and non-unitary modular data, including all previously known unitary modular data, and also discover new classes of modular data of rank $10$. We also determine the central charges of all these modular data, without explicitly computing their modular extensions.


title: Novice Type Error Diagnosis with Natural Language Models

abstract: Strong static type systems help programmers eliminate many errors without much burden of supplying type annotations. However, this flexibility makes it highly non-trivial to diagnose ill-typed programs, especially for novice programmers. Compared to classic constraint solving and optimization-based approaches, the data-driven approach has shown great promise in identifying the root causes of type errors with higher accuracy. Instead of relying on hand-engineered features, this work explores natural language models for type error localization, which can be trained in an end-to-end fashion without requiring any features. We demonstrate that, for novice type error diagnosis, the language model-based approach significantly outperforms the previous state-of-the-art data-driven approach. Specifically, our model could predict type errors correctly 62% of the time, outperforming the state-of-the-art Nate's data-driven model by 11%, in a more rigorous accuracy metric. Furthermore, we also apply structural probes to explain the performance difference between different language models.


title: Quantitative Metrics for Evaluating Explanations of Video DeepFake Detectors

abstract: The proliferation of DeepFake technology is a rising challenge in today's society, owing to more powerful and accessible generation methods. To counter this, the research community has developed detectors of ever-increasing accuracy. However, the ability to explain the decisions of such models to users is lacking behind and is considered an accessory in large-scale benchmarks, despite being a crucial requirement for the correct deployment of automated tools for content moderation. We attribute the issue to the reliance on qualitative comparisons and the lack of established metrics. We describe a simple set of metrics to evaluate the visual quality and informativeness of explanations of video DeepFake classifiers from a human-centric perspective. With these metrics, we compare common approaches to improve explanation quality and discuss their effect on both classification and explanation performance on the recent DFDC and DFD datasets.


title: Galaxy Zoo: Clump Scout -- Design and first application of a two-dimensional aggregation tool for citizen science

abstract: Galaxy Zoo: Clump Scout is a web-based citizen science project designed to identify and spatially locate giant star forming clumps in galaxies that were imaged by the Sloan Digital Sky Survey Legacy Survey. We present a statistically driven software framework that is designed to aggregate two-dimensional annotations of clump locations provided by multiple independent Galaxy Zoo: Clump Scout volunteers and generate a consensus label that identifies the locations of probable clumps within each galaxy. The statistical model our framework is based on allows us to assign false-positive probabilities to each of the clumps we identify, to estimate the skill levels of each of the volunteers who contribute to Galaxy Zoo: Clump Scout and also to quantitatively assess the reliability of the consensus labels that are derived for each subject. We apply our framework to a dataset containing 3,561,454 two-dimensional points, which constitute 1,739,259 annotations of 85,286 distinct subjects provided by 20,999 volunteers. Using this dataset, we identify 128,100 potential clumps distributed among 44,126 galaxies. This dataset can be used to study the prevalence and demographics of giant star forming clumps in low-redshift galaxies. The code for our aggregation software framework is publicly available at: https://github.com/ou-astrophysics/BoxAggregator


title: Joint Communication and Sensing in RIS-enabled mmWave Networks

abstract: Empowering cellular networks with augmented sensing capabilities is one of the key research areas in 6G communication systems. Recently, we have witnessed a plethora of efforts to devise solutions that integrate sensing capabilities into communication systems, i.e., joint communication and sensing (JCAS). However, most prior works do not consider the impact of reconfigurable intelligent surfaces (RISs) on JCAS systems, especially at millimeter-wave (mmWave) bands. Given that RISs are expected to become an integral part of cellular systems, it is important to investigate their potential in cellular networks beyond communication goals. In this paper, we study mmWave orthogonal frequency-division multiplexing (OFDM) JCAS systems in the presence of RISs. Specifically, we jointly design the hybrid beamforming and RIS phase shifts to guarantee the sensing functionalities via minimizing a chordal-distance metric, subject to signal-to-interference-plus-noise (SINR) and power constraints. The non-convexity of the investigated problem poses a challenge which we address by proposing a solution based on the penalty method and manifold-based alternating direction method of multipliers (ADMM). Simulation results demonstrate that under various settings both sensing and communication experience improved performance when the RIS is adequately designed. In addition, we discuss the tradeoff between sensing and communication.


title: Humans need not label more humans: Occlusion Copy & Paste for Occluded Human Instance Segmentation

abstract: Modern object detection and instance segmentation networks stumble when picking out humans in crowded or highly occluded scenes. Yet, these are often scenarios where we require our detectors to work well. Many works have approached this problem with model-centric improvements. While they have been shown to work to some extent, these supervised methods still need sufficient relevant examples (i.e. occluded humans) during training for the improvements to be maximised. In our work, we propose a simple yet effective data-centric approach, Occlusion Copy & Paste, to introduce occluded examples to models during training - we tailor the general copy & paste augmentation approach to tackle the difficult problem of same-class occlusion. It improves instance segmentation performance on occluded scenarios for "free" just by leveraging on existing large-scale datasets, without additional data or manual labelling needed. In a principled study, we show whether various proposed add-ons to the copy & paste augmentation indeed contribute to better performance. Our Occlusion Copy & Paste augmentation is easily interoperable with any models: by simply applying it to a recent generic instance segmentation model without explicit model architectural design to tackle occlusion, we achieve state-of-the-art instance segmentation performance on the very challenging OCHuman dataset. Source code is available at https://github.com/levan92/occlusion-copy-paste.


title: A unified approach to radial, hyperbolic, and directional efficiency measurement in Data Envelopment Analysis

abstract: The paper analyses properties of a large class of "path-based" Data Envelopment Analysis models through a unifying general scheme. The scheme includes the well-known oriented radial models, the hyperbolic distance function model, the directional distance function models, and even permits their generalisations. The modelling is not constrained to non-negative data and is flexible enough to accommodate variants of standard models over arbitrary data. Mathematical tools developed in the paper allow systematic analysis of the models from the point of view of ten desirable properties. It is shown that some of the properties are satisfied (resp., fail) for all models in the general scheme, while others have a more nuanced behaviour and must be assessed individually in each model. Our results can help researchers and practitioners navigate among the different models and apply the models to mixed data.


title: A Wolf in Sheep's Clothing: Spreading Deadly Pathogens Under the Disguise of Popular Music

abstract: A Negative Pressure Room (NPR) is an essential requirement by the Bio-Safety Levels (BSLs) in biolabs or infectious-control hospitals to prevent deadly pathogens from being leaked from the facility. An NPR maintains a negative pressure inside with respect to the outside reference space so that microbes are contained inside of an NPR. Nowadays, differential pressure sensors (DPSs) are utilized by the Building Management Systems (BMSs) to control and monitor the negative pressure in an NPR. This paper demonstrates a non-invasive and stealthy attack on NPRs by spoofing a DPS at its resonant frequency. Our contributions are: (1) We show that DPSs used in NPRs typically have resonant frequencies in the audible range. (2) We use this finding to design malicious music to create resonance in DPSs, resulting in an overshooting in the DPS's normal pressure readings. (3) We show how the resonance in DPSs can fool the BMSs so that the NPR turns its negative pressure to a positive one, causing a potential \textit{leak} of deadly microbes from NPRs. We do experiments on 8 DPSs from 5 different manufacturers to evaluate their resonant frequencies considering the sampling tube length and find resonance in 6 DPSs. We can achieve a 2.5 Pa change in negative pressure from a $\sim$7 cm distance when a sampling tube is not present and from a $\sim$2.5 cm distance for a 1 m sampling tube length. We also introduce an interval-time variation approach for an adversarial control over the negative pressure and show that the \textit{forged} pressure can be varied within 12 - 33 Pa. Our attack is also capable of attacking multiple NPRs simultaneously. Moreover, we demonstrate our attack at a real-world NPR located in an anonymous bioresearch facility, which is FDA approved and follows CDC guidelines. We also provide countermeasures to prevent the attack.


title: GENHOP: An Image Generation Method Based on Successive Subspace Learning

abstract: Being different from deep-learning-based (DL-based) image generation methods, a new image generative model built upon successive subspace learning principle is proposed and named GenHop (an acronym of Generative PixelHop) in this work. GenHop consists of three modules: 1) high-to-low dimension reduction, 2) seed image generation, and 3) low-to-high dimension expansion. In the first module, it builds a sequence of high-to-low dimensional subspaces through a sequence of whitening processes, each of which contains samples of joint-spatial-spectral representation. In the second module, it generates samples in the lowest dimensional subspace. In the third module, it finds a proper high-dimensional sample for a seed image by adding details back via locally linear embedding (LLE) and a sequence of coloring processes. Experiments show that GenHop can generate visually pleasant images whose FID scores are comparable or even better than those of DL-based generative models for MNIST, Fashion-MNIST and CelebA datasets.


title: Few-Shot Anaphora Resolution in Scientific Protocols via Mixtures of In-Context Experts

abstract: Anaphora resolution is an important task for information extraction across a range of languages, text genres, and domains, motivating the need for methods that do not require large annotated datasets. In-context learning has emerged as a promising approach, yet there are a number of challenges in applying in-context learning to resolve anaphora. For example, encoding a single in-context demonstration that consists of: an anaphor, a paragraph-length context, and a list of corresponding antecedents, requires conditioning a language model on a long sequence of tokens, limiting the number of demonstrations per prompt. In this paper, we present MICE (Mixtures of In-Context Experts), which we demonstrate is effective for few-shot anaphora resolution in scientific protocols (Tamari et al., 2021). Given only a handful of training examples, MICE combines the predictions of hundreds of in-context experts, yielding a 30% increase in F1 score over a competitive prompt retrieval baseline. Furthermore, we show MICE can be used to train compact student models without sacrificing performance. As far as we are aware, this is the first work to present experimental results demonstrating the effectiveness of in-context learning on the task of few-shot anaphora resolution in scientific protocols.


title: The Park-Pham Theorem with Optimal Convergence Rate

abstract: Park and Pham's recent proof of the Kahn-Kalai conjecture was a major breakthrough in the field of graph and hypergraph thresholds. Their result gives an upper bound on the threshold at which a probabilistic construction has a $1-\epsilon$ chance of achieving a given monotone property. While their bound in other parameters is optimal up to constant factors for any fixed $\epsilon$, it does not have the optimal dependence on $\epsilon$ as $\epsilon\rightarrow 0$. In this short paper, we prove a version of the Park-Pham Theorem with optimal $\epsilon$-dependence.


title: Compressing Video Calls using Synthetic Talking Heads

abstract: We leverage the modern advancements in talking head generation to propose an end-to-end system for talking head video compression. Our algorithm transmits pivot frames intermittently while the rest of the talking head video is generated by animating them. We use a state-of-the-art face reenactment network to detect key points in the non-pivot frames and transmit them to the receiver. A dense flow is then calculated to warp a pivot frame to reconstruct the non-pivot ones. Transmitting key points instead of full frames leads to significant compression. We propose a novel algorithm to adaptively select the best-suited pivot frames at regular intervals to provide a smooth experience. We also propose a frame-interpolater at the receiver's end to improve the compression levels further. Finally, a face enhancement network improves reconstruction quality, significantly improving several aspects like the sharpness of the generations. We evaluate our method both qualitatively and quantitatively on benchmark datasets and compare it with multiple compression techniques. We release a demo video and additional information at https://cvit.iiit.ac.in/research/projects/cvit-projects/talking-video-compression.


title: Multi-Frequency-Aware Patch Adversarial Learning for Neural Point Cloud Rendering

abstract: We present a neural point cloud rendering pipeline through a novel multi-frequency-aware patch adversarial learning framework. The proposed approach aims to improve the rendering realness by minimizing the spectrum discrepancy between real and synthesized images, especially on the high-frequency localized sharpness information which causes image blur visually. Specifically, a patch multi-discriminator scheme is proposed for the adversarial learning, which combines both spectral domain (Fourier Transform and Discrete Wavelet Transform) discriminators as well as the spatial (RGB) domain discriminator to force the generator to capture global and local spectral distributions of the real images. The proposed multi-discriminator scheme not only helps to improve rendering realness, but also enhance the convergence speed and stability of adversarial learning. Moreover, we introduce a noise-resistant voxelisation approach by utilizing both the appearance distance and spatial distance to exclude the spatial outlier points caused by depth noise. Our entire architecture is fully differentiable and can be learned in an end-to-end fashion. Extensive experiments show that our method produces state-of-the-art results for neural point cloud rendering by a significant margin. Our source code will be made public at a later date.


title: Cluster Amplitudes and Their Interplay with Self-Consistency in Density Functional Methods

abstract: Density functional theory (DFT) provides convenient electronic structure methods for the study of molecular systems and materials. Regular Kohn-Sham DFT calculations rely on unitary transformations to determine the ground-state electronic density, ground state energy, and related properties. However, for dissociation of molecular systems into open-shell fragments, due to the self-interaction error present in a large number of density functional approximations, the self-consistent procedure based on the this type of transformation gives rise to the well-known charge delocalization problem. To avoid this issue, we showed previously that the cluster operator of coupled-cluster theory can be utilized within the context of DFT to solve in an alternative and approximate fashion the ground-state self-consistent problem. This work further examines the application of the singles cluster operator to molecular ground state calculations. Two approximations are derived and explored: i), A linearized scheme of the quadratic equation used to determine the cluster amplitudes, and, ii), the effect of carrying the calculations in a non-self-consistent field fashion. These approaches are found to be capable of improving the energy and density of the system and are quite stable in either case. The theoretical framework discussed in this work could be used to describe, with an added flexibility, quantum systems that display challenging features and require expanded theoretical methods.


title: Fine-Tuning of the Yukawa and Quartic Couplings in Supersymmetric QCD

abstract: In this work, we investigate the fine tuning of parameters in $\mathcal{N} = 1$ Supersymmetric QCD, discretized on a Euclidean lattice. Specifically, we study the renormalization of the Yukawa (gluino-quark-squark interactions) and the quartic (four-squark interactions) couplings. At the quantum level, these interactions suffer from mixing with other operators which have the same transformation properties. We exploit the symmetries of the action, such as charge conjugation and parity, in order to reduce the allowed mixing patterns. To deduce the renormalizations and the mixing coefficients we compute, perturbatively to one-loop and to the lowest order in the lattice spacing, the relevant three-point and four-point Green's functions using both dimensional and lattice regularizations. Our lattice formulation involves the Wilson discretization for the gluino and quark fields; for gluons we employ the Wilson gauge action; for scalar fields (squarks) we use na\"ive discretization. We obtain analytic expressions for the renormalization and mixing coefficients of the Yukawa couplings; they are functions of the number of colors $N_c$, the gauge parameter $\alpha$, and the gauge coupling $g$. Furthermore, preliminary results on the quartic couplings are also presented.


title: LLMEffiChecker: Understanding and Testing Efficiency Degradation of Large Language Models

abstract: In this paper, we make the first attempt to understand and test potential computation efficiency robustness in state-of-the-art LLMs. By analyzing the working mechanism and implementation of 20,543 public-accessible LLMs, we observe a fundamental property in LLMs that could be manipulated in an adversarial manner to reduce computation efficiency significantly. Our key motivation is to generate test inputs that could sufficiently delay the generation of EOS such that LLMs would have to go through enough iterations to satisfy the pre-configured threshold. We present \tool, which can work under both white-box setting and black-box setting. In the white-box scenario, \tool develops a gradient-guided technique that searches for a minimal and unnoticeable perturbation at character-level, token-level, and structure-level. In the black-box scenario, \tool employs a causal inference-based approach to find critical tokens and similarly applies three levels of imperceptible perturbation to them. Both the white-box and black-box settings effectively delay the appearance of EOS, compelling these inputs to reach the naturally-unreachable threshold. To demonstrate the effectiveness of \tool, we conduct a systematic evaluation on nine public-available LLMs: Google T5, AllenAI WMT14, Helsinki-NLP translator, Facebook FairSeq, UNICAMP-DL translator, MarianMT, Google FLAN-T5, MBZUAI LaMini-GPT and Salesforce CodeGen. Experimental results show that \tool can increase on average LLMs' response latency and energy consumption by 325\% to 3244\% and 344\% to 3616\%, respectively, by perturbing just one character or token in the input sentence.


title: Spin Squeezing as a Probe of Emergent Quantum Orders

abstract: Nuclear magnetic resonance (NMR) experiments can reveal local properties in materials, but are often limited by the low signal-to-noise ratio. Spin squeezed states have an improved resolution below the Heisenberg limit in one of the spin components, and have been extensively used to improve the sensitivity of atomic clocks, for example. Interacting and entangled spin ensembles with non-linear coupling are a natural candidate for implementing squeezing. Here, we propose measurement of the spin-squeezing parameter that itself can act as a local probe of emergent orders in quantum materials. In particular, we demonstrate how to investigate an anisotropic electric field gradient via its coupling to the nuclear quadrupole moment. While squeezed spin states are pure, the squeezing parameter can be estimated for both pure and mixed states. We evaluate the range of fields and temperatures for which a thermal-equilibrium state is sufficient to improve the resolution in an NMR experiment and probe relevant parameters of the quadrupole Hamiltonian, including its anisotropy.


title: Reconstructing parton collisions with machine learning techniques

abstract: Having access to the parton-level kinematics is important for understanding the internal dynamics of particle collisions. Here, we present new results aiming to an efficient reconstruction of parton collisions using machine-learning techniques. By simulating the collider events, we related experimentally-accessible quantities with the momentum fractions of the involved partons. We used photon-hadron production to exploit the cleanliness of the photon signal, including up to NLO QCD-QED corrections. Neural networks led to an outstanding reconstruction efficiency, suggesting a powerful strategy for unveiling the behaviour of the fundamental bricks of matter in high-energy collisions.


title: Corrected Trapezoidal Rule-IBIM for linearized Poisson-Boltzmann equation

abstract: In this paper, we solve the linearized Poisson-Boltzmann equation, used to model the electric potential of macromolecules in a solvent. We derive a corrected trapezoidal rule with improved accuracy for a boundary integral formulation of the linearized Poisson-Boltzmann equation. More specifically, in contrast to the typical boundary integral formulations, the corrected trapezoidal rule is applied to integrate a system of compacted supported singular integrals using uniform Cartesian grids in $\mathbb{R}^3$, without explicit surface parameterization. A Krylov method, accelerated by a fast multipole method, is used to invert the resulting linear system. We study the efficacy of the proposed method, and compare it to an existing, lower order method. We then apply the method to the computation of electrostatic potential of macromolecules immersed in solvent. The solvent excluded surfaces, defined by a common approach, are merely piecewise smooth, and we study the effectiveness of the method for such surfaces.


title: The incomplete Analytic Hierarchy Process and Bradley-Terry model: (in)consistency and information retrieval

abstract: Several methods of preference modeling, ranking, voting and multi-criteria decision making include pairwise comparisons. It is usually simpler to compare two objects at a time, furthermore, some relations (e.g., the outcome of sports matches) are naturally known for pairs. This paper investigates and compares pairwise comparison models and the stochastic Bradley-Terry model. It is proved that they provide the same priority vectors for consistent (complete or incomplete) comparisons. For incomplete comparisons, all filling in levels are considered. Recent results identified the optimal subsets and sequences of multiplicative/additive/reciprocal pairwise comparisons for small sizes of items (up to n = 6). Simulations of this paper show that the same subsets and sequences are optimal in case of the Bradley-Terry and the Thurstone models as well. This, somehow surprising, coincidence suggests the existence of a more general result. Further models of information and preference theory are subject to future investigation in order to identify optimal subsets of input data.


title: VIRDO++: Real-World, Visuo-tactile Dynamics and Perception of Deformable Objects

abstract: Deformable objects manipulation can benefit from representations that seamlessly integrate vision and touch while handling occlusions. In this work, we present a novel approach for, and real-world demonstration of, multimodal visuo-tactile state-estimation and dynamics prediction for deformable objects. Our approach, VIRDO++, builds on recent progress in multimodal neural implicit representations for deformable object state-estimation [1] via a new formulation for deformation dynamics and a complementary state-estimation algorithm that (i) maintains a belief over deformations, and (ii) enables practical real-world application by removing the need for privileged contact information. In the context of two real-world robotic tasks, we show:(i) high-fidelity cross-modal state-estimation and prediction of deformable objects from partial visuo-tactile feedback, and (ii) generalization to unseen objects and contact formations.


title: Class-wise and reduced calibration methods

abstract: For many applications of probabilistic classifiers it is important that the predicted confidence vectors reflect true probabilities (one says that the classifier is calibrated). It has been shown that common models fail to satisfy this property, making reliable methods for measuring and improving calibration important tools. Unfortunately, obtaining these is far from trivial for problems with many classes. We propose two techniques that can be used in tandem. First, a reduced calibration method transforms the original problem into a simpler one. We prove for several notions of calibration that solving the reduced problem minimizes the corresponding notion of miscalibration in the full problem, allowing the use of non-parametric recalibration methods that fail in higher dimensions. Second, we propose class-wise calibration methods, based on intuition building on a phenomenon called neural collapse and the observation that most of the accurate classifiers found in practice can be thought of as a union of K different functions which can be recalibrated separately, one for each class. These typically out-perform their non class-wise counterparts, especially for classifiers trained on imbalanced data sets. Applying the two methods together results in class-wise reduced calibration algorithms, which are powerful tools for reducing the prediction and per-class calibration errors. We demonstrate our methods on real and synthetic datasets and release all code as open source at https://github.com/appliedAI-Initiative


title: Symmetry TFTs for 3d QFTs from M-theory

abstract: We derive the Symmetry Topological Field Theories (SymTFTs) for 3d supersymmetric quantum field theories (QFTs) constructed in M-theory either via geometric engineering or holography. These 4d SymTFTs encode the symmetry structures of the 3d QFTs, for instance the generalized global symmetries and their 't Hooft anomalies. Using differential cohomology, we derive the SymTFT by reducing M-theory on a 7-manifold $Y_7$, which either is the link of a conical Calabi-Yau four-fold or part of an $\text{AdS}_4\times Y_7$ holographic solution. In the holographic setting we first consider the 3d $\mathcal{N}=6$ ABJ(M) theories and derive the BF-couplings, which allow the identification of the global form of the gauge group, as well as 1-form symmetry anomalies. Secondly, we compute the SymTFT for 3d $\mathcal{N}=2$ quiver gauge theories whose holographic duals are based on Sasaki-Einstein 7-manifolds of type $Y_7 = Y^{p,k}(\mathbb{C}\mathbb{P}^2)$. The SymTFT encodes 0- and 1-form symmetries, as well as potential 't Hooft anomalies between these. Furthermore, by studying the gapped boundary conditions of the SymTFT we constrain the allowed choices for $U(1)$ Chern-Simons terms in the dual field theory.


title: Safe Path Planning for Polynomial Shape Obstacles via Control Barrier Functions and Logistic Regression

abstract: Safe path planning is critical for bipedal robots to operate in safety-critical environments. Common path planning algorithms, such as RRT or RRT*, typically use geometric or kinematic collision check algorithms to ensure collision-free paths toward the target position. However, such approaches may generate non-smooth paths that do not comply with the dynamics constraints of walking robots. It has been shown that the control barrier function (CBF) can be integrated with RRT/RRT* to synthesize dynamically feasible collision-free paths. Yet, existing work has been limited to simple circular or elliptical shape obstacles due to the challenging nature of constructing appropriate barrier functions to represent irregular-shaped obstacles. In this paper, we present a CBF-based RRT* algorithm for bipedal robots to generate a collision-free path through complex space with polynomial-shaped obstacles. In particular, we used logistic regression to construct polynomial barrier functions from a grid map of the environment to represent arbitrarily shaped obstacles. Moreover, we developed a multi-step CBF steering controller to ensure the efficiency of free space exploration. The proposed approach was first validated in simulation for a differential drive model, and then experimentally evaluated with a 3D humanoid robot, Digit, in a lab setting with randomly placed obstacles.


title: Searching for dilaton fields in the Ly$\alpha$ forest

abstract: Dilatons (and moduli) couple to the masses and coupling constants of ordinary matter, and these quantities are fixed by the local value of the dilaton field. If, in addition, the dilaton with mass $m_\phi$ contributes to the cosmic dark matter density, then such quantities oscillate in time at the dilaton Compton frequency. We show how these oscillations lead to broadening and shifting of the Voigt profile of the Ly$\alpha$ forest, in a manner that is correlated with the local dark matter density. We further show how tomographic methods allow the effect to be reconstructed by observing the Ly$\alpha$ forest spectrum of distant quasars. We then simulate a large number of quasar lines of sight using the lognormal density field, and forecast the ability of future astronomical surveys to measure this effect. We find that in the ultra low mass range $10^{-32}\text{ eV}\leq m_\phi\leq 10^{-28}\text{ eV}$ upcoming observations can improve over existing limits to the dilaton electron mass and fine structure constant couplings set by fifth force searches by up to five orders of magnitude. Our projected limits apply assuming that the ultralight dilaton makes up a few percent of the dark matter density, consistent with upper limits set by the cosmic microwave background anisotropies.


title: Fluxes, Vacua, and Tadpoles meet Landau-Ginzburg and Fermat

abstract: Type IIB flux vacua based on Landau-Ginzburg models without K\"ahler deformations provide fully-controlled insights into the non-geometric and strongly-coupled string landscape. We show here that supersymmetric flux configurations at the Fermat point of the $1^9$ model, which were found long-time ago to saturate the orientifold tadpole, leave a number of massless fields, which however are not all flat directions of the superpotential at higher order. More generally, the rank of the Hessian of the superpotential is compatible with a suitably formulated tadpole conjecture for all fluxes that we found. Moreover, we describe new infinite families of supersymmetric 4d $\mathcal{N}=1$ Minkowski and AdS vacua and confront them with several other swampland conjectures.


title: Rigidity results for mean curvature flow graphical translators moving in non-graphical direction

abstract: In this paper, we study the rigidity results of complete graphical translating hypersurfaces when the translating direction is not in the graphical direction. We proved that any entire graphical translating surface in the translating direction not parallel to the graphical one is flat if either the translating surface is mean convex or the entropy of the translating surface is smaller than $2$. For higher dimensional case, we show that the same conclusion holds if the graphical translating hypersurface satisfies certain growth condition.


title: Cohomological properties of different types of weak amenability

abstract: In this paper, we deal with cohomological properties of weak amenability, cyclic amenability, cyclic weak amenability and point amenability of Banach algebras. We look at some hereditary properties of them and show that continuous homomorphisms with dense range preserve cyclically weak amenability, however, weak amenability and cyclically amenability are preserved under certain conditions. We also study these cohomological properties of the $\theta-$Lau product $A\times_\theta B$ and the projective tensor product $A\hat{\otimes} B$. Finally, we investigate the cohomological properties of $A^{**}$ and establish that cyclically weak amenability of $A^{**}$ implies cyclically weak amenability of $A$. This result is true for point amenability instead of cyclically weak amenability.


title: Understanding Practices, Challenges, and Opportunities for User-Engaged Algorithm Auditing in Industry Practice

abstract: Recent years have seen growing interest among both researchers and practitioners in user-engaged approaches to algorithm auditing, which directly engage users in detecting problematic behaviors in algorithmic systems. However, we know little about industry practitioners' current practices and challenges around user-engaged auditing, nor what opportunities exist for them to better leverage such approaches in practice. To investigate, we conducted a series of interviews and iterative co-design activities with practitioners who employ user-engaged auditing approaches in their work. Our findings reveal several challenges practitioners face in appropriately recruiting and incentivizing user auditors, scaffolding user audits, and deriving actionable insights from user-engaged audit reports. Furthermore, practitioners shared organizational obstacles to user-engaged auditing, surfacing a complex relationship between practitioners and user auditors. Based on these findings, we discuss opportunities for future HCI research to help realize the potential (and the mitigate risks) of user-engaged auditing in industry practice.


title: A Predictive $SO(10)$ Model

abstract: We discuss some testable predictions of a non-supersymmetric $SO(10)$ model supplemented by a Peccei-Quinn symmetry. We utilize a symmetry breaking pattern of $SO(10)$ that yields unification of the Standard Model gauge couplings, with the unification scale also linked to inflation driven by an $SO(10)$ singlet scalar field with a Coleman-Weinberg potential. Proton decay mediated by the superheavy gauge bosons may be observable at the proposed Hyper-Kamiokande experiment. Due to an unbroken $Z_2$ gauge symmetry from $SO(10)$, the model predicts the presence of a stable intermediate mass fermion which, together with the axion, provides the desired relic abundance of dark matter. The model also predicts the presence of intermediate scale topologically stable monopoles and strings that survive inflation. The monopoles may be present in the Universe at an observable level. We estimate the stochastic gravitational wave background emitted by the strings and show that it should be testable in a number of planned and proposed space and land based experiments. Finally, we show how the observed baryon asymmetry in the Universe is realized via non-thermal leptogenesis.


title: Matrix tree theorem for the net Laplacian matrix of a signed graph

abstract: For a simple signed graph $G$ with the adjacency matrix $A$ and net degree matrix $D^{\pm}$, the net Laplacian matrix is $L^{\pm}=D^{\pm}-A$. We introduce a new oriented incidence matrix $N^{\pm}$ which can keep track of the sign as well as the orientation of each edge of $G$. Also $L^{\pm}=N^{\pm}(N^{\pm})^T$. Using this decomposition, we find the numbers of positive and negative spanning trees of $G$ in terms of the principal minors of $L^{\pm}$ generalizing Matrix Tree Theorem for an unsigned graph. We present similar results for the signless net Laplacian matrix $Q^{\pm}=D^{\pm}+A$ along with a combinatorial formula for its determinant.


title: Gain-Scheduling Controller Synthesis for Nested Systems with Full Block Scalings

abstract: This work presents a framework to synthesize structured gain-scheduled controllers for structured plants whose dynamics change according to time-varying scheduling parameters. Both the system and the controller are assumed to admit descriptions in terms of a linear time-invariant system in feedback with so-called scheduling blocks, which collect all scheduling parameters into a static system. We show that such linear fractional representations permit to exploit a so-called lifting technique in order to handle several structured gain-scheduling design problems. These could arise from a nested inner and outer loop control configuration with partial or full dependence on the scheduling variables. Our design conditions are formulated in terms of convex linear matrix inequalities and permit to handle multiple performance objectives.


title: Integration of Riemannian Motion Policy with Whole-Body Control for Collision-Free Legged Locomotion

abstract: In this paper, we present a Riemannian Motion Policy (RMP)flow-based whole-body control framework for improved dynamic legged locomotion. RMPflow is a differential geometry-inspired algorithm for fusing multiple task-space policies (RMPs) into a configuration space policy in a geometrically consistent manner. RMP-based approaches are especially suited for designing simultaneous tracking and collision avoidance behaviors and have been successfully deployed on serial manipulators. However, one caveat of RMPflow is that it is designed with fully actuated systems in mind. In this work, we, for the first time, extend it to the domain of dynamic-legged systems, which have unforgiving under-actuation and limited control input. Thorough push recovery experiments are conducted in simulation to validate the overall framework. We show that expanding the valid stepping region with an RMP-based collision-avoidance swing leg controller improves balance robustness against external disturbances by up to 53\% compared to a baseline approach using a restricted stepping region. Furthermore, a point-foot biped robot is purpose-built for experimental studies of dynamic biped locomotion. A preliminary unassisted in-place stepping experiment is conducted to show the viability of the control framework and hardware.


title: Parallel Computation of functions of matrices and their action on vectors

abstract: We present a novel class of methods to compute functions of matrices or their action on vectors that are suitable for parallel programming. Solving appropriate simple linear systems of equations in parallel (or computing the inverse of several matrices) and with a proper linear combination of the results, allows us to obtain new high order approximations to the desired functions of matrices. An error analysis to obtain forward and backward error bounds is presented. The coefficients of each method, which depends on the number of processors, can be adjusted to improve the accuracy, the stability or to reduce round off errors of the methods. We illustrate this procedure by explicitly constructing some methods which are then tested on several numerical examples.


title: Supercell low-level mesocyclones: Origins of inflow and vorticity

abstract: The development of low-level mesocyclones in supercell thunderstorms has often been explained via the development of storm-generated streamwise vorticity along a baroclinic gradient in the forward flank of supercells. However, the ambient streamwise vorticity of the environment (often quantified via storm-relative helicity), especially near the ground, is particularly skillful at discriminating between nontornadic and tornadic supercells. This study investigates whether the origins of the inflow air into supercell low-level mesocyclones, both horizontally and vertically, can help explain the dynamical role of environmental versus storm-generated vorticity in the development of low-level mesocyclone rotation. Simulations of supercells, initialized with wind profiles common to supercell environments observed in nature, show that the air bound for the low-level mesocyclone primarily originates from the undisturbed, ambient environment, rather than from along the forward flank, and from very close to the ground, often in the lowest 200 - 400 m of the atmosphere. Given that the near-ground environmental air comprises the bulk of the inflow into low-level mesocyclones, this likely explains the forecast skill of environmental streamwise vorticity in the lowest few hundred meters of the atmosphere. The low-level mesocyclone does not appear to require much augmentation from the development of additional horizontal vorticity in the forward flank. Instead, the dominant contributor to vertical vorticity within the low-level mesocyclone is from the environmental horizontal vorticity. This study hopefully clarifies the development of low-level mesocyclones in supercells.


title: The quantum commuting model (Ia): The CHSH game and other examples: Uniqueness of optimal states

abstract: We present in this paper that the CHSH game admits one and only one optimal state and so remove all ambiguity of representations. More precisely, we use the well-known universal description of quantum commuting correlations as state space on the universal algebra for two player games, and so allows us to unambigiously compare quantum strategies as states on this common algebra. As such we find that the CHSH game leaves a single optimal state on this common algebra. In turn passing to any non-minimal Stinespring dilation for this unique optimal state is the only source of ambiguity (including self-testing): More precisely, any state on some operator algebra may be uniquely broken up into its minimal Stinespring dilation as an honest representation for the operator algebra followed by its vector state. Any other Stinespring dilation however arises simply as an extension of the minimal Stinespring dilation (i.e., as an embedding of the minimal Hilbert space into some random ambient one). As such this manifests the only source of ambiguity appearing in most (but not all!) traditional self-testing results such as for the CHSH game as well as in plenty of similar examples. We then further demonstrate the simplicity of our arguments on the Mermin--Peres magic square and magic pentagram game. Most importantly however, we present this article as an illustration of operator algebraic techniques on optimal states and their quotients, and we further pick up the results of the current article in another following one (currently under preparation) to derive a first robust self-testing result in the quantum commuting model.


title: An integrated assignment, routing, and speed model for roadway mobility and transportation with environmental, efficiency, and service goals

abstract: Managing all the mobility and transportation services with autonomous vehicles for users of a smart city requires determining the assignment of the vehicles to the users and their routing in conjunction with their speed. Such decisions must ensure low emission, efficiency, and high service quality by also considering the impact on traffic congestion caused by other vehicles in the transportation network. In this paper, we first propose an abstract trilevel multi-objective formulation architecture to model all vehicle routing problems with assignment, routing, and speed decision variables and conflicting objective functions. Such an architecture guides the development of subproblems, relaxations, and solution methods. We also propose a way of integrating the various urban transportation services by introducing a constraint on the speed variables that takes into account the traffic volume caused across the different services. Based on the formulation architecture, we introduce a (bilevel) problem where assignment and routing are at the upper level and speed is at the lower level. To address the challenge of dealing with routing problems on urban road networks, we develop an algorithm that alternates between the assignment-routing problem on an auxiliary complete graph and the speed optimization problem on the original non-complete graph. The computational experiments show the effectiveness of the proposed approach in determining approximate Pareto fronts among the conflicting objectives.


title: Integration of Skyline Queries into Spark SQL

abstract: Skyline queries are frequently used in data analytics and multi-criteria decision support applications to filter relevant information from big amounts of data. Apache Spark is a popular framework for processing big, distributed data. The framework even provides a convenient SQL-like interface via the Spark SQL module. However, skyline queries are not natively supported and require tedious rewriting to fit the SQL standard or Spark's SQL-like language. The goal of our work is to fill this gap. We thus provide a full-fledged integration of the skyline operator into Spark SQL. This allows for a simple and easy to use syntax to input skyline queries. Moreover, our empirical results show that this integrated solution of skyline queries by far outperforms a solution based on rewriting into standard SQL.


title: BayesImposter: Bayesian Estimation Based .bss Imposter Attack on Industrial Control Systems

abstract: Over the last six years, several papers used memory deduplication to trigger various security issues, such as leaking heap-address and causing bit-flip in the physical memory. The most essential requirement for successful memory deduplication is to provide identical copies of a physical page. Recent works use a brute-force approach to create identical copies of a physical page that is an inaccurate and time-consuming primitive from the attacker's perspective. Our work begins to fill this gap by providing a domain-specific structured way to duplicate a physical page in cloud settings in the context of industrial control systems (ICSs). Here, we show a new attack primitive - \textit{BayesImposter}, which points out that the attacker can duplicate the .bss section of the target control DLL file of cloud protocols using the \textit{Bayesian estimation} technique. Our approach results in less memory (i.e., 4 KB compared to GB) and time (i.e., 13 minutes compared to hours) compared to the brute-force approach used in recent works. We point out that ICSs can be expressed as state-space models; hence, the \textit{Bayesian estimation} is an ideal choice to be combined with memory deduplication for a successful attack in cloud settings. To demonstrate the strength of \textit{BayesImposter}, we create a real-world automation platform using a scaled-down automated high-bay warehouse and industrial-grade SIMATIC S7-1500 PLC from Siemens as a target ICS. We demonstrate that \textit{BayesImposter} can predictively inject false commands into the PLC that can cause possible equipment damage with machine failure in the target ICS. Moreover, we show that \textit{BayesImposter} is capable of adversarial control over the target ICS resulting in severe consequences, such as killing a person but making it looks like an accident. Therefore, we also provide countermeasures to prevent the attack.


title: The virtual flyping theorem

abstract: We extend the flyping theorem to alternating links in thickened surfaces and alternating virtual links. The proof of the former result adapts the author's recent geometric proof of Tait's 1898 flyping conjecture (first proved in 1993 by Menasco-Thistlethwaite) by using Boden-Karimi's recent extension of definite surfaces (which characterize alternating classical links a la Greene) to links in thickened surfaces. In the process, we also extend a classical result of Gordon-Litherland, establishing an isomorphism between their pairing on a spanning surface and the intersection form on a 4-manifold constructed as a double-branched cover using that surface. To translate the flyping theorem to alternating virtual links, we establish a new correspondence between abstract link $\textit{diagrams}$, cellularly embedded link $\textit{diagrams}$ on closed surfaces, and equivalence classes of virtual link $\textit{diagrams}$. We also rely on results from two companion papers.


title: Impact of instrument and data characteristics in the interferometric reconstruction of the 21 cm power spectrum

abstract: Combining the visibilities measured by an interferometer to form a cosmological power spectrum is a complicated process. In a delay-based analysis, the mapping between instrumental and cosmological space is not a one-to-one relation. Instead, neighbouring modes contribute to the power measured at one point, with their respective contributions encoded in the window functions. To better understand the power measured by an interferometer, we assess the impact of instrument characteristics and analysis choices on these window functions. Focusing on the Hydrogen Epoch of Reionization Array (HERA) as a case study, we find that long-baseline observations correspond to enhanced low-k tails of the window functions, which facilitate foreground leakage, whilst an informed choice of bandwidth and frequency taper can reduce said tails. With simple test cases and realistic simulations, we show that, apart from tracing mode mixing, the window functions help accurately reconstruct the power spectrum estimator of simulated visibilities. The window functions depend strongly on the beam chromaticity, and less on its spatial structure - a Gaussian approximation, ignoring side lobes, is sufficient. Finally, we investigate the potential of asymmetric window functions, down-weighting the contribution of low-k power to avoid foreground leakage. The window functions presented here correspond to the latest HERA upper limits for the full Phase I data. They allow an accurate reconstruction of the power spectrum measured by the instrument and will be used in future analyses to confront theoretical models and data directly in cylindrical space.


title: Evidence of linear and cubic Rashba effect in non-magnetic heterostructure

abstract: The LaAlO3/KTaO3 system serves as a prototype to study the electronic properties that emerge as a result of spin-orbit coupling. In this article, we have used first-principles calculations to systematically study two types of defect-free (0 0 1) interfaces, which are termed as Type-I and Type-II. While the Type-I heterostructure produces a two-dimensional electron gas, the Type-II heterostructure hosts an oxygen-rich two-dimensional hole gas at the interface. Furthermore, in the presence of intrinsic spin-orbit coupling, we have found evidence of both cubic and linear Rashba interactions in the conduction bands of the Type-I heterostructure. On the contrary, there is spin-splitting of both the valence and the conduction bands in the Type-II interface, which are found to be only linear Rashba type. Interestingly, the Type-II interface also harbours a potential photocurrent transition path, making it an excellent platform to study the circularly polarized photogalvanic effect.


title: Randomized channel-state duality

abstract: Channel-state duality is a central result in quantum information science. It refers to the correspondence between a dynamical process (quantum channel) and a static quantum state in an enlarged Hilbert space. Since the corresponding dual state is generally mixed, it is described by a Hermitian matrix. In this article, we present a randomized channel-state duality. In other words, a quantum channel is represented by a collection of $N$ pure quantum states that are produced from a random source. The accuracy of this randomized duality relation is given by $1/N$, with regard to an appropriate distance measure. For large systems, $N$ is much smaller than the dimension of the exact dual matrix of the quantum channel. This provides a highly accurate low-rank approximation of any quantum channel, and, as a consequence of the duality relation, an efficient data compression scheme for mixed quantum states. We demonstrate these two immediate applications of the randomized channel-state duality with a chaotic $1$-dimensional spin system.


title: PMT: Power Measurement Toolkit

abstract: Efficient use of energy is essential for today's supercomputing systems, as energy cost is generally a major component of their operational cost. Research into "green computing" is needed to reduce the environmental impact of running these systems. As such, several scientific communities are evaluating the trade-off between time-to-solution and energy-to-solution. While the runtime of an application is typically easy to measure, power consumption is not. Therefore, we present the Power Measurement Toolkit (PMT), a high-level software library capable of collecting power consumption measurements on various hardware. The library provides a standard interface to easily measure the energy use of devices such as CPUs and GPUs in critical application sections.