title: Variance minimisation on a quantum computer for nuclear structure

abstract: Quantum computing opens up new possibilities for the simulation of many-body nuclear systems. As the number of particles in a many-body system increases, the size of the space if the associated Hamiltonian increases exponentially. This presents a challenge when performing calculations on large systems when using classical computing methods. By using a quantum computer, one may be able to overcome this difficulty thanks to the exponential way the Hilbert space of a quantum computer grows with the number of quantum bits (qubits). Our aim is to develop quantum computing algorithms which can reproduce and predict nuclear structure such as level schemes and level densities. As a sample Hamiltonian, we use the Lipkin-Meshkov-Glick model. We use an efficient encoding of the Hamiltonian onto many-qubit systems, and have developed an algorithm allowing the full excitation spectrum of a nucleus to be determined with a variational algorithm capable of implementation on today's quantum computers with a limited number of qubits. Our algorithm uses the variance of the Hamiltonian, $\langle H^2\rangle - \langle H\rangle ^2$, as a cost function for the widely-used variational quantum eigensolver (VQE). In this work we present a variance based method of finding the excited state spectrum of a small nuclear system using a quantum computer, using a reduced-qubit encoding method.


title: Quantization for decentralized learning under subspace constraints

abstract: In this paper, we consider decentralized optimization problems where agents have individual cost functions to minimize subject to subspace constraints that require the minimizers across the network to lie in low-dimensional subspaces. This constrained formulation includes consensus or single-task optimization as special cases, and allows for more general task relatedness models such as multitask smoothness and coupled optimization. In order to cope with communication constraints, we propose and study an adaptive decentralized strategy where the agents employ differential randomized quantizers to compress their estimates before communicating with their neighbors. The analysis shows that, under some general conditions on the quantization noise, and for sufficiently small step-sizes $\mu$, the strategy is stable both in terms of mean-square error and average bit rate: by reducing $\mu$, it is possible to keep the estimation errors small (on the order of $\mu$) without increasing indefinitely the bit rate as $\mu\rightarrow 0$. Simulations illustrate the theoretical findings and the effectiveness of the proposed approach, revealing that decentralized learning is achievable at the expense of only a few bits.


title: Isoclinic relative central extensions of a pair of regular Hom-Lie algebras

abstract: In this paper, we show the relation among the relative central extensions in an isoclinism family of a particular relative central extension of Hom-Lie algebras. We define the notion of isoclinism on the central relative extensions of a pair of Hom-Lie algebras. Then, we figure out the concept of isomorphism in the equivalence class of isoclinisms on the central relative extensions of a pair of Hom-Lie algebras.


title: Model-based gym environments for limit order book trading

abstract: Within the mathematical finance literature there is a rich catalogue of mathematical models for studying algorithmic trading problems -- such as market-making and optimal execution -- in limit order books. This paper introduces \mbtgym, a Python module that provides a suite of gym environments for training reinforcement learning (RL) agents to solve such model-based trading problems. The module is set up in an extensible way to allow the combination of different aspects of different models. It supports highly efficient implementations of vectorized environments to allow faster training of RL agents. In this paper, we motivate the challenge of using RL to solve such model-based limit order book problems in mathematical finance, we explain the design of our gym environment, and then demonstrate its use in solving standard and non-standard problems from the literature. Finally, we lay out a roadmap for further development of our module, which we provide as an open source repository on GitHub so that it can serve as a focal point for RL research in model-based algorithmic trading.


title: Hybrid Symmetry Breaking in Classical Spin Models With Subsystem Symmetries

abstract: We investigate two concrete cases of phase transitions breaking a subsystem symmetry. The models are two classical compass models featuring line-flip and plane-flip symmetries and correspond to special limits of a Heisenberg-Kitaev Hamiltonian on a cubic lattice. We show that these models experience a hybrid symmetry breaking by which the system display distinct symmetry broken patterns in different submanifolds. For instance, the system may look magnetic within a chain or plane but nematic-like when observing from one dimensionality higher. We fully characterize the symmetry-broken phases by a set of subdimensional order parameters and confirm numerically both cases undergo a non-standard first-order phase transition. Our results provide new insights into phase transitions involving subsystem symmetries and generalize the notion of conventional spontaneous symmetry breaking.


title: A System of Interaction and Structure III: The Complexity of BV and Pomset Logic

abstract: Pomset logic and BV are both logics that extend multiplicative linear logic (with Mix) with a third connective that is self-dual and non-commutative. Whereas pomset logic originates from the study of coherence spaces and proof nets, BV originates from the study of series-parallel orders, cographs, and proof systems. Both logics enjoy a cut-admissibility result, but for neither logic can this be done in the sequent calculus. Provability in pomset logic can be checked via a proof net correctness criterion and in BV via a deep inference proof system. It has long been conjectured that these two logics are the same. In this paper we show that this conjecture is false. We also investigate the complexity of the two logics, exhibiting a huge gap between the two. Whereas provability in BV is NP-complete, provability in pomset logic is $\Sigma_2^p$-complete. We also make some observations with respect to possible sequent systems for the two logics.


title: Immersed boundary parametrizations for full waveform inversion

abstract: Full Waveform Inversion (FWI) is a successful and well-established inverse method for reconstructing material models from measured wave signals. In the field of seismic exploration, FWI has proven particularly successful in the reconstruction of smoothly varying material deviations. In contrast, non-destructive testing (NDT) often requires the detection and specification of sharp defects in a specimen. If the contrast between materials is low, FWI can be successfully applied to these problems as well. However, so far the method is not fully suitable to image defects such as voids, which are characterized by a high contrast in the material parameters. In this paper, we introduce a dimensionless scaling function $\gamma$ to model voids in the forward and inverse scalar wave equation problem. Depending on which material parameters this function $\gamma$ scales, different modeling approaches are presented, leading to three formulations of mono-parameter FWI and one formulation of two-parameter FWI. The resulting problems are solved by first-order optimization, where the gradient is computed by an ajdoint state method. The corresponding Fr\'echet kernels are derived for each approach and the associated minimization is performed using an L-BFGS algorithm. A comparison between the different approaches shows that scaling the density with $\gamma$ is most promising for parameterizing voids in the forward and inverse problem. Finally, in order to consider arbitrary complex geometries known a priori, this approach is combined with an immersed boundary method, the finite cell method (FCM).


title: Parametric Nonlinear Optics with Layered Materials and Related Heterostructures

abstract: Nonlinear optics is of crucial importance in several fields of science and technology with applications in frequency conversion, entangled-photon generation, self-referencing of frequency combs, crystal characterization, sensing, and ultra-short light pulse generation and characterization. In recent years, layered materials and related heterostructures have attracted huge attention in this field, due to their huge nonlinear optical susceptibilities, their ease of integration on photonic platforms, and their 2D nature which relaxes the phase-matching constraints and thus offers a practically unlimited bandwidth for parametric nonlinear processes. In this review the most recent advances in this field, highlighting their importance and impact both for fundamental and technological aspects, are reported and explained, and an outlook on future research directions for nonlinear optics with atomically thin materials is provided.


title: Weakly Supervised Semantic Segmentation via Progressive Patch Learning

abstract: Most of the existing semantic segmentation approaches with image-level class labels as supervision, highly rely on the initial class activation map (CAM) generated from the standard classification network. In this paper, a novel "Progressive Patch Learning" approach is proposed to improve the local details extraction of the classification, producing the CAM better covering the whole object rather than only the most discriminative regions as in CAMs obtained in conventional classification models. "Patch Learning" destructs the feature maps into patches and independently processes each local patch in parallel before the final aggregation. Such a mechanism enforces the network to find weak information from the scattered discriminative local parts, achieving enhanced local details sensitivity. "Progressive Patch Learning" further extends the feature destruction and patch learning to multi-level granularities in a progressive manner. Cooperating with a multi-stage optimization strategy, such a "Progressive Patch Learning" mechanism implicitly provides the model with the feature extraction ability across different locality-granularities. As an alternative to the implicit multi-granularity progressive fusion approach, we additionally propose an explicit method to simultaneously fuse features from different granularities in a single model, further enhancing the CAM quality on the full object coverage. Our proposed method achieves outstanding performance on the PASCAL VOC 2012 dataset e.g., with 69.6$% mIoU on the test set), which surpasses most existing weakly supervised semantic segmentation methods. Code will be made publicly available here https://github.com/TyroneLi/PPL_WSSS.


title: Nonequilibrium Modeling of the Elementary Step in PDZ3 Allosteric Communication

abstract: While allostery is of paramount importance for protein signaling and regulation, the underlying dynamical process of allosteric communication is not well understood. PDZ3 domain represents a prime example of an allosteric single-domain protein, as it features a well-established long-range coupling between the C-terminal $\alpha_3$-helix and ligand binding. In an intriguing experiment, Hamm and coworkers employed photoswitching of the $\alpha_3$-helix to initiate a conformational change of PDZ3 that propagates from the C-terminus to the bound ligand within 200 ns. Performing extensive nonequilibrium molecular dynamics simulations, the modeling of the experiment reproduces the measured timescales and reveals a detailed picture of the allosteric communication in PDZ3. In particular, a correlation analysis identifies a network of contacts connecting the $\alpha_3$-helix and the core of the protein, which move in a concerted manner. Representing a one-step process and involving direct $\alpha_3$-ligand contacts, this cooperative transition is considered as elementary step in the propagation of conformational change.


title: Parametric scaling of power exhaust in EU-DEMO alternative divertor simulations

