Value Functions for Depth Limited Solving in Zero Sum Imperfect Information Games. We provide a formal definition of depth limited games together with an accessible and rigorous explanation of the underlying concepts, both of which were previously missing in imperfect information games. The definition works for an arbitrary extensive form game and is not tied to any specific game solving algorithm. Moreover, this framework unifies and significantly extends three approaches to depth limited solving that previously existed in extensive form games and multiagent reinforcement learning but were not known to be compatible. A key ingredient of these depth limited games are value functions. Focusing on two player zero sum imperfect information games, we show how to obtain optimal value functions and prove that public information provides both necessary and sufficient context for computing them. We provide a domain independent encoding of the domains that allows for approximating value functions even by simple feed forward neural networks, which are then able to generalize to unseen parts of the game. We use the resulting value network to implement a depth limited version of counterfactual regret minimization. In three distinct domains, we show that the algorithm's exploitability is roughly linearly dependent on the value network's quality and that it is not difficult to train a value network with which depth limited CFR's performance is as good as that of CFR with access to the full game.


The nonlinear stability regime of the viscous Faraday wave problem. This paper concerns the dynamics of a layer of incompressible viscous fluid lying above a vertically oscillating rigid plane and with an upper boundary given by a free surface. We consider the problem with gravity and surface tension for horizontally periodic flows. This problem gives rise to flat but vertically oscillating equilibrium solutions, and the main thrust of this paper is to study the asymptotic stability of these equilibria in certain parameter regimes. We prove that both with and without surface tension there exists a parameter regime in which sufficiently small perturbations of the equilibrium at time t 0 give rise to global in time solutions that decay to equilibrium at an identified quantitative rate.


Vyaktitv A Multimodal Peer to Peer Hindi Conversations based Dataset for Personality Assessment. Automatically detecting personality traits can aid several applications, such as mental health recognition and human resource management. Most datasets introduced for personality detection so far have analyzed these traits for each individual in isolation. However, personality is intimately linked to our social behavior. Furthermore, surprisingly little research has focused on personality analysis using low resource languages. To this end, we present a novel peer to peer Hindi conversation dataset Vyaktitv. It consists of high quality audio and video recordings of the participants, with Hinglish textual transcriptions for each conversation. The dataset also contains a rich set of socio demographic features, like income, cultural orientation, amongst several others, for all the participants. We release the dataset for public use, as well as perform preliminary statistical analysis along the different dimensions. Finally, we also discuss various other applications and tasks for which the dataset can be employed.


Measuring privacy in smart metering anonymized data. In recent years, many proposals have arisen from research on privacy in smart metering. In one of the considered approaches, referred to as anonymization, smart meters transmit fine grained electricity consumption values in such a way that the energy supplier can not exactly determine procedence. This paper measures the real privacy provided by such approach by taking into account that at the end of a billing period the energy supplier collects the overall electricity consumption of each meter for billing purposes. An entropy based measure is proposed for quantifying privacy and determine the extent to which knowledge on the overall consumption of meters allows to re identify anonymous fine grained consumption values.


Deep Learning Based Classification of Unsegmented Phonocardiogram Spectrograms Leveraging Transfer Learning. Cardiovascular diseases (CVDs) are the main cause of deaths all over the world. Heart murmurs are the most common abnormalities detected during the auscultation process. The two widely used publicly available phonocardiogram (PCG) datasets are from the PhysioNet CinC (2016) and PASCAL (2011) challenges. The datasets are significantly different in terms of the tools used for data acquisition, clinical protocols, digital storages and signal qualities, making it challenging to process and analyze. In this work, we have used short time Fourier transform (STFT) based spectrograms to learn the representative patterns of the normal and abnormal PCG signals. Spectrograms generated from both the datasets are utilized to perform three different studies (i) train, validate and test different variants of convolutional neural network (CNN) models with PhysioNet dataset, (ii) train, validate and test the best performing CNN structure on combined PhysioNet PASCAL dataset and (iii) finally, transfer learning technique is employed to train the best performing pre trained network from the first study with PASCAL dataset. We propose a novel, less complex and relatively light custom CNN model for the classification of PhysioNet, combined and PASCAL datasets. The first study achieves an accuracy, sensitivity, specificity, precision and F1 score of 95.4 , 96.3 , 92.4 , 97.6 and 96.98 respectively while the second study shows accuracy, sensitivity, specificity, precision and F1 score of 94.2 , 95.5 , 90.3 , 96.8 and 96.1 respectively. Finally, the third study shows a precision of 98.29 on the noisy PASCAL dataset with transfer learning approach. All the three proposed approaches outperform most of the recent competing studies by achieving comparatively high classification accuracy and precision, which make them suitable for screening CVDs using PCG signals.


Ultra broadband reflectionless Brewster absorber protected by reciprocity. The Brewster's law predicts zero reflection of p polarization on a dielectric surface at a particular angle. However, when loss is introduced into the permittivity of the dielectric, the Brewster condition breaks down and reflection unavoidably appears. In this work, we found an exception to this long standing dilemma by creating a class of nonmagnetic anisotropic metamaterials, where an anomalous Brewster effects with independently tunable absorption and refraction emerges. This loss independent Brewster effect is bestowed by the extra degrees of freedoms introduced by anisotropy and strictly protected by the reciprocity principle. The bandwidth can cover an extremely wide spectrum from dc to optical frequencies. Two examples of reflectionless Brewster absorbers with different Brewster angles are both demonstrated to achieve large absorbance in a wide spectrum via microwave experiments. Our work extends the scope of Brewster effect to the horizon of nonmagnetic absorptive materials, which promises an unprecedented wide bandwidth for reflectionless absorption with high efficiency.


Assessing Viewer's Mental Health by Detecting Depression in YouTube Videos. Depression is one of the most prevalent mental health issues around the world, proving to be one of the leading causes of suicide and placing large economic burdens on families and society. In this paper, we develop and test the efficacy of machine learning techniques applied to the content of YouTube videos captured through their transcripts and determine if the videos are depressive or have a depressing trigger. Our model can detect depressive videos with an accuracy of 83 . We also introduce a real life evaluation technique to validate our classification based on the comments posted on a video by calculating the CES D scores of the comments. This work conforms greatly with the UN Sustainable Goal of ensuring Good Health and Well Being with major conformity with section UN SDG 3.4.


Hit Song Prediction Based on Early Adopter Data and Audio Features. Billions of USD are invested in new artists and songs by the music industry every year. This research provides a new strategy for assessing the hit potential of songs, which can help record companies support their investment decisions. A number of models were developed that use both audio data, and a novel feature based on social media listening behaviour. The results show that models based on early adopter behaviour perform well when predicting top 20 dance hits.


PolyResponse A Rank based Approach to Task Oriented Dialogue with Application in Restaurant Search and Booking. We present PolyResponse, a conversational search engine that supports task oriented dialogue. It is a retrieval based approach that bypasses the complex multi component design of traditional task oriented dialogue systems and the use of explicit semantics in the form of task specific ontologies. The PolyResponse engine is trained on hundreds of millions of examples extracted from real conversations it learns what responses are appropriate in different conversational contexts. It then ranks a large index of text and visual responses according to their similarity to the given context, and narrows down the list of relevant entities during the multi turn conversation. We introduce a restaurant search and booking system powered by the PolyResponse engine, currently available in 8 different languages.


Blended Integrated Open Data dados abertos p 'ublicos integrados. While several public institutions provide its data openly, the effort required to access, integrate and query this data is too high, reducing the amount of possible dataset users. The Blended Integrated Open Data (BIOD) project has as objective to ease the access to public Open Data. It integrates and makes available more than 300Gb of data, containing billions of records from different Open Data Sets, allowing to query over them, and thus to retrieve related information from originally disconnected data sets. This paper presents the set of open data available, how to access it and how produce new compatible data to improve the existing data set.


Hahn Banach theorem for operators on the lattice normed f algebras. Let X and E be f algebras and p X to E be a monotone vector norm. Then the triple (X,p,E) is called a lattice normed f algebraic space. In this paper, we show a generalization of the extension of the Hahn Banach theorem for operators on the lattice normed f algebras, in which the extension of one step of that is not similar to the other Hahn Banach theorems. Also, we give some applications and results.


Fast non convex low rank matrix decomposition for separation of potential field data using minimal memory. A fast non convex low rank matrix decomposition method for potential field data separation is proposed. The singular value decomposition of the large size trajectory matrix, which is also a block Hankel matrix, is obtained using a fast randomized singular value decomposition algorithm in which fast block Hankel matrix vector multiplications are implemented with minimal memory storage. This fast block Hankel matrix randomized singular value decomposition algorithm is integrated into the texttt Altproj algorithm, which is a standard non convex method for solving the robust principal component analysis optimization problem. The improved algorithm avoids the construction of the trajectory matrix. Hence, gravity and magnetic data matrices of large size can be computed. Moreover, it is more efficient than the traditional low rank matrix decomposition method, which is based on the use of an inexact augmented Lagrange multiplier algorithm. The presented algorithm is also robust and, hence, algorithm dependent parameters are easily determined. The improved and traditional algorithms are contrasted for the separation of synthetic gravity and magnetic data matrices of different sizes. The presented results demonstrate that the improved algorithm is not only computationally more efficient but it is also more accurate. Moreover, it is possible to solve far larger problems. As an example, for the adopted computational environment, matrices of sizes larger than 205 times 205 generate "out of memory" exceptions with the traditional method, but a matrix of size 2001 times 2001 can be calculated in 1062.29 s with the new algorithm. Finally, the improved method is applied to separate real gravity and magnetic data in the Tongling area, Anhui province, China. Areas which may exhibit mineralizations are inferred based on the separated anomalies.


