title: LDP-IDS: Local Differential Privacy for Infinite Data Streams

abstract: Streaming data collection is essential to real-time data analytics in various IoTs and mobile device-based systems, which, however, may expose end users' privacy. Local differential privacy (LDP) is a promising solution to privacy-preserving data collection and analysis. However, existing few LDP studies over streams are either applicable to finite streams only or suffering from insufficient protection. This paper investigates this problem by proposing LDP-IDS, a novel $w$-event LDP paradigm to provide practical privacy guarantee for infinite streams at users end, and adapting the popular budget division framework in centralized differential privacy (CDP). By constructing a unified error analysi for LDP, we first develop two adatpive budget division-based LDP methods for LDP-IDS that can enhance data utility via leveraging the non-deterministic sparsity in streams. Beyond that, we further propose a novel population division framework that can not only avoid the high sensitivity of LDP noise to budget division but also require significantly less communication. Based on the framework, we also present two adaptive population division methods for LDP-IDS with theoretical analysis. We conduct extensive experiments on synthetic and real-world datasets to evaluate the effectiveness and efficiency pf our proposed frameworks and methods. Experimental results demonstrate that, despite the effectiveness of the adaptive budget division methods, the proposed population division framework and methods can further achieve much higher effectiveness and efficiency.


title: Coupling and selecting constraints in Bayesian optimization under uncertainties

abstract: We consider chance constrained optimization where it is sought to optimize a function while complying with constraints, both of which are affected by uncertainties. The high computational cost of realistic simulations strongly limits the number of evaluations and makes this type of problems particularly challenging. In such a context, it is common to rely on Bayesian optimization algorithms. Assuming, without loss of generality, that the uncertainty comes from some of the inputs, it becomes possible to build a Gaussian process model in the joint space of design and uncertain variables. A two-step acquisition function is then used to provide, both, promising optimization variables associated to relevant uncertain samples. Our overall contribution is to correlate the constraints in the GP model and exploit this to optimally decide, at each iteration, which constraint should be evaluated and at which point. The coupled Gaussian model of the constraints relies on an output-as-input encoding. The constraint selection idea is developed by enabling that each constraint can be evaluated for a different uncertain input, thus improving the refinement efficiency. Constraints coupling and selection are gradually implement in 3 algorithm variants which are compared to a reference Bayesian approach. The results are promising in terms of convergence speed, accuracy and stability as observed on a 2, a 4 and a 27-dimensional problems.


title: The MURALES survey. VI. Properties and origin of the extended line emission structures in radio galaxies

abstract: This is the sixth paper presenting the results of the MUse RAdio Loud Emission line Snapshot survey (MURALES). We observed 37 radio sources from the 3C sample with z<0.3 and declination <20 degrees with the MUSE optical integral field spectrograph at the VLT. We here focus on the properties of the extended emission line regions (EELRs) that can be studied with unprecedented detail thanks to the depth of these observations. Line emission in the 10 FRIs is, in most cases, confined to within <4 kpc, while large-scale (>4 kpc) ionized gas is seen in all but two of the 26 FRIIs. It usually takes the form of elongated or filamentary structures, typically extending between 10 and 30 kpc, but also reaching distances of ~80 kpc. We find that 1) the large-scale ionized gas structures show a tendency to be oriented at large angles from the radio axis, and 2) the gas on a scale of a few kpc from the nucleus often shows ordered rotation with a kinematical axis forming a median angle of 65 degrees with the radio axis. We also discuss the velocity field and ionization properties of the EELRs. The observed emission line structures appear to be associated with gaseous "superdisks" formed after a gas rich merger. The different properties of the EELR can be explained with a combination of the source evolutionary state and the orientation of the "superdisk" with respect to the radio axis. The general alignment between the superdisks and radio axis might be produced by stable and coherent accretion maintained over long timescales.


title: On Distributed Exact Sparse Linear Regression over Networks

abstract: In this work, we propose an algorithm for solving exact sparse linear regression problems over a network in a distributed manner. Particularly, we consider the problem where data is stored among different computers or agents that seek to collaboratively find a common regressor with a specified sparsity k, i.e., the L0-norm is less than or equal to k. Contrary to existing literature that uses L1 regularization to approximate sparseness, we solve the problem with exact sparsity k. The main novelty in our proposal lies in showing a problem formulation with zero duality gap for which we adopt a dual approach to solve the problem in a decentralized way. This sets a foundational approach for the study of distributed optimization with explicit sparsity constraints. We show theoretically and empirically that, under appropriate assumptions, where each agent solves smaller and local integer programming problems, all agents will eventually reach a consensus on the same sparse optimal regressor.


title: Consumption-investment decisions with endogenous reference point and drawdown constraint

abstract: We propose a consumption-investment decision model where past consumption peak $h$ plays a crucial role. There are two important consumption levels: the lowest constrained level and a reference level, at which the risk aversion in terms of consumption rate is changed. We solve this stochastic control problem and derive the value function, optimal consumption plan, and optimal investment strategy in semi-explicit forms. We find five important thresholds of wealth, all as functions of $h$, and most of them are nonlinear functions. As can be seen from numerical results and theoretical analysis, this intuitive and simple model has significant economic implications, and there are at least three important predictions: the marginal propensity to consume out of wealth is generally decreasing but can be increasing for intermediate wealth levels, and it jumps inversely proportional to the risk aversion at the reference point; the implied relative risk aversion is roughly a smile in wealth; the welfare of the poor is more vulnerable to wealth shocks than the wealthy. Moreover, locally changing the risk aversion influences the optimal strategies globally, revealing some risk allocation behaviors.


title: Self-adjusting Population Sizes for the $(1, \lambda)$-EA on Monotone Functions

abstract: We study the $(1,\lambda)$-EA with mutation rate $c/n$ for $c\le 1$, where the population size is adaptively controlled with the $(1:s+1)$-success rule. Recently, Hevia Fajardo and Sudholt have shown that this setup with $c=1$ is efficient on \onemax for $s<1$, but inefficient if $s \ge 18$. Surprisingly, the hardest part is not close to the optimum, but rather at linear distance. We show that this behavior is not specific to \onemax. If $s$ is small, then the algorithm is efficient on all monotone functions, and if $s$ is large, then it needs superpolynomial time on all monotone functions. In the former case, for $c<1$ we show a $O(n)$ upper bound for the number of generations and $O(n\log n)$ for the number of function evaluations, and for $c=1$ we show $O(n\log n)$ generations and $O(n^2\log\log n)$ evaluations. We also show formally that optimization is always fast, regardless of $s$, if the algorithm starts in proximity of the optimum. All results also hold in a dynamic environment where the fitness function changes in each generation.


title: An Approximate MSE Expression for Maximum Likelihood and Other Implicitly Defined Estimators of Non-Random Parameters (extended version)

abstract: An approximate mean square error (MSE) expression for the performance analysis of implicitly defined estimators of non-random parameters is proposed. An implicitly defined estimator (IDE) declares the minimizer/maximizer of a selected cost/reward function as the parameter estimate. The maximum likelihood (ML) and the least squares estimators are among the well known examples of this class. In this paper, an exact MSE expression for implicitly defined estimators with a symmetric and unimodal objective function is given. It is shown that the expression reduces to the Cramer-Rao lower bound (CRLB) and misspecified CRLB in the large sample size regime for ML and misspecified ML estimation, respectively. The expression is shown to yield the Ziv-Zakai bound (without the valley filling function) for the maximum a posteriori (MAP) estimator when it is used in a Bayesian setting, that is, when an a-priori distribution is assigned to the unknown parameter. In addition, extension of the suggested expression to the case of nuisance parameters is studied and some approximations are given to ease the computations for this case. Numerical results indicate that the suggested MSE expression not only predicts the estimator performance in the asymptotic region; but it is also applicable for the threshold region analysis, even for IDEs whose objective functions do not satisfy the symmetry and unimodality assumptions. Advantages of the suggested MSE expression are its conceptual simplicity and its relatively straightforward numerical calculation due to the reduction of the estimation problem to a binary hypothesis testing problem, similar to the usage of Ziv-Zakai bounds in random parameter estimation problems.


title: A removable temperature sensors holder for cryogenic Rayleigh-B\'enard convection cell

abstract: A removable holder carrying a set of miniature temperature sensors inside our Rayleigh-B\'enard convection cylindrical cell has been developed. The sensors should not disturb the temperature and velocity fields of the buoyancy-driven turbulent flow of our working fluid - cryogenic helium gas (~ 5 K). The cell, 300 mm both in diameter and height, must withstand the overpressure up to 2.5 bar, which is why all its parts are welded together. The holder consists of a pair of identical feedthroughs (each with 6 glass-sealed pins), constantan wires (0.1 mm), Be bronze springs and insulating elements and enables installing up to 6 sensors simultaneously, with the option to replace the damaged ones. We already used two such holders and obtained a map of local temperature and its fluctuations in 12 positions inside the cell.


title: Thermodynamically consistent versions of approximations used in modelling moist air

abstract: Some existing approaches to modeling the thermodynamics of moist air make approximations that break $\textit{thermodynamic consistency}$, such that the resulting thermodynamics do not obey the 1st and 2nd laws or have other inconsistencies. Recently, an approach to avoid such inconsistency has been suggested: the use of $\textit{thermodynamic potentials}$ in terms of their $\textit{natural variables}$, from which all thermodynamic quantities and relationships are derived. In this paper, we develop this approach for $\textit{unapproximated}$ moist air thermodynamics and two widely used approximations: the constant $\kappa$ approximation and the dry heat capacities approximation. The consistent constant $\kappa$ approximation is particularly attractive because it leads to, when using virtual potential temperature $\theta_v$ as the thermodynamic variable, adiabatic dynamics that depend only on total mass, independent of the breakdown between water forms. Additionally, a wide variety of material from different sources in the literature on thermodynamics in atmospheric modelling is brought together. It is hoped that this paper provides a comprehensive reference for the use of thermodynamic potentials in atmospheric modelling, especially for the three systems considered here.


