title: Quenched, bulge-dominated, but dynamically cold galaxies in IllustrisTNG and their real-world counterparts

abstract: Galaxy morphologies, kinematics, and stellar populations are thought to be linked to each other. However, both simulations and observations have pointed out mismatches therein. In this work, we study the nature and origin of the present-day quenched, bulge-dominated, but dynamically cold galaxies within a stellar mass range of $10.3\,\leqslant\,\log\,M_{\ast}/\mathrm{M_{\odot}}\,\leqslant\,11.2$ in the IllustrisTNG-100 Simulation. We compare these galaxies with a population of normal star-forming dynamically cold disc galaxies and a population of normal quenched dynamically hot elliptical galaxies within the same mass range. The populations of the present-day quenched and bulge-dominated galaxies (both being dynamically cold and hot) used to have significantly higher star-formation rates and flatter morphologies at redshift of $z\sim 2$. They have experienced more frequent larger mass-ratio mergers below $z \sim 0.7$ in comparison to their star-forming disc counterparts, which is responsible for the formation of their bulge-dominated morphologies. The dynamically cold populations (both being star-forming and quenched) have experienced more frequent prograde and tangential mergers especially below $z \sim 1$, in contrast to the dynamically hot ellipticals, which have had more retrograde and radial mergers. Such different merging histories can well explain the differences on the cold and hot dynamical status among these galaxies. We point out that the real-world counterparts of these dynamically cold and hot bulge-dominated quenched populations are the fast- and slow-rotating early-type galaxies, respectively, as seen in observations and hence reveal the different evolution paths of these two distinct populations of early-type galaxies.


title: What Image Features Boost Housing Market Predictions?

abstract: The attractiveness of a property is one of the most interesting, yet challenging, categories to model. Image characteristics are used to describe certain attributes, and to examine the influence of visual factors on the price or timeframe of the listing. In this paper, we propose a set of techniques for the extraction of visual features for efficient numerical inclusion in modern-day predictive algorithms. We discuss techniques such as Shannon's entropy, calculating the center of gravity, employing image segmentation, and using Convolutional Neural Networks. After comparing these techniques as applied to a set of property-related images (indoor, outdoor, and satellite), we conclude the following: (i) the entropy is the most efficient single-digit visual measure for housing price prediction; (ii) image segmentation is the most important visual feature for the prediction of housing lifespan; and (iii) deep image features can be used to quantify interior characteristics and contribute to captivation modeling. The set of 40 image features selected here carries a significant amount of predictive power and outperforms some of the strongest metadata predictors. Without any need to replace a human expert in a real-estate appraisal process, we conclude that the techniques presented in this paper can efficiently describe visible characteristics, thus introducing perceived attractiveness as a quantitative measure into the predictive modeling of housing.


title: Effective continuum model of twisted bilayer GeSe and origin of emerging one-dimensional mode

abstract: The electric structure of twisted bilayer GeSe, which shows a rectangular moir\'{e} pattern, is analyzed using a $\bm{k}\cdot\bm{p}$ type effective continuum model. The effective model is constructed on the basis of the the local approximation method, where the local lattice structure of a twisted bilayer system is approximated by its untwisted bilayer with parallel displacement, and the required parameters are fixed with the help of the first-principles method. By inspecting the twist angle dependence of the physical properties, we reveal a relation between the effective potential under moir\'{e} pattern and the alignment of the Ge atoms, and also the resultant one-dimensional flat band, where the band is flattened stronger in a specific direction than the perpendicular direction. Due to the relatively large effective mass of the original monolayers, the flat band with its band width as small as a few meV appear in a relatively large angle. This gives us an opportunity to explore the dimensional crossover in the twisted bilayer platform.


title: Tailor: Generating and Perturbing Text with Semantic Controls

abstract: Controlled text perturbation is useful for evaluating and improving model generalizability. However, current techniques rely on training a model for every target perturbation, which is expensive and hard to generalize. We present Tailor, a semantically-controlled text generation system. Tailor builds on a pretrained seq2seq model and produces textual outputs conditioned on control codes derived from semantic representations. We craft a set of operations to modify the control codes, which in turn steer generation towards targeted attributes. These operations can be further composed into higher-level ones, allowing for flexible perturbation strategies. We demonstrate the effectiveness of these perturbations in multiple applications. First, we use Tailor to automatically create high-quality contrast sets for four distinct natural language processing (NLP) tasks. These contrast sets contain fewer spurious artifacts and are complementary to manually annotated ones in their lexical diversity. Second, we show that Tailor perturbations can improve model generalization through data augmentation. Perturbing just 2% of training data leads to a 5.8-point gain on an NLI challenge set measuring reliance on syntactic heuristics.


title: Squashing and supersymmetry enhancement in three dimensions

abstract: We consider mass-deformed theories with ${\cal N}\geq2$ supersymmetry on round and squashed three-spheres. By embedding the supersymmetric backgrounds in extended supergravity we show that at special values of mass deformations the supersymmetry is enhanced on the squashed spheres. When the $3d$ partition function can be obtained by a limit of a $4d$ index we also show that for these special mass deformations only the states annihilated by extra supercharges contribute to the index. By using an equivalence between partition functions on squashed spheres and ellipsoids, we explain the recently observed squashing independence of the partition function of mass-deformed ABJ(M) theory on the ellipsoid. We provide further examples of such simplification for various $3d$ supersymmetric theories.


title: Dead zones and phase reduction of coupled oscillators

abstract: A dead zone in the interaction between two dynamical systems is a region of their joint phase space where one system is insensitive to the changes in the other. These can arise in a number of contexts, and their presence in phase interaction functions has interesting dynamical consequences for the emergent dynamics. In this paper, we consider dead zones in the interaction of general coupled dynamical systems. For weakly coupled limit cycle oscillators, we investigate criteria that give rise to dead zones in the phase interaction functions. We give applications to coupled multiscale oscillators where coupling on only one branch of a relaxation oscillation can lead to the appearance of dead zones in a phase description of their interaction.


title: Semantic Image Cropping

abstract: Automatic image cropping techniques are commonly used to enhance the aesthetic quality of an image; they do it by detecting the most beautiful or the most salient parts of the image and removing the unwanted content to have a smaller image that is more visually pleasing. In this thesis, I introduce an additional dimension to the problem of cropping, semantics. I argue that image cropping can also enhance the image's relevancy for a given entity by using the semantic information contained in the image. I call this problem, Semantic Image Cropping. To support my argument, I provide a new dataset containing 100 images with at least two different entities per image and four ground truth croppings collected using Amazon Mechanical Turk. I use this dataset to show that state-of-the-art cropping algorithms that only take into account aesthetics do not perform well in the problem of semantic image cropping. Additionally, I provide a new deep learning system that takes not just aesthetics but also semantics into account to generate image croppings, and I evaluate its performance using my new semantic cropping dataset, showing that using the semantic information of an image can help to produce better croppings.


title: What and When to Look?: Temporal Span Proposal Network for Video Relation Detection

abstract: Identifying relations between objects is central to understanding the scene. While several works have been proposed for relation modeling in the image domain, there have been many constraints in the video domain due to challenging dynamics of spatio-temporal interactions (e.g., between which objects are there an interaction? when do relations start and end?). To date, two representative methods have been proposed to tackle Video Visual Relation Detection (VidVRD): segment-based and window-based. We first point out limitations of these methods and propose a novel approach named Temporal Span Proposal Network (TSPN). TSPN tells what to look: it sparsifies relation search space by scoring relationness of object pair, i.e., measuring how probable a relation exist. TSPN tells when to look: it simultaneously predicts start-end timestamps (i.e., temporal spans) and categories of the all possible relations by utilizing full video context. These two designs enable a win-win scenario: it accelerates training by 2X or more than existing methods and achieves competitive performance on two VidVRD benchmarks (ImageNet-VidVDR and VidOR). Moreover, comprehensive ablative experiments demonstrate the effectiveness of our approach. Codes are available at https://github.com/sangminwoo/Temporal-Span-Proposal-Network-VidVRD.


title: Predicting market inflation expectations with news topics and sentiment

abstract: This study presents a novel approach to incorporating news topics and their associated sentiment into predictions of breakeven inflation rate (BEIR) movements for eight countries with mature bond markets. We calibrate five classes of machine learning models including narrative-based features for each country, and find that they generally outperform corresponding benchmarks that do not include such features. We find Logistic Regression and XGBoost classifiers to deliver the best performance across countries. We complement these results with a feature importance analysis, showing that economic and financial topics are the key performance drivers in our predictions, with additional contributions from topics related to health and government. We examine cross-country spillover effects of news narrative on BEIR via Graphical Granger Causality and confirm their existence for the US and Germany, while five other countries considered in our study are only influenced by local narrative.


title: On Global Hyperbolicity of Spacetimes: Topology Meets Functional Analysis

abstract: This chapter is an up-to-date account of results on globally hyperbolic spacetimes, and serves several purposes. We begin with the exposition of results from a foundational level, where the main tools are order theory and general topology, we continue with results of a more geometric nature, and we conclude with results that are related to current research in theoretical physics. In each case, we list a number of open questions and formulate, for a class of spacetimes, an interesting connection between global hyperbolicity of a manifold and the geodesic completeness of its corresponding space-like surfaces. This connection is substantial for the proof of essential self-adjointness of a class of pseudo differential operators, that stem from relativistic quantum field theory.


title: A64FX -- Your Compiler You Must Decide!

abstract: The current number one of the TOP500 list, Supercomputer Fugaku, has demonstrated that CPU-only HPC systems aren't dead and CPUs can be used for more than just being the host controller for a discrete accelerators. While the specifications of the chip and overall system architecture, and benchmarks submitted to various lists, like TOP500 and Green500, etc., are clearly highlighting the potential, the proliferation of Arm into the HPC business is rather recent and hence the software stack might not be fully matured and tuned, yet. We test three state-of-the-art compiler suite against a broad set of benchmarks. Our measurements show that orders of magnitudes in performance can be gained by deviating from the recommended usage model of the A64FX compute nodes.


