title: Object Priors for Classifying and Localizing Unseen Actions

abstract: This work strives for the classification and localization of human actions in videos, without the need for any labeled video training examples. Where existing work relies on transferring global attribute or object information from seen to unseen action videos, we seek to classify and spatio-temporally localize unseen actions in videos from image-based object information only. We propose three spatial object priors, which encode local person and object detectors along with their spatial relations. On top we introduce three semantic object priors, which extend semantic matching through word embeddings with three simple functions that tackle semantic ambiguity, object discrimination, and object naming. A video embedding combines the spatial and semantic object priors. It enables us to introduce a new video retrieval task that retrieves action tubes in video collections based on user-specified objects, spatial relations, and object size. Experimental evaluation on five action datasets shows the importance of spatial and semantic object priors for unseen actions. We find that persons and objects have preferred spatial relations that benefit unseen action localization, while using multiple languages and simple object filtering directly improves semantic matching, leading to state-of-the-art results for both unseen action classification and localization.


title: Selecting Penalty Parameters of High-Dimensional M-Estimators using Bootstrapping after Cross-Validation

abstract: We develop a new method for selecting the penalty parameter for $\ell_1$-penalized M-estimators in high dimensions, which we refer to as bootstrapping after cross-validation. We derive rates of convergence for the corresponding $\ell_1$-penalized M-estimator and also for the post-$\ell_1$-penalized M-estimator, which refits the non-zero parameters of the former estimator without penalty in the criterion function. We demonstrate via simulations that our method is not dominated by cross-validation in terms of estimation errors and outperforms cross-validation in terms of inference. As an illustration, we revisit Fryer Jr (2019), who investigated racial differences in police use of force, and confirm his findings.


title: Discovery of \^C$_2$ rotation anomaly in topological crystalline insulator SrPb

abstract: Topological crystalline insulators (TCIs) are insulating electronic states with nontrivial topology protected by crystalline symmetries. Recently, theory has proposed new classes of TCIs protected by rotation symmetries \^C$_n$, which have surface rotation anomaly evading the fermion doubling theorem, i.e. n instead of 2n Dirac cones on the surface preserving the rotation symmetry. Here, we report the first realization of the \^C$_2$ rotation anomaly in a binary compound SrPb. Our first-principles calculations reveal two massless Dirac fermions protected by the combination of time-reversal symmetry \^T and \^C$_{2y}$ on the (010) surface. Using angle-resolved photoemission spectroscopy, we identify two Dirac surface states inside the bulk band gap of SrPb, confirming the \^C$_2$ rotation anomaly in the new classes of TCIs. The findings enrich the classification of topological phases, which pave the way for exploring exotic behaviour of the new classes of TCIs.


title: Use of Metamorphic Relations as Knowledge Carriers to Train Deep Neural Networks

abstract: Training multiple-layered deep neural networks (DNNs) is difficult. The standard practice of using a large number of samples for training often does not improve the performance of a DNN to a satisfactory level. Thus, a systematic training approach is needed. To address this need, we introduce an innovative approach of using metamorphic relations (MRs) as "knowledge carriers" to train DNNs. Based on the concept of metamorphic testing and MRs (which play the role of a test oracle in software testing), we make use of the notion of metamorphic group of inputs as concrete instances of MRs (which are abstractions of knowledge) to train a DNN in a systematic and effective manner. To verify the viability of our training approach, we have conducted a preliminary experiment to compare the performance of two DNNs: one trained with MRs and the other trained without MRs. We found that the DNN trained with MRs has delivered a better performance, thereby confirming that our approach of using MRs as knowledge carriers to train DNNs is promising. More work and studies, however, are needed to solidify and leverage this approach to generate widespread impact on effective DNN training.


title: Subconvexity for twisted GL(3) L-functions

abstract: Using the circle method, we obtain subconvex bounds for GL(3) L-functions twisted by a character modulo a prime p, hybrid in the t and p-aspects.


title: Valley filtering in strain-induced $\alpha$-$\mathcal{T}_3$ quantum dots

abstract: We test the valley-filtering capabilities of a quantum dot inscribed by locally straining an $\alpha$-$\mathcal{T}_3$ lattice. Specifically, we consider an out-of-plane Gaussian bump in the center of a four-terminal configuration and calculate the generated pseudomagnetic field having an opposite direction for electrons originating from different valleys, the resulting valley-polarized currents, and the conductance between the injector and collector situated opposite one another. Depending on the quantum dot's width and width-to-height ratio, we detect different transport regimes with and without valley filtering for both the $\alpha$-$\mathcal{T}_3$ and dice lattice structures. In addition, we analyze the essence of the conductance resonances with a high valley polarization in terms of related (pseudo-) Landau levels, the spatial distribution of the local density of states, and the local current densities. The observed local charge and current density patterns reflect the local inversion symmetry breaking by the strain, besides the global inversion symmetry breaking due to the scaling parameter $\alpha$. By this way we can also filter out different sublattices.


title: Do as we do: Multiple Person Video-To-Video Transfer

abstract: Our goal is to transfer the motion of real people from a source video to a target video with realistic results. While recent advances significantly improved image-to-image translations, only few works account for body motions and temporal consistency. However, those focus only on video re-targeting for a single actor/ for single actors. In this work, we propose a marker-less approach for multiple-person video-to-video transfer using pose as an intermediate representation. Given a source video with multiple persons dancing or working out, our method transfers the body motion of all actors to a new set of actors in a different video. Differently from recent "do as I do" methods, we focus specifically on transferring multiple person at the same time and tackle the related identity switch problem. Our method is able to convincingly transfer body motion to the target video, while preserving specific features of the target video, such as feet touching the floor and relative position of the actors. The evaluation is performed with visual quality and appearance metrics using publicly available videos with the permission of their owners.


title: Coastline extraction from ALOS-2 satellite SAR images

abstract: The continuous monitoring of a shore plays an essential role in designing strategies for shore protection against erosion. To avoid the effect of clouds and sunlight, satellite-based imagery with synthetic aperture radar is used to provide the required data. We show how such data can be processed using state-of-the-art methods, namely, by a deep-learning-based approach, to detect the coastline location. We split the process into data reading, data preprocessing, model training, inference, ensembling, and postprocessing, and describe the best techniques for each of the parts. Finally, we present our own solution that is able to precisely extract the coastline from an image even if it is not recognizable by a human. Our solution has been validated against the real GPS location of the coastline during Signate's competition, where it was runner-up among 109 teams across the whole world.


title: On negative eigenvalues of the spectral problem for water waves of highest amplitude

abstract: We consider a spectral problem associated with steady water waves of extreme form on the free surface of a rotational flow. It is proved that the spectrum of this problem contains arbitrary large negative eigenvalues and they are simple. Moreover, the asymptotics of such eigenvalues is obtained.


title: Occlusion Guided Self-supervised Scene Flow Estimation on 3D Point Clouds

abstract: Understanding the flow in 3D space of sparsely sampled points between two consecutive time frames is the core stone of modern geometric-driven systems such as VR/AR, Robotics, and Autonomous driving. The lack of real, non-simulated, labeled data for this task emphasizes the importance of self- or un-supervised deep architectures. This work presents a new self-supervised training method and an architecture for the 3D scene flow estimation under occlusions. Here we show that smart multi-layer fusion between flow prediction and occlusion detection outperforms traditional architectures by a large margin for occluded and non-occluded scenarios. We report state-of-the-art results on Flyingthings3D and KITTI datasets for both the supervised and self-supervised training.


title: Fool Me Twice: Entailment from Wikipedia Gamification

abstract: We release FoolMeTwice (FM2 for short), a large dataset of challenging entailment pairs collected through a fun multi-player game. Gamification encourages adversarial examples, drastically lowering the number of examples that can be solved using "shortcuts" compared to other popular entailment datasets. Players are presented with two tasks. The first task asks the player to write a plausible claim based on the evidence from a Wikipedia page. The second one shows two plausible claims written by other players, one of which is false, and the goal is to identify it before the time runs out. Players "pay" to see clues retrieved from the evidence pool: the more evidence the player needs, the harder the claim. Game-play between motivated players leads to diverse strategies for crafting claims, such as temporal inference and diverting to unrelated evidence, and results in higher quality data for the entailment and evidence retrieval tasks. We open source the dataset and the game code.


title: A Novel Unified Model for Multi-exposure Stereo Coding Based on Low Rank Tucker-ALS and 3D-HEVC

abstract: Display technology must offer high dynamic range (HDR) contrast-based depth induction and 3D personalization simultaneously. Efficient algorithms to compress HDR stereo data is critical. Direct capturing of HDR content is complicated due to the high expense and scarcity of HDR cameras. The HDR 3D images could be generated in low-cost by fusing low-dynamic-range (LDR) images acquired using a stereo camera with various exposure settings. In this paper, an efficient scheme for coding multi-exposure stereo images is proposed based on a tensor low-rank approximation scheme. The multi-exposure fusion can be realized to generate HDR stereo output at the decoder for increased realism and exaggerated binocular 3D depth cues. For exploiting spatial redundancy in LDR stereo images, the stack of multi-exposure stereo images is decomposed into a set of projection matrices and a core tensor following an alternating least squares Tucker decomposition model. The compact, low-rank representation of the scene, thus, generated is further processed by 3D extension of High Efficiency Video Coding standard. The encoding with 3D-HEVC enhance the proposed scheme efficiency by exploiting intra-frame, inter-view and the inter-component redundancies in low-rank approximated representation. We consider constant luminance property of IPT and Y'CbCr color space to precisely approximate intensity prediction and perceptually minimize the encoding distortion. Besides, the proposed scheme gives flexibility to adjust the bitrate of tensor latent components by changing the rank of core tensor and its quantization. Extensive experiments on natural scenes demonstrate that the proposed scheme outperforms state-of-the-art JPEG-XT and 3D-HEVC range coding standards.


title: High-altitude polar NM with the new DAQ system as a tool to study details of the cosmic-ray induced nucleonic cascade

