title: E-TRoll: Tactile Sensing and Classification via A Simple Robotic Gripper for Extended Rolling Manipulations

abstract: Robotic tactile sensing provides a method of recognizing objects and their properties where vision fails. Prior work on tactile perception in robotic manipulation has frequently focused on exploratory procedures (EPs). However, the also-human-inspired technique of in-hand-manipulation can glean rich data in a fraction of the time of EPs. We propose a simple 3-DOF robotic hand design, optimized for object rolling tasks via a variable-width palm and associated control system. This system dynamically adjusts the distance between the finger bases in response to object behavior. Compared to fixed finger bases, this technique significantly increases the area of the object that is exposed to finger-mounted tactile arrays during a single rolling motion (an increase of over 60% was observed for a cylinder with a 30-millimeter diameter). In addition, this paper presents a feature extraction algorithm for the collected spatiotemporal dataset, which focuses on object corner identification, analysis, and compact representation. This technique drastically reduces the dimensionality of each data sample from 10 x 1500 time series data to 80 features, which was further reduced by Principal Component Analysis (PCA) to 22 components. An ensemble subspace k-nearest neighbors (KNN) classification model was trained with 90 observations on rolling three different geometric objects, resulting in a three-fold cross-validation accuracy of 95.6% for object shape recognition.


title: Implicit causality in GPT-2: a case study

abstract: This case study investigates the extent to which a language model (GPT-2) is able to capture native speakers' intuitions about implicit causality in a sentence completion task. We first reproduce earlier results (showing lower surprisal values for pronouns that are congruent with either the subject or object, depending on which one corresponds to the implicit causality bias of the verb), and then examine the effects of gender and verb frequency on model performance. Our second study examines the reasoning ability of GPT-2: is the model able to produce more sensible motivations for why the subject VERBed the object if the verbs have stronger causality biases? We also developed a methodology to avoid human raters being biased by obscenities and disfluencies generated by the model.


title: SISO-OFDM and MISO-OFDM Counterparts for "Wideband Waveforming for Integrated Data and Energy Transfer: Creating Extra Gain Beyond Multiple Antennas and Multiple Carriers"

abstract: In this article, we proposethe SISO-OFDM and MISO-OFDM based IDET systems, which are the counterparts of our optimal wideband waveforming strategy in [1]. The fair-throughput and the sum-throughput optimisation problems are formulated. By exploiting the FP based alternating algorithm, we obtain the optimal fair-throughput and sum-throughput for both the SISO-OFDM and MISO-OFDM.


title: Secure communication using low dimensional topological elements

abstract: Low-dimensional topological objects, such as knots and braids, have become prevalent in multiple areas of physics, such as fluid dynamics, optics, and quantum information processing. Such objects also now play a role in cryptography, where a framed knot can store encoded information using its braid representation for communications purposes. The greater resilience of low-dimensional topological elements under deformations allows them to be employed as a reliable framework for information exchange. Here, we introduce a challenge-response protocol as an application of this construction for authentication. We provide illustrative examples of both procedures showing how framed links and braids may help to enhance secure communication.


title: Designing with Non-Finite Output Dimension via Fourier Coefficients of Neural Waveforms

abstract: Ordinary Deep Learning models require having the dimension of their outputs determined by a human practitioner prior to training and operation. For design tasks, this places a hard limit on the maximum complexity of any designs produced by a neural network, which is disadvantageous if a greater allowance for complexity would result in better designs. In this paper, we introduce a methodology for taking outputs of non-finite dimension from neural networks, by learning a "neural waveform," and then taking as outputs the coefficients of its Fourier series representation. We then present experimental evidence that neural networks can learn in this setting on a toy problem.


title: Correlated quantum dynamics of graphene

abstract: Phase-space representations are a family of methods for dynamics of both bosonic and fermionic systems, that work by mapping the system's density matrix to a quasi-probability density and the Liouville-von Neumann equation of the Hamiltonian to a corresponding density differential equation for the probability. We investigate here the accuracy and the computational efficiency of one approximate phase-space representation, called the fermionic Truncated Wigner Approximation (fTWA), applied to the Fermi-Hubbard model. On a many-body 2D system, with hopping strength and Coulomb $U$ tuned to represent the electronic structure of graphene, the method is found to be able to capture the time evolution of first-order (site occupation) and second-order (correlation functions) moments significantly better than the mean-field, Hartree-Fock method. The fTWA was also compared to results from the exact diagonalization method for smaller systems, and in general the agreement was found to be good. The fully parallel computational requirement of fTWA scales in the same order as the Hartree-Fock method, and the largest system considered here contained 198 lattice sites.


title: The Furstenberg-Zimmer structure theorem for stationary random walks

abstract: We prove the following version of the Furstenberg-Zimmer structure theorem for stationary actions: Any stationary action of a locally compact second-countable group is a weakly mixing extension of a measure-preserving distal system.


title: Device identification using optimized digital footprints

abstract: The rapidly increasing number of internet of things (IoT) and non-IoT devices has imposed new security challenges to network administrators. Accurate device identification in the increasingly complex network structures is necessary. In this paper, a device fingerprinting (DFP) method has been proposed for device identification, based on digital footprints, which devices use for communication over a network. A subset of nine features have been selected from the network and transport layers of a single transmission control protocol/internet protocol packet based on attribute evaluators in Weka, to generate device-specific signatures. The method has been evaluated on two online datasets, and an experimental dataset, using different supervised machine learning (ML) algorithms. Results have shown that the method is able to distinguish device type with up to 100% precision using the random forest (RF) classifier, and classify individual devices with up to 95.7% precision. These results demonstrate the applicability of the proposed DFP method for device identification, in order to provide a more secure and robust network.


title: Increasing System Test Coverage in Production Automation Systems

abstract: An approach is introduced, which supports a testing technician in the identification of possibly untested behavior of control software of fully integrated automated production systems (aPS). Based on an approach for guided semi-automatic system testing, execution traces are recorded during testing, allowing a subsequent coverage assessment. As the behavior of an aPS is highly dependent on the software, omitted system behavior can be identified and assessed for criticality. Through close cooperation with industry, this approach represents the first coverage assessment approach for system testing in production automation to be applied on real industrial objects and evaluated by industrial experts.


title: Robust Speech Recognition via Large-Scale Weak Supervision

abstract: We study the capabilities of speech processing systems trained simply to predict large amounts of transcripts of audio on the internet. When scaled to 680,000 hours of multilingual and multitask supervision, the resulting models generalize well to standard benchmarks and are often competitive with prior fully supervised results but in a zero-shot transfer setting without the need for any fine-tuning. When compared to humans, the models approach their accuracy and robustness. We are releasing models and inference code to serve as a foundation for further work on robust speech processing.


title: A Fine-grained Chinese Software Privacy Policy Dataset for Sequence Labeling and Regulation Compliant Identification

abstract: Privacy protection raises great attention on both legal levels and user awareness. To protect user privacy, countries enact laws and regulations requiring software privacy policies to regulate their behavior. However, privacy policies are written in natural languages with many legal terms and software jargon that prevent users from understanding and even reading them. It is desirable to use NLP techniques to analyze privacy policies for helping users understand them. Furthermore, existing datasets ignore law requirements and are limited to English. In this paper, we construct the first Chinese privacy policy dataset, namely CA4P-483, to facilitate the sequence labeling tasks and regulation compliance identification between privacy policies and software. Our dataset includes 483 Chinese Android application privacy policies, over 11K sentences, and 52K fine-grained annotations. We evaluate families of robust and representative baseline models on our dataset. Based on baseline performance, we provide findings and potential research directions on our dataset. Finally, we investigate the potential applications of CA4P-483 combing regulation requirements and program analysis.


title: Operator Size Distribution in Large $N$ Quantum Mechanics of Majorana Fermions

abstract: Under the Heisenberg evolution in chaotic quantum systems, initially simple operators evolve into complicated ones and ultimately cover the whole operator space. We study the growth of the operator ``size'' in this process, which is related to the out-of-time-order correlator (OTOC). We derive the full time evolution of the size distribution in large $N$ quantum mechanics of Majorana fermions. As examples, we apply the formalism to the Brownian SYK model (infinite temperature) and the large $q$ SYK model (finite temperature).


title: HERD: Continuous Human-to-Robot Evolution for Learning from Human Demonstration

abstract: The ability to learn from human demonstration endows robots with the ability to automate various tasks. However, directly learning from human demonstration is challenging since the structure of the human hand can be very different from the desired robot gripper. In this work, we show that manipulation skills can be transferred from a human to a robot through the use of micro-evolutionary reinforcement learning, where a five-finger human dexterous hand robot gradually evolves into a commercial robot, while repeated interacting in a physics simulator to continuously update the policy that is first learned from human demonstration. To deal with the high dimensions of robot parameters, we propose an algorithm for multi-dimensional evolution path searching that allows joint optimization of both the robot evolution path and the policy. Through experiments on human object manipulation datasets, we show that our framework can efficiently transfer the expert human agent policy trained from human demonstrations in diverse modalities to target commercial robots.


title: MIME: Human-Aware 3D Scene Generation

abstract: Generating realistic 3D worlds occupied by moving humans has many applications in games, architecture, and synthetic data creation. But generating such scenes is expensive and labor intensive. Recent work generates human poses and motions given a 3D scene. Here, we take the opposite approach and generate 3D indoor scenes given 3D human motion. Such motions can come from archival motion capture or from IMU sensors worn on the body, effectively turning human movement in a "scanner" of the 3D world. Intuitively, human movement indicates the free-space in a room and human contact indicates surfaces or objects that support activities such as sitting, lying or touching. We propose MIME (Mining Interaction and Movement to infer 3D Environments), which is a generative model of indoor scenes that produces furniture layouts that are consistent with the human movement. MIME uses an auto-regressive transformer architecture that takes the already generated objects in the scene as well as the human motion as input, and outputs the next plausible object. To train MIME, we build a dataset by populating the 3D FRONT scene dataset with 3D humans. Our experiments show that MIME produces more diverse and plausible 3D scenes than a recent generative scene method that does not know about human movement. Code and data will be available for research at https://mime.is.tue.mpg.de.