physics.plasm-ph cs.NA math.NA physics.comp-ph

Structure preserving marker particle discretizations of Coulomb collisions for particle in cell codes. This paper contributes new insights into discretizing Coulomb collisions in kinetic plasma models. Building on the previous works Carrillo et al. J. Comp. Phys. X 7 100066 (2020), Hirvijoki and Burby Phys. Plasmas 27(8) 082307 (2020) , I propose deterministic discrete time energy and positivity preserving, entropy dissipating marker particle schemes for the standard Landau collision operator and the electrostatic gyrokinetic Landau operator. In case of the standard Landau operator, the scheme preserves also the discrete time kinetic momentum. The improvements, the extensions of the structure preserving discretizations in Carrillo et al. J. Comp. Phys. X 7 100066 (2020), Hirvijoki and Burby Phys. Plasmas 27(8) 082307 (2020) to discrete time, are made possible by exploiting the underlying metriplectic structure of the collision operators involved and the so called discrete gradient integrators.


Divergent permutations. Two permutations of the natural numbers diverge if the absolute value of the difference of their elements in the same position goes to infinity. We show that there exists an infinite number of pairwise divergent permutations of the naturals. We relate this result to more general questions about the permutation capacity of infinite graphs.


On the 1 H flow by p Laplace approximation new estimates via fake distances under Ricci lower bounds. In this paper we show the existence of weak solutions w M rightarrow mathbb R of the inverse mean curvature flow starting from a relatively compact set (possibly, a point) on a large class of manifolds satisfying Ricci lower bounds. Under natural assumptions, we obtain sharp estimates for the growth of w and for the mean curvature of its level sets, that are well behaved with respect to Gromov Hausdorff convergence. The construction follows R. Moser's approximation procedure via the p Laplace equation, and relies on new gradient and decay estimates for p harmonic capacity potentials, notably for the kernel mathcal G p of Delta p . These bounds, stable as p rightarrow 1 , are achieved by studying fake distances associated to capacity potentials and Green kernels. We conclude by investigating some basic isoperimetric properties of the level sets of w .


Uniruledness of unitary Shimura varieties associated with Hermitian forms of signatures (1,3) , (1,4) and (1,5) . Gritsenko Hulek showed that some orthogonal Shimura varieties are uniruled. In particular, they have the Kodaira dimension infty . In this paper, we apply the method of Gritsenko Hulek to unitary Shimura varieties associated with Hermitian forms of signatures (1,3) , (1,4) and (1,5) , and show that some of them are uniruled. We use the restrictions of strongly reflective modular forms constructed by Yoshikawa and Gritsenko Hulek. We give examples of Hermitian lattices over the rings of integers of imaginary quadratic fields mathbb Q ( sqrt 1 ) and mathbb Q ( sqrt 2 ) for which the associated unitary Shimura varieties are uniruled.


Monadic vs Adjoint Decomposition. It is known that the so called monadic decomposition, applied to the adjunction connecting the category of bialgebras to the category of vector spaces via the tensor and the primitive functors, returns the usual adjunction between bialgebras and (restricted) Lie algebras. Moreover, in this framework, the notions of augmented monad and combinatorial rank play a central role. In order to set these results into a wider context, we are led to substitute the monadic decomposition by what we call the adjoint decomposition. This construction has the advantage of reducing the computational complexity when compared to the first one. We connect the two decompositions by means of an embedding and we investigate its properties by using a relative version of Grothendieck fibration. As an application, in this wider setting, by using the notion of augmented monad, we introduce a notion of combinatorial rank that, among other things, is expected to give some hints on the length of the monadic decomposition.


Answering Ambiguous Questions through Generative Evidence Fusion and Round Trip Prediction. In open domain question answering, questions are highly likely to be ambiguous because users may not know the scope of relevant topics when formulating them. Therefore, a system needs to find possible interpretations of the question, and predict one or multiple plausible answers. When multiple plausible answers are found, the system should rewrite the question for each answer to resolve the ambiguity. In this paper, we present a model that aggregates and combines evidence from multiple passages to adaptively predict a single answer or a set of question answer pairs for ambiguous questions. In addition, we propose a novel round trip prediction approach to iteratively generate additional interpretations that our model fails to find in the first pass, and then verify and filter out the incorrect question answer pairs to arrive at the final disambiguated output. Our model, named Refuel, achieves a new state of the art performance on the AmbigQA dataset, and shows competitive performance on NQ Open and TriviaQA. The proposed round trip prediction is a model agnostic general approach for answering ambiguous open domain questions, which improves our Refuel as well as several baseline models. We release source code for our models and experiments at https github.com amzn refuel open domain qa.


Analysis of resolution of tomographic type reconstruction from discrete data for a class of distributions. Let f(x) , x in mathbb R 2 , be a piecewise smooth function with a jump discontinuity across a smooth surface mathcal S . Let f Lambda epsilon denote the Lambda tomography (LT) reconstruction of f from its discrete Radon data hat f( alpha k,p j) . The sampling rate along each variable is sim epsilon . First, we compute the limit f 0( check x) lim epsilon to0 epsilon f Lambda epsilon (x 0 epsilon check x) for a generic x 0 in mathcal S . Once the limiting function f 0( check x) is known (which we call the discrete transition behavior, or DTB for short), the resolution of reconstruction can be easily found. Next, we show that straight segments of mathcal S lead to non local artifacts in f Lambda epsilon , and that these artifacts are of the same strength as the useful singularities of f Lambda epsilon . We also show that f Lambda epsilon (x) does not converge to its continuous analogue f Lambda ( Delta) 1 2 f as epsilon to0 even if x not in mathcal S . Results of numerical experiments presented in the paper confirm these conclusions. We also consider a class of Fourier integral operators mathcal B with the same canonical relation as the classical Radon transform adjoint, and a class of distributions g in mathcal E '(Z n) , Z n S n 1 times mathbb R , and obtain easy to use formulas for the DTB when mathcal B g is computed from discrete data g( alpha vec k ,p j) . Exact and LT reconstructions are particlular cases of this more general theory.


Forward backward algorithms with different inertial terms for structured non convex minimization problems. We investigate two inertial forward backward algorithms in connection with the minimization of the sum of a non smooth and possibly non convex and a non convex differentiable function. The algorithms are formulated in the spirit of the famous FISTA method, however the setting is non convex and we allow different inertial terms. Moreover, the inertial parameters in our algorithms can take negative values too. We also treat the case when the non smooth function is convex and we show that in this case a better step size can be allowed. We prove some abstract convergence results which applied to our numerical schemes allow us to show that the generated sequences converge to a critical point of the objective function, provided a regularization of the objective function satisfies the Kurdyka Lojasiewicz property. Further, we obtain a general result that applied to our numerical schemes ensures convergence rates for the generated sequences and for the objective function values formulated in terms of the KL exponent of a regularization of the objective function. Finally, we apply our results to image restoration.


A vanishing theorem for threefolds in characteristic p 5 and applications. In this note we show a Kawamata Viehweg vanishing theorem for pl contractions on threefolds in characteristic p 5 . We deduce several applications for klt threefolds the vanishing of higher direct images of structure sheaves of Mori fibre spaces, Koll 'ar's result on local vanishing and the rationality of the singularities of the base of a conic bundle.


On the calculation of quantum mechanical electron transfer rates. We present a simple interpolation formula for the rate of an electron transfer reaction as a function of the electronic coupling strength. The formula only requires the calculation of Fermi Golden Rule and Born Oppenheimer rates and so can be combined with any methods that are able to calculate these rates. We first demonstrate the accuracy of the formula by applying it to a one dimensional scattering problem for which the exact quantum mechanical, Fermi Golden Rule, and Born Oppenheimer rates are readily calculated. We then describe how the formula can be combined with the Wolynes theory approximation to the Golden Rule rate, and the ring polymer molecular dynamics (RPMD) approximation to the Born Oppenheimer rate, and used to capture the effects of nuclear tunnelling, zero point energy, and solvent friction on condensed phase electron transfer reactions. Comparison with exact hierarchical equations of motion (HEOM) results for a demanding set of spin boson models shows that the interpolation formula has an error comparable to that of RPMD rate theory in the adiabatic limit, and that of Wolynes theory in non adiabatic limit, and is therefore as accurate as any method could possibly be that attempts to generalise these methods to arbitrary electronic coupling strengths.


Fast reactive probabilistic motion planning for high dimensional robots. Many real world robotic operations that involve high dimensional humanoid robots require fast reaction to plan disturbances and probabilistic guarantees over collision risks, whereas most probabilistic motion planning approaches developed for car like robots can not be directly applied to high dimensional robots. In this paper, we present probabilistic Chekov (p Chekov), a fast reactive motion planning system that can provide safety guarantees for high dimensional robots suffering from process noises and observation noises. Leveraging recent advances in machine learning as well as our previous work in deterministic motion planning that integrated trajectory optimization into a sparse roadmap framework, p Chekov demonstrates its superiority in terms of collision avoidance ability and planning speed in high dimensional robotic motion planning tasks in complex environments without the convexification of obstacles. Comprehensive theoretical and empirical analysis provided in this paper shows that p Chekov can effectively satisfy user specified chance constraints over collision risk in practical robotic manipulation tasks.


