title: Resource Allocation in Laser-based Optical Wireless Cellular Networks

abstract: Optical wireless communication provides data transmission at high speeds which can satisfy the increasing demands for connecting a massive number of devices to the Internet. In this paper, vertical-cavity surface-emitting(VCSEL) lasers are used as transmitters due to their high modulation speed and energy efficiency. However, a high number of VCSEL lasers is required to ensure coverage where each laser source illuminates a confined area. Therefore, multiple users are classified into different sets according to their connectivity. Given this point, a transmission scheme that uses blind interference alignment (BIA) is implemented to manage the interference in the laser-based network. In addition, an optimization problem is formulated to maximize the utility sum rate taking into consideration the classification of the users. To solve this problem, a decentralized algorithm is proposed where the main problem is divided into sub-problems, each can be solved independently avoiding complexity. The results demonstrate the optimality of the decentralized algorithm where a sub-optimal solution is provided. Finally, it is shown that BIA can provide high performance in laser-based networks compared with zero forcing (ZF) transmit precoding scheme.


title: On Shapiro time delay in massive scalar-tensor theories

abstract: The problem of determining the post-Newtonian parameter $\gamma$ in massive scalar-tensor theories is considered. We demonstrate equivalent correspondence between the post-Newtonian parameter $\gamma$ and the parameter appearing in the equation of null geodysic in massive scalar-tensor theories. We show that massive scalar-tensor theories can be distinguished from general relativity based on the predictions of Shapiro time delay. All calculations are presented using hybrid metric-Palatini f(R)-gravity as an example. The expression for Shapiro time delay in hybrid f(R)-gravity is obtained for the first time.


title: Fast Sampling from Time-Integrated Bridges using Deep Learning

abstract: We propose a methodology to sample from time-integrated stochastic bridges, namely random variables defined as $\int_{t_1}^{t_2} f(Y(t))dt$ conditioned on $Y(t_1)\!=\!a$ and $Y(t_2)\!=\!b$, with $a,b\in R$. The Stochastic Collocation Monte Carlo sampler and the Seven-League scheme are applied for this purpose. Notably, the distribution of the time-integrated bridge is approximated utilizing a polynomial chaos expansion built on a suitable set of stochastic collocation points. Furthermore, artificial neural networks are employed to learn the collocation points. The result is a robust, data-driven procedure for the Monte Carlo sampling from conditional time-integrated processes, which guarantees high accuracy and generates thousands of samples in milliseconds. Applications, with a focus on finance, are presented here as well.


title: A Quantum-like Model for Predicting Human Decisions in the Entangled Social Systems

abstract: Human-centered systems of systems such as social networks, Internet of Things, or healthcare systems are growingly becoming major facets of modern life. Realistic models of human behavior in such systems play a significant role in their accurate modeling and prediction. Yet, human behavior under uncertainty often violates the predictions by the conventional probabilistic models. Recently, quantum-like decision theories have shown a considerable potential to explain the contradictions in human behavior by applying quantum probability. But providing a quantum-like decision theory that could predict, rather than describe the current, state of human behavior is still one of the unsolved challenges. The main novelty of our approach is introducing an entangled Bayesian network inspired by the entanglement concept in quantum information theory, in which each human is a part of the entire society. Accordingly, society's effect on the dynamic evolution of the decision-making process, which is less often considered in decision theories, is modeled by the entanglement measures. The proposed predictive entangled quantum-like Bayesian network (PEQBN) is evaluated on 22 experimental tasks. Results confirm that PEQBN provides more realistic predictions of human decisions under uncertainty, when compared with classical Bayesian networks and three recent quantum-like approaches.

categories: physics.soc-ph cs.HC cs.LG cs.SY eess.SY quant-ph


title: Unitriangular basic sets, Brauer characters and coprime actions

abstract: We show that the decomposition matrix of a given group $G$ is unitriangular, whenever $G$ has a normal subgroup $N$ such that the decomposition matrix of $N$ is unitriangular, $G/N$ is abelian and certain characters of $N$ extend to their stabilizer in $G$. Using the recent result by Brunat--Dudas--Taylor establishing that unipotent blocks have a unitriangular decomposition matrix, this allows us to prove that blocks of groups of quasi-simple groups of Lie type have a unitriangular decomposition matrix, whenever they are related via Bonnaf\'e--Dat--Rouquier's equivalence to a unipotent block. This is then applied to study the action of automorphisms on Brauer characters of finite quasi-simple groups. We use it to verify the so-called {\it inductive Brauer--Glaubermann condition}, that aims to establish a Glauberman correspondence for Brauer characters, given a coprime action.


title: Cross-sections of photoneutron reactions on $^{181}$Ta at $e_{\rm \gamma max}$ up to 95 MeV

abstract: The total bremsstrahlung flux-averaged cross-sections $\langle{\sigma(E_{\rm{\gamma max}})}\rangle$ for the photonuclear reactions $^{181}\rm{Ta}(\gamma,\textit{x}n; \textit{x} \leq 8)^{181-\textit{x}}\rm{Ta}$ have been measured in the range of end-point energies $E_{\rm \gamma max}$ up to 95 MeV. The experiments were performed with the beam from the NSC KIPT electron linear accelerator LUE-40 with the use of the activation and off-line $\gamma$-ray spectrometric technique. The calculation of average cross-sections was carried out using the cross-section values computed with the TALYS1.95 code for different level density models $LD$ 1-6. A comparison between the experimental total cross-sections $\langle{\sigma(E_{\rm{\gamma max}})}\rangle$ and the theoretical values has shown satisfactory agreement for the $^{181}\rm{Ta}(\gamma,\textit{x}n)$ reactions with the escape of 1-4, 6 and 7 neutrons. The closest agreement with the measured data is observed with the $LD$5 computation version, which represents the microscopic level density model taking into account Hilaire's combinatorial tables.


title: AdaDM: Enabling Normalization for Image Super-Resolution

abstract: Normalization like Batch Normalization (BN) is a milestone technique to normalize the distributions of intermediate layers in deep learning, enabling faster training and better generalization accuracy. However, in fidelity image Super-Resolution (SR), it is believed that normalization layers get rid of range flexibility by normalizing the features and they are simply removed from modern SR networks. In this paper, we study this phenomenon quantitatively and qualitatively. We found that the standard deviation of the residual feature shrinks a lot after normalization layers, which causes the performance degradation in SR networks. Standard deviation reflects the amount of variation of pixel values. When the variation becomes smaller, the edges will become less discriminative for the network to resolve. To address this problem, we propose an Adaptive Deviation Modulator (AdaDM), in which a modulation factor is adaptively predicted to amplify the pixel deviation. For better generalization performance, we apply BN in state-of-the-art SR networks with the proposed AdaDM. Meanwhile, the deviation amplification strategy in AdaDM makes the edge information in the feature more distinguishable. As a consequence, SR networks with BN and our AdaDM can get substantial performance improvements on benchmark datasets. Extensive experiments have been conducted to show the effectiveness of our method.


title: A data-driven partitioned approach for the resolution of time-dependent optimal control problems with dynamic mode decomposition

abstract: This work recasts time-dependent optimal control problems governed by partial differential equations in a Dynamic Mode Decomposition with control framework. Indeed, since the numerical solution of such problems requires a lot of computational effort, we rely on this specific data-driven technique, using both solution and desired state measurements to extract the underlying system dynamics. Thus, after the Dynamic Mode Decomposition operators construction, we reconstruct and perform future predictions for all the variables of interest at a lower computational cost with respect to the standard space-time discretized models. We test the methodology in terms of relative reconstruction and prediction errors on a boundary control for a Graetz flow and on a distributed control with Stokes constraints.


title: Pose Representations for Deep Skeletal Animation

abstract: Data-driven character animation techniques rely on the existence of a properly established model of motion, capable of describing its rich context. However, commonly used motion representations often fail to accurately encode the full articulation of motion, or present artifacts. In this work, we address the fundamental problem of finding a robust pose representation for motion modeling, suitable for deep character animation, one that can better constrain poses and faithfully capture nuances correlated with skeletal characteristics. Our representation is based on dual quaternions, the mathematical abstractions with well-defined operations, which simultaneously encode rotational and positional orientation, enabling a hierarchy-aware encoding, centered around the root. We demonstrate that our representation overcomes common motion artifacts, and assess its performance compared to other popular representations. We conduct an ablation study to evaluate the impact of various losses that can be incorporated during learning. Leveraging the fact that our representation implicitly encodes skeletal motion attributes, we train a network on a dataset comprising of skeletons with different proportions, without the need to retarget them first to a universal skeleton, which causes subtle motion elements to be missed. We show that smooth and natural poses can be achieved, paving the way for fascinating applications.


title: Artificial neural networks for online error detection

abstract: Hardware reliability is adversely affected by the downscaling of semiconductor devices and the scale-out of systems necessitated by modern applications. Apart from crashes, this unreliability often manifests as silent data corruptions (SDCs), affecting application output. Therefore, we need low-cost and low-human-effort solutions to reduce the incidence rate and the effects of SDCs on the quality of application outputs. We propose Artificial Neural Networks (ANNs) as an effective mechanism for online error detection. We train ANNs using software fault injection. We find that the average overhead of our approach, followed by a costly error correction by re-execution, is 6.45% in terms of CPU cycles. We also report that ANNs discover 94.85% of faults thereby resulting in minimal output quality degradation. To validate our approach we overclock ARM Cortex A53 CPUs, execute benchmarks on them and record the program outputs. ANNs prove to be an efficient error detection mechanism, better than a state of the art approximate error detection mechanism (Topaz), both in terms of performance (12.81% CPU overhead) and quality of application output (94.11% detection coverage).


title: Predictive simulations of core electron binding energies of halogenated species adsorbed on ice surfaces from relativistic quantum embedding calculations