abstract: Investigations of parametric scaling of power exhaust in the alternative divertor configuration (ADC) SOLPS-ITER simulation database of the EU-DEMO are conducted and compared to predictions based on the Lengyel model. The Lengyel model overpredicts the necessary argon concentrations for LFS divertor detachment by about a factor of 5-10 relative to the SOLPS-ITER simulations. Therefore, while the Lengyel model predicts that plasmas with accetable divertor heat loads in EU-DEMO would exceed the tolerable upstream impurity concentrations by a large margin, there are several SOLPS-ITER solutions within an acceptable operational space. The SOLPS-ITER simulations indicate that, unlike assumed by the standard Lengyel model, there are significant heat dissipation mechanisms other than argon radiation, such as cross-field transport, that reduce the role of argon radiation by a factor of 2 to 3. Furthermore, the Lengyel model assumes that the radiation front is powered by parallel heat conduction only, which tends to lead to a narrow radiation front as the radiative efficiency increases strongly with reducing thermal conductivity. As a result, the radiative volume and total impurity radiation are suppressed for a given impurity concentration. However, the SOLPS-ITER simulations indicate that other mechanisms, such as cross-field transport, can compete with parallel heat conduction within the radiative front and increase the radiative volume. Due to these findings, usage of the standard Lengyel model for analyzing scaling between divertor conditions and configurations for devices such as EU-DEMO is strongly discouraged.


title: Dipolar dark matter simulations on galaxy scales with the RAMSES code

abstract: We numerically explore on galaxy scales the Dipolar dark matter (DM) model based on the concept of gravitational polarization. This DM model has been proposed as a natural way to reproduce observed tight galactic scaling relations such as the baryonic Tully-Fisher relation and the Radial Acceleration Relation. We present a customized version of the \texttt{RAMSES} code including for the first time the dynamics of this Dipolar DM in $N$-body simulations. As a first application of this code, we check that we recover an equilibrium configuration that had been found analytically, where a low density Dipolar DM halo is at rest with respect to its central galaxy, recovering the aforementioned scaling relations. A characteristic signature of this equilibrium model is that it harbours a dynamical instability with a characteristic time depending on the Dipolar DM halo density, which we recover numerically. This represents a first step towards more involved simulations needed to test this framework, ranging from galaxy interactions to structure formation.


title: Deuterated molecules in regions of high-mass star formation

abstract: We present the results of our studies of deuterated molecules (DCN, DNC, DCO$^+$, N$_2$D$^+$ and NH$_2$D) in regions of high-mass star formation, which include a survey of such regions with the 20-m Onsala radio telescope and mapping of several objects in various lines with the 30-m IRAM and 100-m MPIfR radio telescopes. The deuteration degree reaches $\sim$10$^{-2}$ in these objects. We discuss its dependencies on the gas temperature and velocity dispersion, as well as spatial distributions of deuterated molecules. We show that the H$^{13}$CN/HN$^{13}$C intensity ratio may be a good indicator of the gas kinetic temperature and estimate densities of the investigated objects.


title: Privacy-Preserving Distributed Expectation Maximization for Gaussian Mixture Model using Subspace Perturbation

abstract: Privacy has become a major concern in machine learning. In fact, the federated learning is motivated by the privacy concern as it does not allow to transmit the private data but only intermediate updates. However, federated learning does not always guarantee privacy-preservation as the intermediate updates may also reveal sensitive information. In this paper, we give an explicit information-theoretical analysis of a federated expectation maximization algorithm for Gaussian mixture model and prove that the intermediate updates can cause severe privacy leakage. To address the privacy issue, we propose a fully decentralized privacy-preserving solution, which is able to securely compute the updates in each maximization step. Additionally, we consider two different types of security attacks: the honest-but-curious and eavesdropping adversary models. Numerical validation shows that the proposed approach has superior performance compared to the existing approach in terms of both the accuracy and privacy level.


title: Entity-based Claim Representation Improves Fact-Checking of Medical Content in Tweets

abstract: False medical information on social media poses harm to people's health. While the need for biomedical fact-checking has been recognized in recent years, user-generated medical content has received comparably little attention. At the same time, models for other text genres might not be reusable, because the claims they have been trained with are substantially different. For instance, claims in the SciFact dataset are short and focused: "Side effects associated with antidepressants increases risk of stroke". In contrast, social media holds naturally-occurring claims, often embedded in additional context: "`If you take antidepressants like SSRIs, you could be at risk of a condition called serotonin syndrome' Serotonin syndrome nearly killed me in 2010. Had symptoms of stroke and seizure." This showcases the mismatch between real-world medical claims and the input that existing fact-checking systems expect. To make user-generated content checkable by existing models, we propose to reformulate the social-media input in such a way that the resulting claim mimics the claim characteristics in established datasets. To accomplish this, our method condenses the claim with the help of relational entity information and either compiles the claim out of an entity-relation-entity triple or extracts the shortest phrase that contains these elements. We show that the reformulated input improves the performance of various fact-checking models as opposed to checking the tweet text in its entirety.


title: A second-order bulk--surface splitting for parabolic problems with dynamic boundary conditions

abstract: This paper introduces a novel approach for the construction of bulk--surface splitting schemes for semi-linear parabolic partial differential equations with dynamic boundary conditions. The proposed construction is based on a reformulation of the system as a partial differential--algebraic equation and the inclusion of certain delay terms for the decoupling. To obtain a fully discrete scheme, the splitting approach is combined with finite elements in space and a BDF discretization in time. Within this paper, we focus on the second-order case, resulting in a $3$-step scheme. We prove second-order convergence under the assumption of a weak CFL-type condition and confirm the theoretical findings by numerical experiments. Moreover, we illustrate the potential for higher-order splitting schemes numerically.


title: Negation, Coordination, and Quantifiers in Contextualized Language Models

abstract: With the success of contextualized language models, much research explores what these models really learn and in which cases they still fail. Most of this work focuses on specific NLP tasks and on the learning outcome. Little research has attempted to decouple the models' weaknesses from specific tasks and focus on the embeddings per se and their mode of learning. In this paper, we take up this research opportunity: based on theoretical linguistic insights, we explore whether the semantic constraints of function words are learned and how the surrounding context impacts their embeddings. We create suitable datasets, provide new insights into the inner workings of LMs vis-a-vis function words and implement an assisting visual web interface for qualitative analysis.


title: Topological Structure Learning for Weakly-Supervised Out-of-Distribution Detection

abstract: Out-of-distribution (OOD) detection is the key to deploying models safely in the open world. For OOD detection, collecting sufficient in-distribution (ID) labeled data is usually more time-consuming and costly than unlabeled data. When ID labeled data is limited, the previous OOD detection methods are no longer superior due to their high dependence on the amount of ID labeled data. Based on limited ID labeled data and sufficient unlabeled data, we define a new setting called Weakly-Supervised Out-of-Distribution Detection (WSOOD). To solve the new problem, we propose an effective method called Topological Structure Learning (TSL). Firstly, TSL uses a contrastive learning method to build the initial topological structure space for ID and OOD data. Secondly, TSL mines effective topological connections in the initial topological space. Finally, based on limited ID labeled data and mined topological connections, TSL reconstructs the topological structure in a new topological space to increase the separability of ID and OOD instances. Extensive studies on several representative datasets show that TSL remarkably outperforms the state-of-the-art, verifying the validity and robustness of our method in the new setting of WSOOD.


title: Notch Fracture predictions using the Phase Field method for Ti-6Al-4V produced by Selective Laser Melting after different post-processing conditions

abstract: Ti-6Al-4V is a titanium alloy with excellent properties for lightweight applications and its production through Additive Manufacturing processes is attractive for different industrial sectors. In this work, the influence of mechanical properties on the notch fracture resistance of Ti-6Al-4V produced by Selective Laser Melting is numerically investigated. Literature data is used to inform material behaviour. The as-built brittle behaviour is compared to the enhanced ductile response after heat treatment (HT) and hot isostatic pressing (HIP) post-processes. A Phase Field framework is adopted to capture damage nucleation and propagation from two different notch geometries and a discussion on the influence of fracture energy and the characteristic length is carried out. In addition, the influence of oxygen uptake is analysed by reproducing non-inert atmospheres during HT and HIP, showing that oxygen shifts fracture to brittle failures due to the formation of an alpha case layer, especially for the V-notch geometry. Results show that a pure elastic behaviour can be assumed for the as-built SLM condition, whereas elastic-plastic phenomena must be modelled for specimens subjected to heat treatment or hot isostatic pressing. The present brittle Phase Field framework coupled with an elastic-plastic constitutive analysis is demonstrated to be a robust prediction tool for notch fracture after different post-processing routes.


title: Christoffel-Darboux kernels in several real variables

abstract: The Christoffel-Darboux kernels for orthogonal polynomials in several real variables are investigated within the context of the three term recurrence relation reformulated for this purpose. Examples of orthogonal polynomials on the unit circle and on the Bernoulli lemniscate are discussed.


title: Surface acoustic microwave photonic filters on etchless lithium niobate integrated platform

abstract: Lithium niobate on insulator emerges as a promising platform for integrated microwave photonics because of its capability of ultralow-loss guidance and high-efficiency modulation of light. Chip-level integration of microwave filters is important for signal processing in the 5G/6G wireless communication. Here, we employed the principle of bound states in the continuum for low-loss waveguiding on an etchless lithium niobate integrated platform, and realized high-performance microwave photonic filters thereon. These microwave photonic filters consist of a high-quality photonic microcavity modulated by piezoelectrically excited surface acoustic waves. Acoustic time delays from 21 to 106 ns and passbands with bandwidth as narrow as 0.89 MHz were achieved in the fabricated filters operating at gigahertz frequencies. Our demonstration may open up new applications on the lithium niobate integrated platform, such as optical communication, signal processing, and beam steering.


title: Findings of the Shared Task on Multilingual Coreference Resolution

abstract: This paper presents an overview of the shared task on multilingual coreference resolution associated with the CRAC 2022 workshop. Shared task participants were supposed to develop trainable systems capable of identifying mentions and clustering them according to identity coreference. The public edition of CorefUD 1.0, which contains 13 datasets for 10 languages, was used as the source of training and evaluation data. The CoNLL score used in previous coreference-oriented shared tasks was used as the main evaluation metric. There were 8 coreference prediction systems submitted by 5 participating teams; in addition, there was a competitive Transformer-based baseline system provided by the organizers at the beginning of the shared task. The winner system outperformed the baseline by 12 percentage points (in terms of the CoNLL scores averaged across all datasets for individual languages).


