title: Adversarial synthesis based data-augmentation for code-switched spoken language identification

abstract: Spoken Language Identification (LID) is an important sub-task of Automatic Speech Recognition(ASR) that is used to classify the language(s) in an audio segment. Automatic LID plays an useful role in multilingual countries. In various countries, identifying a language becomes hard, due to the multilingual scenario where two or more than two languages are mixed together during conversation. Such phenomenon of speech is called as code-mixing or code-switching. This nature is followed not only in India but also in many Asian countries. Such code-mixed data is hard to find, which further reduces the capabilities of the spoken LID. Hence, this work primarily addresses this problem using data augmentation as a solution on the on the data scarcity of the code-switched class. This study focuses on Indic language code-mixed with English. Spoken LID is performed on Hindi, code-mixed with English. This research proposes Generative Adversarial Network (GAN) based data augmentation technique performed using Mel spectrograms for audio data. GANs have already been proven to be accurate in representing the real data distribution in the image domain. Proposed research exploits these capabilities of GANs in speech domains such as speech classification, automatic speech recognition, etc. GANs are trained to generate Mel spectrograms of the minority code-mixed class which are then used to augment data for the classifier. Utilizing GANs give an overall improvement on Unweighted Average Recall by an amount of 3.5% as compared to a Convolutional Recurrent Neural Network (CRNN) classifier used as the baseline reference.


title: Colliding fields in two-dimensional dilaton gravity background

abstract: In the 1+1-dimensional dilatonic background of Callan et al. \cite{Callan1992}, we collide fields. Real and ghost fields are considered separately. The colliding ghost fields in the lineland creates particle-like wormholes. These structures, however, collapse to a black hole whenever the supporting ghosts are removed.


title: Non-Iterative Recovery from Nonlinear Observations using Generative Models

abstract: In this paper, we aim to estimate the direction of an underlying signal from its nonlinear observations following the semi-parametric single index model (SIM). Unlike conventional compressed sensing where the signal is assumed to be sparse, we assume that the signal lies in the range of an $L$-Lipschitz continuous generative model with bounded $k$-dimensional inputs. This is mainly motivated by the tremendous success of deep generative models in various real applications. Our reconstruction method is non-iterative (though approximating the projection step may use an iterative procedure) and highly efficient, and it is shown to attain the near-optimal statistical rate of order $\sqrt{(k \log L)/m}$, where $m$ is the number of measurements. We consider two specific instances of the SIM, namely noisy $1$-bit and cubic measurement models, and perform experiments on image datasets to demonstrate the efficacy of our method. In particular, for the noisy $1$-bit measurement model, we show that our non-iterative method significantly outperforms a state-of-the-art iterative method in terms of both accuracy and efficiency.


title: Variable importance without impossible data

abstract: The most popular methods for measuring importance of the variables in a black box prediction algorithm make use of synthetic inputs that combine predictor variables from multiple subjects. These inputs can be unlikely, physically impossible, or even logically impossible. As a result, the predictions for such cases can be based on data very unlike any the black box was trained on. We think that users cannot trust an explanation of the decision of a prediction algorithm when the explanation uses such values. Instead we advocate a method called Cohort Shapley that is grounded in economic game theory and unlike most other game theoretic methods, it uses only actually observed data to quantify variable importance. Cohort Shapley works by narrowing the cohort of subjects judged to be similar to a target subject on one or more features. We illustrate it on an algorithmic fairness problem where it is essential to attribute importance to protected variables that the model was not trained on.


title: Generalized Interacting Dark Energy Model and Loop Quantum Cosmology

abstract: The recently observed accelerated expansion of the universe has put a challenge for its theoretical understanding. As a possible explanation of this, it is considered that the most part of the present universe is filled with a form of energy that exerts a negative pressure called dark energy, which drives the acceleration. In the present work, we assume a dynamical dark energy model, where dark energy interacts with matter and grows at the expense of the latter. Using this model, we discuss the evolution of the universe within the context of loop quantum cosmology. Our work successfully explains the presently observed accelerated expansion of the universe, by predicting that the present universe is phantom dominated. We also found that in the past, the expansion of the universe was decelerated one and transition from deceleration to acceleration would occur at $t_{q=0}=0.688t_0$, where $t_0$ is the present age of the universe. Again, our analysis predicted that at the transition time, the universe would be dominated with quintessence type dark energy.


title: Hierarchies of Reward Machines

abstract: Reward machines (RMs) are a recent formalism for representing the reward function of a reinforcement learning task through a finite-state machine whose edges encode subgoals of the task using high-level events. The structure of RMs enables the decomposition of a task into simpler and independently solvable subtasks that help tackle long-horizon and/or sparse reward tasks. We propose a formalism for further abstracting the subtask structure by endowing an RM with the ability to call other RMs, thus composing a hierarchy of RMs (HRM). We exploit HRMs by treating each call to an RM as an independently solvable subtask using the options framework, and describe a curriculum-based method to learn HRMs from traces observed by the agent. Our experiments reveal that exploiting a handcrafted HRM leads to faster convergence than with a flat HRM, and that learning an HRM is feasible in cases where its equivalent flat representation is not.


title: Binary Dynamics from Worldline QFT for Scalar-QED

abstract: We investigate the worldline quantum field theory (WQFT) formalism for scalar-QED and observe that a generating function emerges from WQFT, from which the scattering angle ensues. This generating function bears important similarities with the radial action in that it requires no consideration of exponentiation of lower-order contributions. We demonstrate the computations of this generating function and the resulting scattering angle of a binary system coupled to electromagnetic field up to the third order in the Post-Minkowskian expansion (3PM).expansion (3PM).


title: Multiplicity results for $p$-Kirchhoff modified Schr\"odinger equations with Stein-Weiss type critical nonlinearity in $\mathbb R^N$

abstract: In this article we study modified Kirchhoff-Schr\"odinger equations involving critical Stein-Weiss type nonlinearity and $p$-Laplacian


title: Propagation of spin channel waves

abstract: A mutilated model is constructed to approximate the collision term of spin Boltzmann equation that incorporates newly appearing collisional invariants i.e, the total angular momentum. With recourse to degenerate perturbation theory, the dispersion relations of hydrodynamic modes are formulated, among which spin modes are responsible for spin equilibration. We find that the non-locality does not change the sound speed but slows down the propagation of spin channel waves. The damping rates of spin modes are close to those of spinless modes over a reasonable parameter value range. The results reveal that both spin and momentum should be treated simultaneously in a unified transport framework. In the nonrelativistic limit, the short-wavelength behavior for normal modes is also explored and there exists a critical point for every distinct discrete mode over which only quasiparticle modes contribute.


title: The movable cone of Calabi--Yau threefolds in ruled Fano manifolds

abstract: We describe explicitly the chamber structure of the movable cone for a general complete intersection Calabi--Yau threefold in a non-split $(n + 4)$-dimensional $\mathbb{P}^{n}$-ruled Fano manifold of index $n + 1$ and Picard number two. Moreover, all birational minimal models of such Calabi--Yau threefolds are found whose number is finite.


title: Dropbear: Machine Learning Marketplaces made Trustworthy with Byzantine Model Agreement

abstract: Marketplaces for machine learning (ML) models are emerging as a way for organizations to monetize models. They allow model owners to retain control over hosted models by using cloud resources to execute ML inference requests for a fee, preserving model confidentiality. Clients that rely on hosted models require trustworthy inference results, even when models are managed by third parties. While the resilience and robustness of inference results can be improved by combining multiple independent models, such support is unavailable in today's marketplaces. We describe Dropbear, the first ML model marketplace that provides clients with strong integrity guarantees by combining results from multiple models in a trustworthy fashion. Dropbear replicates inference computation across a model group, which consists of multiple cloud-based GPU nodes belonging to different model owners. Clients receive inference certificates that prove agreement using a Byzantine consensus protocol, even under model heterogeneity and concurrent model updates. To improve performance, Dropbear batches inference and consensus operations separately: it first performs the inference computation across a model group, before ordering requests and model updates. Despite its strong integrity guarantees, Dropbear's performance matches that of state-of-the-art ML inference systems: deployed across 3 cloud sites, it handles 800 requests/s with ImageNet models.


title: Evolution equation for elastic scattering of hadrons

abstract: We turn high energy elastic scattering of hadrons into an initial value problem using an evolution equation based on the Regge Field Theory, which has a form of the complex nonlinear reaction-diffusion equation, with time being played by the logarithm of energy. The initial conditions are provided by the data-driven models for the real and imaginary parts of the amplitude. Numerical calculations of pp differential cross sections and forward quantities for LHC energies agree very well with experimental data extending up to, and including the diffractive cone. Furthermore, we show that at current accessible energies the non-linear effects play an important role, as the impact parameter space profiles approach the unitarity bound. The equation also predicts some other effects discussed in the literature, like the hollowness of nuclear matter or existence of stationary points in momentum transfer t.


title: Hierarchically Constrained Adaptive Ad Exposure in Feeds

abstract: A contemporary feed application usually provides blended results of organic items and sponsored items~(ads) to users. Conventionally, ads are exposed at fixed positions. Such a static exposure strategy is inefficient due to ignoring users' personalized preferences towards ads. To this end, adaptive ad exposure has become an appealing strategy to boost the overall performance of the feed. However, existing approaches to implementing the adaptive ad exposure still suffer from several limitations: 1) they usually fall into sub-optimal solutions because of only focusing on request-level optimization without consideration of the long-term application-level performance and constraints, 2) they neglect the necessity of keeping the game-theoretical properties of ad auctions, which may lead to anarchy in bidding, and 3) they can hardly be deployed in large-scale applications due to high computational complexity. In this paper, we focus on long-term performance optimization under hierarchical constraints in feeds and formulate the adaptive ad exposure as a Dynamic Knapsack Problem. We propose an effective approach: Hierarchically Constrained Adaptive Ad Exposure~(HCA2E). We present that HCA2E possesses desired game-theoretical properties, computational efficiency, and performance robustness. Comprehensive offline and online experiments on a leading e-commerce application demonstrate the significant performance superiority of HCA2E over representative baselines. HCA2E has also been deployed on this application to serve millions of daily users.