abstract: We report an investigation of the suitability of quantum embedding for modeling the effects of the environment on the X-ray photoelectron spectra of hydrogen chloride and the chloride ions adsorbed on ice surfaces, as well as of chloride ions in water droplets. In our approach, we combine a density functional theory (DFT) description of the ice surface with that of the halogen species with the recently developed relativistic core-valence separation equation of motion coupled cluster (CVS-EOM-IP-CCSD) via the frozen density embedding formalism (FDE), to determine the K and L$_{1,2,3}$ edges of chlorine. Our calculations, which incorporate temperature effects through snapshots from classical molecular dynamics simulations, are shown to reproduce the experimental trends for L edges of the species on ice surfaces, with respect to changes in temperature as well as the decrease in core binding energies in Cl$^{-}$ with respect to HCl. Finally, we find that in contrast to the L edges, we strongly underestimate the environmental effects on the K edges. We trace this behavior to the inability of the embedding potential obtained with the FDE approach to faithfully reproduce the Kohn-Sham potential of the analogous DFT calculation on the whole (supermolecular) system, and provide an ad hoc correction to the CVS-EOM-IP-CCSD energies, based on ground-state DFT calculations, that yields binding energies with similar accuracy to that observed for the L edges.


title: Assessing the Effectiveness of YARA Rules for Signature-Based Malware Detection and Classification

abstract: Malware often uses obfuscation techniques or is modified slightly to evade signature detection from antivirus software and malware analysis tools. Traditionally, to determine if a file is malicious and identify what type of malware a sample is, a cryptographic hash of a file is calculated. A more recent and flexible solution for malware detection is YARA, which enables the creation of rules to identify and classify malware based on a file's binary patterns. In this paper, the author will critically evaluate the effectiveness of YARA rules for signature-based detection and classification of malware in comparison to alternative methods, which include cryptographic and fuzzy hashing.


title: Optimal convergence rate in the quantum Zeno effect for open quantum systems in infinite dimensions

abstract: In open quantum systems, the quantum Zeno effect consists in frequent applications of a given quantum operation, e.g.~a measurement, used to restrict the time evolution (due e.g.~to decoherence) to states that are invariant under the quantum operation. In an abstract setting, the Zeno sequence is an alternating concatenation of a contraction operator (quantum operation) and a $C_0$-contraction semigroup (time evolution) on a Banach space. In this paper, we prove the optimal convergence rate of order $\tfrac{1}{n}$ of the Zeno sequence by proving explicit error bounds. For that, we derive a new Chernoff-type $\sqrt{n}$-Lemma, which we believe to be of independent interest. Moreover, we generalize the convergence result for the Zeno effect in two directions: We weaken the assumptions on the generator, inducing the Zeno dynamics generated by an unbounded generator and we improve the convergence to the uniform topology. Finally, we provide a large class of examples arising from our assumptions.


title: On approximating shortest paths in weighted triangular tessellations

abstract: We study the quality of weighted shortest paths when a continuous 2-dimensional space is discretized by a weighted triangular tessellation. In order to evaluate how well the tessellation approximates the 2-dimensional space, we study three types of shortest paths: a weighted shortest path~$ \mathit{SP_w}(s,t) $, which is a shortest path from $ s $ to $ t $ in the space; a weighted shortest vertex path $ \mathit{SVP_w}(s,t) $, which is a shortest path where the vertices of the path are vertices of the tessellation; and a weighted shortest grid path~$ \mathit{SGP_w}(s,t) $, which is a shortest path whose edges are edges of the tessellation. The ratios $ \frac{\lVert \mathit{SGP_w}(s,t)\rVert}{\lVert \mathit{SP_w}(s,t)\rVert} $, $ \frac{\lVert \mathit{SVP_w}(s,t)\rVert}{\lVert \mathit{SP_w}(s,t)\rVert} $, $ \frac{\lVert \mathit{SGP_w}(s,t)\rVert}{\lVert \mathit{SVP_w}(s,t)\rVert} $ provide estimates on the quality of the approximation. Given any arbitrary weight assignment to the faces of a triangular tessellation, we prove upper and lower bounds on the estimates that are independent of the weight assignment. Our main result is that $ \frac{\lVert \mathit{SGP_w}(s,t)\rVert}{\lVert \mathit{SP_w}(s,t)\rVert} = \frac{2}{\sqrt{3}} \approx 1.15 $ in the worst case, and this is tight.


title: Cosmic scenario of early Universe in context of Euclidean wormhole in dilatonic Einstein Gauss Bonnet gravity

abstract: We present some wormhole configurations using analytic and numerical solutions of the Euclidean field equations considering Einstein Gauss Bonnet dilaton coupled interaction in the Robertson Walker metric. Analytic solutions invoking slow-roll type approximation for some potentials yield identical wormholes in the early era. Eventually, in a later era, the universe enters to an expanding era much faster than usual inflation accompanied by oscillations with analytic continuation \tau=it. The numerical solutions of wormholes in terms of the scale factor a(\tau) are almost identical for some standard potentials of the dilaton field, except for the evolution of potentials. The Hubble parameter and deceleration parameter obtained by curve fit of a(\tau) of the numerical solution of wormhole yield an inflationary era away from the throat of the wormhole using \tau=it. A sharp decay of the potential is also observed.


title: Fast and Informative Model Selection using Learning Curve Cross-Validation

abstract: Common cross-validation (CV) methods like k-fold cross-validation or Monte-Carlo cross-validation estimate the predictive performance of a learner by repeatedly training it on a large portion of the given data and testing on the remaining data. These techniques have two major drawbacks. First, they can be unnecessarily slow on large datasets. Second, beyond an estimation of the final performance, they give almost no insights into the learning process of the validated algorithm. In this paper, we present a new approach for validation based on learning curves (LCCV). Instead of creating train-test splits with a large portion of training data, LCCV iteratively increases the number of instances used for training. In the context of model selection, it discards models that are very unlikely to become competitive. We run a large scale experiment on the 67 datasets from the AutoML benchmark and empirically show that in over 90% of the cases using LCCV leads to similar performance (at most 1.5% difference) as using 5/10-fold CV. However, it yields substantial runtime reductions of over 20% on average. Additionally, it provides important insights, which for example allow assessing the benefits of acquiring more data. These results are orthogonal to other advances in the field of AutoML.


title: Search for the decay $h_c\rightarrow\pi^0J/\psi$

abstract: A search for the decay $h_c\rightarrow\pi^0J/\psi$ is performed using a sample of $h_c$ produced in the reaction $e^+e^-\rightarrow\pi^+\pi^-h_c$. The data samples were collected with the BESIII detector at center-of-mass energies between 4.189 and 4.437 GeV, corresponding to a total integrated luminosity of 11 fb$^{-1}$. No significant signal is observed. Upper limits on the branching ratio $\mathcal{B}(h_c\rightarrow\pi^0J/\psi)/\mathcal{B}(h_c\rightarrow\gamma\eta_c\rightarrow\gamma K^+K^-\pi^0)$ and on the branching fraction $\mathcal{B}(h_c\rightarrow\pi^0J/\psi)$ are determined to be $7.5\times10^{-2}$ and $4.7\times10^{-4}$ at $90\%$ confidence level, respectively. The latter is derived from the former using the measured branching fraction of the normalization channel. This is the first determination of the upper limit of the decay $h_c\rightarrow\pi^0J/\psi$.


title: Is BFKL factorization valid for Mueller-Tang jets?

abstract: The perturbative QCD description of high-energy hadroproduction of two hard jets separated by a large rapidity gap void of emission (also called Mueller-Tang jets) is based on a factorization formula of BFKL type that represents exchanges of colour-singlet objects among the external particles. This formula resums to all perturbative orders a certain class of Feynman diagrams that are supposed to dominate the cross-section in the Regge limit. However, the explicit calculations at next-to-leading logarithmic order questions the validity of such factorization when an IR safe jet algorithm is used to reconstruct jets. We show the origin of such violation of factorization, and quantify its impact for LHC phenomenology. In this connection, we estimate the impact of other contributions to the cross-section that are not included in the Mueller-Tang factorization formula -- colour non-singlet exchanges -- that, at low rapidity separation, compete with the singlet ones.


title: Production of the $B_c$ meson at the CEPC

abstract: In this paper, we make a detailed study on the production of the $B_c$, $B_c^*$, $B_c(2\,^1S_0)$, and $B^*_c(2\,^3S_1)$ mesons via the three planned running modes ($Z$, $W$, and $H$) at the future Circular Electron-Positron Collider (CEPC). The fragmentation-function and full nonrelativistic QCD approaches are adopted to calculate the production cross sections. Considering the excited states shall decay to the ground $B_c$ state (e.g. $1^1S_0$-state) with almost $100\%$ probability, our numerical results show that up to next-to-leading order QCD corrections, there are about $1.4\times 10^8$ $B_c$ events to be accumulated via the $Z$ mode ($\sqrt{s}=m_{_Z}$) of the CEPC, but only about $1.6\times 10^4$ and $1.1\times 10^4$ $B_c$ events to be accumulated via the $W$ ($\sqrt{s}=160\,{\rm GeV}$) and $H$ ($\sqrt{s}=240\,{\rm GeV}$) modes, respectively. Since the $Z$ mode is the best mode among the three planned modes of the CEPC for studying the production of the $B_c$, $B_c^*$, $B_c(2\,^1S_0)$, and $B^*_c(2\,^3S_1)$ mesons and the differential distributions of these mesons may be measured precisely at this mode, we further present the differential cross sections $d\sigma/(dz\,d{\rm cos}\theta)$ and $d\sigma/dz$ via the $Z$ mode of the CEPC.


title: Tests of General Relativity using black hole X-ray data

abstract: The theory of General Relativity has successfully passed a large number of observational tests. The theory has been extensively tested in the weak-field regime with experiments in the Solar System and observations of binary pulsars. Recently, there have seen significant advancements in the study of the strong-field regime, which can now be tested with gravitational waves, X-ray data, and mm Very Long Baseline Interferometry observations. Here we summarize the state-of-the-art of the tests of General Relativity with black hole X-ray data, discussing its recent progress and future developments.


title: More relations between $\lambda$-labeling and Hamiltonian paths with emphasis on line graph of bipartite multigraphs

