title: Some products in fusion systems and localities

abstract: The theory of saturated fusion systems resembles in many parts the theory of finite groups. However, some concepts from finite group theory are difficult to translate to fusion systems. For example, products of normal subsystems with other subsystems are only defined in special cases. In this paper the theory of localities is used to prove the following result: Suppose $\mathcal{F}$ is a saturated fusion system over a $p$-group $S$. If $\mathcal{E}$ is a normal subsystem of $\mathcal{F}$ over $T\leq S$, and $\mathcal{D}$ is a subnormal subsystem of $N_{\mathcal{F}}(T)$ over $R\leq S$, then there is a subnormal subsystem $\mathcal{E}\mathcal{D}$ of $\mathcal{F}$ over $TR$, which plays the role of a product of $\mathcal{E}$ and $\mathcal{D}$ in $\mathcal{F}$. If $\mathcal{D}$ is normal in $N_{\mathcal{F}}(T)$, then $\mathcal{E}\mathcal{D}$ is normal in $\mathcal{F}$. It is shown along the way that the subsystem $\mathcal{E}\mathcal{D}$ is closely related to a naturally arising product in certain localities attached to $\mathcal{F}$.


title: Experimental demonstrations for randomness-based macroscopic Franson-type nonlocal correlation using coherently coupled photons

abstract: Franson-type nonlocal quantum correlation based on the particle nature of quantum mechanics has been intensively studied for both fundamental physics and potential applications of quantum key distribution between remotely separated parties over the last several decades. Recently, a coherence theory of deterministic quantum features has been applied for Franson-type nonlocal correlation [arXiv:2102.06463] to understand its quantumness in a purely classical manner, where the resulting features are deterministic and macroscopic. Here, nearly sub-Poisson distributed coherent photon pairs obtained from an attenuated laser are used for the experimental demonstrations of the coherence Franson-type nonlocal correlation. As an essential requirement of quantum mechanics, quantum superposition is macroscopically provided using polarization basis-randomness via a half-wave plate, satisfying fairness compared with the original scheme based on phase bases. The observed coherence quantum feature of the modified Franson correlation successfully demonstrates the proposed wave nature of quantum mechanics, where the unveiled nonlocal correlation is relied on a definite phase relation between the paired coherent photons.


title: Quantum spin state transitions in spin-1 equilateral triangular lattice antiferromagnet Na$_2$BaNi(PO$_4$)$_2$

abstract: We have grown single crystals of Na$_2$BaNi(PO$_4$)$_2$, a new spin-1 equilateral triangular lattice antiferromagnet (ETLAF), and performed magnetic susceptibility, specific heat and thermal conductivity measurements at ultralow temperatures. The main results are (i) at zero magnetic field, Na$_2$BaNi(PO$_4$)$_2$ exhibits a magnetic ordering at 430 mK with a weak ferromagnetic moment along the $c$ axis. This suggests a canted 120$^\circ$ spin structure, which is in a plane including the crystallographic $c$ axis due to the existence of an easy-axis anisotropy and ferromagnetically stacked along the $c$ axis; (ii) with increasing field along the $c$ axis, a 1/3 magnetization plateau is observed which means the canted 120$^\circ$ spin structure is transformed to a up up down (UUD) spin structure. With even higher fields, the UUD phase further evolves to possible V and V' phases; (iii) with increasing field along the $a$ axis, the canted 120$^\circ$ spin structure is possibly transformed to a umbrella phase and a V phase. Therefore, Na$_2$BaNi(PO$_4$)$_2$ is a rare example of spin-1 ETLAF with single crystalline form to exhibit easy-axis spin anisotropy and series of quantum spin state transitions.


title: 4-Manifold Topology, Donaldson-Witten Theory, Floer Homology and Higher Gauge Theory Methods in the BV-BFV Formalism

abstract: We study the behavior of Donaldson's invariants of 4-manifolds based on the moduli space of anti self-dual connections (instantons) in the perturbative field theory setting where the underlying source manifold has boundary. It is well-known that these invariants take values in the instanton Floer homology groups of the boundary 3-manifold. Gluing formulae for these constructions lead to a functorial topological field theory description according to a system of axioms developed by Atiyah, which can be also regarded in the setting of perturbative quantum field theory, as it was shown by Witten, using a version of supersymmetric Yang-Mills theory, known today as Donaldson-Witten theory. One can actually formulate an AKSZ model which recovers this theory for a certain gauge-fixing. We consider these constructions in a perturbative quantum gauge formalism for manifolds with boundary that is compatible with cutting and gluing, called the BV-BFV formalism, which was recently developed by Cattaneo, Mnev and Reshetikhin. We prove that this theory satisfies a modified Quantum Master Equation and extend the result to a global picture when perturbing around constant background fields. Additionally, we relate these constructions to Nekrasov's partition function by treating an equivariant version of Donaldson-Witten theory in the BV formalism. Moreover, we discuss the extension, as well as the relation, to higher gauge theory and enumerative geometry methods, such as Gromov-Witten and Donaldson-Thomas theory and recall their correspondence conjecture for general Calabi-Yau 3-folds. In particular, we discuss the corresponding (relative) partition functions, defined as the generating function for the given invariants, and gluing phenomena.


title: Normalizers and centralizers of $p$-subgroups in normal subsystems of fusion systems

abstract: Suppose $\mathcal{E}$ is a normal subsystem of a saturated fusion system $\mathcal{F}$ over $S$. If $X\leq S$ is fully $\mathcal{F}$-normalized, then Aschbacher defined a normal subsystem $N_{\mathcal{E}}(X)$ of $N_{\mathcal{F}}(X)$. In this short note we revisit and generalize this result using the theory of localities. Our more general approach leads in particular to a normal subsystem $C_{\mathcal{E}}(X)$ of $C_{\mathcal{F}}(X)$ for every $X\leq S$ which is fully $\mathcal{F}$-centralized.


title: MHER: Model-based Hindsight Experience Replay

abstract: Solving multi-goal reinforcement learning (RL) problems with sparse rewards is generally challenging. Existing approaches have utilized goal relabeling on collected experiences to alleviate issues raised from sparse rewards. However, these methods are still limited in efficiency and cannot make full use of experiences. In this paper, we propose Model-based Hindsight Experience Replay (MHER), which exploits experiences more efficiently by leveraging environmental dynamics to generate virtual achieved goals. Replacing original goals with virtual goals generated from interaction with a trained dynamics model leads to a novel relabeling method, model-based relabeling (MBR). Based on MBR, MHER performs both reinforcement learning and supervised learning for efficient policy improvement. Theoretically, we also prove the supervised part in MHER, i.e., goal-conditioned supervised learning with MBR data, optimizes a lower bound on the multi-goal RL objective. Experimental results in several point-based tasks and simulated robotics environments show that MHER achieves significantly higher sample efficiency than previous model-free and model-based multi-goal methods.


title: Molecular structure retrieval directly from laboratory-frame photoelectron spectra in laser-induced electron diffraction

abstract: Ubiquitous to most molecular scattering methods is the challenge to retrieve bond distance and angle from the scattering signals since this requires convergence of pattern matching algorithms or fitting methods. This problem is typically exacerbated when imaging larger molecules or for dynamic systems with little a priori knowledge. Here, we employ laser-induced electron diffraction (LIED) which is a powerful means to determine the precise atomic configuration of an isolated gas-phase molecule with picometre spatial and attosecond temporal precision. We introduce a simple molecular retrieval method, which is based only on the identification of critical points in the oscillating molecular interference scattering signal that is extracted directly from the laboratory-frame photoelectron spectrum. The method is compared with a Fourier-based retrieval method, and we show that both methods correctly retrieve the asymmetrically stretched and bent field-dressed configuration of the asymmetric top molecule carbonyl sulfide (OCS), which is confirmed by our quantum-classical calculations.


title: An Objective Evaluation Framework for Pathological Speech Synthesis

abstract: The development of pathological speech systems is currently hindered by the lack of a standardised objective evaluation framework. In this work, (1) we utilise existing detection and analysis techniques to propose a general framework for the consistent evaluation of synthetic pathological speech. This framework evaluates the voice quality and the intelligibility aspects of speech and is shown to be complementary using our experiments. (2) Using our proposed evaluation framework, we develop and test a dysarthric voice conversion system (VC) using CycleGAN-VC and a PSOLA-based speech rate modification technique. We show that the developed system is able to synthesise dysarthric speech with different levels of speech intelligibility.


title: Adversarial Sample Detection for Speaker Verification by Neural Vocoders

abstract: Automatic speaker verification (ASV), one of the most important technology for biometric identification, has been widely adopted in security-critical applications. However, ASV is seriously vulnerable to recently emerged adversarial attacks, yet effective countermeasures against them are limited. In this paper, we adopt neural vocoders to spot adversarial samples for ASV. We use the neural vocoder to re-synthesize audio and find that the difference between the ASV scores for the original and re-synthesized audio is a good indicator for discrimination between genuine and adversarial samples. This effort is, to the best of our knowledge, among the first to pursue such a technical direction for detecting time-domain adversarial samples for ASV, and hence there is a lack of established baselines for comparison. Consequently, we implement the Griffin-Lim algorithm as the detection baseline. The proposed approach achieves effective detection performance that outperforms the baselines in all the settings. We also show that the neural vocoder adopted in the detection framework is dataset-independent. Our codes will be made open-source for future works to do fair comparison.


title: Van der Waals Magnet based Spin-Valve Devices at Room Temperature

abstract: The discovery of van der Waals (vdW) magnets opened up a new paradigm for condensed matter physics and spintronic technologies. However, the operations of active spintronic devices with vdW magnets are so far limited to cryogenic temperatures, inhibiting its broader practical applications. Here, for the first time, we demonstrate room temperature spin-valve devices using vdW itinerant ferromagnet Fe5GeTe2 in heterostructures with graphene. The tunnel spin polarization of the Fe5GeTe2/graphene vdW interface is detected to be significantly large ~ 45 % and negative at room temperature. Lateral spin-valve device design enables electrical control of spin signal and realization of basic building blocks for device application such as efficient spin injection, transport, precession, and detection functionalities. Furthermore, measurements with different magnetic orientations provide unique insights into the magnetic anisotropy of Fe5GeTe2 and its relation with spin polarization and dynamics in the heterostructure. These findings open opportunities for the applications of vdW magnet-based all-2D spintronic devices and integrated spin circuits at ambient temperatures.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph quant-ph