title: Linear and group perfect codes over skew fields and quasi skew fields

abstract: In this paper, we propose a general construction of linear perfect codes over infinite skew fields and quasi skew fields with right (left) unity. A complete classification of such codes over associative skew fields is given. Since the cardinality of the considered skew fields is infinite, the constructed codes have an infinite length. In the previous work, we considered codes over infinite countable fields, the length of which was also countable. We now remove this restriction and consider that the cardinality of the skew field and the length of the codes can be arbitrary (not necessarily countable).


title: CiaoSR: Continuous Implicit Attention-in-Attention Network for Arbitrary-Scale Image Super-Resolution

abstract: Learning continuous image representations is recently gaining popularity for image super-resolution (SR) because of its ability to reconstruct high-resolution images with arbitrary scales from low-resolution inputs. Existing methods mostly ensemble nearby features to predict the new pixel at any queried coordinate in the SR image. Such a local ensemble suffers from some limitations: i) it has no learnable parameters and it neglects the similarity of the visual features; ii) it has a limited receptive field and cannot ensemble relevant features in a large field which are important in an image. To address these issues, this paper proposes a continuous implicit attention-in-attention network, called CiaoSR. We explicitly design an implicit attention network to learn the ensemble weights for the nearby local features. Furthermore, we embed a scale-aware attention in this implicit attention network to exploit additional non-local information. Extensive experiments on benchmark datasets demonstrate CiaoSR significantly outperforms the existing single image SR methods with the same backbone. In addition, CiaoSR also achieves the state-of-the-art performance on the arbitrary-scale SR task. The effectiveness of the method is also demonstrated on the real-world SR setting. More importantly, CiaoSR can be flexibly integrated into any backbone to improve the SR performance.


title: Head Movement Modeling for Immersive Visualization in VR

abstract: Virtual Reality, and Extended Reality in general, connect the physical body with the virtual world. Movement of our body translates to interactions with this virtual world. Only by moving our head will we see a different perspective. By doing so, the physical restrictions of our body's movement restrict our capabilities virtually. By modelling the capabilities of human movement, render engines can get useful information to pre-cache visual texture information or immersive light information. Such pre-caching becomes vital due to ever increasing realism in virtual environments. This work is the first work to predict the volume in which the head will be positioned in the future based on a data-driven binned-ellipsoid technique. The proposed technique can reduce a 1m3 volume to a size of 10cm3 with negligible accuracy loss. This volume then provides the render engine with the necessary information to pre-cache visual data.


title: Conformal renormalization of scalar-tensor theories

abstract: We study a conformally coupled scalar-tensor theory with a quartic potential possessing local conformal symmetry up to a boundary term. We show that requiring the restoration of the full local conformal symmetry fixes the counterterms that render the on-shell action finite. The building block of the resulting action is a conformally covariant tensor which is constructed out of the metric and the scalar field and it has the same conformal weight as the Weyl tensor. This allows us to obtain the counterterms for the scalar-tensor sector in a closed form. The finiteness of the conformally complete version of the action is suggestive on the validity of the Conformal Renormalization prescription. We extend this theory by adding the Conformal Gravity action and also the Einstein-AdS action written in McDowell-Mansouri form. Even though the latter breaks the conformal symmetry, we find that the action is still renormalized provided a suitable falloff of the scalar field when considering asymptotically locally anti-de Sitter solutions. Black hole solutions in these theories are studied, for which the Hawking temperature and the partition function to first order in the saddle-point approximation are calculated, providing a concrete example of this renormalization scheme.


title: Alleviating neighbor bias: augmenting graph self-supervise learning with structural equivalent positive samples

abstract: In recent years, using a self-supervised learning framework to learn the general characteristics of graphs has been considered a promising paradigm for graph representation learning. The core of self-supervised learning strategies for graph neural networks lies in constructing suitable positive sample selection strategies. However, existing GNNs typically aggregate information from neighboring nodes to update node representations, leading to an over-reliance on neighboring positive samples, i.e., homophilous samples; while ignoring long-range positive samples, i.e., positive samples that are far apart on the graph but structurally equivalent samples, a problem we call "neighbor bias." This neighbor bias can reduce the generalization performance of GNNs. In this paper, we argue that the generalization properties of GNNs should be determined by combining homogeneous samples and structurally equivalent samples, which we call the "GC combination hypothesis." Therefore, we propose a topological signal-driven self-supervised method. It uses a topological information-guided structural equivalence sampling strategy. First, we extract multiscale topological features using persistent homology. Then we compute the structural equivalence of node pairs based on their topological features. In particular, we design a topological loss function to pull in non-neighboring node pairs with high structural equivalence in the representation space to alleviate neighbor bias. Finally, we use the joint training mechanism to adjust the effect of structural equivalence on the model to fit datasets with different characteristics. We conducted experiments on the node classification task across seven graph datasets. The results show that the model performance can be effectively improved using a strategy of topological signal enhancement.


title: Haptic Interactions for Extended Reality

abstract: This research investigates whether the interaction methods of XR headsets can be improved by using haptic feedback. As a first and most common technique, indirect interactions are considered. Indirect interactions correspond to manipulations of virtual objects from a virtual distance using pre-defined hand gestures. As a second interaction technique, direct interaction (namely DIM) has been implemented where the user manipulates objects by virtually touching these with their hands. A third interaction method extends the previous one with haptic feedback (namely HEDIM). These 3 methods are compared with each other based on objective and subjective user tests, also taking into account financial considerations. This research concludes that the DIM improves upon the standard indirect method. Additionally, it has been observed that haptic feedback could enhance the DIM in specific situations. Nevertheless, when considering the current financial cost, our subjects were not convinced of the small improvements haptic feedback brings.


title: Convergence rate of the weighted Yamabe flow

abstract: The weighted Yamabe flow was the geometric flow introduced to study the weighted Yamabe problem on smooth metric measure spaces. Carlotto, Chodosh and Rubinstein have studied the convergence rate of the Yamabe flow. Inspired by their result, we study in this paper the convergence rate of the weighted Yamabe flow.


title: Fidelity-based distance bounds for $N$-qubit approximate quantum error correction

abstract: The Eastin-Knill theorem is a central result of quantum error correction theory and states that a quantum code cannot correct errors exactly, possess continuous symmetries, and implement a universal set of gates transversely. As a way to circumvent this result, there are several approaches in which one gives up on either exact error correction or continuous symmetries. In this context, it is common to employ a complementary measure of fidelity as a way to quantify quantum state distinguishability and benchmark approximations in error correction. Despite having useful properties, evaluating fidelity measures stands as a challenging task for quantum states with a large number of entangled qubits. With that in mind, we address two distance measures based on the sub- and superfidelities as a way to bound error approximations, which in turn require a lower computational cost. We model the lack of exact error correction to be equivalent to the action of a single dephasing channel, evaluate the proposed fidelity-based distances both analytically and numerically, and obtain a closed-form expression for a general $N$-qubit quantum state. We illustrate our bounds with two paradigmatic examples, an $N$-qubit mixed GHZ state and an $N$-qubit mixed $W$ state.


title: A benchmark study of core-excited states of organic molecules computed with the generalized active space driven similarity renormalization group

abstract: This work examines the accuracy and precision of X-ray absorption spectra computed with a multireference approach that combines generalized active space (GAS) references with the driven similarity renormalization group (DSRG). We employ the X-ray absorption benchmark of organic molecules (XABOOM) set, consisting of 116 transitions from mostly organic molecules [T. Fransson et al., J. Chem. Theory Comput. 17, 1618 (2021)]. Several approximations to a full-valence active space are examined and benchmarked. Absolute excitation energies and intensities computed with the GAS-DSRG truncated to second-order in perturbation theory are found to systematically underestimate experimental and reference theoretical values. Third-order perturbative corrections significantly improve the accuracy of GAS-DSRG absolute excitation energies, bringing the mean absolute deviation from experimental values down to 0.32 eV. The ozone molecule and glyoxylic acid are particularly challenging for second-order perturbation theory and are examined in detail to assess the importance of active space truncation and intruder states.


title: Thin film epitaxial [111] Co$_{50}$Pt$_{50}$: Structure, magnetisation, and spin polarisation

abstract: Ferromagnetic films with perpendicular magnetic anisotropy are of interest in spintronics and superconducting spintronics. Perpendicular magnetic anisotropy can be achieved in thin ferromagnetic multilayer structures, when the anisotropy is driven by carefully engineered interfaces. Devices with multiple interfaces are disadvantageous for our application in superconducting spintronics, where the current perpendicular to plane is affected by the interfaces. Robust intrinsic PMA can be achieved in certain Co$_x$Pt$_{100-x}$ alloys and compounds at any thickness, without increasing the number of interfaces. Here, we grow equiatomic Co$_{50}$Pt$_{50}$ and report a comprehensive study on the structural, magnetic, and spin-polarisation properties in the $L1_1$ and $L1_0$ ordered compounds. Primarily, interest in Co$_{50}$Pt$_{50}$ has been in the $L1_0$ crystal structure, where layers of Pt and Co are stacked alternately in the [100] direction. There has been less work on $L1_1$ crystal structure, where the stacking is in the [111] direction. For the latter $L1_1$ crystal structure, we find magnetic anisotropy perpendicular to the film plane. For the former $L1_0$ crystal structure, the magnetic anisotropy is perpendicular to the [100] plane, which is neither in-plane or out-of-plane in our samples. We obtain a value for the ballistic spin polarisation of the $L1_1$ and $L1_0$ Co$_{50}$Pt$_{50}$ to be $47\pm3\%$.