abstract: This paper deals with the $\lambda$-labeling and $L(2,1)$-coloring of simple graphs. A $\lambda$-labeling of a graph $G$ is any labeling of the vertices of $G$ with different labels such that any two adjacent vertices receive labels which differ at least two. Also an $L(2,1)$-coloring of $G$ is any labeling of the vertices of $G$ such that any two adjacent vertices receive labels which differ at least two and any two vertices with distance two receive distinct labels. Assume that a partial $\lambda$-labeling $f$ is given in a graph $G$. A general question is whether $f$ can be extended to a $\lambda$-labeling of $G$. We show that the extension is feasible if and only if a Hamiltonian path consistent with some distance constraints exists in the complement of $G$. Then we consider line graph of bipartite multigraphs and determine the minimum number of labels in $L(2,1)$-coloring and $\lambda$-labeling of these graphs. In fact we obtain easily computable formulas for the path covering number and the maximum path of the complement of these graphs. We obtain a polynomial time algorithm which generates all Hamiltonian paths in the related graphs. A special case is the Cartesian product graph $K_n\Box K_n$ and the generation of $\lambda$-squares.


title: Sparse Subspace Clustering Friendly Deep Dictionary Learning for Hyperspectral Image Classification

abstract: Subspace clustering techniques have shown promise in hyperspectral image segmentation. The fundamental assumption in subspace clustering is that the samples belonging to different clusters/segments lie in separable subspaces. What if this condition does not hold? We surmise that even if the condition does not hold in the original space, the data may be nonlinearly transformed to a space where it will be separable into subspaces. In this work, we propose a transformation based on the tenets of deep dictionary learning (DDL). In particular, we incorporate the sparse subspace clustering (SSC) loss in the DDL formulation. Here DDL nonlinearly transforms the data such that the transformed representation (of the data) is separable into subspaces. We show that the proposed formulation improves over the state-of-the-art deep learning techniques in hyperspectral image clustering.


title: Transformed K-means Clustering

abstract: In this work we propose a clustering framework based on the paradigm of transform learning. In simple terms the representation from transform learning is used for K-means clustering; however, the problem is not solved in such a na\"ive piecemeal fashion. The K-means clustering loss is embedded into the transform learning framework and the joint problem is solved using the alternating direction method of multipliers. Results on document clustering show that our proposed approach improves over the state-of-the-art.


title: The Jordan-H\"older Theorem for Monoids with Group Action

abstract: In this article, we prove an isomorphism theorem for the case of refinement $\Gamma$-monoids. Based on this we show a version of the well-known Jordan-H\"older theorem in this framework. The main theorem of this article states that - as in the case of modules - a monoid $T$ has a $\Gamma$-composition series if and only if it is both $\Gamma$-Noetherian and $\Gamma$-Artinian. As in module theory, these two concepts can be defined via ascending and descending chains respectively.


title: Learning A 3D-CNN and Transformer Prior for Hyperspectral Image Super-Resolution

abstract: To solve the ill-posed problem of hyperspectral image super-resolution (HSISR), an usually method is to use the prior information of the hyperspectral images (HSIs) as a regularization term to constrain the objective function. Model-based methods using hand-crafted priors cannot fully characterize the properties of HSIs. Learning-based methods usually use a convolutional neural network (CNN) to learn the implicit priors of HSIs. However, the learning ability of CNN is limited, it only considers the spatial characteristics of the HSIs and ignores the spectral characteristics, and convolution is not effective for long-range dependency modeling. There is still a lot of room for improvement. In this paper, we propose a novel HSISR method that uses Transformer instead of CNN to learn the prior of HSIs. Specifically, we first use the proximal gradient algorithm to solve the HSISR model, and then use an unfolding network to simulate the iterative solution processes. The self-attention layer of Transformer makes it have the ability of spatial global interaction. In addition, we add 3D-CNN behind the Transformer layers to better explore the spatio-spectral correlation of HSIs. Both quantitative and visual results on two widely used HSI datasets and the real-world dataset demonstrate that the proposed method achieves a considerable gain compared to all the mainstream algorithms including the most competitive conventional methods and the recently proposed deep learning-based methods.


title: A Practical Contrastive Learning Framework for Single-Image Super-Resolution

abstract: Contrastive learning has achieved remarkable success on various high-level tasks, but there are fewer contrastive learning-based methods proposed for low-level tasks. It is challenging to adopt vanilla contrastive learning technologies proposed for high-level visual tasks to low-level image restoration problems straightly. Because the acquired high-level global visual representations are insufficient for low-level tasks requiring rich texture and context information. In this paper, we investigate the contrastive learning-based single image super-resolution from two perspectives: positive and negative sample construction and feature embedding. The existing methods take naive sample construction approaches (e.g., considering the low-quality input as a negative sample and the ground truth as a positive sample) and adopt a prior model (e.g., pre-trained VGG model) to obtain the feature embedding. To this end, we propose a practical contrastive learning framework for SISR, named PCL-SR. We involve the generation of many informative positive and hard negative samples in frequency space. Instead of utilizing an additional pre-trained network, we design a simple but effective embedding network inherited from the discriminator network which is more task-friendly. Compared with existing benchmark methods, we re-train them by our proposed PCL-SR framework and achieve superior performance. Extensive experiments have been conducted to show the effectiveness and technical contributions of our proposed PCL-SR thorough ablation studies. The code and pre-trained models can be found at https://github.com/Aitical/PCL-SISR.


title: On the Gaussian Curvature of Creased Tubes

abstract: We calculate the Gaussian curvature of a curved, twisted crease in terms of the rate of change of solid angle along its length; we find that this depends on the fold angle across the crease and on the curvature along it but is independent of twist. We use this result to resolve a paradox concerning the geometry of a creased, twisted-prismatic tube; that there can be no Gaussian curvature overall despite the surface being doubly-curved.


title: Ensemble Variational Fokker-Planck Methods for Data Assimilation

abstract: Particle flow filters solve Bayesian inference problems by smoothly transforming a set of particles into samples from the posterior distribution. Particles move in state space under the flow of an McKean-Vlasov-Ito process. This work introduces the Variational Fokker-Planck (VFP) framework for data assimilation, a general approach that includes previously known particle flow filters as special cases. The McKean-Vlasov-Ito process that transforms particles is defined via an optimal drift that depends on the selected diffusion term. It is established that the underlying probability density - sampled by the ensemble of particles - converges to the Bayesian posterior probability density. For a finite number of particles the optimal drift contains a regularization term that nudges particles toward becoming independent random variables. Based on this analysis, we derive computationally-feasible approximate regularization approaches that penalize the mutual information between pairs of particles, and avoid particle collapse. Moreover, the diffusion plays a role akin to a particle rejuvenation approach that aims to alleviate particle collapse. The VFP framework is very flexible. Different assumptions on prior and intermediate probability distributions can be used to implement the optimal drift, and localization and covariance shrinkage can be applied to alleviate the curse of dimensionality. A robust implicit-explicit method is discussed for the efficient integration of stiff McKean-Vlasov-Ito processes. The effectiveness of the VFP framework is demonstrated on three progressively more challenging test problems, namely the Lorenz '63, Lorenz '96 and the quasi-geostrophic equations.


title: Controlling the Correctness of Aggregation Operations During Sessions of Interactive Analytic Queries

abstract: We present a comprehensive set of conditions and rules to control the correctness of aggregation queries within an interactive data analysis session. The goal is to extend self-service data preparation and BI tools to automatically detect semantically incorrect aggregate queries on analytic tables and views built by using the common analytic operations including filter, project, join, aggregate, union, difference, and pivot. We introduce aggregable properties to describe for any attribute of an analytic table which aggregation functions correctly aggregates the attribute along which sets of dimension attributes. These properties can also be used to formally identify attributes which are summarizable with respect to some aggregation function along a given set of dimension attributes. This is particularly helpful to detect incorrect aggregations of measures obtained through the use of non-distributive aggregation functions like average and count. We extend the notion of summarizability by introducing a new generalized summarizability condition to control the aggregation of attributes after any analytic operation. Finally, we define propagation rules which transform aggregable properties of the query input tables into new aggregable properties for the result tables, preserving summarizability and generalized summarizability.


title: About the Coleman Instantons in D Dimensions

abstract: We identify an infinite class of unbounded potentials for which the Coleman instantons do not exist in D-dimensional spacetime. For such potentials, the decay of a false vacuum is described by the new instantons introduced in [5,6,4]. For each spacetime dimension D, we also construct the two different classes of potentials for which the instanton equations are exactly solvable.

categories: hep-th gr-qc hep-ph math-ph math.MP quant-ph


title: On lossy Compression of Directed Graphs

abstract: The method of types presented by Csiszar and Korner is a central tool used to develop and analyze the basic properties and constraints on sequences of data over finite alphabets. A central problem considered using these tools is that of data compression, and specifically lossy data compression. In this work we consider this very problem, however, instead of sequences of data we consider directed graphs. We show that given a more natural distortion measure, fitting the data structure of a directed graph, the method of types cannot be applied. The suggested distortion measure aims to preserves the local structure of a directed graph. We build on the recent work of Barvinok and extend the method of types to the two dimensional setting of directed graphs. We see that the extension is quite natural in many ways. Given this extension we provide a lower and upper bound on the rate-distortion problem of lossy compression given the suggested distortion measure.


title: Rate of Entropy Production in Stochastic Mechanical Systems

