title: Magnetization-tuned topological quantum phase transition in MnBi2Te4 devices

abstract: Recently, the intrinsic magnetic topological insulator MnBi2Te4 has attracted enormous research interest due to the great success in realizing exotic topological quantum states, such as the quantum anomalous Hall effect (QAHE), axion insulator state, high-Chern-number and high-temperature Chern insulator states. One key issue in this field is to effectively manipulate these states and control topological phase transitions. Here, by systematic angle-dependent transport measurements, we reveal a magnetization-tuned topological quantum phase transition from Chern insulator to magnetic insulator with gapped Dirac surface states in MnBi2Te4 devices. Specifically, as the magnetic field is tilted away from the out-of-plane direction by around 40-60 degrees, the Hall resistance deviates from the quantization value and a colossal, anisotropic magnetoresistance is detected. The theoretical analyses based on modified Landauer-Buttiker formalism show that the field-tilt-driven switching from ferromagnetic state to canted antiferromagnetic state induces a topological quantum phase transition from Chern insulator to magnetic insulator with gapped Dirac surface states in MnBi2Te4 devices. Our work provides an efficient means for modulating topological quantum states and topological quantum phase transitions.


title: Categorical Relation-Preserving Contrastive Knowledge Distillation for Medical Image Classification

abstract: The amount of medical images for training deep classification models is typically very scarce, making these deep models prone to overfit the training data. Studies showed that knowledge distillation (KD), especially the mean-teacher framework which is more robust to perturbations, can help mitigate the over-fitting effect. However, directly transferring KD from computer vision to medical image classification yields inferior performance as medical images suffer from higher intra-class variance and class imbalance. To address these issues, we propose a novel Categorical Relation-preserving Contrastive Knowledge Distillation (CRCKD) algorithm, which takes the commonly used mean-teacher model as the supervisor. Specifically, we propose a novel Class-guided Contrastive Distillation (CCD) module to pull closer positive image pairs from the same class in the teacher and student models, while pushing apart negative image pairs from different classes. With this regularization, the feature distribution of the student model shows higher intra-class similarity and inter-class variance. Besides, we propose a Categorical Relation Preserving (CRP) loss to distill the teacher's relational knowledge in a robust and class-balanced manner. With the contribution of the CCD and CRP, our CRCKD algorithm can distill the relational knowledge more comprehensively. Extensive experiments on the HAM10000 and APTOS datasets demonstrate the superiority of the proposed CRCKD method.


title: Graphing else matters: exploiting aspect opinions and ratings in explainable graph-based recommendations

abstract: The success of neural network embeddings has entailed a renewed interest in using knowledge graphs for a wide variety of machine learning and information retrieval tasks. In particular, current recommendation methods based on graph embeddings have shown state-of-the-art performance. These methods commonly encode latent rating patterns and content features. Different from previous work, in this paper, we propose to exploit embeddings extracted from graphs that combine information from ratings and aspect-based opinions expressed in textual reviews. We then adapt and evaluate state-of-the-art graph embedding techniques over graphs generated from Amazon and Yelp reviews on six domains, outperforming baseline recommenders. Our approach has the advantage of providing explanations which leverage aspect-based opinions given by users about recommended items. Furthermore, we also provide examples of the applicability of recommendations utilizing aspect opinions as explanations in a visualization dashboard, which allows obtaining information about the most and least liked aspects of similar users obtained from the embeddings of an input graph.


title: Scalable Data Balancing for Unlabeled Satellite Imagery

abstract: Data imbalance is a ubiquitous problem in machine learning. In large scale collected and annotated datasets, data imbalance is either mitigated manually by undersampling frequent classes and oversampling rare classes, or planned for with imputation and augmentation techniques. In both cases balancing data requires labels. In other words, only annotated data can be balanced. Collecting fully annotated datasets is challenging, especially for large scale satellite systems such as the unlabeled NASA's 35 PB Earth Imagery dataset. Although the NASA Earth Imagery dataset is unlabeled, there are implicit properties of the data source that we can rely on to hypothesize about its imbalance, such as distribution of land and water in the case of the Earth's imagery. We present a new iterative method to balance unlabeled data. Our method utilizes image embeddings as a proxy for image labels that can be used to balance data, and ultimately when trained increases overall accuracy.


title: Origin of nonlinear magnetoelectric response in rare-earth orthoferrite perovskite oxides

abstract: We report a theoretical study of the non-linear magnetoelectric response of GdFeO$_3$ through an analytical approach combined with a Heisenberg model which is fitted against first-principles calculations. Our theory reproduces the non-linear change of polarization under applied magnetic field reported experimentally such that it allows to analyze the origin of the large responses in the different directions. We show that the non-linear character of the response in these materials originates from the fact that the antiferromagnetic order of Gd atoms changes non-linearly with respect to the applied magnetic field. Our model can be generalized to other materials in which the antiferromagnetic ordering breaks inversion symmetry.


title: Syntactic Minimization of Nondeterministic Finite Automata

abstract: Nondeterministic automata may be viewed as succinct programs implementing deterministic automata, i.e. complete specifications. Converting a given deterministic automaton into a small nondeterministic one is known to be computationally very hard; in fact, the ensuing decision problem is PSPACE-complete. This paper stands in stark contrast to the status quo. We restrict attention to subatomic nondeterministic automata, whose individual states accept unions of syntactic congruence classes. They are general enough to cover almost all structural results concerning nondeterministic state-minimality. We prove that converting a monoid recognizing a regular language into a small subatomic acceptor corresponds to an NP-complete problem. The NP certificates are solutions of simple equations involving relations over the syntactic monoid. We also consider the subclass of atomic nondeterministic automata introduced by Brzozowski and Tamm. Given a deterministic automaton and another one for the reversed language, computing small atomic acceptors is shown to be NP-complete with analogous certificates. Our complexity results emerge from an algebraic characterization of (sub)atomic acceptors in terms of deterministic automata with semilattice structure, combined with an equivalence of categories leading to succinct representations.


title: Coastal water quality prediction based on machine learning with feature interpretation and spatio-temporal analysis

abstract: Coastal water quality management is a public health concern, as poor coastal water quality can harbor pathogens that are dangerous to human health. Tourism-oriented countries need to actively monitor the condition of coastal water at tourist popular sites during the summer season. In this study, routine monitoring data of $Escherichia\ Coli$ and enterococci across 15 public beaches in the city of Rijeka, Croatia, were used to build machine learning models for predicting their levels based on environmental parameters as well as to investigate their relationships with environmental stressors. Gradient Boosting (Catboost, Xgboost), Random Forests, Support Vector Regression and Artificial Neural Networks were trained with measurements from all sampling sites and used to predict $E.\ Coli$ and enterococci values based on environmental features. The evaluation of stability and generalizability with 10-fold cross validation analysis of the machine learning models, showed that the Catboost algorithm performed best with R$^2$ values of 0.71 and 0.68 for predicting $E.\ Coli$ and enterococci, respectively, compared to other evaluated ML algorithms including Xgboost, Random Forests, Support Vector Regression and Artificial Neural Networks. We also use the SHapley Additive exPlanations technique to identify and interpret which features have the most predictive power. The results show that site salinity measured is the most important feature for forecasting both $E.\ Coli$ and enterococci levels. Finally, the spatial and temporal accuracy of both ML models were examined at sites with the lowest coastal water quality. The spatial $E. Coli$ and enterococci models achieved strong R$^2$ values of 0.85 and 0.83, while the temporal models achieved R$^2$ values of 0.74 and 0.67. The temporal model also achieved moderate R$^2$ values of 0.44 and 0.46 at a site with high coastal water quality.


title: Biases and Variability from Costly Bayesian Inference

abstract: When humans infer underlying probabilities from stochastic observations, they exhibit biases and variability that cannot be explained on the basis of sound, Bayesian manipulations of probability. This is especially salient when beliefs are updated as a function of sequential observations. We introduce a theoretical framework in which biases and variability emerge from a trade-off between Bayesian inference and a cognitive cost of carrying out probabilistic computations. We consider two forms of the cost: a precision cost and an unpredictability cost; these penalize beliefs that are less entropic and less deterministic, respectively. We apply our framework to the case of a Bernoulli variable: the bias of a coin is inferred from a sequence of coin flips. Theoretical predictions are qualitatively different depending on the form of the cost. A precision cost induces overestimation of small probabilities on average and a limited memory of past observations, and, consequently, a fluctuating bias. An unpredictability cost induces underestimation of small probabilities and a fixed bias that remains appreciable even for nearly unbiased observations. The case of a fair (equiprobable) coin, however, is singular, with non-trivial and slow fluctuations of the inferred bias. The proposed framework of costly Bayesian inference illustrates the richness of a 'resource-rational' (or 'bounded-rational') picture of seemingly irrational human cognition.


title: Stimulated generation of indistinguishable single photons from a quantum ladder system

abstract: We propose a scheme for the generation of highly indistinguishable single photons using semiconductor quantum dots and demonstrate its performance and potential. The scheme is based on the resonant two-photon excitation of the biexciton followed by stimulation of the biexciton to selectively prepare an exciton. Quantum-optical simulations and experiments are in good agreement and show that the scheme provides significant advantages over previously demonstrated excitation methods. The two-photon excitation of the biexciton suppresses re-excitation and enables ultra-low multi-photon errors, while the precisely timed stimulation pulse results in very low timing jitter of the photons, and consequently, high indistinguishability. Since both control laser fields are detuned from the emission energy, the scheme does not require polarization filtering, facilitating high brightness approaching unity. Moreover, the polarization of the emitted single photons is controlled by the stimulation laser field, such that the polarization of the quantum light is deterministically programmable.


title: Perturbative correction to the adiabatic approximation for $(d,p)$ reactions

abstract: The adiabatic distorted wave approximation (ADWA) is widely used by the nuclear community to analyse deuteron stripping ($d$,$p$) experiments. It provides a quick way to take into account an important property of the reaction mechanism: deuteron breakup. In this work we provide a numerical quantification of a perturbative correction to this theory, recently proposed in [R.C. Johnson, J. Phys. G: Nucl. Part. Phys. 41 (2014) 094005] for separable rank-one nucleon-proton potentials. The correction involves an additional, nonlocal, term in the effective deuteron-target ADWA potential in the entrance channel. We test the calculations with perturbative corrections against continuum-discretized coupled channel predictions which treat deuteron breakup exactly.


