Finding All Leftmost Separators of Size leq k . We define a notion called leftmost separator of size at most k . A leftmost separator of size k is a minimal separator S that separates two given sets of vertices X and Y such that we "cannot move S more towards X " such that S remains smaller than the threshold. One of the incentives is that by using leftmost separators we can improve the time complexity of treewidth approximation. Treewidth approximation is a problem which is known to have a linear time FPT algorithm in terms of input size, and only single exponential in terms of the parameter, treewidth. It is not known whether this result can be improved theoretically. However, the coefficient of the parameter k (the treewidth) in the exponent is large. Hence, our goal is to decrease the coefficient of k in the exponent, in order to achieve a more practical algorithm. Hereby, we trade a linear time algorithm for an mathcal O (n log n) time algorithm. The previous known mathcal O (f(k) n log n) time algorithms have dependences of 2 24k k! , 2 8.766k k 2 (a better analysis shows that it is 2 7.671k k 2 ), and higher. In this paper, we present an algorithm for treewidth approximation which runs in time mathcal O (2 6.755k n log n) , Furthermore, we count the number of leftmost separators and give a tight upper bound for them. We show that the number of leftmost separators of size leq k is at most C k 1 (Catalan number). Then, we present an algorithm which outputs all leftmost separators in time mathcal O ( frac 4 k sqrt k n) .


Trisections on Certain Rational Elliptic Surfaces and Families of Zariski Pairs Degenerating to the same Conic line Arrangement. In this paper, we study the geometry of trisections on certain rational elliptic surfaces. We utilize Mumford representations of semi reduced divisors in order to construct trisections and related plane curves with interesting properties explicitly. As a result we are able to construct new examples of Zariski pairs. Especially, we show the existence of a family of Zariski pairs that degenerate to the same conic line arrangement.


Machine Learning Guided 3D Image Recognition for Carbonate Pore and Mineral Volumes Determination. Automated image processing algorithms can improve the quality, efficiency, and consistency of classifying the morphology of heterogeneous carbonate rock and can deal with a massive amount of data and images seamlessly. Geoscientists face difficulties in setting the direction of the optimum method for determining petrophysical properties from rock images, Micro Computed Tomography (uCT), or Magnetic Resonance Imaging (MRI). Most of the successful work is from the homogeneous rocks focusing on 2D images with less focus on 3D and requiring numerical simulation. Currently, image analysis methods converge to three approaches image processing, artificial intelligence, and combined image processing with artificial intelligence. In this work, we propose two methods to determine the porosity from 3D uCT and MRI images an image processing method with Image Resolution Optimized Gaussian Algorithm (IROGA) advanced image recognition method enabled by Machine Learning Difference of Gaussian Random Forest (MLDGRF). We have built reference 3D micro models and collected images for calibration of IROGA and MLDGRF methods. To evaluate the predictive capability of these calibrated approaches, we ran them on 3D uCT and MRI images of natural heterogeneous carbonate rock. We measured the porosity and lithology of the carbonate rock using three and two industry standard ways, respectively, as reference values. Notably, IROGA and MLDGRF have produced porosity results with an accuracy of 96.2 and 97.1 on the training set and 91.7 and 94.4 on blind test validation, respectively, in comparison with the three experimental measurements. We measured limestone and pyrite reference values using two methods, X ray powder diffraction, and grain density measurements. MLDGRF has produced lithology (limestone and Pyrite) volumes with 97.7 accuracy.


A Condense then Select Strategy for Text Summarization. Select then compress is a popular hybrid, framework for text summarization due to its high efficiency. This framework first selects salient sentences and then independently condenses each of the selected sentences into a concise version. However, compressing sentences separately ignores the context information of the document, and is therefore prone to delete salient information. To address this limitation, we propose a novel condense then select framework for text summarization. Our framework first concurrently condenses each document sentence. Original document sentences and their compressed versions then become the candidates for extraction. Finally, an extractor utilizes the context information of the document to select candidates and assembles them into a summary. If salient information is deleted during condensing, the extractor can select an original sentence to retain the information. Thus, our framework helps to avoid the loss of salient information, while preserving the high efficiency of sentence level compression. Experiment results on the CNN DailyMail, DUC 2002, and Pubmed datasets demonstrate that our framework outperforms the select then compress framework and other strong baselines.


Federated Unlearning via Class Discriminative Pruning. We explore the problem of selectively forgetting categories from trained CNN classification models in the federated learning (FL). Given that the data used for training cannot be accessed globally in FL, our insights probe deep into the internal influence of each channel. Through the visualization of feature maps activated by different channels, we observe that different channels have a varying contribution to different categories in image classification. Inspired by this, we propose a method for scrubbing the model clean of information about particular categories. The method does not require retraining from scratch, nor global access to the data used for training. Instead, we introduce the concept of Term Frequency Inverse Document Frequency (TF IDF) to quantize the class discrimination of channels. Channels with high TF IDF scores have more discrimination on the target categories and thus need to be pruned to unlearn. The channel pruning is followed by a fine tuning process to recover the performance of the pruned model. Evaluated on CIFAR10 dataset, our method accelerates the speed of unlearning by 8.9x for the ResNet model, and 7.9x for the VGG model under no degradation in accuracy, compared to retraining from scratch. For CIFAR100 dataset, the speedups are 9.9x and 8.4x, respectively. We envision this work as a complementary block for FL towards compliance with legal and ethical criteria.


Learning Evolved Combinatorial Symbols with a Neuro symbolic Generative Model. Humans have the ability to rapidly understand rich combinatorial concepts from limited data. Here we investigate this ability in the context of auditory signals, which have been evolved in a cultural transmission experiment to study the emergence of combinatorial structure in language. We propose a neuro symbolic generative model which combines the strengths of previous approaches to concept learning. Our model performs fast inference drawing on neural network methods, while still retaining the interpretability and generalization from limited data seen in structured generative approaches. This model outperforms a purely neural network based approach on classification as evaluated against both ground truth and human experimental classification preferences, and produces superior reproductions of observed signals as well. Our results demonstrate the power of flexible combined neural symbolic architectures for human like generalization in raw perceptual domains and offers a step towards developing precise computational models of inductive biases in language evolution.


Multilevel Active Set Trust Region (MASTR) Method for Bound Constrained Minimization. We introduce a novel variant of the recursive multilevel trust region (RMTR) method, called MASTR. The method is designed for solving non convex bound constrained minimization problems, which arise from the finite element discretization of partial differential equations. MASTR utilizes an active set strategy based on the truncated basis approach in order to preserve the variable bounds defined on the finest level by the coarser levels. Usage of this approach allows for fast convergence of the MASTR method, especially once the exact active set is detected. The efficiency of the method is demonstrated by means of numerical examples.


Deformations of asymptotically conical Spin(7) manifolds. We consider the moduli space mathcal M nu of torsion free, asymptotically conical (AC) Spin(7) structures which are defined on the same manifold and asymptotic to the same Spin(7) cone with decay rate nu 0 . We show that mathcal M nu is an orbifold if nu is a generic rate in the non L 2 regime ( 4,0) . Infinitesimal deformations are given by topological data and solutions to a non elliptic first order PDE system on the compact link of the asymptotic cone. As an application, we show that the classical Bryant Salamon metric on the bundle of positive spinors on S 4 has no continuous deformations as an AC Spin(7) metric.


Metrics for 3D Object Pointing and Manipulation in Virtual Reality. Assessing the performance of human movements during teleoperation and virtual reality is a challenging problem, particularly in 3D space due to complex spatial settings. Despite the presence of a multitude of metrics, a compelling standardized 3D metric is yet missing, aggravating inter study comparability between different studies. Hence, evaluating human performance in virtual environments is a long standing research goal, and a performance metric that combines two or more metrics under one formulation remains largely unexplored, particularly in higher dimensions. The absence of such a metric is primarily attributed to the discrepancies between pointing and manipulation, the complex spatial variables in 3D, and the combination of translational and rotational movements altogether. In this work, four experiments were designed and conducted with progressively higher spatial complexity to study and compare existing metrics thoroughly. The research goal was to quantify the difficulty of these 3D tasks and model human performance sufficiently in full 3D peripersonal space. Consequently, a new model extension has been proposed and its applicability has been validated across all the experimental results, showing improved modelling and representation of human performance in combined movements of 3D object pointing and manipulation tasks than existing work. Lastly, the implications on 3D interaction, teleoperation and object task design in virtual reality are discussed.


Learning Equivariances and Partial Equivariances from Data. Group equivariant Convolutional Neural Networks (G CNNs) constrain features to respect the chosen symmetries, and lead to better generalization when these symmetries appear in the data. However, if the chosen symmetries are not present, group equivariant architectures lead to overly constrained models and worse performance. Frequently, the distribution of the data can be better represented by a subset of a group than by the group as a whole, e.g., rotations in 90 circ , 90 circ . In such cases, a model that respects equivariance partially is better suited to represent the data. Moreover, relevant symmetries may differ for low and high level features, e.g., edge orientations in a face, and face poses relative to the camera. As a result, the optimal level of equivariance may differ per layer. In this work, we introduce Partial G CNNs a family of equivariant networks able to learn partial and full equivariances from data at every layer end to end. Partial G CNNs retain full equivariance whenever beneficial, e.g., for rotated MNIST, but are able to restrict it whenever it becomes harmful, e.g., for 6 9 or natural image classification. Partial G CNNs perform on par with G CNNs when full equivariance is necessary, and outperform them otherwise. Our method is applicable to discrete groups, continuous groups and combinations thereof.


