title: Edge Reconstruction and Emergent Neutral Modes in Integer and Fractional Quantum Hall Phases

abstract: This paper comprises a review of our recent works on fractional chiral modes that emerge due to edge reconstruction in integer and fractional quantum Hall (QH) phases. The new part added is an analysis of edge reconstruction of the $\nu = 2/5$ phase. QH states are topological phases of matter featuring chiral gapless modes at the edge. These edge modes may propagate downstream or upstream, and may support either charge or charge-neutral excitations. From topological considerations, particle-like QH states are expected to support only downstream charge modes. However the interplay between the electronic repulsion and the boundary confining potential may drive certain quantum phase transitions (called reconstructions) at the edge, which are associated to the nucleation of additional pairs of counter-propagating modes. Employing variational methods, here we study edge reconstruction in the prototypical particle-like phases at $\nu = 1, 1/3$ and $2/5$ as a function of the slope of the confining potential. Our analysis shows that subsequent renormalization of the edge modes, driven by disorder-induced tunnelling and intermode interactions, may lead to the emergence of upstream neutral modes. These predictions may be tested in suitably designed transport experiments. Our results are also consistent with previous observations of upstream neutral modes in these QH phases, and could explain the absence of anyonic interference in electronic Mach-Zehnder setups.


title: Unsupervised Single-shot Depth Estimation using Perceptual Reconstruction

abstract: Real-time estimation of actual object depth is an essential module for various autonomous system tasks such as 3D reconstruction, scene understanding and condition assessment. During the last decade of machine learning, extensive deployment of deep learning methods to computer vision tasks has yielded approaches that succeed in achieving realistic depth synthesis out of a simple RGB modality. Most of these models are based on paired RGB-depth data and/or the availability of video sequences and stereo images. The lack of sequences, stereo data and RGB-depth pairs makes depth estimation a fully unsupervised single-image transfer problem that has barely been explored so far. This study builds on recent advances in the field of generative neural networks in order to establish fully unsupervised single-shot depth estimation. Two generators for RGB-to-depth and depth-to-RGB transfer are implemented and simultaneously optimized using the Wasserstein-1 distance, a novel perceptual reconstruction term and hand-crafted image filters. We comprehensively evaluate the models using industrial surface depth data as well as the Texas 3D Face Recognition Database, the CelebAMask-HQ database of human portraits and the SURREAL dataset that records body depth. For each evaluation dataset the proposed method shows a significant increase in depth accuracy compared to state-of-the-art single-image transfer methods.


title: Modelling Active Non-Markovian Oscillations

abstract: Modelling noisy oscillations of active systems is one of the current challenges in physics and biology. Because the physical mechanisms of such processes are often difficult to identify, we propose a linear stochastic model driven by a non-Markovian bistable noise that is capable of generating self-sustained periodic oscillation. We derive analytical predictions for most relevant dynamical and thermodynamic properties of the model. This minimal model turns out to describe accurately bistable-like oscillatory motion of hair bundles in bullfrog sacculus, extracted from experimental data. Based on and in agreement with these data, we estimate the power required to sustain such active oscillations to be of the order of one hundred $k_B T$ per oscillation cycle.


title: A critical analysis on the sensitivity enhancement of surface plasmon resonance sensors with graphene

abstract: The use of graphene in surface plasmon resonance sensors, covering a metallic (plasmonic) film, has a number of demonstrated advantages, such protecting the film against corrosion/oxidation and facilitating the introduction of functional groups for selective sensing. Recently, a number of works have claimed that few-layer graphene can also increase the sensitivity of the sensor. However, graphene was treated as an isotropic thin film, with an out-of-plane refractive index that is identical to the in-plane index. Here, we critically examine the role of single and few layers of graphene in the sensitivity enhancement of surface plasmon resonance sensors. Graphene is introduced over the metallic film via three different descriptions: as an atomic-thick two-dimensional sheet, as a thin effective isotropic material (same conductivity in the three coordinate directions), and as an non-isotropic layer (different conductivity in the perpendicular direction to the two-dimensional plane). We find that only the isotropic layer model, which is known to be incorrect for the optically modelling of graphene, provides sizeable sensitivity increases, while the other, more accurate, models lead to negligible contribution to the sensitivity.


title: Generalized statistics: applications to data inverse problems with outlier-resistance

abstract: The conventional approach to data-driven inversion framework is based on Gaussian statistics that presents serious difficulties, especially in the presence of outliers in the measurements. In this work, we present maximum likelihood estimators associated with generalized Gaussian distributions in the context of R\'enyi, Tsallis and Kaniadakis statistics. In this regard, we analytically analyse the outlier-resistance of each proposal through the so-called influence function. In this way, we formulate inverse problems by constructing objective functions linked to the maximum likelihood estimators. To demonstrate the robustness of the generalized methodologies, we consider an important geophysical inverse problem with high noisy data with spikes. The results reveal that the best data inversion performance occurs when the entropic index from each generalized statistic is associated with objective functions proportional to the inverse of the error amplitude. We argue that in such a limit the three approaches are resistant to outliers and are also equivalent, which suggests a lower computational cost for the inversion process due to the reduction of numerical simulations to be performed and the fast convergence of the optimization process.

categories: stat.ME cond-mat.stat-mech math.ST physics.comp-ph physics.geo-ph stat.TH


title: Current rectification and ionic selectivity of alpha-hemolysin: Coarse-Grained Molecular Dynamics simulations

abstract: In order to understand the physical processes of nanopore experiments at the molecular level, microscopic information from molecular dynamics is greatly needed. Coarse-grained models are a good alternative to classical all-atom models since they allow longer simulations and application of lower electric potentials, closer to the experimental ones. We performed coarse-grained molecular dynamics of the ionic transport through the $\alpha$-hemolysin protein nanopore, inserted into a lipid bilayer surrounded by solvent and ions. For this purpose, we used the MARTINI coarse-grained force field and its polarizable water solvent (PW). Moreover, the electric potential difference applied experimentally was mimicked by the application of an electric field to the system. We present, in this study, the results of 1.5 microsecond long-molecular dynamics simulations of twelve different systems for which different charged amino acids were neutralized, each of them in the presence of nine different electric fields ranging between +/- 0.04 V/nm (a total of around 100 simulations). We were able to observe several specific features of this pore, current asymmetry and anion selectivity, in agreement with previous studies and experiments, and identified the charged amino acids responsible for these current behaviors, therefore validating our coarse-grain approach to study ionic transport through nanopores. We also propose a microscopic explanation of these ionic current features using ionic density maps.


title: Safe Policy Improvement Approaches on Discrete Markov Decision Processes

abstract: Safe Policy Improvement (SPI) aims at provable guarantees that a learned policy is at least approximately as good as a given baseline policy. Building on SPI with Soft Baseline Bootstrapping (Soft-SPIBB) by Nadjahi et al., we identify theoretical issues in their approach, provide a corrected theory, and derive a new algorithm that is provably safe on finite Markov Decision Processes (MDP). Additionally, we provide a heuristic algorithm that exhibits the best performance among many state of the art SPI algorithms on two different benchmarks. Furthermore, we introduce a taxonomy of SPI algorithms and empirically show an interesting property of two classes of SPI algorithms: while the mean performance of algorithms that incorporate the uncertainty as a penalty on the action-value is higher, actively restricting the set of policies more consistently produces good policies and is, thus, safer.


title: Generative Coarse-Graining of Molecular Conformations

abstract: Coarse-graining (CG) of molecular simulations simplifies the particle representation by grouping selected atoms into pseudo-beads and drastically accelerates simulation. However, such CG procedure induces information losses, which makes accurate backmapping, i.e., restoring fine-grained (FG) coordinates from CG coordinates, a long-standing challenge. Inspired by the recent progress in generative models and equivariant networks, we propose a novel model that rigorously embeds the vital probabilistic nature and geometric consistency requirements of the backmapping transformation. Our model encodes the FG uncertainties into an invariant latent space and decodes them back to FG geometries via equivariant convolutions. To standardize the evaluation of this domain, we provide three comprehensive benchmarks based on molecular dynamics trajectories. Experiments show that our approach always recovers more realistic structures and outperforms existing data-driven methods with a significant margin.


title: Detecting Discussions of Technical Debt

abstract: Technical debt (TD) refers to suboptimal choices during software development that achieve short-term goals at the expense of long-term quality. Although developers often informally discuss TD, the concept has not yet crystalized into a consistently applied label when describing issues in most repositories. We apply machine learning to understand developer insights into TD when discussing tickets in an issue tracker. We generate expert labels that indicate whether discussion of TD occurs in the free text associated with each ticket in a sample of more than 1,900 tickets in the Chromium issue tracker. We then use these labels to train a classifier that estimates labels for the remaining 475,000 tickets. We conclude that discussion of TD appears in about 16% of the tracked Chromium issues. If we can effectively classify TD-related issues, we can focus on what practices could be most useful for their timely resolution.


title: Compositionality-Aware Graph2Seq Learning

abstract: Graphs are a highly expressive data structure, but it is often difficult for humans to find patterns from a complex graph. Hence, generating human-interpretable sequences from graphs have gained interest, called graph2seq learning. It is expected that the compositionality in a graph can be associated to the compositionality in the output sequence in many graph2seq tasks. Therefore, applying compositionality-aware GNN architecture would improve the model performance. In this study, we adopt the multi-level attention pooling (MLAP) architecture, that can aggregate graph representations from multiple levels of information localities. As a real-world example, we take up the extreme source code summarization task, where a model estimate the name of a program function from its source code. We demonstrate that the model having the MLAP architecture outperform the previous state-of-the-art model with more than seven times fewer parameters than it.


title: Plug & Play Attacks: Towards Robust and Flexible Model Inversion Attacks