title: An Overview of Cyber Security and Privacy on the Electric Vehicle Charging Infrastructure

abstract: Electric vehicles (EVs) are key to alleviate our dependency on fossil fuels. The future smart grid is expected to be populated by millions of EVs equipped with high-demand batteries. To avoid an overload of the (current) electricity grid, expensive upgrades are required. Some of the upgrades can be averted if users of EVs participate to energy balancing mechanisms, for example through bidirectional EV charging. As the proliferation of consumer Internet-connected devices increases, including EV smart charging stations, their security against cyber-attacks and the protection of private data become a growing concern. We need to properly adapt and develop our current technology that must tackle the security challenges in the EV charging infrastructure, which go beyond the traditional technical applications in the domain of energy and transport networks. Security must balance with other desirable qualities such as interoperability, crypto-agility and energy efficiency. Evidence suggests a gap in the current awareness of cyber security in EV charging infrastructures. This paper fills this gap by providing the most comprehensive to date overview of privacy and security challenges To do so, we review communication protocols used in its ecosystem and provide a suggestion of security tools that might be used for future research.


title: 3D Matting: A Soft Segmentation Method Applied in Computed Tomography

abstract: Three-dimensional (3D) images, such as CT, MRI, and PET, are common in medical imaging applications and important in clinical diagnosis. Semantic ambiguity is a typical feature of many medical image labels. It can be caused by many factors, such as the imaging properties, pathological anatomy, and the weak representation of the binary masks, which brings challenges to accurate 3D segmentation. In 2D medical images, using soft masks instead of binary masks generated by image matting to characterize lesions can provide rich semantic information, describe the structural characteristics of lesions more comprehensively, and thus benefit the subsequent diagnoses and analyses. In this work, we introduce image matting into the 3D scenes to describe the lesions in 3D medical images. The study of image matting in 3D modality is limited, and there is no high-quality annotated dataset related to 3D matting, therefore slowing down the development of data-driven deep-learning-based methods. To address this issue, we constructed the first 3D medical matting dataset and convincingly verified the validity of the dataset through quality control and downstream experiments in lung nodules classification. We then adapt the four selected state-of-the-art 2D image matting algorithms to 3D scenes and further customize the methods for CT images. Also, we propose the first end-to-end deep 3D matting network and implement a solid 3D medical image matting benchmark, which will be released to encourage further research.


title: Rado functionals and applications

abstract: We study Rado functionals and the maximal condition (first introduced by J. M. Barret et al.) in terms of the partition regularity of mixed systems of linear equations and inequalities. By strengthening the maximal Rado condition, we provide a sufficient condition for the partition regularity of polynomial equations over some infinite subsets of a given commutative ring. By applying these results, we derive an extension of a previous result obtained by M. Di Nasso and L. Luperi Baglini concerning partition regular inhomogeneous polynomials in three variables and also conditions for the partition regularity of equations of the form $H(xz^\rho,y)=0$, where $\rho$ is a non-zero rational and $H\in\mathbb{Z}[x,y]$ is a homogeneous polynomial.


title: Fregean abstraction in Zermelo-Fraenkel set theory: a deflationary account

abstract: The standard treatment of sets and definable classes in first-order Zermelo-Fraenkel set theory accords in many respects with the Fregean foundational framework, such as the distinction between objects and concepts. Nevertheless, in set theory we may define an explicit association of definable classes with set objects $F\mapsto\varepsilon F$ in such a way, I shall prove, to realize Frege's Basic Law V as a ZF theorem scheme, Russell notwithstanding. A similar analysis applies to the Cantor-Hume principle and to Fregean abstraction generally. Because these extension and abstraction operators are definable, they provide a deflationary account of Fregean abstraction, one expressible in and reducible to set theory -- every assertion in the language of set theory allowing the extension and abstraction operators $\varepsilon F$, $\# G$, $\alpha H$ is equivalent to an assertion not using them. The analysis thus sidesteps Russell's argument, which is revealed not as a refutation of Basic Law~V as such, but rather as a version of Tarski's theorem on the nondefinability of truth, showing that the proto-truth-predicate "$x$ falls under the concept of which $y$ is the extension" is not expressible.


title: IMAGE-OI: an OIFITS extension and its application in OImaging to compare image reconstruction algorithms

abstract: In interferometry, the quality of the reconstructed image depends on the algorithm used and its parameters, and users often need to compare the results of several algorithms to disentangle artifacts from actual features of the astrophysical object. Such comparisons can rapidly become cumbersome, as these software packages are very different. OImaging is a graphical interface intended to be a common frontend to image reconstruction software packages. With OImaging, the user can now perform multiple reconstructions within a single interface. From a given dataset, OImaging allows benchmarking of different image reconstruction algorithms and assessment of the reliability of the image reconstruction process. To that end, OImaging uses the IMAGE-OI OIFITS extension proposed to standardize communication with image reconstruction algorithms.


title: The normalized depth function of squarefree powers

abstract: The depth of squarefree powers of a squarefree monomial ideal is introduced. Let $I$ be a squarefree monomial ideal of the polynomial ring $S=K[x_1,\ldots,x_n]$. The $k$-th squarefree power $I^{[k]}$ of $I$ is the ideal of $S$ generated by those squarefree monomials $u_1\cdots u_k$ with each $u_i\in G(I)$, where $G(I)$ is the unique minimal system of monomial generators of $I$. Let $d_k$ denote the minimum degree of monomials belonging to $G(I^{[k]})$. One has $\operatorname{depth}(S/I^{[k]}) \geq d_k -1$. Setting $g_I(k) = \operatorname{depth}(S/I^{[k]}) - (d_k - 1)$, one calls $g_I(k)$ the normalized depth function of $I$. The computational experience strongly invites us to propose the conjecture that the normalized depth function is nonincreasing. In the present paper, especially the normalized depth function of the edge ideal of a finite simple graph is deeply studied.


title: Boundedness of bundle diffeomorphism groups over a circle

abstract: In this paper we study boundedness of bundle diffeomorphism groups over a circle. For a fiber bundle $\pi : M \to S^1$ with fiber $N$ and structure group $\Gamma$ and $r \in {\Bbb Z}_{\geq 0} \cup \{ \infty \}$ we distinguish an integer $k = k(\pi, r) \in {\Bbb Z}_{\geq 0}$ and construct a function $\widehat{\nu} : {\rm Diff}_\pi(M)_0 \to {\Bbb R}_k$. When $k \geq 1$, it is shown that the bundle diffeomorphism group ${\rm Diff}_\pi(M)_0$ is uniformly perfect and $clb_\pi\,{\rm Diff}^r_\pi(M)_0 \leq k+3$, if ${\rm Diff}_{\rho, c}(E)_0$ is perfect for the trivial fiber bundle $\rho : E \to {\Bbb R}$ with fiber $N$ and structure group $\Gamma$. On the other hand, when $k = 0$, it is shown that $\widehat{\nu}$ is a unbounded quasimorphism, so that ${\rm Diff}_\pi(M)_0$ is unbounded and not uniformly perfect. We also describe the integer $k$ in term of the attaching map $\phi$ for a mapping torus $\pi : M_\phi \to S^1$ and give some explicit examples of (un)bounded groups.


title: Neuromuscular Reinforcement Learning to Actuate Human Limbs through FES

abstract: Functional Electrical Stimulation (FES) is a technique to evoke muscle contraction through low-energy electrical signals. FES can animate paralysed limbs. Yet, an open challenge remains on how to apply FES to achieve desired movements. This challenge is accentuated by the complexities of human bodies and the non-stationarities of the muscles' responses. The former causes difficulties in performing inverse dynamics, and the latter causes control performance to degrade over extended periods of use. Here, we engage the challenge via a data-driven approach. Specifically, we learn to control FES through Reinforcement Learning (RL) which can automatically customise the stimulation for the patients. However, RL typically has Markovian assumptions while FES control systems are non-Markovian because of the non-stationarities. To deal with this problem, we use a recurrent neural network to create Markovian state representations. We cast FES controls into RL problems and train RL agents to control FES in different settings in both simulations and the real world. The results show that our RL controllers can maintain control performances over long periods and have better stimulation characteristics than PID controllers.


title: FairGBM: Gradient Boosting with Fairness Constraints

abstract: Tabular data is prevalent in many high-stakes domains, such as financial services or public policy. Gradient Boosted Decision Trees (GBDT) are popular in these settings due to their scalability, performance, and low training cost. While fairness in these domains is a foremost concern, existing in-processing Fair ML methods are either incompatible with GBDT, or incur in significant performance losses while taking considerably longer to train. We present FairGBM, a dual ascent learning framework for training GBDT under fairness constraints, with little to no impact on predictive performance when compared to unconstrained GBDT. Since observational fairness metrics are non-differentiable, we propose smooth convex error rate proxies for common fairness criteria, enabling gradient-based optimization using a ``proxy-Lagrangian'' formulation. Our implementation shows an order of magnitude speedup in training time relative to related work, a pivotal aspect to foster the widespread adoption of FairGBM by real-world practitioners.


title: Whole-Body Lesion Segmentation in 18F-FDG PET/CT

abstract: There has been growing research interest in using deep learning based method to achieve fully automated segmentation of lesion in Positron emission tomography computed tomography(PET CT) scans for the prognosis of various cancers. Recent advances in the medical image segmentation shows the nnUNET is feasible for diverse tasks. However, lesion segmentation in the PET images is not straightforward, because lesion and physiological uptake has similar distribution patterns. The Distinction of them requires extra structural information in the CT images. The present paper introduces a nnUNet based method for the lesion segmentation task. The proposed model is designed on the basis of the joint 2D and 3D nnUNET architecture to predict lesions across the whole body. It allows for automated segmentation of potential lesions. We evaluate the proposed method in the context of AutoPet Challenge, which measures the lesion segmentation performance in the metrics of dice score, false-positive volume and false-negative volume.