abstract: Entropy production in stochastic mechanical systems is examined here with strict bounds on its rate. Stochastic mechanical systems include pure diffusions in Euclidean space or on Lie groups, as well as systems evolving on phase space for which the fluctuation-dissipation theorem applies, i.e., return-to-equilibrium processes. Two separate ways for ensembles of such mechanical systems forced by noise to reach equilibrium are examined here. First, a restorative potential and damping can be applied, leading to a classical return-to-equilibrium process wherein energy taken out by damping can balance the energy going in from the noise. Second, the process evolves on a compact configuration space (such as random walks on spheres, torsion angles in chain molecules, and rotational Brownian motion) lead to long-time solutions that are constant over the configuration space, regardless of whether or not damping and random forcing balance. This is a kind of potential-free equilibrium distribution resulting from topological constraints. Inertial and noninertial (kinematic) systems are considered. These systems can consist of unconstrained particles or more complex systems with constraints, such as rigid-bodies or linkages. These more complicated systems evolve on Lie groups and model phenomena such as rotational Brownian motion and nonholonomic robotic systems. In all cases, it is shown that the rate of entropy production is closely related to the appropriate concept of Fisher information matrix of the probability density defined by the Fokker-Planck equation. Classical results from information theory are then repurposed to provide computable bounds on the rate of entropy production in stochastic mechanical systems.


title: Resource-Aware Asynchronous Online Federated Learning for Nonlinear Regression

abstract: Many assumptions in the federated learning literature present a best-case scenario that can not be satisfied in most real-world applications. An asynchronous setting reflects the realistic environment in which federated learning methods must be able to operate reliably. Besides varying amounts of non-IID data at participants, the asynchronous setting models heterogeneous client participation due to available computational power and battery constraints and also accounts for delayed communications between clients and the server. To reduce the communication overhead associated with asynchronous online federated learning (ASO-Fed), we use the principles of partial-sharing-based communication. In this manner, we reduce the communication load of the participants and, therefore, render participation in the learning task more accessible. We prove the convergence of the proposed ASO-Fed and provide simulations to analyze its behavior further. The simulations reveal that, in the asynchronous setting, it is possible to achieve the same convergence as the federated stochastic gradient (Online-FedSGD) while reducing the communication tenfold.


title: Semi-analytical calculation of the trajectory of relativistic nuclear collisions in the QCD phase diagram

abstract: We extend a semi-analytical model that includes the finite nuclear thickness to calculate the energy density $\epsilon(t)$ and conserved-charge densities including the net-baryon density $n_{\rm _B}(t)$ produced at mid-spacetime-rapidity in central Au+Au collisions. Assuming the formation of a quark-gluon plasma with an ideal gas equation of state of either quantum or Boltzmann statistics or with a lattice QCD-based equation of state, we extract the temperature $T$ and chemical potentials $\mu_{\rm _B}$, $\mu_{\rm _Q}$ and $\mu_{\rm _S}$ as functions of time. This then allows us to semi-analytically calculate the $T-\mu_{\rm _B}$ trajectory of relativistic nuclear collisions in the QCD phase diagram, which should benefit the studies of high density physics including the search for the critical end point. This model is also useful for exploring the trajectories in the more general $T-\mu_{\rm _B}-\mu_{\rm _Q}-\mu_{\rm _S}$ QCD phase space.


title: Non-orientable order and non-Abelian response in frustrated metamaterials

abstract: From atomic crystals to bird flocks, most forms of order are captured by the concept of spontaneous symmetry breaking. This paradigm was challenged by the discovery of topological order, in materials where the number of accessible states is not solely determined by the number of broken symmetries, but also by space topology. Until now however, the concept of topological order has been linked to quantum entanglement and has therefore remained out of reach in classical systems. Here, we show that classical systems whose global geometry frustrates the emergence of homogeneous order realise an unanticipated form of topological order defined by non-orientable order-parameter bundles: non-orientable order. We validate experimentally and theoretically this concept by designing frustrated mechanical metamaterials that spontaneously break a discrete symmetry under homogeneous load. While conventional order leads to a discrete ground-state degeneracy, we show that non-orientable order implies an extensive ground-state degeneracy -- in the form of topologically protected zero-nodes and zero-lines. Our metamaterials escape the traditional classification of order by symmetry breaking. Considering more general stress distributions, we leverage non-orientable order to engineer robust mechanical memory and achieve non-Abelian mechanical responses that carry an imprint of the braiding of local loads. We envision this principle to open the way to designer materials that can robustly process information across multiple areas of physics, from mechanics to photonics and magnetism.


title: Margenau-Hill operator valued measures and joint measurability

abstract: We employ the Margenau-Hill (MH) correspondence rule for associating classical functions with quantum operators to construct quasi-probability mass functions. Using this we obtain the fuzzy one parameter quasi measurement operator (QMO) characterizing the incompatibility of non-commuting spin observables of qubits, qutrits and 2-qubit systems. Positivity of the fuzzy MH-QMO places upper bounds on the associated unsharpness parameter. This serves as a sufficient condition for measurement incompatibility of spin observables. We assess the amount of unsharpness required for joint measurability (compatibility) of the non-commuting qubit, qutrit and 2-qubit observables. We show that the {\em degree of compatibility} of a pair of orthogonal qubit observables agrees perfectly with the necessary and sufficient conditions for joint measurability. Furthermore, we obtain analytical upper bounds on the unsharpness parameter specifying the range of joint measurability of spin components of qutrits and pairs of orthogonal spin observables of a 2-qubit system. Our results indicate that the measurement incompatibility of spin observables increases with Hilbert space dimension.


title: R\'enyi Holographic Dark Energy Models In Multidimensional Universe

abstract: R\'enyi Holographic Dark Energy (RHDE) Models has been studied in different dimensions considering a flat FRW metric, subsequently exploring the nature of evolution of different cosmological parameters. It is seen that the number of dimensions affect the evolution of the cosmological parameters and the transition of the universe from decelerating to accelerating phase. The statefinder diagnosis has been performed and it is seen that the model corresponds to the $\Lambda CDM$ model for the present and future universe.


title: Is Causal Reasoning Harder than Probabilistic Reasoning?

abstract: Many tasks in statistical and causal inference can be construed as problems of \emph{entailment} in a suitable formal language. We ask whether those problems are more difficult, from a computational perspective, for \emph{causal} probabilistic languages than for pure probabilistic (or "associational") languages. Despite several senses in which causal reasoning is indeed more complex -- both expressively and inferentially -- we show that causal entailment (or satisfiability) problems can be systematically and robustly reduced to purely probabilistic problems. Thus there is no jump in computational complexity. Along the way we answer several open problems concerning the complexity of well known probability logics, in particular demonstrating the $\exists\mathbb{R}$-completeness of a polynomial probability calculus, as well as a seemingly much simpler system, the logic of comparative conditional probability.


title: Three-wave interactions and strange attractor

abstract: It is shown that the incorporation of linear sink/source terms in the three-wave resonance interaction model results in the time dependence of the wave amplitudes, which could exhibit the properties of a strange attractor. This finding demonstrates that the transition to turbulent dynamics of the waves could be related not only to the coupling of wave triads but also to the establishing of the strange attractor-like dynamics within individual wave triads.


title: Study of stationary rigidly rotating anisotropic cylindrical fluids with new exact interior solutions of GR. 3. Azimuthal pressure

abstract: An investigation of interior spacetimes sourced by stationary cylindrical anisotropic fluids is presented and specialized to rigidly rotating fluids with an azimuthally directed pressure. Based on the occurence of an extra degree of freedom in the equations, a general method for constructing different classes of exact solutions to the field equations has been found. Exemplifying such a recipe, a bunch of solutions are constructed. Axisymmetry and regularity conditions on the axis are examined and the spacetimes are properly matched to a vacuum exterior. A number of classes and subclasses are thus studied and an analysis of their features leads to sorting out two classes whose appropriate mathematical and physical properties are discussed. This work is part of a larger study of the influence of anisotropic pressure in GR, using cylindrical symmetry as a simplifying assumption, and considering in turn each principal stress direction. It has been initiated in companion Papers 1 and 2 where the pressure was assumed to be axially directed, and is followed by Paper 4 considering radial pressure and Paper 5 contrasting the previous results with analogous dust and perfect fluid solutions.


title: A Census of the Circumstellar Disk Populations in the Sco-Cen Complex

abstract: I have used mid-infrared (IR) photometry from the Wide-field Infrared Survey Explorer (WISE) to perform a census of circumstellar disks among ~10,000 candidate members of the Sco-Cen complex that were recently identified with data from the Gaia mission. IR excesses are detected for more than 1200 of the WISE counterparts that are within the commonly adopted boundary for Sco-Cen, ~400 of which are newly reported in this work. The richest population in Sco-Cen, UCL/LCC, contains the largest available sample of disks (>500) for any population near its age (~20 Myr). UCL/LCC also provides the tightest statistical constraints to date on the disk fractions of low-mass stars for any single age beyond that of Upper Sco (~11 Myr). For Upper Sco and UCL/LCC, I have measured the disk fractions as a function of spectral type. The disk fraction in Upper Sco is higher at later spectral types, which is consistent with the results for previous samples of candidate members. In UCL/LCC, that trend has become more pronounced; the disk fractions in UCL/LCC are lower than those in Upper Sco by factors of ~10, 5.7, and 2.5 at B7-K5.5, K6-M3.5, and M3.75-M6, respectively. The data in UCL/LCC also demonstrate that the disk fraction for low-mass stars remains non-negligible at an age of 20 Myr (0.09+/-0.01). Finally, I find no significant differences in the ages of disk-bearing and diskless low-mass stars in Upper Sco and UCL/LCC based on their positions in color-magnitude diagrams.


title: Propagation processes of correlations of hard spheres

abstract: The paper develops an approach to the description of the evolution of correlations for many hard spheres based on a hierarchy of evolution equations for the cumulants of the probability distribution function governed by the Liouville equation. It is established that the constructed dynamics of correlations underlies the description of the evolution of the states of many hard spheres described by the BBGKY hierarchy for reduced distribution functions or the hierarchy of nonlinear evolution equations for reduced correlation functions. As an application of the developed approach to describing the evolution of the state of many hard spheres within the framework of dynamics of correlations, the challenges of the derivation of kinetic equations are discussed.

categories: math-ph cond-mat.stat-mech math.AP math.MP


title: A Random Active Set Method for Strictly Convex Quadratic Problem with Simple Bounds