title: Unveiling the Orbital Texture of 1T-TiTe$_2$ using Intrinsic Linear Dichroism in Multidimensional Photoemission Spectroscopy

abstract: The momentum-dependent orbital character in crystalline solids, referred to as orbital texture, is of capital importance in the emergence of symmetry-broken collective phases such as charge density waves as well as superconducting and topological states of matter. By performing extreme ultraviolet multidimensional angle-resolved photoemission spectroscopy for two different crystal orientations linked to each other by mirror symmetry, we isolate and identify the role of orbital texture in photoemission from the transition metal dichalcogenide 1T-TiTe$_2$. By comparing our experimental results with theoretical calculations based on both a quantitative one-step model of photoemission and an intuitive tight-binding model, we unambiguously demonstrate the link between the momentum-dependent orbital orientation and the emergence of strong intrinsic linear dichroism in the photoelectron angular distributions. Our results represent an important step towards going beyond band structure (eigenvalues) mapping and learn about electronic wavefunction and orbital texture of solids by exploiting matrix element effects in photoemission spectroscopy.


title: Translational-Rotational Coupling during the Scattering of a Frictional Sphere from a Flat Surface

abstract: At a macroscopic level, concepts such as top spin, back spin and rolling are commonly used to describe the collision of balls and surfaces. Each term refers to an aspect of the coupling of rotational motion during the collision of a spherical particle with a planar surface. In this paper we explore the mechanisms of energy transfer involving the collision of a rotating sphere and a surface using a model of frictional interactions developed for granular material. We present explicit analytical treatments for the scattering and derive expressions for two important limiting classes: energy conserving collisions and collisions subject to rapid transverse dissipation.


title: Lockout: Sparse Regularization of Neural Networks

abstract: Many regression and classification procedures fit a parameterized function $f(x;w)$ of predictor variables $x$ to data $\{x_{i},y_{i}\}_1^N$ based on some loss criterion $L(y,f)$. Often, regularization is applied to improve accuracy by placing a constraint $P(w)\leq t$ on the values of the parameters $w$. Although efficient methods exist for finding solutions to these constrained optimization problems for all values of $t\geq0$ in the special case when $f$ is a linear function, none are available when $f$ is non-linear (e.g. Neural Networks). Here we present a fast algorithm that provides all such solutions for any differentiable function $f$ and loss $L$, and any constraint $P$ that is an increasing monotone function of the absolute value of each parameter. Applications involving sparsity inducing regularization of arbitrary Neural Networks are discussed. Empirical results indicate that these sparse solutions are usually superior to their dense counterparts in both accuracy and interpretability. This improvement in accuracy can often make Neural Networks competitive with, and sometimes superior to, state-of-the-art methods in the analysis of tabular data.


title: Deep Learning Based OFDM Channel Estimation Using Frequency-Time Division and Attention Mechanism

abstract: In this paper, we propose a frequency-time division network (FreqTimeNet) to improve the performance of deep learning (DL) based OFDM channel estimation. This FreqTimeNet is designed based on the orthogonality between the frequency domain and the time domain. In FreqTimeNet, the input is processed by parallel frequency blocks and parallel time blocks sequentially. By introducing the attention mechanism using the SNR information, an attention based FreqTimeNet (AttenFreqTimeNet) is proposed. Using 3rd Generation Partnership Project (3GPP) channel models, the mean square error (MSE) performance of FreqTimeNet and AttenFreqTimeNet under different scenarios is evaluated. A method for constructing mixed training data is proposed, which could address the generalization problem in DL. It is observed that AttenFreqTimeNet outperforms FreqTimeNet, and FreqTimeNet outperforms other DL networks with reasonable complexity.


title: Quantum Lichnerowicz - Poisson complex

abstract: Using the curved bc-beta-gamma system (a tensor product of a Heisenberg and a Clifford vertex algebra) we introduce quantum analogy of Lichnerowicz differential. As follows we suggest new machinery for finding the Lichnerowicz-Poisson cohomology groups for any Poisson manifold. Moreover, the defined provides new invariant. Keywords: Poisson manifold, Lichnerowicz differential, Chiral de Rham complex, cohomologies, vertex algebras, deformation theory, Nambu-Poisson bracket, n-Lie algebras, Gromov-Witten theory.

categories: math.QA math-ph math.AG math.CV math.DS math.MP math.SG


title: Dynamics of chirped Airy pulse in a dispersive medium with higher-order nonlinearity

abstract: Chirp can control the dynamics of the Airy pulse, making it an essential factor in pulse manipulation. Finite energy chirped Airy pulse (FECAP) has potential applications in underwater optical communication and imaging. Hence, it's critical to study the propagation of FECAP. We present a numerical investigation of the propagation dynamics of a FECAP in a dispersive, and highly nonlinear medium. The nonlinearity under study includes self-phase modulation (SPM), self-steepening (SS), as well as intra-pulse Raman scattering (IRS) terms. We have observed soliton shedding and the chirp parameter is demonstrated to have a considerable impact on the pulse dynamics. In particular, the emergent soliton does not propagate in a straight path instead, depending on the sign of the chirp parameter, it delays or advances in the time. Furthermore, it has been established that the chirp can be employed as an alternate control parameter for the spectral manipulation. The results of our study may have implications in supercontinuum generation and for producing tunable sources.


title: The Feedback Capacity of Noisy Output is the STate (NOST) Channels