title: Quadratic and Higher-Order Unconstrained Binary Optimization of Railway Rescheduling for Quantum Computing

abstract: As consequences of disruptions in railway traffic affect passenger experience/satisfaction, appropriate rerouting and/or rescheduling is necessary. These problems are known to be NP-hard, given the numerous restrictions of traffic nature. With the recent advances in quantum technologies, quantum annealing has become an alternative method to solve such optimization problems. To use quantum annealing, the problem needs to be encoded in QUBO (quadratic unconstrained binary optimization) or HOBO (higher-order binary optimization) formulation that can be recast as a QUBO. This paper introduces QUBO and HOBO representations for rescheduling problems of railway traffic management; the latter is a new approach up to our knowledge. This new approach takes into account not only the single-track lines but also the double- and multi-track lines, as well as stations composed of tracks and switches. We consider the conditions of minimal headway between trains, minimal stay on stations, track occupation, and rolling stock circulation. Furthermore, a hybrid quantum-classical procedure is presented that includes rerouting. We demonstrate the proof of concept implementation on the D-Wave Quantum Processing Unit and D-Wave hybrid solver.


title: Momentum transfer models of interacting dark energy

abstract: We consider two models of interacting dark energy, both of which interact only through momentum exchange. One is a phenomenological one-parameter extension to $w$CDM, and the other is a coupled quintessence model described by a Lagrangian formalism. Using a variety of high and low redshift data sets, we perform a global fitting of cosmological parameters and compare to $\Lambda$CDM, uncoupled quintessence, and $w$CDM. We find that the models are competitive with $\Lambda$CDM, even obtaining a better fit when certain data sets are included.


title: The contribution of Galactic TeV pulsar wind nebulae to Fermi-LAT diffuse emission

abstract: The large-scale diffuse $\gamma-$ray flux observed by Fermi-LAT in the 1-100 GeV energy range, parameterized as $\propto E^{-\Gamma}$, has a spectral index $\Gamma$ that depends on the distance from the Galactic center. This feature, if attributed to the diffuse emission produced by cosmic rays (CR) interactions with the interstellar gas, can be interpreted as the evidence of a progressive CR spectral hardening towards the Galactic center. This interpretation challenges the paradigm of uniform cosmic rays diffusion throughout the Galaxy. We report on the implications of TeV Pulsar Wind Nebulae observed by the HESS Galactic Plane Survey in the 1-100 TeV energy range for the interpretation of Fermi-LAT data. We argue that a relevant fraction of this population cannot be resolved by Fermi-LAT in the GeV domain providing a relevant contribution to the large-scale diffuse emission, viz. $\sim 30\%$ of the total diffuse $\gamma$-ray emission in the inner Galaxy. This additional component naturally accounts for a large part of the spectral index variation observed by Fermi-LAT, weakening the evidence of CR spectral hardening in the inner Galaxy.


title: Eccentricity energy change of complete multipartite graphs due to edge deletion

abstract: The eccentricity matrix $\varepsilon(G)$ of a graph $G$ is obtained from the distance matrix of $G$ by retaining the largest distances in each row and each column, and leaving zeros in the remaining ones. The eccentricity energy of $G$ is sum of the absolute values of the eigenvalues of $\varepsilon(G)$. Although the eccentricity matrices of graphs are closely related to the distance matrices of graphs, a number of properties of eccentricity matrices are substantially different from those of the distance matrices. The change in eccentricity energy of a graph due to an edge deletion is one such property. In this article, we give examples of graphs for which the eccentricity energy increase (resp., decrease) but the distance energy decrease (resp., increase) due to an edge deletion. Also, we prove that the eccentricity energy of the complete $k$-partite graph $K_{n_1,\hdots,n_k}$ with $k\geq 2$ and $ n_i\geq 2$, increases due to an edge deletion.


title: On the Bergman projection and kernel in periodic planar domains

abstract: We study Bergman kernels $K_\Pi$ and projections $P_\Pi$ in unbounded planar domains $\Pi$, which are periodic in one dimension. In the case $\Pi$ is simply connected we write the kernel $K_\Pi$ in terms of a Riemann mapping $\varphi$ related to the bounded periodic cell $\varpi$ of the domain $\Pi$. We also introduce and adapt to the Bergman space setting the Floquet transform technique, which is a standard tool for elliptic spectral problems in periodic domains. We investigate the boundedness properties of the Floquet transform operators in Bergman spaces and derive a general formula connecting $P_\Pi$ to a projection on a bounded domain. We show how this theory can be used to reproduce the above kernel formula for $K_\Pi$. Finally, we consider weighted $L^p$-estimates for $P_\Pi$ in periodic domains.


title: The two-qubit singlet/triplet measurement is universal for quantum computing given only maximally-mixed initial states

abstract: We prove the STP=BQP conjecture of Freedman, Hastings and Shokrian-Zini [1], namely that the two-qubit singlet/triplet measurement is quantum computationally universal given only an initial ensemble of maximally mixed single qubits. This provides a method for quantum computing that is fully rotationally symmetric (i.e. reference frame independent), using primitives that are both physically very-accessible and provably the simplest possible.


title: Infrared photons and asymptotic symmetries

abstract: S-matrix elements exhibit universal factorization when multiple infrared photons are emitted in scattering processes. We explicitly show that the leading soft factorization of tree-level amplitudes with the emission of any number of soft photons can be interpreted as the Ward identity of the asymptotic symmetry of gauge theory.


title: A trajectory-driven algorithm for differentiating SRB measures on unstable manifolds

abstract: SRB measures are limiting stationary distributions describing the statistical behavior of chaotic dynamical systems. Directional derivatives of SRB measure densities conditioned on unstable manifolds are critical in the sensitivity analysis of hyperbolic chaos. These derivatives, known as the SRB density gradients, are by-products of the regularization of Lebesgue integrals appearing in the original linear response expression. In this paper, we propose a novel trajectory-driven algorithm for computing the SRB density gradient defined for systems with high-dimensional unstable manifolds. We apply the concept of measure preservation together with the chain rule on smooth manifolds. Due to the recursive one-step nature of our derivations, the proposed procedure is memory-efficient and can be naturally integrated with existing Monte Carlo schemes widely used in computational chaotic dynamics. We numerically show the exponential convergence of our scheme, analyze the computational cost, and present its use in the context of Monte Carlo integration.


title: Robustifying Multi-hop QA through Pseudo-Evidentiality Training

abstract: This paper studies the bias problem of multi-hop question answering models, of answering correctly without correct reasoning. One way to robustify these models is by supervising to not only answer right, but also with right reasoning chains. An existing direction is to annotate reasoning chains to train models, requiring expensive additional annotations. In contrast, we propose a new approach to learn evidentiality, deciding whether the answer prediction is supported by correct evidences, without such annotations. Instead, we compare counterfactual changes in answer confidence with and without evidence sentences, to generate "pseudo-evidentiality" annotations. We validate our proposed model on an original set and challenge set in HotpotQA, showing that our method is accurate and robust in multi-hop reasoning.


title: Vertex Algebras and Commutative Algebras

abstract: This paper begins with a brief survey of the period prior to and soon after the creation of the theory of vertex operator algebras (VOAs). This survey is intended to highlight some of the important developments leading to the creation of VOA theory. The paper then proceeds to describe progress made in the field of VOAs in the last 15 years which is based on fruitful analogies and connections between VOAs and commutative algebras. First, there are several functors from VOAs to commutative algebras that allow methods from commutative algebra to be used to solve VOA problems. To illustrate this, we present a method for describing orbifolds and cosets using methods of classical invariant theory. This was essential in the recent solution of a conjecture of Gaiotto and Rap\v{c}\'ak that is of current interest in physics. We also recast some old conjectures in the subject in terms of commutative algebra and give some generalizations of these conjectures. We also give an overview of the theory of topological VOAs (TVOAs), with applications to BRST cohomology theory and conformal string theory, based on work in the 90's. We construct a functor from TVOAs to Batalin-Vilkovisky algebras -- supercommutative algebras equipped with a certain odd Poisson structure realized by a second order differential operator -- and present a number of interesting applications. This paper is based in part on the lecture given by the first author at the Harvard CMSA Math-Science Literature Lecture Series on May 22, 2020.


title: Development and validation of electrical-insulating Al2O3 coatings for high-temperature liquid PbLi applications

abstract: Electrical-insulating coatings are of great importance for liquid-metal breeder/coolant based systems relevant to fusion power plants. In specific to Pb-16Li eutectic, a candidate breeder material, such coatings are being actively investigated for their criticality in addressing various functionalities. For such applications, a candidate coating must be demonstrated for its compatibility with corrosive media, high operational temperatures and integrity of electrical-insulation over long durations without substantial degradation. At present, no relevant in-situ insulation resistance (IR) data is available for performance assessment of coated substrates within PbLi environment. To address this shortfall, an experimental study was performed at IPR towards application of high-purity alumina coatings on SS-316L substrates and further rigorous validation in static PbLi environment. The adopted coating process required a low-temperature heat treatment (< 430C) and could yield average coating thicknesses in the range of 100-500 micron. Coated samples were validated for their electrical insulation integrity in static PbLi over two test campaigns for continuous durations of over 700 h and 1360 h, including thermal cycling, at operational temperature between 300C-400C. Estimated volumetric electrical-resistivity remained of the order of 109-1011 ohm-cm without significant degradation. In-situ estimations of thermal derating factors establish excellent electrical-insulation characteristics after long term exposure to liquid PbLi. This paper presents details of utilized coating application methods, coating thickness estimations, liquid-metal test set-up, insulation performance and critical observations from SEM/EDX and XRD analysis on the tested samples.


title: Bounded support in linear random coefficient models: Identification and variable selection

