title: Transient superconductivity in three-dimensional Hubbard systems by combining matrix product states and self-consistent mean-field theory

abstract: We combine matrix-product state (MPS) and Mean-Field (MF) methods to model the real-time evolution of a three-dimensional (3D) extended Hubbard system formed from one-dimensional (1D) chains arrayed in parallel with weak coupling in-between them. This approach allows us to treat much larger 3D systems of correlated fermions out-of-equilibrium over a much more extended real-time domain than previous numerical approaches. We deploy this technique to study the evolution of the system as its parameters are tuned from a charge-density wave (CDW) phase into the superconducting (SC) regime, which allows us to investigate the formation of transient non-equilibrium SC. In our ansatz, we use MPS solutions for chains as input for a self-consistent time-dependent MF scheme. In this way, the 3D problem is mapped onto an effective 1D Hamiltonian that allows us to use the MPS efficiently to perform the time evolution, and to measure the BCS order parameter as a function of time. Our results confirm previous findings for purely 1D systems that for such a scenario superconductivity forms in a transient state.


title: aflow.org: A Web Ecosystem of Databases, Software and Tools

abstract: To enable materials databases supporting computational and experimental research, it is critical to develop platforms that both facilitate access to the data and provide the tools used to generate/analyze it - all while considering the diversity of users' experience levels and usage needs. The recently formulated FAIR principles (Findable, Accessible, Interoperable, and Reusable) establish a common framework to aid these efforts. This article describes aflow_org, a web ecosystem developed to provide FAIR - compliant access to the AFLOW databases. Graphical and programmatic retrieval methods are offered, ensuring accessibility for all experience levels and data needs. aflow_org goes beyond data-access by providing applications to important features of the AFLOW software, assisting users in their own calculations without the need to install the entire high-throughput framework. Outreach commitments to provide AFLOW tutorials and materials science education to a global and diverse audiences will also be presented.


title: Do school reforms shape study behavior at university? Evidence from an instructional time reform

abstract: Early-life environments can have long-lasting developmental effects. Interestingly, research on how school reforms affect later-life study behavior has hardly adopted this perspective. Therefore, we investigated a staggered school reform that reduced the number of school years and increased weekly instructional time for secondary school students in most German federal states. We analyzed this quasi-experiment in a difference-in-differences framework using representative large-scale survey data on 71,426 students who attended university between 1998 and 2016. We found negative effects of reform exposure on hours spent attending classes and on self-study, and a larger time gap between school completion and higher education entry. Our results support the view that research should examine unintended long-term effects of school reforms on individual life courses.


title: Stability and interpolation properties for Stokes-like virtual element spaces

abstract: We prove stability bounds for Stokes-like virtual element spaces in two and three dimensions. Such bounds are also instrumental in deriving optimal interpolation estimates. Furthermore, we develop some numerical tests in order to investigate the behaviour of the stability constants also from the practical side.


title: Quantifying the Effect of Feedback Frequency in Interactive Reinforcement Learning for Robotic Tasks

abstract: Reinforcement learning (RL) has become widely adopted in robot control. Despite many successes, one major persisting problem can be very low data efficiency. One solution is interactive feedback, which has been shown to speed up RL considerably. As a result, there is an abundance of different strategies, which are, however, primarily tested on discrete grid-world and small scale optimal control scenarios. In the literature, there is no consensus about which feedback frequency is optimal or at which time the feedback is most beneficial. To resolve these discrepancies we isolate and quantify the effect of feedback frequency in robotic tasks with continuous state and action spaces. The experiments encompass inverse kinematics learning for robotic manipulator arms of different complexity. We show that seemingly contradictory reported phenomena occur at different complexity levels. Furthermore, our results suggest that no single ideal feedback frequency exists. Rather that feedback frequency should be changed as the agent's proficiency in the task increases.


title: Quasicircles and hyperbolic zero packing

abstract: We look at the work of Oleg Ivrii connected with the dimension of quasicircles for asymptotically small quasiconformality parameter $k$. We intend to make this work more easily accessible. Our main focus is the integral means spectrum associated with normalized conformal mappings of the exterior disk which have quasiconformal extensions to the whole plane with small dilatation parameter $k$. Moreover, we address the estimates from above only, not the sharpness from below.


title: Predicting Word Learning in Children from the Performance of Computer Vision Systems

abstract: For human children as well as machine learning systems, a key challenge in learning a word is linking the word to the visual phenomena it describes. We explore this aspect of word learning by using the performance of computer vision systems as a proxy for the difficulty of learning a word from visual cues. We show that the age at which children acquire different categories of words is correlated with the performance of visual classification and captioning systems, over and above the expected effects of word frequency. The performance of the computer vision systems is correlated with human judgments of the concreteness of words, which are in turn a predictor of children's word learning, suggesting that these models are capturing the relationship between words and visual phenomena.


title: SMEFT is falsifiable through multi-Higgs measurements (even in the absence of new light particles)

abstract: From the embedding of the Standard Model Effective Field Theory (SMEFT) in the more general Higgs Effective Field Theory (HEFT), we expose correlations among the coefficients of the latter that, if found to be violated in future data, would lead to the experimental falsification of the SMEFT framework. These are derived from the necessary symmetric point of HEFT and analyticity of the SMEFT Lagrangian that allows the construction of the SMEFT expansion, as laid out by other groups, and properties at that point of the Higgs-flare function $\mathcal{F}(h)$ coupling Goldstone and Higgs bosons, of the Higgs potential $V(h)$ and of the Higgs-top quark coupling function $\mathcal{G}(h)$.


title: Automated machine learning for borehole resistivity measurements

abstract: Deep neural networks (DNNs) offer a real-time solution for the inversion of borehole resistivity measurements to approximate forward and inverse operators. It is possible to use extremely large DNNs to approximate the operators, but it demands a considerable training time. Moreover, evaluating the network after training also requires a significant amount of memory and processing power. In addition, we may overfit the model. In this work, we propose a scoring function that accounts for the accuracy and size of the DNNs compared to a reference DNN that provides a good approximation for the operators. Using this scoring function, we use DNN architecture search algorithms to obtain a quasi-optimal DNN smaller than the reference network; hence, it requires less computational effort during training and evaluation. The quasi-optimal DNN delivers comparable accuracy to the original large DNN.


title: Lock-in effect of over-tip shock waves and identification of the escaping vortex-shedding mode in pressure-driven tip leakage flow

abstract: Time-resolved schlieren visualization is used to investigate the unsteady flow structures of tip leakage flows in the clearance region. A common generic blade tip model is created and tested in a wind tunnel under operating conditions ranging from low-subsonic to transonic. A multi-cutoff superposition technique is developed to achieve better flow visualization. Quantitative image processing is performed to extract the flow structures and the instability modes. Additional numerical simulations are performed to help classify the observed flow structures. Unsteady flow structures such as over-tip shock oscillation, shear-layer flapping, and vortex shedding are revealed by Fourier analysis and dynamic mode decomposition. The results show that, under subsonic conditions, the trigger position of the shear layer instability is monotonically delayed as the blade loading increases; however, this pattern is reversed under transonic conditions. This implies that flow compressibility, flow acceleration, and the oscillation of over-tip shock waves are critical factors related to tip flow instabilities. The over-tip shock waves are observed to be locked-in by frequency and position with the shear-layer flapping mode. An intermittent flow mode, termed the escaping vortex-shedding mode, is also observed. These flow structures are key factors in the control of tip leakage flows. Based on the observed flow dynamics, a schematic drawing of tip leakage flow structures and related motions is proposed. Finally, an experimental dataset is obtained for the validation of future numerical simulations.


title: An Embedded Monocular Vision Approach for Ground-Aware Objects Detection and Position Estimation

abstract: In the RoboCup Small Size League (SSL), teams are encouraged to propose solutions for executing basic soccer tasks inside the SSL field using only embedded sensing information. Thus, this work proposes an embedded monocular vision approach for detecting objects and estimating relative positions inside the soccer field. Prior knowledge from the environment is exploited by assuming objects lay on the ground, and the onboard camera has its position fixed on the robot. We implemented the proposed method on an NVIDIA Jetson Nano and employed SSD MobileNet v2 for 2D Object Detection with TensorRT optimization, detecting balls, robots, and goals with distances up to 3.5 meters. Ball localization evaluation shows that the proposed solution overcomes the currently used SSL vision system for positions closer than 1 meter to the onboard camera with a Root Mean Square Error of 14.37 millimeters. In addition, the proposed method achieves real-time performance with an average processing speed of 30 frames per second.


title: Threshold estimation for jump-diffusions under small noise asymptotics

abstract: We consider parameter estimation of stochastic differential equations driven by a Wiener process and a compound Poisson process as small noises. The goal is to give a threshold-type quasi-likelihood estimator and show its consistency and asymptotic normality under new asymptotics. One of the novelties of the paper is that we give a new localization argument, which enables us to avoid truncation in the contrast function that has been used in earlier works and to deal with a wider class of jumps in threshold estimation than ever before.


title: Simplicity in Auctions Revisited: The Primitive Complexity

abstract: In this paper we revisit the notion of simplicity in mechanisms. We consider a seller of $m$ items, facing a single buyer with valuation $v$. We observe that previous attempts to define complexity measures often fail to classify mechanisms that are intuitively considered simple (e.g., the "selling separately" mechanism) as such. We suggest to view a menu as simple if a bundle that maximizes the buyer's profit can be found by conducting a few primitive operations that are considered simple. The \emph{primitive complexity of a menu} is the number of primitive operations needed to (adaptively) find a profit-maximizing entry in the menu. In this paper, the primitive operation that we study is essentially computing the outcome of the "selling separately" mechanism. Does the primitive complexity capture the simplicity of other auctions that are intuitively simple? We consider \emph{bundle-size pricing}, a common pricing method in which the price of a bundle depends only on its size. Our main technical contribution is determining the primitive complexity of bundle-size pricing menus in various settings. We show that for any distribution $\cal D$ over weighted matroid rank valuations, even distributions with arbitrary correlation among their values, there is always a bundle-size pricing menu with low primitive complexity that achieves almost the same revenue as the optimal bundle-size pricing menu. As part of this proof we provide a randomized algorithm that for any weighted matroid rank valuation $v$ and integer $k$, finds the most valuable set of size $k$ with only a poly-logarithmic number of demand and value queries. We show that this result is essentially tight in several aspects. For example, if the valuation $v$ is submodular, then finding the most valuable set of size $k$ requires exponentially many queries (this solves an open question of Badanidiyuru et al. [EC'12]).


