title: Domain Adaptive Decision Trees: Implications for Accuracy and Fairness

abstract: In uses of pre-trained machine learning models, it is a known issue that the target population in which the model is being deployed may not have been reflected in the source population with which the model was trained. This can result in a biased model when deployed, leading to a reduction in model performance. One risk is that, as the population changes, certain demographic groups will be under-served or otherwise disadvantaged by the model, even as they become more represented in the target population. The field of domain adaptation proposes techniques for a situation where label data for the target population does not exist, but some information about the target distribution does exist. In this paper we contribute to the domain adaptation literature by introducing domain-adaptive decision trees (DADT). We focus on decision trees given their growing popularity due to their interpretability and performance relative to other more complex models. With DADT we aim to improve the accuracy of models trained in a source domain (or training data) that differs from the target domain (or test data). We propose an in-processing step that adjusts the information gain split criterion with outside information corresponding to the distribution of the target population. We demonstrate DADT on real data and find that it improves accuracy over a standard decision tree when testing in a shifted target population. We also study the change in fairness under demographic parity and equal opportunity. Results show an improvement in fairness with the use of DADT.


title: Thermal Transport Properties of Nanoporous Silicon with Significant Specific Surface Area

abstract: This paper studies thermal transport in nanoporous silicon with a significant specific surface area. First, the equilibrium molecular dynamics approach was used to obtain the dependence of thermal conductivity on a specific surface area. Then, a modified phonon transport kinetic theory-based approach was developed to analyze thermal conductivity. Two models were used to evaluate the phonon mean free path in the porous materials. The first model approximates the dependence of the mean free path only with the specific surface area, and the second one investigates the dependence of the mean free path variation with the porosity in the peculiar case of a highly porous matrix. Both models approximate molecular dynamics data well for the smaller porosity values, while the first model fails for large porosities. The second model matches well with molecular dynamics simulations for all considered ranges of the porosities. This work illustrates that the phonon mean free path dependence with the porosity/volume fraction of composite materials is essential for describing thermal transport in systems with significant surface-to-volume fractions.


title: ELITE: Encoding Visual Concepts into Textual Embeddings for Customized Text-to-Image Generation

abstract: In addition to the unprecedented ability in imaginary creation, large text-to-image models are expected to take customized concepts in image generation. Existing works generally learn such concepts in an optimization-based manner, yet bringing excessive computation or memory burden. In this paper, we instead propose a learning-based encoder, which consists of a global and a local mapping networks for fast and accurate customized text-to-image generation. In specific, the global mapping network projects the hierarchical features of a given image into multiple new words in the textual word embedding space, i.e., one primary word for well-editable concept and other auxiliary words to exclude irrelevant disturbances (e.g., background). In the meantime, a local mapping network injects the encoded patch features into cross attention layers to provide omitted details, without sacrificing the editability of primary concepts. We compare our method with existing optimization-based approaches on a variety of user-defined concepts, and demonstrate that our method enables high-fidelity inversion and more robust editability with a significantly faster encoding process. Our code is publicly available at https://github.com/csyxwei/ELITE.


title: Optimal Prediction Using Expert Advice and Randomized Littlestone Dimension

abstract: A classical result in online learning characterizes the optimal mistake bound achievable by deterministic learners using the Littlestone dimension (Littlestone '88). We prove an analogous result for randomized learners: we show that the optimal expected mistake bound in learning a class $\mathcal{H}$ equals its randomized Littlestone dimension, which is the largest $d$ for which there exists a tree shattered by $\mathcal{H}$ whose average depth is $2d$. We further study optimal mistake bounds in the agnostic case, as a function of the number of mistakes made by the best function in $\mathcal{H}$, denoted by $k$. We show that the optimal randomized mistake bound for learning a class with Littlestone dimension $d$ is $k + \Theta (\sqrt{k d} + d )$. This also implies an optimal deterministic mistake bound of $2k + \Theta(d) + O(\sqrt{k d})$, thus resolving an open question which was studied by Auer and Long ['99]. As an application of our theory, we revisit the classical problem of prediction using expert advice: about 30 years ago Cesa-Bianchi, Freund, Haussler, Helmbold, Schapire and Warmuth studied prediction using expert advice, provided that the best among the $n$ experts makes at most $k$ mistakes, and asked what are the optimal mistake bounds. Cesa-Bianchi, Freund, Helmbold, and Warmuth ['93, '96] provided a nearly optimal bound for deterministic learners, and left the randomized case as an open problem. We resolve this question by providing an optimal learning rule in the randomized case, and showing that its expected mistake bound equals half of the deterministic bound of Cesa-Bianchi et al. ['93,'96], up to negligible additive terms. In contrast with previous works by Abernethy, Langford, and Warmuth ['06], and by Br\^anzei and Peres ['19], our result applies to all pairs $n,k$.


title: Exploring the Advantages of Transformers for High-Frequency Trading

abstract: This paper explores the novel deep learning Transformers architectures for high-frequency Bitcoin-USDT log-return forecasting and compares them to the traditional Long Short-Term Memory models. A hybrid Transformer model, called \textbf{HFformer}, is then introduced for time series forecasting which incorporates a Transformer encoder, linear decoder, spiking activations, and quantile loss function, and does not use position encoding. Furthermore, possible high-frequency trading strategies for use with the HFformer model are discussed, including trade sizing, trading signal aggregation, and minimal trading threshold. Ultimately, the performance of the HFformer and Long Short-Term Memory models are assessed and results indicate that the HFformer achieves a higher cumulative PnL than the LSTM when trading with multiple signals during backtesting.


title: Implicit Poisoning Attacks in Two-Agent Reinforcement Learning: Adversarial Policies for Training-Time Attacks

abstract: In targeted poisoning attacks, an attacker manipulates an agent-environment interaction to force the agent into adopting a policy of interest, called target policy. Prior work has primarily focused on attacks that modify standard MDP primitives, such as rewards or transitions. In this paper, we study targeted poisoning attacks in a two-agent setting where an attacker implicitly poisons the effective environment of one of the agents by modifying the policy of its peer. We develop an optimization framework for designing optimal attacks, where the cost of the attack measures how much the solution deviates from the assumed default policy of the peer agent. We further study the computational properties of this optimization framework. Focusing on a tabular setting, we show that in contrast to poisoning attacks based on MDP primitives (transitions and (unbounded) rewards), which are always feasible, it is NP-hard to determine the feasibility of implicit poisoning attacks. We provide characterization results that establish sufficient conditions for the feasibility of the attack problem, as well as an upper and a lower bound on the optimal cost of the attack. We propose two algorithmic approaches for finding an optimal adversarial policy: a model-based approach with tabular policies and a model-free approach with parametric/neural policies. We showcase the efficacy of the proposed algorithms through experiments.


title: Rapidity scan with multistage hydrodynamic and statistical thermal models

abstract: We calibrate a (3+1)-dimensional multistage hybrid framework using the measured pseudo-rapidity distribution of charged particles and rapidity distribution of net protons for central Au+Au collisions at $\sqrt{s_{\rm NN}}=7.7,\,19.6,\,62.4,\,200$ GeV. We then study the thermodynamic properties of the nuclear matter along the beam direction, and the phase diagram regions probed by the hadronization process near the chemical freeze-out. Using the rapidity-dependent thermal yields of identified particles with full rapidity coverage from the hybrid framework, we apply different scenarios of the statistical thermal model to extract the thermodynamic parameters at the freeze-out, with the known system properties from the hybrid model as a closure test. We find significant theoretical uncertainties in the thermal models when applied to regions away from midrapidity. We also propose a thermal model inspired by the hybrid approach that includes thermal smearing and longitudinal flow for the nuclear matter created at low beam energies.


title: A Theory of Direct Randomized Benchmarking

abstract: Randomized benchmarking (RB) protocols are widely used to measure an average error rate for a set of quantum logic gates. However, the standard version of RB is limited because it only benchmarks a processor's native gates indirectly, by using them in composite $n$-qubit Clifford gates. Standard RB's reliance on $n$-qubit Clifford gates restricts it to the few-qubit regime, because the fidelity of a typical composite $n$-qubit Clifford gate decreases rapidly with increasing $n$. Furthermore, although standard RB is often used to infer the error rate of native gates, by rescaling standard RB's error per Clifford to an error per native gate, this is an unreliable extrapolation. Direct RB is a method that addresses these limitations of standard RB, by directly benchmarking a customizable gate set, such as a processor's native gates. Here we provide a detailed introduction to direct RB, we discuss how to design direct RB experiments, and we present two complementary theories for direct RB. The first of these theories uses the concept of error propagation or scrambling in random circuits to show that direct RB is reliable for gates that experience stochastic Pauli errors. We prove that the direct RB decay is a single exponential, and that the decay rate is equal to the average infidelity of the benchmarked gates, under broad circumstances. This theory shows that group twirling is not required for reliable RB. Our second theory proves that direct RB is reliable for gates that experience general gate-dependent Markovian errors, using similar techniques to contemporary theories for standard RB. Our two theories for direct RB have complementary regimes of applicability, and they provide complementary perspectives on why direct RB works. Together these theories provide comprehensive guarantees on the reliability of direct RB.


title: A Deep Neural Network Based Reverse Radio Spectrogram Search Algorithm