abstract: Active set method aims to find the correct active set of the optimal solution and it is a powerful method for solving strictly convex quadratic problem with bound constraints. To guarantee the finite step convergence, the existing active set methods all need strict conditions or some additional strategies, which greatly affect the efficiency of the algorithm. In this paper, we propose a random active set method which introduces randomness in the update of active set. We prove that it can converge in finite iterations with probability one without any conditions on the problem or any additional strategies. Numerical results show that the algorithm obtains the correct active set within a few iterations, and compared with the existing methods, it has better robustness and efficiency.


title: Leibniz rules and Gauss-Green formulas in distributional fractional spaces

abstract: We apply the results established in arXiv:2109.15263 to prove some new fractional Leibniz rules involving $BV^{\alpha,p}$ and $S^{\alpha,p}$ functions, following the distributional approach adopted in the previous works arXiv:1809.08575, arXiv:1910.13419, arXiv:2011.03928. In order to achieve our main results, we revise the elementary properties of the fractional operators involved in the framework of Besov spaces and we rephraze the Kenig-Ponce-Vega Leibniz-type rule in our fractional context. We apply our results to prove the well-posedness of the boundary-value problem for a general $2\alpha$-order fractional elliptic operator in divergence form.


title: Modeling VI and VDRL feedback functions: searching normative rules through computational simulation

abstract: In this paper, we present a R script named Beak, built to simulate rates of behavior interacting with schedules of reinforcement. Using Beak, we've simulated data that allows an assessment of different reinforcement feedback functions (RFF). This was made with unparalleled precision, since simulations provide huge samples of data and, more importantly, simulated behavior isn't changed by the reinforcement it produces. Therefore, we can vary it systematically. We've compared different RFF for RI schedules, using as criteria: meaning, precision, parsimony and generality. Our results indicate that the best feedback function for the RI schedule was published by Baum (1981). We also propose that the model used by Killeen (1975) is a viable feedback function for the RDRL schedule. We argue that Beak paves the way for greater understanding of schedules of reinforcement, addressing still open questions about quantitative features of schedules. Also, they could guide future experiments that use schedules as theoretical and methodological tools.


title: Spectroscopy of Candidate Members of the Sco-Cen Complex

abstract: We present spectroscopy of 285 previously identified candidate members of populations in the Sco-Cen complex, primarily Ophiuchus, Upper Sco, and Lupus. The spectra are used to measure spectral types and diagnostics of youth. We find that 269 candidates exhibit signatures of youth in our spectra or previous data, which is consistent with their membership in Sco-Cen. We have constructed compilations of candidate members of Ophiuchus, Upper Sco, and Lupus that have spectral classifications and evidence of youth, which contain a total of 2274 objects. In addition, we have used spectra from previous studies to classify three sources in Ophiuchus that have been proposed to be protostellar brown dwarfs: ISO Oph 70, 200, and 203. We measure spectral types of early M from those data, which are earlier than expected for young brown dwarfs based on evolutionary models (>=M6.5) and instead are indicative of stellar masses (~0.6 Msun).


title: Calibrated Feature Decomposition for Generalizable Person Re-Identification

abstract: Existing disentangled-based methods for generalizable person re-identification aim at directly disentangling person representations into domain-relevant interference and identity-relevant feature. However, they ignore that some crucial characteristics are stubbornly entwined in both the domain-relevant interference and identity-relevant feature, which are intractable to decompose in an unsupervised manner. In this paper, we propose a simple yet effective Calibrated Feature Decomposition (CFD) module that focuses on improving the generalization capacity for person re-identification through a more judicious feature decomposition and reinforcement strategy. Specifically, a calibrated-and-standardized Batch normalization (CSBN) is designed to learn calibrated person representation by jointly exploring intra-domain calibration and inter-domain standardization of multi-source domain features. CSBN restricts instance-level inconsistency of feature distribution for each domain and captures intrinsic domain-level specific statistics. The calibrated person representation is subtly decomposed into the identity-relevant feature, domain feature, and the remaining entangled one. For enhancing the generalization ability and ensuring high discrimination of the identity-relevant feature, a calibrated instance normalization (CIN) is introduced to enforce discriminative id-relevant information, and filter out id-irrelevant information, and meanwhile the rich complementary clues from the remaining entangled feature are further employed to strengthen it. Extensive experiments demonstrate the strong generalization capability of our framework. Our models empowered by CFD modules significantly outperform the state-of-the-art domain generalization approaches on multiple widely-used benchmarks. Code will be made public: https://github.com/zkcys001/CFD.


title: A Census of the Stellar Populations in the Sco-Cen Complex

abstract: I have used high-precision photometry and astrometry from the early installment of the third data release of Gaia (EDR3) to perform a survey for members of the stellar populations within the Sco-Cen complex, which consist of Upper Sco, UCL/LCC, the V1062 Sco group, Ophiuchus, and Lupus. Among Gaia sources with sigma(pi)<1 mas, I have identified 10,509 candidate members of those populations. I have compiled previous measurements of spectral types, Li equivalent widths, and radial velocities for the candidates, which are available for 3169, 1420, and 1740 objects, respectively. In a subset of candidates selected to minimize field star contamination, I estimate that the contamination is <1% and the completeness is ~90% at spectral types of <=M6-M7 for the populations with low extinction (Upper Sco, V1062 Sco, UCL/LCC). I have used that cleaner sample to characterize the stellar populations in Sco-Cen in terms of their initial mass functions, ages, and space velocities. For instance, all of the populations in Sco-Cen have histograms of spectral types that peak near M4--M5, which indicates that they share similar characteristic masses for their initial mass functions (~0.15-0.2 Msun). After accounting for incompleteness, I estimate that the Sco-Cen complex contains nearly 10,000 members with masses above ~0.01 Msun. Finally, I also present new estimates for the intrinsic colors of young stars and brown dwarfs (<=20 Myr) in bands from Gaia EDR3, the Two Micron All Sky Survey, the Wide-field Infrared Survey Explorer, and the Spitzer Space Telescope.


title: Environment effects on X-ray absorption spectra with quantum embedded real-time Time-dependent density functional theory approaches

abstract: In this work we implement the real-time time-dependent block-orthogonalized Manby-Miller embedding (rt-BOMME) approach alongside our previously developed real-time frozen density embedding time-dependent density functional theory (rt-TDDFT-in-DFT FDE) code, and investigate these methods' performance in reproducing X-ray absorption spectra (XAS) obtained with standard rt-TDDFT simulations, for model systems comprised of solvated fluoride and chloride ions ([X@(H$_2$O)$_8$]$^-$, X = F, Cl). We observe that, for ground-state quantities such as core orbital energies, the BOMME approach shows significantly better agreement with supermolecular results than FDE for the strongly interacting fluoride system, while for chloride the two embedding approaches show more similar results. For the excited states, we see that while FDE (constrained not to have the environment densities relaxed in the ground state) is in good agreement with the reference calculations for the region around the K and L$_1$ edge, and is capable of reproducing the splitting of the $\mathrm{1s^{1} (n+1)p^1}$ final states ($n+1$ being the lowest virtual p orbital of the halides), it by and large fails to properly reproduce the $\mathrm{1s^{1} (n+2)p{^1}}$ states and misses the electronic states arising from excitation to orbitals with important contributions from the solvent. The BOMME results, on the other hand, provide a faithful qualitative representation of the spectra in all energy regions considered, though its intrinsic approximation of employing a lower-accuracy exchange-correlation functional for the environment induces non-negligible shifts in peak positions for the excitations from the halide to the environment. Our results thus confirm that QM/QM embedding approaches are viable alternatives to standard real-time simulations of X-ray absorption spectra of species in complex or confined environments.


title: Measurement of W$^\pm\gamma$ differential cross sections in proton-proton collisions at $\sqrt{s}$ = 13 TeV and effective field theory constraints

abstract: Differential cross section measurements of W$^\pm\gamma$ production in proton-proton collisions at $\sqrt{s}$ = 13 TeV are presented. The data set used in this study was collected with the CMS detector at the CERN LHC in 2016-2018 with an integrated luminosity of 138 fb$^{-1}$. Candidate events containing an electron or muon, a photon, and missing transverse momentum are selected. The measurements are compared with standard model predictions computed at next-to-leading and next-to-next-to-leading orders in perturbative quantum chromodynamics. Constraints on the presence of TeV-scale new physics affecting the WW$\gamma$ vertex are determined within an effective field theory framework, focusing on the $\mathcal{O}_\mathrm{3W}$ operator. A simultaneous measurement of the photon transverse momentum and the azimuthal angle of the charged lepton in a special reference frame is performed. This two-dimensional approach provides up to a factor of ten more sensitivity to the interference between the standard model and the $\mathcal{O}_\mathrm{3W}$ contribution than using the transverse momentum alone.


title: Distributed Anomaly Detection in Edge Streams using Frequency based Sketch Datastructures

abstract: Often logs hosted in large data centers represent network traffic data over a long period of time. For instance, such network traffic data logged via a TCP dump packet sniffer (as considered in the 1998 DARPA intrusion attack) included network packets being transmitted between computers. While an online framework is necessary for detecting any anomalous or suspicious network activities like denial of service attacks or unauthorized usage in real time, often such large data centers log data over long periods of time (e.g., TCP dump) and hence an offline framework is much more suitable in such scenarios. Given a network log history of edges from a dynamic graph, how can we assign anomaly scores to individual edges indicating suspicious events with high accuracy using only constant memory and within limited time than state-of-the-art methods? We propose MDistrib and its variants which provides (a) faster detection of anomalous events via distributed processing with GPU support compared to other approaches, (b) better false positive guarantees than state of the art methods considering fixed space and (c) with collision aware based anomaly scoring for better accuracy results than state-of-the-art approaches. We describe experiments confirming that MDistrib is more efficient than prior work.


title: Free fermions, KdV charges, generalised Gibbs ensembles and modular transforms