title: Auto-active Verification of Graph Algorithms, Written in OCaml

abstract: Functional programming offers the perfect ground for building correct-by-construction software. Languages of such paradigm normally feature state-of-the-art type systems, good abstraction mechanisms, and well-defined execution models. We claim that all of these make software written in a functional language excellent targets for formal certification. Yet, somehow surprising, techniques such as deductive verification have been seldom applied to large-scale programs, written in mainstream functional languages. In this paper, we wish to address this situation and present the auto-active proof of realistic OCaml implementations. We choose implementations issued from the OCamlgraph library as our target, since this is both a large-scale and widely-used piece of OCaml code. We use Cameleer, a recently proposed tool for the deductive verification of OCaml programs, to conduct the proofs of the selected case studies. The vast majority of such proofs are completed fully-automatically, using SMT solvers, and when needed we can apply lightweight interactive proof inside the Why3 IDE (Cameleer translates an input program into an equivalent WhyML one, the language of the Why3 verification framework). To the best of our knowledge, these are the first mechanized, mostly-automated proofs of graph algorithms written in OCaml.


title: Everything is There in Latent Space: Attribute Editing and Attribute Style Manipulation by StyleGAN Latent Space Exploration

abstract: Unconstrained Image generation with high realism is now possible using recent Generative Adversarial Networks (GANs). However, it is quite challenging to generate images with a given set of attributes. Recent methods use style-based GAN models to perform image editing by leveraging the semantic hierarchy present in the layers of the generator. We present Few-shot Latent-based Attribute Manipulation and Editing (FLAME), a simple yet effective framework to perform highly controlled image editing by latent space manipulation. Specifically, we estimate linear directions in the latent space (of a pre-trained StyleGAN) that controls semantic attributes in the generated image. In contrast to previous methods that either rely on large-scale attribute labeled datasets or attribute classifiers, FLAME uses minimal supervision of a few curated image pairs to estimate disentangled edit directions. FLAME can perform both individual and sequential edits with high precision on a diverse set of images while preserving identity. Further, we propose a novel task of Attribute Style Manipulation to generate diverse styles for attributes such as eyeglass and hair. We first encode a set of synthetic images of the same identity but having different attribute styles in the latent space to estimate an attribute style manifold. Sampling a new latent from this manifold will result in a new attribute style in the generated image. We propose a novel sampling method to sample latent from the manifold, enabling us to generate a diverse set of attribute styles beyond the styles present in the training set. FLAME can generate diverse attribute styles in a disentangled manner. We illustrate the superior performance of FLAME against previous image editing methods by extensive qualitative and quantitative comparisons. FLAME also generalizes well on multiple datasets such as cars and churches.


title: Evaluating the Stability of Deep Image Quality Assessment With Respect to Image Scaling

abstract: Image quality assessment (IQA) is a fundamental metric for image processing tasks (e.g., compression). With full-reference IQAs, traditional IQAs, such as PSNR and SSIM, have been used. Recently, IQAs based on deep neural networks (deep IQAs), such as LPIPS and DISTS, have also been used. It is known that image scaling is inconsistent among deep IQAs, as some perform down-scaling as pre-processing, whereas others instead use the original image size. In this paper, we show that the image scale is an influential factor that affects deep IQA performance. We comprehensively evaluate four deep IQAs on the same five datasets, and the experimental results show that image scale significantly influences IQA performance. We found that the most appropriate image scale is often neither the default nor the original size, and the choice differs depending on the methods and datasets used. We visualized the stability and found that PieAPP is the most stable among the four deep IQAs.


title: Numerical modelling of imposed magnetohydrodynamic effects in hypersonic flows

abstract: Weakly ionised plasmas, formed in high enthalpy hypersonic flows, can be actively manipulated via imposed magnetic fields - a concept termed magnetohydrodynamic (MHD) flow control. Imposed MHD effects, within flows which exhibit multiple shock interactions, are consequential for emerging aerospace technologies: including aerodynamic control via magnetic actuation. However, numerical modelling of this flow type remains challenging due to the sensitivity of feature formation and the real gas modelling of weakly ionised, electrically conductive, air plasma. In this work, numerical simulation capabilities have been developed for the study of MHD affected, hypersonic flows, around 2D axisymmetric non-simple geometries. The validated numerical methodology, combined with an advanced 19 species equation of state for air plasma, achieves quantitative agreement between simulation and experiment for a Mach 5.6 double cone geometry with applied magnetic field. Numerical studies are conducted for varied conical surface angle and magnetic field configuration. This paper demonstrates how, for hypersonic flows with complex shock interactions, the MHD affected flow is not only augmented in terms of shock position, but may exhibit topological adaptations in the fundamental flow structure. A classification system is introduced for the emergent flow topologies. The applied numerical studies examine the mechanisms by which the magnetic field configuration influences the MHD augmented shock structure, leading to: (1) differences in magnitude of MHD enhancement effect, and (2) structural adaptations of the flow topology. Most critically, classes of conditions are identified which produce topological equivalence between the magnetic interaction effects and a generalised mechanical control surface.

categories: physics.comp-ph physics.app-ph physics.flu-dyn physics.plasm-ph


title: GenHPF: General Healthcare Predictive Framework with Multi-task Multi-source Learning

abstract: Despite the remarkable progress in the development of predictive models for healthcare, applying these algorithms on a large scale has been challenging. Algorithms trained on a particular task, based on specific data formats available in a set of medical records, tend to not generalize well to other tasks or databases in which the data fields may differ. To address this challenge, we propose General Healthcare Predictive Framework (GenHPF), which is applicable to any EHR with minimal preprocessing for multiple prediction tasks. GenHPF resolves heterogeneity in medical codes and schemas by converting EHRs into a hierarchical textual representation while incorporating as many features as possible. To evaluate the efficacy of GenHPF, we conduct multi-task learning experiments with single-source and multi-source settings, on three publicly available EHR datasets with different schemas for 12 clinically meaningful prediction tasks. Our framework significantly outperforms baseline models that utilize domain knowledge in multi-source learning, improving average AUROC by 1.2%P in pooled learning and 2.6%P in transfer learning while also showing comparable results when trained on a single EHR dataset. Furthermore, we demonstrate that self-supervised pretraining using multi-source datasets is effective when combined with GenHPF, resulting in a 0.6%P AUROC improvement compared to models without pretraining. By eliminating the need for preprocessing and feature engineering, we believe that this work offers a solid framework for multi-task and multi-source learning that can be leveraged to speed up the scaling and usage of predictive algorithms in healthcare.


title: Magnetic field back reaction on the matter power spectrum

abstract: At lowest order comoving magnetic fields which are frozen-into the expanding cosmic fluid do not evolve in time. At next-to-leading order the induction equation is sourced by the interaction term between the baryon velocity and the magnetic field amplitude which leads to a non-trivial evolution of the comoving magnetic field. Moreover, it induces non-trivial cross correlations between the adiabatic curvature mode and the magnetic mode. This cross correlation together with the evolution of the induced matter perturbation leads to interesting effects on the total matter power spectrum at small scales.


title: Learning to Solve Soft-Constrained Vehicle Routing Problems with Lagrangian Relaxation

abstract: Vehicle Routing Problems (VRPs) in real-world applications often come with various constraints, therefore bring additional computational challenges to exact solution methods or heuristic search approaches. The recent idea to learn heuristic move patterns from sample data has become increasingly promising to reduce solution developing costs. However, using learning-based approaches to address more types of constrained VRP remains a challenge. The difficulty lies in controlling for constraint violations while searching for optimal solutions. To overcome this challenge, we propose a Reinforcement Learning based method to solve soft-constrained VRPs by incorporating the Lagrangian relaxation technique and using constrained policy optimization. We apply the method on three common types of VRPs, the Travelling Salesman Problem with Time Windows (TSPTW), the Capacitated VRP (CVRP) and the Capacitated VRP with Time Windows (CVRPTW), to show the generalizability of the proposed method. After comparing to existing RL-based methods and open-source heuristic solvers, we demonstrate its competitive performance in finding solutions with a good balance in travel distance, constraint violations and inference speed.


title: Asymptotic theory in network models with covariates and a growing number of node parameters

abstract: We propose a general model that jointly characterizes degree heterogeneity and homophily in weighted, undirected networks. We present a moment estimation method using node degrees and homophily statistics. We establish consistency and asymptotic normality of our estimator using novel analysis. We apply our general framework to three applications, including both exponential family and non-exponential family models. Comprehensive numerical studies and a data example also demonstrate the usefulness of our method.


title: Identifying the ground state structures of point defects in solids

abstract: Point defects are a universal feature of crystalline materials. Their identification is often addressed by combining experimental measurements with theoretical models. The standard approach of simulating defects is, however, prone to missing the ground state atomic configurations associated with energy-lowering reconstructions from the idealised crystallographic environment. Missed ground states compromise the accuracy of calculated properties. To address this issue, we report an approach to efficiently navigate the defect configurational landscape using targeted bond distortions and rattling. Application of our workflow to a range of materials ($\rm CdTe$, $\rm GaAs$, $\rm Sb_2S_3$, $\rm Sb_2Se_3$, $\rm CeO_2$, $\rm In_2O_3$, $\rm ZnO$, anatase-$\rm TiO_2$) reveals symmetry breaking in each host crystal that is not found via conventional local minimisation techniques. The point defect distortions are classified by the associated physico-chemical factors. We demonstrate the impact of these defect distortions on derived properties, including formation energies, concentrations and charge transition levels. Our work presents a step forward for quantitative modelling of imperfect solids.