title: Estimates for the covariant derivative of the heat semigroup on differential forms, and covariant Riesz transforms

abstract: With $\vec{\Delta}_j\geq 0$ is the uniquely determined self-adjoint realization of the Laplace operator acting on $j$-forms on a geodesically complete Riemannian manifold $M$ and $\nabla$ the Levi-Civita covariant derivative, we prove amongst other things a Li-Yau type heat kernel bound for $\nabla \mathrm{e}^{ -t\vec{\Delta}_j }$, if the curvature tensor of $M$ and its covariant derivative are bounded, an exponentially weighted $L^p$ bound for the heat kernel of $\nabla \mathrm{e}^{ -t\vec{\Delta}_j }$, if the curvature tensor of $M$ and its covariant derivative are bounded, that $\nabla \mathrm{e}^{ -t\vec{\Delta}_j }$ is bounded in $L^p$ for all $1\leq p<\infty$, if the curvature tensor of $M$ and its covariant derivative are bounded, and a second order Davies-Gaffney estimate (in terms of $\nabla$ and $\vec{\Delta}_j$) for $\mathrm{e}^{ -t\vec{\Delta}_j }$ for small times, if the $j$-th degree Bochner-Lichnerowicz potential $V_j=\vec{\Delta}_j-\nabla^{\dagger}\nabla$ of $M$ is bounded from below (where $V_1=\mathrm{Ric}$), which is shown to fail for large times if $V_j$ is bounded. Based on these results, we formulate a conjecture on the boundedness of the covariant local Riesz-transform $\nabla (\vec{\Delta}_j+\kappa)^{-1/2}$ in $L^p$ for all $1\leq p<\infty$ (which we prove for $1\leq p\leq 2$), and explain its implications to geometric analysis, such as the $L^p$-Calder\'on-Zygmund inequality. Our main technical tool is a Bismut derivative formula for $\nabla \mathrm{e}^{ -t\vec{\Delta}_j }$.


title: A model for the interaction of dislocations with planar defects based on Allen-Cahn type microstructure evolution coupled to strain gradient elasticity

abstract: In classical elasticity theory the stress-field of a dislocation is characterized by a $1/r$-type singularity. When such a dislocation is considered together with an Allen-Cahn-type phase-field description for microstructure evolution this leads to singular driving forces for the order parameter, resulting in non-physical (and discretization-dependent) predictions for the interaction between dislocations and phase-, twin- or grain-boundaries. We introduce a framework based on first strain gradient elasticity to regularize the dislocation core. It is shown that the use of strain energy density that is quadratic in the gradient of elastic deformation results in non-singular stresses but may result in singular driving forces, whereas a strain energy, which is quadratic in the gradient of the full deformation tensor, regularizes both stresses and driving forces for the order parameter and is therefore a suitable choice. The applicability of the framework is demonstrated using a comprehensive example.


title: Large-scale anisotropy of Galactic cosmic rays as a probe of local cosmic-ray propagation

abstract: Recent studies have shown that the anisotropy is of great value to decipher cosmic rays' origin and propagation. We have built an unified scenario to describe the observations of the energy spectra and the large-scale anisotropy and called attention to their synchronously evolution with energy. In this work, the impact of of the local regular magnetic field (LRMF) and corresponding anisotropic diffusion on large-scale anisotropy have been investigated. When the perpendicular diffusion coefficient is much smaller than the parallel one, the dipole anisotropy points to the LRMF and the observational phase below $100$ TeV could be reproduced. Moreover we find that the dipole phase above $100$ TeV strongly depends on the evolution of local diffusion. But the current measurements at that energy are still scarce. We suggest that more precise measurements at that energy could be carried out to unveil the local diffusion and further the local turbulence.


title: Backtracking (the) Algorithms on the Hamiltonian Cycle Problem

abstract: Even though the Hamiltonian cycle problem is NP-complete, many of its problem instances aren't. In fact, almost all the hard instances reside in one area: near the Koml\'os-Szemer\'edi bound, of $\frac{1}{2}\ v\cdot ln(v) + \frac{1}{2}\ v\cdot ln( ln(v))$ edges, where randomly generated graphs have an approximate 50\% chance of being Hamiltonian. If the number of edges is either much higher or much lower, the problem is not hard -- most backtracking algorithms decide such instances in (near) polynomial time. Recently however, targeted search efforts have identified very hard Hamiltonian cycle problem instances very far away from the Koml\'os-Szemer\'edi bound. In that study, the used backtracking algorithm was Vandegriend-Culberson's, which was supposedly the most efficient of all Hamiltonian backtracking algorithms. In this paper, we make a unified large scale quantitative comparison for the best known backtracking algorithms described between 1877 and 2016. We confirm the suspicion that the Koml\'os-Szemer\'edi bound is a hard area for all backtracking algorithms, but also that Vandegriend-Culberson is indeed the most efficient algorithm, when expressed in consumed computing time. When measured in recursive effectiveness however, the algorithm by Frank Rubin, almost half a century old, performs best. In a more general algorithmic assessment, we conjecture that edge pruning and non-Hamiltonicity checks might be largely responsible for these recursive savings. When expressed in system time however, denser problem instances require much more time per recursion. This is most likely due to the costliness of the extra search pruning procedures, which are relatively elaborate. We supply large amounts of experimental data, and a unified single-program implementation for all six algorithms. All data and algorithmic source code is made public for further use by our colleagues.


title: Interviewer-Candidate Role Play: Towards Developing Real-World NLP Systems

abstract: Standard NLP tasks do not incorporate several common real-world scenarios such as seeking clarifications about the question, taking advantage of clues, abstaining in order to avoid incorrect answers, etc. This difference in task formulation hinders the adoption of NLP systems in real-world settings. In this work, we take a step towards bridging this gap and present a multi-stage task that simulates a typical human-human questioner-responder interaction such as an interview. Specifically, the system is provided with question simplifications, knowledge statements, examples, etc. at various stages to improve its prediction when it is not sufficiently confident. We instantiate the proposed task in Natural Language Inference setting where a system is evaluated on both in-domain and out-of-domain (OOD) inputs. We conduct comprehensive experiments and find that the multi-stage formulation of our task leads to OOD generalization performance improvement up to 2.29% in Stage 1, 1.91% in Stage 2, 54.88% in Stage 3, and 72.02% in Stage 4 over the standard unguided prediction. However, our task leaves a significant challenge for NLP researchers to further improve OOD performance at each stage.


title: Leveraging Domain Agnostic and Specific Knowledge for Acronym Disambiguation

abstract: An obstacle to scientific document understanding is the extensive use of acronyms which are shortened forms of long technical phrases. Acronym disambiguation aims to find the correct meaning of an ambiguous acronym in a given text. Recent efforts attempted to incorporate word embeddings and deep learning architectures, and achieved significant effects in this task. In general domains, kinds of fine-grained pretrained language models have sprung up, thanks to the largescale corpora which can usually be obtained through crowdsourcing. However, these models based on domain agnostic knowledge might achieve insufficient performance when directly applied to the scientific domain. Moreover, obtaining large-scale high-quality annotated data and representing high-level semantics in the scientific domain is challenging and expensive. In this paper, we consider both the domain agnostic and specific knowledge, and propose a Hierarchical Dual-path BERT method coined hdBERT to capture the general fine-grained and high-level specific representations for acronym disambiguation. First, the context-based pretrained models, RoBERTa and SciBERT, are elaborately involved in encoding these two kinds of knowledge respectively. Second, multiple layer perceptron is devised to integrate the dualpath representations simultaneously and outputs the prediction. With a widely adopted SciAD dataset contained 62,441 sentences, we investigate the effectiveness of hdBERT. The experimental results exhibit that the proposed approach outperforms state-of-the-art methods among various evaluation metrics. Specifically, its macro F1 achieves 93.73%.


title: Towards Utilitarian Combinatorial Assignment with Deep Neural Networks and Heuristic Algorithms

abstract: This paper presents preliminary work on using deep neural networks to guide general-purpose heuristic algorithms for performing utilitarian combinatorial assignment. In more detail, we use deep learning in an attempt to produce heuristics that can be used together with e.g., search algorithms to generate feasible solutions of higher quality more quickly. Our results indicate that our approach could be a promising future method for constructing such heuristics.


title: Zero-pronoun Data Augmentation for Japanese-to-English Translation

abstract: For Japanese-to-English translation, zero pronouns in Japanese pose a challenge, since the model needs to infer and produce the corresponding pronoun in the target side of the English sentence. However, although fully resolving zero pronouns often needs discourse context, in some cases, the local context within a sentence gives clues to the inference of the zero pronoun. In this study, we propose a data augmentation method that provides additional training signals for the translation model to learn correlations between local context and zero pronouns. We show that the proposed method significantly improves the accuracy of zero pronoun translation with machine translation experiments in the conversational domain.


title: Addressing Machines as models of lambda-calculus

abstract: Turing machines and register machines have been used for decades in theoretical computer science as abstract models of computation. Also the $\lambda$-calculus has played a central role in this domain as it allows to focus on the notion of functional computation, based on the substitution mechanism, while abstracting away from implementation details. The present article starts from the observation that the equivalence between these formalisms is based on the Church-Turing Thesis rather than an actual encoding of $\lambda$-terms into Turing (or register) machines. The reason is that these machines are not well-suited for modelling $\lambda$-calculus programs. We study a class of abstract machines that we call "addressing machine" since they are only able to manipulate memory addresses of other machines. The operations performed by these machines are very elementary: load an address in a register, apply a machine to another one via their addresses, and call the address of another machine. We endow addressing machines with an operational semantics based on leftmost reduction and study their behaviour. The set of addresses of these machines can be easily turned into a combinatory algebra. In order to obtain a model of the full untyped $\lambda$-calculus, we need to introduce a rule that bares similarities with the $\omega$-rule and the rule $\zeta_\beta$ from combinatory logic.


title: Prediction of tone detection thresholds in interaurally delayed noise based on interaural phase difference fluctuations

