title: Matrix-valued orthogonal polynomials related to hexagon tilings

abstract: In this paper, we study a class of matrix-valued orthogonal polynomials (MVOPs) that are related to 2-periodic lozenge tilings of a hexagon. The general model depends on many parameters. In the cases of constant and $2$-periodic parameter values we show that the MVOP can be expressed in terms of scalar polynomials with non-Hermitian orthogonality on a closed contour in the complex plane. The 2-periodic hexagon tiling model with a constant parameter has a phase transition in the large size limit. This is reflected in the asymptotic behavior of the MVOP as the degree tends to infinity. The connection with the scalar orthogonal polynomials allows us to find the limiting behavior of the zeros of the determinant of the MVOP. The zeros tend to a curve $\widetilde{\Sigma}_0$ in the complex plane that has a self-intersection. The zeros of the individual entries of the MVOP show a different behavior and we find the limiting zero distribution of the upper right entry under a geometric condition on the curve $\widetilde{\Sigma}_0$ that we were unable to prove, but that is convincingly supported by numerical evidence.


title: Model-Order Reduction For Hyperbolic Relaxation Systems

abstract: We propose a novel framework for model-order reduction of hyperbolic differential equations. The approach combines a relaxation formulation of the hyperbolic equations with a discretization using shifted base functions. Model-order reduction techniques are then applied to the resulting system of coupled ordinary differential equations. On computational examples including in particular the case of shock waves we show the validity of the approach and the performance of the reduced system.


title: Competition between Born solvation, dielectric exclusion, and Coulomb attraction in spherical nanopores

abstract: The recent measurement of a very low dielectric constant, $\epsilon$, of water confined in nanometric slit pores leads us to reconsider the physical basis of ion partitioning into nanopores. For confined ions in chemical equilibrium with a bulk of dielectric constant $\epsilon_b>\epsilon$, three physical mechanisms, at the origin of ion exclusion in nanopores, are expected to be modified due to this dielectric mismatch: dielectric exclusion at the water-pore interface (with membrane dielectric constant, $\epsilon_m<\epsilon$), the solvation energy related to the difference in Debye-H\"uckel screening parameters in the pore, $\kappa$, and in the bulk $\kappa_b$, and the classical Born solvation self-energy proportional to $\epsilon^{-1}-\epsilon_b^{-1}$. Our goal is to clarify the interplay between these three mechanisms and investigate the role played by the Born contribution in ionic liquid-vapor (LV) phase separation in confined geometries. We first compute analytically the potential of mean force (PMF) of an ion of radius $R_i$ located at the center of a nanometric spherical pore of radius $R$. Computing the variational grand potential for a solution of confined ions, we then deduce the partition coefficients of ions in the pore. Phase diagrams of the LV transition are established for various parameter values and we show that a signature of this phase transition can be detected by monitoring the total osmotic pressure. For charged nanopores, these exclusion effects compete with the electrostatic attraction that imposes the entry of counterions into the pore to enforce electro-neutrality. This study will therefore help in deciphering the respective roles of the Born self-energy and dielectric mismatch in experiments and simulations of ionic transport through nanopores.


title: Cram\'er-Rao Bounds for Near-Field Localization