abstract: A neutron monitor (NM) is, since the 1950s, a standard ground-based detector whose count rate reflects cosmic-ray variability. The worldwide network of NMs forms a rough spectrometer for cosmic rays. Recently, a brand-new data acquisition (DAQ) system has been installed on the DOMC and DOMB NMs, located at the Concordia research station on the Central Antarctic plateau. The new DAQ system digitizes, at a 2-MHz sampling rate, and records all individual pulses corresponding to secondary particles in the detector. An analysis of the pulse characteristics (viz. shape, magnitude, duration, waiting time) has been performed, and several clearly distinguishable branches were identified: (A) corresponding to signal from individual secondary neutrons; (B) representing the detector's noise; (C) double pulses corresponding to the {shortly separated nucleons of the same} atmospheric cascades; (D) very-high multiple pulses which are likely caused by atmospheric muons; and (E) double pulses potentially caused by contamination of the neighbouring detector. An analysis of the waiting time distributions has revealed two clearly distinguishable peaks: peak (I) at about 1 msec being related to the intra-cascade diffusion and thermalisation of secondary atmospheric neutrons; and peak (II) at 30--1000 msec corresponding to individual atmospheric cascades. This opens a new possibility to study spectra of cosmic-ray particles in a single location as well as details of the cosmic-ray induced atmospheric cascades, using the same dataset.


title: Discovering Categorical Main and Interaction Effects Based on Association Rule Mining

abstract: With the growing size of data sets, feature selection becomes increasingly important. Taking interactions of original features into consideration will lead to extremely high dimension, especially when the features are categorical and one-hot encoding is applied. This makes it more worthwhile mining useful features as well as their interactions. Association rule mining aims to extract interesting correlations between items, but it is difficult to use rules as a qualified classifier themselves. Drawing inspiration from association rule mining, we come up with a method that uses association rules to select features and their interactions, then modify the algorithm for several practical concerns. We analyze the computational complexity of the proposed algorithm to show its efficiency. And the results of a series of experiments verify the effectiveness of the algorithm.


title: Option to survive or surrender: carbon asset management and optimization in thermal power enterprises from China

abstract: Carbon emission right allowance is a double-edged sword, one edge is to reduce emission as its original design intention, another edge has in practice slain many less developed coal-consuming enterprises, especially for those in thermal power industry. Partially governed on the hilt in hands of the authority, body of this sword is the prices of carbon emission right. How should the thermal power plants dance on the blade motivates this research. Considering the impact of price fluctuations of carbon emission right allowance, we investigate the operation of Chinese thermal power plant by modeling the decision-making with optimal stopping problem, which is established on the stochastic environment with carbon emission allowance price process simulated by geometric Brownian motion. Under the overall goal of maximizing the ultimate profitability, the optimal stopping indicates the timing of suspend or halt of production, hence the optimal stopping boundary curve implies the edge of life and death with regard to this enterprise. Applying this methodology, real cases of failure and survival of several Chinese representative thermal power plants were analyzed to explore the industry ecotope, which leads to the findings that: 1) The survival environment of existed thermal power plants becomes severer when facing more pressure from the newborn carbon-finance market. 2) Boundaries of survival environment is mainly drawn by the technical improvements for rising the utilization rate of carbon emission. Based on the same optimal stopping model, outlook of this industry is drawn with a demarcation surface defining the vivosphere of thermal power plants with different levels of profitability. This finding provides benchmarks for those enterprises struggling for survival and policy makers scheming better supervision and necessary intervene.


title: Density estimate from below in relation to a conjecture of A. Zygmund on Lipschitz differentiation

