title: Intelligent Request Strategy Design in Recommender System

abstract: Waterfall Recommender System (RS), a popular form of RS in mobile applications, is a stream of recommended items consisting of successive pages that can be browsed by scrolling. In waterfall RS, when a user finishes browsing a page, the edge (e.g., mobile phones) would send a request to the cloud server to get a new page of recommendations, known as the paging request mechanism. RSs typically put a large number of items into one page to reduce excessive resource consumption from numerous paging requests, which, however, would diminish the RSs' ability to timely renew the recommendations according to users' real-time interest and lead to a poor user experience. Intuitively, inserting additional requests inside pages to update the recommendations with a higher frequency can alleviate the problem. However, previous attempts, including only non-adaptive strategies (e.g., insert requests uniformly), would eventually lead to resource overconsumption. To this end, we envision a new learning task of edge intelligence named Intelligent Request Strategy Design (IRSD). It aims to improve the effectiveness of waterfall RSs by determining the appropriate occasions of request insertion based on users' real-time intention. Moreover, we propose a new paradigm of adaptive request insertion strategy named Uplift-based On-edge Smart Request Framework (AdaRequest). AdaRequest 1) captures the dynamic change of users' intentions by matching their real-time behaviors with their historical interests based on attention-based neural networks. 2) estimates the counterfactual uplift of user purchase brought by an inserted request based on causal inference. 3) determines the final request insertion strategy by maximizing the utility function under online resource constraints. We conduct extensive experiments on both offline dataset and online A/B test to verify the effectiveness of AdaRequest.


title: SAQAM: Spatial Audio Quality Assessment Metric

abstract: Audio quality assessment is critical for assessing the perceptual realism of sounds. However, the time and expense of obtaining ''gold standard'' human judgments limit the availability of such data. For AR&VR, good perceived sound quality and localizability of sources are among the key elements to ensure complete immersion of the user. Our work introduces SAQAM which uses a multi-task learning framework to assess listening quality (LQ) and spatialization quality (SQ) between any given pair of binaural signals without using any subjective data. We model LQ by training on a simulated dataset of triplet human judgments, and SQ by utilizing activation-level distances from networks trained for direction of arrival (DOA) estimation. We show that SAQAM correlates well with human responses across four diverse datasets. Since it is a deep network, the metric is differentiable, making it suitable as a loss function for other tasks. For example, simply replacing an existing loss with our metric yields improvement in a speech-enhancement network.


title: A Perturbed-Alexander Invariant

abstract: In this note we give concise formulas, which lead to a simple and fast computer program that computes a powerful knot invariant. This invariant $\rho_1$ is not new, yet our formulas are by far the simplest and fastest: given a knot we write one of the standard matrices $A$ whose determinant is its Alexander polynomial, yet instead of computing the determinant we consider a certain quadratic expression in the entries of $A^{-1}$. The proximity of our formulas to the Alexander polynomial suggest that they should have a topological explanation. This we don't have yet.


title: First measurement of polarisation transfer $C^n_{x'}$ in deuteron photodisintegration

abstract: A first measurement of the polarisation transfer from a circularly-polarised photon to the final state neutron ($C^n_{x'}$) in deuterium photodisintegration has been carried out. This quantity is determined over the photon energy range 370~--~700~MeV and for neutron centre-of-mass breakup angles $\sim45-120^{\circ}$. The polarisation of the final state neutrons was determined by an ancillary large-acceptance nucleon polarimeter, surrounding a cryogenic liquid deuterium target within the Crystal Ball detector at MAMI. The polarimeter characterised $(n,p)$ charge exchange of the ejected neutrons to determine their polarisation. The new $C^n_{x'}$ data are also compared to a theoretical model based on nucleonic and nucleon resonance degrees of freedom constrained by the current world-database of deuterium photodisintegration measurements. Structures in $C^n_{x'}$ observed in the region of the $d^*(2380)$ could not be explained by conventional models of deuteron photodisintegration.


title: Automatic extraction of coronary arteries using deep learning in invasive coronary angiograms

abstract: Accurate extraction of coronary arteries from invasive coronary angiography (ICA) is important in clinical decision-making for the diagnosis and risk stratification of coronary artery disease (CAD). In this study, we develop a method using deep learning to automatically extract the coronary artery lumen. Methods. A deep learning model U-Net 3+, which incorporates the full-scale skip connections and deep supervisions, was proposed for automatic extraction of coronary arteries from ICAs. Transfer learning and a hybrid loss function were employed in this novel coronary artery extraction framework. Results. A data set containing 616 ICAs obtained from 210 patients was used. In the technical evaluation, the U-Net 3+ achieved a Dice score of 0.8942 and a sensitivity of 0.8735, which is higher than U-Net ++ (Dice score: 0.8814, the sensitivity of 0.8331) and U-net (Dice score: 0.8799, the sensitivity of 0.8305). Conclusion. Our study demonstrates that the U-Net 3+ is superior to other segmentation frameworks for the automatic extraction of the coronary arteries from ICAs. This result suggests great promise for clinical use.


title: On the Limitations of Elo: Real-World Games, are Transitive, not Additive

abstract: Real-world competitive games, such as chess, go, or StarCraft II, rely on Elo models to measure the strength of their players. Since these games are not fully transitive, using Elo implicitly assumes they have a strong transitive component that can correctly be identified and extracted. In this study, we investigate the challenge of identifying the strength of the transitive component in games. First, we show that Elo models can fail to extract this transitive component, even in elementary transitive games. Then, based on this observation, we propose an extension of the Elo score: we end up with a disc ranking system that assigns each player two scores, which we refer to as skill and consistency. Finally, we propose an empirical validation on payoff matrices coming from real-world games played by bots and humans.


title: The quantitative distribution of Hecke eigenvalues of Maass forms

abstract: Let $f$ be a normalized Hecke-Maass cusp form of weight zero for the group $SL_2(\mathbb Z)$. This article presents several quantitative results about the distribution of Hecke eigenvalues of $f$. Applications to the $\Omega_{\pm}$-results for the Hecke eigenvalues of $f$ and its symmetric square sym$^2(f)$ are also given.


title: The Bounded Beam Search algorithm for the Block Relocation Problem

abstract: In this paper we deal with the restricted Block Relocation Problem. We present a new lower bound and a heuristic approach for the problem. The proposed lower bound can be computed in polynomial time and it is provably better than some previously known lower bounds. We use it within a bounded beam search algorithm to solve the Block Relocation Problem and show that the considered heuristic approach outperforms the other existing algorithms on most of the instances in the literature. In order to test the approaches on real-size dimensions, new large instances of the Block Relocation Problem are also introduced.


title: Revising Properties of Planet-host Binary Systems I.: Methods and Pilot Study

abstract: To fully leverage the statistical strength of the large number of planets found by projects such as the Kepler survey, the properties of planets and their host stars must be measured as accurately as possible. One key population for planet demographic studies is circumstellar planets in close binaries ($\rho < 50$au), where the complex dynamical environment of the binary inhibits most planet formation, but some planets nonetheless survive. Accurately characterizing the stars and planets in these complex systems is a key factor in better understanding the formation and survival of planets in binaries. Toward that goal, we have developed a new Markov Chain Monte Carlo fitting algorithm to retrieve the properties of binary systems using unresolved spectra, unresolved photometry, and resolved contrasts. We have analyzed 8 Kepler Objects of Interest in M star binary systems using literature data, and have found that the temperatures of the primary stars (and presumed planet hosts) are revised upward by an average of 200 K. The planetary radii should be revised upward by an average of 20% if the primary star is the host, and 80% if the secondary star is the planet host. The average contrast between stellar components in the Kepler band is 0.75 mag, which is small enough that neither star in any of the binaries can be conclusively ruled out as a potential planet host. Our results emphasize the importance of accounting for multiplicity when measuring stellar parameters, especially in the context of exoplanet characterization.


title: Three-laser coherent population trapping in a multi-lambda system: theory, experiment and applications

abstract: We present theoretical and experimental results of coherent population trapping spectra on a multi-level $^{40}$Ca$^+$-type configuration, adding a third beam to the standard two-laser $\Lambda$ system to avoid undesired optical pumping. We show that the extra laser can preserve the nature of the dark resonances or introduce decoherence depending on its power. Experiments are carried out using a single trapped $^{40}$Ca$^+$ ion in the $S_{1/2}-P_{1/2}-D_{3/2}$ manifold. Theoretically, the problem is solved with a Floquet-like expansion of the Liouvillian that correctly predicts all of the measured spectra without the need of full time integration. As a first application of the multilaser technique, we show that the richer spectra obtained can be used as a vectorial polarimeter of one of the beams, allowing one to measure the electrical field at the ion position in any spatial direction. We also explain how our setup could realize a thermometer with tunable sensitivity and no laser-linewidth dependence.


title: Maximum Independent Set of Cliques and The Generalized Mantel's Theorem

abstract: A complete subgraph of any simple graph $G$ on $k$ vertices is called a $k$-\emph{clique} of $G$. In this paper, we first introduce the concept of the value of a $k$-clique ($k>1$) as an extension of the idea of the degree of a given vertex. Then, we obtain the generalized version of handshaking lemma which we call it clique handshaking lemma. The well-known classical result of Mantel states that the maximum number of edges in the class of triangle-free graphs with $n$ vertices is equal to $\frac{n^{2}}{4}$. Our main goal here is to find an extension of the above result for the class of $K_{\omega+1}$-free graphs, using the ideas of the value of cliques and the clique handshaking lemma.


title: Interior H\"older continuity for singular-degenerate porous medium type equations with an application to a biofilm model

abstract: We show interior H\"older continuity for a class of quasi-linear degenerate reaction-diffusion equations. The diffusion coefficient in the equation has a porous medium type degeneracy and its primitive has a singularity. The reaction term is locally bounded except in zero. The class of equations we analyse is motivated by a model that describes the growth of biofilms. Our method is based on the original proof of interior H\"older continuity for the porous medium equation. We do not restrict ourselves to solutions that are limits in the weak topology of a sequence of approximate continuous solutions of regularized problems, which is a common assumption.


title: Strongly isomorphic symbolic extensions for expansive topological flows

abstract: In this paper, we prove that finite-dimensional topological flows without fixed points and having a countable number of periodic orbits, have the small flow boundary property. This enables us to answer positively a question of Bowen and Walters from 1972: Any expansive topological flow has a strongly isomorphic symbolic flow extension, i.e. an extension by a suspension flow over a subshift. Previously Burguet had shown this is true if the flow is assumed to be $C^2$-smooth.


title: Analyzing the impact of SARS-CoV-2 variants on respiratory sound signals

abstract: The COVID-19 outbreak resulted in multiple waves of infections that have been associated with different SARS-CoV-2 variants. Studies have reported differential impact of the variants on respiratory health of patients. We explore whether acoustic signals, collected from COVID-19 subjects, show computationally distinguishable acoustic patterns suggesting a possibility to predict the underlying virus variant. We analyze the Coswara dataset which is collected from three subject pools, namely, i) healthy, ii) COVID-19 subjects recorded during the delta variant dominant period, and iii) data from COVID-19 subjects recorded during the omicron surge. Our findings suggest that multiple sound categories, such as cough, breathing, and speech, indicate significant acoustic feature differences when comparing COVID-19 subjects with omicron and delta variants. The classification areas-under-the-curve are significantly above chance for differentiating subjects infected by omicron from those infected by delta. Using a score fusion from multiple sound categories, we obtained an area-under-the-curve of 89% and 52.4% sensitivity at 95% specificity. Additionally, a hierarchical three class approach was used to classify the acoustic data into healthy and COVID-19 positive, and further COVID-19 subjects into delta and omicron variants providing high level of 3-class classification accuracy. These results suggest new ways for designing sound based COVID-19 diagnosis approaches.