abstract: Modern radio astronomy instruments generate vast amounts of data, and the increasingly challenging radio frequency interference (RFI) environment necessitates ever-more sophisticated RFI rejection algorithms. The "needle in a haystack" nature of searches for transients and technosignatures requires us to develop methods that can determine whether a signal of interest has unique properties, or is a part of some larger set of pernicious RFI. In the past, this vetting has required onerous manual inspection of very large numbers of signals. In this paper we present a fast and modular deep learning algorithm to search for lookalike signals of interest in radio spectrogram data. First, we trained a B-Variational Autoencoder on signals returned by an energy detection algorithm. We then adapted a positional embedding layer from classical Transformer architecture to a embed additional metadata, which we demonstrate using a frequency-based embedding. Next we used the encoder component of the B-Variational Autoencoder to extract features from small (~ 715,Hz, with a resolution of 2.79Hz per frequency bin) windows in the radio spectrogram. We used our algorithm to conduct a search for a given query (encoded signal of interest) on a set of signals (encoded features of searched items) to produce the top candidates with similar features. We successfully demonstrate that the algorithm retrieves signals with similar appearance, given only the original radio spectrogram data. This algorithm can be used to improve the efficiency of vetting signals of interest in technosignature searches, but could also be applied to a wider variety of searches for "lookalike" signals in large astronomical datasets.


title: Data Augmentation with GAN increases the Performance of Arrhythmia Classification for an Unbalanced Dataset

abstract: Due to the data shortage problem, which is one of the major problems in the field of machine learning, the accuracy level of many applications remains well below the expected. It prevents researchers from producing new artificial intelligence-based systems with the available data. This problem can be solved by generating new synthetic data with augmentation methods. In this study, new ECG signals are produced using MIT-BIH Arrhythmia Database by using Generative Adversarial Neural Networks (GAN), which is a modern data augmentation method. These generated data are used for training a machine learning system and real ECG data for testing it. The obtained results show that this way the performance of the machine learning system is increased.


title: Experimental evidence of the effect of nuclear shells on fission dissipation and time

abstract: Nuclear fission is still one of the most complex physical processes we can observe in nature due to the interplay of macroscopic and microscopic nuclear properties that decide the result. An example of this coupling is the presence of nuclear dissipation as an important ingredient that contributes to drive the dynamics and has a clear impact on the time of the process. However, different theoretical interpretations, and scarce experimental data make it poorly understood. In this letter, we present the first experimental determination of the dissipation energy in fission as a function of the fragment split, for three different fissioning systems. The amount of dissipation was obtained through the measurement of the relative production of fragments with even and odd atomic numbers with respect to different initial fission energies. The results reveal a clear effect of particular nuclear shells on the dissipation and fission dynamics. In addition, the relative production of fragments with even and odd atomic numbers appears as a potential contributor to the long-standing problem of the time scale in fission.


title: Multi-cell experiments for marginal treatment effect estimation of digital ads

abstract: Randomized experiments with treatment and control groups are an important tool to measure the impacts of interventions. However, in experimental settings with one-sided noncompliance, extant empirical approaches may not produce the estimands a decision-maker needs to solve their problem of interest. For example, these experimental designs are common in digital advertising settings, but typical methods do not yield effects that inform the intensive margin -- how many consumers should be reached or how much should be spent on a campaign. We propose a solution that combines a novel multi-cell experimental design with modern estimation techniques that enables decision-makers to recover enough information to solve problems with an intensive margin. Our design is straightforward to implement and does not require any additional budget to be carried out. We illustrate our approach through a series of simulations that are calibrated using an advertising experiment at Facebook, finding that our method outperforms standard techniques in generating better decisions.


title: Modular J-PET with Improved o-Ps Detection Efficiency for CPT Tests

abstract: J-PET is a photon detector built of plastic scintillators, which already has been commissioned for CPT studies in the decays of positronium. In the first experiment, J-PET has achieved a sensitivity to CPT violation at a level of 10^{-4}, and now it aims to reach a level of 10^{-5}. This will be done by enhancing the three-photon registration efficiency for ortho-positronium decays using a new layer of densely packed plastic scintillators termed Modular J-PET. We present the simulation studies performed for different experimental detection setups to be used for the next CPT test with the Modular J-PET detector.


title: Propagation Constant Measurement Based on a Single Transmission Line Standard Using a Two-port VNA

abstract: This study presents a new method for measuring the propagation constant of transmission lines using a single line standard and without prior calibration of a two-port vector network analyzer (VNA). The method provides accurate results by emulating multiple line standards of the multiline calibration method. Each line standard is realized by sweeping an unknown network along a transmission line. The network need not be symmetric or reciprocal, but must exhibit both transmission and reflection. We performed measurements using a slab coaxial airline and repeated the measurements on three different VNAs. The measured propagation constant of the slab coaxial airline from all VNAs is nearly identical. By avoiding disconnecting or moving the cables, the proposed method eliminates errors related to repeatability of connectors, resulting in improved broadband traceability to SI units.


title: Do as You Say: Consistency Detection of Data Practice in Program Code and Privacy Policy in Mini-App

abstract: Mini-app is an emerging form of mobile application that combines web technology with native capabilities. Its features, e.g., no need to download and no installation, have made it popular rapidly. However, privacy issues that violate the laws or regulations are breeding in the swiftly expanding mini-app ecosystem. The consistency between what the mini-app does about the data in the program code and what it declares in its privacy policy description is important. But no work has systematically investigated the privacy problem of the mini-app before. In this paper, to our best knowledge, we are the first to conduct the compliance detection of data practice and policy description in mini-apps. In this paper, we first customize a taint analysis method based on data entity dependency network to adapt to the characteristics of the JavaScript language in the mini-apps. Then, we transform data types and data operations to data practices in program codes and privacy policies, so as to finish a fine-grained consistency matching model.We crawl 100,000 mini-apps on WeChat client in the wild and extract 2,998 with a privacy policy. Among them, only 318 meet the consistency requirements, 2,680 are inconsistent, and the proportion of inconsistencies is as high as 89.4%. The inconsistency in the mini-app is very serious. Based on 6 real-world cases analyzed, in order to reduce this potential data leakage risk, we suggest that the developer should reduce the collection of irrelevant information and the straightforward use of templates, and the platform should provide data flow detection tools and privacy policy writing support.


title: Differentially Private Diffusion Models Generate Useful Synthetic Images

abstract: The ability to generate privacy-preserving synthetic versions of sensitive image datasets could unlock numerous ML applications currently constrained by data availability. Due to their astonishing image generation quality, diffusion models are a prime candidate for generating high-quality synthetic data. However, recent studies have found that, by default, the outputs of some diffusion models do not preserve training data privacy. By privately fine-tuning ImageNet pre-trained diffusion models with more than 80M parameters, we obtain SOTA results on CIFAR-10 and Camelyon17 in terms of both FID and the accuracy of downstream classifiers trained on synthetic data. We decrease the SOTA FID on CIFAR-10 from 26.2 to 9.8, and increase the accuracy from 51.0% to 88.0%. On synthetic data from Camelyon17, we achieve a downstream accuracy of 91.1% which is close to the SOTA of 96.5% when training on the real data. We leverage the ability of generative models to create infinite amounts of data to maximise the downstream prediction performance, and further show how to use synthetic data for hyperparameter tuning. Our results demonstrate that diffusion models fine-tuned with differential privacy can produce useful and provably private synthetic data, even in applications with significant distribution shift between the pre-training and fine-tuning distributions.


title: A scheme to fix multiple solutions in amplitude analyses

abstract: Decays of unstable heavy particles usually involve the coherent sum of several amplitudes, like in a multiple slit experiment. Dedicated amplitude analysis techniques have been widely used to resolve these amplitudes for better understanding of the underlying dynamics. For special cases, where two spin-1/2 particles and two (pseudo-)scalar particles are present in the process, multiple equivalent solutions are found due to intrinsic symmetries in the summed probability density function. In this paper, the problem of multiple solutions is discussed and a scheme to overcome this problem is proposed by fixing some free parameters. Toys are generated to validate the strategy. A new approach to align helicities of initial- and final-state particles in different decay chains is also introduced.


title: Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version)

abstract: Capability-based memory isolation is a promising new architectural primitive. Software can access low-level memory only via capability handles rather than raw pointers, which provides a natural interface to enforce security restrictions. Existing architectural capability designs such as CHERI provide spatial safety, but fail to extend to other memory models that security-sensitive software designs may desire. In this paper, we propose Capstone, a more expressive architectural capability design that supports multiple existing memory isolation models in a trustless setup, i.e., without relying on trusted software components. We show how Capstone is well-suited for environments where privilege boundaries are fluid (dynamically extensible), memory sharing/delegation are desired both temporally and spatially, and where such needs are to be balanced with availability concerns. Capstone can also be implemented efficiently. We present an implementation sketch and through evaluation show that its overhead is below 50% in common use cases. We also prototype a functional emulator for Capstone and use it to demonstrate the runnable implementations of six real-world memory models without trusted software components: three types of enclave-based TEEs, a thread scheduler, a memory allocator, and Rust-style memory safety -- all within the interface of Capstone.


title: Robust Spin Polarization of Yu-Shiba-Rusinov States in Superconductor/Ferromagnetic Insulator Heterostructures

abstract: Yu-Shiba-Rusinov (YSR) states arise as sub-gap excitations of a magnetic impurity in a superconducting host. Taking into account the quantum nature of the impurity spin in a single-site approximation, we study the spectral properties of the YSR excitations of a system of magnetic impurity in a spin-split superconductor, i.e. a superconductor in proximity to a ferromagnetic insulator at zero external magnetic fields. The YSR excitations of this system exhibit a robust spin-polarization that is protected from fluctuations and environmental noise by the exchange field of the ferromagnetic insulator, which can be as large as a few Tesla. We compare the results of this quantum approach to the classical approach, which conventionally predicts fully polarized YSR excitations even in the absence of exchange and external magnetic field. Turning on a small magnetic field, we show the latter splits the YSR excitations in the regime where the impurity is strongly coupled to the superconductor, whilst the classical approach predicts no such splitting. The studied system can potentially be realized in a tunnel junction connected to a quantum dot in proximity to a spin-split superconductor.


title: AI-Driven Container Security Approaches for 5G and Beyond: A Survey