Cross Domain Knowledge Learning with Dual branch Adversarial Network for Vehicle Re identification. The widespread popularization of vehicles has facilitated all people's life during the last decades. However, the emergence of a large number of vehicles poses the critical but challenging problem of vehicle re identification (reID). Till now, for most vehicle reID algorithms, both the training and testing processes are conducted on the same annotated datasets under supervision. However, even a well trained model will still cause fateful performance drop due to the severe domain bias between the trained dataset and the real world scenes. To address this problem, this paper proposes a domain adaptation framework for vehicle reID (DAVR), which narrows the cross domain bias by fully exploiting the labeled data from the source domain to adapt the target domain. DAVR develops an image to image translation network named Dual branch Adversarial Network (DAN), which could promote the images from the source domain (well labeled) to learn the style of target domain (unlabeled) without any annotation and preserve identity information from source domain. Then the generated images are employed to train the vehicle reID model by a proposed attention based feature learning model with more reasonable styles. Through the proposed framework, the well trained reID model has better domain adaptation ability for various scenes in real world situations. Comprehensive experimental results have demonstrated that our proposed DAVR can achieve excellent performances on both VehicleID dataset and VeRi 776 dataset.


Commutative simplicial bundles. In this paper we introduce a simplicial analogue of principal bundles with commutativity structure and their classifying spaces defined for topological groups. Our construction overline W( tau,K) is a variation of the overline W construction for simplicial groups. We show that the geometric realization of our overline W( tau,K) is homotopy equivalent to the topological classifying space B( tau, K ) and we study what objects does the simplicial set overline W( tau,K) classify.


Temperature Measurement in Plasmonic Nanoapertures used for Optical Trapping. Plasmonic nanoapertures generate strong field gradients enabling efficient optical trapping of nano objects. However, because the infrared laser used for trapping is also partly absorbed into the metal leading to Joule heating, plasmonic nano optical tweezers face the issue of local temperature increase. Here, we develop three independent methods based on molecular fluorescence to quantify the temperature increase induced by a 1064 nm trapping beam focused on single and double nanoholes milled in gold films. We show that the temperature in the nanohole can be increased by 10 deg C even at the moderate intensities of 2 mW mu m 2 used for nano optical trapping. The temperature gain is found to be largely governed by the Ohmic losses into the metal layer, independently of the aperture size, double nanohole gap or laser polarization. The techniques developed therein can be readily extended to other structures to improve our understanding of nano optical tweezers and explore heat controlled chemical reactions in nanoapertures.


Fourier coefficients of restrictions of eigenfunctions. Let e j be an orthonormal basis of Laplace eigenfunctions of a compact Riemannian manifold (M,g) . Let H subset M be a submanifold and let psi k be an orthonormal basis of Laplace eigenfunctions of H with the induced metric. We obtain joint asymptotics for the Fourier coefficients langle gamma H e j, psi k rangle L 2(H) int H e j overline psi k , dV H, of restrictions gamma H e j of e j to H . In particular, we obtain asymptotics for the sums of the norm squares of the Fourier coefficients over the joint spectrum ( mu k, lambda j) j,k 0 infty of the (square roots of the) Laplacian Delta M on M and the Laplacian Delta H on H in a family of suitably thick' regions in mathbb R 2 . Thick regions include (1) the truncated cone mu k lambda j in a,b subset (0,1) and lambda j leq lambda , and (2) the slowly thickening strip mu k c lambda j leq w( lambda) and lambda j leq lambda , where w( lambda) is monotonic and 1 ll w( lambda) lesssim lambda 1 1 n . Key tools for obtaining these asymptotics include the composition calculus of Fourier integral operators and a new multidimensional Tauberian theorem.


Algorithms and Experiments Comparing Two Hierarchical Drawing Frameworks. We present algorithms that extend the path based hierarchical drawing framework and give experimental results. Our algorithms run in O(km) time, where k is the number of paths and m is the number of edges of the graph, and provide better upper bounds than the original path based framework e.g., the height of the resulting drawings is equal to the length of the longest path of G , instead of n 1 , where n is the number of nodes. Additionally, we extend this framework, by bundling and drawing all the edges of the DAG in O(m n log n) time, using minimum extra width per path. We also provide some comparison to a well known hierarchical drawing framework, widely known as the Sugiyama framework, as a proof of concept. The experimental results show that our algorithms produce drawings that are better in area and number of bends, but worse for crossings in sparse graphs. Hence, our technique offers an interesting alternative for drawing hierarchical graphs. Finally, we present an O(m k log k) time algorithm that computes a specific order of the paths in order to reduce the total edge length and number of crossings and bends.


A semantic aided particle filter approach for AUV localization. This paper presents a novel approach to AUV localization, based on a semantic aided particle filter. Particle filters have been used successfully for robotics localization since many years. Most of the approaches are however based on geometric measurements and geometric information and simulations. In the past years more and more efforts from research goes towards cognitive robotics and the marine domain is not exception. Moving from signal to symbol becomes therefore paramount for more complex applications. This paper presents a contribution in the well known area of underwater localization, incorporating semantic information. An extension to the standard particle filter approach is presented, based on semantic information of the environment. A comparison with the geometric approach shows the advantages of a semantic layer to successfully perform self localization.


Spatial coherence of light inside three dimensional media. Speckle is maybe the most fundamental interference effect of light in disordered media, giving rise to fascinating physical phenomena and enabling applications in imaging, spectroscopy or cryptography, to name a few. While speckle formed outside a sample is easily measured and analysed, true bulk speckle, as formed inside random media, is difficult to investigate directly due to the obvious issue of physical access. Furthermore, its proper theoretical description poses enormous challenges. Here we report on the first direct measurements of intensity correlations of light inside a disordered medium, using embedded DNA strings decorated with emitters separated by a controlled nanometric distance. Our method provides in situ access to fundamental properties of bulk speckles as their size and polarization degrees of freedom, both of which are found to deviate significantly from theoretical predictions. The deviations are explained, by comparison with rigorous numerical calculations, in terms of correlations among polarization components and non universal near field contributions at the nanoscale.


Log concavity and concentration of Lipschitz functions on the Boolean hypercube. It is well known that measures whose density is the form e V where V is a uniformly convex potential on RR n attain strong concentration properties. In search of a notion of log concavity on the discrete hypercube, we consider measures on 1,1 n whose multi linear extension f satisfies log nabla 2 f(x) preceq beta Id , for beta geq 0 , which we refer to as beta semi log concave. We prove that these measures satisfy a nontrivial concentration bound, namely, any Hamming Lipchitz test function varphi satisfies Var nu varphi leq n 2 C beta for C beta 0 . As a corollary, we prove a concentration bound for measures which exhibit the so called Rayleigh property. Namely, we show that for measures such that under any external field (or exponential tilt), the correlation between any two coordinates is non positive, Hamming Lipschitz functions admit nontrivial concentration.


Opinion shaping in social networks using reinforcement learning. In this paper, we study how to shape opinions in social networks when the matrix of interactions is unknown. We consider classical opinion dynamics with some stubborn agents and the possibility of continuously influencing the opinions of a few selected agents, albeit under resource constraints. We map the opinion dynamics to a value iteration scheme for policy evaluation for a specific stochastic shortest path problem. This leads to a representation of the opinion vector as an approximate value function for a stochastic shortest path problem with some non classical constraints. We suggest two possible ways of influencing agents. One leads to a convex optimization problem and the other to a non convex one. Firstly, for both problems, we propose two different online two time scale reinforcement learning schemes that converge to the optimal solution of each problem. Secondly, we suggest stochastic gradient descent schemes and compare these classes of algorithms with the two time scale reinforcement learning schemes. Thirdly, we also derive another algorithm designed to tackle the curse of dimensionality one faces when all agents are observed. Numerical studies are provided to illustrate the convergence and efficiency of our algorithms.


Self supervised Video Representation Learning Using Inter intra Contrastive Framework. We propose a self supervised method to learn feature representations from videos. A standard approach in traditional self supervised methods uses positive negative data pairs to train with contrastive learning strategy. In such a case, different modalities of the same video are treated as positives and video clips from a different video are treated as negatives. Because the spatio temporal information is important for video representation, we extend the negative samples by introducing intra negative samples, which are transformed from the same anchor video by breaking temporal relations in video clips. With the proposed Inter Intra Contrastive (IIC) framework, we can train spatio temporal convolutional networks to learn video representations. There are many flexible options in our IIC framework and we conduct experiments by using several different configurations. Evaluations are conducted on video retrieval and video recognition tasks using the learned video representation. Our proposed IIC outperforms current state of the art results by a large margin, such as 16.7 and 9.5 points improvements in top 1 accuracy on UCF101 and HMDB51 datasets for video retrieval, respectively. For video recognition, improvements can also be obtained on these two benchmark datasets. Code is available at https github.com BestJuly Inter intra video contrastive learning.


Biliaison of sheaves. We define an equivalence relation among coherent sheaves on a projective variety called biliaison. We prove the existence of sheaves that are minimal in a biliaison class in a suitable sense, and show that all sheaves in the same class can be obtained from a minimal one using certain deformations and other basic moves. Our results generalize the main theorems of liaison theory of subvarieties to sheaves, and provide a framework to study sheaves and subvarieties simultaneously.


