title: Spin-orbit torques in strained PtMnSb from first principles

abstract: We compute spin-orbit torques (SOTs) in strained PtMnSb from first principles. We consider both tetragonal strain and shear strain. We find a strong linear dependence of the field-like SOTs on these strains, while the antidamping SOT is only moderately sensitive to shear strain and even insensitive to tetragonal strain. We also study the dependence of the SOT on the magnetization direction. In order to obtain analytical expressions suitable for fitting our numerical \textit{ab-initio} results we derive a general expansion of the SOT in terms of all response tensors that are allowed by crystal symmetry. Our expansion includes also higher-order terms beyond the usually considered lowest order. We find that the dependence on the strain is much smaller for the higher-order terms than for the lowest order terms. In order to judge the sensitivity of the SOT on the exchange correlation potential we compute the SOT in both GGA and LDA. We find that the higher-order terms depend significantly on the exchange-correlation potential, while the lowest order terms are insensitive to it. Since the higher-order terms are small in comparison to the lowest order terms the total SOT is insensitive to the exchange correlation potential in strained PtMnSb.


title: Competing Adaptive Networks

abstract: Adaptive networks have the capability to pursue solutions of global stochastic optimization problems by relying only on local interactions within neighborhoods. The diffusion of information through repeated interactions allows for globally optimal behavior, without the need for central coordination. Most existing strategies are developed for cooperative learning settings, where the objective of the network is common to all agents. We consider in this work a team setting, where a subset of the agents form a team with a common goal while competing with the remainder of the network. We develop an algorithm for decentralized competition among teams of adaptive agents, analyze its dynamics and present an application in the decentralized training of generative adversarial neural networks.


title: Nonequilibrium Dynamics of the Chiral Quark Condensate under a Strong Magnetic Field

abstract: Strong magnetic fields impact quantum-chromodynamics (QCD) properties in several situations; examples include the early universe, magnetars, and heavy-ion collisions. These examples share a common trait: time evolution. A prominent QCD property impacted by a strong magnetic field is the quark condensate, an approximate order parameter of the QCD transition between a high-temperature quark-gluon phase and a low-temperature hadronic phase. We use the linear sigma model with quarks to address the quark condensate time evolution under a strong magnetic field. We use the closed time path formalism of nonequilibrium quantum field theory to integrate out the quarks and obtain a mean-field Langevin equation for the condensate. The Langevin equation features dissipation and noise kernels controlled by a damping coefficient. We compute the damping coefficient for magnetic field and temperature values achieved in peripheral relativistic heavy-ion collisions and solve the Langevin equation for a temperature quench scenario. The magnetic field changes the dissipation and noise pattern by increasing the damping coefficient compared to the zero-field case. An increased damping coefficient increases fluctuations and time scales controlling condensate's short-time evolution, a feature that can impact hadron formation at the QCD transition. The formalism developed here can be extended to include other order parameters, hydrodynamic modes, and system's expansion to address magnetic field effects in complex settings as heavy-ion collisions, the early universe, and magnetars.


title: Spatial Characterization of Electromagnetic Random Channels

abstract: The majority of stochastic channel models rely on the electromagnetic far-field assumption, which allows to decompose the channel in terms of plane waves. The far-field assumption breaks down in future applications that push towards the electromagnetic near-field region, such as those where the use of electromagnetically large antenna arrays is envisioned. Motivated by this consideration, we show how physical principles can be used to derive a plane-wave scalar channel model that is also valid in the reactive near-field region. Precisely, we show that narrowband wave propagation through a three-dimensional scattered medium can be generally modeled as a linear and space-variant system. We first review the physics principles that lead to a closed-form deterministic plane-wave representation of the channel impulse response. This serves as a basis for deriving a stochastic representation of the channel in terms of statistically independent Gaussian random coefficients for spatially stationary random propagation environments. The very desirable property of spatial stationarity can always be retained in the radiative near-field region by excluding reactive propagation mechanisms confined in close proximity to the source. Remarkably, the provided stochastic representation is directly connected to the Fourier spectral representation of a general stationary spatial random field.


title: Three-dimensional higher-order topological insulator protected by cubic symmetry

abstract: Recently discovered photonic higher-order topological insulators enable unprecedented flexibility in the robust localization of light in structures of different dimensionality. While the potential of the two-dimensional systems is currently under active investigation, only a few studies explore the physics of the three-dimensional higher-order topological insulators. Here we propose a three-dimensional structure with cubic symmetry exhibiting vanishing bulk polarization but nonzero corner charge and hosting a zero-dimensional corner state mediated by the long-range interactions. We trace the evolution of the corner state with the next-nearest-neighbor coupling strength and prove the topological origin of the corner mode calculating the associated topological invariants. Our results thus reveal the potential of long-range couplings for the formation of three-dimensional higher-order topological phases.


title: Quantum Gravity in Species Regime

abstract: A large number of particle species allows to formulate quantum gravity in a special double-scaling limit, the species limit. In this regime, quantum gravitational amplitudes simplify substantially. An infinite set of perturbative corrections, that usually blur the picture, vanishes, whereas the collective and non-perturbative effects can be cleanly extracted. Such are the effects that control physics of black holes and of de Sitter and their entanglement curves. In string theory example, we show that the entropy of open strings matches the Gibbons-Hawking entropy of a would-be de Sitter state at the point of saturation of the species bound. This shows, from yet another angle, why quantum gravity/string theory cannot tolerate a de Sitter vacuum. Finally, we discuss various observational implications.


title: A consistent two-skyrmion configuration space from instantons

abstract: To study a nuclear system in the Skyrme model one must first construct a space of low energy Skyrme configurations. However, there is no mathematical definition of this configuration space and there is not even consensus on its fundamental properties, such as its dimension. Here, we propose that the full instanton moduli space can be used to construct a consistent skyrmion configuration space, provided that the Skyrme model is coupled to a meson. Each instanton generates a unique skyrmion and we reinterpret the $8N$ instanton moduli as physical degrees of freedom in the Skyrme model. In this picture a single skyrmion has six zero modes and two non-zero modes: one controls the overall scale of the solution and one the energy of the meson field. We study the $N=1$ and $N=2$ systems in detail. Two interacting skyrmions can excite the meson field through scattering, suggesting that the meson and Skyrme fields are intrinsically linked. Our proposal is the first consistent manifold description of the two-skyrmion configuration space. The method can also be generalised to higher $N$ and thus provides a general framework to study any skyrmion configuration space.


title: On the Adversarial Robustness of Vision Transformers

abstract: Following the success in advancing natural language processing and understanding, transformers are expected to bring revolutionary changes to computer vision. This work provides a comprehensive study on the robustness of vision transformers (ViTs) against adversarial perturbations. Tested on various white-box and transfer attack settings, we find that ViTs possess better adversarial robustness when compared with MLP-Mixer and convolutional neural networks (CNNs) including ConvNeXt, and this observation also holds for certified robustness. Through frequency analysis and feature visualization, we summarize the following main observations contributing to the improved robustness of ViTs: 1) Features learned by ViTs contain less high-frequency patterns that have spurious correlation, which helps explain why ViTs are less sensitive to high-frequency perturbations than CNNs and MLP-Mixer, and there is a high correlation between how much the model learns high-frequency features and its robustness against different frequency-based perturbations. 2) Introducing convolutional or tokens-to-token blocks for learning high-frequency features in ViTs can improve classification accuracy but at the cost of adversarial robustness. 3) Modern CNN designs that borrow techniques from ViTs including activation function, layer norm, larger kernel size to imitate the global attention, and patchify the images as inputs, etc., could help bridge the performance gap between ViTs and CNNs not only in terms of performance, but also certified and empirical adversarial robustness. Moreover, we show adversarial training is also applicable to ViT for training robust models, and sharpness-aware minimization can also help improve robustness, while pre-training with clean images on larger datasets does not significantly improve adversarial robustness.


title: Martingale posterior distributions

abstract: The prior distribution on parameters of a sampling distribution is the usual starting point for Bayesian uncertainty quantification. In this paper, we present a different perspective which focuses on missing observations as the source of statistical uncertainty, with the parameter of interest being known precisely given the entire population. We argue that the foundation of Bayesian inference is to assign a distribution on missing observations conditional on what has been observed. In the conditionally i.i.d. setting with an observed sample of size $n$, the Bayesian would thus assign a predictive distribution on the missing $Y_{n+1:\infty}$ conditional on $Y_{1:n}$, which then induces a distribution on the parameter. Demonstrating an application of martingales, Doob shows that choosing the Bayesian predictive distribution returns the conventional posterior as the distribution of the parameter. Taking this as our cue, we relax the predictive machine, avoiding the need for the predictive to be derived solely from the usual prior to posterior to predictive density formula. We introduce the \textit{martingale posterior distribution}, which returns Bayesian uncertainty directly on any statistic of interest without the need for the likelihood and prior, and this distribution can be sampled through a computational scheme we name \textit{predictive resampling}. To that end, we introduce new predictive methodologies for multivariate density estimation, regression and classification that build upon recent work on bivariate copulas.


title: Convergence of Griddy Gibbs Sampling and other perturbed Markov chains