abstract: We consider finite-state channels (FSCs) where the channel state is stochastically dependent on the previous channel output. We refer to these as Noisy Output is the STate (NOST) channels. We derive the feedback capacity of NOST channels in two scenarios: with and without causal state information (CSI) available at the encoder. If CSI is unavailable, the feedback capacity is $C_{\text{FB}}= \max_{P(x|y')} I(X;Y|Y')$, while if it is available at the encoder, the feedback capacity is $C_{\text{FB-CSI}}= \max_{P(u|y'),x(u,s')} I(U;Y|Y')$, where $U$ is an auxiliary RV with finite cardinality. In both formulas, the output process is a Markov process with stationary distribution. The derived formulas generalize special known instances from the literature, such as where the state is i.i.d. and where it is a deterministic function of the output. $C_{\text{FB}}$ and $C_{\text{FB-CSI}}$ are also shown to be computable via convex optimization problem formulations. Finally, we present an example of an interesting NOST channel for which CSI available at the encoder does not increase the feedback capacity.


title: Atomic structure of initial nucleation layer in hexagonal perovskite BaRuO$_3$ thin films

abstract: Hexagonal perovskites are an attractive group of materials due to their various polymorph phases and rich structure-property relationships. BaRuO3 (BRO) is a prototypical hexagonal perovskite, in which the electromagnetic properties are significantly modified depending on its atomic structure. Whereas thin-film epitaxy would vastly expand the application of hexagonal perovskites by epitaxially stabilizing various metastable polymorphs, the atomic structure of epitaxial hexagonal perovskites, especially at the initial growth stage, has rarely been investigated. In this study, we show that an intriguing nucleation behavior takes place during the initial stabilization of a hexagonal perovskite 9R BaRuO3 (BRO) thin film on a (111) SrTiO3 (STO) substrate. We use high-resolution high-angle annular dark field scanning transmission electron microscopy in combination with geometrical phase analysis to understand the local strain relaxation behavior. We find that nano-scale strained layers, composed of different RuO6 octahedral stacking, are initially formed at the interface, followed by a relaxed single crystal9R BRO thin film. Within the interface layer, hexagonal BROs are nucleated on the STO (111) substrate by both corner- and face-sharing. More interestingly, we find that the boundaries between the differently-stacked nucleation layers, i.e. heterostructural boundaries facilitates strain relaxation, in addition to the formation of conventional misfit dislocations evolving from homostructural boundaries. Our observations reveal an important underlying mechanism to understand the thin-film epitaxy and strain accommodation in hexagonal perovskites.


title: Conservation of Angular Momentum in the Fast Multipole Method

abstract: Smoothed particle hydrodynamics (SPH) is positioned as having ideal conservation properties. When properly implemented, conservation of total mass, energy, and both linear and angular momentum is guaranteed exactly, up to machine precision. This is particularly important for some applications in computational astrophysics, such as binary dynamics, mergers, and accretion of compact objects (neutron stars, black holes, and white dwarfs). However, in astrophysical applications that require the inclusion of gravity, calculating pairwise particle interactions becomes prohibitively expensive. In the Fast Multipole Method (FMM), they are, therefore, replaced with symmetric interactions between distant clusters of particles (contained in the tree nodes) Although such an algorithm is linear momentum-conserving, it introduces spurious torques that violate conservation of angular momentum. We present a modification of FMM that is free of spurious torques and conserves angular momentum explicitly. The new method has practically no computational overhead compared to the standard FMM.


title: An Efficient and Small Convolutional Neural Network for Pest Recognition -- ExquisiteNet

abstract: Nowadays, due to the rapid population expansion, food shortage has become a critical issue. In order to stabilizing the food source production, preventing crops from being attacked by pests is very important. In generally, farmers use pesticides to kill pests, however, improperly using pesticides will also kill some insects which is beneficial to crops, such as bees. If the number of bees is too few, the supplement of food in the world will be in short. Besides, excessive pesticides will seriously pollute the environment. Accordingly, farmers need a machine which can automatically recognize the pests. Recently, deep learning is popular because its effectiveness in the field of image classification. In this paper, we propose a small and efficient model called ExquisiteNet to complete the task of recognizing the pests and we expect to apply our model on mobile devices. ExquisiteNet mainly consists of two blocks. One is double fusion with squeeze-and-excitation-bottleneck block (DFSEB block), and the other is max feature expansion block (ME block). ExquisiteNet only has 0.98M parameters and its computing speed is very fast almost the same as SqueezeNet. In order to evaluate our model's performance, we test our model on a benchmark pest dataset called IP102. Compared to many state-of-the-art models, such as ResNet101, ShuffleNetV2, MobileNetV3-large and EfficientNet etc., our model achieves higher accuracy, that is, 52.32% on the test set of IP102 without any data augmentation.


title: Axiomatic Formulation of the Optimal Transaction Cost Theory in the Legal Process through Cobb-Douglas Optimization

abstract: In a legal dispute, parties engage in a series of negotiations so as to arrive at a reasonable settlement. The parties need to present a fair and reasonable bargain in order to induce the WTA, willingness to accept of the plaintiff and the WTP, willingness to pay of the defendant. Cooperation can only be attained when the WTA of the plaintiff is less than or equal to the WTP of the defendant. From an economic perspective, the legal process can considered as market place of buying and selling claims. High transaction costs decrease the reasonable bargain, thereby making cooperation more appealing to the defendant. On the other hand, low or zero transaction costs means the reasonable bargain is only dependent on the expected gain from winning at trial and the settlement benefit thereby making cooperation more appealing to the plaintiff. Hence, we need to find a way of adjusting the number of settlements with the number of trials in order to maximize the social utility value. This paper uses Cobb-Douglas optimization to formulate an optimal transaction cost algorithm considering the confinement of a generalized legal framework.


title: Arrow: A RISC-V Vector Accelerator for Machine Learning Inference

abstract: In this paper we present Arrow, a configurable hardware accelerator architecture that implements a subset of the RISC-V v0.9 vector ISA extension aimed at edge machine learning inference. Our experimental results show that an Arrow co-processor can execute a suite of vector and matrix benchmarks fundamental to machine learning inference 2 - 78x faster than a scalar RISC processor while consuming 20% - 99% less energy when implemented in a Xilinx XC7A200T-1SBG484C FPGA.


title: FLEX: Unifying Evaluation for Few-Shot NLP

abstract: Few-shot NLP research is highly active, yet conducted in disjoint research threads with evaluation suites that lack challenging-yet-realistic testing setups and fail to employ careful experimental design. Consequently, the community does not know which techniques perform best or even if they outperform simple baselines. In response, we formulate the FLEX Principles, a set of requirements and best practices for unified, rigorous, valid, and cost-sensitive few-shot NLP evaluation. These principles include Sample Size Design, a novel approach to benchmark design that optimizes statistical accuracy and precision while keeping evaluation costs manageable. Following the principles, we release the FLEX benchmark, which includes four few-shot transfer settings, zero-shot evaluation, and a public leaderboard that covers diverse NLP tasks. In addition, we present UniFew, a prompt-based model for few-shot learning that unifies pretraining and finetuning prompt formats, eschewing complex machinery of recent prompt-based approaches in adapting downstream task formats to language model pretraining objectives. We demonstrate that despite simplicity, UniFew achieves results competitive with both popular meta-learning and prompt-based approaches.


title: DeceFL: A Principled Decentralized Federated Learning Framework

abstract: Traditional machine learning relies on a centralized data pipeline, i.e., data are provided to a central server for model training. In many applications, however, data are inherently fragmented. Such a decentralized nature of these databases presents the biggest challenge for collaboration: sending all decentralized datasets to a central server raises serious privacy concerns. Although there has been a joint effort in tackling such a critical issue by proposing privacy-preserving machine learning frameworks, such as federated learning, most state-of-the-art frameworks are built still in a centralized way, in which a central client is needed for collecting and distributing model information (instead of data itself) from every other client, leading to high communication pressure and high vulnerability when there exists a failure at or attack on the central client. Here we propose a principled decentralized federated learning algorithm (DeceFL), which does not require a central client and relies only on local information transmission between clients and their neighbors, representing a fully decentralized learning framework. It has been further proven that every client reaches the global minimum with zero performance gap and achieves the same convergence rate $O(1/T)$ (where $T$ is the number of iterations in gradient descent) as centralized federated learning when the loss function is smooth and strongly convex. Finally, the proposed algorithm has been applied to a number of applications to illustrate its effectiveness for both convex and nonconvex loss functions, demonstrating its applicability to a wide range of real-world medical and industrial applications.


title: Gradient blow-up for dispersive and dissipative perturbations of the Burgers equation

abstract: We consider a class of dispersive and dissipative perturbations of the inviscid Burgers equation, which includes the fractional KdV equation of order $\alpha$, and the fractal Burgers equation of order $\beta$, where $\alpha, \beta \in [0,1)$, and the Whitham equation. For all $\alpha, \beta \in [0,1)$, we construct solutions whose gradient blows up at a point, and whose amplitude stays bounded, which therefore display a "shock-like" singularity. We moreover provide an asymptotic description of the blow-up. To our knowledge, this constitutes the first proof of gradient blow-up for the fKdV equation in the range $\alpha \in [2/3, 1)$, as well as the first description of explicit blow-up dynamics for the fractal Burgers equation in the range $\beta \in [2/3, 1)$. Our construction is based on modulation theory, where the well-known smooth self-similar solutions to the inviscid Burgers equation are used as profiles. A somewhat amusing point is that the profiles that are less stable under initial data perturbations (in that the number of unstable directions is larger) are more stable under perturbations of the equation (in that higher order dispersive and/or dissipative terms are allowed) due to their slower rates of concentration. Another innovation of this article, which may be of independent interest, is the development of a streamlined weighted $L^{2}$-based approach (in lieu of the characteristic method) for establishing the sharp spatial behavior of the solution in self-similar variables, which leads to the sharp H\"older regularity of the solution up to the blow-up time.


title: Scene-adaptive Knowledge Distillation for Sequential Recommendation via Differentiable Architecture Search

abstract: Sequential recommender systems (SRS) have become a research hotspot due to its power in modeling user dynamic interests and sequential behavioral patterns. To maximize model expressive ability, a default choice is to apply a larger and deeper network architecture, which, however, often brings high network latency when generating online recommendations. Naturally, we argue that compressing the heavy recommendation models into middle- or light- weight neural networks is of great importance for practical production systems. To realize such a goal, we propose AdaRec, a knowledge distillation (KD) framework which compresses knowledge of a teacher model into a student model adaptively according to its recommendation scene by using differentiable Neural Architecture Search (NAS). Specifically, we introduce a target-oriented distillation loss to guide the structure search process for finding the student network architecture, and a cost-sensitive loss as constraints for model size, which achieves a superior trade-off between recommendation effectiveness and efficiency. In addition, we leverage Earth Mover's Distance (EMD) to realize many-to-many layer mapping during knowledge distillation, which enables each intermediate student layer to learn from other intermediate teacher layers adaptively. Extensive experiments on real-world recommendation datasets demonstrate that our model achieves competitive or better accuracy with notable inference speedup comparing to strong counterparts, while discovering diverse neural architectures for sequential recommender models under different recommendation scenes.


title: Zeroth-order randomized block methods for constrained minimization of expectation-valued Lipschitz continuous functions

abstract: We consider the minimization of an $L_0$-Lipschitz continuous and expectation-valued function, denoted by $f$ and defined as $f(x)\triangleq \mathbb{E}[\tilde{f}(x,\omega)]$, over a Cartesian product of closed and convex sets with a view towards obtaining both asymptotics as well as rate and complexity guarantees for computing an approximate stationary point (in a Clarke sense). We adopt a smoothing-based approach reliant on minimizing $f_{\eta}$ where $f_{\eta}(x) \triangleq \mathbb{E}_{u}[f(x+\eta u)]$, $u$ is a random variable defined on a unit sphere, and $\eta > 0$. In fact, it is observed that a stationary point of the $\eta$-smoothed problem is a $2\eta$-stationary point for the original problem in the Clarke sense. In such a setting, we derive a suitable residual function that provides a metric for stationarity for the smoothed problem. By leveraging a zeroth-order framework reliant on utilizing sampled function evaluations implemented in a block-structured regime, we make two sets of contributions for the sequence generated by the proposed scheme. (i) The residual function of the smoothed problem tends to zero almost surely along the generated sequence; (ii) To compute an $x$ that ensures that the expected norm of the residual of the $\eta$-smoothed problem is within $\epsilon$ requires no greater than $\mathcal{O}(\tfrac{1}{\eta \epsilon^2})$ projection steps and $\mathcal{O}\left(\tfrac{1}{\eta^2 \epsilon^4}\right)$ function evaluations. These statements appear to be novel and there appear to be few results to contend with general nonsmooth, nonconvex, and stochastic regimes via zeroth-order approaches.


title: Color of Copper/Copper oxide

abstract: Stochastic inhomogeneous oxidation is an inherent characteristic of copper (Cu), often hindering color tuning and bandgap engineering of oxides. Coherent control of the interface between metal and metal oxide remains unresolved. We demonstrate coherent propagation of an oxidation front in single-crystal Cu thin film to achieve a full-color spectrum for Cu by precisely controlling its oxide-layer thickness. Grain boundary-free and atomically flat films prepared by atomic-sputtering epitaxy allow tailoring of the oxide layer with an abrupt interface via heat treatment with a suppressed temperature gradient. Color tuning of nearly full-color RGB indices is realized by precise control of oxide-layer thickness; our samples covered ~50.4% of the sRGB color space. The color of copper/copper oxide is realized by the reconstruction of the quantitative yield color from oxide pigment (complex dielectric functions of Cu2O) and light-layer interference (reflectance spectra obtained from the Fresnel equations) to produce structural color. We further demonstrate laser-oxide lithography with micron-scale linewidth and depth through local phase transformation to oxides embedded in the metal, providing spacing necessary for semiconducting transport and optoelectronics functionality.


title: Quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration

abstract: In this paper, we compute quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration in W-hyperbolic spaces. This iteration is an extension to a nonlinear setting of the modified Mann iteration defined recently by Bot, Csetnek and Meier in Hilbert spaces. Furthermore, we show that the Douglas-Rachfors and forward-backward algorithms with Tikhonov regularization terms are special cases, in Hilbert spaces, of our Tikhonov-Mann iteration.


title: The Gaia Successor in 2021

abstract: A new mission about twenty years after Gaia with similar astrometric performance would be important for all branches of astronomy. The two missions together would, e.g., give much more accurate motions of the common objects due to the large epoch difference. By adding a Near-InfraRed (NIR) capability to the new mission we will be able to peer into the obscured regions of the Galaxy and measure up to 10 or 12 billion new objects and reveal many new sciences in the process. ESA has now ranked the development of this mission so high that a launch about 2045 is quite probable. A brief history of the project is included.


title: On the inverse Poletskii inequality in metric spaces and prime ends

abstract: We study mappings defined in the domain of a metric space that distort the modulus of families of paths by the type of the inverse Poletskii inequality. Under certain conditions, it is proved that such mappings have a continuous extension to the boundary of the domain in terms of prime ends. Under some additional conditions, the families of such mappings are equicontinuous in the closure of the domain with respect to the space of prime ends.


title: Conflict-free Cooperation Method for Connected and Automated Vehicles at Unsignalized Intersections: Graph-based Modeling and Optimality Analysis

abstract: Connected and automated vehicles have shown great potential in improving traffic mobility and reducing emissions, especially at unsignalized intersections. Previous research has shown that vehicle passing order is the key influencing factor in improving intersection traffic mobility. In this paper, we propose a graph-based cooperation method to formalize the conflict-free scheduling problem at an unsignalized intersection. Based on graphical analysis, a vehicle's trajectory conflict relationship is modeled as a conflict directed graph and a coexisting undirected graph. Then, two graph-based methods are proposed to find the vehicle passing order. The first is an improved depth-first spanning tree algorithm, which aims to find the local optimal passing order vehicle by vehicle. The other novel method is a minimum clique cover algorithm, which identifies the global optimal solution. Finally, a distributed control framework and communication topology are presented to realize the conflict-free cooperation of vehicles. Extensive numerical simulations are conducted for various numbers of vehicles and traffic volumes, and the simulation results prove the effectiveness of the proposed algorithms.


title: Weighted Estimates for Operators Associated to the Bergman-Besov Kernels

abstract: We characterize the weights for which we have the boundedness of standard weighted integral operators induced by the Bergman-Besov kernels acting between two general weighted Lebesgue classes on the unit ball of $\mathbb{C}^N$ in terms of B\'ekoll\'e - Bonami type condition on the weights. To accomplish this we employ the proof strategy originated by B\'ekoll\'e.


title: Epitaxial stabilization of metastable 3C BaRuO3 thin film with ferromagnetic non-Fermi liquid phase

abstract: Thin films of perovskite Ruthenates of the general formula ARuO3 (A = Ca and Sr) are versatile electrical conductors for viable oxide electronics. They are also scientifically intriguing, as they exhibit non-trivial electromagnetic ground states depending on the A-site element. Among them, realization of the cubic perovskite (3C) BaRuO3 thin film has been a challenge so far, because the 3C phase is metastable with the largest formation energy among the various polymorph phases of BaRuO3. In this study, we successfully prepared 3C BaRuO3 thin films employing epitaxial stabilization. The 3C BaRuO3 thin films show itinerant ferromagnetism with a transition temperature of ~48 K and a non-Fermi liquid phase. The epitaxial stabilization of the 3C BaRuO3 further enabled us to make a standard comparison of perovskite Ruthenates thin films, thereby establishing the importance of the Ru-O orbital hybridization in understanding the itinerant magnetic system.


title: Hierarchical single-ion anisotropies in spin-1 Heisenberg antiferromagnets on the honeycomb lattice

abstract: We examine the thermal properties of the spin-1 Heisenberg antiferromagnet on the honeycomb lattice in the presence of an easy-plane single-ion anisotropy as well as the effects of an additional weak in-plane easy-axis anisotropy. In particular, using large-scale quantum Monte Carlo simulations, we analyze the scaling of the correlation length near the thermal phase transition into the ordered phase. This allows us to quantify the temperature regime above the critical point in which -- in spite of the additional in-plane easy-axis anisotropy -- characteristic easy-plane physics, such as near a Berezinskii-Kosterlitz-Thouless transition, can still be accessed. Our theoretical analysis is motivated by recent neutron scattering studies of the spin-1 compound BaNi${}_2$V${}_2$O${}_8$ in particular, and it addresses basic quantum spin models for generic spin-1 systems with weak anisotropies, which we probe over the full range of experimentally relevant correlation length scales.


title: Streaming Submodular Maximization under Matroid Constraints

abstract: Recent progress in (semi-)streaming algorithms for monotone submodular function maximization has led to tight results for a simple cardinality constraint. However, current techniques fail to give a similar understanding for natural generalizations, including matroid constraints. This paper aims at closing this gap. For a single matroid of rank $k$ (i.e., any solution has cardinality at most $k$), our main results are: 1) a single-pass streaming algorithm that uses $\widetilde{O}(k)$ memory and achieves an approximation guarantee of $0.3178$, and 2) a multi-pass streaming algorithm that uses $\widetilde{O}(k)$ memory and achieves an approximation guarantee of $(1-1/e - \varepsilon)$ by taking a constant (depending on $\varepsilon$) number of passes over the stream. This improves on the previously best approximation guarantees of $1/4$ and $1/2$ for single-pass and multi-pass streaming algorithms, respectively. In fact, our multi-pass streaming algorithm is tight in that any algorithm with a better guarantee than $1/2$ must make several passes through the stream and any algorithm that beats our guarantee of $1-1/e$ must make linearly many passes (as well as an exponential number of value oracle queries). Moreover, we show how the approach we use for multi-pass streaming can be further strengthened if the elements of the stream arrive in uniformly random order, implying an improved result for $p$-matchoid constraints.