An analytic criterion for the local finiteness of a countable semigroup. We prove that a countable semigroup S is locally finite if and only if the Arens Michael envelope of its semigroup algebra is a (DF) space. This is a counterpart to a recent result of the author, which asserts that S is finitely generated if and only if the Arens Michael envelope is a Fr 'echet space.


Howe duality for a quasi split exceptional dual pair. We prove Howe duality for the theta correspondence arising from the p adic dual pair G 2 times (PU 3 rtimes mathbb Z 2 mathbb Z ) inside the quasi split group of type E 6 .


Interpreting Distributional Reinforcement Learning Regularization and Optimization Perspectives. Distributional reinforcement learning (RL) is a class of state of the art algorithms that estimate the whole distribution of the total return rather than only its expectation. Despite the remarkable performance of distributional RL, a theoretical understanding of its advantages over expectation based RL remains elusive. In this paper, we illuminate the superiority of distributional RL from both regularization and optimization perspectives. Firstly, by applying an expectation decomposition, the additional impact of distributional RL compared with expectation based RL is interpreted as a textit risk aware entropy regularization in the textit neural Z fitted iteration framework. We also provide a rigorous comparison between the resulting entropy regularization and the vanilla one in maximum entropy RL. Through the lens of optimization, we shed light on the stability promoting distributional loss with desirable smoothness properties in distributional RL. Moreover, the acceleration effect of distributional RL owing to the risk aware entropy regularization is also provided. Finally, rigorous experiments reveal the different regularization effects as well as the mutual impact of vanilla entropy and risk aware entropy regularization in distributional RL, focusing specifically on actor critic algorithms. We also empirically verify that the distributional RL algorithm enjoys a more stable gradient behavior, contributing to its stable optimization and acceleration effect as opposed to classical RL. Our research paves a way towards better interpreting the superiority of distributional RL algorithms.


Insights on the V3C2 Dataset. For research results to be comparable, it is important to have common datasets for experimentation and evaluation. The size of such datasets, however, can be an obstacle to their use. The Vimeo Creative Commons Collection (V3C) is a video dataset designed to be representative of video content found on the web, containing roughly 3800 hours of video in total, split into three shards. In this paper, we present insights on the second of these shards (V3C2) and discuss their implications for research areas, such as video retrieval, for which the dataset might be particularly useful. We also provide all the extracted data in order to simplify the use of the dataset.


Hand Me Your PIN! Inferring ATM PINs of Users Typing with a Covered Hand. Automated Teller Machines (ATMs) represent the most used system for withdrawing cash. The European Central Bank reported more than 11 billion cash withdrawals and loading unloading transactions on the European ATMs in 2019. Although ATMs have undergone various technological evolutions, Personal Identification Numbers (PINs) are still the most common authentication method for these devices. Unfortunately, the PIN mechanism is vulnerable to shoulder surfing attacks performed via hidden cameras installed near the ATM to catch the PIN pad. To overcome this problem, people get used to covering the typing hand with the other hand. While such users probably believe this behavior is safe enough to protect against mentioned attacks, there is no clear assessment of this countermeasure in the scientific literature. This paper proposes a novel attack to reconstruct PINs entered by victims covering the typing hand with the other hand. We consider the setting where the attacker can access an ATM PIN pad of the same brand model as the target one. Afterward, the attacker uses that model to infer the digits pressed by the victim while entering the PIN. Our attack owes its success to a carefully selected deep learning architecture that can infer the PIN from the typing hand position and movements. We run a detailed experimental analysis including 58 users. With our approach, we can guess 30 of the 5 digit PINs within three attempts the ones usually allowed by ATM before blocking the card. We also conducted a survey with 78 users that managed to reach an accuracy of only 7.92 on average for the same setting. Finally, we evaluate a shielding countermeasure that proved to be rather inefficient unless the whole keypad is shielded.


Transition Density of an Infinite dimensional diffusion with the Jack Parameter. From the Poisson Dirichlet diffusions to the Z measure diffusions, they all have explicit transition densities. In this paper, we will show that the transition densities of the Z measure diffusions can also be expressed as a mixture of a sequence of probability measures on the Thoma simplex. The coefficients are still the transition probabilities of the Kingman coalescent stopped at state 1 . This fact will be uncovered by a dual process method in a special case where the Z measure diffusions is established through up down chain in the Young graph.


Unsupervised Conversation Disentanglement through Co Training. Conversation disentanglement aims to separate intermingled messages into detached sessions, which is a fundamental task in understanding multi party conversations. Existing work on conversation disentanglement relies heavily upon human annotated datasets, which are expensive to obtain in practice. In this work, we explore to train a conversation disentanglement model without referencing any human annotations. Our method is built upon a deep co training algorithm, which consists of two neural networks a message pair classifier and a session classifier. The former is responsible for retrieving local relations between two messages while the latter categorizes a message to a session by capturing context aware information. Both networks are initialized respectively with pseudo data built from an unannotated corpus. During the deep co training process, we use the session classifier as a reinforcement learning component to learn a session assigning policy by maximizing the local rewards given by the message pair classifier. For the message pair classifier, we enrich its training data by retrieving message pairs with high confidence from the disentangled sessions predicted by the session classifier. Experimental results on the large Movie Dialogue Dataset demonstrate that our proposed approach achieves competitive performance compared to the previous supervised methods. Further experiments show that the predicted disentangled conversations can promote the performance on the downstream task of multi party response selection.


On the correlation between M " o bius and polynomial phases in short arithmetic progressions. We obtain an estimate for the average value of the product of the M "obius function and any polynomial phase over short intervals and arithmetic progressions simultaneously. As a consequence, we prove that the product of M " o bius and any polynomial phase is disjoint from arithmetic functions realized in certain rigid dynamical systems, such as any finite products of translations of M "obius squared.


Exact and fast solution of ultrarelativistic multibunch instabilities in a constant gradient accelerator. The electromagnetic wakefields excited by the bunches of charged particles in the particle accelerators may cause instability in the longitudinal and transverse motion of these bunches leading to the beam loss. These multibunch effects need to be analyzed carefully in an accelerator design to ensure the stability of the charged particle beams. This paper presents an analytical method describing the multibunch transverse instabilities for ultrarelativistic electron bunches whose energy changes linearly through the accelerating section of interest. Fast algorithmic implementations of this analytical method are presented for the general as well as the specific cases and this method is demonstrated with an example. This tool can also be applied to study single bunch beam breakup.


Robust Bandit Learning with Imperfect Context. A standard assumption in contextual multi arm bandit is that the true context is perfectly known before arm selection. Nonetheless, in many practical applications (e.g., cloud resource management), prior to arm selection, the context information can only be acquired by prediction subject to errors or adversarial modification. In this paper, we study a contextual bandit setting in which only imperfect context is available for arm selection while the true context is revealed at the end of each round. We propose two robust arm selection algorithms MaxMinUCB (Maximize Minimum UCB) which maximizes the worst case reward, and MinWD (Minimize Worst case Degradation) which minimizes the worst case regret. Importantly, we analyze the robustness of MaxMinUCB and MinWD by deriving both regret and reward bounds compared to an oracle that knows the true context. Our results show that as time goes on, MaxMinUCB and MinWD both perform as asymptotically well as their optimal counterparts that know the reward function. Finally, we apply MaxMinUCB and MinWD to online edge datacenter selection, and run synthetic simulations to validate our theoretical analysis.


Twisted Ruelle zeta function at zero for compact hyperbolic surfaces. Let X be a compact, hyperbolic surface of genus g geq 2 . In this paper, we prove that the twisted Selberg and Ruelle zeta functions, associated with an arbitrary, finite dimensional, complex representation chi of pi 1(X) admit a meromorphic continuation to C . Moreover, we study the behaviour of the twisted Ruelle zeta function at s 0 and prove that at this point, it has a zero of order dim( chi)(2g 2) .


Boomerang uniformity of a class of power maps. We consider the boomerang uniformity of an infinite class of (locally APN) power maps and show that its boomerang uniformity over the finite field F 2 n is 2 and 4 , when n equiv 0 pmod 4 and n equiv 2 pmod 4 , respectively. As a consequence, we show that for this class of power maps, the differential uniformity is strictly greater than its boomerang uniformity.


Short time existence for the network flow. This paper contains a new proof of the short time existence for the flow by curvature of a network of curves in the plane. Appearing initially in metallurgy and as a model for the evolution of grain boundaries, this flow was later treated by Brakke cite Br using varifold methods. There is good reason to treat this problem by a direct PDE approach, but doing so requires one to deal with the singular nature of the PDE at the vertices of the network. This was handled in cases of increasing generality by Bronsard Reitich cite BrRe , Mantegazza Novaga Tortorelli cite MNT and eventually, in the most general case of irregular networks by Ilmanen Neves Schulze cite INS . Although the present paper proves a result similar to the one in cite INS , the method here provides substantially more detailed information about how an irregular network resolves' into a regular one. Either approach relies on the existence of self similar expanding solutions found in cite MS . As a precursor to and illustration of the main theorem, we also prove an unexpected regularity result for the mixed Cauchy Dirichlet boundary problem for the linear heat equation on a manifold with boundary.


A note on the complete characterizations of hyperbolic Coxeter groups with Sierpi 'nski curve boundary and with Menger curve boundary. We give complete characterizations (in terms of nerves) of those word hyperbolic Coxeter groups whose Gromov boundary is homeomorphic to the Sierpi 'nski curve and to the Menger curve, respectively. The justification is mostly an appropriate combination of various results from the literature.