title: Hydrodynamics of warps in the local model of astrophysical discs

abstract: We show how the local approximation of astrophysical discs, which is the basis for the well known model of the shearing box, can be used to study many aspects of the dynamics of warped discs. In the local model, inclination of the orbit of a test particle with respect to the reference orbit corresponds to a vertical oscillation of the particle at the orbital frequency. Warping of a disc corresponds to a locally axisymmetric corrugation of the midplane of the disc that oscillates vertically at the orbital frequency, while evolution of the warp corresponds to a modulation of the complex amplitude of the vertical oscillation. We derive a conservation law for this amplitude that is the local equivalent of the conservation of angular momentum and therefore governs the evolution of the warp. For lengthscales that are long compared to the vertical scaleheight of the disc, the known non-resonant and resonant regimes of warp dynamics, including the diffusive and wavelike regimes of Keplerian discs, occur in the local model in the same way as in a global view of warped discs.


title: Semi-FairVAE: Semi-supervised Fair Representation Learning with Adversarial Variational Autoencoder

abstract: Adversarial learning is a widely used technique in fair representation learning to remove the biases on sensitive attributes from data representations. It usually requires to incorporate the sensitive attribute labels as prediction targets. However, in many scenarios the sensitive attribute labels of many samples can be unknown, and it is difficult to train a strong discriminator based on the scarce data with observed attribute labels, which may lead to generate unfair representations. In this paper, we propose a semi-supervised fair representation learning approach based on adversarial variational autoencoder, which can reduce the dependency of adversarial fair models on data with labeled sensitive attributes. More specifically, we use a bias-aware model to capture inherent bias information on sensitive attribute by accurately predicting sensitive attributes from input data, and we use a bias-free model to learn debiased fair representations by using adversarial learning to remove bias information from them. The hidden representations learned by the two models are regularized to be orthogonal. In addition, the soft labels predicted by the two models are further integrated into a semi-supervised variational autoencoder to reconstruct the input data, and we apply an additional entropy regularization to encourage the attribute labels inferred from the bias-free model to be high-entropy. In this way, the bias-aware model can better capture attribute information while the bias-free model is less discriminative on sensitive attributes if the input data is well reconstructed. Extensive experiments on two datasets for different tasks validate that our approach can achieve good representation learning fairness under limited data with sensitive attribute labels.


title: Wall-modeled large-eddy simulation of three-dimensional turbulent boundary layer in a bent square duct

abstract: We conduct wall-modeled LES (WMLES) of a pressure-driven three-dimensional turbulent boundary layer (3DTBL) developing on the floor of a bent square duct to investigate the predictive capability of three widely used wall models, namely, a simple equilibrium stress model, an integral nonequilibrium model, and a PDE nonequilibrium model. The numerical results are compared with the experiment of Schwarz and Bradshaw (J. Fluid Mech. (1994), vol. 272, pp. 183-210). While the wall-stress magnitudes predicted by the three wall models are comparable, the PDE nonequilibrium wall model produces a substantially more accurate prediction of the wall-stress direction, followed by the integral nonequilibrium wall model. The wall-stress direction from the wall models is shown to have separable contributions from the equilibrium stress part and the integrated nonequilibrium effects, where how the latter is modeled differs among the wall models. The triangular plot of the wall-model solution reveals different capabilities of the wall models in representing variation of flow direction along the wall-normal direction. On the contrary, the outer LES solution is unaffected by the type of wall model used, resulting in nearly identical predictions of the mean and turbulent statistics in the outer region for all the wall models. This is explained by the vorticity dynamics and the inviscid skewing mechanism of generating the mean three-dimensionality. Finally, the LES solution in the outer layer is used to study the anisotropy of turbulence. In contrast to the canonical 2D wall turbulence, the Reynolds stress anisotropy exhibit strong non-monotonic behavior with increasing wall distance.


title: Hierarchical model reduction driven by machine learning for parametric advection-diffusion-reaction problems in the presence of noisy data

abstract: We propose a new approach to generate a reliable reduced model for a parametric elliptic problem, in the presence of noisy data. The reference model reduction procedure is the directional HiPOD method, which combines Hierarchical Model reduction with a standard Proper Orthogonal Decomposition, according to an offline/online paradigm. In this paper we show that directional HiPOD looses in terms of accuracy when problem data are affected by noise. This is due to the interpolation driving the online phase, since it replicates, by definition, the noise trend. To overcome this limit, we replace interpolation with Machine Learning fitting models which better discriminate relevant physical features in the data from irrelevant unstructured noise. The numerical assessment, although preliminary, confirms the potentialities of the new approach.


title: End-to-end Learnable Diversity-aware News Recommendation

abstract: Diversity is an important factor in providing high-quality personalized news recommendations. However, most existing news recommendation methods only aim to optimize recommendation accuracy while ignoring diversity. Reranking is a widely used post-processing technique to promote the diversity of top recommendation results. However, the recommendation model is not perfect and errors may be propagated and amplified in a cascaded recommendation algorithm. In addition, the recommendation model itself is not diversity-aware, making it difficult to achieve a good tradeoff between recommendation accuracy and diversity. In this paper, we propose a news recommendation approach named LeaDivRec, which is a fully learnable model that can generate diversity-aware news recommendations in an end-to-end manner. Different from existing news recommendation methods that are usually based on point- or pair-wise ranking, in LeaDivRec we propose a more effective list-wise news recommendation model. More specifically, we propose a permutation Transformer to consider the relatedness between candidate news and meanwhile can learn different representations for similar candidate news to help improve recommendation diversity. We also propose an effective list-wise training method to learn accurate ranking models. In addition, we propose a diversity-aware regularization method to further encourage the model to make controllable diversity-aware recommendations. Extensive experiments on two real-world datasets validate the effectiveness of our approach in balancing recommendation accuracy and diversity.


title: End-to-End Integration of Speech Recognition, Speech Enhancement, and Self-Supervised Learning Representation

abstract: This work presents our end-to-end (E2E) automatic speech recognition (ASR) model targetting at robust speech recognition, called Integraded speech Recognition with enhanced speech Input for Self-supervised learning representation (IRIS). Compared with conventional E2E ASR models, the proposed E2E model integrates two important modules including a speech enhancement (SE) module and a self-supervised learning representation (SSLR) module. The SE module enhances the noisy speech. Then the SSLR module extracts features from enhanced speech to be used for speech recognition (ASR). To train the proposed model, we establish an efficient learning scheme. Evaluation results on the monaural CHiME-4 task show that the IRIS model achieves the best performance reported in the literature for the single-channel CHiME-4 benchmark (2.0% for the real development and 3.9% for the real test) thanks to the powerful pre-trained SSLR module and the fine-tuned SE module.


title: FairRank: Fairness-aware Single-tower Ranking Framework for News Recommendation

abstract: Single-tower models are widely used in the ranking stage of news recommendation to accurately rank candidate news according to their fine-grained relatedness with user interest indicated by user behaviors. However, these models can easily inherit the biases related to users' sensitive attributes (e.g., demographics) encoded in training click data, and may generate recommendation results that are unfair to users with certain attributes. In this paper, we propose FairRank, which is a fairness-aware single-tower ranking framework for news recommendation. Since candidate news selection can be biased, we propose to use a shared candidate-aware user model to match user interest with a real displayed candidate news and a random news, respectively, to learn a candidate-aware user embedding that reflects user interest in candidate news and a candidate-invariant user embedding that indicates intrinsic user interest. We apply adversarial learning to both of them to reduce the biases brought by sensitive user attributes. In addition, we use a KL loss to regularize the attribute labels inferred from the two user embeddings to be similar, which can make the model capture less candidate-aware bias information. Extensive experiments on two datasets show that FairRank can improve the fairness of various single-tower news ranking models with minor performance losses.


title: Detecting changes in dynamic social networks using multiply-labeled movement data

abstract: The social structure of an animal population can often influence movement and inform researchers on a species' behavioral tendencies. Animal social networks can be studied through movement data; however, modern sources of data can have identification issues that result in multiply-labeled individuals. Since all available social movement models rely on unique labels, we extend an existing Bayesian hierarchical movement model in a way that makes use of a latent social network and accommodates multiply-labeled movement data (MLMD). We apply our model to drone-measured movement data from Risso's dolphins (Grampus griseus) and estimate the effects of sonar exposure on the dolphins' social structure. Our proposed framework can be applied to MLMD for various social movement applications.


title: Complementarity of experimental and lattice QCD data on pion parton distributions

abstract: We extract pion parton distribution functions (PDFs) in a Monte Carlo global QCD analysis of experimental data together with reduced Ioffe time pseudo-distributions and matrix elements of current-current correlators generated from lattice QCD. By including both experimental and lattice QCD data, our analysis rigorously quantifies both the uncertainties of the pion PDFs and systematic effects intrinsic to the lattice QCD observables. The reduced Ioffe time pseudo-distributions significantly decrease the uncertainties on the PDFs, while the current-current correlators are limited by the systematic effects associated with the lattice. Consistent with recent phenomenological determinations, the behavior of the valence quark distribution of the pion at large momentum fraction is found to be $\sim (1-x)^{ \beta_{\rm eff}}$ with $\beta_{\rm eff} \approx 1.0-1.2$.


title: Matters of Gravity: The Newsletter of the Division of Gravitational Physics of the American Physical Society. Number 55. April 2022

abstract: Contents: APS April Meeting, by Aaron Zimmerman; Cosmic Explorer, the Next Exploration Step, by Varun Srivastava, Kathryne J. Daniel, and Stefan Ballmer