title: MURAL: Meta-Learning Uncertainty-Aware Rewards for Outcome-Driven Reinforcement Learning

abstract: Exploration in reinforcement learning is a challenging problem: in the worst case, the agent must search for high-reward states that could be hidden anywhere in the state space. Can we define a more tractable class of RL problems, where the agent is provided with examples of successful outcomes? In this problem setting, the reward function can be obtained automatically by training a classifier to categorize states as successful or not. If trained properly, such a classifier can provide a well-shaped objective landscape that both promotes progress toward good states and provides a calibrated exploration bonus. In this work, we show that an uncertainty aware classifier can solve challenging reinforcement learning problems by both encouraging exploration and provided directed guidance towards positive outcomes. We propose a novel mechanism for obtaining these calibrated, uncertainty-aware classifiers based on an amortized technique for computing the normalized maximum likelihood (NML) distribution. To make this tractable, we propose a novel method for computing the NML distribution by using meta-learning. We show that the resulting algorithm has a number of intriguing connections to both count-based exploration methods and prior algorithms for learning reward functions, while also providing more effective guidance towards the goal. We demonstrate that our algorithm solves a number of challenging navigation and robotic manipulation tasks which prove difficult or impossible for prior methods.


title: Takagi type functions and dynamical systems: the smoothness of the SBR measure and the existence and smoothness of local time

abstract: We investigate Takagi-type functions with roughness parameter $\gamma$ that are H\"older continuous with coefficient $H=\frac{\log\gamma}{\log \frac{1}{2}}.$ Analytical access is provided by an embedding into a dynamical system related to the baker transform where the graphs of the functions are identified as their global attractors. They possess stable manifolds hosting Sinai-Bowen-Ruelle (SBR) measures. We identify these measures with the laws of certain symmetric Bernoulli convolutions. Dually, where duality is related to ''time'' reversal, we give a representation of the Takagi-type curves centered around fibers of the associated stable manifold in terms of Bernoulli convolutions. Duality also relates SBR to occupation measure. As opposed to SBR measure - Bernoulli convolutions belong to the first chaos - occupation measure turns out to be a functional in the second Rademacher chaos, in terms of this non-Gaussian Malliavin calculus. Using a Fourier analytic criterion and variants of Weyl's equidistribution theorem, we prove for smoothness parameters $\gamma = 2^{-\frac{1}{m}}, m\in\mathbb{N},$ that the Takagi-type curves possess square integrable local times with $m-2$ smooth derivatives.


title: Region-of-Interest Prioritised Sampling for Constrained Autonomous Exploration Systems

abstract: Goal oriented autonomous operation of space rovers has been known to increase scientific output of a mission. In this work we present an algorithm, called the RoI Prioritised Sampling (RPS), that prioritises Region-of-Interests (RoIs) in an exploration scenario in order to utilise the limited resources of the imaging instrument on the rover effectively. This prioritisation is based on an estimator that evaluates the change in information content at consecutive spatial scales of the RoIs without calculating the finer scale reconstruction. The estimator, called the Refinement Indicator (RI), is motivated and derived. Multi-scale acquisition approaches, based on classical and multilevel compressed sensing, with respect to the single pixel camera architecture are discussed. The performance of the algorithm is verified on remote sensing images and compared with the state-of-the-art multi-resolution reconstruction algorithms. At the considered sub-sampling rates the RPS is shown to better utilise the system resources for reconstructing the RoIs.


title: Using Covariant Polarisation Sums in QCD

abstract: Covariant gauges lead to spurious, non-physical polarisation states of gauge bosons. In QED, the use of the Feynman gauge, $\sum_{\lambda} \epsilon_\mu^{(\lambda)}\epsilon_\nu^{(\lambda)\ast} = -\eta_{\mu\nu}$, is justified by the Ward identity which ensures that the contributions of non-physical polarisation states cancel in physical observables. In contrast, the same replacement can be applied only to a single external gauge boson in squared amplitudes of non-abelian gauge theories like QCD. In general, the use of this replacement requires to include external Faddeev-Popov ghosts. We present a pedagogical derivation of these ghost contributions applying the optical theorem and the Cutkosky cutting rules. We find that the resulting cross terms $A(c_1,\bar{c}_1;\ldots)A(\bar{c}_1,c_1;\ldots)^\ast$ between ghost amplitudes cannot be transformed into $(-1)^{n/2}|A(c_1,\bar{c}_1;\ldots)|^2$ in the case of more than two ghosts. Thus the Feynman rule stated in the literature holds only for two external ghosts, while it is in general incorrect.