title: Understanding and Minimizing $V_{OC}$ Losses in All-Perovskite Tandem Photovoltaics

abstract: All-perovskite tandem solar cells promise high photovoltaic performance at low cost. So far however, their efficiencies cannot compete with traditional inorganic multi-junction solar cells and they generally underperform in comparison to what is expected from the isolated single junction devices. Understanding performance losses in all-perovskite tandem solar cells is a crucial aspect that will accelerate advancement. Here, we perform extensive selective characterization of the individual sub-cells to disentangle the different losses and limiting factors in these tandem devices. We find that non-radiative losses in the high-gap subcell dominate the overall recombination losses in our baseline system as well as in the majority of literature reports. We consecutively improve the high-gap perovskite subcell through a multi-faceted approach, allowing us to enhance the open-circuit voltage ($V_{OC}$) of the subcell by up to 120 mV. Due to the (quasi) lossless indium oxide interconnect which we employ for the first time in all-perovskite tandems, the $V_{OC}$ improvements achieved in the high-gap perovskites translate directly to improved all-perovskite tandem solar cells with a champion $V_{OC}$ of 2.00 V and a stabilized efficiency of 23.7%. The efficiency potential of our optimized all-perovskite tandems reaches 25.2% and 27.0% when determined from electro- and photo-luminescence respectively, indicating significant transport losses as well as imperfect energy-alignment between the perovskite and the transport layers in the experimental devices. Further improvements to 28.4% are possible considering the bulk quality of both absorbers measured using photo-luminescence on isolated perovskite layers. Our insights therefore not only show an optimization example but a generalizable evidence-based strategy for optimization utilizing optical sub-cell characterization.


title: Mori Dream Pairs and $\mathbb{C}^*$-actions

abstract: We construct a correspondence between Mori dream regions arising from small modifications of normal projective varieties and $\mathbb{C}^*$-actions on polarized pairs which are bordisms. Moreover, we show that the Mori dream regions constructed in this way admit a chamber decomposition on which the models are the geometric quotients of the $\mathbb{C}^*$-action. In addition we construct, from a given $\mathbb{C}^*$-action on a polarized pair for which there exist at least two admissible geometric quotients, a $\mathbb{C}^*$-equivariantly birational $\mathbb{C}^*$-variety, whose induced action is a bordism, called the pruning of the variety.


title: Discrete-Constrained Regression for Local Counting Models

abstract: Local counts, or the number of objects in a local area, is a continuous value by nature. Yet recent state-of-the-art methods show that formulating counting as a classification task performs better than regression. Through a series of experiments on carefully controlled synthetic data, we show that this counter-intuitive result is caused by imprecise ground truth local counts. Factors such as biased dot annotations and incorrectly matched Gaussian kernels used to generate ground truth counts introduce deviations from the true local counts. Standard continuous regression is highly sensitive to these errors, explaining the performance gap between classification and regression. To mitigate the sensitivity, we loosen the regression formulation from a continuous scale to a discrete ordering and propose a novel discrete-constrained (DC) regression. Applied to crowd counting, DC-regression is more accurate than both classification and standard regression on three public benchmarks. A similar advantage also holds for the age estimation task, verifying the overall effectiveness of DC-regression.


title: Direct accessibility of the fundamental constants governing light-by-light scattering

abstract: Quantum field theory predicts the vacuum to exhibit a non-linear response to strong electromagnetic fields. This fundamental tenet has remained experimentally challenging and is yet to be tested in the laboratory. We present proof of concept and detailed theoretical analysis of an experimental setup for precision measurements of the quantum vacuum signal generated by the collision of a brilliant x-ray probe with a high-intensity pump laser. The signal features components polarised parallel and perpendicularly to the incident x-ray probe. Our proof-of-concept measurements show that the background can be efficiently suppressed by many orders of magnitude which should not only facilitate a detection of the perpendicularly polarised component of non-linear vacuum response, but even make the parallel polarised component experimentally accessible for the first time. Remarkably, the angular separation of the signal from the intense x-ray probe enables precision measurements even in presence of pump fluctuations and alignment jitter. This provides direct access to the low-energy constants governing light-by-light scattering.


title: Invariants of Weyl group action and $q$-characters of quantum affine algebras

abstract: Let $W$ be the Weyl group corresponding to a finite dimensional simple Lie algebra $\mathfrak{g}$ of rank $\ell$ and let $m>1$ be an integer. In [I21], by applying cluster mutations, a $W$-action on $\mathcal{Y}_m$ was constructed. Here $\mathcal{Y}_m$ is the rational function field on $cm\ell$ commuting variables, where $c \in \{ 1, 2, 3 \}$ depends on $\mathfrak{g}$. This was motivated by the $q$-character map $\chi_q$ of the category of finite dimensional representations of quantum affine algebra $U_q(\hat{\mathfrak{g}})$. We showed in [I21] that when $q$ is a root of unity, $\mathrm{Im} \chi_q$ is a subring of the $W$-invariant subfield $\mathcal{Y}_m^W$ of $\mathcal{Y}_m$. In this paper, we give more detailed study on $\mathcal{Y}_m^W$; for each reflection $r_i \in W$ associated to the $i$th simple root, we describe the $r_i$-invariant subfield $\mathcal{Y}_m^{r_i}$ of $\mathcal{Y}_m$.


title: Adaptive Mixture of Experts Learning for Generalizable Face Anti-Spoofing

abstract: With various face presentation attacks emerging continually, face anti-spoofing (FAS) approaches based on domain generalization (DG) have drawn growing attention. Existing DG-based FAS approaches always capture the domain-invariant features for generalizing on the various unseen domains. However, they neglect individual source domains' discriminative characteristics and diverse domain-specific information of the unseen domains, and the trained model is not sufficient to be adapted to various unseen domains. To address this issue, we propose an Adaptive Mixture of Experts Learning (AMEL) framework, which exploits the domain-specific information to adaptively establish the link among the seen source domains and unseen target domains to further improve the generalization. Concretely, Domain-Specific Experts (DSE) are designed to investigate discriminative and unique domain-specific features as a complement to common domain-invariant features. Moreover, Dynamic Expert Aggregation (DEA) is proposed to adaptively aggregate the complementary information of each source expert based on the domain relevance to the unseen target domain. And combined with meta-learning, these modules work collaboratively to adaptively aggregate meaningful domain-specific information for the various unseen target domains. Extensive experiments and visualizations demonstrate the effectiveness of our method against the state-of-the-art competitors.


title: A Novel Neural Network Training Method for Autonomous Driving Using Semi-Pseudo-Labels and 3D Data Augmentations

abstract: Training neural networks to perform 3D object detection for autonomous driving requires a large amount of diverse annotated data. However, obtaining training data with sufficient quality and quantity is expensive and sometimes impossible due to human and sensor constraints. Therefore, a novel solution is needed for extending current training methods to overcome this limitation and enable accurate 3D object detection. Our solution for the above-mentioned problem combines semi-pseudo-labeling and novel 3D augmentations. For demonstrating the applicability of the proposed method, we have designed a convolutional neural network for 3D object detection which can significantly increase the detection range in comparison with the training data distribution.


title: Accounting for Seasonality in Extreme Sea Level Estimation

abstract: Reliable estimates of sea level return levels are crucial for coastal flooding risk assessments and for coastal flood defence design. We describe a novel method for estimating extreme sea levels that is the first to capture seasonality, interannual variations and longer term changes. We use a joint probabilities method, with skew surge and peak tide as two sea level components. The tidal regime is predictable but skew surges are stochastic. We present a statistical model for skew surges, where the main body of the distribution is modelled empirically whilst a non-stationary generalised Pareto distribution (GPD) is used for the upper tail. We capture within-year seasonality by introducing a daily covariate to the GPD model and allowing the distribution of peak tides to change over months and years. Skew surge-peak tide dependence is accounted for via a tidal covariate in the GPD model and we adjust for skew surge temporal dependence through the subasymptotic extremal index. We incorporate spatial prior information in our GPD model to reduce the uncertainty associated with the highest return level estimates. Our results are an improvement on current return level estimates, with previous methods typically underestimating. We illustrate our method at four UK tide gauges.


title: Enhanced Laplace Approximation

abstract: The Laplace approximation (LA) has been proposed as a method for approximating the marginal likelihood of statistical models with latent variables. However, the approximate maximum likelihood estimators (MLEs) based on the LA are often biased for binary or spatial data, and the corresponding Hessian matrix underestimates the standard errors of these approximate MLEs. A higher-order approximation has been proposed; however, it cannot be applied to complicated models such as correlated random effects models and does not provide consistent variance estimators. In this paper, we propose an enhanced LA (ELA) that provides the true MLE and its consistent variance estimator. We study its relationship to the variational Bayes method. We also introduce a new restricted maximum likelihood estimator (REMLE) for estimating dispersion parameters. The results of numerical studies show that the ELA provides a satisfactory MLE and REMLE, as well as their variance estimators for fixed parameters. The MLE and REMLE can be viewed as posterior mode and marginal posterior mode under flat priors, respectively. Some comparisons are also made with Bayesian procedures under different priors.


title: A Lattice-Theoretical View of Strategy Iteration

abstract: Strategy iteration is a technique frequently used for two-player games in order to determine the winner or compute payoffs, but to the best of our knowledge no general framework for strategy iteration has been considered. Inspired by previous work on simple stochastic games, we propose a general formalisation of strategy iteration for solving least fixpoint equations over a suitable class of complete lattices, based on MV-chains. We devise algorithms that can be used for non-expansive fixpoint functions represented as so-called min-, respectively, max-decompositions. Correspondingly, we develop two different techniques: strategy iteration from above, which has to solve the problem that iteration might reach a fixpoint that is not the least, and from below, which is algorithmically simpler, but requires a more involved correctness argument. We apply our method to solve energy games and compute behavioural metrics for probabilistic automata.


