title: Optical Push Broom On a Chip

abstract: Here we report the first experimental demonstration of light trapping by a refractive index front in a silicon waveguide, the optical push broom effect. The front generated by a fast pump pulse collects and traps the energy of a CW signal with smaller group velocity and tuned near to the band gap of the Bragg grating introduced in the waveguide. This situation represents an optical analogue of light trapping in a tapered plasmonic waveguide where light is stopped without reflection. The energy of the CW signal is accumulated inside the front and distributed in frequency. In this experiment a 2 ps free carrier front was generated via two photon absorption of the pump in silicon waveguide. It collects approximately a 30 ps long packet of the CW signal. The presented effect can be utilized to compress signals in time and space.


title: (Co)ends for representations of tensor categories

abstract: We generalize the notion of ends and coends in category theory to the realm of module categories over finite tensor categories. We call this new concept "module (co)end". This tool allows us to give different proofs to several known results in the theory of representations of finite tensor categories. As a new application, we present a description of the relative Serre functor for module categories in terms of a module coend, in a analogous way as a Morita invariant description of the Nakayama functor of abelian categories presented in [J. Fuchs, G. Schaumann and C. Schweigert, Eilenberg-Watts calculus for finite categories and a bimodule Radford S^4 theorem, Trans. Amer. Math. Soc. 373 (2020), 1-40]


title: Pulse Shape Discrimination of Bulk and Very Bulk Events within HPGe Detectors

abstract: The CDEX (China Dark matter Experiment) now deploys ~10 kg pPCGe (p-type Point Contact Germanium) detectors in CJPL (China Jinping Underground Laboratory). It aims to detect rare events such as dark matter and 0vbb (neutrinoless double beta decay). The discrimination of bulk and very bulk events are essential for improvements of the analysis threshold of dark matter. Very bulk events are generated near the p+ point surface of pPCGe, which are usually from radioactive materials of electronic devices. Due to different locations of charge collection, bulk and very bulk events have different pulse shape. This paper will present two linear PSD (Pulse Shape Discrimination) methods: CCM (Charge Comparison Method) and Fisher's LDA (Linear Discriminant Analysis), to realize the discrimination of bulk and very bulk events. The results show that FOMs (Figure of Merit) are 1.38 $\pm$ 0.33 and 1.62 $\pm$ 0.18 by CCM and Fisher's LDA respectively.


title: Casting a BAIT for Offline and Online Source-free Domain Adaptation

abstract: We address the source-free domain adaptation (SFDA) problem, where only the source model is available during adaptation to the target domain. We consider two settings: the offline setting where all target data can be visited multiple times (epochs) to arrive at a prediction for each target sample, and the online setting where the target data needs to be directly classified upon arrival. Inspired by diverse classifier based domain adaptation methods, in this paper we introduce a second classifier, but with another classifier head fixed. When adapting to the target domain, the additional classifier initialized from source classifier is expected to find misclassified features. Next, when updating the feature extractor, those features will be pushed towards the right side of the source decision boundary, thus achieving source-free domain adaptation. Experimental results show that the proposed method achieves competitive results for offline SFDA on several benchmark datasets compared with existing DA and SFDA methods, and our method surpasses by a large margin other SFDA methods under online source-free domain adaptation setting.


title: Evaluating Language Tools for Fifteen EU-official Under-resourced Languages

abstract: This article presents the results of the evaluation campaign of language tools available for fifteen EU-official under-resourced languages. The evaluation was conducted within the MSC ITN CLEOPATRA action that aims at building the cross-lingual event-centric knowledge processing on top of the application of linguistic processing chains (LPCs) for at least 24 EU-official languages. In this campaign, we concentrated on three existing NLP platforms (Stanford CoreNLP, NLP Cube, UDPipe) that all provide models for under-resourced languages and in this first run we covered 15 under-resourced languages for which the models were available. We present the design of the evaluation campaign and present the results as well as discuss them. We considered the difference between reported and our tested results within a single percentage point as being within the limits of acceptable tolerance and thus consider this result as reproducible. However, for a number of languages, the results are below what was reported in the literature, and in some cases, our testing results are even better than the ones reported previously. Particularly problematic was the evaluation of NERC systems. One of the reasons is the absence of universally or cross-lingually applicable named entities classification scheme that would serve the NERC task in different languages analogous to the Universal Dependency scheme in parsing task. To build such a scheme has become one of our the future research directions.


title: Relative projective group codes over chain rings

abstract: A structure theorem of the group codes which are relative projective for the subgroup $\lbrace 1 \rbrace$ of $G$ is given. With this, we show that all such relative projective group codes in a fixed group algebra $RG$ are in bijection to the chains of projective group codes of length $\ell$ in the group algebra $\mathbb{F}G$, where $\mathbb{F}$ is the residue field of $R$. We use a given chain to construct the dual code in $RG$ and also derive the minimum Hamming weight as well as a lower bound of the minimum euclidean weight.


title: Training Noisy Single-Channel Speech Separation With Noisy Oracle Sources: A Large Gap and A Small Step

abstract: As the performance of single-channel speech separation systems has improved, there has been a desire to move to more challenging conditions than the clean, near-field speech that initial systems were developed on. When training deep learning separation models, a need for ground truth leads to training on synthetic mixtures. As such, training in noisy conditions requires either using noise synthetically added to clean speech, preventing the use of in-domain data for a noisy-condition task, or training using mixtures of noisy speech, requiring the network to additionally separate the noise. We demonstrate the relative inseparability of noise and that this noisy speech paradigm leads to significant degradation of system performance. We also propose an SI-SDR-inspired training objective that tries to exploit the inseparability of noise to implicitly partition the signal and discount noise separation errors, enabling the training of better separation systems with noisy oracle sources.


title: Unraveling the Non-Hermitian Skin Effect in Dissipative Systems

abstract: The non-Hermitian skin effect, i.e. eigenstate condensation at the edges in lattices with open boundaries, is an exotic manifestation of non-Hermitian systems. In Bloch theory, an effective non-Hermitian Hamiltonian is generally used to describe dissipation, which however is not norm-preserving and neglects quantum jumps. Here it is shown that in a self-consistent description of the dissipative dynamics in a one-band lattice, based on the stochastic Schr\"odinger equation or Lindblad master equation with a collective jump operator, the skin effect and its dynamical features are washed out. Nevertheless, both short- and long-time relaxation dynamics provide a hidden signature of the skin effect found in the semiclassical limit. In particular, relaxation toward a maximally mixed state with the largest von Neumann entropy in a lattice with open boundaries is a manifestation of the semiclassical skin effect.


title: Combined magnetic and gravity measurements probe the deep zonal flows of the gas giants

abstract: During the past few years, both the Cassini mission at Saturn and the Juno mission at Jupiter, provided measurements with unprecedented accuracy of the gravity and magnetic fields of the two gas giants. Using the gravity measurements, it was found that the strong zonal flows observed at the cloud-level of the gas giants are likely to extend thousands of kilometers deep into the planetary interior. However, the gravity measurements alone, which are by definition an integrative measure of mass, cannot constrain with high certainty the exact vertical structure of the flow. Taking into account the recent Cassini magnetic field measurements of Saturn, and past secular variations of Jupiter's magnetic field, we obtain an additional physical constraint on the vertical decay profile of the observed zonal flows on these planets. Our combined gravity-magnetic analysis reveals that the cloud-level winds on Saturn (Jupiter) extend with very little decay, i.e., barotropically, down to a depth of around 7,000~km (2,000~km) and then decay rapidly in the semiconducting region, so that within the next 1,000 km (600~km) their value reduces to about 1\% of that at the cloud-level. These results indicate that there is no significant mechanism acting to decay the flow in the outer neutral region, and that the interaction with the magnetic field in the semiconducting region might play a central role in the decay of the flows.


title: Natural Language Processing Chains Inside a Cross-lingual Event-Centric Knowledge Pipeline for European Union Under-resourced Languages

abstract: This article presents the strategy for developing a platform containing Language Processing Chains for European Union languages, consisting of Tokenization to Parsing, also including Named Entity recognition andwith addition ofSentiment Analysis. These chains are part of the first step of an event-centric knowledge processing pipeline whose aim is to process multilingual media information about major events that can cause an impactin Europe and the rest of the world. Due to the differences in terms of availability of language resources for each language, we have built this strategy in three steps, starting with processing chains for the well-resourced languages and finishing with the development of new modules for the under-resourced ones. In order to classify all European Union official languages in terms of resources, we have analysed the size of annotated corpora as well as the existence of pre-trained models in mainstream Language Processing tools, and we have combined this information with the proposed classification published at META-NETwhitepaper series.


title: Global nonlinear stability of Minkowski space for spacelike-characteristic initial data

abstract: In this paper, we prove the global nonlinear stability of Minkowski space in the context of the spacelike-characteristic Cauchy problem for Einstein vacuum equations. Spacelike-characteristic initial data are posed on a compact 3-disk and on the future complete null hypersurface emanating from its boundary. Our result extends the seminal stability result for Minkowski space proved by Christodoulou and Klainerman for which initial data are prescribed on a spacelike 3-plane. The proof relies on the classical vectorfield method and bootstrapping argument from Christodoulou-Klainerman. The main novelty is the introduction and control of new geometric constructions adapted to the spacelike-characteristic setting. In particular, it features null cones with prescribed vertices, spacelike maximal hypersurfaces with prescribed boundaries and global harmonic coordinates on Riemannian 3-disks.


title: Pathological Visual Question Answering