Python vs. R A Text Mining Approach for analyzing the Research Trends in Scopus Database. In the contemporary world, with the incubation of advanced technologies and tremendous outbursts of research works, analyzing big data to incorporate research strategies becomes more helpful using the tools and techniques presented in the current research scenario. This paper indeed tries to tackle the most prominent challenges relating to big data analysis by utilizing a text mining approach to analyze research data published in the field of production management as a case to begin with. The study has been conducted by considering research data of International Journal of Production Research (IJPR) indexed in Scopus between 1961 2017 by dividing the analysis incurred into 3 fragments being 1961 1990, 1991 2010 and finally 2011 2017 as a case to highlight the focus of journal. This has indeed provided multi faceted benefits such as increasing the effectiveness of the procured data with well established comparisons between R and Python Programming along with providing detailed research trends on the research work incubated. The results of the study highlighted some most prominent topics in the existing IJPR literature such as system's optimization, supplier selection, process design, etc. providing well established details relating to ongoing research works. The study also compared both languages suiting to a particular field of study for better comprehension and vastness of the research topics. The current research work is one of the part of a copyright work with registration number SW 10310 2018 titled Program for Analyzing Key Trends in Research Data set. It has been designed in Python for carrying out detailed content analysis based on the available research database in bib format as in the current context it has been applied for IJPR journal and can be replicated on articles of any domain found using keyword search.


Fractional cocoloring of graphs. The cochromatic number Z(G) of a graph G is the fewest number of colors needed to color the vertices of G so that each color class is a clique or an independent set. In a fractional cocoloring of G a non negative weight is assigned to each clique and independent set so that for each vertex v , the sum of the weights of all cliques and independent sets containing v is at least one. The smallest total weight of such a fractional cocoloring of G is the fractional cochromatic number Z f(G) . In this paper we prove results for the fractional cochromatic number Z f(G) that parallel results for Z(G) and the well studied fractional chromatic number chi f (G) . For example Z f(G) chi f(G) when G is triangle free, except when the only nontrivial component of G is a star. More generally, if G contains no k clique, then Z f(G) le chi f(G) le Z f(G) R(k,k) . Moreover, every graph G with chi f(G) m contains a subgraph H with Z f(H) ge ( frac 14 o(1)) frac m log 2 m . We also prove that the maximum value of Z f(G) over all graphs G of order n is Theta (n log n) , and the maximum over all graphs embedded on an orientable surface of genus g is Theta( sqrt g log g) .


MFES HB Efficient Hyperband with Multi Fidelity Quality Measurements. Hyperparameter optimization (HPO) is a fundamental problem in automatic machine learning (AutoML). However, due to the expensive evaluation cost of models (e.g., training deep learning models or training models on large datasets), vanilla Bayesian optimization (BO) is typically computationally infeasible. To alleviate this issue, Hyperband (HB) utilizes the early stopping mechanism to speed up configuration evaluations by terminating those badly performing configurations in advance. This leads to two kinds of quality measurements (1) many low fidelity measurements for configurations that get early stopped, and (2) few high fidelity measurements for configurations that are evaluated without being early stopped. The state of the art HB style method, BOHB, aims to combine the benefits of both BO and HB. Instead of sampling configurations randomly in HB, BOHB samples configurations based on a BO surrogate model, which is constructed with the high fidelity measurements only. However, the scarcity of high fidelity measurements greatly hampers the efficiency of BO to guide the configuration search. In this paper, we present MFES HB, an efficient Hyperband method that is capable of utilizing both the high fidelity and low fidelity measurements to accelerate the convergence of HPO tasks. Designing MFES HB is not trivial as the low fidelity measurements can be biased yet informative to guide the configuration search. Thus we propose to build a Multi Fidelity Ensemble Surrogate (MFES) based on the generalized Product of Experts framework, which can integrate useful information from multi fidelity measurements effectively. The empirical studies on the real world AutoML tasks demonstrate that MFES HB can achieve 3.3 8.9x speedups over the state of the art approach BOHB.


The degree of symmetry of lattice paths. The degree of symmetry of a combinatorial object, such as a lattice path, is a measure of how symmetric the object is. It typically ranges from zero, if the object is completely asymmetric, to its size, if it is completely symmetric. We study the behavior of this statistic on Dyck paths and grand Dyck paths, with symmetry described by reflection along a vertical line through their midpoint partitions, with symmetry given by conjugation and certain compositions interpreted as bargraphs. We find expressions for the generating functions for these objects with respect to their degree of symmetry, and their semilength or semiperimeter, deducing in most cases that, asymptotically, the degree of symmetry has a Rayleigh or half normal limiting distribution. The resulting generating functions are often algebraic, with the notable exception of Dyck paths, for which we conjecture that it is D finite (but not algebraic), based on a functional equation that we obtain using bijections to walks in the plane.


C 2, alpha regularity of free boundaries in optimal transportation. In this paper we establish the C 2, alpha regularity for free boundary in the optimal transport problem in all dimensions.


Self similar motions and related relative equilibria in the N point vortex system. We study self similar solutions of the point vortex system. The explicit formula for self similar solutions has been obtained for the three point vortex problem and for a specific example of the four and five point vortex problems. We see that the families consisting of these self similar collapsing solutions are described by one parameter families, and their collapse time and Hamiltonian are also expressed by functions of the same parameter. Then, the configurations at limit points of the parameter are in relative equilibria. For the many vortex problem, we investigate the point vortex system with the help of numerical computations. In particular, considering the case that N 1 point vortices have a uniform vortex strength, we show that families of self similar collapsing solutions continuously depend on the Hamiltonian and the self similar solutions asymptotically approach relative equilibria as the Hamiltonian gets close to certain values. In addition, we prove the existence of relative equilibria for the four point vortex system. We also investigate an example of seven point vortices with non uniform vortex strengths and give numerical results for it.


Learning Efficient Constraint Graph Sampling for Robotic Sequential Manipulation. Efficient sampling from constraint manifolds, and thereby generating a diverse set of solutions for feasibility problems, is a fundamental challenge. We consider the case where a problem is factored, that is, the underlying nonlinear program is decomposed into differentiable equality and inequality constraints, each of which depends only on some variables. Such problems are at the core of efficient and robust sequential robot manipulation planning. Naive sequential conditional sampling of individual variables, as well as fully joint sampling of all variables at once (e.g., leveraging optimization methods), can be highly inefficient and non robust. We propose a novel framework to learn how to break the overall problem into smaller sequential sampling problems. Specifically, we leverage Monte Carlo Tree Search to learn assignment orders for the variable subsets, in order to minimize the computation time to generate feasible full samples. This strategy allows us to efficiently compute a set of diverse valid robot configurations for mode switches within sequential manipulation tasks, which are waypoints for subsequent trajectory optimization or sampling based motion planning algorithms. We show that the learning method quickly converges to the best sampling strategy for a given problem, and outperforms user defined orderings or fully joint optimization, while providing a higher sample diversity.


On Two Conjectures about the Sum of Element Orders. Let G be a finite group and psi(G) sum g in G o(g) , where o(g) denotes the order of g in G . First, we prove that if G is a group of order n and psi(G) 31 psi(C n) 77 , where C n is the cyclic group of order n , then G is supersolvable. This proves a conjecture of M. T u a rn u a uceanu . Moreover, M. Herzog, P. Longobardi and M. Maj put forward the following conjecture If H leq G , then psi(G) leqslant psi(H) G H 2 . In the sequel, by an example we show that this conjecture is not satisfied in general.


The epidemiology of lateral movement exposures and countermeasures with network contagion models. An approach is developed for analyzing computer networks to identify systems and accounts that are at particular risk of compromise by an adversary seeking to move laterally through the network via authentication. The dynamics of the adversary are modeled as a contagion spreading across systems linked via authentication relationships derived from Administrator account access and active session data. The adversary is assumed to traverse the network via credential chaining, where the adversary steals credentials from one system, uses them to authenticate to another, and repeats the process. Graph topology measures are used to analyze different contagion models applied to a real Windows network for three primary exposures by identifying accounts which, either individually or collectively, provide wide and far reaching access to many systems across the network accounts with notable privilege escalation liability and "gatekeeper" systems through which the adversary must pass in order to reach critical assets. The approach can be used to test how different mitigations and countermeasures affect these exposures for example, we find that disabling remote logins by local accounts and implementing protections that prevent the caching of credentials on remote hosts can substantially curtail lateral movement and privilege escalation.


Big Data Architecture in Czech Republic Healthcare Service Requirements, TPC H Benchmarks and Vertica. Big data in healthcare has made a positive difference in advancing analytical capabilities and lowering the costs of medical care. In addition to providing analytical capabilities on platforms supporting current and near future AI with machine learning and data mining algorithms, there is also a need for ethical considerations mandating new ways to preserve privacy, all of which are preconditioned by the growing body of regulations and expectations. The purpose of this study is to improve existing clinical care by implementing a big data platform for the Czech Republic National Health Service. Based on the achieved performance and its compliance with mandatory guidelines, the reported big data platform was selected as the winning solution from the Czech Republic national tender (Tender Id. VZ0036628, No. Z2017 035520). The platform, based on analytical Vertica NoSQL database for massive data processing, complies with the TPC H1 for decision support benchmark, the European Union (EU) and the Czech Republic requirements, well exceeding defined system performance thresholds. The reported artefacts and concepts are transferrable to healthcare systems in other countries and are intended to provide personalised autonomous assessment from big data in a cost effective, scalable and high performance manner. The implemented platform allows (1) scalability (2) further implementations of newly developed machine learning algorithms for classification and predictive analytics (3) security improvements related to Electronic Health Records (EHR) by using automated functions for data encryption and decryption and (4) the use of big data to allow strategic planning in healthcare.