title: A Novel Multimodal Approach for Studying the Dynamics of Curiosity in Small Group Learning

abstract: Curiosity is a vital metacognitive skill in educational contexts, leading to creativity, and a love of learning. And while many school systems increasingly undercut curiosity by teaching to the test, teachers are increasingly interested in how to evoke curiosity in their students to prepare them for a world in which lifelong learning and reskilling will be more and more important. One aspect of curiosity that has received little attention, however, is the role of peers in eliciting curiosity. We present what we believe to be the first theoretical framework that articulates an integrated socio-cognitive account of curiosity that ties observable behaviors in peers to underlying curiosity states. We make a bipartite distinction between individual and interpersonal functions that contribute to curiosity, and multimodal behaviors that fulfill these functions. We validate the proposed framework by leveraging a longitudinal latent variable modeling approach. Findings confirm a positive predictive relationship between the latent variables of individual and interpersonal functions and curiosity, with the interpersonal functions exercising a comparatively stronger influence. Prominent behavioral realizations of these functions are also discovered in a data-driven manner. We instantiate the proposed theoretical framework in a set of strategies and tactics that can be incorporated into learning technologies to indicate, evoke, and scaffold curiosity. This work is a step towards designing learning technologies that can recognize and evoke moment-by-moment curiosity during learning in social contexts and towards a more complete multimodal learning analytics. The underlying rationale is applicable more generally for developing computer support for other metacognitive and socio-emotional skills.


title: Origin of intense electron heating in relativistic blast waves

abstract: The modeling of gamma-ray burst afterglow emission bears witness to strong electron heating in the precursor of Weibel-mediated, relativistic collisionless shock waves propagating in unmagnetized electron-ion plasmas. In this Letter, we propose a theoretical model, which describes electron heating via a Joule-like process caused by pitch-angle scattering in the decelerating, self-induced microturbulence and the coherent charge-separation field induced by the difference in inertia between electrons and ions. The emergence of this electric field across the precursor of electron-ion shocks is confirmed by large-scale particle-in-cell (PIC) simulations. Integrating the model using a Monte Carlo-Poisson method, we compare the main observables to the PIC simulations to conclude that the above mechanism can indeed account for the bulk of electron heating.


title: A Web-Based Tool for Comparative Process Mining

abstract: Process mining techniques enable the analysis of a wide variety of processes using event data. Among the available process mining techniques, most consider a single process perspective at a time-in the shape of a model or log. In this paper, we have developed a tool that can compare and visualize the same process under different constraints, allowing to analyze multiple aspects of the process. We describe the architecture, structure and use of the tool, and we provide an open-source full implementation.


title: Unified and Effective Ensemble Knowledge Distillation

abstract: Ensemble knowledge distillation can extract knowledge from multiple teacher models and encode it into a single student model. Many existing methods learn and distill the student model on labeled data only. However, the teacher models are usually learned on the same labeled data, and their predictions have high correlations with groudtruth labels. Thus, they cannot provide sufficient knowledge complementary to task labels for student teaching. Distilling on unseen unlabeled data has the potential to enhance the knowledge transfer from the teachers to the student. In this paper, we propose a unified and effective ensemble knowledge distillation method that distills a single student model from an ensemble of teacher models on both labeled and unlabeled data. Since different teachers may have diverse prediction correctness on the same sample, on labeled data we weight the predictions of different teachers according to their correctness. In addition, we weight the distillation loss based on the overall prediction correctness of the teacher ensemble to distill high-quality knowledge. On unlabeled data, there is no groundtruth to evaluate prediction correctness. Fortunately, the disagreement among teachers is an indication of sample hardness, and thereby we weight the distillation loss based on teachers' disagreement to emphasize knowledge distillation on important samples. Extensive experiments on four datasets show the effectiveness of our proposed ensemble distillation method.


title: Fluctuation-dissipation relations for spiking neurons

abstract: Spontaneous fluctuations and stimulus response are essential features of neural functioning but how they are connected is poorly understood. I derive fluctuation-dissipation relations (FDR) between the spontaneous spike and voltage correlations and the firing rate susceptibility for i) the leaky integrate-and-fire (IF) model with white noise; ii) an IF model with arbitrary voltage dependence, an adaptation current, and correlated noise. The FDRs can be used to derive correlation statistics or to infer the system's response from observations of its spontaneous activity.


title: The coarse geometry of hexagon decomposition graphs

abstract: We define and study graphs associated to hexagon decompositions of surfaces by curves and arcs. One of the variants is shown to be quasi-isometric to the pants graph, whereas the other variant is quasi-isometric to (a Cayley graph of) the mapping class group.


title: Decomposition of Differences in Distribution under Sample Selection and the Gender Wage Gap

abstract: I address the decomposition of the differences between the distribution of outcomes of two groups when individuals self-select themselves into participation. I differentiate between the decomposition for participants and the entire population, highlighting how the primitive components of the model affect each of the distributions of outcomes. Additionally, I introduce two ancillary decompositions that help uncover the sources of differences in the distribution of unobservables and participation between the two groups. The estimation is done using existing quantile regression methods, for which I show how to perform uniformly valid inference. I illustrate these methods by revisiting the gender wage gap, finding that changes in female participation and self-selection have been the main drivers for reducing the gap.


title: Constructing all qutrit controlled Clifford+T gates in Clifford+T

abstract: For a number of useful quantum circuits, qudit constructions have been found which reduce resource requirements compared to the best known or best possible qubit construction. However, many of the necessary qutrit gates in these constructions have never been explicitly and efficiently constructed in a fault-tolerant manner. We show how to exactly and unitarily construct any qutrit multiple-controlled Clifford+T unitary using just Clifford+T gates and without using ancillae. The T-count to do so is polynomial in the number of controls $k$, scaling as $O(k^{3.585})$. With our results we can construct ancilla-free Clifford+T implementations of multiple-controlled T gates as well as all versions of the qutrit multiple-controlled Toffoli, while the analogous results for qubits are impossible. As an application of our results, we provide a procedure to implement any ternary classical reversible function on $n$ trits as an ancilla-free qutrit unitary using $O(3^n n^{3.585})$ T gates.


title: Magnetic Kagome Superconductor CeRu$_2$

abstract: Materials with a kagome lattice provide a platform for searching for new electronic phases and investigating the interplay between correlation and topology. Various probes have recently shown that the kagome lattice can host diverse quantum phases with intertwined orders, including charge density wave states, bond density wave states, chiral charge order, and, rarely, superconductivity. However, reports of the coexistence of superconductivity and magnetic order in kagome materials remain elusive. Here we revisit a magnetic superconductor CeRu$_2$ with a kagome network formed by Ru atoms. Our first-principles calculations revealed a kagome flat band near the Fermi surface, indicative of flat-band magnetism. At ambient pressure, CeRu$_2$ exhibits a superconducting transition temperature ($T_{\text{c}}$) up to ~ 6 K and a magnetic order at ~ 40 K. Notably, superconductivity and related behavior can be tuned by adjusting the amount of Ru. We conducted a systematic investigation of the superconductivity and magnetic order in CeRu$_2$ via magnetic, resistivity, and structural measurements under pressure up to ~ 168 GPa. An unusual phase diagram that suggests an intriguing interplay between the compound's superconducting order parameters has been constructed. A $T_{\text{c}}$ resurgence was observed above pressure of ~ 28 GPa, accompanied by the sudden appearance of a secondary superconducting transition. Our experiments have identified tantalizing phase transitions driven by high pressure and suggest that the superconductivity and magnetism in CeRu$_2$ are strongly intertwined.


title: Nonlocal transport equations in multiscale media. Modeling, dememorization, and discretizations

abstract: In this paper, we consider a class of convection-diffusion equations with memory effects. These equations arise as a result of homogenization or upscaling of linear transport equations in heterogeneous media and play an important role in many applications. First, we present a dememorization technique for these equations. We show that the convection-diffusion equations with memory effects can be written as a system of standard convection-diffusion-reaction equations. This allows removing the memory term and simplifying the computations. We consider a relation between dememorized equations and micro-scale equations, which do not contain memory terms. We note that dememorized equations differ from micro-scale equations and constitute a macroscopic model. Next, we consider both implicit and partially explicit methods. The latter is introduced for problems in multiscale media with high-contrast properties. Because of high contrast, explicit methods are restrictive and require time steps that are very small (scales as the inverse of the contrast). We show that, by appropriately decomposing the space, we can treat only a few degrees of freedom implicitly and the remaining degrees of freedom explicitly. We present a stability analysis. Numerical results are presented that confirm our theoretical findings of partially explicit schemes applied to dememorized systems of equations.


title: 1-D CNN based Acoustic Scene Classification via Reducing Layer-wise Dimensionality

abstract: This paper presents an alternate representation framework to commonly used time-frequency representation for acoustic scene classification (ASC). A raw audio signal is represented using a pre-trained convolutional neural network (CNN) using its various intermediate layers. The study assumes that the representations obtained from the intermediate layers lie in low-dimensions intrinsically. To obtain low-dimensional embeddings, principal component analysis is performed, and the study analyzes that only a few principal components are significant. However, the appropriate number of significant components are not known. To address this, an automatic dictionary learning framework is utilized that approximates the underlying subspace. Further, the low-dimensional embeddings are aggregated in a late-fusion manner in the ensemble framework to incorporate hierarchical information learned at various intermediate layers. The experimental evaluation is performed on publicly available DCASE 2017 and 2018 ASC datasets on a pre-trained 1-D CNN, SoundNet. Empirically, it is observed that deeper layers show more compression ratio than others. At 70% compression ratio across different datasets, the performance is similar to that obtained without performing any dimensionality reduction. The proposed framework outperforms the time-frequency representation based methods.