title: Efficiency functionals for the L\'evy flight foraging hypothesis

abstract: We consider a forager diffusing via a fractional heat equation and we introduce several efficiency functionals whose optimality is discussed in relation to the L\'evy exponent of the evolution equation. Several biological scenarios, such as a target close to the forager, a sparse environment, a target located away from the forager and two targets are specifically taken into account. The optimal strategies of each of these configurations are here analyzed explicitly also with the aid of some special functions of classical flavor and the results are confronted with the existing paradigms of the L\'evy foraging hypothesis. Interestingly, one discovers bifurcation phenomena in which a sudden switch occurs between an optimal (but somehow unreliable) L\'evy foraging pattern of inverse square law type and a less ideal (but somehow more secure) classical Brownian motion strategy. Additionally, optimal foraging strategies can be detected in the vicinity of the Brownian one even in cases in which the Brownian one is pessimizing an efficiency functional.


title: Stream-based active learning with linear models

abstract: The proliferation of automated data collection schemes and the advances in sensorics are increasing the amount of data we are able to monitor in real-time. However, given the high annotation costs and the time required by quality inspections, data is often available in an unlabeled form. This is fostering the use of active learning for the development of soft sensors and predictive models. In production, instead of performing random inspections to obtain product information, labels are collected by evaluating the information content of the unlabeled data. Several query strategy frameworks for regression have been proposed in the literature but most of the focus has been dedicated to the static pool-based scenario. In this work, we propose a new strategy for the stream-based scenario, where instances are sequentially offered to the learner, which must instantaneously decide whether to perform the quality check to obtain the label or discard the instance. The approach is inspired by the optimal experimental design theory and the iterative aspect of the decision-making process is tackled by setting a threshold on the informativeness of the unlabeled data points. The proposed approach is evaluated using numerical simulations and the Tennessee Eastman Process simulator. The results confirm that selecting the examples suggested by the proposed algorithm allows for a faster reduction in the prediction error.


title: Dimers on Riemann surfaces II: conformal invariance and scaling limit

abstract: Given a bounded Riemann surface $M$ of finite topological type, we show the existence of a universal and conformally invariant scaling limit for the Temperleyan cycle-rooted spanning forest on any sequence of graphs which approximate $M$ in a reasonable sense (essentially, the invariance principle holds and the walks satisfy a crossing assumption). In combination with the companion paper arxiv:1908.00832, this proves the existence of a universal, conformally invariant scaling limit for the height function of the Temperleyan dimer model on such graphs. Along the way, we describe the relationship between Temperleyan CRSFs and loop measures, and develop tools of independent interest to study the latter using only rough control on the random walk


title: The Shigesada-Kawasaki-Teramoto cross-diffusion system beyond detailed balance

abstract: The existence of global weak solutions to the cross-diffusion model of Shigesada, Kawasaki, and Teramoto for an arbitrary number of species is proved. The model consists of strongly coupled parabolic equations for the population densities in a bounded domain with no-flux boundary conditions, and it describes the dynamics of the segregation of the population species. The diffusion matrix is neither symmetric nor positive semidefinite. A new logarithmic entropy allows for an improved condition on the coefficients of heavily nonsymmetric diffusion matrices, without imposing the detailed-balance condition that is often assumed in the literature. Furthermore, the large-time convergence of the solutions to the constant steady state is proved by using the relative entropy associated to the logarithmic entropy.


title: Propagating torsional Alfv\'en waves in thermally active solar plasma

abstract: The aim of the present study is to shed light on the effects connected with thermal misbalance due to non-equal cooling and heating rates induced by density and temperature perturbations in solar active regions hosting either propagating torsional or shear Alfv\'en waves. A description for the nonlinear forces connected with Alfv\'en waves in non-ideal conditions is provided based on the second order thin flux tube approximation. This provides insight on the effects of Alfv\'en-induced motions on the boundary of thin magnetic structures in thermally active plasmas. The equations describing the process of generating longitudinal velocity perturbations together with density perturbations by nonlinear torsional Alfv\'en waves are obtained and solved analytically. It is shown that the phase shift (compared to the ideal case) and the amplitude of the induced longitudinal plasma motions against the period of mother Alfv\'en wave are greater for shear Alfv\'en waves compared to torsional Alfv\'en waves although following the same pattern. The difference in the influence of thermal misbalance on the induced velocity perturbations is governed by the plasma-beta although its effect is stronger for shear waves. It is deduced that for a harmonic Alfv\'en driver the induced density perturbations are left uninfluenced by the thermal misbalance.


title: Evolution of Dipolar Mixed-mode Coupling Factor in Red Giant Stars: Impact of Buoyancy Spike

abstract: Mixed modes observed in red giants allow for investigation of the stellar interior structures. One important feature in these structures is the buoyancy spike caused by the discontinuity of the chemical gradient left behind during the first dredge-up. The buoyancy spike emerges at the base of the convective zone in low-luminosity red giants and later becomes a glitch when the g-mode cavity expands to encompass the spike. Here, we study the impact of the buoyancy spike on the dipolar mixed modes using stellar models with different properties. We find that the applicability of the asymptotic formalisms for the coupling factor, q, varies depending on the location of the evanescent zone, relative to the position of the spike. Significant deviations between the value of q inferred from fitting the oscillation frequencies and either of the formalisms proposed in the literature are found in models with a large frequency separation in the interval 5 to 15 microHz, with evanescent zones located in a transition region which may be thin or thick. However, it is still possible to reconcile q with the predictions from the asymptotic formalisms, by choosing which formalism to use according to the value of q. For stars approaching the luminosity bump, the buoyancy spike becomes a glitch and strongly affects the mode frequencies. Fitting the frequencies without accounting for the glitch leads to unphysical variations in the inferred q, but we show that this is corrected when properly accounting for the glitch in the fitting.


title: Beam Alignment for the Cell-Free mmWave Massive MU-MIMO Uplink

abstract: Millimeter-wave (mmWave) cell-free massive multi-user (MU) multiple-input multiple-output (MIMO) systems combine the large bandwidths available at mmWave frequencies with the improved coverage of cell-free systems. However, to combat the high path loss at mmWave frequencies, user equipments (UEs) must form beams in meaningful directions, i.e., to a nearby access point (AP). At the same time, multiple UEs should avoid transmitting to the same AP to reduce MU interference. We propose an interference-aware method for beam alignment (BA) in the cell-free mmWave massive MU-MIMO uplink. In the considered scenario, the APs perform full digital receive beamforming while the UEs perform analog transmit beamforming. We evaluate our method using realistic mmWave channels from a commercial ray-tracer, showing the superiority of the proposed method over omnidirectional transmission as well as over methods that do not take MU interference into account.


title: The Precision nEDM Measurement with UltraCold Neutrons at TRIUMF

abstract: The TRIUMF Ultra-Cold Advanced Neutron (TUCAN) collaboration aims at a precision neutron electric dipole moment (nEDM) measurement with an uncertainty of $10^{-27}\,e\cdot\mathrm{cm}$, which is an order-of-magnitude better than the current nEDM upper limit and enables us to test Supersymmetry. To achieve this precision, we are developing a new high-intensity ultracold neutron (UCN) source using super-thermal UCN production in superfluid helium (He-II) and a nEDM spectrometer. The current development status of them is reported in this article.


title: High-rate entanglement between a semiconductor spin and indistinguishable photons

abstract: Photonic graph states, quantum light states where multiple photons are mutually entangled, are key resources for optical quantum technologies. They are notably at the core of error-corrected measurement-based optical quantum computing and all-optical quantum networks. In the discrete variable framework, these applications require high efficiency generation of cluster-states whose nodes are indistinguishable photons. Such photonic cluster states can be generated with heralded single photon sources and probabilistic quantum gates, yet with challenging efficiency and scalability. Spin-photon entanglement has been proposed to deterministically generate linear cluster states. First demonstrations have been obtained with semiconductor spins achieving high photon indistinguishablity, and most recently with atomic systems at high collection efficiency and record length. Here we report on the efficient generation of three partite cluster states made of one semiconductor spin and two indistinguishable photons. We harness a semiconductor quantum dot inserted in an optical cavity for efficient photon collection and electrically controlled for high indistinguishability. We demonstrate two and three particle entanglement with fidelities of 80 % and 63 % respectively, with photon indistinguishability of 88%. The spin-photon and spin-photon-photon entanglement rates exceed by three and two orders of magnitude respectively the previous state of the art. Our system and experimental scheme, a monolithic solid-state device controlled with a resource efficient simple experimental configuration, are very promising for future scalable applications.


title: Accelerated Newton-Raphson GRAPE methods for optimal control

abstract: A Hessian based optimal control method is presented in Liouville space to mitigate previously undesirable polynomial scaling of computation time. This new method, an improvement to the state-of-the-art Newton-Raphson GRAPE method, is derived with respect to two exact time-propagator derivative techniques: auxiliary matrix and ESCALADE methods. We observed that compared to the best current implementation of Newton-Raphson GRAPE method, for an ensemble of 2-level systems, with realistic conditions, the new auxiliary matrix and ESCALADE Hessians can be 4-200 and 70-600 times faster, respectively.


title: Exact Results for the Orbital Angular Momentum of Magnons on Honeycomb Lattices

abstract: We obtain exact results for the orbital angular momentum (OAM) of magnons at the high symmetry points of ferromagnetic (FM) and antiferromagnetic (AF) honeycomb lattices in the presence of Dzyallonshinskii-Moriya (DM) interactions. For the FM honeycomb lattice in the absence of DM interactions, the values of the OAM at the corners of the Brillouin zone (BZ) (${\bf k}_1^*=(0,2\sqrt{3}/9)2\pi/a $, ${\bf k}_2^*=(1/3,\sqrt{3}/9)2\pi/a ,\ldots $) are alternately $\pm 3\hbar /16$ for both magnon bands. The presence of DM interactions dramatically changes those values by breaking the degeneracy of the two magnon bands. The OAM values are alternately $3\hbar /8$ and 0 for the lower magnon band and $-3\hbar /8$ and 0 for the upper magnon band. For the AF honeycomb lattice, the values of the OAM at the corners of the BZ are $\mp (3\hbar /16)\kappa $ on one of the degenerate magnon bands and $\pm (3\hbar /8) (1+\kappa /2)$ on the other, where $\kappa $ measures the anisotropy and the result is independent of the DM interaction.