title: Optimized Distortion and Proportional Fairness in Voting

abstract: A voting rule decides on a probability distribution over a set of m alternatives, based on rankings of those alternatives provided by agents. We assume that agents have cardinal utility functions over the alternatives, but voting rules have access to only the rankings induced by these utilities. We evaluate how well voting rules do on measures of social welfare and of proportional fairness, computed based on the hidden utility functions. In particular, we study the distortion of voting rules, which is a worst-case measure. It is an approximation ratio comparing the utilitarian social welfare of the optimum outcome to the social welfare produced by the outcome selected by the voting rule, in the worst case over possible input profiles and utility functions that are consistent with the input. The previous literature has studied distortion with unit-sum utility functions (which are normalized to sum to 1), and left a small asymptotic gap in the best possible distortion. Using tools from the theory of fair multi-winner elections, we propose the first voting rule which achieves the optimal distortion $\Theta(\sqrt{m})$ for unit-sum utilities. Our voting rule also achieves optimum $\Theta(\sqrt{m})$ distortion for a larger class of utilities, including unit-range and approval (0/1) utilities. We then take a worst-case approach to a quantitative measure of the fairness of a voting rule, called proportional fairness. Informally, it measures whether the influence of cohesive groups of agents on the voting outcome is proportional to the group size. We show that there is a voting rule which, without knowledge of the utilities, can achieve a $\Theta(\log m)$-approximation to proportional fairness, and thus also to Nash welfare and to the core, making it interesting for applications in participatory budgeting. For all three approximations, we show that $\Theta(\log m)$ is the best possible.


title: Investigating the Role of Image Retrieval for Visual Localization -- An exhaustive benchmark

abstract: Visual localization, i.e., camera pose estimation in a known scene, is a core component of technologies such as autonomous driving and augmented reality. State-of-the-art localization approaches often rely on image retrieval techniques for one of two purposes: (1) provide an approximate pose estimate or (2) determine which parts of the scene are potentially visible in a given query image. It is common practice to use state-of-the-art image retrieval algorithms for both of them. These algorithms are often trained for the goal of retrieving the same landmark under a large range of viewpoint changes which often differs from the requirements of visual localization. In order to investigate the consequences for visual localization, this paper focuses on understanding the role of image retrieval for multiple visual localization paradigms. First, we introduce a novel benchmark setup and compare state-of-the-art retrieval representations on multiple datasets using localization performance as metric. Second, we investigate several definitions of "ground truth" for image retrieval. Using these definitions as upper bounds for the visual localization paradigms, we show that there is still sgnificant room for improvement. Third, using these tools and in-depth analysis, we show that retrieval performance on classical landmark retrieval or place recognition tasks correlates only for some but not all paradigms to localization performance. Finally, we analyze the effects of blur and dynamic scenes in the images. We conclude that there is a need for retrieval approaches specifically designed for localization paradigms. Our benchmark and evaluation protocols are available at https://github.com/naver/kapture-localization.


title: Knowledge Enhanced Neural Networks for relational domains

abstract: In the recent past, there has been a growing interest in Neural-Symbolic Integration frameworks, i.e., hybrid systems that integrate connectionist and symbolic approaches to obtain the best of both worlds. In this work we focus on a specific method, KENN (Knowledge Enhanced Neural Networks), a Neural-Symbolic architecture that injects prior logical knowledge into a neural network by adding on its top a residual layer that modifies the initial predictions accordingly to the knowledge. Among the advantages of this strategy, there is the inclusion of clause weights, learnable parameters that represent the strength of the clauses, meaning that the model can learn the impact of each rule on the final predictions. As a special case, if the training data contradicts a constraint, KENN learns to ignore it, making the system robust to the presence of wrong knowledge. In this paper, we propose an extension of KENN for relational data. One of the main advantages of KENN resides in its scalability, thanks to a flexible treatment of dependencies between the rules obtained by stacking multiple logical layers. We show experimentally the efficacy of this strategy. The results show that KENN is capable of increasing the performances of the underlying neural network, obtaining better or comparable accuracies in respect to other two related methods that combine learning with logic, requiring significantly less time for learning.


title: Exact Feature Collisions in Neural Networks

abstract: Predictions made by deep neural networks were shown to be highly sensitive to small changes made in the input space where such maliciously crafted data points containing small perturbations are being referred to as adversarial examples. On the other hand, recent research suggests that the same networks can also be extremely insensitive to changes of large magnitude, where predictions of two largely different data points can be mapped to approximately the same output. In such cases, features of two data points are said to approximately collide, thus leading to the largely similar predictions. Our results improve and extend the work of Li et al.(2019), laying out theoretical grounds for the data points that have colluding features from the perspective of weights of neural networks, revealing that neural networks not only suffer from features that approximately collide but also suffer from features that exactly collide. We identify the necessary conditions for the existence of such scenarios, hereby investigating a large number of DNNs that have been used to solve various computer vision problems. Furthermore, we propose the Null-space search, a numerical approach that does not rely on heuristics, to create data points with colliding features for any input and for any task, including, but not limited to, classification, localization, and segmentation.


title: SymFormer: End-to-end symbolic regression using transformer-based architecture

abstract: Many real-world problems can be naturally described by mathematical formulas. The task of finding formulas from a set of observed inputs and outputs is called symbolic regression. Recently, neural networks have been applied to symbolic regression, among which the transformer-based ones seem to be the most promising. After training the transformer on a large number of formulas (in the order of days), the actual inference, i.e., finding a formula for new, unseen data, is very fast (in the order of seconds). This is considerably faster than state-of-the-art evolutionary methods. The main drawback of transformers is that they generate formulas without numerical constants, which have to be optimized separately, so yielding suboptimal results. We propose a transformer-based approach called SymFormer, which predicts the formula by outputting the individual symbols and the corresponding constants simultaneously. This leads to better performance in terms of fitting the available data. In addition, the constants provided by SymFormer serve as a good starting point for subsequent tuning via gradient descent to further improve the performance. We show on a set of benchmarks that SymFormer outperforms two state-of-the-art methods while having faster inference.


title: Strategic Classification with Graph Neural Networks

abstract: Strategic classification studies learning in settings where users can modify their features to obtain favorable predictions. Most current works focus on simple classifiers that trigger independent user responses. Here we examine the implications of learning with more elaborate models that break the independence assumption. Motivated by the idea that applications of strategic classification are often social in nature, we focus on \emph{graph neural networks}, which make use of social relations between users to improve predictions. Using a graph for learning introduces inter-user dependencies in prediction; our key point is that strategic users can exploit these to promote their goals. As we show through analysis and simulation, this can work either against the system -- or for it. Based on this, we propose a differentiable framework for strategically-robust learning of graph-based classifiers. Experiments on several real networked datasets demonstrate the utility of our approach.


title: Higher harmonic resistance oscillations in micro-bridge superconducting Nb ring

abstract: We studied resistance oscillations in two types of superconducting mesoscopic Nb rings. In a simple superconducting ring device, a resistance oscillation with a period of the quantized magnetic flux h/2e was clearly observed. On the other hand, in a micro-bridge ring device where two-narrow parts are embedded in parallel and work as superconductor-normal metal-superconductor junctions, higher harmonic resistance oscillations were obtained when the measurement current was well-tuned. We argue that such higher harmonic resistance oscillations can be detected even in the micro-bridge Nb superconducting ring device where the device size is much larger than the coherence length of Nb.


title: Quality Characteristics of a Software Platform for Human-AI Teaming in Smart Manufacturing

abstract: As AI-enabled software systems become more prevalent in smart manufacturing, their role shifts from a reactive to a proactive one that provides context-specific support to machine operators. In the context of an international research project, we develop an AI-based software platform that shall facilitate the collaboration between human operators and manufacturing machines. We conducted 14 structured interviews with stakeholders of the prospective software platform in order to determine the individual relevance of selected quality characteristics for human-AI teaming in smart manufacturing. These characteristics include the ISO 25010:2011 standard for software quality and AI-specific quality characteristics such as trustworthiness, explicability, and auditability. The interviewees rated trustworthiness, functional suitability, reliability, and security as the most important quality characteristics for this context, and portability, compatibility, and maintainability as the least important. Also, we observed agreement regarding the relevance of the quality characteristics among interviewees having the same role. On the other hand, the relevance of each quality characteristics varied depending on the concrete use case of the prospective software platform. The interviewees also were asked about the key success factors related to human-AI teaming in smart manufacturing. They identified improving the production cycle, increasing operator efficiency, reducing scrap, and reducing ergonomic risks as key success criteria. In this paper, we also discuss metrics for measuring the fulfillment of these quality characteristics, which we intend to operationalize and monitor during operation of the prospective software platform.


title: SAMURAI: Shape And Material from Unconstrained Real-world Arbitrary Image collections

abstract: Inverse rendering of an object under entirely unknown capture conditions is a fundamental challenge in computer vision and graphics. Neural approaches such as NeRF have achieved photorealistic results on novel view synthesis, but they require known camera poses. Solving this problem with unknown camera poses is highly challenging as it requires joint optimization over shape, radiance, and pose. This problem is exacerbated when the input images are captured in the wild with varying backgrounds and illuminations. Standard pose estimation techniques fail in such image collections in the wild due to very few estimated correspondences across images. Furthermore, NeRF cannot relight a scene under any illumination, as it operates on radiance (the product of reflectance and illumination). We propose a joint optimization framework to estimate the shape, BRDF, and per-image camera pose and illumination. Our method works on in-the-wild online image collections of an object and produces relightable 3D assets for several use-cases such as AR/VR. To our knowledge, our method is the first to tackle this severely unconstrained task with minimal user interaction. Project page: https://markboss.me/publication/2022-samurai/ Video: https://youtu.be/LlYuGDjXp-8