title: Three-Body Hamiltonian with Regularized Zero-Range Interactions in Dimension Three

abstract: We study the Hamiltonian for a system of three identical bosons in dimension three interacting via zero-range forces. In order to avoid the fall to the center phenomenon emerging in the standard Ter-Martirosyan--Skornyakov (TMS) Hamiltonian, known as Thomas effect, we develop in detail a suggestion given in a seminal paper of Minlos and Faddeev in 1962 and we construct a regularized version of the TMS Hamiltonian which is self-adjoint and bounded from below. The regularization is given by an effective three-body force, acting only at short distance, that reduces to zero the strength of the interactions when the positions of the three particles coincide. The analysis is based on the construction of a suitable quadratic form which is shown to be closed and bounded from below. Then, domain and action of the corresponding Hamiltonian are completely characterized and a regularity result for the elements of the domain is given. Furthermore, we show that the Hamiltonian is the norm resolvent limit of Hamiltonians with rescaled non local interactions, also called separable potentials, with a suitably renormalized coupling constant.


title: Femtosecond optical breakdown in silicon

abstract: We investigate photoinization, energy deposition, plasma formation and the ultrafast optical breakdown in crystalline silicon irradiated by intense near-infrared laser pulses with pulse duration $\tau \le $ 100 fs. The occurrence of high-intensity breakdown was established by the sudden increase of the absorbed laser energy inside the bulk, which corresponds to threshold energy fluence $\Phi_{th} > $ 1 J/cm$^2$. The optical breakdown is accompanied by severe spectral broadening of the transmitted pulse. For the studied irradiation conditions, we find that the threshold fluence increases linearly with the increase of the pulse duration, while the corresponding laser intensity threshold decreases. The effect of the high plasma density on the stability of diamond lattice is also examined. For near threshold fluences, when about 5 \% of valence electrons are promoted into the conduction band, the Si-Si bonds are softened and large Fermi degeneracy pressure arises (with pressure up to 100 kbar). The mechanical instability of the diamond lattice suggests that the large number of electron-hole pairs leads directly to ultrafast melting of the crystal structure.


title: Decentralized Personalized Federated Learning: Lower Bounds and Optimal Algorithm for All Personalization Modes

abstract: This paper considers the problem of decentralized, personalized federated learning. For centralized personalized federated learning, a penalty that measures the deviation from the local model and its average, is often added to the objective function. However, in a decentralized setting this penalty is expensive in terms of communication costs, so here, a different penalty - one that is built to respect the structure of the underlying computational network - is used instead. We present lower bounds on the communication and local computation costs for this problem formulation and we also present provably optimal methods for decentralized personalized federated learning. Numerical experiments are presented to demonstrate the practical performance of our methods.


title: Deep Learning based Food Instance Segmentation using Synthetic Data

abstract: In the process of intelligently segmenting foods in images using deep neural networks for diet management, data collection and labeling for network training are very important but labor-intensive tasks. In order to solve the difficulties of data collection and annotations, this paper proposes a food segmentation method applicable to real-world through synthetic data. To perform food segmentation on healthcare robot systems, such as meal assistance robot arm, we generate synthetic data using the open-source 3D graphics software Blender placing multiple objects on meal plate and train Mask R-CNN for instance segmentation. Also, we build a data collection system and verify our segmentation model on real-world food data. As a result, on our real-world dataset, the model trained only synthetic data is available to segment food instances that are not trained with 52.2% mask AP@all, and improve performance by +6.4%p after fine-tuning comparing to the model trained from scratch. In addition, we also confirm the possibility and performance improvement on the public dataset for fair analysis. Our code and pre-trained weights are avaliable online at: https://github.com/gist-ailab/Food-Instance-Segmentation


title: Incorporating Lambertian Priors into Surface Normals Measurement

abstract: The goal of photometric stereo is to measure the precise surface normal of a 3D object from observations with various shading cues. However, non-Lambertian surfaces influence the measurement accuracy due to irregular shading cues. Despite deep neural networks have been employed to simulate the performance of non-Lambertian surfaces, the error in specularities, shadows, and crinkle regions is hard to be reduced. In order to address this challenge, we here propose a photometric stereo network that incorporates Lambertian priors to better measure the surface normal. In this paper, we use the initial normal under the Lambertian assumption as the prior information to refine the normal measurement, instead of solely applying the observed shading cues to deriving the surface normal. Our method utilizes the Lambertian information to reparameterize the network weights and the powerful fitting ability of deep neural networks to correct these errors caused by general reflectance properties. Our explorations include: the Lambertian priors (1) reduce the learning hypothesis space, making our method learn the mapping in the same surface normal space and improving the accuracy of learning, and (2) provides the differential features learning, improving the surfaces reconstruction of details. Extensive experiments verify the effectiveness of the proposed Lambertian prior photometric stereo network in accurate surface normal measurement, on the challenging benchmark dataset.


title: Two-Stage Channel Estimation for Hybrid RIS Assisted MIMO Systems

abstract: Reconfigurable intelligent surfaces (RISs) have been proposed as a key enabler to improve the coverage of the signals and mitigate the frequent blockages in millimeter wave (mmWave) multiple-input multiple-output (MIMO) communications. However, the channel state information (CSI) acquisition is one of the major challenges for the practical deployment of the RIS. The passive RIS without any baseband processing capabilities brings difficulty on the channel estimation (CE), since the individual channels or the cascaded one can be estimated only at base station (BS) via uplink training or mobile station (MS) via downlink training. In order to facilitate the CSI acquisition, we focus on the hybrid RIS architecture, where a small number of elements are active and able to receive and process the pilot signals at the RIS. The CE is performed in two stages by following the atomic norm minimization to recover the channel parameters, i.e., angles of departure (AoDs), angles of arrival (AoAs), and propagation path gains. Simulation results show that the proposed scheme can outperform the passive RIS CE under the same training overhead. Furthermore, we also study the theoretical performance limits in terms of mean square error (MSE) via Cram\'er-Rao lower bound (CRLB) analyses.


title: Recurrent coronal jets observed by SDO/AIA

abstract: In this paper, we carry out multiwavelength observations of three recurring jets on 2014 November 7. The jets originated from the same region at the edge of AR 12205 and propagated along the same coronal loop. The eruptions were generated by magnetic reconnection, which is evidenced by continuous magnetic cancellation at the jet base. The projected initial velocity of the jet2 is 402 km s. The accelerations in the ascending and descending phases of jet2 are not consistent, the former is considerably larger than the value of solar gravitational acceleration at the solar surface, while the latter is lower than solar gravitational acceleration. There are two possible candidates of extra forces acting on jet2 during its propagation. One is the downward gas pressure from jet1 when it falls back and meets with jet2. The other is the viscous drag from the surrounding plasma during the fast propagation of jet2. As a contrast, the accelerations of jet3 in the rising and falling phases are constant, implying that the propagation of jet3 is not significantly influenced byextra forces.


title: Efficient Resources Distribution for an Ephemeral Cloud/Edge continuum

abstract: This paper presents the idea and the concepts behind the vision of an Ephemeral Cloud/Edge Continuum, a cloud/edge computing landscape that enables the exploitation of a widely distributed, dynamic, and context-aware set of resources. The Ephemeral Continuum answer to the need of combining a plethora of heterogeneous devices, which nowadays are pervasively embedding anthropic environments, with both federations of cloud providers and the resources located at the Edge. The aim of the Ephemeral Continuum is to realise a context-aware and personalised federation of computational, data and network resources, able to manage their heterogeneity in a highly distributed deployment.


title: Convergence guarantees for discrete mode approximations to non-Markovian quantum baths

abstract: Non-Markovian effects are important in modeling the behavior of open quantum systems arising in solid-state physics, quantum optics as well as in study of biological and chemical systems. The non-Markovian environment is often approximated by discrete bosonic modes, thus mapping it to a Lindbladian or Hamiltonian simulation problem. While systematic constructions of such modes have been previously proposed, the resulting approximation lacks rigorous and general convergence guarantees. In this letter, we show that under some physically motivated assumptions on the system-environment interaction, the finite-time dynamics of the non-Markovian open quantum system computed with a sufficiently large number of modes is guaranteed to converge to the true result. Furthermore, we show that this approximation error typically falls off polynomially with the number of modes. Our results lend rigor to classical and quantum algorithms for approximating non-Markovian dynamics.


title: RBUE: A ReLU-Based Uncertainty Estimation Method of Deep Neural Networks

abstract: Deep neural networks (DNNs) have successfully learned useful data representations in various tasks. However, assessing the reliability of these representations remains a challenge. Deep Ensemble is widely considered the state-of-the-art method which can estimate the uncertainty with higher quality, but it is very expensive to train and test. MC-Dropout is another popular method, which is less expensive but lacks the diversity of predictions. To estimate the uncertainty with higher quality in less time, we introduce a ReLU-Based Uncertainty Estimation (RBUE) method. Instead of randomly dropping some neurons of the network as in MC-Dropout or using the randomness of the initial weights of networks as in Deep Ensemble, RBUE adds randomness to the activation function module, making the outputs diverse. Under the method, we propose two strategies, MC-DropReLU and MC-RReLU, to estimate uncertainty. We analyze and compare the output diversity of MC-Dropout and our method from the variance perspective and obtain the relationship between the hyperparameters and predictive diversity in the two methods. Moreover, our method is simple to implement and does not need to modify the existing model. We experimentally validate the RBUE on three widely used datasets, CIFAR10, CIFAR100, and TinyImageNet. The experiments demonstrate that our method has competitive performance but is more favorable in training time and memory requirements.


title: Graph-Embedded Multi-Agent Learning for Smart Reconfigurable THz MIMO-NOMA Networks