title: Negative Samples are at Large: Leveraging Hard-distance Elastic Loss for Re-identification

abstract: We present a Momentum Re-identification (MoReID) framework that can leverage a very large number of negative samples in training for general re-identification task. The design of this framework is inspired by Momentum Contrast (MoCo), which uses a dictionary to store current and past batches to build a large set of encoded samples. As we find it less effective to use past positive samples which may be highly inconsistent to the encoded feature property formed with the current positive samples, MoReID is designed to use only a large number of negative samples stored in the dictionary. However, if we train the model using the widely used Triplet loss that uses only one sample to represent a set of positive/negative samples, it is hard to effectively leverage the enlarged set of negative samples acquired by the MoReID framework. To maximize the advantage of using the scaled-up negative sample set, we newly introduce Hard-distance Elastic loss (HE loss), which is capable of using more than one hard sample to represent a large number of samples. Our experiments demonstrate that a large number of negative samples provided by MoReID framework can be utilized at full capacity only with the HE loss, achieving the state-of-the-art accuracy on three re-ID benchmarks, VeRi-776, Market-1501, and VeRi-Wild.


title: Anomalous magnetic properties of quasi two-dimensional van der Waals ferromagnet Fe4GeTe2

abstract: We have studied the magnetic properties of quasi two-dimensional itinerant ferromagnet Fe$_4$GeTe$_2$ as functions of temperature and magnetic field ($B$) with field parallel to the $ab$-plane ($B\|ab$) and $c$-axis ($B\|c$) of the crystal. This van der Waals compound undergoes a continuous paramagnetic to ferromagnetic phase transition below $T_C$ = 270.0 K and a pronounced spin reorientation transition at around $T_{SR}$ $\sim$ 115 K where the easy axis of magnetization changes its direction from in-plane to out-of-plane. The temperature evolution of magnetization in the FM state is highly anomalous and extremely sensitive to the direction and strength of applied magnetic field. Magnetic entropy change ($\Delta S_M$) has been estimated in the vicinity of $T_C$ and $T_{SR}$. $\Delta S_M$($T$) is found to be almost isotropic around $T_C$ while it shows very unusual behavior and is sensitive to the direction of applied field at low temperature close to $T_{SR}$. For $B\|c$, $\Delta S_M$ is negative and decreases continuously with field and -$\Delta S_M$($T$) shows a broad maximum around $T_{SR}$ similar to that observe at $T_C$. On the other hand, $\Delta S_M$ is positive in the vicinity of $T_{SR}$ below 1.4 T and -$\Delta S_M$($T$) exhibits a peak at $T_{SR}$ which becomes very sharp at high field for $B\|ab$. These results suggest complex nature of the magnetic ground state of Fe$_4$GeTe$_2$, which is possibly due to the presence of multiple inequivalent Fe sites, their ordering and complexity of spin configuration.


title: Qualitative Properties of Singular Solutions to the Fractional Yamabe Problem

abstract: In this paper we are interested in the qualitative properties of the solutions to the fractional Yamabe problem in $\mathbb{R}^n$ which present an isolated singularity. In particular, we prove that the Morse index of any such solution is infinity. The proof uses a Emden Fowler type transformation, so that we can pass to a nonlocal 1D problem posed in $\mathbb{R}$.


title: Master equations for de Sitter DFPs

abstract: We develop master equations to study perturbative stability of de Sitter Dynamical Fixed Points (DFPs) of strongly coupled massive quantum field theories in $d+1$ space-time dimensions with a holographic dual. The derived spectrum of linearized fluctuations characterizes the late-time dynamics of holographic strongly coupled non-conformal gauge theories in de Sitter background. Numerous checks and examples are presented.


title: High-pressure control of optical nonlinearity in the polar Weyl semimetal TaAs

abstract: The transition metal monopnictide family of Weyl semimetals recently has been shown to exhibit anomalously strong second-order optical nonlinearity, which is theoretically attributed to a highly asymmetric polarization distribution induced by their polar structure. We experimentally test this hypothesis by measuring optical second harmonic generation (SHG) from TaAs across a pressure-tuned polar-to-nonpolar structural phase transition. Despite the high-pressure structure remaining noncentrosymmetric, the SHG yield is reduced by more than 60 % by 20 GPa as compared to the ambient pressure value. By examining the pressure dependence of distinct groups of SHG susceptibility tensor elements, we find that the yield is primarily controlled by a single element that governs the response along the polar axis. Our results confirm a connection between the polar axis and the giant optical nonlinearity of Weyl semimetals and demonstrate pressure as a means to tune this effect $in$ $situ$.


title: When Is TTS Augmentation Through a Pivot Language Useful?

abstract: Developing Automatic Speech Recognition (ASR) for low-resource languages is a challenge due to the small amount of transcribed audio data. For many such languages, audio and text are available separately, but not audio with transcriptions. Using text, speech can be synthetically produced via text-to-speech (TTS) systems. However, many low-resource languages do not have quality TTS systems either. We propose an alternative: produce synthetic audio by running text from the target language through a trained TTS system for a higher-resource pivot language. We investigate when and how this technique is most effective in low-resource settings. In our experiments, using several thousand synthetic TTS text-speech pairs and duplicating authentic data to balance yields optimal results. Our findings suggest that searching over a set of candidate pivot languages can lead to marginal improvements and that, surprisingly, ASR performance can by harmed by increases in measured TTS quality. Application of these findings improves ASR by 64.5\% and 45.0\% character error reduction rate (CERR) respectively for two low-resource languages: Guaran\'i and Suba.


title: Numerical methods for localization

abstract: Anderson localization provides a challenge to numerical approaches due to the inherent randomness, and hence absence of simple symmetries, in its discrete Hamiltonian representation. Numerous algorithmic approaches have been developed or adopted from other fields and have been collected in this encyclopedia entry. In the discussions below, the emphasis is on the numerical algorithms for localization, while the discussion of the physics of localization is referred to in companion entries by Elgart and Oganesyan in this encyclopedia.


title: Maximum Likelihood Imputation

abstract: Maximum likelihood (ML) estimation is widely used in statistics. The h-likelihood has been proposed as an extension of Fisher's likelihood to statistical models including unobserved latent variables of recent interest. Its advantage is that the joint maximization gives ML estimators (MLEs) of both fixed and random parameters with their standard error estimates. However, the current h-likelihood approach does not allow MLEs of variance components as Henderson's joint likelihood does not in linear mixed models. In this paper, we show how to form the h-likelihood in order to facilitate joint maximization for MLEs of whole parameters. We also show the role of the Jacobian term which allows MLEs in the presence of unobserved latent variables. To obtain MLEs for fixed parameters, intractable integration is not necessary. As an illustration, we show one-shot ML imputation for missing data by treating them as realized but unobserved random parameters. We show that the h-likelihood bypasses the expectation step in the expectation-maximization (EM) algorithm and allows single ML imputation instead of multiple imputations. We also discuss the difference in predictions in random effects and missing data.


title: Renormalisation of singlet operators to four loops

abstract: In QCD the anomalous dimensions of gauge invariant operators of twist 2 play a key role, because they control the scale dependence of the parton distribution functions. Notably, the flavour singlet operators, such as those associated to the gluon distribution, mix under renormalisation with a set of unphysical operators, also known as aliens. Missing this effect leads to wrong results already for the two-loop anomalous dimensions. The correct renormalisation of gluonic operators is an important step towards the computation of the scale evolution of flavour singlet parton distributions, which is now required to 4 loops. Leveraging both the background field method and an enhanced BRST symmetry, we construct the required ghost and alien operator basis up to 4 loops for arbitrary mass dimensions. Furthermore, we extract anomalous dimensions at 4 loops, for the physical operators of mass-dimension 4 and 6, and at 3 loops for mass-dimension 8.


title: Dirac cones for a mean-field model of graphene

abstract: In this article, we show that, in the dissociation regime and under a non-degeneracy assumption, the reduced Hartree-Fock theory of graphene presents Dirac points at the vertices of the first Brillouin zone and that the Fermi level is exactly at the coincidence point of the cones. For this purpose, we first consider a general Schr\"odinger operator $H=-\Delta+V_L$ acting on $L^2(\mathbb{R}^2)$ with a potential $V_L$ which is assumed to be periodic with respect to some lattice with length scale $L$. Under some assumptions which covers periodic reduced Hartree-Fock theory, we show that, in the limit $L\to\infty$, the low-lying spectral bands of $H_L$ are given to leading order by the tight-binding model. For the hexagonal lattice of graphene, the latter presents singularities at the vertices of the Brillouin zone. In addition, the shape of the Bloch bands is so that the Fermi level is exactly on the cones.


title: Shapes of galaxies hosting radio-loud AGNs with z \leq 1

abstract: Links between the properties of radio-loud active galactic nuclei (RLAGNs) and the morphology of their hosts may provide important clues for our understanding of how RLAGNs are triggered. In this work, focusing on passive galaxies, we study the shape of the hosts of RLAGNs selected from the Karl G. Jansky Very Large Array Cosmic Evolution Survey (VLA-COSMOS) 3GHz Large Project, and compare them with previous results based on the first data release (DR1) of the LOFAR Two-Metre Sky Survey (LoTSS). We find that, at redshifts of between 0.6 and 1, high-luminosity ($L_{1.4 GHz}\gtrsim10^{24}\rm W Hz^{-1}$) RLAGNs have a wider range of optical projected axis ratios than their low-redshift counterparts, which are essentially all found in round galaxies with axis ratios of higher than 0.7. We construct control samples and show that although the hosts of high-redshift RLAGNs with the highest luminosities still have a rounder shape compared with the non-RLAGNs, they on average have a smaller axis ratio (more elongated) than the local RLAGNs with similar stellar masses and radio luminosities. This evolution can be interpreted as a byproduct of radio luminosity evolution, namely that galaxies at fixed stellar mass are more radio luminous at high redshifts: artificially increasing the radio luminosities of local galaxies ($z\leq$0.3) by a factor of 2 to 4 can remove the observed evolution of the axis ratio distribution. If this interpretation is correct then the implication is that the link between AGN radio luminosity and host galaxy shape is similar at $z\simeq1$ to in the present-day Universe.