abstract: Multiple antenna arrays play a key role in wireless networks for communications but also localization and sensing. The use of large antenna arrays pushes towards a propagation regime in which the wavefront is no longer plane but spherical. This allows to infer the position and orientation of an arbitrary source from the received signal without the need of using multiple anchor nodes. To understand the fundamental limits of large antenna arrays for localization, this paper fusions wave propagation theory with estimation theory, and computes the Cram{\'e}r-Rao Bound (CRB) for the estimation of the three Cartesian coordinates of the source on the basis of the electromagnetic vector field, observed over a rectangular surface area. To simplify the analysis, we assume that the source is a dipole, whose center is located on the line perpendicular to the surface center, with an orientation a priori known. Numerical and asymptotic results are given to quantify the CRBs, and to gain insights into the effect of various system parameters on the ultimate estimation accuracy. It turns out that surfaces of practical size may guarantee a centimeter-level accuracy in the mmWave bands.


title: A mixed phase-field fracture model for crack propagation in punctured EPDM strips

abstract: In this work, we present crack propagation experiments evaluated by digital image correlation (DIC) for a carbon black filled ethylene propylene diene monomer rubber (EPDM) and numerical modeling with the help of variational phase-field fracture. Our main focus is the evolution of cracks in one-sided notched EPDM strips containing a circular hole. The crack propagation experiments are complemented with investigations identifying the mechanical material properties as well as the critical strain energy release rate. For simulating the evolution of cracks with a given notch, phase-field fracture modeling is a popular approach. To avoid volume-locking effects considering fractures in nearly incompressible materials, a quasi-static phase-field fracture model in its classical formulation is reformulated with the help of a mixed form of the solid-displacement equation. The new established mixed phase-field fracture model is applied to simulate crack propagation in punctured EPDM strips by using the experimentally identified material parameters with mixed finite elements. To discuss agreements and point out challenges and differences, the crack paths, the maximal force response, the traverse displacement at the crack start, as well as force-displacement curves of the experimental and numerical results are compared.


title: Joint Linear Trend Recovery Using L1 Regularization

abstract: This paper studies the recovery of a joint piece-wise linear trend from a time series using L1 regularization approach, called L1 trend filtering (Kim, Koh and Boyd, 2009). We provide some sufficient conditions under which a L1 trend filter can be well-behaved in terms of mean estimation and change point detection. The result is two-fold: for the mean estimation, an almost optimal consistent rate is obtained; for the change point detection, the slope change in direction can be recovered in a high probability. In addition, we show that the weak irrepresentable condition, a necessary condition for LASSO model to be sign consistent (Zhao and Yu, 2006), is not necessary for the consistent change point detection. The performance of the L1 trend filter is evaluated by some finite sample simulations studies.


title: Not Elimination and Witness Generation for JSON Schema

abstract: JSON Schema is an evolving standard for the description of families of JSON documents. JSON Schema is a logical language, based on a set of assertions that describe features of the JSON value under analysis and on logical or structural combinators for these assertions. As for any logical language, problems like satisfaction, not-elimination, schema satisfiability, schema inclusion and equivalence, as well as witness generation, have both theoretical and practical interest. While satisfaction is trivial, all other problems are quite difficult, due to the combined presence of negation, recursion, and complex assertions in JSON Schema. To make things even more complex and interesting, JSON Schema is not algebraic, since we have both syntactic and semantic interactions between different keywords in the same schema object. With such motivations, we present in this paper an algebraic characterization of JSON Schema, obtained by adding opportune operators, and by mirroring existing ones. We present then algebra-based approaches for dealing with not-elimination and witness generation problems, which play a central role as they lead to solutions for the other mentioned complex problems.


title: Geometric Approach to Analytic Marginalisation of the Likelihood Ratio for Continuous Gravitational Wave Searches

abstract: The likelihood ratio for a continuous gravitational wave signal is viewed geometrically as a function of the orientation of two vectors; one representing the optimal signal-to-noise ratio, the other representing the maximised likelihood ratio or $\mathcal{F}$-statistic. Analytic marginalisation over the angle between the vectors yields a marginalised likelihood ratio which is a function of the $\mathcal{F}$-statistic. Further analytic marginalisation over the optimal signal-to-noise ratio is explored using different choices of prior. Monte-Carlo simulations show that the marginalised likelihood ratios have identical detection power to the $\mathcal{F}$-statistic. This approach demonstrates a route to viewing the $\mathcal{F}$-statistic in a Bayesian context, while retaining the advantages of its efficient computation.


title: Scaling End-to-End Models for Large-Scale Multilingual ASR

abstract: Building ASR models across many languages is a challenging multi-task learning problem due to large variations and heavily unbalanced data. Existing work has shown positive transfer from high resource to low resource languages. However, degradations on high resource languages are commonly observed due to interference from the heterogeneous multilingual data and reduction in per-language capacity. We conduct a capacity study on a 15-language task, with the amount of data per language varying from 7.6K to 53.5K hours. We adopt GShard [1] to efficiently scale up to 10B parameters. Empirically, we find that (1) scaling the number of model parameters is an effective way to solve the capacity bottleneck - our 500M-param model already outperforms monolingual baselines and scaling it to 1B and 10B brought further quality gains; (2) larger models are not only more data efficient, but also more efficient in terms of training cost as measured in TPU days - the 1B-param model reaches the same accuracy at 34% of training time as the 500M-param model; (3) given a fixed capacity budget, adding depth works better than width and large encoders do better than large decoders; (4) with continuous training, they can be adapted to new languages and domains.


title: Axion Dark Matter: How to see it?

abstract: The axion is a highly motivated elementary particle which could address two fundamental questions in physics - the strong CP problem and the dark matter mystery. Experimental searches for this hypothetical particle have started to reach theoretically interesting sensitivity levels, particularly in the $\mu$eV (GHz) region. They rely on large volume solenoid magnetic fields and microwave resonators with signals read out by quantum noise limited amplifiers. Concurrently, there have been intensive experimental efforts to widen the search range by devising various techniques as well as to enhance sensitivities by implementing advanced technologies. The developments and improvements in these orthogonal approaches will enable us to explore most of the parameter space of the axion and axion-like particles within the next couple of decades, with the 1-25 GHz frequency range to be conquered well within the first decade. We review the experimental aspects of axion physics and discuss the past, present and future of the direct search programs.


title: A string averaging method based on strictly quasi-nonexpansive operators with generalized relaxation

abstract: We study a fixed point iterative method based on generalized relaxation of strictly quasi-nonexpansive operators. The iterative method is assembled by averaging of strings, and each string is composed of finitely many strictly quasi-nonexpansive operators. To evaluate the study, we examine a wide class of iterative methods for solving linear systems of equations (inequalities) and the subgradient projection method for solving nonlinear convex feasibility problems. The mathematical analysis is complemented by some experiments in image reconstruction from projections and classical examples, which illustrate the performance using generalized relaxation.


title: Capacity Self-Planning in Small Cell Multi-Tenant 5G Networks

abstract: Multi-tenancy allows diverse agents sharing the infrastructure in the 5 th generation of mobile networks. Such a feature calls for more automated and faster planning procedures in order to adapt the network capacity to the varying traffic demand. To achieve these goals, Small Cells offer network providers more flexible, scalable, and cost-effective solutions compared to macrocell deployments. This paper proposes a novel framework for cell planning in multi-tenant Small Cell networks. In this framework, the tenant's contracted capacity is translated to a set of detailed planning specifications over time and space domains in order to efficiently update the network infrastructure and configuration. Based on this, an algorithm is proposed that considers different actions such as adding/removing channels and adding or relocating small cells. The proposed approach is evaluated considering the deployment of a new tenant, where different sets of planning specifications are tested.


title: Multi Voxel-Point Neurons Convolution (MVPConv) for Fast and Accurate 3D Deep Learning

abstract: We present a new convolutional neural network, called Multi Voxel-Point Neurons Convolution (MVPConv), for fast and accurate 3D deep learning. The previous works adopt either individual point-based features or local-neighboring voxel-based features to process 3D model, which limits the performance of models due to the inefficient computation. Moreover, most of the existing 3D deep learning frameworks aim at solving one specific task, and only a few of them can handle a variety of tasks. Integrating both the advantages of the voxel and point-based methods, the proposed MVPConv can effectively increase the neighboring collection between point-based features and also promote the independence among voxel-based features. Simply replacing the corresponding convolution module with MVPConv, we show that MVPConv can fit in different backbones to solve a wide range of 3D tasks. Extensive experiments on benchmark datasets such as ShapeNet Part, S3DIS and KITTI for various tasks show that MVPConv improves the accuracy of the backbone (PointNet) by up to 36%, and achieves higher accuracy than the voxel-based model with up to 34 times speedup. In addition, MVPConv also outperforms the state-of-the-art point-based models with up to 8 times speedup. Notably, our MVPConv achieves better accuracy than the newest point-voxel-based model PVCNN (a model more efficient than PointNet) with lower latency.


title: Gurevich-Pitaevskii problem and its development

abstract: We present an introduction to the theory of dispersive shock waves in the framework of the approach proposed by Gurevich and Pitaevskii (Zh. Eksp. Teor. Fiz., 65, 590 (1973) [Sov. Phys. JETP, 38, 291 (1974)]) based on the Whitham theory of modulation of nonlinear waves. We explain how Whitham equations for a periodic solution can be derived for the Korteweg-de Vries equation and outline some elementary methods to solve them. We illustrate this approach with solutions to the main problems discussed by Gurevich and Pitaevskii. We consider a generalization of the theory to systems with weak dissipation and discuss the theory of dispersive shock waves for the Gross-Pitaevskii equation.


title: A Practical Approach for Rate-Distortion-Perception Analysis in Learned Image Compression

abstract: Rate-distortion optimization (RDO) of codecs, where distortion is quantified by the mean-square error, has been a standard practice in image/video compression over the years. RDO serves well for optimization of codec performance for evaluation of the results in terms of PSNR. However, it is well known that the PSNR does not correlate well with perceptual evaluation of images; hence, RDO is not well suited for perceptual optimization of codecs. Recently, rate-distortion-perception trade-off has been formalized by taking the Kullback-Leibner (KL) divergence between the distributions of the original and reconstructed images as a perception measure. Learned image compression methods that simultaneously optimize rate, mean-square loss, VGG loss, and an adversarial loss were proposed. Yet, there exists no easy approach to fix the rate, distortion or perception at a desired level in a practical learned image compression solution to perform an analysis of the trade-off between rate, distortion and perception measures. In this paper, we propose a practical approach to fix the rate to carry out perception-distortion analysis at a fixed rate in order to perform perceptual evaluation of image compression results in a principled manner. Experimental results provide several insights for practical rate-distortion-perception analysis in learned image compression.


title: RobustFusion: Robust Volumetric Performance Reconstruction under Human-object Interactions from Monocular RGBD Stream

abstract: High-quality 4D reconstruction of human performance with complex interactions to various objects is essential in real-world scenarios, which enables numerous immersive VR/AR applications. However, recent advances still fail to provide reliable performance reconstruction, suffering from challenging interaction patterns and severe occlusions, especially for the monocular setting. To fill this gap, in this paper, we propose RobustFusion, a robust volumetric performance reconstruction system for human-object interaction scenarios using only a single RGBD sensor, which combines various data-driven visual and interaction cues to handle the complex interaction patterns and severe occlusions. We propose a semantic-aware scene decoupling scheme to model the occlusions explicitly, with a segmentation refinement and robust object tracking to prevent disentanglement uncertainty and maintain temporal consistency. We further introduce a robust performance capture scheme with the aid of various data-driven cues, which not only enables re-initialization ability, but also models the complex human-object interaction patterns in a data-driven manner. To this end, we introduce a spatial relation prior to prevent implausible intersections, as well as data-driven interaction cues to maintain natural motions, especially for those regions under severe human-object occlusions. We also adopt an adaptive fusion scheme for temporally coherent human-object reconstruction with occlusion analysis and human parsing cue. Extensive experiments demonstrate the effectiveness of our approach to achieve high-quality 4D human performance reconstruction under complex human-object interactions whilst still maintaining the lightweight monocular setting.


title: Local inhomogeneities resolved by scanning probe techniques and their impact on local 2DEG formation in oxide heterostructures

abstract: Lateral inhomogeneities in the formation of 2-dimensional electron gases (2DEG) directly influence their electronic properties. Understanding their origin is an important factor for fundamental interpretations, as well as high quality devices. Here, we studied the local formation of the buried 2DEG at LaAlO3/SrTiO3 (LAO/STO) interfaces grown on STO (100) single crystals with partial TiO2 termination, utilizing in-situ local conductivity atomic force microscopy (LC-AFM) and scattering-type scanning near-field optical microscopy (s-SNOM). Using substrates with different degrees of chemical surface termination, we can link the resulting interface chemistry to an inhomogeneous 2DEG formation. In conductivity maps recorded by LC-AFM, a significant lack of conductivity is observed at topographic features, indicative of a local SrO/AlO2 interface stacking order, while significant local conductivity can be probed in regions showing TiO2/LaO interface stacking order. These results could be corroborated by s SNOM, showing a similar contrast distribution in the optical signal which can be linked to the local electronic properties of the material. The results are further complimented by low-temperature conductivity measurements, which show an increasing residual resistance at 5 K with increasing portion of insulating SrO terminated areas. Therefore, we can correlate the macroscopic electrical behavior of our samples to its nanoscopic structure. Using proper parameters, 2DEG mapping can be carried out without any visible alteration of sample properties, proving LC AFM and s SNOM to be viable and destruction-free techniques for the identification of local 2DEG formation. Furthermore, applying LC AFM and s SNOM in this manner opens the exciting prospect to link macroscopic low temperature transport to its nanoscopic origin.


title: The Factual Inconsistency Problem in Abstractive Text Summarization: A Survey

abstract: Recently, various neural encoder-decoder models pioneered by Seq2Seq framework have been proposed to achieve the goal of generating more abstractive summaries by learning to map input text to output text. At a high level, such neural models can freely generate summaries without any constraint on the words or phrases used. Moreover, their format is closer to human-edited summaries and output is more readable and fluent. However, the neural model's abstraction ability is a double-edged sword. A commonly observed problem with the generated summaries is the distortion or fabrication of factual information in the article. This inconsistency between the original text and the summary has caused various concerns over its applicability, and the previous evaluation methods of text summarization are not suitable for this issue. In response to the above problems, the current research direction is predominantly divided into two categories, one is to design fact-aware evaluation metrics to select outputs without factual inconsistency errors, and the other is to develop new summarization systems towards factual consistency. In this survey, we focus on presenting a comprehensive review of these fact-specific evaluation methods and text summarization models.


title: A Novel Convergence Analysis for Algorithms of the Adam Family and Beyond

abstract: Why does the original analysis of Adam fail, but it still converges very well in practice on a broad range of problems? There are still some mysteries about Adam that have not been unraveled. This paper provides a novel non-convex analysis of Adam and its many variants to uncover some of these mysteries. Our analysis exhibits that an increasing or large enough "momentum" parameter for the first-order moment used in practice is sufficient to ensure Adam and its many variants converge under a mild boundness condition on the adaptive scaling factor of the step size. In contrast, the original problematic analysis of Adam uses a momentum parameter that decreases to zero, which is the key reason that makes it diverge on some problems. To the best of our knowledge, this is the first time the gap between analysis and practice is bridged. Our analysis also exhibits more insights for practical implementations of Adam, e.g., increasing the momentum parameter in a stage-wise manner in accordance with stagewise decreasing step size would help improve the convergence. Our analysis of the Adam family is modular such that it can be (has been) extended to solving other optimization problems, e.g., compositional, min-max and bi-level problems. As an interesting yet non-trivial use case, we present an extension for solving non-convex min-max optimization in order to address a gap in the literature that either requires a large batch or has double loops. Our empirical studies corroborate the theory and also demonstrate the effectiveness in solving min-max problems.


title: A combinatorial algorithm for computing the entire sequence of the maximum degree of minors of a generic partitioned polynomial matrix with $2 \times 2$ submatrices

abstract: In this paper, we consider the problem of computing the entire sequence of the maximum degree of minors of a block-structured symbolic matrix (a generic partitioned polynomial matrix) $A = (A_{\alpha\beta} x_{\alpha \beta} t^{d_{\alpha \beta}})$, where $A_{\alpha\beta}$ is a $2 \times 2$ matrix over a field $\mathbf{F}$, $x_{\alpha \beta}$ is an indeterminate, and $d_{\alpha \beta}$ is an integer for $\alpha = 1,2,\dots, \mu$ and $\beta = 1,2,\dots,\nu$, and $t$ is an additional indeterminate. This problem can be viewed as an algebraic generalization of the maximum weight bipartite matching problem. The main result of this paper is a combinatorial $O(\mu \nu \min\{\mu, \nu\}^2)$-time algorithm for computing the entire sequence of the maximum degree of minors of a $(2 \times 2)$-type generic partitioned polynomial matrix of size $2\mu \times 2\nu$. We also present a minimax theorem, which can be used as a good characterization (NP $\cap$ co-NP characterization) for the computation of the maximum degree of minors of order $k$. Our results generalize the classical primal-dual algorithm (the Hungarian method) and minimax formula (Egerv\'ary's theorem) for the maximum weight bipartite matching problem.


title: A Thermodynamic based and Data Driven Hybrid Network for Gas Turbine Modeling

abstract: The on-wing engine performance is difficult to track for thermodynamic models because of its inaccurate component maps, and also difficult for data driven methods for their over-fitting to measurement errors. So, we propose a thermodynamic based and data driven hybrid network for gas turbine modeling. Different from thermodynamic models, our network reconstructs the component characteristics in a data-driven way to take component degeneration and individual difference into consideration. Moreover, different from data driven methods, in the training phase, physical based equations and the analytical mathematical description are used to ensure that the optimization converges to the gas turbine's dynamics. A huge number of relaxed quasi steady state flight data to 26970 is used to train and test our hybrid network. The result shows that the accuracy of our hybrid network can reach about 7% measured by max T6 relative error, 5% better than map fitting based thermodynamic model and 8% better than pure data driven method with similar model volume.


title: Design and analysis of the Extended Hybrid High-Order method for the Poisson problem

abstract: We propose an Extended Hybrid High-Order scheme for the Poisson problem with solution possessing weak singularities. Some general assumptions are stated on the nature of this singularity and the remaining part of the solution. The method is formulated by enriching the local polynomial spaces with appropriate singular functions. Via a detailed error analysis, the method is shown to converge optimally in both discrete and continuous energy norms. Some tests are conducted in two dimensions for singularities arising from irregular geometries in the domain. The numerical simulations illustrate the established error estimates, and show the method to be a significant improvement over a standard Hybrid High-Order method.


title: Solenoid-free current drive via ECRH in EXL-50 spherical torus plasmas

abstract: As a new spherical tokamak (ST) designed to simplify engineering requirements of a possible future fusion power source, the EXL-50 experiment features a low aspect ratio (A) vacuum vessel (VV), encircling a central post assembly containing the toroidal field coil conductors without a central solenoid. Multiple electron cyclotron resonance heating (ECRH) resonances are located within the VV to improve current drive effectiveness. Copious energetic electrons are produced and measured with hard X-ray detectors, carry the bulk of the plasma current ranging from 50kA to 150kA, which is maintained for more than 1s duration. It is observed that over one Ampere current can be maintained per Watt of ECRH power issued from the 28-GHz gyrotrons. The plasma current reaches Ip>80kA for high density (>5e18me-2) discharge with 150kW ECHR heating. An analysis was carried out combining reconstructed multi-fluid equilibrium, guiding-center orbits of energetic electrons, and resonant heating mechanisms. It is verified that in EXL-50 a broadly distributed current of energetic electrons creates smaller closed magnetic-flux surfaces of low aspect ratio that in turn confine the thermal plasma electrons and ions and participate in maintaining the equilibrium force-balance.


title: Variational Hodge conjecture for complete intersections on hypersurfaces in projective space

abstract: In this paper we give a new and simplified proof of the variational Hodge conjecture for complete intersection cycles on a hypersurface in projective space.


title: Peculiar atomic bond nature in platinum monatomic chains

abstract: Metal atomic chains have been reported to change their electronic or magnetic properties by slight mechanical stimulus. However, the mechanical response has been veiled because of lack of information on the bond nature. Here, we clarify the bond nature in platinum (Pt) monatomic chains by our developed in-situ transmission electron microscope method. The stiffness is measured with sub N/m precision by quartz length-extension resonator. The bond stiffnesses at the middle of the chain and at the connecting to the base are estimated to be 25 and 23 N/m, respectively, which are higher than the bulk counterpart. Interestingly, the bond length of 0.25 nm is found to be elastically stretched to 0.31 nm, corresponding to 24% in strain. Such peculiar bond nature could be explained by a novel concept of "string tension". This study is a milestone that will significantly change the way we think about atomic bonds in one-dimensional substance.


title: Active WeaSuL: Improving Weak Supervision with Active Learning

abstract: The availability of labelled data is one of the main limitations in machine learning. We can alleviate this using weak supervision: a framework that uses expert-defined rules $\boldsymbol{\lambda}$ to estimate probabilistic labels $p(y|\boldsymbol{\lambda})$ for the entire data set. These rules, however, are dependent on what experts know about the problem, and hence may be inaccurate or may fail to capture important parts of the problem-space. To mitigate this, we propose Active WeaSuL: an approach that incorporates active learning into weak supervision. In Active WeaSuL, experts do not only define rules, but they also iteratively provide the true label for a small set of points where the weak supervision model is most likely to be mistaken, which are then used to better estimate the probabilistic labels. In this way, the weak labels provide a warm start, which active learning then improves upon. We make two contributions: 1) a modification of the weak supervision loss function, such that the expert-labelled data inform and improve the combination of weak labels; and 2) the maxKL divergence sampling strategy, which determines for which data points expert labelling is most beneficial. Our experiments show that when the budget for labelling data is limited (e.g. $\leq 60$ data points), Active WeaSuL outperforms weak supervision, active learning, and competing strategies, with only a handful of labelled data points. This makes Active WeaSuL ideal for situations where obtaining labelled data is difficult.