abstract: With the accelerated development of immersive applications and the explosive increment of internet-of-things (IoT) terminals, 6G would introduce terahertz (THz) massive multiple-input multiple-output non-orthogonal multiple access (MIMO-NOMA) technologies to meet the ultra-high-speed transmission and massive connectivity requirements. Nevertheless, the unreliability of THz transmissions and the extreme heterogeneity of device requirements pose critical challenges for practical applications. To address these challenges, we propose a novel smart reconfigurable THz MIMO-NOMA framework, which can realize customizable and intelligent communications by flexibly and coordinately reconfiguring hybrid beams through the cooperation between access points (APs) and reconfigurable intelligent surfaces (RISs). The optimization problem is formulated as a decentralized partially-observable Markov decision process (Dec-POMDP) to maximize the network energy efficiency, while guaranteeing the diversified users' performance, via a joint RIS element selection, coordinated discrete phase-shift control, and power allocation strategy. To solve the above non-convex, strongly coupled, and highly complex mixed integer nonlinear programming (MINLP) problem, we propose a novel multi-agent deep reinforcement learning (MADRL) algorithm, namely graph-embedded value-decomposition actor-critic (GE-VDAC), that embeds the interaction information of agents, and learns a locally optimal solution through a distributed policy. Numerical results demonstrate that the proposed algorithm achieves highly customized communications and outperforms traditional MADRL algorithms.


title: Dynamics of inflation with mutually orthogonal vector fields in a closed universe

abstract: We study the dynamics of a homogeneous, isotropic, and positively curved universe in the presence of a SU(2) gauge field or a triplet of mutually orthogonal vector fields. In the SU(2) case we use the previously known ansatz for the gauge-field configuration, but the case without non-abelian symmetries is more nontrivial and we develop a new ansatz. We in particular consider axion-SU(2) inflation and inflation with vector fields having U(1)$\times$U(1)$\times$U(1) symmetry, and analyze their dynamics in detail numerically. Novel effects of the spatial curvature come into play through vector fields, which causes unconventional pre-inflationary dynamics. It is found that the closed universe with vector fields is slightly more stable against collapse than that filled solely with an inflaton field.


title: Real-Time Grasping Strategies Using Event Camera

abstract: Robotic vision plays a key role for perceiving the environment in grasping applications. However, the conventional framed-based robotic vision, suffering from motion blur and low sampling rate, may not meet the automation needs of evolving industrial requirements. This paper, for the first time, proposes an event-based robotic grasping framework for multiple known and unknown objects in a cluttered scene. Compared with standard frame-based vision, neuromorphic vision has advantages of microsecond-level sampling rate and no motion blur. Building on that, the model-based and model-free approaches are developed for known and unknown objects' grasping respectively. For the model-based approach, event-based multi-view approach is used to localize the objects in the scene, and then point cloud processing allows for the clustering and registering of objects. Differently, the proposed model-free approach utilizes the developed event-based object segmentation, visual servoing and grasp planning to localize, align to, and grasp the targeting object. The proposed approaches are experimentally validated with objects of different sizes, using a UR10 robot with an eye-in-hand neuromorphic camera and a Barrett hand gripper. Moreover, the robustness of the two proposed event-based grasping approaches are validated in a low-light environment. This low-light operating ability shows a great advantage over the grasping using the standard frame-based vision. Furthermore, the developed model-free approach demonstrates the advantage of dealing with unknown object without prior knowledge compared to the proposed model-based approach.


title: Neighbor-view Enhanced Model for Vision and Language Navigation

abstract: Vision and Language Navigation (VLN) requires an agent to navigate to a target location by following natural language instructions. Most of existing works represent a navigation candidate by the feature of the corresponding single view where the candidate lies in. However, an instruction may mention landmarks out of the single view as references, which might lead to failures of textual-visual matching of existing methods. In this work, we propose a multi-module Neighbor-View Enhanced Model (NvEM) to adaptively incorporate visual contexts from neighbor views for better textual-visual matching. Specifically, our NvEM utilizes a subject module and a reference module to collect contexts from neighbor views. The subject module fuses neighbor views at a global level, and the reference module fuses neighbor objects at a local level. Subjects and references are adaptively determined via attention me'chanisms. Our model also includes an action module to utilize the strong orientation guidance (e.g., "turn left") in instructions. Each module predicts navigation action separately and their weighted sum is used for predicting the final action. Extensive experimental results demonstrate the effectiveness of the proposed method on the R2R and R4R benchmarks against several state-of-the-art navigators, and NvEM even beats some pre-training ones. Our code is available at https://github.com/MarSaKi/NvEM.


title: Representations of Hopf-Ore extensions of group algebras

abstract: In this paper, we study the representations of the Hopf-Ore extensions $kG(\chi^{-1}, a, 0)$ of group algebra $kG$, where $k$ is an algebraically closed field. We classify all finite dimensional simple $kG(\chi^{-1}, a, 0)$-modules under the assumption $|\chi|=\infty$ and $|\chi|=|\chi(a)|<\infty$ respectively, and all finite dimensional indecomposable $kG(\chi^{-1}, a, 0)$-modules under the assumption that $kG$ is finite dimensional and semisimple, and $|\chi|=|\chi(a)|$. Moreover, we investigate the decomposition rules for the tensor product modules over $kG(\chi^{-1}, a, 0)$ when char$(k)$=0. Finally, we consider the representations of some Hopf-Ore extension of the dihedral group algebra $kD_n$, where $n=2m$, $m>1$ odd, and char$(k)$=0. The Grothendieck ring and the Green ring of the Hopf-Ore extension are described respectively in terms of generators and relations.


title: Clustering-based convergence diagnostic for multi-modal identification in parameter estimation of chromatography model with parallel MCMC

abstract: Uncertainties from experiments and models render multi-modal difficulties in model calibrations. Bayesian inference and \textsc{mcmc} algorithm have been applied to obtain posterior distributions of model parameters upon uncertainty. However, multi-modality leads to difficulty in convergence criterion of parallel \textsc{mcmc} sampling chains. The commonly applied $\widehat{R}$ diagnostic does not behave well when multiple sampling chains are evolving to different modes. Both partitional and hierarchical clustering methods has been combined to the traditional $\widehat{R}$ diagnostic to deal with sampling of target distributions that are rough and multi-modal. It is observed that the distributions of binding parameters and pore diffusion of particle parameters are multi-modal. Therefore, the steric mass-action model used to describe ion-exchange effects of the model protein, lysozyme, on the \textsc{sp} Sepharose \textsc{ff} stationary phase might not be fully capable in certain experimental conditions, as model uncertainty from steric mass-action would result in multi-modality.


title: Moduli Spaces for the Fifth Painlev\'e Equation

abstract: Isomonodromy for the fifth Painlev\'e equation ${\rm P}_5$ is studied in detail in the context of certain moduli spaces for connections, monodromy, the Riemann-Hilbert morphism, and Okamoto-Painlev\'e spaces. This involves explicit formulas for Stokes matrices and parabolic structures. The rank 4 Lax pair for ${\rm P}_5$, introduced by Noumi-Yamada et al., is shown to be induced by a natural fine moduli space of connections of rank 4. As a by-product one obtains a polynomial Hamiltonian for ${\rm P}_5$, equivalent to the one of Okamoto.


title: Relativistic Langevin Equation derived from a particle-bath Lagrangian

abstract: We show how a relativistic Langevin equation can be derived from a Lorentz-covariant version of the Caldeira-Leggett particle-bath Lagrangian. In one of its limits, we identify the obtained equation with the Langevin equation used in contemporary extensions of statistical mechanics to the near-light-speed motion of a Brownian particle in non-relativistic dissipative fluids. The proposed framework provides a more rigorous and first-principles form of the Langevin equation often quoted or postulated as ansatz in previous works. We then refine the aforementioned results by considering more terms in the particle-bath coupling, which improves the precision of the approximation for fully relativistic settings where not only the tagged particle but also the thermal bath motion is relativistic. We discuss the implications of the apparent breaking of space-time translation and parity invariance, showing that these effects are not necessarily in contradiction with the assumptions of statistical mechanics. The intrinsically non-Markovian character of the fully relativistic generalized Langevin equation derived here, and of the associated fluctuation-dissipation theorem, is also discussed.

categories: cond-mat.stat-mech astro-ph.HE cond-mat.soft hep-th physics.plasm-ph


title: Credit scoring using neural networks and SURE posterior probability calibration

abstract: In this article we compare the performances of a logistic regression and a feed forward neural network for credit scoring purposes. Our results show that the logistic regression gives quite good results on the dataset and the neural network can improve a little the performance. We also consider different sets of features in order to assess their importance in terms of prediction accuracy. We found that temporal features (i.e. repeated measures over time) can be an important source of information resulting in an increase in the overall model accuracy. Finally, we introduce a new technique for the calibration of predicted probabilities based on Stein's unbiased risk estimate (SURE). This calibration technique can be applied to very general calibration functions. In particular, we detail this method for the sigmoid function as well as for the Kumaraswamy function, which includes the identity as a particular case. We show that stacking the SURE calibration technique with the classical Platt method can improve the calibration of predicted probabilities.


title: A Jentzsch-Theorem for Kapteyn, Neumann, and General Dirichlet Series

abstract: Comparing phase plots of truncated series solutions of Kepler's equation by Lagrange's power series with those by Bessel's Kapteyn series strongly suggest that a Jentzsch-type theorem holds true not only for the former but also for the latter series: each point of the boundary of the domain of convergence in the complex plane is a cluster point of zeros of sections of the series. We prove this result by studying properties of the growth function of a sequence of entire functions. For series, this growth function is computable in terms of the convergence abscissa of an associated general Dirichlet series. The proof then extends, besides including Jentzsch's classical result for power series, to general Dirichlet series, to Kapteyn, and to Neumann series of Bessel functions. Moreover, sections of Kapteyn and Neumann series generally exhibit zeros close to the real axis which can be explained, including their asymptotic linear density, by the theory of the distribution of zeros of entire functions.


title: Design of Distributed Reconfigurable Robotics Systems with ReconROS