A method of defining central and Gibbs measures and the ergodic method. We formulate a general statement of the problem of defining invariant measures with certain properties and suggest an ergodic method of perturbations for describing such measures.


On the geometry of a Picard modular group. We study geometric properties of the action of the Picard modular group Gamma PU(2,1, mathcal O 7) on the complex hyperbolic plane H 2 mathbb C , where mathcal O 7 denotes the ring of algebraic integers in mathbb Q (i sqrt 7 ) . We list conjugacy classes of maximal finite subgroups in Gamma and give an explicit description of the Fuchsian subgroups that occur as stabilizers of mirrors of complex reflections in Gamma . As an application, we show the existence of a torsion free subgroup of index 336 in Gamma .


A Modification of the Random Cutting Model. We propose a modification to the random destruction of graphs Given a finite network with a distinguished set of sources and targets, remove (cut) vertices at random, discarding components that do not contain a source node. We investigate the number of cuts required until all targets are removed, and the size of the remaining graph. This model interpolates between the random cutting model going back to Meir and Moon and site percolation. We prove several general results, including that the size of the remaining graph is a tight family of random variables for compatible sequences of expander type graphs, and determine limiting distributions for binary caterpillar trees and complete binary trees.


Towards Automated Benchmark Support for Multi Blockchain Interoperability Facilitating Platforms. Since the introduction of the first Bitcoin blockchain in 2008, different decentralized blockchain systems such as Ethereum, Hyperledger Fabric, and Corda, have emerged with public and private accessibility. It has been widely acknowledged that no single blockchain network will fit all use cases. As a result, we have observed the increasing popularity of multi blockchain ecosystem in which customers will move toward different blockchains based on their particular requirements. Hence, the efficiency and security requirements of interactions among these heterogeneous blockchains become critical. In realization of this multi blockchain paradigm, initiatives in building Interoperability Facilitating Platforms (IFPs) that aim at bridging different blockchains (a.k.a. blockchain interoperability) have come to the fore. Despite current efforts, it is extremely difficult for blockchain customers (organizations, governments, companies) to understand the trade offs between different IFPs and their suitability for different application domains before adoption. A key reason is due to a lack of fundamental and systematic approaches to assess the variables among different IFPs. To fill this gap, developing new IFP requirements specification and open source benchmark tools to advance research in distributed, multi blockchain interoperability, with emphasis on IFP performance and security challenges are required. In this document, we outline a research proposal study to the community to realize this gap.


On the pitchfork bifurcation for the Chafee Infante equation with additive noise. We investigate pitchfork bifurcations for a stochastic reaction diffusion equation perturbed by an infinite dimensional Wiener process. It is well known that the random attractor is a singleton, independently of the value of the bifurcation parameter this phenomenon is often referred to as the "destruction" of the bifurcation by the noise. Analogous to the results of Callaway et al., AIHP Probab. Stat., 53 1548 1574, 2017 for a 1D stochastic ODE, we show that some remnant of the bifurcation persists for this SPDE model in the form of a positive finite time Lyapunov exponent. Additionally, we prove finite time expansion of volume with increasing dimension as the bifurcation parameter crosses further eigenvalues of the Laplacian.


Understanding and Improving Usability of Data Dashboards for Simplified Privacy Control of Voice Assistant Data (Extended Version). Today, intelligent voice assistant (VA) software like Amazon's Alexa, Google's Voice Assistant (GVA) and Apple's Siri have millions of users. These VAs often collect and analyze huge user data for improving their functionality. However, this collected data may contain sensitive information (e.g., personal voice recordings) that users might not feel comfortable sharing with others and might cause significant privacy concerns. To counter such concerns, service providers like Google present their users with a personal data dashboard (called My Activity Dashboard'), allowing them to manage all voice assistant collected data. However, a real world GVA data driven understanding of user perceptions and preferences regarding this data (and data dashboards) remained relatively unexplored in prior research. To that end, in this work we focused on Google Voice Assistant (GVA) users and investigated the perceptions and preferences of GVA users regarding data and dashboard while grounding them in real GVA collected user data. Specifically, we conducted an 80 participant survey based user study to collect both generic perceptions regarding GVA usage as well as desired privacy preferences for a stratified sample of their GVA data. We show that most participants had superficial knowledge about the type of data collected by GVA. Worryingly, we found that participants felt uncomfortable sharing a non trivial 17.7 of GVA collected data elements with Google. The current My Activity dashboard, although useful, did not help long time GVA users effectively manage their data privacy. Our real data driven study found that showing users even one sensitive data element can significantly improve the usability of data dashboards. To that end, we built a classifier that can detect sensitive data for data dashboard recommendations with a 95 F1 score and shows 76 improvement over baseline models.


BoundarySqueeze Image Segmentation as Boundary Squeezing. This paper proposes a novel method for high quality image segmentation of both objects and scenes. Inspired by the dilation and erosion operations in morphological image processing techniques, the pixel level image segmentation problems are treated as squeezing object boundaries. From this perspective, a novel and efficient textbf Boundary Squeeze module is proposed. This module is used to squeeze the object boundary from both inner and outer directions, which contributes to precise mask representation. A bi directionally flow based warping process is proposed to generate such squeezed feature representation, and two specific loss signals are designed to supervise the squeezing process. The Boundary Squeeze module can be easily applied to both instance and semantic segmentation tasks as a plug and play module by building on top of some existing methods. Moreover, the proposed module is light weighted, and thus has potential for practical usage. Experiment results show that our simple yet effective design can produce high quality results on several different datasets. Besides, several other metrics on the boundary are used to prove the effectiveness of our method over previous work. Our approach yields significant improvement on challenging COCO and Cityscapes datasets for both instance and semantic segmentation, and outperforms previous state of the art PointRend in both accuracy and speed under the same setting. Codes and models will be published at url https github.com lxtGH BSSeg .


Hash MAC DSDV Mutual Authentication for Intelligent IoT Based Cyber Physical Systems. Cyber Physical Systems (CPS) connected in the form of Internet of Things (IoT) are vulnerable to various security threats, due to the infrastructure less deployment of IoT devices. Device to Device (D2D) authentication of these networks ensures the integrity, authenticity, and confidentiality of information in the deployed area. The literature suggests different approaches to address security issues in CPS technologies. However, they are mostly based on centralized techniques or specific system deployments with higher cost of computation and communication. It is therefore necessary to develop an effective scheme that can resolve the security problems in CPS technologies of IoT devices. In this paper, a lightweight Hash MAC DSDV (Hash Media Access Control Destination Sequence Distance Vector) routing scheme is proposed to resolve authentication issues in CPS technologies, connected in the form of IoT networks. For this purpose, a CPS of IoT devices (multi WSNs) is developed from the local chain and public chain, respectively. The proposed scheme ensures D2D authentication by the Hash MAC DSDV mutual scheme, where the MAC addresses of individual devices are registered in the first phase and advertised in the network in the second phase. The proposed scheme allows legitimate devices to modify their routing table and unicast the one way hash authentication mechanism to transfer their captured data from source towards the destination. Our evaluation results demonstrate that Hash MAC DSDV outweighs the existing schemes in terms of attack detection, energy consumption and communication metrics.


How Privacy Preserving are Line Clouds? Recovering Scene Details from 3D Lines. Visual localization is the problem of estimating the camera pose of a given image with respect to a known scene. Visual localization algorithms are a fundamental building block in advanced computer vision applications, including Mixed and Virtual Reality systems. Many algorithms used in practice represent the scene through a Structure from Motion (SfM) point cloud and use 2D 3D matches between a query image and the 3D points for camera pose estimation. As recently shown, image details can be accurately recovered from SfM point clouds by translating renderings of the sparse point clouds to images. To address the resulting potential privacy risks for user generated content, it was recently proposed to lift point clouds to line clouds by replacing 3D points by randomly oriented 3D lines passing through these points. The resulting representation is unintelligible to humans and effectively prevents point cloud to image translation. This paper shows that a significant amount of information about the 3D scene geometry is preserved in these line clouds, allowing us to (approximately) recover the 3D point positions and thus to (approximately) recover image content. Our approach is based on the observation that the closest points between lines can yield a good approximation to the original 3D points. Code is available at https github.com kunalchelani Line2Point.


Dash Sylvereye A WebGL powered Library for Dashboard driven Visualization of Large Street Networks. State of the art open network visualization tools like Gephi, KeyLines, and Cytoscape are not suitable for studying street networks with thousands of roads since they do not support simultaneously polylines for edges, navigable maps, GPU accelerated rendering, interactivity, and the means for visualizing multivariate data. The present paper presents Dash Sylvereye a new Python library to produce interactive visualizations of primal street networks on top of tiled web maps to fill this gap. Dash Sylvereye can render large street graphs in commodity computers by exploiting WebGL for GPU acceleration. Dash Sylvereye also provides convenient functions to easily import OpenStreetMap street topologies obtained with the OSMnx library. Thanks to its integration with the Dash framework, Dash Sylvereye can be used to develop web dashboards around temporal and multivariate street data by coordinating the various elements of a Dash Sylvereye visualization with other plotting and UI components provided by Dash. We conduct experiments to assess the performance of Dash Sylvereye on a commodity computer in terms of animation CPU time and frames per second. To further illustrate the features of Dash Sylvereye, we also describe a web dashboard application that exploits Dash Sylvereye for the analysis of a SUMO vehicle traffic simulation.