title: Skellam Mixture Mechanism: a Novel Approach to Federated Learning with Differential Privacy

abstract: Deep neural networks have strong capabilities of memorizing the underlying training data, which can be a serious privacy concern. An effective solution to this problem is to train models with differential privacy, which provides rigorous privacy guarantees by injecting random noise to the gradients. This paper focuses on the scenario where sensitive data are distributed among multiple participants, who jointly train a model through federated learning (FL), using both secure multiparty computation (MPC) to ensure the confidentiality of each gradient update, and differential privacy to avoid data leakage in the resulting model. A major challenge in this setting is that common mechanisms for enforcing DP in deep learning, which inject real-valued noise, are fundamentally incompatible with MPC, which exchanges finite-field integers among the participants. Consequently, most existing DP mechanisms require rather high noise levels, leading to poor model utility. Motivated by this, we propose Skellam mixture mechanism (SMM), an approach to enforce DP on models built via FL. Compared to existing methods, SMM eliminates the assumption that the input gradients must be integer-valued, and, thus, reduces the amount of noise injected to preserve DP. Further, SMM allows tight privacy accounting due to the nice composition and sub-sampling properties of the Skellam distribution, which are key to accurate deep learning with DP. The theoretical analysis of SMM is highly non-trivial, especially considering (i) the complicated math of differentially private deep learning in general and (ii) the fact that the mixture of two Skellam distributions is rather complex, and to our knowledge, has not been studied in the DP literature. Extensive experiments on various practical settings demonstrate that SMM consistently and significantly outperforms existing solutions in terms of the utility of the resulting model.


title: DECO2 An Open-source Energy System Decarbonisation Planning Software Including Negative Emissions Technologies

abstract: The deployment of CO2 capture and storage (CCS) and negative emissions technologies (NETs) are crucial to meet the net-zero target by year 2050, as emphasised by the Glasgow Climate Pact. Over the years, several energy planning models have been developed to address the temporal aspects of carbon management. However, limited works have incorporated CCS and NETs for bottom-up energy planning at the individual plant scale, which is considered in this work. The novel formulation is implemented in an open-source energy system software that has been developed in this work for optimal decarbonisation planning. The DECarbonation Options Optimisation (DECO2) software considers multiperiod energy planning with a superstructural model and was developed in Python with an integrated user interface in Microsoft Excel. The software application is demonstrated with two scenarios that differ in terms of the availabilities of mitigation technologies. Results demonstrated the potential of fuel substitutions for low-carbon alternatives in existing coal and natural gas power plants. Additionally, once NETs are mature and are available for commercial deployment, their deployment is crucial in aiding CO2 removal in minimal investment costs scenarios. Overall, the newly developed open-source software demonstrates the importance of determining the optimal deployment of mitigation technologies in meeting climate change targets for each period.


title: Monocular Camera and Single-Beam Sonar-Based Underwater Collision-Free Navigation with Domain Randomization

abstract: Underwater navigation presents several challenges, including unstructured unknown environments, lack of reliable localization systems (e.g., GPS), and poor visibility. Furthermore, good-quality obstacle detection sensors for underwater robots are scant and costly; and many sensors like RGB-D cameras and LiDAR only work in-air. To enable reliable mapless underwater navigation despite these challenges, we propose a low-cost end-to-end navigation system, based on a monocular camera and a fixed single-beam echo-sounder, that efficiently navigates an underwater robot to waypoints while avoiding nearby obstacles. Our proposed method is based on Proximal Policy Optimization (PPO), which takes as input current relative goal information, estimated depth images, echo-sounder readings, and previous executed actions, and outputs 3D robot actions in a normalized scale. End-to-end training was done in simulation, where we adopted domain randomization (varying underwater conditions and visibility) to learn a robust policy against noise and changes in visibility conditions. The experiments in simulation and real-world demonstrated that our proposed method is successful and resilient in navigating a low-cost underwater robot in unknown underwater environments. The implementation is made publicly available at https://github.com/dartmouthrobotics/deeprl-uw-robot-navigation.


title: HLS-based Optimization of Tau Triggering Algorithm for LHC: a case study

abstract: With the current increase in the data produced by the Large Hadron Collider (LHC) at CERN, it becomes important to process this data in a corresponding manner. To begin with, to efficiently select events that contain relevant information from a massive flow of data. This is the task of the tau lepton decay triggering algorithm. The implementation is based on the High-Level Synthesis (HLS) approach that allows generating a hardware description of the design from the algorithm written in a high-level programming language like C++. HLS tools are intended to decrease the time and complexity of hardware design development, however, their capabilities are limited. The development of an efficient application requires substantial knowledge of the hardware design and HLS specifics. This paper presents the optimizations introduced to the algorithm that improved latency and area and more importantly solved the problems with the routing, making it possible to implement the algorithm on the FPGA fabric.


title: Dual electro-optic frequency comb photonic thermometry

abstract: We report a precision realization of photonic thermometry using dual-comb spectroscopy to interrogate a $\pi$-phase-shifted fiber Bragg grating. We achieve read-out stability of 7.5 mK at 1 s and resolve temperature changes of similar magnitude--sufficient for most industrial applications. Our dual-comb approach enables rapid sensing of dynamic temperature, and our scalable and reconfigurable electro-optic generation scheme enables a broad sensing range without laser tuning. Reproducibility on the International Temperature Scale of 1990 is tested, and ultimately limited by the frequency reference and check-thermometer stability. Our demonstration opens the door for a universal interrogator deployable to multiple photonic devices in parallel. Applications include on-chip measurements to simultaneously evaluate quantities like temperature, pressure, humidity, magnetic field and radiation dose.


title: A geometric Laplace method

abstract: A classical tool for approximating integrals is the Laplace method. The first-order, as well as the higher-order Laplace formula is most often written in coordinates without any geometrical interpretation. In this article, motivated by a situation arising, among others, in optimal transport, we give a geometric formulation of the first-order term of the Laplace method. The central tool is the Kim-McCann Riemannian metric which was introduced in the field of optimal transportation. Our main result expresses the first-order term with standard geometric objects such as volume forms, Laplacians, covariant derivatives and scalar curvatures of two different metrics arising naturally in the Kim-McCann framework. Passing by, we give an explicitly quantified version of the Laplace formula, as well as examples of applications.


title: Models Developed for Spiking Neural Networks

abstract: Emergence of deep neural networks (DNNs) has raised enormous attention towards artificial neural networks (ANNs) once again. They have become the state-of-the-art models and have won different machine learning challenges. Although these networks are inspired by the brain, they lack biological plausibility, and they have structural differences compared to the brain. Spiking neural networks (SNNs) have been around for a long time, and they have been investigated to understand the dynamics of the brain. However, their application in real-world and complicated machine learning tasks were limited. Recently, they have shown great potential in solving such tasks. Due to their energy efficiency and temporal dynamics there are many promises in their future development. In this work, we reviewed the structures and performances of SNNs on image classification tasks. The comparisons illustrate that these networks show great capabilities for more complicated problems. Furthermore, the simple learning rules developed for SNNs, such as STDP and R-STDP, can be a potential alternative to replace the backpropagation algorithm used in DNNs.


title: Terahertz photoconductivity in bilayer graphene transistors: evidence for tunneling at gate-induced junctions

abstract: Photoconductivity of novel materials is the key property of interest for design of photodetectors, optical modulators, and switches. Despite the photoconductivity of most novel 2d materials has been studied both theoretically and experimentally, the same is not true for 2d p-n junctions that are necessary blocks of most electronic devices. Here, we study the sub-terahertz photocoductivity of gapped bilayer graphene with electrically-induced p-n junctions. We find a strong positive contribution from junctions to resistance, temperature resistance coefficient and photo-resistivity at cryogenic temperatures T ~ 20 K. The contribution to these quantities from junctions exceeds strongly the bulk values at uniform channel doping even at small band gaps ~ 10 meV. We further show that positive junction photoresistance is a hallmark of interband tunneling, and not of intra-band thermionic conduction. Our results point to the possibility of creating various interband tunneling devices based on bilayer graphene, including steep-switching transistors and selective sensors.


title: Quiver diagonalization and open BPS states

abstract: We show that motivic Donaldson-Thomas invariants of a~symmetric quiver $Q$, captured by the generating function $P_Q$, can be encoded in another quiver $Q^{(\infty)}$ of (almost always) infinite size, whose only arrows are loops, and whose generating function $P_{Q^{(\infty)}}$ is equal to $P_Q$ upon appropriate identification of generating parameters. Consequences of this statement include a generalization of the proof of integrality of Donaldson-Thomas and Labastida-Mari\~{n}o-Ooguri-Vafa invariants that count open BPS states, as well as expressing motivic Donaldson-Thomas invariants of an arbitrary symmetric quiver in terms of invariants of $m$-loop quivers. In particular, this means that the already known combinatorial interpretation of invariants of $m$-loop quivers extends to arbitrary symmetric quivers.


title: Optical coherence tomography -- principles, implementation, and applications in ophthalmology

abstract: This short textbook was written for someone who newly start studying, doing research, or development about optical coherence tomography (OCT) or using OCT. The first chapter summarizes the concept and the history of OCT. In the second chapter, the technologies of OCT are summarized, which includes the mathematical principle, hardware implementation, the instructions for designs such as interferometer and wavelength selections, and theories of resolutions and sensitivity. In the third chapter, some examples of ophthalmic applications of OCT are described. In the last chapter, instructions for next learning steps are given.


title: UNCOVERing the extended strong lensing structures of Abell 2744 with the deepest JWST imaging