abstract: Robotics applications process large amounts of data in real-time and require compute platforms that provide high performance and energy-efficiency. FPGAs are well-suited for many of these applications, but there is a reluctance in the robotics community to use hardware acceleration due to increased design complexity and a lack of consistent programming models across the software/hardware boundary. In this paper we present ReconROS, a framework that integrates the widely-used robot operating system (ROS) with ReconOS, which features multithreaded programming of hardware and software threads for reconfigurable computers. This unique combination gives ROS 2 developers the flexibility to transparently accelerate parts of their robotics applications in hardware. We elaborate on the architecture and the design flow for ReconROS and report on a set of experiments that underline the feasibility and flexibility of our approach.


title: Aspects of the polynomial affine model of gravity in three dimensions

abstract: The polynomial affine gravity is a model that is built up without the explicit use of a metric tensor field. In this article we reformulate the three-dimensional model and, given the decomposition of the affine connection, we analyse the consistently truncated sectors. Using the cosmological ansatz for the connection, we scan the cosmological solutions on the truncated sectors. We discuss the emergence of different kinds of metrics.


title: Influence of the electron spill-out and nonlocality on gap-plasmons in the limit of vanishing gaps

abstract: We study the effect of electron spill-out and of nonlocality on the propagation of light inside a gap between two semi-infinite metallic regions. We compare the predictions of a local response model taking into account only the spill-out, to the predictions of a quantum hydrodynamic model able to take both phenomena into account. We show that only the latter is able to correctly retrieve the correct limit when the gap closes, while the local model suffers from undesirable features (divergence of the fields, overestimation of the losses). Finally, we show that, to a certain extent, the correct results can be retrieved using a simple local approach without spill-out or conventional Thomas-Fermi approximation, but considering an effective gap width.


title: Decentralized Bayesian Learning with Metropolis-Adjusted Hamiltonian Monte Carlo

abstract: Federated learning performed by a decentralized networks of agents is becoming increasingly important with the prevalence of embedded software on autonomous devices. Bayesian approaches to learning benefit from offering more information as to the uncertainty of a random quantity, and Langevin and Hamiltonian methods are effective at realizing sampling from an uncertain distribution with large parameter dimensions. Such methods have only recently appeared in the decentralized setting, and either exclusively use stochastic gradient Langevin and Hamiltonian Monte Carlo approaches that require a diminishing stepsize to asymptotically sample from the posterior and are known in practice to characterize uncertainty less faithfully than constant step-size methods with a Metropolis adjustment, or assume strong convexity properties of the potential function. We present the first approach to incorporating constant stepsize Metropolis-adjusted HMC in the decentralized sampling framework, show theoretical guarantees for consensus and probability distance to the posterior stationary distribution, and demonstrate their effectiveness numerically on standard real world problems, including decentralized learning of neural networks which is known to be highly non-convex.


title: Duplicated Code Pattern Mining in Visual Programming Languages

abstract: Visual Programming Languages (VPLs), coupled with the high-level abstractions that are commonplace in visual programming environments, enable users with less technical knowledge to become proficient programmers. However, the lower skill floor required by VPLs also entails that programmers are more likely to not adhere to best practices of software development, producing systems with high technical debt, and thus poor maintainability. Duplicated code is one important example of such technical debt. In fact, we observed that the amount of duplication in the OutSystems VPL code bases can reach as high as $39\%$. Duplicated code detection in text-based programming languages is still an active area of research with important implications regarding software maintainability and evolution. However, to the best of our knowledge, the literature on duplicated code detection for VPLs is very limited. We propose a novel and scalable duplicated code pattern mining algorithm that leverages the visual structure of VPLs in order to not only detect duplicated code, but also highlight duplicated code patterns that explain the reported duplication. The performance of the proposed approach is evaluated on a wide range of real-world mobile and web applications developed using OutSystems.


title: Determinantal Point Processes in the Flat Limit

abstract: Determinantal point processes (DPPs) are repulsive point processes where the interaction between points depends on the determinant of a positive-semi definite matrix. In this paper, we study the limiting process of L-ensembles based on kernel matrices, when the kernel function becomes flat (so that every point interacts with every other point, in a sense). We show that these limiting processes are best described in the formalism of extended L-ensembles and partial projection DPPs, and the exact limit depends mostly on the smoothness of the kernel function. In some cases, the limiting process is even universal, meaning that it does not depend on specifics of the kernel function, but only on its degree of smoothness. Since flat-limit DPPs are still repulsive processes, this implies that practically useful families of DPPs exist that do not require a spatial length-scale parameter.


title: Spin-orbit coupling and magnetism in $\rm Sr_2CrO_4$

abstract: With octahedrally coordinated $t_{\rm 2g}$ orbitals which are active at filling $n=2$, the $\rm Sr_2CrO_4$ compound exhibits rich interplay of spin-orbital physics with tetragonal distortion induced crystal field tuning by external agent such as pressure. Considering both reversed and restored crystal field regimes, collective spin-orbital excitations are investigated in the antiferromagnetic state using the generalized self consistent + fluctuations approach including spin-orbit coupling (SOC). A transition is found from staggered to entangled orbital order at critical SOC value in the realistic regime. Behavior of the calculated energy scales of collective excitations with crystal field is in striking similarity to that of the transition temperatures with pressure as obtained from susceptibility and resistivity anomalies in high-pressure studies.


title: The X-Ray Binary Population with Fermi-LAT

abstract: Binary star systems represent a significant proportion of the Galactic stellar population, with X-ray binaries being an important subset of these for high energy astrophysics. Although hundreds of X-ray binaries are detected in the Milky Way and beyond, only 12 of these systems are listed in the 4FGL-DR2, the latest Fermi-LAT point source catalogue. With such a small number detectable by Fermi-LAT, much is still unknown about the mechanisms by which these systems emit $\gamma$-rays. We present the method and current status of our large-scale survey of the X-ray binary population using over 12 years of Fermi-LAT data, and current catalogues and background models.


title: Gap Sensitivity Reveals Universal Behaviors in Optimized Photonic Crystal and Disordered Networks

abstract: Through an extensive series of high-precision numerical computations of the optimal complete photonic band gap (PBG) as a function of dielectric contrast $\alpha$ for a variety of crystal and disordered heterostructures, we reveal striking universal behaviors of the gap sensitivity $\mathcal{S}(\alpha)\equiv d\Delta(\alpha)/d\alpha$, the first derivative of the optimal gap-to-midgap ratio $\Delta(\alpha)$. In particular, for all our crystal networks, $\mathcal{S}(\alpha)$ takes a universal form that is well approximated by the analytic formula for a one-dimensional quarter-wave stack, $\mathcal{S}_{\text{QWS}}(\alpha)$. Even more surprisingly, the values of $\mathcal{S}(\alpha)$ for our disordered networks converge to $\mathcal{S}_{\text{QWS}}(\alpha)$ for sufficiently large $\alpha$. A deeper understanding of the simplicity of this universal behavior may provide fundamental insights about PBG formation and guidance in the design of novel photonic heterostructures.


title: Dynamic Link Network Emulation: a Model-based Design

abstract: This paper presents the design and architecture of a network emulator whose links' parameters (such as delay and bandwidth) vary at different time instances. The emulator can thus be used in order to test and evaluate novel solutions for such networks, before their final deployment. To achieve this goal, different existing technologies are carefully combined to emulate link dynamicity, automatic traffic generation, and overall network device emulation. The emulator takes as an input a formal model of the network to emulate and configures all required software to execute live software instances of the desired network components, in the requested topology. We devote our study to the so-called dynamic link networks, with potentially asymmetric links. Since emulating asymmetric dynamic links is far from trivial (even with the existing state-of-the-art tools), we provide a detailed design architecture that allows this. As a case study, a satellite network emulation is presented. Experimental results show the precision of our dynamic assignments and the overall flexibility of the proposed solution.


title: Batalin--Vilkovisky quantization and supersymmetric twists

abstract: We show that a family of topological twists of a supersymmetric mechanics with a K\"ahler target exhibits a Batalin--Vilkovisky quantization. Using this observation we make a general proposal for the Hilbert space of states after a topological twist in terms of the cohomology of a certain perverse sheaf. We give several examples of the resulting Hilbert spaces including the categorified Donaldson--Thomas invariants, Haydys--Witten theory and the 3-dimensional A-model.


title: Crystal growth, characterization and phase transition of PbCuTe$_2$O$_6$

abstract: Single crystals of the three-dimensional frustrated magnet and spin liquid candidate compound PbCuTe$_2$O$_6$ were grown using both the Travelling Solvent Floating Zone (TSFZ) and the Top-Seeded Solution Growth (TSSG) techniques. The growth conditions were optimized by investigating the thermal properties. The quality of the crystals was checked by polarized optical microscopy, X-ray Laue and X-ray powder diffraction, and compared to the polycrystalline samples. Excellent quality crystals were obtained by the TSSG method. Magnetic measurements of these crystals revealed a small anisotropy for different crystallographic directions in comparison with the previously reported data. The heat capacity of both single crystal and powder samples reveal a transition anomaly around 1 K. Curiously the position and magnitude of the transition are strongly dependent on the crystallite size and it is almost entirely absent for the smallest crystallites. A structural transition is suggested which accompanies the reported ferroelectric transition, and a scenario whereby it becomes energetically unfavourable in small crystallites is proposed.


title: Modelling continuum intensity perturbations caused by solar acoustic oscillations

abstract: Helioseismology is the study of the solar interior using observations of oscillations at the surface. It suffers from systematic errors, such as a center-to-limb error in travel-time measurements. Understanding these errors requires a good understanding of the nontrivial relationship between wave displacement and helioseismic observables. The wave displacement causes perturbations in the atmospheric thermodynamical quantities which perturb the opacity, the optical depth, the source function, and the local ray geometry, thus affecting the emergent intensity. We aim to establish the most complete relationship up to now between the displacement and the intensity perturbation by solving the radiative transfer problem in the atmosphere. We derive an expression for the intensity perturbation caused by acoustic oscillations at any point on the solar disk by applying the first-order perturbation theory. As input, we consider adiabatic modes of oscillation of different degrees. The background and the perturbed intensities are computed considering the main sources of opacity in the continuum. We find that, for all modes, the perturbations to the thermodynamical quantities are not sufficient to model the intensity. In addition, the geometrical effects due to the displacement must be taken into account as they lead to a difference in amplitude and a phase shift between the temperature at the surface and intensity perturbations. The closer to the limb, the larger the differences. This work presents improvements for the computation of the intensity perturbations, in particular for high-degree modes, and explains differences in intensity computations in earlier works. The phase shifts and amplitude differences between the temperature and intensity perturbations increase towards the limb. This should help to interpret some of the systematic center-to-limb effects observed in local helioseismology.