Whole Brain Vessel Graphs A Dataset and Benchmark for Graph Learning and Neuroscience (VesselGraph). Biological neural networks define the brain function and intelligence of humans and other mammals, and form ultra large, spatial, structured graphs. Their neuronal organization is closely interconnected with the spatial organization of the brain's microvasculature, which supplies oxygen to the neurons and builds a complementary spatial graph. This vasculature (or the vessel structure) plays an important role in neuroscience for example, the organization of (and changes to) vessel structure can represent early signs of various pathologies, e.g. Alzheimer's disease or stroke. Recently, advances in tissue clearing have enabled whole brain imaging and segmentation of the entirety of the mouse brain's vasculature. Building on these advances in imaging, we are presenting an extendable dataset of whole brain vessel graphs based on specific imaging protocols. Specifically, we extract vascular graphs using a refined graph extraction scheme leveraging the volume rendering engine Voreen and provide them in an accessible and adaptable form through the OGB and PyTorch Geometric dataloaders. Moreover, we benchmark numerous state of the art graph learning algorithms on the biologically relevant tasks of vessel prediction and vessel classification using the introduced vessel graph dataset. Our work paves a path towards advancing graph learning research into the field of neuroscience. Complementarily, the presented dataset raises challenging graph learning research questions for the machine learning community, in terms of incorporating biological priors into learning algorithms, or in scaling these algorithms to handle sparse,spatial graphs with millions of nodes and edges. All datasets and code are available for download at https github.com jocpae VesselGraph .


Reversible Random Walks on Dynamic Graphs. Recently, random walks on dynamic graphs have been studied because of their adaptivity to the time varying structure of real world networks. In general, there is a tremendous gap between static and dynamic graph settings for the lazy simple random walk Although O(n 3) cover time was shown for any static graphs of n vertices, there is an edge changing dynamic graph with an exponential hitting time. On the other hand, previous works indicate that the random walk on a dynamic graph with a time homogeneous stationary distribution behaves almost identically to that on a static graph. In this paper, we strengthen this insight by obtaining general and improved bounds. Specifically, we consider a random walk according to a sequence (P t) t geq 1 of irreducible and reversible transition matrices such that all P t have the same stationary distribution. We bound the mixing, hitting, and cover times in terms of the hitting and relaxation times of the random walk according to the worst fixed P t . Moreover, we obtain the first bounds of the hitting and cover times of multiple random walks and the coalescing time on dynamic graphs. These bounds can be seen as an extension of the well known bounds of random walks on static graphs. Our results generalize the previous upper bounds for specific random walks on dynamic graphs, e.g., lazy simple random walks and d max lazy walks, and give improved and tight upper bounds in various cases. As an interesting consequence of our generalization, we obtain tight bounds for the lazy Metropolis walk Nonaka, Ono, Sadakane, and Yamashita, TCS10 on any dynamic graph O(n 2) mixing time, O(n 2) hitting time, and O(n 2 log n) cover time. Additionally, our coalescing time bound implies the consensus time bound of the pull voting on a dynamic graph.


Decentralised Intelligence, Surveillance, and Reconnaissance in Unknown Environments with Heterogeneous Multi Robot Systems. We present the design and implementation of a decentralised, heterogeneous multi robot system for performing intelligence, surveillance and reconnaissance (ISR) in an unknown environment. The team consists of functionally specialised robots that gather information and others that perform a mission specific task, and is coordinated to achieve simultaneous exploration and exploitation in the unknown environment. We present a practical implementation of such a system, including decentralised inter robot localisation, mapping, data fusion and coordination. The system is demonstrated in an efficient distributed simulation. We also describe an UAS platform for hardware experiments, and the ongoing progress.


An Adaptive Boosting Technique to Mitigate Popularity Bias in Recommender System. The observed ratings in most recommender systems are subjected to popularity bias and are thus not randomly missing. Due to this, only a few popular items are recommended, and a vast number of non popular items are hardly recommended. Not suggesting the non popular items lead to fewer products dominating the market and thus offering fewer opportunities for creativity and innovation. In the literature, several fair algorithms have been proposed which mainly focused on improving the accuracy of the recommendation system. However, a typical accuracy measure is biased towards popular items, i.e., it promotes better accuracy for popular items compared to non popular items. This paper considers a metric that measures the popularity bias as the difference in error on popular items and non popular items. Motivated by the fair boosting algorithm on classification, we propose an algorithm that reduces the popularity bias present in the data while maintaining accuracy within acceptable limits. The main idea of our algorithm is that it lifts the weights of the non popular items, which are generally underrepresented in the data. With the help of comprehensive experiments on real world datasets, we show that our proposed algorithm outperforms the existing algorithms on the proposed popularity bias metric.


KO PDE Kernel Optimized Discovery of Partial Differential Equations with Varying Coefficients. Partial differential equations (PDEs) fitting scientific data can represent physical laws with explainable mechanisms for various mathematically oriented subjects. Most natural dynamics are expressed by PDEs with varying coefficients (PDEs VC), which highlights the importance of PDE discovery. Previous algorithms can discover some simple instances of PDEs VC but fail in the discovery of PDEs with coefficients of higher complexity, as a result of coefficient estimation inaccuracy. In this paper, we propose KO PDE, a kernel optimized regression method that incorporates the kernel density estimation of adjacent coefficients to reduce the coefficient estimation error. KO PDE can discover PDEs VC on which previous baselines fail and is more robust against inevitable noise in data. In experiments, the PDEs VC of seven challenging spatiotemporal scientific datasets in fluid dynamics are all discovered by KO PDE, while the three baselines render false results in most cases. With state of the art performance, KO PDE sheds light on the automatic description of natural phenomenons using discovered PDEs in the real world.


Blockchain Enabled NextGen Service Architecture for Mobile Internet Offload. The amalgamation of different generations of mobile cellular networks around the globe has resulted in diverse data speed experiences for end users. At present there are no defined mechanisms in place for a subscriber of one mobile network operator (MNO) to use the services of a WiFi provider. Cellular and Data Service providers also have no standardized procedures to securely interact with each other, and to allow their subscribers to use third party services on a pay as you go basis. This paper proposes a blockchain based offloading framework that allows a subscriber of a mobile operator to temporarily use another MNO or WiFi provider's higher speed network. Smart contracts allow diverse entities such as MNOs, Brokers and WiFi Providers to automatically execute mutual agreements to enable the utilization of third party infrastructure in a secure and controlled manner. To test the proposed framework, the offloading of a subscriber from 3G 4G 4G LTE 5G networks to a fixed broadband WiFi network was carried out and the results analyzed. The offloading framework was implemented using the ns 3 network simulator, and the Ethereum blockchain smart contract features were used for the settlement of invoices.


Numerisation D'un Siecle de Paysage Ferroviaire Fran c c ais recul du rail, cons 'equences territoriales et co ut environnemental. The reconstruction of geographical data over a century, allows to figuring out the evolution of the French railway landscape, and how it has been impacted by major events (eg. WWII), or longer time span processes industry outsourcing, metropolization, public transport policies or absence of them. This work is resulting from the fusion of several public geographical data (SNCF, IGN), enriched with the computer assisted addition of multiple data gathered on the Internet (Wikipedia, volunteer geographic information). The dataset compounds almost every rail stations (even simple stops) and railway branch nodes, whose link to their respective rail lines allows to build the underlying consistent graph of the network. Every rail line has a "valid to" date (or approx) so that time evolution can be displayed. The present progress of that reconstruction sums up to roughly 90 of what is expected (exact total unknown). This allows to consider temporal demographic analysis (how many cities and towns served by the railway since 1925 up on today), and environmental simulations as well (CO2 cost by given destination ).


Pricing Energy Derivatives in Markets Driven by Tempered Stable and CGMY Processes of Ornstein Uhlenbeck Type. In this study we consider the pricing of energy derivatives when the evolution of spot prices follows a tempered stable or a CGMY driven Ornstein Uhlenbeck process. To this end, we first calculate the characteristic function of the transition law of such processes in closed form. This result is instrumental for the derivation of non arbitrage conditions such that the spot dynamics is consistent with the forward curve. Moreover, based on the results of Cufaro Petroni and Sabino (2020), we also conceive efficient algorithms for the exact simulation of the skeleton of such processes and propose a novel procedure when they coincide with compound Poisson processes of Ornstein Uhlenbeck type. We illustrate the applicability of the theoretical findings and the simulation algorithms in the context of the pricing different contracts namely, strips of daily call options, Asian options with European style and swing options. Finally, we present an extension to future markets.


Clique dynamics of locally cyclic graphs with delta geq 6 . We prove that the clique graph operator k is divergent on a locally cyclic graph G (i.e. N G(v) is a circle) with minimum degree delta(G) 6 if and only if G is 6 regular. The clique graph kG of a graph G has the maximal complete subgraphs of G as vertices, and the edges are given by non empty intersections. If all iterated clique graphs of G are pairwise non isomorphic, the graph G is k divergent otherwise, it is k convergent. To prove our claim, we explicitly construct the iterated clique graphs of those infinite locally cyclic graphs with delta geq6 which induce simply connected simplicial surfaces. These graphs are k convergent if the size of triangular shaped subgraphs of a specific type is bounded from above. We apply this criterion by using the universal cover of the triangular complex of an arbitrary finite locally cyclic graph with delta 6 , which shows our divergence characterisation.