title: The strongly coupled $E_8\times E_8$ heterotic string: Geometry $\&$ Phenomenology

abstract: Working within the context of the strongly coupled $E_8\times E_8$ heterotic string theory, we analyze the $B-L$ MSSM, a realistic supersymmetric extension of the Standard Model, from both a low-energy phenomenology and high-energy string perspective. From a formal point of view, we examine different constructions of string vacua, which satisfy a series of theoretical and phenomenological constraints. Such vacua configurations are anomaly-free, preserve $N = 1$ SUSY at the compactification scale and yield the correct value for the $SO(10)$ unification scale and gauge coupling in the visible particle sector. Furthermore, we analyze a possible SUSY-breaking mechanism for the type of vacua we construct, via gaugino condensation in the hidden sector. In an attempt to connect these findings to experiment, we study the prospects of detecting the $B-L$ MSSM at the LHC in the near future. Within this specific context, we show that R-parity violating decays of supersymmetric particles could be amenable to direct detection at the ATLAS and CMS detectors. Detection of these processes would not only be an explicit indication of "Beyond the Standard Model" physics, but would also hint strongly at the existence of $N=1$ SUSY with spontaneously broken R-parity.


title: Bugs in Machine Learning-based Systems: A Faultload Benchmark

abstract: The rapid escalation of applying Machine Learning (ML) in various domains has led to paying more attention to the quality of ML components. There is then a growth of techniques and tools aiming at improving the quality of ML components and integrating them into the ML-based system safely. Although most of these tools use bugs' lifecycle, there is no standard benchmark of bugs to assess their performance, compare them and discuss their advantages and weaknesses. In this study, we firstly investigate the reproducibility and verifiability of the bugs in ML-based systems and show the most important factors in each one. Then, we explore the challenges of generating a benchmark of bugs in ML-based software systems and provide a bug benchmark namely defect4ML that satisfies all criteria of standard benchmark, i.e. relevance, reproducibility, fairness, verifiability, and usability. This faultload benchmark contains 100 bugs reported by ML developers in GitHub and Stack Overflow, using two of the most popular ML frameworks: TensorFlow and Keras. defect4ML also addresses important challenges in Software Reliability Engineering of ML-based software systems, like: 1) fast changes in frameworks, by providing various bugs for different versions of frameworks, 2) code portability, by delivering similar bugs in different ML frameworks, 3) bug reproducibility, by providing fully reproducible bugs with complete information about required dependencies and data, and 4) lack of detailed information on bugs, by presenting links to the bugs' origins. defect4ML can be of interest to ML-based systems practitioners and researchers to assess their testing tools and techniques.


title: Conception of an enhanced mechanism for a new Kibble balance directly traceable to the quantum SI

abstract: The ``Quantum Electro-Mechanical Metrology Suite'' (QEMMS) is being designed and built at the National Institute of Standards and Technology. It includes a Kibble balance, a Graphene quantum Hall resistance array and a Josephson voltage system, so that it is a new primary standard for the unit of mass, the kilogram, directly traceable to the International System of Units (SI) based on quantum constants. We are targeting a measurement range of 10 g to 200 g and optimize the design for a relative combined uncertainty of $2\times 10^{-8}$ for masses of 100 g. QEMMS will be developed as an open hardware and software design. In this article, we explain the design of the moving and weighing mechanism in the QEMMS.


title: Relative Ideal Classes of Arbitrary Order

abstract: We adapt a known technique for searching for ideal classes of arbitrary order and then apply it to three families of number fields. We show that a family of cyclic sextic number fields has infinitely many fields in it that contain a relative ideal class of order $r,$ where $r$ is a positive integer relatively prime to the degree of the extension. We then show that the same holds true for a family of cyclic quartic number fields. Though the technique is traditionally applied to Galois extensions, we show how it may be adapted to handle a family of non-Galois cubic number fields and prove that this family contains infinitely many fields with an ideal class of arbitrary order relatively prime to three.


title: Learning sparse features can lead to overfitting in neural networks

abstract: It is widely believed that the success of deep networks lies in their ability to learn a meaningful representation of the features of the data. Yet, understanding when and how this feature learning improves performance remains a challenge: for example, it is beneficial for modern architectures trained to classify images, whereas it is detrimental for fully-connected networks trained for the same task on the same data. Here we propose an explanation for this puzzle, by showing that feature learning can perform worse than lazy training (via random feature kernel or the NTK) as the former can lead to a sparser neural representation. Although sparsity is known to be essential for learning anisotropic data, it is detrimental when the target function is constant or smooth along certain directions of input space. We illustrate this phenomenon in two settings: (i) regression of Gaussian random functions on the d-dimensional unit sphere and (ii) classification of benchmark datasets of images. For (i), we compute the scaling of the generalization error with number of training points, and show that methods that do not learn features generalize better, even when the dimension of the input space is large. For (ii), we show empirically that learning features can indeed lead to sparse and thereby less smooth representations of the image predictors. This fact is plausibly responsible for deteriorating the performance, which is known to be correlated with smoothness along diffeomorphisms.


title: Augmented unprojected Krylov subspace methods

abstract: Augmented Krylov subspace methods aid in accelerating the convergence of a standard Krylov subspace method by including additional vectors in the search space. A residual projection framework based on residual (Petrov-) Galerkin constraints was presented in [Gaul et al. SIAM J. Matrix Anal. Appl 2013], and later generalised in a recent survey on subspace recycling iterative methods [Soodhalter et al. GAMM-Mitt. 2020]. The framework describes augmented Krylov subspace methods in terms of applying a standard Krylov subspace method to an appropriately projected problem. In this work we show that the projected problem has an equivalent unprojected formulation, and that viewing the framework in this way provides a similar description for the class of unprojected augmented Krylov subspace methods. We derive the first unprojected augmented Full Orthogonalization Method (FOM), and demonstrate its effectiveness as a recycling method. We then show how the R$^{3}$GMRES algorithm fits within the framework. We show that unprojected augmented short recurrence methods fit within the framework, but can only be implemented in practice under certain conditions on the augmentation subspace. We demonstrate this using the Augmented Conjugate Gradient (AugCG) algorithm as an example.


title: A Branch-and-Price Algorithm for the Two-Echelon Inventory-Routing Problem

abstract: The two-echelon inventory-routing problem (2E-IRP) addresses the coordination of inventory management and freight transportation throughout a two-echelon supply network. The latter consists of geographically widespread customers whose demand over a discrete planning horizon can be met from either their local inventory or intermediate facilities' inventory. Intermediate facilities are located in the city outskirt and are supplied from distant suppliers. The 2E-IRP aims to minimize transportation costs and inventory costs while meeting customers' demand. A route-based formulation is proposed and a branch-and-price algorithm is developed for solving the 2E-IRP. A labeling algorithm is used to solve several pricing subproblems associated with each period and intermediate facility. We generate 400 instances and obtain optimal solutions for 116 instances, and good upper bounds for 60 instances with a gap of less than 5% (with an average of 2.8%). Variations of the algorithm could solve 7 more instances to optimality. We provide comprehensive analyses to evaluate the performance of our solution approach.


title: Evaluations of some Toeplitz-type determinants

abstract: In this paper we evaluate some Toeplitz-type determinants. Let $n>1$ be an integer. We prove the following two basic identities: \begin{align*} \det{[j-k+\delta_{jk}]_{1\leq j,k\leq n}}&=1+\frac{n^2(n^2-1)}{12}, \\ \det{[|j-k|+\delta_{jk}]_{1\leq j,k\leq n}}&= \begin{cases} \frac{1+(-1)^{(n-1)/2}n}{2}&\text{if}\ 2\nmid n,\\ \frac{1+(-1)^{n/2}}{2}&\text{if}\ 2\mid n, \end{cases} \end{align*} where $\delta_{jk}$ is the Kronecker delta. For complex numbers $a,b,c$ with $b\not=0$ and $a^2\not=4b$, and the sequence $(w_m)_{m\in\mathbb Z}$ with $w_{k+1}=aw_k-bw_{k-1}$ for all $k\in\mathbb Z$, we establish the identity $$\det[w_{j-k}+c\delta_{jk}]_{1\le j,k\le n} =c^n+c^{n-1}nw_0+c^{n-2}(w_1^2-aw_0w_1+bw_0^2)\frac{u_n^2b^{1-n}-n^2}{a^2-4b},$$ where $u_0=0$, $u_1=1$ and $u_{k+1}=au_k-bu_{k-1}$ for all $k=1,2,\ldots$.