title: Concept-level Debugging of Part-Prototype Networks

abstract: Part-prototype Networks (ProtoPNets) are concept-based classifiers designed to achieve the same performance as black-box models without compromising transparency. ProtoPNets compute predictions based on similarity to class-specific part-prototypes learned to recognize parts of training examples, making it easy to faithfully determine what examples are responsible for any target prediction and why. However, like other models, they are prone to picking up confounders and shortcuts from the data, thus suffering from compromised prediction accuracy and limited generalization. We propose ProtoPDebug, an effective concept-level debugger for ProtoPNets in which a human supervisor, guided by the model's explanations, supplies feedback in the form of what part-prototypes must be forgotten or kept, and the model is fine-tuned to align with this supervision. Our experimental evaluation shows that ProtoPDebug outperforms state-of-the-art debuggers for a fraction of the annotation cost. An online experiment with laypeople confirms the simplicity of the feedback requested to the users and the effectiveness of the collected feedback for learning confounder-free part-prototypes. ProtoPDebug is a promising tool for trustworthy interactive learning in critical applications, as suggested by a preliminary evaluation on a medical decision making task.


title: Matrix-free Monolithic Multigrid Methods for Stokes and Generalized Stokes Problems

abstract: We consider the widely used continuous $\mathcal{Q}_{k}$-$\mathcal{Q}_{k-1}$ quadrilateral or hexahedral Taylor-Hood elements for the finite element discretization of the Stokes and generalized Stokes systems in two and three spatial dimensions. For the fast solution of the corresponding symmetric, but indefinite system of finite element equations, we propose and analyze matrix-free monolithic geometric multigrid solvers that are based on appropriately scaled Chebyshev-Jacobi smoothers. The analysis is based on results by Sch\"oberl and Zulehner (2003). We present and discuss several numerical results for typical benchmark problems.


title: First search for the absorption of fermionic dark matter with the PandaX-4T experiment

abstract: Compared with the signature of dark matter elastic scattering off nuclei, the absorption of fermionic dark matter by nuclei opens up a new searching channel for light dark matter with a characteristic monoenergetic signal. In this Letter, we explore the $95.0$-day data from the PandaX-4T commissioning run and report the first dedicated searching results of the fermionic dark matter absorption signal through a neutral current process. No significant signal was found, and the lowest limit on the dark matter-nucleon interaction cross section is set to be $1.5\times10^{-50}$ cm$^2$ for a fermionic dark matter mass of $40$ MeV/$c^2$ with 90\% confidence level.


title: The hybrid approach -- Convolutional Neural Networks and Expectation Maximization Algorithm -- for Tomographic Reconstruction of Hyperspectral Images

abstract: We present a simple but novel hybrid approach to hyperspectral data cube reconstruction from computed tomography imaging spectrometry (CTIS) images that sequentially combines neural networks and the iterative Expectation Maximization (EM) algorithm. We train and test the ability of the method to reconstruct data cubes of $100\times100\times25$ and $100\times100\times100$ voxels, corresponding to 25 and 100 spectral channels, from simulated CTIS images generated by our CTIS simulator. The hybrid approach utilizes the inherent strength of the Convolutional Neural Network (CNN) with regard to noise and its ability to yield consistent reconstructions and make use of the EM algorithm's ability to generalize to spectral images of any object without training. The hybrid approach achieves better performance than both the CNNs and EM alone for seen (included in CNN training) and unseen (excluded from CNN training) cubes for both the 25- and 100-channel cases. For the 25 spectral channels, the improvements from CNN to the hybrid model (CNN + EM) in terms of the mean-squared errors are between 14-26%. For 100 spectral channels, the improvements between 19-40% are attained with the largest improvement of 40% for the unseen data, to which the CNNs are not exposed during the training.


title: Hyperbolic Anderson model 2: Strichartz estimates and Stratonovich setting

abstract: We study a wave equation in dimension $d\in \{1,2\}$ with a multiplicative space-time Gaussian noise. The existence and uniqueness of the Stratonovich solution is obtained under some conditions imposed on the Gaussian noise. The strategy is to develop some Strichartz type estimates for the wave kernel in weighted Besov spaces, by which we can prove the wellposedness of an associated Young-type equation. Those Strichartz bounds are of independent interest.


title: Analytical model for collision probability assessments with large satellite constellations

abstract: This paper presents an analytical model for collision probability assessments between de-orbiting or injecting space objects and satellite constellations. Considering the first to be subjected to a continuous tangential acceleration, its spiraling motion would result in a series of close approaches in the proximity of a constellation. The proposed methodology involves the integration of the collision probability density function on the encounter plane, from which two analytical formulas, one for the number of close approaches and one for their respective average collision probability, are obtained. The mathematical description of the crossing dynamics relies on the assumption of circular orbits and independent collision probabilities, but does not require to propagate the satellites' orbit. A comparison with a conventional propagation method has been performed for validation purposes, proving its accuracy also in case of elliptical crossing orbits. The model developed has been used to assess the risk connected to constellation's satellites replacement, once they have reached their programmed End-of-Life. The environmental impact of the full replacement of 12 approved constellations is analysed by means of average collision probability. In particular, it is shown that the key features for space exploitation sustainability are the maximum propulsion available from the thruster, the selection of an optimal crossing orbit and the true anomaly phases between constellations' and crossing satellites. The consequences of an in-orbit collision are also investigated by assessing the collision risk generated by the formation of a debris cloud. The results corroborate the need for international standards for space traffic management as an exponentially increasing satellites population could trigger a chain reaction of collisions, making LEO inaccessible for decades.


title: One-dimensional projection of two-dimensional systems using spiral boundary conditions

abstract: We introduce spiral boundary conditions (SBCs) as a useful tool for handling the shape of finite-size periodic clusters. Using SBCs, a lattice model for more than two dimensions can be exactly projected onto a one-dimensional (1D) periodic chain with translational invariance. Hence, the existing 1D techniques such as density-matrix renormalization group (DMRG), bosonization, Jordan-Wigner transformation, etc., can be effectively applied to the projected 1D model. First, we describe the 1D projection scheme for the two-dimensional (2D) square- and honeycomb-lattice tight-binding models in real and momentum space. Next, we discuss how the density of states and the ground-state energy approach their thermodynamic limits. Finally, to demonstrate the utility of SBCs in DMRG simulations, we estimate the magnitude of staggered magnetization of the 2D XXZ Heisenberg model as a function of XXZ anisotropy.


title: Quantization dimensions of compactly supported probability measures via R\'enyi dimensions

abstract: We provide a complete picture of the upper quantization dimension in terms of the R\'enyi dimension by proving that the upper quantization dimension $\bar{D}_{r}(\nu)$ of order $r>0$ for an arbitrary compactly supported Borel probability measure $\nu$ is given by its R\'enyi dimension at the point $q_{r}$ where the $L^{q}$-spectrum of $\nu$ and the line through the origin with slope $r$ intersect. In particular, this proves the continuity of $r\mapsto\bar{D}_{r}(\nu)$ as conjectured by Lindsay (2001). This viewpoint also sheds new light on the connection of the quantization problem with other concepts from fractal geometry in that we obtain a one-to-one correspondence of the upper quantization dimension and the $L^{q}$-spectrum restricted to $\left(0,1\right)$. We give sufficient conditions in terms of the $L^{q}$-spectrum for the existence of the quantization dimension. In this way we show as a byproduct that the quantization dimension exists for every Gibbs measure with respect to a $\mathcal{C}^{1}$-self- conformal iterated function system on $\mathbb{R}^{d}$ without any assumption on the separation conditions as well as for inhomogeneous self-similar measures under the inhomogeneous open sets condition. Some known general bounds on the quantization dimension in terms of other fractal dimensions can readily be derived from our new approach, some can be improved.


title: Accelerated Black Holes beyond Maxwell's Electrodynamics

abstract: Theories of non-linear electrodynamics naturally describe deviations from Maxwell's theory in the strong field regime. Among these, of special interest is the recently discovered ModMax electrodynamics, which is a unique 1-parametric generalization of Maxwell's theory that possesses the conformal invariance as well as the electromagnetic duality. In this paper we construct the asymptotically AdS accelerated black holes in this theory and study their thermodynamics - providing thus a first example of accelerated solutions coupled to non-linear electrodynamics. Our study opens a window towards studying radiative spacetimes in non-linear electromagnetic regime as well as raises new challenges for their corresponding holographic interpretation.


title: Cavity-based reservoir engineering for Floquet-engineered superconducting circuits

abstract: Considering the example of superconducting circuits, we show how Floquet engineering can be combined with reservoir engineering for the controlled preparation of target states. Floquet engineering refers to the control of a quantum system by means of time-periodic forcing, typically in the high-frequency regime, so that the system is governed effectively by a time-independent Floquet Hamiltonian with novel interesting properties. Reservoir engineering, on the other hand, can be achieved in superconducting circuits by coupling a system of artificial atoms (or qubits) dispersively to pumped leaky cavities, so that the induced dissipation guides the system into a desired target state. It is not obvious that the two approaches can be combined, since reaching the dispersive regime, in which system and cavities exchange excitations only virtually, can be spoiled by driving-induced resonant transitions. However, working in the extended Floquet space and treating both system-cavity coupling as well as driving-induced excitation processes on the same footing perturbatively, we identify regimes, where reservoir engineering of targeted Floquet states is possible and accurately described by an effective time-independent master equation. We successfully benchmark our approach for the preparation of the ground state in a system of interacting bosons subjected to Floquet engineered magnetic fields in different lattice geometries.


title: Maximum likelihood kinetic Sunyaev Zel'dovich velocity reconstruction