abstract: The Griddy Gibbs sampling was proposed by Ritter and Tanner (1992) as a computationally efficient approximation of the well-known Gibbs sampling method. The algorithm is simple and effective and has been used successfully to address problems in various fields of applied science. However, the approximate nature of the algorithm has prevented it from being widely used: the Markov chains generated by the Griddy Gibbs sampling method are not reversible in general, so the existence and uniqueness of its invariant measure is not guaranteed. Even when such an invariant measure uniquely exists, there was no estimate of the distance between it and the probability distribution of interest, hence no means to ensure the validity of the algorithm as a means to sample from the true distribution. In this paper, we show, subject to some fairly natural conditions, that the Griddy Gibbs method has a unique, invariant measure. Moreover, we provide $L^p$ estimates on the distance between this invariant measure and the corresponding measure obtained from Gibbs sampling. These results provide a theoretical foundation for the use of the Griddy Gibbs sampling method. We also address a more general result about the sensitivity of invariant measures under small perturbations on the transition probability. That is, if we replace the transition probability $P$ of any Monte Carlo Markov chain by another transition probability $Q$ where $Q$ is close to $P$, we can still estimate the distance between the two invariant measures. The distinguishing feature between our approach and previous work on convergence of perturbed Markov chain is that by considering the invariant measures as fixed points of linear operators on function spaces, we don't need to impose any further conditions on the rate of convergence of the Markov chain.


title: The initial boundary value problem and quasi-local Hamiltonians in General Relativity

abstract: We discuss relations between the initial boundary value problem (IBVP) and quasi-local Hamiltonians in GR. The latter have traditionally been based on Dirichlet boundary conditions, which however are shown here to be ill-posed for the IBVP. We present and analyse several other choices of boundary conditions which are better behaved with respect to the IBVP and carry out a corresponding Hamiltonian analysis, using the framework of the covariant phase space method.


title: 4D Dual-Tree Complex Wavelets for Time-Dependent Data

abstract: The dual-tree complex wavelet transform (DT-$\mathbb{C}$WT) is extended to the 4D setting. Key properties of 4D DT-$\mathbb{C}$WT, such as directional sensitivity and shift-invariance, are discussed and illustrated in a tomographic application. The inverse problem of reconstructing a dynamic three-dimensional target from X-ray projection measurements can be formulated as 4D space-time tomography. The results suggest that 4D DT-$\mathbb{C}$WT offers simple implementations combined with useful theoretical properties for tomographic reconstruction.


title: Solving Systems of Equations of Raising-to-Powers Type

abstract: We address special cases of the analogues of the exponential algebraic closedness conjecture relative to the exponential maps of semiabelian varieties and to the modular $j$ function. In particular, we show that the graph of the exponential of an abelian variety intersects products of free rotund varieties in which the subvariety of the domain is a sufficiently generic linear subspace, and that the graph of $j$ intersects products of free broad varieties in which the subvariety of the domain is a M\"obius subvariety.


title: Gluing Karcher-Scherk saddle towers I: Triply periodic minimal surfaces

abstract: We construct minimal surfaces by gluing simply periodic Karcher--Scherk saddle towers along their wings. Such constructions were previously implemented assuming a horizontal reflection plane. We break this symmetry by prescribing phase differences between the saddle towers. It turns out that, in addition to the previously known horizontal balancing condition, the saddle towers must also be balanced under a subtle vertical interaction. This interaction vanishes in the presence of a horizontal reflection plane, hence was not perceived in previous works. Our construction will be presented in a series of papers. In this first paper of the series, we will explain the background of the project and establish the graph theoretical setup that will be useful for all papers in the series. The main task of the current paper is to glue saddle towers into triply periodic minimal surfaces (TPMSs). Our construction expands many previously known TPMSs into new 5-parameter families, therefore significantly advances our knowledge on the space of TPMSs.


title: Optimal Transmission Topology for Facilitating the Growth of Renewable Power Generation

abstract: Transmission topology control is a tool used by system operators in the role of a control action taken into account as a preventive or corrective action relative to a specific outage or set of outages. However, their inclusion in most electricity market frameworks is limited. With the increasing penetration of intermittent energy sources, optimal topology can be used as a lever of flexibility to decrease the total system cost. This paper demonstrates the evolution of optimal topology control on systems with increasing quantities of intermittent renewable energy along two axes. First, the effects of the increased variable sources on the variations of optimal topology are explored. Second, we elaborate on the growing advantages of exploiting transmission level grid flexibility in terms of total system cost. Case studies are performed on a modified RTS-96 network.


title: Inference in the stochastic Cox-Ingersol-Ross diffusion process with continuous sampling: Computational aspects and simulation

abstract: In this paper, we consider a stochastic model based on the Cox- Ingersoll- Ross model (CIR). The stochastic model is parameterized analytically by applying It\^o's calculus and the trend functions of the proposed process is calculated. The parameter estimators are then derived by means of two procedures: the first is used to estimate the parameters in the drift coefficient by the maximum likelihood (ML) method, based on continuous sampling, and the second procedure approximates the diffusion coefficient by two methods. Finally, a simulation of the process is presented. Thus, a typical simulated trajectory of the process and its estimators is obtained.


title: Generic Attention-model Explainability for Interpreting Bi-Modal and Encoder-Decoder Transformers

abstract: Transformers are increasingly dominating multi-modal reasoning tasks, such as visual question answering, achieving state-of-the-art results thanks to their ability to contextualize information using the self-attention and co-attention mechanisms. These attention modules also play a role in other computer vision tasks including object detection and image segmentation. Unlike Transformers that only use self-attention, Transformers with co-attention require to consider multiple attention maps in parallel in order to highlight the information that is relevant to the prediction in the model's input. In this work, we propose the first method to explain prediction by any Transformer-based architecture, including bi-modal Transformers and Transformers with co-attentions. We provide generic solutions and apply these to the three most commonly used of these architectures: (i) pure self-attention, (ii) self-attention combined with co-attention, and (iii) encoder-decoder attention. We show that our method is superior to all existing methods which are adapted from single modality explainability.


title: Wall Detection Via IMU Data Classification In Autonomous Quadcopters

abstract: An autonomous drone flying near obstacles needs to be able to detect and avoid the obstacles or it will collide with them. In prior work, drones can detect and avoid walls using data from camera, ultrasonic or laser sensors mounted either on the drone or in the environment. It is not always possible to instrument the environment, and sensors added to the drone consume payload and power - both of which are constrained for drones. This paper studies how data mining classification techniques can be used to predict where an obstacle is in relation to the drone based only on monitoring air-disturbance. We modeled the airflow of the rotors physically to deduce higher level features for classification. Data was collected from the drone's IMU while it was flying with a wall to its direct left, front and right, as well as with no walls present. In total 18 higher level features were produced from the raw data. We used an 80%, 20% train-test scheme with the RandomForest (RF), K-Nearest Neighbor (KNN) and GradientBoosting (GB) classifiers. Our results show that with the RF classifier and with 90% accuracy it can predict which direction a wall is in relation to the drone.


title: Two-qubit sweet spots for capacitively coupled exchange-only spin qubits

abstract: The implementation of high fidelity two-qubit gates is a bottleneck in the progress towards universal quantum computation in semiconductor quantum dot qubits. We study capacitive coupling between two triple quantum dot spin qubits encoded in the $S = 1/2$, $S_z = -1/2$ decoherence-free subspace -- the exchange-only (EO) spin qubits. We report exact gate sequences for CPHASE and CNOT gates, and demonstrate theoretically, the existence of multiple two-qubit sweet spots (2QSS) in the parameter space of capacitively coupled EO qubits. Gate operations have the advantage of being all-electrical, but charge noise that couple to electrical parameters of the qubits cause decoherence. Assuming noise with a 1/f spectrum, two-qubit gate fidelities and times are calculated, which provide useful information on the noise threshold necessary for fault-tolerance. We study two-qubit gates at single and multiple parameter 2QSS. In particular, for two existing EO implementations -- the resonant exchange (RX) and the always-on exchange-only (AEON) qubits -- we compare two-qubit gate fidelities and times at positions in parameter space where the 2QSS are simultaneously single-qubit sweet spots (1QSS) for the RX and AEON. These results provide a potential route to the realization of high fidelity quantum computation.


title: Rapid Risk Minimization with Bayesian Models Through Deep Learning Approximation

abstract: We introduce a novel combination of Bayesian Models (BMs) and Neural Networks (NNs) for making predictions with a minimum expected risk. Our approach combines the best of both worlds, the data efficiency and interpretability of a BM with the speed of a NN. For a BM, making predictions with the lowest expected loss requires integrating over the posterior distribution. When exact inference of the posterior predictive distribution is intractable, approximation methods are typically applied, e.g. Monte Carlo (MC) simulation. For MC, the variance of the estimator decreases with the number of samples - but at the expense of increased computational cost. Our approach removes the need for iterative MC simulation on the CPU at prediction time. In brief, it works by fitting a NN to synthetic data generated using the BM. In a single feed-forward pass, the NN gives a set of point-wise approximations to the BM's posterior predictive distribution for a given observation. We achieve risk minimized predictions significantly faster than standard methods with a negligible loss on the test dataset. We combine this approach with Active Learning to minimize the amount of data required for fitting the NN. This is done by iteratively labeling more data in regions with high predictive uncertainty of the NN.


title: Omniscient Video Super-Resolution

abstract: Most recent video super-resolution (SR) methods either adopt an iterative manner to deal with low-resolution (LR) frames from a temporally sliding window, or leverage the previously estimated SR output to help reconstruct the current frame recurrently. A few studies try to combine these two structures to form a hybrid framework but have failed to give full play to it. In this paper, we propose an omniscient framework to not only utilize the preceding SR output, but also leverage the SR outputs from the present and future. The omniscient framework is more generic because the iterative, recurrent and hybrid frameworks can be regarded as its special cases. The proposed omniscient framework enables a generator to behave better than its counterparts under other frameworks. Abundant experiments on public datasets show that our method is superior to the state-of-the-art methods in objective metrics, subjective visual effects and complexity. Our code will be made public.


title: A Model-Based Approach to Synthetic Data Set Generation for Patient-Ventilator Waveforms for Machine Learning and Educational Use