abstract: We consider linear random coefficient regression models, where the regressors are allowed to have a finite support. First, we investigate identifiability, and show that the means and the variances and covariances of the random coefficients are identified from the first two conditional moments of the response given the covariates if the support of the covariates, excluding the intercept, contains a Cartesian product with at least three points in each coordinate. We also discuss ientification of higher-order mixed moments, as well as partial identification in the presence of a binary regressor. Next we show the variable selection consistency of the adaptive LASSO for the variances and covariances of the random coefficients in finite and moderately high dimensions. This implies that the estimated covariance matrix will actually be positive semidefinite and hence a valid covariance matrix, in contrast to the estimate arising from a simple least squares fit. We illustrate the proposed method in a simulation study.


title: Global-in-time L p -- L q estimates for solutions of the Kramers-Fokker-Planck equation

abstract: In this work, we prove an optimal global-in-time L p --L q estimate for solutions to the Kramers-Fokker-Planck equation with short range potential in dimension three. Our result shows that the decay rate as t $\rightarrow$ +$\infty$ is the same as the heat equation in x-variables and the divergence rate as t $\rightarrow$ 0 + is related to the sub-ellipticity with loss of 1/3 derivatives of the Kramers-Fokker-Planck operator.


title: Quantum evolution kernel : Machine learning on graphs with programmable arrays of qubits

abstract: The rapid development of reliable Quantum Processing Units (QPU) opens up novel computational opportunities for machine learning. Here, we introduce a procedure for measuring the similarity between graph-structured data, based on the time-evolution of a quantum system. By encoding the topology of the input graph in the Hamiltonian of the system, the evolution produces measurement samples that retain key features of the data. We study analytically the procedure and illustrate its versatility in providing links to standard classical approaches. We then show numerically that this scheme performs well compared to standard graph kernels on typical benchmark datasets. Finally, we study the possibility of a concrete implementation on a realistic neutral-atom quantum processor.


title: DER Forecast using Privacy Preserving Federated Learning

abstract: With increasing penetration of Distributed Energy Resources (DERs) in grid edge including renewable generation, flexible loads, and storage, accurate prediction of distributed generation and consumption at the consumer level becomes important. However, DER prediction based on the transmission of customer level data, either repeatedly or in large amounts, is not feasible due to privacy concerns. In this paper, a distributed machine learning approach, Federated Learning, is proposed to carry out DER forecasting using a network of IoT nodes, each of which transmits a model of the consumption and generation patterns without revealing consumer data. We consider a simulation study which includes 1000 DERs, and show that our method leads to an accurate prediction of preserve consumer privacy, while still leading to an accurate forecast. We also evaluate grid-specific performance metrics such as load swings and load curtailment and show that our FL algorithm leads to satisfactory performance. Simulations are also performed on the Pecan street dataset to demonstrate the validity of the proposed approach on real data.


title: Patient-reported outcomes in the context of the benefit assessment in Germany

abstract: Since the 2011 Act on the Reform of the Market for Medicinal Products, benefit dossiers are submitted by pharmaceutical companies to facilitate the Health Technology Assessment (HTA) appraisals in Germany. The Institute for Quality and Efficiency in Health Care conducts the added benefit assessment following their General Methods Paper, which was updated November 5, 2020. This White Paper is dedicated to patient-reported outcomes (PRO) to highlight their importance for the added benefit assessment. We focus on methodological aspects but consider also other relevant requirements and challenges, which are demanded by G-BA and IQWiG. The following topics will be presented and discussed: 1. Role of PRO in HTA decision making exemplary to benefit assessment in Germany 2. Guidances of PRO evaluations 3. PRO Estimand framework 4. Perception and requirements for PRO within the German benefit assessment 5. Validity of instrument 6. Response thresholds for assessing clinical relevance of PRO 7. PRO endpoints / outcome measures / operationalization 8. Missing PRO data 9. PRO after treatment discontinuation This White Paper aims to provide deeper insights about new requirements concerning PRO evaluations for HTA decision making in Germany, highlight points to consider that should inform global development in terms of study planning and frame the requirements also in the context of global recommendations and guidelines. We also aim to enhance the understanding of the complexity when preparing the benefit dossier and promote further scientific discussions where appropriate.


title: Understanding Intrinsic Robustness Using Label Uncertainty

abstract: A fundamental question in adversarial machine learning is whether a robust classifier exists for a given task. A line of research has made some progress towards this goal by studying the concentration of measure, but we argue standard concentration fails to fully characterize the intrinsic robustness of a classification problem since it ignores data labels which are essential to any classification task. Building on a novel definition of label uncertainty, we empirically demonstrate that error regions induced by state-of-the-art models tend to have much higher label uncertainty than randomly-selected subsets. This observation motivates us to adapt a concentration estimation algorithm to account for label uncertainty, resulting in more accurate intrinsic robustness measures for benchmark image classification problems.


title: IRS-Aided WPCNs: A New Optimization Framework for Dynamic IRS Beamforming

abstract: In this paper, we propose a new dynamic IRS beamforming framework to boost the sum throughput of an intelligent reflecting surface (IRS) aided wireless powered communication network (WPCN). Specifically, the IRS phase-shift vectors across time and resource allocation are jointly optimized to enhance the efficiencies of both downlink wireless power transfer (DL WPT) and uplink wireless information transmission (UL WIT) between a hybrid access point (HAP) and multiple wirelessly powered devices. To this end, we first study three special cases of the dynamic IRS beamforming,namely user-adaptive IRS beamforming, UL-adaptive IRS beamforming, and static IRS beamforming,by characterizing their optimal performance relationships and proposing corresponding algorithms. Interestingly, it is rigorously proved that the latter two cases achieve the same throughput, thus helping halve the number of IRS phase shifts to be optimized and signalling overhead practically required for UL-adaptive IRS beamforming. Then, we propose a general optimization framework for dynamic IRS beamforming, which is applicable for any given number of IRS phase-shift vectors available. Despite of the non-convexity of the general problem with highly coupled optimization variables, we propose two algorithms to solve it and particularly, the low-complexity algorithm exploits the intrinsic structure of the optimal solution as well as the solutions to the cases with user-adaptive and static IRS beamforming. Simulation results validate our theoretical findings, illustrate the practical significance of IRS with dynamic beamforming for spectral and energy efficient WPCNs, and demonstrate the effectiveness of our proposed designs over various benchmark schemes.


title: Ergodic Numerical Approximation to Periodic Measures of Stochastic Differential Equations

abstract: In this paper, we consider numerical approximation to periodic measure of a time periodic stochastic differential equations (SDEs) under weakly dissipative condition. For this we first study the existence of the periodic measure $\rho_t$ and the large time behaviour of $\mathcal{U}(t+s,s,x) := \mathbb{E}\phi(X_{t}^{s,x})-\int\phi d\rho_t,$ where $X_t^{s,x}$ is the solution of the SDEs and $\phi$ is a test function being smooth and of polynomial growth at infinity. We prove $\mathcal{U}$ and all its spatial derivatives decay to 0 with exponential rate on time $t$ in the sense of average on initial time $s$. We also prove the existence and the geometric ergodicity of the periodic measure of the discretized semi-flow from the Euler-Maruyama scheme and moment estimate of any order when the time step is sufficiently small (uniform for all orders). We thereafter obtain that the weak error for the numerical scheme of infinite horizon is of the order $1$ in terms of the time step. We prove that the choice of step size can be uniform for all test functions $\phi$. Subsequently we are able to estimate the average periodic measure with ergodic numerical schemes.


title: Dynamic Ordered Panel Logit Models

abstract: This paper studies a dynamic ordered logit model for panel data with fixed effects. The main contribution of the paper is to construct a set of valid moment conditions that are free of the fixed effects. The moment functions can be computed using four or more periods of data, and the paper presents sufficient conditions for the moment conditions to identify the common parameters of the model, namely the regression coefficients, the autoregressive parameters, and the threshold parameters. The availability of moment conditions suggests that these common parameters can be estimated using the generalized method of moments, and the paper documents the performance of this estimator using Monte Carlo simulations and an empirical illustration to self-reported health status using the British Household Panel Survey.


title: An obstacle problem arising from American options pricing: regularity of solutions

abstract: We analyse the obstacle problem for the nonlocal parabolic operator \[\partial_t u + (-\Delta)^{s} u - b \cdot \nabla u - \mathcal{I}u - ru,\] where $b\in\mathbb{R}^n$, $r\in\mathbb{R}$, and $\mathcal{I}$ is a nonlocal lower order diffusion operator with respect to the fractional Laplace operator $(-\Delta)^{s}$. This model appears in the study of American options pricing when the stochastic process governing the stock price is assumed to be a purely jump process. We study the existence and the uniqueness of solutions to the obstacle problem, and we prove optimal regularity of solutions in space, and almost optimal regularity in time.


title: A Formula for Designing Zero-Determinant Strategies

abstract: A formula is presented for designing zero-determinant(ZD) strategies of general finite games, which have $n$ players and players can have different numbers of strategies. To this end, using semi-tensor product (STP) of matrices, the profile evolutionary equation for repeated finite games is obtained. Starting from it, the ZD strategies are developed for general finite games, based on the same technique proposed by Press and Dyson \cite{pre12}. A formula is obtain to design ZD strategies for any player directly, ignoring the original ZD design process. Necessary and sufficient condition is obtained to ensure the effectiveness of the designed ZD strategies. As a consequence, it is also clear that player $i$ is able to unilaterally design $|S_i|-1$ dominating linear relations about the expected payoffs of all players. Finally, the fictitious opponent player is proposed for networked evolutionary networks (NEGs). Using it, the ZD-strategies are applied to NEGs. It is surprising that an individual in a network may use ZD strategies to conflict the whole rest network.


title: "Are you sure?": Preliminary Insights from Scaling Product Comparisons to Multiple Shops

abstract: Large eCommerce players introduced comparison tables as a new type of recommendations. However, building comparisons at scale without pre-existing training/taxonomy data remains an open challenge, especially within the operational constraints of shops in the long tail. We present preliminary results from building a comparison pipeline designed to scale in a multi-shop scenario: we describe our design choices and run extensive benchmarks on multiple shops to stress-test it. Finally, we run a small user study on property selection and conclude by discussing potential improvements and highlighting the questions that remain to be addressed.