abstract: Is it possible to develop an "AI Pathologist" to pass the board-certified examination of the American Board of Pathology (ABP)? To build such a system, three challenges need to be addressed. First, we need to create a visual question answering (VQA) dataset where the AI agent is presented with a pathology image together with a question and is asked to give the correct answer. Due to privacy concerns, pathology images are usually not publicly available. Besides, only well-trained pathologists can understand pathology images, but they barely have time to help create datasets for AI research. The second challenge is: since it is difficult to hire highly experienced pathologists to create pathology visual questions and answers, the resulting pathology VQA dataset may contain errors. Training pathology VQA models using these noisy or even erroneous data will lead to problematic models that cannot generalize well on unseen images. The third challenge is: the medical concepts and knowledge covered in pathology question-answer (QA) pairs are very diverse while the number of QA pairs available for modeling training is limited. How to learn effective representations of diverse medical concepts based on limited data is technically demanding. In this paper, we aim to address these three challenges. To our best knowledge, our work represents the first one addressing the pathology VQA problem. To deal with the issue that a publicly available pathology VQA dataset is lacking, we create PathVQA dataset. To address the second challenge, we propose a learning-by-ignoring approach. To address the third challenge, we propose to use cross-modal self-supervised learning. We perform experiments on our created PathVQA dataset and the results demonstrate the effectiveness of our proposed learning-by-ignoring method and cross-modal self-supervised learning methods.


title: BP-MVSNet: Belief-Propagation-Layers for Multi-View-Stereo

abstract: In this work, we propose BP-MVSNet, a convolutional neural network (CNN)-based Multi-View-Stereo (MVS) method that uses a differentiable Conditional Random Field (CRF) layer for regularization. To this end, we propose to extend the BP layer and add what is necessary to successfully use it in the MVS setting. We therefore show how we can calculate a normalization based on the expected 3D error, which we can then use to normalize the label jumps in the CRF. This is required to make the BP layer invariant to different scales in the MVS setting. In order to also enable fractional label jumps, we propose a differentiable interpolation step, which we embed into the computation of the pairwise term. These extensions allow us to integrate the BP layer into a multi-scale MVS network, where we continuously improve a rough initial estimate until we get high quality depth maps as a result. We evaluate the proposed BP-MVSNet in an ablation study and conduct extensive experiments on the DTU, Tanks and Temples and ETH3D data sets. The experiments show that we can significantly outperform the baseline and achieve state-of-the-art results.


title: Masses and decay widths of $\Xi_{c/b}$ and $\Xi^\prime_{c/b}$ baryons