title: Nowruz at SemEval-2022 Task 7: Tackling Cloze Tests with Transformers and Ordinal Regression

abstract: This paper outlines the system using which team Nowruz participated in SemEval 2022 Task 7 Identifying Plausible Clarifications of Implicit and Underspecified Phrases for both subtasks A and B. Using a pre-trained transformer as a backbone, the model targeted the task of multi-task classification and ranking in the context of finding the best fillers for a cloze task related to instructional texts on the website Wikihow. The system employed a combination of two ordinal regression components to tackle this task in a multi-task learning scenario. According to the official leaderboard of the shared task, this system was ranked 5th in the ranking and 7th in the classification subtasks out of 21 participating teams. With additional experiments, the models have since been further optimised.


title: Cherenkov radiation with massive bosons and quantum friction

abstract: This work is devoted to several translation-invariant models in non-relativistic quantum field theory (QFT), describing a non-relativistic quantum particle interacting with a quantized relativistic field of bosons. In this setting, we aim at the rigorous study of Cherenkov radiation or friction effects at small disorder, which amounts to the metastability of the embedded mass shell of the free non-relativistic particle when the coupling to the quantized field is turned on. Although this problem is naturally approached by means of Mourre's celebrated commutator method, important regularity issues are known to be inherent to QFT models and restrict the application of this method. In this perspective, we introduce a novel non-standard construction procedure for Mourre conjugate operators, which differs from second quantization and allows to circumvent regularity issues. To show its versatility, we apply this construction to the Nelson model with massive bosons, to Fr\"ohlich's polaron model, and to a quantum friction model with massless bosons introduced by Bruneau and De Bi\`evre: for each of these examples, we improve on previous results.


title: Multi-task RNN-T with Semantic Decoder for Streamable Spoken Language Understanding

abstract: End-to-end Spoken Language Understanding (E2E SLU) has attracted increasing interest due to its advantages of joint optimization and low latency when compared to traditionally cascaded pipelines. Existing E2E SLU models usually follow a two-stage configuration where an Automatic Speech Recognition (ASR) network first predicts a transcript which is then passed to a Natural Language Understanding (NLU) module through an interface to infer semantic labels, such as intent and slot tags. This design, however, does not consider the NLU posterior while making transcript predictions, nor correct the NLU prediction error immediately by considering the previously predicted word-pieces. In addition, the NLU model in the two-stage system is not streamable, as it must wait for the audio segments to complete processing, which ultimately impacts the latency of the SLU system. In this work, we propose a streamable multi-task semantic transducer model to address these considerations. Our proposed architecture predicts ASR and NLU labels auto-regressively and uses a semantic decoder to ingest both previously predicted word-pieces and slot tags while aggregating them through a fusion network. Using an industry scale SLU and a public FSC dataset, we show the proposed model outperforms the two-stage E2E SLU model for both ASR and NLU metrics.


title: DFNet: Enhance Absolute Pose Regression with Direct Feature Matching

abstract: We introduce a camera relocalization pipeline that combines absolute pose regression (APR) and direct feature matching. By incorporating exposure-adaptive novel view synthesis, our method successfully addresses photometric distortions in outdoor environments that existing photometric-based methods fail to handle. With domain-invariant feature matching, our solution improves pose regression accuracy using semi-supervised learning on unlabeled data. In particular, the pipeline consists of two components: Novel View Synthesizer and DFNet. The former synthesizes novel views compensating for changes in exposure and the latter regresses camera poses and extracts robust features that close the domain gap between real images and synthetic ones. Furthermore, we introduce an online synthetic data generation scheme. We show that these approaches effectively enhance camera pose estimation both in indoor and outdoor scenes. Hence, our method achieves a state-of-the-art accuracy by outperforming existing single-image APR methods by as much as 56%, comparable to 3D structure-based methods.


title: Effects of geomagnetic field perturbations on the power supply of transoceanic fiber optic cables

abstract: There is a growing concern that a big coronal mass ejection event will induce perturbations on the power supply of fiber optic transoceanic cables that may produce a global internet blackout. In this paper we give the expression of the voltage variations that a transient change of the geomagnetic field induces on the voltage of the power supply of a transoceanic fiber optic cable. We show that the transient voltage change is proportional to the magnitude of the magnetic field deviations and not to its time derivative as a direct application of Faraday's law would imply, and this suggests design criteria to protect transoceanic fiber optic systems against big geomagnetic storm events. The presented analysis also enables the classification of existing systems into some that are less sensitive to the weakening of the geomagnetic field occurring during strong geomagnetic storms and others that are more prone to experience an outage when a weakening of the geomagnetic field occurs.


title: The Tulczyjew triple for gauge field theories

abstract: In this article we construct and discuss a new rigorous geometric formalism for gauge field theories. The basis of our work is the notion of the Tulczyjew triple, a geometric structure which successfully solved numerous problems in mathematical description of mechanics and classical field theory. In particular, we construct a Tulczyjew triple for gauge field theories and reduce it for systems that depend only on the value of a connection and curvature instead of the entire first jet of the gauge field. We also introduce new geometric structures such as the vector-affine product of bundles and analyse the connection bundle from a new perspective. Finally, we apply the derived formalism to Yang-Mills theory.


title: Modelling the perception of music in brain network dynamics

abstract: We analyze the influence of music in a network of FitzHugh-Nagumo oscillators with empirical structural connectivity measured in healthy human subjects. We report an increase of coherence between the global dynamics in our network and the input signal induced by a specific music song. We show that the level of coherence depends crucially on the frequency band. We compare our results with experimental data, which also describe global neural synchronization between different brain regions in the gamma-band range and its increase just before transitions between different parts of the musical form (musical high-level events). The results also suggest a separation in musical form-related brain synchronization between high brain frequencies, associated with neocortical activity, and low frequencies in the range of dance movements, associated with interactivity between cortical and subcortical regions.


title: Arithmetic logical Irreversibility and the Turing's Halt Problem

abstract: The Turing machine halting problem can be explained by several factors, including arithmetic logic irreversibility and memory erasure, which contribute to computational uncertainty due to information loss during computation. Essentially, this means that an algorithm can only preserve information about an input, rather than generate new information. This uncertainty arises from characteristics such as arithmetic logical irreversibility, Landauer's principle, and memory erasure, which ultimately lead to a loss of information and an increase in entropy. To measure this uncertainty and loss of information, the concept of arithmetic logical entropy can be used. The Turing machine and its equivalent, general recursive functions can be understood through the {\lambda} calculus and the Turing/Church thesis. However, there are certain recursive functions that cannot be fully understood or predicted by other algorithms due to the loss of information during logical-arithmetic operations. In other words, the behaviour of these functions cannot be completely determined at every stage of the computation due to a lack of information in their definition. While there are some cases where the behaviour of recursive functions is highly predictable, the lack of information in most cases makes it impossible for algorithms to determine if a program will halt or not. This inability to predict the outcome of the computation is the essence of the halting problem of the Turing machine. Even in cases where more information is available about the program, it is still difficult to determine with certainty if the program will halt or not. This also highlights the importance of the Turing oracle machine, which introduces information from outside the computation to compensate for the lack of information and ultimately decide the result of the computation.


title: Reach and complementarity of $\mu\to e$ searches

abstract: In Effective Field Theory, we describe $\mu\leftrightarrow e$ flavour changing transitions using an operator basis motivated by experimental observables. In a six-dimensional subspace probed by $\mu \to e \gamma$, $\mu \to 3e$ and $\mu\to e$ conversion on nuclei, we derive constraints on the New Physics scale from past and future experiments, illustrating the complementarity of the processes in an intuitive way. We also recall that a precise determination of the scalar quark currents in the nucleon will be required to distinguish scalar $\mu\to e$ interactions on u-quarks from those on d-quarks.


title: What makes useful auxiliary tasks in reinforcement learning: investigating the effect of the target policy

abstract: Auxiliary tasks have been argued to be useful for representation learning in reinforcement learning. Although many auxiliary tasks have been empirically shown to be effective for accelerating learning on the main task, it is not yet clear what makes useful auxiliary tasks. Some of the most promising results are on the pixel control, reward prediction, and the next state prediction auxiliary tasks; however, the empirical results are mixed, showing substantial improvements in some cases and marginal improvements in others. Careful investigations of how auxiliary tasks help the learning of the main task is necessary. In this paper, we take a step studying the effect of the target policies on the usefulness of the auxiliary tasks formulated as general value functions. General value functions consist of three core elements: 1) policy 2) cumulant 3) continuation function. Our focus on the role of the target policy of the auxiliary tasks is motivated by the fact that the target policy determines the behavior about which the agent wants to make a prediction and the state-action distribution that the agent is trained on, which further affects the main task learning. Our study provides insights about questions such as: Does a greedy policy result in bigger improvement gains compared to other policies? Is it best to set the auxiliary task policy to be the same as the main task policy? Does the choice of the target policy have a substantial effect on the achieved performance gain or simple strategies for setting the policy, such as using a uniformly random policy, work as well? Our empirical results suggest that: 1) Auxiliary tasks with the greedy policy tend to be useful. 2) Most policies, including a uniformly random policy, tend to improve over the baseline. 3) Surprisingly, the main task policy tends to be less useful compared to other policies.


title: Defect dynamics in active smectics induced by confining geometry and topology

abstract: The persistent dynamics in systems out of equilibrium, particularly those characterized by annihilation and creation of topological defects, is known to involve complicated spatiotemporal processes and is deemed difficult to control. Here the complex dynamics of defects in active smectic layers exposed to strong confinements is explored, through self-propulsion of active particles and a variety of confining geometries with different topology, ranging from circular, flower-shaped epicycloid, to hypocycloid cavities, channels, and rings. We identify a wealth of dynamical behaviors during the evolution of complex spatiotemporal defect patterns as induced by the confining shape and topology, particularly a perpetual creation-annihilation dynamical state at intermediate activity with large fluctuations of topological defects and a controllable transition from oscillatory to damped time correlation of defect number density via mechanisms governed by boundary cusps. Our results are obtained by using an active phase field crystal approach. Possible experimental realizations are also discussed.


title: Multi-Agent Path Planning with Asymmetric Interactions In Tight Spaces

abstract: By starting with the assumption that motion is fundamentally a decision making problem, we use the world-line concept from Special Relativity as the inspiration for a novel multi-agent path planning method. We have identified a particular set of problems that have so far been overlooked by previous works. We present our solution for the global path planning problem for each agent and ensure smooth local collision avoidance for each pair of agents in the scene. We accomplish this by modeling the trajectories of the agents through 2D space and time as curves in 3D. Global path planning is solved using a modified Djikstra's algorithm to ensure that initial trajectories for agents do not intersect. We then solve for smooth local trajectories using a quasi-Newton interior point solver, providing the trajectory curves with a radius to turn them into rods. Subsequently, resolving collision of the rods ensures that no two agents are in the same spatial position at the same time. This space-time formulation allows us to simulate previously ignored phenomena such as highly asymmetric interactions in very constrained environments. It also provides a solution for scenes with unnaturally symmetric agent alignments without the need for jittering agent positions or velocities.


title: High-resolution Compton spectroscopy using X-ray microcalorimeters

abstract: X-ray Compton spectroscopy is one of the few direct probes of the electron momentum distribution of bulk materials in ambient and operando environments. We report high-resolution inelastic X-ray scattering experiments with high momentum and energy transfer performed at a storage-ring-based high-energy X-ray light source facility using an X-ray microcalorimeter detector. Compton profiles were measured for lithium and cobalt oxide powders relevant to lithium-ion battery research. Spectroscopic analysis of the measured Compton profiles shows high-sensitivity to the low-Z elements and oxidation states. The lineshape analysis of the measured Compton profiles in comparison with computed Hartree-Fock profiles is limited by the resolution of the energy-resolving semiconductor detector. We have characterized an X-ray transition-edge sensor microcalorimeter detector for high-resolution Compton scattering experiments using a bending magnet source at the Advanced Photon Source (APS) with a double crystal monochromator providing monochromatic photon energies near 27.5 keV. The momentum resolution below 0.16 atomic units was measured yielding an improvement of more than a factor of 7 over a state-of-the-art silicon drift detector for the same scattering geometry. Furthermore, the lineshapes of narrow valence and broad core electron profiles of sealed lithium metal were clearly resolved using an X-ray microcalorimeter detector compared to smeared and broadened lineshapes observed when using a silicon drift detector. High-resolution Compton scattering using the energy-resolving detector shown here presents new opportunities for spatial imaging of electron momentum distributions for a wide class of materials with applications ranging from electrochemistry to condensed matter physics.


title: Considering the two Spin and the two Angular Momenta String Solutions in $AdS_5 \times S^5$

abstract: In this paper, we consider two almost opposite sectors of actual string configuration ans\"atze in $AdS_5\times S^5$, which anyway have almost the same features: The two spin solution, which has constant angles in $S^5$ and the two angular momenta solution, which has constant "angels" in $AdS_5$, however for the two angular momenta solution, we have to take the time coordinate from $AdS_5$, thus there is a little asymmetry between the two string configurations in $AdS_5\times S^5$. Without being autistic, there is around $69$ equations between the similar equations in the two sectors, compare equations (34) and (104) and also compare equations (64) and (134). Again, without being autistic, the text after the equations in the two sectors, is almost precisely the same. In our notation, the difference between the two sectors is as follows; $\rho\leftrightarrow \theta$, $\phi \leftrightarrow \psi$, $\sinh\rho \leftrightarrow \sin\theta$, $y_i\leftrightarrow x_i$, $y \leftrightarrow x$ etc. The string configurations of this paper, are both solvable by the Neumann System. However, our setup in this paper is generally for the Neumann-Rosochatius System, which is also solvable, since we intend to generalize our results from the Neumann System to the Neumann-Rosochatius System and to several types of deformed Neumann-Rosochatius Systems. In the second part of this paper, which is independent of any string configurations in $AdS_5\times S^5$ and concerns String Cosmology in $D=10$ dimensions. I will seriously argue that there was no Big Bang; I truly believe that the Universe has been there forever, see True Conclusions, Section 10.


title: Connect, Not Collapse: Explaining Contrastive Learning for Unsupervised Domain Adaptation

abstract: We consider unsupervised domain adaptation (UDA), where labeled data from a source domain (e.g., photographs) and unlabeled data from a target domain (e.g., sketches) are used to learn a classifier for the target domain. Conventional UDA methods (e.g., domain adversarial training) learn domain-invariant features to improve generalization to the target domain. In this paper, we show that contrastive pre-training, which learns features on unlabeled source and target data and then fine-tunes on labeled source data, is competitive with strong UDA methods. However, we find that contrastive pre-training does not learn domain-invariant features, diverging from conventional UDA intuitions. We show theoretically that contrastive pre-training can learn features that vary subtantially across domains but still generalize to the target domain, by disentangling domain and class information. Our results suggest that domain invariance is not necessary for UDA. We empirically validate our theory on benchmark vision datasets.


title: Neumann problems for $p$-harmonic functions, and induced nonlocal operators in metric measure spaces

abstract: Following ideas of Caffarelli and Silvestre in~\cite{CS}, and using recent progress in hyperbolic fillings, we define fractional $p$-Laplacians $(-\Delta_p)^\theta$ with $0<\theta<1$ on any compact, doubling metric measure space $(Z,d,\nu)$, and prove existence, regularity and stability for the non-homogenous non-local equation $(-\Delta_p)^\theta u =f.$ These results, in turn, rest on the new existence, global H\"older regularity and stability theorems that we prove for the Neumann problem for $p$-Laplacians $\Delta_p$, $1<p<\infty$, in bounded domains of measure metric spaces endowed with a doubling measure that supports a Poincar\'e inequality. Our work also extends beyond the compact setting, and includes as special cases much of the previous results by other authors in the Euclidean, Riemannian and Carnot group settings. Unlike other recent contributions in the metric measure spaces context, our work does not rely on the assumption that $(Z,d,\nu)$ supports a Poincar\'e inequality.


title: Fractal and multifractal descriptors restore ergodicity broken by non-Gaussianity in time series

abstract: Ergodicity breaking is a challenge for biological and psychological sciences. Ergodicity is a necessary condition for linear causal modeling. Long-range correlations and non-Gaussianity characterizing various biological and psychological measurements break ergodicity routinely, threatening our capacity for causal modeling. Long-range correlations (e.g., in fractional Gaussian noise, a.k.a. "pink noise") break ergodicity--in raw Gaussian series, as well as in some but not all standard descriptors of variability, i.e., in coefficient of variation (CV) and root mean square (RMS) but not standard deviation (SD) for longer series. The present work demonstrates that progressive increases in non-Gaussianity conspire with long-range correlations to break ergodicity in SD for all series lengths. Meanwhile, explicitly encoding the cascade dynamics that can generate temporally correlated non-Gaussian noise offers a way to restore ergodicity to our causal models. Specifically, fractal and multifractal properties encode both scale-invariant power-law correlations and their variety, respectively, both of which features index the underlying cascade parameters. Fractal and multifractal descriptors of long-range correlated non-Gaussian processes show no ergodicity breaking and hence, provide a more stable explanation for the long-range correlated non-Gaussian form of biological and psychological processes. Fractal and multifractal descriptors offer a path to restoring ergodicity to causal modeling in these fields.


title: Towards a Perron-Frobenius Theorem for Strongly Aperiodic Stochastic Chains

abstract: Perron-Frobenius theorem is a fundamental tool in matrix analysis that has applications to complex networks, population dynamics, social learning, and numerous physical, engineering, and economic phenomena. However, since this theorem and many of its extensions can be applied only to a single matrix at a time, their applications in networked dynamical systems are limited to static networks. To extend the applicability of these results to time-varying networks, we generalize two assertions of the Perron-Frobenius theorem to sequences as well as continua of row-stochastic matrices. Our results have potential applications in areas such as distributed averaging, optimization, and estimation.


title: Hyperbolic summation for functions of the GCD and LCM of several integers

abstract: Let $k\ge 2$ be a fixed integer. We consider sums of type $\sum_{n_1\cdots n_k\le x} F(n_1,\ldots,n_k)$, taken over the hyperbolic region $\{(n_1,\ldots,n_k)\in {\Bbb N}^k: n_1\cdots n_k\le x\}$, where $F:{\Bbb N}^k\to {\Bbb C}$ is a given function. In particular, we deduce asymptotic formulas with remainder terms for the hyperbolic summations $\sum_{n_1\cdots n_k\le x} f((n_1,\ldots,n_k))$ and $\sum_{n_1\cdots n_k\le x} f([n_1,\ldots,n_k])$, involving the GCD and LCM of the integers $n_1,\ldots,n_k$, where $f:{\Bbb N}\to {\Bbb C}$ belongs to certain classes of functions. Some of our results generalize those obtained by the authors for $k=2$.


title: Wavefront Sensing and Control with the Many Headed Hydra Modal Basis

abstract: The future of space and ground based telescopes is intimately tied to technology and algorithm development surrounding wavefront sensing and control. Only with cutting edge developments and unusual ideas will we be able to build diffraction limited observatories on the ground that contend with earth-atmosphere, as well as space-based observatories that sense and control for optical aberrations and telescope jitter. There exist a variety of mathematical bases for decomposing wavefront images, including the zonal modal basis, Zernike polynomials, and Fourier modes. However, previous bases have neglected the most vital element of astronomical optics: our field is only as good as the people in it. In this paper we propose a new Many Headed Hydra Modal Basis (hydra heads) for wavefront decomposition, using physical representations of the Adaptive Optics community. We find that the first author makes the best wavefront decomposition, on the order of a correct reconstruction within $\sim 1\%$ of the original turbulence image. We discuss engineering implications of the Many Headed Hydra Modal Basis, as applied to deformable mirror technology and within active and adaptive optics control loops. Finally, we explore predictive control avenues, by positing that the first author being the most effective wavefront predicts a successful future for them as a high contrast imaging scientist.


title: Modular SAT-based techniques for reasoning tasks in team semantics

abstract: We study the complexity of reasoning tasks for logics in team semantics. Our main focus is on the data complexity of model checking but we also derive new results for logically defined counting and enumeration problems. Our approach is based on modular reductions of these problems into the corresponding problems of various classes of Boolean formulas. We illustrate our approach via several new tractability/intractability results.


title: The Unlocking of High-Pressure Science with Broadband Neutron Spectroscopy at the ISIS Pulsed Neutron & Muon Source

abstract: Following significant instrument upgrades and parallel methodological developments over the past decade, the TOSCA neutron spectrometer at the ISIS Pulsed Neutron & Muon Source in the United Kingdom has developed a rich and growing scientific community spanning a broad range of non-traditional areas of neutron science, including chemical catalysis, gas adsorption & storage, and new materials for energy and sustainability. High-pressure science, however, has seen little to no representation to date owing to previous limitations in capability. Herein, we explore for the first time the viability of rapid high-pressure measurements in the gigapascal regime, capitalizing from the orders-of-magnitude increase in incident flux afforded by a recent upgrade of the primary-beam path. In particular, we show that spectroscopic measurements up to pressures of 2 GPa over an unprecedented energy-transfer range are now possible within the hour timescale. In addition, we have designed and commissioned a dedicated set of high-pressure vessels, with a view to foster and support the further growth and development of an entirely new user community on TOSCA.


title: Inverse-design of high-dimensional quantum optical circuits in a complex medium

abstract: Programmable optical circuits form a key part of quantum technologies today, ranging from transceivers for quantum communication to integrated photonic chips for quantum information processing. As the size of such circuits is increased, maintaining precise control over every individual component becomes challenging, leading to a reduction in the quality of the operations performed. In parallel, minor imperfections in circuit fabrication are amplified in this regime, dramatically inhibiting their performance. Here we show how embedding an optical circuit in the higher-dimensional space of a large, ambient mode-mixer using inverse-design techniques allows us to forgo control over each individual circuit element, while retaining a high degree of programmability over the circuit. Using this approach, we implement high-dimensional linear optical circuits within a complex scattering medium consisting of a commercial multi-mode fibre placed between two controllable phase planes. We employ these circuits to manipulate high-dimensional spatial-mode entanglement in up to seven dimensions, demonstrating their application as fully programmable quantum gates. Furthermore, we show how their programmability allows us to turn the multi-mode fibre itself into a generalised multi-outcome measurement device, allowing us to both transport and certify entanglement within the transmission channel. Finally, we discuss the scalability of our approach, numerically showing how a high circuit fidelity can be achieved with a low circuit depth by harnessing the resource of a high-dimensional mode-mixer. Our work serves as an alternative yet powerful approach for realising precise control over high-dimensional quantum states of light, with clear applications in next-generation quantum communication and computing technologies.


title: On the X-ray, optical and radio afterglows of the BdHN I GRB 180720B generated by the synchrotron emission

abstract: Gamma-ray bursts (GRBs) are systems of unprecedented complexity across all the electromagnetic spectrum, including the radio, optical, X-rays, gamma-rays in the megaelectronvolt (MeV) and gigaelectronvolt (GeV) regime, as well as ultrahigh-energy cosmic rays (UHECRs), each manifested in seven specific physical processes with widely different characteristic evolution timescales ranging from $10^{-14}$ s to $10^{7}$ s or longer. We here study the long GRB 180720B originating from a binary system composed of a massive carbon-oxygen (CO) star of about $10 M_\odot$ and a companion neutron star (NS). The gravitational collapse of the CO star gives rise to a spinning newborn NS ($\nu$NS), with an initial period of $P_0=1$ ms that powers the synchrotron radiation in the radio, optical, and X-ray wavelengths. We here only investigate the GRB 180720B afterglows and present a detailed treatment of its origin based on the synchrotron radiation released by the interaction of the $\nu$NS and the SN ejecta. We show that in parallel to the X-ray afterglow, the spinning $\nu$NS also powers the optical and radio afterglows and allows us to infer the $\nu$NS and ejecta parameters that fit the observational data.


title: Uniform quasi-convex optimisation via Extremum Seeking

abstract: The paper deals with a well-known extremum seeking scheme by proving uniformity properties with respect to the amplitudes of the dither signal and of the cost function. Those properties are then used to show that the scheme guarantees the global minimiser to be semi-global practically stable despite the presence of local saddle points. To achieve these results, we analyse the average system associated with the extremum seeking scheme via arguments based on the Fourier series.


title: Reference Network and Localization Architecture for Smart Manufacturing based on 5G

abstract: 5G promises to shift Industry 4.0 to the next level by allowing flexible production. However, many communication standards are used throughout a production site, which will stay so in the foreseeable future. Furthermore, localization of assets will be equally valuable in order to get to a higher level of automation. This paper proposes a reference architecture for a convergent localization and communication network for smart manufacturing that combines 5G with other existing technologies and focuses on high-mix low-volume application, in particular at small and medium-sized enterprises. The architecture is derived from a set of functional requirements, and we describe different views on this architecture to show how the requirements can be fulfilled. It connects private and public mobile networks with local networking technologies to achieve a flexible setup addressing many industrial use cases.


title: Female Agency and its Implications on Mental and Physical Health: Evidence from the city of Dhaka

abstract: Women agency defined as the ability to conceive of purposeful plan and to carry out action consistent with such a plan can play an important role in determining health status. Using data from female respondents conducted in a survey in the city of Dhaka in Bangladesh, this paper explores how women agency relates to their physical and mental health. The findings indicate women with high agency to experience significantly lesser mental distress on average. Counterintuitively, these women are more likely to report poor physical health. As an explanation, we propose purposeful action among women with high agency as a potential reason, wherein they conceive purpose in the future and formulate action that is feasible today. Hence, these women prefer to report illness and get the required treatment to ensure better future health. This illuminates our understanding of sustainable development and emphasises the critical role of women agency for sustainable human development.


title: Beyond Wilson-Cowan dynamics: oscillations and chaos without inhibition

abstract: Fifty years ago, Wilson and Cowan developed a mathematical model to describe the activity of neural populations. In this seminal work, they divided the cells in three groups: active, sensitive and refractory, and obtained a dynamical system to describe the evolution of the average firing rates of the populations. In the present work, we investigate the impact of the often neglected refractory state and show that taking it into account can introduce new dynamics. Starting from a continuous-time Markov chain, we perform a rigorous derivation of a mean-field model that includes the refractory fractions of populations as dynamical variables. Then, we perform bifurcation analysis to explain the occurance of periodic solutions in cases where the classical Wilson-Cowan does not predict oscillations. We also show that our mean-field model is able to predict chaotic behavior in the dynamics of networks with as little as two populations.


title: Opinion Dynamics Steering using Stochastic Search

abstract: In this paper, we apply the stochastic search dynamic optimization framework for steering opinion dynamics in a partially active population. The framework is grounded on stochastic optimization theory and relies on sampling of candidate solutions from distributions of the exponential family. We derive the distribution parameter update for an open loop, a feedback, and a novel adaptive feedback policy. All three policies are tested on two different opinion dynamics steering scenarios in simulation and compared against a hand designed feedback policy. The results showcase the effectiveness the framework for opinion dynamics control and the robustness of the adaptive feedback policy with respect to the active agent set size.


title: A Theoretical Approach for Structuring and Analysing Knowledge Provenance for Visual Analytics

abstract: The primary goal of Visual Analytics (VA) is to enable user-guided knowledge generation. Theoretical VA works to explain how the different aspects of a VA tool bring forth new insights through user interactivity, which itself can be captured through tracking methods for reproduction or evaluation. However, the process of automatically capturing the user's thought process, such as intent and insights, and associating it with user's interaction events are largely ignored. Also, two forms of interactivity capture are typically ambiguous and intermixed: the temporal aspect, which indicates sequences of events, and the atemporal aspect, which explains the workflow as sequences of states within a state-space. In this work, we propose Visual Analytics Knowledge Graph (VAKG), a conceptual framework that brings VA modeling theory to practice through a novel Set-Theory formalization of knowledge modeling. By extracting such a model from a VA tool, VAKG structures a 4-way temporal knowledge graph that describes user behavior and its associated knowledge gain process. Such knowledge graphs can be populated manually or automatically during user analysis sessions, which can then be analyzed using graph analysis methods. VAKG is demonstrated by modeling and collecting Tableau and visual text-mining workflows, where comparative user satisfaction, tool efficacy, and overall workflow shortcomings can be extracted from the knowledge graph.


title: Robust and Efficient Aggregation for Distributed Learning

abstract: Distributed learning paradigms, such as federated and decentralized learning, allow for the coordination of models across a collection of agents, and without the need to exchange raw data. Instead, agents compute model updates locally based on their available data, and subsequently share the update model with a parameter server or their peers. This is followed by an aggregation step, which traditionally takes the form of a (weighted) average. Distributed learning schemes based on averaging are known to be susceptible to outliers. A single malicious agent is able to drive an averaging-based distributed learning algorithm to an arbitrarily poor model. This has motivated the development of robust aggregation schemes, which are based on variations of the median and trimmed mean. While such procedures ensure robustness to outliers and malicious behavior, they come at the cost of significantly reduced sample efficiency. This means that current robust aggregation schemes require significantly higher agent participation rates to achieve a given level of performance than their mean-based counterparts in non-contaminated settings. In this work we remedy this drawback by developing statistically efficient and robust aggregation schemes for distributed learning.


title: Exploring canyons in glassy energy landscapes using metadynamics

abstract: The complex physics of glass forming systems is controlled by the structure of the low energy portions of their potential energy landscapes. Here, we report that a modified metadynamics algorithm efficiently explores and samples low energy regions of such high-dimensional landscapes. In the energy landscape for a model foam, our algorithm finds and descends meandering `canyons' in the landscape, which contain dense clusters of energy minima along their floors. Similar canyon structures in the energy landscapes of two model glass formers -- hard sphere fluids and the Kob-Andersen glass -- allow us to reach high densities and low energies, respectively. In the hard sphere system, fluid configurations are found to form continuous regions that cover the canyon floors up to densities well above the jamming transition. For the Kob-Andersen glass former, our technique samples low energy states with modest computational effort, with the lowest energies found approaching the predicted Kauzmann limit.