A Gentzen style monadic translation of G "odel's System T. We introduce a syntactic translation of Goedel's System T parametrized by a weak notion of a monad, and prove a corresponding fundamental theorem of logical relation. Our translation structurally corresponds to Gentzen's negative translation of classical logic. By instantiating the monad and the logical relation, we reveal the well known properties and structures of T definable functionals including majorizability, continuity and bar recursion. Our development has been formalized in the Agda proof assistant.


Congruences related to Miki's identity. Given an odd prime p, we present three independent ways of relating modulo p certain truncated convolutions of divided Bernoulli numbers to certain full convolutions of divided Bernoulli numbers.


Topologically Mixing Properties of Multiplicative Integer System. Motivated from the study of multiple ergodic average, the investigation of multiplicative shift spaces has drawn much of interest among researchers. This paper focuses on the relation of topologically mixing properties between multiplicative shift spaces and traditional shift spaces. Suppose that mathsf X Omega (l) is the multiplicative subshift derived from the shift space Omega with given l 1 . We show that mathsf X Omega (l) is (topologically) transitive mixing if and only if Omega is extensible mixing. After introducing l directional mixing property, we derive the equivalence between l directional mixing property of mathsf X Omega (l) and weakly mixing property of Omega .


Pairwise Near maximal Grand Coupling of Brownian Motions. The well known reflection coupling gives a maximal coupling of two one dimensional Brownian motions with different starting points. Nevertheless, the reflection coupling does not generalize to more than two Brownian motions. In this paper, we construct a coupling of all Brownian motions with all possible starting points (i.e., a grand coupling), such that the coupling for any pair of the coupled processes is close to being maximal, that is, the distribution of the coupling time of the pair approaches that of the maximal coupling as the time tends to 0 or infty , and the coupling time of the pair is always within a multiplicative factor 2e 2 from the maximal one. We also show that a grand coupling that is pairwise exactly maximal does not exist.


Private Edge Computing for Linear Inference Based on Secret Sharing. We consider an edge computing scenario where users want to perform a linear computation on local, private data and a network wide, public matrix. Users offload computations to edge servers located at the edge of the network, but do not want the servers, or any other party with access to the wireless links, to gain any information about their data. We provide a scheme that guarantees information theoretic user data privacy against an eavesdropper with access to a number of edge servers or their corresponding communication links. The novelty of the proposed scheme lies in the utilization of secret sharing and partial replication to provide privacy, mitigate the effect of straggling servers, and to allow for joint beamforming opportunities in the download phase, to minimize the overall latency, consisting of upload, computation, and download latencies.


A new characterization of generalized Browder's theorem and a Cline's formula for generalized Drazin meromorphic inverses. In this paper, we give a new characterization of generalized Browder's theorem by considering equality between the generalized Drazin meromorphic Weyl spectrum and the generalized Drazin meromorphic spectrum. Also, we generalize Cline's formula to the case of generalized Drazin meromorphic invertibility under the assumption that A kB kA k A k 1 for some positive integer k .


Asymptotics for singular solutions to conformally invariant fourth order systems in the punctured ball. We study the asymptotic behavior for singular solutions to a critical fourth order system generalizing the constant Q curvature equation. Our main result extends to the case of strongly coupled systems, the celebrated asymptotic classification due to L. A. Caffarelli, B. Gidas and J. Spruck, Comm. Pure Appl. Math. (1989) and N. Korevaar, R. Mazzeo, F. Pacard and R. Schoen, Invent. Math., (1999) . On the technical level, we use an involved spectral analysis to study the Jacobi fields' growth properties in the kernel of the linearization of our system around a blow up limit solution. Besides, we obtain sharp a priori estimates for the decay rate of singular solutions near the origin. Consequently, we prove that sufficiently close to the isolated singularity solutions behave like the so called Emden Fowler solution. Our main theorem positively answers a question posed by R. L. Frank and T. K "onig, Anal. PDE (2019) concerning the local behavior close to the isolated singularity for scalar solutions in the punctured ball.


The standard twist of L functions revisited. The analytic properties of the standard twist F(s, alpha) , where F(s) belongs to a wide class of L functions, are of prime importance in describing the structure of the Selberg class. In this paper we present a deeper study of such properties. In particular, we show that F(s, alpha) satisfies a functional equation of a new type, somewhat resembling that of the Hurwitz Lerch zeta function. Moreover, we detect the finer polar structure of F(s, alpha) , characterizing in two different ways the occurrence of finitely or infinitely many poles as well as giving a formula for their residues.


Optimal bounds for B "uchi's problem in modular arithmetic II. Given a prime p ge5 and an integer s ge1 , we show that there exists an integer M such that for any quadratic polynomial f with coefficients in the ring of integers modulo p s , such that f is not a square, if a sequence (f(1), dots,f(N)) is a sequence of squares, then N is at most M . We obtain this result by reducing to the case where f has an invertible dominant coefficient.


Review and Examination of Input Feature Preparation Methods and Machine Learning Models for Turbulence Modeling. Model extrapolation to unseen flow is one of the biggest challenges facing data driven turbulence modeling, especially for models with high dimensional inputs that involve many flow features. In this study we review previous efforts on data driven Reynolds Averaged Naiver Stokes (RANS) turbulence modeling and model extrapolation, with main focus on the popular methods being used in the field of transfer learning. Several potential metrics to measure the dissimilarity between training flows and testing flows are examined. Different Machine Learning (ML) models are compared to understand how the capacity or complexity of the model affects its behavior in the face of dataset shift. Data preprocessing schemes which are robust to covariate shift, like normalization, transformation, and importance re weighted likelihood, are studied to understand whether it is possible to find projections of the data that attenuate the differences in the training and test distributions while preserving predictability. Three metrics are proposed to assess the dissimilarity between training testing dataset. To attenuate the dissimilarity, a distribution matching framework is used to align the statistics of the distributions. These modifications also allow the regression tasks to have better accuracy in forecasting under represented extreme values of the target variable. These findings are useful for future ML based turbulence models to evaluate their model predictability and provide guidance to systematically generate diversified high fidelity simulation database.


A generalised mean field approximation for the Deffuant opinion dynamics model on networks. When the interactions of agents on a network are assumed to follow the Deffuant opinion dynamics model, the outcomes are known to depend on the structure of the underlying network. This behavior cannot be captured by existing mean field approximations for the Deffuant model. In this paper, a generalised mean field approximation is derived that accounts for the effects of network topology on Deffuant dynamics through the degree distribution or community structure of the network. The accuracy of the approximation is examined by comparison with large scale Monte Carlo simulations on both synthetic and real world networks.


An abstract analysis framework for monolithic discretisations of poroelasticity with application to Hybrid High Order methods. In this work, we introduce a novel abstract framework for the stability and convergence analysis of fully coupled discretisations of the poroelasticity problem and apply it to the analysis of Hybrid High Order (HHO) schemes. A relevant feature of the proposed framework is that it rests on mild time regularity assumptions that can be derived from an appropriate weak formulation of the continuous problem. To the best of our knowledge, these regularity results for the Biot problem are new. A novel family of HHO discretisation schemes is proposed and analysed, and their performance numerically evaluated.


Gene Patterns Should Architecture be Customized for Each Application?. Providing architectural support is crucial for newly arising applications to achieve high performance and high system efficiency. Currently there is a trend in designing accelerators for special applications, while arguably a debate is sparked whether we should customize architecture for each application. In this study, we introduce what we refer to as Gene Patterns, which are the base patterns of diverse applications. We present a Recursive Reduce methodology to identify the hotspots, and a HOtspot Trace Suite (HOTS) is provided for the research community. We first extract the hotspot patterns, and then, remove the redundancy to obtain the base patterns. We find that although the number of applications is huge and ever increasing, the amount of base patterns is relatively small, due to the similarity among the patterns of diverse applications. The similarity stems not only from the algorithms but also from the data structures. We build the Periodic Table of Memory Access Patterns (PT MAP), where the indifference curves are analogous to the energy levels in physics, and memory performance optimization is essentially an energy level transition. We find that inefficiency results from the mismatch between some of the base patterns and the micro architecture of modern processors. We have identified the key micro architecture demands of the base patterns. The Gene Pattern concept, methodology, and toolkit will facilitate the design of both hardware and software for the matching between architectures and applications.


Very fast, very functorial, and very easy resolution of singularities. The main theorem, I.a, is the existence for excellent Deligne Mumford champ of characteristic zero of a resolution functor independent of the resolution process itself. Perceived wisdom was that this was impossible, but the counterexamples overlooked the possibility of using weighted blow ups. The fundamental local calculations take place in complete local rings, and are elementary in nature, while being self contained and wholly independent of Hironaka's methods and all derivatives thereof, i.e. existing technology. Nevertheless Abramovich, Temkin, and Wlodarczyk, ATW , have varied existing technology to obtain an even shorter proof of principalisation, I.f, in the geometric case. Excellent patching is more technical than varieties over a field, and whence easier geometric arguments are pointed out when they exist.


Motivic and 'Etale Spanier Whitehead duality and the Becker Gottlieb transfer. In this paper, we develop a theory of Becker Gottlieb transfer based on Spanier Whitehead duality that holds in both the motivic and 'etale settings for smooth quasi projective varieties in as broad a context as possible for example, for varieties over non separably closed fields in all characteristics, and also for both the 'etale and motivic settings. In view of the fact that the most promising applications of the traditional Becker Gottlieb transfer has been to torsors and Borel style equivariant cohomology theories, we focus our applications to motivic cohomology theories for torsors as well as Borel style equivariant motivic cohomology theories, both defined with respect to motivic spectra. We obtain several results in this direction, including a stable splitting in generalized motivic cohomology theories. Various further applications will be discussed in forthcoming papers.