title: Quantum Graph Convolutional Neural Networks

abstract: At present, there are a large number of quantum neural network models to deal with Euclidean spatial data, while little research have been conducted on non-Euclidean spatial data. In this paper, we propose a novel quantum graph convolutional neural network (QGCN) model based on quantum parametric circuits and utilize the computing power of quantum systems to accomplish graph classification tasks in traditional machine learning. The proposed QGCN model has a similar architecture as the classical graph convolutional neural networks, which can illustrate the topology of the graph type data and efficiently learn the hidden layer representation of node features as well. Numerical simulation results on a graph dataset demonstrate that the proposed model can be effectively trained and has good performance in graph level classification tasks.


title: Lorentz-breaking Theory and Tunneling Radiation Correction to Vaidya-Banner de Sitter Black Hole

abstract: In Vaidya-Bonner de Sitter Black hole space-time, the tunneling radiation characteristics of fermions and bosons are corrected by taking Lorentz symmetry breaking theory into account. The corresponding gamma matrices and ether-like field vectors of the black hole are constructed, then the new modified form of Dirac equation for the fermion with spin 1/2 and the new modified form of Klein-Gordon equation for boson in the curved space-time of the black hole are obtained. Through solving the two equations, new and corrected expressions of surface gravity, Hawking temperature and tunneling rate of the black hole are obtained, and the results obtained are also discussed.


title: Percolation of worms

abstract: We introduce a new correlated percolation model on the $d$-dimensional lattice $\mathbb{Z}^d$ called the random length worms model. Assume given a probability distribution on the set of positive integers (the length distribution) and $v \in (0,\infty)$ (the intensity parameter). From each site of $\mathbb{Z}^d$ we start $\mathrm{POI}(v)$ independent simple random walks with this length distribution. We investigate the connectivity properties of the set $\mathcal{S}^v$ of sites visited by this cloud of random walks. It is easy to show that if the second moment of the length distribution is finite then $\mathcal{S}^v$ undergoes a percolation phase transition as $v$ varies. Our main contribution is a sufficient condition on the length distribution which guarantees that $\mathcal{S}^v$ percolates for all $v>0$ if $d \geq 5$. E.g., if the probability mass function of the length distribution is $ m(\ell)= c \cdot \ln(\ln(\ell))^{\varepsilon}/ (\ell^3 \ln(\ell)) 1[\ell \geq \ell_0] $ for some $\ell_0>e^e$ and $\varepsilon>0$ then $\mathcal{S}^v$ percolates for all $v>0$. Note that the second moment of this length distribution is only "barely" infinite. In order to put our result in the context of earlier results about similar models (e.g., finitary random interlacements, loop percolation, Poisson Boolean model, ellipses percolation, etc.), we define a natural family of percolation models called the Poisson zoo and argue that the percolative behaviour of the random length worms model is quite close to being "extremal" in this family of models.


title: Tracing the dynamical interplay of low-energy reaction processes of exotic nuclei using a two-center molecular continuum

abstract: The competition among reaction processes of a weakly-bound projectile at intermediate times of a slow collision has been unraveled. This has been done using a two-center molecular continuum within a semiclassical, time-dependent coupled-channel reaction model. Dynamical probabilities of elastic scattering, transfer and breakup agree with those derived from the direct integration of the time-dependent Schr\"odinger equation, demonstrating the usefulness of a two-center molecular continuum for gaining insights into the reaction dynamics of exotic nuclei.


title: An asymptotic formula for the number of $n$-dimensional representations of $\mathrm{SU}(3)$

abstract: We prove an asymptotic formula for the number of $n$-dimensional representations of the group $\mathrm{SU}(3)$. Main tools for the proof are Wright's Circle Method and the Saddle Point Method.


title: Photon quantum mechanics in real Hilbert space

abstract: Classically, electromagnetic pulses are described by real fields that couple to charged matter and propagate causally. We will show here that real fields of the form used in standard classical electromagnetic theory have a quantum mechanical interpretation in which the probability density for a photon to be at x is positive definite and operators representing all of the standard physical observables exist. A covariant alternative to the {\omega}_{k}^{1/2} dependence that appears in most (but not all) presentations of quantum optics and quantum field theory is presented and real scalar one photon advanced and retarded potentials are derived.


title: Episodic Bandits with Stochastic Experts