abstract: Letting $A \subset \mathbb{R}^n$ be Borel measurable and $W_0 : A \to \mathbb{G}(n,m)$ Lipschitzian, we establish that \begin{equation*} \limsup_{r \to 0^+} \frac{\mathcal{H}^m \left[ A \cap B(x,r) \cap (x+ W_0(x))\right]}{\alpha(m)r^m} \geq \frac{1}{2^n}, \end{equation*} for $\mathcal{L}^n$-almost every $x \in A$. In particular, it follows that $A$ is $\mathcal{L}^n$-negligible if and only if $\mathcal{H}^m(A \cap (x+W_0(x))=0$, for $\mathcal{L}^n$-almost every $x \in A$.


title: Joint Program and Layout Transformations to enable Convolutional Operators on Specialized Hardware based on Constraint Programming

abstract: The success of Deep Artificial Neural Networks (DNNs) in many domains created a rich body of research concerned with hardware accelerators for compute-intensive DNN operators. However, implementing such operators efficiently with complex hardware intrinsics such as matrix multiply is a task not yet automated gracefully. Solving this task often requires joint program and data layout transformations. First solutions to this problem have been proposed, such as TVM, UNIT or ISAMIR, which work on a loop-level representation of operators and specify data layout and possible program transformations before the embedding into the operator is performed. This top-down approach creates a tension between exploration range and search space complexity, especially when also exploring data layout transformations such as im2col, channel packing or padding. In this work, we propose a new approach to this problem. We created a bottom-up method that allows the joint transformation of both compuation and data layout based on the found embedding. By formulating the embedding as a constraint satisfaction problem over the scalar dataflow, every possible embedding solution is contained in the search space. Adding additional constraints and optmization targets to the solver generates the subset of preferable solutions. An evaluation using the VTA hardware accelerator with the Baidu DeepBench inference benchmark shows that our approach can automatically generate code competitive to reference implementations. Further, we show that dynamically determining the data layout based on intrinsic and workload is beneficial for hardware utilization and performance. In cases where the reference implementation has low hardware utilization due to its fixed deployment strategy, we achieve a geomean speedup of up to x2.813, while individual operators can improve as much as x170.


title: Nonanalyticity, sign problem and Polyakov line in Z3-symmetric heavy quark model at low temperature: Phenomenological model analyses

abstract: The nonanalyticity and the sign problem in the Z3-symmetric heavy quark model at low temperature are studied phenomenologically. For the free heavy quarks, the nonanalyticity is analyzed in the relation to the zeros of the grand canonical partition function. The Z3-symmetric effective Polyakov-line model (EPLM) in strong coupling limit is also considered as an phenomenological model of Z3-symmetric QCD with large quark mass at low temperature. We examine how the Z3-symmetric EPLM approaches to the original one in the zero-temperature limit. The effects of the Z3-symmetry affect the structure of zeros of the microscopic probability density function at the nonanalytic point. The average value of the Polyakov line can detect the structure, while the other thermodynamic quantities are not sensible to the structure in the zero-temperature limit. The effect of the imaginary quark chemical potential is also discussed. The imaginary part of the quark number density is very sensitive to the symmetry structure at the nonanalytical point. For a particular value of the imaginary quark number chemical potential, large quark number may be induced in the vicinity of the nonanalytical point.


title: Estimation of BMI from Facial Images using Semantic Segmentation based Region-Aware Pooling

abstract: Body-Mass-Index (BMI) conveys important information about one's life such as health and socio-economic conditions. Large-scale automatic estimation of BMIs can help predict several societal behaviors such as health, job opportunities, friendships, and popularity. The recent works have either employed hand-crafted geometrical face features or face-level deep convolutional neural network features for face to BMI prediction. The hand-crafted geometrical face feature lack generalizability and face-level deep features don't have detailed local information. Although useful, these methods missed the detailed local information which is essential for exact BMI prediction. In this paper, we propose to use deep features that are pooled from different face regions (eye, nose, eyebrow, lips, etc.,) and demonstrate that this explicit pooling from face regions can significantly boost the performance of BMI prediction. To address the problem of accurate and pixel-level face regions localization, we propose to use face semantic segmentation in our framework. Extensive experiments are performed using different Convolutional Neural Network (CNN) backbones including FaceNet and VGG-face on three publicly available datasets: VisualBMI, Bollywood and VIP attributes. Experimental results demonstrate that, as compared to the recent works, the proposed Reg-GAP gives a percentage improvement of 22.4\% on VIP-attribute, 3.3\% on VisualBMI, and 63.09\% on the Bollywood dataset.


title: Spiked eigenvalues of noncentral Fisher matrix with applications

abstract: In this paper, we investigate the asymptotic behavior of spiked eigenvalues of the noncentral Fisher matrix defined by ${\mathbf F}_p={\mathbf C}_n(\mathbf S_N)^{-1}$, where ${\mathbf C}_n$ is a noncentral sample covariance matrix defined by $(\mathbf \Xi+\mathbf X)(\mathbf \Xi+\mathbf X)^*/n$ and $\mathbf S_N={\mathbf Y}{\mathbf Y}^*/N$. The matrices $\mathbf X$ and $\mathbf Y$ are two independent {Gaussian} arrays, with respective $p\times n$ and $p\times N$ and the Gaussian entries of them are \textit {independent and identically distributed} (i.i.d.) with mean $0$ and variance $1$. When $p$, $n$, and $N$ grow to infinity proportionally, we establish a phase transition of the spiked eigenvalues of $\mathbf F_p$. Furthermore, we derive the \textit{central limiting theorem} (CLT) for the spiked eigenvalues of $\mathbf F_p$. As an accessory to the proof of the above results, the fluctuations of the spiked eigenvalues of ${\mathbf C}_n$ are studied, which should have its own interests. Besides, we develop the limits and CLT for the sample canonical correlation coefficients by the results of the spiked noncentral Fisher matrix and give three consistent estimators, including the population spiked eigenvalues and the population canonical correlation coefficients.


title: Thermal buckling of thin injection-molded FRP plates with fiber orientation varying over the thickness

abstract: The different thermo-elastic properties of glass fibers and polymer matrices can generate residual thermal stresses in injection-molded fiber-reinforced plastic (FRP) objects. During cooling from mold to room temperature, these stresses can be relaxed by large deformations resulting from an instability of the unwarped configuration (i.e., buckling). This article investigates the thermal buckling of thin FRP disks via an analytical formulation based on the Foppl-von Karman theory. Expanding on our previous work, cylindrical orthotropy with material parameters varying over the disk thickness is assumed in order to account for thickness dependency of the glass fiber orientation distribution. A disk parameter generalizing the thermal anisotropy ratio for homogeneous orthotropic disks is introduced and its relation with the occurrence and periodicity of buckling is discussed. This is done for a skin-coreskin model, for which the core-to-total thickness ratio is defined. For fiber orientation distributions typical of injection-molded disks, it is found that there exists a value of the thickness ratio for which no buckling occurs. It is also demonstrated that the periodicity of the first buckling mode is described by the generalized thermal anisotropy ratio, thus extending the results obtained for a homogeneous fiber orientation distribution. Improvements in the accuracy of the predictions for experimental data available in the literature when using the skin-core-skin model are shown. Finally, we study the relation between buckling temperature and disk thickness and propose an expression for the dependence of the normalized buckling temperature on the thermal anisotropy ratio. Results of FEM simulations are used to validate the proposed expression, proving its applicability and accuracy.


title: Meta-Learning for Fast Cross-Lingual Adaptation in Dependency Parsing

abstract: Meta-learning, or learning to learn, is a technique that can help to overcome resource scarcity in cross-lingual NLP problems, by enabling fast adaptation to new tasks. We apply model-agnostic meta-learning (MAML) to the task of cross-lingual dependency parsing. We train our model on a diverse set of languages to learn a parameter initialization that can adapt quickly to new languages. We find that meta-learning with pre-training can significantly improve upon the performance of language transfer and standard supervised learning baselines for a variety of unseen, typologically diverse, and low-resource languages, in a few-shot learning setup.


title: Agmon estimates for Schr\"odinger operators on graphs

abstract: We prove decay estimates for generalized eigenfunctions of discrete Schr\"odinger operators on weighted infinite graphs in the spirit of Agmon.


title: Aspects of diffusion in the stadium billiard

abstract: We perform a detailed numerical study of diffusion in the $\varepsilon$ stadium of Bunimovich, and propose an empirical model of the local and global diffusion for various values of $\varepsilon$ with the following conclusions: (i) the diffusion is normal for all values of $\varepsilon \leq(0.3)$ and all initial conditions, (ii) the diffusion constant is a parabolic function of the momentum (i.e., we have inhomogeneous diffusion), (iii) the model describes the diffusion very well including the boundary effects, (iv) the approach to the asymptotic equilibrium steady state is exponential, (v) the so-called random model (Robnik et al., 1997) is confirmed to apply very well, (vi) the diffusion constant extracted from the distribution function in momentum space and the one derived from the second moment agree very well. The classical transport time, an important parameter in quantum chaos, is thus determined.


title: MIPT-NSU-UTMN at SemEval-2021 Task 5: Ensembling Learning with Pre-trained Language Models for Toxic Spans Detection

abstract: This paper describes our system for SemEval-2021 Task 5 on Toxic Spans Detection. We developed ensemble models using BERT-based neural architectures and post-processing to combine tokens into spans. We evaluated several pre-trained language models using various ensemble techniques for toxic span identification and achieved sizable improvements over our baseline fine-tuned BERT models. Finally, our system obtained a F1-score of 67.55% on test data.


title: Spectrum of semisimple locally symmetric spaces and admissibility of spherical representations

abstract: We consider compact locally symmetric spaces $\Gamma\backslash G/H$ where $G/H$ is a non-compact semisimple symmetric space and $\Gamma$ is a discrete subgroup of $G$. We discuss some features of the joint spectrum of the (commutative) algebra $D(G/H)$ of invariant differential operators acting, as unbounded operators, on the Hilbert space $L^2(\Gamma\backslash G/H)$ of square integrable complex functions on $\Gamma\backslash G/H$. In the case of the Lorentzian symmetric space $SO_0(2,2n)/SO_0(1,2n)$, the representation theoretic spectrum is described explicitly. The strategy is to consider connected reductive Lie groups $L$ acting transitively and co-compactly on $G/H$, a cocompact lattice $\Gamma\subset L$, and study the spectrum of the algebra $D(L/L\cap H)$ on $L^2(\Gamma\backslash L/L\cap H)$. Though the group $G$ does not act on $L^2(\Gamma\backslash G/H)$, we explain how (not necessarily unitary) $G$-representations enter into the spectral decomposition of $D(G/H)$ on $L^2(\Gamma\backslash G/H)$ and why one should expect a continuous contribution to the spectrum in some cases. As a byproduct, we obtain a result on the $L$-admissibility of $G$-representations. These notes contain the statements of the main results, the proofs and the details will appear elsewhere.


title: Application specific dataflow machine construction for programming FPGAs via Lucent

abstract: Field Programmable Gate Arrays (FPGAs) have the potential to accelerate specific HPC codes. However even with the advent of High Level Synthesis (HLS), which enables FPGA programmers to write code in C or C++, programming such devices still requires considerable expertise. Much of this is due to the fact that these architectures are founded on dataflow rather than the Von Neumann abstraction of CPUs or GPUs. Thus programming FPGAs via imperative languages is not optimal and can result in very significant performance differences between the first and final versions of algorithms on dataflow architectures with the steps in between often not obvious and requiring considerable expertise. In this position paper we argue that languages built upon dataflow principals should be exploited to enable fast by construction codes for FPGAs, and this is akin to the programmer adopting the abstraction of developing a bespoke dataflow machine specialised for their application. It is our belief that much can be learnt from the generation of dataflow languages that gained popularity in the 1970s and 1980s around programming general purpose dataflow machines, and we introduce Lucent which is a modern derivative of Lucid, and used as a vehicle to explore this hypothesis. The idea behind Lucent is to provide high programmer productivity and performance for FPGAs by giving developers the most suitable language level abstractions. The focus of Lucent is very much to support the acceleration of HPC kernels, rather than the embedded electronics and circuit level, and we provide a brief overview of the language driven by examples.


title: Non-Destructive Zero-Knowledge Proofs on Quantum States, and Multi-Party Generation of Authorized Hidden GHZ States

abstract: We propose the first generalization of the famous Non-Interactive Zero-Knowledge (NIZK) proofs to quantum languages (NIZKoQS) and we provide a protocol to prove advanced properties on a received quantum state non-destructively and non-interactively (a single message being sent from the prover to the verifier). In our second orthogonal contribution, we improve the costly Remote State Preparation protocols [CCKW18,CCKW19,GV19] that can classically fake a quantum channel (this is at the heart of our NIZKoQS protocol) by showing how to create a multi-qubits state from a single superposition. Finally, we generalize these results to a multi-party setting and prove that multiple parties can anonymously distribute a GHZ state in such a way that only participants knowing a secret credential can share this state, which could have applications to quantum anonymous transmission, quantum secret sharing, quantum onion routing and more.


title: How Should Network Slice Instances be Provided to Multiple Use Cases of a Single Vertical Industry?

abstract: There are a large number of vertical industries implementing multiple use cases, each use case characterized by diverging service, network, and connectivity requirements such as automobile, manufacturing, power grid, etc. Such heterogeneity cannot be effectively managed and efficiently mapped onto a single type of network slice instance (NSI). Thus the tailored provisioning of an end-to-end network slicing solution to a vertical industry that consists of multiple use cases is a critical issue, which motivates this article, aimed at exploring this never-addressed and challenging research problem by proposing the Use-case Specific Network Slicing and the SubNetwork Slicing concepts that enable the provisioning of Use-case-specific NSI(US-NSI) and GeNeric NSI(GN-NSI), respectively. Both approaches tackle the same technical issue of provisioning, management, and orchestration of per vertical per use case NSIs in order to improve resource allocation and enhance network performance. The article also presents the architectural frameworks for managing US-NSI and GN-NSI, which extend the service deployment concept and system architecture of network slicing for vertical customers of fifth-generation (5G) mobile networks.


title: WTO GPA and Sustainable Procurement as Tools for Transitioning to a Circular Economy

abstract: We live in an age of consumption with an ever-increasing demand of already scarce resources and equally fast growing problems of waste generation and climate change. To tackle these difficult issues, we must learn from mother nature. Just like waste does not exist in nature, we must strive to create circular ecosystems where waste is minimized and energy is conserved. This paper focuses on how public procurement can help us transition to a more circular economy, while navigating international trade laws that govern it.


title: Classical-quantum network coding: a story about tensor

abstract: We study here the conditions to perform the distribution of a pure state on a quantum network using quantum operations which can succeed with a non-zero probability, the Stochastic Local Operation and Classical Communication (SLOCC) operations. In their pioneering 2010 work, Kobayashi et al. showed how to convert any classical network coding protocol into a quantum network coding protocol. However, they left open whether the existence of a quantum network coding protocol implied the existence of a classical one. Motivated by this question, we characterize the set of distribution tasks achievable with non zero probability for both classical and quantum networks. We develop a formalism which encompasses both types of distribution protocols by reducing the solving of a distribution task to the factorization of a tensor with complex coefficients or real positive ones. Using this formalism, we examine the equivalences and differences between both types of distribution protocols exhibiting several elementary and fundamental relations between them as well as concrete examples of both convergence and divergence. We answer by the negative to the issue previously left open: some tasks are achievable in the quantum setting, but not in the classical one. We believe this formalism to be a useful tool for studying the extent of quantum network ability to perform multipartite distribution tasks.


title: ODMR on Single TR12 Centers in Diamond

abstract: Point defects in insulators are considered promising candidates for quantum technologies. In keeping with this, we present an extensive optically-detected magnetic resonance (ODMR) study at room-temperature on individual TR12 centers (ZPL at 471nm), which are known in the literature since 1956. In this work we found TR12 centers to show a strong ODMR signal under optical saturation. These observed defects were created in high-purity epitaxial layers of diamond by standard irradiation and annealing processes. From the analysis of the ODMR spectra along with antibunching measurements and coherent population trapping, we proposed the energy level structure of TR12 center, consisting of ground state and excited state singlets complemented by a metastable triplet in between. Mapping the fluorescence dependence of the center on an external magnetic field and on the polarization of laser excitation, allows us to identify twelve inequivalent orientations for TR12 centers. This includes the exact orientations of the dipole transition and the triplet axes in the diamond lattice in full agreement with the results of modeling based on the proposed level structure. Furthermore, a static Jahn-Teller effect was detected through fluorescence switching between two levels at low optical excitation power, directly observable in the real-time fluorescence signal for various polarization of laser excitation. Based on these results we discuss the prospects of the TR12 center in diamond for quantum sensing and quantum information processing.


title: Indefinite Backward Stochastic Linear-Quadratic Optimal Control Problems

abstract: This paper is concerned with a backward stochastic linear-quadratic (LQ, for short) optimal control problem with deterministic coefficients. The weighting matrices are allowed to be indefinite, and cross-product terms in the control and state processes are present in the cost functional. Based on a Hilbert space method, necessary and sufficient conditions are derived for the solvability of the problem, and a general approach for constructing optimal controls is developed. The crucial step in this construction is to establish the solvability of a Riccati-type equation, which is accomplished under a fairly weak condition by investigating the connection with forward stochastic LQ optimal control problems.


title: Imperfect also Deserves Reward: Multi-Level and Sequential Reward Modeling for Better Dialog Management

abstract: For task-oriented dialog systems, training a Reinforcement Learning (RL) based Dialog Management module suffers from low sample efficiency and slow convergence speed due to the sparse rewards in RL.To solve this problem, many strategies have been proposed to give proper rewards when training RL, but their rewards lack interpretability and cannot accurately estimate the distribution of state-action pairs in real dialogs. In this paper, we propose a multi-level reward modeling approach that factorizes a reward into a three-level hierarchy: domain, act, and slot. Based on inverse adversarial reinforcement learning, our designed reward model can provide more accurate and explainable reward signals for state-action pairs.Extensive evaluations show that our approach can be applied to a wide range of reinforcement learning-based dialog systems and significantly improves both the performance and the speed of convergence.


title: Tempered Fractional Brownian Motion with Variable Index and Variable Tempering Parameter

abstract: Generalizations of tempered fractional Brownian from single index to two indices and variable index or tempered multifractional Brownian motion are studied. Tempered fractional Brownian motion and tempered multifractional Brownian motion with variable tempering parameter are considered.


title: Application of Grey System Theory in Approximate Calculation of Wave Packet Evolution

abstract: The study of wave packet is of great significance in quantum mechanics, optics and fluid mechanics. However, in order to solve the strict evolution behavior of wave packet, it is necessary not only to determine the parameters of various physical quantities such as mass, but also to carry out the complex integration process in configuration space and momentum space. In the final analysis, the evolution behavior of wave packet is the evolution behavior of distribution function parameters with time. Using the method of grey system theory, the time-varying parameters are replaced by time-varying response series, and then the formal structure is constructed according to the physical meaning of time evolution to realize the approximate simulation and approximate calculation of wave function expression. The advantage of this method is that it can simulate the evolution of wave packet under the uncertainty of each physical quantity. Based on the grey system theory, this paper uses GM (1,1) model to replace the time response function of wave packet distribution, obtains the simulated evolution behavior of wave packet wave function by means of mathematical techniques such as variational method, and makes error analysis and correction. In practical application, the approximate evolution behavior of wave function can be obtained only by determining the parameters of expansion coefficient of wave function. In this paper, the Gauss wave packet is taken as an example to discuss the method. The grey system theory of mathematical modeling is introduced into physical calculation for the first time, and an approximate calculation method which can be widely used in wave packet evolution calculation is given.


title: NLI Data Sanity Check: Assessing the Effect of Data Corruption on Model Performance

abstract: Pre-trained neural language models give high performance on natural language inference (NLI) tasks. But whether they actually understand the meaning of the processed sequences remains unclear. We propose a new diagnostics test suite which allows to assess whether a dataset constitutes a good testbed for evaluating the models' meaning understanding capabilities. We specifically apply controlled corruption transformations to widely used benchmarks (MNLI and ANLI), which involve removing entire word classes and often lead to non-sensical sentence pairs. If model accuracy on the corrupted data remains high, then the dataset is likely to contain statistical biases and artefacts that guide prediction. Inversely, a large decrease in model accuracy indicates that the original dataset provides a proper challenge to the models' reasoning capabilities. Hence, our proposed controls can serve as a crash test for developing high quality data for NLI tasks.


title: On Moments of non-normal number fields

abstract: Let $ K $ be a number field over $ \mathbb{Q} $ and let $ a_K(m) $ denote the number of integral ideals of $ K $ of norm equal to $ m\in\mathbb{N} $. In this paper we obtain asymptotic formulae for sums of the form $ \sum_{m\leq X} a^l_K(m) $ thereby generalizing the previous works on the problem. Previously such asymptotics were known only in the case when $ K $ is Galois or when $K$ was a non normal cubic extension and $ l=2,3 $. The present work subsumes both these cases.


title: On smooth Calabi-Yau threefolds of Picard number two

abstract: We classify all smooth Calabi-Yau threefolds of Picard number two that have a general hypersurface Cox ring.


title: Forbidden subgraphs in enhanced power graphs of finite groups

abstract: The enhanced power graph of a group is the simple graph whose vertex set is consisted of all elements of the group, and whose any pair of vertices are adjacent if they generate a cyclic subgroup. In this paper, we classify all finite groups whose enhanced power graphs are split and threshold. We also classify all finite nilpotent groups whose enhanced power graphs are chordal graphs and cographs. Finally, we give some families of non-nilpotent groups whose enhanced power graphs are chordal graphs and cographs. These results partly answer a question posed by Peter J. Cameron.


title: Preprocessing Methods of Lane Detection and Tracking for Autonomous Driving

abstract: In the past few years, researches on advanced driver assistance systems (ADASs) have been carried out and deployed in intelligent vehicles. Systems that have been developed can perform different tasks, such as lane keeping assistance (LKA), lane departure warning (LDW), lane change warning (LCW) and adaptive cruise control (ACC). Real time lane detection and tracking (LDT) is one of the most consequential parts to performing the above tasks. Images which are extracted from the video, contain noise and other unwanted factors such as variation in lightening, shadow from nearby objects and etc. that requires robust preprocessing methods for lane marking detection and tracking. Preprocessing is critical for the subsequent steps and real time performance because its main function is to remove the irrelevant image parts and enhance the feature of interest. In this paper, we survey preprocessing methods for detecting lane marking as well as tracking lane boundaries in real time focusing on vision-based system.


title: On pencils of cubics on the projective line over finite fields of characteristic $>3$

abstract: In this paper we study combinatorial invariants of the equivalence classes of pencils of cubics on $\mathrm{PG}(1,q)$, for $q$ odd and $q$ not divisible by 3. These equivalence classes are considered as orbits of lines in $\mathrm{PG}(3,q)$, under the action of the subgroup $G\cong \mathrm{PGL}(2,q)$ of $\mathrm{PGL}(4,q)$ which preserves the twisted cubic $\mathcal{C}$ in $\mathrm{PG}(3,q)$. In particular we determine the point orbit distributions and plane orbit distributions of all $G$-orbits of lines which are contained in an osculating plane of $\mathcal{C}$, have non-empty intersection with $\mathcal{C}$, or are imaginary chords or imaginary axes of $\mathcal{C}$.


title: Adversarially-Trained Nonnegative Matrix Factorization

abstract: We consider an adversarially-trained version of the nonnegative matrix factorization, a popular latent dimensionality reduction technique. In our formulation, an attacker adds an arbitrary matrix of bounded norm to the given data matrix. We design efficient algorithms inspired by adversarial training to optimize for dictionary and coefficient matrices with enhanced generalization abilities. Extensive simulations on synthetic and benchmark datasets demonstrate the superior predictive performance on matrix completion tasks of our proposed method compared to state-of-the-art competitors, including other variants of adversarial nonnegative matrix factorization.


title: Splitting Spanner Atoms: A Tool for Acyclic Core Spanners

abstract: This paper investigates regex CQs with string equalities (SERCQs), a subclass of core spanners. As shown by Freydenberger, Kimelfeld, and Peterfreund (PODS 2018), these queries are intractable, even if restricted to acyclic queries. This previous result defines acyclicity by treating regex formulas as atoms. In contrast to this, we propose an alternative definition by converting SERCQs into FC-CQs -- conjunctive queries in FC, a logic that is based on word equations. We introduce a way to decompose word equations of unbounded arity into a conjunction of binary word equations. If the result of the decomposition is acyclic, then evaluation and enumeration of results become tractable. The main result of this work is an algorithm that decides in polynomial time whether an FC-CQ can be decomposed into an acyclic FC-CQ. We also give an efficient conversion from synchronized SERCQs to FC-CQs with regular constraints. As a consequence, tractability results for acyclic relational CQs directly translate to a large class of SERCQs.


title: Search for the doubly heavy baryons $\it{\Omega}_{bc}^{\rm0}$ and $\it{\Xi}_{bc}^{\rm0}$ decaying to $\it{\Lambda_{c}^{+}\pi^{-}}$ and $\it{\Xi_{c}^{+}\pi^{-}}$

abstract: The first search for the doubly heavy $\it{\Omega}_{bc}^{\rm0}$ baryon and a search for $\it{\Xi}_{bc}^{\rm0}$ baryon are performed using $pp$ collision data collected via the LHCb experiment from 2016 to 2018 at a centre-of-mass energy of $13TeV$, corresponding to an integrated luminosity of 5.2$fb^{-1}$. The baryons are reconstructed via their decays to $\it{\Lambda_{c}^{+}\pi^{-}}$ and $\it{\Xi_{c}^{+}\pi^{-}}$. No significant excess is found for invariant masses between 6700 and 7300$MeV/c^2$, in a rapidity range from 2.0 to 4.5 and a transverse momentum range from 2 to 20$GeV/c$. Upper limits are set on the ratio of the $\it{\Omega}_{bc}^{\rm0}$ and $\it{\Xi}_{bc}^{\rm0}$ production cross-section times the branching fraction to $\it{\Lambda_{c}^{+}\pi^{-}}$ ($\it{\Xi_{c}^{+}\pi^{-}}$) relative to that of the $\it{\Lambda_b^{\rm0}}$ ($\it{\Xi_b^{\rm0}}$) baryon, for different lifetime hypotheses, at $95\%$ confidence level. The upper limits range from $0.5\times10^{-4}$ to $2.5\times10^{-4}$ for the $\it{\Omega}_{bc}^{\rm0}\rightarrow\it{\Lambda_{c}^{+}\pi^{-}}$ ($\it{\Xi}_{bc}^{\rm0}\rightarrow\it{\Lambda_{c}^{+}\pi^{-}}$) decay, and from $1.4\times10^{-3}$ to $6.9\times10^{-3}$ for the $\it{\Omega}_{bc}^{\rm0}\rightarrow\it{\Xi_{c}^{+}\pi^{-}}$ ($\it{\Xi}_{bc}^{\rm0}\rightarrow\it{\Xi_{c}^{+}\pi^{-}}$) decay, depending on the considered mass and lifetime of the $\it{\Omega}_{bc}^{\rm0}$ ($\it{\Xi}_{bc}^{\rm0}$) baryon.


title: Shedding Light on Dark Matter and Neutrino Interactions from Cosmology

abstract: In $\rm\Lambda$CDM cosmology, Dark Matter (DM) and neutrinos are assumed to be non-interacting. However, it is possible to have scenarios, where DM-neutrino interaction may be present, leading to scattering of DM with neutrinos and annihilation of DM into neutrinos. We investigate the viability of such scenarios in the light of cosmological data by making use of the Planck 2018 dataset (high-l TT+TE+EE, low-l TT, low-l EE) and constrain these processes in the light of the same. We also discuss a viable particle DM model where DM-neutrino interaction is present, and map the constraints obtained to the parameter space of the model.


title: Radio Core-Dominance of Fermi-Blazars: Implication for Blazar Unification

abstract: ...The distribution of radio core-dominance is consistent with average projection angles of 13.5, 14.8, 16.8, 20.4, and 28.2 for ISPs, LSPs, FSRQs, HSPs, and radio galaxies, respectively. Linear regression analyses of our data yield significant anti-correlation r greater than 0.60 between core-dominance parameter and extended luminosity in each individual subsample, the correlation is significant only when individual subsamples are considered. There is a systematic sequence of the distribution of the different subclasses on the Core-dominance parameter-extended luminosity plane. Nevertheless, little or no correlation between Core-dominance parameter and core luminosity or between Core dominance parameter and gamma-ray luminosity r, less than 0.50 was observed. There is a clear dichotomy between high synchrotron-peaking BL Lacs and other BL Lac subclasses. The results are consistent with a unified view for blazars and can be understood in terms of relativistic beaming persisting at the largest scales.


title: Search for charged Higgs bosons produced in vector boson fusion processes and decaying into vector boson pairs in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A search for charged Higgs bosons produced in vector boson fusion processes and decaying into vector bosons, using proton-proton collisions at $\sqrt{s} =$ 13 TeV at the LHC, is reported. The data sample corresponds to an integrated luminosity of 137 fb$^{-1}$ collected with the CMS detector. Events are selected by requiring two or three electrons or muons, moderate missing transverse momentum, and two jets with a large rapidity separation and a large dijet mass. No excess of events with respect to the standard model background predictions is observed. Model independent upper limits at 95% confidence level are reported on the product of the cross section and branching fraction for vector boson fusion production of charged Higgs bosons as a function of mass, from 200 to 3000 GeV. The results are interpreted in the context of the Georgi-Machacek model.


title: Fixed-Posit: A Floating-Point Representation for Error-Resilient Applications

abstract: Today, almost all computer systems use IEEE-754 floating point to represent real numbers. Recently, posit was proposed as an alternative to IEEE-754 floating point as it has better accuracy and a larger dynamic range. The configurable nature of posit, with varying number of regime and exponent bits, has acted as a deterrent to its adoption. To overcome this shortcoming, we propose fixed-posit representation where the number of regime and exponent bits are fixed, and present the design of a fixed-posit multiplier. We evaluate the fixed-posit multiplier on error-resilient applications of AxBench and OpenBLAS benchmarks as well as neural networks. The proposed fixed-posit multiplier has 47%, 38.5%, 22% savings for power, area and delay respectively when compared to posit multipliers and up to 70%, 66%, 26% savings in power, area and delay respectively when compared to 32-bit IEEE-754 multiplier. These savings are accompanied with minimal output quality loss (1.2% average relative error) across OpenBLAS and AxBench workloads. Further, for neural networks like ResNet-18 on ImageNet we observe a negligible accuracy loss (0.12%) on using the fixed-posit multiplier.


title: Applications of physics-informed scientific machine learning in subsurface science: A survey

abstract: Geosystems are geological formations altered by humans activities such as fossil energy exploration, waste disposal, geologic carbon sequestration, and renewable energy generation. Geosystems also represent a critical link in the global water-energy nexus, providing both the source and buffering mechanisms for enabling societal adaptation to climate variability and change. The responsible use and exploration of geosystems are thus critical to the geosystem governance, which in turn depends on the efficient monitoring, risk assessment, and decision support tools for practical implementation. Fast advances in machine learning (ML) algorithms and novel sensing technologies in recent years have presented new opportunities for the subsurface research community to improve the efficacy and transparency of geosystem governance. Although recent studies have shown the great promise of scientific ML (SciML) models, questions remain on how to best leverage ML in the management of geosystems, which are typified by multiscality, high-dimensionality, and data resolution inhomogeneity. This survey will provide a systematic review of the recent development and applications of domain-aware SciML in geosystem researches, with an emphasis on how the accuracy, interpretability, scalability, defensibility, and generalization skill of ML approaches can be improved to better serve the geoscientific community.


title: Q-matrix Unaware Double JPEG Detection using DCT-Domain Deep BiLSTM Network

abstract: The double JPEG compression detection has received much attention in recent years due to its applicability as a forensic tool for the most widely used JPEG file format. Existing state-of-the-art CNN-based methods either use histograms of all the frequencies or rely on heuristics to select histograms of specific low frequencies to classify single and double compressed images. However, even amidst lower frequencies of double compressed images/patches, histograms of all the frequencies do not have distinguishable features to separate them from single compressed images. This paper directly extracts the quantized DCT coefficients from the JPEG images without decompressing them in the pixel domain, obtains all AC frequencies' histograms, uses a module based on $1\times 1$ depth-wise convolutions to learn the inherent relation between each histogram and corresponding q-factor, and utilizes a tailor-made BiLSTM network for selectively encoding these feature vector sequences. The proposed system outperforms several baseline methods on a relatively large and diverse publicly available dataset of single and double compressed patches. Another essential aspect of any single vs. double JPEG compression detection system is handling the scenario where test patches are compressed with entirely different quantization matrices (Q-matrices) than those used while training; different camera manufacturers and image processing software generally utilize their customized quantization matrices. A set of extensive experiments shows that the proposed system trained on a single dataset generalizes well on other datasets compressed with completely unseen quantization matrices and outperforms the state-of-the-art methods in both seen and unseen quantization matrices scenarios.


title: Canonical Noether and the energy-momentum non-uniqueness problem in linearized gravity

abstract: Recent research has highlighted the non-uniqueness problem of energy-momentum tensors in linearized gravity; many different tensors are published in the literature, yet for particular calculations a unique expression is required. It has been shown that (A) none of these spin-2 energy-momentum tensors are gauge invariant and (B) the Noether and Hilbert energy-momentum tensors are not, in general, equivalent; therefore uniqueness criteria is difficult to specify. Conventional wisdom states that the various published energy-momentum tensors for linearized gravity can be derived from the canonical Noether energy-momentum tensor of spin-2 Fierz-Pauli theory by adding ad-hoc 'improvement' terms (the divergence of a superpotential and terms proportional to the equations of motion), that these superpotentials are in some way unique or physically significant, and that this implies some meaningful connection to the Noether procedure. To explore this question of uniqueness, we consider the most general possible energy-momentum tensor for linearized gravity with free coefficients using the Fock method. We express this most general energy-momentum tensor as the canonical Noether tensor, supplemented by the divergence of a general superpotential plus all possible terms proportional to the equations of motion. We then derive systems of equations which we solve in order to prove several key results for spin-2 Fierz-Pauli theory, most notably that there are infinitely many conserved energy-momentum tensors derivable from the 'improvement' method, and there are infinitely many conserved symmetric energy-momentum tensors that follow from specifying the Belinfante superpotential alone. $\dots$ since there are infinitely many energy-momentum tensors of this form, no meaningful or unique connection to Noether's first theorem can be claimed by application of the canonical Noether 'improvement' method.


title: MobileStyleGAN: A Lightweight Convolutional Neural Network for High-Fidelity Image Synthesis

abstract: In recent years, the use of Generative Adversarial Networks (GANs) has become very popular in generative image modeling. While style-based GAN architectures yield state-of-the-art results in high-fidelity image synthesis, computationally, they are highly complex. In our work, we focus on the performance optimization of style-based generative models. We analyze the most computationally hard parts of StyleGAN2, and propose changes in the generator network to make it possible to deploy style-based generative networks in the edge devices. We introduce MobileStyleGAN architecture, which has x3.5 fewer parameters and is x9.5 less computationally complex than StyleGAN2, while providing comparable quality.


title: Selection-Expansion: A Unifying Framework for Motion-Planning and Diversity Search Algorithms

abstract: Reinforcement learning agents need a reward signal to learn successful policies. When this signal is sparse or the corresponding gradient is deceptive, such agents need a dedicated mechanism to efficiently explore their search space without relying on the reward. Looking for a large diversity of behaviors or using Motion Planning (MP) algorithms are two options in this context. In this paper, we build on the common roots between these two options to investigate the properties of two diversity search algorithms, the Novelty Search and the Goal Exploration Process algorithms. These algorithms look for diversity in an outcome space or behavioral space which is generally hand-designed to represent what matters for a given task. The relation to MP algorithms reveals that the smoothness, or lack of smoothness of the mapping between the policy parameter space and the outcome space plays a key role in the search efficiency. In particular, we show empirically that, if the mapping is smooth enough, i.e. if two close policies in the parameter space lead to similar outcomes, then diversity algorithms tend to inherit exploration properties of MP algorithms. By contrast, if it is not, diversity algorithms lose these properties and their performance strongly depends on specific heuristics, notably filtering mechanisms that discard some of the explored policies.


title: Structure, size, and statistical properties of chaotic components in a mixed-type Hamiltonian system

abstract: We perform a detailed study of the chaotic component in mixed-type Hamiltonian systems on the example of a family of billiards [introduced by Robnik in J. Phys. A: Math. Gen. 16, 3971 (1983)]. The phase space is divided into a grid of cells and a chaotic orbit is iterated a large number of times. The structure of the chaotic component is discerned from the cells visited by the chaotic orbit. The fractal dimension of the border of the chaotic component for various values of the billiard shape parameter is determined with the box-counting method. The cell-filling dynamics is compared to a model of uncorrelated motion, the so-called random model [Robnik et al. J. Phys. A: Math. Gen. 30, L803 (1997)], and deviations attributed to sticky objects in the phase space are found. The statistics of the number of orbit visits to the cells is analyzed and found to be in agreement with the random model in the long run. The stickiness of the various structures in the phase space is quantified in terms of the cell recurrence times. The recurrence time distributions in a few selected cells as well as the mean and standard deviation of recurrence times for all cells are analyzed. The standard deviation of cell recurrence time is found to be a good quantifier of stickiness on a global scale. Three methods for determining the measure of the chaotic component are compared and the measure is calculated for various values of the billiard shape parameter. Lastly, the decay of correlations and the diffusion of momenta is analyzed.


title: UTNLP at SemEval-2021 Task 5: A Comparative Analysis of Toxic Span Detection using Attention-based, Named Entity Recognition, and Ensemble Models

abstract: Detecting which parts of a sentence contribute to that sentence's toxicity -- rather than providing a sentence-level verdict of hatefulness -- would increase the interpretability of models and allow human moderators to better understand the outputs of the system. This paper presents our team's, UTNLP, methodology and results in the SemEval-2021 shared task 5 on toxic spans detection. We test multiple models and contextual embeddings and report the best setting out of all. The experiments start with keyword-based models and are followed by attention-based, named entity-based, transformers-based, and ensemble models. Our best approach, an ensemble model, achieves an F1 of 0.684 in the competition's evaluation phase.


title: MIPROT: A Medical Image Processing Toolbox for MATLAB

abstract: This paper presents a Matlab toolbox to perform basic image processing and visualization tasks, particularly designed for medical image processing. The functionalities available are similar to basic functions found in other non-Matlab widely used libraries such as the Insight Toolkit (ITK). The toolbox is entirely written in native Matlab code, but is fast and flexible. Main use cases for the toolbox are illustrated here, including image input/output, pre-processing, filtering, image registration and visualisation. Both the code and sample data are made publicly available and open source.


title: Diffraction as scattering under the Born approximation

abstract: Light diffraction at an aperture is a basic problem that has generated a tremendous amount of interest in optics. Some of the most significant diffraction results are the Fresnel-Kirchhoff and Rayleigh-Sommerfeld formulas. These theories are based on solving the wave equation using Green's theorem and result in slightly different expressions depending on the particular boundary conditions employed. In this paper, we propose another approach for solving the diffraction by a thin screen, which includes apertures, gratings, transparencies etc. We show that, applying the first order Born approximation to 2D objects, we obtain a general diffraction formula, without angular approximations. We discuss several common approximations and place our results in the context of existing theories.


title: Particle representation for the solution of the filtering problem. Application to the error expansion of filtering discretizations

abstract: We introduce a weighted particle representation for the solution of the filtering problem based on a suitably chosen variation of the classical de Finetti theorem. This representation has important theoretical and numerical applications. In this paper, we explore some of its theoretical consequences. The first is to deduce the equations satisfied by the solution of the filtering problem in three different frameworks: the signal independent Brownian measurement noise model, the spatial observations with additive white noise model and the cluster detection model in spatial point processes. Secondly we use the representation to show that a suitably chosen filtering discretisation converges to the filtering solution. Thirdly we study the leading error coefficient for the discretisation. We show that it satisfies a stochastic partial differential equation by exploiting the weighted particle representation for both the approximation and the limiting filtering solution.


title: A modeling and simulation study of anaerobic digestion in plug-flow reactors

abstract: A mathematical model for anaerobic digestion in plug-flow reactors is proposed on the basis of mass balance considerations. The model consists of a system of parabolic partial differential equations for the variables representing the concentrations of the bio-components constituting the waste matrix and takes into account convective and diffusive phenomena. The plug-flow reactor is modelled as a one-dimensional domain; the waste matrix moves in the direction of the reactor axis and undergoes diffusive phenomena which reproduce the movement of the bio-components along the reactor axis due to a gradient in concentration. The velocity characterizing the convection of the waste matrix is not fixed a priori but it is considered as an additional unknown of the mathematical problem. The variation in the convective velocity allows to account the mass variation occurring along a plug-flow reactor due to the conversion of solids. The equation governing the convective velocity is derived by considering the density of the waste matrix within the reactor constant over time and the sum of the volume fractions of the bio-components constituting the waste matrix constrained to unity. The waste matrix undergoes biochemical transformations catalysed by anaerobic microbial species which lead to the production of gaseous methane, the final product of the anaerobic digestion process. Biochemical processes are modelled using a simplified scheme and a differential equation is used to describe the dynamics of the produced gaseous methane. A finite difference scheme is used for the numerical integration. Model consistency is showed through numerical simulations which investigate the effect of the variation of some operating parameters on process performance. The model is then applied to a real case scenario of engineering interest. Simulations produce results in good agreement with experimental observations.


title: Bayesian Full-waveform Inversion with Realistic Priors

abstract: Seismic full-waveform inversion (FWI) uses full seismic records to estimate subsurface velocity structure. This requires a highly nonlinear and nonunique inverse problem to be solved, and Bayesian methods have been used to quantify uncertainties in the solution. Variational Bayesian inference uses optimization to provide solutions efficiently. The method has been applied to solve a transmission FWI problem using data generated by known earthquake-like sources, with strong prior information imposed on the velocity. Unfortunately such prior information about velocity structure and earthquake sources is never available in practice. We present the first application of the method in a seismic reflection setting, and with realistically weak prior information. We thus demonstrate that the method can produce high resolution images and reliable uncertainties given practically reasonable prior information.


title: A crossover of the solid substances solubility in supercritical fluids: what is it in fact?

abstract: We investigate a well-known phenomenon of the appearance of the crossover points, corresponding to the intersections of the solubility isotherms of the solid compound in supercritical fluid. Opposed to the accepted understanding of the existence of two fixed crossover points, which confine the region of the inverse isobaric temperature dependence of the solubility, we have found that these points tend to shift with the change of the temperature and in the limit of the certain threshold value they converge to a single point. We demonstrate this analyzing the solubility data of a set of poorly soluble drug compounds, which have been computed in a wide area of the phase diagram via the approach, based on the classical density functional theory. Thorough analysis of the available in the literature experimental solubility data is found to be in an agreement with our conclusions, as one can find that the wider temperature region of the experimental study is, the more pronounced effect of the crossover points drift can be observed.


title: Two-body model for the spatial distribution of dust ejected from an atmosphereless body

abstract: We present a model for the configuration of noninteracting material that is ejected in a continuous manner from an atmosphereless gravitating body for a given distribution of sources. The model is applicable to material on bound or unbound trajectories and to steady and nonsteady modes of ejection. For a jet that is inclined to the surface normal, we related the distributions of ejection direction, velocity, and size to the phase-space number density at the distance from the source body. Integrating over velocity space, we obtained an expression from which we inferred the density, flux, or optical depth of the ejected material. As examples for the application of the code, we calculate profiles of the dust density in the Enceladus plume, the pattern of mass deposition rates around a plume on Europa, and images of optical depth following the nonstationary emission of material from a volcano on Io. We make the source code of a Fortran-95 implementation of the model freely available.


title: Exploring the Early Universe with Gaia and THEIA

abstract: It has recently been pointed out that Gaia is capable of detecting a stochastic gravitational wave background in the sensitivity band between the frequency of pulsar timing arrays and LISA. We argue that Gaia and THEIA has great potential for early universe cosmology, since such a frequency range is ideal for probing phase transitions in asymmetric dark matter, SIMP and the cosmological QCD transition. Furthermore, there is the potential for detecting primordial black holes in the solar mass range produced during such an early universe transition and distinguish them from those expected from the QCD epoch. Finally, we discuss the potential for Gaia and THEIA to probe topological defects and the ability of Gaia to potentially shed light on the recent NANOGrav results.


title: Khovanov-type homologies of null homologous links in $\mathbb{RP}^3$

abstract: Let L be a null homologous link in $\mathbb{RP}^3$. We define Khovanov-type homologies of L which depend on an extra input $\alpha = (V_0,V_1,f,g)$ consisting of two graded vectors spaces and two maps between them. With some specific choice of $\alpha = \alpha_{APS}$, we recover the categorification of the Kauffman bracket due to Asaeda-Przytycki-Sikora. With another choice of $\alpha = \alpha_{HF}$, we construct a spectral sequence from our theory converging to the Heegaard Floer homology of the even branched double cover of $\mathbb{RP}^3$.


title: Spin-Hall nanooscillator based on an antiferromagnetic domain wall

abstract: We propose here a high-frequency spin-Hall nano-oscillator based on a simple magnetic texture, such as a domain wall, located in an antiferromagnet with easy-axis anisotropy type. We show that the spin current, polarized along the anisotropy axis, excites a conical precession of the N\'eel vector in such a domain wall, which allows obtaining a robust ac output signal, -- contrary to the planar precession in an uniform uniaxial antiferromagnet, where ac output is hard to achieve. The frequency of the auto-oscillations is easily tunable by the applied current up to the THz range, and the threshold current vanishes for pure uniaxial antiferromagnet. By micro-magnetic simulations, we demonstrate that the pinning of the domain wall is crucial for the oscillator design, which can be achieved in nano-constriction layout of the free layer.


title: Boosted Embeddings for Time Series Forecasting

abstract: Time series forecasting is a fundamental task emerging from diverse data-driven applications. Many advanced autoregressive methods such as ARIMA were used to develop forecasting models. Recently, deep learning based methods such as DeepAr, NeuralProphet, Seq2Seq have been explored for time series forecasting problem. In this paper, we propose a novel time series forecast model, DeepGB. We formulate and implement a variant of Gradient boosting wherein the weak learners are DNNs whose weights are incrementally found in a greedy manner over iterations. In particular, we develop a new embedding architecture that improves the performance of many deep learning models on time series using Gradient boosting variant. We demonstrate that our model outperforms existing comparable state-of-the-art models using real-world sensor data and public dataset.


title: Target-Aware Object Discovery and Association for Unsupervised Video Multi-Object Segmentation

abstract: This paper addresses the task of unsupervised video multi-object segmentation. Current approaches follow a two-stage paradigm: 1) detect object proposals using pre-trained Mask R-CNN, and 2) conduct generic feature matching for temporal association using re-identification techniques. However, the generic features, widely used in both stages, are not reliable for characterizing unseen objects, leading to poor generalization. To address this, we introduce a novel approach for more accurate and efficient spatio-temporal segmentation. In particular, to address \textbf{instance discrimination}, we propose to combine foreground region estimation and instance grouping together in one network, and additionally introduce temporal guidance for segmenting each frame, enabling more accurate object discovery. For \textbf{temporal association}, we complement current video object segmentation architectures with a discriminative appearance model, capable of capturing more fine-grained target-specific information. Given object proposals from the instance discrimination network, three essential strategies are adopted to achieve accurate segmentation: 1) target-specific tracking using a memory-augmented appearance model; 2) target-agnostic verification to trace possible tracklets for the proposal; 3) adaptive memory updating using the verified segments. We evaluate the proposed approach on DAVIS$_{17}$ and YouTube-VIS, and the results demonstrate that it outperforms state-of-the-art methods both in segmentation accuracy and inference speed.