title: Forming Ensembles at Runtime: A Machine Learning Approach

abstract: Smart system applications (SSAs) built on top of cyber-physical and socio-technical systems are increasingly composed of components that can work both autonomously and by cooperating with each other. Cooperating robots, fleets of cars and fleets of drones, emergency coordination systems are examples of SSAs. One approach to enable cooperation of SSAs is to form dynamic cooperation groups-ensembles-between components at runtime. Ensembles can be formed based on predefined rules that determine which components should be part of an ensemble based on their current state and the state of the environment (e.g., "group together 3 robots that are closer to the obstacle, their battery is sufficient and they would not be better used in another ensemble"). This is a computationally hard problem since all components are potential members of all possible ensembles at runtime. In our experience working with ensembles in several case studies the past years, using constraint programming to decide which ensembles should be formed does not scale for more than a limited number of components and ensembles. Also, the strict formulation in terms of hard/soft constraints does not easily permit for runtime self-adaptation via learning. This poses a serious limitation to the use of ensembles in large-scale and partially uncertain SSAs. To tackle this problem, in this paper we propose to recast the ensemble formation problem as a classification problem and use machine learning to efficiently form ensembles at scale.


title: On subdirect products of type $FP_n$ of limit groups over Droms RAAGs

abstract: We generalize some known results for limit groups over free groups and residually free groups to limit groups over Droms RAAGs and residually Droms RAAGs, respectively. We show that limit groups over Droms RAAGs are free-by-(torsion-free nilpotent). We prove that if $S$ is a full subdirect product of type $FP_s(\mathbb{Q})$ of limit groups over Droms RAAGs with trivial center, then the projection of $S$ to the direct product of any $s$ of the limit groups over Droms RAAGs has finite index. Moreover, we compute the growth of homology groups and the volume gradients for limit groups over Droms RAAGs in any dimension and for finitely presented residually Droms RAAGs of type $FP_m$ in dimensions up to $m$. In particular, this gives the values of the analytic $L^2$-Betti numbers of these groups in the respective dimensions.


title: Non-oscillatory power spectrum from States of Low Energy in kinetically dominated early universes

abstract: Recently, States of Low Energy (SLEs) have been proposed as viable vacuum states of primordial perturbations within Loop Quantum Cosmology (LQC). In this work we investigate the effect of the high curvature region of LQC on the definition of SLEs. Shifting the support of the test function that defines them away from this regime results in primordial power spectra of perturbations closer to those of the so-called Non-oscillatory (NO) vacuum, which is another viable choice of initial conditions previously introduced in the LQC context. Furthermore, through a comparison with the Hadamard-like SLEs, we prove that the NO vacuum is of Hadamard type as well.


title: Multi-Matrix Verifiable Computation

