title: Central Limit Theorems for global and local empirical measures of diffusions on Erd\H{o}s-R\'enyi graphs

abstract: We address the issue of the Central Limit Theorem for (both local and global) empirical measures of diffusions interacting on a possibly diluted Erd\H{o}s-R\'enyi graph. Special attention is given to the influence of initial condition (not necessarily i.i.d.) on the nature of the limiting fluctuations. We prove in particular that the fluctuations remain the same as in the mean-field framework when the initial condition is chosen independently from the graph. We give an example of non-universal fluctuations for carefully chosen initial data that depends on the graph. A crucial tool for the proof is the use of extensions of Grothendieck inequality.


title: Linking a universal gas density profile to the core-excised X-ray luminosity in galaxy clusters up to z ~ 1.1

abstract: We investigate the regularity of galaxy cluster gas density profiles and the link to the relation between core-excised luminosity, LXc, and mass from the Yx proxy, MYx, for 93 SZE-selected objects. The sample spans masses M500=[0.5 - 20] x 10e14 Msun, and lies at redshifts 0.05<z<1.13. Using XMM-Newton observations, we derive an average ICM density profile for the SZE-selected systems and determine its scaling with mass and redshift. This average profile evolves slightly stronger than self-similar (a_z = 2.09+/-0.02), and has significant dependence on mass (a_M = 0.22 +/- 0.01). Deviations from the average scaling with radius indicate different evolution for the core regions and the bulk. We measure the radial variation of the intrinsic scatter, finding a slight evolution with redshift. The average profile of the SZE-selected systems describes that of X-ray-selected systems at low redshift. The scaled core properties are positively skewed at later times, suggesting an increased incidence of centrally peaked objects at lower redshifts. The relation between LXc and MYx has an intrinsic scatter of 13%. Using simulations, we investigate the impact of selection effects, intrinsic scatter, and covariance on this relation. The slope is insensitive to selection and intrinsic scatter between quantities; however, the scatter is very dependent on the covariance between LXc and Yx. Accounting for our use of the Yx proxy to determine the mass, we estimate an upper limit to the intrinsic scatter with respect to the true mass of 22%. We probe the connection between the scatter in density profiles and that in the LXc-M relation. Our results suggest that the ICM bulk evolves approximately self-similarly, with the core regions evolving separately; indicate a variation of the gas content with mass; and show that LXc has a tight relation to the underlying mass.


title: The Open Kidney Ultrasound Data Set

abstract: Ultrasound, because of its low cost, non-ionizing, and non-invasive characteristics, has established itself as a cornerstone radiological examination. Research on ultrasound applications has also expanded, especially with image analysis with machine learning. However, ultrasound data are frequently restricted to closed data sets, with only a few openly available. Despite being a frequently examined organ, the kidney lacks a publicly available ultrasonography data set. The proposed Open Kidney Ultrasound Data Set is the first publicly available set of kidney brightness mode (B-mode) ultrasound data that includes annotations for multi-class semantic segmentation. It is based on data retrospectively collected in a 5-year period from over 500 patients with a mean age of 53.2 +/- 14.7 years, body mass index of 27.0 +/- 5.4 kg/m2, and most common primary diseases being diabetes mellitus, immunoglobulin A (IgA) nephropathy, and hypertension. There are labels for the view and fine-grained manual annotations from two expert sonographers. Notably, this data includes native and transplanted kidneys. Initial bench-marking measurements are performed, demonstrating a state-of-the-art algorithm achieving a Dice Sorenson Coefficient of 0.85 for the kidney capsule. This data set is a high-quality data set, including two sets of expert annotations, with a larger breadth of images than previously available. In increasing access to kidney ultrasound data, future researchers may be able to create novel image analysis techniques for tissue characterization, disease detection, and prognostication.


title: A novel MDPSO-SVR hybrid model for feature selection in electricity consumption forecasting

abstract: Electricity consumption forecasting has vital importance for the energy planning of a country. Of the enabling machine learning models, support vector regression (SVR) has been widely used to set up forecasting models due to its superior generalization for unseen data. However, one key procedure for the predictive modeling is feature selection, which might hurt the prediction accuracy if improper features were selected. In this regard, a modified discrete particle swarm optimization (MDPSO) was employed for feature selection in this study, and then MDPSO-SVR hybrid mode was built to predict future electricity consumption. Compared with other well-established counterparts, MDPSO-SVR model consistently performs best in two real-world electricity consumption datasets, which indicates that MDPSO for feature selection can improve the prediction accuracy and the SVR equipped with the MDPSO can be a promised alternative for electricity consumption forecasting.


title: 50 shades of Bayesian testing of hypotheses

abstract: Hypothesis testing and model choice are quintessential questions for statistical inference and while the Bayesian paradigm seems ideally suited for answering these questions, it faces difficulties of its own ranging from prior modelling to calibration, to numerical implementation. This c


title: Symmetry-protected topological corner modes in a periodically driven interacting spin lattice

abstract: Periodic driving has the longstanding reputation for generating exotic phases of matter with no static counterparts. This work explores the interplay among periodic driving, interaction effects, and $\mathbb{Z}_2$ symmetry that leads to the emergence of Floquet symmetry protected second-order topological phases in a simple but insightful two-dimensional spin-1/2 lattice. Through a combination of analytical and numerical treatments, we verify the formation of 0 and $\pi$ modes, i.e., corner localized $\mathbb{Z}_2$ symmetry broken operators that respectively commute and anticommute with the one-period time evolution operator. We further verify the topological nature of these modes by demonstrating their presence over a wide range of parameter values and explicitly deriving their associated topological invariants under special conditions. Finally, we propose a means to detect the signature of such modes in experiments and discuss the effect of imperfections.


title: Toward Student-Oriented Teacher Network Training For Knowledge Distillation

abstract: How to conduct teacher training for knowledge distillation is still an open problem. It has been widely observed that a best-performing teacher does not necessarily yield the best-performing student, suggesting a fundamental discrepancy between the current teacher training practice and the ideal teacher training strategy. To fill this gap, we explore the feasibility of training a teacher that is oriented toward student performance with empirical risk minimization (ERM). Our analyses are inspired by the recent findings that the effectiveness of knowledge distillation hinges on the teacher's capability to approximate the true label distribution of training inputs. We theoretically establish that the ERM minimizer can approximate the true label distribution of training data as long as the feature extractor of the learner network is Lipschitz continuous and is robust to feature transformations. In light of our theory, we propose a teacher training method SoTeacher which incorporates Lipschitz regularization and consistency regularization into ERM. Experiments on benchmark datasets using various knowledge distillation algorithms and teacher-student pairs confirm that SoTeacher can improve student accuracy consistently.


title: Learning Best Combination for Efficient N:M Sparsity