title: A Class Of Curvature Flows Expanded By Support Function And Curvature Function In The Euclidean Space And Hyperbolic Space

abstract: In this paper, we first consider a class of expanding flows of closed, smooth, star-shaped hypersurface in Euclidean space $\mathbb{R}^{n+1}$ with speed $u^\alpha f^{-\beta}$, where $u$ is the support function of the hypersurface, $f$ is a smooth, symmetric, homogenous of degree one, positive function of the principal curvatures of the hypersurface on a convex cone. For $\alpha \le 0<\beta\le 1-\alpha$, we prove that the flow has a unique smooth solution for all time, and converges smoothly after normalization, to a sphere centered at the origin. In particular, the results of Gerhardt \cite{GC3} and Urbas \cite{UJ2} can be recovered by putting $\alpha=0$ and $\beta=1$ in our first result. If the initial hypersurface is convex, this is our previous work \cite{DL}. If $\alpha \le 0<\beta< 1-\alpha$ and the ambient space is hyperbolic space $\mathbb{H}^{n+1}$, we prove that the flow $\frac{\partial X}{\partial t}=(u^\alpha f^{-\beta}-\eta u)\nu$ has a longtime existence and smooth convergence to a coordinate slice. The flow in $\mathbb{H}^{n+1}$ is equivalent (up to an isomorphism) to a re-parametrization of the original flow in $\mathbb{R}^{n+1}$ case. Finally, we find a family of monotone quantities along the flows in $\mathbb{R}^{n+1}$. As applications, we give a new proof of a family of inequalities involving the weighted integral of $k$th elementary symmetric function for $k$-convex, star-shaped hypersurfaces, which is an extension of the quermassintegral inequalities in \cite{GL2}.