title: PFMC: a parallel symbolic model checker for security protocol verification

abstract: We present an investigation into the design and implementation of a parallel model checker for security protocol verification that is based on a symbolic model of the adversary, where instantiations of concrete terms and messages are avoided until needed to resolve a particular assertion. We propose to build on this naturally lazy approach to parallelise this symbolic state exploration and evaluation. We utilise the concept of strategies in Haskell, which abstracts away from the low-level details of thread management and modularly adds parallel evaluation strategies (encapsulated as a monad in Haskell). We build on an existing symbolic model checker, OFMC, which is already implemented in Haskell. We show that there is a very significant speed up of around 3-5 times improvement when moving from the original single-threaded implementation of OFMC to our multi-threaded version, for both the Dolev-Yao attacker model and more general algebraic attacker models. We identify several issues in parallelising the model checker: among others, controlling growth of memory consumption, balancing lazy vs strict evaluation, and achieving an optimal granularity of parallelism.


title: The impact of the Universe's expansion rate on constraints on modified growth of structure

abstract: In the context of modified gravity, at linear level, the growth of structure in the Universe will be affected by modifications to the Poisson equation and by the background expansion rate of the Universe. It has been shown that these two effects lead to a degeneracy which must be properly accounted for if one is to place reliable constraints on new forces on large scales or, equivalently, modifications to General Relativity. In this paper we show that current constraints are such that assumptions about the background expansion have little impact on constraints on modifications to gravity. We do so by considering the background of a $\Lambda$ Cold Dark Matter ($\Lambda$CDM) universe, a universe with a more general equation of state for the dark energy, and finally, a general, model-independent, expansion rate. We use Gaussian Processes to model modifications to Poisson's equation and, in the case of a general expansion rate, to model the redshift dependent Hubble rate. We identify a degeneracy between modifications to Poisson's equation and the background matter density, $\Omega_M$, which can only be broken by assuming a model-dependent expansion rate. We show that, with current data, the constraints on modifications to the Poisson equation via measurements of the growth rate range between $10-20\%$ depending on the strength of our assumptions on the Universe's expansion rate.


title: Successor Representation Active Inference

abstract: Recent work has uncovered close links between between classical reinforcement learning algorithms, Bayesian filtering, and Active Inference which lets us understand value functions in terms of Bayesian posteriors. An alternative, but less explored, model-free RL algorithm is the successor representation, which expresses the value function in terms of a successor matrix of expected future state occupancies. In this paper, we derive the probabilistic interpretation of the successor representation in terms of Bayesian filtering and thus design a novel active inference agent architecture utilizing successor representations instead of model-based planning. We demonstrate that active inference successor representations have significant advantages over current active inference agents in terms of planning horizon and computational cost. Moreover, we demonstrate how the successor representation agent can generalize to changing reward functions such as variants of the expected free energy.


title: Evaluation of Photos Monte Carlo ambiguities in case of four fermion final states

abstract: With the increasing precision requirements and growing spectrum of applications of Monte Carlo simulations the evaluation of different components of such simulations and their systematic ambiguities become of utmost interest. In the following, we will address the question of systematic errors for Photos Monte Carlo for simulation of bremsstrahlung corrections in final states, which can not, in principle, be identified as a decay of resonances. It is possible, because the program features explicit and exact parametrization of phase space for multi-body plus multi-photon final states. The Photos emission kernel for some processes consist of complete matrix element, in the remaining cases appropriate approximation is used. Comparisons with results of simulations, from generators based on exact phase space and exact fixed order matrix elements, can be used. For the purpose of such validations Photos provides an option to restrict emissions to single photon only. In the current work we concentrate on final state bremsstrahlung in $q \bar{q}(e^+e^-) \to l^+l^- l^+l^- \gamma$ and $\gamma\gamma \to l^+l^- \gamma$ processes. The reference distributions used as a cross-check are obtained from the fixed-order MadGraph Monte Carlo simulations. For the purpose of validation we concentrate on those phase space regions where Photos is not expected to work on the basis of its design alone. These phase space regions of hard, non-collinear photons, do not contribute to large logarithmic terms. We find that in these phase space regions the differences between Photos and MadGraph results do not surpass a few percent and these regions, in turn, contribute about 10% to the observed process rates. This is encouraging in view of the possible ambiguities for precise calculation of realistic observables.


title: Labeling instructions matter in biomedical image analysis

abstract: Biomedical image analysis algorithm validation depends on high-quality annotation of reference datasets, for which labeling instructions are key. Despite their importance, their optimization remains largely unexplored. Here, we present the first systematic study of labeling instructions and their impact on annotation quality in the field. Through comprehensive examination of professional practice and international competitions registered at the MICCAI Society, we uncovered a discrepancy between annotators' needs for labeling instructions and their current quality and availability. Based on an analysis of 14,040 images annotated by 156 annotators from four professional companies and 708 Amazon Mechanical Turk (MTurk) crowdworkers using instructions with different information density levels, we further found that including exemplary images significantly boosts annotation performance compared to text-only descriptions, while solely extending text descriptions does not. Finally, professional annotators constantly outperform MTurk crowdworkers. Our study raises awareness for the need of quality standards in biomedical image analysis labeling instructions.


title: Possibility of $T_{c\bar{s}}(2900)$ as the resonance-like structure induced by threshold effects

abstract: We investigate the process $B\to \bar{D}D_s \pi$ via several rescattering processes. It is shown that the triangle singularity (TS) peak around the $D^*K^*$ threshold generated from the $\chi_{c1}K^* D^*$ loop is relatively narrow, which may simulate the resonance-like structure $T_{c\bar{s}}(2900)$ recently observed by LHCb in the $D_s\pi$ spectrum. However, the TS peak around the $D_s^*\rho$ threshold generated from the $D^{**} D_s^* \rho$ loop is smoothed by the broad width of $\rho$, which itself can hardly describe the $T_{c\bar{s}}(2900)$ structure. A TS signal around the $DK$ threshold generated from the $\chi_{c0}K D $ loop is also predicted.


title: Whip dynamics in a freely falling chain

abstract: In this work, we examine the whip dynamics in a freely falling chain. We consider an inextensible chain with free ends in the presence of gravity hanging from a fixed pulley. If the configuration is unbalanced, the chain begins to accelerate and eventually may lift off the pulley. We show that after the liftoff, the dynamics of the chain resemble that of a whip whose tip speed diverges. The curved region of the chain plays a key role in the dynamics, lifting the chain. The chain is in free fall, yet it exhibits whip dynamics, with one end snapping upward periodically as the chain falls. We have conducted experiments demonstrating this phenomena.


title: Bayesian Hyperparameter Optimization for Deep Neural Network-Based Network Intrusion Detection

abstract: Traditional network intrusion detection approaches encounter feasibility and sustainability issues to combat modern, sophisticated, and unpredictable security attacks. Deep neural networks (DNN) have been successfully applied for intrusion detection problems. The optimal use of DNN-based classifiers requires careful tuning of the hyper-parameters. Manually tuning the hyperparameters is tedious, time-consuming, and computationally expensive. Hence, there is a need for an automatic technique to find optimal hyperparameters for the best use of DNN in intrusion detection. This paper proposes a novel Bayesian optimization-based framework for the automatic optimization of hyperparameters, ensuring the best DNN architecture. We evaluated the performance of the proposed framework on NSL-KDD, a benchmark dataset for network intrusion detection. The experimental results show the framework's effectiveness as the resultant DNN architecture demonstrates significantly higher intrusion detection performance than the random search optimization-based approach in terms of accuracy, precision, recall, and f1-score.


title: Neuronal growth on high-aspect-ratio diamond nanopillar arrays for biosensing applications

abstract: Monitoring neuronal activity with simultaneously high spatial and temporal resolution in living cell cultures is crucial to advance understanding of the development and functioning of our brain, and to gain further insights in the origin of brain disorders. While it has been demonstrated that the quantum sensing capabilities of nitrogen-vacancy (NV) centers in diamond allow real time detection of action potentials from large neurons in marine invertebrates, quantum monitoring of mammalian neurons (presenting much smaller dimensions and thus producing much lower signal and requiring higher spatial resolution) has hitherto remained elusive. In this context, diamond nanostructuring can offer the opportunity to boost the diamond platform sensitivity to the required level. However, a comprehensive analysis of the impact of a nanostructured diamond surface on the neuronal viability and growth was lacking. Here, we pattern a single crystal diamond surface with large-scale nanopillar arrays and we successfully demonstrate growth of a network of living and functional primary mouse hippocampal neurons on it. Our study on geometrical parameters reveals preferential growth along the nanopillar grid axes with excellent physical contact between cell membrane and nanopillar apex. Our results suggest that neuron growth can be tailored on diamond nanopillars to realize a nanophotonic quantum sensing platform for wide-field and label-free neuronal activity recording with sub-cellular resolution.


title: Decentralized Bandits with Feedback for Cognitive Radar Networks

abstract: Completely decentralized Multi-Player Bandit models have demonstrated high localization accuracy at the cost of long convergence times in cognitive radar networks. Rather than model each radar node as an independent learner, entirely unable to swap information with other nodes in a network, in this work we construct a "central coordinator" to facilitate the exchange of information between radar nodes. We show that in interference-limited spectrum, where the signal to interference plus noise (SINR) ratio for the available bands may vary by location, a cognitive radar network (CRN) is able to use information from a central coordinator to reduce the number of time steps required to attain a given localization error. Importantly, each node is still able to learn separately. We provide a description of a network which has hybrid cognition in both a central coordinator and in each of the cognitive radar nodes, and examine the online machine learning algorithms which can be implemented in this structure.