abstract: Differences between the interaural phase of a noise and a target tone improve detection thresholds. The maximum masking release is obtained for detecting an antiphasic tone (S$\pi$) in diotic noise (N0). It has been shown in several studies that this benefit gradually declines as an interaural delay is applied to the N0S$\pi$ complex. This decline has been attributed to the reduced interaural coherence of the noise. Here, we report detection thresholds for a 500 Hz tone in masking noise with up to 8 ms interaural delay and bandwidths from 25 to 1000 Hz. When reducing the noise bandwidth from 100 to 50 and 25 Hz, the masking release at 8 ms delay increases, as expected for increasing temporal coherence with decreasing bandwidth. For bandwidths of 100 to 1000 Hz, no significant difference was observed and detection thresholds with these noises have a delay dependence that is fully described by the temporal coherence imposed by the typical monaurally determined auditory filter bandwidth. A minimalistic binaural model is suggested based on interaural phase difference fluctuations without the assumption of delay lines.


title: The PBW Theorem and simplicity criteria for the Poisson enveloping algebra and the algebra of Poisson differential operators

abstract: For an arbitrary Poisson algebra $\CP$ over an arbitrary field, an (analogue of) the Poincar\'{e}-Birkhof-Witt Theorem is proven and several presentations/constructions for its Poisson enveloping algebra $\CU (\CP )$ are given. As a result, explicit sets of generators and defining relations are given for $\CU (\CP )$ and the algebra $P\CD (\CP)$ of Poisson differential operators on $\CP$. Simplicity criteria for the algebras $\CU (\CP )$ and $P\CD (\CP )$ are given. In the case when the algebra $\CP$ is of essentially finite type, a criterion for the algebra $\CU (\CP )$ to be a domain is presented and a criterion for a natural epimorphism $\CU (\CP )\ra P\CD (\CP )$ to be an isomorphism is given. The kernel of the epimorphism is described and for large classes of Poisson algebras an explicit set of generators is given. Explicit formulae for the Gelfand-Kirillov dimension of the algebras $\CU (\CP )$ and $P\CD (\CP)$ are given. In the case when the Poisson algebra $\CP$ is a regular domain of essentially finite type an explicit simplecticity criterion for $\CP$ is found and a criterion is presented for the algebra $\CU (\CP )$ to be isomorphic to the algebra $\CD (\CP )$ of differential operators on $\CP$.


title: White dwarf planetary debris dependence on physical structure distributions within asteroid belts

abstract: White dwarfs which exhibit transit signatures of planetary debris and accreted planetary material provide exceptional opportunities to probe the material composition and dynamical structure of planetary systems. Although previous theoretical work investigating the role of minor body disruption around white dwarfs has focussed on spherical bodies, Solar System asteroids can be more accurately modelled as triaxial ellipsoids. Here we present an analytical framework to identify the type of disruption (tidal fragmentation, total sublimation or direct impact) experienced by triaxial asteroids approaching white dwarfs on extremely eccentric (e \sim 1) orbits. This framework is then used to identify the outcomes for simplified Main belt analogues of 100 bodies across five different white dwarf temperatures. We also present an empirical relationship between cooling age and effective temperature for both DA and DB white dwarfs to identify the age of the white dwarfs considered here. We find that using a purely spherical shape model can underestimate the physical size and radial distance at which an asteroid is subjected to complete sublimation, and these differences increase with greater elongation of the body. Contrastingly, fragmentation always occurs in the largest semi-axis of a body and so can be modelled by a sphere of that radius. Both fragmentation and sublimation are greatly affected by the body's material composition, and hence by the composition of their progenitor asteroid belts. The white dwarf temperature, and hence cooling age, can affect the expected debris distribution: higher temperatures sublimate large elongated asteroids, and cooler temperatures accommodate more direct impacts.


title: Combining Feature and Instance Attribution to Detect Artifacts

abstract: Training the deep neural networks that dominate NLP requires large datasets. These are often collected automatically or via crowdsourcing, and may exhibit systematic biases or annotation artifacts. By the latter we mean spurious correlations between inputs and outputs that do not represent a generally held causal relationship between features and classes; models that exploit such correlations may appear to perform a given task well, but fail on out of sample data. In this paper we evaluate use of different attribution methods for aiding identification of training data artifacts. We propose new hybrid approaches that combine saliency maps (which highlight important input features) with instance attribution methods (which retrieve training samples influential to a given prediction). We show that this proposed training-feature attribution can be used to efficiently uncover artifacts in training data when a challenging validation set is available. We also carry out a small user study to evaluate whether these methods are useful to NLP researchers in practice, with promising results. We make code for all methods and experiments in this paper available.


title: Robotic Template Library

abstract: Robotic Template Library (RTL) is a set of tools for dealing with geometry and point cloud processing, especially in robotic applications. The software package covers basic objects such as vectors, line segments, quaternions, rigid transformations, etc., however, its main contribution lies in the more advanced modules: The segmentation module for batch or stream clustering of point clouds, the fast vectorization module for approximation of continuous point clouds by geometric objects of higher grade and the LaTeX export module enabling automated generation of high-quality visual outputs. It is a header-only library written in C++17, uses the Eigen library as a linear algebra back-end, and is designed with high computational performance in mind. RTL can be used in all robotic tasks such as motion planning, map building, object recognition and many others, but the point cloud processing utilities are general enough to be employed in any field touching object reconstruction and computer vision applications as well.


title: Exact verification of the strong BSD conjecture for some absolutely simple abelian surfaces

abstract: Let $X$ be one of the $28$ Atkin-Lehner quotients of a curve $X_0(N)$ such that $X$ has genus $2$ and its Jacobian variety $J$ is absolutely simple. We show that the Shafarevich-Tate group of $J/\mathbb{Q}$ is trivial. This verifies the strong BSD conjecture for $J$.


title: Dopant-segregation to grain boundaries controls electrical conductivity of n-type NbCo(Pt)Sn half-Heusler alloy mediating thermoelectric performance

abstract: Science-driven design of future thermoelectric materials requires a deep understanding of the fundamental relationships between microstructure and transport properties. Grain boundaries in polycrystalline materials influence the thermoelectric performance through the scattering of phonons or the trapping of electrons due to space-charge effects. Yet, the current lack of careful investigations on grain boundary-associated features hinders further optimization of properties. Here, we study n-type NbCo1-xPtxSn half-Heusler alloys, which were synthesized by ball milling and spark plasma sintering (SPS). Post-SPS annealing was performed on one sample, leading to improved low-temperature electrical conductivity. The microstructure of both samples was examined by electron microscopy and atom probe tomography. The grain size increases from ~230 nm to ~2.38 {\mu}m upon annealing. Pt is found within grains and at grain boundaries, where it locally reduces the resistivity, as assessed by in situ four-point-probe electrical conductivity measurement. Our work showcases the correlation between microstructure and electrical conductivity, providing opportunities for future microstructural optimization by tuning the chemical composition at grain boundaries.


title: Orthonormal Product Quantization Network for Scalable Face Image Retrieval

abstract: Existing deep quantization methods provided an efficient solution for large-scale image retrieval. However, the significant intra-class variations like pose, illumination, and expressions in face images, still pose a challenge for face image retrieval. In light of this, face image retrieval requires sufficiently powerful learning metrics, which are absent in current deep quantization works. Moreover, to tackle the growing unseen identities in the query stage, face image retrieval drives more demands regarding model generalization and system scalability than general image retrieval tasks. This paper integrates product quantization with orthonormal constraints into an end-to-end deep learning framework to effectively retrieve face images. Specifically, a novel scheme that uses predefined orthonormal vectors as codewords is proposed to enhance the quantization informativeness and reduce codewords' redundancy. A tailored loss function maximizes discriminability among identities in each quantization subspace for both the quantized and original features. An entropy-based regularization term is imposed to reduce the quantization error. Experiments are conducted on four commonly-used face datasets under both seen and unseen identities retrieval settings. Our method outperforms all the compared deep hashing/quantization state-of-the-arts under both settings. Results validate the effectiveness of the proposed orthonormal codewords in improving models' standard retrieval performance and generalization ability. Combing with further experiments on two general image datasets, it demonstrates the broad superiority of our method for scalable image retrieval.


title: End-to-end Compression Towards Machine Vision: Network Architecture Design and Optimization

abstract: The visual signal compression is a long-standing problem. Fueled by the recent advances of deep learning, exciting progress has been made. Despite better compression performance, existing end-to-end compression algorithms are still designed towards better signal quality in terms of rate-distortion optimization. In this paper, we show that the design and optimization of network architecture could be further improved for compression towards machine vision. We propose an inverted bottleneck structure for the encoder of the end-to-end compression towards machine vision, which specifically accounts for efficient representation of the semantic information. Moreover, we quest the capability of optimization by incorporating the analytics accuracy into the optimization process, and the optimality is further explored with generalized rate-accuracy optimization in an iterative manner. We use object detection as a showcase for end-to-end compression towards machine vision, and extensive experiments show that the proposed scheme achieves significant BD-rate savings in terms of analysis performance. Moreover, the promise of the scheme is also demonstrated with strong generalization capability towards other machine vision tasks, due to the enabling of signal-level reconstruction.


title: Dispatchable Region for Active Distribution Networks Using Approximate Second-Order Cone Relaxation

abstract: Uncertainty in distributed renewable generation threatens the security of power distribution systems. The concept of the dispatchable region was developed to assess the ability of power systems to accommodate renewable generation at a given operating point. Although DC and linearized AC power flow equations are typically used to model dispatchable regions for transmission systems, these equations are rarely suitable for distribution networks. To achieve a suitable trade-off between accuracy and efficiency, this paper proposes a dispatchable region formulation for distribution networks using tight convex relaxation. Second-order cone relaxation is adopted to reformulate the AC power flow equations, which are then approximated by a polyhedron to improve tractability. Further, an efficient adaptive constraint generation algorithm is employed to construct the proposed dispatchable region. Case studies on distribution systems of various scales validate the computational efficiency and accuracy of the proposed method.


title: Data-driven simulation and characterisation of gold nanoparticle melting