title: Geometric optics approximation for the Einstein vacuum equations

abstract: We show the stability of the geometric optics approximation in general relativity by constructing a family $(g_\lambda)_{\lambda\in(0,1]}$ of high-frequency metrics solutions to the Einstein vacuum equations in 3+1 dimensions without any symmetry assumptions. In the limit $\lambda\to 0$ this family approaches a fixed background $g_0$ solution of the Einstein-null dust system, illustrating the backreaction phenomenon. We introduce a precise second order high-frequency ansatz and identify a generalised wave gauge as well as polarization conditions at each order. The validity of our ansatz is ensured by a weak polarized null condition satisfied by the quadratic non-linearity in the Ricci tensor. The Einstein vacuum equations for $g_\lambda$ are recast as a hierarchy of transport and wave equations, and their coupling induces a loss of derivatives. In order to solve it, we take advantage of a null foliation associated to $g_0$ as well as a Fourier cut-off adapted to our ansatz. The construction of high-frequency initial data solving the constraint equations is the content of our companion paper \cite{Touati2023a}.


title: Hydrated anions: From clusters to bulk solution with quasi-chemical theory

abstract: The interactions of hydrated ions with solution and interface partners are strong on a chemical energy scale. Here, we test the foremost \textit{ab initio theory} for evaluation of hydration free energies of ions, namely, \textit{quasi-chemical theory} (QCT). We focus on halide anions, but also the hydroxide anion, since they have been outstanding challenges for all theories. QCT is built by identification of inner-shell clusters, separate treatment of those clusters, then integration of those results into the broader-scale solution environment. We exploit a close comparison with mass-spectrometric measurements of ion-hydration equilibria. That theory-experiment comparison is excellent with moderate computational effort here. This agreement reinforces both theory and experiment, and provides a numerically accurate inner-shell contribution to QCT. The inner-shell complexes involving heavier halides display strikingly asymmetric hydration clusters. QCT provides a favorable setting for exploitation of the polarizable continuum model (PCM) when the inner-shell material shields the ion from the outer solution environment. For the asymmetrically hydrated, and less effectively shielded, heavier halide ions, we investigate an inverse procedure in which the inner-shell structures are sampled from readily available AIMD calculations on the bulk solutions. This inverse procedure is a remarkable improvement and our final results are in close agreement with a standard tabulation of hydration free energies. Comparison of anion hydration cluster structures with bulk solutions from AIMD simulations emphasize slight differences: the asymmetries of bulk solution inner-shell structures are moderated, but still present; and inner shells fill to slightly higher average coordination numbers in bulk solution than in clusters.


title: PoCaP Corpus: A Multimodal Dataset for Smart Operating Room Speech Assistant using Interventional Radiology Workflow Analysis

abstract: This paper presents a new multimodal interventional radiology dataset, called PoCaP (Port Catheter Placement) Corpus. This corpus consists of speech and audio signals in German, X-ray images, and system commands collected from 31 PoCaP interventions by six surgeons with average duration of 81.4 $\pm$ 41.0 minutes. The corpus aims to provide a resource for developing a smart speech assistant in operating rooms. In particular, it may be used to develop a speech controlled system that enables surgeons to control the operation parameters such as C-arm movements and table positions. In order to record the dataset, we acquired consent by the institutional review board and workers council in the University Hospital Erlangen and by the patients for data privacy. We describe the recording set-up, data structure, workflow and preprocessing steps, and report the first PoCaP Corpus speech recognition analysis results with 11.52 $\%$ word error rate using pretrained models. The findings suggest that the data has the potential to build a robust command recognition system and will allow the development of a novel intervention support systems using speech and image processing in the medical domain.


title: Fresnel coefficients, coherent optical scattering and planar waveguiding

abstract: One-dimensional optical waveguiding is revisited using the electromagnetic deduction of Fresnel formulas relating the incident, reflected, and transmitted waves on the abrupt interface between two different optical media. Throughout the paper, different optical configurations are analyzed from this perspective revealing that, in all cases, those solutions corresponding to waveguiding configurations share common features. These shared characteristics are: firstly, the guided modes always emerge as singular solutions of the associate coherent optical scattering problem and, secondly, the resonance condition that must be satisfied corresponds to the pole of the associated Fresnel Coefficients.


title: How to train accurate BNNs for embedded systems?

abstract: A key enabler of deploying convolutional neural networks on resource-constrained embedded systems is the binary neural network (BNN). BNNs save on memory and simplify computation by binarizing both features and weights. Unfortunately, binarization is inevitably accompanied by a severe decrease in accuracy. To reduce the accuracy gap between binary and full-precision networks, many repair methods have been proposed in the recent past, which we have classified and put into a single overview in this chapter. The repair methods are divided into two main branches, training techniques and network topology changes, which can further be split into smaller categories. The latter category introduces additional cost (energy consumption or additional area) for an embedded system, while the former does not. From our overview, we observe that progress has been made in reducing the accuracy gap, but BNN papers are not aligned on what repair methods should be used to get highly accurate BNNs. Therefore, this chapter contains an empirical review that evaluates the benefits of many repair methods in isolation over the ResNet-20\&CIFAR10 and ResNet-18\&CIFAR100 benchmarks. We found three repair categories most beneficial: feature binarizer, feature normalization, and double residual. Based on this review we discuss future directions and research opportunities. We sketch the benefit and costs associated with BNNs on embedded systems because it remains to be seen whether BNNs will be able to close the accuracy gap while staying highly energy-efficient on resource-constrained embedded systems.


title: Double-Real-Virtual and Double-Virtual-Real Corrections to the Three-Loop Thrust Soft Function

abstract: We compute the ${\cal O}(\alpha_s^3)$ double-real-virtual (RRV) and double-virtual-real (VVR) soft contributions to the thrust/zero-jettiness event shape. The result clears up one of the most stubborn obstacles toward the complete ${\cal O}(\alpha_s^3)$ thrust soft function. The results presented here serve as the key input to realize the next-to-next-to-next-to-leading logarithmic prime (N${}^3$LL') % and even the next-to-next-to-next-to-next-to-leading logarithmic (N${}^4$LL) resummation of the thrust event shape. The obtained results also constitute the important ingredients of the $N$-jettiness-subtraction scheme at next-to-next-to-next-to-leading order (N${}^3$LO).


title: Input-output consistency in integrate and fire interconnected neurons

abstract: Interspike intervals describe the output of neurons. Signal transmission in a neuronal network implies that the output of some neurons becomes the input of others. The output should reproduce the main features of the input to avoid a distortion when it becomes the input of other neurons, that is input and output should exhibit some sort of consistency. In this paper, we consider the question: how should we mathematically characterize the input in order to get a consistent output? Here we interpret the consistency by requiring the reproducibility of the input tail behaviour of the interspike intervals distributions in the output. Our answer refers to a system of interconnected neurons with stochastic perfect integrate and fire units. In particular, we show that the class of regularly-varying vectors is a possible choice to obtain such consistency. Some further necessary technical hypotheses are added.


title: ModLaNets: Learning Generalisable Dynamics via Modularity and Physical Inductive Bias

abstract: Deep learning models are able to approximate one specific dynamical system but struggle at learning generalisable dynamics, where dynamical systems obey the same laws of physics but contain different numbers of elements (e.g., double- and triple-pendulum systems). To relieve this issue, we proposed the Modular Lagrangian Network (ModLaNet), a structural neural network framework with modularity and physical inductive bias. This framework models the energy of each element using modularity and then construct the target dynamical system via Lagrangian mechanics. Modularity is beneficial for reusing trained networks and reducing the scale of networks and datasets. As a result, our framework can learn from the dynamics of simpler systems and extend to more complex ones, which is not feasible using other relevant physics-informed neural networks. We examine our framework for modelling double-pendulum or three-body systems with small training datasets, where our models achieve the best data efficiency and accuracy performance compared with counterparts. We also reorganise our models as extensions to model multi-pendulum and multi-body systems, demonstrating the intriguing reusable feature of our framework.


title: Can Witten spinor Hamiltonian formulation describe the GR angular momentum?

abstract: The Witten spinor Hamiltonian formulation has previously been shown to be able to yield a quasilocalization for the GR energy-momentum which leads to a proof of the positive energy when the spinor satisfies the Witten equation. In this work we investigate whether this formulation can also describe the GR angular momentum. We conceive four candidates of the quadratic spinor Hamiltonian for the angular momentum based on Witten's scheme. The first one is acquired by substituting the spinor pseudovectorial parameterization for the spinor vectorial parameterization of the displacement in the Witten Hamiltonian. The other three each are composed of other quadratic spinor terms, all with the displacement consisting of the spinor parameterization of an antisymmetric 2-rank tensor and a position vector, one having 4 terms and the others each having twice distinct 2 of the 4 terms. With possible field perturbations around the at spacetime we find none of the four candidates can give the angular momentum quasilocalization. The importance and prospects for successfully including the angular momentum in Witten's formalism are discussed.


title: Source Localization of Graph Diffusion via Variational Autoencoders for Graph Inverse Problems

abstract: Graph diffusion problems such as the propagation of rumors, computer viruses, or smart grid failures are ubiquitous and societal. Hence it is usually crucial to identify diffusion sources according to the current graph diffusion observations. Despite its tremendous necessity and significance in practice, source localization, as the inverse problem of graph diffusion, is extremely challenging as it is ill-posed: different sources may lead to the same graph diffusion patterns. Different from most traditional source localization methods, this paper focuses on a probabilistic manner to account for the uncertainty of different candidate sources. Such endeavors require overcoming challenges including 1) the uncertainty in graph diffusion source localization is hard to be quantified; 2) the complex patterns of the graph diffusion sources are difficult to be probabilistically characterized; 3) the generalization under any underlying diffusion patterns is hard to be imposed. To solve the above challenges, this paper presents a generic framework: Source Localization Variational AutoEncoder (SL-VAE) for locating the diffusion sources under arbitrary diffusion patterns. Particularly, we propose a probabilistic model that leverages the forward diffusion estimation model along with deep generative models to approximate the diffusion source distribution for quantifying the uncertainty. SL-VAE further utilizes prior knowledge of the source-observation pairs to characterize the complex patterns of diffusion sources by a learned generative prior. Lastly, a unified objective that integrates the forward diffusion estimation model is derived to enforce the model to generalize under arbitrary diffusion patterns. Extensive experiments are conducted on 7 real-world datasets to demonstrate the superiority of SL-VAE in reconstructing the diffusion sources by excelling other methods on average 20% in AUC score.