abstract: In this paper we consider the modular properties of generalised Gibbs ensembles in the Ising model, realised as a theory of one free massless fermion. The Gibbs ensembles are given by adding chemical potentials to chiral charges corresponding to the KdV conserved quantities. (They can also be thought of as simple models for extended characters for W-algebras). The eigenvalues and Gibbs ensembles for the charges can be easily calculated exactly using their expression as bilinears in the fermion fields. We re-derive the constant term in the charges, previously found by zeta-function regularisation, from modular properties. We expand the Gibbs ensembles as a power series in the chemical potentials and find the modular properties of the corresponding expectation values of polynomials of KdV charges. This leads us to an asymptotic expansion of the Gibbs ensemble calculated in the opposite channel. We obtain the same asymptotic expansion using Dijkgraaf's results for chiral partition functions. By considering the corresponding TBA calculation, we are led to a conjecture for the exact closed-form expression of the GGE in the opposite channel. This has the form of a trace over multiple copies of the fermion Fock space. We give analytic and numerical evidence supporting our conjecture.


title: Muonium Lamb shift: theory update and experimental prospects

abstract: We review the theory of the Lamb shift for muonium, provide an updated numerical value and present the prospects of the Mu-MASS collaboration at PSI to improve upon their recent measurement. Due to its smaller nuclear mass, the contributions of the higher-order recoil corrections (160kHz level) and nucleus self-energy 40kHz level) are enhanced for muonium compared to hydrogen where those are below the level of the latest measurement performed by Hessels et al. and thus could not be tested yet. The ongoing upgrades to the Mu-MASS setup will open up the possibility to probe these contributions and improve the sensitivity of this measurement to searches for new physics in the muonic sector.


title: A Calculus for Modular Loop Acceleration and Non-Termination Proofs

abstract: Loop acceleration can be used to prove safety, reachability, runtime bounds, and (non-)termination of programs. To this end, a variety of acceleration techniques has been proposed. However, so far all of them have been monolithic, i.e., a single loop could not be accelerated using a combination of several different acceleration techniques. In contrast, we present a calculus that allows for combining acceleration techniques in a modular way and we show how to integrate many existing acceleration techniques into our calculus. Moreover, we propose two novel acceleration techniques that can be incorporated into our calculus seamlessly. Some of these acceleration techniques apply only to non-terminating loops. Thus, combining them with our novel calculus results in a new, modular approach for proving non-termination. An empirical evaluation demonstrates the applicability of our approach, both for loop acceleration and for proving non-termination.


title: Hierarchically constrained blackbox optimization

abstract: In blackbox optimization, evaluation of the objective and constraint functions is time consuming. In some situations, constraint values may be evaluated independently or sequentially. The present work proposes and compares two strategies to define a hierarchical ordering of the constraints and to interrupt the evaluation process at a trial point when it is detected that it will not improve the current best solution. Numerical experiments are performed on a closed-form test problem.


title: High frequency behavior of the Leray transform: model hypersurfaces and projective duality

abstract: The Leray transform $\bf{L}$ is studied on a family $M_\gamma$ of unbounded hypersurfaces in two complex dimensions. For a large class of measures, we obtain necessary and sufficient conditions for the $L^2$-boundedness of $\bf{L}$, along with an exact spectral description of $\bf{L}^*\bf{L}$. This yields both the norm and high-frequency norm of $\bf{L}$, the latter giving an affirmative answer to an unbounded analogue of an open conjecture relating the essential norm of $\bf{L}$ to a projective invariant on a bounded hypersurface. $\bf{L}$ is also shown to play a central role in bridging the function theoretic and projective geometric notions of duality. Our work leads to the construction of projectively invariant Hardy spaces on the $M_\gamma$, along with the realization of their duals as invariant Hardy spaces on the dual hypersurfaces.


title: A Recommender System-Inspired Cloud Data Filling Scheme for Satellite-based Coastal Observation

abstract: Filling missing data in cloud-covered areas of satellite imaging is an important task to improve data quantity and quality for enhanced earth observation. Traditional cloud filling studies focused on continuous numerical data such as temperature and cyanobacterial concentration in the open ocean. Cloud data filling issues in coastal imaging is far less studied because of the complex landscape. Inspired by the success of data imputation methods in recommender systems that are designed for online shopping, the present study explored their application to satellite cloud data filling tasks. A numerical experiment was designed and conducted for a LandSat dataset with a range of synthetic cloud covers to examine the performance of different data filling schemes. The recommender system-inspired matrix factorization algorithm called Funk-SVD showed superior performance in computational accuracy and efficiency for the task of recovering landscape types in a complex coastal area than the traditional data filling scheme of DINEOF (Data Interpolating Empirical Orthogonal Functions) and the deep learning method of Datawig. The new method achieved the best filling accuracy and reached a speed comparable to DINEOF and much faster than deep learning. A theoretical framework was created to analyze the error propagation in DINEOF and found the algorithm needs to be modified to converge to the ground truth. The present study showed that Funk-SVD has great potential to enhance cloud data filling performance and connects the fields of recommender systems and cloud filling to promote the improvement and sharing of useful algorithms.


title: Understanding Anharmonic Effects on Hydrogen Desorption Characteristics of Mg$_n$H$_{2n}$ Nanoclusters by ab initio trained Deep Neural Network

abstract: Magnesium hydride (MgH$_2$) has been widely studied for effective hydrogen storage. However, its bulk desorption temperature (553 K) is deemed too high for practical applications. Besides doping, a strategy to decrease such reaction energy for releasing hydrogen is the use of MgH$_2$-based nanoparticles (NPs). Here, we investigate first the thermodynamic properties of Mg$_n$H$_{2n}$ NPs ($n<10$) from first-principles, in particular by assessing the anharmonic effects on the enthalpy, entropy and thermal expansion by means of the Stochastic Self Consistent Harmonic Approximation (SSCHA). The latter method goes beyond previous approaches, typically based on molecular mechanics and the quasi-harmonic approximation, allowing the ab initio calculation of the fully-anharmonic free energy. We find an almost linear dependence on temperature of the interatomic bond lengths - with a relative variation of few percent over 300K -, alongside with a bond distance decrease of the Mg-H bonds. In order to increase the size of NPs toward experiments of hydrogen desorption from MgH$_2$ we devise a computationally effective Machine Learning model trained to accurately determine the forces and total energies (i.e. the potential energy surfaces), integrating the latter with the SSCHA model to fully include the anharmonic effects. We find a significative decrease of the H-desorption temperature for sub-nanometric clusters Mg$_n$H$_{2n}$ with $n \leq 10$, with a non-negligible, although little effect due to anharmonicities (up to 10%).

categories: cond-mat.mtrl-sci cond-mat.dis-nn cond-mat.mes-hall cond-mat.stat-mech cs.LG


title: Interpreting Dense Retrieval as Mixture of Topics

abstract: Dense Retrieval (DR) reaches state-of-the-art results in first-stage retrieval, but little is known about the mechanisms that contribute to its success. Therefore, in this work, we conduct an interpretation study of recently proposed DR models. Specifically, we first discretize the embeddings output by the document and query encoders. Based on the discrete representations, we analyze the attribution of input tokens. Both qualitative and quantitative experiments are carried out on public test collections. Results suggest that DR models pay attention to different aspects of input and extract various high-level topic representations. Therefore, we can regard the representations learned by DR models as a mixture of high-level topics.


title: Safe Screening for Sparse Conditional Random Fields

abstract: Sparse Conditional Random Field (CRF) is a powerful technique in computer vision and natural language processing for structured prediction. However, solving sparse CRFs in large-scale applications remains challenging. In this paper, we propose a novel safe dynamic screening method that exploits an accurate dual optimum estimation to identify and remove the irrelevant features during the training process. Thus, the problem size can be reduced continuously, leading to great savings in the computational cost without sacrificing any accuracy on the finally learned model. To the best of our knowledge, this is the first screening method which introduces the dual optimum estimation technique -- by carefully exploring and exploiting the strong convexity and the complex structure of the dual problem -- in static screening methods to dynamic screening. In this way, we can absorb the advantages of both the static and dynamic screening methods and avoid their drawbacks. Our estimation would be much more accurate than those developed based on the duality gap, which contributes to a much stronger screening rule. Moreover, our method is also the first screening method in sparse CRFs and even structure prediction models. Experimental results on both synthetic and real-world datasets demonstrate that the speedup gained by our method is significant.


title: Super-resolution imaging and optomechanical manipulation using optical nanojet for non-destructive single-cell research

abstract: Advanced photonic tools may enable researchers and clinicians to visualize, track, control and manipulate biological processes at the single-cell level in space and time. Biological systems are complex and highly organized on both spatial and temporal levels. If we are to study, perturb, engineer or heal biological entities, we must be able to visualize key players in such systems and to track, control and manipulate them precisely and selectively. To achieve this goal, the engineering of non-destructive tools will allow us to interrogate and manipulate the function of proteins, pathways and cells for physicians, enabling the design of 'smart materials' that can direct and respond to biological processes on-demand. Among the potentially exploitable non-destructive tools, light-based actuation is particularly desirable, as it enables high spatial and temporal resolution, dosage control, minimal disturbance to biological systems and deep tissue penetration. Here, we overview existing approaches toward the engineering of light-activated tools for the interrogation and manipulation of single-cell processes, and list the types of studies and types of functions that can be controlled by light. Timely applications, such as studies of inflammation and of crossing brain barrier systems - via super-resolution imaging and optomechanical manipulation - are two representative examples of emerging applications so far never addressed.


title: Antiferromagnetic order in MnBi2Te4 films grown on Si(111) by molecular beam epitaxy

abstract: MnBi2Te4 has recently been predicted and shown to be a magnetic topological insulator with intrinsic antiferromagnetic order. However, it remains a challenge to grow stoichiometric MnBi2Te4 films by molecular beam epitaxy (MBE) and to observe pure antiferromagnetic order by magnetometry. We report on a detailed study of MnBi2Te4 films grown on Si(111) by MBE with elemental sources. Films of about 100 nm thickness are analyzed in stoichiometric, structural, magnetic and magnetotransport properties with high accuracy. High-quality MnBi2Te4 films with nearly perfect septuple-layer structure are realized and structural defects typical for epitaxial van-der-Waals layers are analyzed. The films reveal antiferromagnetic order with a Neel temperature of 19 K, a spin-flop transition at a magnetic field of 2.5 T and a resistivity of 1.6 mOhm cm. These values are comparable to that of bulk MnBi2Te4 crystals. Our results provide an important basis for realizing and identifying single-phase MnBi2Te4 films with antiferromagnetic order grown by MBE.