abstract: The rising use of microservices based software deployment on the cloud leverages containerized software extensively. The security of applications running inside containers as well as the container environment itself are critical infrastructure in the cloud setting and 5G. To address the security concerns, research efforts have been focused on container security with subfields such as intrusion detection, malware detection and container placement strategies. These security efforts are roughly divided into two categories: rule based approaches and machine learning that can respond to novel threats. In this study, we have surveyed the container security literature focusing on approaches that leverage machine learning to address security challenges.


title: Topological or not? A unified pattern description in the one-dimensional anisotropic quantum XY model with a transverse field

abstract: The nature of phase transitions involving the questions why and how phase transitions take place has not been sufficiently touched in the literature. In contrast, the current attention to certain extent still focus on the description of critical phenomena and the classification of the associated phase transition along with the Ginzburg-Landau-Wilson paradigm, where the key issue is to identify phenomenologically order parameters and related symmetries. This brings the question to topological phase transitions (TPTs), where no obvious order parameter and the broken symmetry are identified. Here we present a unified pattern description of the second-order quantum phase transition (QPT) and TPT, both involved in the one-dimensional anisotropic quantum XY model in a transverse field, which contains the transverse Ising model (TIM) as a limit case. Away from the TIM, the XY model enters the ferromagnetic phase (marked by a second-order QPT or a direct TPT) as increasing ferromagentic exchange coupling, a series of TPTs occur, which are absent in the TIM. The TPTs behave like the first-order QPTs. In the isotropic and large exchange coupling cases, the ground state of the XY model is dominated by two topologically different vortices along positive and negative direction of the transverse field. We confirm the above conclusion by analyzing the energy contributions of the patterns to the ground state and calculating the ground state pattern occupations of the XY model. The results have been obtained in a unified and self-evident way and answer the questions why and how the QPT and TPTs take place in the XY model.


title: Some notes on the algebraic structure of linear recurrent sequences

abstract: Several operations can be defined on the set of all linear recurrent sequences, such as the binomial convolution (Hurwitz product) or the multinomial convolution (Newton product). Using elementary techniques, we prove that this set equipped with the termwise sum and the aforementioned products are R-algebras, given any commutative ring $R$ with identity. Moreover, we provide explicitly a characteristic polynomial of the Hurwitz product and Newton product of any two linear recurrent sequences. Finally, we also investigate whether these $R-$algebras are isomorphic, considering also the R-algebras obtained using the Hadamard product and the convolution product.


title: A mode of convergence arising in diffusive relaxation

abstract: In this work, a mode of convergence for measurable functions is introduced. A related notion of Cauchy sequence is given and it is proved that this notion of convergence is complete in the sense that Cauchy sequences converge. Moreover, the preservation of convergence under composition is investigated. The origin of this mode of convergence lies in the path of proving that the density of a Euler system converges almost everywhere (up to subsequences) towards the density of a non-linear diffusion system, as a consequence of the convergence in the relaxation limit.


title: EDMAE: An Efficient Decoupled Masked Autoencoder for Standard View Identification in Pediatric Echocardiography

abstract: This paper introduces the Efficient Decoupled Masked Autoencoder (EDMAE), a novel self-supervised method for recognizing standard views in pediatric echocardiography. EDMAE introduces a new proxy task based on the encoder-decoder structure. The EDMAE encoder is composed of a teacher and a student encoder. The teacher encoder extracts the potential representation of the masked image blocks, while the student encoder extracts the potential representation of the visible image blocks. The loss is calculated between the feature maps output by the two encoders to ensure consistency in the latent representations they extract. EDMAE uses pure convolution operations instead of the ViT structure in the MAE encoder. This improves training efficiency and convergence speed. EDMAE is pre-trained on a large-scale private dataset of pediatric echocardiography using self-supervised learning, and then fine-tuned for standard view recognition. The proposed method achieves high classification accuracy in 27 standard views of pediatric echocardiography. To further verify the effectiveness of the proposed method, the authors perform another downstream task of cardiac ultrasound segmentation on the public dataset CAMUS. The experimental results demonstrate that the proposed method outperforms some popular supervised and recent self-supervised methods, and is more competitive on different downstream tasks.


title: Effects of the self-propulsion parity on the efficiency of a fuel-consuming active heat engine

abstract: We propose a thermodynamically consistent, analytically tractable model of steady-state active heat engines driven by both temperature difference and a constant chemical driving. While the engine follows the dynamics of the Active Ornstein-Uhlenbeck Particle, its self-propulsion stems from the mechanochemical coupling with the fuel consumption dynamics, allowing for both even- and odd-parity self-propulsion forces. Using the standard methods of stochastic thermodynamics, we show that the entropy production of the engine satisfies the conventional Clausius relation, based on which we define the efficiency of the model that is bounded from above by the second law of thermodynamics. Using this framework, we obtain exact expressions for the efficiency at maximum power. The results show that the engine performance has a nonmonotonic dependence on the magnitude of the chemical driving, and that the even-parity (odd-parity) engines perform better when the size of the engine is smaller (larger) than the persistence length of the active particle. We also discuss the existence of a tighter upper bound on the efficiency of the odd-parity engines stemming from the detailed structure of the entropy production.


title: Iterated Filters for Nonlinear Transition Models

abstract: A new class of iterated linearization-based nonlinear filters, dubbed dynamically iterated filters, is presented. Contrary to regular iterated filters such as the iterated extended Kalman filter (IEKF), iterated unscented Kalman filter (IUKF) and iterated posterior linearization filter (IPLF), dynamically iterated filters also take nonlinearities in the transition model into account. The general filtering algorithm is shown to essentially be a (locally over one time step) iterated Rauch-Tung-Striebel smoother. Three distinct versions of the dynamically iterated filters are especially investigated: analogues to the IEKF, IUKF and IPLF. The developed algorithms are evaluated on 25 different noise configurations of a tracking problem with a nonlinear transition model and linear measurement model, a scenario where conventional iterated filters are not useful. Even in this "simple" scenario, the dynamically iterated filters are shown to have superior root mean-squared error performance as compared with their respective baselines, the EKF and UKF. Particularly, even though the EKF diverges in 22 out of 25 configurations, the dynamically iterated EKF remains stable in 20 out of 25 scenarios, only diverging under high noise.


title: Timelike entanglement entropy and $T\bar{T}$ deformation

abstract: In a previous work arXiv:1811.07758 about the $T\bar{T}$ deformed CFT$_2$, from the consistency requirement of the entanglement entropy theory, we found that in addition to the usual spacelike entanglement entropy, a timelike entanglement entropy must be introduced and treated equally. Inspired by the recent explicit constructions of the timelike entanglement entropy and its bulk dual, we provide a comprehensive analysis of the timelike and spacelike entanglement entropies in the $T\bar{T}$ deformed finite size system and finite temperature system. The results confirm our prediction that in the finite size system only the timelike entanglement entropy receives a correction, while in the finite temperature system only the usual spacelike entanglement entropy gets a correction. These findings affirm the necessity of a complete measure including both spacelike and timelike entanglement entropies.


title: Operator moment dilations as block operators

abstract: Let $\mathcal{H}$ be a complex Hilbert space and let $\big\{A_{n}\big\}_{n\geq 1}$ be a sequence of bounded linear operators on $\mathcal{H}$. Then a bounded operator $B$ on a Hilbert space $\mathcal{K} \supseteq \mathcal{H}$ is said to be a dilation of this sequence if \begin{equation*} A_{n} = P_{\mathcal{H}}B^{n}|_{\mathcal{H}} \; \text{for all}\; n\geq 1, \end{equation*} where $P_{\mathcal{H}}$ is the projection of $\mathcal{K}$ onto $\mathcal{H}.$ The question of existence of dilation is a generalization of the classical moment problem. We recall necessary and sufficient conditions for the existence of self-adjoint, isometric and unitary dilations and present block operator representations for these dilations. For instance, for self-adjoint dilations one gets block tridiagonal representations similar to the classical moment problem. Given a positive invertible operator $A$, an operator $T$ is said to be in the $\mathcal{C}_{A}$-class if the sequence $\{A^{-\frac{1}{2}}T^nA^{-\frac{1}{2}}:n\geq 1\}$ admits a unitary dilation. We identify a tractable collection of $\mathcal{C}_A$-class operators for which isometric and unitary dilations can be written down explicitly in block operator form. This includes the well-known $\rho$-dilations for positive scalars. Here the special cases $\rho =1$ and $\rho =2$ correspond to Sch\"{a}ffer representation for contractions and Ando representation for operators with numerical radius not more than one respectively.


title: Heat rectification, heat fluxes, and spectral matching

abstract: Heat rectifiers would facilitate energy management operations such as cooling, or energy harvesting, but devices of practical interest are still missing. Understanding heat rectification at a fundamental level is key to help us find or design such devices. The match or mismatch of the phonon band spectrum of device segments for forward or reverse temperature bias of the thermal baths at device boundaries, was proposed as the mechanism behind rectification. However no explicit, theoretical relation derived from first principles had been found so far between heat fluxes and spectral matching. We study heat rectification in a minimalistic chain of two coupled ions. The fluxes and rectification can be calculated analytically. We propose a definition of the matching that sets an upper bound for the heat flux. In a regime where the device rectifies optimally, matching and flux ratios for forward and reverse configurations are found to be proportional. The results can be extended to a system of N particles in arbitrary traps with nearest-neighbor linear interactions.


title: Evaluating Robustness and Uncertainty of Graph Models Under Structural Distributional Shifts

abstract: In reliable decision-making systems based on machine learning, models have to be robust to distributional shifts or provide the uncertainty of their predictions. In node-level problems of graph learning, distributional shifts can be especially complex since the samples are interdependent. To evaluate the performance of graph models, it is important to test them on diverse and meaningful distributional shifts. However, most graph benchmarks considering distributional shifts for node-level problems focus mainly on node features, while structural properties are also essential for graph problems. In this work, we propose a general approach for inducing diverse distributional shifts based on graph structure. We use this approach to create data splits according to several structural node properties: popularity, locality, and density. In our experiments, we thoroughly evaluate the proposed distributional shifts and show that they can be quite challenging for existing graph models. We also reveal that simple models often outperform more sophisticated methods on the considered structural shifts. Finally, our experiments provide evidence that there is a trade-off between the quality of learned representations for the base classification task under structural distributional shift and the ability to separate the nodes from different distributions using these representations.


