title: CoCo-BERT: Improving Video-Language Pre-training with Contrastive Cross-modal Matching and Denoising

abstract: BERT-type structure has led to the revolution of vision-language pre-training and the achievement of state-of-the-art results on numerous vision-language downstream tasks. Existing solutions dominantly capitalize on the multi-modal inputs with mask tokens to trigger mask-based proxy pre-training tasks (e.g., masked language modeling and masked object/frame prediction). In this work, we argue that such masked inputs would inevitably introduce noise for cross-modal matching proxy task, and thus leave the inherent vision-language association under-explored. As an alternative, we derive a particular form of cross-modal proxy objective for video-language pre-training, i.e., Contrastive Cross-modal matching and denoising (CoCo). By viewing the masked frame/word sequences as the noisy augmentation of primary unmasked ones, CoCo strengthens video-language association by simultaneously pursuing inter-modal matching and intra-modal denoising between masked and unmasked inputs in a contrastive manner. Our CoCo proxy objective can be further integrated into any BERT-type encoder-decoder structure for video-language pre-training, named as Contrastive Cross-modal BERT (CoCo-BERT). We pre-train CoCo-BERT on TV dataset and a newly collected large-scale GIF video dataset (ACTION). Through extensive experiments over a wide range of downstream tasks (e.g., cross-modal retrieval, video question answering, and video captioning), we demonstrate the superiority of CoCo-BERT as a pre-trained structure.


title: Transferrable Contrastive Learning for Visual Domain Adaptation

abstract: Self-supervised learning (SSL) has recently become the favorite among feature learning methodologies. It is therefore appealing for domain adaptation approaches to consider incorporating SSL. The intuition is to enforce instance-level feature consistency such that the predictor becomes somehow invariant across domains. However, most existing SSL methods in the regime of domain adaptation usually are treated as standalone auxiliary components, leaving the signatures of domain adaptation unattended. Actually, the optimal region where the domain gap vanishes and the instance level constraint that SSL peruses may not coincide at all. From this point, we present a particular paradigm of self-supervised learning tailored for domain adaptation, i.e., Transferrable Contrastive Learning (TCL), which links the SSL and the desired cross-domain transferability congruently. We find contrastive learning intrinsically a suitable candidate for domain adaptation, as its instance invariance assumption can be conveniently promoted to cross-domain class-level invariance favored by domain adaptation tasks. Based on particular memory bank constructions and pseudo label strategies, TCL then penalizes cross-domain intra-class domain discrepancy between source and target through a clean and novel contrastive loss. The free lunch is, thanks to the incorporation of contrastive learning, TCL relies on a moving-averaged key encoder that naturally achieves a temporally ensembled version of pseudo labels for target data, which avoids pseudo label error propagation at no extra cost. TCL therefore efficiently reduces cross-domain gaps. Through extensive experiments on benchmarks (Office-Home, VisDA-2017, Digits-five, PACS and DomainNet) for both single-source and multi-source domain adaptation tasks, TCL has demonstrated state-of-the-art performances.


title: A Style and Semantic Memory Mechanism for Domain Generalization

abstract: Mainstream state-of-the-art domain generalization algorithms tend to prioritize the assumption on semantic invariance across domains. Meanwhile, the inherent intra-domain style invariance is usually underappreciated and put on the shelf. In this paper, we reveal that leveraging intra-domain style invariance is also of pivotal importance in improving the efficiency of domain generalization. We verify that it is critical for the network to be informative on what domain features are invariant and shared among instances, so that the network sharpens its understanding and improves its semantic discriminative ability. Correspondingly, we also propose a novel "jury" mechanism, which is particularly effective in learning useful semantic feature commonalities among domains. Our complete model called STEAM can be interpreted as a novel probabilistic graphical model, for which the implementation requires convenient constructions of two kinds of memory banks: semantic feature bank and style feature bank. Empirical results show that our proposed framework surpasses the state-of-the-art methods by clear margins.


title: Polyhedral completeness of intermediate logics: the Nerve Criterion

abstract: We investigate a recently-devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of polyhedra. The first main result of this paper is a necessary and sufficient condition for the polyhedral-completeness of a logic. This condition, which we call the Nerve Criterion, is expressed in terms of Alexandrov's notion of the nerve of a poset. It affords a purely combinatorial characterisation of polyhedrally-complete logics. Using the Nerve Criterion we show, easily, that there are continuum many intermediate logics that are not polyhedrally-complete but which have the finite model property. We also provide, at considerable combinatorial labour, a countably infinite class of logics axiomatised by the Jankov-Fine formulas of 'starlike trees' all of which are polyhedrally-complete. The polyhedral completeness theorem for these 'starlike logics' is the second main result of this paper.


title: Nucleon Helicity Generalized Parton Distribution at Physical Pion Mass from Lattice QCD

abstract: The generalized parton distributions (GPDs) offer a window on three-dimensional imaging of the nucleon, providing understanding of how the fundamental properties of the nucleon, such as its mass and spin, arise from the underlying quark and gluon degrees of freedom. In this work, we present the first lattice calculation of the nucleon isovector helicity GPD at physical pion mass, using an $a \approx 0.09$ fm lattice ensemble with 2+1+1 flavors of highly improved staggered quarks generated by MILC Collaboration. We perform the GPD calculation in Breit frame using averaged nucleon boost momentum $P_z \approx 2.2$ GeV with nonzero momentum transfers in $[0.2,1.0]\text{ GeV}^2$. Nonperturbative renormalization in RI/MOM scheme is used to obtain the quasi-distribution before matching to the lightcone GPDs. The three-dimensional distribution $\tilde{H}(x,Q^2)$ is presented, along with the three-dimensional nucleon tomography and impact-parameter--dependent distribution for selected Bjorken $x$ at $\mu=3$ GeV in $\overline{\text{MS}}$ scheme.


title: Uncertainties in Quantum Measurements: A Quantum Tomography

abstract: The observables associated with a quantum system $S$ form a non-commutative algebra ${\mathcal A}_S$. It is assumed that a density matrix $\rho$ can be determined from the expectation values of observables. But $\mathcal A_S$ admits inner automorphisms $a\mapsto uau^{-1},\; a,u\in {\mathcal A}_S$, $u^*u=u^*u=1$, so that its individual elements can be identified only up to unitary transformations. So since $\mathrm{Tr} \rho (uau^*)= \mathrm{Tr} (u^*\rho u)a$, only the spectrum of $\rho$, or its characteristic polynomial, can be determined in quantum mechanics. In local quantum field theory, $\rho$ cannot be determined at all, as we shall explain. However, abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables in abelian algebras ${\mathcal A}_M\subset {\mathcal A}_S$ ($M$ for measurement, $S$ for system). We study the uncertainties in extending $\rho|_{{\mathcal A}_M}$ to $\rho|_{{\mathcal A}_S}$ (the determination of which means measurement of ${\mathcal A}_S$) and devise a protocol to determine $\rho|_{{\mathcal A}_S}\equiv \rho$ by determining $\rho|_{{\mathcal A}_M}$ for different choices of ${\mathcal A}_M$. The problem we formulate and study is a generalization of the Kadison-Singer theorem. We give an example where the system $S$ is a particle on a circle and the experiment measures the abelian algebra of a magnetic field $B$ coupled to $S$. The measurement of $B$ gives information about the state $\rho$ of the system $S$ due to operator mixing. Associated uncertainty principles for von Neumann entropy are discussed in the appendix, adapting the earlier work of Bia{\l}ynicki-Birula and Mycielski to the present case.


title: Non-linear shrinkage of the price return covariance matrix is far from optimal for portfolio optimisation

abstract: Portfolio optimization requires sophisticated covariance estimators that are able to filter out estimation noise. Non-linear shrinkage is a popular estimator based on how the Oracle eigenvalues can be computed using only data from the calibration window. Contrary to common belief, NLS is not optimal for portfolio optimization because it does not minimize the right cost function when the asset dependence structure is non-stationary. We instead derive the optimal target. Using historical data, we quantify by how much NLS can be improved. Our findings reopen the question of how to build the covariance matrix estimator for portfolio optimization in realistic conditions.


title: LMTurk: Few-Shot Learners as Crowdsourcing Workers in a Language-Model-as-a-Service Framework

abstract: Vast efforts have been devoted to creating high-performance few-shot learners, i.e., large-scale pretrained language models (PLMs) that perform well with little downstream task training data. Training PLMs has incurred significant cost, but utilizing the few-shot learners is still challenging due to their enormous size. This work focuses on a crucial question: How to make effective use of these few-shot learners? We propose LMTurk, a novel approach that treats few-shot learners as crowdsourcing workers. The rationale is that crowdsourcing workers are in fact few-shot learners: They are shown a few illustrative examples to learn about a task and then start annotating. LMTurk employs few-shot learners built upon PLMs as workers. We show that the resulting annotations can be utilized to train models that solve the task well and are small enough to be deployable in practical scenarios. Active learning is integrated into LMTurk to reduce the amount of queries made to PLMs, minimizing the computational cost of running PLM inference passes. Altogether, LMTurk is an important step towards making effective use of current PLMs.


title: In-plane magnetic field induced density wave states near quantum spin Hall phase transitions

abstract: We study the influence of an in-plane magnetic field and Coulomb interactions on the physics of quantum spin Hall insulators, like those in InAs/GaSb and HgTe/CdTe quantum wells. Using a Hartree-Fock mean-field theory approximation, we calculate phase diagrams as functions of the band gap, band hybridization, and magnetic field strength. We show that when the band hybridization is weak, the system is unstable against the formation of density wave states. As the strength of the in-plane magnetic field increases, the density-wave region of the phase diagram expands and distinct density-wave states appear. We discuss possible experimental implications of our results.


title: Edge-trewidth: Algorithmic and combinatorial properties