abstract: Although mechanical ventilation is a lifesaving intervention in the ICU, it has harmful side-effects, such as barotrauma and volutrauma. These harms can occur due to asynchronies. Asynchronies are defined as a mismatch between the ventilator timing and patient respiratory effort. Automatic detection of these asynchronies, and subsequent feedback, would improve lung ventilation and reduce the probability of lung damage. Neural networks to detect asynchronies provide a promising new approach but require large annotated data sets, which are difficult to obtain and require complex monitoring of inspiratory effort. In this work, we propose a model-based approach to generate a synthetic data set for machine learning and educational use by extending an existing lung model with a first-order ventilator model. The physiological nature of the derived lung model allows adaptation to various disease archetypes, resulting in a diverse data set. We generated a synthetic data set using 9 different patient archetypes, which are derived from measurements in the literature. The model and synthetic data quality have been verified by comparison with clinical data, review by a clinical expert, and an artificial intelligence model that was trained on experimental data. The evaluation showed it was possible to generate patient-ventilator waveforms including asynchronies that have the most important features of experimental patient-ventilator waveforms.


title: Adaptive Boosting for Domain Adaptation: Towards Robust Predictions in Scene Segmentation

abstract: Domain adaptation is to transfer the shared knowledge learned from the source domain to a new environment, i.e., target domain. One common practice is to train the model on both labeled source-domain data and unlabeled target-domain data. Yet the learned models are usually biased due to the strong supervision of the source domain. Most researchers adopt the early-stopping strategy to prevent over-fitting, but when to stop training remains a challenging problem since the lack of the target-domain validation set. In this paper, we propose one efficient bootstrapping method, called Adaboost Student, explicitly learning complementary models during training and liberating users from empirical early stopping. Adaboost Student combines the deep model learning with the conventional training strategy, i.e., adaptive boosting, and enables interactions between learned models and the data sampler. We adopt one adaptive data sampler to progressively facilitate learning on hard samples and aggregate "weak" models to prevent over-fitting. Extensive experiments show that (1) Without the need to worry about the stopping time, AdaBoost Student provides one robust solution by efficient complementary model learning during training. (2) AdaBoost Student is orthogonal to most domain adaptation methods, which can be combined with existing approaches to further improve the state-of-the-art performance. We have achieved competitive results on three widely-used scene segmentation domain adaptation benchmarks.


title: Memory Enhanced Embedding Learning for Cross-Modal Video-Text Retrieval

abstract: Cross-modal video-text retrieval, a challenging task in the field of vision and language, aims at retrieving corresponding instance giving sample from either modality. Existing approaches for this task all focus on how to design encoding model through a hard negative ranking loss, leaving two key problems unaddressed during this procedure. First, in the training stage, only a mini-batch of instance pairs is available in each iteration. Therefore, this kind of hard negatives is locally mined inside a mini-batch while ignoring the global negative samples among the dataset. Second, there are many text descriptions for one video and each text only describes certain local features of a video. Previous works for this task did not consider to fuse the multiply texts corresponding to a video during the training. In this paper, to solve the above two problems, we propose a novel memory enhanced embedding learning (MEEL) method for videotext retrieval. To be specific, we construct two kinds of memory banks respectively: cross-modal memory module and text center memory module. The cross-modal memory module is employed to record the instance embeddings of all the datasets for global negative mining. To avoid the fast evolving of the embedding in the memory bank during training, we utilize a momentum encoder to update the features by a moving-averaging strategy. The text center memory module is designed to record the center information of the multiple textual instances corresponding to a video, and aims at bridging these textual instances together. Extensive experimental results on two challenging benchmarks, i.e., MSR-VTT and VATEX, demonstrate the effectiveness of the proposed method.


title: Multimodal Data Integration via Mediation Analysis with High-Dimensional Exposures and Mediators

abstract: Motivated by an imaging proteomics study for Alzheimer's disease (AD), in this article, we propose a mediation analysis approach with high-dimensional exposures and high-dimensional mediators to integrate data collected from multiple platforms. The proposed method combines principal component analysis with penalized least squares estimation for a set of linear structural equation models. The former reduces the dimensionality and produces uncorrelated linear combinations of the exposure variables, whereas the latter achieves simultaneous path selection and effect estimation while allowing the mediators to be correlated. Applying the method to the AD data identifies numerous interesting protein peptides, brain regions, and protein-structure-memory paths, which are in accordance with and also supplement existing findings of AD research. Additional simulations further demonstrate the effective empirical performance of the method.


title: HST PanCET program: Non-detection of atmospheric escape in the warm Saturn-sized planet WASP-29 b

abstract: (Abridged) Short-period gas giant exoplanets are susceptible to intense atmospheric escape due to their large scale heights and strong high-energy irradiation. This process is thought to occur ubiquitously, but to date we have only detected direct evidence of atmospheric escape in hot Jupiters and warm Neptunes. The paucity of cases for intermediate, Saturn-sized exoplanets at varying levels of irradiation precludes a detailed understanding of the underlying physics in atmospheric escape of hot gas giants. Our objectives here are to assess the high-energy environment of the warm ($T_\mathrm{eq} = 970$ K) Saturn WASP-29 b and search for signatures of atmospheric escape. We used far-ultraviolet (FUV) observations from the Hubble Space Telescope to analyze the flux time series of H I, C II, Si III, Si IV, and N V during the transit of WASP-29 b. At 3$\sigma$ confidence, we rule out any in-transit absorption of H Ilarger than 92% in the Lyman-$\alpha$ blue wing and 19% in the red wing. We found an in-transit flux decrease of $39\%^{+12\%}_{-11\%}$ in the ground-state C II emission line at 133.45 nm. But due to this signal being significantly present in only one visit, it is difficult to attribute a planetary or stellar origin for the ground-state C II signal. We place 3$\sigma$ absorption upper limits of 40%, 49% and 24% for Si III, Si IV, and for excited-state C II at 133.57 nm, respectively. Low activity levels and the faint X-ray luminosity suggest that WASP-29 is an old, inactive star. An energy-limited approximation combined with the reconstructed EUV spectrum of the host suggests that the planet is losing its atmosphere at a rate of $4 \times 10^9$ g s$^{-1}$. The non-detection at Lyman-$\alpha$ could be partly explained by a low fraction of escaping neutral hydrogen, or by the state of fast radiative blow-out we infer from the reconstructed stellar Lyman-$\alpha$ line.


title: Digital-analog quantum simulation of fermionic models

abstract: Simulating quantum many-body systems is a highly demanding task since the required resources grow exponentially with the dimension of the system. In the case of fermionic systems, this is even harder since nonlocal interactions emerge due to the antisymmetric character of the fermionic wave function. Here, we introduce a digital-analog quantum algorithm to simulate a wide class of fermionic Hamiltonians including the paradigmatic one-dimensional Fermi-Hubbard model. These digital-analog methods allow quantum algorithms to run beyond digital versions via an efficient use of coherence time. Furthermore, we exemplify our techniques with a low-connected architecture for realistic digital-analog implementations of specific fermionic models.


title: The Sample Complexity of Distribution-Free Parity Learning in the Robust Shuffle Model

abstract: We provide a lowerbound on the sample complexity of distribution-free parity learning in the realizable case in the shuffle model of differential privacy. Namely, we show that the sample complexity of learning $d$-bit parity functions is $\Omega(2^{d/2})$. Our result extends a recent similar lowerbound on the sample complexity of private agnostic learning of parity functions in the shuffle model by Cheu and Ullman. We also sketch a simple shuffle model protocol demonstrating that our results are tight up to $poly(d)$ factors.


title: ViViT: A Video Vision Transformer

abstract: We present pure-transformer based models for video classification, drawing upon the recent success of such models in image classification. Our model extracts spatio-temporal tokens from the input video, which are then encoded by a series of transformer layers. In order to handle the long sequences of tokens encountered in video, we propose several, efficient variants of our model which factorise the spatial- and temporal-dimensions of the input. Although transformer-based models are known to only be effective when large training datasets are available, we show how we can effectively regularise the model during training and leverage pretrained image models to be able to train on comparatively small datasets. We conduct thorough ablation studies, and achieve state-of-the-art results on multiple video classification benchmarks including Kinetics 400 and 600, Epic Kitchens, Something-Something v2 and Moments in Time, outperforming prior methods based on deep 3D convolutional networks. To facilitate further research, we release code at https://github.com/google-research/scenic/tree/main/scenic/projects/vivit


title: Self-Constructing Neural Networks Through Random Mutation

abstract: The search for neural architecture is producing many of the most exciting results in artificial intelligence. It has increasingly become apparent that task-specific neural architecture plays a crucial role for effectively solving problems. This paper presents a simple method for learning neural architecture through random mutation. This method demonstrates 1) neural architecture may be learned during the agent's lifetime, 2) neural architecture may be constructed over a single lifetime without any initial connections or neurons, and 3) architectural modifications enable rapid adaptation to dynamic and novel task scenarios. Starting without any neurons or connections, this method constructs a neural architecture capable of high-performance on several tasks. The lifelong learning capabilities of this method are demonstrated in an environment without episodic resets, even learning with constantly changing morphology, limb disablement, and changing task goals all without losing locomotion capabilities.


title: Discrete Yamabe problem for polyhedral surfaces

abstract: We study a new discretization of the Gaussian curvature for polyhedral surfaces. This discrete Gaussian curvature is defined on each conical singularity of a polyhedral surface as the quotient of the angle defect and the area of the Voronoi cell corresponding to the singularity. We divide polyhedral surfaces into discrete conformal classes using a generalization of discrete conformal equivalence pioneered by Feng Luo. We subsequently show that, in every discrete conformal class, there exists a polyhedral surface with constant discrete Gaussian curvature. We also provide explicit examples to demonstrate that this surface is in general not unique.


title: MIMO-OFDM Joint Radar-Communications: Is ICI Friend or Foe?