abstract: The problem of securely outsourcing computation to cloud servers has attracted a large amount of attention in recent years. The verifiable computation of Gennaro, Gentry, Parno (Crypto'10) allows a client to verify the server's computation of a function with substantially less time than performing the outsourced computation from scratch. In a multi-function model (Parno, Raykova, Vaikuntanathan; TCC'12) of verifiable computation, the process of encoding function and the process of preparing input are decoupled such that any client can freely submit a computation request on its input, without having to generate an encoding of the function in advance. In this paper, we propose a multi-matrix verifiable computation scheme that allows the secure outsourcing of the matrix functions over a finite field. Our scheme is outsourceable. When it is used to outsource $m$ linear functions, the scheme is roughly $m$ times faster and has less communication cost than the previously best known scheme by Fiore and Gennaro (CCS'12), both in the client-side computation and in the server-side computation. We also show the cost saving with detailed implementations.


abstract: Super-Resolution (SR) is a fundamental computer vision task that aims to obtain a high-resolution clean image from the given low-resolution counterpart. This paper reviews the NTIRE 2021 Challenge on Video Super-Resolution. We present evaluation results from two competition tracks as well as the proposed solutions. Track 1 aims to develop conventional video SR methods focusing on the restoration quality. Track 2 assumes a more challenging environment with lower frame rates, casting spatio-temporal SR problem. In each competition, 247 and 223 participants have registered, respectively. During the final testing phase, 14 teams competed in each track to achieve state-of-the-art performance on video SR tasks.


title: Development of spin fluctuations under the presence of $d$-wave bond order in cuprate superconductors

abstract: In cuprate superconductors, superconductivity appears below the CDW transition temperature $T_{CDW}$. However, many-body electronic states under the CDW order are still far from understood. Here, we study the development of the spin fluctuations under the presence of $d$-wave bond order (BO) with wavevector $q=(\pi/2,0),(0,\pi/2)$, which is derived from the paramagnon interference mechanism in recent theoretical studies. Based on the $4 \times 1$ and $4 \times 4$ cluster Hubbard models, the feedback effects between spin susceptibility and self-energy are calculated self-consistently by using the fluctuation-exchange (FLEX) approximation. It is found that the $d$-wave BO leads to a sizable suppression of the nuclear magnetic relaxation rate $1/T_1$. In contrast, the reduction in $T_c$ is small, since the static susceptibility $\chi^s(Q_s)$ is affected by the BO just slightly. It is verified that the $d$-wave BO scenario is consistent with the experimental electronic properties below $T_{CDW}$.


abstract: Motion blur is a common photography artifact in dynamic environments that typically comes jointly with the other types of degradation. This paper reviews the NTIRE 2021 Challenge on Image Deblurring. In this challenge report, we describe the challenge specifics and the evaluation results from the 2 competition tracks with the proposed solutions. While both the tracks aim to recover a high-quality clean image from a blurry image, different artifacts are jointly involved. In track 1, the blurry images are in a low resolution while track 2 images are compressed in JPEG format. In each competition, there were 338 and 238 registered participants and in the final testing phase, 18 and 17 teams competed. The winning methods demonstrate the state-of-the-art performance on the image deblurring task with the jointly combined artifacts.


title: An augmented Lagrangian preconditioner for the magnetohydrodynamics equations at high Reynolds and coupling numbers

abstract: The magnetohydrodynamics (MHD) equations are generally known to be difficult to solve numerically, due to their highly nonlinear structure and the strong coupling between the electromagnetic and hydrodynamic variables, especially for high Reynolds and coupling numbers. In this work, we present a scalable augmented Lagrangian preconditioner for a finite element discretization of the $\mathbf{B}$-$\mathbf{E}$ formulation of the incompressible viscoresistive MHD equations. For stationary problems, our solver achieves robust performance with respect to the Reynolds and coupling numbers in two dimensions and good results in three dimensions. We extend our method to fully implicit methods for time-dependent problems which we solve robustly in both two and three dimensions. Our approach relies on specialized parameter-robust multigrid methods for the hydrodynamic and electromagnetic blocks. The scheme ensures exactly divergence-free approximations of both the velocity and the magnetic field up to solver tolerances. We confirm the robustness of our solver by numerical experiments in which we consider fluid and magnetic Reynolds numbers and coupling numbers up to 10,000 for stationary problems and up to 100,000 for transient problems in two and three dimensions.


title: Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets

abstract: We prove that the well-known (strong) fully-concurrent bisimilarity and the novel i-causal-net bisimilarity, which is a sligtlhy coarser variant of causal-net bisimilarity, are decidable for finite bounded Petri nets. The proofs are based on a generalization of the ordered marking proof technique that Vogler used to demonstrate that (strong) fully-concurrent bisimilarity (or, equivalently, history-preserving bisimilarity) is decidable on finite safe nets.


title: Surface plasmonics of Weyl semimetals

abstract: Smooth interfaces of topological systems are known to host massive surface states along with the topologically protected chiral one. We show that in Weyl semimetals these massive states, along with the chiral Fermi arc, strongly alter the form of the Fermi-arc plasmon, Most saliently, they yield further collective plasmonic modes that are absent in a conventional interfaces. The plasmon modes are completely anisotropic as a consequence of the underlying anisotropy in the surface model and expected to have a clear-cut experimental signature, e.g. in electron-energy loss spectroscopy.


title: Unique Ergodicity in the Interconnections of Ensembles with Applications to Two-Sided Markets

abstract: There has been much recent interest in two-sided markets and dynamics thereof. In a rather a general discrete-time feedback model, which we show conditions that assure that for each agent, there exists the limit of a long-run average allocation of a resource to the agent, which is independent of any initial conditions. We call this property the unique ergodicity. Our model encompasses two-sided markets and more complicated interconnections of workers and customers, such as in a supply chain. It allows for non-linearity of the response functions of market participants. Finally, it allows for uncertainty in the response of market participants by considering a set of the possible responses to either price or other signals and a measure to sample from these.


title: A Decidable Equivalence for a Turing-complete, Distributed Model of Computation

abstract: Place/Transition Petri nets with inhibitor arcs (PTI nets for short), which are a well-known Turing-complete, distributed model of computation, are equipped with a decidable, behavioral equivalence, called pti-place bisimilarity, that conservatively extends place bisimilarity defined over Place/Transition nets (without inhibitor arcs). We prove that pti-place bisimilarity is sensible, as it respects the causal semantics of PTI nets.


title: Summarization, Simplification, and Generation: The Case of Patents

abstract: We survey Natural Language Processing (NLP) approaches to summarizing, simplifying, and generating patents' text. While solving these tasks has important practical applications - given patents' centrality in the R&D process - patents' idiosyncrasies open peculiar challenges to the current NLP state of the art. This survey aims at a) describing patents' characteristics and the questions they raise to the current NLP systems, b) critically presenting previous work and its evolution, and c) drawing attention to directions of research in which further work is needed. To the best of our knowledge, this is the first survey of generative approaches in the patent domain.


title: Ab-Initio Molecular Dynamics with Screened Lorentz Forces. Part I. Calculation and Atomic Charge Interpretation of Berry Curvature

abstract: The dynamics of a molecule in a magnetic field is significantly different form its zero-field counterpart. One important difference in the presence of a field is the Lorentz force acting on the nuclei, which can be decomposed as the sum of the bare nuclear Lorentz force and a screening force due to the electrons. This screening force is calculated from the Berry curvature and can change the dynamics qualitatively. It is therefore important to include the contributions from the Berry curvature in molecular dynamics simulations in a magnetic field. In this work, we present a scheme for calculating the Berry curvature numerically, by a finite-difference technique, addressing challenges related to the arbitrary global phase of the wave function. The Berry curvature is calculated as a function of bond distance for H$_2$ at the restricted and unrestricted Hartree--Fock levels of theory and for CH$^{+}$ as a function of the magnetic field strength at the restricted Hartree--Fock level of theory. The calculations are carried out using basis sets of contracted Gaussian functions equipped with London phase factors (London orbitals) to ensure gauge-origin invariance. In the paper, we also interpret the Berry curvature in terms of atomic charges and discuss its convergence in basis sets with and without London phase factors. Calculation of the Berry curvature allows for its inclusion in \textit{ab initio} molecular dynamics simulations in a magnetic field.


title: WELES: Policy-driven Runtime Integrity Enforcement of Virtual Machines

abstract: Trust is of paramount concern for tenants to deploy their security-sensitive services in the cloud. The integrity of VMs in which these services are deployed needs to be ensured even in the presence of powerful adversaries with administrative access to the cloud. Traditional approaches for solving this challenge leverage trusted computing techniques, e.g., vTPM, or hardware CPU extensions, e.g., AMD SEV. But, they are vulnerable to powerful adversaries, or they provide only load time (not runtime) integrity measurements of VMs. We propose WELES, a protocol allowing tenants to establish and maintain trust in VM runtime integrity of software and its configuration. WELES is transparent to the VM configuration and setup. It performs an implicit attestation of VMs during a secure login and binds the VM integrity state with the secure connection. Our prototype's evaluation shows that WELES is practical and incurs low performance overhead.


title: Reconstruction of hypergraphs from line graphs and degree sequences

abstract: In this paper we consider the problem to reconstruct a $k$-uniform hypergraph from its line graph. In general this problem is hard. We solve this problem when the number of hyperedges containing any pair of vertices is bounded. Given an integer sequence, constructing a $k$-uniform hypergraph with that as its degree sequence is NP-complete. Here we show that for constant integer sequences the question can be answered in polynomial time using Baranyai's theorem.


title: Generation of arbitrarily polarized GeV lepton beams via nonlinear Breit-Wheeler process

abstract: Generation of arbitrarily spin-polarized lepton (here refer in particular to electron and positron) beams has been investigated in the single-shot interaction of high-energy polarized $\gamma$ photons with an ultraintense asymmetric laser pulse via nonlinear Breit-Wheeler (BW) pair production. We develop a fully spin-resolved semi-classical Monte Carlo method to describe the pair creation and polarization in the local constant field approximation. In nonlinear BW process the polarization of created pairs is simultaneously determined by the polarization of parent $\gamma$ photons, the polarization and asymmetry of scattering laser field, due to the spin angular momentum transfer and the asymmetric spin-dependent pair production probabilities, respectively. In considered all-optical method, dense GeV lepton beams with average polarization degree up to about $80\%$ (adjustable between the transverse and longitudinal components) can be obtained with currently achievable laser facilities, which could be used as injectors of the polarized $e^{+}e^{-}$ collider to search for new physics beyond the Standard Model.


title: RSSI-Based Machine Learning with Pre- and Post-Processing for Cell-Localization in IWSNs

abstract: Industrial wireless sensor networks are becoming crucial for modern manufacturing. If the sensors in those networks are mobile, the position information, besides the sensor data itself, can be of high relevance. E.g. this position information can increase the trustability of a wireless sensor measurement by assuring that the sensor is not physically removed, off track, or otherwise compromised. In certain applications, localization information at cell-level, whether the sensor is inside or outside a room or cell, is sufficient. For this, localization using Received Signal Strength Indicator (RSSI) measurements is very popular since RSSI values are available in almost all existing technologies and no direct interaction with the mobile sensor node and its communication in the network is needed. For this scenario, we propose methods to improve the robustness and accuracy of common machine learning classifiers, by using features based on short-term moments and a second classification stage using Hidden Markov Models. With the data from an extensive measurement campaign, we show the applicability of our method and achieve a cell-level localization accuracy of 93.5\%.