abstract: The simulation and analysis of the thermal stability of nanoparticles, a stepping stone towards their application in technological devices, require fast and accurate force fields, in conjunction with effective characterisation methods. In this work, we develop efficient, transferable, and interpretable machine learning force fields for gold nanoparticles based on data gathered from Density Functional Theory calculations. We use them to investigate the thermodynamic stability of gold nanoparticles of different sizes (1 to 6 nm), containing up to 6266 atoms, concerning a solid-liquid phase change through molecular dynamics simulations. We predict nanoparticle melting temperatures in good agreement with available experimental data. Furthermore, we characterize the solid-liquid phase change mechanism employing an unsupervised learning scheme to categorize local atomic environments. We thus provide a data-driven definition of liquid atomic arrangements in the inner and surface regions of a nanoparticle and employ it to show that melting initiates at the outer layers.


title: Multiple solutions for a class of quasilinear problems with double criticality

abstract: We establish multiplicity results for the following class of quasilinear problems $$ \left\{ \begin{array}{l} -\Delta_{\Phi}u=f(x,u) \quad \mbox{in} \quad \Omega, \\ u=0 \quad \mbox{on} \quad \partial \Omega, \end{array} \right. \leqno{(P)} $$ where $\Delta_{\Phi}u=\text{div}(\varphi(x,|\nabla u|)\nabla u)$ for a generalized N-function $\Phi(x,t)=\int_{0}^{|t|}\varphi(x,s)s\,ds$. We consider $\Omega\subset\mathbb{R}^N$ to be a smooth bounded domain that contains two disjoint open regions $\Omega_N$ and $\Omega_p$ such that $\overline{\Omega_N}\cap\overline{\Omega_p}=\emptyset$. The main feature of the problem $(P)$ is that the operator $-\Delta_{\Phi}$ behaves like $-\Delta_N$ on $\Omega_N$ and $-\Delta_p$ on $\Omega_p$. We assume the nonlinearity $f:\Omega\times\mathbb{R}\to\mathbb{R}$ of two different types, but both behaves like $e^{\alpha|t|^\frac{N}{N-1}}$ on $\Omega_N$ and $|t|^{p^*-2}t$ on $\Omega_p$ as $|t|$ is large enough, for some $\alpha>0$ and $p^*=\frac{Np}{N-p}$ being the critical Sobolev exponent for $1<p<N$. In this context, for one type of nonlinearity $f$, we provide multiplicity of solutions in a general smooth bounded domain and for another type of nonlinearity $f$, in an annular domain $\Omega$, we establish existence of multiple solutions for the problem $(P)$ that are nonradial and rotationally nonequivalent.


title: Learned Global Optimization for Inverse Scattering Problems -- Matching Global Search with Computational Efficiency

abstract: The computationally-efficient solution of fully non-linear microwave inverse scattering problems (ISPs) is addressed. An innovative System-by-Design (SbD) based method is proposed to enable, for the first time to the best of the authors knowledge, an effective, robust, and time-efficient exploitation of an evolutionary algorithm (EA) to perform the global minimization of the data-mismatch cost function. According to the SbD paradigm as suitably applied to ISPs, the proposed approach founds on (i) a smart re-formulation of the ISP based on the definition of a minimum-dimensionality and representative set of degrees-of-freedom (DoFs) and on (ii) the artificial-intelligence (AI)-driven integration of a customized global search technique with a digital twin (DT) predictor based on the Gaussian Process (GP) theory. Representative numerical and experimental results are provided to assess the effectiveness and the efficiency of the proposed approach also in comparison with competitive state-of-the-art inversion techniques.


title: Multilingual Central Repository: a Cross-lingual Framework for Developing Wordnets

abstract: Language resources are necessary for language processing,but building them is costly, involves many researches from different areas and needs constant updating. In this paper, we describe the crosslingual framework used for developing the Multilingual Central Repository (MCR), a multilingual knowledge base that includes wordnets of Basque, Catalan, English, Galician, Portuguese, Spanish and the following ontologies: Base Concepts, Top Ontology, WordNet Domains and Suggested Upper Merged Ontology. We present the story of MCR, its state in 2017 and the developed tools.


title: Modeling Target-side Inflection in Placeholder Translation

abstract: Placeholder translation systems enable the users to specify how a specific phrase is translated in the output sentence. The system is trained to output special placeholder tokens, and the user-specified term is injected into the output through the context-free replacement of the placeholder token. However, this approach could result in ungrammatical sentences because it is often the case that the specified term needs to be inflected according to the context of the output, which is unknown before the translation. To address this problem, we propose a novel method of placeholder translation that can inflect specified terms according to the grammatical construction of the output sentence. We extend the sequence-to-sequence architecture with a character-level decoder that takes the lemma of a user-specified term and the words generated from the word-level decoder to output the correct inflected form of the lemma. We evaluate our approach with a Japanese-to-English translation task in the scientific writing domain, and show that our model can incorporate specified terms in the correct form more successfully than other comparable models.


title: Area and boundary length of surfaces diffeomorphic to annuli

abstract: In this paper, we give a proof to a statement in Perelman's paper for finite extinction time of Ricci flow. Our proof draws on different techniques from the one given in Morgan-Tian's exposition and is extrinsic in nature, which relies on the co-area formula instead of the Gauss-Bonnet theorem, and is potentially generalizable to higher dimensions.


title: Weighted anisotropic Sobolev inequality with extremal and associated singular problems

abstract: For a given Finsler-Minkowski norm $\mathcal{F}$ in $\mathbb{R}^N$ and a bounded smooth domain $\Omega\subset\mathbb{R}^N$ $\big(N\geq 2\big)$, we establish the following weighted anisotropic Sobolev inequality $$ S\left(\int_{\Omega}|u|^q f\,dx\right)^\frac{1}{q}\leq\left(\int_{\Omega}\mathcal{F}(\nabla u)^p w\,dx\right)^\frac{1}{p},\quad\forall\,u\in W_0^{1,p}(\Omega,w)\leqno{\mathcal{(P)}} $$ where $W_0^{1,p}(\Omega,w)$ is the weighted Sobolev space under a class of $p$-admissible weights $w$, where $f$ is some nonnegative integrable function in $\Omega$. We discuss the case $0<q<1$ and observe that $$ \mu(\Omega):=\inf_{u\in W_{0}^{1,p}(\Omega,w)}\Bigg\{\int_{\Omega}\mathcal{F}(\nabla u)^p w\,dx:\int_{\Omega}|u|^{q}f\,dx=1\Bigg\}\leqno{\mathcal{(Q)}} $$ is associated with singular weighted anisotropic $p$-Laplace equations. To this end, we also study existence and regularity properties of solutions for weighted anisotropic $p$-Laplace equations under the mixed and exponential singularities.


title: PoliTO-IIT Submission to the EPIC-KITCHENS-100 Unsupervised Domain Adaptation Challenge for Action Recognition

abstract: In this report, we describe the technical details of our submission to the EPIC-Kitchens-100 Unsupervised Domain Adaptation (UDA) Challenge in Action Recognition. To tackle the domain-shift which exists under the UDA setting, we first exploited a recent Domain Generalization (DG) technique, called Relative Norm Alignment (RNA). It consists in designing a model able to generalize well to any unseen domain, regardless of the possibility to access target data at training time. Then, in a second phase, we extended the approach to work on unlabelled target data, allowing the model to adapt to the target distribution in an unsupervised fashion. For this purpose, we included in our framework existing UDA algorithms, such as Temporal Attentive Adversarial Adaptation Network (TA3N), jointly with new multi-stream consistency losses, namely Temporal Hard Norm Alignment (T-HNA) and Min-Entropy Consistency (MEC). Our submission (entry 'plnet') is visible on the leaderboard and it achieved the 1st position for 'verb', and the 3rd position for both 'noun' and 'action'.


title: First-order condensation transition in the position distribution of a run-and-tumble particle in one dimension

abstract: We consider a single run-and-tumble particle (RTP) moving in one dimension. We assume that the velocity of the particle is drawn independently at each tumbling from a zero-mean Gaussian distribution and that the run times are exponentially distributed. We investigate the probability distribution $P(X,N)$ of the position $X$ of the particle after $N$ runs, with $N\gg 1$. We show that in the regime $ X \sim N^{3/4}$ the distribution $P(X,N)$ has a large deviation form with a rate function characterized by a discontinuous derivative at the critical value $X=X_c>0$. The same is true for $X=-X_c$ due to the symmetry of $P(X,N)$. We show that this singularity corresponds to a first-order condensation transition: for $X>X_c$ a single large jump dominates the RTP trajectory. We consider the participation ratio of the single-run displacements as the order parameter of the system, showing that this quantity is discontinuous at $X=X_c$. Our results are supported by numerical simulations performed with a constrained Markov chain Monte Carlo algorithm.

categories: cond-mat.stat-mech cond-mat.soft math-ph math.MP math.PR


title: Policy Transfer across Visual and Dynamics Domain Gaps via Iterative Grounding

abstract: The ability to transfer a policy from one environment to another is a promising avenue for efficient robot learning in realistic settings where task supervision is not available. This can allow us to take advantage of environments well suited for training, such as simulators or laboratories, to learn a policy for a real robot in a home or office. To succeed, such policy transfer must overcome both the visual domain gap (e.g. different illumination or background) and the dynamics domain gap (e.g. different robot calibration or modelling error) between source and target environments. However, prior policy transfer approaches either cannot handle a large domain gap or can only address one type of domain gap at a time. In this paper, we propose a novel policy transfer method with iterative "environment grounding", IDAPT, that alternates between (1) directly minimizing both visual and dynamics domain gaps by grounding the source environment in the target environment domains, and (2) training a policy on the grounded source environment. This iterative training progressively aligns the domains between the two environments and adapts the policy to the target environment. Once trained, the policy can be directly executed on the target environment. The empirical results on locomotion and robotic manipulation tasks demonstrate that our approach can effectively transfer a policy across visual and dynamics domain gaps with minimal supervision and interaction with the target environment. Videos and code are available at https://clvrai.com/idapt .


title: AoI Minimization in Energy Harvesting and Spectrum Sharing Enabled 6G Networks

abstract: Spectrum sharing is a method to solve the problem of frequency spectrum deficiency. This paper studies a novel AI based spectrum sharing and energy harvesting system in which the freshness of information (AoI) is guaranteed. The system includes a primary user with access rights to the spectrum and a secondary user. The secondary user is an energy harvesting sensor that intends to use the primary user spectrum opportunistically. The problem is formulated as partially observable Markov decision processes (POMDPs) and solved using two methods: a deep Q-network (DQN) and dueling double deep Q-Network (D3QN) to achieve the optimal policy. The purpose is to choose the best action adaptively in every time slot based on its situation in both overlay and underlay modes to minimize the average AoI of the secondary user. Finally, simulation experiments are performed to evaluate the effectiveness of the proposed scheme compared to the overlay mode. According to the results, the average AoI in the proposed system is less than that of the existing models, including only overlay mode. The average user access improved from 30% in the overlay mode to 45% in the DQN and 48% in the D3QN.


title: Anti-unification of Unordered Goals

abstract: Anti-unification in logic programming refers to the process of capturing common syntactic structure among given goals, computing a single new goal that is more general called a generalization of the given goals. Finding an arbitrary common generalization for two goals is trivial, but looking for those common generalizations that are either as large as possible (called largest common generalizations) or as specific as possible (called most specific generalizations) is a non-trivial optimization problem, in particular when goals are considered to be \textit{unordered} sets of atoms. In this work we provide an in-depth study of the problem by defining two different generalization relations. We formulate a characterization of what constitutes a most specific generalization in both settings. While these generalizations can be computed in polynomial time, we show that when the number of variables in the generalization needs to be minimized, the problem becomes NP-hard. We subsequently revisit an abstraction of the largest common generalization when anti-unification is based on injective variable renamings, and prove that it can be computed in polynomially bounded time.


title: Five-dimensional CFTs from the $\epsilon$-expansion

abstract: We look for UV fixed points of non-abelian $SU(n_c)$ gauge theories in $4+2\epsilon$ dimensions with $n_f$ Dirac fermions in the fundamental representation, using the available five-loop $\overline{{\rm MS}}$ $\beta$-function and employing Pad\'e-Borel resummation techniques and Pad\'e approximants to the series expansion in $\epsilon$. We find evidence for a $5d$ UV-fixed point for $SU(2)$ theories with $n_f\leq 4$ and pure $SU(n_c)$ theories for $n_c\leq 4$. We also compute the anomalous dimensions $\gamma$ and $\gamma_g$ of respectively the fermion mass bilinear and the gauge kinetic term operator at the UV fixed point.


title: Explicit Baker-Campbell-Hausdorff-Dynkin formula for Spacetime via Geometric Algebra

abstract: We present a compact Baker-Campbell-Hausdorff-Dynkin formula for the composition of Lorentz transformations $e^{\sigma_i}$ in the spin representation (a.k.a. Lorentz rotors) in terms of their generators $\sigma_i$: $$ \ln(e^{\sigma_1}e^{\sigma_2}) = \tanh^{-1}\left(\frac{ \tanh \sigma_1 + \tanh \sigma_2 + \frac12[\tanh \sigma_1, \tanh \sigma_2] }{ 1 + \frac12\{\tanh \sigma_1, \tanh \sigma_2\} }\right) $$ This formula is general to geometric algebras (a.k.a. real Clifford algebras) of dimension $\leq 4$, naturally generalising Rodrigues' formula for rotations in $\mathbb{R}^3$. In particular, it applies to Lorentz rotors within the framework of Hestenes' spacetime algebra, and provides an efficient method for composing Lorentz generators. Computer implementations are possible with a complex $2\times2$ matrix representation realised by the Pauli spin matrices. The formula is applied to the composition of relativistic $3$-velocities yielding simple expressions for the resulting boost and the concomitant Wigner angle.


title: Sensitivity to light sterile neutrino mixing parameters with KM3NeT/ORCA

abstract: KM3NeT/ORCA is a next-generation neutrino telescope optimised for atmospheric neutrino oscillations studies. In this paper, the sensitivity of ORCA to the presence of a light sterile neutrino in a 3+1 model is presented. After three years of data taking, ORCA will be able to probe the active-sterile mixing angles $\theta_{14}$, $\theta_{24}$, $\theta_{34}$ and the effective angle $\theta_{\mu e}$, over a broad range of mass squared difference $\Delta m^2_{41} \sim [10^{-5}, 10]$ $\rm{eV}^2$, allowing to test the eV-mass sterile neutrino hypothesis as the origin of short baseline anomalies, as well as probing the hypothesis of a very light sterile neutrino, not yet constrained by cosmology. ORCA will be able to explore a relevant fraction of the parameter space not yet reached by present measurements.


title: Algebraic perspectives on signomial optimization

abstract: Signomials are obtained by generalizing polynomials to allow for arbitrary real exponents. This generalization offers great expressive power, but has historically sacrificed the organizing principle of ``degree'' that is central to polynomial optimization theory. We reclaim that principle here through the concept of signomial rings, which we use to derive complete convex relaxation hierarchies of upper and lower bounds for signomial optimization via sums of arithmetic-geometric exponentials (SAGE) nonnegativity certificates. The Positivstellensatz underlying the lower bounds relies on the concept of conditional SAGE and removes regularity conditions required by earlier works, such as convexity and Archimedeanity of the feasible set. Through worked examples we illustrate the practicality of this hierarchy in areas such as chemical reaction network theory and chemical engineering. These examples include comparisons to direct global solvers (e.g., BARON and ANTIGONE) and the Lasserre hierarchy (where appropriate). The completeness of our hierarchy of upper bounds follows from a generic construction whereby a Positivstellensatz for signomial nonnegativity over a compact set provides for arbitrarily strong outer approximations of the corresponding cone of nonnegative signomials. While working toward that result, we prove basic facts on the existence and uniqueness of solutions to signomial moment problems.


title: MASS: Multi-Attentional Semantic Segmentation of LiDAR Data for Dense Top-View Understanding

abstract: At the heart of all automated driving systems is the ability to sense the surroundings, e.g., through semantic segmentation of LiDAR sequences, which experienced a remarkable progress due to the release of large datasets such as SemanticKITTI and nuScenes-LidarSeg. While most previous works focus on sparse segmentation of the LiDAR input, dense output masks provide self-driving cars with almost complete environment information. In this paper, we introduce MASS - a Multi-Attentional Semantic Segmentation model specifically built for dense top-view understanding of the driving scenes. Our framework operates on pillar- and occupancy features and comprises three attention-based building blocks: (1) a keypoint-driven graph attention, (2) an LSTM-based attention computed from a vector embedding of the spatial input, and (3) a pillar-based attention, resulting in a dense 360-degree segmentation mask. With extensive experiments on both, SemanticKITTI and nuScenes-LidarSeg, we quantitatively demonstrate the effectiveness of our model, outperforming the state of the art by 19.0% on SemanticKITTI and reaching 30.4% in mIoU on nuScenes-LidarSeg, where MASS is the first work addressing the dense segmentation task. Furthermore, our multi-attention model is shown to be very effective for 3D object detection validated on the KITTI-3D dataset, showcasing its high generalizability to other tasks related to 3D vision.


title: Information Security Analysis in the Passenger-Autonomous Vehicle Interaction

abstract: Autonomous vehicles (AV) are becoming a part of humans' everyday life. There are numerous pilot projects of driverless public buses; some car manufacturers deliver their premium-level automobiles with advanced self-driving features. Thus, assuring the security of a Passenger-Autonomous Vehicle interaction arises as an important research topic, as along with opportunities, new cybersecurity risks and challenges occur that potentially may threaten Passenger's privacy and safety on the roads. This study proposes an approach of the security requirements elicitation based on the developed threat model. Thus, information security risk management helps to fulfil one of the principles needed to protect data privacy - information security. We demonstrate the process of security requirements elicitation to mitigate arising security risks. The findings of the paper are case-oriented and are based on the literature review. They are applicable for AV system implementation used by ride-hailing service providers that enable supervisory AV control.


title: Charge disproportionation and Hund's insulating behavior in a five-orbital Hubbard model applicable to $d^4$ perovskites

abstract: We explore the transition to a charge-disproportionated insulating phase in a five-orbital cubic tight-binding model applicable to transition-metal perovskites with a formal $d^4$ occupation of the transition-metal cation, such as ferrates or manganites. We use dynamical mean-field theory to obtain the phase diagram as a function of the average local Coulomb repulsion $U$ and the Hund's coupling $J$. The main structure of the phase diagram follows from the zero band-width (atomic) limit and represents the competition between high-spin and low-spin homogeneous and an inhomogeneous charge-disproportionated state. This results in two distinct insulating phases: the standard homogeneous Mott insulator and the inhomogeneous charge-disproportionated insulator, recently also termed Hund's insulator. We characterize the unconventional nature of this Hund's insulating state. Our results are consistent with previous studies of two- and three-orbital models applicable to isolated $t_{2g}$ and $e_g$ subshells, respectively, with the added complexity of the low-spin/high-spin transition. We also test the applicability of an effective two-orbital ($e_g$-only) model with disordered $S=3/2$ $t_{2g}$ core spins. Our results show that the overall features of the phase diagram in the high-spin region are well described by this simplified two-orbital model but also that the spectral features exhibit pronounced differences compared to the full five-orbital description.


title: Modelling Moral Traits with Music Listening Preferences and Demographics

abstract: Music is an essential component in our everyday lives and experiences, as it is a way that we use to express our feelings, emotions and cultures. In this study, we explore the association between music genre preferences, demographics and moral values by exploring self-reported data from an online survey administered in Canada. Participants filled in the moral foundations questionnaire, while they also provided their basic demographic information, and music preferences. Here, we predict the moral values of the participants inferring on their musical preferences employing classification and regression techniques. We also explored the predictive power of features estimated from factor analysis on the music genres, as well as the generalist/specialist (GS) score for revealing the diversity of musical choices for each user. Our results show the importance of music in predicting a person's moral values (.55-.69 AUROC); while knowledge of basic demographic features such as age and gender is enough to increase the performance (.58-.71 AUROC).


title: An oxygen-rich, tetrahedral surface phase on high-temperature rutile VO$_2$(110)$_\text{T}$ single crystals

abstract: Vanadium dioxide undergoes a metal-insulator transition (MIT) from an insulating (monoclinic) to a metallic (tetragonal) phase close to room temperature, which makes it a promising functional material for many applications, e.g. as chemical sensors. Not much is known about its surface and interface properties, although these are critical in many of its applications. This work presents an atomic-scale investigation of the tetragonal rutile VO$_2$(110)$_\text{T}$ single-crystal surface and reports results obtained with scanning tunneling microscopy (STM), low-energy electron diffraction (LEED) and X-ray photoelectron spectroscopy (XPS), supported by density-functional theory-based (DFT) calculations. The surface reconstructs into an oxygen-rich (2$\times$2) superstructure that coexists with small patches of the underlying, unreconstructed (110)-(1$\times$1) surface. The best structural model for the (2$\times$2) surface termination, conceptually derived from a vanadium pentoxide (001) monolayer, consists of rings of corner-shared tetrahedra. Over a wide range of oxygen chemical potentials this reconstruction is more stable than the unreconstructed (110) surface as well as models proposed in the literature.


title: The Kaiser-Rocket effect: three decades and counting

abstract: The peculiar motion of the observer, if not accurately accounted for, is bound to induce a well-defined clustering signal in the distribution of galaxies. This signal is related to the Kaiser rocket effect. Here we examine the amplitude and form of this effect, both analytically and numerically, and discuss possible implications for the analysis and interpretation of forthcoming cosmological surveys. For an idealistic cosmic variance dominated full-sky survey with a Gaussian selection function peaked at $z\sim 1.5$ it is a $> 5\sigma$ effect and it can in principle bias very significantly the inference of cosmological parameters, especially for primordial non-Gaussianity. For forthcoming surveys, with realistic masks and selection functions, the Kaiser rocket is not a significant concern for cosmological parameter inference. However, it is a systematic effect whose origin, nature and imprint on galaxy maps are well known and thus should be subtracted or mitigated. We present several approaches to do so.


title: Reparameterized Sampling for Generative Adversarial Networks

abstract: Recently, sampling methods have been successfully applied to enhance the sample quality of Generative Adversarial Networks (GANs). However, in practice, they typically have poor sample efficiency because of the independent proposal sampling from the generator. In this work, we propose REP-GAN, a novel sampling method that allows general dependent proposals by REParameterizing the Markov chains into the latent space of the generator. Theoretically, we show that our reparameterized proposal admits a closed-form Metropolis-Hastings acceptance ratio. Empirically, extensive experiments on synthetic and real datasets demonstrate that our REP-GAN largely improves the sample efficiency and obtains better sample quality simultaneously.


title: Stability and Robustness Analysis of Plug-Pulling using an Aerial Manipulator

abstract: In this paper, an autonomous aerial manipulation task of pulling a plug out of an electric socket is conducted, where maintaining the stability and robustness is challenging due to sudden disappearance of a large interaction force. The abrupt change in the dynamical model before and after the separation of the plug can cause destabilization or mission failure. To accomplish aerial plug-pulling, we employ the concept of hybrid automata to divide the task into three operative modes, i.e, wire-pulling, stabilizing, and free-flight. Also, a strategy for trajectory generation and a design of disturbance-observer-based controllers for each operative mode are presented. Furthermore, the theory of hybrid automata is used to prove the stability and robustness during the mode transition. We validate the proposed trajectory generation and control method by an actual wire-pulling experiment with a multirotor-based aerial manipulator.


title: On the stability of homogeneous Einstein manifolds II

abstract: For any $G$-invariant metric on a compact homogeneous space $M=G/K$, we give a formula for the Lichnerowicz Laplacian restricted to the space of all $G$-invariant symmetric $2$-tensors in terms of the structural constants of $G/K$. As an application, we compute the $G$-invariant spectrum of the Lichnerowicz Laplacian for all the Einstein metrics on most generalized Wallach spaces and any flag manifold with $b_2(M)=1$. This allows to deduce the $G$-stability and critical point types of each of such Einstein metrics as a critical point of the scalar curvature functional.


title: Nondipole photoelectron momentum shifts in strong-field ionization with mid-infrared laser pulses of long duration

abstract: We consider atomic strong-field ionization in the long-pulse limit for linearly polarized infrared laser fields. We show how nondipole effects in the plane formed by the propagation and polarization directions lead to (i) a shift of the origin of the rings describing the energetically allowed final electron momenta for individual above-threshold ionization channels and (ii) a redistribution in the continuum population on each ring.


title: Analysis of Brownian Motion by Elementary School Students

abstract: To stimulate the intellectual curiosity of elementary school students, we conducted a workshop in distance education aimed at exploring the microscopic world inside a cell. In this workshop, elementary school students motivated to learn more on the subject of science analyzed movies of the Brownian motion of micrometer-sized particles suspended in water, using an open-source software, Tracker. These students then performed two-dimensional(2D)-random walk experiments using a dice game sheet to examine the physical mechanism of Brownian motion. After the workshop, we conducted a questionnaire-based survey. Many participants answered that the contents were difficult but interesting, suggesting that our workshop was very efficient to stimulate the curiosity of motivated students.


title: Prophet Inequality with Competing Agents

abstract: We introduce a model of competing agents in a prophet setting, where rewards arrive online, and decisions are made immediately and irrevocably. The rewards are unknown from the outset, but they are drawn from a known probability distribution. In the standard prophet setting, a single agent makes selection decisions in an attempt to maximize her expected reward. The novelty of our model is the introduction of a competition setting, where multiple agents compete over the arriving rewards, and make online selection decisions simultaneously, as rewards arrive. If a given reward is selected by more than a single agent, ties are broken either randomly or by a fixed ranking of the agents. The consideration of competition turns the prophet setting from an online decision making scenario to a multi-agent game. For both random and ranked tie-breaking rules, we present simple threshold strategies for the agents that give them high guarantees, independent of the strategies taken by others. In particular, for random tie-breaking, every agent can guarantee herself at least $\frac{1}{k+1}$ of the highest reward, and at least $\frac{1}{2k}$ of the optimal social welfare. For ranked tie-breaking, the $i$th ranked agent can guarantee herself at least a half of the $i$th highest reward. We complement these results by matching upper bounds, even with respect to equilibrium profiles. For ranked tie-breaking rule, we also show a correspondence between the equilibrium of the $k$-agent game and the optimal strategy of a single decision maker who can select up to $k$ rewards.


title: Cross-domain Few-shot Learning with Task-specific Adapters

abstract: In this paper, we look at the problem of cross-domain few-shot classification that aims to learn a classifier from previously unseen classes and domains with few labeled samples. Recent approaches broadly solve this problem by parameterizing their few-shot classifiers with task-agnostic and task-specific weights where the former is typically learned on a large training set and the latter is dynamically predicted through an auxiliary network conditioned on a small support set. In this work, we focus on the estimation of the latter, and propose to learn task-specific weights from scratch directly on a small support set, in contrast to dynamically estimating them. In particular, through systematic analysis, we show that task-specific weights through parametric adapters in matrix form with residual connections to multiple intermediate layers of a backbone network significantly improves the performance of the state-of-the-art models in the Meta-Dataset benchmark with minor additional cost.


title: Model Mediated Teleoperation with a Hand-Arm Exoskeleton in Long Time Delays Using Reinforcement Learning

abstract: Telerobotic systems must adapt to new environmental conditions and deal with high uncertainty caused by long-time delays. As one of the best alternatives to human-level intelligence, Reinforcement Learning (RL) may offer a solution to cope with these issues. This paper proposes to integrate RL with the Model Mediated Teleoperation (MMT) concept. The teleoperator interacts with a simulated virtual environment, which provides instant feedback. Whereas feedback from the real environment is delayed, feedback from the model is instantaneous, leading to high transparency. The MMT is realized in combination with an intelligent system with two layers. The first layer utilizes Dynamic Movement Primitives (DMP) which accounts for certain changes in the avatar environment. And, the second layer addresses the problems caused by uncertainty in the model using RL methods. Augmented reality was also provided to fuse the avatar device and virtual environment models for the teleoperator. Implemented on DLR's Exodex Adam hand-arm haptic exoskeleton, the results show RL methods are able to find different solutions when changes are applied to the object position after the demonstration. The results also show DMPs to be effective at adapting to new conditions where there is no uncertainty involved.


title: Towards Measuring Bias in Image Classification

abstract: Convolutional Neural Networks (CNN) have become de fact state-of-the-art for the main computer vision tasks. However, due to the complex underlying structure their decisions are hard to understand which limits their use in some context of the industrial world. A common and hard to detect challenge in machine learning (ML) tasks is data bias. In this work, we present a systematic approach to uncover data bias by means of attribution maps. For this purpose, first an artificial dataset with a known bias is created and used to train intentionally biased CNNs. The networks' decisions are then inspected using attribution maps. Finally, meaningful metrics are used to measure the attribution maps' representativeness with respect to the known bias. The proposed study shows that some attribution map techniques highlight the presence of bias in the data better than others and metrics can support the identification of bias.


title: Coded Caching with Shared Caches from Generalized Placement Delivery Arrays

abstract: We consider the coded caching problem with shared caches where several users share a cache, but each user has access to only a single cache. For this network, the fundamental limits of coded caching are known for centralized and decentralized settings under uncoded placement. In the centralized case, to achieve the gains offered by coded caching, one requires a sub-packetization which increases exponentially with the number of caches. The dedicated cache networks had a similar issue, and placement delivery arrays (PDAs) were introduced as a solution to it. Using the PDA framework, we propose a procedure to obtain new coded caching schemes for shared caches with lower sub-packetization requirements. The advantage of this procedure is that we can transform all the existing PDA structures into coded caching schemes for shared caches, thus resulting in low sub-packetization schemes. We also show that the optimal scheme given by Parrinello, Unsal and Elia (Fundamental Limits of Coded Caching with Multiple Antennas, Shared Caches and Uncoded Prefetching) can be recovered using a Maddah-Ali Niesen PDA.


title: Drone swarm patrolling with uneven coverage requirements

abstract: Swarms of drones are being more and more used in many practical scenarios, such as surveillance, environmental monitoring, search and rescue in hardly-accessible areas, etc.. While a single drone can be guided by a human operator, the deployment of a swarm of multiple drones requires proper algorithms for automatic task-oriented control. In this paper, we focus on visual coverage optimization with drone-mounted camera sensors. In particular, we consider the specific case in which the coverage requirements are uneven, meaning that different parts of the environment have different coverage priorities. We model these coverage requirements with relevance maps and propose a deep reinforcement learning algorithm to guide the swarm. The paper first defines a proper learning model for a single drone, and then extends it to the case of multiple drones both with greedy and cooperative strategies. Experimental results show the performance of the proposed method, also compared with a standard patrolling algorithm.


title: Valid prediction intervals for regression problems

abstract: Over the last few decades, various methods have been proposed for estimating prediction intervals in regression settings, including Bayesian methods, ensemble methods, direct interval estimation methods and conformal prediction methods. An important issue is the calibration of these methods: the generated prediction intervals should have a predefined coverage level, without being overly conservative. In this work, we review the above four classes of methods from a conceptual and experimental point of view. Results on benchmark data sets from various domains highlight large fluctuations in performance from one data set to another. These observations can be attributed to the violation of certain assumptions that are inherent to some classes of methods. We illustrate how conformal prediction can be used as a general calibration procedure for methods that deliver poor results without a calibration step.


title: Implicit Acceleration and Feature Learning in Infinitely Wide Neural Networks with Bottlenecks

abstract: We analyze the learning dynamics of infinitely wide neural networks with a finite sized bottle-neck. Unlike the neural tangent kernel limit, a bottleneck in an otherwise infinite width network al-lows data dependent feature learning in its bottle-neck representation. We empirically show that a single bottleneck in infinite networks dramatically accelerates training when compared to purely in-finite networks, with an improved overall performance. We discuss the acceleration phenomena by drawing similarities to infinitely wide deep linear models, where the acceleration effect of a bottleneck can be understood theoretically.


title: Local linear convergence of alternating projections in metric spaces with bounded curvature

abstract: We consider the popular and classical method of alternating projections for finding a point in the intersection of two closed sets. By situating the algorithm in a metric space, equipped only with well-behaved geodesics and angles (in the sense of Alexandrov), we are able to highlight the two key geometric ingredients in a standard intuitive analysis of local linear convergence. The first is a transversality-like condition on the intersection; the second is a convexity-like condition on one set: "uniform approximation by geodesics."


title: A Consistency-Based Loss for Deep Odometry Through Uncertainty Propagation

abstract: The incremental poses computed through odometry can be integrated over time to calculate the pose of a device with respect to an initial location. The resulting global pose may be used to formulate a second, consistency based, loss term in a deep odometry setting. In such cases where multiple losses are imposed on a network, the uncertainty over each output can be derived to weigh the different loss terms in a maximum likelihood setting. However, when imposing a constraint on the integrated transformation, due to how only odometry is estimated at each iteration of the algorithm, there is no information about the uncertainty associated with the global pose to weigh the global loss term. In this paper, we associate uncertainties with the output poses of a deep odometry network and propagate the uncertainties through each iteration. Our goal is to use the estimated covariance matrix at each incremental step to weigh the loss at the corresponding step while weighting the global loss term using the compounded uncertainty. This formulation provides an adaptive method to weigh the incremental and integrated loss terms against each other, noting the increase in uncertainty as new estimates arrive. We provide quantitative and qualitative analysis of pose estimates and show that our method surpasses the accuracy of the state-of-the-art Visual Odometry approaches. Then, uncertainty estimates are evaluated and comparisons against fixed baselines are provided. Finally, the uncertainty values are used in a realistic example to show the effectiveness of uncertainty quantification for localization.


title: QMugs: Quantum Mechanical Properties of Drug-like Molecules

abstract: Machine learning approaches in drug discovery, as well as in other areas of the chemical sciences, benefit from curated datasets of physical molecular properties. However, there is a lack of sufficiently large data collections that include first-principle quantum chemical information on bioactive molecules, such as single-point electronic properties, quantum mechanical wave functions and density-functional theory (DFT) matrices. The open-access QMugs (Quantum-Mechanical Properties of Drug-like Molecules) dataset fills this void. The QMugs collection comprises quantum mechanical properties of more than 665k biologically and pharmacologically relevant molecules extracted from the ChEMBL database, totaling $\sim$2M conformers. QMugs contains optimized molecular geometries and thermodynamic data obtained via the semi-empirical method GFN2-xTB. Atomic and molecular properties (e.g., partial charges, energies, and rotational constants) are provided on both the GFN2-xTB and on the DFT ($\omega$B97X-D/def2-SVP) levels of theory. QMugs also comprises the respective quantum mechanical wave functions, including DFT density and orbital matrices, totaling over 7 terabytes of uncompressed data. This dataset is intended to facilitate the development of models that learn from molecular data on different levels of theory while also providing insight into the corresponding relationships between molecular structure and biological activity.


title: Ensemble Learning-Based Approach for Improving Generalization Capability of Machine Reading Comprehension Systems

abstract: Machine Reading Comprehension (MRC) is an active field in natural language processing with many successful developed models in recent years. Despite their high in-distribution accuracy, these models suffer from two issues: high training cost and low out-of-distribution accuracy. Even though some approaches have been presented to tackle the generalization problem, they have high, intolerable training costs. In this paper, we investigate the effect of ensemble learning approach to improve generalization of MRC systems without retraining a big model. After separately training the base models with different structures on different datasets, they are ensembled using weighting and stacking approaches in probabilistic and non-probabilistic settings. Three configurations are investigated including heterogeneous, homogeneous, and hybrid on eight datasets and six state-of-the-art models. We identify the important factors in the effectiveness of ensemble methods. Also, we compare the robustness of ensemble and fine-tuned models against data distribution shifts. The experimental results show the effectiveness and robustness of the ensemble approach in improving the out-of-distribution accuracy of MRC systems, especially when the base models are similar in accuracies.


title: Computing CQ lower-bounds over OWL 2 through approximation to RSA

abstract: Conjunctive query (CQ) answering over knowledge bases is an important reasoning task. However, with expressive ontology languages such as OWL, query answering is computationally very expensive. The PAGOdA system addresses this issue by using a tractable reasoner to compute lower and upper-bound approximations, falling back to a fully-fledged OWL reasoner only when these bounds don't coincide. The effectiveness of this approach critically depends on the quality of the approximations, and in this paper we explore a technique for computing closer approximations via RSA, an ontology language that subsumes all the OWL 2 profiles while still maintaining tractability. We present a novel approximation of OWL 2 ontologies into RSA, and an algorithm to compute a closer (than PAGOdA) lower bound approximation using the RSA combined approach. We have implemented these algorithms in a prototypical CQ answering system, and we present a preliminary evaluation of our system that shows significant performance improvements w.r.t. PAGOdA.


title: Nearly constant Q models of the generalized standard linear solid type and the corresponding wave equations

abstract: Time-domain seismic forward and inverse modeling for a dissipative medium is a vital research topic to investigate the attenuation structure of the Earth. Constant Q, also called frequency independence of the quality factor, is a common assumption for seismic Q inversion. We propose the first- and second-order nearly constant Q dissipative models of the generalized standard linear solid type, using a novel Q-independent weighting function approach. The two new models, which originate from the Kolsky model (a nearly constant Q model) and the Kjartansson model (an exactly constant Q model), result in the corresponding wave equations in differential form. Even for extremely strong attenuation (e.g., Q = 5), the quality factor and phase velocity for the two new models are close to those for the Kolsky and Kjartansson models, in a frequency range of interest. The wave equations for the two new models involve explicitly a specified Q parameter and have compact and simple forms. We provide a novel perspective on how to build a nearly constant Q dissipative model which is beneficial for time-domain large scale wavefield forward and inverse modeling. This perspective could also help obtain other dissipative models with similar advantages. We also discuss the extension beyond viscoacousticity and other related issues, for example, extending the two new models to viscoelastic anisotropy.


title: Sparse GCA and Thresholded Gradient Descent

abstract: Generalized correlation analysis (GCA) is concerned with uncovering linear relationships across multiple datasets. It generalizes canonical correlation analysis that is designed for two datasets. We study sparse GCA when there are potentially multiple generalized correlation tuples in data and the loading matrix has a small number of nonzero rows. It includes sparse CCA and sparse PCA of correlation matrices as special cases. We first formulate sparse GCA as generalized eigenvalue problems at both population and sample levels via a careful choice of normalization constraints. Based on a Lagrangian form of the sample optimization problem, we propose a thresholded gradient descent algorithm for estimating GCA loading vectors and matrices in high dimensions. We derive tight estimation error bounds for estimators generated by the algorithm with proper initialization. We also demonstrate the prowess of the algorithm on a number of synthetic datasets.


title: Egocentric Image Captioning for Privacy-Preserved Passive Dietary Intake Monitoring

abstract: Camera-based passive dietary intake monitoring is able to continuously capture the eating episodes of a subject, recording rich visual information, such as the type and volume of food being consumed, as well as the eating behaviours of the subject. However, there currently is no method that is able to incorporate these visual clues and provide a comprehensive context of dietary intake from passive recording (e.g., is the subject sharing food with others, what food the subject is eating, and how much food is left in the bowl). On the other hand, privacy is a major concern while egocentric wearable cameras are used for capturing. In this paper, we propose a privacy-preserved secure solution (i.e., egocentric image captioning) for dietary assessment with passive monitoring, which unifies food recognition, volume estimation, and scene understanding. By converting images into rich text descriptions, nutritionists can assess individual dietary intake based on the captions instead of the original images, reducing the risk of privacy leakage from images. To this end, an egocentric dietary image captioning dataset has been built, which consists of in-the-wild images captured by head-worn and chest-worn cameras in field studies in Ghana. A novel transformer-based architecture is designed to caption egocentric dietary images. Comprehensive experiments have been conducted to evaluate the effectiveness and to justify the design of the proposed architecture for egocentric dietary image captioning. To the best of our knowledge, this is the first work that applies image captioning for dietary intake assessment in real life settings.


title: Higher-form symmetry breaking and holographic flavour

abstract: We study the realisation of higher-form symmetries in the holographic dual of gauge theories coupled to probe matter in the fundamental. We particularly focus on the dual of U(N) gauge theory coupled to fundamental matter. We demonstrate the existence of a continuous 1-form symmetry associated with the conservation of magnetic flux and show that this symmetry is spontaneously broken in the IR when the flavour degrees of freedom are gapped. We numerically compute the spectral function of the 2-form current and demonstrate the existence of the associated Goldstone mode. We compare to expectations at weak-coupling.


title: Multiplicity of solutions for a class of quasilinear problems involving the $1$-Laplacian operator with critical growth

abstract: The aim of this paper is to establish two results about multiplicity of solutions to problems involving the $1-$Laplacian operator, with nonlinearities with critical growth. To be more specific, we study the following problem $$ \left\{ \begin{array}{l} - \Delta_1 u +\xi \frac{u}{|u|} =\lambda |u|^{q-2}u+|u|^{1^*-2}u, \quad\text{in }\Omega, u=0, \quad\text{on } \partial\Omega. \end{array} \right. $$ where $\Omega$ is a smooth bounded domain in $\mathbb{R}^N$, $N \geq 2$ and $\xi \in\{0,1\}$. Moreover, $\lambda > 0$, $q \in (1,1^*)$ and $1^*=\frac{N}{N-1}$. The first main result establishes the existence of many rotationally non-equivalent and nonradial solutions by assuming that $\xi=1$, $\Omega = \{x \in \mathbb{R}^N\,:\,r < |x| < r+1\}$, $N\geq 2$, $N \not = 3$ and $r > 0$. In the second one, $\Omega$ is a smooth bounded domain, $\xi=0$, and the multiplicity of solutions is proved through an abstract result which involves genus theory for functionals which are sum of a $C^1$ functional with a convex lower semicontinuous functional.


title: A semiparametric Bayesian approach to epidemics, with application to the spread of the coronavirus MERS in South Korea in 2015

abstract: We consider incomplete observations of stochastic processes governing the spread of infectious diseases through finite populations by way of contact. We propose a flexible semiparametric modeling framework with at least three advantages. First, it enables researchers to study the structure of a population contact network and its impact on the spread of infectious diseases. Second, it can accommodate short- and long-tailed degree distributions and detect potential superspreaders, who represent an important public health concern. Third, it addresses the important issue of incomplete data. Starting from first principles, we show when the incomplete-data generating process is ignorable for the purpose of Bayesian inference for the parameters of the population model. We demonstrate the semiparametric modeling framework by simulations and an application to the partially observed MERS epidemic in South Korea in 2015. We conclude with an extended discussion of open questions and directions for future research.


title: PlanSys2: A Planning System Framework for ROS2

abstract: Autonomous robots need to plan the tasks they carry out to fulfill their missions. The missions' increasing complexity does not let human designers anticipate all the possible situations, so traditional control systems based on state machines are not enough. This paper contains a description of the ROS2 Planning System (PlanSys2 in short), a framework for symbolic planning that incorporates novel approaches for execution on robots working in demanding environments. PlanSys2 aims to be the reference task planning framework in ROS2, the latest version of the {\em de facto} standard in robotics software development. Among its main features, it can be highlighted the optimized execution, based on Behavior Trees, of plans through a new actions auction protocol and its multi-robot planning capabilities. It already has a small but growing community of users and developers, and this document is a summary of the design and capabilities of this project.


title: VREUD -- An End-User Development Tool to Simplify the Creation of Interactive VR Scenes

abstract: Recent advances in Virtual Reality (VR) technology and the increased availability of VR-equipped devices enable a wide range of consumer-oriented applications. For novice developers, however, creating interactive scenes for VR applications is a complex and cumbersome task that requires high technical knowledge which is often missing. This hinders the potential of enabling novices to create, modify, and execute their own interactive VR scenes. Although recent authoring tools for interactive VR scenes are promising, most of them focus on expert professionals as the target group and neglect the novices with low programming knowledge. To lower the entry barrier, we provide an open-source web-based End-User Development (EUD) tool, called VREUD, that supports the rapid construction and execution of interactive VR scenes. Concerning construction, VREUD enables the specification of the VR scene including interactions and tasks. Furthermore, VREUD supports the execution and immersive experience of the created interactive VR scenes on VR head-mounted displays. Based on a user study, we have analyzed the effectiveness, efficiency, and user satisfaction of VREUD which shows promising results to empower novices in creating their interactive VR scenes.


title: Evidence for Long-Tails in SLS Algorithms

abstract: Stochastic local search (SLS) is a successful paradigm for solving the satisfiability problem of propositional logic. A recent development in this area involves solving not the original instance, but a modified, yet logically equivalent one. Empirically, this technique was found to be promising as it improves the performance of state-of-the-art SLS solvers. Currently, there is only a shallow understanding of how this modification technique affects the runtimes of SLS solvers. Thus, we model this modification process and conduct an empirical analysis of the hardness of logically equivalent formulas. Our results are twofold. First, if the modification process is treated as a random process, a lognormal distribution perfectly characterizes the hardness; implying that the hardness is long-tailed. This means that the modification technique can be further improved by implementing an additional restart mechanism. Thus, as a second contribution, we theoretically prove that all algorithms exhibiting this long-tail property can be further improved by restarts. Consequently, all SAT solvers employing this modification technique can be enhanced.


title: On the Expected Complexity of Maxout Networks

abstract: Learning with neural networks relies on the complexity of the representable functions, but more importantly, the particular assignment of typical parameters to functions of different complexity. Taking the number of activation regions as a complexity measure, recent works have shown that the practical complexity of deep ReLU networks is often far from the theoretical maximum. In this work, we show that this phenomenon also occurs in networks with maxout (multi-argument) activation functions and when considering the decision boundaries in classification tasks. We also show that the parameter space has a multitude of full-dimensional regions with widely different complexity, and obtain nontrivial lower bounds on the expected complexity. Finally, we investigate different parameter initialization procedures and show that they can increase the speed of convergence in training.


title: From Dust to Planets I: Planetesimal and Embryo Formation

abstract: Planet formation models begin with proto-embryos and planetesimals already fully formed, missing out a crucial step, the formation of planetesimals/proto-embryos. In this work, we include prescriptions for planetesimal and proto-embryo formation arising from pebbles becoming trapped in short-lived pressure bumps, in thermally evolving viscous discs to examine the sizes and distributions of proto-embryos and planetesimals throughout the disc. We find that planetesimal sizes increase with orbital distance, from ~10 km close to the star to hundreds of kilometres further away. Proto-embryo masses are also found to increase with orbital radius, ranging from $10^{-6} M_{\rm \oplus}$ around the iceline, to $10^{-3} M_{\rm \oplus}$ near the orbit of Pluto. We include prescriptions for pebble and planetesimal accretion to examine the masses that proto-embryos can attain. Close to the star, planetesimal accretion is efficient due to small planetesimals, whilst pebble accretion is efficient where pebble sizes are fragmentation limited, but inefficient when drift dominated due to low accretion rates before the pebble supply diminishes. Exterior to the iceline, planetesimal accretion becomes inefficient due to increasing planetesimal eccentricities, whilst pebble accretion becomes more efficient as the initial proto-embryo masses increase, allowing them to significantly grow before the pebble supply is depleted. Combining both scenarios allows for more massive proto-embryos at larger distances, since the accretion of planetesimals allows pebble accretion to become more efficient, allowing giant planet cores to form at distances upto 10 au. By including more realistic initial proto-embryo and planetesimal sizes, as well as combined accretion scenarios, should allow for a more complete understanding in the beginning to end process of how planets and planetary systems form.


title: Reciprocity sheaves and logarithmic motives

abstract: We connect two developments aiming at extending Voevodsky's theory of motives over a field in such a way to encompass non-$\mathbf{A}^1$-invariant phenomina. One is theory of reciprocity sheaves introduced by Kahn-Saito-Yamazaki. Another is theory of the triangulated category $\operatorname{\mathbf{logDM}}^{\operatorname{eff}}$ of logarithmic motives launched by Binda, Park and {\O}stv{\ae}r. We prove that the Nisnevich cohomology of reciprocity sheaves is representable in $\operatorname{\mathbf{logDM}}^{\operatorname{eff}}$.


title: SSC: Semantic Scan Context for Large-Scale Place Recognition

abstract: Place recognition gives a SLAM system the ability to correct cumulative errors. Unlike images that contain rich texture features, point clouds are almost pure geometric information which makes place recognition based on point clouds challenging. Existing works usually encode low-level features such as coordinate, normal, reflection intensity, etc., as local or global descriptors to represent scenes. Besides, they often ignore the translation between point clouds when matching descriptors. Different from most existing methods, we explore the use of high-level features, namely semantics, to improve the descriptor's representation ability. Also, when matching descriptors, we try to correct the translation between point clouds to improve accuracy. Concretely, we propose a novel global descriptor, Semantic Scan Context, which explores semantic information to represent scenes more effectively. We also present a two-step global semantic ICP to obtain the 3D pose (x, y, yaw) used to align the point cloud to improve matching performance. Our experiments on the KITTI dataset show that our approach outperforms the state-of-the-art methods with a large margin. Our code is available at: https://github.com/lilin-hitcrt/SSC.


title: Ergodicity of the Fisher infinitesimal model with quadratic selection

abstract: We study the convergence towards a unique equilibrium distribution of the solutions to a time-discrete model with non-overlapping generations arising in quantitative genetics. The model describes the dynamics of a phenotypic distribution with respect to a multi-dimensional trait, which is shaped by selection and Fisher's infinitesimal model of sexual reproduction. We extend some previous works devoted to the time-continuous analogues, that followed a perturbative approach in the regime of weak selection, by exploiting the contractivity of the infinitesimal model operator in the Wasserstein metric. Here, we tackle the case of quadratic selection by a global approach. We establish uniqueness of the equilibrium distribution and exponential convergence of the renormalized profile. Our technique relies on an accurate control of the propagation of information across the large binary trees of ancestors (the pedigree chart), and reveals an ergodicity property, meaning that the shape of the initial datum is quickly forgotten across generations. We combine this information with appropriate estimates for the emergence of Gaussian tails and propagation of quadratic and exponential moments to derive quantitative convergence rates. Our result can be interpreted as a generalization of the Krein-Rutman theorem in a genuinely non-linear, and non-monotone setting.