title: Lip reading using external viseme decoding

abstract: Lip-reading is the operation of recognizing speech from lip movements. This is a difficult task because the movements of the lips when pronouncing the words are similar for some of them. Viseme is used to describe lip movements during a conversation. This paper aims to show how to use external text data (for viseme-to-character mapping) by dividing video-to-character into two stages, namely converting video to viseme, and then converting viseme to character by using separate models. Our proposed method improves word error rate by 4\% compared to the normal sequence to sequence lip-reading model on the BBC-Oxford Lip Reading Sentences 2 (LRS2) dataset.


title: Physically-Consistent Generative Adversarial Networks for Coastal Flood Visualization

abstract: As climate change increases the intensity of natural disasters, society needs better tools for adaptation. Floods, for example, are the most frequent natural disaster, and better tools for flood risk communication could increase the support for flood-resilient infrastructure development. Our work aims to enable more visual communication of large-scale climate impacts via visualizing the output of coastal flood models as satellite imagery. We propose the first deep learning pipeline to ensure physical-consistency in synthetic visual satellite imagery. We advanced a state-of-the-art GAN called pix2pixHD, such that it produces imagery that is physically-consistent with the output of an expert-validated storm surge model (NOAA SLOSH). By evaluating the imagery relative to physics-based flood maps, we find that our proposed framework outperforms baseline models in both physical-consistency and photorealism. We envision our work to be the first step towards a global visualization of how the climate challenge will shape our landscape. Continuing on this path, we show that the proposed pipeline generalizes to visualize reforestation. We also publish a dataset of over 25k labelled image-triplets to study image-to-image translation in Earth observation.