title: Evolution of MAC Protocols in the Machine Learning Decade: A Comprehensive Survey

abstract: The last decade, (2012 - 2022), saw an unprecedented advance in machine learning (ML) techniques, particularly deep learning (DL). As a result of the proven capabilities of DL, a large amount of work has been presented and studied in almost every field. Since 2012, when the convolution neural networks have been reintroduced in the context of \textit{ImagNet} competition, DL continued to achieve superior performance in many challenging tasks and problems. Wireless communications, in general, and medium access control (MAC) techniques, in particular, were among the fields that were heavily affected by this improvement. MAC protocols play a critical role in defining the performance of wireless communication systems. At the same time, the community lacks a comprehensive survey that collects, analyses, and categorizes the recent work in ML-inspired MAC techniques. In this work, we fill this gap by surveying a long line of work in this era. We solidify the impact of machine learning on wireless MAC protocols. We provide a comprehensive background to the widely adopted MAC techniques, their design issues, and their taxonomy, in connection with the famous application domains. Furthermore, we provide an overview of the ML techniques that have been considered in this context. Finally, we augment our work by proposing some promising future research directions and open research questions that are worth further investigation.


title: DeepADMR: A Deep Learning based Anomaly Detection for MANET Routing

abstract: We developed DeepADMR, a novel neural anomaly detector for the deep reinforcement learning (DRL)-based DeepCQ+ MANET routing policy. The performance of DRL-based algorithms such as DeepCQ+ is only verified within the trained and tested environments, hence their deployment in the tactical domain induces high risks. DeepADMR monitors unexpected behavior of the DeepCQ+ policy based on the temporal difference errors (TD-errors) in real-time and detects anomaly scenarios with empirical and non-parametric cumulative-sum statistics. The DeepCQ+ design via multi-agent weight-sharing proximal policy optimization (PPO) is slightly modified to enable the real-time estimation of the TD-errors. We report the DeepADMR performance in the presence of channel disruptions, high mobility levels, and network sizes beyond the training environments, which shows its effectiveness.


title: Fully Immersive Virtual Reality for Skull-base Surgery: Surgical Training and Beyond

abstract: Purpose: A virtual reality (VR) system, where surgeons can practice procedures on virtual anatomies, is a scalable and cost-effective alternative to cadaveric training. The fully digitized virtual surgeries can also be used to assess the surgeon's skills using measurements that are otherwise hard to collect in reality. Thus, we present the Fully Immersive Virtual Reality System (FIVRS) for skull-base surgery, which combines surgical simulation software with a high-fidelity hardware setup. Methods: FIVRS allows surgeons to follow normal clinical workflows inside the VR environment. FIVRS uses advanced rendering designs and drilling algorithms for realistic bone ablation. A head-mounted display with ergonomics similar to that of surgical microscopes is used to improve immersiveness. Extensive multi-modal data is recorded for post-analysis, including eye gaze, motion, force, and video of the surgery. A user-friendly interface is also designed to ease the learning curve of using FIVRS. Results: We present results from a user study involving surgeons with various levels of expertise. The preliminary data recorded by FIVRS differentiates between participants with different levels of expertise, promising future research on automatic skill assessment. Furthermore, informal feedback from the study participants about the system's intuitiveness and immersiveness was positive. Conclusion: We present FIVRS, a fully immersive VR system for skull-base surgery. FIVRS features a realistic software simulation coupled with modern hardware for improved realism. The system is completely open-source and provides feature-rich data in an industry-standard format.


title: The Spectrum of Low-$p_T$ $J/\psi$ in Heavy-Ion Collisions in a Statistical Two-Body Fractal Model

abstract: We establish a statistical two-body fractal (STF) model to study the spectrum of $J/\psi$. $J/\psi$ serves as a reliable probe in heavy-ion collisions. The distribution of $J/\psi$ in hadron gas is influenced by flow, quantum and strong interaction effects. Previous models have predominantly focused on one or two of these effects while neglecting the others, resulting in the inclusion of unconsidered effects in the fitted parameters. Here, we study the issue from a new point of view by analyzing the fact that all three effects induce a self-similarity structure, involving a $J/\psi$-$\pi$ two-meson state and a $J/\psi$, $\pi$ two-quark state, respectively. We introduce modification factor $q_{TBS}$ and $q_2$ into the probability and entropy of charmonium. $q_{TBS}$ denotes the modification of self-similarity on $J/\psi$, $q_2$ denotes that of self-similarity and strong interaction between \emph{c }and $\bar{c}$ on quarks. By solving the probability and entropy equations, we derive the values of $q_{TBS}$ and $q_2$ at various collision energies and centralities. Substituting the value of $q_{TBS}$ into distribution function, we successfully obtain the transverse momentum spectrum of low-$p_T$ $J/\psi$, which demonstrates good agreement with experimental data. The STF model can be employed to investigate other mesons and resonance states.


title: Efficient Privacy-Preserving Approximation of the Kidney Exchange Problem

abstract: The kidney exchange problem (KEP) seeks to find possible exchanges among pairs of patients and their incompatible kidney donors while meeting specific optimization criteria such as maximizing the overall number of possible transplants. Recently, several privacy-preserving protocols for solving the KEP have been proposed. However, the protocols known to date lack scalability in practice since the KEP is an NP-complete problem. We address this issue by proposing a novel privacy-preserving protocol which computes an approximate solution for the KEP that scales well for the large numbers of patient-donor pairs encountered in practice. As opposed to prior work on privacy-preserving kidney exchange, our protocol is generic w.r.t.\ the security model that can be employed. Compared to the most efficient privacy-preserving protocols for kidney exchange existing to date, our protocol is entirely data oblivious and it exhibits a far superior run time performance. As a second contribution, we use a real-world data set to simulate the application of our protocol as part of a kidney exchange platform, where patient-donor pairs register and de-register over time, and thereby determine its approximation quality in a real-world setting.


title: An optimized Space-Time Multigrid algorithm for parabolic PDEs

abstract: We investigate three directions to further improve the highly efficient Space-Time Multigrid algorithm with block-Jacobi smoother introduced in [GanNeu16]. First, we derive an analytical expression for the optimal smoothing parameter in the case of a full space-time coarsening strategy; second, we propose a new and efficient direct coarsening strategy which simplifies the code by preventing changes of coarsening regimes; and third, we also optimize the entire two cycle to investigate if further efficiency gains are possible. Especially, we show that our new coarsening strategy leads to a significant efficiency gain when the ratio $\tau/h^2$ is small, where $\tau$ and $h$ represent the time and space steps. Our analysis is performed for the heat equation in one spatial dimension, using centered finite differences in space and Backward Euler in time, but could be generalized to other situations. We also present numerical experiments that confirm our theoretical findings.


title: Quadrature for quadrics

abstract: We make a systematic investigation of quadrature properties for quadrics, namely integration of holomorphic functions over planar domains bounded by second degree curves. A full understanding requires extending traditional settings by allowing domains which are multi-sheeted, in other words domains which really are branched covering surfaces of the Riemann sphere, and in addition usage of the spherical area measure instead of the Euclidean. The first part of the paper discusses two different points of view of real algebraic curves: traditionally they live in the real projective plane, which is non-orientable, but for their role for quadrature they have to be pushed to the Riemann sphere. The main results include clarifying a previous theorem (joint work with V.~Tkachev), which says that a branched covering map produces a domain with the required quadrature properties if and only it extends to be meromorphic on the double of the parametrizing Riemann surface. In the second half of the paper domains bounded by ellipses, hyperbolas, parabolas and their inverses are studied in detail, with emphasis on the hyperbola case, for which some of the results appear to be new.


title: Design and Analysis of Nonvolatile GSST-based Modulator Utilizing Engineered Mach-Zehnder Structure with Graphene Heaters

abstract: Photonic integrated circuits (PICs) are the foundation of on-chip optical technologies. Mach-Zehnder modulators are appealing building blocks of PICs which mostly rely on weak and volatile optical effects in materials. In contrast, phase change materials such as GSST are promising candidates to realize efficient and nonvolatile reconfigurable optical devices. However, the phase transitions of PCMs are accompanied by large changes in the imaginary parts of their refractive indices which make the design of MZMs challenging. In this paper, two interesting design methods named as loss-balancing and pre equalization are introduced to propose high performance GSST based MZMs. In this regard, a GSST based waveguide with graphene as a microheater is proposed which plays the role of configurable active waveguide in both the introduced methods.


title: Jet-induced molecular gas excitation and turbulence in the Teacup

abstract: In order to investigate the impact of radio jets on the interstellar medium (ISM) of galaxies hosting active galactic nuclei (AGN), we present subarcsecond resolution Atacama Large Millimeter/submillimeter Array (ALMA) CO(2-1) and CO(3-2) observations of the Teacup galaxy. This is a nearby ($D_{\rm L}$=388 Mpc) radio-quiet type-2 quasar (QSO2) with a compact radio jet ($P_{\rm jet}\approx$10$^{43}$ erg s$^{-1}$) that subtends a small angle from the molecular gas disc. Enhanced emission line widths perpendicular to the jet orientation have been reported for several nearby AGN for the ionised gas. For the molecular gas in the Teacup, not only do we find this enhancement in the velocity dispersion but also a higher brightness temperature ratio (T32/T21) perpendicular to the radio jet compared to the ratios found in the galaxy disc. Our results and the comparison with simulations suggest that the radio jet is compressing and accelerating the molecular gas, and driving a lateral outflow that shows enhanced velocity dispersion and higher gas excitation. These results provide further evidence that the coupling between the jet and the ISM is relevant to AGN feedback even in the case of radio-quiet galaxies.