abstract: We study a version of the contextual bandit problem where an agent can intervene through a set of stochastic expert policies. The agent interacts with the environment over episodes, with each episode having different context distributions; this results in the `best expert' changing across episodes. Our goal is to develop an agent that tracks the best expert over episodes. We introduce the Empirical Divergence-based UCB (ED-UCB) algorithm in this setting where the agent does not have any knowledge of the expert policies or changes in context distributions. With mild assumptions, we show that bootstrapping from $\mathcal{O}(N\log(NT^2\sqrt{E}))$ samples results in a regret of $\mathcal{O}(E(N+1) + \frac{N\sqrt{E}}{T^2})$ for $N$ experts over $E$ episodes, each of length $T$. If the expert policies are known to the agent a priori, then we can improve the regret to $\mathcal{O}(EN)$ without requiring any bootstrapping. Our analysis also tightens pre-existing logarithmic regret bounds to a problem-dependent constant in the non-episodic setting when expert policies are known. We finally empirically validate our findings through simulations.


title: The Ponzano-Regge cylinder and Propagator for 3d quantum gravity

abstract: We investigate the propagator of 3d quantum gravity, formulated as a discrete topological path integral. We define it as the Ponzano-Regge amplitude of the solid cylinder swept by a 2d disk evolving in time. Quantum states for a 2d disk live in the tensor products of N spins, where N is the number of holonomy insertions connecting to the disk boundary. We formulate the cylindric amplitude in terms of a transfer matrix and identify its eigen-modes in terms of spin recoupling. We show that the propagator distinguishes the subspaces with different total spin and may select the vanishing total spin sector at late time depending on the chosen cylinder boundary data. We discuss applications to quantum circuits and the possibility of experimental simulations of this 3d quantum gravity propagator.


title: Contrastive Explanations for Argumentation-Based Conclusions

abstract: In this paper we discuss contrastive explanations for formal argumentation - the question why a certain argument (the fact) can be accepted, whilst another argument (the foil) cannot be accepted under various extension-based semantics. The recent work on explanations for argumentation-based conclusions has mostly focused on providing minimal explanations for the (non-)acceptance of arguments. What is still lacking, however, is a proper argumentation-based interpretation of contrastive explanations. We show under which conditions contrastive explanations in abstract and structured argumentation are meaningful, and how argumentation allows us to make implicit foils explicit.


title: Lemmatization of Historical Old Literary Finnish Texts in Modern Orthography

abstract: Texts written in Old Literary Finnish represent the first literary work ever written in Finnish starting from the 16th century. There have been several projects in Finland that have digitized old publications and made them available for research use. However, using modern NLP methods in such data poses great challenges. In this paper we propose an approach for simultaneously normalizing and lemmatizing Old Literary Finnish into modern spelling. Our best model reaches to 96.3\% accuracy in texts written by Agricola and 87.7\% accuracy in other contemporary out-of-domain text. Our method has been made freely available on Zenodo and Github.


title: Relation of cyclotron resonant energy and luminosity in a strongly magnetized neutron star GRO J1008-57 observed by Insight-HXMT

abstract: Cyclotron line scattering features are detected in a few tens of X-ray pulsars (XRPs) and used as direct indicators of a strong magnetic field at the surface of accreting neutron stars (NSs). In a few cases, cyclotron lines are known to be variable with accretion luminosity of XRPs. It is accepted that the observed variations of cyclotron line scattering features are related to variations of geometry and dynamics of accretion flow above the magnetic poles of a NS. A positive correlation between the line centroid energy and luminosity is typical for sub-critical XRPs, where the accretion results in hot spots at the magnetic poles. The negative correlation was proposed to be a specific feature of bright super-critical XRPs, where radiation pressure supports accretion columns above the stellar surface. Cyclotron line in spectra of Be-transient X-ray pulsar GRO J1008-57 is detected at energies from $\sim 75 -90$ keV, the highest observed energy of cyclotron line feature in XRPs. We report the peculiar relation of cyclotron line centroid energies with luminosity in GRO J1008-57 during the Type II outburst in August 2017 observed by Insight-HXMT. The cyclotron line energy was detected to be negatively correlated with the luminosity at $3.2\times 10^{37}\,\ergs<L<4.2\times 10^{37}\,\ergs$, and positively correlated at $L\gtrsim 5\times 10^{37}\,\ergs$. We speculate that the observed peculiar behavior of a cyclotron line would be due to variations of accretion channel geometry.


title: Linear stability of the Couette flow for the non-isentropic compressible fluid

abstract: We are concerned with the linear stability of the Couette flow for the non-isentropic compressible Navier-Stokes equations with vanished shear viscosity in a domain $\mathbb{T}\times \mathbb{R}$. For a general initial data settled in Sobolev spaces, we obtain a Lyapunov type instability of the density, the temperature, the compressible part of the velocity field, and also obtain an inviscid damping for the incompressible part of the velocity field. Moreover, if the initial density, the initial temperature and the incompressible part of the initial velocity field satisfy some quality relation, we can prove the enhanced dissipation phenomenon for the velocity field.


title: Order of Zeros of Dedekind Zeta Functions

abstract: Answering a question of Browkin, we provide a new unconditional proof that the Dedekind zeta function of a number field $L$ has infinitely many nontrivial zeros of multiplicity at least 2 if $L$ has a subfield $K$ for which $L/K$ is a nonabelian Galois extension. We also extend this to zeros of order 3 when $\operatorname{Gal}(L/K)$ has an irreducible representation of degree at least 3, as predicted by the Artin holomorphy conjecture.


title: The first heavy-metal hot subdwarf composite binary SB 744

abstract: A radial velocity follow-up of the long-period sdOB+G1V type spectroscopic binary SB 744 revealed strong lines of fluorine and lead in the optical spectrum of the sdOB star and subsolar metallicity in the G1V companion. With high-quality observations and Gaia astrometric data, we aim at measuring the chemical composition and Galactic kinematics of the system to put it in context with known populations of hot subdwarfs. Such binary systems have high potential, as they give insights into the late stages of binary evolution as well as into the mysterious formation of stripped core helium-burning stars. We have analyzed the optical spectra with homogeneous atmospheric models to derive surface parameters of the binary members from a direct wavelength space decomposition and independently measured the atmospheric properties of the cool companion. The two independent methods reached consistent results, which, amended with constraints from spectral energy distributions provided a subdwarf mass. The Gaia astrometry allowed us to derive the Galactic kinematics of the system. SB 744 turned out to be an old, Population II system, that has gone through dramatic events. The hot subdwarf star belongs to the heavy-metal subclass of sdOB stars and we report super-solar abundances of lead, based on Pb III/IV lines. The He abundance of the hot subdwarf is the lowest among the known heavy-metal sdOB stars. The presence of fluorine implies that SB 744 was once a hierarchical triple system and the inner binary has merged in the near past. As an alternative scenario, single-star evolution through late core helium flash and atmospheric mixing can also produce the observed fluorine abundances. The atmospheric metal over-abundances currently observed are perhaps the results of a combination of mixing processes during formation and radiative support.


title: Phantom braneworld and the Hubble tension

abstract: Braneworld models with induced gravity exhibit phantom-like behaviour of the effective equation of state of dark energy. They can, therefore, naturally accommodate higher values of $H_0$, preferred by recent local measurements, while satisfying the CMB constraints. We test the background evolution in such phantom braneworld scenarios with the current observational datasets. We find that the phantom braneworld prefers a higher value of $H_0$ even without the R19 prior, thereby providing a much better fit to the local measurements. Although this braneworld model cannot fully satisfy all combinations of cosmological observables, among existing dark energy candidates the phantom brane provides one of the most compelling explanations of cosmic evolution.


title: How Big Are Peoples' Computer Files? File Size Distributions Among User-managed Collections

abstract: Improving file management interfaces and optimising system performance requires current data about users' digital collections and particularly about the file size distributions of such collections. However, prior works have examined only the sizes of system files and users' work files in varied contexts, and there has been no such study since 2013; it therefore remains unclear how today's file sizes are distributed, particularly personal files, and further if distributions differ among the major operating systems or common occupations. Here we examine such differences among 49 million files in 348 user collections. We find that the average file size has grown more than ten-fold since the mid-2000s, though most files are still under 8 MB, and that there are demographic and technological influences in the size distributions. We discuss the implications for user interfaces, system optimisation, and PIM research.


title: Closed-loop convergence for mean field games with common noise

abstract: This paper studies the convergence problem for mean field games with common noise. We define a suitable notion of weak mean field equilibria, which we prove captures all subsequential limit points, as $n\to\infty$, of closed-loop approximate equilibria from the corresponding $n$-player games. This extends to the common noise setting a recent result of the first author, while also simplifying a key step in the proof and allowing unbounded coefficients and non-i.i.d. initial conditions. Conversely, we show that every weak mean field equilibrium arises as the limit of some sequence of approximate equilibria for the $n$-player games, as long as the latter are formulated over a broader class of closed-loop strategies which may depend on an additional common signal.


title: Extended two-body problem for rotating rigid bodies

abstract: A new technique that utilizes surface integrals to find the force, torque and potential energy between two non-spherical, rigid bodies is presented. The method is relatively fast, and allows us to solve the full rigid two-body problem for pairs of spheroids and ellipsoids with 12 degrees of freedom. We demonstrate the method with two dimensionless test scenarios, one where tumbling motion develops, and one where the motion of the bodies resemble spinning tops. We also test the method on the asteroid binary (66391) 1999 KW4, where both components are modelled either as spheroids or ellipsoids. The two different shape models have negligible effects on the eccentricity and semi-major axis, but have a larger impact on the angular velocity along the $z$-direction. In all cases, energy and total angular momentum is conserved, and the simulation accuracy is kept at the machine accuracy level.


title: Euclidean volumes of hyperbolic knots

abstract: The hyperbolic structure on a 3-dimensional cone-manifold with a knot as singularity can often be deformed into a limiting Euclidean structure. In the present paper we show that the respective normalised Euclidean volume is always an algebraic number. This stands in contrast to hyperbolic volumes whose number-theoretic nature is usually quite complicated.


title: Deepening the knowledge of Spin Glasses: Metastate, Off-equilibrium phenomena and Temperature Chaos

abstract: This thesis pretends to be another step in the development of numerical research in disordered systems. Specifically, we will focus on spin glasses which have demonstrated to be a fertile field from both, experimental and theoretical approaches. Throughout this thesis, we will discuss a variety of interesting phenomenons and we will also open new avenues to previously unexplored effects in the context of spin glasses. However, without a doubt, the leitmotiv conducting this thesis is the role of numerical simulations as a valuable tool to explore spin-glass physics. This thesis is organized into five different parts. The first part, containing the Chapter 1, is focused on introducing the spin glasses to the reader. The second part, containing the Chapter 2, is dedicated to discussing the metastate. The third part, shaped by the Chapter 3 and Chapter 4, is devoted to studying the off-equilibrium dynamics in spin glasses. Specifically, Chapter 3 is focused on discussing the growth of the coherence length in spin glasses, a key quantity that characterizes the off-equilibrium evolution of those systems. In Chapter 4 we will discuss an interesting phenomenon: the Mpemba effect. The fourth part, containing the Chapter 5, Chapter 6 and Chapter 7 is devoted to study the Temperature Chaos phenomenon in spin glasses. In Chapter 5 we introduce the main historical results on Temperature Chaos, from its origins to the last steps. In Chapter 6 we study equilibrated spin glasses and we characterize the Temperature Chaos from a static and a dynamical point of view. In Chapter 7 we tackle the problem of characterizing Temperature Chaos in off-equilibrium dynamics. The fifth and last part of the main body of the thesis corresponds to the conclusions.


title: Linear-time calculation of the expected sum of edge lengths in random projective linearizations of trees

abstract: The syntactic structure of a sentence is often represented using syntactic dependency trees. The sum of the distances between syntactically related words has been in the limelight for the past decades. Research on dependency distances led to the formulation of the principle of dependency distance minimization whereby words in sentences are ordered so as to minimize that sum. Numerous random baselines have been defined to carry out related quantitative studies on languages. The simplest random baseline is the expected value of the sum in unconstrained random permutations of the words in the sentence, namely when all the shufflings of the words of a sentence are allowed and equally likely. Here we focus on a popular baseline: random projective permutations of the words of the sentence, that is, permutations where the syntactic dependency structure is projective, a formal constraint that sentences satisfy often in languages. Thus far, the expectation of the sum of dependency distances in random projective shufflings of a sentence has been estimated approximately with a Monte Carlo procedure whose cost is of the order of $Rn$, where $n$ is the number of words of the sentence and $R$ is the number of samples; it is well known that the larger $R$, the lower the error of the estimation but the larger the time cost. Here we present formulae to compute that expectation without error in time of the order of $n$. Furthermore, we show that star trees maximize it, and give an algorithm to retrieve the trees that minimize it.


title: Property (T) and strong $1$-boundedness for von Neumann algebras

abstract: The notion of strong 1-boundedness for finite von Neumann algebras was introduced by Jung in arXiv:math/0510576 . This framework provided a free probabilistic approach to study rigidity properties and classification of finite von Neumann algebras. In this paper, we prove that tracial von Neumann algebras with a finite Kazhdan set are strongly 1-bounded. This includes all Property (T) von Neumann algebras with finite dimensional center and group von Neumann algebras of Property (T) groups. This result generalizes all the previous results in this direction due to Voiculescu, Ge, Ge-Shen, Connes-Shlyakhtenko, Jung-Shlyakhtenko, Jung, and Shlyakhtenko. Our proofs are based on analysis of covering estimates of microstate spaces using an iteration technique in the spirit of Jung.


title: Introducing the structural bases of typicality effects in deep learning

abstract: In this paper, we hypothesize that the effects of the degree of typicality in natural semantic categories can be generated based on the structure of artificial categories learned with deep learning models. Motivated by the human approach to representing natural semantic categories and based on the Prototype Theory foundations, we propose a novel Computational Prototype Model (CPM) to represent the internal structure of semantic categories. Unlike other prototype learning approaches, our mathematical framework proposes a first approach to provide deep neural networks with the ability to model abstract semantic concepts such as category central semantic meaning, typicality degree of an object's image, and family resemblance relationship. We proposed several methodologies based on the typicality's concept to evaluate our CPM-model in image semantic processing tasks such as image classification, a global semantic description, and transfer learning. Our experiments on different image datasets, such as ImageNet and Coco, showed that our approach might be an admissible proposition in the effort to endow machines with greater power of abstraction for the semantic representation of objects' categories.


title: MD-split+: Practical Local Conformal Inference in High Dimensions

abstract: Quantifying uncertainty in model predictions is a common goal for practitioners seeking more than just point predictions. One tool for uncertainty quantification that requires minimal assumptions is conformal inference, which can help create probabilistically valid prediction regions for black box models. Classical conformal prediction only provides marginal validity, whereas in many situations locally valid prediction regions are desirable. Deciding how best to partition the feature space X when applying localized conformal prediction is still an open question. We present MD-split+, a practical local conformal approach that creates X partitions based on localized model performance of conditional density estimation models. Our method handles complex real-world data settings where such models may be misspecified, and scales to high-dimensional inputs. We discuss how our local partitions philosophically align with expected behavior from an unattainable conditional conformal inference approach. We also empirically compare our method against other local conformal approaches.


title: Wavefronts, light rays and caustic associated with the refraction of a plane wave by a conospherical lens

abstract: The aim of the present work is to introduce a lens whose faces are a conical surface and a spherical surface. We illuminate this lens by a plane wavefront and its associated refracted wavefronts, light rays and caustic are computed. We find that the caustic has two branches. The first is constituted by two segments of a line, one part of this caustic is real and the other one virtual. The second branch of the caustic is a two-dimensional surface with a singularity of the cusp ridge type. It is important to remark that the two branches of the caustic are disconnected. Because of this property we believe that using this optical element one could generate a scalar optical accelerating beam in the region where the caustic is a two-dimensional surface of revolution, and at the same time a scalar optical beam with similar properties to the Bessel beam of zero order in the region were the real caustic is a segment of a line along the optical axis.


title: Gross polluters and vehicles' emissions reduction

abstract: Vehicles' emissions produce a significant share of cities' air pollution, with a substantial impact on the environment and human health. Traditional emission estimation methods use remote sensing stations, missing vehicles' full driving cycle, or focus on a few vehicles. We use GPS traces and a microscopic model to analyse the emissions of four air pollutants from thousands of private vehicles in three European cities. We find that the emissions across the vehicles and roads are well approximated by heavy-tailed distributions and thus discover the existence of gross polluters, vehicles responsible for the greatest quantity of emissions, and grossly polluted roads, which suffer the greatest amount of emissions. Our simulations show that emissions reduction policies targeting gross polluters are way more effective than those limiting circulation based on a non-informed choice of vehicles. Our study contributes to shaping the discussion on how to measure emissions with digital data.


title: Constant-roll inflation from a fermionic field

abstract: We study the inflationary period driven by a fermionic field which is non-minimally coupled to gravity in the context of the constant-roll approach. We consider the model for a specific form of coupling and perform the corresponding inflationary analysis. By comparing the result with the Planck observations coming from CMB anisotropies, we find the observational constraints on the parameters space of the model and also the predictions the model. We find that the values of $r$ and $n_{s}$ for $-1.5<\beta\leq-0.9$ are in good agreement with the observations when $|\xi|=0.1$ and $N=60$.


title: Funnel MPC for nonlinear systems with relative degree one

abstract: We show that Funnel MPC, a novel Model Predictive Control (MPC) scheme, allows tracking of smooth reference signals with prescribed performance for nonlinear multi-input multi-output systems of relative degree one with stable internal dynamics. The optimal control problem solved in each iteration of Funnel MPC resembles the basic idea of penalty methods used in optimization. To this end, we present a new stage cost design to mimic the high-gain idea of (adaptive) funnel control. We rigorously show initial and recursive feasibility of Funnel MPC without imposing terminal conditions or other requirements like a sufficiently long prediction horizon.


title: SGN: Sparse Gauss-Newton for Accelerated Sensitivity Analysis

abstract: We present a sparse Gauss-Newton solver for accelerated sensitivity analysis with applications to a wide range of equilibrium-constrained optimization problems. Dense Gauss-Newton solvers have shown promising convergence rates for inverse problems, but the cost of assembling and factorizing the associated matrices has so far been a major stumbling block. In this work, we show how the dense Gauss-Newton Hessian can be transformed into an equivalent sparse matrix that can be assembled and factorized much more efficiently. This leads to drastically reduced computation times for many inverse problems, which we demonstrate on a diverse set of examples. We furthermore show links between sensitivity analysis and nonlinear programming approaches based on Lagrange multipliers and prove equivalence under specific assumptions that apply for our problem setting.


title: DORA: Toward Policy Optimization for Task-oriented Dialogue System with Efficient Context

abstract: Recently, reinforcement learning (RL) has been applied to task-oriented dialogue systems by using latent actions to solve shortcomings of supervised learning (SL). In this paper, we propose a multi-domain task-oriented dialogue system, called Dialogue System with Optimizing a Recurrent Action Policy using Efficient Context (DORA), that uses SL, with subsequently applied RL to optimize dialogue systems using a recurrent dialogue policy. This dialogue policy recurrently generates explicit system actions as a both word-level and high-level policy. As a result, DORA is clearly optimized during both SL and RL steps by using an explicit system action policy that considers an efficient context instead of the entire dialogue history. The system actions are both interpretable and controllable, whereas the latent actions are not. DORA improved the success rate by 6.6 points on MultiWOZ 2.0 and by 10.9 points on MultiWOZ 2.1.


title: Strategy Complexity of Mean Payoff, Total Payoff and Point Payoff Objectives in Countable MDPs

abstract: We study countably infinite Markov decision processes (MDPs) with real-valued transition rewards. Every infinite run induces the following sequences of payoffs: 1. Point payoff (the sequence of directly seen transition rewards), 2. Total payoff (the sequence of the sums of all rewards so far), and 3. Mean payoff. For each payoff type, the objective is to maximize the probability that the $\liminf$ is non-negative. We establish the complete picture of the strategy complexity of these objectives, i.e., how much memory is necessary and sufficient for $\varepsilon$-optimal (resp. optimal) strategies. Some cases can be won with memoryless deterministic strategies, while others require a step counter, a reward counter, or both.


title: Attribute reduction and rule acquisition of formal decision context based on two new kinds of decision rules

abstract: This paper mainly studies the rule acquisition and attribute reduction for formal decision context based on two new kinds of decision rules, namely I-decision rules and II-decision rules. The premises of these rules are object-oriented concepts, and the conclusions are formal concept and property-oriented concept respectively. The rule acquisition algorithms for I-decision rules and II-decision rules are presented. Some comparative analysis of these algorithms with the existing algorithms are examined which shows that the algorithms presented in this study behave well. The attribute reduction approaches to preserve I-decision rules and II-decision rules are presented by using discernibility matrix.


title: Assessing the forensic value of DNA evidence from Y chromosomes and mitogenomes

abstract: Y-chromosomal and mitochondrial DNA profiles have been used as evidence in courts for decades, yet the problem of evaluating the weight of evidence has not been adequately resolved. Both are lineage markers (inherited from just one parent), which presents different interpretation challenges compared with standard autosomal DNA profiles (inherited from both parents), for which recombination increases profile diversity and weakens the effects of relatedness. We review approaches to the evaluation of lineage marker profiles for forensic identification, focussing on the key roles of profile mutation rate and relatedness. Higher mutation rates imply fewer individuals matching the profile of an alleged contributor, but they will be more closely related. This makes it challenging to evaluate the possibility that one of these matching individuals could be the true source, because relatedness may make them more plausible alternative contributors than less-related individuals, and they may not be well mixed in the population. These issues reduce the usefulness of profile databases drawn from a broad population: the larger the population, the lower the profile relative frequency because of lower relatedness with the alleged contributor. Many evaluation methods do not adequately take account of relatedness, but its effects have become more pronounced with the latest generation of high-mutation-rate Y profiles.


title: Defeating duplicates: A re-design of the LearnedSort algorithm

abstract: LearnedSort is a novel sorting algorithm that, unlike traditional methods, uses fast ML models to boost the sorting speed. The models learn to estimate the input's distribution and arrange the keys in sorted order by predicting their empirical cumulative distribution function (eCDF) values. LearnedSort has shown outstanding performance compared to state-of-the-art sorting algorithms on several datasets, both synthetic and real. However, given the nature of the eCDF model, its performance is affected in the cases when the input data contains a large number of repeated keys (i.e., duplicates). This work analyzes this scenario in depth and introduces LearnedSort 2.0: a re-design of the algorithm that addresses this issue and enables the algorithm to maintain the leading edge even for high-duplicate inputs. Our extensive benchmarks on a large set of diverse datasets demonstrate that the new design performs at much higher sorting rates than the original version: an average of 4.78x improvement for high-duplicate datasets, and 1.60x for low-duplicate datasets while taking the lead among sorting algorithms.


title: Personal Information Management

abstract: Personal Information Management (PIM) refers to the practice and the study of the activities a person performs in order to acquire or create, store, organize, maintain, retrieve, use, and distribute information in each of its many forms (paper and digital, in e-mails, files, Web pages, text messages, tweets, posts, etc.) as needed to meet life's many goals (everyday and long-term, work-related and not) and to fulfill life's many roles and responsibilities (as parent, spouse, friend, employee, member of community, etc.). PIM activities are an effort to establish, use, and maintain a mapping between information and need. Activities of finding (and re-finding) move from a current need toward information while activities of keeping move from encountered information toward anticipated need. Meta-level activities such as maintaining, organizing, and managing the flow of information focus on the mapping itself. Tools and techniques of PIM can promote information integration with benefits for each kind of PIM activity and across the life cycle of personal information. Understanding how best to accomplish this integration without inadvertently creating problems along the way is a key challenge of PIM.


title: Bone Surface Reconstruction and Clinical Features Estimation from Sparse Landmarks and Statistical Shape Models: A feasibility study on the femur

abstract: In this study, we investigated a method allowing the determination of the femur bone surface as well as its mechanical axis from some easy-to-identify bony landmarks. The reconstruction of the whole femur is therefore performed from these landmarks using a Statistical Shape Model (SSM). The aim of this research is therefore to assess the impact of the number, the position, and the accuracy of the landmarks for the reconstruction of the femur and the determination of its related mechanical axis, an important clinical parameter to consider for the lower limb analysis. Two statistical femur models were created from our in-house dataset and a publicly available dataset. Both were evaluated in terms of average point-to-point surface distance error and through the mechanical axis of the femur. Furthermore, the clinical impact of using landmarks on the skin in replacement of bony landmarks is investigated. The predicted proximal femurs from bony landmarks were more accurate compared to on-skin landmarks while both had less than 3.5 degrees mechanical axis angle deviation error. The results regarding the non-invasive determination of the mechanical axis are very encouraging and could open very interesting clinical perspectives for the analysis of the lower limb either for orthopedics or functional rehabilitation.


title: Hawking radiation by spherically-symmetric static black holes for all spins: II -- Numerical emission rates, analytical limits and new constraints

abstract: In the companion paper [Phys. Rev. D 103 (2021) 10, [2101.02951]] we have derived the short-ranged potentials for the Teukolsky equations for massless spins $(0,1/2,1,2)$ in general spherically-symmetric and static metrics. Here we apply these results to numerically compute the Hawking radiation spectra of such particles emitted by black holes (BHs) in three different ansatz: charged BHs, higher-dimensional BHs, and polymerized BHs arising from models of quantum gravity. In order to ensure the robustness of our numerical procedure, we show that it agrees with newly derived analytic formulas for the cross-sections in the high and low energy limits. We show how the short-ranged potentials and precise Hawking radiation rates can be used inside the code $\texttt{BlackHawk}$ to predict future primordial BH evaporation signals for a very wide class of BH solutions, including the promising regular BH solutions derived from loop quantum gravity. In particular, we derive the first Hawking radiation constraints on polymerized BHs from AMEGO. We prove that the mass window $10^{16}-10^{18}\,$g for all dark matter into primordial BHs can be reopened with high values of the polymerization parameter, which encodes the typical scale and strength of quantum gravity corrections.


title: Calibration of Advanced Virgo and reconstruction of detector strain h(t) during the Observing Run O3

abstract: The three Advanced Virgo and LIGO gravitational wave detectors participated to the third observing run (O3) between 1 April 2019 15:00 UTC and 27 March 2020 17:00 UTC,leading to several gravitational wave detections per month. This paper describes the Advanced Virgo detector calibration and the reconstruction of the detector strain $h(t)$ during O3, as well as the estimation of the associated uncertainties. For the first time, the photon calibration technique as been used as reference for Virgo calibration, which allowed to cross-calibrate the strain amplitude of the Virgo and LIGO detectors. The previous reference, so-called free swinging Michelson technique, has still been used but as an independent cross-check. $h(t)$ reconstruction and noise subtraction were processed online, with good enough quality to prevent the need for offline reprocessing, except for the two last weeks of September 2019. The uncertainties for the reconstructed $h(t)$ strain, estimated in this paper in a 20-2000~Hz frequency band, are frequency independent: 5% in amplitude, 35 mrad in phase and 10 $\mu$s in timing, with the exception of larger uncertainties around 50 Hz.


title: Rigidity of joinings for time-changes of unipotent flows on quotients of Lorentz groups

abstract: Let $u_{X}^{t}$ be a unipotent flow on $X=SO(n,1)/\Gamma$, $u_{Y}^{t}$ be a unipotent flow on $Y=G/\Gamma^{\prime}$. Let $\tilde{u}_{X}^{t}$, $\tilde{u}_{Y}^{t}$ be time-changes of $u_{X}^{t}$, $u_{Y}^{t}$ respectively. We show the disjointness (in the sense of Furstenberg) between $u_{X}^{t}$ and $\tilde{u}_{Y}^{t}$ (or $\tilde{u}_{X}^{t}$ and $u_{Y}^{t}$) in certain situations. Our method refines the works of Ratner and extends a recent work of Dong, Kanigowski and Wei.


title: Electronic Self-passivation of Single Vacancy in Black Phosphorus via a Controlled Ionization

abstract: We report that mono-elemental black phosphorus presents a new electronic self-passivation scheme of single vacancy (SV). By means of low-temperature scanning tunneling microscopy and bond-resolved non-contact atomic force microscopy, we demonstrate that the local reconstruction and ionization of SV into negatively charged $\mathrm{SV}^-$ leads to the passivation of dangling bonds and thus the quenching of in-gap states, which can be achieved by mild thermal annealing or STM tip manipulation. SV exhibits a strong and symmetric Friedel oscillation (FO) pattern, while $\mathrm{SV}^-$ shows an asymmetric FO pattern with local perturbation amplitude reduced by one order of magnitude and a faster decay rate. The enhanced passivation by forming $\mathrm{SV}^-$ can be attributed to its weak dipole-like perturbation, consistent with density-functional theory and numerical calculations. Therefore, self-passivated $\mathrm{SV}^-$ is electronically benign and acts as a much weaker scattering center, which may hold the key to further enhance the charge mobility of BP and its analogs.


title: Trans4E: Link Prediction on Scholarly Knowledge Graphs

abstract: The incompleteness of Knowledge Graphs (KGs) is a crucial issue affecting the quality of AI-based services. In the scholarly domain, KGs describing research publications typically lack important information, hindering our ability to analyse and predict research dynamics. In recent years, link prediction approaches based on Knowledge Graph Embedding models became the first aid for this issue. In this work, we present Trans4E, a novel embedding model that is particularly fit for KGs which include N to M relations with N$\gg$M. This is typical for KGs that categorize a large number of entities (e.g., research articles, patents, persons) according to a relatively small set of categories. Trans4E was applied on two large-scale knowledge graphs, the Academia/Industry DynAmics (AIDA) and Microsoft Academic Graph (MAG), for completing the information about Fields of Study (e.g., 'neural networks', 'machine learning', 'artificial intelligence'), and affiliation types (e.g., 'education', 'company', 'government'), improving the scope and accuracy of the resulting data. We evaluated our approach against alternative solutions on AIDA, MAG, and four other benchmarks (FB15k, FB15k-237, WN18, and WN18RR). Trans4E outperforms the other models when using low embedding dimensions and obtains competitive results in high dimensions.


title: VAENAR-TTS: Variational Auto-Encoder based Non-AutoRegressive Text-to-Speech Synthesis

abstract: This paper describes a variational auto-encoder based non-autoregressive text-to-speech (VAENAR-TTS) model. The autoregressive TTS (AR-TTS) models based on the sequence-to-sequence architecture can generate high-quality speech, but their sequential decoding process can be time-consuming. Recently, non-autoregressive TTS (NAR-TTS) models have been shown to be more efficient with the parallel decoding process. However, these NAR-TTS models rely on phoneme-level durations to generate a hard alignment between the text and the spectrogram. Obtaining duration labels, either through forced alignment or knowledge distillation, is cumbersome. Furthermore, hard alignment based on phoneme expansion can degrade the naturalness of the synthesized speech. In contrast, the proposed model of VAENAR-TTS is an end-to-end approach that does not require phoneme-level durations. The VAENAR-TTS model does not contain recurrent structures and is completely non-autoregressive in both the training and inference phases. Based on the VAE architecture, the alignment information is encoded in the latent variable, and attention-based soft alignment between the text and the latent variable is used in the decoder to reconstruct the spectrogram. Experiments show that VAENAR-TTS achieves state-of-the-art synthesis quality, while the synthesis speed is comparable with other NAR-TTS models.


title: Big Data Information and Nowcasting: Consumption and Investment from Bank Transactions in Turkey

abstract: We use the aggregate information from individual-to-firm and firm-to-firm in Garanti BBVA Bank transactions to mimic domestic private demand. Particularly, we replicate the quarterly national accounts aggregate consumption and investment (gross fixed capital formation) and its bigger components (Machinery and Equipment and Construction) in real time for the case of Turkey. In order to validate the usefulness of the information derived from these indicators we test the nowcasting ability of both indicators to nowcast the Turkish GDP using different nowcasting models. The results are successful and confirm the usefulness of Consumption and Investment Banking transactions for nowcasting purposes. The value of the Big data information is more relevant at the beginning of the nowcasting process, when the traditional hard data information is scarce. This makes this information specially relevant for those countries where statistical release lags are longer like the Emerging Markets.


title: Vertex-Face/Zeta correspondence

abstract: We present the characteristic polynomial for the transition matrix of a vertex-face walk on a graph, and obtain its spectra. Furthermore, we express the characteristic polynomial for the transition matrix of a vertex-face walk on the 2-dimensional torus by using its adjacency matrix, and obtain its spectra. As an application, we define a new walk-type zeta function with respect to the transition matrix of a vertex-face walk on the 2-dimensional torus, and present its explicit formula.


title: Generalized Ornstein--Uhlenbeck Semigroups in weighted $L^p$-spaces on Riemannian Manifolds

abstract: Let $\mathcal{E}$ be a Hermitian vector bundle over a Riemannian manifold $M$ with metric $g$, let $\nabla$ be a metric covariant derivative on $\mathcal{E}$. We study the generalized Ornstein-Uhlenbeck differential expression $P^{\nabla}=\nabla^{\dagger}\nabla u+\nabla_{(d\phi)^{\sharp}}u-\nabla_{X}u+Vu$, where $\nabla^{\dagger}$ is the formal adjoint of $\nabla$, $(d\phi)^{\sharp}$ is the vector field corresponding to $d\phi$ via $g$, $X$ is a smooth real vector field on $M$, and $V$ is a self-adjoint locally integrable section of the bundle $\textrm{End }\mathcal{E}$. We show that (the negative of) the maximal realization $-H_{p,\max}$ of $P^{\nabla}$ generates an analytic quasi-contractive semigroup in $L^p_{\mu}(\mathcal{E})$, $1<p<\infty$, where $d\mu=e^{-\phi}d\nu_{g}$, with $\nu_{g}$ being the volume measure. Additionally, we describe a Feynman-Kac representation for the semigroup generated by $-H_{p,\max}$. For the Ornstein-Uhlenbeck differential expression acting on functions, that is, $P^{d}=\Delta u+(d\phi)^{\sharp}u-Xu+Vu$, where $\Delta$ is the (non-negative) scalar Laplacian on $M$ and $V$ is a locally integrable real-valued function, we consider another way of realizing $P^{d}$ as an operator in $L^p_{\mu}(M)$ and, by imposing certain geometric conditions on $M$, we prove another semigroup generation result.


title: The microscopic origin of anomalous properties of ice relies on the strong quantum anharmonic regime of atomic vibrations

abstract: Water ice is a unique material presenting intriguing physical properties, like negative thermal expansion and anomalous volume isotope effect (VIE). They arise from the interplay between weak hydrogen bonds and nuclear quantum fluctuations, making theoretical calculations challenging. Here, we employ the stochastic self-consistent harmonic approximation (SSCHA) to investigate how thermal and quantum fluctuations affect the physical properties of ice XI ab initio. Regarding the anomalous VIE, our work reveals that quantum effects on hydrogen are so strong to be in a nonlinear regime: when progressively increasing the mass of hydrogen from protium to infinity (classical limit), the volume firstly expands and then contracts, with a maximum slightly above the mass of tritium. We observe an anharmonic renormalization of about 10% in the bending and stretching phonon frequencies probed in IR and Raman experiments. For the first time, we report an accurate comparison of the low energy phonon dispersion with the experimental data, possible only thanks to high-level accuracy in the electronic correlation and nuclear quantum and thermal fluctuations, paving the way for the study of thermal transport in ice from first principles and the simulation of ice under pressure.


title: Weyl Fermions in a Linear Class of G\"odel-Type Space-Time Backgrounds

abstract: We study Weyl fermions in a linear class of topologically trivial G\"odel-type geometries in Einstein's general relativity. We solve the Weyl equation and evaluate in detail the energy eigenvalues and the corresponding wave functions.


title: The q-Levenberg-Marquardt method for unconstrained nonlinear optimization

abstract: A q-Levenberg-Marquardt method is an iterative procedure that blends a q-steepest descent and q-Gauss-Newton methods. When the current solution is far from the correct one the algorithm acts as the q-steepest descent method. Otherwise the algorithm acts as the q-Gauss-Newton method. A damping parameter is used to interpolate between these two methods. The q-parameter is used to escape from local minima and to speed up the search process near the optimal solution.


title: Statistical Modelling of Level Difficulty in Puzzle Games

abstract: Successful and accurate modelling of level difficulty is a fundamental component of the operationalisation of player experience as difficulty is one of the most important and commonly used signals for content design and adaptation. In games that feature intermediate milestones, such as completable areas or levels, difficulty is often defined by the probability of completion or completion rate; however, this operationalisation is limited in that it does not describe the behaviour of the player within the area. In this research work, we formalise a model of level difficulty for puzzle games that goes beyond the classical probability of success. We accomplish this by describing the distribution of actions performed within a game level using a parametric statistical model thus creating a richer descriptor of difficulty. The model is fitted and evaluated on a dataset collected from the game Lily's Garden by Tactile Games, and the results of the evaluation show that the it is able to describe and explain difficulty in a vast majority of the levels.


title: The effect of quantum memory on quantum speed limit time for CP-(in)divisible channels

abstract: Quantum speed limit time defines the limit on the minimum time required for a quantum system to evolve between two states. Investigation of bounds on speed limit time of quantum system under non-unitary evolution is of fundamental interest, as it reveals interesting connections to quantum (non-)Markovianity. Here, we discuss the characteristics of quantum speed limit time as a function of quantum memory, quantified as the deviation from temporal self-similarity of quantum dynamical maps for CP-divisible as well as indivisible maps, and show that the presence of quantum memory can speed up quantum evolution. This demonstrates the enhancement of the speed of quantum evolution in the presence of quantum memory for a wider class of channels than indicated by the CP-indivisibility criterion.


title: Ecosystems are showing symptoms of resilience loss

abstract: Ecosystems around the world are at risk of critical transitions due to increasing anthropogenic pressures and climate change. Yet it is unclear where the risks are higher or where in the world ecosystems are more vulnerable. Here I measure resilience of primary productivity proxies for marine and terrestrial ecosystems globally. Up to 29% of global terrestrial ecosystem, and 24% marine ones, show symptoms of resilience loss. These symptoms are shown in all biomes, but Arctic tundra and boreal forest are the most affected, as well as the Indian Ocean and Eastern Pacific. Although the results are likely an underestimation, they enable the identification of risk areas as well as the potential synchrony of some transitions, helping prioritize areas for management interventions and conservation.


title: On the existence and H\"older regularity of solutions to some nonlinear Cauchy-Neumann problems

abstract: We prove uniform parabolic H\"older estimates of De Giorgi-Nash-Moser type for sequences of minimizers of the functionals \[ \mathcal{E}_\varepsilon(W) = \int_0^\infty \frac{e^{- t/\varepsilon}}{\varepsilon} \bigg\{ \int_{\mathbb{R}_+^{N+1}} y^a \left( \varepsilon|\partial_t W|^2 + |\nabla W|^2 \right) dX + \int_{\mathbb{R}^N \times\{0\}} \Phi(w) dx \bigg\}dt, \qquad \varepsilon \in (0,1) \] where $a \in (-1,1)$ is a fixed parameter, $\mathbb{R}_+^{N+1}$ is the upper half-space and $dX = dxdy$. As a consequence, we deduce the existence and H\"older regularity of weak solutions to a class of weighted nonlinear Cauchy-Neumann problems arising in combustion theory and fractional diffusion.


title: Dynamical Fractional and Multifractal Fields

abstract: Motivated by the modeling of three-dimensional fluid turbulence, we define and study a class of stochastic partial differential equations (SPDEs) that are randomly stirred by a spatially smooth and uncorrelated in time forcing term. To reproduce the fractional, and more specifically multifractal, regularity nature of fully developed turbulence, these dynamical evolutions incorporate an homogenous pseudo-differential linear operator of degree 0 that takes care of transferring energy that is injected at large scales in the system, towards smaller scales according to a cascading mechanism. In the simplest situation which concerns the development of fractional regularity in a linear and Gaussian framework, we derive explicit predictions for the statistical behaviors of the solution at finite and infinite time. Doing so, we realize a cascading transfer of energy using linear, although non local, interactions. These evolutions can be seen as a stochastic version of recently proposed systems of forced waves intended to model the regime of weak wave turbulence in stratified and rotational flows. To include multifractal, i.e. intermittent, corrections to this picture, we get some inspiration from the Gaussian multiplicative chaos, which is known to be multifractal, to motivate the introduction of an additional quadratic interaction in these dynamical evolutions. Because the theoretical analysis of the obtained class of nonlinear SPDEs is much more demanding, we perform numerical simulations and observe the non-Gaussian and in particular skewed nature of their solution.


title: Coxeter combinatorics for sum formulas in the representation theory of algebraic groups

abstract: Let $G$ be a simple algebraic group over an algebraically closed field $\mathbb{F}$ of characteristic $p\geq h$, the Coxeter number of $G$. We observe an easy `recursion formula' for computing the Jantzen sum formula of a Weyl module with $p$-regular highest weight. We also discuss a `duality formula' that relates the Jantzen sum formula to Andersen's sum formula for tilting filtrations and we give two different representation theoretic explanations of the recursion formula. As a corollary, we also obtain an upper bound on the length of the Jantzen filtration of a Weyl module with $p$-regular highest weight in terms of the length of the Jantzen filtration of a Weyl module with highest weight in an adjacent alcove.