abstract: In this article, we present a complete classification of the negative parity $\Xi'_{c/b}$ and $\Xi_{c/b}$ $P$-wave states: 7 belonging to the $SU(3)$ flavor sextet and 7 to the flavor anti-triplet, the calculation of the $\Xi'_{c/b}$ and $\Xi_{c/b}$ strong partial decay widths into $^2\Sigma_c \bar{K}$, $^2\Xi_c^{'} \pi$, $^2\Sigma_c \bar{K}$, $^4\Xi_c^{'} \pi$, $\Lambda_c^{'} \bar{K}$, $\Xi_c^{} \pi$ and $\Xi_c^{} \eta$ channels both within the Elementary Emission Model (EEM) and the $^3P_0$ model, and the calculation of the electromagnetic decay widths for $\Xi'_{c/b}$ and $\Xi_{c/b}$ radiative decays. By means of the equal-spacing mass rule and by the analysis of the strong partial decay widths, we suggest possible assignments for the new LHCb $\Xi_{c}(2923)$, $\Xi_{c}(2939)$, and $\Xi_{c}(2965)$ states, as well as for the $\Xi_{c}$'s previously reported by Belle and BaBar. Our results can be tested by future experiments, at LHCb and Belle, disentangling the remaining missing piece of information, {\it i.e.} the quantum numbers. Finally, a comparison is made between a three-quark and a quark-diquark description of $\Xi_c$ states. Very recently the LHCb collaboration reported the observation of two new $\Xi_b$ states, namely $\Xi_b(6327)^{0}$ and $\Xi_b(6333)$, in $\Lambda_b^0 K^{-} \pi^{+}$ channel with a statistical significance larger than nine standard deviations. The experimental masses and widths of these two states are consistent with our mass and width predictions for the doublet of D-wave excitations of the $\Xi_b$ system with $J^{P}_{\Xi_b(6327)^{0}}=\frac{3}{2}^{+}$ and $J^{P}_{\Xi_b(6333)^{0}}=\frac{5}{2}^{+}$.


title: Transferable Graph Optimizers for ML Compilers

abstract: Most compilers for machine learning (ML) frameworks need to solve many correlated optimization problems to generate efficient machine code. Current ML compilers rely on heuristics based algorithms to solve these optimization problems one at a time. However, this approach is not only hard to maintain but often leads to sub-optimal solutions especially for newer model architectures. Existing learning based approaches in the literature are sample inefficient, tackle a single optimization problem, and do not generalize to unseen graphs making them infeasible to be deployed in practice. To address these limitations, we propose an end-to-end, transferable deep reinforcement learning method for computational graph optimization (GO), based on a scalable sequential attention mechanism over an inductive graph neural network. GO generates decisions on the entire graph rather than on each individual node autoregressively, drastically speeding up the search compared to prior methods. Moreover, we propose recurrent attention layers to jointly optimize dependent graph optimization tasks and demonstrate 33%-60% speedup on three graph optimization tasks compared to TensorFlow default optimization. On a diverse set of representative graphs consisting of up to 80,000 nodes, including Inception-v3, Transformer-XL, and WaveNet, GO achieves on average 21% improvement over human experts and 18% improvement over the prior state of the art with 15x faster convergence, on a device placement task evaluated in real systems.


title: Low-Rank Approximations of Nonseparable Panel Models

abstract: We provide estimation methods for nonseparable panel models based on low-rank factor structure approximations. The factor structures are estimated by matrix-completion methods to deal with the computational challenges of principal component analysis in the presence of missing data. We show that the resulting estimators are consistent in large panels, but suffer from approximation and shrinkage biases. We correct these biases using matching and difference-in-differences approaches. Numerical examples and an empirical application to the effect of election day registration on voter turnout in the U.S. illustrate the properties and usefulness of our methods.


title: Importance-Aware Semantic Segmentation in Self-Driving with Discrete Wasserstein Training

abstract: Semantic segmentation (SS) is an important perception manner for self-driving cars and robotics, which classifies each pixel into a pre-determined class. The widely-used cross entropy (CE) loss-based deep networks has achieved significant progress w.r.t. the mean Intersection-over Union (mIoU). However, the cross entropy loss can not take the different importance of each class in an self-driving system into account. For example, pedestrians in the image should be much more important than the surrounding buildings when make a decisions in the driving, so their segmentation results are expected to be as accurate as possible. In this paper, we propose to incorporate the importance-aware inter-class correlation in a Wasserstein training framework by configuring its ground distance matrix. The ground distance matrix can be pre-defined following a priori in a specific task, and the previous importance-ignored methods can be the particular cases. From an optimization perspective, we also extend our ground metric to a linear, convex or concave increasing function $w.r.t.$ pre-defined ground distance. We evaluate our method on CamVid and Cityscapes datasets with different backbones (SegNet, ENet, FCN and Deeplab) in a plug and play fashion. In our extenssive experiments, Wasserstein loss demonstrates superior segmentation performance on the predefined critical classes for safe-driving.


title: Mass limits of the extremely fast-spinning white dwarf CTCV J2056-3014

abstract: CTCV J2056--3014 is a nearby cataclysmic variable with an orbital period of approximately $1.76$ hours at a distance of about $853$ light-years from the Earth. Its recently reported X-ray properties suggest that J2056-3014 is an unusual accretion-powered intermediate polar that harbors a fast-spinning white dwarf (WD) with a spin period of $29.6$ s. The low X-ray luminosity and the relatively modest accretion rate per unit area suggest that the shock is not occurring near the WD surface. It has been argued that, under these conditions, the maximum temperature of the shock cannot be directly used to determine the mass of the WD (which, under the abovementioned assumptions, would be around $0.46$ $M_\odot$). Here, we explore the stability of this rapidly rotating WD using a modern equation of state (EoS) that accounts for electron--ion, electron--electron, and ion--ion interactions. For this EoS, we determine the mass density thresholds for the onset of pycnonuclear fusion reactions and study the impact of microscopic stability and rapid rotation on the structure and stability of WDs, considering them with helium, carbon, oxygen, and neon. From this analysis, we obtain a minimum mass for CTCV J2056--3014 of $0.56~M_\odot$ and a maximum mass of around $1.38~M_\odot$. If the mass of CTCV J2056--3014 is close to the lower mass limit, its equatorial radius would be on the order of $10^4$~km due to rapid rotation. Such a radius is significantly larger than that of a nonrotating WD of average mass ($0.6\, M_\odot$), which is on the order of $7\times 10^3$~km. The effects on the minimum mass of J2056-3014 due to changes in the temperature and composition of the stellar matter were found to be negligibly small.


title: Harmonic analysis invariants for infinite graphs via operators and algorithms

abstract: We present recent advances in harmonic analysis on infinite graphs. Our approach combines combinatorial tools with new results from the theory of unbounded Hermitian operators in Hilbert space, geometry, boundary constructions, and spectral invariants. We focus on particular classes of infinite graphs, including such weighted graphs which arise in electrical network models, as well as new diagrammatic graph representations. We further stress some direct parallels between our present analysis on infinite graphs, on the one hand, and, on the other, specific areas of potential theory, Fourier duality, probability, harmonic functions, sampling/interpolation, and boundary theory. With the use of limit constructions, finite to infinite, and local to global, we outline how our results for infinite graphs may be viewed as extensions of Shannon's theory: Starting with a countable infinite graph $G$, and a suitable fixed positive weight function, we show that there are certain continua (certain ambient sets $X$) extending $G$, and associated notions of interpolation for (Hilbert spaces of) functions on $X$ from their restrictions to the discrete graph $G$.


title: Low-complexity decentralized algorithm for aggregate load control of thermostatic loads

abstract: Thermostatically controlled loads such as refrigerators are exceptionally suitable as a flexible demand resource. This paper derives a decentralised load control algorithm for refrigerators. It is adapted from an existing continuous time control approach, with the aim to achieve low computational complexity and an ability to handle discrete time steps of variable length -- desirable features for embedding in appliances and high-throughput simulations. Simulation results of large populations of heterogeneous appliances illustrate the accurate aggregate control of power consumption and high computational efficiency. Tracking accuracy is quantified as a function of population size and time step size, and correlations in the tracking error are investigated. The controller is shown to be robust to errors in model specification and to sudden perturbations in the form of random refrigerator door openings.


title: Radial kinetic nonholonomic trajectories are Riemannian geodesics!

abstract: Nonholonomic mechanics describes the motion of systems constrained by nonintegrable constraints. One of its most remarkable properties is that the derivation of the nonholonomic equations is not variational in nature. {However, in} this paper, we prove (Theorem 1.1) that for kinetic nonholonomic {systems}, the solutions starting from a fixed point $q$ are true geodesics for a family of Riemannian metrics on the image submanifold ${\mathcal M}^{nh}_q$ of the nonholonomic exponential map. This implies a surprising result: the kinetic nonholonomic trajectories with starting point $q$, for sufficiently small times, minimize length in ${\mathcal M}^{nh}_q$!


title: Stacks of fiber functors and Tannaka's reconstruction

abstract: Given a quasi-compact category fibered in groupoids $\mathcal{X}$ and a monoidal subcategory $\mathcal{C}$ of its category of locally free sheaves $\text{Vect}(\mathcal{X})$, we are going to introduce the stack of fiber functors $\text{Fib}_{\mathcal{X},\mathcal{C}}$ with source $\mathcal{C}$, which comes equipped with a map $\mathcal{P}_{\mathcal{C}}\colon\mathcal{X}\to\text{Fib}_{\mathcal{X},\mathcal{C}}$ and a functor $\mathcal{G}\colon\mathcal{C}\to\text{Vect}(\text{Fib}_{\mathcal{X},\mathcal{C}})$. If $\mathcal{C}$ generates $\text{QCoh}(\mathcal{X})$ and $\mathcal{X}$ is an fpqc stack with quasi-affine diagonal, we show that $\mathcal{P}_{\mathcal{C}}\colon\mathcal{X}\to\text{Fib}_{\mathcal{X},\mathcal{C}}$ is an equivalence, as it happens by Tannaka's reconstruction when $\mathcal{X}$ is an affine gerbe over a field. In general, under mild assumption on $\mathcal{C}$, e.g. $\mathcal{C}=\text{Vect}(\mathcal{X})$, we show that $\text{Fib}_{\mathcal{X},\mathcal{C}}$ is a quasi-compact fpqc stack with affine diagonal and that the image $\mathcal{G}(\mathcal{C})$ generates $\text{QCoh}(\text{Fib}_{\mathcal{X},\mathcal{C}})$.


title: Estimation of Cardiac Valve Annuli Motion with Deep Learning

abstract: Valve annuli motion and morphology, measured from non-invasive imaging, can be used to gain a better understanding of healthy and pathological heart function. Measurements such as long-axis strain as well as peak strain rates provide markers of systolic function. Likewise, early and late-diastolic filling velocities are used as indicators of diastolic function. Quantifying global strains, however, requires a fast and precise method of tracking long-axis motion throughout the cardiac cycle. Valve landmarks such as the insertion of leaflets into the myocardial wall provide features that can be tracked to measure global long-axis motion. Feature tracking methods require initialisation, which can be time-consuming in studies with large cohorts. Therefore, this study developed and trained a neural network to identify ten features from unlabeled long-axis MR images: six mitral valve points from three long-axis views, two aortic valve points and two tricuspid valve points. This study used manual annotations of valve landmarks in standard 2-, 3- and 4-chamber long-axis images collected in clinical scans to train the network. The accuracy in the identification of these ten features, in pixel distance, was compared with the accuracy of two commonly used feature tracking methods as well as the inter-observer variability of manual annotations. Clinical measures, such as valve landmark strain and motion between end-diastole and end-systole, are also presented to illustrate the utility and robustness of the method.


title: LoopReg: Self-supervised Learning of Implicit Surface Correspondences, Pose and Shape for 3D Human Mesh Registration

abstract: We address the problem of fitting 3D human models to 3D scans of dressed humans. Classical methods optimize both the data-to-model correspondences and the human model parameters (pose and shape), but are reliable only when initialized close to the solution. Some methods initialize the optimization based on fully supervised correspondence predictors, which is not differentiable end-to-end, and can only process a single scan at a time. Our main contribution is LoopReg, an end-to-end learning framework to register a corpus of scans to a common 3D human model. The key idea is to create a self-supervised loop. A backward map, parameterized by a Neural Network, predicts the correspondence from every scan point to the surface of the human model. A forward map, parameterized by a human model, transforms the corresponding points back to the scan based on the model parameters (pose and shape), thus closing the loop. Formulating this closed loop is not straightforward because it is not trivial to force the output of the NN to be on the surface of the human model - outside this surface the human model is not even defined. To this end, we propose two key innovations. First, we define the canonical surface implicitly as the zero level set of a distance field in R3, which in contrast to morecommon UV parameterizations, does not require cutting the surface, does not have discontinuities, and does not induce distortion. Second, we diffuse the human model to the 3D domain R3. This allows to map the NN predictions forward,even when they slightly deviate from the zero level set. Results demonstrate that we can train LoopRegmainly self-supervised - following a supervised warm-start, the model becomes increasingly more accurate as additional unlabelled raw scans are processed. Our code and pre-trained models can be downloaded for research.


title: Scattering as a quantum metrology problem: a quantum walk approach

abstract: We address the scattering of a quantum particle by a one-dimensional barrier potential over a set of discrete positions. We formalize the problem as a continuous-time quantum walk on a lattice with an impurity, and use the quantum Fisher information as a mean to quantify the maximal possible accuracy in the estimation of the height of the barrier. We introduce suitable initial states of the walker and derive the reflection and transmission probabilities of the scattered state. We show that while the quantum Fisher information is affected by the width and central momentum of the initial wave packet, this dependency is weaker for the quantum signal-to-noise ratio. We also show that a dichotomic position measurement provides a nearly optimal detection scheme.


title: A Data-driven Change-point Estimator

abstract: The q-weighted CUSUM and their corresponding estimator are well known statistics for change-point detection and estimation. They have the difficulty that the performance is highly dependent on the location of the change. An adaptive estimator with data-driven weights is presented to overcome this problem, and it is shown that the corresponding adaptive change-point tests are valid.


title: Repairing DoS Vulnerability of Real-World Regexes

abstract: There has been much work on synthesizing and repairing regular expressions (regexes for short) from examples. These programming-by-example (PBE) methods help the users write regexes by letting them reflect their intention by examples. However, the existing methods may generate regexes whose matching may take super-linear time and are vulnerable to regex denial of service (ReDoS) attacks. This paper presents the first PBE repair method that is guaranteed to generate only invulnerable regexes. Importantly, our method can handle real-world regexes containing lookarounds and backreferences. Due to the extensions, the existing formal definitions of ReDoS vulnerabilities that only consider pure regexes are insufficient. Therefore, we first give a novel formal semantics and complexity of backtracking matching algorithms for real-world regexes, and with them, give the first formal definition of ReDoS vulnerability for real-world regexes. Next, we present a novel condition called real-world strong 1-unambiguity that is sufficient for guaranteeing the invulnerability of real-world regexes, and formalize the corresponding PBE repair problem. Finally, we present an algorithm that solves the repair problem. The algorithm builds on and extends the previous PBE methods to handle the real-world extensions and with constraints to enforce the real-world strong 1-unambiguity condition.


title: Determination of Calibration Parameters of Cantilevers of Arbitrary Shape by Finite Elements Analysis

abstract: The use of atomic force microscopy on nanomechanical measurements requires accurate calibration of the cantilever's spring constant ($k_c$) and the optical lever sensitivity ($OLS$). The thermal method, based on the cantilever's thermal fluctuations in fluid, allows estimating $k_c$ in a fast, non-invasive mode. However, differences in the cantilever geometry and mounting angle require the knowledge of three correction factors to get a good estimation of $k_c$: the contribution of the oscillation mode to the total amplitude, the shape difference between the free and the end-loaded configurations, and the tilt of the cantilever respect to the measured surface. While the correction factors for traditional rectangular and V-shaped cantilevers geometries have been reported, they must be determined for cantilevers with non-traditional geometries and large tips. Here, we develop a method based on finite element analysis to estimate the correction factors of cantilevers with arbitrary geometry and tip dimensions. The method relies on the numerical computation of the effective cantilever mass. The use of the correction factor for rectangular geometries on our model cantilever (PFQNM-LC) will lead to values underestimated by 16%. In contrast, experiments using pre-calibrated cantilevers revealed a maximum uncertainty below 5% in the estimation of the $OLS$, verifying our approach.


title: Ordinal analysis of partial combinatory algebras

abstract: For every partial combinatory algebra (pca), we define a hierarchy of extensionality relations using ordinals. We investigate the closure ordinals of pca's, i.e. the smallest ordinals where these relations become equal. We show that the closure ordinal of Kleene's first model is $\omega_1^\textit{CK}$ and that the closure ordinal of Kleene's second model is $\omega_1$. We calculate the exact complexities of the extensionality relations in Kleene's first model, showing that they exhaust the hyperarithmetical hierarchy. We also discuss embeddings of pca's.


title: Well-Ordering Principles in Proof Theory and Reverse Mathematics

abstract: Several theorems about the equivalence of familiar theories of reverse mathematics with certain well-ordering principles have been proved by recursion-theoretic and combinatorial methods (Friedman, Marcone, Montalban et al.) and with far-reaching results by proof-theoretic technology (Afshari, Freund, Girard, Rathjen, Thomson, Valencia Vizcano, Weiermann et al.), employing deduction search trees and cut elimination theorems in infinitary logics with ordinal bounds in the latter case. At type level one, the well-ordering principles are of the form (*) "if X is well-ordered then f(X) is well-ordered" where f is a standard proof theoretic function from ordinals to ordinals (such f's are always dilators). One aim of the paper is to present a general methodology underlying these results that enables one to construct omega-models of particular theories from (*) and even beta-models from the type 2 version of (*). As (*) is of complexity Pi-1-2 such a principle cannot characterize stronger comprehensions at the level of Pi-1-1-comprehension. This requires a higher order version of (*) that employs ideas from ordinal representation systems with collapsing functions used in impredicative proof theory. The simplest one is the Bachmann construction. Relativizing the latter construction to any dilator f and asserting that this always yields a well-ordering turns out to be equivalent to Pi-1-1-comprehension. This result has been conjectured and a proof strategy adumbrated roughly 10 years ago, but the proof has only been worked out in recent years.


title: Selective and Robust Time-Optimal Rotations of Spin Systems

abstract: We study the selective and robust time-optimal rotation control of several spin-1/2 particles with different offset terms. For that purpose, the Pontryagin Maximum Principle is applied to a model of two spins, which is simple enough for analytic computations and sufficiently complex to describe inhomogeneity effects. We find that selective and robust controls are respectively described by singular and regular trajectories. Using a geometric analysis combined with numerical simulations, we determine the optimal solutions of different control problems. Selective and robust controls can be derived analytically without numerical optimization. We show the optimality of several standard control mechanisms in Nuclear Magnetic Resonance, but new robust controls are also designed.


title: Primal-Dual Mesh Convolutional Neural Networks

abstract: Recent works in geometric deep learning have introduced neural networks that allow performing inference tasks on three-dimensional geometric data by defining convolution, and sometimes pooling, operations on triangle meshes. These methods, however, either consider the input mesh as a graph, and do not exploit specific geometric properties of meshes for feature aggregation and downsampling, or are specialized for meshes, but rely on a rigid definition of convolution that does not properly capture the local topology of the mesh. We propose a method that combines the advantages of both types of approaches, while addressing their limitations: we extend a primal-dual framework drawn from the graph-neural-network literature to triangle meshes, and define convolutions on two types of graphs constructed from an input mesh. Our method takes features for both edges and faces of a 3D mesh as input and dynamically aggregates them using an attention mechanism. At the same time, we introduce a pooling operation with a precise geometric interpretation, that allows handling variations in the mesh connectivity by clustering mesh faces in a task-driven fashion. We provide theoretical insights of our approach using tools from the mesh-simplification literature. In addition, we validate experimentally our method in the tasks of shape classification and shape segmentation, where we obtain comparable or superior performance to the state of the art.


title: A Regression-based Voltage Estimation Method for Distribution Volt-Var Control with Limited Data

abstract: This paper presents a regression-based method for estimating voltages and voltage sensitivities for volt-var control on distribution circuits with limited data. The estimator uses power flow results for representative load and PV output scenarios as training data. Using linear regressions on power flow results, the voltages at critical nodes are calculated online based on power measurements at the feeder head and at each PV plant. The voltage sensitivity to changes in reactive power injection by each PV plant is also found online using regressions on power flow results. The estimator thus provides the estimated critical voltages and their sensitivities to each possible control action. The estimator is tested in conjunction with a volt-var optimization on real, unbalanced rural distribution feeder. The optimal control actions and voltage results using the estimator are compared to the optimal results assuming full visibility of the distribution system. Results show that the estimator can estimate voltages and sensitivities with adequate accuracy for successful centralized volt-var control.


title: Enhanced THz emission from spintronic Fe/Pt emitters through crystal growth optimization

abstract: We investigate the THz emission characteristics of ferromagnetic/non-magnetic metallic heterostructures, focusing on thin Fe/Pt bilayers. In particular, we report on the impact of optimized crystal growth of the epitaxial Fe layers on the THz emission amplitude and spectral bandwidth. We demonstrate an enhancement of the emitted intensity along with an expansion of the emission bandwidth. Both are related to reduced spin scattering and higher interface transmission. Our work provides a pathway for devicing optimal spintronic THz emitters based on epitaxial Fe. It also highlights how THz emission measurements can be utilized to characterize the changes in out-of-equilibrium spin current dynamics in metallic heterostructures, driven by subtle structural refinement.


title: Experimental characterization of Raman amplifier optimization through inverse system design

abstract: Optical communication systems are always evolving to support the need for ever-increasing transmission rates. This demand is supported by the growth in complexity of communication systems which are moving towards ultra-wideband transmission and space-division multiplexing. Both directions will challenge the design, modeling, and optimization of devices, subsystems, and full systems. Amplification is a key functionality to support this growth and in this context, we recently demonstrated a versatile machine learning framework for designing and modeling Raman amplifiers with arbitrary gains. In this paper, we perform a thorough experimental characterization of such machine learning framework. The applicability of the proposed approach, as well as its ability to accurately provide flat and tilted gain-profiles, are tested on several practical fiber types, showing errors below 0.5~dB. Moreover, as channel power optimization is heavily employed to further enhance the transmission rate, the tolerance of the framework to variations in the input signal spectral profile is investigated. Results show that the inverse design can provide highly accurate gain-profile adjustments for different input signal power profiles even not considering this information during the training phase.


title: Unitarization of infinite-range forces: graviton-graviton scattering

abstract: A method to unitarize the scattering amplitude produced by infinite-range forces is developed and applied to Born terms. In order to apply $S$-matrix techniques, based on unitarity and analyticity, we first derive an $S$-matrix free of infrared divergences. This is achieved by removing a divergent phase factor due to the interactions mediated by the massless particles in the crossed channels, a procedure that is related to previous formalisms to treat infrared divergences. We apply this method in detail by unitarizing the Born terms for graviton-graviton scattering in pure gravity and we find a scalar graviton-graviton resonance with vacuum quantum numbers ($J^{PC}=0^{++}$) that we call the \textit{graviball}. Remarkably, this resonance is located below the Planck mass but deep in the complex $s$-plane (with $s$ the usual Mandelstam variable), so that its effects along the physical real $s$ axis peak for values significantly lower than this scale. We argue that the position and width of the graviball are reduced when including extra light fields in the theory. This could lead to phenomenological consequences in scenarios of quantum gravity with a large number of such fields or, in general, with a low-energy ultraviolet completion. We also apply this formalism to two non-relativistic potentials with exact known solutions for the scattering amplitudes: Coulomb scattering and an energy-dependent potential obtained from the Coulomb one with a zero at threshold. This latter case shares the same $J=0$ partial-wave projected Born term as the graviton-graviton case, except for a global factor. We find that the relevant resonance structure of these examples is reproduced by our methods, which represents a strong indication of their robustness.


title: Adaptive Gradient Quantization for Data-Parallel SGD

abstract: Many communication-efficient variants of SGD use gradient quantization schemes. These schemes are often heuristic and fixed over the course of training. We empirically observe that the statistics of gradients of deep models change during the training. Motivated by this observation, we introduce two adaptive quantization schemes, ALQ and AMQ. In both schemes, processors update their compression schemes in parallel by efficiently computing sufficient statistics of a parametric distribution. We improve the validation accuracy by almost 2% on CIFAR-10 and 1% on ImageNet in challenging low-cost communication setups. Our adaptive methods are also significantly more robust to the choice of hyperparameters.


title: Multi-UAV Path Planning for Wireless Data Harvesting with Deep Reinforcement Learning

abstract: Harvesting data from distributed Internet of Things (IoT) devices with multiple autonomous unmanned aerial vehicles (UAVs) is a challenging problem requiring flexible path planning methods. We propose a multi-agent reinforcement learning (MARL) approach that, in contrast to previous work, can adapt to profound changes in the scenario parameters defining the data harvesting mission, such as the number of deployed UAVs, number, position and data amount of IoT devices, or the maximum flying time, without the need to perform expensive recomputations or relearn control policies. We formulate the path planning problem for a cooperative, non-communicating, and homogeneous team of UAVs tasked with maximizing collected data from distributed IoT sensor nodes subject to flying time and collision avoidance constraints. The path planning problem is translated into a decentralized partially observable Markov decision process (Dec-POMDP), which we solve through a deep reinforcement learning (DRL) approach, approximating the optimal UAV control policy without prior knowledge of the challenging wireless channel characteristics in dense urban environments. By exploiting a combination of centered global and local map representations of the environment that are fed into convolutional layers of the agents, we show that our proposed network architecture enables the agents to cooperate effectively by carefully dividing the data collection task among themselves, adapt to large complex environments and state spaces, and make movement decisions that balance data collection goals, flight-time efficiency, and navigation constraints. Finally, learning a control policy that generalizes over the scenario parameter space enables us to analyze the influence of individual parameters on collection performance and provide some intuition about system-level benefits.

categories: cs.MA cs.IT cs.LG cs.RO cs.SY eess.SY math.IT


title: Measurement of the transmission secondary electron yield of nanometer-thick films in a prototype Timed Photon Counter

abstract: We measure the transmission secondary electron yield of nanometer-thick Al$_2$O$_3$/TiN/Al$_2$O$_3$ films using a prototype version of a Timed Photon Counter (TiPC). We discuss the method to measure the yield extensively. The yield is then measured as a function of landing energy between $1.2$ and $1.8$ keV and found to be in the range of $0.1$ ($1.2$ keV) to $0.9$ ($1.8$ keV). These results are in agreement to data obtained by a different, independent method. We therefore conclude that the prototype TiPC is able to characterise the thin films in terms of transmission secondary electron yield. Additionally, observed features which are unrelated to the yield determination are interpreted.


title: A methodology to design distributed algorithms for mobile entities: the pattern formation problem as case study

abstract: Following the wide investigation in distributed computing issues by mobile entities of the last two decades, we consider the need of a structured methodology to tackle the arisen problems. The aim is to simplify both the design of the resolution algorithms and the writing of the required correctness proofs. We would encourage the usage of a common framework in order to help both algorithm designer and reviewers in the intricate work of analyzing the proposed resolution strategies. In order to better understand the potentials of our methodology, we consider the Pattern Formation (PF) problem approached in [Fujinaga et al. SIAM J. Comput., 2015] as case study. Since the proposed resolution algorithm has turned out to be inaccurate and also of difficult fixing, we design a new algorithm guided by the proposed methodology, hence fully characterizing the problem.


title: Representation Learning for High-Dimensional Data Collection under Local Differential Privacy

abstract: The collection of individuals' data has become commonplace in many industries. Local differential privacy (LDP) offers a rigorous approach to preserving privacy whereby the individual privatises their data locally, allowing only their perturbed datum to leave their possession. LDP thus provides a provable privacy guarantee to the individual against both adversaries and database administrators. Existing LDP mechanisms have successfully been applied to low-dimensional data, but in high dimensions the privacy-inducing noise largely destroys the utility of the data. In this work, our contributions are two-fold: first, by adapting state-of-the-art techniques from representation learning, we introduce a novel approach to learning LDP mechanisms. These mechanisms add noise to powerful representations on the low-dimensional manifold underlying the data, thereby overcoming the prohibitive noise requirements of LDP in high dimensions. Second, we introduce a novel denoising approach for downstream model learning. The training of performant machine learning models using collected LDP data is a common goal for data collectors, and downstream model performance forms a proxy for the LDP data utility. Our approach significantly outperforms current state-of-the-art LDP mechanisms.


title: Light-Induced Manipulation of Passive and Active Microparticles

abstract: We consider sedimented at a solid wall particles that are immersed in water containing small additives of photosensitive ionic surfactants. It is shown that illumination with an appropriate wavelength, a beam intensity profile, shape and size could lead to a variety of dynamic, both unsteady and steady-state, configurations of particles. These dynamic, well-controlled and switchable particle patterns at the wall are due to an emerging diffusio-osmotic flow that takes its origin in the adjacent to the wall electrostatic diffuse layer, where the concentration gradients of surfactant are induced by light. The conventional nonporous particles are passive and can move only with already generated flow. However, porous colloids actively participate themselves in the flow generation mechanism at the wall, which also sets their interactions that can be very long ranged. This light-induced diffusio-osmosis opens novel avenues to manipulate colloidal particles and assemble them to various patterns. We show in particular how to create and split optically the confined regions of particles of tunable size and shape, where well controlled flow-induced forces on the colloids could result in their cristalline packing, formation of dilute lattices of well-separated particles, and other states.


title: An observational correlation between magnetic field, angular momentum and fragmentation in the envelopes of Class 0 protostars?

abstract: To assess the potential role of magnetic fields in regulating the envelope rotation and the fragmentation of Class 0 protostars, we carried out observations of the dust polarized emission at 0.87 mm with the SMA, in the envelopes of a large sample of 20 Class 0 protostars. We estimate the mean magnetic field orientation over the central 1000 au envelope scales and compared it to that of the protostellar outflow in order to study the relation between their misalignment and the kinematics of the circumstellar gas. We discover a strong relationship between the misalignment of the magnetic field orientation with the outflow and the amount of angular momentum observed at similar scales in the protostellar envelope, revealing a potential link between the kinetic and the magnetic energy at envelope scales. The relation could be driven by favored B misalignments in more dynamical envelopes or a dependence of the envelope dynamics with the large-scale B initial configuration. Comparing the trend with the presence of fragmentation, we observe that single sources are mostly associated with conditions of low angular momentum in the inner envelope and good alignment of the magnetic field with protostellar outflows, at intermediate scales. Our results suggest that the properties of the magnetic field in protostellar envelopes bear a tight relationship with the rotating-infalling gas directly involved in the star and disk formation: we find that it may not only influence the fragmentation of protostellar cores into multiple stellar systems, but also set the conditions establishing the pristine properties of planet-forming disks.


title: Machine-Learning-based Prediction of Lattice Thermal Conductivity for Half-Heusler Compounds using Atomic Information

abstract: The half-Heusler compound has drawn attention in a variety of fields as a candidate material for thermoelectric energy conversion and spintronics technology. This is because it has various electronic structures, such as semi-metals, semiconductors, and a topological insulator. When the half-Heusler compound is incorporated into the device, the control of high lattice thermal conductivity owing to high crystal symmetry is a challenge for the thermal manager of the device. The calculation for the prediction of lattice thermal conductivity, which is an important physical parameter for controlling the thermal management of the device, requires a calculation cost of several 100 times as much as the usual density functional theory calculation. Therefore, we examined whether lattice thermal conductivity prediction by machine learning was possible on the basis of only the atomic information of constituent elements for thermal conductivity calculated by the density functional theory calculation in various half-Heusler compounds. Consequently, we constructed a machine learning model, which can predict the lattice thermal conductivity with high accuracy from the information of only atomic radius and atomic mass of each site in the half-Heusler type crystal structure. Applying our results, the lattice thermal conductivity for an unknown half-Heusler compound can be immediately predicted. In the future, low-cost and short-time development of new functional materials can be realized, leading to breakthroughs in the search of novel functional materials.


title: The IDLAB VoxCeleb Speaker Recognition Challenge 2020 System Description

abstract: In this technical report we describe the IDLAB top-scoring submissions for the VoxCeleb Speaker Recognition Challenge 2020 (VoxSRC-20) in the supervised and unsupervised speaker verification tracks. For the supervised verification tracks we trained 6 state-of-the-art ECAPA-TDNN systems and 4 Resnet34 based systems with architectural variations. On all models we apply a large margin fine-tuning strategy, which enables the training procedure to use higher margin penalties by using longer training utterances. In addition, we use quality-aware score calibration which introduces quality metrics in the calibration system to generate more consistent scores across varying levels of utterance conditions. A fusion of all systems with both enhancements applied led to the first place on the open and closed supervised verification tracks. The unsupervised system is trained through contrastive learning. Subsequent pseudo-label generation by iterative clustering of the training embeddings allows the use of supervised techniques. This procedure led to the winning submission on the unsupervised track, and its performance is closing in on supervised training.


title: Recent results on heavy flavour in small and large systems from ALICE

abstract: Heavy-flavour hadrons, containing open or hidden charm and beauty flavours, are considered as hard probes of the quark-gluon plasma (QGP), which is a hot and dense phase state of quantum chromodynamics (QCD) matter. Production of heavy flavours involves large momentum transfer processes during collisions. Heavy quarks are expected to be produced in the initial stage of collisions and therefore prior to the formation of the QGP in heavy-ion collisions. Consequently, heavy quarks travel through and interact with the QGP. Hence, measuring both open and hidden heavy-flavour production in large systems provides information on the QGP properties and heavy quark hadronisation. Heavy-flavour production is measured in small and large systems with ALICE in order to test (perturbative) QCD and study the effects induced by the medium. In this contribution, recent ALICE results on heavy-flavour production in pp, p-Pb and Pb-Pb collisions are reported.


title: A Practical Guide of Off-Policy Evaluation for Bandit Problems

abstract: Off-policy evaluation (OPE) is the problem of estimating the value of a target policy from samples obtained via different policies. Recently, applying OPE methods for bandit problems has garnered attention. For the theoretical guarantees of an estimator of the policy value, the OPE methods require various conditions on the target policy and policy used for generating the samples. However, existing studies did not carefully discuss the practical situation where such conditions hold, and the gap between them remains. This paper aims to show new results for bridging the gap. Based on the properties of the evaluation policy, we categorize OPE situations. Then, among practical applications, we mainly discuss the best policy selection. For the situation, we propose a meta-algorithm based on existing OPE estimators. We investigate the proposed concepts using synthetic and open real-world datasets in experiments.


title: Data Mining in Large Frequency Tables With Ontology, with an Application to the Vaccine Adverse Event Reporting System

abstract: Vaccine safety is a concerning problem of the public, and many signal detecting methods have been developed to identify relative risks between vaccines and adverse events (AEs). Those methods usually focus on individual AEs, where the randomness of data is high. The results often turn out to be inaccurate and lack of clinical meaning. The AE ontology contains information about biological similarity of AEs. Based on this, we extend the concept of relative risks (RRs) to AE group level, which allows the possibility of more accurate and meaningful estimation by utilizing data from the whole group. In this paper, we propose the method zGPS.AO (Zero Inflated Gamma Poisson Shrinker with AE ontology) based on the zero inflated negative binomial distribution. This model has two purples: a regression model estimating group level RRs, and a empirical bayes framework to evaluate AE level RRs. The regression part can handle both excess zeros and over dispersion in the data, and the empirical method borrows information from both group level and AE level to reduce data noise and stabilize the AE level result. We have demonstrate the unbiaseness and low variance features of our model with simulated data, and obtained meaningful results coherent with previous studies on the VAERS (Vaccine Adverse Event Reporting System) database. The proposed methods are implemented in the R package zGPS.AO, which can be installed from the Comprehensive R Archive Network, CRAN. The results on VAERS data are visualized using the interactive web app Rshiny.


title: HateBERT: Retraining BERT for Abusive Language Detection in English

abstract: In this paper, we introduce HateBERT, a re-trained BERT model for abusive language detection in English. The model was trained on RAL-E, a large-scale dataset of Reddit comments in English from communities banned for being offensive, abusive, or hateful that we have collected and made available to the public. We present the results of a detailed comparison between a general pre-trained language model and the abuse-inclined version obtained by retraining with posts from the banned communities on three English datasets for offensive, abusive language and hate speech detection tasks. In all datasets, HateBERT outperforms the corresponding general BERT model. We also discuss a battery of experiments comparing the portability of the generic pre-trained language model and its corresponding abusive language-inclined counterpart across the datasets, indicating that portability is affected by compatibility of the annotated phenomena.


title: Intrinsic Quality Assessment of Arguments

abstract: Several quality dimensions of natural language arguments have been investigated. Some are likely to be reflected in linguistic features (e.g., an argument's arrangement), whereas others depend on context (e.g., relevance) or topic knowledge (e.g., acceptability). In this paper, we study the intrinsic computational assessment of 15 dimensions, i.e., only learning from an argument's text. In systematic experiments with eight feature types on an existing corpus, we observe moderate but significant learning success for most dimensions. Rhetorical quality seems hardest to assess, and subjectivity features turn out strong, although length bias in the corpus impedes full validity. We also find that human assessors differ more clearly to each other than to our approach.


title: Geostatistical models for zero-inflated data and extreme values

abstract: Understanding the spatial distribution of animals, during all their life phases, as well as how the distributions are influenced by environmental covariates, is a fundamental requirement for the effective management of animal populations. Several geostatistical models have been proposed in the literature, however often the data structure presents an excess of zeros and extreme values, which can lead to unreliable estimates when these are ignored in the modelling process. To deal with these issues, we propose a point-referenced zero-inflated model to model the probability of presence together with the positive observations and a point-referenced generalised Pareto model for the extremes. Finally, we combine the results of these two models to get the spatial predictions of the variable of interest. We follow a Bayesian approach and the inference is made using the package R-INLA in the software R. Our proposed methodology was illustrated through the analysis of the spatial distribution of sardine eggs density (eggs/$m^3$). The results showed that the combined model for zero-inflated and extreme values improved the spatial prediction accuracy. Accordingly, our conclusion is that it is relevant to consider the data structure in the modelling process. Also, the hierarchical model considered can be widely applicable in many ecological problems and even in other contexts.


title: Spontaneous Symmetry Breaking

abstract: The concept of spontaneous symmetry breaking (SSB) generally lacks a simple and intuitive introduction in the literature. This gap is filled by defining SSB in a universal context beyond its usual applications in physics and by discussing some very simple, but stunning examples of the phenomenon.


title: Air-stable, earth-abundant molten chlorides and corrosion-resistant containment for chemically-robust, high-temperature thermal energy storage for concentrated solar power

abstract: A dramatic reduction in man-made CO2 emissions could be achieved if the cost of electricity generated from concentrated solar power (CSP) plants could become competitive with fossil-fuel-derived electricity. The solar heat-to-electricity conversion efficiency of CSP plants may be significantly increased (and the associated electricity cost decreased) by operating CSP turbines with inlet temperatures >750 C instead of <550 C, and by using thermal energy storage (TES) at >750 C to allow for rapidly dispatchable and/or continuous electricity production. Unfortunately, earth-abundant MgCl2-KCl-based liquids currently being considered as low-cost media for large-scale, high-temperature TES are susceptible to oxidation in air, with associated undesired changes in liquid composition and enhanced corrosion of metal alloys in pipes and tanks containing such liquids. In this paper, alternative high-temperature, earth-abundant molten chlorides that are stable in air are identified via thermodynamic calculations. The oxidation resistance, and corrosion-resistant containment, of such molten chlorides at 750 C are then demonstrated. Such chemically-robust, low-cost TES media and effective containment provide critical advances towards the higher-temperature operation of, and lower-cost electricity generation from, CSP plants.


title: Quadruply Ionized Barium as a Candidate for a High-Accuracy Optical Clock

abstract: We identify Ba$^{4+}$ (Te-like) as a promising candidate for a high-accuracy optical clock. The lowest-lying electronic states are part of a $^3P_J$ fine structure manifold with anomalous energy ordering, being non-monotonic in $J$. We propose a clock based on the 338.8 THz electric quadrupole transition between the ground ($^3P_2$) and first-excited ($^3P_0$) electronic states. We perform relativistic many-body calculations to determine relevant properties of this ion. The lifetime of the excited clock state is found to be several seconds, accommodating low statistical uncertainty with a single ion for practical averaging times. The differential static scalar polarizability is found to be small and negative, providing suppressed sensitivity to blackbody radiation while simultaneously allowing cancellation of Stark and excess micromotion shifts. With the exception of Hg$^+$ and Yb$^+$, sensitivity to variation of the fine structure constant is greater than other optical clocks thus far demonstrated.


title: Work-stealing prefix scan: Addressing load imbalance in large-scale image registration

abstract: Parallelism patterns (e.g., map or reduce) have proven to be effective tools for parallelizing high-performance applications. In this paper, we study the recursive registration of a series of electron microscopy images - a time consuming and imbalanced computation necessary for nano-scale microscopy analysis. We show that by translating the image registration into a specific instance of the prefix scan, we can convert this seemingly sequential problem into a parallel computation that scales to over thousand of cores. We analyze a variety of scan algorithms that behave similarly for common low-compute operators and propose a novel work-stealing procedure for a hierarchical prefix scan. Our evaluation shows that by identifying a suitable and well-optimized prefix scan algorithm, we reduce time-to-solution on a series of 4,096 images spanning ten seconds of microscopy acquisition from over 10 hours to less than 3 minutes (using 1024 Intel Haswell cores), enabling derivation of material properties at nanoscale for long microscopy image series.


title: Formation of the Musca filament: Evidence for asymmetries in the accretion flow due to a cloud-cloud collision

abstract: Context. Dense molecular filaments are ubiquituous in the interstellar medium, yet their internal physical conditions and formation mechanism remain debated. Aims. We study the kinematics and physical conditions in the Musca filament and the Chamaeleon-Musca complex to constrain the physics of filament formation. Methods. We produced CO(2-1) isotopologue maps with the APEX telescope that cut through the Musca filament. We further study a NANTEN2 $^{12}$CO(1-0) map of the Musca cloud and the HI emission of the Chamaeleon-Musca complex. Results. The Musca cloud contains multiple velocity components. Radiative transfer modelling of the CO emission indicates that the Musca filament consists of a cold ($\sim$10 K), dense (n$_{H_2}\sim$10$^4$ cm$^{-3}$) crest, which is best described with a cylindrical geometry. Connected to the crest, a separate gas component at T$\sim$15 K and n$_{H_2}\sim$10$^3$ cm$^{-3}$ is found, the so-called strands. The filament crest has a transverse velocity gradient that is linked to the kinematics of the nearby ambient cloud. Studying the large scale kinematics, we find coherence of the asymmetric kinematics from the 50 pc HI cloud down to the Musca filament. We also report a strong [C$^{18}$O]/[$^{13}$CO] abundance drop by an order of magnitude from the filament crest to the strands over a distance $<$ 0.2 pc in a weak far-ultraviolet (FUV) field. Conclusions. The dense Musca filament crest is a long-lived (several crossing times), dynamic structure that can form stars in the near future because of continuous mass accretion. This mass accretion appears to be triggered by a HI cloud-cloud collision, which bends the magnetic field around dense filaments. This bending of the magnetic field is then responsible for the observed asymmetric accretion scenario of the Musca filament, which is, for instance, seen as a V-shape in the position-velocity (PV) diagram.


title: Point-to-Point Strategic Communication

abstract: We propose a strategic formulation for the joint source-channel coding problem in which the encoder and the decoder are endowed with distinct distortion functions. We provide the solutions in four different scenarios. First, we assume that the encoder and the decoder cooperate in order to achieve a certain pair of distortion values. Second, we suppose that the encoder commits to a strategy whereas the decoder implements a best response, as in the persuasion game where the encoder is the Stackelberg leader. Third, we consider that the decoder commits to a strategy, as in the mismatched rate-distortion problem or as in the mechanism design framework. Fourth, we investigate the cheap talk game in which the encoding and the decoding strategies form a Nash equilibrium.


title: CFT Duals on Rotating Charged Black Holes Surrounded by Quintessence

abstract: We demonstrate that Kerr/CFT duality can be extended to rotating charged black hole solution surrounded by quintessence in Rastall gravity. Since Rastall gravity can be considered as $F(R,T) = R + \beta T $ theory with the addition of a matter term, so the gravitational Lagrangian is resemblant to Einstein general relativity. In fact, the resulting central term is coincident to the central term in the general relativity since $ T $ is only a trace of the matter term. We then exhibit that the entropy from CFT of this black hole is equivalent with the Bekenstein-Hawking entropy with no correction related to the Rastall coupling constant. Moreover, when Rastall coupling constant $ \kappa \lambda $ is switched off and $ a $ is approaching zero, we may extend the solution to the 5D black hole solution. It is found that this extremal solution contains twofold CFT duals that we call as $Q$-picture and $ P $-picture. In both pictures, the CFT entropy reproduces exactly the Bekenstein-Hawking entropy for Reissner-Nordstr\"om black hole surrounded by quintessence. The results establish that, for all black holes surrounded by quintessence, the microscopic entropies of the dual CFTs agree with the Bekenstein-Hawking entropies.


title: Vertex model instabilities for tissues subject to cellular activity or applied stresses

abstract: The vertex model is widely used to describe the dynamics of epithelial tissues, because of its simplicity and versatility and the direct inclusion of biophysical parameters. Here, it is shown that quite generally, when cells modify their equilibrium perimeter due to their activity, or the tissue is subject to external stresses, the tissue becomes unstable with deformations that couple pure-shear or deviatoric modes, with rotation and expansion modes. For short times, these instabilities deform cells increasing their ellipticity while, at longer times, cells become non-convex, indicating that the vertex model ceases to be a valid description for tissues under these conditions. The agreement between the analytic calculations performed for a regular hexagonal tissue and the simulations of disordered tissues is excellent due to the homogenization of the tissue at long wavelengths.


title: Features of the inflaton potential and the power spectrum of cosmological perturbations

abstract: We discuss features of the inflaton potential that can lead to a strong enhancement of the power spectrum of curvature perturbations. We show that a steep decrease of the potential induces an enhancement of the spectrum by several orders of magnitude, which may lead to the production of primordial black holes. The same feature can also create a distinctive oscillatory pattern in the spectrum of gravitational waves generated through the scalar perturbations at second order. We study the additive effect of several such features. We analyse a simplified potential, but also discuss the possible application to supergravity models.


title: Speech enhancement aided end-to-end multi-task learning for voice activity detection

abstract: Robust voice activity detection (VAD) is a challenging task in low signal-to-noise (SNR) environments. Recent studies show that speech enhancement is helpful to VAD, but the performance improvement is limited. To address this issue, here we propose a speech enhancement aided end-to-end multi-task model for VAD. The model has two decoders, one for speech enhancement and the other for VAD. The two decoders share the same encoder and speech separation network. Unlike the direct thought that takes two separated objectives for VAD and speech enhancement respectively, here we propose a new joint optimization objective -- VAD-masked scale-invariant source-to-distortion ratio (mSI-SDR). mSI-SDR uses VAD information to mask the output of the speech enhancement decoder in the training process. It makes the VAD and speech enhancement tasks jointly optimized not only at the shared encoder and separation network, but also at the objective level. It also satisfies real-time working requirement theoretically. Experimental results show that the multi-task method significantly outperforms its single-task VAD counterpart. Moreover, mSI-SDR outperforms SI-SDR in the same multi-task setting.


title: Many-body localization and enhanced non-ergodic sub-diffusive regime in the presence of random long-range interactions

abstract: We study many-body localization (MBL) in a one-dimensional system of spinless fermions with a deterministic aperiodic potential in the presence of long-range interactions decaying as power-law $V_{ij}/(r_i-r_j)^\alpha$ with distance and having random coefficients $V_{ij}$. We demonstrate that MBL survives even for $\alpha <1$ and is preceded by a broad non-ergodic sub-diffusive phase. Starting from parameters at which the short-range interacting system shows infinite temperature MBL phase, turning on random power-law interactions results in many-body mobility edges in the spectrum with a larger fraction of ergodic delocalized states for smaller values of $\alpha$. Hence, the critical disorder $h_c^r$, at which ergodic to non-ergodic transition takes place increases with the range of interactions. Time evolution of the density imbalance $I(t)$, which has power-law decay $I(t) \sim t^{-\gamma}$ in the intermediate to large time regime, shows that the critical disorder $h_{c}^I$, above which the system becomes diffusion-less (with $\gamma \sim 0$) and transits into the MBL phase is much larger than $h_c^r$. In between $h_{c}^r$ and $h_{c}^I$ there is a broad non-ergodic sub-diffusive phase, which is characterized by the Poissonian statistics for the level spacing ratio, multifractal eigenfunctions and a non zero dynamical exponent $\gamma \ll 1/2$. The system continues to be sub-diffusive even on the ergodic side ($h < h_c^r$) of the MBL transition, where the eigenstates near the mobility edges are multifractal. For $h < h_{0}<h_c^r$, the system is super-diffusive with $\gamma >1/2$. The rich phase diagram obtained here is unique to random nature of long-range interactions. We explain this in terms of the enhanced correlations among local energies of the effective Anderson model induced by random power-law interactions.


title: Liouville chains: new hybrid vortex equilibria of the 2D Euler equation

abstract: A large class of new exact solutions to the steady, incompressible Euler equation on the plane is presented. These hybrid solutions consist of a set of stationary point vortices embedded in a background sea of Liouville-type vorticity that is exponentially related to the stream function. The input to the construction is a "pure" point vortex equilibrium in a background irrotational flow. Pure point vortex equilibria also appear as a parameter $A$ in the hybrid solutions approaches the limits $A\to 0,\infty$. While $A\to 0$ reproduces the input equilibrium, $A\to\infty$ produces a new pure point vortex equilibrium. We refer to the family of hybrid equilibria continuously parametrised by $A$ as a "Liouville link". In some cases, the emergent point vortex equilibrium as $A\to\infty$ can itself be the input for a second family of hybrid equilibria linking, in a limit, to yet another pure point vortex equilibrium. In this way, Liouville links together form a "Liouville chain". We discuss several examples of Liouville chains and demonstrate that they can have a finite or an infinite number of links. We show here that the class of hybrid solutions found by Crowdy (2003) and by Krishnamurthy et al. (2019) form the first two links in one such infinite chain. We also show that the stationary point vortex equilibria recently studied by Krishnamurthy et al. (2020) can be interpreted as the limits of a Liouville link. Our results point to a rich theoretical structure underlying this class of equilibria of the 2D Euler equation.


title: An Analysis of LIME for Text Data

abstract: Text data are increasingly handled in an automated fashion by machine learning algorithms. But the models handling these data are not always well-understood due to their complexity and are more and more often referred to as "black-boxes." Interpretability methods aim to explain how these models operate. Among them, LIME has become one of the most popular in recent years. However, it comes without theoretical guarantees: even for simple models, we are not sure that LIME behaves accurately. In this paper, we provide a first theoretical analysis of LIME for text data. As a consequence of our theoretical findings, we show that LIME indeed provides meaningful explanations for simple models, namely decision trees and linear models.


title: CLOUD: Contrastive Learning of Unsupervised Dynamics

abstract: Developing agents that can perform complex control tasks from high dimensional observations such as pixels is challenging due to difficulties in learning dynamics efficiently. In this work, we propose to learn forward and inverse dynamics in a fully unsupervised manner via contrastive estimation. Specifically, we train a forward dynamics model and an inverse dynamics model in the feature space of states and actions with data collected from random exploration. Unlike most existing deterministic models, our energy-based model takes into account the stochastic nature of agent-environment interactions. We demonstrate the efficacy of our approach across a variety of tasks including goal-directed planning and imitation from observations. Project videos and code are at https://jianrenw.github.io/cloud/.


title: Prestellar grain-surface origins of deuterated methanol in comet 67P/Churyumov-Gerasimenko

abstract: Deuterated methanol is one of the most robust windows astrochemists have on the individual chemical reactions forming deuterium-bearing molecules and the physicochemical history of the regions where they reside. The first-time detection of mono- and di-deuterated methanol in a cometary coma is presented for comet 67P/Churyumov-Gerasimenko using Rosetta-ROSINA data. D-methanol (CH3OD and CH2DOH combined) and D2-methanol (CH2DOD and CHD2OH combined) have an abundance of 5.5+/-0.46 and 0.00069+/-0.00014 per cent relative to normal methanol. The data span a methanol deuteration fraction (D/H ratio) in the 0.71-6.6 per cent range, accounting for statistical corrections for the location of D in the molecule and including statistical error propagation in the ROSINA measurements. It is argued that cometary CH2DOH forms from CO hydrogenation to CH3OH and subsequent H-D substitution reactions in CH3-R. CHD2OH is likely produced from deuterated formaldehyde. Meanwhile, CH3OD and CH2DOD, could form via H-D exchange reactions in OH-R in the presence of deuterated water ice. Methanol formation and deuteration is argued to occur at the same epoch as D2O formation from HDO, with formation of mono-deuterated water, hydrogen sulfide, and ammonia occurring prior to that. The cometary D-methanol/methanol ratio is demonstrated to agree most closely with that in prestellar cores and low-mass protostellar regions. The results suggest that cometary methanol stems from the innate cold (10-20 K) prestellar core that birthed our Solar System. Cometary volatiles individually reflect the evolutionary phases of star formation from cloud to core to protostar.


title: Endomorphisms of mapping tori

abstract: We classify in terms of Hopf-type properties mapping tori of residually finite Poincar\'e Duality groups with non-zero Euler characteristic. This generalises and gives a new proof of the analogous classification for fibered 3-manifolds. Various applications are given. In particular, we deduce that rigidity results for Gromov hyperbolic groups hold for the above mapping tori with trivial center.


title: The Impact Of Noise And Topology On Opinion Dynamics In Social Networks

abstract: We investigate the impact of noise and topology on opinion diversity in social networks. We do so by extending well-established models of opinion dynamics to a stochastic setting where agents are subject both to assimilative forces by their local social interactions, as well as to idiosyncratic factors preventing their population from reaching consensus. We model the latter to account for both scenarios where noise is entirely exogenous to peer influence and cases where it is instead endogenous, arising from the agents' desire to maintain some uniqueness in their opinions. We derive a general analytical expression for opinion diversity, which holds for any network and depends on the network's topology through its spectral properties alone. Using this expression, we find that opinion diversity decreases as communities and clusters are broken down. We test our predictions against data describing empirical influence networks between major news outlets and find that incorporating our measure in linear models for the sentiment expressed by such sources on a variety of topics yields a notable improvement in terms of explanatory power.


title: Divide and Conquer: One-Bit MIMO-OFDM Detection by Inexact Expectation Maximization

abstract: Adopting one-bit analog-to-digital convertors (ADCs) for massive multiple-input multiple-output (MIMO) implementations has great potential in reducing the hardware cost and power consumption. However, distortions caused by quantization raise great challenges. In MIMO orthogonal frequency-division modulation (OFDM) detection, coarse quantization renders the orthogonal separation among subcarriers inapplicable, forcing us to deal with a problem that has a very large problem size. In this paper we study the expectation-maximization (EM) approach for one-bit MIMO-OFDM detection. The idea is to iteratively decouple the MIMO-OFDM detection problem among subcarriers. Using the perspective of block coordinate descent, we describe inexact variants of the classical EM method for providing more flexible and computationally efficient designs. Simulation results are provided to illustrate the potential of the divide-and-conquer strategy enabled by EM.


title: A Review of Deep Learning Methods for Irregularly Sampled Medical Time Series Data

abstract: Irregularly sampled time series (ISTS) data has irregular temporal intervals between observations and different sampling rates between sequences. ISTS commonly appears in healthcare, economics, and geoscience. Especially in the medical environment, the widely used Electronic Health Records (EHRs) have abundant typical irregularly sampled medical time series (ISMTS) data. Developing deep learning methods on EHRs data is critical for personalized treatment, precise diagnosis and medical management. However, it is challenging to directly use deep learning models for ISMTS data. On the one hand, ISMTS data has the intra-series and inter-series relations. Both the local and global structures should be considered. On the other hand, methods should consider the trade-off between task accuracy and model complexity and remain generality and interpretability. So far, many existing works have tried to solve the above problems and have achieved good results. In this paper, we review these deep learning methods from the perspectives of technology and task. Under the technology-driven perspective, we summarize them into two categories - missing data-based methods and raw data-based methods. Under the task-driven perspective, we also summarize them into two categories - data imputation-oriented and downstream task-oriented. For each of them, we point out their advantages and disadvantages. Moreover, we implement some representative methods and compare them on four medical datasets with two tasks. Finally, we discuss the challenges and opportunities in this area.


title: Chaos and Ergodicity in Extended Quantum Systems with Noisy Driving

abstract: We study the time evolution operator in a family of local quantum circuits with random fields in a fixed direction. We argue that the presence of quantum chaos implies that at large times the time evolution operator becomes effectively a random matrix in the many-body Hilbert space. To quantify this phenomenon we compute analytically the squared magnitude of the trace of the evolution operator -- the generalised spectral form factor -- and compare it with the prediction of Random Matrix Theory (RMT). We show that for the systems under consideration the generalised spectral form factor can be expressed in terms of dynamical correlation functions of local observables in the infinite temperature state, linking chaotic and ergodic properties of the systems. This also provides a connection between the many-body Thouless time $\tau_{\rm th}$ -- the time at which the generalised spectral form factor starts following the random matrix theory prediction -- and the conservation laws of the system. Moreover, we explain different scalings of $\tau_{\rm th}$ with the system size, observed for systems with and without the conservation laws.

categories: cond-mat.stat-mech hep-th math-ph math.MP nlin.CD quant-ph


title: Understanding the Extent to which Summarization Evaluation Metrics Measure the Information Quality of Summaries

abstract: Reference-based metrics such as ROUGE or BERTScore evaluate the content quality of a summary by comparing the summary to a reference. Ideally, this comparison should measure the summary's information quality by calculating how much information the summaries have in common. In this work, we analyze the token alignments used by ROUGE and BERTScore to compare summaries and argue that their scores largely cannot be interpreted as measuring information overlap, but rather the extent to which they discuss the same topics. Further, we provide evidence that this result holds true for many other summarization evaluation metrics. The consequence of this result is that it means the summarization community has not yet found a reliable automatic metric that aligns with its research goal, to generate summaries with high-quality information. Then, we propose a simple and interpretable method of evaluating summaries which does directly measure information overlap and demonstrate how it can be used to gain insights into model behavior that could not be provided by other methods alone.


title: ResNet or DenseNet? Introducing Dense Shortcuts to ResNet

abstract: ResNet or DenseNet? Nowadays, most deep learning based approaches are implemented with seminal backbone networks, among them the two arguably most famous ones are ResNet and DenseNet. Despite their competitive performance and overwhelming popularity, inherent drawbacks exist for both of them. For ResNet, the identity shortcut that stabilizes training also limits its representation capacity, while DenseNet has a higher capacity with multi-layer feature concatenation. However, the dense concatenation causes a new problem of requiring high GPU memory and more training time. Partially due to this, it is not a trivial choice between ResNet and DenseNet. This paper provides a unified perspective of dense summation to analyze them, which facilitates a better understanding of their core difference. We further propose dense weighted normalized shortcuts as a solution to the dilemma between them. Our proposed dense shortcut inherits the design philosophy of simple design in ResNet and DenseNet. On several benchmark datasets, the experimental results show that the proposed DSNet achieves significantly better results than ResNet, and achieves comparable performance as DenseNet but requiring fewer computation resources.


title: EML System Description for VoxCeleb Speaker Diarization Challenge 2020

abstract: This technical report describes the EML submission to the first VoxCeleb speaker diarization challenge. Although the aim of the challenge has been the offline processing of the signals, the submitted system is basically the EML online algorithm which decides about the speaker labels in runtime approximately every 1.2 sec. For the first phase of the challenge, only VoxCeleb2 dev dataset was used for training. The results on the provided VoxConverse dev set show much better accuracy in terms of both DER and JER compared to the offline baseline provided in the challenge. The real-time factor of the whole diarization process is about 0.01 using a single CPU machine.


title: Transverse structure of electron in momentum space in basis light-front quantization

abstract: We investigate the leading-twist transverse momentum-dependent distribution functions (TMDs) for a physical electron, a spin-1/2 composite system consisting of a bare electron and a photon, using the Basis Light-front Quantization (BLFQ) framework. The light-front wave functions of the physical electron are obtained from the eigenvectors of the light-front QED Hamiltonian. We evaluate the TMDs using the overlaps of the light-front wave functions. The BLFQ results are found to be in excellent agreement with those TMDs calculated using lowest-order perturbation theory.


title: Upstream modes and antidots poison graphene quantum Hall effect

abstract: The quantum Hall effect is the seminal example of topological protection, as charge carriers are transmitted through one-dimensional edge channels where backscattering is prohibited. Graphene has made its marks as an exceptional platform to reveal new facets of this remarkable property. However, in conventional Hall bar geometries, topological protection of graphene edge channels is found regrettably less robust than in high mobility semi-conductors. Here, we explore graphene quantum Hall regime at the local scale, using a scanning gate microscope. We reveal the detrimental influence of antidots along the graphene edges, mediating backscattering towards upstream edge channels, hence triggering topological breakdown. Combined with simulations, our experimental results provide further insights into graphene quantum Hall channels vulnerability. In turn, this may ease future developments towards precise manipulation of topologically protected edge channels hosted in various types of two-dimensional crystals.


title: Few-shot Decoding of Brain Activation Maps

abstract: Few-shot learning addresses problems for which a limited number of training examples are available. So far, the field has been mostly driven by applications in computer vision. Here, we are interested in adapting recently introduced few-shot methods to solve problems dealing with neuroimaging data, a promising application field. To this end, we create a neuroimaging benchmark dataset for few-shot learning and compare multiple learning paradigms, including meta-learning, as well as various backbone networks. Our experiments show that few-shot methods are able to efficiently decode brain signals using few examples, which paves the way for a number of applications in clinical and cognitive neuroscience, such as identifying biomarkers from brain scans or understanding the generalization of brain representations across a wide range of cognitive tasks.


title: Afterglow Synchrotron Radiations follow the $L_{\rm p, iso}-E_{\rm p,z}-\Gamma_0$ relation of Gamma-Ray Bursts? Cases of GRBs 190114C, 130427A, and 180720B

abstract: Bimodal spectral energy distributions (SEDs) of gamma-ray burst (GRB) afterglow of GRBs 190114C, 130427A and 180720B confirm that they are originated from the synchrotron emission (Syn) and synchrotron self-Compton Scattering process (SSC) of electrons accelerated in the jets. The radiation mechanism and the physics of the observed spectrum-luminosity/energy relations of GRBs remain as open questions. By extracting the Syn component through fitting their early afterglow SEDs with the Syn+SSC model, we find that their luminosity ($L_{\rm syn}$), peak energy ($E_{\rm p,syn,z}$), and the Lorentz factor of the afterglow fireball ($\Gamma_t$) follow the $L_{\rm p, iso}-E_{\rm p,z}-\Gamma_{0}$ relation of prompt gamma-rays, where $L_{\rm p, iso}$ is the isotropic luminosity, $E_{\rm p, z}$ is the peak energy of the $\nu f_\nu$ spectrum in the burst frame, and $\Gamma_0$ is the initial Lorentz factor of the fireball. To examine whether late afterglows is consistent with this relation, we calculate the synchrotron component at late afterglows. It is found that they also follow the same $L_{\rm p, iso}-E_{\rm p,z}-\Gamma_{0}$ relation, albeit they are not consistent with the $L_{\rm p, iso}-E_{\rm p,z}$ relation. Our results may imply that the $L_{\rm p, iso}-E_{\rm p,z}-\Gamma_{0}$ would be an universal feature of synchrotron radiations of electrons accelerated in GRB jets throughout the prompt and afterglow phases among GRBs. Its origin is not fully understood and possible explanations are briefly discussed.


title: Detection of Replay Attacks to GNSS based on Partial Correlations and Authentication Data Unpredictability

abstract: Intentional interference, and in particular GNSS spoofing, is currently one of the most significant concerns of the Positioning, Navigation and Timing (PNT) community. With the adoption of Open Service Navigation Message Authentication (OSNMA) in Galileo, the E1B signal component will continuously broadcast unpredictable cryptographic data. This allows GNSS receivers not only to ensure the authenticity of data origin but also to detect replay spoofing attacks for receivers already tracking real signals with relatively good visibility conditions. Since the spoofer needs to estimate the unpredictable bits introduced by OSNMA with almost zero delay in order to perform a Security Code Estimation and Replay (SCER) attack, the spoofer unavoidably introduces a slight distortion into the signal, which can be the basis of a spoofing detector. In this work, we propose five detectors based on partial correlations of GNSS signals obtained over predictable and unpredictable parts of the signals. We evaluate them in a wide set of test cases, including different types of receiver and spoofing conditions. The results show that one of the detectors is consistently superior to the others, and it is able to detect SCER attacks with a high probability even in favorable conditions for the spoofer. Finally, we discuss some practical considerations for implementing the proposed detector in receivers, in particular when the Galileo OSNMA message structure is used.


title: Multiple Kerker anapoles in dielectric microspheres

abstract: High refractive index dielectric spheres present remarkable light-scattering properties in the spectral range dominated by dipolar modes. However, most of these properties are absent for larger spheres under plane wave illumination. Here, we propose to unravel dipolar regimes regardless of the sphere size and refractive index by illuminating with a pure dipolar field. This type of illumination ensures that the scattering response of the sphere is purely dipolar. In this scenario, we show that Kerker conditions are not only related to duality symmetry and a strong backward-to-forward asymmetric light-scattering, but also to the appearance of non-radiating sources: the so-called hybrid anapoles. Finally, we show that all the abovementioned scattering features under dipolar illumination are reproducible with an experimentally accessible tightly-focused Gaussian beam.


title: An Intuitionistic Set-theoretical Model of Fully Dependent CC{\omega}

abstract: Werner's set-theoretical model is one of the simplest models of CIC. It combines a functional view of predicative universes with a collapsed view of the impredicative sort Prop. However this model of Prop is so coarse that the principle of excluded middle holds. Following our previous work, we interpret Prop into a topological space (a special case of Heyting algebra) to make the model more intuitionistic without sacrificing simplicity. We improve on that work by providing a full interpretation of dependent product types, using Alexandroff spaces. We also extend our approach to inductive types by adding support for lists.


title: Helping users discover perspectives: Enhancing opinion mining with joint topic models

abstract: Support or opposition concerning a debated claim such as abortion should be legal can have different underlying reasons, which we call perspectives. This paper explores how opinion mining can be enhanced with joint topic modeling, to identify distinct perspectives within the topic, providing an informative overview from unstructured text. We evaluate four joint topic models (TAM, JST, VODUM, and LAM) in a user study assessing human understandability of the extracted perspectives. Based on the results, we conclude that joint topic models such as TAM can discover perspectives that align with human judgments. Moreover, our results suggest that users are not influenced by their pre-existing stance on the topic of abortion when interpreting the output of topic models.