title: Stochastic resetting by a random amplitude

abstract: Stochastic resetting, a diffusive process whose amplitude is "reset" to the origin at random times, is a vividly studied strategy to optimize encounter dynamics, e.g., in chemical reactions. We here generalize the resetting step by introducing a random resetting amplitude, such that the diffusing particle may be only partially reset towards the trajectory origin, or even overshoot the origin in a resetting step. We introduce different scenarios for the random-amplitude stochastic resetting process and discuss the resulting dynamics. Direct applications are geophysical layering (stratigraphy) as well as population dynamics or financial markets, as well as generic search processes.


title: Material surface -- analyte interactions with similar energy rates vary as univariate quadratic function of topological polar surface area of analytes

abstract: Material surface - analyte interactions play important roles in numerous processes including gas sensing. However, the effects of topological polar surface area (TPSA) of analytes on surface interactions during gas sensing have been so far largely disregarded. In this work, based on experimental observations on changes in electrical resistance of cadmium sulphide (CdS) due to surface interactions during gas sensing, we found that unexpected univariate quadratic correlation exists between changes in resistance of CdS and TPSA of analytes. Further experiments on four other material systems showed the same trend, revealing a generalized picture of TPSA dependence of surface interactions.


title: On the Computation of PSNR for a Set of Images or Video

abstract: When comparing learned image/video restoration and compression methods, it is common to report peak-signal to noise ratio (PSNR) results. However, there does not exist a generally agreed upon practice to compute PSNR for sets of images or video. Some authors report average of individual image/frame PSNR, which is equivalent to computing a single PSNR from the geometric mean of individual image/frame mean-square error (MSE). Others compute a single PSNR from the arithmetic mean of frame MSEs for each video. Furthermore, some compute the MSE/PSNR of Y-channel only, while others compute MSE/PSNR for RGB channels. This paper investigates different approaches to computing PSNR for sets of images, single video, and sets of video and the relation between them. We show the difference between computing the PSNR based on arithmetic vs. geometric mean of MSE depends on the distribution of MSE over the set of images or video, and that this distribution is task-dependent. In particular, these two methods yield larger differences in restoration problems, where the MSE is exponentially distributed and smaller differences in compression problems, where the MSE distribution is narrower. We hope this paper will motivate the community to clearly describe how they compute reported PSNR values to enable consistent comparison.


title: Many-Body Quantum States with Exact Conservation of Non-Abelian and Lattice Symmetries through Variational Monte Carlo

abstract: Optimization of quantum states using the variational principle has recently seen an upsurge due to developments of increasingly expressive wave functions. In order to improve on the accuracy of the ans\"atze, it is a time-honored strategy to impose the systems' symmetries. We present an ansatz where global non-abelian symmetries are inherently embedded in its structure. We extend the model to incorporate lattice symmetries as well. We consider the prototypical example of the frustrated two-dimensional $J_1$-$J_2$ model on a square lattice, for which eigenstates have been hard to model variationally. Our novel approach guarantees that the obtained ground state will have total spin zero. Benchmarks on the 2D $J_1$-$J_2$ model demonstrate its state-of-the-art performance in representing the ground state. Furthermore, our methodology permits to find the wave functions of excited states with definite quantum numbers associated to the considered symmetries (including the non-abelian ones), without modifying the architecture of the network.


title: Action in Mind: A Neural Network Approach to Action Recognition and Segmentation

abstract: Recognizing and categorizing human actions is an important task with applications in various fields such as human-robot interaction, video analysis, surveillance, video retrieval, health care system and entertainment industry. This thesis presents a novel computational approach for human action recognition through different implementations of multi-layer architectures based on artificial neural networks. Each system level development is designed to solve different aspects of the action recognition problem including online real-time processing, action segmentation and the involvement of objects. The analysis of the experimental results are illustrated and described in six articles. The proposed action recognition architecture of this thesis is composed of several processing layers including a preprocessing layer, an ordered vector representation layer and three layers of neural networks. It utilizes self-organizing neural networks such as Kohonen feature maps and growing grids as the main neural network layers. Thus the architecture presents a biological plausible approach with certain features such as topographic organization of the neurons, lateral interactions, semi-supervised learning and the ability to represent high dimensional input space in lower dimensional maps. For each level of development the system is trained with the input data consisting of consecutive 3D body postures and tested with generalized input data that the system has never met before. The experimental results of different system level developments show that the system performs well with quite high accuracy for recognizing human actions.


title: First search for direct $CP$-violating asymmetry in $B^0 \to K^0 \pi^0$ decays at Belle II

abstract: We report on the first measurement of the direct $CP$-violating asymmetry ($\mathcal{A}$) in the charmless decay $B^0 \to K^0\pi^0$ at Belle II and an updated measurement of its branching fraction ($\mathcal{B}$). We use a sample of electron-positron collisions collected in 2019 and 2020 at the $\Upsilon(4S)$ resonance and corresponding to $62.8$ $\text{fb}^{-1}$ of integrated luminosity. We reconstruct and select about $50$ $B^0 \to K_S^0 \pi^0$ candidates, and we measure $\mathcal{A}_{{K^0\pi^0}} = -0.40_{-0.44}^{+0.46} (\text{stat}) \pm 0.04 (\text{syst})$ and $\mathcal{B}(B^0 \to K^0 \pi^0) = [8.5_{-1.6}^{+1.7} (\text{stat}) \pm 1.2 (\text{syst})] \times 10^{-6}$. This is the first measurement of $CP$ violation in $B^0 \to K^0\pi^0$ decays reported by Belle II. The results agree with previous determinations and show a detector performance comparable with the best Belle results.


title: Word-representability of split graphs generated by morphisms

abstract: A graph $G=(V,E)$ is word-representable if and only if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$, $x\neq y$, alternate in $w$ if and only if $xy\in E$. A split graph is a graph in which the vertices can be partitioned into a clique and an independent set. There is a long line of research on word-representable graphs in the literature, and recently, word-representability of split graphs has attracted interest. In this paper, we first give a characterization of word-representable split graphs in terms of permutations of columns of the adjacency matrices. Then, we focus on the study of word-representability of split graphs obtained by iterations of a morphism, the notion coming from combinatorics on words. We prove a number of general theorems and provide a complete classification in the case of morphisms defined by $2\times 2$ matrices.


title: Robust joint registration of multiple stains and MRI for multimodal 3D histology reconstruction: Application to the Allen human brain atlas

abstract: Joint registration of a stack of 2D histological sections to recover 3D structure (``3D histology reconstruction'') finds application in areas such as atlas building and validation of \emph{in vivo} imaging. Straightforward pairwise registration of neighbouring sections yields smooth reconstructions but has well-known problems such as ``banana effect'' (straightening of curved structures) and ``z-shift'' (drift). While these problems can be alleviated with an external, linearly aligned reference (e.g., Magnetic Resonance (MR) images), registration is often inaccurate due to contrast differences and the strong nonlinear distortion of the tissue, including artefacts such as folds and tears. In this paper, we present a probabilistic model of spatial deformation that yields reconstructions for multiple histological stains that that are jointly smooth, robust to outliers, and follow the reference shape. The model relies on a spanning tree of latent transforms connecting all the sections and slices of the reference volume, and assumes that the registration between any pair of images can be see as a noisy version of the composition of (possibly inverted) latent transforms connecting the two images. Bayesian inference is used to compute the most likely latent transforms given a set of pairwise registrations between image pairs within and across modalities. The framework is used for accurate 3D reconstruction of two stains (Nissl and parvalbumin) from the Allen human brain atlas, showing its benefits on real data with severe distortions. Moreover, we also provide the registration of the reconstructed volume to MNI space, bridging the gaps between two of the most widely used atlases in histology and MRI. The 3D reconstructed volumes and atlas registration can be downloaded from https://openneuro.org/datasets/ds003590. The code is freely available at https://github.com/acasamitjana/3dhirest.


title: RSSI-Based Location Classification Using a Particle Filter to Fuse Sensor Estimates

abstract: For Cyper-Physical Production Systems (CPPS), localization is becoming increasingly important as wireless and mobile devices are considered an integral part. While localizing targets in a wireless communication system based on the Received Signal Strength Indicators (RSSIs) is a usual solution, it is limited by sensor quality. We consider the scenario of a car moving in and out of a chamber and propose to use a particle filter for sensor fusion, allowing us to incorporate non-idealities in our model and achieve a high-quality position estimate. Then, we use Machine Learning (ML) to classify the vehicle position. Our results show that the location output of the particle filter is a better input to the classifiers than the raw RSSI data, and we achieve improved accuracy while simultaneously reducing the number of features that the ML has to consider. We also compare the performance of multiple ML algorithms and show that SVMs provide the overall best performance for the given task.


title: Optimizing Parameterized Quantum Circuits with Free-Axis Selection

abstract: Variational quantum algorithms, which utilize Parametrized Quantum Circuits (PQCs), are promising tools to achieve quantum advantage for optimization problems on near-term quantum devices. Their PQCs have been conventionally constructed from parametrized rotational angles of single-qubit gates around predetermined set of axes, and two-qubit entangling gates, such as CNOT gates. We propose a method to construct a PQC by continuous parametrization of both the angles and the axes of its single-qubit rotation gates. The method is based on the observation that when rotational angles are fixed, optimal axes of rotations can be computed by solving a system of linear equations whose coefficients can be determined from the PQC with small computational overhead. The method can be further simplified to select axes freely from continuous parameters with rotational angles fixed to half rotation or $\pi$. We show the simplified free-axis selection method has better expressibility against other structural optimization methods when measured with Kullback-Leibler (KL) divergence. We also demonstrate PQCs with free-axis selection are more effective to search the ground states of Hamiltonians for quantum chemistry and combinatorial optimization. Because free-axis selection allows designing PQCs without specifying their single-qubit rotational axes, it may significantly improve the handiness of PQCs.


