title: Deployment of Elastic Virtual Hybrid Clusters Across Cloud Sites

abstract: Virtual clusters are widely used computing platforms than can be deployed in multiple cloud platforms. The ability to dynamically grow and shrink the number of nodes has paved the way for customised elastic computing both for High Performance Computing and High Throughput Computing workloads. However, elasticity is typically restricted to a single cloud site, thus hindering the ability to provision computational resources from multiple geographically distributed cloud sites. To this aim, this paper introduces an architecture of open-source components that coherently deploy a virtual elastic cluster across multiple cloud sites to perform large-scale computing. These hybrid virtual elastic clusters are automatically deployed and configured using an Infrastructure as Code (IaC) approach on a distributed hybrid testbed that spans different organizations, including on-premises and public clouds, supporting automated tunneling of communications across the cluster nodes with advanced VPN topologies. The results indicate that cluster-based computing of embarrassingly parallel jobs can benefit from hybrid virtual clusters that aggregate computing resources from multiple cloud back-ends and bring them together into a dedicated, albeit virtual network. The work presented in this article has been partially funded by the European Union's (EU) Horizon 2020 research project DEEP Hybrid-DataCloud (grant agreement No 777435).


title: Bennett and Stinespring, Together at Last

abstract: We present a universal construction that relates reversible dynamics on open systems to arbitrary dynamics on closed systems: the restriction affine completion of a monoidal restriction category quotiented by well-pointedness. This categorical completion encompasses both quantum channels, via Stinespring dilation, and classical computing, via Bennett's method. Moreover, in these two cases, we show how our construction can be essentially 'undone' by a further universal construction. This shows how both mixed quantum theory and classical computation rest on entirely reversible foundations.


title: The Euler characteristic of hypersurfaces in space forms and applications to isoparametric hypersurfaces

abstract: We revisit Allendoerfer-Weil's formula for the Euler characteristic of embedded hypersurfaces in constant sectional curvature manifolds, first taking some time to re-prove it while demonstrating techniques of [2] and then applying it to gain new understanding of isoparametric hypersurfaces.


title: Spectroscopic analysis of vibronic relaxation pathways in molecular spin qubit $[$Ho(W$_5$O$_{18}$)$_2]^{9-}$: sparse spectra are key

abstract: Molecular vibrations play a key role in magnetic relaxation processes of molecular spin qubits as they couple to spin states, leading to the loss of quantum information. Direct experimental determination of vibronic coupling is crucial to understand and control the spin dynamics of these nano-objects, which represent the limit of miniaturization for quantum devices. Herein, we measure the vibrational properties of the molecular spin qubit $[$Ho(W$_5$O$_{18}$)$_2]^{9-}$ by means of magneto-infrared spectroscopy. Our results allow us to unravel the vibrational decoherence pathways in combination with $ab$ $initio$ calculations including vibronic coupling. We observe field-induced spectral changes near 63 and 370 cm$^{-1}$ that are modeled in terms of $f$-manifold crystal field excitations activated by odd-symmetry vibrations. The overall extent of vibronic coupling in this system is limited by a transparency window in the phonon density of states that acts to keep the intramolecular vibrations and $M_J$ levels apart. These findings advance the understanding of vibronic coupling in molecular magnets, place significant constraints on the pattern of crystal field levels in these systems, and provide a strategy for designing molecular spin qubits with improved coherence lifetimes.


title: Some geometric properties of nonparametric $\mu$-surfaces in $\mathbb{R}^3$