title: Simultaneous measurement of muon neutrino $\nu_\mu$ charged-current single $\pi^+$ production in CH, C, H$_2$O, Fe, and Pb targets in MINERvA

abstract: Neutrino-induced charged-current single $\pi^+$ production in the $\Delta(1232)$ resonance region is of considerable interest to accelerator-based neutrino oscillation experiments. In this work, high statistics differential cross sections are reported for the semi-exclusive reaction $\nu_\mu A \to \mu^- \pi^+ +$ nucleon(s) on scintillator, carbon, water, iron, and lead targets recorded by MINERvA using a wide-band $\nu_\mu$ beam with $\left< E_\nu \right> \approx 6$~GeV. Suppression of the cross section at low $Q^2$ and enhancement of low $T_\pi$ are observed in both light and heavy nuclear targets compared to phenomenological models used in current neutrino interaction generators. The cross-section ratios for iron and lead compared to CH across the kinematic variables probed are 0.8 and 0.5 respectively, a scaling which is also not predicted by current generators.


title: The electronic system $(2)^2\Sigma^+$ and $(1)^2\Pi$ of LiCa

abstract: High resolution Fourier transform spectroscopy and Laser induced fluorescence has been performed on LiCa in the infrared spectral range. We analyze rovibrational transitions of the $(2)^2\Sigma^+$--$X(1)^2\Sigma^+$ system of LiCa and find the $(2)^2\Sigma^+$ state to be perturbed by spin-orbit coupling to the $(1)^2\Pi$ state. We study the coupled system obtaining molecular parameters for the $(2)^2\Sigma^+$ and the $(1)^2\Pi$ state together with effective spin-orbit and spin-rotation coupling constants. The coupled system has also been evaluated by applying a potential function instead of rovibrational molecular parameters for the state $(2)^2\Sigma^+$. An improved analytic potential function of the $X(1)^2\Sigma^+$ state is derived, due to the extension of the observed rotational ladder.


title: Assessing the impact of two independent direction-dependent calibration algorithms on the LOFAR 21-cm signal power spectrum

abstract: Detecting the 21-cm signal from the Epoch of Reionisation (EoR) is challenging due to the strong astrophysical foregrounds, ionospheric effects, radio frequency interference and instrumental effects. Understanding and calibrating these effects are crucial for the detection. In this work, we introduce a newly developed direction-dependent (DD) calibration algorithm DDECAL and compare its performance with an existing algorithm, SAGECAL, in the context of the LOFAR-EoR 21-cm power spectrum experiment. In our data set, the North Celestial Pole (NCP) and its flanking fields were observed simultaneously. We analyse the NCP and one of its flanking fields. The NCP field is calibrated by the standard pipeline, using SAGECAL with an extensive sky model and 122 directions, and the flanking field is calibrated by DDECAL and SAGECAL with a simpler sky model and 22 directions. Additionally, two strategies are used for subtracting Cassiopeia A and Cygnus A. The results show that DDECAL performs better at subtracting sources in the primary beam region due to the application of a beam model, while SAGECAL performs better at subtracting Cassiopeia A and Cygnus A. This indicates that including a beam model during DD calibration significantly improves the performance. The benefit is obvious in the primary beam region. We also compare the 21-cm power spectra on two different fields. The results show that the flanking field produces better upper limits compared to the NCP in this particular observation. Despite the minor differences between DDECAL and SAGECAL due to the beam application, we find that the two algorithms yield comparable 21-cm power spectra on the LOFAR-EoR data after foreground removal. Hence, the current LOFAR-EoR 21-cm power spectrum limits are not likely to depend on the DD calibration method.


title: On the mathematical description of combined PMD PDL effects in optical communications and how their induced impairments can be minimized

abstract: In this paper it is shown that the correct mathematical framework of combined polarization mode dispersion and polarization dependent losses (combined PMD-PDL effects or impairments) in optical fibers is the irreducible spinor representation of the extended Lorentz Group. Combined PMD-PDL effects are shown to be formally identical to Lorentz Transformations acting on spin 1/2 zero mass particles. Since there are two different irreducible spinor representations of the restricted Lorentz Group, there must also exist two kinds of states of polarizations (SOPs) that are relevant in the description of PMD-PDL effects. The optical process that allows to convert one kind into the other is identified as optical phase conjugation. Optical phase conjugation plays the same role as the time inversion operator in the Lorentz Group representation theory. A practical and extremely important example of utility of these ideas, a technique that significantly reduces the PMD-PDL induced impairments, is presented. This technique allows to cancel the PDL part of the combined PMD-PDL impairments in a very simple and straightforward way.


title: Chemical Vapour Deposition Graphene-PMMA Nanolaminates for Flexible Gas Barrier

abstract: Successful ways of fully exploiting the excellent structural and multifunctional performance of graphene and related materials are of great scientific and technological interest. New opportunities are provided by the fabrication of a novel class of nanocomposites with a nanolaminate architecture. In this work, by using the iterative lift-off/float-on process combined with wet depositions, we incorporated cm-size graphene monolayers produced via Chemical Vapour Deposition into a poly (methyl methacrylate) (PMMA) matrix with a controlled, alternate-layered structure. The produced nanolaminate shows a significant improvement in mechanical properties, with enhanced stiffness, strength and toughness, with the addition of only 0.06 vol% of graphene. Furthermore, oxygen and carbon dioxide permeability measurements performed at different relative humidity levels, reveal that the addition of graphene leads to significant reduction of permeability, compared to neat PMMA. Overall, we demonstrate that the produced graphene-PMMA nanolaminate surpasses, in terms of gas barrier properties, the traditional discontinuous graphene-particle composites with a similar filler content. Moreover, we found that the gas permeability through the nanocomposites departs from a monotonic decrease as a function of relative humidity, which is instead evident in the case of the pure PMMA nanolaminate. This work suggests the possible use of Chemical Vapour Deposition graphene-polymer nanolaminates as a flexible gas barrier, thus enlarging the spectrum of applications for this novel material.


title: GATraj: A Graph- and Attention-based Multi-Agent Trajectory Prediction Model

abstract: Trajectory prediction has been a long-standing problem in intelligent systems like autonomous driving and robot navigation. Models trained on large-scale benchmarks have made significant progress in improving prediction accuracy. However, the importance on efficiency for real-time applications has been less emphasized. This paper proposes an attention-based graph model, named GATraj, which achieves a good balance of prediction accuracy and inference speed. We use attention mechanisms to model the spatial-temporal dynamics of agents, such as pedestrians or vehicles, and a graph convolutional network to model their interactions. Additionally, a Laplacian mixture decoder is implemented to mitigate mode collapse and generate diverse multimodal predictions for each agent. GATraj achieves state-of-the-art prediction performance at a much higher speed when tested on the ETH/UCY datasets for pedestrian trajectories, and good performance at about 100 Hz inference speed when tested on the nuScenes dataset for autonomous driving. We conduct extensive experiments to analyze the probability estimation of the Laplacian mixture decoder and compare it with a Gaussian mixture decoder for predicting different multimodalities. Furthermore, comprehensive ablation studies demonstrate the effectiveness of each proposed module in GATraj. The code is released at https://github.com/mengmengliu1998/GATraj.


title: Red Teaming Language Models to Reduce Harms: Methods, Scaling Behaviors, and Lessons Learned

abstract: We describe our early efforts to red team language models in order to simultaneously discover, measure, and attempt to reduce their potentially harmful outputs. We make three main contributions. First, we investigate scaling behaviors for red teaming across 3 model sizes (2.7B, 13B, and 52B parameters) and 4 model types: a plain language model (LM); an LM prompted to be helpful, honest, and harmless; an LM with rejection sampling; and a model trained to be helpful and harmless using reinforcement learning from human feedback (RLHF). We find that the RLHF models are increasingly difficult to red team as they scale, and we find a flat trend with scale for the other model types. Second, we release our dataset of 38,961 red team attacks for others to analyze and learn from. We provide our own analysis of the data and find a variety of harmful outputs, which range from offensive language to more subtly harmful non-violent unethical outputs. Third, we exhaustively describe our instructions, processes, statistical methodologies, and uncertainty about red teaming. We hope that this transparency accelerates our ability to work together as a community in order to develop shared norms, practices, and technical standards for how to red team language models.


title: Extracting Biomedical Factual Knowledge Using Pretrained Language Model and Electronic Health Record Context

abstract: Language Models (LMs) have performed well on biomedical natural language processing applications. In this study, we conducted some experiments to use prompt methods to extract knowledge from LMs as new knowledge Bases (LMs as KBs). However, prompting can only be used as a low bound for knowledge extraction, and perform particularly poorly on biomedical domain KBs. In order to make LMs as KBs more in line with the actual application scenarios of the biomedical domain, we specifically add EHR notes as context to the prompt to improve the low bound in the biomedical domain. We design and validate a series of experiments for our Dynamic-Context-BioLAMA task. Our experiments show that the knowledge possessed by those language models can distinguish the correct knowledge from the noise knowledge in the EHR notes, and such distinguishing ability can also be used as a new metric to evaluate the amount of knowledge possessed by the model.


title: A $(1.5+\epsilon)$-Approximation Algorithm for Weighted Connectivity Augmentation