title: Impact of decoherence on the fidelity of quantum gates leaving the computational subspace

abstract: The fidelity of quantum operations is often limited by incoherent errors, which typically can be modeled by fundamental Markovian noise processes such as amplitude damping and dephasing. In Phys. Rev. Lett. 129, 150504 (2022; https://doi.org/10.1103/PhysRevLett.129.150504), we presented an analytical result for the average gate fidelity of a general multiqubit operation in terms of the dissipative rates and the corresponding Lindblad jump operators, provided that the operation remains in the computational subspace throughout the time evolution. Here we generalize this expression for the average gate fidelity to include the cases where the system state temporarily leaves the computational subspace during the gate. Such gate mechanisms are integral to several quantum-computing platforms, and our formula is applicable to all of them; as examples, we employ it for the two-qubit controlled-Z gate in both superconducting qubits and neutral atoms. We also obtain the average gate fidelity for simultaneous operations applied in multiqubit systems. These results are useful for understanding the error budgets of quantum gates while scaling up quantum computers.


title: Integral kernels of Schr\"odinger semigroups with nonnegative locally bounded potentials

abstract: We give the upper and the lower estimates of heat kernels for Schr\"odinger operators $H=-\Delta+V$, with nonnegative and locally bounded potentials $V$ in $\mathbb{R}^d$, $d \geq 1$. We observe a factorization: the contribution of the potential is described separately for each spatial variable, and the interplay between the spatial variables is seen only through the Gaussian kernel - optimal in the lower bound and nearly optimal in the upper bound. In some regimes we observe the exponential decay in time with the rate corresponding to the bottom of the spectrum of $H$. Our estimates identify in a fairly informative and uniform way the dependence of the potential $V$ and the dimension $d$. The upper estimate is more local; it applies to general potentials, including confining and decaying ones, even if they are non-radial, and mixtures. The lower bound is specialized to confining case, and the contribution of the potential is described in terms of its radial upper profile. Our results take the sharpest form for confining potentials that are comparable to radial monotone profiles with sufficiently regular growth - in this case they lead to two-sided qualitatively sharp estimates. In particular, we describe the large-time behaviour of nonintrinsically ultracontractive Schr\"odinger semigroups - this problem was open for a long time. The methods we use combine probabilistic techniques with analytic ideas. We propose a new effective approach which leads us to short and direct proofs.


title: Model-Independent Determination of $H_0$ and $\Omega_{K,0}$ using Time-Delay Galaxy Lenses and Gamma-Ray Bursts

abstract: Combining the `time-delay distance' ($D_{\Delta t}$) measurements from galaxy lenses and other distance indicators provides model-independent determinations of the Hubble constant ($H_0$) and spatial curvature ($\Omega_{K,0}$), only based on the validity of the Friedmann-Lema\^itre-Robertson-Walker (FLRW) metric and geometrical optics. To take the full merit of combining $D_{\Delta t}$ measurements in constraining $H_0$, we use gamma-ray burst (GRB) distances to extend the redshift coverage of lensing systems much higher than that of Type Ia Supernovae (SNe Ia) and even higher than quasars, whilst the general cosmography with a curvature component is implemented for the GRB distance parametrizations. Combining Lensing+GRB yields $H_0=71.5^{+4.4}_{-3.0}$~km s$^{-1}$Mpc$^{-1}$ and $\Omega_{K,0} = -0.07^{+0.13}_{-0.06}$ (1$\sigma$). A flat-universe prior gives slightly an improved $H_0 = 70.9^{+4.2}_{-2.9}$~km s$^{-1}$Mpc$^{-1}$. When combining Lensing+GRB+SN Ia, the error bar $\Delta H_0$ falls by 25\%, whereas $\Omega_{K,0}$ is not improved due to the degeneracy between SN Ia absolute magnitude, $M_B$, and $H_0$ along with the mismatch between the SN Ia and GRB Hubble diagrams at $z\gtrsim 1.4$. Future increment of GRB observations can help to moderately eliminate the $M_B-H_0$ degeneracy in SN Ia distances and ameliorate the restrictions on cosmographic parameters along with $\Omega_{K,0}$ when combining Lensing+SN Ia+GRB. We conclude that there is no evidence of significant deviation from a (an) flat (accelerating) universe and $H_0$ is currently determined at 3\% precision. The measurements show great potential to arbitrate the $H_0$ tension between the local distance ladder and cosmic microwave background measurements and provide a relevant consistency test of the FLRW metric.


title: k-Prize Weighted Voting Games

abstract: We introduce a natural variant of weighted voting games, which we refer to as k-Prize Weighted Voting Games. Such games consist of n players with weights, and k prizes, of possibly differing values. The players form coalitions, and the i-th largest coalition (by the sum of weights of its members) wins the i-th largest prize, which is then shared among its members. We present four solution concepts to analyse the games in this class, and characterise the existence of stable outcomes in games with three players and two prizes, and in games with uniform prizes. We then explore the efficiency of stable outcomes in terms of Pareto optimality and utilitarian social welfare. Finally, we study the computational complexity of finding stable outcomes.


title: The structure of vortical flow over a rounded broad-crested weir

abstract: Turbulent flow over a rounded broad-crested weir is investigated by means of detached eddy simulation (DES) and large eddy simulation (LES) with special emphasis on the interaction of coherent vortex structures with free-surface. In order to set up and validate the computational model, experimental studies were conducted in a laboratory flume using a moderately rounded broad-crested weir with a rounding ratio of R/P=0.15, where R is the radius of the upstream nose and P is the height of the weir. The simulated mean velocity, Reynolds stresses and free-surface profiles show good agreement with the experimental measurements. Spatial variation of the boundary layer on the crest is well captured using a dimensionless form of the Lamb vector divergence. Boundary layer shape factor calculated over the weir was found to be lie between 0.76 and 0.92. A horseshoe vortex system emanating from the bottom of the channel interacts with the free-surface at the entrance of the crest causing undulation on the free-surface. Unsteady characteristics of the flow are examined in terms of the power spectral density (PSD) of vortex-induced forces acting on the weir. It is found that a free-surface boundary layer develops from the undulation to the wall boundary layer on the crest. It was revealed from the simulations for various Reynolds numbers that the installation of an artificial pool upstream of the weir significantly modified vortex structures and reduced undulation effects by 86% according to a proposed undulation index.


title: Memory and Anticipation: Two main theorems for Markov regime-switching stochastic processes

abstract: We present two main theorems for stochastic processes with a Markov regime-switching model. First, we work on an existence-uniqueness theorem for a Stochastic Differential Delay Equation with Jumps and Regimes (SDDEJRs). Then, we provide the duality between an SDDEJR and an Anticipated Backward Stochastic Differential Equation with Jumps and Regimes (ABSDEJRs). Our goal is to provide two technical and basis theorems for the future theoretical and applied developments of time-delayed and time-advanced models.


title: Supervised Virtual-to-Real Domain Adaptation for Object Detection Task using YOLO

abstract: Deep neural network shows excellent use in a lot of real-world tasks. One of the deep learning tasks is object detection. Well-annotated datasets will affect deep neural network accuracy. More data learned by deep neural networks will make the model more accurate. However, a well-annotated dataset is hard to find, especially in a specific domain. To overcome this, computer-generated data or virtual datasets are used. Researchers could generate many images with specific use cases also with its annotation. Research studies showed that virtual datasets could be used for object detection tasks. Nevertheless, with the usage of the virtual dataset, the model must adapt to real datasets, or the model must have domain adaptability features. We explored the domain adaptation inside the object detection model using a virtual dataset to overcome a few well-annotated datasets. We use VW-PPE dataset, using 5000 and 10000 virtual data and 220 real data. For model architecture, we used YOLOv4 using CSPDarknet53 as the backbone and PAN as the neck. The domain adaptation technique with fine-tuning only on backbone weight achieved a mean average precision of 74.457%.


title: Characterization and Analysis of Generalized Grey Incomplete Gamma Noise

abstract: The grey incomplete gamma distributions was established by one of the authors in a previous publication. In this article we use the Kondratiev characterization theorem to identify those via a suitable Laplace transform with holomorphic functions with suitable properties. We establish theorems for the integration and convergence of sequences of these distributions. As direct applications of these analytic tools we give the examples of Donsker's delta function, the local time, identify the time-derivative of the process as a suitable distribution and define the Gamma grey Ornstein-Uhlenbeck process.


title: Electric Vehicle Sales Forecasting Model Considering Green Premium: A Chinese Market-based Perspective

abstract: "Green Premiums" which means the difference in cost between emissions-emitting technology and zero-emissions or emissions-reducing technology is significant for those renewable energy technology to address the climate change challenge facing the world in this century. China's Electrical Vehicles (EVs) industry is the first to cross the green premium into the commercialization stage, prompting its market size to exceed that of the US and EU combined, making it the most inspiring case in global carbon reduction practices. This study, which is based on first-hand data from industry research and innovatively constructs a multi-factor green premium model for EVs based on Total Cost of Ownership (TCO) analysis, finds that EVs currently have a higher green premium than Internal Combustion Engine Vehicles (ICEVs) and is expected that short-range EVs will be the first to achieve parity in acquisition costs by 2025 and long-range EVs by 2030. Further, this paper constructs a generalized Bass diffusion model considering the green premium, selects the time series data of EVs diffusion in the Chinese market from 2010-2021, and uses a genetic algorithm to fit the parameters to predict the EVs market penetration in the next ten years under different scenarios. The model prediction results show that EVs are successful innovative diffusion products and the market penetration rate depends largely on their green premium. The Chinese EVs market may experience a slowdown or even a decline in growth in the short term, but will maintain high growth in the medium to long term, with annual sales expected to reach 10.77 million units by 2030 and a penetration rate of about 39%.


title: Momentum-space entanglement entropy in de Sitter

abstract: We study the momentum-space entanglement between the sub- and super-Hubble modes of a spectator scalar field, with a cubic $\lambda \phi^3$ interaction, in de Sitter space. Momentum-space entanglement has some universal properties for any interacting quantum field theory, and we examine them for this specific curved background using the Hubble scale as a natural delimiter to define UV/IR separation. We show that there are several new subtleties when generalising flat space results due to having a time-dependent interaction term and a non-trivial vacuum state. Our main finding is that the momentum-space entanglement entropy in de Sitter space grows very rapidly, supporting previous similar results for cosmological perturbations [1], which leads to interesting new questions.


title: Phase transition modelling of relapse in major depressive disorder: Developing and reflecting on an interdisciplinary conceptual translation

abstract: A tipping point can be defined as an abrupt shift in the properties or behaviour of a system. Tipping points in complex systems from a wide variety of scientific disciplines have been compared to phase transitions in physics, but consistent methodology for modelling tipping points as phase transitions has been lacking. Here, we propose a systematic approach aimed at order parameter identification in systems outside of physics undergoing an apparent regime shift. Based on classical Landau theory, we assess the relatedness of a system's properties to the order parameter by means of two quantitatively operationalized criteria: (1) the presence of a significant level shift over the course of the tipping point and (2) increased fluctuations before the tipping point. We first demonstrate the feasibility of our method by applying it to a case study of a tipping point in major depressive disorder, resulting in a list of symptoms that are most likely to be closely related to the order parameter in this particular system. Subsequently, we probe the usefulness of our approach in the interdisciplinary context of complexity science by means of exploratory interviews with active scientists. Our results suggest a growing need for interdisciplinary methodologies in complex systems studies, to which the phase transition modelling we present could provide a valuable addition.


title: Numerical analysis of a hybridized discontinuous Galerkin method for the Cahn-Hilliard problem

abstract: The mixed form of the Cahn-Hilliard equations is discretized by the hybridizable discontinuous Galerkin method. For any chemical energy density, existence and uniqueness of the numerical solution is obtained. The scheme is proved to be unconditionally stable. Convergence of the method is obtained by deriving a priori error estimates that are valid for the Ginzburg-Lindau chemical energy density and for convex domains. The paper also contains discrete functional tools, namely discrete Agmon and Gagliardo-Nirenberg inequalities, which are proved to be valid in the hybridizable discontinuous Galerkin spaces.


title: Resistance Maintained in Digital Organisms despite Guanine/Cytosine-Based Fitness Cost and Extended De-Selection: Implications to Microbial Antibiotics Resistance

abstract: Antibiotics resistance has caused much complication in the treatment of diseases, where the pathogen is no longer susceptible to specific antibiotics and the use of such antibiotics are no longer effective for treatment. A recent study that utilizes digital organisms suggests that complete elimination of specific antibiotic resistance is unlikely after the disuse of antibiotics, assuming that there are no fitness costs for maintaining resistance once resistance are established. Fitness cost are referred to as reaction to change in environment, where organism improves its' abilities in one area at the expense of the other. Our goal in this study is to use digital organisms to examine the rate of gain and loss of resistance where fitness costs have incurred in maintaining resistance. Our results showed that GC-content based fitness cost during de-selection by removal of antibiotic-induced selective pressure portrayed similar trends in resistance compared to that of no fitness cost, at all stages of initial selection, repeated de-selection and re-introduction of selective pressure. Paired t-test suggested that prolonged stabilization of resistance after initial loss is not statistically significant for its difference to that of no fitness cost. This suggests that complete elimination of specific antibiotics resistance is unlikely after the disuse of antibiotics despite presence of fitness cost in maintaining antibiotic resistance during the disuse of antibiotics, once a resistant pool of micro-organism has been established.


title: A monitoring campaign (2013-2020) of ESA's Mars Express to study interplanetary plasma scintillation

abstract: The radio signal transmitted by the Mars Express (MEX) spacecraft was observed regularly between the years 2013-2020 at X-band (8.42 GHz) using the European Very Long Baseline Interferometry (EVN) network and University of Tasmania's telescopes. We present a method to describe the solar wind parameters by quantifying the effects of plasma on our radio signal. In doing so, we identify all the uncompensated effects on the radio signal and see which coronal processes drive them. From a technical standpoint, quantifying the effect of the plasma on the radio signal helps phase referencing for precision spacecraft tracking. The phase fluctuation of the signal was determined for Mars' orbit for solar elongation angles from 0 - 180 deg. The calculated phase residuals allow determination of the phase power spectrum. The total electron content (TEC) of the solar plasma along the line of sight is calculated by removing effects from mechanical and ionospheric noises. The spectral index was determined as $-2.43 \pm 0.11$ which is in agreement with Kolomogorov's turbulence. The theoretical models are consistent with observations at lower solar elongations however at higher solar elongation ($>$160 deg) we see the observed values to be higher. This can be caused when the uplink and downlink signals are positively correlated as a result of passing through identical plasma sheets.


title: The 2019 outburst of AMXP SAX J1808.4-3658 and radio follow up of MAXI J0911-655 and XTE J1701-462

abstract: We present radio coverage of the 2019 outburst of the accreting millisecond X-ray pulsar SAX J1808.4-3658, obtained with MeerKAT. We compare these data to contemporaneous X-ray and optical measurements in order to investigate the coupling between accretion and jet formation in this system, while the optical lightcurve provides greater detail of the outburst. The reflaring activity following the main outburst peak was associated with a radio re-brightening, indicating a strengthening of the jet in this phase of the outburst. We place quasi-simultaneous radio and X-ray measurements on the global radio:X-ray plane for X-ray binaries, and show they reside in the same region of luminosity space as previous outburst measurements, but significantly refine the correlation for this source. We also present upper limits on the radio emission from the accreting millisecond X-ray pulsar MAXI J0911-655 and the transitional Z/Atoll-type transient XTE J1701-462. In the latter source we also confirm that nearby large-scale structures reported in previous radio observations of the source are persistent over a period of ~15 years, and so are almost certainly background radio galaxies and not associated with the X-ray transient.


title: Bootstrapping Non-Invertible Symmetries

abstract: Using the numerical modular bootstrap, we constrain the space of 1+1d CFTs with a finite non-invertible global symmetry described by a fusion category $\mathcal{C}$. We derive universal and rigorous upper bounds on the lightest $\mathcal{C}$-preserving scalar local operator for fusion categories such as the Ising and Fibonacci categories. These numerical bounds constrain the possible robust gapless phases protected by a non-invertible global symmetry, which commonly arise from microscopic lattice models such as the anyonic chains. We also derive bounds on the lightest $\mathcal{C}$-violating local operator. Our bootstrap equations naturally arise from a "slab construction", where the CFT is coupled to the 2+1d Turaev-Viro TQFT, also known as the Symmetry TFT.


title: A remarkable double integral of the product of two Gaussian hypergeometric functions

abstract: In this paper a double integral containing two Gaussian hypergeometric functions is discussed. The integral is not found in the literature and a direct computation is not (yet) possible. Therefore, a complete different integral is computed by two methods. The first method gives a combination of hypergeometric functions and the requested original integral, while with the second method this different integral can be computed directly. Equalization of the results from both methods gives the requested integral.


title: Language identification as improvement for lip-based biometric visual systems

abstract: Language has always been one of humanity's defining characteristics. Visual Language Identification (VLI) is a relatively new field of research that is complex and largely understudied. In this paper, we present a preliminary study in which we use linguistic information as a soft biometric trait to enhance the performance of a visual (auditory-free) identification system based on lip movement. We report a significant improvement in the identification performance of the proposed visual system as a result of the integration of these data using a score-based fusion strategy. Methods of Deep and Machine Learning are considered and evaluated. To the experimentation purposes, the dataset called laBial Articulation for the proBlem of the spokEn Language rEcognition (BABELE), consisting of eight different languages, has been created. It includes a collection of different features of which the spoken language represents the most relevant, while each sample is also manually labelled with gender and age of the subjects.


title: The Athena++ Adaptive Mesh Refinement Framework: Multigrid Solvers for Self-Gravity

abstract: We describe the implementation of multigrid solvers in the Athena++ adaptive mesh refinement (AMR) framework and their application to the solution of the Poisson equation for self-gravity. The new solvers are built on top of the AMR hierarchy and TaskList framework of Athena++ for efficient parallelization. We adopt a conservative formulation for the Laplacian operator that avoids artificial accelerations at level boundaries. Periodic, fixed, and zero-gradient boundary conditions are implemented, as well as open boundary conditions based on a multipole expansion. Hybrid parallelization using both MPI and OpenMP is adopted, and we present results of tests demonstrating the accuracy and scaling of the methods. On a uniform grid we show multigrid significantly outperforms methods based on FFTs, and requires only a small fraction of the compute time required by the (highly optimized) magnetohydrodynamic solver in Athena++. As a demonstration of the capabilities of the methods, we present the results of a test calculation of magnetized protostellar collapse on an adaptive mesh.


title: Shock System Dynamics of a Morphing Bump Over a Flat Plate

abstract: In this paper, the shock dynamics due to the movement of a bump over a flat plate flying at supersonic speed are numerically investigated. The bump is located at the impingement position of the shock wave and is moved at different speeds. This study determines the suitable speed that achieves the minimum entropy change, which is the representation parameter of the transition period. The two-dimensional unsteady Navier-Stokes equations are solved using OpenFOAM to simulate the flow field variables, while the motion of the bump is tracked using the Arbitrary Lagrangian-Eulerian (ALE) technique. The results show that a spatial lag on the shock system from the steady-state solution occurs due to the movement of the bump. Further, the spatial lag increases with the increase in the bump's speed. This causes a high increase in the flow parameters and consequently the total entropy changes on the bump surface. Generally, it is common to move the bump over the longest possible time to approximate a quasi-steady flow during the motion. However, this causes a deviation in the flow parameters between the final time of transition and the steady-state case of bump existence. Thus, it is concluded that the optimal non-dimensional time for a morphing bump in a supersonic flow of Mach number of 2.9 is 2, which is different than the longest time of 10.


title: Hamiltonian representation of isomonodromic deformations of twisted rational connections: The Painlev\'{e} $1$ hierarchy

abstract: In this paper, we build the Hamiltonian system and the corresponding Lax pairs associated to a twisted connection in $\mathfrak{gl}_2(\mathbb{C})$ admitting an irregular and ramified pole at infinity of arbitrary degree, hence corresponding to the Painlev\'{e} $1$ hierarchy. We provide explicit formulas for these Lax pairs and Hamiltonians in terms of the irregular times and standard $2g$ Darboux coordinates associated to the twisted connection. Furthermore, we obtain a map that reduces the space of irregular times to only $g$ non-trivial isomonodromic deformations. In addition, we perform a symplectic change of Darboux coordinates to obtain a set of symmetric Darboux coordinates in which Hamiltonians and Lax pairs are polynomial. Finally, we apply our general theory to the first cases of the hierarchy: the Airy case $(g=0)$, the Painlev\'{e} $1$ case $(g=1)$ and the next two elements of the Painlev\'{e} $1$ hierarchy.


title: Argument Mining using BERT and Self-Attention based Embeddings

abstract: Argument mining automatically identifies and extracts the structure of inference and reasoning conveyed in natural language arguments. To the best of our knowledge, most of the state-of-the-art works in this field have focused on using tree-like structures and linguistic modeling. But, these approaches are not able to model more complex structures which are often found in online forums and real world argumentation structures. In this paper, a novel methodology for argument mining is proposed which employs attention-based embeddings for link prediction to model the causational hierarchies in typical argument structures prevalent in online discourse.


title: Parallel Modeling of the Acoustic Signal Propagation in a Cased Well

abstract: A numerical method is proposed for carrying out a full-scale simulation of the process of propagation of an acoustic signal in a cased well. The main goal is to study the interaction of the wave field with the vertical boundary of the cement filling the annular and near-pipe space. Particular attention is paid to the analysis of the intensity of the wave reflected from this boundary, depending on the degree of hardening of the upper edge of the cement. A distinctive feature of the problem is the presence in it of several significantly different spatial scales. So, the length of the well can vary from several hundred meters to several kilometers, the diameter of the well is a few tens of centimeters, and the thickness of the casing string, as a rule, does not exceed a few first centimeters. It is this diversity of scale that requires the organization of parallel computing, the organization of which is based on the spatial decomposition of the region and the involvement of Message Passing Interface (MPI). The results of test calculations are presented and an analysis of the strong and weak scalability of the developed software is carried out.


title: Nonparametric regression for repeated measurements with deep neural networks

abstract: Analysis of repeated measurements for a sample of subjects has been intensively studied with several important branches developed, including longitudinal/panel/functional data analysis, while nonparametric regression of the mean function serves as a cornerstone that many statistical models are built upon. In this work, we investigate this problem using fully connected deep neural network (DNN) estimators with flexible shapes. A comprehensive theoretical framework is established by adopting empirical process techniques to tackle clustered dependence. We then derive the nearly optimal convergence rate of the DNN estimators in H\"older smoothness space, and illustrate the phase transition phenomenon inherent to repeated measurements and its connection to the curse of dimensionality. Furthermore, we study the function spaces with low intrinsic dimensions, including the hierarchical composition model, anisotropic H\"older smoothness and low-dimensional support set, and also obtain new approximation results and matching lower bounds to demonstrate the adaptivity of the DNN estimators for circumventing the curse of dimensionality.


title: Reactive means in the Iterated Prisoner's Dilemma

abstract: The Iterated Prisoner's Dilemma (IPD) is a well studied framework for understanding direct reciprocity and cooperation in pairwise encounters. However, measuring the morality of various IPD strategies is still largely lacking. Here, we partially address this issue by proposing a suit of plausible morality metrics to quantify four aspects of justice. We focus our closed-form calculation on the class of reactive strategies because of their mathematical tractability and expressive power. We define reactive means as a tool for studying how actors in the IPD and Iterated Snowdrift Game (ISG) behave under typical circumstances. We compute reactive means for four functions intended to capture human intuitions about ``goodness'' and ``fair play''. Two of these functions are strongly anticorrelated with success in the IPD and ISG, and the other two are weakly anticorrelated with success. Our results will aid in evaluating and comparing powerful IPD strategies based on machine learning algorithms, using simple and intuitive morality metrics.


title: Impact of reconstruction schemes on interpreting lattice Boltzmann results -- A study using the Taylor-Green vortex problem

abstract: In this note, we show how reconstruction schemes can have a significant impact on interpreting lattice Boltzmann simulation data. To reconstruct turbulence quantities, e.g., the kinetic energy dissipation rate and enstrophy, schemes higher than second-order for spatial derivatives can greatly improve the prediction of these quantities in the Taylor-Green vortex problem. In contrast, a second-order reconstruction of the time series data indicates very good accuracy for the kinetic energy dissipation rate. The present findings can be considered as further numerical evidence of the capability of the lattice Boltzmann method to simulate turbulent flows, which is consistent with its proven feature of low numerical diffusion.


title: Large filters of quasiorder lattices can be generated by few elements

abstract: For a poset $(P;\leq)$, the quasiorders (AKA preorders) extending the poset order "$\leq$" form a complete lattice $F$, which is a filter in the lattice of all quasiorders of the set $P$. We prove that if the poset order "$\leq$" is small, then $F$ can be generated by few elements.


title: Prototype electronics for the silicon pad layers of the future Forward Calorimeter (FoCal) of the ALICE experiment at the LHC

abstract: A Forward Calorimeter (FoCal) has been proposed as part of the ALICE upgrades for data taking from 2029 onwards. The FoCal will feature a sampling electromagnetic calorimeter segmented into 110 towers supplemented by a hadron calorimeter. The electromagnetic calorimeter will be composed of 20 passive layers of tungsten absorber interleaved with 18 active layers of low-granularity silicon pad sensors and two layers of high-granularity pixel detectors. Each pad layer will be read out by 110 silicon pad sensors of 72 channels, amounting to a total of 1980 sensors. This paper describes, from front-end to back-end, the electronics developed to instrument a tower prototype composed of 18 silicon pad sensors as well as a design proposal for the full-detector readout system.


title: Stress Testing Control Loops in Cyber-Physical Systems

abstract: Cyber-Physical Systems (CPSs) are often safety-critical and deployed in uncertain environments. Identifying scenarios where CPSs do not comply with requirements is fundamental but difficult due to the multidisciplinary nature of CPSs. We investigate the testing of control-based CPSs, where control and software engineers develop the software collaboratively. Control engineers make design assumptions during system development to leverage control theory and obtain guarantees on CPS behaviour. In the implemented system, however, such assumptions are not always satisfied, and their falsification can lead to loss of guarantees. We define stress testing of control-based CPSs as generating tests to falsify such design assumptions. We highlight different types of assumptions, focusing on the use of linearised physics models. To generate stress tests falsifying such assumptions, we leverage control theory to qualitatively characterise the input space of a control-based CPS. We propose a novel test parametrisation for control-based CPSs and use it with the input space characterisation to develop a stress testing approach. We evaluate our approach on three case study systems, including a drone, a continuous-current motor (in five configurations), and an aircraft.Our results show the effectiveness of the proposed testing approach in falsifying the design assumptions and highlighting the causes of assumption violations.


title: Asymptotic independence of point process and Frobenius norm of a large sample covariance matrix

abstract: A joint limit theorem for the point process of the off-diagonal entries of a sample covariance matrix $\mathbf{S}$, constructed from $n$ observations of a $p$-dimensional random vector with iid components, and the Frobenius norm of $\mathbf{S}$ is proved. In particular, assuming that $p$ and $n$ tend to infinity we obtain a central limit theorem for the Frobenius norm in the case of finite fourth moment of the components and an infinite variance stable law in the case of infinite fourth moment. Extending a theorem of Kallenberg, we establish asymptotic independence of the point process and the Frobenius norm of $\mathbf{S}$. To the best of our knowledge, this is the first result about joint convergence of a point process of dependent points and their sum in the non-Gaussian case.


title: TwERC: High Performance Ensembled Candidate Generation for Ads Recommendation at Twitter

abstract: Recommendation systems are a core feature of social media companies with their uses including recommending organic and promoted contents. Many modern recommendation systems are split into multiple stages - candidate generation and heavy ranking - to balance computational cost against recommendation quality. We focus on the candidate generation phase of a large-scale ads recommendation problem in this paper, and present a machine learning first heterogeneous re-architecture of this stage which we term TwERC. We show that a system that combines a real-time light ranker with sourcing strategies capable of capturing additional information provides validated gains. We present two strategies. The first strategy uses a notion of similarity in the interaction graph, while the second strategy caches previous scores from the ranking stage. The graph based strategy achieves a 4.08% revenue gain and the rankscore based strategy achieves a 1.38% gain. These two strategies have biases that complement both the light ranker and one another. Finally, we describe a set of metrics that we believe are valuable as a means of understanding the complex product trade offs inherent in industrial candidate generation systems.


title: Robust Robot Planning for Human-Robot Collaboration

abstract: In human-robot collaboration, the objectives of the human are often unknown to the robot. Moreover, even assuming a known objective, the human behavior is also uncertain. In order to plan a robust robot behavior, a key preliminary question is then: How to derive realistic human behaviors given a known objective? A major issue is that such a human behavior should itself account for the robot behavior, otherwise collaboration cannot happen. In this paper, we rely on Markov decision models, representing the uncertainty over the human objective as a probability distribution over a finite set of objective functions (inducing a distribution over human behaviors). Based on this, we propose two contributions: 1) an approach to automatically generate an uncertain human behavior (a policy) for each given objective function while accounting for possible robot behaviors; and 2) a robot planning algorithm that is robust to the above-mentioned uncertainties and relies on solving a partially observable Markov decision process (POMDP) obtained by reasoning on a distribution over human behaviors. A co-working scenario allows conducting experiments and presenting qualitative and quantitative results to evaluate our approach.


title: AdS$_2$ Holography and Effective QFT

abstract: We discuss AdS$_2$ quantum gravity from an unconventional perspective that emphasizes bulk geometry. In our approach, AdS$_2$ has no boundary, there are no divergences that require renormalization, and the dilaton of JT-gravity can be omitted altogether. The result is the standard Schwarzian theory. However, it may be advantageous that our derivation just relies on conventional AdS/CFT correspondence and effective quantum field theory. For example, it clarifies the symmetry breaking pattern. It also puts the non-compact AdS$_2$ topology on the same footing as compact Riemann surfaces.


title: U-Statistics for Importance-Weighted Variational Inference

abstract: We propose the use of U-statistics to reduce variance for gradient estimation in importance-weighted variational inference. The key observation is that, given a base gradient estimator that requires $m > 1$ samples and a total of $n > m$ samples to be used for estimation, lower variance is achieved by averaging the base estimator on overlapping batches of size $m$ than disjoint batches, as currently done. We use classical U-statistic theory to analyze the variance reduction, and propose novel approximations with theoretical guarantees to ensure computational efficiency. We find empirically that U-statistic variance reduction can lead to modest to significant improvements in inference performance on a range of models, with little computational cost.


title: Decoding the flow evolution in Au+Au reactions at $1.23 A$ GeV using hadron flow correlations and dileptons

abstract: We investigate the development of the directed, $v_1$, and elliptic flow, $v_2$, in heavy ion collisions in mid-central Au+Au reactions at $E_\mathrm{lab}=1.23 A$ GeV. We demonstrate that the elliptic flow of hot and dense matter is initially positive ($v_2>0$) due to the early pressure gradient. This positive $v_2$ transfers its momentum to the spectators, which leads to the creation of the directed flow $v_1$. In turn, the spectator shadowing of the in-plane expansion leads to a preferred decoupling of hadrons in the out-of-plane direction and results in a negative $v_2$ for the observable final state hadrons. We propose a measurement of $v_1-v_2$ flow correlations and of the elliptic flow of dileptons as methods to pin down this evolution pattern. The elliptic flow of the dileptons allows then to determine the early-state EoS more precisely, because it avoids the strong modifications of the momentum distribution due to shadowing seen in the protons. This opens the unique opportunity for the HADES and CBM collaborations to measure the Equation-of-State directly at 2-3 times nuclear saturation density.


title: A reprise of the NTV conjecture for the Hilbert transform

abstract: We give a somewhat different organization of the proof of the NTV conjecture for the Hilbert transform that was proved by T. Hyt\"onen, M. Lacey, E.T. Sawyer, C.-Y. Shen and I. Uriarte-Tuero, building on previous work of F. Nazarov, S. Treil and A. Volberg. After modifying the decomposition of the main bilinear form, the proof alters the bottom-up corona construction, the size functional, the straddling lemmas, and the use of recursion of admissible collections of pairs of intervals, from M. Lacey [Lac]. However, the essence of control of the stopping form remains as in the fundamental work of M. Lacey [Lac]. The alternate approach of Sawyer and Wick [SaWi] to controlling functional energy is also discussed, which differs from that previously in the literature, [LaSaShUr3] and [Hyt2].


title: Autonomous Polycrystalline Material Decomposition for Hyperspectral Neutron Tomography

abstract: Hyperspectral neutron tomography is an effective method for analyzing crystalline material samples with complex compositions in a non-destructive manner. Since the counts in the hyperspectral neutron radiographs directly depend on the neutron cross-sections, materials may exhibit contrasting neutron responses across wavelengths. Therefore, it is possible to extract the unique signatures associated with each material and use them to separate the crystalline phases simultaneously. We introduce an autonomous material decomposition (AMD) algorithm to automatically characterize and localize polycrystalline structures using Bragg edges with contrasting neutron responses from hyperspectral data. The algorithm estimates the linear attenuation coefficient spectra from the measured radiographs and then uses these spectra to perform polycrystalline material decomposition and reconstructs 3D material volumes to localize materials in the spatial domain. Our results demonstrate that the method can accurately estimate both the linear attenuation coefficient spectra and associated reconstructions on both simulated and experimental neutron data.


title: On Dillon's property of $(n,m)$-functions

abstract: Dillon observed that an APN function $F$ over $\mathbb{F}_2^{n}$ with $n$ greater than $2$ must satisfy the condition $\{F(x) + F(y) + F(z) + F(x + y + z) \,:\, x,y,z \in\mathbb{F}_2^n\}= \mathbb{F}_2^n$. Recently, Taniguchi (2023) generalized this condition to functions defined from $\mathbb{F}_2^n$ to $\mathbb{F}_2^m$, with $m>n$, calling it the D-property. Taniguchi gave some characterizations of APN functions satisfying the D-property and provided some families of APN functions from $\mathbb{F}_2^n$ to $\mathbb{F}_2^{n+1}$ satisfying this property. In this work, we further study the D-property for $(n,m)$-functions with $m\ge n$. We give some combinatorial bounds on the dimension $m$ for the existence of such functions. Then, we characterize the D-property in terms of the Walsh transform and for quadratic functions we give a characterization of this property in terms of the ANF. We also give a simplification on checking the D-property for quadratic functions, which permits to extend some of the APN families provided by Taniguchi. We further focus on the class of the plateaued functions, providing conditions for the D-property.


title: De Haas-van Alphen effect and quantum oscillations as a function of temperature in correlated insulators

abstract: We propose and study a theoretical model of insulators which show de Haas-van Alphen oscillations as well as periodic dependence of the magnetization on inverse temperature. The insulating behavior is due to the Coulomb interaction driven hybridization of fermions at the crossing point of their energy bands. We show that the leading contribution to the oscillations at small magnetic fields is due to the oscillatory dependence of the hybridization gap on the magnetic field. In order to see this the hybridization is derived from a self-consistent non-linear equation. We show that the amplitude of the de Haas-van Alphen is periodic in inverse temperature with a period defined by a combination of the hybridization gap and magnetic field. Moreover, we predicted that the amplitude must vanish at a particular field proportional to the hybridization gap.


title: Periodic Korteweg-de Vries soliton potentials generate magnetic field strength with excellent quasisymmetry

abstract: Quasisymmetry (QS) is a hidden symmetry of the magnetic field strength, $B$, that confines charged particles effectively in a three-dimensional toroidal plasma equilibrium. Here, we show that QS has a deep connection to the underlying symmetry that makes solitons possible. Our approach uncovers a hidden lower dimensionality of $B$ on a magnetic flux surface, which could make stellarator optimization schemes significantly more efficient. Recent numerical breakthroughs have yielded configurations with excellent volumetric QS and surprisingly low magnetic shear. Our approach elucidates why the magnetic shear is low in these configurations. Furthermore, we deduce an upper bound on the maximum toroidal volume that can be quasisymmetric and verify it for the Landreman-Paul precise quasiaxisymmetric (QA) stellarator configuration. In the neighborhood of the outermost surface, we show that the B approaches the form of the 1-soliton reflectionless potential. We present three independent approaches to demonstrate that quasisymmetric $B$ is described by well-known integrable systems such as the Korteweg-de Vries (KdV) equation. The first approach is weakly nonlinear multiscale perturbation theory, which highlights the crucial role that magnetic shear plays in QS. We show that the overdetermined problem of finding quasisymmetric vacuum fields admits solutions for which the rotational transform is not free but highly constrained. We obtain the KdV equation (and, more specifically, Gardner's equation for certain choices of parameters). Our second approach is non-perturbative and based on ensuring single-valuedness of $B$, which directly leads to its Painlev\'e property shared by the KdV equation. Our third approach uses machine learning, trained on a large dataset of numerically optimized quasisymmetric stellarators. We robustly recover the KdV (and Gardner's) equation from the data.


title: Epicurus at SemEval-2023 Task 4: Improving Prediction of Human Values behind Arguments by Leveraging Their Definitions

abstract: We describe our experiments for SemEval-2023 Task 4 on the identification of human values behind arguments (ValueEval). Because human values are subjective concepts which require precise definitions, we hypothesize that incorporating the definitions of human values (in the form of annotation instructions and validated survey items) during model training can yield better prediction performance. We explore this idea and show that our proposed models perform better than the challenge organizers' baselines, with improvements in macro F1 scores of up to 18%.


title: Image to Sphere: Learning Equivariant Features for Efficient Pose Prediction

abstract: Predicting the pose of objects from a single image is an important but difficult computer vision problem. Methods that predict a single point estimate do not predict the pose of objects with symmetries well and cannot represent uncertainty. Alternatively, some works predict a distribution over orientations in $\mathrm{SO}(3)$. However, training such models can be computation- and sample-inefficient. Instead, we propose a novel mapping of features from the image domain to the 3D rotation manifold. Our method then leverages $\mathrm{SO}(3)$ equivariant layers, which are more sample efficient, and outputs a distribution over rotations that can be sampled at arbitrary resolution. We demonstrate the effectiveness of our method at object orientation prediction, and achieve state-of-the-art performance on the popular PASCAL3D+ dataset. Moreover, we show that our method can model complex object symmetries, without any modifications to the parameters or loss function. Code is available at https://dmklee.github.io/image2sphere.