title: Generalized possibilistic Theories: the multipartite experiments problem

abstract: In a recent paper, the author introduced an operational description of physical theories where probabilities are replaced by counterfactual statements belonging to a three-valued (i.e. possibilistic) semantic domain. The complete axiomatic of these Generalized possibilistic Theories is generalized and clarified in the present paper. The problem of bipartite experiments is then addressed as the main skill of this paper. An axiomatic for the tensor product of our spaces of states is given and different solutions are explicitly constructed. This description of tensor products of Inf semi-lattices is partly independent from the usual mathematical description of this problem. The nature of the tensor product of orthocomplemented Inf semi-lattices is then also explored. This subject is indeed fundamental for the development of a reconstruction program for quantum theory within our framework. Our analysis constitutes a first step towards this achievement.


title: Performance of triple-GEM detectors for the CMS Phase-2 upgrade measured in test beam

abstract: Triple-GEM detectors for the GE2/1 and ME0 stations of the endcap muon system for the Phase-2 upgrade of the CMS Experiment have been operated in a test beam to measure their efficiency and spatial resolution, together with a high spatial resolution triple- GEM tracker. A production module of GE2/1 detectors and a prototype ME0 detector show excellent local efficiency. A prototype detector with GEM foils employing random hole sectorization showed significant reduction of dead areas. The spatial resolution of the tracker has been measured and found close to the expected value of 75 {\mu}m.


title: Buckling of thin-walled cylinders from three dimensional nonlinear elasticity

abstract: The famous bifurcation analysis performed by Fl\"ugge on compressed thin-walled cylinders is based on a series of simplifying assumptions, which allow to obtain the bifurcation landscape, together with explicit expressions for limit behaviours: surface instability, wrinkling, and Euler rod buckling. The most severe assumption introduced by Fl\"ugge is the use of an incremental constitutive equation, which does not follow from any nonlinear hyperelastic constitutive law. This is a strong limitation for the applicability of the theory, which becomes questionable when is utilized for a material characterized by a different constitutive equation, such as for instance a Mooney-Rivlin material. We re-derive the entire Fl\"ugge's formulation, thus obtaining a framework where any constitutive equation fits. The use of two different nonlinear hyperelastic constitutive equations, referred to compressible materials, leads to incremental equations, which reduce to those derived by Fl\"ugge under suitable simplifications. His results are confirmed, together with all the limit equations, now rigorously obtained, and his theory is extended. This extension of the theory of buckling of thin shells allows for computationally efficient determination of bifurcation landscapes for nonlinear constitutive laws, which may for instance be used to model biomechanics of arteries, or soft pneumatic robot arms.


title: Integrated Finite Element Neural Network (I-FENN) for non-local continuum damage mechanics

abstract: We present a new Integrated Finite Element Neural Network framework (I-FENN), with the objective to accelerate the numerical solution of nonlinear computational mechanics problems. We leverage the swift predictive capability of neural networks (NNs) and we embed them inside the finite element stiffness function, to compute element-level state variables and their derivatives within a nonlinear, iterative numerical solution. This process is conducted jointly with conventional finite element methods that involve shape functions: the NN receives input data that resembles the material point deformation and its output is used to construct element-level field variables such as the element Jacobian matrix and residual vector. Here we introduce I-FENN to the continuum damage analysis of quasi-brittle materials, and we establish a new non-local gradient-based damage framework which operates at the cost of a local damage approach. First, we develop a physics informed neural network (PINN) to resemble the non-local gradient model and then we train the neural network offline. The network learns to predict the non-local equivalent strain at each material point, as well as its derivative with respect to the local strain. Then, the PINN is integrated in the element stiffness definition and conducts the local to non-local strain transformation, whereas the two PINN outputs are used to construct the element Jacobian matrix and residual vector. This process is carried out within the nonlinear solver, until numerical convergence is achieved. The resulting method bears the computational cost of the conventional local damage approach, but ensures mesh-independent results and a diffused non-local strain and damage profile. As a result, the proposed method tackles the vital drawbacks of both the local and non-local gradient method, respectively being the mesh-dependence and additional computational cost.


title: SLAMER: Simultaneous Localization and Map-Assisted Environment Recognition

abstract: This paper presents a simultaneous localization and map-assisted environment recognition (SLAMER) method. Mobile robots usually have an environment map and environment information can be assigned to the map. Important information for mobile robots such as no entry zone can be predicted if localization has succeeded since relative pose of them can be known. However, this prediction is failed when localization does not work. Uncertainty of pose estimate must be considered for robustly using the map information. In addition, robots have external sensors and environment information can be recognized using the sensors. This on-line recognition of course contains uncertainty; however, it has to be fused with the map information for robust environment recognition since the map also contains uncertainty owing to over time. SLAMER can simultaneously cope with these uncertainties and achieves accurate localization and environment recognition. In this paper, we demonstrate LiDAR-based implementation of SLAMER in two cases. In the first case, we use the SemanticKITTI dataset and show that SLAMER achieves accurate estimate more than traditional methods. In the second case, we use an indoor mobile robot and show that unmeasurable environmental objects such as open doors and no entry lines can be recognized.


title: Analysis of the $X(3960)$ and related tetraquark molecular states via the QCD sum rules

abstract: In this work, we study the $D\bar{D}$, $DD$, $D\bar{D}_s$, $DD_s$, $D_s\bar{D}_s$ and $D_sD_s$ tetraquark molecular states with the $J^{PC}=0^{++}$ via the QCD sum rules. The prediction $M_{D_s\bar {D}_s} = 3.98\pm0.10\, \rm{GeV}$ is in very good agreement with the experimental value $M_{X(3960)} = 3956 \pm 5\pm 10 \,\rm{MeV}$ from the LHCb collaboration and supports assigning the $X(3960)$ as the $D_s^+D_s^-$ molecular state with the $J^{PC}=0^{++}$. We take account of our previous works on the four-quark states consisting of two color-neutral clusters, and acquire the mass spectrum of the ground state hidden-charm and doubly-charm tetraquark molecular states.


title: Magnetic Field of a Permanent Magnet

abstract: For magnetic field calculations, cylindrical permanent magnets are often approximated as ideal, azimuthally symmetric solenoids. Despite the frequent usage of this approximation, research papers demonstrating the validity and limitations of this approach are scarcely available. In this paper, the experimentally derived magnetic field of a cylindrical permanent magnet is compared with the analytically calculated magnetic field of an ideal solenoid. An experimental setup for measuring the magnetic field distribution is demonstrated and employed for gathering the data. The proposed setup allows to measure the distributions of the axial and radial components of the magnetic field surrounding the magnet. The experimental data is in a very good agreement with the theoretical predictions, confirming the validity of using the model of an ideal solenoid for predicting a magnetic field distribution of a permanent magnet.


title: Online Evasion Attacks on Recurrent Models:The Power of Hallucinating the Future