abstract: Model inversion attacks (MIAs) aim to create synthetic images that reflect the class-wise characteristics from a target classifier's private training data by exploiting the model's learned knowledge. Previous research has developed generative MIAs that use generative adversarial networks (GANs) as image priors tailored to a specific target model. This makes the attacks time- and resource-consuming, inflexible, and susceptible to distributional shifts between datasets. To overcome these drawbacks, we present Plug & Play Attacks, which relax the dependency between the target model and image prior, and enable the use of a single GAN to attack a wide range of targets, requiring only minor adjustments to the attack. Moreover, we show that powerful MIAs are possible even with publicly available pre-trained GANs and under strong distributional shifts, for which previous approaches fail to produce meaningful results. Our extensive evaluation confirms the improved robustness and flexibility of Plug & Play Attacks and their ability to create high-quality images revealing sensitive class characteristics.


title: Euclidean thermal correlation functions in local QFT

abstract: In this work we outline the general analytic characteristics satisfied by scalar correlation functions at finite temperature in local quantum field theory. We demonstrate that the locality of the fields in particular imposes significant constraints on the spectral structure of the theory, and that this enables the non-perturbative effects experienced by thermal particle states to be directly calculated from Euclidean correlation functions, avoiding the inverse problem.


title: Cause-Effect Preservation and Classification using Neurochaos Learning

abstract: Discovering cause-effect from observational data is an important but challenging problem in science and engineering. In this work, a recently proposed brain inspired learning algorithm namely-\emph{Neurochaos Learning} (NL) is used for the classification of cause-effect from simulated data. The data instances used are generated from coupled AR processes, coupled 1D chaotic skew tent maps, coupled 1D chaotic logistic maps and a real-world prey-predator system. The proposed method consistently outperforms a five layer Deep Neural Network architecture for coupling coefficient values ranging from $0.1$ to $0.7$. Further, we investigate the preservation of causality in the feature extracted space of NL using Granger Causality (GC) for coupled AR processes and and Compression-Complexity Causality (CCC) for coupled chaotic systems and real-world prey-predator dataset. This ability of NL to preserve causality under a chaotic transformation and successfully classify cause and effect time series (including a transfer learning scenario) is highly desirable in causal machine learning applications.


title: Itinerant ferromagnetism in a spin-fermion model for diluted spin systems

abstract: We investigate the itinerant ferromagnetism using a diluted spin-fermion model, derived from a repulsive Hubbard model, where itinerant fermions are coupled antiferromagnetically to auxiliary fields in a three-dimensional simple cubic lattice. We focus, in particular, on understanding the spin-dependent transport properties of the itinerant fermions in the impurity band by taking positional disorder of the auxiliary fields into account. For on-site repulsion $U$ $\sim$ bandwidth the density of the itinerant carriers confined to the impurity band, play a key role in determining the kinetic energy of the system and consequently the carrier spin polarization. Our semi-classical Monte Carlo calculations show that the ferromagnetic transition temperature of the carrier spins indeed shows an optimization behavior with the carrier density. We calculate the transport properties in details to establish a one-to-one correspondence between the magnetic and transport properties of the carriers. Our results obtained beyond the perturbative regime are significant for understanding the ferromagnetism in diluted magnetic semiconductors.


title: Signaling in Posted Price Auctions

abstract: We study single-item single-unit Bayesian posted price auctions, where buyers arrive sequentially and their valuations for the item being sold depend on a random, unknown state of nature. The seller has complete knowledge of the actual state and can send signals to the buyers so as to disclose information about it. For instance, the state of nature may reflect the condition and/or some particular features of the item, which are known to the seller only. The problem faced by the seller is about how to partially disclose information about the state so as to maximize revenue. Unlike classical signaling problems, in this setting, the seller must also correlate the signals being sent to the buyers with some price proposals for them. This introduces additional challenges compared to standard settings. We consider two cases: the one where the seller can only send signals publicly visible to all buyers, and the case in which the seller can privately send a different signal to each buyer. As a first step, we prove that, in both settings, the problem of maximizing the seller's revenue does not admit an FPTAS unless P=NP, even for basic instances with a single buyer. As a result, in the rest of the paper, we focus on designing PTASs. In order to do so, we first introduce a unifying framework encompassing both public and private signaling, whose core result is a decomposition lemma that allows focusing on a finite set of possible buyers' posteriors. This forms the basis on which our PTASs are developed. In particular, in the public signaling setting, our PTAS employs some ad hoc techniques based on linear programming, while our PTAS for the private setting relies on the ellipsoid method to solve an exponentially-sized LP in polynomial time. In the latter case, we need a custom approximate separation oracle, which we implement with a dynamic programming approach.


title: A tomographic workflow to enable deep learning for X-ray based foreign object detection