abstract: Inter-carrier interference (ICI) poses a significant challenge for OFDM joint radar-communications (JRC) systems in high-mobility scenarios. In this paper, we propose a novel ICI-aware sensing algorithm for MIMO-OFDM JRC systems to detect the presence of multiple targets and estimate their delay-Doppler-angle parameters. First, leveraging the observation that spatial covariance matrix is independent of target delays and Dopplers, we perform angle estimation via the MUSIC algorithm. For each estimated angle, we next formulate the radar delay-Doppler estimation as a joint carrier frequency offset (CFO) and channel estimation problem via an APES (amplitude and phase estimation) spatial filtering approach by transforming the delay-Doppler parameterized radar channel into an unstructured form. To account for the presence of multiple targets at a given angle, we devise an iterative interference cancellation based orthogonal matching pursuit (OMP) procedure, where at each iteration the generalized likelihood ratio test (GLRT) detector is employed to form decision statistics, providing as by-products the maximum likelihood estimates (MLEs) of radar channels and CFOs. In the final step, target detection is performed in delay-Doppler domain using target-specific, ICI-decontaminated channel estimates over time and frequency, where CFO estimates are utilized to resolve Doppler ambiguities, thereby turning ICI from foe to friend. The proposed algorithm can further exploit the ICI effect to introduce an additional dimension (namely, CFO) for target resolvability, which enables resolving targets located at the same delay-Doppler-angle cell. Simulation results illustrate the ICI exploitation capability of the proposed approach and showcase its superior detection and estimation performance in high-mobility scenarios over conventional methods.


title: Topological-Graph Dependencies and Scaling Properties of a Heuristic Qubit-Assignment Algorithm