title: Time-invariant Prefix Coding for LQG Control

abstract: Motivated by control with communication constraints, in this work we develop a time-invariant data compression architecture for linear-quadratic-Gaussian (LQG) control with minimum bitrate prefix-free feedback. For any fixed control performance, the approach we propose nearly achieves known directed information (DI) lower bounds on the time-average expected codeword length. We refine the analysis of a classical achievability approach, which required quantized plant measurements to be encoded via a time-varying lossless source code. We prove that the sequence of random variables describing the quantizations has a limiting distribution and that the quantizations may be encoded with a fixed source code optimized for this distribution without added time-asymptotic redundancy. Our result follows from analyzing the long-term stochastic behavior of the system, and permits us to additionally guarantee that the time-average codeword length (as opposed to expected length) is almost surely within a few bits of the minimum DI. To our knowledge, this time-invariant achievability result is the first in the literature. The originally published version of the supplementary material included a proof that contained an error that turned out to be inconsequential. This updated preprint corrects this error, which originally appeared under Lemma A.7.

categories: cs.IT cs.SY eess.SP eess.SY math.IT math.OC


title: Multispike Solutions for a slightly subcritical elliptic problem with non-power nonlinearity

abstract: In this paper, we are concerned with the following elliptic equation $$\left\{\begin{array}{rrl}-\Delta u&=& |u|^{4/(n-2)}u/[\ln (e+|u|)]^\varepsilon\hbox{ in } \Omega,\\ u&=&0 \hbox{ on }\partial \Omega, \end{array} \right.$$ where $\Omega$ is a smooth bounded open domain in $\mathbb{R}^n, \ n\geq 3$ and $\varepsilon>0$. Clapp et al. in Journal of Diff. Eq. (Vol 275) proved that there exists a single-peak positive solution for small $\varepsilon$ if $n \geq 4$. Here we construct positive as well as changing sign solutions concentrated at several points at the same time.


title: Nonlinear VRFT with LASSO

abstract: Virtual Reference Feedback Tuning (VRFT) is a well known and very successful data-driven control design method. It has been initially conceived for linear plants and this original formulation has been much explored in the literature, besides having already found many practical applications. A nonlinear version of VRFT has been proposed early on, but not much explored later on. In this paper we highlight various issues involved in the application of nonlinear VRFT and propose the inclusion of L1 regularization in its formulation. We illustrate by means of two simple examples the critical role played by two aspects: the L1 regularization and the choice of dictionary used to describe the nonlinearity of the controller.


title: Cauchy Slice Holography: A New AdS/CFT Dictionary

abstract: We investigate a new approach to holography in asymptotically AdS spacetimes, in which time rather than space is the emergent dimension. By making a sufficiently large T^2-deformation of a Euclidean CFT, we define a holographic theory that lives on Cauchy slices of the Lorentzian bulk. (More generally, for an arbitrary Hamiltonian constraint equation that closes, we show how to obtain it by an irrelevant deformation from a CFT with suitable anomalies.) The partition function of this theory defines a natural map between the bulk canonical quantum gravity theory Hilbert space, and the Hilbert space of the usual (undeformed) boundary CFT. We argue for the equivalence of the ADM and CFT Hamiltonians. We also explain how bulk unitarity emerges naturally, even though the boundary theory is not reflection-positive. This allows us to reformulate the holographic principle in the language of Wheeler-DeWitt canonical quantum gravity. Along the way, we outline a procedure for obtaining a bulk Hilbert space from the gravitational path integral with Dirichlet boundary conditions. Following previous conjectures, we postulate that this finite-cutoff gravitational path integral agrees with the T^2-deformed theory living on an arbitrary boundary manifold -- at least near the semiclassical regime. However, the T^2-deformed theory may be easier to UV complete, in which case it would be natural to take it as the definition of nonperturbative quantum gravity.


title: Fashion Style Generation: Evolutionary Search with Gaussian Mixture Models in the Latent Space

abstract: This paper presents a novel approach for guiding a Generative Adversarial Network trained on the FashionGen dataset to generate designs corresponding to target fashion styles. Finding the latent vectors in the generator's latent space that correspond to a style is approached as an evolutionary search problem. A Gaussian mixture model is applied to identify fashion styles based on the higher-layer representations of outfits in a clothing-specific attribute prediction model. Over generations, a genetic algorithm optimizes a population of designs to increase their probability of belonging to one of the Gaussian mixture components or styles. Showing that the developed system can generate images of maximum fitness visually resembling certain styles, our approach provides a promising direction to guide the search for style-coherent designs.


title: Population Games With Erlang Clocks: Convergence to Nash Equilibria For Pairwise Comparison Dynamics

abstract: The prevailing methodology for analyzing population games and evolutionary dynamics in the large population limit assumes that a Poisson process (or clock) inherent to each agent determines when the agent can revise its strategy. Hence, such an approach presupposes exponentially distributed inter-revision intervals, and is inadequate for cases where each strategy entails a sequence of sub-tasks (sub-strategies) that must be completed before a new revision time occurs. This article proposes a methodology for such cases under the premise that a sub-strategy's duration is exponentially-distributed, leading to Erlang distributed inter-revision intervals. We assume that a so-called pairwise-comparison protocol captures the agents' revision preferences to render our analysis concrete. The presence of sub-strategies brings on additional dynamics that is incompatible with existing models and results. Our main contributions are twofold, both derived for a deterministic approximation valid for large populations. We prove convergence of the population's state to the Nash equilibrium set when a potential game generates a payoff for the strategies. We use system-theoretic passivity to determine conditions under which this convergence is guaranteed for contractive games.


title: Attractive trion-polariton nonlinearity due to Coulomb scattering

abstract: We theoretically investigate the nonlinearity of trion-polaritons in a two-dimensional material that arises from Coulomb interaction between quasiparticles. To evaluate the interaction constant, we solve a three-body Wannier equation precisely by expanding trion wavefunctions into a Gaussian basis. Using these wavefunctions, we calculate the trion-polariton interaction energies for the exchange processes, resolving the outstanding question of trion-trion scattering. We find that the nonlinearity is the result of the competition between different scattering channels. Such a cancellation effect is sensitive to wavefunction overlaps and depends on material parameters. Most importantly, our result shows that the nonlinear interaction between trion-polaritons is attractive, and is fivefold stronger than exciton-polariton interaction. Our work thus describes the regime where trion-polaritons offer the prospects for attractive fluids of light in monolayers of transition metal dichalcogenides.


title: Monarch: Expressive Structured Matrices for Efficient and Accurate Training

abstract: Large neural networks excel in many domains, but they are expensive to train and fine-tune. A popular approach to reduce their compute or memory requirements is to replace dense weight matrices with structured ones (e.g., sparse, low-rank, Fourier transform). These methods have not seen widespread adoption (1) in end-to-end training due to unfavorable efficiency--quality tradeoffs, and (2) in dense-to-sparse fine-tuning due to lack of tractable algorithms to approximate a given dense weight matrix. To address these issues, we propose a class of matrices (Monarch) that is hardware-efficient (they are parameterized as products of two block-diagonal matrices for better hardware utilization) and expressive (they can represent many commonly used transforms). Surprisingly, the problem of approximating a dense weight matrix with a Monarch matrix, though nonconvex, has an analytical optimal solution. These properties of Monarch matrices unlock new ways to train and fine-tune sparse and dense models. We empirically validate that Monarch can achieve favorable accuracy-efficiency tradeoffs in several end-to-end sparse training applications: speeding up ViT and GPT-2 training on ImageNet classification and Wikitext-103 language modeling by 2x with comparable model quality, and reducing the error on PDE solving and MRI reconstruction tasks by 40%. In sparse-to-dense training, with a simple technique called "reverse sparsification," Monarch matrices serve as a useful intermediate representation to speed up GPT-2 pretraining on OpenWebText by 2x without quality drop. The same technique brings 23% faster BERT pretraining than even the very optimized implementation from Nvidia that set the MLPerf 1.1 record. In dense-to-sparse fine-tuning, as a proof-of-concept, our Monarch approximation algorithm speeds up BERT fine-tuning on GLUE by 1.7x with comparable accuracy.


title: Disorder in AdS$_3$/CFT$_2$

abstract: We perturbatively study marginally relevant quenched disorder in AdS$_3$/CFT$_2$ to second order in the disorder strength. Using the Chern-Simons formulation of AdS$_3$ gravity for the Poincar\'e patch, we introduce disorder via the chemical potentials. We discuss the bulk and boundary properties resulting from the disorder averaged metric. The disorder generates a small mass and angular momentum. In the bulk and the boundary, we find unphysical features due to the disorder average. Motivated by these features, we propose a Poincar\'e-Lindstedt-inspired resummation method. We discuss how this method enables us to remove all of the unphysical features and compare with other approaches to averaging.


title: Fast and Automatic Object Registration for Human-Robot Collaboration in Industrial Manufacturing

abstract: We present an end-to-end framework for fast retraining of object detection models in human-robot-collaboration. Our Faster R-CNN based setup covers the whole workflow of automatic image generation and labeling, model retraining on-site as well as inference on a FPGA edge device. The intervention of a human operator reduces to providing the new object together with its label and starting the training process. Moreover, we present a new loss, the intraspread-objectosphere loss, to tackle the problem of open world recognition. Though it fails to completely solve the problem, it significantly reduces the number of false positive detections of unknown objects.


title: Socratic Models: Composing Zero-Shot Multimodal Reasoning with Language

abstract: Large pretrained (e.g., "foundation") models exhibit distinct capabilities depending on the domain of data they are trained on. While these domains are generic, they may only barely overlap. For example, visual-language models (VLMs) are trained on Internet-scale image captions, but large language models (LMs) are further trained on Internet-scale text with no images (e.g., spreadsheets, SAT questions, code). As a result, these models store different forms of commonsense knowledge across different domains. In this work, we show that this diversity is symbiotic, and can be leveraged through Socratic Models (SMs): a modular framework in which multiple pretrained models may be composed zero-shot i.e., via multimodal-informed prompting, to exchange information with each other and capture new multimodal capabilities, without requiring finetuning. With minimal engineering, SMs are not only competitive with state-of-the-art zero-shot image captioning and video-to-text retrieval, but also enable new applications such as (i) answering free-form questions about egocentric video, (ii) engaging in multimodal assistive dialogue with people (e.g., for cooking recipes) by interfacing with external APIs and databases (e.g., web search), and (iii) robot perception and planning.


title: Hamiltonian of mean force in the weak-coupling and high-temperature approximations and refined quantum master equations

abstract: The Hamiltonian of mean force is a widely used concept to describe the modification of the usual canonical Gibbs state for a quantum system whose coupling strength with the thermal bath is non-negligible. Here we perturbatively derive general approximate expressions for the Hamiltonians of mean force in the weak-coupling approximation and in the high-temperature one. We numerically analyse the accuracy of the corresponding expressions and show that the precision of the Bloch-Redfield equantum master equation can be improved if we replace the original system Hamiltonian by the Hamiltonian of mean force.


title: Traversability, Reconfiguration, and Reachability in the Gadget Framework

abstract: Consider an agent traversing a graph of "gadgets", each with local state that changes with each traversal by the agent. We characterize the complexity of universal traversal, where the goal is to traverse every gadget at least once, for DAG gadgets, one-state gadgets, and reversible deterministic gadgets. We also study the complexity of reconfiguration, where the goal is to bring the system of gadgets to a specified state, proving many cases PSPACE-complete, and showing in some cases that reconfiguration can be strictly harder than reachability (where the goal is for the agent to reach a specified location), while in other cases, reachability is strictly harder than reconfiguration.


title: Dipole-dipole Interactions Through a Lens

abstract: We study the fluctuation-mediated interactions between two atoms in the presence of an aplanatic lens, demonstrating an enhancement in their resonant dipole-dipole interaction. We derive the field propagation of the linear optical system in terms of the electromagnetic Green's tensor for an aplanatic lens. The collective internal atomic dynamics is analyzed via a Lindblad master equation, which allows one to characterize the dispersive and dissipative interactions between atoms. We thus demonstrate that the resonant dipole-dipole coupling between the atoms can be enhanced in the focal plane of the lens, and the lens-modified energy exchange between the atoms can create a mutual trapping potential. Our work opens new avenues for expanding dipole-dipole interactions to macroscopic scales and the experimental platforms to study them.


title: Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing

abstract: We introduce Perceval, an open-source software platform for simulating and interfacing with discrete-variable photonic quantum computers, and describe its main features and components. Its Python front-end allows photonic circuits to be composed from basic photonic building blocks like photon sources, beam splitters, phase-shifters and detectors. A variety of computational back-ends are available and optimised for different use-cases. These use state-of-the-art simulation techniques covering both weak simulation, or sampling, and strong simulation. We give examples of Perceval in action by reproducing a variety of photonic experiments and simulating photonic implementations of a range of quantum algorithms, from Grover's and Shor's to examples of quantum machine learning. Perceval is intended to be a useful toolkit for experimentalists wishing to easily model, design, simulate, or optimise a discrete-variable photonic experiment, for theoreticians wishing to design algorithms and applications for discrete-variable photonic quantum computing platforms, and for application designers wishing to evaluate algorithms on available state-of-the-art photonic quantum computers.


title: The OCEAN mailing list data set: Network analysis spanning mailing lists and code repositories

abstract: Communication surrounding the development of an open source project largely occurs outside the software repository itself. Historically, large communities often used a collection of mailing lists to discuss the different aspects of their projects. Multimodal tool use, with software development and communication happening on different channels, complicates the study of open source projects as a sociotechnical system. Here, we combine and standardize mailing lists of the Python community, resulting in 954,287 messages from 1995 to the present. We share all scraping and cleaning code to facilitate reproduction of this work, as well as smaller datasets for the Golang (122,721 messages), Angular (20,041 messages) and Node.js (12,514 messages) communities. To showcase the usefulness of these data, we focus on the CPython repository and merge the technical layer (which GitHub account works on what file and with whom) with the social layer (messages from unique email addresses) by identifying 33% of GitHub contributors in the mailing list data. We then explore correlations between the valence of social messaging and the structure of the collaboration network. We discuss how these data provide a laboratory to test theories from standard organizational science in large open source projects.


title: Quantized GAN for Complex Music Generation from Dance Videos

abstract: We present Dance2Music-GAN (D2M-GAN), a novel adversarial multi-modal framework that generates complex musical samples conditioned on dance videos. Our proposed framework takes dance video frames and human body motions as input, and learns to generate music samples that plausibly accompany the corresponding input. Unlike most existing conditional music generation works that generate specific types of mono-instrumental sounds using symbolic audio representations (e.g., MIDI), and that usually rely on pre-defined musical synthesizers, in this work we generate dance music in complex styles (e.g., pop, breaking, etc.) by employing a Vector Quantized (VQ) audio representation, and leverage both its generality and high abstraction capacity of its symbolic and continuous counterparts. By performing an extensive set of experiments on multiple datasets, and following a comprehensive evaluation protocol, we assess the generative qualities of our proposal against alternatives. The attained quantitative results, which measure the music consistency, beats correspondence, and music diversity, demonstrate the effectiveness of our proposed method. Last but not least, we curate a challenging dance-music dataset of in-the-wild TikTok videos, which we use to further demonstrate the efficacy of our approach in real-world applications -- and which we hope to serve as a starting point for relevant future research.


title: Towards an Acoustic Geometry in Slightly Viscous Fluids

abstract: We explore the behaviour of barotropic and irrotational fluids with a small viscosity under the effect of first-order acoustic perturbations. We discuss, following the extant literature, the difficulties in gleaning an acoustic geometry in the presence of viscosity. In order to obviate various technical encumbrances, when viscosity is present, for an extraction of a possible acoustic geometry, we adopted a method of double perturbations, whereby dynamical quantities such as the velocity field and potential undergo a perturbation both in viscosity and in an external acoustic stimulus. The resulting perturbation equations yield a solution which can be interpreted in terms of a generalised acoustic geometry, over and above the one known for inviscid fluids.


title: Anomalous buoyancy of quantum bubbles in immiscible Bose mixtures

abstract: Buoyancy is a well-known effect in immiscible binary Bose-Einstein condensates. Depending on the differential confinement experienced by the two components, a bubble of one component sitting at the center of the other eventually floats to the surface, around which it spreads either totally or partially. We discuss how quantum fluctuations may significantly change the volume and position of immiscible bubbles. We consider the particular case of two miscible components, forming a pseudo-scalar bubble condensate with enhanced quantum fluctuations (quantum bubble), immersed in a bath provided by a third component, with which they are immiscible. We show that in such a peculiar effective binary mixture, quantum fluctuations change the equilibrium of pressures that define the bubble volume and modify as well the criterion for buoyancy. Once buoyancy sets in, in contrast to the mean-field case, quantum fluctuations may place the bubble at an intermediate position between the center and the surface. At the surface, the quantum bubble may transition into a floating self-bound droplet.


title: From Statistical to Causal Learning

abstract: We describe basic ideas underlying research to build and understand artificially intelligent systems: from symbolic approaches via statistical learning to interventional models relying on concepts of causality. Some of the hard open problems of machine learning and AI are intrinsically related to causality, and progress may require advances in our understanding of how to model and infer causality from data.


title: Silting theory under change of rings

abstract: The main goal of this paper is to compare the silting theory of an $R$-algebra $\Lambda$ over a Noetherian ring $R$ with that of its tensor product $\Lambda \otimes \Gamma$ with another $R$-algebra $\Gamma$. In the case that the $R$-algebra $\Lambda$ is Noetherian, $R$ a complete local ring and $\mathfrak{a}$ a certain ideal of the ring $R$, we obtain an isomorphism between the silting poset of $\Lambda$ and that of its quotient $\Lambda \otimes R/ \mathfrak{a}$. Furthermore, we study the restrictions of such a bijection to tilting complexes and deduce silting embedding and descent results for the algebra $\Lambda$ and a certain family of algebras $(\Lambda \otimes \Gamma_i)_{i \in I}$.