title: DGCN: Diversified Recommendation with Graph Convolutional Networks

abstract: These years much effort has been devoted to improving the accuracy or relevance of the recommendation system. Diversity, a crucial factor which measures the dissimilarity among the recommended items, received rather little scrutiny. Directly related to user satisfaction, diversification is usually taken into consideration after generating the candidate items. However, this decoupled design of diversification and candidate generation makes the whole system suboptimal. In this paper, we aim at pushing the diversification to the upstream candidate generation stage, with the help of Graph Convolutional Networks (GCN). Although GCN based recommendation algorithms have shown great power in modeling complex collaborative filtering effect to improve the accuracy of recommendation, how diversity changes is ignored in those advanced works. We propose to perform rebalanced neighbor discovering, category-boosted negative sampling and adversarial learning on top of GCN. We conduct extensive experiments on real-world datasets. Experimental results verify the effectiveness of our proposed method on diversification. Further ablation studies validate that our proposed method significantly alleviates the accuracy-diversity dilemma.


title: Uniform Function Estimators in Reproducing Kernel Hilbert Spaces

abstract: This paper addresses the problem of regression to reconstruct functions, which are observed with superimposed errors at random locations. We address the problem in reproducing kernel Hilbert spaces. It is demonstrated that the estimator, which is often derived by employing Gaussian random fields, converges in the mean norm of the reproducing kernel Hilbert space to the conditional expectation and this implies local and uniform convergence of this function estimator. By preselecting the kernel, the problem does not suffer from the curse of dimensionality. The paper analyzes the statistical properties of the estimator. We derive convergence properties and provide a conservative rate of convergence for increasing sample sizes.


title: Smoluchowski processes and nonparametric estimation of functionals of particle displacement distributions from count data

abstract: Suppose that particles are randomly distributed in $\bR^d$, and they are subject to identical stochastic motion independently of each other. The Smoluchowski process describes fluctuations of the number of particles in an observation region over time. This paper studies properties of the Smoluchowski processes and considers related statistical problems. In the first part of the paper we revisit probabilistic properties of the Smoluchowski process in a unified and principled way: explicit formulas for generating functionals and moments are derived, conditions for stationarity and Gaussian approximation are discussed, and relations to other stochastic models are highlighted. The second part deals with statistics of the Smoluchowki processes. We consider two different models of the particle displacement process: the undeviated uniform motion (when a particle moves with random constant velocity along a straight line) and the Brownian motion displacement. In the setting of the undeviated uniform motion we study the problems of estimating the mean speed and the speed distribution, while for the Brownian displacement model the problem of estimating the diffusion coefficient is considered. In all these settings we develop estimators with provable accuracy guarantees.


title: MobIE: A German Dataset for Named Entity Recognition, Entity Linking and Relation Extraction in the Mobility Domain

abstract: We present MobIE, a German-language dataset, which is human-annotated with 20 coarse- and fine-grained entity types and entity linking information for geographically linkable entities. The dataset consists of 3,232 social media texts and traffic reports with 91K tokens, and contains 20.5K annotated entities, 13.1K of which are linked to a knowledge base. A subset of the dataset is human-annotated with seven mobility-related, n-ary relation types, while the remaining documents are annotated using a weakly-supervised labeling approach implemented with the Snorkel framework. To the best of our knowledge, this is the first German-language dataset that combines annotations for NER, EL and RE, and thus can be used for joint and multi-task learning of these fundamental information extraction tasks. We make MobIE public at https://github.com/dfki-nlp/mobie.


title: Cohomological support loci and Pluricanonical systems on irregular varieties

abstract: For an irregular variety $X$ of general type, we show that if a general fiber $F$ of the Albanese morphism of $X$ satisfies certain Hodge theoretic condition, the $0$-th cohomological support loci of $K_X$ generates the Picard variety of $X$ . We then show that the condition that the $0$-th cohomological support loci of $K_X$ generates the Picard variety of $X$ can often be applied to prove the birationality of certain pluricanonical maps of $X$.


title: An Effective System for Multi-format Information Extraction

abstract: The multi-format information extraction task in the 2021 Language and Intelligence Challenge is designed to comprehensively evaluate information extraction from different dimensions. It consists of an multiple slots relation extraction subtask and two event extraction subtasks that extract events from both sentence-level and document-level. Here we describe our system for this multi-format information extraction competition task. Specifically, for the relation extraction subtask, we convert it to a traditional triple extraction task and design a voting based method that makes full use of existing models. For the sentence-level event extraction subtask, we convert it to a NER task and use a pointer labeling based method for extraction. Furthermore, considering the annotated trigger information may be helpful for event extraction, we design an auxiliary trigger recognition model and use the multi-task learning mechanism to integrate the trigger features into the event extraction model. For the document-level event extraction subtask, we design an Encoder-Decoder based method and propose a Transformer-alike decoder. Finally,our system ranks No.4 on the test set leader-board of this multi-format information extraction task, and its F1 scores for the subtasks of relation extraction, event extractions of sentence-level and document-level are 79.887%, 85.179%, and 70.828% respectively. The codes of our model are available at {https://github.com/neukg/MultiIE}.


title: Aegis: A Trusted, Automatic and Accurate Verification Framework for Vertical Federated Learning

abstract: Vertical federated learning (VFL) leverages various privacy-preserving algorithms, e.g., homomorphic encryption or secret sharing based SecureBoost, to ensure data privacy. However, these algorithms all require a semi-honest secure definition, which raises concerns in real-world applications. In this paper, we present Aegis, a trusted, automatic, and accurate verification framework to verify the security of VFL jobs. Aegis is separated from local parties to ensure the security of the framework. Furthermore, it automatically adapts to evolving VFL algorithms by defining the VFL job as a finite state machine to uniformly verify different algorithms and reproduce the entire job to provide more accurate verification. We implement and evaluate Aegis with different threat models on financial and medical datasets. Evaluation results show that: 1) Aegis can detect 95% threat models, and 2) it provides fine-grained verification results within 84% of the total VFL job time.


title: WikiChurches: A Fine-Grained Dataset of Architectural Styles with Real-World Challenges

abstract: We introduce a novel dataset for architectural style classification, consisting of 9,485 images of church buildings. Both images and style labels were sourced from Wikipedia. The dataset can serve as a benchmark for various research fields, as it combines numerous real-world challenges: fine-grained distinctions between classes based on subtle visual features, a comparatively small sample size, a highly imbalanced class distribution, a high variance of viewpoints, and a hierarchical organization of labels, where only some images are labeled at the most precise level. In addition, we provide 631 bounding box annotations of characteristic visual features for 139 churches from four major categories. These annotations can, for example, be useful for research on fine-grained classification, where additional expert knowledge about distinctive object parts is often available. Images and annotations are available at: https://doi.org/10.5281/zenodo.5166987


title: Channel Knowledge Map for Environment-Aware Communications: EM Algorithm for Map Construction

abstract: Channel knowledge map (CKM) is an emerging technique to enable environment-aware wireless communications, in which databases with location-specific channel knowledge are used to facilitate or even obviate real-time channel state information acquisition. One fundamental problem for CKM-enabled communication is how to efficiently construct the CKM based on finite measurement data points at limited user locations. Towards this end, this paper proposes a novel map construction method based on the \emph{expectation maximization} (EM) algorithm, by utilizing the available measurement data, jointly with the expert knowledge of well-established statistic channel models. The key idea is to partition the available data points into different groups, where each group shares the same modelling parameter values to be determined. We show that determining the modelling parameter values can be formulated as a maximum likelihood estimation problem with latent variables, which is then efficiently solved by the classic EM algorithm. Compared to the pure data-driven methods such as the nearest neighbor based interpolation, the proposed method is more efficient since only a small number of modelling parameters need to be determined and stored. Furthermore, the proposed method is extended for constructing a specific type of CKM, namely, the channel gain map (CGM), where closed-form expressions are derived for the E-step and M-step of the EM algorithm. Numerical results are provided to show the effectiveness of the proposed map construction method as compared to the benchmark curve fitting method with one single model.


title: Effects of spin-lattice coupling and a magnetic field in classical Heisenberg antiferromagnets on the breathing pyrochlore lattice