title: Gaussian Process-based calculation of look-elsewhere trials factor

abstract: In high-energy physics it is a recurring challenge to efficiently and precisely (enough) calculate the global significance of, e.g., a potential new resonance. We propose a new method that models the significance in the search region as a Gaussian Process. The kernel of the Gaussian Process is approximated with a covariance matrix and is calculated with a carefully designed set of background-only data sets, comparable in number to the random background-only data sets used in a typical analysis that relies on the average upcrossings of the significance. The trials factor for both low and moderate significances can subsequently be calculated to the desired precision with a computationally inexpensive random sampling of the Gaussian Process. In addition, once the covariance of the Gaussian Process is determined, the average number of upcrossings can be computed analytically. In our work we give some highlights of the analytic calculation and also discuss some peculiarities of the trials factor estimation on a finite grid. We illustrate the method with studies of three complementary statistical models.


title: Magnetic Bulk Photovoltaic Effect: Strong and Weak Field

abstract: Shift current and ballistic current have been proposed to explain the bulk photovoltaic effect (BPVE), and there have been experiments designed to separate the two mechanisms. These experiments are based on the assumption that under magnetic field, ballistic current can have a Hall effect while the shift current cannot, which is from some energy-scale arguments and has never been proven. A recent work [Phys. Rev. B 103, 195203 (2021)] using quantum transport formalism achieves a conclusion that shift current indeed has a Hall current, seemingly contradicting the previous assumption and making the situation more confusing. Moreover, the behavior of BPVE under strong magnetic field is still unexplored. In this Letter, using a minimal 2D tight-binding model, we carry out a systematic numerical study of the BPVE under weak and strong magnetic field by treating the field in a non-perturbative way. Our model clearly shows the appearance of the magnetically-induced ballistic current along the transverse direction, which agrees with the previous predictions, and interestingly a sizable longitudinal response of the shift current is also observed, a phenomenon that is not captured by any existing theories where the magnetic field is treated perturbatively. More surprisingly, drastically different shift current is found in the strong-field regime, and the evolution from weak to strong field resembles a phase transition. We hope that our work could resolve the debate over the behavior of BPVE under magnetic field, and the strong-field behavior of shift current is expected to inspire more studies on the relation between nonlinear optics and quantum geometry.


title: Toward multi-target self-organizing pursuit in a partially observable Markov game

abstract: The multiple-target self-organizing pursuit (SOP) problem has wide applications and has been considered a challenging self-organization game for distributed systems, in which intelligent agents cooperatively pursue multiple dynamic targets with partial observations. This work proposes a framework for decentralized multi-agent systems to improve the implicit coordination capabilities in search and pursuit. We model a self-organizing system as a partially observable Markov game (POMG) featured by large-scale, decentralization, partial observation, and noncommunication. The proposed distributed algorithm: fuzzy self-organizing cooperative coevolution (FSC2) is then leveraged to resolve the three challenges in multi-target SOP: distributed self-organizing search (SOS), distributed task allocation, and distributed single-target pursuit. FSC2 includes a coordinated multi-agent deep reinforcement learning (MARL) method that enables homogeneous agents to learn natural SOS patterns. Additionally, we propose a fuzzy-based distributed task allocation method, which locally decomposes multi-target SOP into several single-target pursuit problems. The cooperative coevolution principle is employed to coordinate distributed pursuers for each single-target pursuit problem. Therefore, the uncertainties of inherent partial observation and distributed decision-making in the POMG can be alleviated. The experimental results demonstrate that by decomposing the SOP task, FSC2 achieves superior performance compared with other implicit coordination policies fully trained by general MARL algorithms. The scalability of FSC2 is proved that up to 2048 FSC2 agents perform efficient multi-target SOP with almost 100 percent capture rates. Empirical analyses and ablation studies verify the interpretability, rationality, and effectiveness of component algorithms in FSC2.


title: Total Generalized Variation for Piecewise Constant Functions on Triangular Meshes with Applications in Imaging

abstract: We propose a novel discrete concept for the total generalized variation (TGV), which has originally been derived to reduce the staircasing effect in classical total variation (TV) regularization, in image denoising problems. We describe discrete, second-order TGV for piecewise constant functions on triangular meshes, thus allowing the TGV functional to be applied to more general data structures than pixel images, and in particular in the context of finite element discretizations. Particular attention is given to the description of the kernel of the TGV functional, which, in the continuous setting, consists of linear polynomials. We discuss how to take advantage of this kernel structure using piecewise constant functions on triangular meshes. Numerical experiments include denoising and inpainting problems for images defined on non-standard grids, including data from a 3D scanner.


title: Hydrodynamic Synchronisation of Chiral Microswimmers

abstract: We study synchronization in bulk suspensions of spherical microswimmers with chiral trajectories using large scale numerics. The model is generic. It corresponds to the lowest order solution of a general model for self-propulsion at low Reynolds numbers, consisting of a nonaxisymmetric rotating source dipole. We show that both purely circular and helical swimmers can spontaneously synchronize their rotation. The synchronized state corresponds to velocity alignment with high orientational order in both the polar and azimuthal directions. Finally, we consider a racemic mixture of helical swimmers where intraspecies synchronization is observed while the system remains as a spatially uniform fluid. Our results demonstrate hydrodynamic synchronization as a natural collective phenomenon for microswimmers with chiral trajectories.


title: Achievement and Fragility of Long-term Equitability

abstract: Equipping current decision-making tools with notions of fairness, equitability, or other ethically motivated outcomes, is one of the top priorities in recent research efforts in machine learning, AI, and optimization. In this paper, we investigate how to allocate limited resources to {locally interacting} communities in a way to maximize a pertinent notion of equitability. In particular, we look at the dynamic setting where the allocation is repeated across multiple periods (e.g., yearly), the local communities evolve in the meantime (driven by the provided allocation), and the allocations are modulated by feedback coming from the communities themselves. We employ recent mathematical tools stemming from data-driven feedback online optimization, by which communities can learn their (possibly unknown) evolution, satisfaction, as well as they can share information with the deciding bodies. We design dynamic policies that converge to an allocation that maximize equitability in the long term. We further demonstrate our model and methodology with realistic examples of healthcare and education subsidies design in Sub-Saharian countries. One of the key empirical takeaways from our setting is that long-term equitability is fragile, in the sense that it can be easily lost when deciding bodies weigh in other factors (e.g., equality in allocation) in the allocation strategy. Moreover, a naive compromise, while not providing significant advantage to the communities, can promote inequality in social outcomes.


title: A Twistor Construction of Hopf Real Hypersurfaces in Complex hyperbolic Space

abstract: It is very well known that Hopf real hypersurfaces in the complex projective space can be locally characterized as tubes over complex submanifolds. This also holds true for some, but not all, Hopf real hypersurfaces in the complex hyperbolic space. The main goal of this paper is to show, in a unified way, how to construct Hopf real hypersurfaces in the complex hyperbolic space from a horizontal submanifold in one of the three twistor spaces of the indefinite complex $2$-plane Grassmannian with respect to the natural para-quaternionic K\"ahler structure. We also identify these twistor spaces with the sets of circles in totally geodesic complex hyperbolic lines in the complex hyperbolic space. As an application, we describe all classical Hopf examples. We also solve the remarkable and long-standing problem of the existence of Hopf real hypersurfaces in the complex hyperbolic space, different from the horosphere, such that the associated principal curvature is $2$. We exhibit a method to obtain plenty of them.


title: Improved bounds for 1-independent percolation on $\mathbb{Z}^n$

abstract: A 1-independent bond percolation model on a graph $G$ is a probability distribution on the spanning subgraphs of $G$ in which, for all vertex-disjoint sets of edges $S_1$ and $S_2$, the states of the edges in $S_1$ are independent of the states of the edges in $S_2$. Such a model is said to percolate if the random subgraph has an infinite component with positive probability. In 2012 the first author and Bollob\'as defined $p_{\max}(G)$ to be the supremum of those $p$ for which there exists a 1-independent bond percolation model on $G$ in which each edge is present in the random subgraph with probability at least $p$ but which does not percolate. A fundamental and challenging problem in this area is to determine the value of $p_{\max}(G)$ when $G$ is the lattice graph $\mathbb{Z}^2$. Since $p_{\max}(\mathbb{Z}^n)\leq p_{\max}(\mathbb{Z}^{n-1})$, it is also of interest to establish the value of $\lim_{n\to\infty} p_{\max}(\mathbb{Z}^n)$. In this paper we significantly improve the best known upper bound on this limit and obtain better upper and lower bounds on $p_{\max}(\mathbb{Z}^2)$. In proving these results, we also give an upper bound on the critical probability for a 1-independent model on the hypercube graph to contain a giant component asymptotically almost surely.


title: Deep Generation of Heterogeneous Networks

abstract: Heterogeneous graphs are ubiquitous data structures that can inherently capture multi-type and multi-modal interactions between objects. In recent years, research on encoding heterogeneous graph into latent representations have enjoyed a rapid increase. However, its reverse process, namely how to construct heterogeneous graphs from underlying representations and distributions have not been well explored due to several challenges in 1) modeling the local heterogeneous semantic distribution; 2) preserving the graph-structured distributions over the local semantics; and 3) characterizing the global heterogeneous graph distributions. To address these challenges, we propose a novel framework for heterogeneous graph generation (HGEN) that jointly captures the semantic, structural, and global distributions of heterogeneous graphs. Specifically, we propose a heterogeneous walk generator that hierarchically generates meta-paths and their path instances. In addition, a novel heterogeneous graph assembler is developed that can sample and combine the generated meta-path instances (e.g., walks) into heterogeneous graphs in a stratified manner. Theoretical analysis on the preservation of heterogeneous graph patterns by the proposed generation process has been performed. Extensive experiments on multiple real-world and synthetic heterogeneous graph datasets demonstrate the effectiveness of the proposed HGEN in generating realistic heterogeneous graphs.