title: Lemniscate ensembles with spectral singularity

abstract: We consider a family of random normal matrix models whose eigenvalues tend to occupy lemniscate type droplets as the size of the matrix increases. Under the insertion of a point charge, we derive the scaling limit at the singular boundary point, which is expressed in terms of the solution to the model Painlev\'{e} IV Riemann-Hilbert problem. For this, we introduce a version of the Christoffel-Darboux identity and combine it with the strong asymptotics of the associated orthogonal polynomials due to Bertola, Elias Rebelo and Grava.


title: Fast simulations of extragalactic microlensing

abstract: We present a new and very fast method for producing microlensing magnification maps at high optical depths. It is based on the combination of two approaches: (a) the two-dimensional Poisson solver for a deflection potential and (b) inverse polygon mapping. With our method we extremely reduce the computing time for the generation of magnification patterns and avoid the use of highly demanding computer resources. For example, the generation of a magnification map of size 2000 x 2000 pixels, covering a region of 20 Einstein radii, takes a few seconds on a state-of-the-art laptop. The method presented here will facilitate the massive production of magnification maps for extragalactic microlensing studies within the forthcoming surveys without the need for large computer clusters. The modest demand of computer power and a fast execution time allow the code developed here to be placed on a standard server and thus provide the public online access through a web-based interface.


title: Improving Security in McAdams Coefficient-Based Speaker Anonymization by Watermarking Method

abstract: Speaker anonymization aims to suppress speaker individuality to protect privacy in speech while preserving the other aspects, such as speech content. One effective solution for anonymization is to modify the McAdams coefficient. In this work, we propose a method to improve the security for speaker anonymization based on the McAdams coefficient by using a speech watermarking approach. The proposed method consists of two main processes: one for embedding and one for detection. In embedding process, two different McAdams coefficients represent binary bits ``0" and ``1". The watermarked speech is then obtained by frame-by-frame bit inverse switching. Subsequently, the detection process is carried out by a power spectrum comparison. We conducted objective evaluations with reference to the VoicePrivacy 2020 Challenge (VP2020) and of the speech watermarking with reference to the Information Hiding Challenge (IHC) and found that our method could satisfy the blind detection, inaudibility, and robustness requirements in watermarking. It also significantly improved the anonymization performance in comparison to the secondary baseline system in VP2020.


title: StyleVideoGAN: A Temporal Generative Model using a Pretrained StyleGAN

abstract: Generative adversarial models (GANs) continue to produce advances in terms of the visual quality of still images, as well as the learning of temporal correlations. However, few works manage to combine these two interesting capabilities for the synthesis of video content: Most methods require an extensive training dataset to learn temporal correlations, while being rather limited in the resolution and visual quality of their output. We present a novel approach to the video synthesis problem that helps to greatly improve visual quality and drastically reduce the amount of training data and resources necessary for generating videos. Our formulation separates the spatial domain, in which individual frames are synthesized, from the temporal domain, in which motion is generated. For the spatial domain we use a pre-trained StyleGAN network, the latent space of which allows control over the appearance of the objects it was trained for. The expressive power of this model allows us to embed our training videos in the StyleGAN latent space. Our temporal architecture is then trained not on sequences of RGB frames, but on sequences of StyleGAN latent codes. The advantageous properties of the StyleGAN space simplify the discovery of temporal correlations. We demonstrate that it suffices to train our temporal architecture on only 10 minutes of footage of 1 subject for about 6 hours. After training, our model can not only generate new portrait videos for the training subject, but also for any random subject which can be embedded in the StyleGAN space.


title: COAST: COntrollable Arbitrary-Sampling NeTwork for Compressive Sensing

abstract: Recent deep network-based compressive sensing (CS) methods have achieved great success. However, most of them regard different sampling matrices as different independent tasks and need to train a specific model for each target sampling matrix. Such practices give rise to inefficiency in computing and suffer from poor generalization ability. In this paper, we propose a novel COntrollable Arbitrary-Sampling neTwork, dubbed COAST, to solve CS problems of arbitrary-sampling matrices (including unseen sampling matrices) with one single model. Under the optimization-inspired deep unfolding framework, our COAST exhibits good interpretability. In COAST, a random projection augmentation (RPA) strategy is proposed to promote the training diversity in the sampling space to enable arbitrary sampling, and a controllable proximal mapping module (CPMM) and a plug-and-play deblocking (PnP-D) strategy are further developed to dynamically modulate the network features and effectively eliminate the blocking artifacts, respectively. Extensive experiments on widely used benchmark datasets demonstrate that our proposed COAST is not only able to handle arbitrary sampling matrices with one single model but also to achieve state-of-the-art performance with fast speed. The source code is available on https://github.com/jianzhangcs/COAST.


title: Proton Radiography in Background Magnetic Fields

abstract: Proton radiography has proved increasingly successful as a diagnostic for electric and magnetic fields in high energy density physics experiments. Most experiments use target-normal-sheath-acceleration sources with a wide energy range in the proton beam, as the velocity spread can help differentiate between electric and magnetic fields and provide time histories in a single shot. However, in magnetised plasma experiments with strong background fields, the broadband proton spectrum leads to velocity-spread-dependent displacement of the beam and significant blurring of the radiograph. We describe the origins of this blurring and show how it can be removed from the experimental measurement, and we outline the conditions under which such deconvolutions are successful. As an example, we apply this method to a magnetised plasma experiment that used a background magnetic field of 3 T. The strong displacement and energy spread of the proton beam reduced the spatial resolution from tens of microns to a few millimetres. The deconvolution procedure is applied showing the accurate recovery of radiographs with resolutions better than 100 microns, enabling the recovery of more accurate estimates of the path integrated magnetic field. This work extends accurate proton radiography to a class of experiments with significant background magnetic fields, particularly those experiments with an applied external magnetic field.


title: Local evidence for collective spin excitations in the distorted kagome antiferromagnet Pr$_3$BWO$_9$

abstract: We report the local probe investigation of a frustrated antiferromagnet Pr$_3$BWO$_9$ with the distorted kagome lattice. Absence of magnetic order or spin freezing is indicated by the spectral analysis down to 0.3 K and specific heat measurements down to 0.09 K. The Knight shifts show an upturn behavior with the sample cooling down, which is further suppressed by external field. For the spin dynamics, gapped spin excitation is observed from the temperature dependence of spin-lattice relaxation rates, with the gap size proportional to the applied magnetic field intensity. Comparatively, an unexpected sharp peak is observed in the nuclear spin-spin relaxation rate data at $T^*\sim 4-5$ K. These results indicate an unconventional persistent fluctuating paramagnetic ground state with antiferromagnetic collective spin excitations in the strongly frustrated spin system.


title: Tableaux for Free Logics with Descriptions

abstract: The paper provides a tableau approach to definite descriptions. We focus on several formalizations of the so-called minimal free description theory (MFD) usually formulated axiomatically in the setting of free logic. We consider five analytic tableau systems corresponding to different kinds of free logic, including the logic of definedness applied in computer science and constructive mathematics for dealing with partial functions (here called negative quasi-free logic). The tableau systems formalise MFD based on PFL (positive free logic), NFL (negative free logic), PQFL and NQFL (the quasi-free counterparts of the former ones). Also the logic NQFLm is taken into account, which is equivalent to NQFL, but whose language does not comprise the existence predicate. It is shown that all tableaux are sound and complete with respect to the semantics of these logics.


title: Trusting RoBERTa over BERT: Insights from CheckListing the Natural Language Inference Task

abstract: The recent state-of-the-art natural language understanding (NLU) systems often behave unpredictably, failing on simpler reasoning examples. Despite this, there has been limited focus on quantifying progress towards systems with more predictable behavior. We think that reasoning capability-wise behavioral summary is a step towards bridging this gap. We create a CheckList test-suite (184K examples) for the Natural Language Inference (NLI) task, a representative NLU task. We benchmark state-of-the-art NLI systems on this test-suite, which reveals fine-grained insights into the reasoning abilities of BERT and RoBERTa. Our analysis further reveals inconsistencies of the models on examples derived from the same template or distinct templates but pertaining to same reasoning capability, indicating that generalizing the models' behavior through observations made on a CheckList is non-trivial. Through an user-study, we find that users were able to utilize behavioral information to generalize much better for examples predicted from RoBERTa, compared to that of BERT.


title: Structure of Open Clusters -- Gaia DR2 and its limitations

abstract: Very precise observational data are needed for studying the stellar cluster parameters (distance, reddening, age, metallicity) and cluster internal kinematics. In turn, these give us an insight into the properties of our Galaxy, for example, by giving us the ability to trace Galactic spiral structure, star formation rates and metallicity gradients. We investigated the available Gaia DR2 catalogue of 1229 open clusters and studied cluster distances, sizes and membership distributions in the 3D space. An appropriate analysis of the parallaxto-distance transformation problem is presented in the context of getting distances toward open clusters and estimating their sizes. Based on our investigation of the Gaia DR2 data we argue that, within 2 kpc, the inverse-parallax method gives comparable results (distances and sizes) as the Bayesian approach based on the exponentially decreasing volume density prior. Both of these methods show very similar dependence of the line-of-sight elongation of clusters (needle-like shapes resulting from the parallax uncertainties) on the distance. We also looked at a measure of elongations of the studied clusters and find the maximum distance of 665 pc at which a spherical fit still contains about half of the stellar population of a cluster. It follows from these results that the 3D structure of an open cluster cannot be properly studied beyond about 500 pc when using any of mentioned standard transformations of parallaxes to distances.