Sparse and Structured Visual Attention. Visual attention mechanisms are widely used in multimodal tasks, as visual question answering (VQA). One drawback of softmax based attention mechanisms is that they assign some probability mass to all image regions, regardless of their adjacency structure and of their relevance to the text. In this paper, to better link the image structure with the text, we replace the traditional softmax attention mechanism with two alternative sparsity promoting transformations sparsemax, which is able to select only the relevant regions (assigning zero weight to the rest), and a newly proposed Total Variation Sparse Attention (TVmax), which further encourages the joint selection of adjacent spatial locations. Experiments in VQA show gains in accuracy as well as higher similarity to human attention, which suggests better interpretability.


Artificial neural networks for nonlinear pulse shaping in optical fibers. We use a supervised machine learning model based on a neural network to predict the temporal and spectral intensity profiles of the pulses that form upon nonlinear propagation in optical fibers with both normal and anomalous second order dispersion. We also show that the model is able to retrieve the parameters of the nonlinear propagation from the pulses observed at the output of the fiber. Various initial pulse shapes as well as initially chirped pulses are investigated.


Distributive lattices, associative geometries the arithmetic case. We prove an identity for five arguments, valid in the lattice of natural numbers with gcd and lcm as lattice operations. More generally, this identity characterizes arbitrary distributive lattices. Fixing three of the five arguments, we always get associative products, and thus every distributive lattice carries many semigroup structures. In the arithmetic case, we explicitly compute multiplication tables of such semigroups and describe some of their properties. Many of them are periodic, and can be seen as "non commutative analogs" of the rings Z nZ.


Prediction of number of cases expected and estimation of the final size of coronavirus epidemic in India using the logistic model and genetic algorithm. In this paper, we have applied the logistic growth regression model and genetic algorithm to predict the number of coronavirus infected cases that can be expected in upcoming days in India and also estimated the final size and its peak time of the coronavirus epidemic in India.


Acceleration with a Ball Optimization Oracle. Consider an oracle which takes a point x and returns the minimizer of a convex function f in an ell 2 ball of radius r around x . It is straightforward to show that roughly r 1 log frac 1 epsilon calls to the oracle suffice to find an epsilon approximate minimizer of f in an ell 2 unit ball. Perhaps surprisingly, this is not optimal we design an accelerated algorithm which attains an epsilon approximate minimizer with roughly r 2 3 log frac 1 epsilon oracle queries, and give a matching lower bound. Further, we implement ball optimization oracles for functions with locally stable Hessians using a variant of Newton's method. The resulting algorithm applies to a number of problems of practical and theoretical import, improving upon previous results for logistic and ell infty regression and achieving guarantees comparable to the state of the art for ell p regression.


Existence of Mean Curvature Flow Singularities with Bounded Mean Curvature. In Vel94 , Velazquez constructed a countable collection of mean curvature flow solutions in mathbb R N in every dimension N ge 8 . Each of these solutions becomes singular in finite time at which time the second fundamental form blows up. In contrast, we confirm here that, in every dimension N ge 8 , a nontrivial subset of these solutions has uniformly bounded mean curvature.


Integrating Threat Modeling and Automated Test Case Generation into Industrialized Software Security Testing. Industrial Internet of Things (IIoT) application provide a whole new set of possibilities to drive efficiency of industrial production forward. However, with the higher degree of integration among systems, comes a plethora of newthreats to the latter, as they are not yet designed to be broadly reachable and interoperable. To mitigate these vast amount of new threats, systematic and automated test methods are necessary. This comprehensiveness can be achieved by thorough threat modeling. In order to automate security test, we present an approach to automate the testing process from threat modeling onward, closing the gap between threat modeling and automated test case generation.


DRASIC Distributed Recurrent Autoencoder for Scalable Image Compression. We propose a new architecture for distributed image compression from a group of distributed data sources. The work is motivated by practical needs of data driven codec design, low power consumption, robustness, and data privacy. The proposed architecture, which we refer to as Distributed Recurrent Autoencoder for Scalable Image Compression (DRASIC), is able to train distributed encoders and one joint decoder on correlated data sources. Its compression capability is much better than the method of training codecs separately. Meanwhile, the performance of our distributed system with 10 distributed sources is only within 2 dB peak signal to noise ratio (PSNR) of the performance of a single codec trained with all data sources. We experiment distributed sources with different correlations and show how our data driven methodology well matches the Slepian Wolf Theorem in Distributed Source Coding (DSC). To the best of our knowledge, this is the first data driven DSC framework for general distributed code design with deep learning.


Identifying Operational Data paths in Software Defined Networking Driven Data planes. In this paper, we propose an approach that relies on distributed traffic generation and monitoring to identify the operational data paths in a given Software Defined Networking (SDN) driven data plane. We show that under certain assumptions, there exist necessary and sufficient conditions for formally guaranteeing that all operational data paths are discovered using our approach. In order to provide reliable communication within the SDN driven data planes, assuring that the implemented data paths are the requested (and expected) ones is necessary. This requires discovering the actual operational (running) data paths in the data plane. In SDN, different applications may configure different coexisting data paths, the resulting data paths a specific network flow traverses may not be the intended ones. Furthermore, the SDN components may be defected or compromised. We focus on discovering the operational data paths on SDN driven data planes. However, the proposed approach is applicable to any data plane where the operational data paths must be verified and or certified. A data path discovery toolkit has been implemented. We describe the corresponding set of tools, and showcase the obtained experimental results that reveal inconsistencies in well known SDN applications.


Lefschetz section theorems for tropical hypersurfaces. We establish variants of the Lefschetz hyperplane section theorem for the integral tropical homology groups of tropical hypersurfaces of toric varieties. It follows from these theorems that the integral tropical homology groups of non singular tropical hypersurfaces which are compact or contained in mathbb R n are torsion free. We prove a relationship between the coefficients of the chi y genera of complex hypersurfaces in toric varieties and Euler characteristics of the integral tropical cellular chain complexes of their tropical counterparts. It follows that the integral tropical homology groups give the Hodge numbers of compact non singular hypersurfaces of complex toric varieties. Finally for tropical hypersurfaces in certain affine toric varieties, we relate the ranks of their tropical homology groups to the Hodge Deligne numbers of their complex counterparts.


Marchenko Pastur law with relaxed independence conditions. We prove the Marchenko Pastur law for the eigenvalues of p times p sample covariance matrices in two new situations where the data does not have independent coordinates. In the first scenario the block independent model the p coordinates of the data are partitioned into blocks in such a way that the entries in different blocks are independent, but the entries from the same block may be dependent. In the second scenario the random tensor model the data is the homogeneous random tensor of order d , i.e. the coordinates of the data are all binom n d different products of d variables chosen from a set of n independent random variables. We show that Marchenko Pastur law holds for the block independent model as long as the size of the largest block is o(p) and for the random tensor model as long as d o(n 1 3 ) . Our main technical tools are new concentration inequalities for quadratic forms in random variables with block independent coordinates, and for random tensors.


Machine learning the computational cost of quantum chemistry. Computational quantum mechanics based molecular and materials design campaigns consume increasingly more high performance compute resources, making improved job scheduling efficiency desirable in order to reduce carbon footprint or wasteful spending. We introduce quantum machine learning (QML) models of the computational cost of common quantum chemistry tasks. For 2D non linear toy systems, single point, geometry optimization, and transition state calculations the out of sample prediction error of QML models of wall times decays systematically with training set size. We present numerical evidence for a toy system containing two functions and three commonly used optimizer and for thousands of organic molecular systems including closed and open shell equilibrium structures, as well as transition states. Levels of electronic structure theory considered include B3LYP def2 TZVP, MP2 6 311G(d), local CCSD(T) VTZ F12, CASSCF VDZ F12, and MRCISD Q F12 VDZ F12. In comparison to conventional indiscriminate job treatment, QML based wall time predictions significantly improve job scheduling efficiency for all tasks after training on just thousands of molecules. Resulting reductions in CPU time overhead range from 10 to 90 .


Keep the bursts and ditch the interleavers. To facilitate applications in IoT, 5G, and beyond, there is an engineering need to enable high rate, low latency communications. Errors in physical channels typically arrive in clumps, but most decoders are designed assuming that channels are memoryless. As a result, communication networks rely on interleaving over tens of thousands of bits so that channel conditions match decoder assumptions. Even for short high rate codes, awaiting sufficient data to interleave at the sender and de interleave at the receiver is a significant source of unwanted latency. Using existing decoders with non interleaved channels causes a degradation in block error rate performance owing to mismatch between the decoder's channel model and true channel behaviour. Through further development of the recently proposed Guessing Random Additive Noise Decoding (GRAND) algorithm, which we call GRAND MO for GRAND Markov Order, here we establish that by abandoning interleaving and embracing bursty noise, low latency, short code, high rate communication is possible with block error rates that outperform their interleaved counterparts by a substantial margin. Moreover, while most decoders are twinned to a specific code book structure, GRAND MO can decode any code. Using this property, we establish that certain well known structured codes are ill suited for use in bursty channels, but Random Linear Codes (RLCs) are robust to correlated noise. This work suggests that the use of RLCs with GRAND MO is a good candidate for applications requiring high throughput with low latency.