title: Identification of time scales of the violation of the Stokes-Einstein relation in Yukawa liquids

abstract: We investigate the origin of the violation of the Stokes-Einstein (SE) relation in two-dimensional Yukawa liquids. Using comprehensive molecular dynamics simulations, we identify the time scales supporting the violation of the SE relation $D\propto (\eta/T)^{-1}$, where $D$ is the self-diffusion coefficient and $\eta$ is the shear viscosity. We first compute the self-intermediate scattering function $F_s(k,t)$, the non-Gaussian parameter $\alpha_2$, and the autocorrelation function of the shear stress $C_{\eta}(t)$. The timescales obtained from these functions are included the structural relaxation time $\tau_{\alpha}$, the peak time of the non-Gaussian parameter $\tau_{\alpha_2}$, and the shear stress relaxation time $\tau_{\eta}$. We find that $\tau_{\eta}$ is coupled with $D$ for all temperatures indicating the SE preservation, however, $\tau_{\alpha}$ and $\tau_{\alpha_2}$ are decoupled with $D$ at low temperatures indicating the SE violation. Surprisingly, we find that the origins of this violation are related to the non-exponential behavior of the autocorrelation function of the shear stress and non-Gaussian behavior of the distribution function of particle displacements. These results confirm dynamic heterogeneity that occurs in two-dimensional Yukawa liquids that reflects the presence of regions in which dust particles move faster than the rest when the liquid cools to below the phase transition temperature.