abstract: The kinetic Sunyaev Zel'dovich (kSZ) effect, cosmic microwave background (CMB) temperature anisotropies induced by the scattering of CMB photons from free electrons, will be measured by near-term CMB experiments at high significance. By combining CMB temperature anisotropies with a tracer of structure, such as a galaxy redshift survey, previous literature introduced a number of techniques to reconstruct the radial velocity field. This reconstructed radial velocity field encapsulates the majority of the cosmological information contained in the kSZ temperature anisotropies, and can provide powerful new tests of the standard cosmological model and theories beyond it. In this paper, we introduce a new estimator for the radial velocity field based on a coarse-grained maximum likelihood fit for the kSZ component of the temperature anisotropies, given a tracer of the optical depth. We demonstrate that this maximum likelihood estimator yields a higher fidelity reconstruction than existing quadratic estimators in the low-noise and high-resolution regime targeted by upcoming CMB experiments. We describe implementations of the maximum likelihood estimator in both harmonic space and map space, using either direct measurements of the optical depth field or a galaxy survey as a tracer. We comment briefly on the impact of biases introduced by imperfect reconstruction of the optical depth field.


title: A Replication Study on Predicting Metamorphic Relations at Unit Testing Level

abstract: Metamorphic Testing (MT) addresses the test oracle problem by examining the relations between inputs and outputs of test executions. Such relations are known as Metamorphic Relations (MRs). In current practice, identifying and selecting suitable MRs is usually a challenging manual task, requiring a thorough grasp of the SUT and its application domain. Thus, Kanewala et al. proposed the Predicting Metamorphic Relations (PMR) approach to automatically suggest MRs from a list of six pre-defined MRs for testing newly developed methods. PMR is based on a classification model trained on features extracted from the control-flow graph (CFG) of 100 Java methods. In our replication study, we explore the generalizability of PMR. First, we rebuild the entire preprocessing and training pipeline and repeat the original study in a close replication to verify the reported results and establish the basis for further experiments. Second, we perform a conceptual replication to explore the reusability of the PMR model trained on CFGs from Java methods in the first step for functionally identical methods implemented in Python and C++. Finally, we retrain the model on the CFGs from the Python and C++ methods to investigate the dependence on programming language and implementation details. We were able to successfully replicate the original study achieving comparable results for the Java methods set. However, the prediction performance of the Java-based classifiers significantly decreases when applied to functionally equivalent Python and C++ methods despite using only CFG features to abstract from language details. Since the performance improved again when the classifiers were retrained on the CFGs of the methods written in Python and C++, we conclude that the PMR approach can be generalized, but only when classifiers are developed starting from code artefacts in the used programming language.


title: Co-Training for Unsupervised Domain Adaptation of Semantic Segmentation Models

abstract: Semantic image segmentation is a central and challenging task in autonomous driving, addressed by training deep models. Since this training draws to a curse of human-based image labeling, using synthetic images with automatically generated labels together with unlabeled real-world images is a promising alternative. This implies to address an unsupervised domain adaptation (UDA) problem. In this paper, we propose a new co-training procedure for synth-to-real UDA of semantic segmentation models. It consists of a self-training stage, which provides two domain-adapted models, and a model collaboration loop for the mutual improvement of these two models. These models are then used to provide the final semantic segmentation labels (pseudo-labels) for the real-world images. The overall procedure treats the deep models as black boxes and drives their collaboration at the level of pseudo-labeled target images, i.e., neither modifying loss functions is required, nor explicit feature alignment. We test our proposal on standard synthetic and real-world datasets for on-board semantic segmentation. Our procedure shows improvements ranging from ~13 to ~26 mIoU points over baselines, so establishing new state-of-the-art results.


title: Four-Four Maxwell Equations