title: Topologically Protected Transport in Engineered Mechanical Systems

abstract: Mechanical vibrations are being harnessed for a variety of purposes and at many length scales, from the macroscopic world down to the nanoscale. The considerable design freedom in mechanical structures allows to engineer new functionalities. In recent years, this has been exploited to generate setups that offer topologically protected transport of vibrational waves, both in the solid state and in fluids. Borrowing concepts from electronic physics and being cross-fertilized by concurrent studies for cold atoms and electromagnetic waves, this field of topological transport in engineered mechanical systems offers a rich variety of phenomena and platforms. In this review, we provide a unifying overview of the various ideas employed in this area, summarize the different approaches and experimental implementations, and comment on the challenges as well as the prospects.


title: Diegetic Representation of Feedback in Open Games

abstract: We improve the framework of open games with agency by showing how the players' counterfactual analysis giving rise to Nash equilibria can be described in the dynamics of the game itself (hence diegetically), getting rid of devices such as equilibrium predicates. This new approach overlaps almost completely with the way gradient-based learners are specified and trained. Indeed, we show feedback propagation in games can be seen as a form of backpropagation, with a crucial difference explaining the distinctive character of the phenomenology of non-cooperative games. We outline a functorial construction of arena of games, show players form a subsystem over it, and prove that their 'fixpoint behaviours' are Nash equilibria.


title: Gravitational memory effects and higher derivative actions

abstract: We show that charges associated with the internal Lorentz symmetries of general relativity, with higher derivative boundary terms included in the action, capture observable gravitational wave effects. In particular, the Gauss-Bonnet charge measures the precession rate of a freely-falling gyroscope, while the Pontryagin charge encodes the relative radial acceleration of freely-falling test masses. This relation highlights the importance of the tetrad formalism and the physical significance of asymptotic internal Lorentz symmetries.


title: How to hide your voice: Noise-cancelling bird photography blind

abstract: Getting close to birds is a great challenge in wildlife photography. Bird photography blinds may be the most effective and least intrusive way if properly designed. However, the acoustic design of the blinds has been overlooked so far. Herein, we present noise-cancelling blinds which allow photographing birds at close range. Firstly, we conduct a questionnaire in the eco-tourism centre located in Yunnan, China. Thus, we determine the birders' expectations of the indoor sound environment. We then identify diverse variables to examine the impact of architectural and acoustic decisions on noise propagation. Finally, we examine the acoustic performance of the blinds by considering the birds' hearing threshold. The numerical simulations are performed in the acoustics module of Comsol MultiPhysics. Our study demonstrated that photography blinds require a strong and thorough acoustic design for both human and bird well-being.


title: Analysis of one-neutron transfer reaction in $^{18}$O + $^{76}$Se collision at 275 MeV

abstract: Purpose: We want to analyze transitions to low-lying excited states of the residual and ejectile nuclei in the 76Se(18O, 17O) 77Se one-neutron stripping reaction at 275-MeV incident energy and determine the role of single-particle and core excitation in the description of the measured cross sections. In addition, we explore the sensitivity of the calculated cross section to different nuclear structure models. Methods: The excitation energy spectrum and the differential cross-section angular distributions are measured using the MAGNEX large acceptance magnetic spectrometer for the detection of the ejectiles and the missing mass technique for the reconstruction of the reaction kinematics. The data are compared with calculations based on distorted-wave Born approximation, coupled-channels Born approximation, and coupled reaction channels adopting spectroscopic amplitudes for the projectile and target overlaps derived by large-scale shell-model calculations and interacting boson-fermion model. Results: Peaks in the energy spectra corresponding to groups of unresolved transitions to 77Se and 17O are identified. The experimental cross sections are extracted and compared to theoretical calculations. A remarkable agreement is found, without using any scaling factors, demonstrating that the adopted models for nuclear structure and reaction take into account the relevant aspects of the studied processes. The main transitions which contribute to the cross section of each peak are identified.


title: FEATHERS: Federated Architecture and Hyperparameter Search

abstract: Deep neural architectures have profound impact on achieved performance in many of today's AI tasks, yet, their design still heavily relies on human prior knowledge and experience. Neural architecture search (NAS) together with hyperparameter optimization (HO) helps to reduce this dependence. However, state of the art NAS and HO rapidly become infeasible with increasing amount of data being stored in a distributed fashion, typically violating data privacy regulations such as GDPR and CCPA. As a remedy, we introduce FEATHERS - $\textbf{FE}$derated $\textbf{A}$rchi$\textbf{T}$ecture and $\textbf{H}$yp$\textbf{ER}$parameter $\textbf{S}$earch, a method that not only optimizes both neural architectures and optimization-related hyperparameters jointly in distributed data settings, but further adheres to data privacy through the use of differential privacy (DP). We show that FEATHERS efficiently optimizes architectural and optimization-related hyperparameters alike, while demonstrating convergence on classification tasks at no detriment to model performance when complying with privacy constraints.


title: Identification of young talented individuals in the natural and life sciences using bibliometric data

abstract: Identification of young talented individuals is not an easy task. Citation-based data usually need too long to accrue. In this study, we proposed a method based on bibliometric data for the identification of young talented individuals. Three different indicators and their combinations were used. An older cohort with their first publication between 1999 and 2003 was used to find the most suitable indicator combination. For the validation step, citation impact on the level of individual papers was used. The best performing indicator combination was applied to the time period 2007-2011 for identifying young talented individuals who published their first paper within this time period. We produced a set of 46,200 potential talented individuals.


title: Segmentation-free PVC for Cardiac SPECT using a Densely-connected Multi-dimensional Dynamic Network

abstract: In nuclear imaging, limited resolution causes partial volume effects (PVEs) that affect image sharpness and quantitative accuracy. Partial volume correction (PVC) methods incorporating high-resolution anatomical information from CT or MRI have been demonstrated to be effective. However, such anatomical-guided methods typically require tedious image registration and segmentation steps. Accurately segmented organ templates are also hard to obtain, particularly in cardiac SPECT imaging, due to the lack of hybrid SPECT/CT scanners with high-end CT and associated motion artifacts. Slight mis-registration/mis-segmentation would result in severe degradation in image quality after PVC. In this work, we develop a deep-learning-based method for fast cardiac SPECT PVC without anatomical information and associated organ segmentation. The proposed network involves a densely-connected multi-dimensional dynamic mechanism, allowing the convolutional kernels to be adapted based on the input images, even after the network is fully trained. Intramyocardial blood volume (IMBV) is introduced as an additional clinical-relevant loss function for network optimization. The proposed network demonstrated promising performance on 28 canine studies acquired on a GE Discovery NM/CT 570c dedicated cardiac SPECT scanner with a 64-slice CT using Technetium-99m-labeled red blood cells. This work showed that the proposed network with densely-connected dynamic mechanism produced superior results compared with the same network without such mechanism. Results also showed that the proposed network without anatomical information could produce images with statistically comparable IMBV measurements to the images generated by anatomical-guided PVC methods, which could be helpful in clinical translation.


title: Some dynamics in real quadratic fields with applications to inhomogeneous minima

abstract: Let $K$ be a real quadratic field. We use a symbolic coding of the action of a fundamental unit on the real $2$-torus associated to $K$ to study the family of subsets $X_t$ of norm distance $\geq t$ from the origin. As an application, we prove that inhomogeneous spectrum of $K$ contains a dense set of elements of $K$, and conclude that all isolated inhomogeneous minima lie in $K$.


title: A fast and stable approximate maximum-likelihood method for template fits

abstract: Barlow and Beeston presented an exact likelihood for the problem of fitting a composite model consisting of binned templates obtained from Monte-Carlo simulation which are fitted to equally binned data. Solving the exact likelihood is technically challenging, and therefore Conway proposed an approximate likelihood to address these challenges. In this paper, a new approximate likelihood is derived from the exact Barlow-Beeston one. The new approximate likelihood and Conway's likelihood are generalized to problems of fitting weighted data with weighted templates. The performance of estimates obtained with all three likelihoods is studied on two toy examples: a simple one and a challenging one. The performance of the approximate likelihoods is comparable to the exact Barlow-Beeston likelihood, while the performance in fits with weighted templates is better. The approximate likelihoods evaluate faster than the Barlow-Beeston one when the number of bins is large.

categories: stat.ME astro-ph.HE hep-ex physics.data-an stat.AP


title: Integrable supersymmetric deformations of $\rm AdS_3 \times S^3 \times T^4$