title: Smart Vectorizations for Single and Multiparameter Persistence

abstract: The machinery of topological data analysis becomes increasingly popular in a broad range of machine learning tasks, ranging from anomaly detection and manifold learning to graph classification. Persistent homology is one of the key approaches here, allowing us to systematically assess the evolution of various hidden patterns in the data as we vary a scale parameter. The extracted patterns, or homological features, along with information on how long such features persist throughout the considered filtration of a scale parameter, convey a critical insight into salient data characteristics and data organization. In this work, we introduce two new and easily interpretable topological summaries for single and multi-parameter persistence, namely, saw functions and multi-persistence grid functions, respectively. Compared to the existing topological summaries which tend to assess the numbers of topological features and/or their lifespans at a given filtration step, our proposed saw and multi-persistence grid functions allow us to explicitly account for essential complementary information such as the numbers of births and deaths at each filtration step. These new topological summaries can be regarded as the complexity measures of the evolving subspaces determined by the filtration and are of particular utility for applications of persistent homology on graphs. We derive theoretical guarantees on the stability of the new saw and multi-persistence grid functions and illustrate their applicability for graph classification tasks.


title: The impact of a random metric upon a diffusing particle

abstract: We show that if the singularity of the quantized gravity propagator is $\vert {\bf x}\vert^{-2\gamma}$ then the mean value of the fourth power of the distance achieved in time $t$ by a diffusing particle behaves as $t^{2(1-\gamma)}$ for a small $t$.


title: On pointed Hopf algebras over nilpotent groups

abstract: We classify finite-dimensional Nichols algebras over finite nilpotent groups of odd order in group-theoretical terms. The main step is to show that the conjugacy classes of such finite groups are either abelian or of type C; this property also holds for finite conjugacy classes of finitely generated nilpotent groups whose torsion has odd order. To extend our approach to the setting of finite GK-dimension, we propose a new Conjecture on racks of type C. We also prove that the bosonization a of Nichols algebra of a Yetter-Drinfeld module over a group whose support is an infinite conjugacy class has infinite GK-dimension. We apply this to the study of the finite GK-dimensional pointed Hopf algebras over finitely generated torsion-free nilpotent groups.


title: What Makes an Effective Scalarising Function for Multi-Objective Bayesian Optimisation?

abstract: Performing multi-objective Bayesian optimisation by scalarising the objectives avoids the computation of expensive multi-dimensional integral-based acquisition functions, instead of allowing one-dimensional standard acquisition functions\textemdash such as Expected Improvement\textemdash to be applied. Here, two infill criteria based on hypervolume improvement\textemdash one recently introduced and one novel\textemdash are compared with the multi-surrogate Expected Hypervolume Improvement. The reasons for the disparities in these methods' effectiveness in maximising the hypervolume of the acquired Pareto Front are investigated. In addition, the effect of the surrogate model mean function on exploration and exploitation is examined: careful choice of data normalisation is shown to be preferable to the exploration parameter commonly used with the Expected Improvement acquisition function. Finally, the effectiveness of all the methodological improvements defined here is demonstrated on a real-world problem: the optimisation of a wind turbine blade aerofoil for both aerodynamic performance and structural stiffness. With effective scalarisation, Bayesian optimisation finds a large number of new aerofoil shapes that strongly dominate standard designs.