abstract: We introduce the graph theoretical parameter of edge treewidth. This parameter occurs in a natural way as the tree-like analogue of cutwidth or, alternatively, as an edge-analogue of treewidth. We study the combinatorial properties of edge-treewidth. We first observe that edge-treewidth does not enjoy any closeness properties under the known partial ordering relations on graphs. We introduce a variant of the topological minor relation, namely, the weak topological minor relation and we prove that edge-treewidth is closed under weak topological minors. Based on this new relation we are able to provide universal obstructions for edge-treewidth. The proofs are based on the fact that edge-treewidth of a graph is parametetrically equivalent with the maximum over the treewidth and the maximum degree of the blocks of the graph. We also prove that deciding whether the edge-treewidth of a graph is at most k is an NP-complete problem.


title: On Improving Resource Allocations by Sharing

abstract: Given an initial resource allocation, where some agents may envy others or where a different distribution of resources might lead to higher social welfare, our goal is to improve the allocation without reassigning resources. We consider a sharing concept allowing resources being shared with social network neighbors of the resource owners. To this end, we introduce a formal model that allows a central authority to compute an optimal sharing between neighbors based on an initial allocation. Advocating this point of view, we focus on the most basic scenario where a resource may be shared by two neighbors in a social network and each agent can participate in a bounded number of sharings. We present algorithms for optimizing utilitarian and egalitarian social welfare of allocations and for reducing the number of envious agents. In particular, we examine the computational complexity with respect to several natural parameters. Furthermore, we study cases with restricted social network structures and, among others, devise polynomial-time algorithms in path- and tree-like (hierarchical) social networks.


title: The Virasoro-like Algebra of a Frobenius Manifold

abstract: For an arbitrary calibrated Frobenius manifold, we construct an infinite dimensional Lie algebra, called the Virasoro-like algebra, which is a deformation of the Virasoro algebra of the Frobenius manifold. By using the Virasoro-like algebra we give a family of quadratic PDEs that are satisfied by the genus-zero free energy of the Frobenius manifold. We also derive, under the semisimplicity assumption, the Virasoro constraints for the corresponding abstract Hodge partition function.


title: Supersymmetric Free Fermions and Bosons: Locality, Symmetry and Topology

abstract: Supersymmetry, originally proposed in particle physics, refers to a dual relation that connects fermionic and bosonic degrees of freedom in a system. Recently, there has been considerable interest in applying the idea of supersymmetry to topological phases, motivated by the attempt to gain insights from the fermion side into the boson side and vice versa. We present a systematic study of this construction when applied to band topology in noninteracting systems. First, on top of the conventional ten-fold way, we find that topological insulators and superconductors are divided into three classes depending on whether the supercharge can be local and symmetric, must break a symmetry to preserve locality, or needs to break locality. Second, we resolve the apparent paradox between the nontriviality of free fermions and the triviality of free bosons by noting that the topological information is encoded in the identification map. We also discuss how to understand a recently revealed supersymmetric entanglement duality in this context. These findings are illustrated by prototypical examples. Our work sheds new light on band topology from the perspective of supersymmetry.

categories: quant-ph cond-mat.mes-hall cond-mat.stat-mech hep-th


title: n-CPS: Generalising Cross Pseudo Supervision to n Networks for Semi-Supervised Semantic Segmentation

abstract: We present n-CPS - a generalisation of the recent state-of-the-art cross pseudo supervision (CPS) approach for the task of semi-supervised semantic segmentation. In n-CPS, there are n simultaneously trained subnetworks that learn from each other through one-hot encoding perturbation and consistency regularisation. We also show that ensembling techniques applied to subnetworks outputs can significantly improve the performance. To the best of our knowledge, n-CPS paired with CutMix outperforms CPS and sets the new state-of-the-art for Pascal VOC 2012 with (1/16, 1/8, 1/4, and 1/2 supervised regimes) and Cityscapes (1/16 supervised).


title: Improving COVID-19 CXR Detection with Synthetic Data Augmentation

abstract: Since the beginning of the COVID-19 pandemic, researchers have developed deep learning models to classify COVID-19 induced pneumonia. As with many medical imaging tasks, the quality and quantity of the available data is often limited. In this work we train a deep learning model on publicly available COVID-19 image data and evaluate the model on local hospital chest X-ray data. The data has been reviewed and labeled by two radiologists to ensure a high quality estimation of the generalization capabilities of the model. Furthermore, we are using a Generative Adversarial Network to generate synthetic X-ray images based on this data. Our results show that using those synthetic images for data augmentation can improve the model's performance significantly. This can be a promising approach for many sparse data domains.


title: Post-Quantum Security of the Even-Mansour Cipher

abstract: The Even-Mansour cipher is a simple method for constructing a (keyed) pseudorandom permutation $E$ from a public random permutation~$P:\{0,1\}^n \rightarrow \{0,1\}^n$. It is secure against classical attacks, with optimal attacks requiring $q_E$ queries to $E$ and $q_P$ queries to $P$ such that $q_E \cdot q_P \approx 2^n$. If the attacker is given \emph{quantum} access to both $E$ and $P$, however, the cipher is completely insecure, with attacks using $q_E, q_P = O(n)$ queries known. In any plausible real-world setting, however, a quantum attacker would have only \emph{classical} access to the keyed permutation~$E$ implemented by honest parties, even while retaining quantum access to~$P$. Attacks in this setting with $q_E \cdot q_P^2 \approx 2^n$ are known, showing that security degrades as compared to the purely classical case, but leaving open the question as to whether the Even-Mansour cipher can still be proven secure in this natural, "post-quantum" setting. We resolve this question, showing that any attack in that setting requires $q_E \cdot q^2_P + q_P \cdot q_E^2 \approx 2^n$. Our results apply to both the two-key and single-key variants of Even-Mansour. Along the way, we establish several generalizations of results from prior work on quantum-query lower bounds that may be of independent interest.


title: Magnetic properties and pseudogap formation in infinite-layer nickelates: insights from the single-band Hubbard model

abstract: We study the magnetic and spectral properties of a single-band Hubbard model for the infinite-layer nickelate compound LaNiO$_2$. As spatial correlations turn out to be the key ingredient for understanding its physics, we use two complementary extensions of the dynamical mean-field theory to take them into account: the cellular dynamical mean-field theory and the dynamical vertex approximation. Additionally to the systematic analysis of the doping dependence of the non-Curie-Weiss behavior of the uniform magnetic susceptibility, we provide insight into its relation to the formation of a pseudogap regime by the calculation of the one-particle spectral function and the magnetic correlation length. The latter is of the order of a few lattice spacings when the pseudogap opens, indicating a strong-coupling pseudogap formation in analogy to cuprates.


title: Simulating Random Walks in Random Streams