abstract: Connectivity augmentation problems are among the most elementary questions in Network Design. Many of these problems admit natural $2$-approximation algorithms, often through various classic techniques, whereas it remains open whether approximation factors below $2$ can be achieved. One of the most basic examples thereof is the Weighted Connectivity Augmentation Problem (WCAP). In WCAP, one is given an undirected graph together with a set of additional weighted candidate edges, and the task is to find a cheapest set of candidate edges whose addition to the graph increases its edge-connectivity. We present a $(1.5+\varepsilon)$-approximation algorithm for WCAP, showing for the first time that factors below $2$ are achievable. On a high level, we design a well-chosen local search algorithm, inspired by recent advances for Weighted Tree Augmentation. To measure progress, we consider a directed weakening of WCAP and show that it has highly structured planar solutions. Interpreting a solution of the original problem as one of this directed weakening allows us to describe local exchange steps in a clean and algorithmically amenable way. Leveraging these insights, we show that we can efficiently search for good exchange steps within a component class for link sets that is closely related to bounded treewidth subgraphs of circle graphs. Moreover, we prove that an optimum solution can be decomposed into smaller components, at least one of which leads to a good local search step as long as we did not yet achieve the claimed approximation guarantee.


title: Machine Learning Decoder for 5G NR PUCCH Format 0

abstract: 5G cellular systems depend on the timely exchange of feedback control information between the user equipment and the base station. Proper decoding of this control information is necessary to set up and sustain high throughput radio links. This paper makes the first attempt at using Machine Learning techniques to improve the decoding performance of the Physical Uplink Control Channel Format 0. We use fully connected neural networks to classify the received samples based on the uplink control information content embedded within them. The trained neural network, tested on real-time wireless captures, shows significant improvement in accuracy over conventional DFT-based decoders, even at low SNR. The obtained accuracy results also demonstrate conformance with 3GPP requirements.


title: What Do Children and Parents Want and Perceive in Conversational Agents? Towards Transparent, Trustworthy, Democratized Agents

abstract: Historically, researchers have focused on analyzing WEIRD, adult perspectives on technology. This means we may not have technology developed appropriately for children and those from non-WEIRD countries. In this paper, we analyze children and parents from various countries' perspectives on an emerging technology: conversational agents. We aim to better understand participants' trust of agents, partner models, and their ideas of "ideal future agents" such that researchers can better design for these users. Additionally, we empower children and parents to program their own agents through educational workshops, and present changes in perceptions as participants create and learn about agents. Results from the study (n=49) included how children felt agents were significantly more human-like, warm, and dependable than parents did, how participants trusted agents more than parents or friends for correct information, how children described their ideal agents as being more artificial than human-like than parents did, and how children tended to focus more on fun features, approachable/friendly features and addressing concerns through agent design than parents did, among other results. We also discuss potential agent design implications of the results, including how designers may be able to best foster appropriate levels of trust towards agents by focusing on designing agents' competence and predictability indicators, as well as increasing transparency in terms of agents' information sources.


title: Expanding continual few-shot learning benchmarks to include recognition of specific instances

abstract: Continual learning and few-shot learning are important frontiers in progress towards broader Machine Learning (ML) capabilities. There is a growing body of work in both, but few works combining the two. One exception is the Continual few-shot Learning (CFSL) framework of Antoniou et al. arXiv:2004.11967. In this study, we extend CFSL in two ways that capture a broader range of challenges, important for intelligent agent behaviour in real-world conditions. First, we modify CFSL to make it more comparable to standard continual learning experiments, where usually a much larger number of classes are presented. Second, we introduce an 'instance test' which requires recognition of specific instances of classes -- a capability of animal cognition that is usually neglected in ML. For an initial exploration of ML model performance under these conditions, we selected representative baseline models from the original CFSL work and added a model variant with replay. As expected, learning more classes is more difficult than the original CFSL experiments, and interestingly, the way in which image instances and classes are presented affects classification performance. Surprisingly, accuracy in the baseline instance test is comparable to other classification tasks, but poor given significant occlusion and noise. The use of replay for consolidation improves performance substantially for both types of tasks, but particularly the instance test.


title: Toward 6G with Terahertz Communications: Understanding the Propagation Channels

abstract: This article aims at providing insights for a comprehensive understanding of terahertz (THz) propagation channels. Specifically, we discuss essential THz channel characteristics to be well understood for the success of THz communications. The methodology of establishing realistic and 6G-compliant THz channel models based on measurements is then elaborated on, followed by a discussion on existing THz channel measurements in the literature. Finally, future research directions, challenges and measures to enrich the understanding of THz channels are discussed.


title: Norm inflation and ill-posedness for the Fornberg-Whitham equation

abstract: In this paper, we prove that the Cauchy problem for the Fornberg-Whitham equation is not locally well-posed in $B^s_{p,r}(\R)$ with $(s,p,r)\in (1,1+\frac1p)\times[2,\infty)\times [1,\infty]$ or $(s,p,r)\in \{1\}\times[2,\infty)\times [1,2]$ by showing norm inflation phenomena of the solution for some special initial data.


title: Understanding template methods for top polarisation measurements