title: On trans-Sasakian $3$-manifolds as $\eta$-Einstein solitons

abstract: The present paper is to deliberate the class of $3$-dimensional trans-Sasakian manifolds which admits $\eta$-Einstein solitons. We have studied $\eta$-Einstein solitons on $3$-dimensional trans-Sasakian manifolds where the Ricci tensors are Codazzi type and cyclic parallel. We have also discussed some curvature conditions admitting $\eta$-Einstein solitons on $3$-dimensional trans-Sasakian manifolds and the vector field is torse-forming. We have also shown an example of $3$-dimensional trans-Sasakian manifold with respect to $\eta$-Einstein soliton to verify our results.


title: Thermodynamics of a chemical reaction model for the atom-field interaction in a three-level laser

abstract: The temporal evolution of the levels in a three-level laser is macroscopically described by a closed set of rate equations. Here, we complement this picture by providing a model which describes through chemical reactions how the levels are evolving. In most textbooks, the chemical potential is introduced as a concept in quantum statistics. In this paper, we alternatively base its definition on population densities of the excited states in a dopant atom. Then the chemical reaction model delivers a clear and intuitive framework to define the further thermodynamic characteristics of the atom-field interactions such as the chemical potential of the photon and the photon entropy.


title: Noncovalent interactions from models for the M{\o}ller-Plesset adiabatic connection

abstract: Given the omnipresence of non-covalent interactions (NCIs), their accurate simulations are of crucial importance across various scientific disciplines. Here we construct accurate models for the description of NCIs by an interpolation along the M{\o}ller-Plesset adiabatic connection (MP AC). Our interpolation approximates the correlation energy, by recovering MP2 at small coupling strengths and the correct large-coupling strength expansion of the MP AC, recently shown to be a functional of the Hartree-Fock density. Our models are size consistent for fragments with non-degenerate ground states, have the same cost as double hybrids and require no dispersion corrections to capture NCIs accurately. These interpolations greatly reduce large MP2 errors for typical $\pi$-stacking complexes (e.g., benzene-pyridine dimers) and for the L7 dataset. They are also competitive with state-of-the-art dispersion enhanced functionals and can even significantly outperform them for a variety of datasets, such as CT7 and L7.


title: Robust Egocentric Photo-realistic Facial Expression Transfer for Virtual Reality

abstract: Social presence, the feeling of being there with a real person, will fuel the next generation of communication systems driven by digital humans in virtual reality (VR). The best 3D video-realistic VR avatars that minimize the uncanny effect rely on person-specific (PS) models. However, these PS models are time-consuming to build and are typically trained with limited data variability, which results in poor generalization and robustness. Major sources of variability that affects the accuracy of facial expression transfer algorithms include using different VR headsets (e.g., camera configuration, slop of the headset), facial appearance changes over time (e.g., beard, make-up), and environmental factors (e.g., lighting, backgrounds). This is a major drawback for the scalability of these models in VR. This paper makes progress in overcoming these limitations by proposing an end-to-end multi-identity architecture (MIA) trained with specialized augmentation strategies. MIA drives the shape component of the avatar from three cameras in the VR headset (two eyes, one mouth), in untrained subjects, using minimal personalized information (i.e., neutral 3D mesh shape). Similarly, if the PS texture decoder is available, MIA is able to drive the full avatar (shape+texture) robustly outperforming PS models in challenging scenarios. Our key contribution to improve robustness and generalization, is that our method implicitly decouples, in an unsupervised manner, the facial expression from nuisance factors (e.g., headset, environment, facial appearance). We demonstrate the superior performance and robustness of the proposed method versus state-of-the-art PS approaches in a variety of experiments.


title: A Swarm Variant for the Schr\"odinger Solver

abstract: This paper introduces application of the Exponentially Averaged Momentum Particle Swarm Optimization (EM-PSO) as a derivative-free optimizer for Neural Networks. It adopts PSO's major advantages such as search space exploration and higher robustness to local minima compared to gradient-descent optimizers such as Adam. Neural network based solvers endowed with gradient optimization are now being used to approximate solutions to Differential Equations. Here, we demonstrate the novelty of EM-PSO in approximating gradients and leveraging the property in solving the Schr\"odinger equation, for the Particle-in-a-Box problem. We also provide the optimal set of hyper-parameters supported by mathematical proofs, suited for our algorithm.


title: Shape reconstructions by using plasmon resonances

abstract: We study the shape reconstruction of an inclusion from the {faraway} measurement of the associated electric field. This is an inverse problem of practical importance in biomedical imaging and is known to be notoriously ill-posed. By incorporating Drude's model of the permittivity parameter, we propose a novel reconstruction scheme by using the plasmon resonance with a significantly enhanced resonant field. We conduct a delicate sensitivity analysis to establish a sharp relationship between the sensitivity of the reconstruction and the plasmon resonance. It is shown that when plasmon resonance occurs, the sensitivity functional blows up and hence ensures a more robust and effective construction. Then we combine the Tikhonov regularization with the Laplace approximation to solve the inverse problem, which is an organic hybridization of the deterministic and stochastic methods and can quickly calculate the minimizer while capture the uncertainty of the solution. We conduct extensive numerical experiments to illustrate the promising features of the proposed reconstruction scheme.


title: Coupling streaming AI and HPC ensembles to achieve 100-1000x faster biomolecular simulations

abstract: Machine learning (ML)-based steering can improve the performance of ensemble-based simulations by allowing for online selection of more scientifically meaningful computations. We present DeepDriveMD, a framework for ML-driven steering of scientific simulations that we have used to achieve orders-of-magnitude improvements in molecular dynamics (MD) performance via effective coupling of ML and HPC on large parallel computers. We discuss the design of DeepDriveMD and characterize its performance. We demonstrate that DeepDriveMD can achieve between 100-1000x acceleration for protein folding simulations relative to other methods, as measured by the amount of simulated time performed, while covering the same conformational landscape as quantified by the states sampled during a simulation. Experiments are performed on leadership-class platforms on up to 1020 nodes. The results establish DeepDriveMD as a high-performance framework for ML-driven HPC simulation scenarios, that supports diverse MD simulation and ML back-ends, and which enables new scientific insights by improving the length and time scales accessible with current computing capacity.


title: Op2Vec: An Opcode Embedding Technique and Dataset Design for End-to-End Detection of Android Malware

abstract: Android is one of the leading operating systems for smart phones in terms of market share and usage. Unfortunately, it is also an appealing target for attackers to compromise its security through malicious applications. To tackle this issue, domain experts and researchers are trying different techniques to stop such attacks. All the attempts of securing Android platform are somewhat successful. However, existing detection techniques have severe shortcomings, including the cumbersome process of feature engineering. Designing representative features require expert domain knowledge. There is a need for minimizing human experts' intervention by circumventing handcrafted feature engineering. Deep learning could be exploited by extracting deep features automatically. Previous work has shown that operational codes (opcodes) of executables provide key information to be used with deep learning models for detection process of malicious applications. The only challenge is to feed opcodes information to deep learning models. Existing techniques use one-hot encoding to tackle the challenge. However, the one-hot encoding scheme has severe limitations. In this paper, we introduce; (1) a novel technique for opcodes embedding, which we name Op2Vec, (2) based on the learned Op2Vec we have developed a dataset for end-to-end detection of android malware. Introducing the end-to-end Android malware detection technique avoids expert-intensive handcrafted features extraction, and ensures automation. Some of the recent deep learning-based techniques showed significantly improved results when tested with the proposed approach and achieved an average detection accuracy of 97.47%, precision of 0.976 and F1 score of 0.979.


title: Time delay in electron collision with a spherical target as a function of the scattering angle

abstract: We have studied the angular time delay in slow-electron elastic scattering by spherical targets as well as the average time delay of electrons in this process. It is demonstrated how the angular time delay is connected to the Eisenbud-Wigner-Smith (EWS) time delay. The specific features of both angular and energy dependences of these time delays are discussed in detail. The potentialities of the derived general formulas are illustrated by the numerical calculations of the time delays of slow electrons in the potential fields of both absolutely hard sphere and delta-shell potential well of the same radius. The studies conducted shed more light on the specific features of these time delays.


title: Generalized symmetries, first integrals, and exact solutions of chains of differential equations

abstract: New integrability properties of a family of sequences of ordinary differential equations, which contains the Riccati and Abel chains as the most simple sequences, are studied. The determination of n generalized symmetries of the nth-order equation in each chain provides, without any kind of integration, n-1 functionally independent first integrals of the equation. A remaining first integral arises by a quadrature by using a Jacobi last multiplier that is expressed in terms of the preceding equation in the corresponding sequence. The complete set of n first integrals is used to obtain the exact general solution of the nth-order equation of each sequence. The results are applied to derive directly the exact general solution of any equation in the Riccati and Abel chains.


title: Characteristics of almost conformal Ricci solitons on Sasakian manifold

abstract: In this paper, we characterize the potential function $f$ of the almost conformal gradient Ricci soliton on a Sasakian manifold in terms of the non-dynamical scalar field $p$ and deduce the necessary condition for the potential function $f$ to be constant. Furthermore, a relation between $\lambda$ and the potential function $f$ has been established. Finally, we prove a sufficient condition for an almost conformal Ricci soliton to be an almost conformal gradient Ricci soliton and also a characterization of the soliton in terms of shrinking, steady or expanding has been done.


title: Computable convergence rate bound for ratio consensus algorithms

abstract: The objective of the paper is to establish a computable upper bound for the almost sure convergence rate for a class of ratio consensus algorithms defined via column-stochastic matrices. Our result extends the works of Iutzeler et al. (2013) on similar bounds that have been obtained in a more restrictive setup with limited conclusions. The present paper complements the results of Gerencs\'er and Gerencs\'er (2021), identifying the exact almost sure convergence rate of a wide class of ratio consensus algorithms in terms of a spectral gap, which is, however, not computable in general. The upper bound provided in the paper will be compared to the actual rate of almost sure convergence experimentally on a range of modulated random geographic graphs with random local interactions.