abstract: By forcing at most N out of M consecutive weights to be non-zero, the recent N:M network sparsity has received increasing attention for its two attractive advantages: 1) Promising performance at a high sparsity. 2) Significant speedups on NVIDIA A100 GPUs. Recent studies require an expensive pre-training phase or a heavy dense-gradient computation. In this paper, we show that the N:M learning can be naturally characterized as a combinatorial problem which searches for the best combination candidate within a finite collection. Motivated by this characteristic, we solve N:M sparsity in an efficient divide-and-conquer manner. First, we divide the weight vector into $C_{\text{M}}^{\text{N}}$ combination subsets of a fixed size N. Then, we conquer the combinatorial problem by assigning each combination a learnable score that is jointly optimized with its associate weights. We prove that the introduced scoring mechanism can well model the relative importance between combination subsets. And by gradually removing low-scored subsets, N:M fine-grained sparsity can be efficiently optimized during the normal training phase. Comprehensive experiments demonstrate that our learning best combination (LBC) performs consistently better than off-the-shelf N:M sparsity methods across various networks. Our project is released at \url{https://github.com/zyxxmu/LBC}.


title: Quantitative Imaging Principles Improves Medical Image Learning

abstract: Fundamental differences between natural and medical images have recently favored the use of self-supervised learning (SSL) over ImageNet transfer learning for medical image applications. Differences between image types are primarily due to the imaging modality and medical images utilize a wide range of physics based techniques while natural images are captured using only visible light. While many have demonstrated that SSL on medical images has resulted in better downstream task performance, our work suggests that more performance can be gained. The scientific principles which are used to acquire medical images are not often considered when constructing learning problems. For this reason, we propose incorporating quantitative imaging principles during generative SSL to improve image quality and quantitative biological accuracy. We show that this training schema results in better starting states for downstream supervised training on limited data. Our model also generates images that validate on clinical quantitative analysis software.


title: Hybrid Projection Methods for Solution Decomposition in Large-scale Bayesian Inverse Problems

abstract: We develop hybrid projection methods for computing solutions to large-scale inverse problems, where the solution represents a sum of different stochastic components. Such scenarios arise in many imaging applications (e.g., anomaly detection in atmospheric emissions tomography) where the reconstructed solution can be represented as a combination of two or more components and each component contains different smoothness or stochastic properties. In a deterministic inversion or inverse modeling framework, these assumptions correspond to different regularization terms for each solution in the sum. Although various prior assumptions can be included in our framework, we focus on the scenario where the solution is a sum of a sparse solution and a smooth solution. For computing solution estimates, we develop hybrid projection methods for solution decomposition that are based on a combined flexible and generalized Golub-Kahan processes. This approach integrates techniques from the generalized Golub-Kahan bidiagonalization and the flexible Krylov methods. The benefits of the proposed methods are that the decomposition of the solution can be done iteratively, and the regularization terms and regularization parameters are adaptively chosen at each iteration. Numerical results from photoacoustic tomography and atmospheric inverse modeling demonstrate the potential for these methods to be used for anomaly detection.


title: Online Easy Example Mining for Weakly-supervised Gland Segmentation from Histology Images

abstract: Developing an AI-assisted gland segmentation method from histology images is critical for automatic cancer diagnosis and prognosis; however, the high cost of pixel-level annotations hinders its applications to broader diseases. Existing weakly-supervised semantic segmentation methods in computer vision achieve degenerative results for gland segmentation, since the characteristics and problems of glandular datasets are different from general object datasets. We observe that, unlike natural images, the key problem with histology images is the confusion of classes owning to morphological homogeneity and low color contrast among different tissues. To this end, we propose a novel method Online Easy Example Mining (OEEM) that encourages the network to focus on credible supervision signals rather than noisy signals, therefore mitigating the influence of inevitable false predictions in pseudo-masks. According to the characteristics of glandular datasets, we design a strong framework for gland segmentation. Our results exceed many fully-supervised methods and weakly-supervised methods for gland segmentation over 4.4% and 6.04% at mIoU, respectively. Code is available at https://github.com/xmed-lab/OEEM.


title: Effect of money heterogeneity on resource dependency in complex networks

abstract: Exchange of resources among individual components of a system is fundamental to systems like a social network of humans and a network of cities and villages. For various reasons, the human society has come up with the notion of money as a proxy for the resources. Here we extend the model of resource dependencies in networks that was recently proposed by one of us, by incorporating the concept of money so that the vertices of a network can sell and buy required resources among themselves. We simulate the model using the configuration model as a substrate for homogeneous as well as heterogeneous degree distributions and using various exchange strategies. We show that a moderate amount of initial heterogeneity in the money on the vertices can significantly improve the survivability of Scale-free networks but not that of homogeneous networks like the Erdos-Renyi network. Our work is a step towards understanding the effect of presence of money on the resource distribution dynamics in complex networks.


title: Improved White Dwarves Constraints on Inelastic Dark Matter and Left-Right Symmetric Models

abstract: WIMPs can be captured in compact stars such as white dwarves (WDs) leading to an increase in the star luminosity through their annihilation process. We show that when the WIMP interacts with the nuclear targets within the WD through inelastic scattering and its mass exceeds a few tens GeV the data on low-temperature large-mass WDs in the Messier 4 globular cluster can probe values of the mass splitting $\delta\lesssim$ 40 MeV. Such value largely exceeds those ensuing from direct detection and from solar neutrino searches. We apply such improved constraint to the specific DM scenario of a self-conjugate bi-doublet in the Left-Right Symmetric Model (LRSM), where the standard $SU(2)_L$ group with coupling $g_L$ is extended by an additional $SU(2)_R$ with coupling $g_R$. We show that bounds from WDs significantly reduce the cosmologically viable parameter space of such scenario, in particular requiring $g_R>g_L$. For instance, for $g_R/g_L$ = 1.8 we find the two viable mass ranges 1.2 TeV $\lesssim m_\chi\lesssim$ 3 TeV and 5 TeV $\lesssim m_\chi\lesssim$ 10 TeV, when the charged $SU(2)_R$ gauge boson mass $M_{W_2}$ is lighter than $\simeq$ 12 TeV. We also discuss the ultraviolet completion of the LRSM model, when the latter is embedded in a Grand Unified Theory. We show that such low-energy parameter space and compatibility to proton-decay bounds require a non-trivial extension of the particle content of the minimal model. We provide a specific example where $M_{W_2}\lesssim$ 10 TeV is achieved by extending the LRSM at high energy with color triplets that are singlets under all other groups, and $g_R/g_L>$1 is obtained by introducing $SU(2)_L$ triplets with no $SU(2)_R$ counterparts, i.e. by breaking the symmetry between the multiplets of $SU(2)_L$ and $SU(2)_R$.


title: Automatic compile-time synthesis of entropy-optimal Boltzmann samplers

abstract: We present a famework for the automatic compilation of multi-parametric Boltzmann samplers for algebraic data types in Haskell. Our framework uses Template Haskell to synthesise efficient, entropy-optimal samplers generating random instances of user-declared algebraic data types. Users can control the outcome distribution through a pure, declarative interface. For instance, users can control the mean size and constructor frequencies of generated objects. We illustrate the effectiveness of our framework through a prototype generic-boltzmann-brain library showing that it is possible to control thousands of different parameters in systems of tens of thousands of ADTs. Our prototype framework synthesises Boltzmann samplers capable of rapidly generating random objects of sizes in the millions.


title: Walking Under the Ladder Logic: PLC-VBS, a PLC Control Logic Vulnerability Discovery Tool

abstract: Cyber security risk assessments provide a pivotal starting point towards the understanding of existing risk exposure, through which suitable mitigation strategies can be formed. Where risk is viewed as a product of threat, vulnerability, and impact, understanding each element is of equal importance. This can be a challenge in Industrial Control System (ICS) environments, where adopted technologies are typically not only bespoke, but interact directly with the physical world. To date, existing vulnerability identification has focused on traditional vulnerability categories. While this provides risk assessors with a baseline understanding, and the ability to hypothesize on potential resulting impacts, it is high level, operating at a level of abstraction that would be viewed as incomplete within a traditional information system context. The work presented in this paper takes the understanding of ICS device vulnerabilities one step further. It offers a tool, PLC-VBS, that helps identify Programmable Logic Controller (PLC) vulnerabilities, specifically within logic used to monitor, control, and automate operational processes. PLC-VBS gives risk assessors a more coherent picture about the potential impact should the identified vulnerabilities be exploited; this applies specifically to operational process elements.


title: PROACT: Parallel Multi-Miner Proof of Accumulated Trust Protocol for Internet of Drones

abstract: Several types of networks that comprise unmanned aerial vehicles (UAV or drone) are being utilized in important applications such as emergency response, environment and infrastructure monitoring, defense and security, and commerce. In such networks, swarms of UAVs cooperate in executing one or more missions to achieve the application's objectives. The UAVs communicate with terrestrial networks by connecting to fixed or mobile ground control stations (GCS). The ability of drones to connect to online applications and offer services to Internet users has led to the proliferation of the Internet of Drones (IoD). However, IoD applications are highly vulnerable to many types of cyberattacks. Hence, mechanisms must be deployed to secure the IoD operations and data. Recently, the blockchain has been proposed as a solution to detect and prevent malicious attacks on the UAV network (UAVN). Due to the UAV's limited resources, it becomes a challenge to integrate the blockchain into the IoD. In this paper, we propose a model that enables a drone to store the important data that it requires during its flight within a lightweight blockchain system. In addition, we propose a new blockchain consensus mechanism in which several miners produce their blocks in parallel, which decreases the time needed to add transactions securely to the blockchain and meets the requirements of delay-sensitive applications. Our simulations prove the advantages of the proposed model in decreasing the transaction-to-blockchain delay, the average drone energy consumption, and the blockchain block size as compared to other IoD blockchain systems.


title: Multi-Scale Modeling and Simulation of Transport Processes in an Elastically Deformable Perforated Medium

abstract: In this paper, we derive an effective model for transport processes in periodically perforated elastic media, taking into account, e.g., cyclic elastic deformations as they occur in lung tissue due to respiratory movement. The underlying microscopic problem couples the deformation of the domain with a diffusion process within a mixed \textit{Lagrangian}/\textit{Eulerian} formulation. After a transformation of the diffusion problem onto the fixed domain, we use the formal method of two-scale asymptotic expansion to derive the upscaled model, which is nonlinearly coupled through effective coefficients. The effective model is implemented and validated using an application-inspired model problem. Numerical solutions for both, cell problems and macroscopic equations, are investigated and interpreted. We use simulations to qualitatively determine the effect of the deformation on the transport process.


title: Semi-Autoregressive Energy Flows: Exploring Likelihood-Free Training of Normalizing Flows

abstract: Training normalizing flow generative models can be challenging due to the need to calculate computationally expensive determinants of Jacobians. This paper studies the likelihood-free training of flows and proposes the energy objective, an alternative sample-based loss based on proper scoring rules. The energy objective is determinant-free and supports flexible model architectures that are not easily compatible with maximum likelihood training, including semi-autoregressive energy flows, a novel model family that interpolates between fully autoregressive and non-autoregressive models. Energy flows feature competitive sample quality, posterior inference, and generation speed relative to likelihood-based flows; this performance is decorrelated from the quality of log-likelihood estimates, which are generally very poor. Our findings question the use of maximum likelihood as an objective or a metric, and contribute to a scientific study of its role in generative modeling.


title: Search for the rare hadronic decay $B_s^0\to p \bar{p}$

abstract: A search for the rare hadronic decay $B_s^0\to p \bar{p}$ is performed using proton-proton collision data recorded by the LHCb experiment at a center-of-mass energy of 13 TeV, corresponding to an integrated luminosity of 6 fb$^{-1}$. No evidence of the decay is found and an upper limit on its branching fraction is set at ${\cal B}(B_s^0\to p \bar{p}) < 4.4~(5.1) \times 10^{-9}$ at 90% (95%) confidence level; this is currently the world's best upper limit. The decay mode $B^0\to p \bar{p}$ is measured with very large significance, confirming the first observation by the LHCb experiment in 2017. The branching fraction is determined to be ${\cal B}(B^0\to p \bar{p}) = \rm (1.27 \pm 0.15 \pm 0.05 \pm 0.04) \times 10^{-8}$, where the first uncertainty is statistical, the second is systematic and the third is due to the external branching fraction of the normalization channel $B^0\to K^+\pi^-$. The combination of the two LHCb measurements of the $B^0\to p \bar{p}$ branching fraction yields ${\cal B}(B^0\to p \bar{p}) = \rm (1.27 \pm 0.13 \pm 0.05 \pm 0.03) \times 10^{-8}$.


title: Severe Damage Recovery in Evolving Soft Robots through Differentiable Programming

abstract: Biological systems are very robust to morphological damage, but artificial systems (robots) are currently not. In this paper we present a system based on neural cellular automata, in which locomoting robots are evolved and then given the ability to regenerate their morphology from damage through gradient-based training. Our approach thus combines the benefits of evolution to discover a wide range of different robot morphologies, with the efficiency of supervised training for robustness through differentiable update rules. The resulting neural cellular automata are able to grow virtual robots capable of regaining more than 80\% of their functionality, even after severe types of morphological damage.


title: Periodic expansion of one by Salem numbers

abstract: We show that for a Salem number $\beta$ of degree $d$, there exists a positive constant $c(d)$ that $\beta^m$ is a Parry number for integers $m$ of natural density $\ge c(d)$. Further, we show $c(6)>1/2$ and discuss a relation to the discretized rotation in dimension $4$.


title: Efficient Private Storage of Sparse Machine Learning Data

abstract: We consider the problem of maintaining sparsity in private distributed storage of confidential machine learning data. In many applications, e.g., face recognition, the data used in machine learning algorithms is represented by sparse matrices which can be stored and processed efficiently. However, mechanisms maintaining perfect information-theoretic privacy require encoding the sparse matrices into randomized dense matrices. It has been shown that, under some restrictions on the storage nodes, sparsity can be maintained at the expense of relaxing the perfect information-theoretic privacy requirement, i.e., allowing some information leakage. In this work, we lift the restrictions imposed on the storage nodes and show that there exists a trade-off between sparsity and the achievable privacy guarantees. We focus on the setting of non-colluding nodes and construct a coding scheme that encodes the sparse input matrices into matrices with the desired sparsity level while limiting the information leakage.


title: Abstraction-Based Segmental Simulation of Chemical Reaction Networks

abstract: Simulating chemical reaction networks is often computationally demanding, in particular due to stiffness. We propose a novel simulation scheme where long runs are not simulated as a whole but assembled from shorter precomputed segments of simulation runs. On the one hand, this speeds up the simulation process to obtain multiple runs since we can reuse the segments. On the other hand, questions on diversity and genuineness of our runs arise. However, we ensure that we generate runs close to their true distribution by generating an appropriate abstraction of the original system and utilizing it in the simulation process. Interestingly, as a by-product, we also obtain a yet more efficient simulation scheme, yielding runs over the system's abstraction. These provide a very faithful approximation of concrete runs on the desired level of granularity, at a low cost. Our experiments demonstrate the speedups in the simulations while preserving key dynamical as well as quantitative properties.


title: Sandwich cellularity and a version of cell theory

abstract: We explain how the theory of sandwich cellular algebras can be seen as a version of cell theory for algebras. We apply this theory to many examples such as Hecke algebras, and various monoid and diagram algebras.


title: Matching Pursuit Based Scheduling for Over-the-Air Federated Learning

abstract: This paper develops a class of low-complexity device scheduling algorithms for over-the-air federated learning via the method of matching pursuit. The proposed scheme tracks closely the close-to-optimal performance achieved by difference-of-convex programming, and outperforms significantly the well-known benchmark algorithms based on convex relaxation. Compared to the state-of-the-art, the proposed scheme poses a drastically lower computational load on the system: For $K$ devices and $N$ antennas at the parameter server, the benchmark complexity scales with $\left(N^2+K\right)^3 + N^6$ while the complexity of the proposed scheme scales with $K^p N^q$ for some $0 < p,q \leq 2$. The efficiency of the proposed scheme is confirmed via numerical experiments on the CIFAR-10 dataset.


title: Exploring speaker enrolment for few-shot personalisation in emotional vocalisation prediction

abstract: In this work, we explore a novel few-shot personalisation architecture for emotional vocalisation prediction. The core contribution is an `enrolment' encoder which utilises two unlabelled samples of the target speaker to adjust the output of the emotion encoder; the adjustment is based on dot-product attention, thus effectively functioning as a form of `soft' feature selection. The emotion and enrolment encoders are based on two standard audio architectures: CNN14 and CNN10. The two encoders are further guided to forget or learn auxiliary emotion and/or speaker information. Our best approach achieves a CCC of $.650$ on the ExVo Few-Shot dev set, a $2.5\%$ increase over our baseline CNN14 CCC of $.634$.


title: Statistics of rogue waves in isotropic wave fields

abstract: We investigate the statistics of rogue waves occurring in the inverse cascade of surface gravity wave turbulence. In such statistically homogeneous, stationary and isotropic wave fields, low-frequency waves are generated by nonlinear interactions rather than directly forced by a wave maker. This provides a laboratory realization of arguably the simplest nonlinear sea state, in which long-time acquisitions are performed and compared with theoretical models. The analysis of thousands of rogue waves reveals that some of their properties crucially depend on four-wave resonant interactions, large crests being for instance more likely than predicted by second-order models.


title: Logarithmic vs Andrade's transient creep: the role of elastic stress redistribution

abstract: Creep is defined as time-dependent deformation and rupture processes taking place within a material subjected to a constant applied stress smaller than its athermal, time-independent strength. This time-dependence is classically attributed to thermal activation of local deformation events. The phenomenology of creep is characterized by several ubiquitous but empirical rheological and scaling laws. We focus here on primary creep following the onset of loading, for which a power law decay of the strain-rate is observed, with the exponent p varying between '0.4 and 1, this upper bound defining the so-called logarithmic creep. Although this phenomenology is known for more than a century, the physical origin of Andrade-like (p <1) creep remains unclear and debated. Here we show that p <1 values arise from the interplay between thermal activation and elastic stress redistribution. The latter stimulates creep dynamics from a shortening of waiting times between successive events, is associated to material damage and possibly, at high temperature and/or stresses, gives rise to avalanches of deformation events.


title: Redefined vacuum approach and gauge-invariant subsets in two-photon-exchange diagrams for a closed-shell system with a valence electron

abstract: The two-photon-exchange diagrams for atoms with single valence electrons are investigated. Calculation formulas are derived for an arbitrary state within the rigorous bound-state QED framework utilizing the redefined vacuum formalism. In contrast to other methods, the redefined vacuum approach enables the identification of eight gauge-invariant subsets and, thus, efficiently checks the consistency of the obtained results. The gauge invariance of found subsets is demonstrated both analytically (for an arbitrary state) as well as numerically for 2s, 2p1/2, and 2p3/2 valence electrons in Li-like ions. Identifying gauge-invariant subsets in the framework of the proposed approach opens a way to tackle more complex diagrams, e.g., three-photon exchange, where the fragmentation on simpler subsets is crucial for its successful calculation.


title: A Pattern Matching-Based Framework for Quantum Circuit Rewriting

abstract: The realization of quantum algorithms relies on specific quantum compilations according to the underlying quantum processors. However, there are various ways to physically implement qubits in different physical devices and manipulate those qubits. These differences lead to different communication methods and connection topologies, with each vendor implementing its own set of primitive gates. Therefore, quantum circuits have to be rewritten or transformed in order to be transplanted from one platform to another. We propose a pattern matching-based framework for rewriting quantum circuits, called QRewriting. It takes advantage of a new representation of quantum circuits using symbol sequences. Unlike the traditional way of using directed acyclic graphs, the new representation allows us to easily identify the patterns that appear non-consecutively but reducible. Then, we convert the problem of pattern matching into that of finding distinct subsequences and propose a polynomial-time dynamic programming-based pattern matching and replacement algorithm. We develop a rule library for basic optimizations and use it to rewrite the Arithmetic and Toffoli benchmarks from the $G_{IBM}$ gate set to the $G_{Sur}$ gate set. Compared with the existing tool PaF, QRewriting obtains an improvement of reducing depths (resp. gate counts) by 29\% (resp. 14\%).


title: Causal Discovery for Fairness

abstract: It is crucial to consider the social and ethical consequences of AI and ML based decisions for the safe and acceptable use of these emerging technologies. Fairness, in particular, guarantees that the ML decisions do not result in discrimination against individuals or minorities. Identifying and measuring reliably fairness/discrimination is better achieved using causality which considers the causal relation, beyond mere association, between the sensitive attribute (e.g. gender, race, religion, etc.) and the decision (e.g. job hiring, loan granting, etc.). The big impediment to the use of causality to address fairness, however, is the unavailability of the causal model (typically represented as a causal graph). Existing causal approaches to fairness in the literature do not address this problem and assume that the causal model is available. In this paper, we do not make such assumption and we review the major algorithms to discover causal relations from observable data. This study focuses on causal discovery and its impact on fairness. In particular, we show how different causal discovery approaches may result in different causal models and, most importantly, how even slight differences between causal models can have significant impact on fairness/discrimination conclusions. These results are consolidated by empirical analysis using synthetic and standard fairness benchmark datasets. The main goal of this study is to highlight the importance of the causal discovery step to appropriately address fairness using causality.


title: Bandwidth Enables Generalization in Quantum Kernel Models

abstract: Quantum computers are known to provide speedups over classical state-of-the-art machine learning methods in some specialized settings. For example, quantum kernel methods have been shown to provide an exponential speedup on a learning version of the discrete logarithm problem. Understanding the generalization of quantum models is essential to realizing similar speedups on problems of practical interest. Recent results demonstrate that generalization is hindered by the exponential size of the quantum feature space. Although these results suggest that quantum models cannot generalize when the number of qubits is large, in this paper we show that these results rely on overly restrictive assumptions. We consider a wider class of models by varying a hyperparameter that we call quantum kernel bandwidth. We analyze the large-qubit limit and provide explicit formulas for the generalization of a quantum model that can be solved in closed form. Specifically, we show that changing the value of the bandwidth can take a model from provably not being able to generalize to any target function to good generalization for well-aligned targets. Our analysis shows how the bandwidth controls the spectrum of the kernel integral operator and thereby the inductive bias of the model. We demonstrate empirically that our theory correctly predicts how varying the bandwidth affects generalization of quantum models on challenging datasets, including those far outside our theoretical assumptions. We discuss the implications of our results for quantum advantage in machine learning.


title: Resolving an ambiguity of Higgs couplings in the FSM, greatly improving thereby the model's predictive range and prospects

abstract: We show that, after resolving what was thought to be an ambiguity in the Higgs coupling, the FSM gives, apart from two extra terms (i) and (ii) to be specified below, an effective action in the standard sector which has the same form as the SM action, the two differing only in the values of the mass and mixing parameters of quarks and leptons which the SM takes as inputs from experiment while the FSM obtains as a result of a fit with a few parameters. Hence, to the accuracy that these two sets of parameters agree in value, and they do to a good extent as shown in earlier work, the FSM should give the same result as the SM in all the circumstances wherethe latter has been successfully applied, except for the noted modifications due to (i) and (ii). If so, it would be a big step forward for the FSM. The correction terms are: (i) a mixing between the SM's $\gamma - Z$ with a new vector boson in the hidden sector, (ii) a mixing between the standard Higgs with a new scalar boson also in the hidden sector. And these have been shown a few years back to lead to (i$'$) an enhancement of the $W$ mass over the SM value \cite{zmixed}, and (ii$'$) effects consistent with the $g - 2$ and some other anomalies, precisely the two deviations from the SM reported by experiments \cite{Wmassnew,g-2new} recently much in the news.


title: Inference of neutrino nature and Majorana CP phases from $0\nu\beta\beta$ decays with inverted mass ordering

abstract: Whether the neutrino mass ordering is normal or inverted remains an experimentally open issue in neutrino physics. The knowledge of neutrino mass ordering has great importance for neutrinoless double-beta ($ 0\nu\beta\beta$) decay experiments, which can establish the nature of massive neutrinos, i.e., whether they are Dirac or Majorana fermions. Recently, the KamLAND-Zen 800 measurement has reached for the first time the parameter space of the inverted ordering with a vanishing lightest neutrino mass. By assuming the inverted ordering, we attempt to derive the physical information of the neutrino nature and Majorana CP phases from a negative or positive observation of $ 0\nu\beta\beta$ decays in the near future. Moreover, the possibility of extracting the nuclear matrix element in the case of a positive observation is also examined. To avoid the ambiguity from unknown priors of neutrino masses, we adopt the maximum likelihood method instead of the Bayesian approach usually considered in previous works.


title: Some torsion-free solvable groups with few subquotients

abstract: We construct finitely generated torsion-free solvable groups $G$ that have infinite rank, but such that all finitely generated torsion-free metabelian subquotients of $G$ are virtually abelian. In particular all finitely generated metabelian subgroups of $G$ are virtually abelian. The existence of such groups shows that there is no "torsion-free version" of P. Kropholler's theorem, which characterises solvable groups of infinite rank via their metabelian subquotients.


title: Local well-posedness for the inhomogeneous biharmonic nonlinear Schr\"{o}dinger equation in Sobolev spaces

abstract: In this paper, we study the Cauchy problem for the inhomogeneous biharmonic nonlinear Schr\"{o}dinger (IBNLS) equation \[iu_{t} +\Delta^{2} u=\lambda |x|^{-b}|u|^{\sigma}u,~u(0)=u_{0} \in H^{s} (\mathbb R^{d}),\] where $d\in \mathbb N$, $s\ge 0$, $0<b<4$, $\sigma>0$ and $\lambda \in \mathbb R$. Under some regularity assumption for the nonlinear term, we prove that the IBNLS equation is locally well-posed in $H^{s}(\mathbb R^{d})$ if $d\in \mathbb N$, $0\le s <\min \{2+\frac{d}{2},\frac{3}{2}d\}$, $0<b<\min\{4,d,\frac{3}{2}d-s,\frac{d}{2}+2-s\}$ and $0<\sigma< \sigma_{c}(s)$. Here $\sigma_{c}(s)=\frac{8-2b}{d-2s}$ if $s<\frac{d}{2}$, and $\sigma_{c}(s)=\infty$ if $s\ge \frac{d}{2}$. Our local well-posedness result improves the ones of Guzm\'{a}n-Pastor [Nonlinear Anal. Real World Appl. 56 (2020) 103174] and Liu-Zhang [J. Differential Equations 296 (2021) 335-368] by extending the validity of $s$ and $b$.


title: Effect of Non-local Grazing on Dry-land Vegetation Dynamics

abstract: Dry-land ecosystem has turned into a matter of grave concern, due to growing threat of land degradation and bioproductivity-loss. Self-organized vegetation patterns are a remarkable characteristic of these ecosystems; apart from being visually captivating, patterns modulate the system-response to increasing environmental stress. Empirical studies hinted that herbivory is one the key regulatory mechanism behind pattern formation and overall ecosystem functioning. However most of the mathematical models have taken a mean-field strategy to grazing; foraging has been considered to be independent of spatial distribution of vegetation. To this end, an extended version of the celebrated plant-water model due to Klausmeier, has been taken as the base here. To encompass the effect of heterogeneous vegetation distribution on foraging intensity and subsequent impact on entire ecosystem, grazing is considered here to depend on spatially weighted average vegetation density, instead of density at a particular point. Moreover, varying influence of vegetation at any location over gazing elsewhere, is incorporated by choosing suitable averaging function. A comprehensive analysis demonstrates that inclusion of spatial non-locality, alters the understanding of system dynamics significantly. The grazing ecosystem is found to be more resilient to increasing aridity than it was anticipated to be in earlier studies on non-local grazing. The system-response to rising environmental pressure is also observed to vary depending on the grazer. Obtained results also suggest possibility of multi-stability due the history-dependence of system-response. Overall, this work indicates that the spatial heterogeneity in grazing intensity has a decisive role to play in the functioning of water-limited ecosystems.


title: COVIDHunter: COVID-19 pandemic wave prediction and mitigation via seasonality-aware modeling

abstract: Early detection and isolation of COVID-19 patients are essential for successful implementation of mitigation strategies and eventually curbing the disease spread. With a limited number of daily COVID-19 tests performed in every country, simulating the COVID-19 spread along with the potential effect of each mitigation strategy currently remains one of the most effective ways in managing the healthcare system and guiding policy-makers. We introduce COVIDHunter, a flexible and accurate COVID-19 outbreak simulation model that evaluates the current mitigation measures that are applied to a region, predicts COVID-19 statistics (the daily number of cases, hospitalizations, and deaths), and provides suggestions on what strength the upcoming mitigation measure should be. The key idea of COVIDHunter is to quantify the spread of COVID-19 in a geographical region by simulating the average number of new infections caused by an infected person considering the effect of external factors, such as environmental conditions (e.g., climate, temperature, humidity), different variants of concern, vaccination rate, and mitigation measures. Using Switzerland as a case study, COVIDHunter estimates that we are experiencing a deadly new wave that will peak on 26 January 2022, which is very similar in numbers to the wave we had in February 2020. The policy-makers have only one choice that is to increase the strength of the currently applied mitigation measures for 30 days. Unlike existing models, the COVIDHunter model accurately monitors and predicts the daily number of cases, hospitalizations, and deaths due to COVID-19. Our model is flexible to configure and simple to modify for modeling different scenarios under different environmental conditions and mitigation measures. We release the source code of the COVIDHunter implementation at https://github.com/CMU-SAFARI/COVIDHunter.


title: ET White Paper: To Find the First Earth 2.0

abstract: We propose to develop a wide-field and ultra-high-precision photometric survey mission, temporarily named "Earth 2.0 (ET)". This mission is designed to measure, for the first time, the occurrence rate and the orbital distributions of Earth-sized planets. ET consists of seven 30cm telescopes, to be launched to the Earth-Sun's L2 point. Six of these are transit telescopes with a field of view of 500 square degrees. Staring in the direction that encompasses the original Kepler field for four continuous years, this monitoring will return tens of thousands of transiting planets, including the elusive Earth twins orbiting solar-type stars. The seventh telescope is a 30cm microlensing telescope that will monitor an area of 4 square degrees toward the galactic bulge. This, combined with simultaneous ground-based KMTNet observations, will measure masses for hundreds of long-period and free-floating planets. Together, the transit and the microlensing telescopes will revolutionize our understandings of terrestrial planets across a large swath of orbital distances and free space. In addition, the survey data will also facilitate studies in the fields of asteroseismology, Galactic archeology, time-domain sciences, and black holes in binaries.

categories: astro-ph.IM astro-ph.EP astro-ph.GA astro-ph.HE astro-ph.SR


title: ISLES 2022: A multi-center magnetic resonance imaging stroke lesion segmentation dataset

abstract: Magnetic resonance imaging (MRI) is a central modality for stroke imaging. It is used upon patient admission to make treatment decisions such as selecting patients for intravenous thrombolysis or endovascular therapy. MRI is later used in the duration of hospital stay to predict outcome by visualizing infarct core size and location. Furthermore, it may be used to characterize stroke etiology, e.g. differentiation between (cardio)-embolic and non-embolic stroke. Computer based automated medical image processing is increasingly finding its way into clinical routine. Previous iterations of the Ischemic Stroke Lesion Segmentation (ISLES) challenge have aided in the generation of identifying benchmark methods for acute and sub-acute ischemic stroke lesion segmentation. Here we introduce an expert-annotated, multicenter MRI dataset for segmentation of acute to subacute stroke lesions. This dataset comprises 400 multi-vendor MRI cases with high variability in stroke lesion size, quantity and location. It is split into a training dataset of n=250 and a test dataset of n=150. All training data will be made publicly available. The test dataset will be used for model validation only and will not be released to the public. This dataset serves as the foundation of the ISLES 2022 challenge with the goal of finding algorithmic methods to enable the development and benchmarking of robust and accurate segmentation algorithms for ischemic stroke.


title: Fate of charge order in overdoped La-based cuprates

abstract: In high-temperature cuprate superconductors, stripe order refers broadly to a coupled spin and charge modulation with a commensuration of eight and four lattice units, respectively. How this stripe order evolves across optimal doping remains a controversial question. Here we present a systematic resonant inelastic x-ray scattering (RIXS) study of weak charge correlations in La2-xSrxCuO4 (LSCO) and La1.8-xEu0.2SrxCuO4 (LESCO). Ultra high energy resolution experiments demonstrate the importance of the separation of inelastic and elastic scattering processes. Upon increasing doping x, the long-range temperature dependent stripe order is found to be replaced by short-range temperature independent correlations at a critical point xc = 0.15 distinct from the pseudogap critical doping. We argue that the doping and temperature independent short-range correlations originate from unresolved electron-phonon coupling that broadly peaks at the stripe ordering vector. In LSCO, long-range static stripe order vanishes in a quantum critical point around optimal doping.


title: Accurate measurement of the Sagnac effect for matter waves

abstract: A rotating interferometer with paths that enclose a physical area exhibits a phase shift proportional to this area and to the rotation rate of the frame. Understanding the origin of this so-called Sagnac effect has played a key role in the establishment of the theory of relativity and has pushed for the development of precision optical interferometers.The fundamental importance of the Sagnac effect motivated the realization of experiments to test its validity for waves beyond optical, but precision measurements remained a challenge.Here we report the accurate test of the Sagnac effect for matter waves, by using a Cesium-atom interferometer featuring a geometrical area of 11 cm$^2$ and two sensitive axes of measurements. We measure the phase shift induced by the Earth's rotation and find agreement with the theoretical prediction at an accuracy level of 25 ppm. Beyond the importance for fundamental physics, our work opens practical applications in seismology and geodesy.


title: Optical isolators based on non-reciprocal four-wave mixing

abstract: In this work we propose and theoretically characterize optical isolators consisting of an all-dielectric and non-magnetic resonator featuring an intensity-dependent refractive index and a strong coherent field propagating in a single direction. Such devices can be straightforwardly realized in state-of-the-art integrated photonics platforms. The mechanism underlying optical isolation is based on the breaking of optical reciprocity induced by the asymmetric action of four-wave mixing processes coupling a strong propagating pump field with co-propagating signal/idler modes but not with reverse-propagating ones. Taking advantage of a close analogy with fluids of light, our proposed isolation mechanism is physically understood in terms of the Bogoliubov dispersion of collective excitations on top of the strong pump beam. A few most relevant set-ups realizing our proposal are specifically investigated, such as a coherently illuminated passive ring resonator and unidirectionally lasing ring or Taiji resonators.


title: Tunnelling of a composite particle in presence of a magnetic field

abstract: We present a simple model of composite particle tunnelling through a rectangular potential barrier in presence of magnetic field. The exact numerical solution of the problem is provided and the applicability to real physical situations is discussed. Some qualitative features of tunnelling with no magnetic interaction are retained, but some new ones are also observed. The resonance peaks in transmission spectrum generally do not reach $100\%$ transmission probability when the magnetic field is turned on. We observe splitting and in some cases widening of transmission probability peaks. When the width $b$ of area with magnetic field is large, we observe oscillations of spin-flip probability with energy and $b$ which are caused by Larmor precession of spin about the vector of magnetic field. For some values of relevant parameters we also observe significant increase of tunnelling probability for low energies in the single particle case.


title: Generalizing experimental findings: identification beyond adjustments

abstract: We aim to generalize the results of a randomized controlled trial (RCT) to a target population with the help of some observational data. This is a problem of causal effect identification with multiple data sources. Challenges arise when the RCT is conducted in a context that differs from the target population. Earlier research has focused on cases where the estimates from the RCT can be adjusted by observational data in order to remove the selection bias and other domain specific differences. We consider examples where the experimental findings cannot be generalized by an adjustment and show that the generalization may still be possible by other identification strategies that can be derived by applying do-calculus. The obtained identifying functionals for these examples contain trapdoor variables of a new type. The value of a trapdoor variable needs to be fixed in the estimation and the choice of the value may have a major effect on the bias and accuracy of estimates, which is also seen in simulations. The presented results expand the scope of settings where the generalization of experimental findings is doable


title: Security of decoy-state quantum key distribution with correlated intensity fluctuations

abstract: One of the most prominent techniques to enhance the performance of practical quantum key distribution (QKD) systems with laser sources is the decoy-state method. Current decoy-state QKD setups operate at GHz repetition rates, a regime where memory effects in the modulators and electronics that control them create correlations between the intensities of the emitted pulses. This translates into information leakage about the selected intensities, which cripples a crucial premise of the decoy-state method, thus invalidating the use of standard security analyses. To overcome this problem, a novel security proof that exploits the Cauchy-Schwarz constraint has been introduced recently. Its main drawback is, however, that the achievable key rate is significantly lower than that of the ideal scenario without intensity correlations. Here, we improve this security proof technique by combining it with a fine-grained decoy-state analysis, which can deliver a tight estimation of the relevant parameters that determine the secret key rate. This results in a notable performance enhancement, being now the attainable distance double than that of previous analyses for certain parameter regimes. Also, we show that when the probability density function of the intensity fluctuations, conditioned on the current and previous intensity choices, is known, our approach provides a key rate very similar to the ideal scenario, which highlights the importance of an accurate experimental characterization of the correlations.


title: CNN-based Classification Framework for Lung Tissues with Auxiliary Information

abstract: Interstitial lung diseases are a large group of heterogeneous diseases characterized by different degrees of alveolitis and pulmonary fibrosis. Accurately diagnosing these diseases has significant guiding value for formulating treatment plans. Although previous work has produced impressive results in classifying interstitial lung diseases, there is still room for improving the accuracy of these techniques, mainly to enhance automated decision-making. In order to improve the classification precision, our study proposes a convolutional neural networks-based framework with auxiliary information. Firstly, ILD images are added with their medical information by re-scaling the original image in Hounsfield Units. Secondly, a modified CNN model is used to produce a vector of classification probability for each tissue. Thirdly, location information of the input image, consisting of the occurrence frequencies of different diseases in the CT scans on certain locations, is used to calculate a location weight vector. Finally, the Hadamard product between two vectors is used to produce a decision vector for the prediction. Compared to the state-of-the-art methods, the results using a publicly available ILD database show the potential of predicting these using different auxiliary information.


title: On the stochastic bifurcations regarding random iterations of polynomials of the form $z^{2} + c_{n}$

abstract: In this paper, we consider random iterations of polynomial maps $z^2 +c_n$ where $c_n$ are complex-valued independent random variables following the uniform distribution on the closed disk with center $c$ and radius $r$. The aim of this paper is twofold. First, we study the (dis)connectedness of random Julia sets. Here, we reveal the relationships between the bifurcation radius and connectedness of random Julia sets. Second, we investigate the bifurcation of our random iterations and give quantitative estimates of bifurcation parameters. In particular, we prove that for the central parameter $c = -1$, almost every random Julia set is totally disconnected with much smaller radial parameters $r$ than expected. We also introduce several open questions worth discussing.


title: Convexity of Charged Operators in CFTs with Multiple Abelian Symmetries

abstract: Motivated by the Weak Gravity Conjecture in the context of holography in AdS, it has been proposed that operators charged under global symmetries in CFTs, in three dimensions or higher, should satisfy certain convexity properties on their spectrum. A key element of this proposal is the charge at which convexity must appear, which was proposed to never be parametrically large. In this paper, we develop this constraint in the context of multiple Abelian global symmetries. We propose the statement that the convex directions in the multi-dimensional charge space should generate a sub-lattice of the total lattice of charged operators, such that the index of this sub-lattice cannot be made parametrically large. In the special case of two-dimensional CFTs, the index can be made parametrically large, which we prove by an explicit example. However, we also prove that in two dimensions there always exist convex directions generating a sub-lattice with an index bounded by the current levels of the global symmetry. Therefore, in two dimensions, the conjecture should be slightly modified to account for the current levels, and then it can be proven. In more than two dimensions, we show that the index of the sub-lattice generated by marginally convex charge vectors associated to BPS operators only, can be made parametrically large. However, we do not find evidence for parametric delay in convexity once all operators are considered.


title: Maximal discrete subgroups in unitary groups of operator algebras

abstract: We show that if a group G is mixed-identity-free, then the projective unitary group of its group von Neumann algebra contains a maximal discrete subgroup containing G. The proofs are elementary and make use of free probability theory. In addition, we clarify the situation for C*-algebras.


title: Task Transfer and Domain Adaptation for Zero-Shot Question Answering

abstract: Pretrained language models have shown success in various areas of natural language processing, including reading comprehension tasks. However, when applying machine learning methods to new domains, labeled data may not always be available. To address this, we use supervised pretraining on source-domain data to reduce sample complexity on domain-specific downstream tasks. We evaluate zero-shot performance on domain-specific reading comprehension tasks by combining task transfer with domain adaptation to fine-tune a pretrained model with no labelled data from the target task. Our approach outperforms Domain-Adaptive Pretraining on downstream domain-specific reading comprehension tasks in 3 out of 4 domains.


title: An analysis of retracted papers in Computer Science

abstract: Context: The retraction of research papers, for whatever reason, is a growing phenomenon. However, although retracted paper information is publicly available via publishers, it is somewhat distributed and inconsistent. Objective: The aim is to assess: (i) the extent and nature of retracted research in Computer Science (CS) (ii) the post-retraction citation behaviour of retracted works and (iii) the potential impact on systematic reviews and mapping studies. Method: We analyse the Retraction Watch database and take citation information from the Web of Science and Google scholar. Results: We find that of the 33,955 entries in the Retraction watch database (16 May 2022), 2,816 are classified as CS, i.e., approximately 8.3%. For CS, 56% of retracted papers, provide little or no information as to the reasons. This contrasts with 26% for other disciplines. There is also a remarkable disparity between different publishers, a tendency for multiple versions of a retracted paper over and above the Version of Record (VoR), and for new citations long after a paper is officially retracted. Conclusions: Unfortunately retraction seems to be a sufficiently common outcome for a scientific paper that we as a research community need to take it more seriously, e.g., standardising procedures and taxonomies across publishers and the provision of appropriate research tools. Finally, we recommend particular caution when undertaking secondary analyses and meta-analyses which are at risk of becoming contaminated by these problem primary studies.


title: Large solutions of degenerate and/or singular quasilinear elliptic equations in a ball

abstract: We consider local weak large solutions with its blow-up rate near the boundary to certain class of degenerate and/or singular quasilinear elliptic equation\\ ${\rm div}(d^{\alpha}(x,\partial{}B)\Phi_p(\nabla u)) = b(x)f(u)$ in a ball B, where $f$ is normalized regularly varying at infinity with index $\sigma+1>p-1,\ p>1$. In particular, how the asymptotic behavior of the solution changes over the varying index and degeneracy and/ or singularity present in the equation. We also include the second order blow-up rate for the corresponding semilinear problem.


title: Demand-driven design of bicycle infrastructure networks for improved urban bikeability

abstract: Cycling is a crucial part of sustainable urban transportation. Promoting cycling critically relies on a sufficiently developed bicycle infrastructure. However, designing efficient bike path networks constitutes a complex problem that requires balancing multiple constraints while still supporting all cycling demand. Here, we propose a framework to create families of efficient bike path networks by explicitly taking into account the demand distribution and cyclists' route choices based on safety preferences. By reversing the network formation process and iteratively removing bike paths from an initially complete bike path network and continually updating cyclists' route choices, we create a sequence of networks that is always adapted to the current cycling demand. We illustrate the applicability of this demand-driven planning scheme for two cities. A comparison of the resulting bike path networks with those created for homogenized demand enables us to quantify the importance of the demand distribution for network planning. The proposed framework may thus enable quantitative evaluation of the structure of current and planned bike path networks and support the demand-driven design of efficient infrastructures.


title: Guido Castelnuovo and his heritage: geometry, combinatorics, teaching

abstract: We approach Guido Castelnuovo's intellectual world by focusing on a trilogy of papers published in 1889 and by drawing a few remarks about Castelnuovo's scientific interests and attitudes.


title: Gaia DR3: Apsis III -- Non-stellar content and source classification

abstract: Context. As part of the third Gaia data release, we present the contributions of the non-stellar and classification modules from the eighth coordination unit (CU8) of the Data Processing and Analysis Consortium, which is responsible for the determination of source astrophysical parameters using Gaia data. This is the third in a series of three papers describing the work done within CU8 for this release. Aims. For each of the five relevant modules from CU8, we summarise their objectives, the methods they employ, their performance, and the results they produce for Gaia DR3. We further advise how to use these data products and highlight some limitations. Methods. The Discrete Source Classifier (DSC) module provides classification probabilities associated with five types of sources: quasars, galaxies, stars, white dwarfs, and physical binary stars. A subset of these sources are processed by the Outlier Analysis (OA) module, which performs an unsupervised clustering analysis, and then associates labels with the clusters to complement the DSC classification. The Quasi Stellar Object Classifier (QSOC) and the Unresolved Galaxy Classifier (UGC) determine the redshifts of the sources classified as quasar and galaxy by the DSC module. Finally, the Total Galactic Extinction (TGE) module uses the extinctions of individual stars determined by another CU8 module to determine the asymptotic extinction along all lines of sight for Galactic latitudes |b| > 5 deg. Results. Gaia DR3 includes 1591 million sources with DSC classifications; 56 million sources to which the OA clustering is applied; 1.4 million sources with redshift estimates from UGC; 6.4 million sources with QSOC redshift; and 3.1 million level 9 HEALPixes of size 0.013 squared degree, where the extinction is evaluated by TGE.


title: Conformal Off-policy Prediction

abstract: Off-policy evaluation is critical in a number of applications where new policies need to be evaluated offline before online deployment. Most existing methods focus on the expected return, define the target parameter through averaging and provide a point estimator only. In this paper, we develop a novel procedure to produce reliable interval estimators for a target policy's return starting from any initial state. Our proposal accounts for the variability of the return around its expectation, focuses on the individual effect and offers valid uncertainty quantification. Our main idea lies in designing a pseudo policy that generates subsamples as if they were sampled from the target policy so that existing conformal prediction algorithms are applicable to prediction interval construction. Our methods are justified by theories, synthetic data and real data from short-video platforms.


title: Visual Radial Basis Q-Network

abstract: While reinforcement learning (RL) from raw images has been largely investigated in the last decade, existing approaches still suffer from a number of constraints. The high input dimension is often handled using either expert knowledge to extract handcrafted features or environment encoding through convolutional networks. Both solutions require numerous parameters to be optimized. In contrast, we propose a generic method to extract sparse features from raw images with few trainable parameters. We achieved this using a Radial Basis Function Network (RBFN) directly on raw image. We evaluate the performance of the proposed approach for visual extraction in Q-learning tasks in the Vizdoom environment. Then, we compare our results with two Deep Q-Network, one trained directly on images and another one trained on feature extracted by a pretrained auto-encoder. We show that the proposed approach provides similar or, in some cases, even better performances with fewer trainable parameters while being conceptually simpler.


title: X-ray polarization detection of Cassiopeia A with IXPE

abstract: We report on a $\sim 5\sigma$ detection of polarized 3-6 keV X-ray emission from the supernova remnant Cassiopeia A with the Imaging X-ray Polarimetry Explorer (IXPE). The overall polarization degree of $1.8 \pm 0.3$% is detected by summing over a large region, assuming circular symmetry for the polarization vectors. The measurements imply an average polarization degree for the synchrotron component of $\sim 2.5$%, and close to 5% for the X-ray synchrotron-domimated forward-shock region. These numbers are based on an assessment of the thermal and non-thermal radiation contributions, for which we used a detailed spatial-spectral model based on Chandra X-ray data. A pixel-by-pixel search for polarization provides a few tentative detections from discrete regions at the $\sim 3\sigma$ confidence level. Given the number of pixels, the significance is {insufficient} to claim a detection for individual pixels, but implies considerable turbulence on scales smaller than the angular resolution. Cas A's X-ray continuum emission is dominated by synchrotron radiation from regions within $\lesssim 10^{17}$ cm of the forward- and reverse shocks. We find that i) the measured polarization angle corresponds to a radially-oriented magnetic field, similar to what has been inferred from radio observations; ii) the X-ray polarization degree is lower than in the radio band ($\sim 5$%). Since shock compression should impose a tangential magnetic field structure, the IXPE results imply that magnetic-fields are reoriented within $\sim 10^{17}$cm of the shock. If the magnetic-field alignment is due to locally enhanced acceleration near quasi-parallel shocks, the preferred X-ray polarization angle suggests a size of $3\times 10^{16}$ cm for cells with radial magnetic fields.


title: Interpretable Gait Recognition by Granger Causality

abstract: Which joint interactions in the human gait cycle can be used as biometric characteristics? Most current methods on gait recognition suffer from the lack of interpretability. We propose an interpretable feature representation of gait sequences by the graphical Granger causal inference. Gait sequence of a person in the standardized motion capture format, constituting a set of 3D joint spatial trajectories, is envisaged as a causal system of joints interacting in time. We apply the graphical Granger model (GGM) to obtain the so-called Granger causal graph among joints as a discriminative and visually interpretable representation of a person's gait. We evaluate eleven distance functions in the GGM feature space by established classification and class-separability evaluation metrics. Our experiments indicate that, depending on the metric, the most appropriate distance functions for the GGM are the total norm distance and the Ky-Fan 1-norm distance. Experiments also show that the GGM is able to detect the most discriminative joint interactions and that it outperforms five related interpretable models in correct classification rate and in Davies-Bouldin index. The proposed GGM model can serve as a complementary tool for gait analysis in kinesiology or for gait recognition in video surveillance.


title: Semi-signed prioritized neural fitting for surface reconstruction from unoriented point clouds

abstract: Reconstructing 3D geometry from \emph{unoriented} point clouds can benefit many downstream tasks. Recent shape modeling methods mostly adopt implicit neural representation to fit a signed distance field (SDF) and optimize the network by \emph{unsigned} supervision. However, these methods occasionally have difficulty in finding the coarse shape for complicated objects, especially suffering from the ``ghost'' surfaces (\ie, fake surfaces that should not exist). To guide the network quickly fit the coarse shape, we propose to utilize the signed supervision in regions that are obviously outside the object and can be easily determined, resulting in our semi-signed supervision. To better recover high-fidelity details, a novel importance sampling based on tracked region losses and a progressive positional encoding (PE) prioritize the optimization towards underfitting and complicated regions. Specifically, we voxelize and partition the object space into \emph{sign-known} and \emph{sign-uncertain} regions, in which different supervisions are applied. Besides, we adaptively adjust the sampling rate of each voxel according to the tracked reconstruction loss, so that the network can focus more on the complicated under-fitting regions. To this end, we propose our semi-signed prioritized (SSP) neural fitting, and conduct extensive experiments to demonstrate that SSP achieves state-of-the-art performance on multiple datasets including the ABC subset and various challenging data. The code will be released upon the publication.


title: A Neural Network-Based Energy Management System for PV-Battery Based Microgrids

abstract: A neural network-based energy management system (NN-EMS) has been proposed in this paper for islanded ac microgrids fed by multiple PV-battery based distributed generators (DG). The stochastic and unequal irradiation results in unequal PV output, which causes an unequal state-of-charge (SoC) among the batteries of the DGs. This effect may cause the difference in the SoCs to increase considerably over time, leading to some batteries reaching their SoC limits. These batteries would no longer be able to control the dc-link of the hybrid grid forming DG. The proposed NN-EMS ensures SoC balancing by learning an optimal state-action mapping using the outputs of an optimal power flow (OPF). The training dataset has been generated by executing a mixed-integer linear programming based OPF for droop-based island microgrids considering a practical generation-load profile. The resultant NN-EMS controller inherits the information of optimal states and the network behaviour. Compared to traditional time-ahead centralized methods, the proposed strategy does not require accurate generation-load forecasting. Further, it can also respond to the variations in the PV power in near-real-time without resorting to solving an OPF. The proposed NN-EMS controller has been validated by case studies on a CIGRE LV microgrid containing PV-battery hybrid DGs. The proposed concept can also be extended to synthesize decentralized controllers that can cooperate among themselves to achieve a global objective without communication.


title: Magnetic Field of Molecular Gas Measured with the Velocity Gradient Technique I. Orion A

abstract: Magnetic fields play an important role in the evolution of molecular clouds and star formation. Using the Velocity Gradient Technique (VGT) model, we measured the magnetic field in Orion A using the 12CO, 13CO, and C18O (1-0) emission lines at a scale of 0.07 pc. The measured B-field shows an east-west orientation that is perpendicular to the integral shaped filament of Orion A at large scale. The VGT magnetic fields obtained from 13CO and C18O are in agreement with the B-field that is measured from the Planck 353 GHz dust polarization at a scale of 0.55 pc. Removal of density effects by using a Velocity Decomposition Algorithm can significantly improve the accuracy of the VGT in tracing magnetic fields with the 12CO (1-0) line. The magnetic field strength of seven sub-clouds, OMC-1, OMC-2, OMC-3, OMC-4, OMC-5, L 1641-N, and NGC 1999 has also been estimated with the Davis-Chandrasekhar-Fermi (DCF) and MM2 technique, and these are found to be in agreement with previous results obtained from dust polarization at far-infrared and sub-millimeter wavelengths. At smaller scales, the VGT proves a good method to measure magnetic fields.


title: Probing of large interfacial contribution to spin orbit coupling in CoFeB/Ta heterostructure by ultrafast THz emission spectroscopy

abstract: Ultrafast THz radiation generation from ferromagnetic/nonmagnetic bilayer heterostructure-based spintronic emitters generally exploits the conversion from spin- to charge-current within the nonmagnetic layer and its interface with the ferromagnetic layer. Various possible sub-contributions to the underlying mechanism of inverse spin Hall effect for the THz emission from such structures, need to be exploited for not only investigating the intricacies at the fundamental level in the material properties themselves but also for improving their performance for broadband and high-power THz emission. Here, we report ultrafast THz emission from CoFeB/Ta bilayer at varying sample temperatures in a large range to unravel the role of intrinsic and extrinsic spin to charge conversion processes. In addition to an enhancement in the THz emission, its temperature dependence shows a THz signal polarity reversal if the CoFeB/Ta sample is annealed at an elevated temperature. We extract the behaviour of the spin Hall resistivity, determine the intrinsic spin Hall conductivity contribution in it and compare those with the standard Fe/Pt system. Our results clearly demonstrate a giant interfacial contribution to the overall spin Hall angle arising from the modified interface in the annealed CoFeB/Ta, where a sign reversal in the corresponding spin Hall angle is manifested from the THz amplitude variation with the temperature.


title: Stein Variational Goal Generation for adaptive Exploration in Multi-Goal Reinforcement Learning

abstract: In multi-goal Reinforcement Learning, an agent can share experience between related training tasks, resulting in better generalization for new tasks at test time. However, when the goal space has discontinuities and the reward is sparse, a majority of goals are difficult to reach. In this context, a curriculum over goals helps agents learn by adapting training tasks to their current capabilities. In this work we propose Stein Variational Goal Generation (SVGG), which samples goals of intermediate difficulty for the agent, by leveraging a learned predictive model of its goal reaching capabilities. The distribution of goals is modeled with particles that are attracted in areas of appropriate difficulty using Stein Variational Gradient Descent. We show that SVGG outperforms state-of-the-art multi-goal Reinforcement Learning methods in terms of success coverage in hard exploration problems, and demonstrate that it is endowed with a useful recovery property when the environment changes.


title: Deep Variational Implicit Processes

abstract: Implicit processes (IPs) are a generalization of Gaussian processes (GPs). IPs may lack a closed-form expression but are easy to sample from. Examples include, among others, Bayesian neural networks or neural samplers. IPs can be used as priors over functions, resulting in flexible models with well-calibrated prediction uncertainty estimates. Methods based on IPs usually carry out function-space approximate inference, which overcomes some of the difficulties of parameter-space approximate inference. Nevertheless, the approximations employed often limit the expressiveness of the final model, resulting, e.g., in a Gaussian predictive distribution, which can be restrictive. We propose here a multi-layer generalization of IPs called the Deep Variational Implicit process (DVIP). This generalization is similar to that of deep GPs over GPs, but it is more flexible due to the use of IPs as the prior distribution over the latent functions. We describe a scalable variational inference algorithm for training DVIP and show that it outperforms previous IP-based methods and also deep GPs. We support these claims via extensive regression and classification experiments. We also evaluate DVIP on large datasets with up to several million data instances to illustrate its good scalability and performance.


title: Mode-coupling effects in an optically-injected dual-wavelength laser

abstract: Lasers designed to emit at multiple and controllable modes, or multi-wavelength lasers, have the potential to become key building blocks for future microwave photonic technologies. While many interesting schemes relying on optical injection have been proposed, the nonlinear mode coupling between different modes of a multi-wavelength laser and their dynamical behavior under optical injection remains vastly unexplored. Here, we experimentally and numerically study the effect of optical injection around the suppressed mode of a dual12 wavelength laser and the resulting interactions with the dominant mode. We highlight a wavelength shift of the dominant mode triggered by injection locking of the suppressed mode and report a strong impact of the mode suppression ratio on the locking range. Finally, we show numerically that the cross-coupling parameter between the two modes might have a key role in this effect.


title: Specification sketching for Linear Temporal Logic

abstract: Virtually all verification and synthesis techniques assume that the formal specifications are readily available, functionally correct, and fully match the engineer's understanding of the given system. However, this assumption is often unrealistic in practice: formalizing system requirements is notoriously difficult, error-prone, and requires substantial training. To alleviate this severe hurdle, we propose a fundamentally novel approach to writing formal specifications, named specification sketching for Linear Temporal Logic (LTL). The key idea is that an engineer can provide a partial LTL formula, called an LTL sketch, where parts that are hard to formalize can be left out. Given a set of examples describing system behaviors that the specification should or should not allow, the task of a so-called sketching algorithm is then to complete a given sketch such that the resulting LTL formula is consistent with the examples. We show that deciding whether a sketch can be completed falls into the complexity class NP and present two SAT-based sketching algorithms. We also demonstrate that sketching is a practical approach to writing formal specifications using a prototype implementation.


title: Development of a hybrid method for stock trading based on TOPSIS, EMD and ELM

abstract: Deciding when to buy or sell a stock is not an easy task because the market is hard to predict, being influenced by political and economic factors. Thus, methodologies based on computational intelligence have been applied to this challenging problem. In this work, every day the stocks are ranked by technique for order preference by similarity to ideal solution (TOPSIS) using technical analysis criteria, and the most suitable stock is selected for purchase. Even so, it may occur that the market is not favorable to purchase on certain days, or even, the TOPSIS make an incorrect selection. To improve the selection, another method should be used. So, a hybrid model composed of empirical mode decomposition (EMD) and extreme learning machine (ELM) is proposed. The EMD decomposes the series into several sub-series, and thus the main omponent (trend) is extracted. This component is processed by the ELM, which performs the prediction of the next element of component. If the value predicted by the ELM is greater than the last value, then the purchase of the stock is confirmed. The method was applied in a universe of 50 stocks in the Brazilian market. The selection made by TOPSIS showed promising results when compared to the random selection and the return generated by the Bovespa index. Confirmation with the EMD-ELM hybrid model was able to increase the percentage of profit tradings.


title: Modelling Guidance in Software Engineering: A Systematic Literature Review

abstract: Despite potential benefits in Software Engineering (SE), adoption of software modelling in industry is low. Technical issues such as tool support have gained significant research before, but individual guidance and training have received little attention. As a first step towards providing the necessary guidance in modelling, we conduct a systematic literature review (SLR) to explore the current state of the art. We searched academic literature for modelling guidance, and selected 25 papers for full-text screening through three rounds of selection. We find research on modelling guidance to be fragmented, with inconsistent usage of terminology, and a lack of empirical validation or supporting evidence. We outline the different dimensions commonly used to provide guidance on software modelling. Additionally, we provide definitions of the three terms modelling method, style, and guideline as current literature lacks a well-defined distinction between them. These definitions can help distinguishing between important concepts and provide precise modelling guidance.


title: Automated SSIM Regression for Detection and Quantification of Motion Artefacts in Brain MR Images

abstract: Motion artefacts in magnetic resonance brain images can have a strong impact on diagnostic confidence. The assessment of MR image quality is fundamental before proceeding with the clinical diagnosis. Motion artefacts can alter the delineation of structures such as the brain, lesions or tumours and may require a repeat scan. Otherwise, an inaccurate (e.g. correct pathology but wrong severity) or incorrect diagnosis (e.g. wrong pathology) may occur. "\textit{Image quality assessment}" as a fast, automated step right after scanning can assist in deciding if the acquired images are diagnostically sufficient. An automated image quality assessment based on the structural similarity index (SSIM) regression through a residual neural network is proposed in this work. Additionally, a classification into different groups - by subdividing with SSIM ranges - is evaluated. Importantly, this method predicts SSIM values of an input image in the absence of a reference ground truth image. The networks were able to detect motion artefacts, and the best performance for the regression and classification task has always been achieved with ResNet-18 with contrast augmentation. The mean and standard deviation of residuals' distribution were $\mu=-0.0009$ and $\sigma=0.0139$, respectively. Whilst for the classification task in 3, 5 and 10 classes, the best accuracies were 97, 95 and 89\%, respectively. The results show that the proposed method could be a tool for supporting neuro-radiologists and radiographers in evaluating image quality quickly.


title: Existence Results for a Multipoint Fractional Boundary Value Problem in the Fractional Derivative Banach Space

abstract: We study a class of nonlinear implicit fractional differential equations subject to nonlocal boundary conditions expressed in terms of nonlinear integro-differential equations. Using the Krasnosel'skii fixed point theorem we prove, via the Kolmogorov--Riesz criteria, existence of solutions. The existence results are established in a specific fractional derivative Banach space and they are illustrated by two numerical examples.


title: On compact embbeded Weingarten hypersurfaces in warped products

abstract: We show that compact embedded starshaped $r$-convex hypersurfaces of certain warped products satisfying $H_r=aH+b$ with $a\geqslant 0$, $b>0$, where $H$ and $H_r$ are respectively the mean curvature and $r$-th mean curvature is a slice. In the case of space forms, we show that without the assumption of starshapedness, such Weingarten hypersurfaces are geodesic spheres. Finally, we prove that, in the case of space forms, if $Hr-aH-b$ is close to $0$ then the hypersurface is close to geodesic sphere for the Hausdorff distance. We also prove an anisotropic version of this stability result in the Euclidean space.


title: Bifurcation Theory of Attractors and Minimal Sets in D-Concave Nonautonomous Scalar Ordinary Differential Equations

abstract: Two one-parametric bifurcation problems for scalar nonautonomous ordinary differential equations are analyzed assuming the coercivity of the time-dependent function determining the equation and the concavity of its derivative with respect to the state variable. The skewproduct formalism leads to the analysis of the number and properties of the minimal sets and of the shape of the global attractor, whose abrupt variations determine the occurrence of local saddle-node, local transcritical and global pitchfork bifurcation points of minimal sets and of discontinuity points of the global attractor.


title: Injectivity conditions for STFT phase retrieval on $\mathbb{Z}$, $\mathbb{Z}_d$ and $\mathbb{R}^d$

abstract: We study the phase retrieval problem for the short-time Fourier transform on the groups $\mathbb{Z}$, $\mathbb{Z}_d$ and $\mathbb{R}^d$. As is well-known, phase retrieval is possible, once the window's ambiguity function vanishes nowhere. However, there are only few results for windows which don't meet this condition. The goal of this paper is to establish new and complete characterizations for phase retrieval with more general windows and compare them to existing results. For a fixed window, our uniqueness conditions usually only depend on the signal's support and are therefore easily comprehensible. Additionally, we discuss sharpness of both new and existing results by looking at various examples along the way.


title: Automated Precision Localization of Peripherally Inserted Central Catheter Tip through Model-Agnostic Multi-Stage Networks

abstract: Peripherally inserted central catheters (PICCs) have been widely used as one of the representative central venous lines (CVCs) due to their long-term intravascular access with low infectivity. However, PICCs have a fatal drawback of a high frequency of tip mispositions, increasing the risk of puncture, embolism, and complications such as cardiac arrhythmias. To automatically and precisely detect it, various attempts have been made by using the latest deep learning (DL) technologies. However, even with these approaches, it is still practically difficult to determine the tip location because the multiple fragments phenomenon (MFP) occurs in the process of predicting and extracting the PICC line required before predicting the tip. This study aimed to develop a system generally applied to existing models and to restore the PICC line more exactly by removing the MFs of the model output, thereby precisely localizing the actual tip position for detecting its disposition. To achieve this, we proposed a multi-stage DL-based framework post-processing the PICC line extraction result of the existing technology. The performance was compared by each root mean squared error (RMSE) and MFP incidence rate according to whether or not MFCN is applied to five conventional models. In internal validation, when MFCN was applied to the existing single model, MFP was improved by an average of 45%. The RMSE was improved by over 63% from an average of 26.85mm (17.16 to 35.80mm) to 9.72mm (9.37 to 10.98mm). In external validation, when MFCN was applied, the MFP incidence rate decreased by an average of 32% and the RMSE decreased by an average of 65\%. Therefore, by applying the proposed MFCN, we observed the significant/consistent detection performance improvement of PICC tip location compared to the existing model.


title: Learning Dense Features for Point Cloud Registration Using a Graph Attention Network

abstract: Point cloud registration is a fundamental task in many applications such as localization, mapping, tracking, and reconstruction. Successful registration relies on extracting robust and discriminative geometric features. Though existing learning based methods require high computing capacity for processing a large number of raw points at the same time, computational capacity limitation is not an issue thanks to the powerful parallel computing process using GPU. In this paper, we introduce a framework that efficiently and economically extracts dense features using a graph attention network for point cloud matching and registration (DFGAT). The detector of the DFGAT is responsible for finding highly reliable key points in large raw data sets. The descriptor of the DFGAT takes these keypoints combined with their neighbors to extract invariant density features in preparation for the matching. The graph attention network (GAT) uses the attention mechanism that enriches the relationships between point clouds. Finally, we consider this as an optimal transport problem and use the Sinkhorn algorithm to find positive and negative matches. We perform thorough tests on the KITTI dataset and evaluate the effectiveness of this approach. The results show that this method with the efficiently compact keypoint selection and description can achieve the best performance matching metrics and reach the highest success ratio of 99.88% registration in comparison with other state of the art approaches.


title: Universal growth of social groups: empirical analysis and modeling

abstract: Social groups are fundamental elements of any social system. Their emergence and evolution are closely related to the structure and dynamics of a social system. Research on social groups was primarily focused on the growth and the structure of the interaction networks of social system members and how members' group affiliation influences the evolution of these networks. The distribution of groups' size and how members join groups has not been investigated in detail. Here we combine statistical physics and complex network theory tools to analyze the distribution of group sizes in three data sets, Meetup groups based in London and New York and Reddit. We show that all three distributions exhibit log-normal behavior that indicates universal growth patterns in these systems. We propose a theoretical model that combines social and random diffusion of members between groups to simulate the roles of social interactions and members' interest in the growth of social groups. The simulation results show that our model reproduces growth patterns observed in empirical data. Moreover, our analysis shows that social interactions are more critical for the diffusion of members in online groups, such as Reddit, than in offline groups, such as Meetup. This work shows that social groups follow universal growth mechanisms that need to be considered in modeling the evolution of social systems.


title: Data-Driven Mirror Descent with Input-Convex Neural Networks

abstract: Learning-to-optimize is an emerging framework that seeks to speed up the solution of certain optimization problems by leveraging training data. Learned optimization solvers have been shown to outperform classical optimization algorithms in terms of convergence speed, especially for convex problems. Many existing data-driven optimization methods are based on parameterizing the update step and learning the optimal parameters (typically scalars) from the available data. We propose a novel functional parameterization approach for learned convex optimization solvers based on the classical mirror descent (MD) algorithm. Specifically, we seek to learn the optimal Bregman distance in MD by modeling the underlying convex function using an input-convex neural network (ICNN). The parameters of the ICNN are learned by minimizing the target objective function evaluated at the MD iterate after a predetermined number of iterations. The inverse of the mirror map is modeled approximately using another neural network, as the exact inverse is intractable to compute. We derive convergence rate bounds for the proposed learned mirror descent (LMD) approach with an approximate inverse mirror map and perform extensive numerical evaluation on various convex problems such as image inpainting, denoising, learning a two-class support vector machine (SVM) classifier and a multi-class linear classifier on fixed features.


title: Quantum Diamond Radio Frequency Signal Analyser based on Nitrogen-Vacancy centers

abstract: The fast development of radio-frequency (RF) technologies increases the need for compact, low consumption and broadband real-time RF spectral analyser. To overcome the electronic bottleneck encountered by electronic solutions, which limits the real time bandwidth to hundreds of MHz, we propose a new approach exploiting the quantum properties of the nitrogen-vacancy (NV) center in diamond. Here we describe a Quantum Diamond Signal Analyser (Q-DiSA) platform and characterize its performances. We successfully detect RF signals over a large tunable frequency range (25 GHz), a wide instantaneous bandwidth (up to 4 GHz), a MHz frequency resolution (down to 1 MHz), a ms temporal resolution and a large dynamic range (40 dB).


title: V-shaped action functional with delay

abstract: In this note we introduce the V-shaped action function with delay in a symplectization which is an intermediate action functional between Rabinowitz action functional and the V-shaped action functional. It lives on the same space as the V-shaped action functional but its gradient flow equation is a delay equation as in the case of Rabinowitz action functional. We show that there is a smooth interpolation between the V-shaped action functional and the V-shaped action functional with delay during which the critical points and its actions are fixed. On the other hand there is a bijection between gradient flow lines of the V-shaped action functional with delay and the ones of Rabinowitz action functional.


title: Neural-network quantum state tomography

abstract: We revisit the application of neural networks techniques to quantum state tomography. We confirm that the positivity constraint can be successfully implemented with trained networks that convert outputs from standard feed-forward neural networks to valid descriptions of quantum states. Any standard neural-network architecture can be adapted with our method. Our results open possibilities to use state-of-the-art deep-learning methods for quantum state reconstruction under various types of noise.


title: Adversarial Vulnerability of Randomized Ensembles

abstract: Despite the tremendous success of deep neural networks across various tasks, their vulnerability to imperceptible adversarial perturbations has hindered their deployment in the real world. Recently, works on randomized ensembles have empirically demonstrated significant improvements in adversarial robustness over standard adversarially trained (AT) models with minimal computational overhead, making them a promising solution for safety-critical resource-constrained applications. However, this impressive performance raises the question: Are these robustness gains provided by randomized ensembles real? In this work we address this question both theoretically and empirically. We first establish theoretically that commonly employed robustness evaluation methods such as adaptive PGD provide a false sense of security in this setting. Subsequently, we propose a theoretically-sound and efficient adversarial attack algorithm (ARC) capable of compromising random ensembles even in cases where adaptive PGD fails to do so. We conduct comprehensive experiments across a variety of network architectures, training schemes, datasets, and norms to support our claims, and empirically establish that randomized ensembles are in fact more vulnerable to $\ell_p$-bounded adversarial perturbations than even standard AT models. Our code can be found at https://github.com/hsndbk4/ARC.