Combating Ambiguity for Hash code Learning in Medical Instance Retrieval. When encountering a dubious diagnostic case, medical instance retrieval can help radiologists make evidence based diagnoses by finding images containing instances similar to a query case from a large image database. The similarity between the query case and retrieved similar cases is determined by visual features extracted from pathologically abnormal regions. However, the manifestation of these regions often lacks specificity, i.e., different diseases can have the same manifestation, and different manifestations may occur at different stages of the same disease. To combat the manifestation ambiguity in medical instance retrieval, we propose a novel deep framework called Y Net, encoding images into compact hash codes generated from convolutional features by feature aggregation. Y Net can learn highly discriminative convolutional features by unifying the pixel wise segmentation loss and classification loss. The segmentation loss allows exploring subtle spatial differences for good spatial discriminability while the classification loss utilizes class aware semantic information for good semantic separability. As a result, Y Net can enhance the visual features in pathologically abnormal regions and suppress the disturbing of the background during model training, which could effectively embed discriminative features into the hash codes in the retrieval stage. Extensive experiments on two medical image datasets demonstrate that Y Net can alleviate the ambiguity of pathologically abnormal regions and its retrieval performance outperforms the state of the art method by an average of 9.27 on the returned list of 10.


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


Structure and temporal evolution of transportation literature. Fifty years of evolution of the transportation field is revisited at a macro scale using scientometric analysis of all publications in all 39 journals indexed in the category of Transportation by the Web of Science. The size of the literature is estimated to have reached 50,000 documents. At the highest level of aggregation, four major divisions of the literature are differentiated through these analyses, namely (i) network analysis and traffic flow, (ii) economics of transportation and logistics, (iii) travel behaviour, and (iv) road safety. Influential and emerging authors of each division are identified. Temporal trends in transportation research are also investigated via document co citation analysis. This analysis identifies various major streams of transportation research while determining their approximate time of emergence and duration of activity. It documents topics that have been most trendy at any period of time during the last fifty years. Three clusters associated with the travel behaviour division (collectively embodying topics of land use, active transportation, residential self selection, traveller experience satisfaction, social exclusion and transport spatial equity), one cluster of statistical modelling of road accidents, and a cluster of network modelling linked predominantly to the notion of macroscopic fundamental diagram demonstrate characteristics of being current hot topics of the field. Three smaller clusters linked predominantly to electric mobility and autonomous automated vehicles show characteristics of being emerging hot topics. A cluster labelled shared mobility is the youngest emerging cluster. Influential articles within each cluster of references are identified. Additional outcomes are the determination the influential outsiders of the transportation field.


AutoFreeze Automatically Freezing Model Blocks to Accelerate Fine tuning. With the rapid adoption of machine learning (ML), a number of domains now use the approach of fine tuning models which were pre trained on a large corpus of data. However, our experiments show that even fine tuning on models like BERT can take many hours even when using modern accelerators like GPUs. While prior work proposes limiting the number of layers that are fine tuned, e.g., freezing all layers but the last layer, we find that such static approaches lead to reduced accuracy. We propose, AutoFreeze, a system that uses an adaptive approach to choose which layers are trained and show how this can accelerate model fine tuning while preserving accuracy. We also develop mechanisms to enable efficient caching of intermediate activations which can reduce the forward computation time when performing fine tuning. We extend AutoFreeze to perform distributed fine tuning and design two execution modes that minimize cost and running time respectively. Our evaluation on ten NLP tasks shows that AutoFreeze, with caching enabled, can improve fine tuning on a single GPU by up to 2.55x. On a 64 GPU cluster, for fine tuning on the AG's news dataset, AutoFreeze is able to achieve up to 4.38x speedup when optimizing for end to end training time and 5.03x reduction in total cost when optimizing for efficiency, without affecting model accuracy.


Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics. We formulate and prove logical characterizations of crisp simulations and crisp directed simulations between fuzzy labeled transition systems with respect to fuzzy modal logics that use a general t norm based semantics. The considered logics are fragments of the fuzzy propositional dynamic logic with the Baaz projection operator. The logical characterizations concern preservation of positive existential (respectively, positive) modal formulas under crisp simulations (respectively, crisp directed simulations), as well as the Hennessy Milner property of such simulations.


The Role of Entropy in Guiding a Connection Prover. In this work we study how to learn good algorithms for selecting reasoning steps in theorem proving. We explore this in the connection tableau calculus implemented by leanCoP where the partial tableau provides a clean and compact notion of a state to which a limited number of inferences can be applied. We start by incorporating a state of the art learning algorithm a graph neural network (GNN) into the plCoP theorem prover. Then we use it to observe the system's behaviour in a reinforcement learning setting, i.e., when learning inference guidance from successful Monte Carlo tree searches on many problems. Despite its better pattern matching capability, the GNN initially performs worse than a simpler previously used learning algorithm. We observe that the simpler algorithm is less confident, i.e., its recommendations have higher entropy. This leads us to explore how the entropy of the inference selection implemented via the neural network influences the proof search. This is related to research in human decision making under uncertainty, and in particular the probability matching theory. Our main result shows that a proper entropy regularisation, i.e., training the GNN not to be overconfident, greatly improves plCoP's performance on a large mathematical corpus.


Knowledge Perceived Multi modal Pretraining in E commerce. In this paper, we address multi modal pretraining of product data in the field of E commerce. Current multi modal pretraining methods proposed for image and text modalities lack robustness in the face of modality missing and modality noise, which are two pervasive problems of multi modal product data in real E commerce scenarios. To this end, we propose a novel method, K3M, which introduces knowledge modality in multi modal pretraining to correct the noise and supplement the missing of image and text modalities. The modal encoding layer extracts the features of each modality. The modal interaction layer is capable of effectively modeling the interaction of multiple modalities, where an initial interactive feature fusion model is designed to maintain the independence of image modality and text modality, and a structure aggregation module is designed to fuse the information of image, text, and knowledge modalities. We pretrain K3M with three pretraining tasks, including masked object modeling (MOM), masked language modeling (MLM), and link prediction modeling (LPM). Experimental results on a real world E commerce dataset and a series of product based downstream tasks demonstrate that K3M achieves significant improvements in performances than the baseline and state of the art methods when modality noise or modality missing exists.


Global Solution to the Vacuum Free Boundary Problem with Physical Singularity of Compressible Euler Equations with Damping and Gravity. The global existence of smooth solutions to the vacuum free boundary problem with physical singularity of compressible Euler equations with damping and gravity is proved in space dimensions n 1, 2, 3 , for the initial data being small perturbations of the stationary solution. Moreover, the exponential decay of the velocity is obtained for n 1, 2, 3 . The exponentially fast convergence of the density and vacuum boundary to those of the stationary solution is shown for n 1 , and it is proved for n 2, 3 that they stay close to those of the stationary solution if they do so initially. The proof is based on the weighted estimates of both hyperbolic and parabolic types with weights capturing the singular behavior of higher order normal derivatives near vacuum states, exploring the balance between the physical singularity which pushes the vacuum boundary outwards and the effect of gravity which pulls it inwards, and the dissipation of the frictional damping. The results obtained in this paper are the first ones on the global existence of solutions to the vacuum free boundary problems of inviscid compressible fluids with the non expanding background solutions. Exponentially fast convergence when the vacuum state is involved discovered in this paper is a new feature of the problem studied.


Ethical User Interfaces Exploring the Effects of Dark Patterns on Facebook. Many researchers have been concerned with whether social media has a negative impact on the well being of their audience. With the popularity of social networking sites (SNS) steadily increasing, psychological and social sciences have shown great interest in their effects and consequences on humans. In this work, we investigate Facebook using the tools of HCI to find connections between interface features and the concerns raised by these domains. Using an empirical design analysis, we identify interface interferences impacting users' online privacy. Through a subsequent survey (n 116), we find usage behaviour changes due to increased privacy concerns and report individual cases of addiction and mental health issues. These observations are the results of a rapidly changing SNS creating a gap of understanding between users' interactions with the platform and future consequences. We explore how HCI can help close this gap and work towards more ethical user interfaces in the future.


Stable motivic homotopy theory at infinity. In this paper, we initiate a study of motivic homotopy theory at infinity. We use the six functor formalism to give an intrinsic definition of the stable motivic homotopy type at infinity of an algebraic variety. Our main computational tools include cdh descent for normal crossing divisors, Euler classes, Gysin maps, and homotopy purity. Under ell adic realization, the motive at infinity recovers a formula for vanishing cycles due to Rapoport Zink similar results hold for Steenbrink's limiting Hodge structures and Wildeshaus' boundary motives. Under the topological Betti realization, the stable motivic homotopy type at infinity of an algebraic variety recovers the singular complex at infinity of the corresponding analytic space. We coin the notion of homotopically smooth morphisms with respect to a motivic infty category and use it to show a generalization to virtual vector bundles of Morel Voevodsky's purity theorem, which yields an escalated form of Atiyah duality with compact support. Further we study a quadratic refinement of intersection degrees taking values in motivic cohomotopy groups. For relative surfaces, we show the stable motivic homotopy type at infinity witnesses a quadratic version of Mumford's plumbing construction for smooth complex algebraic surfaces. Our main results are also valid for ell adic sheaves, mixed Hodge modules, and more generally motivic infty categories.