abstract: We present a new parametric lens model for the massive galaxy cluster Abell~2744 based on the new ultra-deep JWST imaging taken in the framework of the UNCOVER program. These observations constitute the deepest JWST images of a lensing cluster to date, adding to the existing deep Hubble Space Telescope (HST) images and the recent JWST ERS and DDT data taken for this field. The wide field-of-view of UNCOVER ($\sim45$ arcmin$^2$) extends beyond the cluster's well-studied central core and reveals a spectacular wealth of prominent lensed features around two massive cluster sub-structures in the north and north-west, where no multiple images were previously known. The 75 newly uncovered multiple images and candidates of 16 sources allow us, for the first time, to constrain the lensing properties and total mass distribution around these extended cluster structures using strong lensing (SL). Our model yields an effective Einstein radius of $\theta_{E,\mathrm{main}}\simeq23''$ for the main cluster core (for $z_{\mathrm{s}}=2$), enclosing a mass of $M(\theta<\theta_{E,\mathrm{main}})\simeq7.7\times10^{13}$ M$_{\odot}$, and $\theta_{E,\mathrm{NW}}\simeq13''$ for the newly discovered north-western SL structure enclosing $M(\theta<\theta_{E,\mathrm{NW}})\simeq2.2\times10^{13}$ M$_{\odot}$. The northern clump is somewhat less massive with $\theta_{E,\mathrm{N}}\simeq7''$ enclosing $M(\theta<\theta_{E,\mathrm{N}})\simeq8\times10^{12}$ M$_{\odot}$. We find the northern sub-structures of Abell~2744 to broadly agree with the findings from weak lensing (WL) and align with the filamentary structure found by these previous studies. Our model in particular reveals a large area of high magnifications between the various cluster structures, which will be paramount for lensed galaxy studies in the UNCOVER field. The model is made publicly available to accompany the first UNCOVER data release.


title: Structure of Classifier Boundaries: Case Study for a Naive Bayes Classifier

abstract: Whether based on models, training data or a combination, classifiers place (possibly complex) input data into one of a relatively small number of output categories. In this paper, we study the structure of the boundary--those points for which a neighbor is classified differently--in the context of an input space that is a graph, so that there is a concept of neighboring inputs, The scientific setting is a model-based naive Bayes classifier for DNA reads produced by Next Generation Sequencers. We show that the boundary is both large and complicated in structure. We create a new measure of uncertainty, called Neighbor Similarity, that compares the result for a point to the distribution of results for its neighbors. This measure not only tracks two inherent uncertainty measures for the Bayes classifier, but also can be implemented, at a computational cost, for classifiers without inherent measures of uncertainty.


title: C-polynomials and LC-functions: towards a generalization of the Hurwitz zeta function

abstract: Let $f(t)=\sum_{n=0}^{+\infty}\frac{C_{f,n}}{n!}t^n$ be an analytic function at $0$, and let $C_{f, n}(x)=\sum_{k=0}^{n}\binom{n}{k}C_{f,k} x^{n-k}$ be the sequence of Appell polynomials, referred to as $\textit{C-polynomials associated to f}$, constructed from the sequence of coefficients $C_{f,n}$. We also define $P_{f,n}(x)$ as the sequence of C-polynomials associated to the function $p_{f}(t)=f(t)(e^t-1)/t$, called $\textit{P-polynomials associated to f}$. This work investigates three main topics. Firstly, we examine the properties of C-polynomials and P-polynomials and the underlying features that connect them. Secondly, drawing inspiration from the definition of P-polynomials and subject to an additional condition on $f$, we introduce and study the complex-variable function $P_{f}(s,z)=\sum_{k=0}^{+\infty}\binom{z}{k}P_{f,k}s^{z-k}$, which generalizes the $s^z$ function and is denoted by $s^{(z,f)}$. Thirdly, the paper's significant contribution is the generalization of the Hurwitz zeta function and its fundamental properties, most notably Hurwitz's formula, by constructing a novel class of functions defined by $L(z,f)=\sum_{n=n_{f}}^{+\infty}n^{(-z,f)}$, which are intrinsically linked to C-polynomials and referred to as $\textit{LC-functions associated to f}$ (the constant $n_{f}$ is a positive integer dependent on the choice of $f$). This research offers a detailed analysis of C-polynomials, P-polynomials, and LC-functions associated to a given analytic function $f$, thoroughly examining their interrelations and introducing unexplored research directions for a novel and expansive class of LC-functions possessing a functional equation equivalent to that of the Riemann zeta function, thereby highlighting the potential applications and implications of the findings.


title: $^{54}$Fe($d$,$p$)$^{55}$Fe and the evolution of single neutron energies in the $N=29$ isotones

abstract: A measurement of the $^{54}$Fe($d$,$p$)$^{55}$Fe reaction at 16 MeV was performed using the Florida State University Super-Enge Split-Pole Spectrograph to determine single-neutron energies for the $2p_{3/2}$, $2p_{1/2}$, $1f_{5/2}$, $1g_{9/2}$ and $2d_{5/2}$ orbits. Two states were observed that had not been observed in previous (d, p) measurements. In addition, we made angular momentum transfer, \textit{L}, assignments to four states and changed \textit{L} assignments from previous ($d$, $p$) measurements for nine more states. The spin-orbit splitting between the $2p_{3/2}$ and $2p_{1/2}$ orbits is similar to that in the other $N=29$ isotones and not close to zero as a previous measurement suggested. While the $1f_{5/2}$ single neutron energy is significantly lower in $^{55}$Fe than in $^{51}$Ti, as predicted by a covariant density functional theory calculation, the single-neutron energy for this orbit in $^{55}$Fe is more than 1 MeV higher than the calculation suggests, although it is only 400 keV above the $2p_{1/2}$ orbit. The summed spectroscopic strength we observed for the $1g_{9/2}$ orbit up to the single-neutron separation energy of 9.3 MeV is only 0.3. This is surprising because the $1g_{9/2}$ orbit is predicted by Togashi \textit{et al.} to be located only 5.5 MeV above the $2p_{3/2}$ orbit.


title: BEVBert: Multimodal Map Pre-training for Language-guided Navigation

abstract: Large-scale pre-training has shown promising results on the vision-and-language navigation (VLN) task. However, most existing pre-training methods employ discrete panoramas to learn visual-textual associations. This requires the model to implicitly correlate incomplete, duplicate observations within the panoramas, which may impair an agent's spatial understanding. Thus, we propose a new map-based pre-training paradigm that is spatial-aware for use in VLN. Concretely, we build a local metric map to explicitly aggregate incomplete observations and remove duplicates, while modeling navigation dependency in a global topological map. This hybrid design can balance the demand of VLN for both short-term reasoning and long-term planning. Then, based on the hybrid map, we devise a pre-training framework to learn a multimodal map representation, which enhances spatial-aware cross-modal reasoning thereby facilitating the language-guided navigation goal. Extensive experiments demonstrate the effectiveness of the map-based pre-training route for VLN, and the proposed method achieves state-of-the-art on four VLN benchmarks.


title: Multi-View Mesh Reconstruction with Neural Deferred Shading

abstract: We propose an analysis-by-synthesis method for fast multi-view 3D reconstruction of opaque objects with arbitrary materials and illumination. State-of-the-art methods use both neural surface representations and neural rendering. While flexible, neural surface representations are a significant bottleneck in optimization runtime. Instead, we represent surfaces as triangle meshes and build a differentiable rendering pipeline around triangle rasterization and neural shading. The renderer is used in a gradient descent optimization where both a triangle mesh and a neural shader are jointly optimized to reproduce the multi-view images. We evaluate our method on a public 3D reconstruction dataset and show that it can match the reconstruction accuracy of traditional baselines and neural approaches while surpassing them in optimization runtime. Additionally, we investigate the shader and find that it learns an interpretable representation of appearance, enabling applications such as 3D material editing.


title: A self-locking Rydberg atom electric field sensor

abstract: A crucial step towards enabling real-world applications for quantum sensing devices such as Rydberg atom electric field sensors is reducing their size, weight, power, and cost (SWaP-C) requirements without significantly reducing performance. Laser frequency stabilization is a key part of many quantum sensing devices and, when used for exciting non-ground state atomic transitions, is currently limited to techniques that require either large SWaP-C optical cavities and electronics or use significant optical power solely for frequency stabilization. Here we describe a laser frequency stabilization technique for exciting non-ground state atomic transitions that solves these challenges and requires only a small amount of additional electronics. We describe the operation, capabilities, and limitations of this frequency stabilization technique and quantitatively characterize measure its performance. We show experimentally that Rydberg electric field sensors using this technique are capable of data collection while sacrificing only 0.1% of available bandwidth for frequency stabilization of noise up to 900 Hz.


title: The Metamorphosis: Automatic Detection of Scaling Issues for Mobile Apps

abstract: As the bridge between users and software, Graphical User Interface (GUI) is critical to the app accessibility. Scaling up the font or display size of GUI can help improve the visual impact, readability, and usability of an app, and is frequently used by the elderly and people with vision impairment. Yet this can easily lead to scaling issues such as text truncation, component overlap, which negatively influence the acquirement of the right information and the fluent usage of the app. Previous techniques for UI display issue detection and cross-platform inconsistency detection cannot work well for these scaling issues. In this paper, we propose an automated method, dVermin, for scaling issue detection, through detecting the inconsistency of a view under the default and a larger display scale. The evaluation result shows that dVermin achieves 97% precision and 97% recall in issue page detection, and 84% precision and 91% recall for issue view detection, outperforming two state-of-the-art baselines by a large margin. We also evaluate dVermin with popular Android apps on F-droid, and successfully uncover 21 previously-undetected scaling issues with 20 of them being confirmed/fixed.


title: Steady-State Ultracold Plasma

abstract: A strongly coupled ultracold plasma can be used as an excellent test platform for studying many-body interactions associated with various plasma phenomena. In this paper we discuss an approach that makes possible creation of the steady-state ultracold plasma having various densities and temperatures by means of continuous two-step optical excitation of calcium atoms in the MOT. The parameters of the plasma are studied using laser-induced fluorescence of calcium ions. The experimental results are well described by a simple theoretical model involving equilibration of the continuous source of charged particles by the hydrodynamical ion outflux and three-body recombination. The strongly coupled plasma with the peak ion density of $6\cdot10^5$ cm$^{-3}$ and the minimum electron temperature near 2 K has been prepared. Our steady-state approach in combination with the strong magnetic confinement of the plasma will make it possible to reach extremely strong coupling in such system.