Hamming and simplex codes for the sum rank metric. Sum rank Hamming codes are introduced in this work. They are essentially defined as the longest codes (thus of highest information rate) with minimum sum rank distance at least 3 (thus one error correcting) for a fixed redundancy r , base field size q and field extension degree m (i.e., number of matrix rows). General upper bounds on their code length, number of shots or sublengths and average sublength are obtained based on such parameters. When the field extension degree is 1 , it is shown that sum rank isometry classes of sum rank Hamming codes are in bijective correspondence with maximal size partial spreads. In that case, it is also shown that sum rank Hamming codes are perfect codes for the sum rank metric. Also in that case, estimates on the parameters (lengths and number of shots) of sum rank Hamming codes are given, together with an efficient syndrome decoding algorithm. Duals of sum rank Hamming codes, called sum rank simplex codes, are then introduced. Bounds on the minimum sum rank distance of sum rank simplex codes are given based on known bounds on the size of partial spreads. As applications, sum rank Hamming codes are proposed for error correction in multishot matrix multiplicative channels and to construct locally repairable codes over small fields, including binary.


Secure and Utility Aware Data Collection with Condensed Local Differential Privacy. Local Differential Privacy (LDP) is popularly used in practice for privacy preserving data collection. Although existing LDP protocols offer high utility for large user populations (100,000 or more users), they perform poorly in scenarios with small user populations (such as those in the cybersecurity domain) and lack perturbation mechanisms that are effective for both ordinal and non ordinal item sequences while protecting sequence length and content simultaneously. In this paper, we address the small user population problem by introducing the concept of Condensed Local Differential Privacy (CLDP) as a specialization of LDP, and develop a suite of CLDP protocols that offer desirable statistical utility while preserving privacy. Our protocols support different types of client data, ranging from ordinal data types in finite metric spaces (numeric malware infection statistics), to non ordinal items (OS versions, transaction categories), and to sequences of ordinal and non ordinal items. Extensive experiments are conducted on multiple datasets, including datasets that are an order of magnitude smaller than those used in existing approaches, which show that proposed CLDP protocols yield high utility. Furthermore, case studies with Symantec datasets demonstrate that our protocols accurately support key cybersecurity focused tasks of detecting ransomware outbreaks, identifying targeted and vulnerable OSs, and inspecting suspicious activities on infected machines.


Author Mentions in Science News Reveal Wide Spread Ethnic Bias. Media outlets play a key role in spreading scientific knowledge to the general public and raising the profile of researchers among their peers. Yet, given time and space constraints, not all scholars can receive equal media attention, and journalists' choices of whom to mention are poorly understood. In this study, we use a comprehensive dataset of 232,524 news stories from 288 U.S. based outlets covering 100,208 research papers across all sciences to investigate the rates at which scientists of different ethnicities are mentioned by name. We find strong evidence of ethnic biases in author mentions, even after controlling for a wide range of possible confounds. Specifically, authors with non British origin names are significantly less likely to be mentioned or quoted than comparable British origin named authors, even within the stories of a particular news outlet covering a particular scientific venue on a particular research topic. Instead, minority scholars are more likely to have their names substituted with their role at their institution. This ethnic bias is consistent across all types of media outlets, with even larger disparities in General Interest outlets that tend to publish longer stories and have dedicated editorial teams for accurately reporting science. Our findings reveal that the perceived ethnicity can substantially shape scientists' media attention, and, by our estimation, this bias has affected thousands of scholars unfairly.


Energy mu Calculus Symbolic Fixed Point Algorithms for omega Regular Energy Games. omega regular energy games, which are weighted two player turn based games with the quantitative objective to keep the energy levels non negative, have been used in the context of verification and synthesis. The logic of modal mu calculus, when applied over game graphs with omega regular winning conditions, allows defining symbolic algorithms in the form of fixed point formulas for computing the sets of winning states. In this paper, we introduce energy mu calculus, a multi valued extension of the mu calculus that serves as a symbolic framework for solving omega regular energy games. Energy mu calculus enables the seamless reuse of existing, well known symbolic mu calculus algorithms for omega regular games, to solve their corresponding energy augmented variants. We define the syntax and semantics of energy mu calculus over symbolic representations of the game graphs, and show how to use it to solve the decision and the minimum credit problems for omega regular energy games, for both bounded and unbounded energy level accumulations.


Teaching a New Dog Old Tricks Resurrecting Multilingual Retrieval Using Zero shot Learning. While billions of non English speaking users rely on search engines every day, the problem of ad hoc information retrieval is rarely studied for non English languages. This is primarily due to a lack of data set that are suitable to train ranking algorithms. In this paper, we tackle the lack of data by leveraging pre trained multilingual language models to transfer a retrieval system trained on English collections to non English queries and documents. Our model is evaluated in a zero shot setting, meaning that we use them to predict relevance scores for query document pairs in languages never seen during training. Our results show that the proposed approach can significantly outperform unsupervised retrieval techniques for Arabic, Chinese Mandarin, and Spanish. We also show that augmenting the English training collection with some examples from the target language can sometimes improve performance.


A trace inequality for commuting tuple of operators. For a commuting d tuple of operators boldsymbol T defined on a complex separable Hilbert space mathcal H , let big ! ! big boldsymbol T , boldsymbol T big ! ! big be the d times d block operator big ( ! ! big ( big T j , T i big big ) ! ! big ) of the commutators T j , T i T j T i T iT j . We define the determinant of big ! ! big boldsymbol T , boldsymbol T big ! ! big by symmetrizing the products in the Laplace formula for the determinant of a scalar matrix. We prove that the determinant of big ! ! big boldsymbol T , boldsymbol T big ! ! big equals the generalized commutator of the 2d tuple of operators, (T 1,T 1 , ldots, T d,T d ) introduced earlier by Helton and Howe. We then apply the Amitsur Levitzki theorem to conclude that for any commuting d tuple of d normal operators, the determinant of big ! ! big boldsymbol T , boldsymbol T big ! ! big must be 0 . We show that if the d tuple boldsymbol T is cyclic, the determinant of big ! ! big boldsymbol T , boldsymbol T big ! ! big is non negative and the compression of a fixed set of words in T j and T i to a nested sequence of finite dimensional subspaces increasing to mathcal H does not grow very rapidly, then the trace of the determinant of the operator big ! ! big boldsymbol T , boldsymbol T big ! ! big is finite. Moreover, an upper bound for this trace is given. This upper bound is shown to be sharp for a class of commuting d tuples. We make a conjecture of what might be a sharp bound in much greater generality and verify it in many examples.


Irrigable Measures for Weighted Irrigation Plans. A model of irrigation network, where lower branches must be thicker in order to support the weight of the higher ones, was recently introduced in BSUN2 4 . This leads to a countable family of ODEs, describing the thickness of every branch, solved by backward induction. The present paper determines what kind of measures can be irrigated with a finite weighted cost. Indeed, the boundedness of the cost depends on the dimension of the support of the irrigated measure, and also on the asymptotic properties of the ODE which determines the thickness of branches.


Potential evolutionary advantage of a dissociative search mechanism in DNA mismatch repair. Protein complexes involved in DNA mismatch repair appear to diffuse along dsDNA in order to locate a hemimethylated incision site via a dissociative mechanism. Here, we study the probability that these complexes locate a given target site via a semi analytic, Monte Carlo calculation that tracks the association and dissociation of the complexes. We compare such probabilities to those obtained using a non dissociative diffusive scan, and determine that for experimentally observed diffusion constants, search distances, and search durations textit in vitro , there is neither a significant advantage nor disadvantage associated with the dissociative mechanism in terms of probability of successful search, and that both search mechanisms are highly efficient for a majority of hemimethylated site distances. Furthermore, we examine the space of physically realistic diffusion constants, hemimethylated site distances, and association lifetimes and determine the regions in which dissociative searching is more or less efficient than non dissociative searching. We conclude that the dissociative search mechanism is advantageous in the majority of the physically realistic parameter space.


A bi integrated model for coupling lot sizing and cutting stock problems. In this paper, a framework that addresses the core of the papermaking process is proposed, starting from the production of jumbos and ending with the paper sheets used in daily life. The first phase of the process is modelled according to a lot sizing problem, where the quantities of jumbos are determined in order to meet the demand of the entire chain. The second phase follows a one dimensional cutting stock formulation, where these jumbos are cut into smaller reels of predetermined lengths. Some of these are intended to fulfil a portfolio of orders, while others are used as raw material for the third phase of the process, when the reels are cut into sheets with specific dimensions and demands, following a two dimensional cutting stock problem. The model is called the Bi Integrated Model, since it is composed of two integrated models. The heuristic method developed uses the Simplex Method with column generation for the two cutting stock phases and applies the Relax and Fix technique to obtain the rounded integer solution. Computational experiments comparing the solutions of the Bi Integrated Model to other strategies of modelling the production process indicate average cost gains reaching 26.63 . Additional analyses of the model behaviour under several situations resulted in remarkable findings.


Markovian Solutions to Discontinuous ODEs. Given a possibly discontinuous, bounded function f mathbb R mapsto mathbb R , we consider the set of generalized flows, obtained by assigning a probability measure on the set of Carath 'eodory solutions to the ODE dot x f(x) . The paper provides a complete characterization of all such flows which have a Markov property in time. This is achieved in terms of (i) a positive, atomless measure supported on the set f 1 (0) where f vanishes, (ii) a countable number of Poisson random variables, determining the waiting times at points in f 1 (0) , and (iii) a countable set of numbers theta k in 0,1 , describing the probability of moving up or down, at isolated points where two distinct trajectories can originate.