title: Berry curvature generation detected by Nernst responses in ferroelectric Weyl semimetal

abstract: The quest for nonmagnetic Weyl semimetals with high tunability of phase has remained a demanding challenge. As the symmetry breaking control parameter, the ferroelectric order can be steered to turn on/off the Weyl semimetals phase, adjust the band structures around the Fermi level, and enlarge/shrink the momentum separation of Weyl nodes which generate the Berry curvature as the emergent magnetic field. Here, we report the realization of a ferroelectric nonmagnetic Weyl semimetal based on indium doped Pb1 xSnxTe alloy where the underlying inversion symmetry as well as mirror symmetry is broken with the strength of ferroelectricity adjustable via tuning indium doping level and Sn/Pb ratio. The transverse thermoelectric effect, i.e., Nernst effect both for out of plane and in plane magnetic field geometry, is exploited as a Berry curvature sensitive experimental probe to manifest the generation of Berry curvature via the redistribution of Weyl nodes under magnetic fields. The results demonstrate a clean non-magnetic Weyl semimetal coupled with highly tunable ferroelectric order, providing an ideal platform for manipulating the Weyl fermions in nonmagnetic system.


title: Graph Traversals as Universal Constructions

abstract: We exploit a decomposition of graph traversals to give a novel characterization of depth-first and breadth-first traversals as universal constructions. Specifically, we introduce functors from two different categories of edge-ordered directed graphs into two different categories of transitively closed edge-ordered graphs; one defines the lexicographic depth-first traversal and the other the lexicographic breadth-first traversal. We show that each functor factors as a composition of universal constructions, and that the usual presentation of traversals as linear orders on vertices can be recovered with the addition of an inclusion functor. Finally, we raise the question of to what extent we can recover search algorithms from the categorical description of the traversal they compute.


title: Correction of FLASH-based MT saturation in human brain for residual bias of B1-inhomogeneity at 3T

abstract: Background: Magnetization transfer (MT) saturation reflects the additional saturation of the MRI signal imposed by an MT pulse and is largely driven by the saturation of the bound pool. This reduction of the bound polarization by the MT pulse is less efficient than predicted by the differential B1-square law of absorption. Thus, B1 inhomogeneities lead to a residual bias in the MT saturation maps. We derive a heuristic correction to reduce this bias for a widely used multi-parameter mapping protocol at 3T. Methods: The amplitude of the MT pulse was varied via the nominal flip angle to mimic variations in B1. The MT saturation's dependence on the actual flip angle features a linear correction term, which was determined separately for gray and white matter. Results: The deviation of MT saturation from differential B1-square law is well described by a linear decrease with the actual flip angle of the MT pulse. This decrease showed no significant differences between gray and white matter. Thus, the post hoc correction does not need to take different tissue types into account. Bias-corrected MT saturation maps appeared more symmetric and highlighted highly myelinated tracts. Discussion: Our correction involves a calibration that is specific for the MT pulse. While it can also be used to rescale nominal flip angles, different MT pulses and/or protocols will require individual calibration. Conclusion: The suggested B1 correction of the MT maps can be applied post hoc using an independently acquired flip angle map.


title: Optimal control policies for resource allocation in the Cloud: comparison between Markov decision process and heuristic approaches

abstract: We consider an auto-scaling technique in a cloud system where virtual machines hosted on a physical node are turned on and off depending on the queue's occupation (or thresholds), in order to minimise a global cost integrating both energy consumption and performance. We propose several efficient optimisation methods to find threshold values minimising this global cost: local search heuristics coupled with aggregation of Markov chain and with queues approximation techniques to reduce the execution time and improve the accuracy. The second approach tackles the problem with a Markov Decision Process (MDP) for which we proceed to a theoretical study and provide theoretical comparison with the first approach. We also develop structured MDP algorithms integrating hysteresis properties. We show that MDP algorithms (value iteration, policy iteration) and especially structured MDP algorithms outperform the devised heuristics, in terms of time execution and accuracy. Finally, we propose a cost model for a real scenario of a cloud system to apply our optimisation algorithms and show their relevance.


title: Connected components of Isom($\mathbb{H}^3$)-representations of non-orientable surfaces

abstract: Let $N_k$ denote the closed non-orientable surface of genus $k$. In this paper we study the behaviour of the `square map' from the group of isometries of hyperbolic 3-space to the subgroup of orientation preserving isometries. We show that there are $2^{k+1}$ connected components of representations of $\pi_1(N_k)$ in Isom$(\mathbb{H}^3)$, which are distinguished by the Stiefel-Whitney classes of the associated flat bundle.


title: Consistent explanation for the cosmic-ray positron excess in p-wave Sommerfeld-enhanced dark matter annihilation

abstract: Sommerfeld-enhanced dark matter (DM) annihilation through $s$-wave has been widely considered as a consistent explanation for both the observed cosmic-ray (CR) positron excess and the DM thermal relic density. However, as the $s$-wave Sommerfeld-enhanced annihilation cross section increases monotonically with decreasing DM velocity, severe constraints appear from the data of gamma rays from dwarf spheroidal satellite galaxies (dSphs) and the cosmic microwave background (CMB), as the relevant typical DM velocities are even lower than that in the Galactic halo. In this work, we consider Sommerfeld-enhanced $p$-wave DM annihilation where the DM annihilation cross section can be enhanced at certain velocities but eventually be highly suppressed when the DM velocities become extremely low. We calculate the velocity-dependent astrophysics factors ($J$-factors) for the Sommerfeld-enhanced $p$-wave DM annihilation for fifteen nearby dSphs. Taking the channel of DM annihilating into $4\mu$ through two light mediators as an example, we show that there are parameter regions where this mechanism can account for the CR positron excess and the DM relic density, while being compatible with the constraints from dSphs gamma rays measured by Fermi-LAT and that from the CMB measured by PLANCK.


title: Vehicle Re-identification Method Based on Vehicle Attribute and Mutual Exclusion Between Cameras

abstract: Vehicle Re-identification aims to identify a specific vehicle across time and camera view. With the rapid growth of intelligent transportation systems and smart cities, vehicle Re-identification technology gets more and more attention. However, due to the difference of shooting angle and the high similarity of vehicles belonging to the same brand, vehicle re-identification becomes a great challenge for existing method. In this paper, we propose a vehicle attribute-guided method to re-rank vehicle Re-ID result. The attributes used include vehicle orientation and vehicle brand . We also focus on the camera information and introduce camera mutual exclusion theory to further fine-tune the search results. In terms of feature extraction, we combine the data augmentations of multi-resolutions with the large model ensemble to get a more robust vehicle features. Our method achieves mAP of 63.73% and rank-1 accuracy 76.61% in the CVPR 2021 AI City Challenge.


title: The onset of turbulence in particle-laden pipe flows

abstract: We propose a scaling law for the onset of turbulence in pipe flow of neutrally buoyant suspensions. This scaling law, based on a large set of experimental data, relates the amplitude of the particle-induced perturbations ($\epsilon$) to the critical suspension Reynolds number, $Re_{s,c}$. Here $\epsilon$ is a function of the particle-to-pipe diameter ratio and the volume fraction of the suspended particles, $\epsilon = (d/D)^{1/2} \phi^{1/6}$. $Re_{s,c}$ is found to scale as $\epsilon^{-1}$. Furthermore, the perturbation amplitude allows a distinction between classical, intermediate and particle-induced transition.


title: Resource separation in dynamic logic of propositional assignments

abstract: We extend dynamic logic of propositional assignments by adding an operator of parallel composition that is inspired by separation logics. We provide an axiomatisation via reduction axioms, thereby establishing decidability. We also prove that the complexity of both the model checking and the satisfiability problem stay in PSPACE.


title: Open-Source Memory Compiler for Automatic RRAM Generation and Verification

abstract: The lack of open-source memory compilers in academia typically causes significant delays in research and design implementations. This paper presents an open-source memory compiler that is directly integrated within the Cadence Virtuoso environment using physical verification tools provided by Mentor Graphics (Calibre). It facilitates the entire memory generation process from netlist generation to layout implementation, and physical implementation verification. To the best of our knowledge, this is the first open-source memory compiler that has been developed specifically to automate Resistive Random Access Memory (RRAM) generation. RRAM holds the promise of achieving high speed, high density and non-volatility. A novel RRAM architecture, additionally is proposed, and a number of generated RRAM arrays are evaluated to identify their worst case control line parasitics and worst case settling time across the memristors of their cells. The total capacitance of lines SEL, N and P is 5.83 fF/cell, 3.31 fF/cell and 2.48 fF/cell respectively, while the total calculated resistance for SEL is 1.28 Ohm/cell and 0.14 Ohm/cell for both N and P lines.


title: Classical BV formalism for group actions

abstract: We study the derived critical locus of a function $f:[X/G]\to \mathbb{A}_{\mathbb{K}}^1$ on the quotient stack of a smooth affine scheme $X$ by the action of a smooth affine group scheme $G$. It is shown that $\mathrm{dCrit}(f) \simeq [Z/G]$ is a derived quotient stack for a derived affine scheme $Z$, whose dg-algebra of functions is described explicitly. Our results generalize the classical BV formalism in finite dimensions from Lie algebra to group actions.


title: On the methodology of informal rigour: set theory, semantics, and intuitionism

abstract: This paper provides a critical overview of Georg Kreisel's method of informal rigour, most famously presented in his 1967 paper `Informal rigour and completeness proofs'. After first considering Kreisel's own characterization in historical context, we then present two schemas under which we claim his various examples of informal rigour can be subsumed. We then present detailed reconstructions of his three original examples: his squeezing argument in favor of the adequacy of the model theoretic analysis of logical validity, his argument for the determinacy of the Continuum Hypothesis, and his refutation of Markov's principle in intuitionistic analysis. We conclude by offering a comparison of Kreisel's understanding of informal rigour with Carnap's method of explication. In an appendix, we also offer briefer reconstructions of Kreisel's attempts to apply informal rigour to the discovery of set theoretic axioms, the distinction between standard and nonstandard models of arithmetic, and the concepts of finitist proof, predicative definability, and intuitionistic validity.