title: Constraining surface properties of asteroid (162173) Ryugu from numerical simulations of Hayabusa2 mission impact experiment

abstract: The Hayabusa2 mission impact experiment on asteroid Ryugu created an unexpectedly large crater. The associated regime of low-gravity, low-strength cratering remained largely unexplored so far, because these impact conditions cannot be re-created in laboratory experiments on Earth. Here we show that the target cohesion may be very low and the impact probably occurred in the transitional cratering regime, between strength and gravity. For such conditions, our numerical simulations are able to reproduce the outcome of the impact on Ryugu, including the effects of boulders originally located near the impact point. Consistent with most recent analysis of Ryugu and Bennu, cratering scaling-laws derived from our results suggest that surfaces of small asteroids must be very young. However, our results also show that the cratering efficiency can be strongly affected by the presence of a very small amount of cohesion. Consequently, the varying ages of different geological surface units on Ryugu may be due to the influence of cohesion.


title: Gauss-Newton meets PANOC: A fast and globally convergent algorithm for nonlinear optimal control

abstract: PANOC is an algorithm for nonconvex optimization that has recently gained popularity in real-time control applications due to its fast, global convergence. The present work proposes a variant of PANOC that makes use of Gauss-Newton directions to accelerate the method. Furthermore, we show that when applied to optimal control problems, the computation of this Gauss-Newton step can be cast as a linear quadratic regulator (LQR) problem, allowing for an efficient solution through the Riccati recursion. Finally, we demonstrate that the proposed algorithm is more than twice as fast as the traditional L-BFGS variant of PANOC when applied to an optimal control benchmark problem, and that the performance scales favorably with increasing horizon length.


title: Long time validity of the linearized Boltzmann equation for hard spheres: a proof without billiard theory

abstract: We study space-time fluctuations of a hard sphere system at thermal equilibrium, and prove that the covariance converges to the solution of a linearized Boltzmann equation in the low density limit, globally in time. This result has been obtained previously in [7], by using uniform bounds on the number of recollisions of dispersing systems of hard spheres (as provided for instance in [9]). We present a self-contained proof with substantial differences, which does not use this geometric result. This can be regarded as the first step of a program aiming to derive the fluctuation theory of the rarefied gas, for interaction potentials different from hard spheres.


title: Automated NLO Electroweak Corrections to Processes at Hadron and Lepton Colliders

abstract: The aim of this thesis is the completion of the NLO automated framework of the MC program WHIZARD, accounting for NLO corrections in the full SM for cross sections and distributions of processes at hadron and lepton colliders. Specifically, it builds on the implemented FKS subtraction scheme for NLO QCD calculations, and extends it to automated NLO EW and QCD-EW mixed corrections. To that end, the implemented FKS scheme is generalised to systematically subtract QED and QCD infrared (IR) divergences in mixed coupling expansions. The automated computation of NLO contributions is validated for a set of benchmark processes at the LHC, including e.~g. $t\bar{t}~(+H/W/Z)$ production. Cross-checks for $e^+e^-$ processes likewise show that WHIZARD can be used for predictions at lepton colliders including fixed $\mathcal{O}(\alpha)$ corrections. This framework is applied to the study of NLO EW cross sections and differential distributions for multi-boson processes at a future multi-TeV muon collider. For some high-energy lepton-collider setups, tiny initial-state masses jeopardise the reliability of fixed-order expansions of observables in QED perturbation theory. In order to recover meaningful predictions for NLO EW observables, QED parton-distribution functions (PDFs) must be applied guaranteeing a universal treatment of collinear ISR effects. This however causes computational challenges for MC integration measures. Methods to cope with these difficulties are presented in this thesis. With the automation of NLO EW corrections for hadron and lepton collision processes, WHIZARD offers a powerful tool for EW precision studies at current and future colliders and provides the desired accuracy level of predictions for new physics searches.


title: Optimal investment under partial information and robust VaR-type constraint

abstract: This paper extends the utility maximization literature by combining partial information and (robust) regulatory constraints. Partial information is characterized by the fact that the stock price itself is observable by the optimizing financial institution, but the outcome of the market price of the risk $\theta$ is unknown to the institution. The regulator develops either a congruent or distinct perception of the market price of risk in comparison to the financial institution when imposing the Value-at-Risk (VaR) constraint. We also discuss a robust VaR constraint in which the regulator uses a worst-case measure. The solution to our optimization problem takes the same form as in the full information case: optimal wealth can be expressed as a decreasing function of state price density. The optimal wealth is equal to the minimum regulatory financing requirement in the intermediate economic states. The key distinction lies in the fact that the price density in the final state depends on the overall evolution of the estimated market price of risk, denoted as $\hat{\theta}(s)$ or that the upper boundary of the intermediate region exhibits stochastic behavior.


title: Discrete symmetries and Efficient Counting of Operators