abstract: We theoretically investigate spin-lattice coupling (SLC) effects on the in-field ordering properties of classical Heisenberg antiferromagnets on the breathing pyrochlore lattice. Here, we use the two possible simplified models describing the effect of local lattice distortions on the spin ordering via the SLC, the bond-phonon and site-phonon models. It is found by means of Monte Carlo simulations that in both models, the $\frac{1}{2}$ plateau shows up in the magnetization curve being relatively robust against the breathing bond-alternation, although magnetic long-range orders (LRO's) are realized only in the site-phonon model. In the bond-phonon model, additional further neighbor interactions are necessary to induce a magnetic LRO. In the site-phonon model, it is also found that in addition to the low-field, middle-field 1/2-plateau, and high-field phases appearing on both the uniform and breathing pyrochlore lattices, various types of unconventional phases which can be viewed as LRO's in units of tetrahedron are induced by the breathing bond-alternation just below the 1/2 plateau and the saturation field. The occurrence of these tetrahedron-based orders could be attributed to the nature characteristic of the breathing pyrochlore lattice, i.e., the existence of the nonequivalent small and large tetrahedra. Experimental implications of our result are also discussed.


title: Multi-Target Adversarial Frameworks for Domain Adaptation in Semantic Segmentation

abstract: In this work, we address the task of unsupervised domain adaptation (UDA) for semantic segmentation in presence of multiple target domains: The objective is to train a single model that can handle all these domains at test time. Such a multi-target adaptation is crucial for a variety of scenarios that real-world autonomous systems must handle. It is a challenging setup since one faces not only the domain gap between the labeled source set and the unlabeled target set, but also the distribution shifts existing within the latter among the different target domains. To this end, we introduce two adversarial frameworks: (i) multi-discriminator, which explicitly aligns each target domain to its counterparts, and (ii) multi-target knowledge transfer, which learns a target-agnostic model thanks to a multi-teacher/single-student distillation mechanism.The evaluation is done on four newly-proposed multi-target benchmarks for UDA in semantic segmentation. In all tested scenarios, our approaches consistently outperform baselines, setting competitive standards for the novel task.


title: Supply of engineering techniques and software design patterns in psychoanalysis and psychometrics sciences

abstract: The purpose of this study is to introduce software technologies and models and artificial intelligence algorithms to improve the weaknesses of CBT (Cognitive Behavior Therapy) method in psychotherapy. The presentation method for this purpose is the implementation of psychometric experiments in which the hidden human variables are inferred from the answers of tests. In this report, we describe the various models of Item Response Theory and measure the hidden components of ability and complementary parameters of the reality of the individual's situation. Psychometrics, selecting the appropriate model and estimating its parameters have been introduced and implemented using R language developed libraries. Due to the high flexibility of the Multi variant Rasch mixture Model, machine learning has been applied to this method of data modeling. BIC and CML were used to determine the number of hidden classes of the model and its parameters respectively, to obtain Measurement Invariance. The sensitivity of items to hidden attributes varies between groups (DIF), so methods for detecting it are introduced. This simulation is done based on the Verbal Aggression Dataset. We also analyze and compile a reference model based on this certificate based on the discovered patterns of software engineering. Other achievements of this study are related to providing a solution to explain the reengineering problems of the mind, by preparing an identity card for the clients by an ontology. Finally, applying the developed knowledge in the form of system thinking and recommended patterns in software engineering during the treatment process is pointed out.


title: Partial differential equations on hypergraphs and networks of surfaces: derivation and hybrid discretizations

abstract: We introduce a general, analytical framework to express and to approximate partial differential equations (PDEs) numerically on graphs and networks of surfaces---generalized by the term hypergraphs. To this end, we consider PDEs on hypergraphs as singular limits of PDEs in networks of thin domains (such as fault planes, pipes, etc.), and we observe that (mixed) hybrid formulations offer useful tools to formulate such PDEs. Thus, our numerical framework is based on hybrid finite element methods (in particular, the class of hybrid discontinuous Galerkin methods).


title: $\alpha$-Hypergeometric Uncertain Volatility Models and their Connection to 2BSDEs

abstract: In this article we propose a $\alpha$-hypergeometric model with uncertain volatility (UV) where we derive a worst-case scenario for option pricing. The approach is based on the connexion between a certain class of nonlinear partial differential equations of HJB-type (G-HJB equations), that govern the nonlinear expectation of the UV model and that provide an alternative to the difficult model calibration problem of UV models, and second-order backward stochastic differential equations (2BSDEs). Using asymptotic analysis for the G-HJB equation and the equivalent 2BSDE representation, we derive a limit model that provides an accurate description of the worst-case price scenario in cases when the bounds of the UV model are slowly varying. The analytical results are tested by numerical simulations using a deep learning based approximation of the underlying 2BSDE.


title: Emergence of Anyons on the Two-Sphere in Molecular Impurities

abstract: Recently it was shown that anyons on the two-sphere naturally arise from a system of molecular impurities exchanging angular momentum with a many-particle bath (Phys. Rev. Lett. 126, 015301 (2021)). Here we further advance this approach and rigorously demonstrate that in the experimentally realized regime the lowest spectrum of two linear molecules immersed in superfluid helium corresponds to the spectrum of two anyons on the sphere. We develop the formalism within the framework of the recently experimentally observed angulon quasiparticle.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.str-el math-ph math.MP quant-ph


title: Multiparty secret sharing based on hidden multipliers

abstract: Secret sharing schemes based on the idea of hidden multipliers in encryption are proposed. As a platform, one can use both multiplicative groups of finite fields and groups of invertible elements of commutative rings, in particular, multiplicative groups of residue rings. We propose two versions of the secret sharing scheme and a version of ($k,n$)-thrested scheme. For a given $n$, the dealer can choose any $k.$ The main feature of the proposed schemes is that the shares of secrets are distributed once and can be used multiple times. This property distinguishes the proposed schemes from the secret sharing schemes known in the literature. The proposed schemes are semantically secure. The same message can be transmitted in different forms. From the transferred secret $c$ it is impossible to determine which of the two given secrets $m_1$ or $m_2$ was transferred. For concreteness, we give some numerical examples.


abstract: The threat of 3D masks to face recognition systems is increasingly serious and has been widely concerned by researchers. To facilitate the study of the algorithms, a large-scale High-Fidelity Mask dataset, namely CASIA-SURF HiFiMask (briefly HiFiMask) has been collected. Specifically, it consists of a total amount of 54, 600 videos which are recorded from 75 subjects with 225 realistic masks under 7 new kinds of sensors. Based on this dataset and Protocol 3 which evaluates both the discrimination and generalization ability of the algorithm under the open set scenarios, we organized a 3D High-Fidelity Mask Face Presentation Attack Detection Challenge to boost the research of 3D mask-based attack detection. It attracted 195 teams for the development phase with a total of 18 teams qualifying for the final round. All the results were verified and re-run by the organizing team, and the results were used for the final ranking. This paper presents an overview of the challenge, including the introduction of the dataset used, the definition of the protocol, the calculation of the evaluation criteria, and the summary and publication of the competition results. Finally, we focus on introducing and analyzing the top ranking algorithms, the conclusion summary, and the research ideas for mask attack detection provided by this competition.


title: UWB Radar for through Foliage Imaging using Cyclic Prefix-based OFDM

abstract: This paper proposes the use of sufficient cyclic prefix (CP) OFDM synthetic aperture radar (SAR) for foliage penetration (FOPEN). The foliage introduces phase and amplitude fluctuation which cause the sidelobes to increase and affects the final image of the obscured targets. The wideband CP-based OFDM SAR inherently eliminates the sidelobes that arise from the interference between targets on the same range line. The integrated sidelobe level ratio (ISLR) of the CP-based OFDM signal along the range direction is lower than that of the random noise signal by 2 dB for foliage penetration application, while the peak sidelobe level ratio (PSLR) are almost the same of both of the two signals.


title: Branching geodesics of the Gromov--Hausdorff distance

abstract: In this paper, we first evaluate topological distributions of the sets of all doubling spaces, all uniformly disconnected spaces, and all uniformly perfect spaces in the space of all isometry classes of compact metric spaces equipped with the Gromov--Hausdorff distance. We then construct branching geodesics of the Gromov--Hausdorff distance continuously parameterized by the Hilbert cube, passing through or avoiding sets of all spaces satisfying some of the three properties shown above, and passing through the sets of all infinite-dimensional spaces and the set of all Cantor metric spaces. Our construction implies that for every pair of compact metric spaces, there exists a topological embedding of the Hilbert cube into the Gromov--Hausdorff space whose image contains the pair. From our results, we observe that the sets explained above are geodesic spaces and infinite-dimensional.


title: Extension of the operation mode of back-streaming white neutron beam at the China spallation neutron source

abstract: The back-streaming white neutron source (Back-n) is a comprehensive neutron experimental platform for nuclear data measurement, nuclear astrophysics, neutron irradiation, detector calibration, etc. In order to meet a variety of experimental requirements, an attempt of various combinations of collimators has been made for the current collimation system. The basic parameters such as beam flux and beam spot characteristics under different beam operation modes have been studied. According to the change of the CSNS proton beam operation mode, the influence of different proton beam spots on the Back-n beam is also studied. The study finds that some beam modes with new collimator combinations can meet the experimental requirements and greatly shorten the experimental time. In addition, we have found a parameterized formula for the uniform beam spot of the high-power proton beam based on the beam monitor data, which provides a more accurate proton-beam source term for future white neutron beam physics and application researches.


title: Detecting Antibody-Antigen Interactions with Chiral Plasmons: Factors Influencing Chiral Plasmonic Sensing

abstract: Chiral near fields possessing enhanced asymmetry (superchirality), created by the interaction of light with (chiral) nanostructures, potentially provide a route to novel sensing and metrology technologies for biophysical applications. However, the mechanisms by which these near fields lead to the detection of chiral media is still poorly understood. Using a combination of numerical modelling and experimental measurements on an antibody-antigen exemplar system we illustrate important factors that influence the efficacy of chiral sensing. We demonstrate that localised and lattice chiral resonances display enantiomeric sensitivity. However, only the localised resonances exhibit strong dependency on the structure of the chiral media detected. This can be attributed to the ability of birefringent chiral layers to strongly modify the properties of near fields by acting as a sink / source of optical chirality, and hence alter inductive coupling between nanostructure elements. In addition, we highlight how surface morphology / defects may amplify sensing capabilities of localised chiral plasmonic modes by mediating inductive coupling.


title: Analyzing Item Popularity Bias of Music Recommender Systems: Are Different Genders Equally Affected?

abstract: Several studies have identified discrepancies between the popularity of items in user profiles and the corresponding recommendation lists. Such behavior, which concerns a variety of recommendation algorithms, is referred to as popularity bias. Existing work predominantly adopts simple statistical measures, such as the difference of mean or median popularity, to quantify popularity bias. Moreover, it does so irrespective of user characteristics other than the inclination to popular content. In this work, in contrast, we propose to investigate popularity differences (between the user profile and recommendation list) in terms of median, a variety of statistical moments, as well as similarity measures that consider the entire popularity distributions (Kullback-Leibler divergence and Kendall's tau rank-order correlation). This results in a more detailed picture of the characteristics of popularity bias. Furthermore, we investigate whether such algorithmic popularity bias affects users of different genders in the same way. We focus on music recommendation and conduct experiments on the recently released standardized LFM-2b dataset, containing listening profiles of Last.fm users. We investigate the algorithmic popularity bias of seven common recommendation algorithms (five collaborative filtering and two baselines). Our experiments show that (1) the studied metrics provide novel insights into popularity bias in comparison with only using average differences, (2) algorithms less inclined towards popularity bias amplification do not necessarily perform worse in terms of utility (NDCG), (3) the majority of the investigated recommenders intensify the popularity bias of the female users.


title: Global existence and decay rates for a generic compressible two-fluid model

abstract: We investigate global existence and optimal decay rates of a generic non-conservative compressible two--fluid model with general constant viscosities and capillary coefficients.The main novelty of this work is three--fold: First, for any integer $\ell\geq3$, we show that the densities and velocities converge to their corresponding equilibrium states at the $L^2$ rate $(1+t)^{-\frac{3}{4}}$, and the $k$($\in [1, \ell]$)--order spatial derivatives of them converge to zero at the $L^2$ rate $(1+t)^{-\frac{3}{4}-\frac{k}{2}}$, which are the same as ones of the compressible Navier--Stokes system, Navier--Stokes--Korteweg system and heat equation. Second, the linear combination of the fraction densities ($\beta^+\alpha^+\rho^++\beta^-\alpha^-\rho^-$) converges to its corresponding equilibrium state at the $L^2$ rate $(1+t)^{-\frac{3}{4}}$, and its $k$($\in [1, \ell]$)--order spatial derivative converges to zero at the $L^2$ rate $(1+t)^{-\frac{3}{4}-\frac{k}{2}}$, but the fraction densities ($\alpha^\pm\rho^\pm$) themselves converge to their corresponding equilibrium states at the $L^2$ rate $(1+t)^{-\frac{1}{4}}$, and the $k$($\in [1, \ell]$)--order spatial derivatives of them converge to zero at the $L^2$ rate $(1+t)^{-\frac{1}{4}-\frac{k}{2}}$, which are slower than ones of their linear combination ($\beta^+\alpha^+\rho^++\beta^-\alpha^-\rho^-$) and the densities. We think that this phenomenon should owe to the special structure of the system. Finally, for well--chosen initial data, we also prove the lower bounds on the decay rates, which are the same as those of the upper decay rates. Therefore, these decay rates are optimal for the compressible two--fluid model.


title: Successful New-entry Prediction for Multi-Party Online Conversations via Latent Topics and Discourse Modeling

abstract: With the increasing popularity of social media, online interpersonal communication now plays an essential role in people's everyday information exchange. Whether and how a newcomer can better engage in the community has attracted great interest due to its application in many scenarios. Although some prior works that explore early socialization have obtained salient achievements, they are focusing on sociological surveys based on the small group. To help individuals get through the early socialization period and engage well in online conversations, we study a novel task to foresee whether a newcomer's message will be responded to by other participants in a multi-party conversation (henceforth Successful New-entry Prediction). The task would be an important part of the research in online assistants and social media. To further investigate the key factors indicating such engagement success, we employ an unsupervised neural network, Variational Auto-Encoder (VAE), to examine the topic content and discourse behavior from newcomer's chatting history and conversation's ongoing context. Furthermore, two large-scale datasets, from Reddit and Twitter, are collected to support further research on new-entries. Extensive experiments on both Twitter and Reddit datasets show that our model significantly outperforms all the baselines and popular neural models. Additional explainable and visual analyses on new-entry behavior shed light on how to better join in others' discussions.


title: State Complexity of Projection on Languages Recognized by Permutation Automata and Commuting Letters

abstract: The projected language of a general deterministic automaton with $n$ states is recognizable by a deterministic automaton with $2^{n-1} + 2^{n-m} - 1$ states, where $m$ denotes the number of states incident to unobservable non-loop transitions, and this bound is best possible. Here, we derive the tight bound $2^{n - \lceil \frac{m}{2} \rceil} - 1$ for permutation automata. For a state-partition automaton with $n$ states (also called automata with the observer property) the projected language is recognizable with $n$ states. Up to now, these, and finite languages projected onto unary languages, were the only classes of automata known to possess this property. We show that this is also true for commutative automata and we find commutative automata that are not state-partition automata.


title: On partial augmentations of elements in integral group rings

abstract: Inner relations are derived between partial augmentations of certain elements (units or idempotents) in group rings.


title: Benchmarking Machine Learning Algorithms for Adaptive Quantum Phase Estimation with Noisy Intermediate-Scale Quantum Sensors

abstract: Quantum phase estimation is a paradigmatic problem in quantum sensing andmetrology. Here we show that adaptive methods based on classical machinelearning algorithms can be used to enhance the precision of quantum phase estimation when noisy non-entangled qubits are used as sensors. We employ the Differential Evolution (DE) and Particle Swarm Optimization (PSO) algorithms to this task and we identify the optimal feedback policies which minimize the Holevo variance. We benchmark these schemes with respect to scenarios that include Gaussian and Random Telegraph fluctuations as well as reduced Ramsey-fringe visibility due to decoherence. We discuss their robustness against noise in connection with real experimental setups such as Mach-Zehnder interferometry with optical photons and Ramsey interferometry in trapped ions,superconducting qubits and nitrogen-vacancy (NV) centers in diamond.


title: About the modern tools and methods of scientific research conducting in the field of the history of Mathematics

abstract: One of the variants for systematizing the activities of the historian of mathematics is proposed, as well as a scheme for organizing research and search work in the preparation of scientific articles and reports on the history of science.


title: Task-Sensitive Concept Drift Detector with Constraint Embedding

abstract: Detecting drifts in data is essential for machine learning applications, as changes in the statistics of processed data typically has a profound influence on the performance of trained models. Most of the available drift detection methods are either supervised and require access to the true labels during inference time, or they are completely unsupervised and aim for changes in distributions without taking label information into account. We propose a novel task-sensitive semi-supervised drift detection scheme, which utilizes label information while training the initial model, but takes into account that supervised label information is no longer available when using the model during inference. It utilizes a constrained low-dimensional embedding representation of the input data. This way, it is best suited for the classification task. It is able to detect real drift, where the drift affects the classification performance, while it properly ignores virtual drift, where the classification performance is not affected by the drift. In the proposed framework, the actual method to detect a change in the statistics of incoming data samples can be chosen freely. Experimental evaluation on nine benchmarks datasets, with different types of drift, demonstrates that the proposed framework can reliably detect drifts, and outperforms state-of-the-art unsupervised drift detection approaches.


title: One Time Pad and the Short Key Dream

abstract: This is a survey on the One Time Pad (OTP) and its derivatives, from its origins to modern times. OTP, if used correctly, is (the only) cryptographic code that no computing power, present or future, can break. Naturally, the discussion shifts to the creation of long random sequences, starting from short ones, which can be easily shared. We could call it the Short Key Dream. Many problems inevitably arise, which affect many fields of computer science, mathematics and knowledge in general. This work presents a vast bibliography that includes fundamental classical works and current papers on randomness, pseudorandom number generators, compressibility, unpredictability and more.


title: Nodal solutions for double phase Kirchhoff problems with vanishing potentials

abstract: We consider the following $(p, q)$-Laplacian Kirchhoff type problem \begin{align*} \begin{split} &-\left(a+b\int_{\mathbb{R}^{3}}|\nabla u|^{p}\, dx \right)\Delta_{p}u - \left(c+d\int_{\mathbb{R}^{3}}|\nabla u|^{q}\, dx \right ) \Delta_{q}u + V(x) (|u|^{p-2}u + |u|^{q-2}u)= K(x) f(u) \quad \mbox{ in } \mathbb{R}^{3}, \end{split} \end{align*} where $a, b, c, d>0$ are constants, $\frac{3}{2}< p< q<3$, $V: \mathbb{R}^{3}\rightarrow \mathbb{R}$ and $K: \mathbb{R}^{3}\rightarrow \mathbb{R}$ are positive continuous functions allowed vanishing behavior at infinity, and $f$ is a continuous function with quasicritical growth. Using a minimization argument and a quantitative deformation lemma we establish the existence of nodal solutions.


title: Distance-aware Quantization

abstract: We address the problem of network quantization, that is, reducing bit-widths of weights and/or activations to lighten network architectures. Quantization methods use a rounding function to map full-precision values to the nearest quantized ones, but this operation is not differentiable. There are mainly two approaches to training quantized networks with gradient-based optimizers. First, a straight-through estimator (STE) replaces the zero derivative of the rounding with that of an identity function, which causes a gradient mismatch problem. Second, soft quantizers approximate the rounding with continuous functions at training time, and exploit the rounding for quantization at test time. This alleviates the gradient mismatch, but causes a quantizer gap problem. We alleviate both problems in a unified framework. To this end, we introduce a novel quantizer, dubbed a distance-aware quantizer (DAQ), that mainly consists of a distance-aware soft rounding (DASR) and a temperature controller. To alleviate the gradient mismatch problem, DASR approximates the discrete rounding with the kernel soft argmax, which is based on our insight that the quantization can be formulated as a distance-based assignment problem between full-precision values and quantized ones. The controller adjusts the temperature parameter in DASR adaptively according to the input, addressing the quantizer gap problem. Experimental results on standard benchmarks show that DAQ outperforms the state of the art significantly for various bit-widths without bells and whistles.


title: Constrained Synchronization and Subset Synchronization Problems for Weakly Acyclic Automata

abstract: We investigate the constrained synchronization problem for weakly acyclic, or partially ordered, input automata. We show that, for input automata of this type, the problem is always in NP. Furthermore, we give a full classification of the realizable complexities for constraint automata with at most two states and over a ternary alphabet. We find that most constrained problems that are PSPACE-complete in general become NP-complete. However, there also exist constrained problems that are PSPACE-complete in the general setting but become polynomial time solvable when considered for weakly acyclic input automata. We also investigate two problems related to subset synchronization, namely if there exists a word mapping all states into a given target subset of states, and if there exists a word mapping one subset into another. Both problems are PSPACE-complete in general, but in our setting the former is polynomial time solvable and the latter is NP-complete.


title: Thermal-to-nonthermal element abundances in different Galactic environments

abstract: The non-thermal source abundances of elements play a crucial role in the understanding of cosmic ray phenomena from a few GeV up to several tens of EeV. In this work a first systematic approach is presented that describes the change of the abundances from the thermal to the non-thermal state via non-linear diffusive shock acceleration by a temporally evolving shock. Hereby, not only time-dependent ionization states of elements contained in the ambient gas are considered, but also elements condensed on solid, charged dust grains, which not only can be injected into the acceleration process as well, but are from our findings even the dominant injection channel for most heavy elements. This generic parametrized model is then applied to the case of particle acceleration by supernova remnants in various ISM phases as well as Wolf-Rayet (WR) wind environments. We show that the overall low to medium energy cosmic ray distribution by WR explosions yield a significantly harder, which makes this contribution quite promising in order to explain the spectral hardening of the flux of certain elements, such as helium, observed by AMS-02 and other experiments at rigidities of about 1 TV, which would also be an important test for the potential role of WR-progenitor supernovae as the sources of Galactic cosmic rays around the second knee.


title: Population properties of neutron stars in the coalescing compact binaries

abstract: We perform a hierarchical Bayesian inference to investigate the population properties of the coalescing compact binaries involving at least one neutron star (NS). With the current observation data, we can not rule out either of the Double Gaussian, Single Gaussian and Uniform NS mass distribution models, although the mass distribution of the Galactic NSs is slightly preferred by the gravitational wave (GW) observations. The mass distribution of black holes (BHs) in the neutron star-black hole (NSBH) population is found to be similar to that for the Galactic X-ray binaries. Additionally, the ratio of the merger rate densities between NSBHs and BNSs is estimated to be about 3 : 7. The spin properties of the binaries, though constrained relatively poor, play nontrivial role in reconstructing the mass distribution of NSs and BHs. We find that a perfectly aligned spin distribution can be ruled out, while a purely isotropic distribution of spin orientation is still allowed.


title: Uniformly accurate schemes for drift--oscillatory stochastic differential equations

abstract: In this work, we adapt the {\em micro-macro} methodology to stochastic differential equations for the purpose of numerically solving oscillatory evolution equations. The models we consider are addressed in a wide spectrum of regimes where oscillations may be slow or fast. We show that through an ad-hoc transformation (the micro-macro decomposition), it is possible to retain the usual orders of convergence of Euler-Maruyama method, that is to say, uniform weak order one and uniform strong order one half. We also show that the same orders of uniform accuracy can be achieved by a simple integral scheme. The advantage of the micro-macro scheme is that, in contrast to the integral scheme, it can be generalized to higher order methods.


title: A diffusion-map-based algorithm for gradient computation on manifolds and applications

abstract: We recover the Riemannian gradient of a given function defined on interior points of a Riemannian submanifold in the Euclidean space based on a sample of function evaluations at points in the submanifold. This approach is based on the estimates of the Laplace-Beltrami operator proposed in the diffusion-maps theory. The Riemannian gradient estimates do not involve differential terms. Analytical convergence results of the Riemannian gradient expansion are proved. We apply the Riemannian gradient estimate in a gradient-based algorithm providing a derivative-free optimization method. We test and validate several applications, including tomographic reconstruction from an unknown random angle distribution, and the sphere packing problem in dimensions 2 and 3.


title: Stable and self consistent charged gravastar model within the framework of $f(R,\,T)$ gravity

abstract: In this work, we discuss the configuration of a gravastar (gravitational vacuum stars) in the context of $f(R, \,T )$ gravity by employing the Mazur-Mottola conjecture [P. Mazur and E. Mottola, Report No. LA-UR-01-5067; P. Mazur and E. Mottola, Proc. Natl. Acad. Sci. USA $101$, $9545$ ($2004$)]. Gravastar is conceptually a substitute for a black hole theory as available in literature and it has three regions with different equation of states. By assuming that the gravastar geometry admits conformal killing vector, the Einstein-Maxwell field equations have been solved in different regions of gravastar by taking a specific equation of state as proposed by Mazur and Mottola. We match our interior spacetime to the exterior spherical region which is completely vacuum and described by Reissner-Nordstr\"{o}m geometry. For a particular choice of $f(R,\,T)$ as $f(R, \,T )=R+2\gamma T$, here we analyze various physical properties of the thin shell and also presented our results graphically for these properties. The stability analysis of our present model is also studied by introducing a new parameter $\eta$ and we explored the stability regions. Our proposed gravastar model in presence of charge might be treated as a successful stable alternative of the charged black hole in the context of this gravity.


title: An AGN-starburst composite multi-messenger model of NGC 1068

abstract: Recent multi-wavelength observations indicate that some starburst galaxies show a dominant nonthermal contribution from its central region. These active galactic nuclei (AGN)-starburst composites are of special interest, as both phenomena on their own are potential sources of the high-energetic cosmic rays and their accompanied gamma-ray and neutrino emission. Here, we will focus on NGC 1068, which is known since several years from its atypical radio-gamma-ray correlation. Recently this source has also shown strong indications of high energy neutrino emission. A first semi-analytical, two-component multi-messenger model is presented that already gives some constraints on the AGN-starburst composite characteristics of NGC 1068 and exposes the need to include both starburst \emph{and} AGN corona to describe the multi-messenger data.


title: A Single Example Can Improve Zero-Shot Data Generation

abstract: Sub-tasks of intent classification, such as robustness to distribution shift, adaptation to specific user groups and personalization, out-of-domain detection, require extensive and flexible datasets for experiments and evaluation. As collecting such datasets is time- and labor-consuming, we propose to use text generation methods to gather datasets. The generator should be trained to generate utterances that belong to the given intent. We explore two approaches to generating task-oriented utterances. In the zero-shot approach, the model is trained to generate utterances from seen intents and is further used to generate utterances for intents unseen during training. In the one-shot approach, the model is presented with a single utterance from a test intent. We perform a thorough automatic, and human evaluation of the dataset generated utilizing two proposed approaches. Our results reveal that the attributes of the generated data are close to original test sets, collected via crowd-sourcing.


title: Axes of Jordan type in non-commutative algebras

abstract: The Peirce decomposition of a Jordan algebra with respect to an idempotent is well known. This decomposition was taken one step further and generalized recently by Hall, Rehren and Shpectorov, withtheir introduction of {\it axial algebras}, and in particular {\it primitive axial algebras of Jordan type} (PJs for short). It turns out that these notions are closely related to $3$-transposition groups and vertex operator algebras. De Medts, Peacock, Shpectorov, and M. Van Couwenberghe generalized axial algebrasto {\it decomposition algebras} which, in particular, are not necessarily commutative. This paper deals with decomposition algebras which are non-commutative versions of PJs.


title: Finite groups with $\mathbb{P}$-subnormal and strongly permutable subgroups

abstract: Let $H$ be a subgroup of a group $G$. The permutizer $P_G(H)$ is the subgroup generated by all cyclic subgroups of $G$ which permute with $H$. A subgroup $H$ of a group $G$ is strongly permutable in $G$ if $P_U(H)=U$ for every subgroup $U$ of $G$ such that~$H\le U\le G$. We investigate groups with $\mathbb{P}$-subnormal or strongly permutable Sylow and primary cyclic subgroups. In particular, we prove that groups with all strongly permutable primary cyclic subgroups are supersoluble.


title: Topological hybrid semimetal phases and anomalous Hall effects in a three dimensional magnetic topological insulator

abstract: In this work, we propose a ferromagnetic Bi$_2$Se$_3$ as a candidate to hold the coexistence of Weyl- and nodal-line semimetal phases, which breaks the time reversal symmetry. We demonstrate that the type-I Weyl semimetal phase, type-I-, type-II- and their hybrid nodal-line semimetal phases can arise by tuning the Zeeman exchange field strength and the Fermi velocity. Their topological responses under U(1) gauge field are also discussed. Our results raise a new way for realizing Weyl and nodal-line semimetals and will be helpful in understanding the topological transport phenomena in three-dimensional material systems.


title: Topological recursion and uncoupled BPS structures II: Voros symbols and the $\tau$-function

abstract: We continue our study of the correspondence between BPS structures and topological recursion in the uncoupled case, this time from the viewpoint of quantum curves. For spectral curves of hypergeometric type, we show the Borel-resummed Voros symbols of the corresponding quantum curves solve Bridgeland's "BPS Riemann-Hilbert problem". In particular, they satisfy the required jump property in agreement with the generalized definition of BPS indices $\Omega$ in our previous work. Furthermore, we observe the Voros coefficients define a closed one-form on the parameter space, and show that (log of) Bridgeland's $\tau$-function encoding the solution is none other than the corresponding potential, up to a constant. When the quantization parameter is set to a special value, this agrees with the Borel sum of the topological recursion partition function $Z_{\rm TR}$, up to a simple factor.


title: On the asymptotic behaviour of the fractional Sobolev seminorms in metric measure spaces: asymptotic volume ratio, volume entropy and rigidity

abstract: We study the asymptotic behaviour of suitably defined seminorms in general metric measure spaces. As a particular case we provide new and shorter proofs of the Maz'ya-Shaposhnikova's theorem on the asymptotic behaviour of the fractional Sobolev $s$-seminorm, in the setting of metric measure spaces and with general mollifiers, as well as of the Ludwig's result on finite dimensional Banach spaces. Our result also provides new spaces satisfying an asymptotic formula and it also builds a link between the asymptotic formula for functions and the asymptotic volume ratio of a metric measure space. In addition, we prove two related rigidity results for metric measure spaces with synthetic Ricci curvature bound which are new even in the smooth setting.


title: Matrix Bispectrality of Full Rank One Algebras

abstract: We study algebraic properties of full rank 1 algebras in a general framework and derive a method to verify if one such matrix polynomial sub-algebra is bispectral. We give two examples illustrating the method. In the first one, we consider the eigenvalue to be scalar-valued, whereas, in the second one, we assume it to be matrix-valued. In the former example, we put forth a Pierce decomposition of that algebra.


title: Deformation of rigid conjugate self-dual Galois representations

abstract: In this article, we study deformations of conjugate self-dual Galois representations. The study has two folds. First, we prove an R=T type theorem for a conjugate self-dual Galois representation with coefficients in a finite field, satisfying a certain property called rigid. Second, we study the rigidity property for the family of residue Galois representations attached to a symmetric power of an elliptic curve, as well as to a regular algebraic conjugate self-dual cuspidal representation.


title: Local well-posedness of a coupled Westervelt-Pennes model of nonlinear ultrasonic heating

abstract: High-Intensity Focused Ultrasound (HIFU) waves are known to induce localized heat to a targeted area during medical treatments. In turn, the rise in temperature influences their speed of propagation. This coupling affects the position of the focal region as well as the achieved pressure and temperature values. In this work, we investigate a mathematical model of nonlinear ultrasonic heating based on the Westervelt wave equation coupled to the Pennes bioheat equation that captures this so-called thermal lensing effect. We prove that this quasi-linear model is well-posed locally in time and does not degenerate under a smallness assumption on the pressure data.


title: Evolutionary Algorithms in Approximate Computing: A Survey

abstract: In recent years, many design automation methods have been developed to routinely create approximate implementations of circuits and programs that show excellent trade-offs between the quality of output and required resources. This paper deals with evolutionary approximation as one of the popular approximation methods. The paper provides the first survey of evolutionary algorithm (EA)-based approaches applied in the context of approximate computing. The survey reveals that EAs are primarily applied as multi-objective optimizers. We propose to divide these approaches into two main classes: (i) parameter optimization in which the EA optimizes a vector of system parameters, and (ii) synthesis and optimization in which EA is responsible for determining the architecture and parameters of the resulting system. The evolutionary approximation has been applied at all levels of design abstraction and in many different applications. The neural architecture search enabling the automated hardware-aware design of approximate deep neural networks was identified as a newly emerging topic in this area.


title: Real-time 10,000 km Straight-line Transmission using a Software-defined GPU-Based Receiver

abstract: Real-time 10,000 km transmission over a straight-line link is achieved using a software-defined multi-modulation format receiver implemented on a commercial off-the-shelf general-purpose graphics processing unit (GPU). Minimum phase 1 GBaud 4-ary quadrature amplitude modulation (QAM) signals are transmitted over 10,000 km and successfully received after detection with a Kramers-Kronig (KK) coherent receiver. 8-, 16-, 32-, and 64-QAM are successfully transmitted over 7600, 5600, 3600, and 1600 km, respectively.


title: Change is Everywhere: Single-Temporal Supervised Object Change Detection in Remote Sensing Imagery

abstract: For high spatial resolution (HSR) remote sensing images, bitemporal supervised learning always dominates change detection using many pairwise labeled bitemporal images. However, it is very expensive and time-consuming to pairwise label large-scale bitemporal HSR remote sensing images. In this paper, we propose single-temporal supervised learning (STAR) for change detection from a new perspective of exploiting object changes in unpaired images as supervisory signals. STAR enables us to train a high-accuracy change detector only using \textbf{unpaired} labeled images and generalize to real-world bitemporal images. To evaluate the effectiveness of STAR, we design a simple yet effective change detector called ChangeStar, which can reuse any deep semantic segmentation architecture by the ChangeMixin module. The comprehensive experimental results show that ChangeStar outperforms the baseline with a large margin under single-temporal supervision and achieves superior performance under bitemporal supervision. Code is available at https://github.com/Z-Zheng/ChangeStar


title: The sixth Painleve' equation as isomonodromy deformation of an irregular system: monodromy data, coalescing eigenvalues, locally holomorphic transcendents and Frobenius manifolds

abstract: We consider a 3-dimensional Pfaffian system, whose z-component is a differential system with irregular singularity at infinity and Fuchsian at zero. In the first part of the paper, we prove that its Frobenius integrability is equivalent to the sixth Painlev\'e equation PVI. The coefficients of the system will be explicitly written in terms of the solutions of PVI. In this way, we remake a result of [44, 61]. We then express in terms of the Stokes matrices of the 3x3 irregular system the monodromy invariants p_{jk}=Tr(M_jM_k) of the 2-dimensional isomonodromic Fuchsian system with four singularities, traditionally associated to PVI [23, 55] and used to solve the non-linear connection problem. Several years after [44, 61], the authors of [14] showed that the computation of the monodromy data of a class of irregular systems may be facilitated in case of coalescing eigenvalues. This coalescence corresponds to the critical points (fixed singularities) of PVI. In the second part of the paper, we classify the branches of PVI transcendents holomorphic at a critical point such that the analyticity and semisimplicity properties described in [14] are satisfied, and we compute the associated Stokes matrices and the invariants p_{jk}. Finally, we compute the monodromy data parametrizing the chamber of a 3-dim Dubrovin-Frobenius manifold associated with a transcendent holomorphic at x=0.


title: Real-time Transmission of Geometrically-shaped Signals using a Software-defined GPU-based Optical Receiver

abstract: A software-defined optical receiver is implemented on an off-the-shelf commercial graphics processing unit (GPU). The receiver provides real-time signal processing functionality to process 1 GBaud minimum phase (MP) 4-, 8-, 16-, 32-, 64-, 128-ary quadrature amplitude modulation (QAM) as well as geometrically shaped (GS) 8- and 128-QAM signals using Kramers-Kronig (KK) coherent detection. Experimental validation of this receiver over a 91~km field-deployed optical fiber link between two Tokyo locations is shown with detailed optical signal-to-noise ratio (OSNR) investigations. A net data rate of 5 Gbps using 64-QAM is demonstrated.


title: An Effective Non-Autoregressive Model for Spoken Language Understanding

abstract: Spoken Language Understanding (SLU), a core component of the task-oriented dialogue system, expects a shorter inference latency due to the impatience of humans. Non-autoregressive SLU models clearly increase the inference speed but suffer uncoordinated-slot problems caused by the lack of sequential dependency information among each slot chunk. To gap this shortcoming, in this paper, we propose a novel non-autoregressive SLU model named Layered-Refine Transformer, which contains a Slot Label Generation (SLG) task and a Layered Refine Mechanism (LRM). SLG is defined as generating the next slot label with the token sequence and generated slot labels. With SLG, the non-autoregressive model can efficiently obtain dependency information during training and spend no extra time in inference. LRM predicts the preliminary SLU results from Transformer's middle states and utilizes them to guide the final prediction. Experiments on two public datasets indicate that our model significantly improves SLU performance (1.5\% on Overall accuracy) while substantially speed up (more than 10 times) the inference process over the state-of-the-art baseline.


title: Jet collision with accreting tori around SMBHs. GRHD and light surfaces constraints in aggregates of misaligned tori

abstract: We explore the possibility of jet collisions with accreting tori orbiting around SMBHs. The analysis provides constraints on formation and the observational evidences of the host configurations. We use a GRHD model, investigating the light surfaces contraints in aggregates of misaligned tori orbiting a central static Schwarzschild black hole. Each (toroidal) configuration of the agglomeration is a geometrically thick, pressure supported, perfect fluid torus. Aggregates include proto-jets, the open cusped solutions associated to the geometrically thick tori. Collision emergence and the stability properties of the aggregates are considered at different inclination angles relative to a fixed distant observer. We relate the constraints to the relevant frequencies of the configurations and fluid specific angular momentum, separating the constraints related to the fluids hydrodynamics and to the geometric backgrounds. We analyze existence of accreting tori supporting jet-emission. We discuss the existence of orbit-replicas that could host shadowing effects in replicas of the emissions in two regions, close and far from the BH (horizon replicas in jet shells). The investigation clarifies the role of the pressure gradients of the orbiting matter and the essential role of the radial gradient of the pressure in the determination of the disk verticality. Finally we analyze the possibility that a toroidal magnetic field could be related to the collimation of proto-jets.


title: Flying Guide Dog: Walkable Path Discovery for the Visually Impaired Utilizing Drones and Transformer-based Semantic Segmentation

abstract: Lacking the ability to sense ambient environments effectively, blind and visually impaired people (BVIP) face difficulty in walking outdoors, especially in urban areas. Therefore, tools for assisting BVIP are of great importance. In this paper, we propose a novel "flying guide dog" prototype for BVIP assistance using drone and street view semantic segmentation. Based on the walkable areas extracted from the segmentation prediction, the drone can adjust its movement automatically and thus lead the user to walk along the walkable path. By recognizing the color of pedestrian traffic lights, our prototype can help the user to cross a street safely. Furthermore, we introduce a new dataset named Pedestrian and Vehicle Traffic Lights (PVTL), which is dedicated to traffic light recognition. The result of our user study in real-world scenarios shows that our prototype is effective and easy to use, providing new insight into BVIP assistance.


title: Noise robustness of persistent homology on greyscale images, across filtrations and signatures

abstract: Topological data analysis is a recent and fast growing field that approaches the analysis of datasets using techniques from (algebraic) topology. Its main tool, persistent homology (PH), has seen a notable increase in applications in the last decade. Often cited as the most favourable property of PH and the main reason for practical success are the stability theorems that give theoretical results about noise robustness, since real data is typically contaminated with noise or measurement errors. However, little attention has been paid to what these stability theorems mean in practice. To gain some insight into this question, we evaluate the noise robustness of PH on the MNIST dataset of greyscale images. More precisely, we investigate to what extent PH changes under typical forms of image noise, and quantify the loss of performance in classifying the MNIST handwritten digits when noise is added to the data. The results show that the sensitivity to noise of PH is influenced by the choice of filtrations and persistence signatures (respectively the input and output of PH), and in particular, that PH features are often not robust to noise in a classification task.


title: Pixel Difference Networks for Efficient Edge Detection

abstract: Recently, deep Convolutional Neural Networks (CNNs) can achieve human-level performance in edge detection with the rich and abstract edge representation capacities. However, the high performance of CNN based edge detection is achieved with a large pretrained CNN backbone, which is memory and energy consuming. In addition, it is surprising that the previous wisdom from the traditional edge detectors, such as Canny, Sobel, and LBP are rarely investigated in the rapid-developing deep learning era. To address these issues, we propose a simple, lightweight yet effective architecture named Pixel Difference Network (PiDiNet) for efficient edge detection. Extensive experiments on BSDS500, NYUD, and Multicue are provided to demonstrate its effectiveness, and its high training and inference efficiency. Surprisingly, when training from scratch with only the BSDS500 and VOC datasets, PiDiNet can surpass the recorded result of human perception (0.807 vs. 0.803 in ODS F-measure) on the BSDS500 dataset with 100 FPS and less than 1M parameters. A faster version of PiDiNet with less than 0.1M parameters can still achieve comparable performance among state of the arts with 200 FPS. Results on the NYUD and Multicue datasets show similar observations. The codes are available at https://github.com/zhuoinoulu/pidinet.


abstract: We prove a criterion for Benjamini-Schramm convergence of periodic orbits of Lie groups. This general observation is then applied to homogeneous spaces and the space of translation surfaces.


title: Active transport in complex environments

abstract: The ability of many living systems to actively self-propel underlies critical biomedical, environmental, and industrial processes. While such active transport is well-studied in uniform settings, environmental complexities such as geometric constraints, mechanical cues, and external stimuli such as chemical gradients and fluid flow can strongly influence transport. In this chapter, we describe recent progress in the study of active transport in such complex environments, focusing on two prominent biological systems -- bacteria and eukaryotic cells -- as archetypes of active matter. We review research findings highlighting how environmental factors can fundamentally alter cellular motility, hindering or promoting active transport in unexpected ways, and giving rise to fascinating behaviors such as directed migration and large-scale clustering. In parallel, we describe specific open questions and promising avenues for future research. Furthermore, given the diverse forms of active matter -- ranging from enzymes and driven biopolymer assemblies, to microorganisms and synthetic microswimmers, to larger animals and even robots -- we also describe connections to other active systems as well as more general theoretical/computational models of transport processes in complex environments.

categories: physics.bio-ph cond-mat.dis-nn cond-mat.soft cond-mat.stat-mech q-bio.CB


title: Long-time behavior of SSEP with slow boundary

abstract: We consider the symmetric simple exclusion process with slow boundary first introduced in [Baldasso {\it et al.}, Journal of Statistical Physics, 167(5), 2017]. We prove a law of large number for the empirical measure of the process under a longer time scaling instead of the usual diffusive time scaling.


title: Top-Gated Carbon Nanotube FETs from Quantum Simulations: Comparison with Experiments

abstract: We present quantum simulations of carbon nanotube field-effect transistors (CNT-FETs) based on top-gated architectures and compare to electrical characterization on devices with 15 nm channel lengths. A non-equilibrium Green's function (NEGF) quantum transport method coupled with a $\vec{k} \cdot \vec{p}$ description of the electronic structure is demonstrated to achieve excellent agreement with the reported experimental data. Factors influencing the electrostatic control of the channel are investigated and reveal that detailed modeling of the electrostatics and the electronic band structure of the CNT is required to achieve quantitative agreement with experiment.


title: Robust Beamforming Design for Rate Splitting Multiple Access-Aided MISO Visible Light Communications

abstract: In this paper, we focus on the optimal beamformer design for rate splitting multiple access (RSMA)-aided multipleinput single-output (MISO) visible light communication (VLC) networks. First, we derive the closed-form lower bounds of the achievable rate of each user, which are the first theoretical bound of achievable rate for RSMA-aided VLC networks. Second, we investigate the optimal beamformer design for RSMA-aided VLC networks to maximize the sum rate under the optical and electrical power constraints. In addition, we show that the proposed RSMA-aided networks can achieve superior performance compared with space-division multiple access (SDMA) and nonorthogonal multiple access (NOMA).


title: Charge density waves in electron-doped molybdenum disulfide

abstract: We present the discovery of a charge density wave (CDW) ground state in heavily electron-doped molybdenum disulfide (MoS$_2$). This is the first observation of a CDW in any $d^2$ (column 6) transition metal dichalcogenide (TMD). The band structure of MoS$_2$ is distinct from the $d^0$ and $d^1$ TMDs in which CDWs have been previously observed, facilitating new insight into CDW formation. We demonstrate a metal-insulator transition at 85 K, a 25 meV gap at the Fermi level, and two distinct CDW modulations, $(2\sqrt{3}\times2\sqrt{3})$R$30^\circ$ and $2\times2$, attributable to Fermi surface nesting (FSN) and electron-phonon coupling (EPC), respectively. This simultaneous exhibition of FSN and EPC CDW modulations is unique among observations of CDW ground states, and we discuss this in the context of band folding. Our observations provide a route toward the resolution of controversies surrounding the origin of CDW modulations in TMDs.


title: Parametric instabilities and particles heating of circularly polarized Alfv\'en waves with an incoherent spectrum: two-dimensional hybrid simulations

abstract: Plasma ions heating (especially minor heavy ions preferential heating) in fast solar wind and solar corona is an open question in space physics. However, Alfv\'en waves have been always considered as a candidate of energy source for corona heating. In this paper, by using a two-dimensional (2-D) hybrid simulation model in a low beta electron-proton-alpha plasma system, we have investigated the relationships between plasma ions heating and power spectra evolution of density and magnetic field fluctuations excited from the parametric instabilities of initial pump Alfv\'en waves with an incoherent spectrum at different propagation angles theta_k0B0 (an oblique angle between the initial pump wave vector k0 and the background magnetic field B0). It is found that, the wave-wave coupling as well as wave-particle interaction play key roles in ions heating, and an Alfv\'en spectrum with small propagation angle (e.g. theta_k0B0=15degree) can most effectively heat alpha particles in perpendicular direction as well as in parallel direction for both proton and alpha particle than the case of a monochromatic Alfv\'en wave or an Alfv\'en spectrum with larger propagation angle.

categories: physics.plasm-ph astro-ph.SR physics.geo-ph physics.space-ph


title: Cost-effective vibration analysis through data-backed pipeline optimisation

abstract: Vibration analysis is an active area of research, aimed, among other targets, at an accurate classification of machinery failure modes. This often leads to complex and convoluted signal processing pipeline designs, which are computationally demanding and cannot be deployed in the Edge devices. In the current work, we address this issue by proposing a data-driven methodology that allows optimising and justifying the complexity of the signal processing pipelines. Additionally, aiming to make IoT vibration analysis systems more cost- and computationally effective, on the example of MAFAULDA vibration dataset, we assess the changes in the failure classification performance at low sampling rates as well as short observation time windows. We find out that a decrease of the sampling rate from 50 kHz to 1 kHz leads to a statistically significant classification performance drop. A statistically significant decrease is also observed for the 0.1 second time windows compared to the 5-second ones. However, the effect sizes are small to medium, suggesting that in certain settings lower sampling rates and shorter observation windows can be used. The proposed optimisation approach, as well as statistically supported findings of the study, allow a more efficient design of IoT vibration analysis systems, both in terms of complexity and costs, bringing us one step closer to the IoT/Edge-based vibration analysis.


title: The inspection paradox in stochastic resetting

abstract: The remaining travel time of a plane shortens with every minute that passes from its departure, and a flame diminishes a candle with every second it burns. Such everyday occurrences bias us to think that processes which have already begun will end before those which have just started. Yet, the inspection paradox teaches us that the converse can also happen when randomness is at play. The paradox comes from probability theory, where it is often illustrated by measuring how long passengers wait upon arriving at a bus stop at a random time. Interestingly, such passengers may on average wait longer than the mean time between bus arrivals -- a counter-intuitive result, since one expects to wait less when coming some time after the previous bus departed. In this \textit{viewpoint}, we review the inspection paradox and its origins. The insight gained is then used to explain why, in some situations, stochastic resetting expedites the completion of random processes. Importantly, this is done with elementary mathematical tools which help develop a probabilistic intuition for stochastic resetting and how it works. This viewpoint can thus be used as an accessible introduction to the subject.

categories: cond-mat.stat-mech math.PR physics.ed-ph physics.pop-ph


title: Towards a Safety Case for Hardware Fault Tolerance in Convolutional Neural Networks Using Activation Range Supervision

abstract: Convolutional neural networks (CNNs) have become an established part of numerous safety-critical computer vision applications, including human robot interactions and automated driving. Real-world implementations will need to guarantee their robustness against hardware soft errors corrupting the underlying platform memory. Based on the previously observed efficacy of activation clipping techniques, we build a prototypical safety case for classifier CNNs by demonstrating that range supervision represents a highly reliable fault detector and mitigator with respect to relevant bit flips, adopting an eight-exponent floating point data representation. We further explore novel, non-uniform range restriction methods that effectively suppress the probability of silent data corruptions and uncorrectable errors. As a safety-relevant end-to-end use case, we showcase the benefit of our approach in a vehicle classification scenario, using ResNet-50 and the traffic camera data set MIOVision. The quantitative evidence provided in this work can be leveraged to inspire further and possibly more complex CNN safety arguments.


title: Towards Real-World Prohibited Item Detection: A Large-Scale X-ray Benchmark

abstract: Automatic security inspection using computer vision technology is a challenging task in real-world scenarios due to various factors, including intra-class variance, class imbalance, and occlusion. Most of the previous methods rarely solve the cases that the prohibited items are deliberately hidden in messy objects due to the lack of large-scale datasets, restricted their applications in real-world scenarios. Towards real-world prohibited item detection, we collect a large-scale dataset, named as PIDray, which covers various cases in real-world scenarios for prohibited item detection, especially for deliberately hidden items. With an intensive amount of effort, our dataset contains $12$ categories of prohibited items in $47,677$ X-ray images with high-quality annotated segmentation masks and bounding boxes. To the best of our knowledge, it is the largest prohibited items detection dataset to date. Meanwhile, we design the selective dense attention network (SDANet) to construct a strong baseline, which consists of the dense attention module and the dependency refinement module. The dense attention module formed by the spatial and channel-wise dense attentions, is designed to learn the discriminative features to boost the performance. The dependency refinement module is used to exploit the dependencies of multi-scale features. Extensive experiments conducted on the collected PIDray dataset demonstrate that the proposed method performs favorably against the state-of-the-art methods, especially for detecting the deliberately hidden items.


title: Relativistic dust grains: a new subject of research with orbital fluorescence detectors

abstract: TUS (Tracking Ultraviolet Set-up) was the world's first orbital detector aimed at testing the principle of observing ultra-high energy cosmic rays (UHECRs) with a space-based fluorescence telescope. TUS was launched into orbit on 28th April 2016 as a part of the scientific payload of the Lomonosov satellite, and its mission continued for 1.5 years. During this time, its exposure reached $\sim1550$ km$^2$ sr yr for primary energy $\gtrsim400$ EeV, and a number of extensive air showers-like events were registered. The shape and kinematics of the signal in these events closely resembled those expected from UHECRs but amplitudes of the signal and some other features were in contradiction with this assumption. A detailed analysis of one of EAS-like events (TUS161003) revealed that a primary cosmic ray would need to have an energy $\gtrsim1$ ZeV in order to produce a light curve of the observed amplitude, which is incompatible with the cosmic ray spectrum obtained with ground-based experiments. More than this, the slant depth of the shower maximum be the signal produced by a cosmic particle, was estimated as $\lesssim500$ g/cm$^2$, which corresponds to cosmic rays around 1 PeV. We present a preliminary discussion of a hypothesis that the TUS161003 event and perhaps some other bright EAS-like events could be produced by relativistic dust grains, which were considered a possible component of the cosmic ray flux beyond the GZK cut-off some time ago.


title: Main results of the TUS experiment on board the Lomonosov satellite

abstract: The TUS detector was the first space-based mission aimed for ultra-high-energy cosmic ray (UHECR) measurements. The detector was designed to register the fluorescent signal of extensive air showers (EAS) developing in the night atmosphere of Earth in the UV range of 300-400 nm. TUS was launched on board the Lomonosov satellite in April, 2016 and operated till December, 2017. Almost 90 thousand events were recorded during the mission, among them lightning discharges, meteors, transient luminous events, polar lights and anthropogenic signals. Some puzzling bright UV flashes in a clear sky far from possible artificial sources were also registered. Besides this, a number of EAS candidates were found in the TUS database. The majority of candidates analysed so far were recorded above populated areas near airports or similar objects, and the energy of the signals corresponds to at least 1 ZeV if they were generated by an UHECR, which does not allow one to consider these events as UHECRs. We briefly present the main results of the TUS experiment and discuss its importance for the development of the future orbital missions.


title: Loop quantum gravity with optimal control path integral, and application to black hole tunneling

abstract: This paper presents a novel path integral formalism for Einstein's theory of gravitation from the viewpoint of optimal control theory. Despite its close relation to the well-known variational principles of physicists, optimal control turns out to be more general. Within this context, a Lagrangian different from the Einstein-Hilbert Lagrangian is defined. Einstein field equations are recovered exactly with variations of the new action functional. The quantum theory is obtained using Ashtekar variables and the loop scalar product. By means of example, the tunneling process of a black hole into another black hole or into a white hole is investigated with a toy model.


title: The Gau-Wang-Wu conjecture on partial isometries holds in the 5-by-5 case

abstract: Gau, Wang and Wu in their LAMA'2016 paper conjectured (and proved for $n\leq 4$) that an $n$-by-$n$ partial isometry cannot have a circular numerical range with a non-zero center. We prove that this statement holds also for $n=5$.


title: Uninformed Bayesian Quantum Thermometry

abstract: We study the Bayesian approach to thermometry with no prior knowledge about the expected temperature scale, through the example of energy measurements on fully or partially thermalized qubit probes. We show that the most common Bayesian estimators, namely the mean and the median, lead to high-temperature divergences when used for uninformed thermometry. To circumvent this and achieve better overall accuracy, we propose two new estimators based on an optimization of relative deviations. Their global temperature-averaged behavior matches a modified van Trees bound, which complements the Cram\'er-Rao bound for smaller probe numbers and unrestricted temperature ranges. Furthermore, we show that, using partially thermalized probes, one can increase the range of temperatures to which the thermometer is sensitive at the cost of the local accuracy.


title: Dark matter in three-Higgs-doublet models with $S_3$ symmetry

abstract: Models with two or more scalar doublets with discrete or global symmetries can have vacua with vanishing vacuum expectation values in the bases where symmetries are imposed. If a suitable symmetry stabilises such vacua, these models may lead to interesting dark matter candidates, provided that the symmetry prevents couplings among the dark matter candidates and the fermions. We analyse three-Higgs-doublet models with an underlying $S_3$ symmetry. These models have many distinct vacua with one or two vanishing vacuum expectation values which can be stabilised by a remnant of the $S_3$ symmetry which survived spontaneous symmetry breaking. We discuss all possible vacua in the context of $S_3$-symmetric three-Higgs-doublet models, allowing also for softly broken $S_3$, and explore one of the vacuum configurations in detail. In the case we explore, only one of the three Higgs doublets is inert. The other two are active, and therefore the active sector, in many aspects, behaves like a two-Higgs-doublet model. The way the fermions couple to the scalar sector is constrained by the $S_3$ symmetry and is such that the flavour structure of the model is solely governed by the $V_\text{CKM}$ matrix which, in our framework, is not constrained by the $S_3$ symmetry. This is a key requirement for models with minimal flavour violation. In our model there is no CP violation in the scalar sector. We study this model in detail giving the masses and couplings and identifying the range of parameters that are compatible with theoretical and experimental constraints, both from accelerator physics and from astrophysics.


title: Tools for Quantum Computing Based on Decision Diagrams

abstract: With quantum computers promising advantages even in the near-term NISQ era, there is a lively community that develops software and toolkits for the design of corresponding quantum circuits. Although the underlying problems are different, expertise from the design automation community, which developed sophisticated design solutions for the conventional realm in the past decades, can help here. In this respect, decision diagrams provide a promising foundation for tackling many design tasks such as simulation, synthesis, and verification of quantum circuits. However, users of the corresponding tools often do not have a proper background or an intuition about how these methods based on decision diagrams work and what their strengths and limits are. In this work, we first review the concepts of how decision diagrams can be employed, e.g., for the simulation and verification of quantum circuits. Afterwards, in an effort to make decision diagrams for quantum computing more accessible, we then present a visualization tool for quantum decision diagrams, which allows users to explore the behavior of decision diagrams in the design tasks mentioned above. Finally, we present decision diagram-based tools for simulation and verification of quantum circuits using the methods discussed above as part of the open-source JKQ quantum toolset---a set of tools for quantum computing developed at the Johannes Kepler University (JKU) Linz and released under the MIT license. More information about the corresponding tools is available at https://github.com/iic-jku/. By this, we provide an introduction of the concepts and tools for potential users who would like to work with them as well as potential developers aiming to extend them.


title: Non-Local Feature Aggregation on Graphs via Latent Fixed Data Structures

abstract: In contrast to image/text data whose order can be used to perform non-local feature aggregation in a straightforward way using the pooling layers, graphs lack the tensor representation and mostly the element-wise max/mean function is utilized to aggregate the locally extracted feature vectors. In this paper, we present a novel approach for global feature aggregation in Graph Neural Networks (GNNs) which utilizes a Latent Fixed Data Structure (LFDS) to aggregate the extracted feature vectors. The locally extracted feature vectors are sorted/distributed on the LFDS and a latent neural network (CNN/GNN) is utilized to perform feature aggregation on the LFDS. The proposed approach is used to design several novel global feature aggregation methods based on the choice of the LFDS. We introduce multiple LFDSs including loop, 3D tensor (image), sequence, data driven graphs and an algorithm which sorts/distributes the extracted local feature vectors on the LFDS. While the computational complexity of the proposed methods are linear with the order of input graphs, they achieve competitive or better results.


title: On $p$-adic Simpson and Riemann-Hilbert correspondences in the imperfect residue field case

abstract: Let $K$ be a mixed characteristic complete discrete valuation field with residue field admitting a finite $p$-basis, and let $G_K$ be the Galois group. Inspired by Liu and Zhu's construction of $p$-adic Simpson and Riemann-Hilbert correspondences over rigid analytic varieties, we construct such correspondences for representations of $G_K$. As an application, we prove a Hodge-Tate (resp. de Rham) "rigidity" theorem for $p$-adic representations of $G_K$, generalizing a result of Morita.


title: The Realistic Scattering of Puffy Dark Matter

abstract: If dark matter has a finite size, the intrinsic interaction responsible for the structure formation is inevitable from the perspective of dark matter self-scattering. To describe the circumstance in which the binding force realizes the finite size dark protons, we first use the Eikonal approximation to simplify the convoluted scattering between dark protons into the case at the $t=0$ limit. The Chou-Yang model is then introduced to reduce the number of input parameters to one based on the simplicity and analyticity principle. A new definition of velocity dependence and the corresponding implications on the small cosmological structures from Chou-Yang dark protons are shown clearly. Even though the parameter space is not fully covered, the numerical findings show that the amplitude coefficient can alter the self-scattering cross-section, allowing us to recover the excluded parameter space without using binding force. Finally, we demonstrate that the correct relic density from thermal freeze-out production prefers super heavy dark protons.


title: On the performance of GPU accelerated q-LSKUM based meshfree solvers in Fortran, C++, Python, and Julia

abstract: This report presents a comprehensive analysis of the performance of GPU accelerated meshfree CFD solvers for two-dimensional compressible flows in Fortran, C++, Python, and Julia. The programming model CUDA is used to develop the GPU codes. The meshfree solver is based on the least squares kinetic upwind method with entropy variables (q-LSKUM). To assess the computational efficiency of the GPU solvers and to compare their relative performance, benchmark calculations are performed on seven levels of point distribution. To analyse the difference in their run-times, the computationally intensive kernel is profiled. Various performance metrics are investigated from the profiled data to determine the cause of observed variation in run-times. To address some of the performance related issues, various optimisation strategies are employed. The optimised GPU codes are compared with the naive codes, and conclusions are drawn from their performance.


title: Structure-Aware Feature Generation for Zero-Shot Learning

abstract: Zero-Shot Learning (ZSL) targets at recognizing unseen categories by leveraging auxiliary information, such as attribute embedding. Despite the encouraging results achieved, prior ZSL approaches focus on improving the discriminant power of seen-class features, yet have largely overlooked the geometric structure of the samples and the prototypes. The subsequent attribute-based generative adversarial network (GAN), as a result, also neglects the topological information in sample generation and further yields inferior performances in classifying the visual features of unseen classes. In this paper, we introduce a novel structure-aware feature generation scheme, termed as SA-GAN, to explicitly account for the topological structure in learning both the latent space and the generative networks. Specifically, we introduce a constraint loss to preserve the initial geometric structure when learning a discriminative latent space, and carry out our GAN training with additional supervising signals from a structure-aware discriminator and a reconstruction module. The former supervision distinguishes fake and real samples based on their affinity to class prototypes, while the latter aims to reconstruct the original feature space from the generated latent space. This topology-preserving mechanism enables our method to significantly enhance the generalization capability on unseen-classes and consequently improve the classification performance. Experiments on four benchmarks demonstrate that the proposed approach consistently outperforms the state of the art. Our code can be found in the supplementary material and will also be made publicly available.


title: Exploring Transferable and Robust Adversarial Perturbation Generation from the Perspective of Network Hierarchy

abstract: The transferability and robustness of adversarial examples are two practical yet important properties for black-box adversarial attacks. In this paper, we explore effective mechanisms to boost both of them from the perspective of network hierarchy, where a typical network can be hierarchically divided into output stage, intermediate stage and input stage. Since over-specialization of source model, we can hardly improve the transferability and robustness of the adversarial perturbations in the output stage. Therefore, we focus on the intermediate and input stages in this paper and propose a transferable and robust adversarial perturbation generation (TRAP) method. Specifically, we propose the dynamically guided mechanism to continuously calculate accurate directional guidances for perturbation generation in the intermediate stage. In the input stage, instead of the single-form transformation augmentations adopted in the existing methods, we leverage multiform affine transformation augmentations to further enrich the input diversity and boost the robustness and transferability of the adversarial perturbations. Extensive experiments demonstrate that our TRAP achieves impressive transferability and high robustness against certain interferences.


title: Model-independent features of gravitational waves from bubble collisions

abstract: We study the gravitational radiation produced by the collisions of bubble walls or thin fluid shells in cosmological phase transitions. Using the so-called envelope approximation, we obtain analytically the asymptotic behavior of the gravitational wave spectrum at low and high frequencies for any phase transition model. The complete spectrum can thus be approximated by a simple interpolation between these asymptotes. We verify this approximation with specific examples. We use these results to discuss the dependence of the spectrum on the time and size scales of the source.


title: Adaptive Gradient Descent Methods for Computing Implied Volatility

abstract: In this paper, a new numerical method based on adaptive gradient descent optimizers is provided for computing the implied volatility from the Black-Scholes (B-S) option pricing model. It is shown that the new method is more accurate than the close form approximation. Compared with the Newton-Raphson method, the new method obtains a reliable rate of convergence and tends to be less sensitive to the beginning point.


title: Logistic or not logistic?

abstract: We propose a new class of goodness-of-fit tests for the logistic distribution based on a characterisation related to the density approach in the context of Stein's method. This characterisation based test is a first of its kind for the logistic distribution. The asymptotic null distribution of the test statistic is derived and it is shown that the test is consistent against fixed alternatives. The finite sample power performance of the newly proposed class of tests is compared to various existing tests by means of a Monte Carlo study. It is found that this new class of tests are especially powerful when the alternative distributions are heavy tailed, like Student's t and Cauchy, or for skew alternatives such as the log-normal, gamma and chi-square distributions.


title: Research on Brick Schema Representation for Building Operation with Variable Refrigerant Flow Systems

abstract: Building metadata is regarded as the signpost in organizing massive building data. The application of building metadata simplifies the creation of digital representations and provides portable data analytics. Typical metadata standards such as Brick and Haystack are used to describe the data of the building system. Brick uses standard ontologies to create building metadata. However, neither Haystack nor Brick has provided definitions about the Variable Refrigerant Flow (VRF) system so far. For years, both Brick and Haystack working groups have been discussing how to describe VRF in their schema, mainly about the classification of VRF and the definitions of VRF units. There were no settled solutions for these problems. Meanwhile, the global VRF market is growing increasingly fast because of the energy efficiency and installation simplicity of the VRF system. It is needed to have the metadata to describe VRF units in buildings for data analysis and management. Addressing this challenge, this paper extended Brick Schema with the VRF module and verified the Brick VRF module. Then, the model and the service framework were developed and applied for a building in China. The framework can serve portable energy analysis for different areas. The VRF module of this paper provides a possible solution for the expression of the VRF system in the building semantic web. The works in this paper will support semantic web in automation strategies for building management and scalable building operation.


title: Non-existence of concave functions on certain metric spaces

abstract: In the paper \cite{yau1974convex}, Yau proved that: There is no non-trivial continuous concave function on a complete manifold with finite volume. We prove analogue theorems for several metric spaces, including Alexandrov spaces with curvature bounded below/above, $C^{\alpha}$-H\"older Riemannian manifolds.


title: $\text{Direct}~Q\text{-Value Determination of the}~\beta^-~\text{Decay of} ~^{187}\text{Re}$

abstract: The cyclotron frequency ratio of $^{187}\mathrm{Os}^{29+}$ to $^{187}\mathrm{Re}^{29+}$ ions was measured with the Penning-trap mass spectrometer PENTATRAP. The achieved result of $R=1.000\:000\:013\:882(5)$ is to date the most precise such measurement performed on ions. Furthermore, the total binding-energy difference of the 29 missing electrons in Re and Os was calculated by relativistic multiconfiguration methods, yielding the value of $\Delta E = 53.5(10)$ eV. Finally, using the achieved results, the mass difference between neutral $^{187}$Re and $^{187}$Os, i.e., the $Q$ value of the $\beta^-$ decay of $^{187}$Re, is determined to be 2470.9(13) eV.


title: Combining COVID-19 Vaccination with Social Distancing Measures

abstract: We analyze an optimal control version of a simple SIR epidemiology model that includes a partially specified vaccination policy and takes into account fatigue from protracted application of social distancing measures. The model assumes demographic (age related) categories, and is otherwise homogeneous. Maximum capacity for vaccination is exogenous and the authorities select its allocation to the categories. They can also adopt measures to uniformly diminish the contact rate between infected and susceptible individuals at an economic cost. Total or partial immunity is modeled, while the contact rate is allowed to exhibit seasonality. We apply optimal control methods to minimize a cost index while guaranteeing that health system capacity is not exceeded. A reasonable parameter selection leads to policies specifying that vaccination priority should be given to the category with a higher demand for the limited health care resources regardless of cost variations among categories. Vaccination priority reverses if some demographic category has significantly higher mobility while for some parameter values vaccination alternates among categories. Optimal social distancing policies exhibit seasonality, and hence reducing susceptibles below the average spontaneous disease extinction level does not necessarily lead to a repeal of social distancing.


title: Implicitly Regularized RL with Implicit Q-Values

abstract: The $Q$-function is a central quantity in many Reinforcement Learning (RL) algorithms for which RL agents behave following a (soft)-greedy policy w.r.t. to $Q$. It is a powerful tool that allows action selection without a model of the environment and even without explicitly modeling the policy. Yet, this scheme can only be used in discrete action tasks, with small numbers of actions, as the softmax cannot be computed exactly otherwise. Especially the usage of function approximation, to deal with continuous action spaces in modern actor-critic architectures, intrinsically prevents the exact computation of a softmax. We propose to alleviate this issue by parametrizing the $Q$-function implicitly, as the sum of a log-policy and of a value function. We use the resulting parametrization to derive a practical off-policy deep RL algorithm, suitable for large action spaces, and that enforces the softmax relation between the policy and the $Q$-value. We provide a theoretical analysis of our algorithm: from an Approximate Dynamic Programming perspective, we show its equivalence to a regularized version of value iteration, accounting for both entropy and Kullback-Leibler regularization, and that enjoys beneficial error propagation results. We then evaluate our algorithm on classic control tasks, where its results compete with state-of-the-art methods.


title: On the minimum size of subset and subsequence sums in integers

abstract: Let $\mathcal{A}$ be a sequence of $rk$ terms which is made up of $k$ distinct integers each appearing exactly $r$ times in $\mathcal{A}$. The sum of all terms of a subsequence of $\mathcal{A}$ is called a subsequence sum of $\mathcal{A}$. For a nonnegative integer $\alpha \leq rk$, let $\Sigma_{\alpha} (\mathcal{A})$ be the set of all subsequence sums of $\mathcal{A}$ that correspond to the subsequences of length $\alpha$ or more. When $r=1$, we call the subsequence sums as subset sums and we write $\Sigma_{\alpha} (A)$ for $\Sigma_{\alpha} (\mathcal{A})$. In this article, using some simple combinatorial arguments, we establish optimal lower bounds for the size of $\Sigma_{\alpha} (A)$ and $\Sigma_{\alpha} (\mathcal{A})$. As special cases, we also obtain some already known results in this study.