title: Maximum likelihood estimation for stochastic differential equations driven by a mixed fractional Brownian motion with random effects

abstract: We discuss maximum likelihood estimation of parameters for models governed by a stochastic differential equation driven by a mixed fractional Brownian motion with random effects.


title: A simple parametrisation for coupled dark energy

abstract: As an alternative to the popular parametrisations of the dark energy equation of state, we construct a quintessence model where the scalar field has a linear dependence on the number of e-folds. Constraints on more complex models are typically limited by the degeneracies that increase with the number of parameters. The proposed parametrisation conveniently constrains the evolution of the dark energy equation of state as it allows for a wide variety of time evolutions. We also consider a non-minimal coupling to cold dark matter. We fit the model with Planck and KiDS observational data. The CMB favours a non-vanishing coupling with energy transfer from dark energy to dark matter. Conversely, gravitational weak lensing measurements slightly favour energy transfer from dark matter to dark energy, with a substantial departure of the dark energy equation of state from -1.


title: Towards canonical representations of finite Heisenberg groups

abstract: We consider a finite abelian group $M$ of odd exponent $n$ with a symplectic form $\omega: M\times M\to \mu_n$ and the Heisenberg extension $1\to \mu_n\to H\to M\to 1$ with the commutator $\omega$. According to the Stone - von Neumann theorem, $H$ admits an irreducible representation with the tautological central character (defined up to a non-unique isomorphism). We construct such irreducible representation of $H$ defined up to a unique isomorphism, so canonical in this sense.


title: A Reusable Metasurface Template

abstract: Metasurfaces have revolutionized the design concepts for opticalcomponents, fostering an excitingfield offlat optics. Thanks to theflat and ultrathinnature, metasurfaces possess unique advantages over conventional optical components,such as lightweight, high compatibility, among others. To comply with potential appli-cations, further research endeavors need to be exerted for advancing the reusability andpracticality of metasurfaces. In this work, we demonstrate a reusable template approachto achieve optical multifunctionality with metasurfaces, utilizing both the geometric andpropagation phases to shape light waves. In principle, such a metasurface template can beemployed infinite times to enable a large variety of optical functions. As proof-of-conceptexperiments, we demonstrate metalensing, holography, and vortex beam shaping. Ourwork will leverage the high scalability aspects of metasurface devices for practical applications.


title: Tracking and managing deemed abilities

abstract: Information about the powers and abilities of acting entities is used to coordinate their actions in societies, either physical or digital. Yet, the commonsensical meaning of an acting entity being deemed able to do something is still missing from the existing specification languages for the web or for multi-agent systems. We advance a general purpose abstract logical account of evidence-based ability. A basic model can be thought of as the ongoing trace of a multi-agent system. Every state records systemic confirmations and disconfirmations of whether an acting entity is able to bring about something. Qualitative inductive reasoning is then used in order to infer what acting entities are deemed able to bring about in the multi-agent system. A temporalised modal language is used to talk about deemed ability, actual agency, and confirmation and disconfirmation of deemed ability. What constitutes a confirmation and a disconfirmation is left to the modeller as in general it depends on the application at hand. So to illustrate the methodology we propose two extended examples, one in practical philosophy, the other in system engineering. We first use a logic of agency and ability to obtain a version of Mele's general practical abilities. Then, we look at the management of abilities in a supervised system.


title: Percolation on feature-enriched interconnected systems

abstract: Percolation is an emblematic model to assess the robustness of interconnected systems when some of their components are corrupted. It is usually investigated in simple scenarios, such as the removal of the system's units in random order, or sequentially ordered by specific topological descriptors. However, in the vast majority of empirical applications, it is required to dismantle the network following more sophisticated protocols, for instance, by combining topological properties and non-topological node metadata. We propose a novel mathematical framework to fill this gap: networks are enriched with features and their nodes are removed according to the importance in the feature space. We consider features of different nature, from ones related to the network construction to ones related to dynamical processes such as epidemic spreading. Our framework not only provides a natural generalization of percolation but, more importantly, offers an accurate way to test the robustness of networks in realistic scenarios.


title: Apparent Heating due to Imperfect Calorimetric Measurements

abstract: Performing imperfect or noisy measurements on a quantum system both impacts the measurement outcome and the state of the system after the measurement. In this paper we are concerned with imperfect calorimetric measurements. In calorimetric measurements one typically measures the energy of a thermal environment to extract information about the system. The measurement is imperfect in the sense that we simultaneously measure the energy of the calorimeter and an additional noise bath. Under weak coupling assumptions, we find that the presence of the noise bath manifests itself by modifying the jump rates of the reduced system dynamics. We study an example of a driven qubit interacting with resonant bosons calorimeter and find increasing the noise leads to a reduction in the power flowing from qubit to calorimeter and thus an apparent heating up of the calorimeter.


title: On the Undesired Equilibria Induced by Control Barrier Function Based Quadratic Programs

abstract: In this paper, we analyze the system behavior for general nonlinear control-affine systems when a control barrier function-induced quadratic program-based controller is employed for feedback. In particular, we characterize the existence and locations of possible equilibrium points of the closed-loop system and also provide analytical results on how design parameters affect them. Based on this analysis, a simple modification on the existing quadratic program-based controller is provided, which, without any assumptions other than those taken in the original program, inherits the safety set forward invariance property, and further guarantees the complete elimination of undesired equilibrium points in the interior of the safety set as well as one type of boundary equilibrium points, and local asymptotic stability of the origin. Numerical examples are given alongside the theoretical discussions.


title: Sub-Doppler spectra of sodium $D$ lines in a wide range of magnetic field: theoretical study

abstract: We compute the interaction of a sodium vapor with a static magnetic field ranging from 0 up to 1 Tesla, which allows to obtain the behavior of all Zeeman transitions as a function of the magnetic field for any polarization of incident laser radiation: $\pi, \sigma^\pm$. We use these results combined with a Fabry-P\'erot microcavity model to describe the transmitted and reflected signal of a sodium vapor confined in a nanometric-thin cell. This allows us to present for the first time high resolution absorption spectra, and provide a complete description of the Zeeman transitions, along with some important peculiarities such as the appearance of guiding transitions and magnetically-induced circular dichroism. The obtained theoretical results can be used in the upcoming experiments with sodium vapor nanocells.


title: Freezing and thawing magnetic droplet solitons

abstract: Magnetic droplets are non-topological magnetodynamical solitons displaying a wide range of complex dynamic phenomena with potential for microwave signal generation. Bubbles, on the other hand, are internally static cylindrical magnetic domains, stabilized by external fields and magnetostatic interactions. In its original theory, the droplet was described as an imminently collapsing bubble stabilized by spin transfer torque and, in its zero-frequency limit, as equivalent to a bubble. Without nanoscale lateral confinement, pinning, or an external applied field, such a nanobubble is unstable, and should collapse. Here, we show that we can freeze dynamic droplets into static nanobubbles by decreasing the magnetic field. While the bubble has virtually the same resistance as the droplet, all signs of low-frequency microwave noise disappear. The transition is fully reversible and the bubble can be thawed back into a droplet if the magnetic field is increased under current. Whereas the droplet collapses without a sustaining current, the bubble is highly stable and remains intact for days without external drive. Electrical measurements are complemented by direct observation using scanning transmission x-ray microscopy, which corroborates the analysis and confirms that the bubble is stabilized by pinning.


title: Shadow and deflection angle of charged rotating black hole surrounded by perfect fluid dark matter

abstract: We analysed the shadow cast by charged rotating black hole (BH) in presence of perfect fluid dark matter (PFDM). We studied the null geodesic equations and obtained the shadow of the charged rotating BH to see the effects of PFDM parameter $\gamma$, charge $Q$ and rotation parameter $a$, and it is noticed that the size as well as the shape of BH shadow is affected due to PFDM parameter, charge and rotation parameter. Thus, it is seen that the presence of dark matter around a BH affects its spacetime. We also investigated the influence of all the parameters (PFDM parameter $\gamma$, BHs charge $Q$ and rotational parameter $a$) on effective potential, energy emission by graphical representation, and compare all the results with the non rotating case in usual general relativity. To this end, we have also explored the effect of PFDM on the deflection angle and the size of Einstein rings.


title: Improving Conversational Recommendation System by Pretraining on Billions Scale of Knowledge Graph

abstract: Conversational Recommender Systems (CRSs) in E-commerce platforms aim to recommend items to users via multiple conversational interactions. Click-through rate (CTR) prediction models are commonly used for ranking candidate items. However, most CRSs are suffer from the problem of data scarcity and sparseness. To address this issue, we propose a novel knowledge-enhanced deep cross network (K-DCN), a two-step (pretrain and fine-tune) CTR prediction model to recommend items. We first construct a billion-scale conversation knowledge graph (CKG) from information about users, items and conversations, and then pretrain CKG by introducing knowledge graph embedding method and graph convolution network to encode semantic and structural information respectively.To make the CTR prediction model sensible of current state of users and the relationship between dialogues and items, we introduce user-state and dialogue-interaction representations based on pre-trained CKG and propose K-DCN.In K-DCN, we fuse the user-state representation, dialogue-interaction representation and other normal feature representations via deep cross network, which will give the rank of candidate items to be recommended.We experimentally prove that our proposal significantly outperforms baselines and show it's real application in Alime.