title: The lightest $D_0^\ast$ resonance from lattice QCD

abstract: We recently presented elastic $I=1/2$ $D\pi$ scattering from lattice QCD at $m_{\pi} = 239$ MeV. The amplitude features a pole corresponding to a mass $m \approx 2200$ MeV and a width $\Gamma \approx 400$ MeV. The results were compared to an earlier study at a higher pion mass and to a similar study in the charm-strange sector. In this contribution to LATTICE2021 I summarize these results and compare them with experiment, based on the values reported by the particle data group. Our result lies significantly below the experimental $D_0^\ast$. I also relate our findings to recent studies in chiral perturbation theory. Based on work presented in JHEP2021(7),123 for the Hadron Spectrum Collaboration.


title: Leveraging Unsupervised Learning to Summarize APIs Discussed in Stack Overflow

abstract: Automated source code summarization is a task that generates summarized information about the purpose, usage, and--or implementation of methods and classes to support understanding of these code entities. Multiple approaches and techniques have been proposed for supervised and unsupervised learning in code summarization, however, they were mostly focused on generating a summary for a piece of code. In addition, very few works have leveraged unofficial documentation. This paper proposes an automatic and novel approach for summarizing Android API methods discussed in Stack Overflow that we consider as unofficial documentation in this research. Our approach takes the API method's name as an input and generates a natural language summary based on Stack Overflow discussions of that API method. We have conducted a survey that involves 16 Android developers to evaluate the quality of our automatically generated summaries and compare them with the official Android documentation. Our results demonstrate that while developers find the official documentation more useful in general, the generated summaries are also competitive, in particular for offering implementation details, and can be used as a complementary source for guiding developers in software development and maintenance tasks.


title: Simulating the nanometric track-structure of carbon ion beams in liquid water at energies relevant for hadrontherapy

abstract: The nanometric track-structure of energetic ion beams in biological media determines the direct physical damage to living cells, which is one of the main responsibles of their killing or inactivation during radiotherapy treatments or under cosmic radiation bombardment. In the present work, detailed track-structure Monte Carlo simulations, performed with the code SEED (Secondary Electron Energy Deposition), are presented for carbon ions in a wide energy range in liquid water. Liquid water is the main constituent of biological tissues, and carbon ions are one of the most promising projectiles currently available for ion beam cancer therapy. The simulations are based on accurate cross sections for the different elastic and inelastic events determining the interaction of charged particles with condensed-phase materials. The latter are derived from the ab initio calculation of the electronic excitation spectrum of liquid water by means of time-dependent density functional theory (TDDFT), which is then used within the dielectric formalism to obtain inelastic electronic cross sections for both carbon ions and secondary electrons. Both the ionisation cross sections of water by carbon ions and the excitation and ionisation cross sections for electron impact are obtained in very good agreement with known experimental data. The elastic scattering cross sections for electrons in condensed-phase water are also obtained from ab initio calculations by solving the Dirac-Hartree-Fock equation. The detailed simulations fed with reliable cross sections allow to assess the contribution of different physical mechanisms (electronic excitation, ionisation and dissociative electron attachment -DEA-) to the carbon ion-induced direct biodamage.


title: Benchmarking Accuracy and Generalizability of Four Graph Neural Networks Using Large In Vitro ADME Datasets from Different Chemical Spaces

abstract: In this work, we benchmark a variety of single- and multi-task graph neural network (GNN) models against lower-bar and higher-bar traditional machine learning approaches employing human engineered molecular features. We consider four GNN variants -- Graph Convolutional Network (GCN), Graph Attention Network (GAT), Message Passing Neural Network (MPNN), and Attentive Fingerprint (AttentiveFP). So far deep learning models have been primarily benchmarked using lower-bar traditional models solely based on fingerprints, while more realistic benchmarks employing fingerprints, whole-molecule descriptors and predictions from other related endpoints (e.g., LogD7.4) appear to be scarce for industrial ADME datasets. In addition to time-split test sets based on Genentech data, this study benefits from the availability of measurements from an external chemical space (Roche data). We identify GAT as a promising approach to implementing deep learning models. While all GNN models significantly outperform lower-bar benchmark traditional models solely based on fingerprints, only GATs seem to offer a small but consistent improvement over higher-bar benchmark traditional models. Finally, the accuracy of in vitro assays from different laboratories predicting the same experimental endpoints appears to be comparable with the accuracy of GAT single-task models, suggesting that most of the observed error from the models is a function of the experimental error propagation.


title: Few-cycle excitation of atomic coherence: A closed-form analytical solution beyond the rotating-wave approximation

abstract: Developing an analytical theory for atomic coherence driven by ultrashort laster pulses has proved to be challenging due to the breakdown of the rotating wave approximation (RWA). In this paper, we present an approximate, closed-form solution to the Schrodinger equation that describes a two-level atom under the excitation of a far-off-resonance, few-cycle pulse of arbitrary shape without invoking the RWA. As an example of its applicability, an analytical solution for Gaussian pulses is explicitly given. Comparisons with numerical solutions validate the accuracy our solution within the scope of the approximation. Finally, we outline an alternative approach that can lead to a more accurate solution by capturing the nonlinear behaviors of the system.


title: Energy-Efficient Autonomous Driving Using Cognitive Driver Behavioral Models and Reinforcement Learning

abstract: Autonomous driving technologies are expected to not only improve mobility and road safety but also bring energy efficiency benefits. In the foreseeable future, autonomous vehicles (AVs) will operate on roads shared with human-driven vehicles. To maintain safety and liveness while simultaneously minimizing energy consumption, the AV planning and decision-making process should account for interactions between the autonomous ego vehicle and surrounding human-driven vehicles. In this chapter, we describe a framework for developing energy-efficient autonomous driving policies on shared roads by exploiting human-driver behavior modeling based on cognitive hierarchy theory and reinforcement learning.


title: Sharp geometric rigidity of isometries on Heisenberg group

abstract: We prove quantitative stability of isometries on the first Heisenberg group with sub-Riemannian geometry: every $ (1+ \varepsilon)$-quasi-isometry of the John domain of the Heisenberg group $ \mathbb {H} $ is close to some isometry with order of closeness $ \sqrt{\varepsilon} + \varepsilon $ in the uniform norm and with order of closeness $ \varepsilon $ in the Sobolev norm $L_2^1$. Homogeneous dilations show the asymptotic sharpness of the results.


title: Calculated energy loss of swift light ions in platinum and gold: importance of the target electronic excitation spectrum

abstract: Understanding and predicting the energy loss of swift ions in metals is important for many applications of charged particle beams, such as analysis and modification of materials, and recently for modelling metal nanoparticle radiosensitisation in ion beam cancer therapy. We have calculated the stopping power of the transition metals Pt and Au for protons and alpha particles in a wide energy range, using the dielectric formalism, which realistically accounts for the excitation spectrum of each metal through the Mermin Energy Loss Function - Generalised Oscillator Strength methodology. For each combination of projectile, energy and target, we have considered: (i) the equilibrium charge state of the projectile through the target, (ii) the energy-loss due to electron capture and loss processes, and (iii) the energy loss resulting from the polarisation of the projectile's electronic cloud due to the self-induced electric field. Our calculated stopping powers show a fairly good agreement with the available experimental data for platinum and gold, particularly the most recent ones around the stopping power maximum, which validates the methodology we have used to be further extended to other transition metals. For the materials studied (platinum and gold), two commonly used and different sources of the experimental excitation spectrum yield comparable calculated stopping powers and mean excitation energies, the latter being closer to the most recent data provided in a recent ICRU Report than to previous compilations. Despite the small differences in the sources of excitation spectra of these metals, they lead to practically the same stopping power results as far as they reproduce the main excitation features of the material and fulfil physically motivated sum rules.


title: Reinforcement Learning-based Switching Controller for a Milliscale Robot in a Constrained Environment

abstract: This work presents a reinforcement learning-based switching control mechanism to autonomously move a ferromagnetic object (representing a milliscale robot) around obstacles within a constrained environment in the presence of disturbances. This mechanism can be used to navigate objects (e.g., capsule endoscopy, swarms of drug particles) through complex environments when active control is a necessity but where direct manipulation can be hazardous. The proposed control scheme consists of a switching control architecture implemented by two sub-controllers. The first sub-controller is designed to employ the robot's inverse kinematic solutions to do an environment search for the to-be-carried ferromagnetic particle while being robust to disturbances. The second sub-controller uses a customized rainbow algorithm to control a robotic arm, i.e., the UR5 robot, to carry a ferromagnetic particle to a desired position through a constrained environment. For the customized Rainbow algorithm, Quantile Huber loss from the Implicit Quantile Networks (IQN) algorithm and ResNet are employed. The proposed controller is first trained and tested in a real-time physics simulation engine (PyBullet). Afterward, the trained controller is transferred to a UR5 robot to remotely transport a ferromagnetic particle in a real-world scenario, achieving a 98.86% success rate over 30 episodes for randomly generated trajectories, demonstrating the viability of the proposed approach for real-life applications. In addition, two classical pathfinding approaches, Attractor Dynamics and the execution extended Rapidly-Exploring Random Trees (ERRT), are also investigated and compared to the RL-based method. The proposed RL-based algorithm is shown to achieve performance comparable to that of the tested classical path planners whilst being more robust to deploy in dynamical environments.


title: Label Assistant: A Workflow for Assisted Data Annotation in Image Segmentation Tasks