abstract: We construct a family of type IIB string backgrounds that are deformations of $\rm AdS_3 \times S^3 \times T^4$ with a "squashed" $\rm AdS_3 \times S^3$ metric supported by a combination of NSNS and RR fluxes. They have global $\rm SU(1,1) \times SU(2)$ symmetry, regular curvature, constant dilaton and preserve 8 supercharges. Upon compactification to 4 dimensions they reduce to $\mathcal N=2$ supersymmetric $\rm AdS_2 \times S^2$ solutions with electric and magnetic Maxwell fluxes. These type IIB supergravity solutions can be found from the undeformed $\rm AdS_3 \times S^3 \times T^4$ background by a combination of T-dualities and S-duality. In contrast to T-duality, S-duality transformations of a type IIB supergravity background do not generally preserve the classical integrability of the corresponding Green-Schwarz superstring sigma model. Nevertheless, we show that integrability is preserved in the present case. Indeed, we find that these backgrounds can be obtained, up to T-dualities, from an integrable inhomogeneous Yang-Baxter deformation (with unimodular Drinfel'd-Jimbo R-matrix) of the original $\rm AdS_3 \times S^3$ supercoset model.


title: MPC-based Imitation Learning for Safe and Human-like Autonomous Driving

abstract: To ensure user acceptance of autonomous vehicles (AVs), control systems are being developed to mimic human drivers from demonstrations of desired driving behaviors. Imitation learning (IL) algorithms serve this purpose, but struggle to provide safety guarantees on the resulting closed-loop system trajectories. On the other hand, Model Predictive Control (MPC) can handle nonlinear systems with safety constraints, but realizing human-like driving with it requires extensive domain knowledge. This work suggests the use of a seamless combination of the two techniques to learn safe AV controllers from demonstrations of desired driving behaviors, by using MPC as a differentiable control layer within a hierarchical IL policy. With this strategy, IL is performed in closed-loop and end-to-end, through parameters in the MPC cost, model or constraints. Experimental results of this methodology are analyzed for the design of a lane keeping control system, learned via behavioral cloning from observations (BCO), given human demonstrations on a fixed-base driving simulator.


title: Fourier-Mukai transform for fine compactified Prym varieties

abstract: Consider a finite covering $\beta : C \to X$ of a smooth projective curve $X$ by a reduced, projective, planar curve $C$. Associated to two general polarizations on $C$, $q$ and $q'$, one can construct the corresponding compactified Prym varieties $\overline{\mathrm{P}}_\beta(q)$ and $\overline{\mathrm{P}}_\beta(q')$. Consider $\Gamma$ to be the group of line bundles whose torsion coincides with the order of $\beta$. In this article we construct a Fourier-Mukai transform between the derived categories of $\overline{\mathrm{P}}_\beta(q)$ and the $\Gamma$-equivariant derived category of $\overline{\mathrm{P}}_\beta(q')$. Hence, we obtain a derived equivalence between the $\mathrm{SL}(n,\mathbb{C})$-Hitchin fibre and its associated $\mathrm{PGL}(n,\mathbb{C})$-Hitchin fibre for a dense class of singular spectral curves. Our work then provides the extension of the Fourier-Mukai transform constructed by Arinkin and Melo-Rapagnetta-Viviani, which corresponds to autoduality of $\mathrm{GL}(n,\mathbb{C})$-Hitchin fibres in this class of singular spectral curves.


title: Flatness Analysis for the Sampled-data Model of a Single Mast Stacker Crane

abstract: We show that the Euler-discretization of the nonlinear continuous-time model of a single mast stacker crane is flat. The construction of the flat output is based on a transformation of a subsystem into the linear time-variant discrete-time controller canonical form. Based on the derived flat output, which is also a function of backward-shifts of the system variables, we discuss the planning of trajectories to achieve a transition between two rest positions and compute the corresponding discrete-time feedforward control.


title: Megapixel Image Generation with Step-Unrolled Denoising Autoencoders

abstract: An ongoing trend in generative modelling research has been to push sample resolutions higher whilst simultaneously reducing computational requirements for training and sampling. We aim to push this trend further via the combination of techniques - each component representing the current pinnacle of efficiency in their respective areas. These include vector-quantized GAN (VQ-GAN), a vector-quantization (VQ) model capable of high levels of lossy - but perceptually insignificant - compression; hourglass transformers, a highly scaleable self-attention model; and step-unrolled denoising autoencoders (SUNDAE), a non-autoregressive (NAR) text generative model. Unexpectedly, our method highlights weaknesses in the original formulation of hourglass transformers when applied to multidimensional data. In light of this, we propose modifications to the resampling mechanism, applicable in any task applying hierarchical transformers to multidimensional data. Additionally, we demonstrate the scalability of SUNDAE to long sequence lengths - four times longer than prior work. Our proposed framework scales to high-resolutions ($1024 \times 1024$) and trains quickly (2-4 days). Crucially, the trained model produces diverse and realistic megapixel samples in approximately 2 seconds on a consumer-grade GPU (GTX 1080Ti). In general, the framework is flexible: supporting an arbitrary number of sampling steps, sample-wise self-stopping, self-correction capabilities, conditional generation, and a NAR formulation that allows for arbitrary inpainting masks. We obtain FID scores of 10.56 on FFHQ256 - close to the original VQ-GAN in less than half the sampling steps - and 21.85 on FFHQ1024 in only 100 sampling steps.


title: The potential of Facebook advertising data for understanding flows of people from Ukraine to the European Union

abstract: This work contributes to the discussion on how innovative data can support a fast crisis response. We use operational data from Facebook to gain useful insights on where people fleeing Ukraine following the Russian invasion are likely to be displaced, focusing on the European Union. In this context, it is extremely important to anticipate where these people are moving so that local and national authorities can better manage challenges related to their reception and integration. By means of the Ukrainian-speaking Monthly Active Users estimates provided by Facebook advertising platform, we analyse the flows of people fleeing the country towards the European Union. At the fifth week since the beginning of the war, our results indicate an increase in the number of Ukrainian-speaking Facebook users in all the EU countries, with Poland registering the highest percentage share ($33\%$) of the overall increase, followed by Germany ($17\%$), and Czechia ($15\%$). We assess the reliability of prewar Facebook estimates by comparison with official statistics on the Ukrainian diaspora, finding a strong correlation between the two data sources (Pearson's $r=0.93$, $p<0.0001$). We then compare our results with data on arrivals in Poland and Hungary reported by the UNHCR, and we observe a similarity in their trend. In conclusion, we show how Facebook advertising data could offer timely insights on international mobility during crisis, supporting initiatives aimed at providing humanitarian assistance to the displaced people, as well as local and national authorities to better manage their reception and integration.


title: Quantifying Inherent Randomness in Machine Learning Algorithms

abstract: Most machine learning (ML) algorithms have several stochastic elements, and their performances are affected by these sources of randomness. This paper uses an empirical study to systematically examine the effects of two sources: randomness in model training and randomness in the partitioning of a dataset into training and test subsets. We quantify and compare the magnitude of the variation in predictive performance for the following ML algorithms: Random Forests (RFs), Gradient Boosting Machines (GBMs), and Feedforward Neural Networks (FFNNs). Among the different algorithms, randomness in model training causes larger variation for FFNNs compared to tree-based methods. This is to be expected as FFNNs have more stochastic elements that are part of their model initialization and training. We also found that random splitting of datasets leads to higher variation compared to the inherent randomness from model training. The variation from data splitting can be a major issue if the original dataset has considerable heterogeneity. Keywords: Model Training, Reproducibility, Variation


title: ExoMol photodissociation cross sections I: HCl and HF

abstract: Photon initiated chemistry, \textit{i.e.} the interaction of light with chemical species, is a key factor in the evolution of the atmosphere of exoplanets. For planets orbiting stars in UV-rich environments, photodissociation induced by high energy photons dominates the atmosphere composition and dynamics. The rate of photodissociation can be highly dependent on atmospheric temperature, as increased temperature leads to increased population of vibrational excited states and the consequent lowering of the photodissociation threshold. This paper inaugurates a new series of papers presenting computed temperature-dependent photodissociation cross sections with rates generated for different stellar fields. Cross sections calculations are performed by solving the time-independent Schr\"{o}dinger equation for each electronic state involved in the process. Here photodissociation cross sections for hydrogen chloride and hydrogen fluoride are computed for a grid of 34 temperatures between 0 and 10~000 K. Use of different radiation fields shows that for the Sun and cooler stars the photodissociation rate can increase exponentially for molecular temperatures above 1000 K; conversely the photodissociation rates in UV rich fields instead are almost insensitive to the temperature of the molecule. Furthermore, these rates show extreme sensitivity to the radiation model used for cool stars, suggesting that further work on these may be required. The provision of an ExoMol database of cross sections is discussed.


title: Spontaneous suppression of inverse energy cascade in instability-driven 2D turbulence

abstract: Instabilities of fluid flows often generate turbulence. Using extensive direct numerical simulations, we study two-dimensional turbulence driven by a wavenumber-localised instability superposed on stochastic forcing, in contrast to previous studies of state-independent forcing. As the contribution of the instability forcing, measured by a parameter $\gamma$, increases, the system undergoes two transitions. For $\gamma$ below a first threshold, a regular large-scale vortex condensate forms. Above this threshold, shielded vortices (SVs) emerge within the condensate. At a second, larger value of $\gamma$, the condensate breaks down, and a gas of weakly interacting vortices with broken symmetry spontaneously emerges, characterised by preponderance of vortices of one sign only and suppressed inverse energy cascade. The latter transition is shown to depend on the damping mechanism. The number density of SVs in the broken symmetry state slowly increases via a random nucleation process. Bistability is observed between the condensate and mixed SV-condensate states. Our findings provide new evidence for a strong dependence of two-dimensional turbulence phenomenology on the forcing.


title: HM3D-ABO: A Photo-realistic Dataset for Object-centric Multi-view 3D Reconstruction

abstract: Reconstructing 3D objects is an important computer vision task that has wide application in AR/VR. Deep learning algorithm developed for this task usually relies on an unrealistic synthetic dataset, such as ShapeNet and Things3D. On the other hand, existing real-captured object-centric datasets usually do not have enough annotation to enable supervised training or reliable evaluation. In this technical report, we present a photo-realistic object-centric dataset HM3D-ABO. It is constructed by composing realistic indoor scene and realistic object. For each configuration, we provide multi-view RGB observations, a water-tight mesh model for the object, ground truth depth map and object mask. The proposed dataset could also be useful for tasks such as camera pose estimation and novel-view synthesis. The dataset generation code is released at https://github.com/zhenpeiyang/HM3D-ABO.


title: (Sub)millimeter Dust Polarization of Protoplanetary Disks from Scattering by Large Millimeter-Sized Irregular Grains

abstract: The size of dust grains, $a$, is key to the physical and chemical processes in circumstellar disks, but observational constraints of grain size remain challenging. (Sub)millimeter continuum observations often show a percent-level polarization parallel to the disk minor axis, which is generally attributed to scattering by $\sim 100\mu$m-sized spherical grains (with a size parameter $x \equiv 2\pi a / \lambda < 1$, where $\lambda$ is the wavelength). Larger spherical grains (with $x$ greater than unity) would produce opposite polarization direction. However, the inferred size is in tension with the opacity index $\beta$ that points to larger mm/cm-sized grains. We investigate the scattering-produced polarization by large irregular grains with a range of $x$ greater than unity with optical properties obtained from laboratory experiments. Using the radiation transfer code, RADMC-3D, we find that large irregular grains still produce polarization parallel to the disk minor axis. If the original forsterite refractive index in the optical is adopted, then all samples can produce the typically observed level of polarization. Accounting for the more commonly adopted refractive index using the DSHARP dust model, only grains with $x$ of several (corresponding to $\sim$mm-sized grains) can reach the same polarization level. Our results suggest that grains in disks can have sizes in the millimeter regime, which may alleviate the tension between the grain sizes inferred from scattering and other means. Additionally, if large irregular grains are not settled to the midplane, their strong forward scattering can produce asymmetries between the near and far side of an inclined disk, which can be used to infer their presence.


title: Low- and Mixed-Precision Inference Accelerators

abstract: With the surging popularity of edge computing, the need to efficiently perform neural network inference on battery-constrained IoT devices has greatly increased. While algorithmic developments enable neural networks to solve increasingly more complex tasks, the deployment of these networks on edge devices can be problematic due to the stringent energy, latency, and memory requirements. One way to alleviate these requirements is by heavily quantizing the neural network, i.e. lowering the precision of the operands. By taking quantization to the extreme, e.g. by using binary values, new opportunities arise to increase the energy efficiency. Several hardware accelerators exploiting the opportunities of low-precision inference have been created, all aiming at enabling neural network inference at the edge. In this chapter, design choices and their implications on the flexibility and energy efficiency of several accelerators supporting extremely quantized networks are reviewed.


title: Lower and upper bounds for the explosion times of a system of semilinear SPDEs

abstract: In this paper, we obtain lower and upper bounds for the blow-up times to a system of semilinear stochastic partial differential equations. Under suitable assumptions, lower and upper bounds of explosion times are obtained by using explicit solutions of an associated system of random partial differential equations and a formula due to Yor. We also provide an estimate for the probability of the finite-time blow-up. With a suitable choice of parameters, the impact of the noise on the solution is investigated. The above-obtained results are also extended for semilinear SPDEs forced by two dimensional Brownian motions.


title: Cooperative Control in Eco-Driving of Electric Connected and Autonomous Vehicles in an Un-Signalized Urban Intersection

abstract: This paper addresses the problem of finding the optimal Eco-Driving (ED) speed profile of an electric Connected and Automated Vehicle (CAV) in an isolated urban un-signalized intersection. The problem is formulated as a single-level optimization and solved using Pontryagin's Minimum Principle (PMP). Analytical solutions are presented for various conflicts that occur at an intersection. Cooperation is introduced amongst CAVs as the ability to share intentions. Two levels of cooperation, namely the Cooperative ED (C-ED) and Non-Cooperative (NC-ED) algorithms are evaluated, in a simulation environment, for energy efficiency with Intelligent Driver Model (IDM) as the baseline.


title: Robustness to corruption in pre-trained Bayesian neural networks

abstract: We develop ShiftMatch, a new training-data-dependent likelihood for robustness to corruption in Bayesian neural networks (BNNs). ShiftMatch is inspired by the training-data-dependent "EmpCov" priors from Izmailov et al. (2021a), and efficiently matches test-time spatial correlations to those at training time. Critically, ShiftMatch is designed to leave the neural network's training time likelihood unchanged, allowing it to use publicly available samples from pre-trained BNNs. Using pre-trained HMC samples, ShiftMatch gives strong performance improvements on CIFAR-10-C, outperforms EmpCov priors (though ShiftMatch uses extra information from a minibatch of corrupted test points), and is perhaps the first Bayesian method capable of convincingly outperforming plain deep ensembles.


title: Angular analysis of $B^+ \to \rho^+\rho^0$ decays reconstructed in 2019, 2020, and 2021 Belle II data

abstract: We report on a Belle II measurement of the branching fraction ($\mathcal{B}$), longitudinal polarization fraction ($f_L$), and CP asymmetry ($\mathcal{A}_{CP}$) of $B^+\to \rho^+\rho^0$ decays. We reconstruct $B^+\to \rho^+(\to \pi^+\pi^0(\to \gamma\gamma))\rho^0(\to \pi^+\pi^-)$ decays in a sample of SuperKEKB electron-positron collisions collected by the Belle II experiment in 2019, 2020, and 2021 at the $\Upsilon$(4S) resonance and corresponding to 190 fb$^{-1}$ of integrated luminosity. We fit the distributions of the difference between expected and observed $B$ candidate energy, continuum-suppression discriminant, dipion masses, and decay angles of the selected samples, to determine a signal yield of $345 \pm 31$ events. The signal yields are corrected for efficiencies determined from simulation and control data samples to obtain $\mathcal{B}(B^+ \to \rho^+\rho^0) = [23.2^{+\ 2.2}_{-\ 2.1} (\rm stat) \pm 2.7 (\rm syst)]\times 10^{-6}$, $f_L = 0.943 ^{+\ 0.035}_{-\ 0.033} (\rm stat)\pm 0.027(\rm syst)$, and $\mathcal{A}_{CP}=-0.069 \pm 0.068(\rm stat) \pm 0.060 (\rm syst)$. The results agree with previous measurements. This is the first measurement of $\mathcal{A}_{CP}$ in $B^+\to \rho^+\rho^0$ decays reported by Belle II.


title: From Tensor Network Quantum States to Tensorial Recurrent Neural Networks

abstract: We show that any matrix product state (MPS) can be exactly represented by a recurrent neural network (RNN) with a linear memory update. We generalize this RNN architecture to 2D lattices using a multilinear memory update. It supports perfect sampling and wave function evaluation in polynomial time, and can represent an area law of entanglement entropy. Numerical evidence shows that it can encode the wave function using a bond dimension lower by orders of magnitude when compared to MPS, with an accuracy that can be systematically improved by increasing the bond dimension.

categories: quant-ph cond-mat.str-el cs.LG physics.comp-ph stat.ML


title: On Certifying and Improving Generalization to Unseen Domains

abstract: Domain Generalization (DG) aims to learn models whose performance remains high on unseen domains encountered at test-time by using data from multiple related source domains. Many existing DG algorithms reduce the divergence between source distributions in a representation space to potentially align the unseen domain close to the sources. This is motivated by the analysis that explains generalization to unseen domains using distributional distance (such as the Wasserstein distance) to the sources. However, due to the openness of the DG objective, it is challenging to evaluate DG algorithms comprehensively using a few benchmark datasets. In particular, we demonstrate that the accuracy of the models trained with DG methods varies significantly across unseen domains, generated from popular benchmark datasets. This highlights that the performance of DG methods on a few benchmark datasets may not be representative of their performance on unseen domains in the wild. To overcome this roadblock, we propose a universal certification framework based on distributionally robust optimization (DRO) that can efficiently certify the worst-case performance of any DG method. This enables a data-independent evaluation of a DG method complementary to the empirical evaluations on benchmark datasets. Furthermore, we propose a training algorithm that can be used with any DG method to provably improve their certified performance. Our empirical evaluation demonstrates the effectiveness of our method at significantly improving the worst-case loss (i.e., reducing the risk of failure of these models in the wild) without incurring a significant performance drop on benchmark datasets.


title: On the validity of bootstrap uncertainty estimates in the Mallows-Binomial model

abstract: The Mallows-Binomial distribution is the first joint statistical model for rankings and ratings (Pearce and Erosheva, 2022). Because frequentist estimation of the model parameters and their uncertainty is challenging, it is natural to consider the nonparametric bootstrap. However, it is not clear that the nonparametric bootstrap is asymptotically valid in this setting. This is because the Mallows-Binomial model is parameterized by continuous quantities whose discrete order affects the likelihood. In this note, we demonstrate that bootstrap uncertainty of the maximum likelihood estimates in the Mallows-Binomial model are asymptotically valid.


title: Geometry of Degeneracy in Potential and Density Space

abstract: In a previous work [J. Chem. Phys. 155, 244111 (2021)], we found counterexamples to the fundamental Hohenberg-Kohn theorem from density-functional theory in finite-lattice systems represented by graphs. Here, we demonstrate that this only occurs at very peculiar and rare densities, those where density sets arising from degenerate ground states, called degeneracy regions, touch each other or the boundary of the whole density domain. Degeneracy regions are shown to generally be in the shape of the convex hull of an algebraic variety, even in the continuum setting. The geometry arising between density regions and the potentials that create them is analyzed and explained with examples that, among other shapes, feature the Roman surface.

categories: quant-ph math-ph math.MP physics.chem-ph


title: Dark photon superradiance quenched by dark matter

abstract: Black-hole superradiance has been used to place very strong bounds on a variety of models of ultralight bosons such as axions, new light scalars, and dark photons. It is common lore to believe that superradiance bounds are broadly model independent and therefore pretty robust. In this work we show however that superradiance bounds on dark photons can be challenged by simple, compelling extensions of the minimal model. In particular, if the dark photon populates a larger dark sector and couples to dark fermions playing the role of dark matter, then superradiance bounds can easily be circumvented, depending on the mass and (dark) charge of the dark matter.


title: Using BERT Embeddings to Model Word Importance in Conversational Transcripts for Deaf and Hard of Hearing Users

abstract: Deaf and hard of hearing individuals regularly rely on captioning while watching live TV. Live TV captioning is evaluated by regulatory agencies using various caption evaluation metrics. However, caption evaluation metrics are often not informed by preferences of DHH users or how meaningful the captions are. There is a need to construct caption evaluation metrics that take the relative importance of words in a transcript into account. We conducted correlation analysis between two types of word embeddings and human-annotated labeled word-importance scores in existing corpus. We found that normalized contextualized word embeddings generated using BERT correlated better with manually annotated importance scores than word2vec-based word embeddings. We make available a pairing of word embeddings and their human-annotated importance scores. We also provide proof-of-concept utility by training word importance models, achieving an F1-score of 0.57 in the 6-class word importance classification task.


title: On the speed of wave packets and the nonlinear Schr\"odinger equation

abstract: The universal theory of weakly nonlinear wave packets given by the nonlinear Schr\"odinger equation is revisited. In the limit where the group and phase velocities are very close together, a multiple scale analysis carried out beyond all orders reveals that a single soliton, bright or dark, can travel at a different speed than the group velocity. In an exponentially small but finite range of parameters, the envelope of the soliton is locked to the rapid oscillations of the carrier wave. Eventually, the dynamics is governed by an equation anologous to that of a pendulum, in which the center of mass of the soliton is subjected to a periodic potential. Consequently, the soliton speed is not constant and generally contains a periodic component. Furthermore, the interaction between two distant solitons can in principle be profoundly altered by the aforementioned effective periodic potential and we conjecture the existence of new bound states. These results are derived on a wide class of wave models and in such a general way that they are believed to be of universal validity.

categories: nlin.PS math-ph math.MP physics.flu-dyn physics.optics physics.plasm-ph


title: Mixed Sample Augmentation for Online Distillation

abstract: Mixed Sample Regularization (MSR), such as MixUp or CutMix, is a powerful data augmentation strategy to generalize convolutional neural networks. Previous empirical analysis has illustrated an orthogonal performance gain between MSR and conventional offline Knowledge Distillation (KD). To be more specific, student networks can be enhanced with the involvement of MSR in the training stage of sequential distillation. Yet, the interplay between MSR and online knowledge distillation, where an ensemble of peer students learn mutually from each other, remains unexplored. To bridge the gap, we make the first attempt at incorporating CutMix into online distillation, where we empirically observe a significant improvement. Encouraged by this fact, we propose an even stronger MSR specifically for online distillation, named as Cut\textsuperscript{n}Mix. Furthermore, a novel online distillation framework is designed upon Cut\textsuperscript{n}Mix, to enhance the distillation with feature level mutual learning and a self-ensemble teacher. Comprehensive evaluations on CIFAR10 and CIFAR100 with six network architectures show that our approach can consistently outperform state-of-the-art distillation methods.


title: Vibrationally excited HCN transitions in circumstellar envelopes of carbon-rich AGB stars

abstract: Context. HCN is the most abundant molecule after H$_{2}$ and CO in the circumstellar envelopes (CSEs) of carbon-rich asymptotic giant branch (AGB) stars. Its rotational lines within vibrationally excited states are exceptional tracers of the innermost region of C-rich CSEs. Aims. We aim to constrain the physical conditions of CSEs of C-rich stars using thermal lines of the HCN molecule. Additionally, we also search for new HCN masers and probe the temporal variations for HCN masers, which should shed light on their pumping mechanisms. Methods. We observed 16 C-rich AGB stars in various HCN rotational transitions within the ground and 12 vibrationally excited states with the APEX 12 m submillimeter telescope. Results. We detect 68 vibrationally excited HCN lines from 13 C-rich stars, including 39 thermal transitions and 29 maser lines, which suggests that vibrationally excited HCN lines are ubiquitous in C-rich stars. Population diagrams constructed, for two objects from the sample, for thermal transitions from different vibrationally excited states give excitation temperature around 800-900 K, confirming that they arise from the hot innermost regions of CSEs (i.e., r<20$R_{*}$). Among the detected masers, 23 are newly detected, and the results expand the total number of known HCN masers lines toward C-rich stars by 47%. In particular, the J=2-1 (0, 3$^{1e}$, 0), J=3-2 (0, 2, 0), J=4-3 (0, 1$^{1f}$, 0) masers are detected in an astronomical source for the first time. Our observations confirm temporal variations of the 2-1 (0, 1$^{1e}$, 0) maser on a timescale of a few years. Our analysis of the data suggests that all detected HCN masers are unsaturated. A gas kinetic temperature of ${\gtrsim}$700K and an H$_{2}$ number density of >10$^{8}$cm$^{-3}$ are required to excite the HCN masers. In some ways, HCN masers in C-rich stars might be regarded as an analogy of SiO masers in O-rich stars.


title: QReg: On Regularization Effects of Quantization

abstract: In this paper we study the effects of quantization in DNN training. We hypothesize that weight quantization is a form of regularization and the amount of regularization is correlated with the quantization level (precision). We confirm our hypothesis by providing analytical study and empirical results. By modeling weight quantization as a form of additive noise to weights, we explore how this noise propagates through the network at training time. We then show that the magnitude of this noise is correlated with the level of quantization. To confirm our analytical study, we performed an extensive list of experiments summarized in this paper in which we show that the regularization effects of quantization can be seen in various vision tasks and models, over various datasets. Based on our study, we propose that 8-bit quantization provides a reliable form of regularization in different vision tasks and models.


title: Uneven Extraction in Coffee Brewing

abstract: A recent experiment showed that, contrary to theoretical predictions, beyond a cutoff point grinding coffee more finely results in lower extraction. One potential explanation for this is that fine grinding promotes non-uniform extraction in the coffee bed. We investigate the possibility that this could occur due the interaction between dissolution and flow promoting uneven extraction. A low dimensional model in which there are two possible pathways for flow is derived and analysed. This model shows that, below a critical grind size, there is a decreasing extraction with decreasing grind size as is seen experimentally. In the model this is due to a complicated interplay between an initial imbalance in the porosities and permeabilities of the two pathways which is increased by flow and extraction, leading to the complete extraction of all soluble coffee from one pathway.


title: Affective Signals in a Social Media Recommender System

abstract: People come to social media to satisfy a variety of needs, such as being informed, entertained and inspired, or connected to their friends and community. Hence, to design a ranking function that gives useful and personalized post recommendations, it would be helpful to be able to predict the affective response a user may have to a post (e.g., entertained, informed, angered). This paper describes the challenges and solutions we developed to apply Affective Computing to social media recommendation systems. We address several types of challenges. First, we devise a taxonomy of affects that was small (for practical purposes) yet covers the important nuances needed for the application. Second, to collect training data for our models, we balance between signals that are already available to us (namely, different types of user engagement) and data we collected through a carefully crafted human annotation effort on 800k posts. We demonstrate that affective response information learned from this dataset improves a module in the recommendation system by more than 8%. Online experimentation also demonstrates statistically significant decreases in surfaced violating content and increases in surfaced content that users find valuable.


title: Measuring dark energy with expansion and growth

abstract: We combine cosmic chronometer and growth of structure data to derive the redshift evolution of the dark energy equation of state $w$, using a novel agnostic approach. The background and perturbation equations lead to two expressions for $w$, one purely background-based and the other relying also on the growth rate of large-scale structure. We compare the features and performance of the growth-based $w$ to the background $w$, using Gaussian Processes for the reconstructions. We find that current data is not precise enough for robust reconstruction of the two forms of $w$. By using mock data expected from next-generation surveys, we show that the reconstructions will be robust enough and that the growth-based $w$ will out-perform the background $w$. Furthermore, any disagreement between the two forms of $w$ will provide a new test for deviations from the standard model of cosmology.


title: Thermalization of gluons in spatially homogeneous systems

abstract: We investigate thermalization of gluons in spatially homogeneous systems using the Boltzmann equation in diffusion approximation. A complete picture on thermalization is obtained for both initially under- and over-populated systems. In an initially under-populated system, we find that its soft sector undergoes three stages: overheating, cooling/overcooling and reheating before full thermalization is achieved. In an initially over-populated system, we find that its soft sector only undergoes two stages towards full thermalization: overheating and cooling. The cooling stage is consistently driven by momentum broadening due to multiple elastic collisions, manifest as a non-thermal scaling solution.


title: A proof of Erd\H{o}s's $B+B+t$ conjecture

abstract: We show that every set $A$ of natural numbers with positive upper density can be shifted to contain the restricted sumset $\{b_1 + b_2 : b_1, b_2\in B \text{ and } b_1 \neq b_2 \}$ for some infinite set $B \subset A$.


title: A transient equivalence between Aldous-Broder and Wilson's algorithms and a two-stage framework for generating uniform spanning trees

abstract: The $Aldous\text{-}Broder$ and $Wilson$ are two well-known algorithms to generate uniform spanning trees (USTs) based on random walks. This work studies their relationship while they construct random trees with the goal of reducing the total time required to build the spanning tree. Using the notion of $branches$ $-$ paths generated by the two algorithms on particular stopping times, we show that the trees built by the two algorithms when running on a complete graph are statistically equivalent on these stopping times. This leads to a hybrid algorithm that can generate uniform spanning trees of complete graphs faster than either of the two algorithms. An efficient two-stage framework is also proposed to explore this hybrid approach beyond complete graphs, showing its feasibility in various examples, including transitive graphs where it requires 25% less time than $Wilson$ to generate a UST.


title: The Bayes Estimator of a Conditional Density: Consistency

abstract: In a Bayesian framework we prove that the optimal estimator of a conditional density is consistent.


title: VIP Hashing -- Adapting to Skew in Popularity of Data on the Fly (extended version)

abstract: All data is not equally popular. Often, some portion of data is more frequently accessed than the rest, which causes a skew in popularity of the data items. Adapting to this skew can improve performance, and this topic has been studied extensively in the past for disk-based settings. In this work, we consider an in-memory data structure, namely hash table, and show how one can leverage the skew in popularity for higher performance. Hashing is a low-latency operation, sensitive to the effects of caching, branch prediction, and code complexity among other factors. These factors make learning in-the-loop especially challenging as the overhead of performing any additional operations can be significant. In this paper, we propose VIP hashing, a fully online hash table method, that uses lightweight mechanisms for learning the skew in popularity and adapting the hash table layout. These mechanisms are non-blocking, and their overhead is controlled by sensing changes in the popularity distribution to dynamically switch-on/off the learning mechanism as needed. We tested VIP hashing against a variety of workloads generated by Wiscer, a homegrown hashing measurement tool, and find that it improves performance in the presence of skew (22% increase in fetch operation throughput for a hash table with one million keys under low skew, 77% increase under medium skew) while being robust to insert and delete operations, and changing popularity distribution of keys. We find that VIP hashing reduces the end-to-end execution time of TPC-H query 9, which is the most expensive TPC-H query, by 20% under medium skew.