The regularity of the boundary of vortex patches revisited. We provide a new argument to show the persistence of boundary smoothness of vortex patches for the vorticity form of Euler's equation, quite in the spirit of the well known Bertozzi Constantin approach. Our argument avoids the use of defining functions and, surprisingly, yields persistence of boundary smoothness of vortex patches for transport equations in the plane given by velocity fields which are convolution of the density with an odd kernel, homogeneous of degree 1 and of class C 2 off the origin. This allows the velocity field to have non trivial divergence.


Description of ResFrac automated history matching and optimization workflow. This document describes the functioning of the automated history matching and optimization workflow implemented with the ResFrac hydraulic fracturing and reservoir simulator. The purpose of the automated history matching and optimization workflow is enable automated calibration of simulator models to observed data and application to forward optimization. The automated workflow works by solving a formal mathematical optimization problem to minimize misfit with observations from any point in the lifecycle of a hydraulically fractured reservoir, or to maximize a quantity of interest associated such a reservoir, such as net present value. Objective function evaluations in the optimization problem consist of runs of the ResFrac simulator, which is a physics based model of hydraulic fracturing and reservoir phenomena. The workflow employs a proxy model to improve computational speed and applies experimental design and Bayesian sampling techniques to generate points with which to train the proxy model. This document also provides an overview of the software infrastructure developed to support the automated workflow.


Feasibility study of TPC detector at high luminosity Z pole on the circular collider. With the development of the circular collider, it is necessary to make accurate physics experimental measurements of particle properties at higher luminosity Z pole. Micro pattern gaseous detectors (MPGDs), which contain Gaseous Electron Multiplier (GEM) and Micro mesh gaseous structures (Micromegas), have excellent potential for development as the readout devices of the time projection chamber (TPC) tracker detector. To meet the updated physics requirements of the high luminosity Z from the preliminary concept design report (preCDR) to concept design report (CDR) at the circular electron positron collider (CEPC), In this paper, the space charge distortion of the TPC detector is simulated with the CEPC beam structure. Using the multi physics simulation software package, the distribution of ion estimated by Geant4 is used as the input for the differential equation, and the relationship between the ion density distribution and electric field in the detector chamber is simulated. These simulation results show that the maximum deviation for Higgs mathcal O (25 mu m) meets the performance requirements in CEPC TPC detector at the high luminosity Z pole, while it is still a considerable challenge for Z pole, with the maximum deviation mathcal O ( 100 mu m). According to the previous developments, the cascaded structure of GEM and Micromegas detector has been measured. The new considerations of the detector's requirements were given, the gain needs to be reached to about 2000 with IBF times Gain under 0.1, and IBF means the ions back flow ratio of the detector. The pixel TPC is a potential option to replace the traditional MPGDs with the low gain, low occupancy, and outstanding pattern recognition. Finally, some update parameters and experiments results were compared.


Inequalities and limits of weighted spectral geometric mean. We establish some new properties of spectral geometric mean. In particular, we prove a log majorization relation between left(B ts 2 A (1 t)s B ts 2 right) 1 s and the t spectral mean A natural t B (A 1 sharp B) t A(A 1 sharp B) t of two positive semidefinite matrices A and B , where A sharp B is the geometric mean, and the t spectral mean is the dominant one. The limit involving t spectral mean is also studied. We then extend all the results in the context of symmetric spaces of negative curvature.


Predicting Opioid Use Disorder from Longitudinal Healthcare Data using Multi stream Transformer. Opioid Use Disorder (OUD) is a public health crisis costing the US billions of dollars annually in healthcare, lost workplace productivity, and crime. Analyzing longitudinal healthcare data is critical in addressing many real world problems in healthcare. Leveraging the real world longitudinal healthcare data, we propose a novel multi stream transformer model called MUPOD for OUD identification. MUPOD is designed to simultaneously analyze multiple types of healthcare data streams, such as medications and diagnoses, by attending to segments within and across these data streams. Our model tested on the data from 392,492 patients with long term back pain problems showed significantly better performance than the traditional models and recently developed deep learning models.


Intersections of Deligne Lusztig varieties and Springer fibres. In this paper we prove a direct geometric relation between Deligne Lusztig varieties and Springer fibres in type mathsf A For any rational unipotent element, the Springer fibre cuts out a unique component of a specific Deligne Lusztig variety moreover, this component forms an open dense subset of a component of the Springer fibre. This boils down to a map from the unipotent variety to the Weyl group, and combines several constructions with a combinatorial flavour (like Weyr normal forms, Robinson Schensted correspondence, and Spaltenstein's and Steinberg's labellings) it also provides a geometric interpretation of a classical dimension formula of unipotent centralisers.


Bohr type inequality for C es ' a ro and B ernardi integral operator on simply connected domain. In this article, we study the Bohr type inequality for C es ' a ro operator and B ernardi integral operator acting on the space of analytic functions defined on a simply connected domain containing the unit disk mathbb D .


TargetNet Functional microRNA Target Prediction with Deep Neural Networks. Motivation MicroRNAs (miRNAs) play pivotal roles in gene expression regulation by binding to target sites of messenger RNAs (mRNAs). While identifying functional targets of miRNAs is of utmost importance, their prediction remains a great challenge. Previous computational algorithms have major limitations. They use conservative candidate target site (CTS) selection criteria mainly focusing on canonical site types, rely on laborious and time consuming manual feature extraction, and do not fully capitalize on the information underlying miRNA CTS interactions. Results In this paper, we introduce TargetNet, a novel deep learning based algorithm for functional miRNA target prediction. To address the limitations of previous approaches, TargetNet has three key components (1) relaxed CTS selection criteria accommodating irregularities in the seed region, (2) a novel miRNA CTS sequence encoding scheme incorporating extended seed region alignments, and (3) a deep residual network based prediction model. The proposed model was trained with miRNA CTS pair datasets and evaluated with miRNA mRNA pair datasets. TargetNet advances the previous state of the art algorithms used in functional miRNA target classification. Furthermore, it demonstrates great potential for distinguishing high functional miRNA targets.


Hydrodynamic integrability via geometry. This paper develops a geometric approach to the theory of integrability by hydrodynamic reductions to establish an equivalence, for a large class of quasilinear systems, between hydrodynamic integrability and the existence of nets compatible with the geometry induced on the codomain of the system. This unifies and extends known results for three subclasses of such systems. The generalization is obtained by studying the algebraic geometry of the characteristic correspondence of the system, and by introducing a generalized notion of conjugate nets.


Self probing of Molecules with High Harmonic Generation. This tutorial presents the most important aspects of the molecular self probing paradigm, which views the process of high harmonic generation as "a molecule being probed by one of its own electrons". Since the properties of the electron wavepacket acting as a probe allow a combination of attosecond and AA ngstr "om resolutions in measurements, this idea bears great potential for the observation, and possibly control, of ultrafast quantum dynamics in molecules at the electronic level. Theoretical as well as experimental methods and concepts at the basis of self probing measurements are introduced. Many of these are discussed on the example of molecular orbital tomography.


Disengagement Cause and Effect Relationships Extraction Using an NLP Pipeline. The advancement in machine learning and artificial intelligence is promoting the testing and deployment of autonomous vehicles (AVs) on public roads. The California Department of Motor Vehicles (CA DMV) has launched the Autonomous Vehicle Tester Program, which collects and releases reports related to Autonomous Vehicle Disengagement (AVD) from autonomous driving. Understanding the causes of AVD is critical to improving the safety and stability of the AV system and provide guidance for AV testing and deployment. In this work, a scalable end to end pipeline is constructed to collect, process, model, and analyze the disengagement reports released from 2014 to 2020 using natural language processing deep transfer learning. The analysis of disengagement data using taxonomy, visualization and statistical tests revealed the trends of AV testing, categorized cause frequency, and significant relationships between causes and effects of AVD. We found that (1) manufacturers tested AVs intensively during the Spring and or Winter, (2) test drivers initiated more than 80 of the disengagement while more than 75 of the disengagement were led by errors in perception, localization mapping, planning and control of the AV system itself, and (3) there was a significant relationship between the initiator of AVD and the cause category. This study serves as a successful practice of deep transfer learning using pre trained models and generates a consolidated disengagement database allowing further investigation for other researchers.


RRLFSOR An Efficient Self Supervised Learning Strategy of Graph Convolutional Networks. Graph Convolutional Networks (GCNs) are widely used in many applications yet still need large amounts of labelled data for training. Besides, the adjacency matrix of GCNs is stable, which makes the data processing strategy cannot efficiently adjust the quantity of training data from the built graph structures.To further improve the performance and the self learning ability of GCNs,in this paper, we propose an efficient self supervised learning strategy of GCNs,named randomly removed links with a fixed step at one region (RRLFSOR).RRLFSOR can be regarded as a new data augmenter to improve over smoothing.RRLFSOR is examined on two efficient and representative GCN models with three public citation network datasets Cora,PubMed,and Citeseer.Experiments on transductive link prediction tasks show that our strategy outperforms the baseline models consistently by up to 21.34 in terms of accuracy on three benchmark datasets.


New Gelfond Type Transcendental Numbers. It is well known that value at a non zero algebraic number of each of the functions e x , ln x, sin x, cos x, tan x, csc x, sec x, cot x, sinh x, cosh x, tanh x, and coth x is transcendental number (see Theorem 9.11 of cite N ). In the work, we show that for any one of the above mentioned functions, f(x) , and for a polynomial g(x) with rational coefficients the zero, if any, of the equation f(x) g(x) is a transcendental number. We also show that if f(x) and g(x) are polynomials with rational coefficients, then a zero of the equation e f(x) g(x) is a transcendental number. Finally we show that the existence of an abelian group whose non zero elements are transcendental numbers.