abstract: Electromagnetism is the energy originating from an electric charge. Our purpose is to enlarge Maxwell. Include the charge transfer phenomenology. A four bosons electromagnetism is derived. An EM completeness is achieved. The charge's set $\{+,0,-\}$ is intermediated by a quadruplet $\{A_{\mu}, U_{\mu}, V^{\pm}_{\mu}\}$. They are the usual photon $A_{\mu}$, massive photon $U_{\mu}$ and charged photons $V^{\pm}_{\mu}$. A new electric charge symmetry arises. It is ruled by an extended abelian symmetry $U_{q}\equiv U(1)\times SO(2)_{global}$. It generates a Lagrangian and three distinct Noether equations. An EM beyond charge-based emerges. Similarly, as mass is related to Newton laws, electric charge corresponds to the symmetry equation. Its associativity is more than being a coupling constant. It holds a field's flux. Maxwell is expanded. Amp\`ere, Faraday, and Gauss laws are improved. Nonlinear granular and collective fields strengths were introduced. Potential fields are explicit. Polarization and magnetization vectors from first principles. New induced Faraday laws. Monopoles depend on fields. Spin-1 and spin-0 sectors separated covariants. The quadruplet completeness encodes a new EM energy. A journey from Maxwell to photonics is expressed. Seven EM integrated regimes are coursed. Maxwell, systemic, nonlinear, neutral, spintronics, electroweak, photonics. A new relationship for colliding light-light and light-matter appears. Selfinteracting photons are introduced.


title: Benchmarks for infinite medium, time dependent transport problems with isotropic scattering

abstract: The widely used AZURV1 transport benchmarks package provides a suite of solutions to isotropic scattering transport problems with a variety of initial conditions (Ganapol 2001). Most of these solutions have an initial condition that is a Dirac delta function in space; as a result these benchmarks are challenging problems to use for verification tests in computer codes. Nevertheless, approximating a delta function in simulation often leads to low orders of convergence and the inability to test the convergence of high-order numerical methods. While there are examples in the literature of integration of these solutions as Green's functions for the transport operator to produce results for more easily simulated sources, they are limited in scope and briefly explained. For a sampling of initial conditions and sources, we present solutions for the uncollided and collided scalar flux to facilitate accurate testing of source treatment in numerical solvers. The solution for the uncollided scalar flux is found in analytic form for some sources. Since integrating the Green's functions is often nontrivial, discussion of integration difficulty and workarounds to find convergent integrals is included. Additionally, our uncollided solutions can be used as source terms in verification studies, in a similar way to the method of manufactured solutions.


title: Likelihood-Free Inference with Generative Neural Networks via Scoring Rule Minimization

abstract: Bayesian Likelihood-Free Inference methods yield posterior approximations for simulator models with intractable likelihood. Recently, many works trained neural networks to approximate either the intractable likelihood or the posterior directly. Most proposals use normalizing flows, namely neural networks parametrizing invertible maps used to transform samples from an underlying base measure; the probability density of the transformed samples is then accessible and the normalizing flow can be trained via maximum likelihood on simulated parameter-observation pairs. A recent work [Ramesh et al., 2022] approximated instead the posterior with generative networks, which drop the invertibility requirement and are thus a more flexible class of distributions scaling to high-dimensional and structured data. However, generative networks only allow sampling from the parametrized distribution; for this reason, Ramesh et al. [2022] follows the common solution of adversarial training, where the generative network plays a min-max game against a "critic" network. This procedure is unstable and can lead to a learned distribution underestimating the uncertainty - in extreme cases collapsing to a single point. Here, we propose to approximate the posterior with generative networks trained by Scoring Rule minimization, an overlooked adversarial-free method enabling smooth training and better uncertainty quantification. In simulation studies, the Scoring Rule approach yields better performances with shorter training time with respect to the adversarial framework.


title: Dynamical Loop Equation

abstract: We introduce dynamical versions of loop (or Dyson-Schwinger) equations for large families of two--dimensional interacting particle systems, including Dyson Brownian motion, Nonintersecting Bernoulli/Poisson random walks, $\beta$--corners processes, uniform and Jack-deformed measures on Gelfand-Tsetlin patterns, Macdonald processes, and $(q,\kappa)$-distributions on lozenge tilings. Under technical assumptions, we show that the dynamical loop equations lead to Gaussian field type fluctuations. As an application, we compute the limit shape for $(q,\kappa)$--distributions on lozenge tilings and prove that their height fluctuations converge to the Gaussian Free Field in an appropriate complex structure.


title: The MARTY user interface for the calculation of general Wilson coefficients

abstract: The calculation of one-loop Wilson coefficients for general Beyond the Standard Model (BSM) scenarios is a technical challenge often addressed by doing long and error prone analytical calculations by hand. Several software programs already provide squared amplitude calculations at the loop-level, but few of them are also able to derive general loop-level Wilson coefficients necessary e.g. for the study of quark decays in flavor physics. MARTY, a computer program that automates tree-level and one-loop perturbative calculations for general BSM scenarios can in particular be used to obtain such Wilson coefficients. We present in details the simple user interface allowing to derive common Wilson coefficients in MARTY, and the most general use case of MARTY to extract the coefficient of any effective operator.


title: Anisotropy driven response of skyrmion lattice in MnSc$_2$S$_4$ to applied magnetic fields

abstract: We theoretically and experimentally study the stability of the unconventional fractional antiferromagnetic skyrmion lattice (AF-SkL) in Mn$_2$S$_4$ spinel under magnetic fields applied along the $[$1-10$]$ crystal direction. By performing numerical Monte Carlo simulations for the minimal effective spin model that we proposed in Ref. [S. Gao, et al., Nature 586, 37-41 (2020)], we show that the skyrmion lattice is aligned within the equivalent and symmetric $[$1-11$]$ or $[$1-11$]$ planes, which are equally inclined to the applied magnetic field. We attribute this behavior to the magnetic anisotropy of the host material. Neutron single crystal diffraction presents a very good agreement with the predictions of the effective model. It reveals that the topological spin texture gets destabilized at low temperatures and moderate magnetic fields and is replaced by a conical phase for B// $[$1-10$]$. The present study elucidates the central role of the magnetic anisotropy in the stabilization of antiferromagnetic skyrmionic states.


title: On the (crossed) Burnside ring of profinite groups

abstract: In this paper we investigate some properties of the Burnside ring of a profinite group as defined in \cite{ds}. We introduce the notion of the crossed Burnside ring of a profinite FC-group, and generalise some results from finite to profinite (FC-)groups. In our investigations, we also obtain results on profinite FC-groups which may be of independent interest.


title: Anisotropic signatures of the electronic correlations in the electrical resistivity of UTe$_2$

abstract: Multiple unconventional superconducting phases are suspected to be driven by magnetic fluctuations in the heavy-fermion paramagnet UTe$_2$, and a challenge is to identify the signatures of the electronic correlations, including the magnetic fluctuations, in the bulk physical quantities. Here, we investigate thoroughly the anisotropy of the electrical resistivity of UTe$_2$ under intense magnetic fields up to 70~T, for different electrical-current and magnetic-field configurations. Two characteristic temperatures and an anisotropic low-temperature Fermi-liquid-like coefficient $A$, controlled by the electronic correlations, are extracted. Their critical behavior near the metamagnetic transition induced at $\mu_0H_m\simeq35$~T for $\mathbf{H}\parallel\mathbf{b}$ is characterized. Anisotropic scattering processes are evidenced and magnetic fluctuations are proposed to contribute, via a Kondo hybridization, to the electrical resistivity. Our work appeals for a microscopic modeling of the anisotropic contributions to the electrical resistivity as a milestone for understanding magnetically-mediated superconductivity in UTe$_2$.


title: Optimal Searcher Distribution for Parallel Random Target Searches

abstract: We consider a problem of finding a target located in a finite $d$-dimensional domain, using $N$ independent random walkers, when partial information on the target location is given as a probability distribution. When $N$ is large, the first-passage time sensitively depends on the initial searcher distribution, which invokes the question of what is the optimal searcher distribution that minimizes the first-passage time. Here, we analytically derive the equation for the optimal distribution and explore its limiting expressions. If the target volume can be ignored, the optimal distribution is proportional to the target distribution to the power of one-third. If we consider a target of a finite volume and the probability of initial overlapping of searchers with the target cannot be ignored in the large $N$ limit, the optimal distribution has a weak dependence on the target distribution, given as a logarithm of the target distribution. Using Langevin dynamics simulations, we numerically demonstrate our predictions in one- and two-dimensions.


title: On the stochastic thermodynamics of fractional Brownian motion

abstract: This paper is concerned with the stochastic thermodynamics of non-equilibrium Gaussian processes that can exhibit anomalous diffusion. In the systems considered, the noise correlation function is not necessarily related to friction. Thus, there is no conventional fluctuation-dissipation relation (FDR) of the second kind and no unique way to define a temperature. We start from a Markovian process with time-dependent diffusivity (an example being scaled Brownian motion). It turns out that standard stochastic thermodynamic notions can be applied rather straightforwardly by introducing a time-dependent temperature, yielding the integral fluctuation relation. We then proceed to our focal system, that is, a particle undergoing fractional Brownian motion (FBM). In this system, the noise is Gaussian but the noise correlation function is nonlocal in time, defining a non- Markovian process. We analyse in detail the consequences when using the conventional notions of stochastic thermodynamics with a constant medium temperature. In particular, the heat calculated from dissipation into the medium differs from the log ratio of path probabilities of forward and backward motion, yielding a deviation from the standard integral fluctuation relation for the total entropy production if the latter is defined via system entropy and heat exchange. These apparent inconsistencies can be circumvented by formally defining a time-nonlocal temperature that fulfils a generalized FDR. To shed light on the rather abstract quantities resulting from the latter approach we perform a perturbation expansion. This allows us to calculate analytically, up to linear order, the generalized temperature and the corresponding heat exchange. By this, we provide explicit expressions and a physical interpretation for the leading corrections induced by non-Markovianity.


title: A Survey of Deep Fake Detection for Trial Courts

abstract: Recently, image manipulation has achieved rapid growth due to the advancement of sophisticated image editing tools. A recent surge of generated fake imagery and videos using neural networks is DeepFake. DeepFake algorithms can create fake images and videos that humans cannot distinguish from authentic ones. (GANs) have been extensively used for creating realistic images without accessing the original images. Therefore, it is become essential to detect fake videos to avoid spreading false information. This paper presents a survey of methods used to detect DeepFakes and datasets available for detecting DeepFakes in the literature to date. We present extensive discussions and research trends related to DeepFake technologies.


title: Galactic chemical evolution of exoplanet host stars: Are high-mass planetary systems young?

abstract: The imprints of stellar nucleosynthesis and chemical evolution of the galaxy can be seen in different stellar populations, with older generation stars showing higher $\alpha$-element abundances while the later generations becoming enriched with iron-peak elements. The evolutionary connections and chemical characteristics of circumstellar disks, stars, and their planetary companions can be inferred by studying the interdependence of planetary and host star properties. Numerous studies in the past have confirmed that high-mass giant planets are commonly found around metal-rich stars, while the stellar hosts of low-mass planets have a wide range of metallicity. In this work, we analyzed the detailed chemical abundances for a sample of $>900$ exoplanet hosting stars drawn from different radial velocity and transit surveys. We correlate the stellar abundance trends for $\alpha$ and iron-peak elements with the planets' mass. We find the planet mass-abundance correlation to be primarily negative for $\alpha$-elements and marginally positive or zero for the iron-peak elements, indicating that stars hosting giant planets are relatively younger. This is further validated by the age of the host stars obtained from isochrone fitting. The later enrichment of protoplanetary material with iron and iron-peak elements is also consistent with the formation of the giant planets via the core accretion process. A higher metal fraction in the protoplanetary disk is conducive to rapid core growth, thus providing a plausible route for the formation of giant planets. This study, therefore, indicates the observed trends in stellar abundances and planet mass are most likely a natural consequence of Galactic chemical evolution.


title: Combined explanations of $B$-physics anomalies, $(g-2)_{e, \mu}$ and neutrino masses by scalar leptoquarks

abstract: We extend the contents of the standard model (SM) by introducing TeV-scale scalar leptoquarks to generate neutrino masses and explain some current observed deviations from the SM predictions, including the anomalous magnetic moments of charged leptons (electron and muon) and $B$-physics anomalies ($R_{K^{(*)}}$ and $R_{D^{(*)}}$). The model consists of $\text{SU}(2)_L$ singlet leptoquark $S_1\sim (\bar{3}, 1, 1/3)$, doublet leptoquark $\tilde{R}_2\sim (3, 2, 1/6)$ and triplet leptoquark $S_3\sim (\bar{3}, 3, 1/3)$. We combine the constraints arising from the low-energy lepton flavor violation, meson decay and mixing observables. We perform a detailed phenomenological analysis and identify the minimized texture of leptoquark Yukawa matrices to accommodate a unified explanation of the anomalies and neutrino oscillation data.


title: A Meta Reinforcement Learning Approach for Predictive Autoscaling in the Cloud

abstract: Predictive autoscaling (autoscaling with workload forecasting) is an important mechanism that supports autonomous adjustment of computing resources in accordance with fluctuating workload demands in the Cloud. In recent works, Reinforcement Learning (RL) has been introduced as a promising approach to learn the resource management policies to guide the scaling actions under the dynamic and uncertain cloud environment. However, RL methods face the following challenges in steering predictive autoscaling, such as lack of accuracy in decision-making, inefficient sampling and significant variability in workload patterns that may cause policies to fail at test time. To this end, we propose an end-to-end predictive meta model-based RL algorithm, aiming to optimally allocate resource to maintain a stable CPU utilization level, which incorporates a specially-designed deep periodic workload prediction model as the input and embeds the Neural Process to guide the learning of the optimal scaling actions over numerous application services in the Cloud. Our algorithm not only ensures the predictability and accuracy of the scaling strategy, but also enables the scaling decisions to adapt to the changing workloads with high sample efficiency. Our method has achieved significant performance improvement compared to the existing algorithms and has been deployed online at Alipay, supporting the autoscaling of applications for the world-leading payment platform.


title: The GAPS Programme with HARPS-N at TNG. XXXV. Fundamental properties of transiting exoplanet host stars

abstract: Exoplanetary properties depend on stellar properties: to know the planet with accuracy and precision it is necessary to know the star as accurately and precisely as possible. Our immediate aim is to characterize in a homogeneous and accurate way a sample of 27 transiting planet-hosting stars observed within the GAPS program. We determined stellar parameters (effective temperature, surface gravity, rotational velocity) and abundances of 26 elements (Li,C,N,O,Na,Mg,Al,Si,S,Ca,Sc,Ti,V,Cr,Fe,Mn,Co,Ni,Cu,Zn,Y,Zr,Ba,La,Nd,Eu). Our study is based on high-resolution HARPS-N@TNG and FEROS@ESO spectra and uniform techniques. We derived kinematic properties from Gaia data and estimated for the first time in exoplanet host stars ages using elemental ratios as chemical clocks. Teff of our stars is of 4400-6700 K, while [Fe/H] is within -0.3 and 0.4 dex. Lithium is present in 7 stars. [X/H] and [X/Fe] abundances vs [Fe/H] are consistent with the Galactic Chemical Evolution. The dependence of [X/Fe] with the condensation temperature is critically analyzed with respect to stellar and kinematic properties. All targets with measured C and O abundances show C/O<0.8, compatible with Si present in rock-forming minerals. Most of targets show 1.0<Mg/Si<1.5, compatible with Mg distributed between olivine and pyroxene. HAT-P-26, the target hosting the lowest-mass planet, shows the highest Mg/Si ratio. From our chemo-dinamical analysis we find agreement between ages and position within the Galactic disk. We note a tendency for higher density planets to be around metal-rich stars and hints of higher stellar abundances of some volatiles for lower mass planets. We cannot exclude that part of our results could be also related to the location of the stars within the Galactic disk. We trace the planetary migration scenario from the composition of the planets related to the chemical composition of the hosting stars


title: Generalized Effective String Rope Model for the initial stages of Ultra-Relativistic Heavy Ion Collisions

abstract: We present a Generalized Effective String Rope Model (GESRM) for the description of the initial state of relativistic heavy ion collisions. We start from the Effective String Rope Model (ESRM) and take into account fluctuations in the initial state following the Glauber Monte Carlo approach. Results from symmetric Au+Au collisions at different impact parameters and asymmetric A+Au head on collisions are presented at RHIC energies. The produced initial state is used as an initial condition for further hydrodynamical calculations.


title: Exact solution of the $\Phi_{2}^{3}$ finite matrix model

abstract: We find the exact solutions of the $\Phi_{2}^{3}$ finite matrix model (Grosse-Wulkenhaar model). In the $\Phi_{2}^{3}$ finite matrix model, multipoint correlation functions are expressed as $G_{|a_{1}^{1}\ldots a_{N_{1}}^{1}|\ldots|a_{1}^{B}\ldots a_{N_{B}}^{B}|}$. The $\displaystyle \sum_{i=1}^{B}N_{i}$-point function denoted by $G_{|a_{1}^{1}\ldots a_{N_{1}}^{1}|\ldots|a_{1}^{B}\ldots a_{N_{B}}^{B}|}$ is given by the sum over all Feynman diagrams (ribbon graphs) on Riemann surfaces with $B$-boundaries, and each $|a^{i}_{1}\cdots a^{i}_{N_{i}}|$ corresponds to the Feynman diagrams having $N_{i}$-external lines from the $i$-th boundary. It is known that any $G_{|a_{1}^{1}\ldots a_{N_{1}}^{1}|\ldots|a_{1}^{B}\ldots a_{N_{B}}^{B}|}$ can be expressed using $G_{|a^{1}|\ldots|a^{n}|}$ type $n$-point functions. Thus we focus on rigorous calculations of $G_{|a^{1}|\ldots|a^{n}|}$. The formula for $G_{|a^{1}|\ldots|a^{n}|}$ is obtained, and it is achieved by using the partition function $\mathcal{Z}[J]$ calculated by the Harish-Chandra-Itzykson-Zuber integral. We give $G_{|a|}$, $G_{|ab|}$, $G_{|a|b|}$, and $G_{|a|b|c|}$ as the specific simple examples. All of them are described by using the Airy functions.


title: On multiclass spatial birth-and-death processes with wireless-type interactions

abstract: This paper studies a multiclass spatial birth-and-death (SBD) processes on a compact region of the Euclidean plane modeling wireless interactions. In this model, users arrive at a constant rate and leave at a rate function of the interference created by other users in the network. The novelty of this work lies in the addition of service differentiation, inspired by bandwidth partitioning present in 5G networks: users are allocated a fixed number of frequency bands and only interfere with transmissions on these bands. The first result of the paper is the determination of the critical user arrival rate below which the system is stochastically stable, and above which it is unstable. The analysis requires symmetry assumptions which are defined in the paper. The proof for this result uses stochastic monotonicity and fluid limit models. The monotonicity allows one to bound the dynamics from above and below by two adequate discrete-state Markov jump processes, for which we obtain stability and instability results using fluid limits. This leads to a closed form expression for the critical arrival rate. The second contribution consists in two heuristics to estimate the steady-state densities of all classes of users in the network: the first one relies on a Poisson approximation of the steady-state processes. The second one uses a cavity approximation leveraging second-order moment measures, which leads to more accurate estimates of the steady-state user densities. The Poisson heuristic also gives a good estimate for the critical arrival rate.


title: Transparency and enhancement in fast and slow light in $q$-deformed optomechanical system

abstract: Nonclassical phenomena can be enhanced by introducing $q$-deformation in optomechanical systems. This motivates investigation of the optical response in a $q$-deformed linearly coupled optomechanical system. The system consists of two deformed cavities that are linearly coupled to the motion of mechanical mirrors, and the cavities are coupled to each other by transmission strength parameter. This study shows that compared to non-deformed cases, the deformed system exhibits more rapid phase transition at the positions of transparency windows, causing stronger and enhanced fast and slow light phenomena. Moreover, in the region $0<q<0.5$, the optomechanical system results in gain. Additionally, for a fixed deformation of cavities, by tuning the tunneling strength and optomechanical coupling, one can observe a delay and advancement in probe field in the order of milliseconds and even above milliseconds for fine-tuning of the coupling parameters. Finally, the bridge between mathematical and physical models is built by assuming the deformation to be a primitive root of unity, which indicates a class of anyon models. These results demonstrate that $q$-deformation provides a novel method for manipulating and significantly enhancing optical phenomena not only in arbitrarily deformed optomechanical systems but also in anyon models.


title: Longitudinal single-bunch instabilities driven by coherent undulator radiation in the cavity modulator of a steady-state microbunching storage ring

abstract: Recently a mechanism of storage ring operation based on the steady-state microbunching has been proposed and investigated, which contains a laser cavity modulator providing the longitudinal focusing for the circulating microbunches. In this paper we analyze the impact of the coherent undulator radiation on the longitudinal single-bunch multi-turn collective dynamics, exploring a new possible instability mechanism. We formulate the multi-turn equations of motion for the single microbunch as two sets of difference equations in the modulator and in the remaining storage ring. The dispersion equation can then be obtained by introduction of the undulator-averaged phase space coordinates. The predicted instability growth rate shows reasonable agreement with the numerical turn-by-turn tracking simulations provided validity of the underlying assumptions. The analysis shall provide some insights for the coherent undulator radiation driven multi-turn instability in the cavity modulator. Differences between such a new instability mechanism and the Robinson instability in a conventional radio-frequency-based storage ring are also discussed.


title: AdaTask: Adaptive Multitask Online Learning

abstract: We introduce and analyze AdaTask, a multitask online learning algorithm that adapts to the unknown structure of the tasks. When the $N$ tasks are stochastically activated, we show that the regret of AdaTask is better, by a factor that can be as large as $\sqrt{N}$, than the regret achieved by running $N$ independent algorithms, one for each task. AdaTask can be seen as a comparator-adaptive version of Follow-the-Regularized-Leader with a Mahalanobis norm potential. Through a variational formulation of this potential, our analysis reveals how AdaTask jointly learns the tasks and their structure. Experiments supporting our findings are presented.


title: Mass evaluation for red giant stars based on the spectroscopically determined atmospheric parameters

abstract: The mass (M) of a star can be evaluated from its spectroscopically determined effective temperature (T _eff) and metallicity ([Fe/H]) along with the luminosity (L; derived from parallax), while comparing them with grids of theoretical evolutionary tracks. It has been argued, however, that such a track-based mass (M_trk) may tend to be overestimated for the case of red giants. Meanwhile, there is an alternative approach of evaluating mass (M_gLT) directly from surface gravity (g), L, and T_eff. The practical reliability of M_gLT was examined for ~100 benchmark giants in the Kepler field, for which atmospheric parameters are already determined and the reliable mass (M_seis) along with the evolutionary status are known from asteroseismology. In addition, similar check was also made for the accuracy of M_trk for comparison. It turned out that, while a reasonable correlation is seen between M_gLT and M_seis almost irrespective of the stellar property, its precision is rather insufficient because log(M_gLT/M_seis) distributes rather widely within ~+/-0.2--0.3dex. In contrast, the reliability of M_trk was found to depend on the evolutionary status. Although M_trk and M_seis are satisfactorily consistent with each other (typical dispersion of log(M_trk}/M_seis) is within ~+/-0.1dex) for H-burning red giants as well as He-burning 2nd clump giants of higher mass, M_trk tends to be considerably overestimated as compared to M_seis by up to ~<0.4~dex for He-burning 1st clump giants of lower mass. Accordingly, M_gLT and M_trk are complementary with each other in terms of their characteristic merit and demerit.


title: Deformation of the myocardium during CPR

abstract: Cardiopulmonary resuscitation (CPR) is an emergency procedure performed on patients during cardiac and respiratory arrest. This procedure externally activates the cardiac and respiratory systems via the delivery of chest compression and artificial ventilation. As the main purpose of CPR is to recirculate the blood flow, prediction of the myocardium behavior has great importance. This prediction allows us to have a better understanding of the needed force to recirculate blood without hurting the heart. Finite element method offer the possibility of noninvasive quantification of myocardial deformation. This method is attractive to use for the assessment of myocardial function. To investigate the behavior of the heart wall, a 3D model of thoracic organs has been prepared using medical images. In this study, to simulate the behavior of different organs, Code-Aster open software is used. For every organ, the material properties are defined. The most important parameters in the study are displacement, normal stress, and Von-Mises stress in the myocardium. Using these parameters, displacement and stress distribution have been predicted. Effects of the applied force on the chest during CPR and deformation of the myocardium have been predicted by the finite element model. A linear deformation is observable for each organ during force application. Besides, the final location of the heart and ribs and also involved parameters in predicting myocardium deformation are extracted from the model simulations. This finite element model enables us to have a good vision of the deformation of the myocardium during CPR. Using this method, it is possible to predict the deformation of every part of the heart, especially right and left ventricles.


title: Collaborative Sensing in Perceptive Mobile Networks: Opportunities and Challenges

abstract: With the development of innovative applications that demand accurate environment information, e.g., autonomous driving, sensing becomes an important requirement for future wireless networks. To this end, integrated sensing and communication (ISAC) provides a promising platform to exploit the synergy between sensing and communication, where perceptive mobile networks (PMNs) were proposed to add accurate sensing capability to existing wireless networks. The well-developed cellular networks offer exciting opportunities for sensing, including large coverage, strong computation and communication power, and most importantly networked sensing, where the perspectives from multiple sensing nodes can be collaboratively utilized for sensing the same target. However, PMNs also face big challenges such as the inherent interference between sensing and communication, the complex sensing environment, and the tracking of high-speed targets by cellular networks. This paper provides a comprehensive review on the design of PMNs, covering the popular network architectures, sensing protocols, standing research problems, and available solutions. Several future research directions that are critical for the development of PMNs are also discussed.


title: Hofer's distance between eggbeaters and autonomous Hamiltonian diffeomorphisms on surfaces

abstract: Let $\Sigma$ be a compact surface of genus $g \geq 1$ equipped with an area form. We construct eggbeater Hamiltonian diffeomorphisms which lie arbitrarily far in the Hofer metric from the set of autonomous Hamiltonians. This result is already known for $g \geq 2$ (our argument provides an alternative, very simple construction compared to previous publications) while the case $g = 1$ is new.


title: A characterization of the n-dimensional torus via intrinsically harmonic forms

abstract: The $n$-torus is the the unique closed manifold supporting a set of $n$ linearly independent closed $1$-forms. In this paper we improve on this result and show that the torus is the unique closed $n$-dimensional manifold supporting a linearly independent set consisting of $(n-1)$ closed $1$-forms whose product determines a non-zero cohomological class.


title: Volatility Models for Stylized Facts of High-Frequency Financial Data

abstract: This paper introduces novel volatility diffusion models to account for the stylized facts of high-frequency financial data such as volatility clustering, intra-day U-shape, and leverage effect. For example, the daily integrated volatility of the proposed volatility process has a realized GARCH structure with an asymmetric effect on log-returns. To further explain the heavy-tailedness of the financial data, we assume that the log-returns have a finite $2b$-th moment for $b \in (1,2]$. Then, we propose a Huber regression estimator which has an optimal convergence rate of $n^{(1-b)/b}$. We also discuss how to adjust bias coming from Huber loss and show its asymptotic properties.


title: Feature Learning in $L_{2}$-regularized DNNs: Attraction/Repulsion and Sparsity

abstract: We study the loss surface of DNNs with $L_{2}$ regularization. We show that the loss in terms of the parameters can be reformulated into a loss in terms of the layerwise activations $Z_{\ell}$ of the training set. This reformulation reveals the dynamics behind feature learning: each hidden representations $Z_{\ell}$ are optimal w.r.t. to an attraction/repulsion problem and interpolate between the input and output representations, keeping as little information from the input as necessary to construct the activation of the next layer. For positively homogeneous non-linearities, the loss can be further reformulated in terms of the covariances of the hidden representations, which takes the form of a partially convex optimization over a convex cone. This second reformulation allows us to prove a sparsity result for homogeneous DNNs: any local minimum of the $L_{2}$-regularized loss can be achieved with at most $N(N+1)$ neurons in each hidden layer (where $N$ is the size of the training set). We show that this bound is tight by giving an example of a local minimum that requires $N^{2}/4$ hidden neurons. But we also observe numerically that in more traditional settings much less than $N^{2}$ neurons are required to reach the minima.


title: The maximum number of copies of an even cycle in a planar graph

abstract: We resolve a conjecture of Cox and Martin by determining asymptotically for every $k\ge 2$ the maximum number of copies of $C_{2k}$ in an $n$-vertex planar graph.


title: Structure-imposed electronic topology in cove-edged graphene nanoribbons

abstract: In cove-edged zigzag graphene nanoribbons (ZGNR-C), one terminal CH group per length unit is removed on each zigzag edge, forming a regular pattern of coves which controls their electronic structure. Based on three structural parameters that unambiguously characterize the atomistic structure of ZGNR-C, we present a scheme that classifies their electronic state, i.e., if they are metallic, topological insulators or trivial semiconductors, for all possible widths N, unit lengths a and cove position offsets at both edges b, thus showing the direct structure-electronic structure relation. We further present an empirical formula to estimate the band gap of the semiconducting ribbons from N, a, and b. Finally, we identify all geometrically possible ribbon terminations and provide rules to construct ZGNR-C with well-defined electronic structure.


title: GateNLP-UShef at SemEval-2022 Task 8: Entity-Enriched Siamese Transformer for Multilingual News Article Similarity

abstract: This paper describes the second-placed system on the leaderboard of SemEval-2022 Task 8: Multilingual News Article Similarity. We propose an entity-enriched Siamese Transformer which computes news article similarity based on different sub-dimensions, such as the shared narrative, entities, location and time of the event discussed in the news article. Our system exploits a Siamese network architecture using a Transformer encoder to learn document-level representations for the purpose of capturing the narrative together with the auxiliary entity-based features extracted from the news articles. The intuition behind using all these features together is to capture the similarity between news articles at different granularity levels and to assess the extent to which different news outlets write about "the same events". Our experimental results and detailed ablation study demonstrate the effectiveness and the validity of our proposed method.


title: A Coxeter type classification of Dynkin type $\mathbb{A}_n$ non-negative posets

abstract: We continue the Coxeter spectral analysis of finite connected posets $I$ that are non-negative in the sense that their symmetric Gram matrix $G_I:=\frac{1}{2}(C_I + C_I^{tr})\in\mathbb{M}_{m}(\mathbb{Q})$ is positive semi-definite of rank $n\geq 0$, where $C_I\in\mathbb{M}_m(\mathbb{Z})$ is the incidence matrix of $I$ encoding the relation $\preceq_I$. We extend the results of [Fundam. Inform., 139.4(2015), 347--367] and give a complete Coxeter spectral classification of finite connected posets $I$ of Dynkin type $\mathbb{A}_n$. We show that such posets $I$, with $|I|>1$, yield exactly $\lfloor\frac{m}{2}\rfloor$ Coxeter types, one of which describes the positive (i.e., with $n=m$) ones. We give an exact description and calculate the number of posets of every type. Moreover, we prove that, given a pair of such posets $I$ and $J$, the incidence matrices $C_I$ and $C_J$ are $\mathbb{Z}$-congruent if and only if $\mathbf{specc}_I = \mathbf{specc}_J$, and present deterministic algorithms that calculate a $\mathbb{Z}$-invertible matrix defining such a $\mathbb{Z}$-congruence in a polynomial time.


title: Contrasting quadratic assignments for set-based representation learning

abstract: The standard approach to contrastive learning is to maximize the agreement between different views of the data. The views are ordered in pairs, such that they are either positive, encoding different views of the same object, or negative, corresponding to views of different objects. The supervisory signal comes from maximizing the total similarity over positive pairs, while the negative pairs are needed to avoid collapse. In this work, we note that the approach of considering individual pairs cannot account for both intra-set and inter-set similarities when the sets are formed from the views of the data. It thus limits the information content of the supervisory signal available to train representations. We propose to go beyond contrasting individual pairs of objects by focusing on contrasting objects as sets. For this, we use combinatorial quadratic assignment theory designed to evaluate set and graph similarities and derive set-contrastive objective as a regularizer for contrastive learning methods. We conduct experiments and demonstrate that our method improves learned representations for the tasks of metric learning and self-supervised classification.


title: Quartic Hamiltonians, and higher Hamiltonians at next-to-leading order, for the affine $\mathfrak{sl}_2$ Gaudin model

abstract: In this work we will use a general procedure to construct higher local Hamiltonians for the affine $\mathfrak{sl}_2$ Gaudin model. We focus on the first non-trivial example, the quartic Hamiltonians. We show by direct calculation that the quartic Hamiltonians commute amongst themselves and with the quadratic Hamiltonians which define the model. We go on to introduce a certain next-to-leading-order semi-classical limit of the model. In this limit, we are able to write down the full hierarchy of higher local Hamiltonians and prove that they commute.


title: Surface C, N, O, and Na abundances of RR Lyrae variables implying the nature of internal mixing in low-mass stars

abstract: Photospheric abundances of C, N, O, and Na were determined by applying the synthetic spectrum-fitting technique to 34 snap-shot high-dispersion spectra of 22 RR Lyr stars covering a metallicity range of -1.8 <[Fe/H] < 0.0, with an aim of investigating the mixing mechanism in the interior of low-mass giant stars by examining the abundance anomalies of these elements possibly affected by the evolution-induced dredge-up of nuclear burning products. Special attention was paid to check the recent theoretical stellar evolution simulations indicating the importance of thermohaline mixing in low-mass stars (M <~1 M_sun), which is expected to be more significant as the metallicity is lowered. By inspecting the resulting abundances in comparison with those of unevolved metal-poor dwarfs at the same metallicity, the deficiency in C as well as enrichment in N was confirmed (while O is almost unchanged), the extent of peculiarities tending to increase with a decrease in [Fe/H]. Accordingly, the [C/N] ratio turned out to progressively decrease towards lower metallicity from ~0 (Fe/H]~0) to ~-1 ([Fe/H]~-1.5), which is reasonably consistent with the theoretical prediction in the presence of thermohaline mixing. However, these RR Lyr stars do not show any apparent Na anomaly (i.e., essentially the same [Na/Fe] vs. [Fe/H] trends as those of dwarfs), despite that metallicity-dependent overabundance in Na is theoretically expected for the case of non-canonical mixing. This inconsistency between C/N and Na may suggest a necessity of further improvement in the current theory.


title: Enhanced self-phase modulation in silicon nitride waveguides integrated with 2D graphene oxide films

abstract: We experimentally demonstrate enhanced self-phase modulation (SPM) in silicon nitride (Si3N4) waveguides integrated with 2D graphene oxide (GO) films. GO films are integrated onto Si3N4 waveguides using a solution-based, transfer-free coating method that enables precise control of the film thickness. Detailed SPM measurements are carried out using both picosecond and femtosecond optical pulses. Owing to the high Kerr nonlinearity of GO, the hybrid waveguides show significantly improved spectral broadening compared to the uncoated waveguide, achieving a broadening factor of up to ~3.4 for a device with 2 layers of GO. By fitting the experimental results with theory, we obtain an improvement in the waveguide nonlinear parameter by a factor of up to 18.4 and a Kerr coefficient (n2) of GO that is about 5 orders of magnitude higher than Si3N4. Finally, we provide a theoretical analysis for the influence of GO film length, coating position, and its saturable absorption on the SPM performance. These results verify the effectiveness of on-chip integrating 2D GO films to enhance the nonlinear optical performance of Si3N4 devices.


title: Conditioning diffusion processes with respect to the local time at the origin

abstract: When the unconditioned process is a diffusion process $X(t)$ of drift $\mu(x)$ and of diffusion coefficient $D=1/2$, the local time $A(t)= \int_{0}^{t} d\tau \delta(X(\tau)) $ at the origin $x=0$ is one of the most important time-additive observable. We construct various conditioned processes $[X^*(t),A^*(t)]$ involving the local time $A^*(T)$ at the time horizon $T$. When the horizon $T$ is finite, we consider the conditioning towards the final position $X^*(T)$ and towards the final local time $A^*(T)$, as well as the conditioning towards the final local time $A^*(T)$ alone without any condition on the final position $X^*(T)$. In the limit of the infinite time horizon $T \to +\infty$, we consider the conditioning towards the finite asymptotic local time $A_{\infty}^*<+\infty$, as well as the conditioning towards the intensive local time $a^* $ corresponding to the extensive behavior $A_T \simeq T a^*$, that can be compared with the appropriate 'canonical conditioning' based on the generating function of the local time in the regime of large deviations. This general construction is then applied to generate various constrained stochastic trajectories for three unconditioned diffusions with different recurrence/transience properties : (i) the simplest example of transient diffusion corresponds to the uniform strictly positive drift $\mu(x)=\mu>0$; (ii) the simplest example of diffusion converging towards an equilibrium is given by the drift $\mu(x)=- \mu \, {\rm sgn}( x)$ of parameter $\mu>0$; (iii) the simplest example of recurrent diffusion that does not converge towards an equilibrium is the Brownian motion without drift $\mu=0$.


title: Do self-supervised speech models develop human-like perception biases?

abstract: Self-supervised models for speech processing form representational spaces without using any external labels. Increasingly, they appear to be a feasible way of at least partially eliminating costly manual annotations, a problem of particular concern for low-resource languages. But what kind of representational spaces do these models construct? Human perception specializes to the sounds of listeners' native languages. Does the same thing happen in self-supervised models? We examine the representational spaces of three kinds of state-of-the-art self-supervised models: wav2vec 2.0, HuBERT and contrastive predictive coding (CPC), and compare them with the perceptual spaces of French-speaking and English-speaking human listeners, both globally and taking account of the behavioural differences between the two language groups. We show that the CPC model shows a small native language effect, but that wav2vec 2.0 and HuBERT seem to develop a universal speech perception space which is not language specific. A comparison against the predictions of supervised phone recognisers suggests that all three self-supervised models capture relatively fine-grained perceptual phenomena, while supervised models are better at capturing coarser, phone-level, effects of listeners' native language, on perception.


title: Quantum annealing sampling with a bias field

abstract: The presence of a bias field, encoding some information about the target state, can enhance the performance of quantum optimization methods. Here we investigate the effect of such a bias field on the outcome of quantum annealing sampling, at the example of the exact cover problem. The sampling is carried out on a D-Wave machine, and different bias configurations are benchmarked against the unbiased sampling procedure. It is found that the biased annealing algorithm works particularly well for larger problem sizes, where the Hamming distance between bias and target configuration becomes less important. This work motivates future research efforts for finding good bias configurations, either on the quantum machine itself, or in a hybrid fashion via classical algorithms.


title: Unsupervised Image Representation Learning with Deep Latent Particles

abstract: We propose a new representation of visual data that disentangles object position from appearance. Our method, termed Deep Latent Particles (DLP), decomposes the visual input into low-dimensional latent ``particles'', where each particle is described by its spatial location and features of its surrounding region. To drive learning of such representations, we follow a VAE-based approach and introduce a prior for particle positions based on a spatial-softmax architecture, and a modification of the evidence lower bound loss inspired by the Chamfer distance between particles. We demonstrate that our DLP representations are useful for downstream tasks such as unsupervised keypoint (KP) detection, image manipulation, and video prediction for scenes composed of multiple dynamic objects. In addition, we show that our probabilistic interpretation of the problem naturally provides uncertainty estimates for particle locations, which can be used for model selection, among other tasks. Videos and code are available: https://taldatech.github.io/deep-latent-particles-web/


title: Intermediate Qutrit-based Improved Quantum Arithmetic Operations with Application on Financial Derivative Pricing

abstract: In some quantum algorithms, arithmetic operations are of utmost importance for resource estimation. In binary quantum systems, some efficient implementation of arithmetic operations like, addition/subtraction, multiplication/division, square root, exponential and arcsine etc. have been realized, where resources are reported as a number of Toffoli gates or T gates with ancilla. Recently it has been demonstrated that intermediate qutrits can be used in place of ancilla, allowing us to operate efficiently in the ancilla-free frontier zone. In this article, we have incorporated intermediate qutrit approach to realize efficient implementation of all the quantum arithmetic operations mentioned above with respect to gate count and circuit-depth without T gate and ancilla. Our resource estimates with intermediate qutrits could guide future research aimed at lowering costs considering arithmetic operations for computational problems. As an application of computational problems, related to finance, are poised to reap the benefit of quantum computers, in which quantum arithmetic circuits are going to play an important role. In particular, quantum arithmetic circuits of arcsine and square root are necessary for path loading using the re-parameterization method, as well as the payoff calculation for derivative pricing. Hence, the improvements are studied in the context of the core arithmetic circuits as well as the complete application of derivative pricing. Since our intermediate qutrit approach requires to access higher energy levels, making the design prone to errors, nevertheless, we show that the percentage decrease in the probability of error is significant owing to the fact that we achieve circuit robustness compared to qubit-only works.


title: Predicting non-native speech perception using the Perceptual Assimilation Model and state-of-the-art acoustic models

abstract: Our native language influences the way we perceive speech sounds, affecting our ability to discriminate non-native sounds. We compare two ideas about the influence of the native language on speech perception: the Perceptual Assimilation Model, which appeals to a mental classification of sounds into native phoneme categories, versus the idea that rich, fine-grained phonetic representations tuned to the statistics of the native language, are sufficient. We operationalize this idea using representations from two state-of-the-art speech models, a Dirichlet process Gaussian mixture model and the more recent wav2vec 2.0 model. We present a new, open dataset of French- and English-speaking participants' speech perception behaviour for 61 vowel sounds from six languages. We show that phoneme assimilation is a better predictor than fine-grained phonetic modelling, both for the discrimination behaviour as a whole, and for predicting differences in discriminability associated with differences in native language background. We also show that wav2vec 2.0, while not good at capturing the effects of native language on speech perception, is complementary to information about native phoneme assimilation, and provides a good model of low-level phonetic representations, supporting the idea that both categorical and fine-grained perception are used during speech perception.


title: Graph Backup: Data Efficient Backup Exploiting Markovian Transitions

abstract: The successes of deep Reinforcement Learning (RL) are limited to settings where we have a large stream of online experiences, but applying RL in the data-efficient setting with limited access to online interactions is still challenging. A key to data-efficient RL is good value estimation, but current methods in this space fail to fully utilise the structure of the trajectory data gathered from the environment. In this paper, we treat the transition data of the MDP as a graph, and define a novel backup operator, Graph Backup, which exploits this graph structure for better value estimation. Compared to multi-step backup methods such as $n$-step $Q$-Learning and TD($\lambda$), Graph Backup can perform counterfactual credit assignment and gives stable value estimates for a state regardless of which trajectory the state is sampled from. Our method, when combined with popular value-based methods, provides improved performance over one-step and multi-step methods on a suite of data-efficient RL benchmarks including MiniGrid, Minatar and Atari100K. We further analyse the reasons for this performance boost through a novel visualisation of the transition graphs of Atari games.


title: Dual solutions in convex stochastic optimization

abstract: This paper studies duality and optimality conditions for general convex stochastic optimization problems. The main result gives sufficient conditions for the absence of a duality gap and the existence of dual solutions in a locally convex space of random variables. It implies, in particular, the necessity of scenario-wise optimality conditions that are behind many fundamental results in operations research, stochastic optimal control and financial mathematics. Our analysis builds on the theory of Fr\'echet spaces of random variables whose topological dual can be identified with the direct sum of another space of random variables and a space of singular functionals. The results are illustrated by deriving sufficient and necessary optimality conditions for several more specific problem classes. We obtain significant extensions to earlier models e.g.\ on stochastic optimal control, portfolio optimization and mathematical programming.


title: Phonon decay in 1D atomic Bose quasicondensates via Beliaev-Landau damping

abstract: In a 1D Bose gas, there is no non-trivial scattering channel involving three Bogoliubov quasiparticles that conserves both energy and momentum. Nevertheless, we show that such 3-wave mixing processes (Beliaev and Landau damping) account for their decay via interactions with thermal fluctuations. Within an appropriate time window where the Fermi Golden Rule is expected to apply, the occupation number of the initially occupied mode decays exponentially and the rate takes a simple analytic form. The result is shown to compare favorably with simulations based on the Truncated Wigner Approximation. It is also shown that the same processes slow down the exponential growth of phonons induced by a parametric oscillation.


title: Robust Anytime Learning of Markov Decision Processes

abstract: Markov decision processes (MDPs) are formal models commonly used in sequential decision-making. MDPs capture the stochasticity that may arise, for instance, from imprecise actuators via probabilities in the transition function. However, in data-driven applications, deriving precise probabilities from (limited) data introduces statistical errors that may lead to unexpected or undesirable outcomes. Uncertain MDPs (uMDPs) do not require precise probabilities but instead use so-called uncertainty sets in the transitions, accounting for such limited data. Tools from the formal verification community efficiently compute robust policies that provably adhere to formal specifications, like safety constraints, under the worst-case instance in the uncertainty set. We continuously learn the transition probabilities of an MDP in a robust anytime-learning approach that combines a dedicated Bayesian inference scheme with the computation of robust policies. In particular, our method (1) approximates probabilities as intervals, (2) adapts to new data that may be inconsistent with an intermediate model, and (3) may be stopped at any time to compute a robust policy on the uMDP that faithfully captures the data so far. Furthermore, our method is capable of adapting to changes in the environment. We show the effectiveness of our approach and compare it to robust policies computed on uMDPs learned by the UCRL2 reinforcement learning algorithm in an experimental evaluation on several benchmarks.