abstract: Recurrent models are frequently being used in online tasks such as autonomous driving, and a comprehensive study of their vulnerability is called for. Existing research is limited in generality only addressing application-specific vulnerability or making implausible assumptions such as the knowledge of future input. In this paper, we present a general attack framework for online tasks incorporating the unique constraints of the online setting different from offline tasks. Our framework is versatile in that it covers time-varying adversarial objectives and various optimization constraints, allowing for a comprehensive study of robustness. Using the framework, we also present a novel white-box attack called Predictive Attack that `hallucinates' the future. The attack achieves 98 percent of the performance of the ideal but infeasible clairvoyant attack on average. We validate the effectiveness of the proposed framework and attacks through various experiments.


title: Notes on invariant measures for loop groups

abstract: Let K denote a simply connected compact Lie group and let G denote its complexification. It is known that there exists an LK-biinvariant probability measure on a natural completion of the complex loop group LG. It is believed that there exist deformations which are positive line bundle valued and reproduce the unitary structure for (projective) positive energy representations of LK. These are notes which supplement lectures I have given on these measures, explaining a number of conjectures concerning how these measures are characterized, how they are computed, and how they are potentially useful for formulating quantum sigma models.


title: Constraint-based type inference for FreezeML

abstract: FreezeML is a new approach to first-class polymorphic type inference that employs term annotations to control when and how polymorphic types are instantiated and generalised. It conservatively extends Hindley-Milner type inference and was first presented as an extension to Algorithm W. More modern type inference techniques such as HM(X) and OutsideIn($X$) employ constraints to support features such as type classes, type families, rows, and other extensions. We take the first step towards modernising FreezeML by presenting a constraint-based type inference algorithm. We introduce a new constraint language, inspired by the Pottier/R\'emy presentation of HM(X), in order to allow FreezeML type inference problems to be expressed as constraints. We present a deterministic stack machine for solving FreezeML constraints and prove its termination and correctness.


title: A note on the variation of geometric functionals

abstract: Calculus of Variation combined with Differential Geometry as tools of modelling and solving problems in image processing and computer vision were introduced in the late 80's and the 90s of the 20th century. The beginning of an extensive work in these directions was marked by works such as Geodesic Active Contours (GAC), the Beltrami framework, level set method of Osher and Sethian the works of Charpiat et al. and the works by Chan and Vese to name just a few. In many cases the optimization of these functional are done by the gradient descent method via the calculation of the Euler-Lagrange equations. Straightforward use of the resulted EL equations in the gradient descent scheme leads to non-geometric and in some cases non sensical equations. It is costumary to modify these EL equations or even the functional itself in order to obtain geometric and/or sensical equations. The aim of this note is to point to the correct way to derive the EL and the gradient descent equations such that the resulted gradient descent equation is geometric and makes sense.


title: The Poisson binomial mechanism for secure and private federated learning

abstract: We introduce the Poisson Binomial mechanism (PBM), a discrete differential privacy mechanism for distributed mean estimation (DME) with applications to federated learning and analytics. We provide a tight analysis of its privacy guarantees, showing that it achieves the same privacy-accuracy trade-offs as the continuous Gaussian mechanism. Our analysis is based on a novel bound on the R\'enyi divergence of two Poisson binomial distributions that may be of independent interest. Unlike previous discrete DP schemes based on additive noise, our mechanism encodes local information into a parameter of the binomial distribution, and hence the output distribution is discrete with bounded support. Moreover, the support does not increase as the privacy budget $\varepsilon \rightarrow 0$ as in the case of additive schemes which require the addition of more noise to achieve higher privacy; on the contrary, the support becomes smaller as $\varepsilon \rightarrow 0$. The bounded support enables us to combine our mechanism with secure aggregation (SecAgg), a multi-party cryptographic protocol, without the need of performing modular clipping which results in an unbiased estimator of the sum of the local vectors. This in turn allows us to apply it in the private FL setting and provide an upper bound on the convergence rate of the SGD algorithm. Moreover, since the support of the output distribution becomes smaller as $\varepsilon \rightarrow 0$, the communication cost of our scheme decreases with the privacy constraint $\varepsilon$, outperforming all previous distributed DP schemes based on additive noise in the high privacy or low communication regimes.


title: Hot magnetic halo of NGC628 (M74)

abstract: In several spiral galaxies that are observed face-on, large-scale ordered magnetic fields (the so-called magnetic arms) were found. One of the explanations was the action of the magnetic reconnection, which leads to a higher ordering of the magnetic fields. Because it simultaneously converts the energy of the magnetic fields into thermal energy of the surroundings, magnetic reconnection has been considered as a heating mechanism of the interstellar medium for many years. Until recently, no clear observational evidence for this phenomenon was found. We search for possible signatures of gas heating by magnetic reconnection effects in the radio and X-ray data for the face-on spiral galaxy NGC628 (M74), which presents pronounced magnetic arms and evidence for vertical magnetic fields. The strengths and energy densities of the magnetic field in the spiral and magnetic arms were derived, as were the temperatures and thermal energy densities of the hot gas, for the disk and halo emission. In the regions of magnetic arms, higher order and lower energy density of the magnetic field is found than in the stellar spiral arms. The global temperature of the hot gas is roughly constant throughout the disk. The comparison of the findings with those obtained for the starburst galaxy M83 suggests that magnetic reconnection heating may be present in the halo of NGC628. The joint analysis of the properties of the magnetic fields and the hot gas in NGC628 also provided clues for possible tidal interaction with the companion galaxy.


title: Large Scale Radio Frequency Signal Classification

abstract: Existing datasets used to train deep learning models for narrowband radio frequency (RF) signal classification lack enough diversity in signal types and channel impairments to sufficiently assess model performance in the real world. We introduce the Sig53 dataset consisting of 5 million synthetically-generated samples from 53 different signal classes and expertly chosen impairments. We also introduce TorchSig, a signals processing machine learning toolkit that can be used to generate this dataset. TorchSig incorporates data handling principles that are common to the vision domain, and it is meant to serve as an open-source foundation for future signals machine learning research. Initial experiments using the Sig53 dataset are conducted using state of the art (SoTA) convolutional neural networks (ConvNets) and Transformers. These experiments reveal Transformers outperform ConvNets without the need for additional regularization or a ConvNet teacher, which is contrary to results from the vision domain. Additional experiments demonstrate that TorchSig's domain-specific data augmentations facilitate model training, which ultimately benefits model performance. Finally, TorchSig supports on-the-fly synthetic data creation at training time, thus enabling massive scale training sessions with virtually unlimited datasets.


title: Design and implementation of a DApp to store health data

abstract: This work presents the design and implementation of a decentralized application (DApp) that aims to guarantee the privacy of data related to the health area, which are stored and shared within a blockchain network. For this, encryption with RSA, ECC and AES algorithms is used. The platforms, technologies, tools and libraries required for development are presented, as well as implementation details.


title: DESCN: Deep Entire Space Cross Networks for Individual Treatment Effect Estimation

abstract: Causal Inference has wide applications in various areas such as E-commerce and precision medicine, and its performance heavily relies on the accurate estimation of the Individual Treatment Effect (ITE). Conventionally, ITE is predicted by modeling the treated and control response functions separately in their individual sample spaces. However, such an approach usually encounters two issues in practice, i.e. divergent distribution between treated and control groups due to treatment bias, and significant sample imbalance of their population sizes. This paper proposes Deep Entire Space Cross Networks (DESCN) to model treatment effects from an end-to-end perspective. DESCN captures the integrated information of the treatment propensity, the response, and the hidden treatment effect through a cross network in a multi-task learning manner. Our method jointly learns the treatment and response functions in the entire sample space to avoid treatment bias and employs an intermediate pseudo treatment effect prediction network to relieve sample imbalance. Extensive experiments are conducted on a synthetic dataset and a large-scaled production dataset from the E-commerce voucher distribution business. The results indicate that DESCN can successfully enhance the accuracy of ITE estimation and improve the uplift ranking performance. A sample of the production dataset and the source code are released to facilitate future research in the community, which is, to the best of our knowledge, the first large-scale public biased treatment dataset for causal inference.


title: Quantitative Versions of the Two-dimensional Gaussian Product Inequalities

abstract: The Gaussian product inequality (GPI) conjecture is one of the most famous inequalities associated with Gaussian distributions and has attracted a lot of concerns. In this note, we investigate the quantitative versions of the two-dimensional Gaussian product inequalities. For any centered non-degenerate two-dimensional Gaussian random vector $(X_1, X_2)$ with variances $\sigma_1^2, \sigma_2^2$ and the correlation coefficient $\rho$, we prove that for any real numbers $\alpha_1, \alpha_2\in (-1,0)$ or $\alpha_1, \alpha_2\in (0,\infty)$, it holds that %there exist functions of $\alpha_1, \alpha_2$ and $\rho$ such that $${\bf E}[|X_1|^{\alpha_1}|X_2|^{\alpha_2}]-{\bf E}[|X_1|^{\alpha_1}]{\bf E}[|X_2|^{\alpha_2}]\ge f(\sigma_1,\sigma_2,\alpha_1, \alpha_2, \rho)\ge 0, $$ where the function $f(\sigma_1,\sigma_2,\alpha_1, \alpha_2, \rho)$ will be given explicitly by Gamma function and is positive when $\rho\neq 0$. When $-1<\alpha_1<0$ and $\alpha_2>0,$ Russell and Sun (arXiv: 2205.10231v1) proved the "opposite Gaussian product inequality", of which we will also give a quantitative version. These quantitative inequalities are derived by employing the hypergeometric functions and the generalized hypergeometric functions.


title: The finite Fourier Transform and projective 2-designs

abstract: There are several approaches to define an eigenvector decomposition of the finite Fourier Transform, which is in some sense unique, and at best resembles the eigenstates of the quantum harmonic oscillator. A solution given by Balian and Itzykson in 1986 for prime dimensions d = 3 (mod 4) is revisited. It is shown, that by applying the Weyl-Heisenberg matrices to this eigenvector basis, a projective 2-design is generated.


title: Spatial distribution of jets in solar active regions

abstract: Context. Solar active regions are known to have jets. These jets are associated with heating and the release of particles into the solar wind. Aim. Our aim is to understand the spatial distribution of coronal jets within active regions to understand if there is a preferential location for them to occur. Methods. We analysed five active regions using Solar Dynamics Observatory Atmospheric Imaging Assembly data over a period of 2-3.5 days when the active regions were close to disk centre. Each active region had a different age, magnetic field strength, and topology. We developed a methodology for determining the position and length of the jets. Results. Jets are observed more frequently at the edges of the active regions and are more densely located around a strong leading sunspot. The number of coronal jets for our active regions is dependent on the age of the active region. The older active regions produce more jets than younger ones. Jets were observed dominantly at the edges of the active regions, and not as frequently in the centre. The number of jets is independent of the average unsigned magnetic field and total flux density in the whole active region. The jets are located around the edges of the strong leading sunspot.


title: MsSpec-DFM (Dielectric function module): Towards a multiple scattering approach to plasmon description

abstract: We present here the MsSpec Dielectric Function module (MsSpec-DFM), which generates dielectric functions in an electron gas or a liquid, either isolated or embedded into an environment. In addition to standard models such as the plasmon pole and the RPA, this module also provides more involved methods incorporating local field corrections (in order to account for correlations), Boltzmann-Vlasov hydrodynamical methods, the relaxation-damped Mermin and the diffusion-damped Hu-O'Connell methods, as well as moment-based methods using either a Nevanlinna function or a memory function. Ultimately, through the use of form factors, the MsSpec-DFM module will be able to address a wide range of materials such as metals, semiconductors, including inversion layers, hetero-structures, superconductors, quantum wells, quantum wires, quantum dots, Dirac materials such as graphene, and liquids.


title: An Efficient Framework for Few-shot Skeleton-based Temporal Action Segmentation

abstract: Temporal action segmentation (TAS) aims to classify and locate actions in the long untrimmed action sequence. With the success of deep learning, many deep models for action segmentation have emerged. However, few-shot TAS is still a challenging problem. This study proposes an efficient framework for the few-shot skeleton-based TAS, including a data augmentation method and an improved model. The data augmentation approach based on motion interpolation is presented here to solve the problem of insufficient data, and can increase the number of samples significantly by synthesizing action sequences. Besides, we concatenate a Connectionist Temporal Classification (CTC) layer with a network designed for skeleton-based TAS to obtain an optimized model. Leveraging CTC can enhance the temporal alignment between prediction and ground truth and further improve the segment-wise metrics of segmentation results. Extensive experiments on both public and self-constructed datasets, including two small-scale datasets and one large-scale dataset, show the effectiveness of two proposed methods in improving the performance of the few-shot skeleton-based TAS task.