abstract: Top polarisation measurements at the LHC are often performed using template methods. I discuss the role of quantum interference between polarisation states - which is mostly overlooked in the literature. Furthermore, I argue which is the correct definition of the `templates' of definite polarisations, in order to match the experimental measurements with meaningful theoretical predictions.


title: Time symmetry in quantum theories and beyond

abstract: There is a stark tension among different formulations of quantum theory in that some are fundamentally time-symmetric and others are radically time-asymmetric. This tension is crisply captured when thinking of physical theories as theories of processes. We review process theories and their diagrammatic representation, and show how quantum theory can be described in this language. The tension between time-symmetry and time-asymmetry is then captured by the tension between two of the key structures that are used in this framework. On the one hand, the symmetry is captured by a dagger structure, which is represented by a reflection of diagrams. On the other hand, the asymmetry is captured by a condition involving discarding which, ultimately, is responsible for the theory being compatible with relativistic causality. Next we consider three different ways in which we this tension can be resolved. The first of these is closely related to recent work of Lucien Hardy, where the tension is resolved by adding in a time reversed version of discarding together with a suitable consistency condition. The second is, to our knowledge, a new approach. Here the tension is resolved by adding in new systems which propagate backwards in time, and imposing a consistency condition to avoid running into well known time-travel paradoxes. The final approach that we explore is closely related to work of Oreshkov and Cerf, where the tension is resolved by removing the constraint associated with discarding. We show two equivalent ways in which this can be done whilst ensuring that the resulting theory still makes sensible operational predictions.


title: On Stochastic Orders and Total Positivity

abstract: The usual stochastic order and the likelihood ratio order between probability distributions on the real line are reviewed in full generality. In addition, for the distribution of a random pair $(X,Y)$, it is shown that the conditional distributions of $Y$, given $X = x$, are increasing in $x$ with respect to the likelihood ratio order if and only if the joint distribution of $(X,Y)$ is totally positive of order two (TP2) in a certain sense. It is also shown that these three types of constraints are stable under weak convergence, and that weak convergence of TP2 distributions implies convergence of the conditional distributions just mentioned.


title: LogGD:Detecting Anomalies from System Logs by Graph Neural Networks

abstract: Log analysis is one of the main techniques engineers use to troubleshoot faults of large-scale software systems. During the past decades, many log analysis approaches have been proposed to detect system anomalies reflected by logs. They usually take log event counts or sequential log events as inputs and utilize machine learning algorithms including deep learning models to detect system anomalies. These anomalies are often identified as violations of quantitative relational patterns or sequential patterns of log events in log sequences. However, existing methods fail to leverage the spatial structural relationships among log events, resulting in potential false alarms and unstable performance. In this study, we propose a novel graph-based log anomaly detection method, LogGD, to effectively address the issue by transforming log sequences into graphs. We exploit the powerful capability of Graph Transformer Neural Network, which combines graph structure and node semantics for log-based anomaly detection. We evaluate the proposed method on four widely-used public log datasets. Experimental results show that LogGD can outperform state-of-the-art quantitative-based and sequence-based methods and achieve stable performance under different window size settings. The results confirm that LogGD is effective in log-based anomaly detection.


title: A regularization-patching dual quaternion optimization method for solving the hand-eye calibration problem

abstract: The hand-eye calibration problem is an important application problem in robot research. Based on the 2-norm of dual quaternion vectors, we propose a new dual quaternion optimization method for the hand-eye calibration problem. The dual quaternion optimization problem is decomposed to two quaternion optimization subproblems. The first quaternion optimization subproblem governs the rotation of the robot hand. It can be solved efficiently by the eigenvalue decomposition or singular value decomposition. If the optimal value of the first quaternion optimization subproblem is zero, then the system is rotationwise noiseless, i.e., there exists a ``perfect'' robot hand motion which meets all the testing poses rotationwise exactly. In this case, we apply the regularization technique for solving the second subproblem to minimize the distance of the translation. Otherwise we apply the patching technique to solve the second quaternion optimization subproblem. Then solving the second quaternion optimization subproblem turns out to be solving a quadratically constrained quadratic program. In this way, we give a complete description for the solution set of hand-eye calibration problems. This is new in the hand-eye calibration literature. The numerical results are also presented to show the efficiency of the proposed method.


title: On the Diophantine equation $\displaystyle \sum _{k=1}^{5}F_{n_k}=2^a$

abstract: Let $(F_n)_{n\geq 0}$ be the Fibonacci sequence given by $F_0 = 0, F_1 = 1$ and $F_{n+2} = F_{n+1}+F_n$ for $n \geq 0$. In this paper, we have determined all the powers of 2 which are sums of five Fibonacci numbers with few exceptions that we characterize. We have also stated an open problem relating to the number of solutions of equations like those studied in this paper.


title: Plasma dynamics at the Schwinger limit and beyond

abstract: Strong field physics close to or above the Schwinger limit are typically studied with vacuum as initial condition, or by considering test particle dynamics. However, with a plasma present initially, quantum relativistic mechanisms such as Schwinger pair-creation are complemented by classical plasma nonlinearities. In this work we use the Dirac-Heisenberg-Wigner formalism to study the interplay between classical and quantum mechanical mechanisms for ultra-strong electric fields. In particular, the effects of initial density and temperature on the plasma oscillation dynamics are determined.


title: Adaptive Natural Language Generation for Task-oriented Dialogue via Reinforcement Learning

abstract: When a natural language generation (NLG) component is implemented in a real-world task-oriented dialogue system, it is necessary to generate not only natural utterances as learned on training data but also utterances adapted to the dialogue environment (e.g., noise from environmental sounds) and the user (e.g., users with low levels of understanding ability). Inspired by recent advances in reinforcement learning (RL) for language generation tasks, we propose ANTOR, a method for Adaptive Natural language generation for Task-Oriented dialogue via Reinforcement learning. In ANTOR, a natural language understanding (NLU) module, which corresponds to the user's understanding of system utterances, is incorporated into the objective function of RL. If the NLG's intentions are correctly conveyed to the NLU, which understands a system's utterances, the NLG is given a positive reward. We conducted experiments on the MultiWOZ dataset, and we confirmed that ANTOR could generate adaptive utterances against speech recognition errors and the different vocabulary levels of users.


title: Measurements of observables sensitive to colour reconnection in $t\bar{t}$ events with the ATLAS detector at $\sqrt{s}=13$ TeV

abstract: A measurement of observables sensitive to effects of colour reconnection in top-quark pair-production events is presented using 139 fb$^{-1}$ of 13$\,$TeV proton-proton collision data collected by the ATLAS detector at the LHC. Events are selected by requiring exactly one isolated electron and one isolated muon with opposite charge and two or three jets, where exactly two jets are required to be $b$-tagged. For the selected events, measurements are presented for the charged-particle multiplicity, the scalar sum of the transverse momenta of the charged particles, and the same scalar sum in bins of charged-particle multiplicity. These observables are unfolded to the stable-particle level, thereby correcting for migration effects due to finite detector resolution, acceptance and efficiency effects. The particle-level measurements are compared with different colour reconnection models in Monte Carlo generators. These measurements disfavour some of the colour reconnection models and provide inputs to future optimisation of the parameters in Monte Carlo generators.


title: Rigid cohomology of locally noetherian schemes Part 2 : Crystals

abstract: We introduce the general notions of an overconvergent site and a constructible crystal on an overconvergent site. We show that if $V$ is a geometric materialization of a locally noetherian formal scheme $X$ over an analytic space $O$ defined over $\mathbb Q$, then the category of constructible crystals on $X/O$ is equivalent to the category of constructible modules endowed with an overconvergent connection on the tube $\,]X[_V$ of $X$ in $V$. We also show that the cohomology of a constructible crystal is then isomorphic to the de Rham cohomology of its realization on the tube $\,]X[_V$. This is a generalization of rigid cohomology. Finally, we prove universal cohomological descent and universal effective descent with respect to constructible crystals with respect to the $h$-topology. This encompass flat and proper descent and generalizes all previous descent results in rigid cohomology.


title: The stable and augmented base locus under finite morphisms

abstract: We study the pullback of the stable and augmented base locus under a finite surjective morphism between normal varieties over a perfect field.


title: Resonance-induced acceleration of the RBNE-BNE segregation inversion of granular mixtures

abstract: This paper presents the experiments and simulations on the resonance-induced acceleration of the reverse Brazil nut effect (RBNE)-Brazil nut effect (BNE) segregation inversion of binary mixtures in flat-bottom and circular-bottom containers. Both experimental and simulation results indicate that the starting location of the sinkage of heavier grains at the top layer is triggered with certain randomness in the flat-bottom container, whereas it first occurs at either of the lateral edges of the bottom in the circular-bottom container. The quantified segregation factors in simulations show that the transition from the RBNE segregation state to the BNE segregation state happens faster in the circular-bottom container than that in the flat-bottom container. The occurrence of standing-wave resonant spots of higher and lower granular temperature accelerates the RBNE-BNE segregation inversion. From the elastic collision model of single grain, the bottom with a larger angle leads to more energy transfer from the vertical direction to the horizontal direction. The theoretical predictions are confirmed by the simulations of a monodisperse granular bed. The flat-bottom container has a uniform distribution with a standing-wave period of granular temperature and packing density, whereas the circular-bottom container possesses a higher granular temperature in the horizontal direction and a lower packing density at the lateral edges of the circular bottom. Owing to the buoyancy effect, heavier grains easily sink first at the resonant spots with higher temperature.


title: Team performance and large scale agile software development

abstract: Software development is a team work and largely dependent on open social interaction and continuous learning of individuals. Drawing on well established theoretical concepts proposed by social psychology and organizational science disciplines, we develop a theoretical framework proposing that team climate has a significant influence on team learning and ultimately affects team performance. Our study consists of two goals. First to understand the preconditions of team learning and second to investigate the relationship between team learning, psychological safety, and team performance in large scale agile software development projects. We plan to conduct a survey with software professionals in Sweden from three companies partners in pur large-scale agile research project.


title: Less is Better: Recovering Intended-Feature Subspace to Robustify NLU Models

abstract: Datasets with significant proportions of bias present threats for training a trustworthy model on NLU tasks. Despite yielding great progress, current debiasing methods impose excessive reliance on the knowledge of bias attributes. Definition of the attributes, however, is elusive and varies across different datasets. Furthermore, leveraging these attributes at input level to bias mitigation may leave a gap between intrinsic properties and the underlying decision rule. To narrow down this gap and liberate the supervision on bias, we suggest extending bias mitigation into feature space. Therefore, a novel model, Recovering Intended-Feature Subspace with Knowledge-Free (RISK) is developed. Assuming that shortcut features caused by various biases are unintended for prediction, RISK views them as redundant features. When delving into a lower manifold to remove redundancies, RISK reveals that an extremely low-dimensional subspace with intended features can robustly represent the highly biased dataset. Empirical results demonstrate our model can consistently improve model generalization to out-of-distribution set, and achieves a new state-of-the-art performance.


title: Effects of inertia on conformation and dynamics of tangentially-driven active filaments

abstract: Active filament-like systems propelling along their backbone exist across the scales ranging from motor-driven bio-filaments to worms and robotic chains. In macroscopic active filaments such as chain of robots, in contrast to their microscopic counterparts, inertial effects on their motion cannot be ignored. Nonetheless, consequences of interplay between inertia and flexibility on shape and dynamics of active filaments remain unexplored. Here, we examine inertial effects on flexible tangentially-driven active polymer model pertinent to above examples and we determine the conditions under which inertia becomes important. Performing Langevin dynamics simulations of active polymers with underdamped and overdamped dynamics for a wide range of contour lengths and activities, we uncover striking inertial effects on conformation and dynamics at high activities. Inertial collisions increase the persistence length of active polymers and remarkably alter their scaling behavior. In stark contrast to passive polymers, inertia leaves its fingerprint at long times by an enhanced diffusion of the center of mass. We rationalize inertia-induced enhanced dynamics by analytical calculations of center of mass velocity correlations, applicable to any active polymer model, which reveal significant contributions from active force fluctuations convoluted by inertial relaxation.


title: Model Predictive Robustness of Signal Temporal Logic Predicates

abstract: The robustness of signal temporal logic not only assesses whether a signal adheres to a specification but also provides a measure of how much a formula is fulfilled or violated. The calculation of robustness is based on evaluating the robustness of underlying predicates. However, the robustness of predicates is usually defined in a model-free way, i.e., without including the system dynamics. Moreover, it is often nontrivial to define the robustness of complicated predicates precisely. To address these issues, we propose a notion of model predictive robustness, which provides a more systematic way of evaluating robustness compared to previous approaches by considering model-based predictions. In particular, we use Gaussian process regression to learn the robustness based on precomputed predictions so that robustness values can be efficiently computed online. We evaluate our approach for the use case of autonomous driving with predicates used in formalized traffic rules on a recorded dataset, which highlights the advantage of our approach compared to traditional approaches in terms of precision. By incorporating our robustness definitions into a trajectory planner, autonomous vehicles obey traffic rules more robustly than human drivers in the dataset.


title: Solving Stochastic PDEs Using FEniCS and UQtk

abstract: The intrusive (sample-free) spectral stochastic finite element method (SSFEM) is a powerful numerical tool for solving stochastic partial differential equations (PDEs). However, it is not widely adopted in academic and industrial applications because it demands intrusive adjustments in the PDE solver, which require substantial coding efforts compared to the non-intrusive (sampling) SSFEM. Using an example of stochastic PDE, in this article, we demonstrate that the implementational challenges of the intrusive approach can be alleviated using FEniCS -- a general purpose finite element package and UQTk -- a collection of libraries and tools for the quantification of uncertainty. Furthermore, the algorithmic details and code snippets are provided to assist computational scientists in implementing these methods for their applications. This article is extracted from the author's thesis [1].


title: Minibatch Stochastic Three Points Method for Unconstrained Smooth Minimization

abstract: In this paper, we propose a new zero order optimization method called minibatch stochastic three points (MiSTP) method to solve an unconstrained minimization problem in a setting where only an approximation of the objective function evaluation is possible. It is based on the recently proposed stochastic three points (STP) method (Bergou et al., 2020). At each iteration, MiSTP generates a random search direction in a similar manner to STP, but chooses the next iterate based solely on the approximation of the objective function rather than its exact evaluations. We also analyze our method's complexity in the nonconvex and convex cases and evaluate its performance on multiple machine learning tasks.


title: Workflow-based Fast Data-driven Predictive Control with Disturbance Observer in Cloud-edge Collaborative Architecture

abstract: Data-driven predictive control (DPC) has been studied and used in various scenarios, since it could generate the predicted control sequence only relying on the historical input and output data. Recently, based on cloud computing, data-driven predictive cloud control system (DPCCS) has been proposed with the advantage of sufficient computational resources. However, the existing computation mode of DPCCS is centralized. This computation mode could not utilize fully the computing power of cloud computing, of which the structure is distributed. Thus, the computation delay could not been reduced and still affects the control quality. In this paper, a novel cloud-edge collaborative containerised workflow-based DPC system with disturbance observer (DOB) is proposed, to improve the computation efficiency and guarantee the control accuracy. First, a construction method for the DPC workflow is designed, to match the distributed processing environment of cloud computing. But the non-computation overheads of the workflow tasks are relatively high. Therefore, a cloud-edge collaborative control scheme with DOB is designed. The low-weight data could be truncated to reduce the non-computation overheads. Meanwhile, we design an edge DOB to estimate and compensate the uncertainty in cloud workflow processing, and obtain the composite control variable. The UUB stability of the DOB is also proved. Third, to execute the workflow-based DPC controller and evaluate the proposed cloud-edge collaborative control scheme with DOB in the real cloud environment, we design and implement a practical workflow-based cloud control experimental system based on container technology. Finally, a series of evaluations show that, the computation times are decreased by 45.19% and 74.35% for two real-time control examples, respectively, and by at most 85.10% for a high-dimension control example.


title: Probing the Galactic halo with RR Lyrae stars $-$ III. The chemical and kinematic properties of the stellar halo

abstract: Based on a large spectroscopic sample of $\sim$ 4,300 RR Lyrae stars with metallicity, systemic radial velocity and distance measurements, we present a detailed analysis of the chemical and kinematic properties of the Galactic halo. Using this sample, the metallicity distribution function (MDF) as a function of $r$ and the velocity anisotropy parameter $\beta$ profiles (for different metallicity populations) are derived for the stellar halo. Both the chemical and kinematic results suggest that the Galactic halo is composed of two distinct parts, the inner halo and outer halo. The cutoff radius ($\sim$ 30 kpc) is similar to the previous break radius found in the density distribution of the stellar halo. We find that the inner part is dominated by a metal-rich population with extremely radial anisotropy ($\beta \sim 0.9$). These features are in accordance with those of ``{\it Gaia}-Enceladus-Sausage'' (GES) and we attribute this inner halo component as being dominantly composed of stars deposited from this ancient merged satellite. We find that GES probably has a slightly negative metallicity gradient. The metal-poor populations in the inner halo are characterized as a long-tail in MDF with an anisotropy of $\beta \sim 0.5$, which is similar to that of the outer part. The MDF for the outer halo is very broad with several weak peaks and the value of $\beta$ is around 0.5 for all metallicities.


title: Beam Tracking for Dynamic mmWave Channels: A New Training Beam Sequence Design Approach

abstract: In this paper, we develop an efficient training beam sequence design approach for millimeter wave MISO tracking systems. We impose a discrete state Markov process assumption on the evolution of the angle of departure and introduce the maximum a posteriori criterion to track it in each beam training period. Since it is infeasible to derive an explicit expression for the resultant tracking error probability, we turn to its upper bound, which possesses a closed-form expression and is therefore leveraged as the objective function to optimize the training beam sequence. Considering the complicated objective function and the unit modulus constraints imposed by analog phase shifters, we resort to the particle swarm algorithm to solve the formulated optimization problem. Numerical results validate the superiority of the proposed training beam sequence design approach.


title: Error bounds for the asymptotic expansion of the partition function

abstract: Asymptotic study on the partition function $p(n)$ began with the work of Hardy and Ramanujan. Later Rademacher obtained a convergent series for $p(n)$ and an error bound was given by Lehmer. Despite having this, a full asymptotic expansion for $p(n)$ with an explicit error bound is not known. Recently O'Sullivan studied the asymptotic expansion of $p^{k}(n)$-partitions into $k$th powers, initiated by Wright, and consequently obtained an asymptotic expansion for $p(n)$ along with a concise description of the coefficients involved in the expansion but without any estimation of the error term. Here we consider a detailed and comprehensive analysis on an estimation of the error term obtained by truncating the asymptotic expansion for $p(n)$ at any positive integer $n$. This gives rise to an infinite family of inequalities for $p(n)$ which finally answers to a question proposed by Chen. Our error term estimation predominantly relies on applications of algorithmic methods from symbolic summation.


title: TwistSLAM++: Fusing multiple modalities for accurate dynamic semantic SLAM

abstract: Most classical SLAM systems rely on the static scene assumption, which limits their applicability in real world scenarios. Recent SLAM frameworks have been proposed to simultaneously track the camera and moving objects. However they are often unable to estimate the canonical pose of the objects and exhibit a low object tracking accuracy. To solve this problem we propose TwistSLAM++, a semantic, dynamic, SLAM system that fuses stereo images and LiDAR information. Using semantic information, we track potentially moving objects and associate them to 3D object detections in LiDAR scans to obtain their pose and size. Then, we perform registration on consecutive object scans to refine object pose estimation. Finally, object scans are used to estimate the shape of the object and constrain map points to lie on the estimated surface within the BA. We show on classical benchmarks that this fusion approach based on multimodal information improves the accuracy of object tracking.


title: Structure-Preserving Spectral Reflectance Estimation using Guided Filtering

abstract: Light spectra are a very important source of information for diverse classification problems, e.g., for discrimination of materials. To lower the cost for acquiring this information, multispectral cameras are used. Several techniques exist for estimating light spectra out of multispectral images by exploiting properties about the spectrum. Unfortunately, especially when capturing multispectral videos, the images are heavily affected by noise due to the nature of limited exposure times in videos. Therefore, models that explicitly try to lower the influence of noise on the reconstructed spectrum are highly desirable. Hence, a novel reconstruction algorithm is presented. This novel estimation method is based on the guided filtering technique which preserves basic structures, while using spatial information to reduce the influence of noise. The evaluation based on spectra of natural images reveals that this new technique yields better quantitative and subjective results in noisy scenarios than other state-of-the-art spatial reconstruction methods. Specifically, the proposed algorithm lowers the mean squared error and the spectral angle up to 46% and 35% in noisy scenarios, respectively. Furthermore, it is shown that the proposed reconstruction technique works out-of-the-box and does not need any calibration or training by reconstructing spectra from a real-world multispectral camera with nine channels.


title: Spatio-spectral Image Reconstruction Using Non-local Filtering

abstract: In many image processing tasks it occurs that pixels or blocks of pixels are missing or lost in only some channels. For example during defective transmissions of RGB images, it may happen that one or more blocks in one color channel are lost. Nearly all modern applications in image processing and transmission use at least three color channels, some of the applications employ even more bands, for example in the infrared and ultraviolet area of the light spectrum. Typically, only some pixels and blocks in a subset of color channels are distorted. Thus, other channels can be used to reconstruct the missing pixels, which is called spatio-spectral reconstruction. Current state-of-the-art methods purely rely on the local neighborhood, which works well for homogeneous regions. However, in high-frequency regions like edges or textures, these methods fail to properly model the relationship between color bands. Hence, this paper introduces non-local filtering for building a linear regression model that describes the inter-band relationship and is used to reconstruct the missing pixels. Our novel method is able to increase the PSNR on average by 2 dB and yields visually much more appealing images in high-frequency regions.


title: Hyperspectral Image Reconstruction from Multispectral Images Using Non-Local Filtering

abstract: Using light spectra is an essential element in many applications, for example, in material classification. Often this information is acquired by using a hyperspectral camera. Unfortunately, these cameras have some major disadvantages like not being able to record videos. Therefore, multispectral cameras with wide-band filters are used, which are much cheaper and are often able to capture videos. However, using multispectral cameras requires an additional reconstruction step to yield spectral information. Usually, this reconstruction step has to be done in the presence of imaging noise, which degrades the reconstructed spectra severely. Typically, same or similar pixels are found across the image with the advantage of having independent noise. In contrast to state-of-the-art spectral reconstruction methods which only exploit neighboring pixels by block-based processing, this paper introduces non-local filtering in spectral reconstruction. First, a block-matching procedure finds similar non-local multispectral blocks. Thereafter, the hyperspectral pixels are reconstructed by filtering the matched multispectral pixels collaboratively using a reconstruction Wiener filter. The proposed novel procedure even works under very strong noise. The method is able to lower the spectral angle up to 18% and increase the peak signal-to-noise-ratio up to 1.1dB in noisy scenarios compared to state-of-the-art methods. Moreover, the visual results are much more appealing.


title: Biderivations of low-dimensional Leibniz algebras

abstract: In this paper we give a complete classification of the Leibniz algebras of biderivations of right Leibniz algebras of dimension up to three over a field $\mathbb{F}$, with $\operatorname{char}(\mathbb{F})\neq 2$. We describe the main properties of such class of Leibniz algebras and we also compute the biderivations of the four-dimensional Dieudonn\'e Leibniz algebra $\mathfrak{d}_1$. Eventually we give an algorithm for finding derivations and anti-derivations of a Leibniz algebra as pair of matrices with respect to a fixed basis.


title: Deep or Not Deep: Supervised Learning Approaches to Modeling the Pedestal Density

abstract: Pedestal is the key to conventional high performance plasma scenarios in tokamaks. However, high fidelity simulations of pedestal plasmas are extremely challenging due to the multiple physical processes and scales that are encompassed by tokamak pedestals. The leading paradigm for predicting the pedestal top pressure is encompassed by EPED-like models. However, EPED does not predict the pedestal top density, $n_\text{e,ped}$, but requires it as an input. EUROPED employs simplified models, such as log-linear regression, to constrain $n_\text{e,ped}$ with tokamak machine control parameters in an EPED-like model. However, these simplified models for $n_\text{e,ped}$ often show disagreements with experimental observations and do not use all of the available numerical and categorical machine control information. In this work it is observed that using the same input parameters, decision tree ensembles and deep learning models improve the predictive quality of $n_\text{e,ped}$ by about 23% relative to that obtained with log-linear scaling laws, measured by root mean square error. Including all of the available tokamak machine control parameters, both numerical and categorical, leads to further improvement of about 13%. Finally, predictive quality was tested when including global normalized plasma pressure and effective charge state as inputs, as these parameters are known to impact pedestals. Surprisingly, these parameters lead to only a few percent further improvement of the predictive quality.


title: Optimal Filter Selection for Multispectral Object Classification Using Fast Binary Search

abstract: When designing multispectral imaging systems for classifying different spectra it is necessary to choose a small number of filters from a set with several hundred different ones. Tackling this problem by full search leads to a tremendous number of possibilities to check and is NP-hard. In this paper we introduce a novel fast binary search for optimal filter selection that guarantees a minimum distance metric between the different spectra to classify. In our experiments, this procedure reaches the same optimal solution as with full search at much lower complexity. The desired number of filters influences the full search in factorial order while the fast binary search stays constant. Thus, fast binary search allows to find the optimal solution of all combinations in an adequate amount of time and avoids prevailing heuristics. Moreover, our fast binary search algorithm outperforms other filter selection techniques in terms of misclassified spectra in a real-world classification problem.


title: The APC Algorithm of Solving Large-Scale Linear Systems: A Generalized Analysis

abstract: A new algorithm called accelerated projection-based consensus (APC) has recently emerged as a promising approach to solve large-scale systems of linear equations in a distributed fashion. The algorithm adopts the federated architecture, and attracts increasing research interest; however, it's performance analysis is still incomplete, e.g., the error performance under noisy condition has not yet been investigated. In this paper, we focus on providing a generalized analysis by the use of the linear system theory, such that the error performance of the APC algorithm for solving linear systems in presence of additive noise can be clarified. We specifically provide a closed-form expression of the error of solution attained by the APC algorithm. Numerical results demonstrate the error performance of the APC algorithm, validating the presented analysis.


title: 3D VSG: Long-term Semantic Scene Change Prediction through 3D Variable Scene Graphs

abstract: Numerous applications require robots to operate in environments shared with other agents, such as humans or other robots. However, such shared scenes are typically subject to different kinds of long-term semantic scene changes. The ability to model and predict such changes is thus crucial for robot autonomy. In this work, we formalize the task of semantic scene variability estimation and identify three main varieties of semantic scene change: changes in the position of an object, its semantic state, or the composition of a scene as a whole. To represent this variability, we propose the Variable Scene Graph (VSG), which augments existing 3D Scene Graph (SG) representations with the variability attribute, representing the likelihood of discrete long-term change events. We present a novel method, DeltaVSG, to estimate the variability of VSGs in a supervised fashion. We evaluate our method on the 3RScan long-term dataset, showing notable improvements in this novel task over existing approaches. Our method DeltaVSG achieves an accuracy of 77.1% and a recall of 72.3%, often mimicking human intuition about how indoor scenes change over time. We further show the utility of VSG prediction in the task of active robotic change detection, speeding up task completion by 66.0% compared to a scene-change-unaware planner. We make our code available as open-source.


abstract: The scalar field theory with potential $V(\varphi)=\textstyle{\frac{1}{2}} m^2\varphi^2-\textstyle{\frac{1}{4}} g\varphi^4$ ($g>0$) is ill defined as a Hermitian theory but in a non-Hermitian $\mathcal{P}\mathcal{T}$-symmetric framework it is well defined, and it has a positive real energy spectrum for the case of spacetime dimension $D=1$. While the methods used in the literature do not easily generalize to quantum field theory, in this paper the path-integral representation of a $\mathcal{P}\mathcal{T}$-symmetric $-g\varphi^4$ theory is shown to provide a unified formulation for general $D$. A new conjectural relation between the Euclidean partition functions $Z^{\mathcal{P}\mathcal{T}}(g)$ of the non-Hermitian $\mathcal{P}\mathcal{T}$-symmetric theory and $Z_{\rm Herm}(\lambda)$ of the $\lambda \varphi^4$ ($\lambda>0$) Hermitian theory is proposed: $\log Z^{\mathcal{P}\mathcal{T}}(g)=\textstyle{\frac{1}{2}} \log Z_{\rm Herm}(-g+{\rm i} 0^+)+\textstyle{\frac{1}{2}}\log Z_{\rm Herm}(-g-{\rm i} 0^+)$. This relation ensures a real energy spectrum for the non-Hermitian $\mathcal{P}\mathcal{T}$-symmetric $-g\varphi^4$ field theory. A closely related relation is rigorously valid in $D=0$. For $D=1$, using a semiclassical evaluation of $Z^{\mathcal{P}\mathcal{T}}(g)$, this relation is verified by comparing the imaginary parts of the ground-state energy $E_0^{\mathcal{P}\mathcal{T}}(g)$ (before cancellation) and $E_{0,\rm Herm}(-g\pm {\rm i} 0^+)$.


title: SpikeSEE: An Energy-Efficient Dynamic Scenes Processing Framework for Retinal Prostheses

abstract: Intelligent and low-power retinal prostheses are highly demanded in this era, where wearable and implantable devices are used for numerous healthcare applications. In this paper, we propose an energy-efficient dynamic scenes processing framework (SpikeSEE) that combines a spike representation encoding technique and a bio-inspired spiking recurrent neural network (SRNN) model to achieve intelligent processing and extreme low-power computation for retinal prostheses. The spike representation encoding technique could interpret dynamic scenes with sparse spike trains, decreasing the data volume. The SRNN model, inspired by the human retina special structure and spike processing method, is adopted to predict the response of ganglion cells to dynamic scenes. Experimental results show that the Pearson correlation coefficient of the proposed SRNN model achieves 0.93, which outperforms the state of the art processing framework for retinal prostheses. Thanks to the spike representation and SRNN processing, the model can extract visual features in a multiplication-free fashion. The framework achieves 12 times power reduction compared with the convolutional recurrent neural network (CRNN) processing-based framework. Our proposed SpikeSEE predicts the response of ganglion cells more accurately with lower energy consumption, which alleviates the precision and power issues of retinal prostheses and provides a potential solution for wearable or implantable prostheses.


title: Versatile Skill Control via Self-supervised Adversarial Imitation of Unlabeled Mixed Motions

abstract: Learning diverse skills is one of the main challenges in robotics. To this end, imitation learning approaches have achieved impressive results. These methods require explicitly labeled datasets or assume consistent skill execution to enable learning and active control of individual behaviors, which limits their applicability. In this work, we propose a cooperative adversarial method for obtaining single versatile policies with controllable skill sets from unlabeled datasets containing diverse state transition patterns by maximizing their discriminability. Moreover, we show that by utilizing unsupervised skill discovery in the generative adversarial imitation learning framework, novel and useful skills emerge with successful task fulfillment. Finally, the obtained versatile policies are tested on an agile quadruped robot called Solo 8 and present faithful replications of diverse skills encoded in the demonstrations.


title: Wetting controlled boiling at the nanoscale

abstract: Boiling is the out-of-equilibrium transition which occurs when a liquid is heated above its vaporization temperature. At the nanoscale, boiling may be triggered by irradiated nanoparticles immersed in water or nanocomposite surfaces and often results in micro-explosions. It is generally believed that nanoscale boiling occurs homogeneously when the local fluid temperature exceeds its spinodal temperature, around 573 K for water. Here, we employ molecular dynamics simulations to show that nanoscale boiling is an heterogenous phenomenon occuring when water temperature exceeds a wetting dependent onset temperature. This temperature can be 100 K below spinodal temperature if the solid surface is weakly wetting water. In addition, we show that boiling is a slow process controlled by the solid-liquid interfacial thermal conductance, which turns out to decrease significantly prior to phase change yielding long nucleation times. We illustrate the generality of this conclusion by considering both a spherical metallic nanoparticle immersed in water and a solid surface with nanoscale wetting heterogeneities. These results pave the way to control boiling using nanoscale patterned surfaces.


title: An equivalence between gauge-twisted and topologically conditioned scalar Gaussian free fields

abstract: We study on the metric graphs two types of scalar Gaussian free fields (GFF), the usual one and the one twisted by a $\{-1,1\}$-valued gauge field. We show that the latter can be obtained, up to an additional deterministic transformation, by conditioning the first on a topological event. This event is that all the sign clusters of the field should be trivial for the gauge field, that is to say should not contain loops with holonomy $-1$. We also express the probability of this topological event as a ratio of two determinants of Laplacians to the power $1/2$, the usual Laplacian and the gauge-twisted Laplacian. As an example, this gives on annular planar domains the probability that no sign cluster of the metric graph GFF surrounds the inner hole of the domain. Based on our result on the metric graph, and on previous works by Werner and Cai-Ding on the clusters of the metric graph GFF in high dimension, we formulate an intensity doubling conjecture. According to it, if the space dimension is high enough, the cycles in the sign clusters of the metric graph GFF converge in the scaling limit to a Brownian loop soup of intensity parameter $\alpha = 1 = 2\times \dfrac{1}{2}$, which is the double of the intensity parameter appearing in isomorphism theorems.


title: MetaMask: Revisiting Dimensional Confounder for Self-Supervised Learning

abstract: As a successful approach to self-supervised learning, contrastive learning aims to learn invariant information shared among distortions of the input sample. While contrastive learning has yielded continuous advancements in sampling strategy and architecture design, it still remains two persistent defects: the interference of task-irrelevant information and sample inefficiency, which are related to the recurring existence of trivial constant solutions. From the perspective of dimensional analysis, we find out that the dimensional redundancy and dimensional confounder are the intrinsic issues behind the phenomena, and provide experimental evidence to support our viewpoint. We further propose a simple yet effective approach MetaMask, short for the dimensional Mask learned by Meta-learning, to learn representations against dimensional redundancy and confounder. MetaMask adopts the redundancy-reduction technique to tackle the dimensional redundancy issue and innovatively introduces a dimensional mask to reduce the gradient effects of specific dimensions containing the confounder, which is trained by employing a meta-learning paradigm with the objective of improving the performance of masked representations on a typical self-supervised task. We provide solid theoretical analyses to prove MetaMask can obtain tighter risk bounds for downstream classification compared to typical contrastive methods. Empirically, our method achieves state-of-the-art performance on various benchmarks.