Is Policy Learning Overrated? Width Based Planning and Active Learning for Atari. Width based planning has shown promising results on Atari 2600 games using pixel input, while using substantially fewer environment interactions than reinforcement learning. Recent width based approaches have computed feature vectors for each screen using a hand designed feature set or a variational autoencoder trained on game screens (VAE IW), and prune screens that do not have novel features during the search. We propose Olive (Online VAE IW), which updates the VAE features online using active learning to maximize the utility of screens observed during planning. Experimental results in 55 Atari games demonstrate that it outperforms Rollout IW by 42 to 11 and VAE IW by 32 to 20. Moreover, Olive outperforms existing work based on policy learning ( pi IW, DQN) trained with 100x training budget by 30 to 22 and 31 to 17, and a state of the art data efficient reinforcement learning (EfficientZero) trained with the same training budget and ran with 1.8x planning budget by 18 to 7 in Atari 100k benchmark, with no policy learning at all. The source code is available at github.com ibm atari active learning .


Genus of commuting graphs of some classes of finite rings. In this paper, we compute the genus of commuting graphs of non commutative rings of order p 4 , p 5 , p 2q and p 3q , where p and q are prime integers. We also characterize those finite rings such that their commuting graphs are planar or toroidal.


Dynamic inference of user context through social tag embedding for music recommendation. Music listening preferences at a given time depend on a wide range of contextual factors, such as user emotional state, location and activity at listening time, the day of the week, the time of the day, etc. It is therefore of great importance to take them into account when recommending music. However, it is very difficult to develop context aware recommender systems that consider these factors, both because of the difficulty of detecting some of them, such as emotional state, and because of the drawbacks derived from the inclusion of many factors, such as sparsity problems in contextual pre filtering. This work involves the proposal of a method for the detection of the user contextual state when listening to music based on the social tags of music items. The intrinsic characteristics of social tagging that allow for the description of items in multiple dimensions can be exploited to capture many contextual dimensions in the user listening sessions. The embeddings of the tags of the first items played in each session are used to represent the context of that session. Recommendations are then generated based on both user preferences and the similarity of the items computed from tag embeddings. Social tags have been used extensively in many recommender systems, however, to our knowledge, they have been hardly used to dynamically infer contextual states.


Partial sensitivity analysis in differential privacy. Differential privacy (DP) allows the quantification of privacy loss when the data of individuals is subjected to algorithmic processing such as machine learning, as well as the provision of objective privacy guarantees. However, while techniques such as individual R 'enyi DP (RDP) allow for granular, per person privacy accounting, few works have investigated the impact of each input feature on the individual's privacy loss. Here we extend the view of individual RDP by introducing a new concept we call partial sensitivity, which leverages symbolic automatic differentiation to determine the influence of each input feature on the gradient norm of a function. We experimentally evaluate our approach on queries over private databases, where we obtain a feature level contribution of private attributes to the DP guarantee of individuals. Furthermore, we explore our findings in the context of neural network training on synthetic data by investigating the partial sensitivity of input pixels on an image classification task.


Modeling Disclosive Transparency in NLP Application Descriptions. Broader disclosive transparency truth and clarity in communication regarding the function of AI systems is widely considered desirable. Unfortunately, it is a nebulous concept, difficult to both define and quantify. This is problematic, as previous work has demonstrated possible trade offs and negative consequences to disclosive transparency, such as a confusion effect, where "too much information" clouds a reader's understanding of what a system description means. Disclosive transparency's subjective nature has rendered deep study into these problems and their remedies difficult. To improve this state of affairs, We introduce neural language model based probabilistic metrics to directly model disclosive transparency, and demonstrate that they correlate with user and expert opinions of system transparency, making them a valid objective proxy. Finally, we demonstrate the use of these metrics in a pilot study quantifying the relationships between transparency, confusion, and user perceptions in a corpus of real NLP system descriptions.


Forbidden induced subgraphs for perfectness of claw free graphs of independence number at least 4. For every graph X , we consider the class of all connected K 1,3 , X free graphs which are distinct from an odd cycle and have independence number at least 4 , and we show that all graphs in the class are perfect if and only if X is an induced subgraph of some of P 6 , K 1 cup P 5 , 2P 3 , Z 2 or K 1 cup Z 1 . Furthermore, for X chosen as 2K 1 cup K 3 , we list all eight imperfect graphs belonging to the class and for every other choice of X , we show that there are infinitely many such graphs. In addition, for X chosen as B 1,2 , we describe the structure of all imperfect graphs in the class.


Markov uniqueness and Fokker Planck Kolmogorov equations. In this paper we show that Markov uniqueness for symmetric pre Dirichlet operators L follows from the uniqueness of the corresponding Fokker Planck Kolmogorov equation (FPKE). Since in recent years a considerable number of uniqueness results for FPKE's have been achieved, we obtain new Markov uniqueness results in concrete cases. A selection of such will be presented in this paper. They include cases with killing and with degenerate diffusion coefficients.


Time Of Flight methodologies with large area diamond detectors for ion characterization in laser driven experiments. Time Of Flight (TOF) technique coupled with semiconductor detectors is a powerful instrument to provide real time characterization of ions accelerated because of laser matter interactions. Nevertheless, the presence of strong electromagnetic pulses (EMPs) generated during the interactions, can severely hinder its employment. For this reason, the diagnostic system must be designed to have high EMP shielding. Here we present a new advanced prototype of detector, developed at ENEA Centro Ricerche Frascati (Italy), with a large area (15 mm x 15 mm) polycrystalline diamond sensor having 150 microns thickness. The tailored detector design and testing ensure high sensitivity and, thanks to the fast temporal response, high energy resolution of the reconstructed ion spectrum. The detector was offline calibrated and then successfully tested during an experimental campaign carried out at the PHELIX laser facility at GSI (Germany). The high rejection to EMP fields was demonstrated and suitable calibrated spectra of the accelerated protons were obtained.


Shift and Balance Attention. Attention is an effective mechanism to improve the deep model capability. Squeeze and Excite (SE) introduces a light weight attention branch to enhance the network's representational power. The attention branch is gated using the Sigmoid function and multiplied by the feature map's trunk branch. It is too sensitive to coordinate and balance the trunk and attention branches' contributions. To control the attention branch's influence, we propose a new attention method, called Shift and Balance (SB). Different from Squeeze and Excite, the attention branch is regulated by the learned control factor to control the balance, then added into the feature map's trunk branch. Experiments show that Shift and Balance attention significantly improves the accuracy compared to Squeeze and Excite when applied in more layers, increasing more size and capacity of a network. Moreover, Shift and Balance attention achieves better or close accuracy compared to the state of art Dynamic Convolution.


Perturbation determinants and discrete spectra of semi infinite non self adjoint Jacobi operators. We study the trace class perturbations of the half line, discrete Laplacian and obtain a new bound for the perturbation determinant of the corresponding non self adjoint Jacobi operator. Based on this bound, we obtain the Lieb Thirring inequalities for such operators. The spectral enclosure for the discrete spectrum and embedded eigenvalues are also discussed.


Bounds for internally heated convection with fixed boundary heat flux. We prove a new rigorous bound for the mean convective heat transport langle w T rangle , where w and T are the nondimensional vertical velocity and temperature, in internally heated convection between an insulating lower boundary and an upper boundary with a fixed heat flux. The quantity langle wT rangle is equal to half the ratio of convective to conductive vertical heat transport, and also to frac12 plus the mean temperature difference between the top and bottom boundaries. An analytical application of the background method based on the construction of a quadratic auxiliary function yields langle w T rangle leq tfrac 1 2 big( tfrac 1 2 tfrac 1 sqrt 3 big) 1.6552 , R frac13 uniformly in the Prandtl number, where R is the nondimensional control parameter measuring the strength of the internal heating. Numerical optimisation of the auxiliary function suggests that the asymptotic value of this bound and the 1 3 exponent are optimal within our bounding framework. This new result halves the best existing (uniform in R ) bound (Goluskin 2016, Springer, Table 1.2) and its dependence on R is consistent with previous conjectures and heuristic scaling arguments. Contrary to physical intuition, however, it does not rule out a mean heat transport larger than frac12 at high R , which corresponds to the top boundary being hotter than the bottom one on average.


A novel approach to fluid structure interaction simulations involving large translation and contact. In this work, we present a novel method for the mesh update in flow problems with moving boundaries, the phantom domain deformation mesh update method (PD DMUM). The PD DMUM is designed to avoid remeshing even in the event of large, unidirectional displacements of boundaries. The method combines the concept of two mesh adaptation approaches (1) The virtual ring shear slip mesh updatemethod (VR SSMUM) and (2) the elastic mesh update method (EMUM). As in the VR SSMUM, the PD DMUMextends the fluid domain by a phantom domain the PD DMUM can thus locally adapt the element density. Combined with the EMUM, the PD DMUMallows the consideration of arbitrary boundary movements. In this work, we apply the PD DMUM in two test cases. Within the first test case, we validate the PD DMUM in a 2D Poiseuille flow on a moving background mesh. Subsequently the fluid structure interaction (FSI) problem in the second test case serves as a proof of concept. More, we stress the advantages of the novel method with regard to conventional mesh update approaches.