title: RoFL: Robustness of Secure Federated Learning

abstract: Even though recent years have seen many attacks exposing severe vulnerabilities in Federated Learning (FL), a holistic understanding of what enables these attacks and how they can be mitigated effectively is still lacking. In this work, we demystify the inner workings of existing (targeted) attacks. We provide new insights into why these attacks are possible and why a definitive solution to FL robustness is challenging. We show that the need for ML algorithms to memorize tail data has significant implications for FL integrity. This phenomenon has largely been studied in the context of privacy; our analysis sheds light on its implications for ML integrity. We show that certain classes of severe attacks can be mitigated effectively by enforcing constraints such as norm bounds on clients' updates. We investigate how to efficiently incorporate these constraints into secure FL protocols in the single-server setting. Based on this, we propose RoFL, a new secure FL system that extends secure aggregation with privacy-preserving input validation. Specifically, RoFL can enforce constraints such as $L_2$ and $L_\infty$ bounds on high-dimensional encrypted model updates.


title: SoundStream: An End-to-End Neural Audio Codec

abstract: We present SoundStream, a novel neural audio codec that can efficiently compress speech, music and general audio at bitrates normally targeted by speech-tailored codecs. SoundStream relies on a model architecture composed by a fully convolutional encoder/decoder network and a residual vector quantizer, which are trained jointly end-to-end. Training leverages recent advances in text-to-speech and speech enhancement, which combine adversarial and reconstruction losses to allow the generation of high-quality audio content from quantized embeddings. By training with structured dropout applied to quantizer layers, a single model can operate across variable bitrates from 3kbps to 18kbps, with a negligible quality loss when compared with models trained at fixed bitrates. In addition, the model is amenable to a low latency implementation, which supports streamable inference and runs in real time on a smartphone CPU. In subjective evaluations using audio at 24kHz sampling rate, SoundStream at 3kbps outperforms Opus at 12kbps and approaches EVS at 9.6kbps. Moreover, we are able to perform joint compression and enhancement either at the encoder or at the decoder side with no additional latency, which we demonstrate through background noise suppression for speech.