abstract: We present DECO ("Discrete and Efficient Counting of Operators"), an implementation of the Hilbert Series to enumerate subleading operator bases for SMEFT-like EFTs with symmetry groups as typically found in flavour and BSM physics. DECO can accommodate EFTs with arbitrary numbers and combinations of the SM gauge groups, as well as the discrete groups S4, A4, and Zn, and U(1) groups with residual global charge (and these groups' most important representations). The program is highly modular and can easily be extended to additional groups and/or representations. We demonstrate the design cases for DECO by using it to cross-check subleading operator bases of EFTs in the literature, which allows us to identify a missing operator in a widely used model for the neutrino masses and discuss said operator's impact.


title: On Attack Detection and Identification for the Cyber-Physical System using Lifted System Model

abstract: Motivated by the safety and security issues related to cyber-physical systems with potentially multi-rate, delayed, and nonuniformly sampled measurements, we investigate the attack detection and identification using the lifted system model in this paper. Attack detectability and identifiability based on the lifted system model are formally defined and rigorously characterized in a novel approach. The method of checking detectability is discussed, and a residual design problem for attack detection is formulated in a general way. For attack identification, we define and characterize it by generalizing the concept of mode discernibility for switched systems, and a method for identifying the attack is discussed based on the theoretical analysis. An illustrative example of an unmanned aircraft system (UAS) is provided to validate the main results.


title: The optimal edge-colouring threshold

abstract: Consider any dense r-regular quasirandom bipartite graph H with parts of size n and fix a set of r colours. Let L be a random list assignment where each colour is available for each edge of H with probability p. We show that the threshold probability for H to have a proper L-edge-colouring is p of order (log n)/n. This answers a question of Kang, Kelly, K\"uhn, Methuku and Osthus. We thus obtain the same threshold for Steiner Triple Systems and Latin squares; the latter answers a question of Johanssen from 2006.


title: Attosecond-Angstrom free-electron-laser towards the cold beam limit

abstract: Electron beam quality is paramount for X-ray pulse production in free-electron-lasers (FELs). State-of-the-art linear accelerators (linacs) can deliver multi-GeV electron beams with sufficient quality for hard X-ray-FELs, albeit requiring km-scale setups, whereas plasma-based accelerators can produce multi-GeV electron beams on metre-scale distances, and begin to reach beam qualities sufficient for EUV FELs. We show, that electron beams from plasma photocathodes many orders of magnitude brighter than state-of-the-art can be generated in plasma wakefield accelerators (PWFA), and then extracted, captured, transported and injected into undulators without quality loss. These ultrabright, sub-femtosecond electron beams can drive hard X-FELs near the cold beam limit to generate coherent X-ray pulses of attosecond-Angstrom class, reaching saturation after only 10 metres of undulator. This plasma-X-FEL opens pathways for novel photon science capabilities, such as unperturbed observation of electronic motion inside atoms at their natural time and length scale, and towards higher photon energies.


title: Corner percolation with preferential directions

abstract: Corner percolation is a dependent bond percolation model on Z^2 introduced by B\'alint T\'oth, in which each vertex has exactly two incident edges, perpendicular to each other. G\'abor Pete has proven in 2008 that under the maximal entropy probability measure, all connected components are finite cycles almost surely. We consider here a regime where West and North directions are preferred with probability p and q respectively, with (p,q) different from (1/2,1/2). We prove that there exists almost surely an infinite number of infinite connected components, which are in fact infinite paths. Furthermore, they all have the same asymptotic slope (2q-1)/(1-2p).


title: The Lifebelt Particle Filter for robust estimation from low-valued count data

abstract: Particle filtering methods are well developed for continuous state-space models. When dealing with discrete spaces on bounded domains, particle filtering methods can still be applied to sample from and marginalise over the unknown hidden states. Nevertheless, problems such as particle degradation can arise in this context and be even more severe than they are within the continuous-state domain: proposed particles can easily be incompatible with the data and the discrete system could often result in all particles having weights of zero. However, if the boundaries of the discrete hidden space are known, then these could be used to prevent particle collapse. In this paper we introduce the Lifebelt Particle Filter (LBPF), a novel method for robust likelihood estimation when low-valued count data arise. The LBPF combines a standard particle filter with one (or more) \textit{lifebelt particles} which, by construction, will tend not to be incompatible with the data. A mixture of resampled and non-resampled particles allows for the preservation of the lifebelt particle, which, together with the remaining particle swarm, provides samples from the filtering distribution, and can be used to generate estimates of the likelihood. The LBPF can be used within a pseudo-marginal scheme to draw inference on static parameters, $ \boldsymbol{\theta} $, governing a discrete state-space model with low-valued counts. We present here the applied case estimating a parameter governing probabilities and timings of deaths and recoveries of hospitalised patients during an epidemic.


title: A Rubric for Human-like Agents and NeuroAI

abstract: Researchers across cognitive, neuro-, and computer sciences increasingly reference human-like artificial intelligence and neuroAI. However, the scope and use of the terms are often inconsistent. Contributed research ranges widely from mimicking behaviour, to testing machine learning methods as neurally plausible hypotheses at the cellular or functional levels, or solving engineering problems. However, it cannot be assumed nor expected that progress on one of these three goals will automatically translate to progress in others. Here a simple rubric is proposed to clarify the scope of individual contributions, grounded in their commitments to human-like behaviour, neural plausibility, or benchmark/engineering goals. This is clarified using examples of weak and strong neuroAI and human-like agents, and discussing the generative, corroborate, and corrective ways in which the three dimensions interact with one another. The author maintains that future progress in artificial intelligence will need strong interactions across the disciplines, with iterative feedback loops and meticulous validity tests, leading to both known and yet-unknown advances that may span decades to come.


title: Density-wave ordering in a unitary Fermi gas with photon-mediated interactions

abstract: A density wave (DW) is a fundamental type of long-range order in quantum matter tied to self-organization into a crystalline structure. The interplay of DW order with superfluidity can lead to complex scenarios that pose a great challenge to theoretical analysis. In the last decades, tunable quantum Fermi gases have served as model systems for exploring the physics of strongly interacting fermions, including most notably magnetic ordering, pairing and superfluidity, and the crossover from a Bardeen-Cooper-Schrieffer (BCS) superfluid to a Bose-Einstein condensate (BEC). Here, we realize a Fermi gas featuring both strong, tunable contact interactions and photon-mediated, spatially structured long-range interactions in a transversely driven high-finesse optical cavity. Above a critical long-range interaction strength DW order is stabilized in the system, which we identify via its superradiant light scattering properties. We quantitatively measure the variation of the onset of DW order as the contact interaction is varied across the BCS-BEC crossover, in qualitative agreement with a mean-field theory. The atomic DW susceptibility varies over an order of magnitude upon tuning the strength and the sign of the long-range interactions below the self-ordering threshold, demonstrating independent and simultaneous control over the contact and long-range interactions. Therefore, our experimental setup provides a fully tunable and microscopically controllable platform for the experimental study of the interplay of superfluidity and DW order.


title: DeeProb-kit: a Python Library for Deep Probabilistic Modelling

abstract: DeeProb-kit is a unified library written in Python consisting of a collection of deep probabilistic models (DPMs) that are tractable and exact representations for the modelled probability distributions. The availability of a representative selection of DPMs in a single library makes it possible to combine them in a straightforward manner, a common practice in deep learning research nowadays. In addition, it includes efficiently implemented learning techniques, inference routines, statistical algorithms, and provides high-quality fully-documented APIs. The development of DeeProb-kit will help the community to accelerate research on DPMs as well as to standardise their evaluation and better understand how they are related based on their expressivity.


title: The Effect of short-range order on the viscosity and crystallization of Al-Mg melts

abstract: In this work, using the methods of viscosimetry and thermal analysis, the concentration changes in the values of the supercooling viscosity of Al-Mg melts with Mg content from 2.5 to 95 at.% are studied. It is shown that the temperature dependences of viscosity are well described by an exponential dependence. The concentration dependence of viscosity is not monotonous and reflects a change in the chemical short-range order in the liquid phase. The concentration dependence of supercooling of Al-Mg melts is determined by the type of solid phase formed during solidification, and also reflects the most significant changes in the chemical short-range order in the liquid phase at 20 and 80 at.% Mg. Al-Mg alloys in the concentration ranges: 0-10, 40-50 and 90-100 at.% Mg are prone to non-equilibrium crystallization, the formation of quasi-eutectics and solidification without intermediate intermetallic phases.


title: Transcranial ultrasound simulation with uncertainty estimation

abstract: Transcranial ultrasound simulations are increasingly used to predict in situ exposure parameters for ultrasound therapies in the brain. However, there can be considerable uncertainty in estimating the acoustic medium properties of the skull and brain from computed tomography (CT) images. Here, we show how the resulting uncertainty in the simulated acoustic field can be predicted in a computationally efficient way using linear uncertainty propagation. Results for a representative transcranial simulation using a focused bowl transducer at 500 kHz show good agreement with unbiased uncertainty estimates obtained using Monte Carlo.


title: A Cosine Rule-Based Discrete Sectional Curvature for Graphs

abstract: How does one generalize differential geometric constructs such as curvature of a manifold to the discrete world of graphs and other combinatorial structures? This problem carries significant importance for analyzing models of discrete spacetime in quantum gravity; inferring network geometry in network science; and manifold learning in data science. The key contribution of this paper is to introduce and validate a new estimator of discrete sectional curvature for random graphs with low metric-distortion. The latter are constructed via a specific graph sprinkling method on different manifolds with constant sectional curvature. We define a notion of metric distortion, which quantifies how well the graph metric approximates the metric of the underlying manifold. We show how graph sprinkling algorithms can be refined to produce hard annulus random geometric graphs with minimal metric distortion. We construct random geometric graphs for spheres, hyperbolic and euclidean planes; upon which we validate our curvature estimator. Numerical analysis reveals that the error of the estimated curvature diminishes as the mean metric distortion goes to zero, thus demonstrating convergence of the estimate. We also perform comparisons to other existing discrete curvature measures. Finally, we demonstrate two practical applications: (i) estimation of the earth's radius using geographical data; and (ii) sectional curvature distributions of self-similar fractals.


title: Dynamic Decision Frequency with Continuous Options

abstract: In classic reinforcement learning algorithms, agents make decisions at discrete and fixed time intervals. The duration between decisions becomes a crucial hyperparameter, as setting it too short may increase the problem's difficulty by requiring the agent to make numerous decisions to achieve its goal while setting it too long can result in the agent losing control over the system. However, physical systems do not necessarily require a constant control frequency, and for learning agents, it is often preferable to operate with a low frequency when possible and a high frequency when necessary. We propose a framework called Continuous-Time Continuous-Options (CTCO), where the agent chooses options as sub-policies of variable durations. These options are time-continuous and can interact with the system at any desired frequency providing a smooth change of actions. We demonstrate the effectiveness of CTCO by comparing its performance to classical RL and temporal-abstraction RL methods on simulated continuous control tasks with various action-cycle times. We show that our algorithm's performance is not affected by the choice of environment interaction frequency. Furthermore, we demonstrate the efficacy of CTCO in facilitating exploration in a real-world visual reaching task for a 7 DOF robotic arm with sparse rewards.


title: OFASys: A Multi-Modal Multi-Task Learning System for Building Generalist Models

abstract: Generalist models, which are capable of performing diverse multi-modal tasks in a task-agnostic way within a single model, have been explored recently. Being, hopefully, an alternative to approaching general-purpose AI, existing generalist models are still at an early stage, where modality and task coverage is limited. To empower multi-modal task-scaling and speed up this line of research, we release a generalist model learning system, OFASys, built on top of a declarative task interface named multi-modal instruction. At the core of OFASys is the idea of decoupling multi-modal task representations from the underlying model implementations. In OFASys, a task involving multiple modalities can be defined declaratively even with just a single line of code. The system automatically generates task plans from such instructions for training and inference. It also facilitates multi-task training for diverse multi-modal workloads. As a starting point, we provide presets of 7 different modalities and 23 highly-diverse example tasks in OFASys, with which we also develop a first-in-kind, single model, OFA+, that can handle text, image, speech, video, and motion data. The single OFA+ model achieves 95% performance in average with only 16% parameters of 15 task-finetuned models, showcasing the performance reliability of multi-modal task-scaling provided by OFASys. Available at https://github.com/OFA-Sys/OFASys


title: Well-defined Cu$_2$O photocatalysts for solar fuels and chemicals

abstract: The shape-controlled synthesis of cuprous oxide (Cu$_2$O) photocatalysts with both low or high index crystal planes has received increasing attention due to their unique facet-dependent properties. Since they are cheap and earth abundant, these well-defined Cu$_2$O nanostructures are extensively used for different photocatalytic reactions, also because of their strong visible light absorption capability. However, further development will be still needed to enhance the efficiency and photostability of Cu$_2$O, which still limits its industrial application. We start this review by summarizing the synthetic advancement in the facet engineering of Cu$_2$O and other associated hybrid Cu$_2$O-based heterostructures with a special emphasis put on their growth mechanism. We then discuss different facet-dependent properties, which are relevant to photocatalysis. In the subsequent section, we present a critical discussion on the photocatalytic performance of faceted Cu$_2$O nanostructures during organic synthesis, hydrogen production, and carbon dioxide photoreduction. The relation between photocatalytic efficiency and product selectivity with exposed crystal facets or with different composition of hybrid nanostructures is also discussed. Finally, important strategies are proposed to overcome the photostability issue, while outlining the course of future development to further boost the technological readiness of well-defined Cu$_2$O-based photocatalysts.


title: Electrocatalytic CO$_2$ Reduction: Role of the Cross-Talk at Organic-Inorganic Interfaces

abstract: Electrocatalytic CO$_2$RR is an interfacial process, involving a minimum of three phases at the contact point of gaseous CO$_2$ with the electrodic surface and the liquid electrolyte. As a consequence, surface chemistry at composite interfaces plays a central role for CO$_2$RR selectivity and catalysis. Each interface defines a functional boundary, where active sites are exposed to a unique environment with respect to distal sites in the bulk or organic and inorganic materials. While the individual role of each component-type is hardly predictable a-solo, the interface ensemble works via a strategic interplay of individual effects, including: (i) enhanced electrical conductivity, (ii) high surface area and exposure of the interfacial catalytic sites, (iii) favorable transport and feeding of reactants, (iv) complementary interactions for the on/off stabilization of cascade intermediates, (v) a secondary sphere assistance to lower the activation energy of bottleneck steps, (vi) a reinforced robustness and long-term operation stability by mutual protection and/or healing mechanisms. Selected CO$_2$RR case studies are compared and contrasted to highlight how the organic domains of carbon nanostructures merge with metal and metal-oxide active sites to separate tasks but also to turn them into a cooperative asset of mutual interactions, thus going beyond the classic Divide et Impera rule.


title: Bimodal Star Formation in Simulations of Strongly Magnetized Giant Molecular Clouds

abstract: We present the results of a set of radiation magnetohydrodynamic simulations of turbulent molecular clouds in which we vary the initial strength of the magnetic field within a range ($1 \lesssim \mu \lesssim 5$) consistent with observations of local giant molecular clouds (GMCs). We find that as we increase the strength of the magnetic field, star formation transitions from unimodal (the baseline case, $\mu=5$, with a single burst of star formation and Salpeter IMF) to bimodal. This effect is clearest in the most strongly magnetized GMCs ($\mu=1$): a first burst of star formation with duration, intensity and IMF comparable to the baseline case, is followed by a second star formation episode in which only low-mass stars are formed. Overall, due to the second burst of star formation, the strongly magnetized case results in a longer star formation period and a higher efficiency of star formation. The second burst is produced by gas that is not expelled by radiative feedback, instead remaining trapped in the GMC by the large-scale B-field, producing a nearly one-dimensional flow of gas along the field lines. The trapped gas has a turbulent and magnetic topology that differs from that of the first phase and strongly suppresses gas accretion onto protostellar cores, reducing their masses. We speculate that this star formation bimodality may be an important ingredient to understand the origin of multiple stellar populations observed in massive globular clusters.


title: Task Bias in Vision-Language Models

abstract: Incidental supervision from language has become a popular approach for learning generic visual representations that can be prompted to perform many recognition tasks in computer vision. We conduct an in-depth exploration of the CLIP model and show that its visual representation is often strongly biased towards solving some tasks more than others. Moreover, which task the representation will be biased towards is unpredictable, with little consistency across images. To resolve this task bias, we show how to learn a visual prompt that guides the representation towards features relevant to their task of interest. Our results show that these visual prompts can be independent of the input image and still effectively provide a conditioning mechanism to steer visual representations towards the desired task.


title: Search for ultralight dark matter with spectroscopy of radio-frequency atomic transitions

abstract: The effects of scalar and pseudoscalar ultralight bosonic dark matter (UBDM) were searched for by comparing the frequency of a quartz oscillator to that of a hyperfine-structure transition in $^{87}$Rb, and an electronic transition in $^{164}$Dy. We constrain linear interactions between a scalar UBDM field and Standard-Model (SM) fields for an underlying UBDM particle mass in the range $1\times10^{-17}-8.3\times10^{-13} $ eV and quadratic interactions between a pseudoscalar UBDM field and SM fields in the range $5\times10^{-18}- 4.1\times10^{-13} $ eV. Within regions of the respective ranges, our constraints on linear interactions significantly improve on results from previous, direct searches for oscillations in atomic parameters, while constraints on quadratic interactions surpass limits imposed by such direct searches as well as by astrophysical observations.


title: Semiclassical analysis of Dirac fields on curved spacetime

abstract: We present a semiclassical analysis for Dirac fields on an arbitrary spacetime background and in the presence of a fixed electromagnetic field. Our approach is based on a Wentzel-Kramers-Brillouin approximation, and the results are analyzed at leading and next-to-leading order in the small expansion parameter $\hbar$. Taking into account the spin-orbit coupling between the internal and external degrees of freedom of wave packets, we derive effective ray equations with spin-dependent terms. These equations describe the gravitational spin Hall effect of localized Dirac wave packets. We treat both massive and massless Dirac fields and show how a covariantly defined Berry connection and the associated Berry curvature govern the semiclassical dynamics. The gravitational spin Hall equations are shown to be particular cases of the Mathisson-Papapetrou equations for spinning objects.


title: A probabilistic peridynamic framework with an application to the study of the statistical size effect

abstract: Mathematical models are essential for understanding and making predictions about systems arising in nature and engineering. Yet, mathematical models are a simplification of true phenomena, thus making predictions subject to uncertainty. Hence, the ability to quantify uncertainties is essential to any modelling framework, enabling the user to assess the importance of certain parameters on quantities of interest and have control over the quality of the model output by providing a rigorous understanding of uncertainty. Peridynamic models are a particular class of mathematical models that have proven to be remarkably accurate and robust for a large class of material failure problems. However, the high computational expense of peridynamic models remains a major limitation, hindering outer-loop applications that require a large number of simulations, for example, uncertainty quantification. This contribution provides a framework to make such computations feasible. By employing a Multilevel Monte Carlo (MLMC) framework, where the majority of simulations are performed using a coarse mesh, and performing relatively few simulations using a fine mesh, a significant reduction in computational cost can be realised, and statistics of structural failure can be estimated. The results show a speed-up factor of 16x over a standard Monte Carlo estimator, enabling the forward propagation of uncertain parameters in a computationally expensive peridynamic model. Furthermore, the multilevel method provides an estimate of both the discretisation error and sampling error, thus improving the confidence in numerical predictions. The performance of the approach is demonstrated through an examination of the statistical size effect in quasi-brittle materials.


title: Impact of a ferromagnetic insulating barrier in magnetic tunnel junctions

abstract: We investigate spin-dependent conductance across a magnetic tunnel junction (MTJ) including a ferromagnetic insulating barrier. The MTJ consists of two half-metallic ferromagnetic La2/3Sr1/3MnO3 (LSMO) manganites as electrodes and La2NiMnO6 (LNMO) double perovskite as a ferromagnetic insulating barrier. The resistance of the junction is strongly dependent not only on the orientation of the magnetic moments in LSMO electrodes, but also on the direction of the magnetization of the LNMO barrier with respect to that of LSMO. The ratio of tunnel magnetoresistance reaches a maximum value of 24% at 10 K, and it decreases with temperature until it completely disappears above the critical temperature of LNMO at 280 K. The tunneling process is described using a mechanism which involves both empty and filled eg states of the LNMO barrier acting as a spin-filter. A magnetic insulating barrier is an interesting path for achieving room temperature magnetoresistance in oxide-based heterostructures.


title: Mean field approximation for effective theories of lattice QCD

abstract: For the exploration of the phase diagram of QCD, effective Polyakov loop theories derived from lattice QCD provide a valuable tool in the heavy quark mass regime. In practice, the evaluation of these theories is complicated by the appearance of long-range and multipoint interaction terms. On the other hand, it is well known that for theories with such kind of interactions mean field approximations can be expected to yield reliable results. Here, we apply this framework to the critical endpoint of the deconfinement transition and results are compared to the literature. This treatment can also be used to investigate the phase diagram at non-zero baryon and isospin chemical potential.


title: A Complete Graphical Solution for Undrained Cylindrical Cavity Expansion in K_0-Consolidated Mohr-Coulomb Soil

abstract: This paper develops a general and complete solution for the undrained cylindrical cavity expansion problem in non-associated Mohr-Coulomb soil under non-hydrostatic initial stress field (i.e., arbitrary K_0 values of the earth pressure coefficient), by expanding a unique and efficient graphical solution procedure recently proposed by Chen & Wang in 2022 for the special in situ stress case with K_0 = 1. The new generalized, graph-based theoretical framework contains two essential components: the geometrical analysis to track the stress path trajectory/evolution in different sectors of the deviatoric plane; and a full Lagrangian formulation of both the constitutive relationship and radial equilibrium equation to analytically determine the representative soil particle responses at the cavity surface. It is interesting to find that the cavity expansion deviatoric stress path is always composed of a series of piecewise straight lines, for all different case scenarios of K_0 being involved. The salient advantage/feature of the present general graphical approach lies in that it can deduce the cavity expansion responses in full closed form, nevertheless being free of the limitation of the intermediacy assumption for the vertical stress and of the difficulty existing in the traditional zoning method that involves cumbersome, sequential determination of distinct Mohr-Coulomb plastic regions. The analytical closed-form solutions developed herein can be regarded as a definitive one for the undrained cavity expansion problem in classical Mohr-Coulomb materials without the approximations and simplifications in previous solutions, and will be of great value for the interpretation of pressuremeter tests in cohesive-frictional soils.


title: Mining Explainable Predictive Features for Water Quality Management

abstract: With water quality management processes, identifying and interpreting relationships between features, such as location and weather variable tuples, and water quality variables, such as levels of bacteria, is key to gaining insights and identifying areas where interventions should be made. There is a need for a search process to identify the locations and types of phenomena that are influencing water quality and a need to explain how the quality is being affected and which factors are most relevant. This paper addresses both of these issues. A process is developed for collecting data for features that represent a variety of variables over a spatial region and which are used for training models and inference. An analysis of the performance of the features is undertaken using the models and Shapley values. Shapley values originated in cooperative game theory and can be used to aid in the interpretation of machine learning results. Evaluations are performed using several machine learning algorithms and water quality data from the Dublin Grand Canal basin.


title: Generating Holistic 3D Human Motion from Speech

abstract: This work addresses the problem of generating 3D holistic body motions from human speech. Given a speech recording, we synthesize sequences of 3D body poses, hand gestures, and facial expressions that are realistic and diverse. To achieve this, we first build a high-quality dataset of 3D holistic body meshes with synchronous speech. We then define a novel speech-to-motion generation framework in which the face, body, and hands are modeled separately. The separated modeling stems from the fact that face articulation strongly correlates with human speech, while body poses and hand gestures are less correlated. Specifically, we employ an autoencoder for face motions, and a compositional vector-quantized variational autoencoder (VQ-VAE) for the body and hand motions. The compositional VQ-VAE is key to generating diverse results. Additionally, we propose a cross-conditional autoregressive model that generates body poses and hand gestures, leading to coherent and realistic motions. Extensive experiments and user studies demonstrate that our proposed approach achieves state-of-the-art performance both qualitatively and quantitatively. Our novel dataset and code will be released for research purposes at https://talkshow.is.tue.mpg.de.


title: Implications of subconvexity bounds for the moments of zeta

abstract: It is well-known that upper bounds for moments of the Riemann zeta function $\zeta(s)$ have implications for subconvexity bounds. In this paper we explore some implications in the opposite direction using functional analysis in the right-half of the critical strip. The main results characterise potential transitions in the behaviour of the moments.


title: The development of an electrochemical sensor for antibiotics in milk based on machine learning algorithms

abstract: Present study is dedicated to the problem of electrochemical analysis of multicomponent mixtures such as milk. A combination of cyclic voltammetry facilities and machine learning technique made it possible to create a pattern recognition system for antibiotic residues in skimmed milk. A multielectrode sensor including copper, nickel and carbon fiber was fabricated for the collection of electrochemical data. Chemical aspects of processes occurring at the electrode surface were discussed and simulated with the help of molecular docking and density functional theory modelling. It was assumed that the antibiotic fingerprint reveals as potential drift of electrodes owing to redox degradation of antibiotic molecules followed by pH change or complexation with ions present in milk. Gradient boosting algorithm showed the best efficiency towards training the machine learning model. High accuracy was achieved for recognition of antibiotics in milk. The elaborated method may be incorporated into existing milking systems at dairy farms for monitoring the residue concentrations of antibiotics.


title: Strong photon-magnon coupling using a lithographically defined organic ferrimagnet

abstract: We demonstrate a hybrid quantum system composed of superconducting resonator photons and magnons hosted by the organic-based ferrimagnet vanadium tetracyanoethylene (V[TCNE]$_x$). Our work is motivated by the challenge of scalably integrating an arbitrarily-shaped, low-damping magnetic system with planar superconducting circuits, thus enabling a host of quantum magnonic circuit designs that were previously inaccessible. For example, by leveraging the inherent properties of magnons, one can enable nonreciprocal magnon-mediated quantum devices that use magnon propagation rather than electrical current. We take advantage of the properties of V[TCNE]$_x$, which has ultra-low intrinsic damping, can be grown at low processing temperatures on arbitrary substrates, and can be patterned via electron beam lithography. We demonstrate the scalable, lithographically integrated fabrication of hybrid quantum magnonic devices consisting of a thin-film superconducting resonator coupled to a low-damping, thin-film V[TCNE]$_x$ microstructure. Our devices operate in the strong coupling regime, with a cooperativity as high as 1181(44) at T$\sim$0.4 K, suitable for scalable quantum circuit integration. This work paves the way for the exploration of high-cooperativity hybrid magnonic quantum devices in which magnonic circuits can be designed and fabricated as easily as electrical wires.


title: TESS light curves of cataclysmic variables -- II: Superhumps in old novae and novalike variables

abstract: Superhumps are among the abundant variable phenomena observed in the light curves of cataclysmic variables (CVs). They come in two flavours as positive and negative superhumps, distinguished by periods slightly longer or shorter, respectively, than the orbital periods of these interacting binary systems. Positive superhumps are ubiquitous in superoutbursting short period dwarf novae of the SU~UMa type but are less common in longer period systems with accretion disks in a permanent bright state such as novalike variables and most old novae. Negative superhumps do not seem not to have a preference for a particular type of CV. Here, I take advantage of the long high cadence light curves provided by TESS for huge number of stars, selecting all old novae and novalike variables with past reported superhumps for which TESS light curves are available and have not yet been analysed in previous publications in order to study their superhump behaviour. In combination with information taken from the literature the results enable to compile the most complete census of superhumps in these stars so far. As a corollary, for the eclipsing systems in the present sample of objects eclipse epochs derived from the TESS light curves and in some cases from archival light curves are listed and used to update orbital ephemeris and to discuss period changes.


title: Explicit Caplet Implied Volatilities for Quadratic Term-Structure Models

abstract: We derive an explicit asymptotic approximation for implied volatilities of caplets under the assumption that the short-rate is described by a generic quadratic term-structure model. In addition to providing an asymptotic accuracy result, we perform experiments in order to gauge the numerical accuracy of our approximation.


title: Baker Domain for a transcendental skew-product

abstract: In this note, we demonstrate the existence of a Baker domain of a transcendental skew-product by constructing a domain that is shown to be absorbing using plurisubharmonic method.


title: Infrared phases of 3d massless CS-QCD and large $N_f$

abstract: We compute anomalous dimensions of quartic operators which are singlets under the $\mathrm{U}(N_f)$ global symmetry in Yang-Mills theories with Chern-Simons level $k$ in three dimensions coupled to $N_f$ Dirac fermions. In order to have analytic control, we consider the regime $N_f\gg N_c\gg 1$, where the problem is reduced to the study of a flavor-adjoint and a flavor-singlet bilinears whose square give the quartic operators of interest. We provide evidence that these operators hit marginality, signaling instabilities which, for $\frac{2k}{N_f}<1$ suggest the spontaneous breaking of the global symmetry, and no symmetry breaking otherwise. For $k=N_f/2-1$ (the value corresponding to the domain walls of 4d QCD at $\theta=\pi$), the critical value $N_f^*$ is tantalizingly close to the lower end of the conformal window of QCD$_4$, suggesting a connection between conformal and global symmetry breaking in the 4d theory and in its domain walls. We also study, at $k=0$, other quartic operators containing a singlet when branched under $\mathrm{U}\left(\frac{N_f}{2}\right)\times \mathrm{U}\left(\frac{N_f}{2}\right)$, finding that they hit marginality precisely at the same point as their flavor-neutral cousins. Using the same technology we study bosonic CS-QCD$_3$, finding no hint of symmetry breaking where our analysis is applicable.


title: An analysis of the effect of data processing methods on magnetic propeller models in short GRBs

abstract: We present analysis of observational data from the Swift Burst Analyser for a sample of 15 short gamma-ray bursts with extended emission (SGRBEEs) which have been processed such that error propagation from Swift's count-rate-to-flux conversion factor is applied to the flux measurements. We apply this propagation to data presented by the Burst Analyser at 0.3-10 keV and also at 15-50 keV, and identify clear differences in the morphologies of the light-curves in the different bands. In performing this analysis with data presented at both 0.3-10 keV, at 15-50 keV, and also at a combination of both bands, we highlight the impact of extrapolating data from their native bandpasses on the light-curve. We then test these data by fitting to them a magnetar-powered model for SGRBEEs, and show that while the model is consistent with the data in both bands, the model's derived physical parameters are generally very loosely constrained when this error propagation is included and are inconsistent across the two bands. In this way, we highlight the importance of the Swift data processing methodology to the details of physical model fits to SGRBEEs.


title: An Effective Sign Switching Dark Energy: Lotka-Volterra Model of Two Interacting Fluids

abstract: One of the recent attempts to address the Hubble and $S_8$ tensions is to consider the Universe started out not as a de Sitter-like spacetime, but rather anti-de Sitter-like. That is, the Universe underwent an "AdS-to-dS" transition at some point. We study the possibility that there are two dark energy fluids, one of which gave rise to the anti-de Sitter-like early Universe. The interaction is modeled by the Lotka-Volterra equations, commonly used in population biology. We consider "competition" models that are further classified as "unfair competition" and "fair competition". The former involves a quintessence in competition with a phantom, and the second involves two phantom fluids. Surprisingly, even in the latter scenario it is possible for the overall dark energy to cross the phantom divide. The latter model also allows a constant $w$ "AdS-to-dS" transition, thus evading the theorem that such a dark energy must possess a singular equation of state. We also consider a "conversion" model in which a phantom fluid still manages to achieve "AdS-to-dS" transition even if it is being converted into a negative energy density quintessence. In these models, the energy density of the late time effective dark energy is related to the coefficient of the quadratic self-interaction term of the fluids, which is analogous to the resource capacity in population biology.


title: Optimizing Shift Selection in Multilevel Monte Carlo for Disconnected Diagrams in Lattice QCD

abstract: The calculation of disconnected diagram contributions to physical signals is a computationally expensive task in Lattice QCD. To extract the physical signal, the trace of the inverse Lattice Dirac operator, a large sparse matrix, must be stochastically estimated. Because the variance of the stochastic estimator is typically large, variance reduction techniques must be employed. Multilevel Monte Carlo (MLMC) methods reduce the variance of the trace estimator by utilizing a telescoping sequence of estimators. Frequency Splitting is one such method that uses a sequence of inverses of shifted operators to estimate the trace of the inverse lattice Dirac operator, however there is no a priori way to select the shifts that minimize the cost of the multilevel trace estimation. In this article, we present a sampling and interpolation scheme that is able to predict the variances associated with Frequency Splitting under displacements of the underlying space time lattice. The interpolation scheme is able to predict the variances to high accuracy and therefore choose shifts that correspond to an approximate minimum of the cost for the trace estimation. We show that Frequency Splitting with the chosen shifts displays significant speedups over multigrid deflation, and that these shifts can be used for multiple configurations within the same ensemble with no penalty to performance.


title: Upper bound for the ground state energy of a dilute Bose gas of hard spheres

abstract: We consider a gas of bosons interacting through a hard-sphere potential with radius $\frak{a}$ in the thermodynamic limit. We derive a simple upper bound for the ground state energy per particle at low density. Our bound captures the leading term $4\pi \rho \frak{a}$ and shows that corrections are smaller than $C \rho \frak{a} (\rho \frak{a}^3)^{1/2}$, for a sufficiently large constant $C > 0$. In combination with a known lower bound, our result implies that the first sub-leading term to the ground state energy is, in fact, of the order $\rho \frak{a} (\rho \frak{a}^3)^{1/2}$, in agreement with the Lee-Huang-Yang prediction.

categories: math-ph cond-mat.quant-gas math.AP math.MP