No frills Dynamic Planning using Static Planners. In this paper, we address the task of interacting with dynamic environments where the changes in the environment are independent of the agent. We study this through the context of trapping a moving ball with a UR5 robotic arm. Our key contribution is an approach to utilize a static planner for dynamic tasks using a Dynamic Planning add on that is, if we can successfully solve a task with a static target, then our approach can solve the same task when the target is moving. Our approach has three key components an off the shelf static planner, a trajectory forecasting network, and a network to predict robot's estimated time of arrival at any location. We demonstrate the generalization of our approach across environments. More information and videos at https mlevy2525.github.io DynamicAddOn.


Theory of Faradaically Modulated Redox Active Electrodes for Electrochemically Mediated Selective Adsorption Processes. Electrochemically mediated selective adsorption is an emerging electrosorption technique that utilizes Faradaically enhanced redox active electrodes, which can adsorb ions not only electrostatically, but also electrochemically. The superb selectivity ( 100) of this technique enables selective removal of toxic or high value target ions under low energy consumption. Here, we develop a general theoretical framework to describe the competitive electrosorption phenomena involving multiple ions and surface bound redox species. The model couples diffusion, convection and electromigration with competitive surface adsorption reaction kinetics, consistently derived from non equilibrium thermodynamics. To optimize the selective removal of the target ions, design criteria were derived analytically from physically relevant dimensionless groups and time scales, where the propagation of the target anions concentration front is the limiting step. Detailed computational studies are reported for three case studies that cover a wide range of inlet concentration ratios between the competing ions. And in all three cases, target anions in the electrosorption cell forms a self sharpening reaction diffusion wave front. Based on the model, a three step stop flow operation scheme with a pure stripping solution of target anions is proposed that optimizes the ion adsorption performance and increases the purity of the regeneration stream to almost 100 , which is beneficial for downstream processing.


Federated Word2Vec Leveraging Federated Learning to Encourage Collaborative Representation Learning. Large scale contextual representation models have significantly advanced NLP in recent years, understanding the semantics of text to a degree never seen before. However, they need to process large amounts of data to achieve high quality results. Joining and accessing all these data from multiple sources can be extremely challenging due to privacy and regulatory reasons. Federated Learning can solve these limitations by training models in a distributed fashion, taking advantage of the hardware of the devices that generate the data. We show the viability of training NLP models, specifically Word2Vec, with the Federated Learning protocol. In particular, we focus on a scenario in which a small number of organizations each hold a relatively large corpus. The results show that neither the quality of the results nor the convergence time in Federated Word2Vec deteriorates as compared to centralised Word2Vec.


Anomalous symmetries of classifiable C algebras. We study the H 3 invariant of a group homomorphism phi G rightarrow mathrm Out (A) , where A is a classifiable C algebra. We show the existence of an obstruction to possible H 3 invariants arising from considering the unitary algebraic K 1 group. In particular, we prove that when A is the Jiang Su algebra mathcal Z this invariant must vanish. We deduce that the unitary fusion categories mathrm Hilb (G, omega) for non trivial omega in H 3(G, mathbb T ) cannot act on mathcal Z .


Lamperti Semi Discrete method. We study the numerical approximation of numerous processes, solutions of nonlinear stochastic differential equations, that appear in various applications such as financial mathematics and population dynamics. Between the investigated models are the CIR process, also known as the square root process, the constant elasticity of variance process CEV, the Heston 3 2 model, the A "it Sahalia model and the Wright Fisher model. We propose a version of the semi discrete method, which we call Lamperti semi discrete (LSD) method. The LSD method is domain preserving and seems to converge strongly to the solution process with order 1 and no extra restrictions on the parameters or the step size.


Execution of Partial State Machine Models. The iterative and incremental nature of software development using models typically makes a model of a system incomplete (i.e., partial) until a more advanced and complete stage of development is reached. Existing model execution approaches (interpretation of models or code generation) do not support the execution of partial models. Supporting the execution of partial models at the early stages of software development allows early detection of defects, which can be fixed more easily and at a lower cost. This paper proposes a conceptual framework for the execution of partial models, which consists of three steps static analysis, automatic refinement, and input driven execution. First, a static analysis that respects the execution semantics of models is applied to detect problematic elements of models that cause problems for the execution. Second, using model transformation techniques, the models are refined automatically, mainly by adding decision points where missing information can be supplied. Third, refined models are executed, and when the execution reaches the decision points, it uses inputs obtained either interactively or by a script that captures how to deal with partial elements. We created an execution engine called PMExec for the execution of partial models of UML RT (i.e., a modeling language for the development of soft real time systems) that embodies our proposed framework. We evaluated PMExec based on several use cases that show that the static analysis, refinement, and application of user input can be carried out with reasonable performance and that the overhead of approach, which is mostly due to the refinement and the increase in model complexity it causes, is manageable. We also discuss the properties of the refinement formally and show how the refinement preserves the original behaviors of the model.


A Novel Disaster Image Dataset and Characteristics Analysis using Attention Model. The advancement of deep learning technology has enabled us to develop systems that outperform any other classification technique. However, success of any empirical system depends on the quality and diversity of the data available to train the proposed system. In this research, we have carefully accumulated a relatively challenging dataset that contains images collected from various sources for three different disasters fire, water and land. Besides this, we have also collected images for various damaged infrastructure due to natural or man made calamities and damaged human due to war or accidents. We have also accumulated image data for a class named non damage that contains images with no such disaster or sign of damage in them. There are 13,720 manually annotated images in this dataset, each image is annotated by three individuals. We are also providing discriminating image class information annotated manually with bounding box for a set of 200 test images. Images are collected from different news portals, social media, and standard datasets made available by other researchers. A three layer attention model (TLAM) is trained and average five fold validation accuracy of 95.88 is achieved. Moreover, on the 200 unseen test images this accuracy is 96.48 . We also generate and compare attention maps for these test images to determine the characteristics of the trained attention model. Our dataset is available at https niloy193.github.io Disaster Dataset


A Study of the Fundamental Parameters of Particle Swarm Optimizers. The range of applications of traditional optimization methods are limited by the features of the object variables, and of both the objective and the constraint functions. In contrast, population based algorithms whose optimization capabilities are emergent properties, such as evolutionary algorithms and particle swarm optimization, present almost no restriction on those features and can handle different optimization problems with few or no adaptations. Their main drawbacks consist of their comparatively higher computational cost and difficulty in handling equality constraints. The particle swarm optimization method is sometimes viewed as an evolutionary algorithm because of their many similarities, despite not being inspired by the same metaphor they evolve a population of individuals taking into account previous experiences and using stochastic operators to introduce new responses. The advantages of evolutionary algorithms with respect to traditional methods have been greatly discussed in the literature for decades. While the particle swarm optimizers share such advantages, their main desirable features when compared to evolutionary algorithms are their lower computational cost and easier implementation, involving no operator design and few parameters to be tuned. However, even slight modifications of these parameters greatly influence the dynamics of the swarm. This paper deals with the effect of the settings of the parameters of the particles' velocity update equation on the behaviour of the system.


Limit theorems for linear processes with tapered innovations and filters. In the paper we consider the partial sum process sum k 1 nt X k (n) , where X k (n) sum j 0 infty a j (n) xi k j (b(n)), k in bz , n ge 1, is a series of linear processes with tapered filter a j (n) a j ind 0 le j le l(n) and heavy tailed tapered innovations xi j (b(n), j in bz . Both tapering parameters b(n) and l(n) grow to infty as n to infty . The limit behavior of the partial sum process depends on the growth of these two tapering parameters and dependence properties of a linear process with non tapered filter a i, i ge 0 and non tapered innovations. We consider the case where b(n) grows relatively slow (soft tapering), and all three cases of growth of l(n) (strong, weak, and moderate tapering). In these cases the limit processes (in the sense of convergence of finite dimensional distributions) are Gaussian.


Stability and conservation properties of Hermite based approximations of the Vlasov Poisson system. Spectral approximation based on Hermite Fourier expansion of the Vlasov Poisson model for a collisionless plasma in the electro static limit is provided, by including high order artificial collision operators of Lenard Bernstein type. These differential operators are suitably designed in order to preserve the physically meaningful invariants (number of particles, momentum, energy). In view of time discretization, stability results in appropriate norms are presented. In this study, necessary conditions link the magnitude of the artificial collision term, the number of spectral modes of the discretization, as well as the time step. The analysis, carried out in full for the Hermite discretization of a simple linear problem in one dimension, is then partly extended to cover the complete nonlinear Vlasov Poisson model.


Coherent evolution of signal amplification by reversible exchange in two alternating fields (alt SABRE). Parahydrogen (pH2) is a convenient and cost efficient source for magnetic resonance signal enhancement. Transient interaction of pH2 with a metal organic complex in a signal amplification by reversible exchange (SABRE) experiment enabled more than 10 polarization for some 15N molecules. Here, we analyzed a variant of SABRE, consisting of an outer magnetic field alternating between a low field of 1 muT, where a polarization transfer takes place, and a higher field 50 muT (alt SABRE). We found effects of both of these fields on amplitude and the frequency of polarization transfer. Deviation of a lower magnetic field from a "perfect" condition of level anti crossing increases the frequency of polarization transfer that can be exploited for polarization of short lived transient SABRE complexes i.e. some substrates. Moreover, the coherences responsible for polarization transfer at a lower field persisted during magnetic field variation and continued their spin evolution at higher field with a frequency of 2.5 kHz at 54 muT. The latter should be taken into consideration for an efficient alt SABRE.