abstract: Detection of unwanted (`foreign') objects within products is a common procedure in many branches of industry for maintaining production quality. X-ray imaging is a fast, non-invasive and widely applicable method for foreign object detection. Deep learning has recently emerged as a powerful approach for recognizing patterns in radiographs (i.e., X-ray images), enabling automated X-ray based foreign object detection. However, these methods require a large number of training examples and manual annotation of these examples is a subjective and laborious task. In this work, we propose a Computed Tomography (CT) based method for producing training data for supervised learning of foreign object detection, with minimal labour requirements. In our approach, a few representative objects are CT scanned and reconstructed in 3D. The radiographs that have been acquired as part of the CT-scan data serve as input for the machine learning method. High-quality ground truth locations of the foreign objects are obtained through accurate 3D reconstructions and segmentations. Using these segmented volumes, corresponding 2D segmentations are obtained by creating virtual projections. We outline the benefits of objectively and reproducibly generating training data in this way compared to conventional radiograph annotation. In addition, we show how the accuracy depends on the number of objects used for the CT reconstructions. The results show that in this workflow generally only a relatively small number of representative objects (i.e., fewer than 10) are needed to achieve adequate detection performance in an industrial setting. Moreover, for real experimental data we show that the workflow leads to higher foreign object detection accuracies than with standard radiograph annotation.


title: Machine learning-based method of calorimeter saturation correction for helium flux analysis with DAMPE experiment

abstract: DAMPE is a space-borne experiment for the measurement of the cosmic-ray fluxes at energies up to around 100 TeV per nucleon. At energies above several tens of TeV, the electronics of DAMPE calorimeter would saturate, leaving certain bars with no energy recorded. In the present work we discuss the application of machine learning techniques for the treatment of DAMPE data, to compensate the calorimeter energy lost by saturation.


title: ERASE: Energy Efficient Task Mapping and Resource Management for Work Stealing Runtimes

abstract: Parallel applications often rely on work stealing schedulers in combination with fine-grained tasking to achieve high performance and scalability. However, reducing the total energy consumption in the context of work stealing runtimes is still challenging, particularly when using asymmetric architectures with different types of CPU cores. A common approach for energy savings involves dynamic voltage and frequency scaling (DVFS) wherein throttling is carried out based on factors like task parallelism, stealing relations and task criticality. This paper makes the following observations: (i) leveraging DVFS on a per-task basis is impractical when using fine-grained tasking and in environments with cluster/chip-level DVFS; (ii) task moldability, wherein a single task can execute on multiple threads/cores via work-sharing, can help to reduce energy consumption; and (iii) mismatch between tasks and assigned resources (i.e.~core type and number of cores) can detrimentally impact energy consumption. In this paper, we propose ERASE (EneRgy Aware SchedulEr), an intra-application task scheduler on top of work stealing runtimes that aims to reduce the total energy consumption of parallel applications. It achieves energy savings by guiding scheduling decisions based on per-task energy consumption predictions of different resource configurations. In addition, ERASE is capable of adapting to both given static frequency settings and externally controlled DVFS. Overall, ERASE achieves up to 31% energy savings and improves performance by 44% on average, compared to the state-of-the-art DVFS-based schedulers.


title: Nothing to see here: Failed supernovae are faint or rare

abstract: The absence of Type IIP core-collapse supernovae arising from progenitors above 17 solar masses suggests the existence of another evolutionary path by which massive stars end their lives. The direct collapse of a stellar core to a black hole without the production of a bright, explosive transient is expected to produce a long-lived, dim, red transient known as a failed supernova. Despite the detection of a number of candidates for disappearing massive stars in recent years, conclusive observational evidence for failed supernovae remains elusive. A custom-built pipeline designed for the detection of faint transients is used to re-analyse 10 years of observations of 231 nearby galaxies from the PTF/ZTF surveys. This analysis recovers known supernovae, and yields a number of interesting transients. However, none of these are consistent with a failed supernova. Through Monte Carlo tests the recovery efficiency of our pipeline is quantified. By assuming failed supernovae occur as a Poissonian process with zero detections in the data set, 95 per cent upper limits to the rate of failed supernovae are calculated as a function of failed supernova absolute magnitude. We estimate failed supernovae to be less than 0.61, 0.33, 0.26, or 0.23 of the core-collapse SN rate for absolute magnitudes of $-11$, $-12$, $-13$, and $-14$ respectively. Finally, we show that if they exist, the Vera C. Rubin Observatory will find 1.7 - 3.7 failed SNe per year for an absolute bolometric luminosity of $\sim 6 \times 10^{39} \textrm{ erg s}^{-1}$ out to distances of 33 - 43 Mpc, depending on their assumed spectral energy distribution.


title: One-loop QCD helicity amplitudes for $pp\to t\bar{t} j$ to $O(\epsilon^2)$

abstract: We compute helicity amplitudes for the one-loop QCD corrections to top-quark pair production analytically in terms of a set of uniformly transcendental master integrals. We provide corrections up to $O(\epsilon^2)$ in the dimensional regulator for the first time which are relevant at NNLO. Four independent pentagon integral topologies appear in the complete description of the colour structure for which we provide numerical solutions using canonical form differential equations and the method of generalised power series expansions. Analytic forms of the boundary values are obtained in all cases except one where we find a one-dimensional integral representation.


title: $f(T,B)$ gravity in a Friedmann-Lema\^{\i}tre-Robertson-Walker universe with nonzero spatial curvature

abstract: We investigate exact solutions and the asymptotic dynamics for the Friedmann-Lema\^{\i}tre-Robertson-Walker universe with nonzero spatial curvature in the fourth-order modified teleparallel gravitational theory known as $f\left( T, B\right) $ theory. We show that the field equations admit a minisuperspace description, and they can reproduce any exact form of the scale factor. Moreover, we calculate the equilibrium points and analyze their stability. We show that Milne and Milne-like solutions are supported, and the de Sitter universe is provided. To complete our analysis, we use Poincar\'e variables to investigate the dynamics at infinity.


title: Characteristic matrix functions for delay differential equations with symmetry

abstract: A characteristic matrix function captures the spectral information of a bounded linear operator in a matrix-valued function. In this article, we consider a delay differential equation with one discrete time delay and assume this equation is equivariant with respect to a compact symmetry group. Under this assumption, the delay differential equation can have discrete wave solutions, i.e. periodic solutions that have a discrete group of spatio-temporal symmetries. We show that if a discrete wave solution has a period that is rationally related to the time delay, then we can determine its stability using a characteristic matrix function. The proof relies on equivariant Floquet theory and results by Kaashoek and Verduyn Lunel on characteristic matrix functions for classes of compact operators. We discuss applications of our result in the context of delayed feedback stabilization of periodic orbits.


title: Kernelized Concept Erasure

abstract: The representation space of neural models for textual data emerges in an unsupervised manner during training. Understanding how those representations encode human-interpretable concepts is a fundamental problem. One prominent approach for the identification of concepts in neural representations is searching for a linear subspace whose erasure prevents the prediction of the concept from the representations. However, while many linear erasure algorithms are tractable and interpretable, neural networks do not necessarily represent concepts in a linear manner. To identify non-linearly encoded concepts, we propose a kernelization of a linear minimax game for concept erasure. We demonstrate that it is possible to prevent specific non-linear adversaries from predicting the concept. However, the protection does not transfer to different nonlinear adversaries. Therefore, exhaustively erasing a non-linearly encoded concept remains an open problem.


title: Stochastic Chaining and Strengthened Information-Theoretic Generalization Bounds

abstract: We propose a new approach to apply the chaining technique in conjunction with information-theoretic measures to bound the generalization error of machine learning algorithms. Different from the deterministic chaining approach based on hierarchical partitions of a metric space, previously proposed by Asadi et al., we propose a stochastic chaining approach, which replaces the hierarchical partitions with an abstracted Markovian model borrowed from successive refinement source coding. This approach has three benefits over deterministic chaining: 1) the metric space is not necessarily bounded, 2) facilitation of subsequent analysis to yield more explicit bound, and 3) further opportunity to optimize the bound by removing the geometric rigidity of the partitions. The proposed approach includes the traditional chaining as a special case, and can therefore also utilize any deterministic chaining construction. We illustrate these benefits using the problem of estimating Gaussian mean and that of phase retrieval. For the former, we derive a bound that provides an order-wise improvement over previous results, and for the latter we provide a stochastic chain that allows optimization over the chaining parameter.


title: Moment-based multi-resolution HWENO scheme for hyperbolic conservation laws

abstract: In this paper, a high-order moment-based multi-resolution Hermite weighted essentially non-oscillatory (HWENO) scheme is designed for hyperbolic conservation laws. The main idea of this scheme is derived from our previous work [J. Comput. Phys., 446 (2021) 110653], in which the integral averages of the function and its first order derivative are used to reconstruct both the function and its first order derivative values at the boundaries. However, in this paper, only the function values at the Gauss-Lobatto points in the one or two dimensional case need to be reconstructed by using the information of the zeroth and first order moments. In addition, an extra modification procedure is used to modify those first order moments in the troubled-cells, which leads to an improvement of stability and an enhancement of resolution near discontinuities. To obtain the same order of accuracy, the size of the stencil required by this moment-based multi-resolution HWENO scheme is still the same as the general HWENO scheme and is more compact than the general WENO scheme. Moreover, the linear weights can also be any positive numbers as long as their sum equals one and the CFL number can still be 0.6 whether for the one or two dimensional case. Extensive numerical examples are given to demonstrate the stability and resolution of such moment-based multi-resolution HWENO scheme.


title: Perfectly-Secure Synchronous MPC with Asynchronous Fallback Guarantees

abstract: Secure multi-party computation (MPC) is a fundamental problem in secure distributed computing. An MPC protocol allows a set of $n$ mutually distrusting parties to carry out any joint computation of their private inputs, without disclosing any additional information about their inputs. MPC with information-theoretic security provides the strongest security guarantees and remains secure even against computationally unbounded adversaries. Perfectly-secure MPC protocols is a class of information-theoretically secure MPC protocols, which provides all the security guarantees in an error-free fashion. The focus of this work is perfectly-secure MPC. Known protocols are designed assuming either a synchronous or asynchronous communication network. It is well known that perfectly-secure synchronous MPC protocol is possible as long as adversary can corrupt any $t_s < n/3$ parties. On the other hand, perfectly-secure asynchronous MPC protocol can tolerate up to $t_a < n/4$ corrupt parties. A natural question is does there exist a single MPC protocol for the setting where the parties are not aware of the exact network type and which can tolerate up to $t_s < n/3$ corruptions in a synchronous network and up to $t_a < n/4$ corruptions in an asynchronous network. We design such a best-of-both-worlds perfectly-secure MPC protocol, provided $3t_s + t_a < n$ holds. For designing our protocol, we design two important building blocks, which are of independent interest. The first building block is a best-of-both-worlds Byzantine agreement (BA) protocol tolerating $t < n/3$ corruptions and which remains secure, both in a synchronous as well as asynchronous network. The second building block is a polynomial-based best-of-both-worlds verifiable secret-sharing (VSS) protocol, which can tolerate up to $t_s$ and $t_a$ corruptions in a synchronous and in an asynchronous network respectively.


title: Measure Estimation in the Barycentric Coding Model

abstract: This paper considers the problem of measure estimation under the barycentric coding model (BCM), in which an unknown measure is assumed to belong to the set of Wasserstein-2 barycenters of a finite set of known measures. Estimating a measure under this model is equivalent to estimating the unknown barycentric coordinates. We provide novel geometrical, statistical, and computational insights for measure estimation under the BCM, consisting of three main results. Our first main result leverages the Riemannian geometry of Wasserstein-2 space to provide a procedure for recovering the barycentric coordinates as the solution to a quadratic optimization problem assuming access to the true reference measures. The essential geometric insight is that the parameters of this quadratic problem are determined by inner products between the optimal displacement maps from the given measure to the reference measures defining the BCM. Our second main result then establishes an algorithm for solving for the coordinates in the BCM when all the measures are observed empirically via i.i.d. samples. We prove precise rates of convergence for this algorithm -- determined by the smoothness of the underlying measures and their dimensionality -- thereby guaranteeing its statistical consistency. Finally, we demonstrate the utility of the BCM and associated estimation procedures in three application areas: (i) covariance estimation for Gaussian measures; (ii) image processing; and (iii) natural language processing.

categories: stat.ML cs.DS cs.LG math.PR math.ST stat.TH


title: Self-similar measures with unusual local dimension properties

abstract: Let $\mu$ be a self-similar measure satisfying the finite type condition. It is known that the set of attainable local dimensions for such a measure is a union of disjoint intervals, where some intervals may be degenerate points. Despite this, it has not been shown if this full complexity of attainable local dimensions is achievable. In this paper we give two different constructions. The first is a measure $\mu$ where the set of all attainable local dimensions is the union of an interval union and an arbitrary number of disjoint points. The second is a measure $\mu$ where the set of all attainable local dimensions is the union of an arbitrary number of disjoint intervals. As an application to these construction, we study the multi-fractal spectrum $f_\mu(\alpha)$ and the $L^q$-spectrum $\tau_\mu(q)$ of these measures. We given an example of a $\mu$ where $f_\mu(\alpha)$ is not concave, and where $\tau_\mu(q)$ has two points of non-differentiability.


title: New tool for kinematic regime estimation in semi-inclusive deep-inelastic scattering

abstract: We introduce a new phenomenological tool based on momentum region indicators to guide the analysis and interpretation of semi-inclusive deep-inelastic scattering measurements. The new tool, referred to as "affinity", is devised to help visualize and quantify the proximity of any experimental kinematic bin to a particular hadron production region, such as that associated with transverse momentum dependent factorization. We apply the affinity estimator to existing HERMES and COMPASS data and expected data from Jefferson Lab and the future Electron-Ion Collider. We also provide an interactive notebook based on Machine Learning for fast evaluation of affinity.


title: Limitation of Characterizing Implicit Regularization by Data-independent Functions

abstract: In recent years, understanding the implicit regularization of neural networks (NNs) has become a central task in deep learning theory. However, implicit regularization is itself not completely defined and well understood. In this work, we attempt to mathematically define and study implicit regularization. Importantly, we explore the limitations of a common approach to characterizing implicit regularization using data-independent functions. We propose two dynamical mechanisms, i.e., Two-point and One-point Overlapping mechanisms, based on which we provide two recipes for producing classes of one-hidden-neuron NNs that provably cannot be fully characterized by a type of or all data-independent functions. Following the previous works, our results further emphasize the profound data dependency of implicit regularization in general, inspiring us to study in detail the data dependency of NN implicit regularization in the future.


title: Unveiling the interaction mechanisms of electron and X-ray radiation with halide perovskite semiconductors using scanning nano-probe diffraction

abstract: The interaction of high-energy electrons and X-ray photons with soft semiconductors such as halide perovskites is essential for the characterisation and understanding of these optoelectronic materials. Using nano-probe diffraction techniques, which can investigate physical properties on the nanoscale, we perform studies of the interaction of electron and X-ray radiation with state-of-the-art (FA$_{0.79}$MA$_{0.16}$Cs$_{0.05}$)Pb(I$_{0.83}$Br$_{0.17}$)$_3$ hybrid halide perovskite films (FA, formamidinium; MA, methylammonium). We track the changes in the local crystal structure as a function of fluence using scanning electron diffraction and synchrotron nano X-ray diffraction techniques. We identify perovskite grains from which additional reflections, corresponding to PbBr$_2$, appear as a crystalline degradation phase after fluences of ~200 e$^-${\AA}$^{-2}$. These changes are concomitant with the formation of small PbI$_2$ crystallites at the adjacent high-angle grain boundaries, with the formation of pinholes, and with a phase transition from tetragonal to cubic. A similar degradation pathway is caused by photon irradiation in nano-X-ray diffraction, suggesting common underlying mechanisms. Our approach explores the radiation limits of these materials and provides a description of the degradation pathways on the nanoscale. Addressing high-angle grain boundaries will be critical for the further improvement of halide polycrystalline film stability, especially for applications vulnerable to high-energy radiation such as space photovoltaics.


title: Blue Ceramics: Co-designing Morphing Ceramics for Seagrass Meadow Restoration

abstract: Seagrass meadows are twice as efficient as forests at capturing and storing carbon, but over the last two decades they have been disappearing due to human activities. We take a nature-centered design approach using contextual inquiry and iterative participatory designs methods to consolidate knowledge from the marine and material sciences to industrial design. The sketches and renders documented evolved into the design and fabrication guidelines. This pictorial documents a dialogue between designers and scientists to design an ecological intervention using digital fabrication to manufacture morphing ceramics for seagrass meadow restoration.


title: Testing conditions for multilinear Radon-Brascamp-Lieb inequalities

abstract: This paper establishes a necessary and sufficient condition for $L^p$-boundedness of a class of multilinear functionals which includes both the Brascamp-Lieb inequalities and generalized Radon transforms associated to algebraic incidence relations. The testing condition involves bounding the average of an inverse power of certain Jacobian-type quantities along fibers of associated projections and covers many widely-studied special cases, including convolution with measures on nondegenerate hypersurfaces or on nondegenerate curves. The heart of the proof is based on Guth's visibility lemma in one direction and on a careful analysis of Knapp-type examples in the other. Various applications are discussed which demonstrate new and subtle interplay between curvature and transversality and establish nontrivial mixed-norm $L^p$-improving inequalities in the model case of convolution with affine hypersurface measure on the paraboloid.


title: The roles of quantum coherence in thermodynamic processes

abstract: Quantum coherence associated with the superpositions of two different sets of eigenbasis vectors has been regarded as essential in thermodynamics. It is found that coherent factors can be determined by writing observables as an expansion in the basis vectors of the systemic density operator and Hamiltonian. We reveal the roles of coherence in finite-time thermodynamic processes, such as the spin precession and the spontaneous emission of a photon. Results show that the work in the spin precession and the heat in the spontaneous emission process are mainly generated by coherence.


title: Peculiar radio$-$X-ray relationship in active stars

abstract: The empirical relationship between the non-thermal 5GHz radio luminosity and the soft X-ray luminosity of active stellar coronae, canonically called the G\"udel-Benz relationship (G\"udel & Benz 1993), has been a cornerstone of stellar radio astronomy as it explicitly ties the radio emission to the coronal heating mechanisms. The relationship extends from microflares on the Sun to the coronae of the most active stars suggesting that active coronae are heated by a flare-like process (Benz & G\"udel 1994). The relationship is thought to originate from a consistent partition of the available flare energy into relativistic charges, that emit in the radio-band via the incoherent gyrosynchrotron mechanism, and heating of the bulk coronal plasma, that emits in the X-ray band via the Bremsstrahlung mechanism. Consequently, coherent emission from stellar and sub-stellar objects is not expected to adhere to this empirical relationship, as is observed in ultracool dwarf stars and brown dwarfs. Here we report a population of radio-detected chromospherically active stars that surprisingly follows the G\"udel-Benz relationship despite their radio emission being classified as coherent emission by virtue of its high circularly polarised fraction and high brightness temperature. Our results prompt a re-examination of the physics behind the G\"udel-Benz relationship, its implication for the mechanism of coronal heating and particle acceleration in active stars and the phenomenological connection between solar and stellar flares.


title: From data to functa: Your data point is a function and you can treat it like one

abstract: It is common practice in deep learning to represent a measurement of the world on a discrete grid, e.g. a 2D grid of pixels. However, the underlying signal represented by these measurements is often continuous, e.g. the scene depicted in an image. A powerful continuous alternative is then to represent these measurements using an implicit neural representation, a neural function trained to output the appropriate measurement value for any input spatial location. In this paper, we take this idea to its next level: what would it take to perform deep learning on these functions instead, treating them as data? In this context we refer to the data as functa, and propose a framework for deep learning on functa. This view presents a number of challenges around efficient conversion from data to functa, compact representation of functa, and effectively solving downstream tasks on functa. We outline a recipe to overcome these challenges and apply it to a wide range of data modalities including images, 3D shapes, neural radiance fields (NeRF) and data on manifolds. We demonstrate that this approach has various compelling properties across data modalities, in particular on the canonical tasks of generative modeling, data imputation, novel view synthesis and classification. Code: https://github.com/deepmind/functa


title: Conditions for visual and high-resolution bistatic radar observations of Apophis in 2029

abstract: On April 13, 2029, asteroid Apophis will pass within six Earth radii ($\sim$31000 km above surface), in the closest approach of this asteroid in recorded history. This event provides unique scientific opportunities to study the asteroid, its orbit, and surface characteristics at an exceptionally close distance. In this paper we perform a synthetic geometrical, geographical and temporal analysis of the conditions under which the asteroid can be observed from Earth, with a particular emphasis on the conditions and scientific opportunities for bistatic radar observations, the most feasible radar technique applicable during such a close approach. For this purpose, we compile a list of present and future radio observatories around the globe which could participate in bistatic radar observation campaigns during the closest approach of Apophis. We estimate signal-to-noise ratios, apparent sky rotation, surface coverage and other observing conditions. We find that a global collaboration of observatories across Australia, Africa, Europe and America will produce high-resolution delay-Doppler radar images with signal-to-noise ratios above $10^8$, while covering $\sim$85\% of the asteroid surface. Moreover, if properly coordinated, the extreme approach of the asteroid might allow for radio amateur detection of the signals sent by large radio observatories and citizen science projects could then be organized. We also find that for visual observations, the Canary Islands will offer the best observing conditions during the closest approach, both for professionals as well as for amateurs. The apparent size of Apophis will be 2-3 times larger than typical seeing, allowing for resolved images of the surface.


title: A Unified Analysis of Variational Inequality Methods: Variance Reduction, Sampling, Quantization and Coordinate Descent

abstract: In this paper, we present a unified analysis of methods for such a wide class of problems as variational inequalities, which includes minimization problems and saddle point problems. We develop our analysis on the modified Extra-Gradient method (the classic algorithm for variational inequalities) and consider the strongly monotone and monotone cases, which corresponds to strongly-convex-strongly-concave and convex-concave saddle point problems. The theoretical analysis is based on parametric assumptions about Extra-Gradient iterations. Therefore, it can serve as a strong basis for combining the already existing type methods and also for creating new algorithms. In particular, to show this we develop new robust methods, which include methods with quantization, coordinate methods, distributed randomized local methods, and others. Most of these approaches have never been considered in the generality of variational inequalities and have previously been used only for minimization problems. The robustness of the new methods is also confirmed by numerical experiments with GANs.


title: Spectral study of the diffuse synchrotron source in the galaxy cluster Abell 523

abstract: The galaxy cluster Abell 523 (A523) hosts an extended diffuse synchrotron source historically classified as a radio halo. Its radio power at 1.4 GHz makes it one of the most significant outliers in the scaling relations between observables derived from multi-wavelength observations of galaxy clusters: it has a morphology that is different and offset from the thermal gas, and it has polarized emission at 1.4 GHz typically difficult to observe for this class of sources. A magnetic field fluctuating on large spatial scales (~ 1 Mpc) can explain these peculiarities but the formation mechanism for this source is not yet completely clear. To investigate its formation mechanism, we present new observations obtained with the LOw Frequency ARray at 120-168 MHz and the Jansky Very Large Array at 1-2 GHz, which allow us to study the spectral index distribution of this source. According to our data the source is observed to be more extended at 144 MHz than previously inferred at 1.4 GHz, with a total size of about 1.8 Mpc and a flux density S_144MHz = (1.52 +- 0.31) Jy. The spectral index distribution of the source is patchy with an average spectral index alpha ~ 1.2 between 144 MHz and 1.410 GHz, while an integrated spectral index alpha ~ 2.1 has been obtained between 1.410 GHz and 1.782 GHz. A previously unseen patch of steep spectrum emission is clearly detected at 144 MHz in the south of the cluster. Overall, our findings suggest that we are observing an overlapping of different structures, powered by the turbulence associated with the primary and a possible secondary merger.


title: Star Temporal Classification: Sequence Classification with Partially Labeled Data

abstract: We develop an algorithm which can learn from partially labeled and unsegmented sequential data. Most sequential loss functions, such as Connectionist Temporal Classification (CTC), break down when many labels are missing. We address this problem with Star Temporal Classification (STC) which uses a special star token to allow alignments which include all possible tokens whenever a token could be missing. We express STC as the composition of weighted finite-state transducers (WFSTs) and use GTN (a framework for automatic differentiation with WFSTs) to compute gradients. We perform extensive experiments on automatic speech recognition. These experiments show that STC can recover most of the performance of supervised baseline when up to 70% of the labels are missing. We also perform experiments in handwriting recognition to show that our method easily applies to other sequence classification tasks.


title: Early recognition of Microlensing Events from Archival Photometry with Machine Learning Methods

abstract: Gravitational microlensing method is a powerful method to detect isolated black holes in the Milky Way. During a microlensing event brightness of the source increases and this feature is used by many photometric surveys to alert on potential events. A typical microlensing event shows a characteristic light curve, however, some outbursting variable stars may show similar light curves to microlensing events especially when the cadence of observations is not dense enough. Our aim is to device a method for distinguishing candidates for microlensing events from any other types of alerts using solely their archival photometric multi-wavelength data. The most common contaminants in the microlensing event search are Classical Be-type stars, Young Stellar Objects and Asymptotic Giant Branch stars such as Miras. We build a training set using thousands of examples for the main classes of alerting stars combining optical to mid-infrared magnitudes from Gaia, 2MASS and AllWISE catalogues. We used supervised machine learning techniques to build models for classification of alerts. We verified our method on 120 microlensing events reported by Gaia Science Alerts which were studied spectroscopically and photometrically. With the use of only archival information at 90% probability threshold we correctly identified one-third of the microlensing events. We also run our classifier on positions of 368 Gaia alerts which were flagged as potential candidates for microlensing events. At the 90% probability threshold we classified 38 microlensing events and 29 other types of variables. The machine learning supported method we developed can be universally used for current and future alerting surveys in order to quickly assess the classification of galactic transients and help decide on further follow-up observations.


title: Weak-field limit of $f(R)$ gravity to unify peculiar white dwarfs

abstract: In recent years, the idea of sub- and super-Chandrasekhar limiting mass white dwarfs (WDs), which are potential candidates to produce under- and over-luminous type Ia supernovae, respectively, has been a key interest in the scientific community. Although researchers have proposed different models to explain these peculiar objects, modified theories of Einstein's gravity, particularly $f(R)$ gravity with $R$ being the scalar curvature, seems to be one of the finest choices to explain both the regimes of these peculiar WDs. It was already shown that considering higher-order corrections to the Starobinsky model with two parameters, the structure of sub- and super-Chandrasekhar progenitor WDs can be explained self consistently. It is also well-known that WDs can be considered Newtonian objects because of their large size. In this paper, we derive the weak-field limit of $f(R)$ gravity, which turns out to be the higher-order correction to the Poisson equation. Later, we use this equation to obtain the structures of sub- and super-Chandrasekhar limiting mass WDs at various central densities incorporating just one model parameter.


title: Backdoors Stuck At The Frontdoor: Multi-Agent Backdoor Attacks That Backfire

abstract: Malicious agents in collaborative learning and outsourced data collection threaten the training of clean models. Backdoor attacks, where an attacker poisons a model during training to successfully achieve targeted misclassification, are a major concern to train-time robustness. In this paper, we investigate a multi-agent backdoor attack scenario, where multiple attackers attempt to backdoor a victim model simultaneously. A consistent backfiring phenomenon is observed across a wide range of games, where agents suffer from a low collective attack success rate. We examine different modes of backdoor attack configurations, non-cooperation / cooperation, joint distribution shifts, and game setups to return an equilibrium attack success rate at the lower bound. The results motivate the re-evaluation of backdoor defense research for practical environments.


title: M\"obius Convolutions for Spherical CNNs

abstract: M\"obius transformations play an important role in both geometry and spherical image processing - they are the group of conformal automorphisms of 2D surfaces and the spherical equivalent of homographies. Here we present a novel, M\"obius-equivariant spherical convolution operator which we call M\"obius convolution, and with it, develop the foundations for M\"obius-equivariant spherical CNNs. Our approach is based on a simple observation: to achieve equivariance, we only need to consider the lower-dimensional subgroup which transforms the positions of points as seen in the frames of their neighbors. To efficiently compute M\"obius convolutions at scale we derive an approximation of the action of the transformations on spherical filters, allowing us to compute our convolutions in the spectral domain with the fast Spherical Harmonic Transform. The resulting framework is both flexible and descriptive, and we demonstrate its utility by achieving promising results in both shape classification and image segmentation tasks.


title: The quantum gravity connection between inflation and quintessence

abstract: Inflation and quintessence can both be described by a single scalar field. The cosmic time evolution of this cosmon field realizes a crossover from the region of an ultraviolet fixed point in the infinite past to an infrared fixed point in the infinite future. This amounts to a transition from early inflation to late dynamical dark energy, with intermediate radiation and matter domination. The scaling solution of the renormalization flow in quantum gravity connects the two fixed points. It provides for the essential characteristics of the scalar potential needed for the crossover cosmology and solves the cosmological constant problem dynamically. The quantum scale symmetry at the infrared fixed point protects the tiny mass of the cosmon and suppresses the cosmon coupling to atoms without the need of a non-linear screening mechanism, thereby explaining apparent issues of fine tuning. For a given content of particles the scaling solution of quantum gravity is a predictive framework for the properties of inflation and dynamical dark energy.


title: Transient response and domain formation in electrically deforming liquid crystal networks

abstract: Recently, Van der Kooij and co-workers recognised three distinct, transient regimes in the dynamics of electrically-deforming liquid crystal networks [Van der Kooij et al., Nat. Commun. 10, 1 (2019)]. Based on a Landau-theoretical framework, which encompasses spatially resolved information, we interpret these regimes: initially, the response is dominated by thermal noise, then the top of the film expands, followed by a permeation of this response into the bulk. An important signature of this interpretation is a significant dependence of the regime time scales on film thickness, where we observe a clear thin-film-to-bulk transition. The point of transition coincides with the emergence of spatial inhomogeneities in the bulk, i.e., domain formation, and should be avoided due to the less predictable steady-state expansion it gives rise to. Finally, we show that this domain formation can be suppressed by decreasing the initial thickness of the film, and increasing the linear dimensions of the mesogens, or their orientational order when crosslinked into the network, though this comes at the cost of the deformation magnitude. Our results contribute to achieving finer control over how smart liquid crystal network coatings are activated.


title: Hyperbolic localization of the Donaldson-Thomas sheaf

abstract: In this paper we prove a toric localization formula in cohomological Donaldson Thomas theory. Consider a -1-shifted symplectic algebraic space with a C* action leaving the -1-shifted symplectic form invariant. This includes the moduli space of stable sheaves or complexes of sheaves on a Calabi-Yau threefold with a C*-invariant Calabi-Yau form, or the intersection of two C*-invariant Lagrangians in a symplectic space with a C*-invariant symplectic form. In this case we express the restriction of the Donaldson-Thomas perverse sheaf (or monodromic mixed Hodge module) defined by Joyce et al. to the attracting variety as a sum of cohomological shifts of the DT perverse sheaves on the C* fixed components. This result can be seen as a -1-shifted version of the Bialynicki-Birula decomposition for smooth schemes.


title: Self-paced learning to improve text row detection in historical documents with missing labels

abstract: An important preliminary step of optical character recognition systems is the detection of text rows. To address this task in the context of historical data with missing labels, we propose a self-paced learning algorithm capable of improving the row detection performance. We conjecture that pages with more ground-truth bounding boxes are less likely to have missing annotations. Based on this hypothesis, we sort the training examples in descending order with respect to the number of ground-truth bounding boxes, and organize them into k batches. Using our self-paced learning method, we train a row detector over k iterations, progressively adding batches with less ground-truth annotations. At each iteration, we combine the ground-truth bounding boxes with pseudo-bounding boxes (bounding boxes predicted by the model itself) using non-maximum suppression, and we include the resulting annotations at the next training iteration. We demonstrate that our self-paced learning strategy brings significant performance gains on two data sets of historical documents, improving the average precision of YOLOv4 with more than 12% on one data set and 39% on the other.


title: Non-local partner to the cosmological constant

abstract: I show that quantum corrections due to a massive particle generates a non-local term in the gravitational effective action which is of zeroth order in the derivative expansion, much like the cosmological constant. It carries a fixed coefficient which is very much larger than the cosmological constant, and which cannot be fine-tuned. The interaction is active at scales above the particle's mass. This is of the form $m^4 (\frac1{\Box}R)_x "<x|\log (\Box +m^2 )|y >" (\frac1{\Box}R)_y$, and I discuss the meaning of $ "<x|\log (\Box +m^2) |y >" $ and other aspects of its interpretation.


title: Constraining changes in the merger history of (P)BH binaries with the stochastic gravitational wave background

abstract: Black holes binaries coming from a distribution of primordial black holes might exhibit a large merger rate up to large redshifts. Using a phenomenological model for the merger rate, we show that changes in its slope, up to redshifts $z\sim 4$, are constrained by current limits on the amplitude of the stochastic gravitational wave background from LIGO/Virgo O3 run. This shows that the stochastic background constrains the merger rate for redshifts larger than the single event horizon of detection ($z\simeq 1$ for the same detector). Moreover, we show that for steep merger rates the shape of the stochastic gravitational wave signal at intermediate frequencies differs from the usual $2/3$ IR scaling. We discuss the implications of our model for future experiments in a wide range of frequencies, as the design LIGO/Virgo array, Einstein Telescope, LISA and PTA. Additionally, we show that i) the stochastic background and the present merger rate provide equally constraining bounds on the abundance of PBHs arising from a Gaussian distribution of inhomogeneities and ii) Degeneracies at the level of the stochastic background (i.e. different merger histories leading to a similar stochastic background) can be broken by considering the complementary direct observation of the merger rate from number counts by future detectors such as the Einstein Telescope.


title: Towards a Broad Coverage Named Entity Resource: A Data-Efficient Approach for Many Diverse Languages

abstract: Parallel corpora are ideal for extracting a multilingual named entity (MNE) resource, i.e., a dataset of names translated into multiple languages. Prior work on extracting MNE datasets from parallel corpora required resources such as large monolingual corpora or word aligners that are unavailable or perform poorly for underresourced languages. We present CLC-BN, a new method for creating an MNE resource, and apply it to the Parallel Bible Corpus, a corpus of more than 1000 languages. CLC-BN learns a neural transliteration model from parallel-corpus statistics, without requiring any other bilingual resources, word aligners, or seed data. Experimental results show that CLC-BN clearly outperforms prior work. We release an MNE resource for 1340 languages and demonstrate its effectiveness in two downstream tasks: knowledge graph augmentation and bilingual lexicon induction.


title: Neural Optimal Transport

abstract: We present a novel neural-networks-based algorithm to compute optimal transport maps and plans for strong and weak transport costs. To justify the usage of neural networks, we prove that they are universal approximators of transport plans between probability distributions. We evaluate the performance of our optimal transport algorithm on toy examples and on the unpaired image-to-image translation.


title: Solving MaxCut with Quantum Imaginary Time Evolution

abstract: We introduce a method to solve the MaxCut problem efficiently based on quantum imaginary time evolution (QITE). We employ a linear Ansatz for unitary updates and an initial state involving no entanglement, as well as an imaginary-time-dependent Hamiltonian interpolating between a given graph and a subgraph with two edges excised. We apply the method to thousands of randomly selected graphs with up to fifty vertices. We show that our algorithm exhibits a 93% and above performance converging to the maximum solution of the MaxCut problem for all considered graphs. Our results compare favorably with the performance of classical algorithms, such as the greedy and Goemans-Williamson algorithms. We also discuss the overlap of the final state of the QITE algorithm with the ground state as a performance metric, which is a quantum feature not shared by other classical algorithms. This metric can be improved by introducing higher-order Ansaetze and entangled initial states.


title: Solving a directed percolation inverse problem

abstract: We present a directed percolation inverse problem for diode networks: Given information about which pairs of nodes allow current to percolate from one to the other, can one find a configuration of diodes consistent with the observed currents? We implement a divide-and-concur iterative projection method for solving the problem and demonstrate the supremacy of our method over an exhaustive approach for nontrivial instances of the problem. We find that the problem is most difficult when some but not all of the percolation data are hidden, and that the most difficult networks to reconstruct generally are those for which the currents are most sensitive to the addition or removal of a single diode.


title: A-branes, foliations and localization

abstract: This paper studies a notion of enumerative invariants for stable $A$-branes, and discusses its relation to invariants defined by spectral and exponential networks. A natural definition of stable $A$-branes and their counts is provided by the string theoretic origin of the topological $A$-model. This is the Witten index of the supersymmetric quantum mechanics of a single $D3$ brane supported on a special Lagrangian in a Calabi-Yau threefold. Geometrically, this is closely related to the Euler characteristic of the $A$-brane moduli space. Using the natural torus action on this moduli space, we reduce the computation of its Euler characteristic to a count of fixed points via equivariant localization. Studying the $A$-branes that correspond to fixed points, we make contact with definitions of spectral and exponential networks. We find agreement between the counts defined via the Witten index, and the BPS invariants defined by networks. By extension, our definition also matches with Donaldson-Thomas invariants of $B$-branes related by homological mirror symmetry.


title: Learning Stationary Nash Equilibrium Policies in $n$-Player Stochastic Games with Independent Chains

abstract: We consider a subclass of $n$-player stochastic games, in which players have their own internal state/action spaces while they are coupled through their payoff functions. It is assumed that players' internal chains are driven by independent transition probabilities. Moreover, players can receive only realizations of their payoffs, not the actual functions, and cannot observe each other's states/actions. For this class of games, we first show that finding a stationary Nash equilibrium (NE) policy without any assumption on the reward functions is interactable. However, for general reward functions, we develop polynomial-time learning algorithms based on dual averaging and dual mirror descent, which converge in terms of the averaged Nikaido-Isoda distance to the set of $\epsilon$-NE policies almost surely or in expectation. In particular, under extra assumptions on the reward functions such as social concavity, we derive polynomial upper bounds on the number of iterates to achieve an $\epsilon$-NE policy with high probability. Finally, we evaluate the effectiveness of the proposed algorithms in learning $\epsilon$-NE policies using numerical experiments for energy management in smart grids.


title: Wasserstein posterior contraction rates in non-dominated Bayesian nonparametric models

abstract: Posterior contractions rates (PCRs) strengthen the notion of Bayesian consistency, quantifying the speed at which the posterior distribution concentrates on arbitrarily small neighborhoods of the true model, with probability tending to 1 or almost surely, as the sample size goes to infinity. Under the Bayesian nonparametric framework, a common assumption in the study of PCRs is that the model is dominated for the observations; that is, it is assumed that the posterior can be written through the Bayes formula. In this paper, we consider the problem of establishing PCRs in Bayesian nonparametric models where the posterior distribution is not available through the Bayes formula, and hence models that are non-dominated for the observations. By means of the Wasserstein distance and a suitable sieve construction, our main result establishes PCRs in Bayesian nonparametric models where the posterior is available through a more general disintegration than the Bayes formula. To the best of our knowledge, this is the first general approach to provide PCRs in non-dominated Bayesian nonparametric models, and it relies on minimal modeling assumptions and on a suitable continuity assumption for the posterior distribution. Some refinements of our result are presented under additional assumptions on the prior distribution, and applications are given with respect to the Dirichlet process prior and the normalized extended Gamma process prior.


title: Differential Polarization Shift Keying Through Reconfigurable Intelligent Surfaces

abstract: We propose a novel reconfigurable intelligent surface (RIS) encoded information transmission scheme for a line-of-sight environment. A RIS fed with data modulates the information on impinging waves emitted from an external source in the states of polarization (SoP) of the scattered waves by performing a novel differential polarization shift keying. In particular, the information is encoded in the change of the SoP over two successive scattering slots. The proposed scheme is immune to the SoP fluctuations in the wireless channel which allows for non-coherent detection at the receiver.


title: On meromorphic functions whose image has finite spherical area

abstract: In this paper, we study meromorphic functions on a domain $\Omega \subset \mathbb{C}$ whose image has finite spherical area, counted with multiplicity. The paper is composed of two parts. In the first part, we show that the limit of a sequence of meromorphic functions is naturally defined on $\Omega$ union a tree of spheres. In the second part, we show that a set $E \subset \Omega$ is removable if and only if it is negligible for extremal distance.


title: Passive and reciprocal networks: From simple models to simple optimal controllers

abstract: Networks constructed out of resistors, inductors, capacitors and transformers form a compelling subclass of simple models. Models constructed out of these basic elements are frequently used to explain phenomena in large-scale applications, from inter-area oscillations in power systems, to the transient behaviour of optimisation algorithms. Furthermore they capture the dynamics of the most commonly applied controllers, including the PID controller. In this paper we show that the inherent structure in these networks can be used to simplify, or even solve analytically, a range of simple optimal control problems. We illustrate these results by designing and synthesising simple, scalable, and globally optimal control laws for solving constrained least squares problems, regulating electrical power systems with stochastic renewable sources, studying the robustness properties of consensus algorithms, and analysing heating networks.


title: Discovery methods for systematic analysis of causal molecular networks in modern omics datasets

abstract: With the increasing availability and size of multi-omics datasets, investigating the casual relationships between molecular phenotypes has become an important aspect of exploring underlying biology and genetics. This paper aims to introduce and review the available methods for building large-scale causal molecular networks that have been developed in the past decade. Existing methods have their own strengths and limitations so there is no one best approach, and it is instead down to the discretion of the researcher. This review also aims to discuss some of the current limitations to biological interpretation of these networks, and important factors to consider for future studies on molecular networks.


title: Agent-based modeling and simulation for malware spreading in D2D networks

abstract: This paper presents a new multi-agent model for simulating malware propagation in device-to-device (D2D) 5G networks. This model allows to understand and analyze mobile malware-spreading dynamics in such highly dynamical networks. Additionally, we present a theoretical study to validate and benchmark our proposed approach for some basic scenarios that are less complicated to model mathematically and also to highlight the key parameters of the model. Our simulations identify critical thresholds for "no propagation" and for "maximum malware propagation" and make predictions on the malware-spread velocity as well as device-infection rates. To the best of our knowledge, this paper is the first study applying agent-based simulations for malware propagation in D2D.


title: Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specifications

abstract: Model-free continuous control for robot navigation tasks using Deep Reinforcement Learning (DRL) that relies on noisy policies for exploration is sensitive to the density of rewards. In practice, robots are usually deployed in cluttered environments, containing many obstacles and narrow passageways. Designing dense effective rewards is challenging, resulting in exploration issues during training. Such a problem becomes even more serious when tasks are described using temporal logic specifications. This work presents a deep policy gradient algorithm for controlling a robot with unknown dynamics operating in a cluttered environment when the task is specified as a Linear Temporal Logic (LTL) formula. To overcome the environmental challenge of exploration during training, we propose a novel path planning-guided reward scheme by integrating sampling-based methods to effectively complete goal-reaching missions. To facilitate LTL satisfaction, our approach decomposes the LTL mission into sub-goal-reaching tasks that are solved in a distributed manner. Our framework is shown to significantly improve performance (effectiveness, efficiency) and exploration of robots tasked with complex missions in large-scale cluttered environments. A video demonstration can be found on YouTube Channel: https://youtu.be/yMh_NUNWxho.


title: Conformal Triangles and Zig-Zag Diagrams

abstract: A convenient integral representation for zig-zag four-point and two-point planar Feynman diagrams relevant to the bi-scalar D-dimensional fishnet field theory is obtained. This representation gives a possibility to evaluate exactly diagrams of the zig-zag series in special cases. In particular, we give a fairly simple proof of the Broadhurst-Kreimer conjecture about the values of zig-zag multi-loop two-point diagrams which make a significant contribution to the renormalization group beta-function in 4-dimensional phi^4 theory.


title: Hydrostatic pressure effect on Co-based honeycomb magnet BaCo2(AsO4)2

abstract: The honeycomb antiferromagnet BaCo2(AsO4)2, in which small in-plane magnetic fields (H1 = 0.26 T and H2 = 0.52 T at T = 1.8 K < TN = 5.4 K) induce two magnetic phase transitions, has attracted attention as a possible candidate material for the realization of Kitaev physics based on the 3d element Co2+. Here, we report on the change of the transition temperature TN and the critical fields H1 and H2 of BaCo2(AsO4)2 with hydrostatic pressure up to ~ 20 kbar, as determined from magnetization and specific heat measurements. Within this pressure range, a marginal increase of the magnetic ordering temperature is observed. At the same time, the critical fields are changed significantly (up to ~ 25-35 %). Specifically, we find that H1 is increased with hydrostatic pressure, i.e., the antiferromagnetic state is stabilized with hydrostatic pressure, whereas H2, which was previously associated with a transition into a proposed Kitaev spin liquid state, decreases with increasing pressure. These results put constraints on the magnetic models that are used to describe the low-temperature magnetic properties of BaCo2(AsO4)2.


title: Increasing the skill of short-term wind speed ensemble forecasts combining forecasts and observations via a new dynamic calibration

abstract: All numerical weather prediction models used for the wind industry need to produce their forecasts starting from the main synoptic hours 00, 06, 12, and 18 UTC, once the analysis becomes available. The six-hour latency time between two consecutive model runs calls for strategies to fill the gap by providing new accurate predictions having, at least, hourly frequency. This is done to accommodate the request of frequent, accurate and fresh information from traders and system regulators to continuously adapt their work strategies. Here, we propose a strategy where quasi-real time observed wind speed and weather model predictions are combined by means of a novel Ensemble Model Output Statistics (EMOS) strategy. The success of our strategy is measured by comparisons against observed wind speed from SYNOP stations over Italy in the years 2018 and 2019.


title: Simulating surface height and terminus position for marine outlet glaciers using a level set method with data assimilation

abstract: We implement a data assimilation framework for integrating ice surface and terminus position observations into a numerical ice-flow model. The model uses the well-known shallow shelf approximation (SSA) coupled to a level set method to capture ice motion and changes in the glacier geometry. The level set method explicitly tracks the evolving ice-atmosphere and ice-ocean boundaries for a marine outlet glacier. We use an Ensemble Transform Kalman Filter to assimilate observations of ice surface elevation and lateral ice extent by updating the level set function that describes the ice interface. Numerical experiments on an idealized marine-terminating glacier demonstrate the effectiveness of our data assimilation approach for tracking seasonal and multi-year glacier advance and retreat cycles. The model is also applied to simulate Helheim Glacier, a major tidewater-terminating glacier of the Greenland Ice Sheet that has experienced a recent history of rapid retreat. By assimilating observations from remotely-sensed surface elevation profiles we are able to more accurately track the migrating glacier terminus and glacier surface changes. These results support the use of data assimilation methodologies for obtaining more accurate predictions of short-term ice sheet dynamics.


title: Neutron Imaging Based on Transfer Foil Activation and COTS CMOS Image Sensors

abstract: In this paper we present a method for obtention of neutron images with Commercial-Off-The-Shelf (COTS) CMOS image sensors through the activation of indium foils. This detection method has been designed specifically for the acquisition of thermal and epitermal neutron images in mixed beams with a high gamma flux, and also for the study of high radioactive samples that are usually placed into research reactor pools. We also present a technique to obtain multi-spectral neutron images taking advantage of the high neutron absorption cross-section of this material in the thermal energy range, as well as around the 1.45 eV resonance. Measurements performed in a neutron beam of the RA6 nuclear research reactor located in Bariloche, Argentina, confirm the capability of the proposed technique.


title: Experiences with managing data parallel computational workflows for High-throughput Fragment Molecular Orbital (FMO) Calculations

abstract: Fragment Molecular Orbital (FMO) calculations provide a framework to speed up quantum mechanical calculations and so can be used to explore structure-energy relationships in large and complex biomolecular systems. These calculations are still onerous, especially when applied to large sets of molecules. Therefore, cyberinfrastructure that provides mechanisms and user interfaces that manage job submissions, failed job resubmissions, data retrieval, and data storage for these calculations are needed. Motivated by the need to rapidly identify drugs that are likely to bind to targets implicated in SARS-CoV-2, the virus that causes COVID-19, we developed a static parameter sweeping framework with Apache Airavata middleware to apply to complexes formed between SARS-CoV-2 M-pro (the main protease in SARS-CoV-2) and 2820 small-molecules in a drug-repurposing library. Here we describe the implementation of our framework for managing the executions of the high-throughput FMO calculations. The approach is general and so should find utility in large-scale FMO calculations on biomolecular systems.


title: Coding schemes for locally balanced constraints

abstract: Motivated by applications in DNA-based storage, we study explicit encoding and decoding schemes of binary strings satisfying locally balanced constraints, where the $(\ell,\delta)$-locally balanced constraint requires that the weight of any consecutive substring of length $\ell$ is between $\frac{\ell}{2}-\delta$ and $\frac{\ell}{2}+\delta$. In this paper we present coding schemes for the strongly locally balanced constraints and the locally balanced constraints, respectively. Moreover, we introduce an additional result on the linear recurrence formula of the number of binary strings which are $(6,1)$-locally balanced, as a further attempt to both capacity characterization and new coding strategies for locally balanced constraints.


title: Leptogenesis in Majoron Models without Domain Walls

abstract: The emergence of domain walls is a well-known problem in Majoron models for neutrino mass generation. Here, we present extensions of the Majoron model by right-handed doublets and triplets that prevent domain walls from arising. These extensions are highly interesting in the context of Leptogenesis as they impact the conversion of a lepton asymmetry to a baryon asymmetry by Sphaleron processes.


title: Continuous Deep Equilibrium Models: Training Neural ODEs faster by integrating them to Infinity

abstract: Implicit models separate the definition of a layer from the description of its solution process. While implicit layers allow features such as depth to adapt to new scenarios and inputs automatically, this adaptivity makes its computational expense challenging to predict. In this manuscript, we increase the "implicitness" of the DEQ by redefining the method in terms of an infinite time neural ODE, which paradoxically decreases the training cost over a standard neural ODE by 2-4x. Additionally, we address the question: is there a way to simultaneously achieve the robustness of implicit layers while allowing the reduced computational expense of an explicit layer? To solve this, we develop Skip and Skip Reg. DEQ, an implicit-explicit (IMEX) layer that simultaneously trains an explicit prediction followed by an implicit correction. We show that training this explicit predictor is free and even decreases the training time by 1.11-3.19x. Together, this manuscript shows how bridging the dichotomy of implicit and explicit deep learning can combine the advantages of both techniques.


title: How to avoid uncompetitive games? The importance of tie-breaking rules

abstract: If the final position of a team is already secured independently of the outcomes of the remaining games in a round-robin tournament, it might play with little enthusiasm. This is detrimental to attendance and can inspire collusion and match-fixing. We demonstrate that tie-breaking rules might affect the occurrence of such a situation. Its probability is quantified via simulations for the four groups of the 2022/23 UEFA Nations League A under two well-established tie-breaking rules, goal difference and head-to-head records. In these home-away round-robin contests with four teams and 12 matches, the competitiveness of the final four games can be promoted by giving priority to goal difference, which reduces the chance of a fixed position in the group ranking by at least two and usually five percentage points in the last round. Our findings, supported by sensitivity analysis in a theoretical model, provide important lessons on how to design ranking systems.


title: Large Scale Generation of Labeled Type Data for Python

abstract: Recently, dynamically typed languages, such as Python, have gained unprecedented popularity. Although these languages alleviate the need for mandatory type annotations, types still play a critical role in program understanding and preventing runtime errors. An attractive option is to infer types automatically to get static guarantees without writing types. Existing inference techniques rely mostly on static typing tools such as PyType for direct type inference; more recently, neural type inference has been proposed. However, neural type inference is data hungry, and depends on collecting labeled data based on static typing. Such tools, however, are poor at inferring user defined types. Furthermore, type annotation by developers in these languages is quite sparse. In this work, we propose novel techniques for generating high quality types using 1) information retrieval techniques that work on well documented libraries to extract types and 2) usage patterns by analyzing a large repository of programs. Our results show that these techniques are more precise and address the weaknesses of static tools, and can be useful for generating a large labeled dataset for type inference by machine learning methods. F1 scores are 0.52-0.58 for our techniques, compared to static typing tools which are at 0.06, and we use them to generate over 37,000 types for over 700 modules.


title: Joint Differentiable Optimization and Verification for Certified Reinforcement Learning

abstract: In model-based reinforcement learning for safety-critical control systems, it is important to formally certify system properties (e.g., safety, stability) under the learned controller. However, as existing methods typically apply formal verification \emph{after} the controller has been learned, it is sometimes difficult to obtain any certificate, even after many iterations between learning and verification. To address this challenge, we propose a framework that jointly conducts reinforcement learning and formal verification by formulating and solving a novel bilevel optimization problem, which is differentiable by the gradients from the value function and certificates. Experiments on a variety of examples demonstrate the significant advantages of our framework over the model-based stochastic value gradient (SVG) method and the model-free proximal policy optimization (PPO) method in finding feasible controllers with barrier functions and Lyapunov functions that ensure system safety and stability.


title: Data Assimilation using Time-Delay Nudging in the Presence of Gaussian Noise

abstract: We study a discrete-in-time data-assimilation algorithm based on nudging through a time-delayed feedback control in which the observational measurements have been contaminated by a Gaussian noise process. In the context of the two-dimensional incompressible Navier-Stokes equations we prove the expected value of the square-error between the approximating solution and the reference solution over time is proportional to the variance of the noise up to a logarithmic correction. The qualitative behavior and physical relevance of our analysis is further illustrated by numerical simulation.


title: Wasserstein Iterative Networks for Barycenter Estimation

abstract: Wasserstein barycenters have become popular due to their ability to represent the average of probability measures in a geometrically meaningful way. In this paper, we present an algorithm to approximate the Wasserstein-2 barycenters of continuous measures via a generative model. Previous approaches rely on regularization (entropic/quadratic) which introduces bias or on input convex neural networks which are not expressive enough for large-scale tasks. In contrast, our algorithm does not introduce bias and allows using arbitrary neural networks. In addition, based on the celebrity faces dataset, we construct Ave, celeba! dataset which can be used for quantitative evaluation of barycenter algorithms by using standard metrics of generative models such as FID.


title: JEM-EUSO Collaboration contributions to the 37th International Cosmic Ray Conference

abstract: Compilation of papers presented by the JEM-EUSO Collaboration at the 37th International Cosmic Ray Conference (ICRC), held on July 12-23, 2021 (online) in Berlin, Germany.


title: Solving Nonconvex-Nonconcave Min-Max Problems exhibiting Weak Minty Solutions

abstract: We investigate a structured class of nonconvex-nonconcave min-max problems exhibiting so-called \emph{weak Minty} solutions, a notion which was only recently introduced, but is able to simultaneously capture different generalizations of monotonicity. We prove novel convergence results for a generalized version of the optimistic gradient method (OGDA) in this setting, matching the $1/k$ rate for the best iterate in terms of the squared operator norm recently shown for the extragradient method (EG). In addition we propose an adaptive step size version of EG, which does not require knowledge of the problem parameters.


title: Graphs with $G^p$-connected medians

abstract: The median of a graph $G$ with weighted vertices is the set of all vertices $x$ minimizing the sum of weighted distances from $x$ to the vertices of $G$. For any integer $p\ge 2$, we characterize the graphs in which, with respect to any non-negative weights, median sets always induce connected subgraphs in the $p$th power $G^p$ of $G$. This extends some characterizations of graphs with connected medians (case $p=1$) provided by Bandelt and Chepoi (2002). The characteristic conditions can be tested in polynomial time for any $p$. We also show that several important classes of graphs in metric graph theory, including bridged graphs (and thus chordal graphs), graphs with convex balls, bucolic graphs, and bipartite absolute retracts, have $G^2$-connected medians. Extending the result of Bandelt and Chepoi that basis graphs of matroids are graphs with connected medians, we characterize the isometric subgraphs of Johnson graphs and of halved-cubes with connected medians.


title: Agent-based simulations for coverage extensions in 5G networks and beyond

abstract: Device-to-device (D2D) communications is one of the key emerging technologies for the fifth generation (5G) networks and beyond. It enables direct communication between mobile users and thereby extends coverage for devices lacking direct access to the cellular infrastructure and hence enhances network capacity. D2D networks are complex, highly dynamic and will be strongly augmented by intelligence for decision making at both the edge and core of the network, which makes them particularly difficult to predict and analyze. Conventionally, D2D systems are evaluated, investigated and analyzed using analytical and probabilistic models (e.g., from stochastic geometry). However, applying classical simulation and analytical tools to such a complex system is often hard to track and inaccurate. In this paper, we present a modeling and simulation framework from the perspective of complex-systems science and exhibit an agent-based model for the simulation of D2D coverage extensions. We also present a theoretical study to benchmark our proposed approach for a basic scenario that is less complicated to model mathematically. Our simulation results show that we are indeed able to predict coverage extensions for multi-hop scenarios and quantify the effects of street-system characteristics and pedestrian mobility on the connection time of devices to the base station (BS). To our knowledge, this is the first study that applies agent-based simulations for coverage extensions in D2D.


title: Gradient Descent on Neurons and its Link to Approximate Second-Order Optimization

abstract: Second-order optimizers are thought to hold the potential to speed up neural network training, but due to the enormous size of the curvature matrix, they typically require approximations to be computationally tractable. The most successful family of approximations are Kronecker-Factored, block-diagonal curvature estimates (KFAC). Here, we combine tools from prior work to evaluate exact second-order updates with careful ablations to establish a surprising result: Due to its approximations, KFAC is not closely related to second-order updates, and in particular, it significantly outperforms true second-order updates. This challenges widely held believes and immediately raises the question why KFAC performs so well. Towards answering this question we present evidence strongly suggesting that KFAC approximates a first-order algorithm, which performs gradient descent on neurons rather than weights. Finally, we show that this optimizer often improves over KFAC in terms of computational cost and data-efficiency.


title: Mass and radius of balls in Gromov-Hausdorff-Prokhorov convergent sequences

abstract: We survey some properties of Gromov--Hausdorff--Prokhorov convergent sequences $(\mathsf{X}_n, d_{\mathsf{X}_n}, \nu_{\mathsf{X}_n})_{n \ge 1}$ of random compact metric spaces equipped with Borel probability measures. We formalize that if the limit is almost surely non-atomic, then for large $n$ each open ball in $\mathsf{X}_n$ with small radius must have small mass. Conversely, if the limit is almost surely fully supported, then each closed ball in $\mathsf{X}_n$ with small mass must have small radius. We do not claim any new results, but justifications are provided for properties for which we could not find explicit references.


title: The Three Hundred project: galaxy cluster mergers and their impact on the stellar component of brightest cluster galaxies

abstract: Using the data set of The Three Hundred project, i.e. a suite of 324 hydrodynamical resimulations of cluster-sized haloes, we study galaxy cluster mergers and their effect on colour and luminosity changes of their brightest cluster galaxies (BCG). We track the main progenitor of each halo at z=0 and search for merger situations based on its mass accretion history, defining mergers as very rapid increases in the halo mass. Based upon the evolution of the dynamical state of the cluster we define a pre- and post-merger phase. We create a list of all these events and statistically study their mass ratio and timescales, with the former verifying that all instances are in fact major mergers. By comparing to a control sample of clusters without mergers, we study the effect mergers have on the stellar component of the BCG. Analysing the mass, age and metallicity of the BCG stellar particles, we find that the stellar content of BCGs grows significantly during mergers and, even though the main growth mechanism is the accretion of older stars, there is even a burst in star formation induced by the merger. In our simulations, BCGs in mergers form in median around 70 per cent more stars than those normally growing, although this depends on the radius considered for defining the BCG. Regarding observable properties, we see an increase in SDSS-u luminosity of 20 per cent during mergers, accompanied by a slightly slower increase of the galaxy g-r colour as compared to the control sample.


title: Searching for inelastic dark matter with future LHC experiments

abstract: We consider a dark sector containing a pair of almost degenerate states coupled to the Standard Model through a dark photon mediator. This set-up constitutes a simple realization of the inelastic dark matter scenario. The heaviest dark state is long-lived, in the limit of a small kinetic mixing among the dark photon and the Standard Model hypercharge gauge boson, and/or of a small mass splitting among the dark states. We study the prospects for detection of this scenario at proposed LHC experiments dedicated to search for long-lived particles, namely FASER, MATHUSLA, CODEX-b, AL3X, MAPP, ANUBIS and FACET. We consider both the cases of fermionic and scalar inelastic dark matter. We show that these experimental facilities can probe unexplored regions of the parameter space of this model, and we highlight their complementary roles.


title: Exact augmented Lagrangians for constrained optimization problems in Hilbert spaces I: Theory

abstract: In this two-part study, we develop a general theory of the so-called exact augmented Lagrangians for constrained optimization problems in Hilbert spaces. In contrast to traditional nonsmooth exact penalty functions, these augmented Lagrangians are continuously differentiable for smooth problems and do not suffer from the Maratos effect, which makes them especially appealing for applications in numerical optimization. Our aim is to present a detailed study of various theoretical properties of exact augmented Lagrangians and discuss several applications of these functions to constrained variational problems, problems with PDE constraints, and optimal control problems. The first paper is devoted to a theoretical analysis of an exact augmented Lagrangian for optimization problems in Hilbert spaces. We obtain several useful estimates of this augmented Lagrangian and its gradient, and present several types of sufficient conditions for KKT-points of a constrained problem corresponding to locally/globally optimal solutions to be local/global minimisers of the exact augmented Lagrangian.


title: Quantum metrology with a non-linear kicked Mach-Zehnder interferometer

abstract: We study the sensitivity of a Mach-Zehnder interferometer that contains in addition to the phase shifter a non-linear element. By including both elements in a cavity or a loop that the light transverses many times, a non-linear kicked version of the interferometer arises. We study its sensitivity as function of the phase shift, the kicking strength, the maximally reached average number of photons, and damping due to photon loss for an initial coherent state. We find that for vanishing damping Heisenberg-limited scaling of the sensitivity arises if squeezing dominates the total photon number. For small to moderate damping rates the non-linear kicks can considerably increase the sensitivity as measured by the quantum Fisher information per unit time.