abstract: The qubit-mapping problem aims to assign and route qubits of a quantum circuit onto a NISQ device in an optimized fashion, with respect to some cost function. Finding an optimal solution to this problem is known to scale exponentially in computational complexity; as such, it is imperative to investigate scalable qubit-mapping solutions for NISQ computation. In this work, a noise-aware heuristic qubit-assignment algorithm (which assigns initial placements for qubits in a quantum algorithm to qubits on a NISQ device, but does not route qubits during the quantum algorithm's execution) is presented and compared against the optimal \textit{brute-force} solution, as well as a trivial qubit assignment, with the aim to quantify the performance of our heuristic qubit-assignment algorithm. We find that for small, connected-graph algorithms, our heuristic-assignment algorithm faithfully lies in between the effective upper and lower bounds given by the brute-force and trivial qubit-assignment algorithms. Additionally, we find that the topological-graph properties of quantum algorithms with over six qubits play an important role in our heuristic qubit-assignment algorithm's performance on NISQ devices. Finally, we investigate the scaling properties of our heuristic algorithm for quantum processors with up to 100 qubits; here, the algorithm was found to be scalable for quantum-algorithms which admit path-like graphs. Our findings show that as the size of the quantum processor in our simulation grows, so do the benefits from utilizing the heuristic qubit-assignment algorithm, under particular constraints for our heuristic algorithm. This work thus characterizes the performance of a heuristic qubit-assignment algorithm with respect to the topological-graph and scaling properties of a quantum algorithm which one may wish to run on a given NISQ device.


title: Superconducting Circuit Architecture for Digital-Analog Quantum Computing

abstract: We propose a superconducting circuit architecture suitable for digital-analog quantum computing (DAQC) based on an enhanced NISQ family of nearest-neighbor interactions. DAQC makes a smart use of digital steps (single qubit rotations) and analog blocks (parametrized multiqubit operations) to outperform digital quantum computing algorithms. Our design comprises a chain of superconducting charge qubits coupled by superconducting quantum interference devices (SQUIDs). Using magnetic flux control, we can activate/deactivate exchange interactions, double excitation/de-excitations, and others. As a paradigmatic example, we present an efficient simulation of an $\ell\times h$ fermion lattice (with $2<\ell \leq h$), using only $2(2\ell+1)^2+24$ analog blocks. The proposed architecture design is feasible in current experimental setups for quantum computing with superconducting circuits, opening the door to useful quantum advantage with fewer resources.


title: Fundamental limits to the refractive index of transparent optical materials

abstract: Increasing the refractive index available for optical and nanophotonic systems opens new vistas for design: for applications ranging from broadband metalenses to ultrathin photovoltaics to high-quality-factor resonators, higher index directly leads to better devices with greater functionality. Although standard transparent materials have been limited to refractive indices smaller than 3 in the visible, recent metamaterials designs have achieved refractive indices above 5, accompanied by high losses, and near the phase transition of a ferroelectric perovskite a broadband index above 26 has been claimed. In this work, we derive fundamental limits to the refractive index of any material, given only the underlying electron density and either the maximum allowable dispersion or the minimum bandwidth of interest. The Kramers--Kronig relations provide a representation for any passive (and thereby causal) material, and a well-known sum rule constrains the possible distribution of oscillator strengths. In the realm of small to modest dispersion, our bounds are closely approached and not surpassed by a wide range of natural materials, showing that nature has already nearly reached a Pareto frontier for refractive index and dispersion. Surprisingly, our bound shows a cube-root dependence on electron density, meaning that a refractive index of 26 over all visible frequencies is likely impossible. Conversely, for narrow-bandwidth applications, nature does not provide the highly dispersive, high-index materials that our bounds suggest should be possible. We use the theory of composites to identify metal-based metamaterials that can exhibit small losses and sizeable increases in refractive index over the current best materials.


title: A Systematic Survey on Multi-relational Community Detection

abstract: Complex networks contain various interactions among similar or different entities. These kinds of networks are called multi-relational networks, in which each layer corresponds to a special type of interaction. Multi-relational networks are a particular type of multilayer networks in which nodes are similar entities; however, edges or communications demonstrate different types of interactions among similar entities. In this survey, we study community detection methods for multi-relational networks. The considered models are divided into two main groups, namely, direct methods and indirect methods. We put indirect methods in two classes: flattening and ensembling, and the direct methods are further divided into four groups which are: probabilistic methods, algebraic methods, modular-based methods, and graph feature-based methods. For each approach and each method, we explain their pros and cons. Additionally, all the used datasets in the multilayer community detection studies are categorized into synthetic and real data. We elaborate on the most important datasets. Afterward, the utilized evaluation metrics by the papers are described. Finally, the current models' challenges and shortcomings are discussed. Finally, some suggestions for future research are developed. Putting all this together, this study, to the best of our knowledge, is the most comprehensive survey dedicated to multi-relational networks community detection.


title: Lebesgue type decompositions and Radon-Nikodym derivatives for pairs of bounded linear operators

abstract: For a pair of bounded linear Hilbert space operators $A$ and $B$ one considers the Lebesgue type decompositions of $B$ with respect to $A$ into an almost dominated part and a singular part, analogous to the Lebesgue decomposition for a pair of measures (in which case one speaks of an absolutely continuous and a singular part). A complete parametrization of all Lebesgue type decompositions will be given, and the uniqueness of such decompositions will be characterized. In addition, it will be shown that the almost dominated part of $B$ in a Lebesgue type decomposition has an abstract Radon-Nikodym derivative with respect to the operator $A$.


title: Gate control, g-factors and spin orbit energy of p-type GaSb nanowire quantum dot devices

abstract: Proposals for quantum information applications are frequently based on the coherent manipulation of spins confined to quantum dots. For these applications, p-type III-V material systems promise a reduction of the hyperfine interaction while maintaining large $g$-factors and strong spin-orbit interaction. In this work, we study bottom-gated device architectures to realize single and serial multi-quantum dot systems in Schottky contacted p-type GaSb nanowires. We find that the effect of potentials applied to gate electrodes on the nanowire is highly localized to the immediate vicinity of the gate electrode only, which prevents the formation of double quantum dots with commonly used device architectures. We further study the transport properties of a single quantum dot induced by bottom-gating, find large gate-voltage dependent variations of the $g^*$-factors up to $8.1\pm 0.2$ as well as spin-orbit energies between $110$-$230\,\mu$eV.


title: Stationary massive disks around black holes: realistic equation of state and bifurcation

abstract: We study stationary and axially symmetric black hole-disk systems, assuming a combination of the DD2 and Timmes-Swesty equations of state and a three-parameter family of rotation laws. There exist two branches of solutions that are shown to bifurcate, for a suitable specific entropy and a parameter in the rotation law. Low entropy nuclear matter allows for the existence of moderately massive Keplerian disks.


title: Limits of real numbers in the binary signed digit representation

abstract: We extract verified algorithms for exact real number computation from constructive proofs. To this end we use a coinductive representation of reals as streams of binary signed digits. The main objective of this paper is the formalisation of a constructive proof that real numbers are closed with respect to limits. All the proofs of the main theorem and the first application are implemented in the Minlog proof system and the extracted terms are further translated into Haskell. We compare two approaches. The first approach is a direct proof. In the second approach we make use of the representation of reals by a Cauchy-sequence of rationals. Utilizing translations between the two represenation and using the completeness of the Cauchy-reals, the proof is very short. In both cases we use Minlog's program extraction mechanism to automatically extract a formally verified program that transforms a converging sequence of reals, i.e.~a sequence of streams of binary signed digits together with a modulus of convergence, into the binary signed digit representation of its limit. The correctness of the extracted terms follows directly from the soundness theorem of program extraction. As a first application we use the extracted algorithms together with Heron's method to construct an algorithm that computes square roots with respect to the binary signed digit representation. In a second application we use the convergence theorem to show that the signed digit representation of real numbers is closed under multiplication.


title: Engineering Nearly Linear-Time Algorithms for Small Vertex Connectivity

abstract: Vertex connectivity is a well-studied concept in graph theory with numerous applications. A graph is $k$-connected if it remains connected after removing any $k-1$ vertices. The vertex connectivity of a graph is the maximum $k$ such that the graph is $k$-connected. There is a long history of algorithmic development for efficiently computing vertex connectivity. Recently, two near linear-time algorithms for small k were introduced by [Forster et al. SODA 2020]. Prior to that, the best known algorithm was one by [Henzinger et al. FOCS'96] with quadratic running time when k is small. In this paper, we study the practical performance of the algorithms by Forster et al. In addition, we introduce a new heuristic on a key subroutine called local cut detection, which we call degree counting. We prove that the new heuristic improves space-efficiency (which can be good for caching purposes) and allows the subroutine to terminate earlier. According to experimental results on random graphs with planted vertex cuts, random hyperbolic graphs, and real world graphs with vertex connectivity between 4 and 15, the degree counting heuristic offers a factor of 2-4 speedup over the original non-degree counting version for most of our data. It also outperforms the previous state-of-the-art algorithm by Henzinger et al. even on relatively small graphs.


title: Are Multilevel functional models the next step in sports biomechanics and wearable technology? A case study of Knee Biomechanics patterns in typical training sessions of recreational runners

abstract: This paper illustrates how multilevel functional models can detect and characterize biomechanical changes along different sport training sessions. Our analysis focuses on the relevant cases to identify differences in knee biomechanics in recreational runners during low and high-intensity exercise sessions with the same energy expenditure by recording $20$ steps. To do so, we review the existing literature of multilevel models, and then, we propose a new hypothesis test to look at the changes between different levels of the multilevel model as low and high-intensity training sessions. We also evaluate the reliability of measures recorded in three-dimension knee angles from the functional intra-class correlation coefficient (ICC) obtained from the decomposition performed with the multilevel funcional model taking into account $20$ measures recorded in each test. The results show that there are no statistically significant differences between the two modes of exercise. However, we have to be careful with the conclusions since, as we have shown, human gait-patterns are very individual and heterogeneous between groups of athletes, and other alternatives to the p-value may be more appropriate to detect statistical differences in biomechanical changes in this context.


title: Boson stars in Palatini $f(\mathcal{R})$ gravity

abstract: We explore equilibrium solutions of spherically symmetric boson stars in the Palatini formulation of $f(\mathcal{R})$ gravity. We account for the modifications introduced in the gravitational sector by using a recently established correspondence between modified gravity with scalar matter and general relativity with modified scalar matter. We focus on the quadratic theory $f(\mathcal{R})=R+\xi R^2$ and compare its solutions with those found in general relativity, exploring both positive and negative values of the coupling parameter $\xi$. As matter source, a complex, massive scalar field with and without self-interaction terms is considered. Our results show that the existence curves of boson stars in Palatini $f(\mathcal{R})$ gravity are fairly similar to those found in general relativity. Major differences are observed for negative values of the coupling parameter which results in a repulsive gravitational component for high enough scalar field density distributions. Adding self-interactions makes the degeneracy between $f(\mathcal{R})$ and general relativity even more pronounced, leaving very little room for observational discrimination between the two theories.


title: StyleMeUp: Towards Style-Agnostic Sketch-Based Image Retrieval

abstract: Sketch-based image retrieval (SBIR) is a cross-modal matching problem which is typically solved by learning a joint embedding space where the semantic content shared between photo and sketch modalities are preserved. However, a fundamental challenge in SBIR has been largely ignored so far, that is, sketches are drawn by humans and considerable style variations exist amongst different users. An effective SBIR model needs to explicitly account for this style diversity, crucially, to generalise to unseen user styles. To this end, a novel style-agnostic SBIR model is proposed. Different from existing models, a cross-modal variational autoencoder (VAE) is employed to explicitly disentangle each sketch into a semantic content part shared with the corresponding photo, and a style part unique to the sketcher. Importantly, to make our model dynamically adaptable to any unseen user styles, we propose to meta-train our cross-modal VAE by adding two style-adaptive components: a set of feature transformation layers to its encoder and a regulariser to the disentangled semantic content latent code. With this meta-learning framework, our model can not only disentangle the cross-modal shared semantic content for SBIR, but can adapt the disentanglement to any unseen user style as well, making the SBIR model truly style-agnostic. Extensive experiments show that our style-agnostic model yields state-of-the-art performance for both category-level and instance-level SBIR.


title: Superposed metric for spinning black hole binaries approaching merger

abstract: We construct an approximate metric that represents the spacetime of spinning binary black holes (BBH) approaching merger. We build the metric as an analytical superposition of two Kerr metrics in harmonic coordinates, where we transform each black hole term with time-dependent boosts describing an inspiral trajectory. The velocities and trajectories of the boost are obtained by solving the post-Newtonian (PN) equations of motion at 3.5 PN order. We analyze the spacetime scalars of the new metric and we show that it is an accurate approximation of Einstein's field equations in vacuum for a BBH system in the inspiral regime. Furthermore, to prove the effectiveness of our approach, we test the metric in the context of a 3D general relativistic magneto-hydrodynamical (GRMHD) simulation of accreting mini-disks around the black holes. We compare our results with a previous well-tested spacetime construction based on the asymptotic matching method. We conclude that our new spacetime is well-suited for long-term GRMHD simulations of spinning binary black holes on their way to the merger.


title: Dynamically Modelling Heterogeneous Higher-Order Interactions for Malicious Behavior Detection in Event Logs

abstract: Anomaly detection in event logs is a promising approach for intrusion detection in enterprise networks. By building a statistical model of usual activity, it aims to detect multiple kinds of malicious behavior, including stealthy tactics, techniques and procedures (TTPs) designed to evade signature-based detection systems. However, finding suitable anomaly detection methods for event logs remains an important challenge. This results from the very complex, multi-faceted nature of the data: event logs are not only combinatorial, but also temporal and heterogeneous data, thus they fit poorly in most theoretical frameworks for anomaly detection. Most previous research focuses on either one of these three aspects, building a simplified representation of the data that can be fed to standard anomaly detection algorithms. In contrast, we propose to simultaneously address all three of these characteristics through a specifically tailored statistical model. We introduce \textsc{Decades}, a \underline{d}ynamic, h\underline{e}terogeneous and \underline{c}ombinatorial model for \underline{a}nomaly \underline{d}etection in \underline{e}vent \underline{s}treams, and we demonstrate its effectiveness at detecting malicious behavior through experiments on a real dataset containing labelled red team activity. In particular, we empirically highlight the importance of handling the multiple characteristics of the data by comparing our model with state-of-the-art baselines relying on various data representations.


title: Towards a Geometrization of Renormalization Group Histories in Asymptotic Safety

abstract: Considering the scale dependent effective spacetimes implied by the functional renormalization group in d-dimensional Quantum Einstein Gravity, we discuss the representation of entire evolution histories by means of a single, (d + 1)-dimensional manifold furnished with a fixed (pseudo-) Riemannian structure. This "scale-space-time" carries a natural foliation whose leaves are the ordinary spacetimes seen at a given resolution. We propose a universal form of the higher dimensional metric and discuss its properties. We show that, under precise conditions, this metric is always Ricci flat and admits a homothetic Killing vector field; if the evolving spacetimes are maximally symmetric, their (d + 1)-dimensional representative has a vanishing Riemann tensor even. The non-degeneracy of the higher dimensional metric which "geometrizes" a given RG trajectory is linked to a monotonicity requirement for the running of the cosmological constant, which we test in the case of Asymptotic Safety.


title: Representation of a vehicular traffic model using hybrid systems

abstract: There is a great diversity of formal models to understand the dynamics of transport and vehicular flow on a road. Many of these models are inspired by the dynamics of flows governed by partial differential equations. However, it is possible to simplify these models to ordinary equations by considering constant variations in some of the input variables in this type of models. However, given that these types of systems present discrete changes when the vehicle density is altered in some sections of the lane, it seems reasonable to make use of hybrid systems to better understand the evolution of these dynamics. In this work we are interested in making use of dynamic differential logic to formally verify one of these models proposed in ordinary equations. This verification will be done through a proof assistant specially designed for hybrid systems called KeYmaera. Once we adapt the model to a hybrid system representation we proceed to use KeYmaera to verify that the proposed model is formally correct.


title: Protective Measurement -- a new quantum measurement paradigm: detailed description of the first realisation

abstract: We present a detailed description of the experiment realising for the first time a protective measurement, a novel measurement protocol which combines weak interactions with a ``protection mechanism'' preserving the measured state coherence during the whole measurement process. Furthermore, protective measurement allows finding the expectation value of an observable, i.e. an inherently statistical quantity, by measuring a single particle, without the need of any statistics. This peculiar property, in sharp contrast with the framework of traditional (projective) quantum measurement, might constitute a groundbreaking advance for several quantum technology related fields.


title: A Sharp Discrepancy Bound for Jittered Sampling

abstract: For $m, d \in {\mathbb N}$, a jittered sampling point set $P$ having $N = m^d$ points in $[0,1)^d$ is constructed by partitioning the unit cube $[0,1)^d$ into $m^d$ axis-aligned cubes of equal size and then placing one point independently and uniformly at random in each cube. We show that there are constants $c \ge 0$ and $C$ such that for all $d$ and all $m \ge d$ the expected non-normalized star discrepancy of a jittered sampling point set satisfies \[c \,dm^{\frac{d-1}{2}} \sqrt{1 + \log(\tfrac md)} \le {\mathbb E} D^*(P) \le C\, dm^{\frac{d-1}{2}} \sqrt{1 + \log(\tfrac md)}.\] This discrepancy is thus smaller by a factor of $\Theta\big(\sqrt{\frac{1+\log(m/d)}{m/d}}\,\big)$ than the one of a uniformly distributed random point set of $m^d$ points. This result improves both the upper and the lower bound for the discrepancy of jittered sampling given by Pausinger and Steinerberger (Journal of Complexity (2016)). It also removes the asymptotic requirement that $m$ is sufficiently large compared to $d$.


title: Fourier coefficients of automorphic $L$-functions over primes in ray classes

abstract: We prove Siegel-Walfisz type theorems (over long and short intervals) for the Fourier coefficients of certain automorphic $L$-functions and Rankin-Selberg $L$-functions over number fields.


title: Set-Valued Rigid Body Dynamics for Simultaneous, Inelastic, Frictional Impacts

abstract: Robotic manipulation and locomotion often entail nearly-simultaneous collisions -- such as heel and toe strikes during a foot step -- with outcomes that are extremely sensitive to the order in which impacts occur. Robotic simulators commonly lack the accuracy to predict this ordering, and instead pick one with a heuristic. This discrepancy degrades performance when model-based controllers and policies learned in simulation are placed on a real robot. We reconcile this issue with a set-valued rigid-body model which generates a broad set of physically reasonable outcomes of simultaneous frictional impacts. We first extend Routh's impact model to multiple impacts by reformulating it as a differential inclusion (DI), and show that any solution will resolve all impacts in finite time. By considering time as a state, we embed this model into another DI which captures the continuous-time evolution of rigid body dynamics, and guarantee existence of solutions. We finally cast simulation of simultaneous impacts as a linear complementarity problem (LCP), and develop an algorithm for tight approximation of the post-impact velocity set with probabilistic guarantees. We demonstrate our approach on several examples drawn from manipulation and legged locomotion.


title: Polyp Segmentation in Colonoscopy Images using U-Net-MobileNetV2

abstract: Colorectal cancer from the appearance of polyps that can be benign or malignant is one of the most fatal diseases in the world. To find these polyps in patients, colonoscopy is performed, which is a very efficient technique in this case. Clinically, detecting and segmenting these polyps in order to determine their presence or not is a very difficult process that requires a lot of time and experience from professionals, depending directly on these factors. Therefore, it becomes increasingly important to have an automatic, effective and reliable method of detecting and segmenting these polyps, making diagnoses faster and more accurate. In order to assist in the development of a method, we proposed the U-Net-MobileNetV2 model, which is the combination of two neural networks, where one acts as an encoder for the other and is responsible for learning image resources. Our experiments generated satisfactory results, demonstrating a good performance and good segmentation. U-Net-MobileNetV2 achieved a Dice Coefficient of 89.71% and an IoU of 81.64% for the Kvasir-SEG dataset, where both are higher than the results obtained by other state-of-the-art models.


title: Robust Quantum Optimal Control with Trajectory Optimization

abstract: The ability to engineer high-fidelity gates on quantum processors in the presence of systematic errors remains the primary barrier to achieving quantum advantage. Quantum optimal control methods have proven effective in experimentally realizing high-fidelity gates, but they require exquisite calibration to be performant. We apply robust trajectory optimization techniques to suppress gate errors arising from system parameter uncertainty. We propose a derivative-based approach that maintains computational efficiency by using forward-mode differentiation. Additionally, the effect of depolarization on a gate is typically modeled by integrating the Lindblad master equation, which is computationally expensive. We employ a computationally efficient model and utilize time-optimal control to achieve high-fidelity gates in the presence of depolarization. We apply these techniques to a fluxonium qubit and suppress simulated gate errors due to parameter uncertainty below $10^{-7}$ for static parameter deviations on the order of $1\%$.


title: Equidistribution of Hodge loci II

abstract: Let $\mathbb V$ be a polarized variation of Hodge structure over a smooth complex quasi-projective variety $S$. In this paper, we give a complete description of the typical Hodge locus for such variations. We prove that it is either empty or equidistributed with respect to a natural differential form, \emph{the pull-push form}. In particular, it is always analytically dense when the pull-push form does not vanish. When the weight is $2$, the Hodge numbers are $(q,p,q)$ and the dimension of $S$ is least $rq$, we prove that the typical locus where the Picard rank is at least $r$ is equidistributed in $S$ with respect to the volume form $c_q^r$, where $c_q$ is the $q$\textsuperscript{th} Chern form of the Hodge bundle. We obtain also several equidistribution results of the typical locus in Shimura varieties: a criterion for the density of the typical Hodge loci of a variety in $\mathcal{A}_g$, equidistribution of certain families of CM points and equidistribution of Hecke translates of curves and surfaces in $\mathcal A_g$. These results are proved in the much broader context of dynamics on homogeneous spaces of Lie groups which are of independent interest. The pull-push form appear in this greater generality and we provide several tools to determine it and we compute it in many examples.


title: von Mises-Fisher Loss: An Exploration of Embedding Geometries for Supervised Learning

abstract: Recent work has argued that classification losses utilizing softmax cross-entropy are superior not only for fixed-set classification tasks, but also by outperforming losses developed specifically for open-set tasks including few-shot learning and retrieval. Softmax classifiers have been studied using different embedding geometries -- Euclidean, hyperbolic, and spherical -- and claims have been made about the superiority of one or another, but they have not been systematically compared with careful controls. We conduct an empirical investigation of embedding geometry on softmax losses for a variety of fixed-set classification and image retrieval tasks. An interesting property observed for the spherical losses lead us to propose a probabilistic classifier based on the von Mises-Fisher distribution, and we show that it is competitive with state-of-the-art methods while producing improved out-of-the-box calibration. We provide guidance regarding the trade-offs between losses and how to choose among them.


title: Characterizations of Matrix Valued Asymmetric Truncated Toeplitz Operators

abstract: Matrix valued asymmetric truncated Toeplitz operators are compressions of multiplication operators acting between two possibly different model spaces. In this paper, we characterize matrix valued asymmetric truncated Toeplitz operators by using compressed shifts.


title: A transmission spectrum of the planet candidate WD 1856+534 b and a lower limit to its mass

abstract: The cool white dwarf WD 1856+534 was found to be transited by a Jupiter-sized object with a mass at or below 14 M$_{\rm{Jup}}$. We used the GTC telescope to obtain and analyse photometry and low resolution spectroscopy of six transits of WD 1856+534 b, with the intention to derive the slope of the transmission spectrum, towards an eventual detection of Rayleigh scattering of the particles in its atmosphere. Such a slope, assuming a cloud-free atmosphere dominated by Rayleigh scattering, could be translated into an estimation of the mass of WD 1856+534 b. However, the resultant transmission spectrum is essentially flat, and therefore permits only the determination of lower mass limits of 2.4 M$_{\rm{Jup}}$ at the 2-$\sigma$ level, or 1.6 M$_{\rm{Jup}}$ at 3-$\sigma$. These limits have implications for some of the proposed formation scenarios for the object. We elaborate on the potential effects of clouds and hazes in our estimations, based on previous studies of Jupiter and Titan. In addition, we detected an H$\alpha$ absorption feature in the combined spectrum of the host white dwarf, that leads to the assignation of a DA classification and allows derivation of an independent set of atmospheric parameters. Furthermore, the epochs of five transits were measured with sub-second precision, which demonstrates that additional objects more massive than $\approx$5 M$_{\rm{Jup}}$ and with periods longer than $O(100)$ days could be detected through the light travel time effect


title: CaSiNo: A Corpus of Campsite Negotiation Dialogues for Automatic Negotiation Systems

abstract: Automated systems that negotiate with humans have broad applications in pedagogy and conversational AI. To advance the development of practical negotiation systems, we present CaSiNo: a novel corpus of over a thousand negotiation dialogues in English. Participants take the role of campsite neighbors and negotiate for food, water, and firewood packages for their upcoming trip. Our design results in diverse and linguistically rich negotiations while maintaining a tractable, closed-domain environment. Inspired by the literature in human-human negotiations, we annotate persuasion strategies and perform correlation analysis to understand how the dialogue behaviors are associated with the negotiation performance. We further propose and evaluate a multi-task framework to recognize these strategies in a given utterance. We find that multi-task learning substantially improves the performance for all strategy labels, especially for the ones that are the most skewed. We release the dataset, annotations, and the code to propel future work in human-machine negotiations: https://github.com/kushalchawla/CaSiNo


title: Transformer-based end-to-end speech recognition with residual Gaussian-based self-attention

abstract: Self-attention (SA), which encodes vector sequences according to their pairwise similarity, is widely used in speech recognition due to its strong context modeling ability. However, when applied to long sequence data, its accuracy is reduced. This is caused by the fact that its weighted average operator may lead to the dispersion of the attention distribution, which results in the relationship between adjacent signals ignored. To address this issue, in this paper, we introduce relative-position-awareness self-attention (RPSA). It not only maintains the global-range dependency modeling ability of self-attention, but also improves the localness modeling ability. Because the local window length of the original RPSA is fixed and sensitive to different test data, here we propose Gaussian-based self-attention (GSA) whose window length is learnable and adaptive to the test data automatically. We further generalize GSA to a new residual Gaussian self-attention (resGSA) for the performance improvement. We apply RPSA, GSA, and resGSA to Transformer-based speech recognition respectively. Experimental results on the AISHELL-1 Mandarin speech recognition corpus demonstrate the effectiveness of the proposed methods. For example, the resGSA-Transformer achieves a character error rate (CER) of 5.86% on the test set, which is relative 7.8% lower than that of the SA-Transformer. Although the performance of the proposed resGSA-Transformer is only slightly better than that of the RPSA-Transformer, it does not have to tune the window length manually.


title: Spin-group symmetry in magnetic materials with negligible spin-orbit coupling

abstract: Symmetry formulated by group theory plays an essential role with respect to the laws of nature, from fundamental particles to condensed matter systems. Here, by combining symmetry analysis and tight-binding model calculations, we elucidate that the crystallographic symmetries of a vast number of magnetic materials with light elements, in which the neglect of relativistic spin-orbit coupling (SOC) is an appropriate approximation, are considerably larger than the conventional magnetic groups. Thus, a symmetry description that involves partially-decoupled spin and spatial rotations, dubbed as spin group, is required. Spin group permits more symmetry operations and thus more energy degeneracies that are disallowed by the magnetic groups. One consequence of the spin group is the new anti-unitary symmetries that protect SOC-free Z_2 topological phases with unprecedented surface node structures. Our work not only manifests the physical reality of materials with weak SOC, but also shed light on the understanding of all solids with and without SOC by a unified group theory.


title: A Note on Isolating Cut Lemma for Submodular Function Minimization

abstract: It has been observed independently by many researchers that the isolating cut lemma of Li and Panigrahi [FOCS 2020] can be easily extended to obtain new algorithms for finding the non-trivial minimizer of a symmetric submodular function and solving the hypergraph minimum cut problem. This note contains these observations.


title: Substrate surface effects on electron-irradiated graphene

abstract: Chemical, mechanical, thermal and/or electronic properties of bulk or low-dimensional materials can be engineered by introducing structural defects to form novel functionalities. When using particles irradiation, these defects can be spatially arranged to create complex structures, like sensing circuits, where the spatial resolution of the defective areas plays a fundamental role. Here, we show that structural defects can be patterned by low-energy electrons in monolayer graphene sheets with spatial resolution strongly defined by the surface of the supporting substrate. Indeed, two-dimensional micro-Raman mapping revealed that the surroundings of irradiated areas contain unintentional defects of the graphene lattice, whose density depends on the methods exploited to clean the supporting surface. By combining Monte Carlo simulations with the analysis of the graphene Raman modes, we attributed these structural modifications mainly to the action of back-scattered electrons and back-scattered electrons-created secondaries. The latter create reactive radicals at the interface between graphene and the supporting surface that affect the spatial resolution of the defective areas. Hence, defects pattern can be produced with high spatial resolution by removing any organic contaminants from the supporting surface and by reducing the thickness of the substrate, in order to minimize the number of back-scattered and secondary electrons.


title: Slimmable Compressive Autoencoders for Practical Neural Image Compression

abstract: Neural image compression leverages deep neural networks to outperform traditional image codecs in rate-distortion performance. However, the resulting models are also heavy, computationally demanding and generally optimized for a single rate, limiting their practical use. Focusing on practical image compression, we propose slimmable compressive autoencoders (SlimCAEs), where rate (R) and distortion (D) are jointly optimized for different capacities. Once trained, encoders and decoders can be executed at different capacities, leading to different rates and complexities. We show that a successful implementation of SlimCAEs requires suitable capacity-specific RD tradeoffs. Our experiments show that SlimCAEs are highly flexible models that provide excellent rate-distortion performance, variable rate, and dynamic adjustment of memory, computational cost and latency, thus addressing the main requirements of practical image compression.


title: Evaluation of Correctness in Unsupervised Many-to-Many Image Translation

abstract: Given an input image from a source domain and a guidance image from a target domain, unsupervised many-to-many image-to-image (UMMI2I) translation methods seek to generate a plausible example from the target domain that preserves domain-invariant information of the input source image and inherits the domain-specific information from the guidance image. For example, when translating female faces to male faces, the generated male face should have the same expression, pose and hair color as the input female image, and the same facial hairstyle and other male-specific attributes as the guidance male image. Current state-of-the art UMMI2I methods generate visually pleasing images, but, since for most pairs of real datasets we do not know which attributes are domain-specific and which are domain-invariant, the semantic correctness of existing approaches has not been quantitatively evaluated yet. In this paper, we propose a set of benchmarks and metrics for the evaluation of semantic correctness of these methods. We provide an extensive study of existing state-of-the-art UMMI2I translation methods, showing that all methods, to different degrees, fail to infer which attributes are domain-specific and which are domain-invariant from data, and mostly rely on inductive biases hard-coded into their architectures.


title: Trees and stationary reflection at double successors of regular cardinals

abstract: We obtain an array of consistency results concerning trees and stationary reflection at double successors of regular cardinals $\kappa$, updating some classical constructions in the process. This includes models of $\mathsf{CSR}(\kappa^{++})\wedge \mathsf{TP}(\kappa^{++})$ (both with and without $\mathsf{AP}(\kappa^{++})$) and models of the conjunctions $\mathsf{SR}(\kappa^{++}) \wedge \mathsf{wTP}(\kappa^{++}) \wedge \mathsf{AP}(\kappa^{++})$ and $\neg \mathsf{AP}(\kappa^{++}) \wedge \mathsf{SR}(\kappa^{++})$ (the latter was originally obtained in joint work by Krueger and the first author \cite{GilKru:8fold}, and is here given using different methods). Analogs of these results with the failure of $\mathsf{SH}(\kappa^{++})$ are given as well. Finally, we obtain all of our results with an arbitrarily large $2^\kappa$, applying recent joint work by Honzik and the third author.


title: Symmetry and Higher-Order Exceptional Points

abstract: Exceptional points (EPs), at which both eigenvalues and eigenvectors coalesce, are ubiquitous and unique features of non-Hermitian systems. Second-order EPs are by far the most studied due to their abundance, requiring only the tuning of two real parameters, which is less than the three parameters needed to generically find ordinary Hermitian eigenvalue degeneracies. Higher-order EPs generically require more fine-tuning, and are thus assumed to play a much less prominent role. Here, however, we illuminate how physically relevant symmetries make higher-order EPs dramatically more abundant and conceptually richer. More saliently, third-order EPs generically require only two real tuning parameters in the presence of either a parity-time (PT) symmetry or a generalized chiral symmetry. Remarkably, we find that these different symmetries yield topologically distinct types of EPs. We illustrate our findings in simple models, and show how third-order EPs with a generic $\sim k^{1/3}$ dispersion are protected by PT symmetry, while third-order EPs with a $\sim k^{1/2}$ dispersion are protected by the chiral symmetry emerging in non-Hermitian Lieb lattice models. More generally, we identify stable, weak, and fragile aspects of symmetry-protected higher-order EPs, and tease out their concomitant phenomenology.


title: Entanglement quantification in atomic ensembles

abstract: Entanglement measures quantify nonclassical correlations present in a quantum system, but can be extremely difficult to calculate, even more so, when information on its state is limited. Here, we consider broad families of entanglement criteria that are based on variances of arbitrary operators and analytically derive the lower bounds these criteria provide for two relevant entanglement measures: the best separable approximation (BSA) and the generalized robustness (GR). This yields a practical method for quantifying entanglement in realistic experimental situations, in particular, when only few measurements of simple observables are available. As a concrete application of this method, we quantify bipartite and multipartite entanglement in spin-squeezed Bose-Einstein condensates of $\sim 500$ atoms, by lower bounding the BSA and the GR only from measurements of first and second moments of the collective spin operator.


title: Local sum uncertainty relations for angular momentum operators of bipartite permutation symmetric systems

abstract: We show that violation of variance based local sum uncertainty relation (LSUR) for angular momentum operators of a bipartite system, proposed by Hofmann and Takeuchi~[Phys.Rev.A {\bf 68}, 032103 (2003)], reflects entanglement in the equal bipartitions of an $N$-qubit symmetric state with even qubits. We establish the one-to-one connection with the violation of LSUR with negativity of covariance matrix [Phys. Lett. A, {\bf 364}, 203 (2007)] of the two-qubit reduced system of a permutation symmetric $N$-qubit state.


title: A model of interacting Navier-Stokes singularities

abstract: We introduce a model of interacting singularities of Navier-Stokes, named pin\,cons. They follow a Hamiltonian dynamics, obtained by the condition that the velocity field around these singularities obeys locally Navier-Stokes equations. This model can be seen of a generalization of the vorton model of Novikov, that was derived for the Euler equations. When immersed in a regular field, the pin\,cons are further transported and sheared by the regular field, while applying a stress onto the regular field, that becomes dominant at a scale that is smaller than the Kolmogorov length. We apply this model to compute the motion of a dipole of pin\,cons. When the initial relative orientation of the dipole is inside the interval (0, pi/2), a dipole made of pin\,con of same intensity exhibits a transient collapse stage, following a scaling with dipole radius tending to 0 like (tc - t) power 0.63. For long time, the dynamics of the dipole is however repulsive, with both components running away from each other to infinity.


title: A New Frequency-Bin-Index LoRa System for High-Data-Rate Transmission: Design and Performance Analysis

abstract: As an attempt to tackle the low-data-rate issue of the conventional LoRa systems, we propose two novel frequency-bin-index (FBI) LoRa schemes. In scheme I, the indices of starting frequency bins (SFBs) are utilized to carry the information bits. To facilitate the actual implementation, the SFBs of each LoRa signal are divided into several groups prior to the modulation process in the proposed FBI-LoRa system. To further improve the system flexibility, we formulate a generalized modulation scheme and propose scheme II by treating the SFB groups as an additional type of transmission entity. In scheme II, the combination of SFB indices and that of SFB group indices are both exploited to carry the information bits. We derive the theoretical expressions for bit-error-rate (BER) and throughput of the proposed FBI-LoRa system with two modulation schemes over additive white Gaussian noise (AWGN) and Rayleigh fading channels. Theoretical and simulation results show that the proposed FBI-LoRa schemes can significantly increases the transmission throughput compared with the existing LoRa systems at the expense of a slight loss in BER performance. Thanks to the appealing superiorities, the proposed FBI-LoRa system is a promising alternative for high-data-rate Internet of Things (IoT) applications.


title: Enhanced Boundary Learning for Glass-like Object Segmentation

abstract: Glass-like objects such as windows, bottles, and mirrors exist widely in the real world. Sensing these objects has many applications, including robot navigation and grasping. However, this task is very challenging due to the arbitrary scenes behind glass-like objects. This paper aims to solve the glass-like object segmentation problem via enhanced boundary learning. In particular, we first propose a novel refined differential module that outputs finer boundary cues. We then introduce an edge-aware point-based graph convolution network module to model the global shape along the boundary. We use these two modules to design a decoder that generates accurate and clean segmentation results, especially on the object contours. Both modules are lightweight and effective: they can be embedded into various segmentation models. In extensive experiments on three recent glass-like object segmentation datasets, including Trans10k, MSD, and GDD, our approach establishes new state-of-the-art results. We also illustrate the strong generalization properties of our method on three generic segmentation datasets, including Cityscapes, BDD, and COCO Stuff. Code and models is available at \url{https://github.com/hehao13/EBLNet}.


title: High-Sensitivity Iodine Imaging by Combining Spectral CT Technologies

abstract: Spectral CT offers enhanced material discrimination over single-energy systems and enables quantitative estimation of basis material density images. Water/iodine decomposition in contrast-enhanced CT is one of the most widespread applications of this technology in the clinic. However, low concentrations of iodine can be difficult to estimate accurately, limiting potential clinical applications and/or raising injected contrast agent requirements. We seek high-sensitivity spectral CT system designs which minimize noise in water/iodine density estimates. In this work, we present a model-driven framework for spectral CT system design optimization to maximize material separability. We apply this tool to optimize the sensitivity spectra on a spectral CT test bench using a hybrid design which combines source kVp control and k-edge filtration. Following design optimization, we scanned a water/iodine phantom with the hybrid spectral CT system and performed dose-normalized comparisons to two single-technique designs which use only kVp control or only kedge filtration. The material decomposition results show that the hybrid system reduces both standard deviation and crossmaterial noise correlations compared to the designs where the constituent technologies are used individually.


title: Interactions of Tris with rutile surfaces and consequences for in vitro bioactivity testing

abstract: Tris(hydroxymethyl)aminomethane (Tris) has been used as the buffer in bioactivity testing for over two decades and has become a standard choice for the scientific community. While it is believed to be non-interacting, the extent of its interactions with titanium oxide surfaces has not been systematically studied. Here, we use experimental (zeta potential measurements) and computational (molecular dynamics) approaches to evaluate the interaction of Tris with a rutile surface and how it affects the adsorption of other molecules relevant in biomedical in vitro testing. We show that the interaction of Tris with the rutile surface is strong and significantly affects the interaction of other organic residues with the surface. These strong interactions are compounded by the Tris concentration in the in vitro testing protocol which is much higher compared to other components. Our findings indicate that the kinetics observed in in vitro tests will be strongly influenced by the presence of Tris as a buffering agent when compared to the natural CO2 buffer in blood. These results reveal that considering the so-far neglected active role of Tris in in vitro testing is critically needed and that in vitro protocols using CO2 partial pressure as the buffering agent should yield more reliable results.


title: Retraining DistilBERT for a Voice Shopping Assistant by Using Universal Dependencies

abstract: In this work, we retrained the distilled BERT language model for Walmart's voice shopping assistant on retail domain-specific data. We also injected universal syntactic dependencies to improve the performance of the model further. The Natural Language Understanding (NLU) components of the voice assistants available today are heavily dependent on language models for various tasks. The generic language models such as BERT and RoBERTa are useful for domain-independent assistants but have limitations when they cater to a specific domain. For example, in the shopping domain, the token 'horizon' means a brand instead of its literal meaning. Generic models are not able to capture such subtleties. So, in this work, we retrained a distilled version of the BERT language model on retail domain-specific data for Walmart's voice shopping assistant. We also included universal dependency-based features in the retraining process further to improve the performance of the model on downstream tasks. We evaluated the performance of the retrained language model on four downstream tasks, including intent-entity detection, sentiment analysis, voice title shortening and proactive intent suggestion. We observed an increase in the performance of all the downstream tasks of up to 1.31% on average.


title: Controlled multi-photon subtraction with cascaded Rydberg superatoms as single-photon absorbers

abstract: The preparation of light pulses with well-defined quantum properties requires precise control at the individual photon level. Here, we demonstrate exact and controlled multi-photon subtraction from incoming light pulses. We employ a cascaded system of tightly confined cold atom ensembles with strong, collectively enhanced coupling of photons to Rydberg states. The excitation blockade resulting from interactions between Rydberg atoms limits photon absorption to one per ensemble and engineered dephasing of the collective excitation suppresses stimulated re-emission of the photon. We experimentally demonstrate subtraction with up to three absorbers. Furthermore, we present a thorough theoretical analysis of our scheme where we identify weak Raman decay of the long-lived Rydberg state as the main source of infidelity in the subtracted photon number. We show that our scheme should scale well to higher absorber numbers if the Raman decay can be further suppressed.


title: Automation: An Essential Component Of Ethical AI?

abstract: Ethics is sometimes considered to be too abstract to be meaningfully implemented in artificial intelligence (AI). In this paper, we reflect on other aspects of computing that were previously considered to be very abstract. Yet, these are now accepted as being done very well by computers. These tasks have ranged from multiple aspects of software engineering to mathematics to conversation in natural language with humans. This was done by automating the simplest possible step and then building on it to perform more complex tasks. We wonder if ethical AI might be similarly achieved and advocate the process of automation as key step in making AI take ethical decisions. The key contribution of this paper is to reflect on how automation was introduced into domains previously considered too abstract for computers.


title: Exact converses to a reverse AM--GM inequality, with applications to sums of independent random variables and (super)martingales

abstract: For every given real value of the ratio $\mu:=A_X/G_X>1$ of the arithmetic and geometric means of a positive random variable $X$ and every real $v>0$, exact upper bounds on the right- and left-tail probabilities $\mathsf{P}(X/G_X\ge v)$ and $\mathsf{P}(X/G_X\le v)$ are obtained, in terms of $\mu$ and $v$. In particular, these bounds imply that $X/G_X\to1$ in probability as $A_X/G_X\downarrow1$. Such a result may be viewed as a converse to a reverse Jensen inequality for the strictly concave function $f=\ln$, whereas the well-known Cantelli and Chebyshev inequalities may be viewed as converses to a reverse Jensen inequality for the strictly concave quadratic function $f(x) \equiv -x^2$. As applications of the mentioned new results, improvements of the Markov, Bernstein--Chernoff, sub-Gaussian, and Bennett--Hoeffding probability inequalities are given.


title: A central limit theorem for singular graphons

abstract: We associate to a graphon $\gamma$ the sequence of $W$-random graphs $(G_n(\gamma))_{n \geq 1}$. We say that the graphon is singular if, for any finite graph $F$, the homomorphism density $t(F,G_n(\gamma))$ has a variance of order $O(n^{-2})$. This behavior is singular because generically, the density of a fixed finite graph $F$ in a $W$-random graph has a variance of order $O(n^{-1})$. We conjecture that the only singular graphons are the constant graphons $\gamma_p$ with $p \in [0,1]$, corresponding to the Erd\H{o}s-R\'enyi random graphs $G(n,p)$. In this paper, we investigate the general properties of the singular graphons, and we show that they share many properties with the Erd\H{o}s-R\'enyi random graphs. In particular, if $\gamma$ is a singular graphon, then the scaled densities $n(t(F,G_n(\gamma))-\mathbb{E}[t(F,G_n(\gamma))])$ converge in joint distribution. This generalises the central limit theorem satisfied by the Erd\H{o}s-R\'enyi random graphs $G(n,p)$; however, the limiting distribution might be non-Gaussian if the conjecture does not hold. We also establish an equation satisfied by the characteristic polynomial of the Laplacian of the graph $G_n(\gamma)$ associated to a singular graphon; this opens the way to a spectral approach of the conjecture.


title: Entanglement of Free Fermions on Hamming Graphs

abstract: Free fermions on Hamming graphs $H(d,q)$ are considered and the entanglement entropy for two types of subsystems is computed. For subsets of vertices that form Hamming subgraphs, an analytical expression is obtained. For subsets corresponding to a neighborhood, i.e. to a set of sites at a fixed distance from a reference vertex, a decomposition in irreducible submodules of the Terwilliger algebra of $H(d,q)$ also yields a closed formula for the entanglement entropy. Finally, for subsystems made out of multiple neighborhoods, it is shown how to construct a block-tridiagonal operator which commutes with the entanglement Hamiltonian. It is identified as a BC-Gaudin magnet Hamiltonian in a magnetic field and is diagonalized by the modified algebraic Bethe ansatz.


title: Roadmap for Rare-earth Quantum Computing

abstract: Several platforms are being considered as hardware for quantum technologies. For quantum computing (QC), superconducting qubits and artificially trapped ions are among the leading platforms, but many others also show promise, e.g. photons, cold atoms, defect centers including Rare-Earth (RE) ions. So far, results are limited to the regime of noisy intermediate scale qubits (NISQ), with a small number of qubits and a limited connectivity, and it is likely that future QC hardware will utilize several existing platforms in different ways. Thus, it currently makes sense to invest resources broadly and explore the full range of promising routes to quantum technology. Rare-earth ions in solids constitute one of the most versatile platforms for future quantum technology. One advantage is good coherence properties even when confined in strong natural traps inside a solid-state matrix. This confinement allows very high qubit densities and correspondingly strong ion-ion couplings. In addition, although their fluorescence is generally weak, cavity integration can enhance the emission greatly and enable very good connections to photonic circuits, including at the telecom wavelengths, making them promising systems for long-term scalability. The primary aim of this roadmap is to provide a complete picture of what components a RE quantum computer would consist of, to describe the details of all parts required to achieve a scalable system, and to discuss the most promising paths to reach it. In brief, we find that clusters of 50-100 single RE ions can act as high fidelity qubits in small processors, occupying only about (10 nm)^3. Due to the high capacity for integration of the RE systems, they be optically read out and connected to other such clusters for larger scalability. We make suggestions for future improvements, which could allow the REQC platform to be a leading one.