abstract: Smooth solutions of the equation \[ \rm{div}\, \Bigg\{ \frac{g'\big(|\nabla u|\big)}{|\nabla u|} \nabla u \Bigg\} = 0 \] are considered generating nonparametric $\mu$-surfaces in $\mathbb{R}^3$, whenever $g$ is a function of linear growth satisfying in addition \[ \int_0^\infty s g''(s) d s < \infty \, . \] Particular examples are $\mu$-elliptic energy densities $g$ with exponent $\mu > 2$ (see [1]) and the minimal surfaces belong to the class of $3$-surfaces. Generalizing the minimal surface case we prove the closedness of a suitable differential form $\hat{N} \wedge d X$. As a corollary we find an asymptotic conformal parametrization generated by this differential form.


title: Analyzing supergranular power spectra using helioseismic normal-mode coupling

abstract: Normal-mode coupling is a technique applied to probe the solar interior using surface observations of oscillations. The technique, which is straightforward to implement, makes more use of the seismic information in the wavefield than other comparable local imaging techniques and therefore has the potential to significantly improve current capabilities. Here, we examine supergranulation power spectra using mode-coupling analyses of intermediate-to-high-degree modes by invoking a Cartesian-geometric description of wave propagation under the assumption that the localized patches are much smaller in size than the solar radius. We extract the supergranular power spectrum and compare the results with prior helioseismic studies. Measurements of the dispersion relation and life times of supergranulation, obtained using near surface modes (f and p$_1$), are in accord with the literature. We show that the cross-coupling between the p$_2$ and p$_3$ acoustic modes, which are capable of probing greater depths, are also sensitive to supergranulation.


title: Training Aware Sigmoidal Optimizer

abstract: Proper optimization of deep neural networks is an open research question since an optimal procedure to change the learning rate throughout training is still unknown. Manually defining a learning rate schedule involves troublesome time-consuming try and error procedures to determine hyperparameters such as learning rate decay epochs and learning rate decay rates. Although adaptive learning rate optimizers automatize this process, recent studies suggest they may produce overffiting and reduce performance when compared to fine-tuned learning rate schedules. Considering that deep neural networks loss functions present landscapes with much more saddle points than local minima, we proposed the Training Aware Sigmoidal Optimizer (TASO), which consists of a two-phases automated learning rate schedule. The first phase uses a high learning rate to fast traverse the numerous saddle point, while the second phase uses low learning rate to slowly approach the center of the local minimum previously found. We compared the proposed approach with commonly used adaptive learning rate schedules such as Adam, RMSProp, and Adagrad. Our experiments showed that TASO outperformed all competing methods in both optimal (i.e., performing hyperparameter validation) and suboptimal (i.e., using default hyperparameters) scenarios.


title: Gravitationally collapsing stars in $f(R)$ gravity

abstract: The gravitational dynamics of a collapsing matter configuration which is simultaneously radiating heat flux is studied in $f(R)$ gravity. Three particular functional forms in $f(R)$ gravity are considered to show that it is possible to envisage boundary conditions such that the end state of the collapse has a weak singularity and that the matter configuration radiates away all of its mass before collapsing to reach the central singularity.


title: Ballistic magnetic thermal transport coupled to phonons

abstract: Motivated by thermal conductivity experiments in spin chain compounds, we propose a phenomenological model to account for a ballistic magnetic transport coupled to a diffusive phononic one, along the line of the seminal two-temperature diffusive transport Sanders-Walton model. Although the expression for the effective thermal conductivity is identical to that of Sanders-Walton, the interpretation is entirely different, as the "magnetic conductivity" is replaced by an "effective transfer conductivity" between the magnetic and phononic component. This model also reveals the fascinating possibility of visualizing the ballistic character of magnetic transport, for appropriately chosen material parameters, as a two peak counter-propagating feature in the phononic temperature. It is also appropriate for the analysis of any thermal transport experiment involving a diffusive component coupled to a ballistic one.


title: The square integrable representations on generalized Weyl-Heisenberg groups

abstract: This paper presents the square integrable representations of generalized Weyl-Heisenberg group. We investigate the quasi regular representation of generalized Weyl-Heisenberg group. Moreover, we obtain a concrete from for admissible vector of this representation. Finally, we provide some examples to support our technical considerations.


title: New Hsiung-Minkowski identities

abstract: We find the first three most general Minkowski or Hsiung-Minkowski identities relating the total mean curvatures $H_i$, of degrees $i=1,2,3$, of a closed hypersurface $N$ immersed in a given orientable Riemannian manifold $M$ endowed with any given vector field $P$. Then we specialise the three identities to the case when $P$ is a position vector field. We further obtain that the classical Minkowski identity is natural to all Riemannian manifolds and, moreover, that a corresponding 1st degree Hsiung-Minkowski identity holds true for all Einstein manifolds. We apply the result to hypersurfaces with constant $H_1,H_2$.


title: Correlated composite approach to fractional quantum Hall effect via edge current

abstract: The fractional quantum Hall effect (FQHE) is extensively studied, but the explanation for Hall plateau widths and excitation energy gaps remains elusive. We study the effective theory of FQHE built upon experimental inputs of Hall current distribution, edge dynamics, and many-body correlations. We argue that correlated composites of integer spin, comprising electrons and their images, localized at the edge of the incompressible strip are the basic transport entity. We show in the lowest Landau level that Zeeman interactions of these composites produce all odd denominator plateaus and effective fractional charges. Utilizing field-dependent chemical potential and effective g-factor, we fully explain the observed Hall resistivity curve and excitation energy gaps of the half-filling family. The plateau heights are systematically generated by multi-particle correlations, whereas the plateau widths and excitation energy gaps are determined by the correlation strengths. We explicitly show that the Drude-like behavior at half-filling follows from equal strength of multi-particle correlations.


title: Quantifying necessary quantum resources for nonlocality

abstract: Nonlocality is one of the most important resources for quantum information protocols. The observation of nonlocal correlations in a Bell experiment is the result of appropriately chosen measurements and quantum states. We quantify the minimal purity to achieve a certain Bell value for any Bell operator. Since purity is the most fundamental resource of a quantum state, this enables us also to quantify the necessary coherence, discord, and entanglement for a given violation of two-qubit correlation inequalities. Our results shine new light on the CHSH inequality by showing that for a fixed Bell violation an increase in the measurement resources does not always lead to a decrease of the minimal state resources.


title: Asymptotic expansion at infinity of solutions of Monge-Amp\`ere type equations

abstract: We obtain a quantitative expansion at infinity of solutions for a kind of Monge-Amp\`ere type equations that origin from mean curvature equations of Lagrangian graph $(x,Du(x))$ and refine the previous study on zero mean curvature equations and the Monge-Amp\`ere equations.


title: High signal to noise absorption imaging of alkali atoms at moderate magnetic fields

abstract: We present an improved scheme for absorption imaging of alkali atoms at moderate magnetic fields, where the excited state is well in the Paschen-Back regime but the ground state hyperfine manifold is not. It utilizes four atomic levels to obtain an approximately closed optical cycle. With the resulting absorption of the corresponding two laser frequencies we extract the atomic column density of a $^{39}$K Bose-Einstein condensate. The scheme can be readily applied to all other alkali-like species.


title: Isometric Rigidity of compact Wasserstein spaces

abstract: Let $(X,d,\mathfrak{m})$ be a metric measure space. The study of the Wasserstein space $(\mathbb{P}_p(X),\mathbb{W}_p)$ associated to $X$ has proved useful in describing several geometrical properties of $X.$ In this paper we focus on the study of isometries of $\mathbb{P}_p(X)$ for $p \in (1,\infty)$ under the assumption that there is some characterization of optimal maps between measures, the so called Good transport behaviour $GTB_p$. Our first result states that the set of Dirac deltas is invariant under isometries of the Wasserstein space. Additionally we obtain that the isometry groups of the base Riemannian manifold $M$ coincides with the one of the Wasserstein space $\mathbb{P}_p(M)$ under assumptions on the manifold; namely, for $p=2$ that the sectional curvature is strictly positive and for general $p\in (1,\infty)$ that $M$ is a Compact Rank One Symmetric Space.


title: Distributed Newton Optimization with Maximized Convergence Rate

abstract: The distributed optimization problem is set up in a collection of nodes interconnected via a communication network. The goal is to find the minimizer of a global objective function formed by the addition of partial functions locally known at each node. A number of methods are available for addressing this problem, having different advantages. The goal of this work is to achieve the maximum possible convergence rate. As the first step towards this end, we propose a new method which we show converges faster than other available options. As with most distributed optimization methods, convergence rate depends on a step size parameter. As the second step towards our goal we complement the proposed method with a fully distributed method for estimating the optimal step size that maximizes convergence speed. We provide theoretical guarantees for the convergence of the resulting method in a neighborhood of the solution. Also, for the case in which the global objective function has a single local minimum, we provide a different step size selection criterion together with theoretical guarantees for convergence. We present numerical experiments showing that, when using the same step size, our method converges significantly faster than its rivals. Experiments also show that the distributed step size estimation method achieves an asymptotic convergence rate very close to the theoretical maximum.


title: Taylor Dispersion in Thin Liquid Films of Volatile Mixtures: A Quantitative Model for Marangoni Contraction

abstract: The Marangoni contraction of sessile droplets occurs when a binary mixture of volatile liquids is placed on a high-energy surface. Although the surface is wetted completely by the mixture and its components, a quasi-stationary non-vanishing contact angle is observed. This seeming contradiction is caused by Marangoni flows that are driven by evaporative depletion of the volatile component near the edge of the droplet. Here we show that the composition of such droplets is governed by Taylor dispersion, a consequence of diffusion and strong internal shear flow. We demonstrate that Taylor dispersion naturally arises in a self-consistent long wave expansion for volatile liquid mixtures. Coupled to diffusion limited evaporation, this model quantitatively reproduces not only the apparent shape of Marangoni-contracted droplets, but also their internal flows.


title: Three-fold Weyl points in the Schr\"odinger operator with periodic potentials

abstract: Weyl points are degenerate points on the spectral bands at which energy bands intersect conically. They are the origins of many novel physical phenomena and have attracted much attention recently. In this paper, we investigate the existence of such points in the spectrum of the 3-dimensional Schr\"{o}dinger operator $H = - \Delta +V(\textbf{x})$ with $V(\textbf{x})$ being in a large class of periodic potentials. Specifically, we give very general conditions on the potentials which ensure the existence of 3-fold Weyl points on the associated energy bands. Different from 2-dimensional honeycomb structures which possess Dirac points where two adjacent band surfaces touch each other conically, the 3-fold Weyl points are conically intersection points of two energy bands with an extra band sandwiched in between. To ensure the 3-fold and 3-dimensional conical structures, more delicate, new symmetries are required. As a consequence, new techniques combining more symmetries are used to justify the existence of such conical points under the conditions proposed. This paper provides comprehensive proof of such 3-fold Weyl points. In particular, the role of each symmetry endowed to the potential is carefully analyzed. Our proof extends the analysis on the conical spectral points to a higher dimension and higher multiplicities. We also provide some numerical simulations on typical potentials to demonstrate our analysis.


title: Dynamic and interpretable hazard-based models of traffic incident durations

abstract: Understanding and predicting the duration or "return-to-normal" time of traffic incidents is important for system-level management and optimisation of road transportation networks. Increasing real-time availability of multiple data sources characterising the state of urban traffic networks, together with advances in machine learning offer the opportunity for new and improved approaches to this problem that go beyond static statistical analyses of incident duration. In this paper we consider two such improvements: dynamic update of incident duration predictions as new information about incidents becomes available and automated interpretation of the factors responsible for these predictions. For our use case, we take one year of incident data and traffic state time-series from the M25 motorway in London. We use it to train models that predict the probability distribution of incident durations, utilising both time-invariant and time-varying features of the data. The latter allow predictions to be updated as an incident progresses, and more information becomes available. For dynamic predictions, time-series features are fed into the Match-Net algorithm, a temporal convolutional hitting-time network, recently developed for dynamical survival analysis in clinical applications. The predictions are benchmarked against static regression models for survival analysis and against an established dynamic technique known as landmarking and found to perform favourably by several standard comparison measures. To provide interpretability, we utilise the concept of Shapley values from the domain of interpretable artificial intelligence to rank the features most relevant to the model predictions at different time horizons. For example, the time of day is always a significantly influential time-invariant feature, whereas the time-series features strongly influence predictions at 5 and 60-minute horizons.


title: Understanding Transient Photoluminescence in Halide Perovskite Layer Stacks and Solar Cells

abstract: While transient photoluminescence measurements are a very popular tool to monitor the charge-carrier dynamics in the field of halide perovskite photovoltaics, interpretation of data obtained on multilayer samples is highly challenging due to the superposition of various effects that modulate the charge-carrier concentration in the perovskite layer and thereby the measured PL. These effects include bulk and interfacial recombination, charge transfer to electron or hole transport layers and capacitive charging or discharging. Here, numerical simulations with Sentauraus TCAD, analytical solutions and experimental data with a dynamic range of ~7 orders of magnitude on a variety of different sample geometries from perovskite films on glass to full devices are combined to present an improved understanding of this method. A presentation of the decay time of the TPL decay that follows from taking the derivative of the photoluminescence at every time is proposed. Plotting this decay time as a function of the time-dependent quasi-Fermi level splitting enables distinguishing between the different contributions of radiative and non-radiative recombination as well as charge extraction and capacitive effects to the decay.


title: Temperature induced collapse of spin dimensionality in magnetic metamaterials

abstract: Spin and spatial dimensionalities are universal concepts, essential for describing both phase transitions and dynamics in magnetic materials. Lately, these ideas have been adopted to describe magnetic properties of metamaterials, as well as to replicate and explore ensembles of mesospins belonging to different universality classes. Here, we take the next step by investigating magnetic metamaterials not conforming to the conventional framework of continuous phase transitions. Instead of a continuous decrease in the moment with temperature, discrete steps are possible, resulting in a binary transition in the interactions of the elements. The transition is enabled by nucleation and annihilation of vortex cores, shifting topological charges between the interior and the edges of the elements. Consequently, the mesospins can be viewed as shifting their spin dimensionality, from 2 (XY-like) to 0, (vortices) at the transition. The results provide insight into how dynamics at different length-scales couple, which can lead to thermally driven topological transitions in magnetic metamaterials.


title: A Sketching Framework for Reduced Data Transfer in Photon Counting Lidar

abstract: Single-photon lidar has become a prominent tool for depth imaging in recent years. At the core of the technique, the depth of a target is measured by constructing a histogram of time delays between emitted light pulses and detected photon arrivals. A major data processing bottleneck arises on the device when either the number of photons per pixel is large or the resolution of the time stamp is fine, as both the space requirement and the complexity of the image reconstruction algorithms scale with these parameters. We solve this limiting bottleneck of existing lidar techniques by sampling the characteristic function of the time of flight (ToF) model to build a compressive statistic, a so-called sketch of the time delay distribution, which is sufficient to infer the spatial distance and intensity of the object. The size of the sketch scales with the degrees of freedom of the ToF model (number of objects) and not, fundamentally, with the number of photons or the time stamp resolution. Moreover, the sketch is highly amenable for on-chip online processing. We show theoretically that the loss of information for compression is controlled and the mean squared error of the inference quickly converges towards the optimal Cram\'er-Rao bound (i.e. no loss of information) for modest sketch sizes. The proposed compressed single-photon lidar framework is tested and evaluated on real life datasets of complex scenes where it is shown that a compression rate of up-to 150 is achievable in practice without sacrificing the overall resolution of the reconstructed image.


title: New interaction potentials for alkaline earth silicate and borate glasses

abstract: Structure and properties of magnesium silicate and borate melts and glasses were investigated by using newly parameterized interaction potentials in molecular dynamics simulations and compared with those of calcium silicate and borate. The competition between the depolymerization of the silica network and the formation of new bonds with modifier ions leads to the enhancement of the elastic moduli with increasing modifier content in alkaline earth silicate glasses. Compared with calcium silicate, the higher elastic moduli of magnesium silicate result from a higher connectivity of the overall glass network due to the incorporation of fourfold coordinated magnesium and a more rigid connection between SiO4 tetrahedra and modifier ions. In contrast to the silicates, the effect of modifier content on the elastic moduli of alkaline earth borates is dominated by the fraction of fourfold coordinated boron (N4). Calcium borate with higher N4 shows a more rigid network structure and higher elastic moduli.


title: Multilevel Monte Carlo learning

abstract: In this work, we study the approximation of expected values of functional quantities on the solution of a stochastic differential equation (SDE), where we replace the Monte Carlo estimation with the evaluation of a deep neural network. Once the neural network training is done, the evaluation of the resulting approximating function is computationally highly efficient so that using deep neural networks to replace costly Monte Carlo integration is appealing, e.g., for near real-time computations in quantitative finance. However, the drawback of these nowadays widespread ideas lies in the fact that training a suitable neural network is likely to be prohibitive in terms of computational cost. We address this drawback here by introducing a multilevel approach to the training of deep neural networks. More precisely, we combine the deep learning algorithm introduced by Beck et al. with the idea of multilevel Monte Carlo path simulation of Giles. The idea is to train several neural networks, each having a certain approximation quality and computational complexity, with training data computed from so-called level estimators, introduced by Giles. We show that under certain assumptions, the variance in the training process can be reduced by shifting most of the computational workload to training neural nets at coarse levels where producing the training data sets is comparably cheap, whereas training the neural nets corresponding to the fine levels requires only a limited number of training data sets. We formulate a complexity theorem showing that the multilevel idea can indeed reduce computational complexity.


title: Ego-based Entropy Measures for Structural Representations on Graphs

abstract: Machine learning on graph-structured data has attracted high research interest due to the emergence of Graph Neural Networks (GNNs). Most of the proposed GNNs are based on the node homophily, i.e neighboring nodes share similar characteristics. However, in many complex networks, nodes that lie to distant parts of the graph share structurally equivalent characteristics and exhibit similar roles (e.g chemical properties of distant atoms in a molecule, type of social network users). A growing literature proposed representations that identify structurally equivalent nodes. However, most of the existing methods require high time and space complexity. In this paper, we propose VNEstruct, a simple approach, based on entropy measures of the neighborhood's topology, for generating low-dimensional structural representations, that is time-efficient and robust to graph perturbations. Empirically, we observe that VNEstruct exhibits robustness on structural role identification tasks. Moreover, VNEstruct can achieve state-of-the-art performance on graph classification, without incorporating the graph structure information in the optimization, in contrast to GNN competitors.


title: Newton-Krylov-BDDC deluxe solvers for non-symmetric fully implicit time discretizations of the Bidomain model

abstract: A novel theoretical convergence rate estimate for a Balancing Domain Decomposition by Constraints algorithm is proven for the solution of the cardiac Bidomain model, describing the propagation of the electric impulse in the cardiac tissue. The non-linear system arises from a fully implicit time discretization and a monolithic solution approach. The preconditioned non-symmetric operator is constructed from the linearized system arising within the Newton-Krylov approach for the solution of the non-linear problem; we theoretically analyze and prove a convergence rate bound for the Generalised Minimal Residual iterations' residual. The theory is confirmed by extensive parallel numerical tests, widening the class of robust and efficient solvers for implicit time discretizations of the Bidomain model.


title: Production of hidden-charm strange pentaquarks $P_{cs}$ from the $K^- \,p \to J/\psi \,\Lambda$ reaction

abstract: We investigate the production of the hidden-charm pentaquark $P_{cs}^0(4459)$ with strangeness in the $K^- p \to J/\psi \Lambda$ reaction, employing two different theoretical frameworks, i.e., the effective Lagrangian method and the Regge approach. Having determined all relevant coupling constants, we are able to compute the total and differential cross sections for the $K^- p \to J/\psi \Lambda$ reaction. We examine the contributions of $P_{cs}$ with different sets of spin-parity quantum number assigned. The present results may give a guide for possible future experiments.


title: Rate-Splitting Multiple Access for Multi-Antenna Broadcast Channel with Imperfect CSIT and CSIR

abstract: Rate-splitting multiple access (RSMA) has appeared as a powerful transmission and multiple access strategy for multi-user multi-antenna communications. Uniquely, this paper studies the optimization of the sum-rate of RSMA with imperfect channel state information (CSI) at the transmitter (CSIT) and the receivers (CSIR). The robustness of the RSMA approach against imperfect CSIT has been investigated in the previous studies while there has been no consideration for the effects of imperfect CSIR. This motivates us to develop a robust design relying on RSMA in the presence of both imperfect CSIT and CSIR. Since the optimization problem for the design of RSMA precoder and power allocations to maximize the sum-rate is non-convex, it is hard to solve directly. To tackle the non-convexity, we propose a novel alternating optimization algorithm based on semidefinite relaxation (SDR) and concave-convex procedure (CCCP) techniques. By comparing simulation results with conventional methods, it turns out that RSMA is quite robust to imperfect CSIR and CSIT, thereby improving the sum-rate performance.


title: IRS-Assisted Wireless Powered NOMA: Do We Really Need Different Phase Shifts in DL and UL?

abstract: Intelligent reflecting surface (IRS) is a promising technology to improve the performance of wireless powered communication networks (WPCNs) due to its capability to reconfigure signal propagation environments via smart reflection. In particular, the high passive beamforming gain promised by IRS can significantly enhance the efficiency of both downlink wireless power transfer (DL WPT) and uplink wireless information transmission (UL WIT) in WPCNs. Although adopting different IRS phase shifts for DL WPT and UL WIT, i.e., dynamic IRS beamforming, is in principle possible but incurs additional signaling overhead and computational complexity, it is an open problem whether it is actually beneficial. To answer this question, we consider an IRS-assisted WPCN where multiple devices employ a hybrid access point (HAP) to first harvest energy and then transmit information using non-orthogonal multiple access (NOMA). Specifically, we aim to maximize the sum throughput of all devices by jointly optimizing the IRS phase shifts and the resource allocation. To this end, we first prove that dynamic IRS beamforming is not needed for the considered system, which helps reduce the number of IRS phase shifts to be optimized. Then, we propose both joint and alternating optimization based algorithms to solve the resulting problem. Simulation results demonstrate the effectiveness of our proposed designs over benchmark schemes and also provide useful insights into the importance of IRS for realizing spectrally and energy efficient WPCNs.


title: Ultrafast nonlinear pulse propagation dynamics in metal-dielectric periodic photonic architectures

abstract: One-dimensional (1D) metal-dielectric (MD) periodic structures take advantage of large refractive index contrast between metal and dielectrics to invoke extremely high nonlinear ultrafast responses of metal. These structures are also special due to their extremely high laser damage threshold. The Bragg like 1D MD structure (Ag/SiO2)4 enables strong optical field confinement with much enhanced nonlinear features as compared to simple metal or single (Ag/SiO2)1 structure. In the present work, the ultrafast nonlinear optical responses of the above structures are investigated via femtosecond broadband optical pump-probe technique. The enhanced nonlinear optical absorption is of reverse saturation of absorption (RSA) nature, resulted due to free-carrier absorption (FCA) and excited-state absorption (ESA) processes. The spectral nonlinearities are closely related to the pump-induced modification of the metal's dielectric functions, which are qualitatively visualized by transfer matrix and two-temperature models. The ultrafast temporal evolution of nonlinear absorption clearly demonstrated enhanced optical nonlinearity, disentangled by the electron-electron and electron-phonon dynamic interactions at picosecond time scales. A phenomenological pulse propagation model is employed that incorporates the experimentally obtained nonlinear absorption coefficients and different nonlinear effects exhibited by the system. Nonlinearity plays a crucial role in controlling the ultrafast pulse propagation and could open a new window for many nonlinear device applications. The findings of these new optical materials could possibly pave the way for promising applications in ultrafast photonics.


title: Computing the Length of Sum of Squares and Pythagoras Element in a Global Field

abstract: This paper presents algorithms for computing the length of a sum of squares and a Pythagoras element in a global field $K$ of characteristic different from $2$. In the first part of the paper, we present algorithms for computing the length in a non-dyadic and dyadic (if $K$ is a number field) completion of $K$. These two algorithms serve as subsidiary steps for computing lengths in global fields. In the second part of the paper we present a procedure for constructing an element whose length equals the Pythagoras number of a global field, termed a Pythagoras element.


title: SPAN: a Simple Predict & Align Network for Handwritten Paragraph Recognition

abstract: Unconstrained handwriting recognition is an essential task in document analysis. It is usually carried out in two steps. First, the document is segmented into text lines. Second, an Optical Character Recognition model is applied on these line images. We propose the Simple Predict & Align Network: an end-to-end recurrence-free Fully Convolutional Network performing OCR at paragraph level without any prior segmentation stage. The framework is as simple as the one used for the recognition of isolated lines and we achieve competitive results on three popular datasets: RIMES, IAM and READ 2016. The proposed model does not require any dataset adaptation, it can be trained from scratch, without segmentation labels, and it does not require line breaks in the transcription labels. Our code and trained model weights are available at https://github.com/FactoDeepLearning/SPAN.


title: Wiener-Luxemburg amalgam spaces

abstract: In this paper we introduce the concept of Wiener-Luxemburg amalgam spaces which are a modification of the more classical Wiener amalgam spaces intended to address some of the shortcomings the latter face in the context of rearrangement-invariant Banach function spaces. We introduce the Wiener-Luxemburg amalgam spaces and study their properties, including (but nor limited to) their normability, embeddings between them and their associate spaces. We also study amalgams of quasi-Banach function spaces and introduce a necessary generalisation of the concept of associate spaces. We then apply this general theory to resolve the question whether the Hardy-Littlewood-P\'{o}lya principle holds for all r.i. quasi-Banach function spaces. Finally, we illustrate the asserted shortcomings of Wiener amalgam spaces by providing counterexamples to certain properties of Banach function spaces as well as rearrangement invariance.


title: Ramified covering maps and stability of pulled back bundles

abstract: Let $f:C\rightarrow D$ be a nonconstant separable morphism between irreducible smooth projective curves defined over an algebraically closed field. We say that $f$ is genuinely ramified if ${\mathcal O}_D$ is the maximal semistable subbundle of $f_*{\mathcal O}_C$ (equivalently, the homomorphism of etale fundamental groups is surjective). We prove that the pullback $f^*E\rightarrow C$ is stable for every stable vector bundle $E$ on $D$ if and only if $f$ is genuinely ramified.


title: Learning Occupancy Priors of Human Motion from Semantic Maps of Urban Environments

abstract: Understanding and anticipating human activity is an important capability for intelligent systems in mobile robotics, autonomous driving, and video surveillance. While learning from demonstrations with on-site collected trajectory data is a powerful approach to discover recurrent motion patterns, generalization to new environments, where sufficient motion data are not readily available, remains a challenge. In many cases, however, semantic information about the environment is a highly informative cue for the prediction of pedestrian motion or the estimation of collision risks. In this work, we infer occupancy priors of human motion using only semantic environment information as input. To this end we apply and discuss a traditional Inverse Optimal Control approach, and propose a novel one based on Convolutional Neural Networks (CNN) to predict future occupancy maps. Our CNN method produces flexible context-aware occupancy estimations for semantically uniform map regions and generalizes well already with small amounts of training data. Evaluated on synthetic and real-world data, it shows superior results compared to several baselines, marking a qualitative step-up in semantic environment assessment.


title: Faking photon number on a transition-edge sensor

abstract: We study potential security vulnerabilities of a single-photon detector based on superconducting transition-edge sensor. In a simple experiment, we show that an adversary could fake a photon number result at a certain wavelength by sending a larger number of photons at a longer wavelength. In another experiment, we show that the detector can be blinded by bright continuous-wave light and then, a controlled response simulating single-photon detection can be produced by applying a bright light pulse. We model an intercept-and-resend attack on a quantum key distribution system that exploits the latter vulnerability and, under certain assumptions, succeeds to steal the key.


title: Learning Visual Models using a Knowledge Graph as a Trainer

abstract: Traditional computer vision approaches, based on neural networks (NN), are typically trained on a large amount of image data. By minimizing the cross-entropy loss between a prediction and a given class label, the NN and its visual embedding space are learned to fulfill a given task. However, due to the sole dependence on the image data distribution of the training domain, these models tend to fail when applied to a target domain that differs from their source domain. To learn a more robust NN to domain shifts, we propose the knowledge graph neural network (KG-NN), a neuro-symbolic approach that supervises the training using image-data-invariant auxiliary knowledge. The auxiliary knowledge is first encoded in a knowledge graph with respective concepts and their relationships, which is then transformed into a dense vector representation via an embedding method. Using a contrastive loss function, KG-NN learns to adapt its visual embedding space and thus its weights according to the image-data invariant knowledge graph embedding space. We evaluate KG-NN on visual transfer learning tasks for classification using the mini-ImageNet dataset and its derivatives, as well as road sign recognition datasets from Germany and China. The results show that a visual model trained with a knowledge graph as a trainer outperforms a model trained with cross-entropy in all experiments, in particular when the domain gap increases. Besides better performance and stronger robustness to domain shifts, these KG-NN adapts to multiple datasets and classes without suffering heavily from catastrophic forgetting.


title: Two wavelet multipliers and Landau-Pollak-Slepian operators on locally compact abelian groups associated to right-$H$-translation-invariant functions

abstract: By using a coset of closed subgroup, we define a Fourier like transform for locally compact abelian (LCA) topological groups. We studied two wavelet multipliers and Landau-Pollak-Slepian operators on locally compact abelian topological groups associated to the transform and show that the transforms are $L^p$bounded linear operators, and are in Schatten p-class for $1\leq p\leq \infty$. Finally, we determine their trace class and also obtain a connection with the generalized Landau-Pollak-Slepian operators.


title: Computational study of simultaneous positive and negative streamer propagation in a twin surface dielectric barrier discharge via 2D PIC simulations

abstract: The propagation mechanisms of plasma streamers have been observed and investigated in a surface dielectric barrier discharge (SDBD) using 2D particle in cell simulations. The investigations are carried out under a simulated air mixture, 80\% N$_2$ and 20\% O$_2$, at atmospheric pressure, 100$\,$kPa, under both DC conditions and a pulsed DC waveform that represent AC conditions. The simulated geometry is a simplification of the symmetric and fully exposed SDBD resulting in the simultaneous ignition of both positive and negative streamers on either side of the Al$_2$O$_3$ dielectric barrier. In order to determine the interactivity of the two streamers, the propagation behavior for the positive and negative streamers are investigated both independently and simultaneously under identical constant voltage conditions. An additional focus is implored under a fast sub nanosecond rise time square voltage pulse alternating between positive and negative voltage conditions, thus providing insight into the dynamics of the streamers under alternating polarity switches. It is shown that the simultaneous ignition of both streamers, as well as using the pulsed DC conditions, provides both an enhanced discharge and an increased surface coverage. It is also shown that additional streamer branching may occur in a cross section that is difficult to experimentally observe. The enhanced discharge and surface coverage may be beneficial to many applications such as, but are not limited to: air purification, volatile organic compound removal, and plasma enhanced catalysis.


title: Optically reconfigurable quantum spin-valley Hall effect of light in coupled nonlinear ring resonator lattice

abstract: Scattering immune propagation of light in topological photonic systems may revolutionarize the design of integrated photonic circuits for information processing and communications. In optics, various photonic topological circuits have been developed, which were based on classical emulation of either quantum spin Hall effect or quantum valley Hall effect. On the other hand, the combination of both the valley and spin degrees of freedom can lead to a new kind of topological transport phenomenon, dubbed quantum spin valley Hall effect (QSVH), which can further expand the number of topologically protected edge channels and would be useful for information multiplexing. However, it is challenging to realize QSVH in most known material platforms, due to the requirement of breaking both the (pseudo-)fermionic time-reversal (T) and parity symmetries (P) individually, but leaving the combined symmetry S=TP intact. Here, we propose an experimentally feasible platform to realize QSVH for light, based on coupled ring resonators mediated by optical Kerr nonlinearity. Thanks to the inherent flexibility of cross-mode modulation (XMM), the coupling between the probe light can be engineered in a controllable way such that spin-dependent staggered sublattice potential emerges in the effective Hamiltonian. With delicate yet experimentally feasible pump conditions, we show the existence of spin valley Hall induced topological edge states. We further demonstrate that both degrees of freedom, i.e., spin and valley, can be manipulated simultaneously in a reconfigurable manner to realize spin-valley photonics, doubling the degrees of freedom for enhancing the information capacity in optical communication systems.


title: BLE Beacons in the Smart City: Applications, Challenges, and Research Opportunities

abstract: The Internet of Things helps to have every individual interconnected with their surroundings and to interact with them through smart devices. In recent years, Bluetooth Low Energy (BLE) technology has become very popular in smart infrastructures, the medical field, the retail industry, and many more areas due to its availability in a plethora of wireless devices. BLE is widely used in IoT devices, such as smartphones, smart watches, and BLE beacons. Beacons are small, low-cost, and low-power wireless transmitters that bring attention to their location by broadcasting a signal with a unique identifier at regular intervals. BLE beacons are a promising solution for many smart city applications, from proximity marketing to indoor navigation. However, they do pose security and privacy challenges. This work discusses the characteristics of BLE beacons, the applications that can benefit from them, and the challenges they pose while trying to identify research opportunities and future directions.


title: Loading and relaxation dynamics of a red blood cell

abstract: We use mesoscale numerical simulations to investigate the unsteady dynamics of a single red blood cell (RBC) subjected to an external mechanical load. We carry out a detailed comparison between the {\it loading} (L) dynamics, following the imposition of the mechanical load on the RBC at rest, and the {\it relaxation} (R) dynamics, allowing the RBC to relax to its original shape after the sudden arrest of the mechanical load. Such a comparison is carried out by analyzing the characteristic times of the two corresponding dynamics, i.e., $t_L$ and $t_R$. When the intensity of the mechanical load is small enough, the two kinds of dynamics are {\it symmetrical} ($t_L \approx t_R$) and independent of the typology of mechanical load (intrinsic dynamics); otherwise, in marked contrast, an {\it asymmetry} is found, wherein the loading dynamics is typically faster than the relaxation one. This asymmetry manifests itself with non-universal characteristics, e.g., dependency on the applied load and/or on the viscoelastic properties of the RBC membrane. To deepen such a non-universal behaviour, we consider the viscosity of the erythrocyte membrane as a variable parameter and focus on three different typologies of mechanical load (mechanical stretching, shear flow, elongational flow): this allows to clarify how non-universality builds up in terms of the deformation and rotational contributions induced by the mechanical load on the membrane. Finally, we also investigate the effect of the elastic shear modulus on the characteristic times $t_L$ and $t_R$. Our results provide crucial and quantitative information on the unsteady dynamics of RBC and its membrane response to the imposition/cessation of external mechanical loads.


title: Higher Fourier interpolation on the plane

abstract: Let $l\geq 6$ be any integer, where $l\equiv 2$ mod $4$. Suppose that $\mu(\tau)d\tau$ is a measure with bounded variation and is supported on a compact subset of the complex plane, where $\Im(\tau),\Im(-\frac{1}{\tau})>\sin\left(\frac{\pi}{l}\right).$ Let $f(x)=\int e^{i\pi \tau |x|^2}d\mu(\tau)$ and $\mathcal{F}(f)$ be its Fourier transform, where $x\in \R^2.$ For every integer $k\geq 0$ and $x\in \R^2,$ we express $f(x)$ in terms of the values of $\frac{d^k f}{du^k}$ and $\frac{d^k \mathcal{F}(f)}{du^k}$ at $u=\frac{2n}{\lambda},$ where $n$ is a non-negative integer, $u=|x|^2$ and $\lambda=2\cos\left(\frac{\pi}{l}\right).$ We show that the condition $\Im(\tau),\Im(-\frac{1}{\tau})>\sin\left(\frac{\pi}{l}\right)$ is optimal. We also identify the summation formulas among the values of $\frac{d^k f}{du^k}$ and $\frac{d^k \mathcal{F}(f)}{du^k}$ at $u=\frac{2n}{\lambda},$ with the space of holomorphic modular forms of weight $2k+1$ of the Hecke triangle group $(2,l,\infty)$. Using our formulas for $l=6$ and developing new methods, we prove a conjecture of Cohn, Kumar, Miller, Radchenko and Viazovska~\cite[Conjecture 7.5]{Maryna3}. This conjecture was motivated by the universal optimality of the hexagonal lattice.


title: A Regret Analysis of Bilateral Trade

abstract: Bilateral trade, a fundamental topic in economics, models the problem of intermediating between two strategic agents, a seller and a buyer, willing to trade a good for which they hold private valuations. Despite the simplicity of this problem, a classical result by Myerson and Satterthwaite (1983) affirms the impossibility of designing a mechanism which is simultaneously efficient, incentive compatible, individually rational, and budget balanced. This impossibility result fostered an intense investigation of meaningful trade-offs between these desired properties. Much work has focused on approximately efficient fixed-price mechanisms, i.e., Blumrosen and Dobzinski (2014; 2016), Colini-Baldeschi et al. (2016), which have been shown to fully characterize strong budget balanced and ex-post individually rational direct revelation mechanisms. All these results, however, either assume some knowledge on the priors of the seller/buyer valuations, or a black box access to some samples of the distributions, as in D{\"u}tting et al. (2021). In this paper, we cast for the first time the bilateral trade problem in a regret minimization framework over rounds of seller/buyer interactions, with no prior knowledge on the private seller/buyer valuations. Our main contribution is a complete characterization of the regret regimes for fixed-price mechanisms with different models of feedback and private valuations, using as benchmark the best fixed price in hindsight. More precisely, we prove the following bounds on the regret: $\bullet$ $\widetilde{\Theta}(\sqrt{T})$ for full-feedback (i.e., direct revelation mechanisms); $\bullet$ $\widetilde{\Theta}(T^{2/3})$ for realistic feedback (i.e., posted-price mechanisms) and independent seller/buyer valuations with bounded densities; $\bullet$ $\Theta(T)$ for realistic feedback and seller/buyer valuations with bounded densities; $\bullet$ $\Theta(T)$ for realistic feedback and independent seller/buyer valuations; $\bullet$ $\Theta(T)$ for the adversarial setting.


title: Formation of Social Ties Influences Food Choice: A Campus-Wide Longitudinal Study

abstract: Nutrition is a key determinant of long-term health, and social influence has long been theorized to be a key determinant of nutrition. It has been difficult to quantify the postulated role of social influence on nutrition using traditional methods such as surveys, due to the typically small scale and short duration of studies. To overcome these limitations, we leverage a novel source of data: logs of 38 million food purchases made over an 8-year period on the Ecole Polytechnique Federale de Lausanne (EPFL) university campus, linked to anonymized individuals via the smartcards used to make on-campus purchases. In a longitudinal observational study, we ask: How is a person's food choice affected by eating with someone else whose own food choice is healthy vs. unhealthy? To estimate causal effects from the passively observed log data, we control confounds in a matched quasi-experimental design: we identify focal users who at first do not have any regular eating partners but then start eating with a fixed partner regularly, and we match focal users into comparison pairs such that paired users are nearly identical with respect to covariates measured before acquiring the partner, where the two focal users' new eating partners diverge in the healthiness of their respective food choice. A difference-in-differences analysis of the paired data yields clear evidence of social influence: focal users acquiring a healthy-eating partner change their habits significantly more toward healthy foods than focal users acquiring an unhealthy-eating partner. We further identify foods whose purchase frequency is impacted significantly by the eating partner's healthiness of food choice. Beyond the main results, the work demonstrates the utility of passively sensed food purchase logs for deriving insights, with the potential of informing the design of public health interventions and food offerings.


title: A three-dimensional hybrid finite element -- spectral boundary integral method for modeling earthquakes in complex unbounded domains

abstract: We present a 3D hybrid method which combines the Finite Element Method (FEM) and the Spectral Boundary Integral method (SBIM) to model nonlinear problems in unbounded domains. The flexibility of FEM is used to model the complex, heterogeneous, and nonlinear part -- such as the dynamic rupture along a fault with near fault plasticity -- and the high accuracy and computational efficiency of SBIM is used to simulate the exterior half spaces perfectly truncating all incident waves. The exact truncation allows us to greatly reduce the domain of spatial discretization compared to a traditional FEM approach, leading to considerable savings in computational cost and memory requirements. The coupling of FEM and SBIM is achieved by the exchange of traction and displacement boundary conditions at the computationally defined boundary. The method is suited to implementation on massively parallel computers. We validate the developed method by means of a benchmark problem. Three more complex examples with a low velocity fault zone, low velocity off-fault inclusion, and interaction of multiple faults, respectively, demonstrate the capability of the hybrid scheme in solving problems of very large sizes. Finally, we discuss potential applications of the hybrid method for problems in geophysics and engineering.


title: Pathloss modeling of reconfigurable intelligent surface assisted THz wireless systems

abstract: This paper presents an analytical pathloss model for reconfigurable intelligent surface (RIS) assisted terahertz (THz) wireless systems. Specifically, the model accommodates both the THz link and the RIS particularities. Finally, we derive a closed-form expression that returns the optimal phase shifting of each RIS reflection unit. The derived pathloss model is validated through extensive electromagnetic simulations and is expected to play a key role in the design of RIS-assisted THz wireless systems.


title: Autonomous Navigation in Dynamic Environments: Deep Learning-Based Approach

abstract: Mobile robotics is a research area that has witnessed incredible advances for the last decades. Robot navigation is an essential task for mobile robots. Many methods are proposed for allowing robots to navigate within different environments. This thesis studies different deep learning-based approaches, highlighting the advantages and disadvantages of each scheme. In fact, these approaches are promising that some of them can navigate the robot in unknown and dynamic environments. In this thesis, one of the deep learning methods based on convolutional neural network (CNN) is realized by software implementations. There are different preparation studies to complete this thesis such as introduction to Linux, robot operating system (ROS), C++, python, and GAZEBO simulator. Within this work, we modified the drone network (namely, DroNet) approach to be used in an indoor environment by using a ground robot in different cases. Indeed, the DroNet approach suffers from the absence of goal-oriented motion. Therefore, this thesis mainly focuses on tackling this problem via mapping using simultaneous localization and mapping (SLAM) and path planning techniques using Dijkstra. Afterward, the combination between the DroNet ground robot-based, mapping, and path planning leads to a goal-oriented motion, following the shortest path while avoiding the dynamic obstacle. Finally, we propose a low-cost approach, for indoor applications such as restaurants, museums, etc, on the base of using a monocular camera instead of a laser scanner.


title: Group Equivariant Conditional Neural Processes

abstract: We present the group equivariant conditional neural process (EquivCNP), a meta-learning method with permutation invariance in a data set as in conventional conditional neural processes (CNPs), and it also has transformation equivariance in data space. Incorporating group equivariance, such as rotation and scaling equivariance, provides a way to consider the symmetry of real-world data. We give a decomposition theorem for permutation-invariant and group-equivariant maps, which leads us to construct EquivCNPs with an infinite-dimensional latent space to handle group symmetries. In this paper, we build architecture using Lie group convolutional layers for practical implementation. We show that EquivCNP with translation equivariance achieves comparable performance to conventional CNPs in a 1D regression task. Moreover, we demonstrate that incorporating an appropriate Lie group equivariance, EquivCNP is capable of zero-shot generalization for an image-completion task by selecting an appropriate Lie group equivariance.


title: Using exoskeletons to assist medical staff during prone positioning of mechanically ventilated COVID-19 patients: a pilot study

abstract: We conducted a pilot study to evaluate the potential and feasibility of back-support exoskeletons to help the caregivers in the Intensive Care Unit (ICU) of the University Hospital of Nancy (France) executing Prone Positioning (PP) maneuvers on patients suffering from severe COVID-19-related Acute Respiratory Distress Syndrome. After comparing four commercial exoskeletons, the Laevo passive exoskeleton was selected and used in the ICU in April 2020. The first volunteers using the Laevo reported very positive feedback and reduction of effort, confirmed by EMG and ECG analysis. Laevo has been since used to physically assist during PP in the ICU of the Hospital of Nancy, following the recrudescence of COVID-19, with an overall positive feedback.


title: Visualization of Deep Reinforcement Autonomous Aerial Mobility Learning Simulations

abstract: This demo abstract presents the visualization of deep reinforcement learning (DRL)-based autonomous aerial mobility simulations. In order to implement the software, Unity-RL is used and additional buildings are introduced for urban environment. On top of the implementation, DRL algorithms are used and we confirm it works well in terms of trajectory and 3D visualization.


title: Pseudogap isotope effect as a probe of bipolaron mechanism in high temperature superconductors

abstract: A theory of a pseudogap phase of high-temperature superconductors where current carriers are translation invariant bipolarons is developed. A temperature T* of a transition from a pseudogap phase to a normal one is calculated. For the temperature of a transition to the pseudogap phase, the isotope coefficient is found. It is shown that the results obtained, in particular, the possibility of negative values of the isotope coefficient are consistent with the experiment. New experiments on the influence of the magnetic field on the isotope coefficient are proposed.


title: A Contemporary Model Description of Magnetism

abstract: A treatment of many-electron polar and $s-d(f)$ exchange models is carried out in connection with the development of the theory of magnetism of transition and rare-earth metals, as well as their compounds. Particular emphasis is placed on the derivation of the many-electron Heisenberg, Hubbard, Anderson and $t-J$ models, as well as the internal relationship between them. Among the topics discussed are many-electron approaches in describing systems of $d$- and $f$-electrons, atomic representation of Hubbard's $X$-operators, slave-particle representations, the problem of strong itinerant magnetism and the formation of local moments, the role of non-quasiparticle (incoherent states). The application of these concepts to strongly correlated systems, in particular, to half-metallic ferromagnets and Kondo lattices, is discussed. A comparison is performed with modern field-theoretical and topological approaches.


title: Axion search with quantum nondemolition detection of magnons

abstract: The axion provides a solution for the strong CP problem and is one of the leading candidates for dark matter. This paper proposes an axion detection scheme based on quantum nondemolition detection of magnon, i.e., quanta of collective spin excitations in solid, which is expected to be excited by the axion-electron interaction predicted by the Dine-Fischer-Srednicki-Zhitnitsky (DFSZ) model. The prototype detector is composed of a ferrimagnetic sphere as an electronic spin target and a superconducting qubit. Both of these are embedded inside a microwave cavity, which leads to a coherent effective interaction between the uniform magnetostatic mode in the ferrimagnetic crystal and the qubit. An upper limit for the coupling constant between an axion and an electron is obtained as $g_{aee}<2.6\times10^{-6}$ at the 95% confidence level for the axion mass of $33.117$$\mu$eV $<m_{a}<33.130$$\mu$eV.

categories: hep-ex astro-ph.CO hep-ph physics.ins-det quant-ph


title: Deterministic Algorithms for Compiling Quantum Circuits with Recurrent Patterns

abstract: Current quantum processors are noisy, have limited coherence and imperfect gate implementations. On such hardware, only algorithms that are shorter than the overall coherence time can be implemented and executed successfully. A good quantum compiler must translate an input program into the most efficient equivalent of itself, getting the most out of the available hardware. In this work, we present novel deterministic algorithms for compiling recurrent quantum circuit patterns in polynomial time. In particular, such patterns appear in quantum circuits that are used to compute the ground state properties of molecular systems using the variational quantum eigensolver (VQE) method together with the RyRz heuristic wavefunction Ansatz. We show that our pattern-oriented compiling algorithms, combined with an efficient swapping strategy, produces - in general - output programs that are comparable to those obtained with state-of-art compilers, in terms of CNOT count and CNOT depth. In particular, our solution produces unmatched results on RyRz circuits.


title: Safe, Fast, Concurrent Proof Checking for the lambda-Pi Calculus Modulo Rewriting

abstract: Several proof assistants, such as Isabelle or Coq, can concurrently check multiple proofs. In contrast, the vast majority of today's small proof checkers either does not support concurrency at all or only limited forms thereof, restricting the efficiency of proof checking on multi-core processors. This work shows the design of a small, memory- and thread-safe kernel that efficiently checks proofs both concurrently and non-concurrently. This design is implemented in a new proof checker called Kontroli for the lambda-Pi calculus modulo rewriting, which is an established framework to uniformly express a multitude of logical systems. Kontroli is faster than the reference proof checker for this calculus, Dedukti, on all of five evaluated datasets obtained from proof assistants and interactive theorem provers. Furthermore, Kontroli reduces the time of the most time-consuming part of proof checking using eight threads by up to 6.6x.


title: Comparison of solar wind speed estimates from nearly simultaneous IPS observations at 327 and 111 MHz

abstract: Results are presented of a comparison between solar wind speed estimates made using the time delays between 3 pairs of 327 MHz antennas at ISEE and estimates made by modeling the temporal power spectra observed with the 111 MHz BSA antenna at LPI. The observations were made for 6 years in the descending phase of solar cycle 24. More than 100 individual records were obtained for the compact source 3C48 and the extended and anisotropic source 3C298. The correlation between the daily speed estimates from 3C48 is 50%. Their annual averages agree within the error estimates and show the expected solar cycle variation. However the correlation between speeds from 3C298 is only 25% and their annual averages do not agree well. We investigate possible causes of this bias in the 3C298 estimated speeds.


title: Heuristic Algorithms for Co-scheduling of Edge Analytics and Routes for UAV Fleet Missions

abstract: Unmanned Aerial Vehicles (UAVs) or drones are increasingly used for urban applications like traffic monitoring and construction surveys. Autonomous navigation allows drones to visit waypoints and accomplish activities as part of their mission. A common activity is to hover and observe a location using on-board cameras. Advances in Deep Neural Networks (DNNs) allow such videos to be analyzed for automated decision making. UAVs also host edge computing capability for on-board inferencing by such DNNs. To this end, for a fleet of drones, we propose a novel Mission Scheduling Problem (MSP) that co-schedules the flight routes to visit and record video at waypoints, and their subsequent on-board edge analytics. The proposed schedule maximizes the utility from the activities while meeting activity deadlines as well as energy and computing constraints. We first prove that MSP is NP-hard and then optimally solve it by formulating a mixed integer linear programming (MILP) problem. Next, we design two efficient heuristic algorithms, JSC and VRC, that provide fast sub-optimal solutions. Evaluation of these three schedulers using real drone traces demonstrate utility-runtime trade-offs under diverse workloads.


title: Muddling Labels for Regularization, a novel approach to generalization

abstract: Generalization is a central problem in Machine Learning. Indeed most prediction methods require careful calibration of hyperparameters usually carried out on a hold-out \textit{validation} dataset to achieve generalization. The main goal of this paper is to introduce a novel approach to achieve generalization without any data splitting, which is based on a new risk measure which directly quantifies a model's tendency to overfit. To fully understand the intuition and advantages of this new approach, we illustrate it in the simple linear regression model ($Y=X\beta+\xi$) where we develop a new criterion. We highlight how this criterion is a good proxy for the true generalization risk. Next, we derive different procedures which tackle several structures simultaneously (correlation, sparsity,...). Noticeably, these procedures \textbf{concomitantly} train the model and calibrate the hyperparameters. In addition, these procedures can be implemented via classical gradient descent methods when the criterion is differentiable w.r.t. the hyperparameters. Our numerical experiments reveal that our procedures are computationally feasible and compare favorably to the popular approach (Ridge, LASSO and Elastic-Net combined with grid-search cross-validation) in term of generalization. They also outperform the baseline on two additional tasks: estimation and support recovery of $\beta$. Moreover, our procedures do not require any expertise for the calibration of the initial parameters which remain the same for all the datasets we experimented on.


title: It's Not Just the Movement: Experiential Information Needed for Stroke Telerehabilitation

abstract: Telerehabilitation systems for stroke survivors have been predominantly designed to measure and quantify movement in order to guide and encourage rehabilitation regular exercises at home. We set out to study what aspect of the movement data was essential, to better inform sensor design. We investigated face-to-face stroke rehabilitation sessions through a series of interviews and observations involving 16 stroke rehabilitation specialists including physiatrists, physical therapists, and occupational therapists. We found that specialists are not solely interested in movement data, and that experiential information about stroke survivors' lived experience plays an essential role in specialists interpreting movement data and creating a rehabilitation plan. We argue for a reconceptualization in stroke telerehabilitation that is more inclusive of non-movement data, and present design implications to better account for experiential information in telerehabilitation systems.


title: Comparing and Combining Approximate Computing Frameworks

abstract: Approximate computing frameworks configure applications so they can operate at a range of points in an accuracy-performance trade-off space. Prior work has introduced many frameworks to create approximate programs. As approximation frameworks proliferate, it is natural to ask how they can be compared and combined to create even larger, richer trade-off spaces. We address these questions by presenting VIPER and BOA. VIPER compares trade-off spaces induced by different approximation frameworks by visualizing performance improvements across the full range of possible accuracies. BOA is a family of exploration techniques that quickly locate Pareto-efficient points in the immense trade-off space produced by the combination of two or more approximation frameworks. We use VIPER and BOA to compare and combine three different approximation frameworks from across the system stack, including: one that changes numerical precision, one that skips loop iterations, and one that manipulates existing application parameters. Compared to simply looking at Pareto-optimal curves, we find VIPER's visualizations provide a quicker and more convenient way to determine the best approximation technique for any accuracy loss. Compared to a state-of-the-art evolutionary algorithm, we find that BOA explores 14x fewer configurations yet locates 35% more Pareto-efficient points.


title: Semi-linear Poisson-mediated Flocking in a Cucker-Smale Model

abstract: We propose a family of compactly supported parametric interaction functions in the general Cucker-Smale flocking dynamics such that the mean-field macroscopic system of mass and momentum balance equations with non-local damping terms can be converted from a system of partial integro-differential equations to an augmented system of partial differential equations in a compact set. We treat the interaction functions as Green's functions for an operator corresponding to a semi-linear Poisson equation and compute the density and momentum in a translating reference frame, i.e. one that is taken in reference to the flock's centroid. This allows us to consider the dynamics in a fixed, flock-centered compact set without loss of generality. We approach the computation of the non-local damping using the standard finite difference treatment of the chosen differential operator, resulting in a tridiagonal system which can be solved quickly.


title: Predicting Lexical Complexity in English Texts: The Complex 2.0 Dataset

abstract: Identifying words which may cause difficulty for a reader is an essential step in most lexical text simplification systems prior to lexical substitution and can also be used for assessing the readability of a text. This task is commonly referred to as Complex Word Identification (CWI) and is often modelled as a supervised classification problem. For training such systems, annotated datasets in which words and sometimes multi-word expressions are labelled regarding complexity are required. In this paper we analyze previous work carried out in this task and investigate the properties of CWI datasets for English. We develop a protocol for the annotation of lexical complexity and use this to annotate a new dataset, CompLex 2.0. We present experiments using both new and old datasets to investigate the nature of lexical complexity. We found that a Likert-scale annotation protocol provides an objective setting that is superior for identifying the complexity of words compared to a binary annotation protocol. We release a new dataset using our new protocol to promote the task of Lexical Complexity Prediction.


title: A Python Extension to Simulate Petri nets in Process Mining

abstract: The capability of process mining techniques in providing extensive knowledge and insights into business processes has been widely acknowledged. Process mining techniques support discovering process models as well as analyzing process performance and bottlenecks in the past executions of processes. However, process mining tends to be "backward-looking" rather than "forward-looking" techniques like simulation. For example, process improvement also requires "what-if" analyses. In this paper, we present a Python library that uses an event log to directly generate a simulated event log, with additional options for end-users to specify the duration of activities and the arrival rate. Since the generated simulation model is supported by historical data (event data)and it is based on the Discrete Event Simulation (DES) technique, the generated event data is similar to the behavior of the real process.


title: Category of n-weak injective and n-weak flat modules with respect to special super presented modules

abstract: Let $R$ be a ring and $n$, $k$ two non-negative integers. In this paper, we introduce the concepts of $n$-weak injective and $n$-weak flat modules and via the notion of special super finitely presented modules, we obtain some characterizations of these modules. We also investigate two classes of modules with richer contents, namely $\mathcal{WI}_k^n(R)$ and $\mathcal{WF}_k^n(R^{op})$ which are larger than that of modules with weak injective and weak flat dimensions less than or equal to $k$. Then on any arbitrary ring, we study the existence of $\mathcal{WI}_k^n(R)$ and $\mathcal{WF}_k^n(R^{op})$ covers and preenvelopes


title: Doubly hidden $0^{++}$ molecules and tetraquarks states from QCD at NLO

abstract: Motivated by the LHCb-group discovery of exotic hadrons in the range (6.2 $\sim$ 6.9) GeV, we present new results for the masses and couplings of $0^{++}$ fully heavy $(\bar{Q}Q)(Q\bar{Q})$ molecules and $(QQ)(\overline{QQ})$ tetraquaks states from relativistic QCD Laplace Sum Rule (LSR) within stability criteria where Next-to-Leading Order (NLO) Factorized (F) Perturbative (PT) corrections is included. As the Operator Product Expansion (OPE) usually converges for $d\leqslant 6-8$, we evaluated the QCD spectral functions at Lowest Order (LO) of PT QCD and up to $\langle G^3 \rangle$. We also emphasize the importance of PT radiative corrections for heavy quark sum rules in order to justify the use of the running heavy quark mass value in the analysis. We compare our predictions in Table 3 with the ones from ratio of Moments (MOM). The broad structure arround (6.2 $\sim$ 6.9) GeV can be described by the $\overline{\eta}_c\eta_c$, $\overline{J/\psi}J/\psi$ and $\overline{\chi}_{c1}\chi_{c1}$ molecules or/and $\overline{S}_c S_c$, $\overline{A}_c A_c$ and $\overline{V}_c V_c$ tetraquarks lowest mass ground states. The narrow structure at (6.8 $\sim$ 6.9) GeV if it is a $0^{++}$ state can be a $\overline{\chi}_{c0}\chi_{c0}$ molecules or/and its analogue $\overline{P}_c P_c$ tetraquark. The $\overline{\chi}_{c1}\chi_{c1}$ predicted mass is found to be below the $\chi_{c1}\chi_{c1}$ threshold while for the beauty states, all of the estimated masses are above the $\eta_b \eta_b$ and $\Upsilon(1S)\Upsilon(1S)$ threshold.


title: An asymptotic analysis of probabilistic logic programming, with implications for expressing projective families of distributions

abstract: Probabilistic logic programming is a major part of statistical relational artificial intelligence, where approaches from logic and probability are brought together to reason about and learn from relational domains in a setting of uncertainty. However, the behaviour of statistical relational representations across variable domain sizes is complex, and scaling inference and learning to large domains remains a significant challenge. In recent years, connections have emerged between domain size dependence, lifted inference and learning from sampled subpopulations. The asymptotic behaviour of statistical relational representations has come under scrutiny, and projectivity was investigated as the strongest form of domain-size dependence, in which query marginals are completely independent of the domain size. In this contribution we show that every probabilistic logic program under the distribution semantics is asymptotically equivalent to an acyclic probabilistic logic program consisting only of determinate clauses over probabilistic facts. We conclude that every probabilistic logic program inducing a projective family of distributions is in fact everywhere equivalent to a program from this fragment, and we investigate the consequences for the projective families of distributions expressible by probabilistic logic programs. To facilitate the application of classical results from finite model theory, we introduce the abstract distribution semantics, defined as an arbitrary logical theory over probabilistic facts. This bridges the gap to the distribution semantics underlying probabilistic logic programming. In this representation, determinate logic programs correspond to quantifier-free theories, making asymptotic quantifier elimination results available for the setting of probabilistic logic programming. This paper is under consideration for acceptance in TPLP.


title: Large-Scale Benchmarks for the Job Shop Scheduling Problem

abstract: This report contains the description of two novel job shop scheduling benchmarks that resemble instances of real scheduling problem as they appear in industry. In particular, the aim was to provide large-scale benchmarks (up to 1 million operations) to test the state-of-the-art scheduling solutions on problems that are closer to what occurs in a real industrial context. The first benchmark is an extension of the well known Taillard benchmark (1992), while the second is a collection of scheduling instances with a known-optimum solution.


title: User Tracking in the Post-cookie Era: How Websites Bypass GDPR Consent to Track Users

abstract: During the past few years, mostly as a result of the GDPR and the CCPA, websites have started to present users with cookie consent banners. These banners are web forms where the users can state their preference and declare which cookies they would like to accept, if such option exists. Although requesting consent before storing any identifiable information is a good start towards respecting the user privacy, yet previous research has shown that websites do not always respect user choices. Furthermore, considering the ever decreasing reliance of trackers on cookies and actions browser vendors take by blocking or restricting third-party cookies, we anticipate a world where stateless tracking emerges, either because trackers or websites do not use cookies, or because users simply refuse to accept any. In this paper, we explore whether websites use more persistent and sophisticated forms of tracking in order to track users who said they do not want cookies. Such forms of tracking include first-party ID leaking, ID synchronization, and browser fingerprinting. Our results suggest that websites do use such modern forms of tracking even before users had the opportunity to register their choice with respect to cookies. To add insult to injury, when users choose to raise their voice and reject all cookies, user tracking only intensifies. As a result, users' choices play very little role with respect to tracking: we measured that more than 75% of tracking activities happened before users had the opportunity to make a selection in the cookie consent banner, or when users chose to reject all cookies.


title: Murat: Multi-RAT False Base Station Detector

abstract: In recent years, there has been an increasing interest in false base station detection systems. Most of these rely on software that users download into their mobile phones. The software either performs an analysis of radio environment measurements taken by the mobile phone or reports these measurements to a server on the Internet, which then analyzes the aggregated measurements collected from many mobile phones. These systems suffer from two main drawbacks. First, they require modification to the mobile phones in the form of software and an active decision to participate from users. This severely limits the number of obtained measurements. Second, they do not make use of the information the mobile network has regarding network topology and configuration. This results in less reliable predictions than could be made. We present a network-based system for detecting false base stations that operate on any 3GPP radio access technology, without requiring modifications to mobile phones, and that allows taking full advantage of network topology and configuration information available to an operator. The analysis is performed by the mobile network based on measurement reports delivered by mobile phones as part of normal operations to maintain the wireless link. We implemented and validated the system in a lab experiment and a real operator trial. Our approach was adopted by the 3GPP standardization organization.


title: Disk Evolution Study Through Imaging of Nearby Young Stars (DESTINYS): Late infall causing disk misalignment and dynamic structures in SU Aur

abstract: Gas-rich circumstellar disks are the cradles of planet formation. As such, their evolution will strongly influence the resulting planet population. In the ESO DESTINYS large program, we study these disks within the first 10 Myr of their development with near-infrared scattered light imaging. Here we present VLT/SPHERE polarimetric observations of the nearby class II system SU Aur in which we resolve the disk down to scales of ~7 au. In addition to the new SPHERE observations, we utilize VLT/NACO, HST/STIS and ALMA archival data. The new SPHERE data show the disk around SU Aur and extended dust structures in unprecedented detail. We resolve several dust tails connected to the Keplerian disk. By comparison with ALMA data, we show that these dust tails represent material falling onto the disk. The disk itself shows an intricate spiral structure and a shadow lane, cast by an inner, misaligned disk component. Our observations suggest that SU Aur is undergoing late infall of material, which can explain the observed disk structures. SU Aur is the clearest observational example of this mechanism at work and demonstrates that late accretion events can still occur in the class II phase, thereby significantly affecting the evolution of circumstellar disks. Constraining the frequency of such events with additional observations will help determine whether this process is responsible for the spin-orbit misalignment in evolved exoplanet systems.


title: Conditional Variance Estimator for Sufficient Dimension Reduction

abstract: Conditional Variance Estimation (CVE) is a novel sufficient dimension reduction (SDR) method for additive error regressions with continuous predictors and link function. It operates under the assumption that the predictors can be replaced by a lower dimensional projection without loss of information. In contrast to the majority of moment based sufficient dimension reduction methods, Conditional Variance Estimation is fully data driven, does not require the restrictive linearity and constant variance conditions, and is not based on inverse regression. CVE is shown to be consistent and its objective function to be uniformly convergent. CVE outperforms the mean average variance estimation, (MAVE), its main competitor, in several simulation settings, remains on par under others, while it always outperforms the usual inverse regression based linear SDR methods, such as Sliced Inverse Regression.


title: Forbidden induced subgraphs for perfectness of claw-free graphs of independence number at least 4

abstract: For every graph $X$, we consider the class of all connected $\{K_{1,3}, X\}$-free graphs which are distinct from an odd cycle and have independence number at least $4$, and we show that all graphs in the class are perfect if and only if $X$ is an induced subgraph of some of $P_6$, $K_1 \cup P_5$, $2P_3$, $Z_2$ or $K_1 \cup Z_1$. Furthermore, for $X$ chosen as $2K_1 \cup K_3$, we list all eight imperfect graphs belonging to the class; and for every other choice of $X$, we show that there are infinitely many such graphs. In addition, for $X$ chosen as $B_{1,2}$, we describe the structure of all imperfect graphs in the class.


title: Peeking into the $\theta$ vacuum

abstract: We propose a subvolume method to study the $\theta$ dependence of the free energy density of the four-dimensional SU($N$) Yang-Mills theory on the lattice. As an attempt, the method is first applied to SU(2) Yang-Mills theory at $T=1.2\,T_c$ to understand the systematics of the method. We then proceed to the calculation of the vacuum energy density and obtain the $\theta$ dependence qualitatively different from the high temperature case. The numerical results combined with the theoretical requirements provide the evidence for the spontaneous CP violation at $\theta = \pi$, which is in accordance with the large $N$ prediction and indicates that the similarity between 4d SU($N$) and 2d CP$^{N-1}$ theories does not hold for $N$=2.


title: Single particle tunneling spectroscopy and superconducting gaps in layered iron based superconductor KCa$_{2}$Fe$_{4}$As$_{4}$F$_{2}$

abstract: We perform scanning tunneling microscopy/spectroscopy study on the layered iron based superconductor KCa$_2$Fe$_4$As$_4$F$_2$ with a critical temperature of about 33.5 K. Two types of terminated surfaces are generally observed after cleaving the samples in vacuum. On one commonly obtained surface, we observe a full gap feature with energy gap values close to 4.6 meV. This type of spectrum shows a clean and uniform full gap in space, which indicates the absence of gap nodes in this superconductor. Quasiparticle interference patterns have also been measured, which show no scattering patterns between the hole and tiny electron pockets, but rather an intra-band scattering pattern is observed possibly due to the hole-like $\alpha$ pocket. The Fermi energy of this band is only about $24\pm6$ meV as derived from the energy dispersion result. Meanwhile, impurity induced bound-state peaks can be observed at about $\pm2.2$ meV on some spectra, and the peak value seems to be independent to magnetic field. On the second type of surface which is rarely obtained, the fully gapped feature can still be observed on the tunneling spectra, although multiple gaps are obtained either from a single spectrum or separate ones, and the gap values determined from coherence peaks locate mainly in the range from 4 to 8 meV. Our results clearly indicate multiple and nodeless superconducting gap nature in this layered superconductor KCa$_2$Fe$_4$As$_4$F$_2$, and the superfluid is mainly contributed by the hole-like Fermi surfaces near $\Gamma$ point. This would inspire further consideration on the effect of the shallow and incipient bands near M point, and help to understand the pairing mechanism in this highly layered iron-based superconductor.


title: Walking Out of the Weisfeiler Leman Hierarchy: Graph Learning Beyond Message Passing

abstract: We propose CRaWl, a novel neural network architecture for graph learning. Like graph neural networks, CRaWl layers update node features on a graph and thus can freely be combined or interleaved with GNN layers. Yet CRaWl operates fundamentally different from message passing graph neural networks. CRaWl layers extract and aggregate information on subgraphs appearing along random walks through a graph using 1D Convolutions. Thereby it detects long range interactions and computes non-local features. As the theoretical basis for our approach, we prove a theorem stating that the expressiveness of CRaWl is incomparable with that of the Weisfeiler Leman algorithm and hence with graph neural networks. That is, there are functions expressible by CRaWl, but not by GNNs and vice versa. This result extends to higher levels of the Weisfeiler Leman hierarchy and thus to higher-order GNNs. Empirically, we show that CRaWl matches state-of-the-art GNN architectures across a multitude of benchmark datasets for classification and regression on graphs.


title: Massive $\Delta$-resonance admixed hypernuclear stars with anti-kaon condensations

abstract: In this work, we study the effect of (anti)kaon condensation on the properties of compact stars that develop hypernuclear cores with and without an admixture of $\Delta$-resonances. We work within the covariant density functional theory with the parameters adjusted to $K$-atomic and kaon-nucleon scattering data in the kaonic sector. The density-dependent parameters in the hyperonic sector are adjusted to the data on $\Lambda$ and $\Xi^-$ hypernuclei data. The $\Delta$-resonance couplings are tuned to the data obtained from their scattering off nuclei and heavy-ion collision experiments. We find that (anti)kaon condensate leads to a softening of the equation of state and lower maximum masses of compact stars than in the absence of the condensate. Both the $K^-$ and $\bar K^0$-condensations occur through a second-order phase transition, which implies no mixed-phase formation. For large values of (anti)kaon and $\Delta$-resonance potentials in symmetric nuclear matter, we observe that condensation leads to an extinction of $ \Xi^{-,0}$ hyperons. We also investigate the influence of inclusion of additional hidden-strangeness $\sigma^{*}$ meson in the functional and find that it leads to a substantial softening of the equation of state and delay in the onset of (anti)kaons.


title: ppAURORA: Privacy Preserving Area Under Receiver Operating Characteristic and Precision-Recall Curves

abstract: Computing an AUC as a performance measure to compare the quality of different machine learning models is one of the final steps of many research projects. Many of these methods are trained on privacy-sensitive data and there are several different approaches like $\epsilon$-differential privacy, federated machine learning and cryptography if the datasets cannot be shared or used jointly at one place for training and/or testing. In this setting, it can also be a problem to compute the global AUC, since the labels might also contain privacy-sensitive information. There have been approaches based on $\epsilon$-differential privacy to address this problem, but to the best of our knowledge, no exact privacy preserving solution has been introduced. In this paper, we propose an MPC-based solution, called ppAURORA, with private merging of individually sorted lists from multiple sources to compute the exact AUC as one could obtain on the pooled original test samples. With ppAURORA, the computation of the exact area under precision-recall and receiver operating characteristic curves is possible even when ties between prediction confidence values exist. We use ppAURORA to evaluate two different models predicting acute myeloid leukemia therapy response and heart disease, respectively. We also assess its scalability via synthetic data experiments. All these experiments show that we efficiently and privately compute the exact same AUC with both evaluation metrics as one can obtain on the pooled test samples in plaintext according to the semi-honest adversary setting.


title: Ion dynamics in capacitively coupled argon-xenon discharges

abstract: An argon-xenon (Ar/Xe) plasma is used as a model system for complex plasmas. Based on this system, symmetric low-pressure capacitively coupled radio-frequency discharges are examined utilizing Particle-In-Cell/Monte Carlo Collisions (PIC/MCC) simulations. In addition to the simulation, an analytical energy balance model fed with the simulation data is applied to analyze the findings further. This work focuses on investigating the ion dynamics in a plasma with two ion species and a gas mixture as background. By varying the gas composition and driving voltage of the single-frequency discharge, fundamental mechanics of the discharge, such as the evolution of the plasma density and the energy dispersion, are discussed. Thereby, close attention is paid to these measures' influence on the ion energy distribution functions at the electrode surfaces. The results show that both the gas composition and the driving voltage can significantly impact the ion dynamics. The mixing ratio of argon to xenon allows for shifting the distribution function for one ion species from collisionless to collision dominated. The mixing ratio serves as a control parameter for the ion flux and the impingement energy of ions at the surfaces. Additionally, a synergy effect between the ionization of argon and the ionization of xenon is found and discussed.


title: Approximate Functionals in Hypercomplex Kohn-Sham Theory

abstract: The recently developed hypercomplex Kohn-Sham (HCKS) theory shows great potential to overcome the static/strong correlation issue in density functional theory (DFT), which highlights the necessity of further exploration of the HCKS theory toward better handling many-electron problem. This work mainly focuses on approximate functionals in HCKS, seeking to gain more insights into functional development from the comparison between Kohn-Sham (KS) DFT and HCKS. Unlike KS-DFT, HCKS can handle different correlation effects by resorting to a set of auxiliary orbitals with dynamically varying fractional occupations. These orbitals of hierarchical correlation (HCOs) thus contain distinct electronic information for better considering the exchange-correlation effect in HCKS. The test on the triplet-singlet gaps shows that HCKS has much better performance as compared to KS-DFT in use of the same functionals, and the systematic errors of semi-local functionals can be effectively reduced by including appropriate amount of the HCO-dependent Hartree-Fock (HF) exchange. In contrast, KS-DFT shows large systematic errors, which are hardly reduced by the functionals tested in this work. Therefore, HCKS creates new channels to address to the strong correlation issue, and further development of functionals that depend on HCOs and their occupations is necessary for the treatment of strongly correlated systems.


title: Geostatistical Learning: Challenges and Opportunities

abstract: Statistical learning theory provides the foundation to applied machine learning, and its various successful applications in computer vision, natural language processing and other scientific domains. The theory, however, does not take into account the unique challenges of performing statistical learning in geospatial settings. For instance, it is well known that model errors cannot be assumed to be independent and identically distributed in geospatial (a.k.a. regionalized) variables due to spatial correlation; and trends caused by geophysical processes lead to covariate shifts between the domain where the model was trained and the domain where it will be applied, which in turn harm the use of classical learning methodologies that rely on random samples of the data. In this work, we introduce the geostatistical (transfer) learning problem, and illustrate the challenges of learning from geospatial data by assessing widely-used methods for estimating generalization error of learning models, under covariate shift and spatial correlation. Experiments with synthetic Gaussian process data as well as with real data from geophysical surveys in New Zealand indicate that none of the methods are adequate for model selection in a geospatial context. We provide general guidelines regarding the choice of these methods in practice while new methods are being actively researched.


title: Chance-Constrained Active Inference

abstract: Active Inference (ActInf) is an emerging theory that explains perception and action in biological agents, in terms of minimizing a free energy bound on Bayesian surprise. Goal-directed behavior is elicited by introducing prior beliefs on the underlying generative model. In contrast to prior beliefs, which constrain all realizations of a random variable, we propose an alternative approach through chance constraints, which allow for a (typically small) probability of constraint violation, and demonstrate how such constraints can be used as intrinsic drivers for goal-directed behavior in ActInf. We illustrate how chance-constrained ActInf weights all imposed (prior) constraints on the generative model, allowing e.g., for a trade-off between robust control and empirical chance constraint violation. Secondly, we interpret the proposed solution within a message passing framework. Interestingly, the message passing interpretation is not only relevant to the context of ActInf, but also provides a general purpose approach that can account for chance constraints on graphical models. The chance constraint message updates can then be readily combined with other pre-derived message update rules, without the need for custom derivations. The proposed chance-constrained message passing framework thus accelerates the search for workable models in general, and can be used to complement message-passing formulations on generative neural models.