title: Discrete-Time Mean Field Control with Environment States

abstract: Multi-agent reinforcement learning methods have shown remarkable potential in solving complex multi-agent problems but mostly lack theoretical guarantees. Recently, mean field control and mean field games have been established as a tractable solution for large-scale multi-agent problems with many agents. In this work, driven by a motivating scheduling problem, we consider a discrete-time mean field control model with common environment states. We rigorously establish approximate optimality as the number of agents grows in the finite agent case and find that a dynamic programming principle holds, resulting in the existence of an optimal stationary policy. As exact solutions are difficult in general due to the resulting continuous action space of the limiting mean field Markov decision process, we apply established deep reinforcement learning methods to solve the associated mean field control problem. The performance of the learned mean field control policy is compared to typical multi-agent reinforcement learning approaches and is found to converge to the mean field performance for sufficiently many agents, verifying the obtained theoretical results and reaching competitive solutions.


title: Causal unitary qubit model of black hole evaporation

abstract: A new simple qubit model of black hole evaporation is proposed. The model operates on four qubits and is defined in terms of quantum gates and a quantum circuit. The chief features of the model include explicit unitarity and (most notably) causality which is understood as the impossibility of the transfer of information from the interior of the black hole through its horizon. The corresponding von Neumann entanglement entropy yields a crude (four-qubit) approximation of the Page curve.


title: Logarithmic correction to black hole entropy from the nonlocality of quantum gravity

abstract: It has been known for many years that the leading correction to the black hole entropy is a logarithmic term, which is universal and closely related to conformal anomaly. A fully consistent analysis of this issue has to take quantum backreactions to the black hole geometry into account. However, it was always unclear how to naturally derive the modified black hole metric especially from an effective action, because the problem refers to the elusive non-locality of quantum gravity. In this paper, we show that this problem can be resolved within an effective field theory (EFT) framework of quantum gravity. Our work suggests that the EFT approach provides a powerful and self-consistent tool for studying the quantum gravitational corrections to black hole geometries and thermodynamics.


title: Centrality dependence of electroweak boson production in PbPb collisions at the LHC

abstract: Recent data on the nuclear modification of W and Z boson production measured by the ATLAS collaboration in PbPb collisions at $\sqrt{s_{\rm nn}}=5.02$ TeV show an enhancement in peripheral collisions, seemingly contradicting predictions of the Glauber model. The data were previously explained by arguing that the nucleon-nucleon cross section may be shadowed in nucleus-nucleus collisions, and hence suppressed compared to the proton-proton cross section at the same collision energy. This interpretation has quite significant consequences for the understanding of heavy-ion data, in particular in the context of the Glauber model. Instead, we provide an alternative explanation of the data by assuming that there is a mild bias present in the centrality determination of the measurement; on the size of the related systematic uncertainty. Using this assumption, we show that the data is in agreement with theoretical calculations using nuclear parton distribution functions. Finally, we speculate that the centrality dependence of the W$^-$/W$^{+}$ ratio may point to the relevance of a larger skin thickness of the Pb nucleus, which, if present, would result in a few percent larger PbPb cross section than currently accounted for in the Glauber model and may hence be the root of the centrality bias.


title: Asymptotic symmetries at null-infinity for the Rarita-Schwinger field with magnetic term

abstract: In this paper we study the magnetic charges of the free massless Rarita-Schwinger field in four dimensional asymptotically flat space-time. This is the first step towards extending the study of the dual BMS charges to supergravity. The magnetic charges appear due to the addition of a boundary term in the action. This term is similar to the theta term in Yang-Mills theory. At null-infinity an infinite dimensional algebra is discovered, both for the electric and magnetic charge.


title: Stronger superadditivity relations for multiqubit systems

abstract: Superadditivity relations characterize the distributions of coherence in multipartite quantum systems. In this work, we investigate the superadditivity relations related to the $l_1$-norm of coherence $C_{l_1}$ in multiqubit quantum systems. Tighter superadditivity inequalities based on the $\alpha$-th ($\alpha\geqslant 1$) power of $l_1$-norm of coherence are presented for multiqubit states under certain conditions, which include the existing results as special cases. These superadditivity relations give rise to finer characterization of the coherence distributions among the subsystems of a multipartite system. A detailed example is presented.


title: LightIoT: Lightweight and Secure Communication for Energy-Efficient IoT in Health Informatics

abstract: Internet of Things (IoT) is considered as a key enabler of health informatics. IoT-enabled devices are used for in-hospital and in-home patient monitoring to collect and transfer biomedical data pertaining to blood pressure, electrocardiography (ECG), blood sugar levels, body temperature, etc. Among these devices, wearables have found their presence in a wide range of healthcare applications. These devices generate data in real-time and transmit them to nearby gateways and remote servers for processing and visualization. The data transmitted by these devices are vulnerable to a range of adversarial threats, and as such, privacy and integrity need to be preserved. In this paper, we present LightIoT, a lightweight and secure communication approach for data exchanged among the devices of a healthcare infrastructure. LightIoT operates in three phases: initialization, pairing, and authentication. These phases ensure the reliable transmission of data by establishing secure sessions among the communicating entities (wearables, gateways and a remote server). Statistical results exhibit that our scheme is lightweight, robust, and resilient against a wide range of adversarial attacks and incurs much lower computational and communication overhead for the transmitted data in the presence of existing approaches.


title: Deep Learning Based Steel Pipe Weld Defect Detection

abstract: Steel pipes are widely used in high-risk and high-pressure scenarios such as oil, chemical, natural gas, shale gas, etc. If there is some defect in steel pipes, it will lead to serious adverse consequences. Applying object detection in the field of deep learning to pipe weld defect detection and identification can effectively improve inspection efficiency and promote the development of industrial automation. Most predecessors used traditional computer vision methods applied to detect defects of steel pipe weld seams. However, traditional computer vision methods rely on prior knowledge and can only detect defects with a single feature, so it is difficult to complete the task of multi-defect classification, while deep learning is end-to-end. In this paper, the state-of-the-art single-stage object detection algorithm YOLOv5 is proposed to be applied to the field of steel pipe weld defect detection, and compared with the two-stage representative object detection algorithm Faster R-CNN. The experimental results show that applying YOLOv5 to steel pipe weld defect detection can greatly improve the accuracy, complete the multi-classification task, and meet the criteria of real-time detection.


title: The impact of superconductivity and the Hall effect in models of magnetized neutron stars

abstract: Equilibrium configurations of the internal magnetic field of a pulsar play a key role in modeling astrophysical phenomena, from glitches to gravitational wave emission. In this paper we present a numerical scheme for solving the Grad-Shafranov equation and calculating equilibrium configurations of pulsars, accounting for superconductivity in the core of the neutron star, and for the Hall effect in the crust of the star. Our numerical code uses a finite-difference method in which the source term appearing in the Grad-Shafranov equation, used to model the magnetic equilibrium is nonlinear. We obtain solutions by linearizing the source and applying an under-relaxation scheme at each step of computation to improve the solver's convergence. We have developed our code in both C++ and Python, and our numerical algorithm can further be adapted to solve any nonlinear PDEs appearing in other areas of computational astrophysics. We produce mixed toroidal-poloidal field configurations, and extend the portion of parameter space that can be investigated with respect to previous studies. We find that even in the more extreme cases the magnetic energy in the toroidal component does not exceed approximately 5\% of the total. We also find that if the core of the star is superconducting, the toroidal component is entirely confined to the crust of the star, which has important implications for pulsar glitch models which rely on the presence of a strong toroidal field region in the core of the star, where superfluid vortices pin to superconducting fluxtubes.


title: Graph-Aware Evolutionary Algorithms for Influence Maximization

abstract: Social networks represent nowadays in many contexts the main source of information transmission and the way opinions and actions are influenced. For instance, generic advertisements are way less powerful than suggestions from our contacts. However, this process hugely depends on the influence of people who disseminate these suggestions. Therefore modern marketing often involves paying some targeted users, or influencers, for advertising products or ideas. Finding the set of nodes in a social network that lead to the highest information spread -- the so-called Influence Maximization (IM) problem -- is therefore a pressing question and as such it has recently attracted a great research interest. In particular, several approaches based on Evolutionary Algorithms (EAs) have been proposed, although they are known to scale poorly with the graph size. In this paper, we tackle this limitation in two ways. Firstly, we use approximate fitness functions to speed up the EA. Secondly, we include into the EA various graph-aware mechanisms, such as smart initialization, custom mutations and node filtering, to facilitate the EA convergence. Our experiments show that the proposed modifications allow to obtain a relevant runtime gain and also improve, in some cases, the spread results.


title: Calibration of wind speed ensemble forecasts for power generation

abstract: In the last decades wind power became the second largest energy source in the EU covering 16% of its electricity demand. However, due to its volatility, accurate short range wind power predictions are required for successful integration of wind energy into the electrical grid. Accurate predictions of wind power require accurate hub height wind speed forecasts, where the state of the art method is the probabilistic approach based on ensemble forecasts obtained from multiple runs of numerical weather prediction models. Nonetheless, ensemble forecasts are often uncalibrated and might also be biased, thus require some form of post-processing to improve their predictive performance. We propose a novel flexible machine learning approach for calibrating wind speed ensemble forecasts, which results in a truncated normal predictive distribution. In a case study based on 100m wind speed forecasts produced by the operational ensemble prediction system of the Hungarian Meteorological Service, the forecast skill of this method is compared with the predictive performance of three different ensemble model output statistics approaches and the raw ensemble forecasts. We show that compared with the raw ensemble, post-processing always improves the calibration of probabilistic and accuracy of point forecasts and from the four competing methods the novel machine learning based approach results in the best overall performance.