Non uniform dependence on initial data for the Camassa Holm equation in Besov spaces. In the paper, we consider the initial value problem to the Camassa Holm equation in the real line case. Based on the local well posedness result and the lifespan, we proved that the data to solution map of this problem is not uniformly continuous in nonhomogeneous Besov spaces in the sense of Hadamard. Our obtained result improves considerably the result in cite H K .


Landmark Based Approaches for Goal Recognition as Planning. The task of recognizing goals and plans from missing and full observations can be done efficiently by using automated planning techniques. In many applications, it is important to recognize goals and plans not only accurately, but also quickly. To address this challenge, we develop novel goal recognition approaches based on planning techniques that rely on planning landmarks. In automated planning, landmarks are properties (or actions) that cannot be avoided to achieve a goal. We show the applicability of a number of planning techniques with an emphasis on landmarks for goal and plan recognition tasks in two settings (1) we use the concept of landmarks to develop goal recognition heuristics and (2) we develop a landmark based filtering method to refine existing planning based goal and plan recognition approaches. These recognition approaches are empirically evaluated in experiments over several classical planning domains. We show that our goal recognition approaches yield not only accuracy comparable to (and often higher than) other state of the art techniques, but also substantially faster recognition time over such techniques.


Lessons Learned Developing and Extending a Visual Analytics Solution for Investigative Analysis of Scamming Activities. Cybersecurity analysts work on large communication data sets to perform investigative analysis by painstakingly going over thousands of email conversations to find potential scamming activities and the network of cyber scammers. Traditionally,experts used email clients, database systems and text editors to perform this investigation. With the advent of technology,elaborate tools that summarize data more efficiently by using cutting edge data visualization techniques have come out. Beagle 1 is one such tool which visualizes the large communication data using different panels such that the inspector has better chances of finding the scam network. This paper is a report on our work to implement and improve the work done by Jay Koven et al. 1 . We have proposed and demonstrated via implementation, a few more visualizations that we feel would help in grouping and analyzing the e mail data more efficiently. Lastly, we have also presented a case study that shows the potential use of our tool in a real world scenario.


PMVOS Pixel Level Matching Based Video Object Segmentation. Semi supervised video object segmentation (VOS) aims to segment arbitrary target objects in video when the ground truth segmentation mask of the initial frame is provided. Due to this limitation of using prior knowledge about the target object, feature matching, which compares template features representing the target object with input features, is an essential step. Recently, pixel level matching (PM), which matches every pixel in template features and input features, has been widely used for feature matching because of its high performance. However, despite its effectiveness, the information used to build the template features is limited to the initial and previous frames. We address this issue by proposing a novel method PM based video object segmentation (PMVOS) that constructs strong template features containing the information of all past frames. Furthermore, we apply self attention to the similarity maps generated from PM to capture global dependencies. On the DAVIS 2016 validation set, we achieve new state of the art performance among real time methods ( 30 fps), with a J F score of 85.6 . Performance on the DAVIS 2017 and YouTube VOS validation sets is also impressive, with J F scores of 74.0 and 68.2 , respectively.


Towards Specifying Symbolic Computation. Many interesting and useful symbolic computation algorithms manipulate mathematical expressions in mathematically meaningful ways. Although these algorithms are commonplace in computer algebra systems, they can be surprisingly difficult to specify in a formal logic since they involve an interplay of syntax and semantics. In this paper we discuss several examples of syntax based mathematical algorithms, and we show how to specify them in a formal logic with undefinedness, quotation, and evaluation.


Flag transitive block designs and unitary groups. In this article, we study 2 designs with gcd(r, lambda) 1 admitting a flag transitive automorphism group. The automorphism groups of these designs are point primitive of almost simple or affine type. We determine all pairs ( mathcal D , G) , where mathcal D is a 2 design with gcd(r, lambda) 1 and G is a flag transitive almost simple automorphism group of mathcal D whose socle is X mathrm PSU (n, q) with (n, q) neq (3, 2) and prove that such a design belongs to one of the two infinite families of Hermitian unitals and Witt Bose Shrikhande spaces, or it is isomorphic to a design with parameters (6, 3, 2) , (7, 3, 1) , (8, 4, 3) , (10, 6, 5) , (11, 5, 2) or (28, 7, 2) .


Blockchain Based Trusted Achievement Record System Design. The primary purpose of this paper is to provide a design of a blockchain based system, which produces a verifiable record of achievements. Such a system has a wide range of potential benefits for students, employers and higher education institutions. A verifiable record of achievements enables students to present academic accomplishments to employers, within a trusted framework. Furthermore, the availability of such a record system would enable students to review their learning throughout their career, giving them a platform on which to plan for their future accomplishments, both individually and with support from other parties (for example, academic advisors, supervisors, or potential employers). The proposed system will help students in universities to increase their extra curricular activities and improve non academic skills. Moreover, the system will facilitate communication between industry, students, and universities for employment purposes and simplify the search for the most appropriate potential employees for the job.


A Standardized Radiograph Agnostic Framework and Platform For Evaluating AI Radiological Systems. Radiology has been essential to accurately diagnosing diseases and assessing responses to treatment. The challenge however lies in the shortage of radiologists globally. As a response to this, a number of Artificial Intelligence solutions are being developed. The challenge Artificial Intelligence radiological solutions however face is the lack of a benchmarking and evaluation standard, and the difficulties of collecting diverse data to truly assess the ability of such systems to generalise and properly handle edge cases. We are proposing a radiograph agnostic platform and framework that would allow any Artificial Intelligence radiological solution to be assessed on its ability to generalise across diverse geographical location, gender and age groups.


Dynamic Bi Objective Routing of Multiple Vehicles. In practice, e.g. in delivery and service scenarios, Vehicle Routing Problems (VRPs) often imply repeated decision making on dynamic customer requests. As in classical VRPs, tours have to be planned short while the number of serviced customers has to be maximized at the same time resulting in a multi objective problem. Beyond that, however, dynamic requests lead to the need for re planning of not yet realized tour parts, while already realized tour parts are irreversible. In this paper we study this type of bi objective dynamic VRP including sequential decision making and concurrent realization of decisions. We adopt a recently proposed Dynamic Evolutionary Multi Objective Algorithm (DEMOA) for a related VRP problem and extend it to the more realistic (here considered) scenario of multiple vehicles. We empirically show that our DEMOA is competitive with a multi vehicle offline and clairvoyant variant of the proposed DEMOA as well as with the dynamic single vehicle approach proposed earlier.


Error bounds and a condition number for the absolute value equations. Absolute value equations, due to their relation to the linear complementarity problem, have been intensively studied recently. In this paper, we present error bounds for absolute value equations. Along with the error bounds, we introduce an appropriate condition number. We consider general scaled matrix p norms, as well as particular p norms. We discuss basic properties of the condition number, its computational complexity, its bounds and also exact values for special classes of matrices. We consider also matrices that appear based on the transformation from the linear complementarity problem.


Iterated integrals on products of one variable multiple polylogarithms. In this paper we show that the iterated integrals on products of one variable multiple polylogarithms from 0 to 1 are actually multiple zeta values if they are convergent. In the divergent case, we define regularized iterated integrals from 0 to 1. By the same method, we show that the regularized iterated integrals are also multiple zeta values. As an application, we give new series representations for multiple zeta values and calculate some interesting examples of iterated integrals.


Nonlinear biseparating maps. An additive map T acting between spaces of vector valued functions is said to be biseparating if T is a bijection so that f and g are disjoint if and only if Tf and Tg are disjoint. Note that an additive bijection retains mathbb Q linearity. For a general nonlinear map T , the definition of biseparating given above turns out to be too weak to determine the structure of T . In this paper, we propose a revised definition of biseparating maps for general nonlinear operators acting between spaces of vector valued functions, which coincides with the previous definition for additive maps. Under some mild assumptions on the function spaces involved, it turns out that a map is biseparating if and only if it is locally determined. We then delve deeply into some specific function spaces spaces of continuous functions, uniformly continuous functions and Lipschitz functions and characterize the biseparating maps acting on them. As a by product, certain forms of automatic continuity are obtained. We also prove some finer properties of biseparating maps in the cases of uniformly continuous and Lipschitz functions.


Code Review in the Classroom. This paper presents a case study to examine the affinity of the code review process among young developers in an academic setting. Code review is indispensable considering the positive outcomes it generates. However, it is not an individual activity and requires substantial interaction among stakeholders, deliverance, and acceptance of feedback, timely actions upon feedback as well as the ability to agree on a solution in the wake of diverse viewpoints. Young developers in a classroom setting provide a clear picture of the potential favourable and problematic areas of the code review process. Their feedback suggests that the process has been well received with some points to better the process. This paper can be used as guidelines to perform code reviews in the classroom.


Generalized entropy minimization under full marginal constraints. We consider the problem of minimizing a generalized relative entropy, with respect to a reference diffusion law, over the set of path measures with fully prescribed marginal distributions. When dealing with the actual relative entropy, problems of this kind have appeared in the stochastic mechanics literature, and minimizers go under the name of Nelson Processes. Through convex duality and stochastic control techniques, we obtain in our main result the full characterization of minimizers, containing the related results in the pioneering works of Cattiaux L 'eonard and Mikami as particular cases. We also establish that minimizers need not be Markovian in general, and may depend on the form of the generalized relative entropy if the state space has dimension greater or equal than two. Finally, we illustrate how generalized relative entropy minimization problems of this kind may prove useful beyond stochastic mechanics, by means of two applications the analysis of certain mean field games, and the study of scaling limits for a class of backwards SDEs.