abstract: The random order graph streaming model has received significant attention recently, with problems such as matching size estimation, component counting, and the evaluation of bounded degree constant query testable properties shown to admit surprisingly space efficient algorithms. The main result of this paper is a space efficient single pass random order streaming algorithm for simulating nearly independent random walks that start at uniformly random vertices. We show that the distribution of $k$-step walks from $b$ vertices chosen uniformly at random can be approximated up to error $\varepsilon$ per walk using $(1/\varepsilon)^{O(k)} 2^{O(k^2)}\cdot b$ words of space with a single pass over a randomly ordered stream of edges, solving an open problem of Peng and Sohler [SODA `18]. Applications of our result include the estimation of the average return probability of the $k$-step walk (the trace of the $k^\text{th}$ power of the random walk matrix) as well as the estimation of PageRank. We complement our algorithm with a strong impossibility result for directed graphs.


title: Challenges on Optical Printing of Colloidal Nanoparticles

abstract: While colloidal chemistry provides ways to obtain a great variety of nanoparticles, with different shapes, sizes, material composition, and surface functions, their controlled deposition and combination on arbitrary positions of substrates remains a considerable challenge. Over the last ten years, optical printing arose as a versatile method to achieve this purpose for different kinds of nanoparticles. In this article we review the state of the art of optical printing of single nanoparticles, and discuss its strengths, limitations, and future perspectives, by focusing on four main challenges: printing accuracy, resolution, selectivity, and nanoparticles photostability.


title: Reinforced Abstractive Summarization with Adaptive Length Controlling

abstract: Document summarization, as a fundamental task in natural language generation, aims to generate a short and coherent summary for a given document. Controllable summarization, especially of the length, is an important issue for some practical applications, especially how to trade-off the length constraint and information integrity. In this paper, we propose an \textbf{A}daptive \textbf{L}ength \textbf{C}ontrolling \textbf{O}ptimization (\textbf{ALCO}) method to leverage two-stage abstractive summarization model via reinforcement learning. ALCO incorporates length constraint into the stage of sentence extraction to penalize the overlength extracted sentences. Meanwhile, a saliency estimation mechanism is designed to preserve the salient information in the generated sentences. A series of experiments have been conducted on a wildly-used benchmark dataset \textit{CNN/Daily Mail}. The results have shown that ALCO performs better than the popular baselines in terms of length controllability and content preservation.


title: Scientific Discovery and the Cost of Measurement -- Balancing Information and Cost in Reinforcement Learning

abstract: The use of reinforcement learning (RL) in scientific applications, such as materials design and automated chemistry, is increasing. A major challenge, however, lies in fact that measuring the state of the system is often costly and time consuming in scientific applications, whereas policy learning with RL requires a measurement after each time step. In this work, we make the measurement costs explicit in the form of a costed reward and propose a framework that enables off-the-shelf deep RL algorithms to learn a policy for both selecting actions and determining whether or not to measure the current state of the system at each time step. In this way, the agents learn to balance the need for information with the cost of information. Our results show that when trained under this regime, the Dueling DQN and PPO agents can learn optimal action policies whilst making up to 50\% fewer state measurements, and recurrent neural networks can produce a greater than 50\% reduction in measurements. We postulate the these reduction can help to lower the barrier to applying RL to real-world scientific applications.


title: Tackling Query-Focused Summarization as A Knowledge-Intensive Task: A Pilot Study

abstract: Query-focused summarization (QFS) requires generating a summary given a query using a set of relevant documents. However, such relevant documents should be annotated manually and thus are not readily available in realistic scenarios. To address this limitation, we tackle the QFS task as a knowledge-intensive (KI) task without access to any relevant documents. Instead, we assume that these documents are present in a large-scale knowledge corpus and should be retrieved first. To explore this new setting, we build a new dataset (KI-QFS) by adapting existing QFS datasets. In this dataset, answering the query requires document retrieval from a knowledge corpus. We construct three different knowledge corpora, and we further provide relevance annotations to enable retrieval evaluation. Finally, we benchmark the dataset with state-of-the-art QFS models and retrieval-enhanced models. The experimental results demonstrate that QFS models perform significantly worse on KI-QFS compared to the original QFS task, indicating that the knowledge-intensive setting is much more challenging and offers substantial room for improvement. We believe that our investigation will inspire further research into addressing QFS in more realistic scenarios.


title: MURPHY -- A scalable multiresolution framework for scientific computing on 3D block-structured collocated grids

abstract: We present the derivation, implementation, and analysis of a multiresolution adaptive grid framework for numerical simulations on octree-based 3D block-structured collocated grids with distributed computational architectures. Our approach provides a consistent handling of non-lifted and lifted interpolating wavelets of arbitrary order demonstrated using second, fourth, and sixth order wavelets, combined with standard finite-difference based discretization operators. We first validate that the wavelet family used provides strict and explicit error control when coarsening the grid, and show that lifting wavelets increase the grid compression rate while conserving discrete moments across levels. Further, we demonstrate that high-order PDE discretization schemes combined with sufficiently high order wavelets retain the expected convergence order even at resolution jumps. We then simulate the advection of a scalar to analyze convergence for the temporal evolution of a PDE. The results shows that our wavelet-based refinement criterion is successful at controlling the overall error while the coarsening criterion is effective at retaining the relevant information on a compressed grid. Our software exploits a block-structured grid data structure for efficient multi-level operations, combined with a parallelization strategy that relies on a one-sided MPI-RMA communication approach with active PSCW synchronization. Using performance tests up to 16,384 cores, we demonstrate that this leads to a highly scalable performance. The associated code is available under a BSD-3 license at https://github.com/vanreeslab/murphy.


title: Herd Immunity and Epidemic Size in Networks with Vaccination Homophily

abstract: We study how the herd immunity threshold and the expected epidemic size depend on homophily with respect to vaccine adoption. We find that the presence of homophily considerably increases the critical vaccine coverage needed for herd immunity and that strong homophily can push the threshold entirely out of reach. The epidemic size monotonically increases as a function of homophily strength for a perfect vaccine, while it is maximized at a nontrivial level of homophily when the vaccine efficacy is limited. Our results highlight the importance of vaccination homophily in epidemic modeling.


title: A note on 2-vertex-connected orientations

abstract: We consider two possible extensions of a theorem of Thomassen characterizing the graphs admitting a 2-vertex-connected orientation. First, we show that the problem of deciding whether a mixed graph has a 2-vertex-connected orientation is NP-hard. This answers a question of Bang-Jensen, Huang and Zhu. For the second part, we call a directed graph $D=(V,A)$ $2T$-connected for some $T \subseteq V$ if $D$ is 2-arc-connected and $D-v$ is strongly connected for all $v \in T$. We deduce a characterization of the graphs admitting a $2T$-connected orientation from the theorem of Thomassen.


title: Sharp thresholds for stability and instability of standing waves in a double power nonlinear Schr\"odinger equation

abstract: We study the stability/instability of standing waves for the one dimensional nonlinear Schr\"odinger equation with double power nonlinearities: \begin{align*} &i\partial_t u +\partial_x^2 u -|u|^{p-1}u +|u|^{q-1}u=0, \quad (t,x)\in \mathbb{R}\times\mathbb{R} ,~1<p<q. \end{align*} When $q<5$, the stability properties of standing waves $e^{i\omega t}\phi_{\omega}$ may change for the frequency $\omega$. A sufficient condition for yielding instability for small frequencies are obtained in previous results, but it has not been known what the sharp condition is. In this paper we completely calculate the explicit formula of $\lim_{\omega\to0}\partial_{\omega}\|\phi_{\omega}\|_{L^2}^2$, which is independent of interest, and establish the sharp thresholds for stability and instability of standing waves.


title: Information propagation in a non-local model with emergent locality

abstract: In this paper, we revisit a "relatively local" model proposed in arXiv:1811.07241, where locality and dimensionality of space only emerges from the entanglement structure of the state the system is in. Various quantities such as butterfly velocity/ entanglement speed can be defined similarly, at least in the regime where locality is well defined and a light cone structure emerges in the correlation between sites. We find that the relations observed between them in local models arXiv:1908.06993 are not respected. In particular, we conjecture that the hierarchy of the interaction over different distances provides different "layers" of light-cones. When long range interactions are sufficiently suppressed, the effective light cones are dominated by linear behaviors with little remnant of non-locality. This could potentially be used as a physical smoking gun for emergent locality in non-local models.


title: Radio wavefront of very inclined extensive air-showers: a simulation study for extended and sparse radio arrays

abstract: Radio-detection is becoming an established technique for the detection of air showers induced by cosmic particles. This is in particular true at the highest energies, where very large detection areas are required. A proper description of the shape of the radio wavefront emitted by air showers may allow to reconstruct the properties of its parent particle. In this article, we show that for showers with zenith angles larger than 60{\deg} --those targeted by giant radio arrays detecting extensive air showers induced by cosmic particles--, a point-source-like description of the radio wavefront allows to constraint the lateral position of the shower axis within a few meters. Following, we show that the reconstructed longitudinal position of this point source is correlated with the nature of the cosmic rays initiating the shower. Further systematic studies are pending to determine the robustness of this parameter and its validity as a proxy for cosmic ray composition studies.


title: Breaking the conformal freedom of spacetime with supernova neutrino imaging

abstract: It is known that a geometric measurement of the light cones of supernovae determines the conformal class of the visible part of the spacetime. The conformal factor is physically meaningful but cannot be determined geometrically by anything with zero mass, such as the photon. We show that measuring the neutrino cones in addition to light cones completely removes this gauge freedom. We describe the physical model in great detail, including why ultrarelativistic neutrinos are the only option.


title: Modeling Strong and Human-Like Gameplay with KL-Regularized Search

abstract: We consider the task of building strong but human-like policies in multi-agent decision-making problems, given examples of human behavior. Imitation learning is effective at predicting human actions but may not match the strength of expert humans, while self-play learning and search techniques (e.g. AlphaZero) lead to strong performance but may produce policies that are difficult for humans to understand and coordinate with. We show in chess and Go that regularizing search based on the KL divergence from an imitation-learned policy results in higher human prediction accuracy and stronger performance than imitation learning alone. We then introduce a novel regret minimization algorithm that is regularized based on the KL divergence from an imitation-learned policy, and show that using this algorithm for search in no-press Diplomacy yields a policy that matches the human prediction accuracy of imitation learning while being substantially stronger.


title: Assessment of [Fe/H] determinations for FGK stars in spectroscopic surveys

abstract: The number of stars with a measured value of [Fe/H] is considerably increasing thanks to spectroscopic surveys. However different methodologies, inputs and assumptions used in spectral analyses lead to different precisions in [Fe/H] and possibly to systematic differences that need to be evaluated. It is essential to understand the characteristics of each survey to fully exploit their potential, in particular if the surveys are combined. The purpose of this study is to compare [Fe/H] determinations from the largest spectroscopic surveys (APOGEE, GALAH, the Gaia ESO survey, RAVE, LAMOST, SEGUE ) to other catalogues taken as reference. Offsets and dispersions of the residuals are examined as well as their trends with other parameters. We use reference samples providing independent determinations of [Fe/H] which are compared to those from the surveys for common stars. The distribution of the residuals is assessed through simple statistics that measures the offset between two catalogues and the dispersion representative of the precision of both catalogues. When relevant, linear fits are performed. A large sample of FGK-type stars with [Fe/H] based on high-resolution, high signal to noise spectroscopy was built from the PASTEL catalogue to provide a reference sample. We also use FGK members in open and globular clusters to assess the internal consistency of [Fe/H] of each survey. The agreement of median [Fe/H] values for clusters observed by different surveys is discussed. All the surveys overestimate the low metallicities, and some of them also underestimate the high metallicities. They perform well in the most populated intermediate metallicity range, whatever the resolution. In most cases the typical precision that we deduce from the comparisons is in good agreement with the uncertainties quoted in the catalogues. Some exceptions to this general behaviour are discussed.


title: Pinching operators for approximating multiphoton entangled states

abstract: We introduce the pinching operator, which extends the theory of squeezing operators to cubic and higher order non-Gaussian operators, and use it to approximate $n$-photon entangled states using a pinched vacuum state and pinching tensor of rank $n$. A simple recursion relation is derived for generating the Bogoliubov transformed creation and annihilation operators, which may be used to express the pinched state as a statistically equivalent set of nonlinearly transformed complex Gaussian random variables. Using this representation, we compare low-order approximations of the pinched state to entangled multiphoton Fock states, such as Greenberger-Horne-Zeilinger (GHZ) and W states. Using post-selection and a threshold detector model to represent non-Gaussian measurements, we find that this model is capable of producing states with a fidelity comparable to that of experimentally prepared multiphoton entangled states. In particular, we obtain a Mermin statistic of $5.27 \pm 0.01$ for a five-photon GHZ state, violating the noncontexuality threshold by 127 standard deviations.


title: Primordial power spectra from $k$-inflation with curvature

abstract: We investigate the primordial power spectra for general kinetic inflation models that support a period of kinetic dominance in the case of curved universes. We present derivations of the Mukhanov-Sasaki equations with a nonstandard scalar kinetic Lagrangian which manifests itself through the inflationary sound speed $c_s^2$. We extend the analytical approximations exploited in Contaldi et al [1] and Thavanesan et al [2] to general kinetic Lagrangians and show the effect of $k$-inflation on the primordial power spectra for models with curvature. In particular, the interplay between sound speed and curvature results in a natural low wavenumber cutoff for the power spectra in the case of closed universes. Using the analytical approximation, we further show that a change in the inflationary sound speed between different epochs of inflation results in non-decaying oscillations in the resultant power spectra for the comoving curvature perturbation.


title: Parametric schedulability analysis of a launcher flight control system under reactivity constraints

abstract: The next generation of space systems will have to achieve more and more complex missions. In order to master the development cost and duration of such systems, an alternative to a manual design is to automatically synthesize the main parameters of the system. In this paper, we present an approach for the specific case of the scheduling of the flight control of a space launcher. The approach requires two successive steps: (1) the formalization of the problem to be solved in a parametric formal model and (2) the synthesis of the model parameters with a tool. We first describe the problem of the scheduling of a launcher flight control, then we show how this problem can be formalized with parametric stopwatch automata; we then present the results computed by the parametric timed model checker IMITATOR. We enhance our model by taking into consideration the time for switching context, and we compare the results to those obtained by other tools classically used in scheduling.


title: Sequential Change Detection through Empirical Distribution and Universal Codes

abstract: Universal compression algorithms have been studied in the past for sequential change detection, where they have been used to estimate the post-change distribution in the modified version of the Cumulative Sum (CUSUM) Test. In this paper, we introduce a modified CUSUM test where the pre-change distribution is also unknown and an empirical version of the pre-change distribution is used to implement the algorithm. We present a study of various characteristics of this modified CUSUM Test and then prove its asymptotic optimality.


title: Gravitomagnetic Helicity

abstract: Mass currents in astrophysics generate gravitomagnetic fields of enormous complexity. Gravitomagnetic helicity, in direct analogy with magnetic helicity, is a measure of entwining of the gravitomagnetic field lines. We discuss gravitomagnetic helicity within the gravitoelectromagnetic (GEM) framework of linearized general relativity. Furthermore, we employ the spacetime curvature approach to GEM in order to determine the gravitomagnetic helicity for static observers in Kerr spacetime.


title: A study on the effect of input data length on deep learning based magnitude classifier

abstract: The rapid characterisation of earthquake parameters such as its magnitude is at the heart of Earthquake Early Warning (EEW). In traditional EEW methods the robustness in the estimation of earthquake parameters have been observed to increase with the length of input data. Since time is a crucial factor in EEW applications, in this paper we propose a deep learning based magnitude classifier and, further we investigate the effect of using five different durations of seismic waveform data after first P wave arrival of length 1s, 3s, 10s, 20s and 30s. This is accomplished by testing the performance of the proposed model that combines Convolution and Bidirectional Long-Short Term Memory units to classify waveforms based on their magnitude into three classes "noise", "low magnitude events" and "high magnitude events". Herein, any earthquake signal with magnitude equal to or above 5.0 is labelled as high magnitude. We show that the variation in the results produced by changing the length of the data, is no more than the inherent randomness in the trained models, due to their initialisation.


title: TCUDB: Accelerating Database with Tensor Processors

abstract: The emergence of novel hardware accelerators has powered the tremendous growth of machine learning in recent years. These accelerators deliver incomparable performance gains in processing high-volume matrix operators, particularly matrix multiplication, a core component of neural network training and inference. In this work, we explored opportunities of accelerating database systems using NVIDIA's Tensor Core Units (TCUs). We present TCUDB, a TCU-accelerated query engine processing a set of query operators including natural joins and group-by aggregates as matrix operators within TCUs. Matrix multiplication was considered inefficient in the past; however, this strategy has remained largely unexplored in conventional GPU-based databases, which primarily rely on vector or scalar processing. We demonstrate the significant performance gain of TCUDB in a range of real-world applications including entity matching, graph query processing, and matrix-based data analytics. TCUDB achieves up to 288x speedup compared to a baseline GPU-based query engine.


title: Motivation and Development of a Compact Superconducting Accelerator for X-ray Medical Device Sterilization

abstract: Fermilab is developing a compact superconducting CSRF accelerator as a source of a high-power, high-energy electron beam to produce an x-ray beam comparable to $\geq$ 2 MCi of cobalt-60. As part of this development, we are presently assembling a 20 kW, 1.6 MeV prototype that incorporates the four enabling technologies described below. These technologies support a heat budget that is within the capacity of commercially available cryocoolers and eliminate the need for liquid cryogens. The use of superconducting technologies promises efficiencies, wall-plug to beam, of 80% or greater. A summary of the design and progress to date will be given. In addition, we will present a review of developments within the medical device sterilization industry that are motivating the development of this technology.


title: Tracing the non-thermal pressure and hydrostatic bias in galaxy clusters

abstract: We present a modelization of the non-thermal pressure, $P_{NT}$, and we apply it to the X-ray (and Sunayev-Zel'dovich) derived radial profiles of the X-COP galaxy clusters. We relate the amount of non-thermal pressure support to the hydrostatic bias, $b$, and speculate on how we can interpret this $P_{NT}$ in terms of the expected levels of turbulent velocity and magnetic fields. Current upper limits on the turbulent velocity in the intracluster plasma are used to build a distribution $\mathcal{N}(<b) - b$, from which we infer that 50 per cent of local galaxy clusters should have $b < 0.2$ ($b<0.33$ in 80 per cent of the population). The measured bias in the X-COP sample that includes relaxed massive nearby systems is 0.03 in 50% of the objects and 0.17 in 80% of them. All these values are below the amount of bias required to reconcile the observed cluster number count in the cosmological framework set from Planck.


title: Classification of histopathology images using ConvNets to detect Lupus Nephritis

abstract: Systemic lupus erythematosus (SLE) is an autoimmune disease in which the immune system of the patient starts attacking healthy tissues of the body. Lupus Nephritis (LN) refers to the inflammation of kidney tissues resulting in renal failure due to these attacks. The International Society of Nephrology/Renal Pathology Society (ISN/RPS) has released a classification system based on various patterns observed during renal injury in SLE. Traditional methods require meticulous pathological assessment of the renal biopsy and are time-consuming. Recently, computational techniques have helped to alleviate this issue by using virtual microscopy or Whole Slide Imaging (WSI). With the use of deep learning and modern computer vision techniques, we propose a pipeline that is able to automate the process of 1) detection of various glomeruli patterns present in these whole slide images and 2) classification of each image using the extracted glomeruli features.


title: The Uncertainty Principle and Classical Amplitudes

abstract: We study the variance in the measurement of observables during scattering events, as computed using amplitudes. The classical regime, characterised by negligible uncertainty, emerges as a consequence of an infinite set of relationships among multileg, multiloop amplitudes in a momentum-transfer expansion. We discuss two non-trivial examples in detail: the six-point tree and the five-point one-loop amplitudes in scalar QED. We interpret these relationships in terms or a coherent exponentiation of radiative effects in the classical limit which generalises the eikonal formula, and show how to recover the impulse, including radiation reaction, from this generalised eikonal. Finally, we incorporate the physics of spin into our framework.


title: Advantage of Coherent States in Ring Resonators over Any Quantum Probe Single-Pass Absorption Estimation Strategy

abstract: Quantum states of light have been shown to enhance precision in absorption estimation over classical strategies. By exploiting interference and resonant enhancement effects, we show that coherent-state probes in all-pass ring resonators can outperform any quantum probe single-pass strategy even when normalized by the mean input photon number. We also find that under optimal conditions coherent-state probes equal the performance of arbitrarily bright pure single-mode squeezed probes in all-pass ring resonators.


title: Multi-Modal Temporal Attention Models for Crop Mapping from Satellite Time Series

abstract: Optical and radar satellite time series are synergetic: optical images contain rich spectral information, while C-band radar captures useful geometrical information and is immune to cloud cover. Motivated by the recent success of temporal attention-based methods across multiple crop mapping tasks, we propose to investigate how these models can be adapted to operate on several modalities. We implement and evaluate multiple fusion schemes, including a novel approach and simple adjustments to the training procedure, significantly improving performance and efficiency with little added complexity. We show that most fusion schemes have advantages and drawbacks, making them relevant for specific settings. We then evaluate the benefit of multimodality across several tasks: parcel classification, pixel-based segmentation, and panoptic parcel segmentation. We show that by leveraging both optical and radar time series, multimodal temporal attention-based models can outmatch single-modality models in terms of performance and resilience to cloud cover. To conduct these experiments, we augment the PASTIS dataset with spatially aligned radar image time series. The resulting dataset, PASTIS-R, constitutes the first large-scale, multimodal, and open-access satellite time series dataset with semantic and instance annotations.


title: Charge-spin interconversion in graphene-based systems from density functional theory

abstract: We present a methodology to address, from first principles, charge-spin interconversion in two-dimensional materials with spin-orbit coupling. Our study relies on an implementation of density functional theory based quantum transport formalism adapted to such purpose. We show how an analysis of the $k$-resolved spin polarization gives the necessary insight to understand the different charge-spin interconversion mechanisms. We have tested it in the simplest scenario of isolated graphene in a perpendicular electric field where effective tight-binding models are available to compare with. Our results show that the flow of an unpolarized current across a single layer of graphene produces, as expected, a spin separation perpendicular to the current for two of the three spin components (out-of-plane and longitudinal), which is the signature of the spin Hall effect. Additionally, it also yields an overall spin accumulation for the third spin component (perpendicular to the current), which is the signature of the Rashba-Edelstein effect. Even in this simple example, our results reveal an unexpected competition between the Rashba and the intrinsic spin-orbit coupling. Remarkably, the sign of the accumulated spin density does not depend on the electron or hole nature of the injected current for realistic values of the Rashba coupling.


title: Magnetic Measurements of HL-LHC AUP Cryo-Assemblies at Fermilab

abstract: LQXFA/B production series cryogenic assemblies are being built for the LHC upgrade by the HL-LHC Accelerator Upgrade Project (AUP). These contain a pair of MQXFA quadrupole magnets combined as a cold mass within a vacuum vessel, and are to be installed in the IR regions of the LHC. The LQXFA/B are being tested at 1.9 K to assess alignment and magnetic performance at Fermilab's horizontal test facility. The ~10 m - long assembly must meet stringent specifications for quadrupole strength and harmonic field integrals determination, magnetic axis location, and for variations in axis position and local field profile. A multi-probe, PCB-based rotating coil and Single Stretched Wire system are employed for these measurements. To accurately determine rotating coil location and angles within the cold mass, a laser tracker is utilized to record multiple targets at one end of the probe. This paper describes the measurements, probes/equipment, and techniques used to perform the necessary characterization of the cold mass.


title: Expected Performance of the EUSO-SPB2 Fluorescence Telescope

abstract: The Extreme Universe Space Observatory Supper Pressure Balloon 2 (EUSO-SPB2) is under development, and will prototype instrumentation for future satellite-based missions, including the Probe of Extreme Multi-Messenger Astrophysics (POEMMA). EUSO-SPB2 will consist of two telescopes. The first is a Cherenkov telescope (CT) being developed to identify and estimate the background sources for future below-the-limb very high energy (E>10 PeV) astrophysical neutrino observations, as well as above-the-limb cosmic ray induced signals (E>1 PeV). The second is a fluorescence telescope (FT) being developed for detection of Ultra High Energy Cosmic Rays (UHECRs). In preparation for the expected launch in 2023, extensive simulations tuned by preliminary laboratory measurements have been preformed to understand the FT capabilities. The energy threshold has been estimated at $10^{18.2}$ eV, and results in a maximum detection rate at $10^{18.6}$ eV when taking into account the shape of the UHECR spectrum. In addition, onboard software has been developed based on the simulations as well as experience with previous EUSO missions. This includes a level 1 trigger to be run on the computationally limited flight hardware, as well as a deep learning based prioritization algorithm in order to accommodate the balloon's telemetry budget. These techniques could also be used later for future, space-based missions.


title: Deriving ages and horizontal branch properties of integrated stellar populations

abstract: A major source of uncertainty in the age determination of old ($\sim10$ Gyr) integrated stellar populations is the presence of hot horizontal branch (HB) stars. Here, we describe a simple approach to tackle this problem, and show the performance of this technique that simultaneously models the age, abundances and HB properties of integrated stellar populations. For this we compare the results found during the fits of the integrated spectra of a sample of stellar population benchmarks, against the values obtained from the analysis of their resolved CMDs. We find that the ages derived from our spectral fits for most (26/32) of our targets are within 0.1 dex to their CMDs values. Similarly, for the majority of the targets in our sample we are able to recover successfully the flux contribution from hot HB stars (within $\sim0.15 {\rm ~dex}$ for 18/24 targets) and their mean temperature (14/24 targets within $\sim30 \%$). Finally, we present a diagnostic that can be used to detect spurious solutions in age, that will help identify the few cases when this method fails. These results open a new window for the detailed study of globular clusters beyond the Local Group.


title: Embedding a critical point in a hadron to quark-gluon crossover equation of state

abstract: Lattice QCD simulations have shown unequivocally that the transition from hadrons to quarks and gluons is a crossover when the baryon chemical potential is zero or small. Many model calculations predict the existence of a critical point at a value of the chemical potential where current lattice simulations are unreliable. We show how to embed a critical point in a smooth background equation of state so as to yield the critical exponents and critical amplitude ratios expected of a transition in the same universality class as the liquid-gas phase transition and the 3D Ising model. The resulting equation of state has parameters which may be inferred by hydrodynamic modeling of heavy ion collisions in the Beam Energy Scan II at the Relativistic Heavy Ion Collider or in experiments at other accelerators.


title: Linear Quadratic Control with Risk Constraints

abstract: We propose a new risk-constrained formulation of the classical Linear Quadratic (LQ) stochastic control problem for general partially-observed systems. Our framework is motivated by the fact that the risk-neutral LQ controllers, although optimal in expectation, might be ineffective under relatively infrequent, yet statistically significant extreme events. To effectively trade between average and extreme event performance, we introduce a new risk constraint, which explicitly restricts the total expected predictive variance of the state penalty by a user-prescribed level. We show that, under certain conditions on the process noise, the optimal risk-aware controller can be evaluated explicitly and in closed form. In fact, it is affine relative to the minimum mean square error (mmse) state estimate. The affine term pushes the state away from directions where the noise exhibits heavy tails, by exploiting the third-order moment~(skewness) of the noise. The linear term regulates the state more strictly in riskier directions, where both the prediction error (conditional) covariance and the state penalty are simultaneously large; this is achieved by inflating the state penalty within a new filtered Riccati difference equation. We also prove that the new risk-aware controller is internally stable, regardless of parameter tuning, in the special cases of i) fully-observed systems, and ii) partially-observed systems with Gaussian noise. The properties of the proposed risk-aware LQ framework are lastly illustrated via indicative numerical examples.


title: Stable motivic trivial fibre decomposition over integers and framed motives

abstract: Using the trivial fiber topology we describe motivic $\infty$-loop spaces and fibrant replacements in the motivic stable homotopy category $\mathbf{SH}_{\mathbb{A}^1,\mathrm{Nis}}(B)$ defined over one-dimensional base schemes $B$.


title: VALSE: A Task-Independent Benchmark for Vision and Language Models Centered on Linguistic Phenomena

abstract: We propose VALSE (Vision And Language Structured Evaluation), a novel benchmark designed for testing general-purpose pretrained vision and language (V&L) models for their visio-linguistic grounding capabilities on specific linguistic phenomena. VALSE offers a suite of six tests covering various linguistic constructs. Solving these requires models to ground linguistic phenomena in the visual modality, allowing more fine-grained evaluations than hitherto possible. We build VALSE using methods that support the construction of valid foils, and report results from evaluating five widely-used V&L models. Our experiments suggest that current models have considerable difficulty addressing most phenomena. Hence, we expect VALSE to serve as an important benchmark to measure future progress of pretrained V&L models from a linguistic perspective, complementing the canonical task-centred V&L evaluations.


title: Testing accuracy of qubit rotations on a public quantum computer

abstract: We analyze the results of the test of $\pi/2$ qubit rotations on the public quantum computer provided by IBM. We measure a single qubit rotated by $\pi/2$ about a random axis, and we accumulate vast statistics of the results. The test performed on different devices shows systematic deviations from the theoretical predictions, which appear at the level $10^{-3}$. Some of the differences, beyond 5 standard deviations, cannot be explained by simple corrections due to nonlinearities of pulse generations. The magnitude of the deviation is comparable with the randomized benchmarking of the gate, but we additionally observe a pronounced parametric dependence. We discuss other possible reasons of the deviations, including states beyond the single-qubit space. The deviations have a similar structure for various devices used at different times, and so they can also serve as a diagnostic tool to eliminate imperfect gate implementations, and faithful description of the involved physical systems.


title: Local Output Feedback Stabilization of a Nonlinear Kuramoto-Sivashinsky equation

abstract: This paper is concerned with the local output feedback stabilization of a nonlinear Kuramoto-Sivashinsky equation. The control is located at the boundary of the domain while the measurement is selected as a Neumann trace. This choice of system output requires the study of the system trajectories in $H^2$-norm. Moreover, the choice of the actuation/sensing scheme is discussed and adapted in function of the parameters of the plant in order to avoid the possible loss of controllability/observability property of certain eigenvalues of the underlying operator. This leads in certain cases to a multi-input multi-output control design procedure. The adopted control strategy is finite dimensional and relies on spectral reduction methods. We derive sufficient conditions ensuring the local exponential stabilization of the plant. These control design constraints are shown to be feasible provided the order of the controller is selected to be large enough, ensuring that the reported control design procedure is systematic.


title: Cooperation for Scalable Supervision of Autonomy in Mixed Traffic

abstract: Advances in autonomy offer the potential for dramatic positive outcomes in a number of domains, yet enabling their safe deployment remains an open problem. This work's motivating question is: In safety-critical settings, can we avoid the need to have one human supervise one machine at all times? The work formalizes this scalable supervision problem by considering remotely located human supervisors and investigating how autonomous agents can cooperate to achieve safety. This article focuses on the safety-critical context of autonomous vehicles (AVs) merging into traffic consisting of a mixture of AVs and human drivers. The analysis establishes high reliability upper bounds on human supervision requirements. It further shows that AV cooperation can improve supervision reliability by orders of magnitude and counterintuitively requires fewer supervisors (per AV) as more AVs are adopted. These analytical results leverage queuing-theoretic analysis, order statistics, and a conservative, reachability-based approach. A key takeaway is the potential value of cooperation in enabling the deployment of autonomy at scale. While this work focuses on AVs, the scalable supervision framework may be of independent interest to a broader array of autonomous control challenges.


title: Universal structure of radiative QED amplitudes at one loop

abstract: We present two novel results about the universal structure of radiative QED amplitudes in the soft and in the collinear limit. On the one hand, we extend the well-known Low-Burnett-Kroll theorem to the one-loop level and give the explicit relation between the radiative and non-radiative amplitude at subleading power in the soft limit. On the other hand, we consider a factorisation formula at leading power in the limit where the emitted photon becomes collinear to a light fermion and provide the corresponding one-loop splitting function. In addition to being interesting in their own right these findings are particularly relevant in the context of fully-differential higher-order QED calculations. One of the main challenges in this regard is the numerical stability of radiative contributions in the soft and collinear regions. The results presented here allow for a stabilisation of real-virtual amplitudes in these delicate phase-space regions by switching to the corresponding approximation without the need of explicit computations.


title: Epigenomic language models powered by Cerebras

abstract: Large scale self-supervised pre-training of Transformer language models has advanced the field of Natural Language Processing and shown promise in cross-application to the biological `languages' of proteins and DNA. Learning effective representations of DNA sequences using large genomic sequence corpuses may accelerate the development of models of gene regulation and function through transfer learning. However, to accurately model cell type-specific gene regulation and function, it is necessary to consider not only the information contained in DNA nucleotide sequences, which is mostly invariant between cell types, but also how the local chemical and structural `epigenetic state' of chromosomes varies between cell types. Here, we introduce a Bidirectional Encoder Representations from Transformers (BERT) model that learns representations based on both DNA sequence and paired epigenetic state inputs, which we call Epigenomic BERT (or EBERT). We pre-train EBERT with a masked language model objective across the entire human genome and across 127 cell types. Training this complex model with a previously prohibitively large dataset was made possible for the first time by a partnership with Cerebras Systems, whose CS-1 system powered all pre-training experiments. We show EBERT's transfer learning potential by demonstrating strong performance on a cell type-specific transcription factor binding prediction task. Our fine-tuned model exceeds state of the art performance on 4 of 13 evaluation datasets from ENCODE-DREAM benchmarks and earns an overall rank of 3rd on the challenge leaderboard. We explore how the inclusion of epigenetic data and task specific feature augmentation impact transfer learning performance.


title: The high-dimensional asymptotics of first order methods with random data

abstract: We study a class of deterministic flows in ${\mathbb R}^{d\times k}$, parametrized by a random matrix ${\boldsymbol X}\in {\mathbb R}^{n\times d}$ with i.i.d. centered subgaussian entries. We characterize the asymptotic behavior of these flows over bounded time horizons, in the high-dimensional limit in which $n,d\to\infty$ with $k$ fixed and converging aspect ratios $n/d\to\delta$. The asymptotic characterization we prove is in terms of a system of a nonlinear stochastic process in $k$ dimensions, whose parameters are determined by a fixed point condition. This type of characterization is known in physics as dynamical mean field theory. Rigorous results of this type have been obtained in the past for a few spin glass models. Our proof is based on time discretization and a reduction to certain iterative schemes known as approximate message passing (AMP) algorithms, as opposed to earlier work that was based on large deviations theory and stochastic processes theory. The new approach allows for a more elementary proof and implies that the high-dimensional behavior of the flow is universal with respect to the distribution of the entries of ${\boldsymbol X}$. As specific applications, we obtain high-dimensional characterizations of gradient flow in some classical models from statistics and machine learning, under a random design assumption.


title: Simplicial approximation to CW complexes in practice

abstract: We describe an algorithm that takes as an input a CW complex and returns a simplicial complex of the same homotopy type. This algorithm, although well-known in the literature, requires some work to make it computationally tractable. We pay close attention to weak simplicial approximation, which we implement for two subdivisions methods: generalized barycentric and generalized edgewise subdivisions. We also propose a new subdivision process, based on Delaunay complexes. In order to facilitate the computation of a simplicial approximation, we introduce a simplification step, based on edge contractions. We define a new version of simplicial mapping cone, which requires less simplices. Last, we illustrate the algorithm with the real projective spaces, the 3-dimensional lens spaces and the Grassmannian of 2-planes in $\mathbb{R}^4$. As applications of these results, we estimate the discrete Lusternik-Schnirelmann category of our lens spaces, and we compute the persistent Stiefel-Whitney classes of a dataset of plane bundles.


title: Multi-treatment Effect Estimation from Biomedical Data

abstract: This work proposes the M3E2, a multi-task learning neural network model to estimate the effect of multiple treatments. In contrast to existing methods, M3E2 can handle multiple treatment effects applied simultaneously to the same unit, continuous and binary treatments, and many covariates. We compared M3E2 with three baselines in three synthetic benchmark datasets: two with multiple treatments and one with one treatment. Our analysis showed that our method has superior performance, making more assertive estimations of the multiple treatment effects.


title: Robust Graph Neural Networks via Probabilistic Lipschitz Constraints

abstract: Graph neural networks (GNNs) have recently been demonstrated to perform well on a variety of network-based tasks such as decentralized control and resource allocation, and provide computationally efficient methods for these tasks which have traditionally been challenging in that regard. However, like many neural-network based systems, GNNs are susceptible to shifts and perturbations on their inputs, which can include both node attributes and graph structure. In order to make them more useful for real-world applications, it is important to ensure their robustness post-deployment. Motivated by controlling the Lipschitz constant of GNN filters with respect to the node attributes, we propose to constrain the frequency response of the GNN's filter banks. We extend this formulation to the dynamic graph setting using a continuous frequency response constraint, and solve a relaxed variant of the problem via the scenario approach. This allows for the use of the same computationally efficient algorithm on sampled constraints, which provides PAC-style guarantees on the stability of the GNN using results in scenario optimization. We also highlight an important connection between this setup and GNN stability to graph perturbations, and provide experimental results which demonstrate the efficacy and broadness of our approach.


title: Chemical Kinetics and Mass Action in Coexisting Phases

abstract: The kinetics of chemical reactions are determined by the law of mass action, which has been successfully applied to homogeneous, dilute mixtures. At non-dilute conditions, interactions among the components can give rise to coexisting phases, which can significantly alter the kinetics of chemical reactions. Here, we derive a theory for chemical reactions in coexisting phases at phase equilibrium. We show that phase equilibrium couples the rates of chemical reactions of components with their diffusive exchanges between the phases. Strikingly, the chemical relaxation kinetics can be represented as a flow along the phase equilibrium line in the phase diagram. A key finding of our theory is that differences in reaction rates between coexisting phases stem solely from phase-dependent reaction rate coefficients. Our theory is key to interpret how concentration levels of reactive components in condensed phases control chemical reaction rates in synthetic and biological systems.


title: GPL: Generative Pseudo Labeling for Unsupervised Domain Adaptation of Dense Retrieval

abstract: Dense retrieval approaches can overcome the lexical gap and lead to significantly improved search results. However, they require large amounts of training data which is not available for most domains. As shown in previous work (Thakur et al., 2021b), the performance of dense retrievers severely degrades under a domain shift. This limits the usage of dense retrieval approaches to only a few domains with large training datasets. In this paper, we propose the novel unsupervised domain adaptation method Generative Pseudo Labeling (GPL), which combines a query generator with pseudo labeling from a cross-encoder. On six representative domain-specialized datasets, we find the proposed GPL can outperform an out-of-the-box state-of-the-art dense retrieval approach by up to 9.3 points nDCG@10. GPL requires less (unlabeled) data from the target domain and is more robust in its training than previous methods. We further investigate the role of six recent pre-training methods in the scenario of domain adaptation for retrieval tasks, where only three could yield improved results. The best approach, TSDAE (Wang et al., 2021) can be combined with GPL, yielding another average improvement of 1.4 points nDCG@10 across the six tasks. The code and the models are available at https://github.com/UKPLab/gpl.


title: Two-loop amplitude for mixed QCD-EW corrections to $gg \to Hg$

abstract: We report on the two-loop amplitude computation for the mixed QCD-electroweak corrections to the process $gg \to Hg$, with exact dependence on the electroweak boson masses. This amplitude has been employed in the computation of next-to-leading order (NLO) mixed QCD-electroweak corrections to the Higgs-boson production rate in arXiv:2010.09451. The master integrals that appear in the amplitude are evaluated by means of generalized power series expansions, which allows for fast and high-precision numerical evaluation of the amplitude in the physical phase-space, proving to be a powerful tool for phenomenological applications.


title: Comparative study of the evolution of human cancer gene duplications across fish

abstract: Comparative studies of cancer-related genes allow us to gain novel information about the evolution and function of these genes, but also to understand cancer as a driving force in biological systems and species life histories. So far, comparative studies of cancer genes have focused on mammals. Here, we provide the first comparative study of cancer-related gene copy number variation in fish. As fish are evolutionarily older and genetically more diverse than mammals, their tumour suppression mechanisms should not only include most of the mammalian mechanisms, but also reveal novel (but potentially phylogenetically older) previously undetected mechanisms. We have matched the sequenced genomes of 65 fish species from the Ensemble database with the cancer gene information from the COSMIC database. By calculating the number of gene copies across species using the Ensembl CAFE data (providing species trees for gene copy number counts), we were able to develop a novel, less resource demanding method for ortholog identification. Our analysis demonstrates a masked relationship with cancer-related gene copy number variation (CNV) and maximum lifespan in fish species, suggesting that higher tumour suppressor gene CNV lengthens and oncogene CNV shortens lifespan, when both traits are added to the model. Based on the correlation between tumour suppressor and oncogene CNV, we were able to show which species have more tumour suppressors in relation to oncogenes. It could therefore be suggested that these species have stronger genetic defences against oncogenic processes. Fish studies could yet be a largely unexplored treasure trove for understanding the evolution and ecology of cancer, by providing novel insights into the study of cancer and tumour suppression, in addition to the study of fish evolution, life-history trade-offs, and ecology.


title: Spatial Coherence of Light in Collective Spontaneous Emission

abstract: When a quantum system is put into an excited state, it will decay back to the ground state through a process termed spontaneous emission. It is generally assumed that spontaneous emission between different individual emitters would not be coherent with each other; to produce coherent light one would need population inversion and stimulated emission. In this work, we show that an optically-thin ensemble of 11,000 radiating atoms spontaneously organize to produce spatially coherent light. The reason for this coherence is collective-coupling of the individual emitters via Dicke superradiance and subradiance (as opposed to amplification through stimulated emission).


title: Tolman IV fluid sphere in f(R, T) gravity

abstract: In this article, we studied the behavior of relativistic spherical objects considering Tolman IV spacetime in modified $f(R,\,T)$ gravity for the uncharged perfect fluid matter. We have chosen the matter Lagrangian as $\mathcal{L}_m=-p$ to develop our present model. In particular, for this investigation we have reported for the compact object LMC $X-4$ [Mass=$(1.04 \pm 0.09)M_{\odot}$; Radius= $8.301_{-0.2}^{+0.2}$ Km] in our paper. The effect of the coupling parameter $\beta$ on the local matter distribution of compact stars has been investigated in this paper. It can be seen that with greater values of $\beta$, the sound speed and adiabatic index are higher. On contrary, the mass function takes lower value for higher values of $\beta$. Our obtained solution does not admit singularities in the matter density, pressure and metric functions. According to our graphical analysis, this new stellar model satisfies all physical requirements anticipated in a realistic star.


title: Optimality of any pair of incompatible rank-one projective measurements for some non-trivial Bell inequality

abstract: Bell non-locality represents one of the most striking departures of quantum mechanics from classical physics. It shows that correlations between space-like separated systems allowed by quantum mechanics are stronger than those present in any classical theory. In a recent work [Sci. Adv. 7, eabc3847 (2021)], a family of Bell functionals tailored to mutually unbiased bases (MUBs) is proposed. For these functionals, the maximal quantum violation is achieved if the two measurements performed by one of the parties are constructed out of MUBs of a fixed dimension. Here, we generalize this construction to an arbitrary incompatible pair of rank-one projective measurements. By constructing a new family of Bell functionals, we show that for any such pair there exists a Bell inequality that is maximally violated by this pair. Moreover, when investigating the robustness of these violations to noise, we demonstrate that the realization which is most robust to noise is not generated by MUBs.


title: Reinforcing Semantic-Symmetry for Document Summarization

abstract: Document summarization condenses a long document into a short version with salient information and accurate semantic descriptions. The main issue is how to make the output summary semantically consistent with the input document. To reach this goal, recently, researchers have focused on supervised end-to-end hybrid approaches, which contain an extractor module and abstractor module. Among them, the extractor identifies the salient sentences from the input document, and the abstractor generates a summary from the salient sentences. This model successfully keeps the consistency between the generated summary and the reference summary via various strategies (e.g., reinforcement learning). There are two semantic gaps when training the hybrid model (one is between document and extracted sentences, and the other is between extracted sentences and summary). However, they are not explicitly considered in the existing methods, which usually results in a semantic bias of summary. To mitigate the above issue, in this paper, a new \textbf{r}einforcing s\textbf{e}mantic-\textbf{sy}mmetry learning \textbf{m}odel is proposed for document summarization (\textbf{ReSyM}). ReSyM introduces a semantic-consistency reward in the extractor to bridge the first gap. A semantic dual-reward is designed to bridge the second gap in the abstractor. The whole document summarization process is implemented via reinforcement learning with a hybrid reward mechanism (combining the above two rewards). Moreover, a comprehensive sentence representation learning method is presented to sufficiently capture the information from the original document. A series of experiments have been conducted on two wildly used benchmark datasets CNN/Daily Mail and BigPatent. The results have shown the superiority of ReSyM by comparing it with the state-of-the-art baselines in terms of various evaluation metrics.


title: Thermodynamic and Scaling Limits of the non-Gaussian Membrane Model

abstract: We characterize the behavior of a random discrete interface $\phi$ on $[-L,L]^d \cap \mathbb{Z}^d$ with energy $\sum V(\Delta \phi(x))$ as $L \to \infty$, where $\Delta$ is the discrete Laplacian and $V$ is a uniformly convex, symmetric, and smooth potential. The interface $\phi$ is called the non-Gaussian membrane model. By analyzing the Helffer-Sj\"ostrand representation associated to $\Delta \phi$, we provide a unified approach to continuous scaling limits of the rescaled and interpolated interface in dimensions $d=2,3$, Gaussian approximation in negative regularity spaces for all $d \geq 2$, and the infinite volume limit in $d \geq 5$. Our results generalize some of those of arXiv:1801.05663.


title: Cartan uniqueness theorem on nonopen sets

abstract: Cartan's uniqueness theorem does not hold in general for CR mappings, but it does hold under certain conditions guaranteeing extendibility of CR functions to a fixed neighborhood. These conditions can be defined naturally for a wide class of sets such as local real-analytic subvarieties or subanalytic sets, not just submanifolds. Suppose that $V$ is a locally connected and locally closed subset of ${\mathbb{C}}^n$ such that the hull constructed by contracting analytic discs close to arbitrarily small neighborhoods of a point always contains the point in the interior. Then restrictions of holomorphic functions uniquely extend to a fixed neighborhood of the point. Using this extension, we obtain a version of Cartan's uniqueness theorem for such sets. When $V$ is a real-analytic subvariety, we can generalize the concept of infinitesimal CR automorphism and also prove an analogue of the theorem. As an application of these two results we show that, for circular subvarieties, the only automorphisms, CR or infinitesimal, are linear.


title: Real-time SIL Emulation Architecture for Cooperative Automated Vehicles

abstract: The development of safety applications for Connected Automated Vehicles requires testing in many different scenarios. However, the recreation of test scenarios for evaluating safety applications is a very challenging task. This is mainly due to the randomness in communication, difficulty in recreating vehicle movements precisely, and safety concerns for certain scenarios. We propose to develop a standalone Remote Vehicle Emulator that can reproduce V2V messages of remote vehicles from simulations or previous tests. This is expected to accelerate the development cycle significantly. Remote Vehicle Emulator is a unique and easily configurable emulation cum simulation setup to allow Software in the Loop (SIL) testing of connected vehicle applications realistically and safely. It will help in tailoring numerous test scenarios, expediting algorithm development and validation, and increasing the probability of finding failure modes. This, in turn, will help improve the quality of safety applications while saving testing time and reducing cost.


title: Minimal embedding of the Standard Model into intersecting D-brane configurations with a bulk leptonic $U(1)$

abstract: It has been recently shown that the discrepancy between the theoretical and experimental values of the anomalous magnetic moment of the muon can be fully accommodated by considering the contribution of few Kaluza-Klein (KK) states of the gauged lepton number with masses lighter than the LEP energy, consistently with present experimental limits. In this article, we construct the minimal embedding of the Standard Model (SM) into D-brane configurations with a gauged lepton number. In order to give rise to such KK modes, the lepton number gauge boson must live on an abelian $U(1)_L$ brane extended along at least one "large" extra dimension in the bulk, with a compactification scale $M_L\sim\mathcal{O}(10-10^2~{\rm GeV})$ for a string scale $M_s\sim 10~{\rm TeV}$. As a consequence, $U(1)_L$ cannot participate to the hypercharge linear combination. We show that the minimal realisation of this framework contains five stacks of branes: the SM color $U(3)_c$, weak $U(2)_w$ and abelian $U(1)$ stacks extended effectively only in four dimensions, the bulk $U(1)_L$, as well as a fifth $U(1)^{'}$ brane. With these five abelian factors, one finds besides the hypercharge a second anomaly-free linear combination which does not couple to the SM spectrum, both in the non-supersymmetric case as well as in the minimal supersymmetric extension of the model. It is also shown how the right-handed neutrino can be implemented in the spectrum, and how fermions arising from the two non-SM branes and coupled to the SM through the $U(1)_L$ KK modes can provide Dark Matter candidates. Finally, the possibility of breaking Lepton Flavour Universality is studied by replacing $U(1)_L$ with a brane gauging only the muonic lepton number, avoiding most experimental constraints and enlarging the parameter space for explaining the discrepancy on the muon magnetic moment.


title: A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems

abstract: The increasing prevalence of security attacks on software-intensive systems calls for new, effective methods for detecting and responding to these attacks. As one promising approach, game theory provides analytical tools for modeling the interaction between the system and the adversarial environment and designing reliable defense. In this paper, we propose an approach for securing software-intensive systems using a rigorous game-theoretical framework. First, a self-adaptation framework is deployed on a component-based software intensive system, which periodically monitors the system for anomalous behaviors. A learning-based method is proposed to detect possible on-going attacks on the system components and predict potential threats to components. Then, an algorithm is designed to automatically build a \emph{Bayesian game} based on the system architecture (of which some components might have been compromised) once an attack is detected, in which the system components are modeled as independent players in the game. Finally, an optimal defensive policy is computed by solving the Bayesian game to achieve the best system utility, which amounts to minimizing the impact of the attack. We conduct two sets of experiments on two general benchmark tasks for security domain. Moreover, we systematically present a case study on a real-world water treatment testbed, i.e. the Secure Water Treatment System. Experiment results show the applicability and the effectiveness of our approach.


title: Mitigating Channel-wise Noise for Single Image Super Resolution

abstract: In practice, images can contain different amounts of noise for different color channels, which is not acknowledged by existing super-resolution approaches. In this paper, we propose to super-resolve noisy color images by considering the color channels jointly. Noise statistics are blindly estimated from the input low-resolution image and are used to assign different weights to different color channels in the data cost. Implicit low-rank structure of visual data is enforced via nuclear norm minimization in association with adaptive weights, which is added as a regularization term to the cost. Additionally, multi-scale details of the image are added to the model through another regularization term that involves projection onto PCA basis, which is constructed using similar patches extracted across different scales of the input image. The results demonstrate the super-resolving capability of the approach in real scenarios.


title: Gaussian Process Regression for Absorption Spectra Analysis of Molecular Dimers

abstract: A common task is the determination of system parameters from spectroscopy, where one compares the experimental spectrum with calculated spectra, that depend on the desired parameters. Here we discuss an approach based on a machine learning technique, where the parameters for the numerical calculations are chosen from Gaussian Process Regression (GPR). This approach does not only quickly converge to an optimal parameter set, but in addition provides information about the complete parameter space, which allows for example to identify extended parameter regions where numerical spectra are consistent with the experimental one. We consider as example dimers of organic molecules and aim at extracting in particular the interaction between the monomers, and their mutual orientation. We find that indeed the GPR gives reliable results which are in agreement with direct calculations of these parameters using quantum chemical methods.


title: On the Eigenstructure of Covariance Matrices with Divergent Spikes

abstract: For a generalization of Johnstone's spiked model, a covariance matrix with eigenvalues all one but $M$ of them, the number of features $N$ comparable to the number of samples $n: N=N(n), M=M(n), \gamma^{-1} \leq \frac{N}{n} \leq \gamma$ where $\gamma \in (0,\infty),$ we obtain consistency rates in the form of CLTs for separated spikes tending to infinity fast enough whenever $M$ grows slightly slower than $n: \lim_{n \to \infty}{\frac{\sqrt{\log{n}}}{\log{\frac{n}{M(n)}}}}=0.$ Our results fill a gap in the existing literature in which the largest range covered for the number of spikes has been $o(n^{1/6})$ and reveal a certain degree of flexibility for the centering in these CLTs inasmuch as it can be empirical, deterministic, or a sum of both. Furthermore, we derive consistency rates of their corresponding empirical eigenvectors to their true counterparts, which turn out to depend on the relative growth of these eigenvalues.


title: Tuning local microstructure of colloidal gels by ultrasound-activated deformable inclusions

abstract: Colloidal gels possess a memory of previous shear events, both steady and oscillatory. This memory, embedded in the microstructure, affects the mechanical response of the gel, and therefore enables precise tuning of the material properties under careful preparation. Here we demonstrate how the dynamics of a deformable inclusion, namely a bubble, can be used to locally tune the microstructure of a colloidal gel. We examine two different phenomena of bubble dynamics that apply a local strain to the surrounding material: dissolution due to mass transfer, with a characteristic strain rate of $10^{-3}$ s$^{-1}$; and volumetric oscillations driven by ultrasound, with a characteristic frequency of $10^4$ s$^{-1}$. We characterise experimentally the microstructure of a model colloidal gel around bubbles in a Hele-Shaw geometry using confocal microscopy and particle tracking. In bubble dissolution experiments, we observe the formation of a pocket of solvent next to the bubble surface, but marginal changes to the microstructure. In experiments with ultrasound-induced bubble oscillations, we observe a striking rearrangement of the gel particles into a microstructure with increased local ordering. High-speed bright-field microscopy reveals the occurrence of both high-frequency bubble oscillations and steady microstreaming flow; both are expected to contribute to the emergence of the local order in the microstructure. These observations open the way to local tuning of colloidal gels based on deformable inclusions controlled by external pressure fields.


title: On elementary, odd, semimagic and other classes of antilattices

abstract: An \emph{antilattice} is an algebraic structure based on the same set of axioms as a lattice except that the two commutativity axioms for $\land$ and $\lor$ are replaced by anticommutative counterparts. In this paper we study certain classes of antilattices, including elementary (no nontrivial subantilattices), odd (no subantilattices of order $2$), simple (no nontrivial congruences) and irreducible (not expressible as a direct product). In the finite case, odd antilattices are the same as Leech's \emph{Latin} antilattices which arise from the construction of semimagic squares from pairs of orthogonal Latin squares.


title: A property of meets in slim semimodular lattices and its application to retracts

abstract: Slim semimodular lattices were introduced by G. Gr\"atzer and E. Knapp in 2007, and they have intensively been studied since then. It is often reasonable to give these lattices by their $\mathcal C_1$-diagrams defined by the author in 2017. We prove that if $x$ and $y$ are incomparable elements in such a lattice $L$, then the interval $[x\wedge y, x]$ is a chain and this chain is of a normal slope in every $\mathcal C_1$-diagram of $L$. Except possibly for $x$, the elements of this chain are meet-reducible. If $A $ and $X$ are subsets of a lattice $K$, then a sublattice $S$ of a lattice $L$ has the absorption property $(K,A ,X)$ if for every embedding $g: K\to L$ such that $g(A)\subseteq S$, we have that $g(X)\subseteq S$. If there is an idempotent endomorphism $f: L\to L$ such that $S=f(L)$, then the sublattice $S$ is a retract of $L$. Applying the above-mentioned property of meets, we present two absorption properties that the retracts of every slim semimodular lattice $L$ have.


title: QCD at high temperature and density: selected highlights

abstract: I review some of the recent progress in QCD at high temperature and density, with a focus on the nature of the high-temperature transition; cold and dense matter; and hadron properties and transport coefficients at high temperature.


title: Rushing and Strolling among Answer Sets -- Navigation Made Easy

abstract: Answer set programming (ASP) is a popular declarative programming paradigm with a wide range of applications in artificial intelligence. Oftentimes, when modeling an AI problem with ASP, and in particular when we are interested beyond simple search for optimal solutions, an actual solution, differences between solutions, or number of solutions of the ASP program matter. For example, when a user aims to identify a specific answer set according to her needs, or requires the total number of diverging solutions to comprehend probabilistic applications such as reasoning in medical domains. Then, there are only certain problem specific and handcrafted encoding techniques available to navigate the solution space of ASP programs, which is oftentimes not enough. In this paper, we propose a formal and general framework for interactive navigation towards desired subsets of answer sets analogous to faceted browsing. Our approach enables the user to explore the solution space by consciously zooming in or out of sub-spaces of solutions at a certain configurable pace. We illustrate that weighted faceted navigation is computationally hard. Finally, we provide an implementation of our approach that demonstrates the feasibility of our framework for incomprehensible solution spaces.


title: Enantiodetection of chiral molecules via two-dimensional spectroscopy

abstract: Enantiodetection of chiral molecules is important to pharmaceutical drug production, chemical reaction control, and biological function designs. Traditional optical methods of enantiodetection rely on the weak magnetic-dipole or electric-quadrupole interactions, and in turn suffer from the weak signal and low sensitivity. We propose a new optical enantiodetection method to determine the enantiomeric excess via two-dimensional (2D) spectroscopy of the chiral mixture driven by three electromagnetic fields. The quantities of left- and right- handed chiral molecules are reflected by the intensities of different peaks on the 2D spectrum, separated by the chirality-dependent frequency shifts resulting from the relative strong electric-dipole interactions between the chiral molecules and the driving fields. Thus, the enantiomeric excess can be determined via the intensity ratio of the peaks for the two enantiomers.


title: An Earth Mover's Distance Based Graph Distance Metric For Financial Statements

abstract: Quantifying the similarity between a group of companies has proven to be useful for several purposes, including company benchmarking, fraud detection, and searching for investment opportunities. This exercise can be done using a variety of data sources, such as company activity data and financial data. However, ledger account data is widely available and is standardized to a large extent. Such ledger accounts within a financial statement can be represented by means of a tree, i.e. a special type of graph, representing both the values of the ledger accounts and the relationships between them. Given their broad availability and rich information content, financial statements form a prime data source based on which company similarities or distances could be computed. In this paper, we present a graph distance metric that enables one to compute the similarity between the financial statements of two companies. We conduct a comprehensive experimental study using real-world financial data to demonstrate the usefulness of our proposed distance metric. The experimental results show promising results on a number of use cases. This method may be useful for investors looking for investment opportunities, government officials attempting to identify fraudulent companies, and accountants looking to benchmark a group of companies based on their financial statements.


title: Learning to Deblur and Rotate Motion-Blurred Faces

abstract: We propose a solution to the novel task of rendering sharp videos from new viewpoints from a single motion-blurred image of a face. Our method handles the complexity of face blur by implicitly learning the geometry and motion of faces through the joint training on three large datasets: FFHQ and 300VW, which are publicly available, and a new Bern Multi-View Face Dataset (BMFD) that we built. The first two datasets provide a large variety of faces and allow our model to generalize better. BMFD instead allows us to introduce multi-view constraints, which are crucial to synthesizing sharp videos from a new camera view. It consists of high frame rate synchronized videos from multiple views of several subjects displaying a wide range of facial expressions. We use the high frame rate videos to simulate realistic motion blur through averaging. Thanks to this dataset, we train a neural network to reconstruct a 3D video representation from a single image and the corresponding face gaze. We then provide a camera viewpoint relative to the estimated gaze and the blurry image as input to an encoder-decoder network to generate a video of sharp frames with a novel camera viewpoint. We demonstrate our approach on test subjects of our multi-view dataset and VIDTIMIT.


title: Modified Yang-Lee theory for nonlocal gravitational potential and their phase transition

abstract: In this paper, we describe the extension to study the thermodynamics of the structure formation in the large scale Universe in the nonlocal gravity formalism using standard statistical mechanics. From the derivation of the grand partition function in a modified version of the Yang-Lee theory, we obtained the corresponding thermodynamics properties that can be in consistency with a Bose-Einstein dark matter framework and derive its gravitational phase transition.


title: The Hamilton-Jacobi analysis for higher-order Chern-Simons gravity

abstract: The Hamilton-Jacobi [$HJ$] analysis for higher-order Chern-Simons gravity is performed. The complete set of $HJ$ Hamiltonians are identified and a fundamental $HJ$ differential is constructed, from which the characteristic equations are obtained. In addition, the symmetries of the theory are identified and the obtained results are compared with other approaches reported in the literature.


title: Meta-Analysis of Randomized Experiments with Applications to Heavy-Tailed Response Data

abstract: A central obstacle in the objective assessment of treatment effect (TE) estimators in randomized control trials (RCTs) is the lack of ground truth (or validation set) to test their performance. In this paper, we propose a novel cross-validation-like methodology to address this challenge. The key insight of our procedure is that the noisy (but unbiased) difference-of-means estimate can be used as a ground truth ``label" on a portion of the RCT, to test the performance of an estimator trained on the other portion. We combine this insight with an aggregation scheme, which borrows statistical strength across a large collection of RCTs, to present an end-to-end methodology for judging an estimator's ability to recover the underlying treatment effect as well as produce an optimal treatment "roll out" policy. We evaluate our methodology across 699 RCTs implemented in the Amazon supply chain. In this heavy-tailed setting, our methodology suggests that procedures that aggressively downweight or truncate large values, while introducing bias, lower the variance enough to ensure that the treatment effect is more accurately estimated.