abstract: Recent research in the field of computer vision strongly focuses on deep learning architectures to tackle image processing problems. Deep neural networks are often considered in complex image processing scenarios since traditional computer vision approaches are expensive to develop or reach their limits due to complex relations. However, a common criticism is the need for large annotated datasets to determine robust parameters. Annotating images by human experts is time-consuming, burdensome, and expensive. Thus, support is needed to simplify annotation, increase user efficiency, and annotation quality. In this paper, we propose a generic workflow to assist the annotation process and discuss methods on an abstract level. Thereby, we review the possibilities of focusing on promising samples, image pre-processing, pre-labeling, label inspection, or post-processing of annotations. In addition, we present an implementation of the proposal by means of a developed flexible and extendable software prototype nested in hybrid touchscreen/laptop device.


title: Hyperbolic Staircases: Periodic Paths on $2g+1$-gons

abstract: The study of polygonal billiards, particularly those in the regular pentagon, has been the subject of two recent papers. One of these papers approaches the problem of discovering the periodic trajectories on the pentagon by identifying slopes of periodic directions with points in the Poincar\'e disk generated by hyperbolic isometric transformations. The other approach, coming from the other paper, transforms the double pentagon into a rectilinear translation surface called the 'golden L', where periodic directions are generated by a set of matrices associated with this surface in a special way. We connect and unify these two approaches, and use our unification of these results to generalize them to arbitrary $2g+1$-sided regular polygons.


title: Tapping BERT for Preposition Sense Disambiguation

abstract: Prepositions are frequently occurring polysemous words. Disambiguation of prepositions is crucial in tasks like semantic role labelling, question answering, text entailment, and noun compound paraphrasing. In this paper, we propose a novel methodology for preposition sense disambiguation (PSD), which does not use any linguistic tools. In a supervised setting, the machine learning model is presented with sentences wherein prepositions have been annotated with senses. These senses are IDs in what is called The Preposition Project (TPP). We use the hidden layer representations from pre-trained BERT and BERT variants. The latent representations are then classified into the correct sense ID using a Multi Layer Perceptron. The dataset used for this task is from SemEval-2007 Task-6. Our methodology gives an accuracy of 86.85% which is better than the state-of-the-art.


title: General Fully Coupled Forward Backward Stochastic Differential Equations with delayed generator

abstract: This paper is devoted to study different type of BSDE with delayed generator. We first establish an existence and uniqueness result under delayed Lipschitz condition for non homogenous backward stochastic differential equation with delayed generator. Next, existence and uniqueness result for general fully coupled forward backward stochastic differential equation with delayed coefficients has been derived.


title: Exploring Transformer Based Models to Identify Hate Speech and Offensive Content in English and Indo-Aryan Languages

abstract: Hate speech is considered to be one of the major issues currently plaguing online social media. Repeated and repetitive exposure to hate speech has been shown to create physiological effects on the target users. Thus, hate speech, in all its forms, should be addressed on these platforms in order to maintain good health. In this paper, we explored several Transformer based machine learning models for the detection of hate speech and offensive content in English and Indo-Aryan languages at FIRE 2021. We explore several models such as mBERT, XLMR-large, XLMR-base by team name "Super Mario". Our models came 2nd position in Code-Mixed Data set (Macro F1: 0.7107), 2nd position in Hindi two-class classification(Macro F1: 0.7797), 4th in English four-class category (Macro F1: 0.8006) and 12th in English two-class category (Macro F1: 0.6447).


title: $\pi\pi$ scattering in partially-quenched twisted-mass chiral perturbation theory

abstract: We study pion-pion scattering in partially-quenched twisted-mass lattice QCD using chiral perturbation theory. The specific partially-quenched setup corresponds to that used in numerical lattice QCD calculations of the $I=0$ scattering length. We study the discretization errors proportional to $a^2$, with $a$ the lattice spacing, and the errors that arise due to the use of L\"uscher's two-particle quantization condition in a theory that is not unitary. We argue that the former can be as large as $\sim 100\%$, but explain how they can be systematically subtracted using a calculation of the $I=2$ scattering amplitude in the same partially-quenched framework. We estimate the error from the violation of unitarity to be $\sim 25\%$, and argue that this error will be difficult to reduce in practice.


title: Skyrmion Crystals in the Triangular Kondo Lattice Model

abstract: We present a systematic study of the formation of skyrmion crystals in a triangular Kondo Lattice model for generic electron filling fractions. Our results indicate that the four-sublattice chiral antiferromagnetic ordering that was reported more than one decade ago can be understood as the dense limit of a sequence of skyrmion crystals whose lattice parameter is dictated by the Fermi wave-vector. This observation has important implications for the ongoing search of skyrmion crystals in metallic materials with localized magnetic moments.


title: Coupled baryon, electric charge and strangeness fluctuations in heavy-ion collisions

abstract: We present for the first time quantitative results for the coupled dynamics of second order fluctuations in the three conserved charges of QCD based on stochastic diffusion equations for a Bjorken-type expanding hadronic medium.


title: Deep Q-Learning based Reinforcement Learning Approach for Network Intrusion Detection

abstract: The rise of the new generation of cyber threats demands more sophisticated and intelligent cyber defense solutions equipped with autonomous agents capable of learning to make decisions without the knowledge of human experts. Several reinforcement learning methods (e.g., Markov) for automated network intrusion tasks have been proposed in recent years. In this paper, we introduce a new generation of network intrusion detection methods that combines a Q-learning-based reinforcement learning with a deep-feed forward neural network method for network intrusion detection. Our proposed Deep Q-Learning (DQL) model provides an ongoing auto-learning capability for a network environment that can detect different types of network intrusions using an automated trial-error approach and continuously enhance its detection capabilities. We provide the details of fine-tuning different hyperparameters involved in the DQL model for more effective self-learning. According to our extensive experimental results based on the NSL-KDD dataset, we confirm that the lower discount factor which is set as 0.001 under 250 episodes of training yields the best performance results. Our experimental results also show that our proposed DQL is highly effective in detecting different intrusion classes and outperforms other similar machine learning approaches.


title: Fractional Ito calculus

abstract: We derive It\^o-type change of variable formulas for smooth functionals of irregular paths with non-zero $p-$th variation along a sequence of partitions where $p \geq 1$ is arbitrary, in terms of fractional derivative operators, extending the results of the F\"ollmer-Ito calculus to the general case of paths with 'fractional' regularity. In the case where $p$ is not an integer, we show that the change of variable formula may sometimes contain a non-zero a 'fractional' It\^o remainder term and provide a representation for this remainder term. These results are then extended to paths with non-zero $\phi-$variation and multi-dimensional paths. Finally, we derive an isometry property for the pathwise F\"ollmer integral in terms of $\phi$ variation.


title: Forecasting Daily COVID-19 Related Calls in VA Health Care System: Predictive Model Development

abstract: Background: COVID-19 has become a challenge worldwide and properly planning of medical resources is the key to combating COVID-19. In the US Veteran Affairs Health Care System (VA), many of the enrollees are susceptible to COVID-19. Predicting the COVID-19 to allocate medical resources promptly becomes a critical issue. When the VA enrollees have COVID-19 symptoms, it is recommended that their first step should be to call the VA Call Center. For confirmed COVID-19 patients, the median time from the first symptom to hospital admission was seven days. By predicting the number of COVID-19 related calls, we could predict imminent surges in healthcare use and plan medical resources ahead. Objective: The study aims to develop a method to forecast the daily number of COVID-19 related calls for each of the 110 VA medical centers. Methods: In the proposed method, we pre-trained a model using a cluster of medical centers and fine-tuned it for individual medical centers. At the cluster level, we performed feature selection to select significant features and automatic hyper-parameter search to select optimal hyper-parameter value combinations for the model. Conclusions: This study proposed an accurate method to forecast the daily number of COVID-19 related calls for VA medical centers. The proposed method was able to overcome modeling challenges by grouping similar medical centers into clusters to enlarge the dataset for training models, and using hyper-parameter search to automatically find optimal hyper-parameter value combinations for models. With the proposed method, surges in health care can be predicted ahead. This allows health care practitioners to better plan medical resources and combat COVID-19.


title: Kilometer-scale autonomous navigation in subarctic forests: challenges and lessons learned

abstract: Challenges inherent to autonomous wintertime navigation in forests include lack of reliable a Global Navigation Satellite System (GNSS) signal, low feature contrast, high illumination variations and changing environment. This type of off-road environment is an extreme case of situations autonomous cars could encounter in northern regions. Thus, it is important to understand the impact of this harsh environment on autonomous navigation systems. To this end, we present a field report analyzing teach-and-repeat navigation in a subarctic forest while subject to fluctuating weather, including light and heavy snow, rain and drizzle. First, we describe the system, which relies on point cloud registration to localize a mobile robot through a boreal forest, while simultaneously building a map. We experimentally evaluate this system in over 18.8 km of autonomous navigation in the teach-and-repeat mode. Over 14 repeat runs, only four manual interventions were required, three of which were due to localization failure and another one caused by battery power outage. We show that dense vegetation perturbs the GNSS signal, rendering it unsuitable for navigation in forest trails. Furthermore, we highlight the increased uncertainty related to localizing using point cloud registration in forest trails. We demonstrate that it is not snow precipitation, but snow accumulation, that affects our system's ability to localize within the environment. Finally, we expose some challenges and lessons learned from our field campaign to support better experimental work in winter conditions. Our dataset is available online.


title: Language models in word sense disambiguation for Polish

abstract: In the paper, we test two different approaches to the {unsupervised} word sense disambiguation task for Polish. In both methods, we use neural language models to predict words similar to those being disambiguated and, on the basis of these words, we predict the partition of word senses in different ways. In the first method, we cluster selected similar words, while in the second, we cluster vectors representing their subsets. The evaluation was carried out on texts annotated with plWordNet senses and provided a relatively good result (F1=0.68 for all ambiguous words). The results are significantly better than those obtained for the neural model-based unsupervised method proposed in \cite{waw:myk:17:Sense} and are at the level of the supervised method presented there. The proposed method may be a way of solving word sense disambiguation problem for languages that lack sense annotated data.