title: A Leap among Quantum Computing and Quantum Neural Networks: A Survey

abstract: In recent years, Quantum Computing witnessed massive improvements in terms of available resources and algorithms development. The ability to harness quantum phenomena to solve computational problems is a long-standing dream that has drawn the scientific community's interest since the late 80s. In such a context, we propose our contribution. First, we introduce basic concepts related to quantum computations, and then we explain the core functionalities of technologies that implement the Gate Model and Adiabatic Quantum Computing paradigms. Finally, we gather, compare and analyze the current state-of-the-art concerning Quantum Perceptrons and Quantum Neural Networks implementations.


title: Bump conditions and two-weight inequalities for commutators of fractional integrals

abstract: This paper gives new two-weight bump conditions for the sparse operators related to iterated commutators of fractional integrals. As applications, the two-weight bounds for iterated commutators of fractional integrals under more general bump conditions are obtained. Meanwhile, the necessity of two-weight bump conditions as well as the converse of Bloom type estimates for iterated commutators of fractional integrals are also given.


title: Predicting with Confidence on Unseen Distributions

abstract: Recent work has shown that the performance of machine learning models can vary substantially when models are evaluated on data drawn from a distribution that is close to but different from the training distribution. As a result, predicting model performance on unseen distributions is an important challenge. Our work connects techniques from domain adaptation and predictive uncertainty literature, and allows us to predict model accuracy on challenging unseen distributions without access to labeled data. In the context of distribution shift, distributional distances are often used to adapt models and improve their performance on new domains, however accuracy estimation, or other forms of predictive uncertainty, are often neglected in these investigations. Through investigating a wide range of established distributional distances, such as Frechet distance or Maximum Mean Discrepancy, we determine that they fail to induce reliable estimates of performance under distribution shift. On the other hand, we find that the difference of confidences (DoC) of a classifier's predictions successfully estimates the classifier's performance change over a variety of shifts. We specifically investigate the distinction between synthetic and natural distribution shifts and observe that despite its simplicity DoC consistently outperforms other quantifications of distributional difference. $DoC$ reduces predictive error by almost half ($46\%$) on several realistic and challenging distribution shifts, e.g., on the ImageNet-Vid-Robust and ImageNet-Rendition datasets.