Near inertial wave critical layers over sloping bathymetry. This study describes a specific type of critical layer for near inertial waves (NIWs) that forms when isopycnals run parallel to sloping bathymetry. Upon entering this slantwise critical layer, the group velocity of the waves decreases to zero and the NIWs become trapped and amplified, which can enhance mixing. A realistic simulation of anticyclonic eddies on the Texas Louisiana shelf reveals that such critical layers can form where the eddies impinge onto the sloping bottom. Velocity shear bands in the simulation indicate that wind forced NIWs are radiated downward from the surface in the eddies, bend upward near the bottom, and enter critical layers over the continental shelf, resulting in inertially modulated enhanced mixing. Idealized simulations designed to capture this flow reproduce the wave propagation and enhanced mixing. The link between the enhanced mixing and wave trapping in the slantwise critical layer is made using ray tracing and an analysis of the waves' energetics in the idealized simulations. An ensemble of simulations is performed spanning the relevant parameter space that demonstrates that the strength of the mixing is correlated with the degree to which NIWs are trapped in the critical layers. While the application here is for a shallow coastal setting, the mechanisms could be active in the open ocean as well where isopycnals align with bathymetry.


Finite time extinction for the 1D stochastic porous medium equation with transport noise. We establish finite time extinction with probability one for weak solutions of the Cauchy Dirichlet problem for the 1D stochastic porous medium equation with Stratonovich transport noise and compactly supported smooth initial datum. Heuristically, this is expected to hold because Brownian motion has average spread rate O(t frac 1 2 ) whereas the support of solutions to the deterministic PME grows only with rate O(t frac 1 m 1 ) . The rigorous proof relies on a contraction principle up to time dependent shift for Wong Zakai type approximations, the transformation to a deterministic PME with two copies of a Brownian path as the lateral boundary, and techniques from the theory of viscosity solutions.


Learning Continuous 3D Reconstructions for Geometrically Aware Grasping. Deep learning has enabled remarkable improvements in grasp synthesis for previously unseen objects from partial object views. However, existing approaches lack the ability to explicitly reason about the full 3D geometry of the object when selecting a grasp, relying on indirect geometric reasoning derived when learning grasp success networks. This abandons explicit geometric reasoning, such as avoiding undesired robot object collisions. We propose to utilize a novel, learned 3D reconstruction to enable geometric awareness in a grasping system. We leverage the structure of the reconstruction network to learn a grasp success classifier which serves as the objective function for a continuous grasp optimization. We additionally explicitly constrain the optimization to avoid undesired contact, directly using the reconstruction. We examine the role of geometry in grasping both in the training of grasp metrics and through 96 robot grasping trials. Our results can be found on https sites.google.com view reconstruction grasp .


Applications of Foliation Theory to Invariant Theory. We give applications of Foliation Theory to the Classical Invariant Theory of real orthogonal representations, including The solution of the Inverse Invariant Theory problem for finite groups. An if and only if criterion for when a separating set is a generating set. And the introduction of a class of generalized polarizations which, in the case of representations of finite groups, always generates the algebra of invariants of their diagonal representations.


The surrogate matrix methodology Accelerating isogeometric analysis of waves. The surrogate matrix methodology delivers low cost approximations of matrices (i.e., surrogate matrices) which are normally computed in Galerkin methods via element scale quadrature formulas. In this paper, the methodology is applied to a number of model problems in wave mechanics treated in the Galerkin isogeometic setting. Herein, the resulting surrogate methods are shown to significantly reduce the assembly time in high frequency wave propagation problems. In particular, the assembly time is reduced with negligible loss in solution accuracy. This paper also extends the scope of previous articles in its series by considering multi patch discretizations of time harmonic, transient, and nonlinear PDEs as particular use cases of the methodology. Our a priori error analysis for the Helmholtz equation demonstrates that the additional consistency error introduced by the presence of surrogate matrices is independent of the wave number. In addition, our floating point analysis establishes that the computational complexity of the methodology compares favorably to other contemporary fast assembly techniques for isogeometric methods. Our numerical experiments demonstrate clear performance gains for time harmonic problems, both with and without the presence of perfectly matched layers. Notable speed ups are also presented for a transient problem with a compressible neo Hookean material.


Extensions of Hyperfields. We develop a theory of extensions of hyperfields that generalizes the notion of field extensions. Since hyperfields have a multivalued addition, we must consider two kinds of extensions that we call weak hyperfield extensions and strong hyperfield extensions. For quotient hyperfields, we develop a method to construct strong hyperfield extensions that contain roots to any polynomial over the hyperfield. Furthermore, we give an example of a hyperfield that has two non isomorphic minimal extensions containing a root to some polynomial. This shows that the process of adjoining a root to a hyperfield is not a well defined operation.


Data driven biological network alignment that uses topological, sequence, and functional information. Many proteins remain functionally unannotated. Sequence alignment (SA) uncovers missing annotations by transferring functional knowledge between species' sequence conserved regions. Because SA is imperfect, network alignment (NA) complements SA by transferring functional knowledge between conserved biological network, rather than just sequence, regions of different species. Existing NA assumes that it is topological similarity (isomorphic like matching) between network regions that corresponds to the regions' functional relatedness. However, we recently found that functionally unrelated proteins are almost as topologically similar as functionally related proteins. So, we redefined NA as a data driven framework, TARA, which learns from network and protein functional data what kind of topological relatedness (rather than similarity) between proteins corresponds to the proteins' functional relatedness. TARA used topological information (within each network) but not sequence information (between proteins across networks). Yet, its alignments yielded higher protein functional prediction accuracy than alignments of existing NA methods, even those that used both topological and sequence information. Here, we propose TARA that is also data driven, like TARA and unlike other existing methods, but that uses across network sequence information on top of within network topological information, unlike TARA. To deal with the within and across network analysis, we adapt social network embedding to the problem of biological NA. TARA outperforms protein functional prediction accuracy of existing methods.


A Refined Non asymptotic Tail Bound of Sub Gaussian Matrix. In this paper, we obtain a refined non asymptotic tail bound for the largest singular value (the soft edge) of sub Gaussian matrix. As an application, we use the obtained theorem to compute the tail bound of the Gaussian Toeplitz matrix.


Simple and Effective Relation Based Approaches To XPath and XSLT Type Checking (Technical Report, Bad Honnef 2015). XPath is a language for addressing parts of an XML document. We give an abstract interpretation of XPath expressions in terms of relations on document node types. Node set related XPath language constructs are mapped straightforwardly onto basic, well understood and easily computable relational operations. Hence our interpretation gives both extremely concise type level denotational semantics and a practical analysis tool for the node set fragment of the XPath 1.0 language. This method is part of the TPath implementation of XPath. XSL T is a pure functional language for transforming XML documents. For the most common case, the transformation into an XML document, type checking of the transformation code is unfeasible in general, but strongly required in practice. It turned out that the relational approach of TPath can be carried over to check all fragments of the result language, which are contained verbatim in the transformation code. This leads to a technique called "Fragmented Validation" and is part of the txsl implementation of XSL T.


Shift of Perspective Identification Within Legal Cases. Arguments, counter arguments, facts, and evidence obtained via documents related to previous court cases are of essential need for legal professionals. Therefore, the process of automatic information extraction from documents containing legal opinions related to court cases can be considered to be of significant importance. This study is focused on the identification of sentences in legal opinion texts which convey different perspectives on a certain topic or entity. We combined several approaches based on semantic analysis, open information extraction, and sentiment analysis to achieve our objective. Then, our methodology was evaluated with the help of human judges. The outcomes of the evaluation demonstrate that our system is successful in detecting situations where two sentences deliver different opinions on the same topic or entity. The proposed methodology can be used to facilitate other information extraction tasks related to the legal domain. One such task is the automated detection of counter arguments for a given argument. Another is the identification of opponent parties in a court case.


Hochshild's method for describing the Mackenzie obstruction for construction of transitive Lie algebroid. The technique developed in Hochschild's works "Lie algebra kernels and cohomology " and "Cohomology classes of finite dimensional kernels for Lie algebras " 2 , 3 can be applied to the special case of transitive Lie algebroids. Our task is formulated to transfer the Hochschild construction to the case of transitive Lie algebroids and prove a similar theorem.


Receptivity of the turbulent precessing vortex core synchronization experiments and global adjoint linear stability analysis. The Precessing Vortex Core (PVC) is a coherent structure that can arise in swirling jets from a global instability. In this work, the PVC is investigated under highly turbulent conditions. The goal is to characterize the receptivity of the PVC to active flow control, both theoretically and experimentally. Based on stereoscopic particle image velocimetry and surface pressure measurements, the experimental studies are facilitated by Fourier decomposition and proper orthogonal decomposition. The frequency and the mode shape of the PVC are extracted and a very good agreement with the theoretical prediction by global linear stability analysis (LSA) is found. By employing an adjoint LSA, it is found that the PVC is particularly receptive inside the duct upstream of the swirling jet. Open loop zero net mass flux actuation is applied at different axial positions inside the duct with the goal of frequency synchronization of the PVC. The actuation is shown to have the strongest effect close to the exit of the duct. There, frequency synchronization is reached primarily through direct mode to mode interaction. Applying the actuation farther upstream, synchronization is only achieved by a modification of the mean flow that manipulates the swirl number. These experimental observations match qualitatively well with the theoretical receptivity derived from adjoint LSA. Although the process of synchronization is very complex, it is concluded that adjoint LSA based on mean field theory sufficiently predicts regions of high and low receptivity. Furthermore, the adjoint framework promises to be a valuable tool for finding ideal locations for flow control applications.


On the Area Bounded by the Curve prod k 1 n x sin(k pi n) y cos(k pi n) 1 . For a positive integer n , let F n (X, Y) prod limits k 1 n left(X sin left( frac k pi n right) Y cos left( frac k pi n right) right). In 2000 Bean and Laugesen proved that for every n geq 3 the area bounded by the curve F n (x, y) 1 is equal to 4 1 1 n B left( frac 1 2 frac 1 n , frac 1 2 right) , where B(x, y) is the beta function. We provide an elementary proof of this fact based on the polar formula for the area calculation. We also prove that F n (X, Y) 2 1 n sum limits substack 1 leq k leq n text k is odd ( 1) frac k 1 2 binom n k X n k Y k and demonstrate that ell n 2 n 1 nu 2(n) is the smallest positive integer such that the binary form ell n F n (X, Y) has integer coefficients. Here nu 2(n) denotes the 2 adic order of n .


Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs. In this paper, we focus on the uniform bipartition problem in the population protocol model. This problem aims to divide a population into two groups of equal size. In particular, we consider the problem in the context of emph arbitrary communication graphs. As a result, we clarify the solvability of the uniform bipartition problem with arbitrary communication graphs when agents in the population have designated initial states, under various assumptions such as the existence of a base station, symmetry of the protocol, and fairness of the execution. When the problem is solvable, we present protocols for uniform bipartition. When global fairness is assumed, the space complexity of our solutions is tight.


Core Shell CdSe CdS Bone Shaped Nanocrystals with a Thick and Anisotropic Shell as Optical Emitters. Colloidal core shell nanocrystals are key materials for optoelectronics, enabling control over essential properties via precise engineering of the shape, thickness, and crystal lattice structure of their shell. Here, we apply the growth protocol for CdS branched nanocrystals on CdSe nanoplatelet seeds and obtain bone shaped heterostructures with a highly anisotropic shell. Surprisingly, the nanoplatelets withstand the high growth temperature of 350 deg C and we obtain structures with a CdSe nanoplatelet core that is overcoated by a shell of cubic CdS, on top of which tetrahedral CdS structures with hexagonal lattice are formed. These complex core shell nanocrystals show a bandedge emission around 657 nm with a photoluminescence quantum yield of ca. 42 in solution, which is also retained in thin films. Interestingly, the nanocrystals manifest simultaneous red and green emission, and the relatively long wavelength of the green emission indicates charge recombination at the cubic hexagonal interface of the CdS shell. The nanocrystal films show amplified spontaneous emission, random lasing, and distributed feedback lasing when the material is deposited on suitable gratings. Our work stimulates the design and fabrication of more exotic core shell heterostructures where charge carrier delocalization, dipole moment, and other optical and electrical properties can be engineered.


Reconstruction of C C Channel for P2P Botnet. Breaking down botnets have always been a big challenge. The robustness of C C channels is increased, and the detection of botmaster is harder in P2P botnets. In this paper, we propose a probabilistic method to reconstruct the topologies of the C C channel for P2P botnets. Due to the geographic dispersion of P2P botnet members, it is not possible to supervise all members, and there does not exist all necessary data for applying other graph reconstruction methods. So far, no general method has been introduced to reconstruct C C channel topology for all type of P2P botnet. In our method, the probability of connections between bots is estimated by using the inaccurate receiving times of several cascades, network model parameters of C C channel, and end to end delay distribution of the Internet. The receiving times can be collected by observing the external reaction of bots to commands. The results of our simulations show that more than 90 of the edges in a 1000 member network with node degree mean 50, have been accurately estimated by collecting the inaccurate receiving times of 22 cascades. In case the receiving times of just half of the bots are collected, this accuracy of estimation is obtained by using 95 cascades.


Transition matrices between Young's natural and seminormal representations. We derive a formula for the entries in the change of basis matrix between Young's seminormal and natural representations of the symmetric group. These entries are determined as sums over weighted paths in the weak Bruhat graph on standard tableaux, and we show that they can be computed recursively as the weighted sum of at most two previously computed entries in the matrix. We generalize our results to work for affine Hecke algebras, Ariki Koike algebras, Iwahori Hecke algebras, and complex reflection groups given by the wreath product of a finite cyclic group with the symmetric group.


A note on the relation between the metric entropy and the generalized fractal dimensions of invariant measures. We investigate in this work some situations where it is possible to estimate or determine the upper and the lower q generalized fractal dimensions D pm mu (q) , q in mathbb R , of invariant measures associated with continuous transformations over compact metric spaces. In particular, we present an alternative proof of Young's Theorem cite Young for the generalized fractal dimensions of the Bowen Margulis measure associated with a C 1 alpha Axiom A system over a two dimensional compact Riemannian manifold M . We also present estimates for the generalized fractal dimensions of an ergodic measure for which Brin Katok's Theorem is satisfied punctually, in terms of its metric entropy. Furthermore, for expansive homeomorphisms (like C 1 Axiom A systems), we show that the set of invariant measures such that D mu (q) 0 ( q ge 1 ), under a hyperbolic metric, is generic (taking into account the weak topology). We also show that for each s in 0,1) , D mu (s) is bounded above, up to a constant, by the topological entropy, also under a hyperbolic metric. Finally, we show that, for some dynamical systems, the metric entropy of an invariant measure is typically zero, settling a conjecture posed by Sigmund in cite Sigmund1974 for Lipschitz transformations which satisfy the specification property.


Adversarial NLI for Factual Correctness in Text Summarisation Models. We apply the Adversarial NLI dataset to train the NLI model and show that the model has the potential to enhance factual correctness in abstract summarization. We follow the work of Falke et al. (2019), which rank multiple generated summaries based on the entailment probabilities between an source document and summaries and select the summary that has the highest entailment probability. The authors' earlier study concluded that current NLI models are not sufficiently accurate for the ranking task. We show that the Transformer models fine tuned on the new dataset achieve significantly higher accuracy and have the potential of selecting a coherent summary.


Rescribe Authoring and Automatically Editing Audio Descriptions. Audio descriptions make videos accessible to those who cannot see them by describing visual content in audio. Producing audio descriptions is challenging due to the synchronous nature of the audio description that must fit into gaps of other video content. An experienced audio description author will produce content that fits narration necessary to understand, enjoy, or experience the video content into the time available. This can be especially tricky for novices to do well. In this paper, we introduce a tool, Rescribe, that helps authors create and refine their audio descriptions. Using Rescribe, authors first create a draft of all the content they would like to include in the audio description. Rescribe then uses a dynamic programming approach to optimize between the length of the audio description, available automatic shortening approaches, and source track lengthening approaches. Authors can iteratively visualize and refine the audio descriptions produced by Rescribe, working in concert with the tool. We evaluate the effectiveness of Rescribe through interviews with blind and visually impaired audio description users who preferred Rescribe edited descriptions to extended descriptions. In addition, we invite novice users to create audio descriptions with Rescribe and another tool, finding that users produce audio descriptions with fewer placement errors using Rescribe.


Temporary changes in large scale memory neural networks after fear learning and extinction in healthy adults. The analysis of the functional connectivity of brain sections associated with fear conditioned training is one of the methods of study of memory neural networks. Before, the majority of studies focused on the functional connectivity of the brain regions that are known for emotional processing such as amygdala and areas of the ventromedial prefrontal cortex in the resting state right after the formation of a fear conditioned reflex. In the present study authors applied the methods of the theory of graphs to search for changes in the functional connectivity at the level of the brain in the resting state in a week dynamics after the extinction of a conditioned reflex with partial reinforcement. The most significant changes were observed in the functional connectivity of the left parahippocampal area. In particular, the rostral part of the left parahippocampal gyrus became the center of a new subnetwork connected with the rostral part of the left hippocampus in all the sessions and after the extinction of a conditioned reflex and the lateral part of the left amygdala right after the extinction and a day after the extinction of a conditioned reflex. A week after the extinction of a conditioned reflex, the rostral part of the left parahippocampal gyrus also had more connections with the areas of the middle frontal gyrus in comparison with the parameters of the baseline resting state to the stimulus. Besides, these changes remained within one week from the moment of the extinction of a conditioned reflex, which could be explained by the chosen paradigm of conditioned reflex with partial reinforcement that led to a slower extinction than a paradigm with full reinforcement.


Current channel evolution in ideal Z pinch for general velocity profiles. Recent diagnostic advances in gas puff Z pinches at the Weizmann Institute for the first time allow the reconstruction of the current flow as a function of time and radius. These experiments show an unexpected radially outward motion of the current channel, as the plasma moves radially inward C. Stollberg, Ph.D thesis, Weizmann Institute, 2019 . In this paper, a mechanism that could explain this current evolution is described. We examine the impact of advection on the distribution of current in a cylindrically symmetric plasma. In the case of metric compression, with v r proportional to r, the current enclosed between each plasma fluid element and the axis is conserved, and so the current profile maintains its shape. We show that for more general velocity profiles, this simple behavior quickly breaks down, allowing for non conservation of current in a compressing conductor, rapid redistribution of the current density, and even for the formation of reverse currents. In particular, a specific inward radial velocity profile is shown to result in radially outward motion of the current channel, recovering the surprising current evolution discovered at the Weizmann Institute.


What You Must Remember When Transforming Datawords. Streaming Data String Transducers (SDSTs) were introduced to model a class of imperative and a class of functional programs, manipulating lists of data items. These can be used to write commonly used routines such as insert, delete and reverse. SDSTs can handle data values from a potentially infinite data domain. The model of Streaming String Transducers (SSTs) is the fragment of SDSTs where the infinite data domain is dropped and only finite alphabets are considered. SSTs have been much studied from a language theoretical point of view. We introduce data back into SSTs, just like data was introduced to finite state automata to get register automata. The result is Streaming String Register Transducers (SSRTs), which is a subclass of SDSTs. SDSTs can compare data values using a linear order on the data domain, which can not be done by SSRTs. We give a machine independent characterization of SSRTs with origin semantics, along the lines of Myhill Nerode theorem. Machine independent characterizations for similar models have formed the basis of learning algorithms and enabled us to understand fragments of the models. Origin semantics of transducers track which positions of the output originate from which positions of the input. Although a restriction, using origin semantics is well justified and known to simplify many problems related to transducers. We use origin semantics as a technical building block, in addition to characterizations of deterministic register automata. However, we need to build more on top of these to overcome some challenges unique to SSRTs.


zksk A Library for Composable Zero Knowledge Proofs. Zero knowledge proofs are an essential building block in many privacy preserving systems. However, implementing these proofs is tedious and error prone. In this paper, we present zksk, a well documented Python library for defining and computing sigma protocols the most popular class of zero knowledge proofs. In zksk, proofs compose programmers can convert smaller proofs into building blocks that then can be combined into bigger proofs. zksk features a modern Python based domain specific language. This makes possible to define proofs without learning a new custom language, and to benefit from the rich Python syntax and ecosystem. The library is available at https github.com spring epfl zksk


Correction to "A spectral sequence for stratified spaces and configuration spaces of points". We correct some oversights in the paper "A spectral sequence for stratified spaces and configuration spaces of points" by the second named author. In particular we explain that an additional hypothesis should be added to Theorem 4.15 in said paper.


The stabilizers for the action of orthogonal similarity on symmetric matrices and orthogonal conjugacy on Hermitian matrices. We describe the recursive algorithmic procedure to compute the stabilizers of the group of complex orthogonal matrices with respect to the action of similarity on the set of all symmetric matrices. Futhermore, lower bounds for dimensions of the stabilizers for the action of orthogonal conjugation on Hermitian matrices are obtained. We also prove a result that completes the classification of normal forms of Hermitian matrices under orthogonal conjugation. A key step in our proof is to solve a certain block matrix equation with Toeplitz blocks. These results are then applied to provide a theorem on normal forms of the quadratic parts of flat complex points in a real codimension 2 submanifold in a complex manifold.


Rounding Dynamic Matchings Against an Adaptive Adversary. We present a new dynamic matching sparsification scheme. From this scheme we derive a framework for dynamically rounding fractional matchings against emph adaptive adversaries . Plugging in known dynamic fractional matching algorithms into our framework, we obtain numerous randomized dynamic matching algorithms which work against adaptive adversaries (the first such algorithms, as all previous randomized algorithms for this problem assumed an emph oblivious adversary). In particular, for any constant epsilon 0 , our framework yields (2 epsilon) approximate algorithms with constant update time or polylog worst case update time, as well as (2 delta) approximate algorithms in bipartite graphs with arbitrarily small polynomial update time, with all these algorithms' guarantees holding against adaptive adversaries. All these results achieve emph polynomially better update time to approximation tradeoffs than previously known to be achievable against adaptive adversaries.


Johnson Graph Codes. We define a Johnson graph code as a subspace of labelings of the vertices in a Johnson graph with the property that labelings are uniquely determined by their restriction to vertex neighborhoods specified by the parameters of the code. We give a construction and main properties for the codes and show their role in the concatenation of layered codes that are used in distributed storage systems. A similar class of codes for the Hamming graph is discussed in an appendix. Codes of the latter type are in general different from affine Reed Muller codes, but for the special case of the hypercube they agree with binary Reed Muller codes.


Trajectory Planning for Autonomous Vehicles Using Hierarchical Reinforcement Learning. Planning safe trajectories under uncertain and dynamic conditions makes the autonomous driving problem significantly complex. Current sampling based methods such as Rapidly Exploring Random Trees (RRTs) are not ideal for this problem because of the high computational cost. Supervised learning methods such as Imitation Learning lack generalization and safety guarantees. To address these problems and in order to ensure a robust framework, we propose a Hierarchical Reinforcement Learning (HRL) structure combined with a Proportional Integral Derivative (PID) controller for trajectory planning. HRL helps divide the task of autonomous vehicle driving into sub goals and supports the network to learn policies for both high level options and low level trajectory planner choices. The introduction of sub goals decreases convergence time and enables the policies learned to be reused for other scenarios. In addition, the proposed planner is made robust by guaranteeing smooth trajectories and by handling the noisy perception system of the ego car. The PID controller is used for tracking the waypoints, which ensures smooth trajectories and reduces jerk. The problem of incomplete observations is handled by using a Long Short Term Memory (LSTM) layer in the network. Results from the high fidelity CARLA simulator indicate that the proposed method reduces convergence time, generates smoother trajectories, and is able to handle dynamic surroundings and noisy observations.


Smart Inspect Micro Scale Localization and Classification of Smartphone Glass Defects for Industrial Automation. The presence of any type of defect on the glass screen of smart devices has a great impact on their quality. We present a robust semi supervised learning framework for intelligent micro scaled localization and classification of defects on a 16K pixel image of smartphone glass. Our model features the efficient recognition and labeling of three types of defects scratches, light leakage due to cracks, and pits. Our method also differentiates between the defects and light reflections due to dust particles and sensor regions, which are classified as non defect areas. We use a partially labeled dataset to achieve high robustness and excellent classification of defect and non defect areas as compared to principal components analysis (PCA), multi resolution and information fusion based algorithms. In addition, we incorporated two classifiers at different stages of our inspection framework for labeling and refining the unlabeled defects. We successfully enhanced the inspection depth limit up to 5 microns. The experimental results show that our method outperforms manual inspection in testing the quality of glass screen samples by identifying defects on samples that have been marked as good by human inspection.


Some embeddings between symmetric R. Thompson groups. Let m leq n in mathbb N , and G leq S m and H leq S n . In this article we find conditions enabling embeddings between the symmetric R. Thompson groups V m(G) and V n(H) . When n equiv 1 mod(m 1) and under some other technical conditions we find an embedding of V n(H) in V m(G) via topological conjugation. With the same modular condition we also generalise a purely algebraic construction of Birget from 2019 to find a group H leq S m and an embedding of V m(G) in V n(H) .


PT CoDE Pre trained Context Dependent Encoder for Utterance level Emotion Recognition. Utterance level emotion recognition (ULER) is a significant research topic for understanding human behaviors and developing empathetic chatting machines in the artificial intelligence area. Unlike traditional text classification problem, this task is supported by a limited number of datasets, among which most contain inadequate conversations or speeches. Such a data scarcity issue limits the possibility of training larger and more powerful models for this task. Witnessing the success of transfer learning in natural language process (NLP), we propose to pre train a context dependent encoder (CoDE) for ULER by learning from unlabeled conversation data. Essentially, CoDE is a hierarchical architecture that contains an utterance encoder and a conversation encoder, making it different from those works that aim to pre train a universal sentence encoder. Also, we propose a new pre training task named "conversation completion" (CoCo), which attempts to select the correct answer from candidate answers to fill a masked utterance in a question conversation. The CoCo task is carried out on pure movie subtitles so that our CoDE can be pre trained in an unsupervised fashion. Finally, the pre trained CoDE (PT CoDE) is fine tuned for ULER and boosts the model performance significantly on five datasets.


On the Asymptotic Optimality of Work Conserving Disciplines in Completion Time Minimization. In this paper, we prove that under mild stochastic assumptions, work conserving disciplines are asymptotic optimal for minimizing total completion time. As a byproduct of our analysis, we obtain tight upper bound on the competitive ratios of work conserving disciplines on minimizing the metric of flow time.


Fast Video Object Segmentation With Temporal Aggregation Network and Dynamic Template Matching. Significant progress has been made in Video Object Segmentation (VOS), the video object tracking task in its finest level. While the VOS task can be naturally decoupled into image semantic segmentation and video object tracking, significantly much more research effort has been made in segmentation than tracking. In this paper, we introduce "tracking by detection" into VOS which can coherently integrate segmentation into tracking, by proposing a new temporal aggregation network and a novel dynamic time evolving template matching mechanism to achieve significantly improved performance. Notably, our method is entirely online and thus suitable for one shot learning, and our end to end trainable model allows multiple object segmentation in one forward pass. We achieve new state of the art performance on the DAVIS benchmark without complicated bells and whistles in both speed and accuracy, with a speed of 0.14 second per frame and J F measure of 75.9 respectively.


Learning Interactions and Relationships between Movie Characters. Interactions between people are often governed by their relationships. On the flip side, social relationships are built upon several interactions. Two strangers are more likely to greet and introduce themselves while becoming friends over time. We are fascinated by this interplay between interactions and relationships, and believe that it is an important aspect of understanding social situations. In this work, we propose neural models to learn and jointly predict interactions, relationships, and the pair of characters that are involved. We note that interactions are informed by a mixture of visual and dialog cues, and present a multimodal architecture to extract meaningful information from them. Localizing the pair of interacting characters in video is a time consuming process, instead, we train our model to learn from clip level weak labels. We evaluate our models on the MovieGraphs dataset and show the impact of modalities, use of longer temporal context for predicting relationships, and achieve encouraging performance using weak labels as compared with ground truth labels. Code is online.


Self Adjusting Evolutionary Algorithms for Multimodal Optimization. Recent theoretical research has shown that self adjusting and self adaptive mechanisms can provably outperform static settings in evolutionary algorithms for binary search spaces. However, the vast majority of these studies focuses on unimodal functions which do not require the algorithm to flip several bits simultaneously to make progress. In fact, existing self adjusting algorithms are not designed to detect local optima and do not have any obvious benefit to cross large Hamming gaps. We suggest a mechanism called stagnation detection that can be added as a module to existing evolutionary algorithms (both with and without prior self adjusting algorithms). Added to a simple (1 1) EA, we prove an expected runtime on the well known Jump benchmark that corresponds to an asymptotically optimal parameter setting and outperforms other mechanisms for multimodal optimization like heavy tailed mutation. We also investigate the module in the context of a self adjusting (1 lambda ) EA and show that it combines the previous benefits of this algorithm on unimodal problems with more efficient multimodal optimization. To explore the limitations of the approach, we additionally present an example where both self adjusting mechanisms, including stagnation detection, do not help to find a beneficial setting of the mutation rate. Finally, we investigate our module for stagnation detection experimentally.


C 0 Stability of Topological Entropy for Contactomorphisms. Topological entropy is not lower semi continous small perturbation of the dynamical system can lead to a collapse of entropy. In this note we show that for some special classes of dynamical systems (geodesic flows, Reeb flows, positive contactomorphisms) topological entropy at least is stable in the sense that there exists a nontrivial continuous lower bound, given that a certain homological invariant grows exponentially.


A free central limit theorem for dynamical systems. The free central limit theorem, a fundamental theorem in free probability, states that empirical averages of freely independent random variables are asymptotically semi circular. We extend this theorem to general dynamical systems of operators that we define using a free random variable X coupled with a group of automorphims describing the evolution of X . We introduce free mixing coefficients that measure how far a dynamical system is from being freely independent. Under conditions on those coefficients, we prove that the free central limit theorem also holds for these processes and provide Berry Essen bounds. We generalize this to triangular arrays and U statistics. Finally we draw connections with classical probability and random matrix theory with a series of examples.


Explicit p harmonic functions on rank one Lie groups of Iwasawa type. We construct explicit proper p harmonic functions on rank one Lie groups of Iwasawa type. This class of Lie groups includes many classical Riemannian manifolds such as the rank one symmetric spaces of non compact type, Damek Ricci spaces, rank one Einstein solvmanifolds and Carnot spaces.


A Taxonomy of Empathetic Response Intents in Human Social Conversations. Open domain conversational agents or chatbots are becoming increasingly popular in the natural language processing community. One of the challenges is enabling them to converse in an empathetic manner. Current neural response generation methods rely solely on end to end learning from large scale conversation data to generate dialogues. This approach can produce socially unacceptable responses due to the lack of large scale quality data used to train the neural models. However, recent work has shown the promise of combining dialogue act intent modelling and neural response generation. This hybrid method improves the response quality of chatbots and makes them more controllable and interpretable. A key element in dialog intent modelling is the development of a taxonomy. Inspired by this idea, we have manually labeled 500 response intents using a subset of a sizeable empathetic dialogue dataset (25K dialogues). Our goal is to produce a large scale taxonomy for empathetic response intents. Furthermore, using lexical and machine learning methods, we automatically analysed both speaker and listener utterances of the entire dataset with identified response intents and 32 emotion categories. Finally, we use information visualization methods to summarize emotional dialogue exchange patterns and their temporal progression. These results reveal novel and important empathy patterns in human human open domain conversations and can serve as heuristics for hybrid approaches.


Active Annotation of Informative Overlapping Frames in Video Mosaicking Applications. Video mosaicking requires the registration of overlapping frames located at distant timepoints in the sequence to ensure global consistency of the reconstructed scene. However, fully automated registration of such long range pairs is (i) challenging when the registration of images itself is difficult and (ii) computationally expensive for long sequences due to the large number of candidate pairs for registration. In this paper, we introduce an efficient framework for the active annotation of long range pairwise correspondences in a sequence. Our framework suggests pairs of images that are sought to be informative to an oracle agent (e.g., a human user, or a reliable matching algorithm) who provides visual correspondences on each suggested pair. Informative pairs are retrieved according to an iterative strategy based on a principled annotation reward coupled with two complementary and online adaptable models of frame overlap. In addition to the efficient construction of a mosaic, our framework provides, as a by product, ground truth landmark correspondences which can be used for evaluation or learning purposes. We evaluate our approach in both automated and interactive scenarios via experiments on synthetic sequences, on a publicly available dataset for aerial imaging and on a clinical dataset for placenta mosaicking during fetal surgery.


Holding Based Evaluation upon Actively Managed Stock Mutual Funds in China. We analyze actively managed mutual funds in China from 2005 to 2017. We develop performance measures for asset allocation and selection. We find that stock selection ability from holding based model is positively correlated with selection ability estimated from Fama French three factor model, which is price based regression model. We also find that industry allocation from holding based model is positively correlated with timing ability estimated from price based Treynor Mazuy model most of the time. We conclude that most actively managed funds have positive stock selection ability but not asset allocation ability, which is due to the difficulty in predicting policy changes.


Sweeping by Sessile Drop Coalescence. During coalescence of liquid drops contacting a solid, the liquid sweeps wetted and solid projected areas. The extent of sweeping dictates the performance of devices such as self cleaning surfaces, anti frost coatings, water harvesters, and dropwise condensers. For these applications, weakly and non wetting solid substrates are preferred as they enhance drop dynamical behavior. Accordingly, our coalescence studies here are restricted to drops with contact angle 90 deg le theta 0 le 180 deg . Binary sessile drop coalescence is the focus, with volume of fluid simulations employed as the primary tool. The simulations, which incorporate a Kistler dynamic contact angle model, are first validated against three different experimental substrate systems and then used to study the influence of solid wettability on sweeping by modifying theta 0 . With increasing theta 0 up to 150 deg , wetted and projected swept areas both increase as drop center of mass heightens. For theta 0 ge 150 deg , coalescence induced drop jumping occurs owing to the decreasing wettability of the substrate and a focusing of liquid momentum due to the symmetry breaking solid. In this regime, projected swept area continues to increase with theta 0 while wetted swept area reaches a maximum and then decreases. The sweeping results are interpreted using the mechanical energy balance from hydrodynamic theory and also compared to free drop coalescence.


Dual Distribution Alignment Network for Generalizable Person Re Identification. Domain generalization (DG) serves as a promising solution to handle person Re Identification (Re ID), which trains the model using labels from the source domain alone, and then directly adopts the trained model to the target domain without model updating. However, existing DG approaches are usually disturbed by serious domain variations due to significant dataset variations. Subsequently, DG highly relies on designing domain invariant features, which is however not well exploited, since most existing approaches directly mix multiple datasets to train DG based models without considering the local dataset similarities, i.e., examples that are very similar but from different domains. In this paper, we present a Dual Distribution Alignment Network (DDAN), which handles this challenge by mapping images into a domain invariant feature space by selectively aligning distributions of multiple source domains. Such an alignment is conducted by dual level constraints, i.e., the domain wise adversarial feature learning and the identity wise similarity enhancement. We evaluate our DDAN on a large scale Domain Generalization Re ID (DG Re ID) benchmark. Quantitative results demonstrate that the proposed DDAN can well align the distributions of various source domains, and significantly outperforms all existing domain generalization approaches.


Asymptotic Analysis of RZF over Double Scattering Channels with MMSE Estimation. This paper studies the ergodic rate performance of regularized zero forcing (RZF) precoding in the downlink of a multi user multiple input single output (MISO) system, where the channel between the base station (BS) and each user is modeled by the double scattering model. This non Gaussian channel model is a function of both the antenna correlation and the structure of scattering in the propagation environment. This paper makes the preliminary contribution of deriving the minimum mean square error (MMSE) channel estimate for this model. Then under the assumption that the users are divided into groups of common correlation matrices, this paper derives deterministic approximations of the signal to interference plus noise ratio (SINR) and the ergodic rate, which are almost surely tight in the limit that the number of BS antennas, the number of users and the number of scatterers in each group grow infinitely large. The derived results are expressed in a closed form for the special case of multi keyhole channels. Simulation results confirm the close match provided by the asymptotic analysis for moderate system dimensions. We show that the maximum number of users that can be supported simultaneously, while realizing large scale MIMO gains, is equal to the number of scatterers.


The Implicit Bias for Adaptive Optimization Algorithms on Homogeneous Neural Networks. Despite their overwhelming capacity to overfit, deep neural networks trained by specific optimization algorithms tend to generalize well to unseen data. Recently, researchers explained it by investigating the implicit regularization effect of optimization algorithms. A remarkable progress is the work (Lyu Li, 2019), which proves gradient descent (GD) maximizes the margin of homogeneous deep neural networks. Except GD, adaptive algorithms such as AdaGrad, RMSProp and Adam are popular owing to their rapid training process. However, theoretical guarantee for the generalization of adaptive optimization algorithms is still lacking. In this paper, we study the implicit regularization of adaptive optimization algorithms when they are optimizing the logistic loss on homogeneous deep neural networks. We prove that adaptive algorithms that adopt exponential moving average strategy in conditioner (such as Adam and RMSProp) can maximize the margin of the neural network, while AdaGrad that directly sums historical squared gradients in conditioner can not. It indicates superiority on generalization of exponential moving average strategy in the design of the conditioner. Technically, we provide a unified framework to analyze convergent direction of adaptive optimization algorithms by constructing novel adaptive gradient flow and surrogate margin. Our experiments can well support the theoretical findings on convergent direction of adaptive optimization algorithms.


A one dimensional morphoelastic model for burn injuries sensitivity analysis and a feasibility study. We consider a one dimensional morphoelastic model describing post burn scar contraction. This model describes the displacement of the dermal layer of the skin and the development of the effective Eulerian strain in the tissue. Besides these components, the model also contains components that play a major role in skin repair after trauma. These components are signaling molecules, fibroblasts, myofibroblasts, and collagen. We perform a sensitivity analysis for many parameters of the model and use the results for a feasibility study. In this study, we test whether the model is suitable for predicting the extent of contraction in different age groups. To this end, we conduct an extensive literature review to find parameter values. From the sensitivity analysis, we conclude that the most sensitive parameters are the equilibrium collagen concentration in the dermal layer, the apoptosis rate of fibroblasts and myofibroblasts, and the secretion rate of signaling molecules. Further, although we can use the model to simulate distinct contraction densities in different age groups, our results differ from what is seen in the clinic.


Spectral Fundamentals and Characterizations of Signed Directed Graphs. The spectral properties of signed directed graphs, which may be naturally obtained by assigning a sign to each edge of a directed graph, have received substantially less attention than those of their undirected and or unsigned counterparts. To represent such signed directed graphs, we use a striking equivalence to mathbb T 6 gain graphs to formulate a Hermitian adjacency matrix, whose entries are the unit Eisenstein integers exp(k pi i 3), k in mathbb Z 6. Many well known results, such as (gain) switching and eigenvalue interlacing, naturally carry over to this paradigm. We show that non empty signed directed graphs whose spectra occur uniquely, up to isomorphism, do not exist, but we provide several infinite families whose spectra occur uniquely up to switching equivalence. Intermediate results include a classification of all signed digraphs with rank 2,3 , and a deep discussion of signed digraphs with extremely few (1 or 2) non negative (eq. non positive) eigenvalues.


Serverless Computing Behind the Scenes of Major Platforms. Serverless computing offers an event driven pay as you go framework for application development. A key selling point is the concept of no back end server management, allowing developers to focus on application functionality. This is achieved through severe abstraction of the underlying architecture the functions run on. We examine the underlying architecture and report on the performance of serverless functions and how they are effected by certain factors such as memory allocation and interference caused by load induced by other users on the platform. Specifically, we focus on the serverless offerings of the four largest platforms AWS Lambda, Google Cloud Functions, Microsoft Azure Functions and IBM Cloud Functions . In this paper, we observe and contrast between these platforms in their approach to the common issue of "cold starts", we devise a means to unveil the underlying architecture serverless functions execute on and we investigate the effects of interference from load on the platform over the time span of one month.


Quasi polynomials and the singular Q,R 0 theorem. In this short note we revisit the shift desingularization' version of the Q,R 0 theorem for possibly singular symplectic quotients. We take as starting point an elegant proof due to Szenes Vergne of the quasi polynomial behavior of the multiplicity as a function of the tensor power of the prequantum line bundle. We use the Berline Vergne index formula and the stationary phase expansion to compute the quasi polynomial, adapting an early approach of Meinrenken.


Bounded solutions and their asymptotics for a doubly nonlinear Cahn Hilliard system. In this paper we deal with a doubly nonlinear Cahn Hilliard system, where both an internal constraint on the time derivative of the concentration and a potential for the concentration are introduced. The definition of the chemical potential includes two regularizations a viscosity and a diffusive term. First of all, we prove existence and uniqueness of a bounded solution to the system using a nonstandard maximum principle argument for time discretizations of doubly nonlinear equations. Possibly including singular potentials, this novel result brings improvements over previous approaches to this problem. Secondly, under suitable assumptions on the data, we show the convergence of solutions to the respective limit problems once either of the two regularization parameters vanishes.


End to End Entity Resolution for Big Data A Survey. One of the most important tasks for improving data quality and the reliability of data analytics results is Entity Resolution (ER). ER aims to identify different descriptions that refer to the same real world entity, and remains a challenging problem. While previous works have studied specific aspects of ER (and mostly in traditional settings), in this survey, we provide for the first time an end to end view of modern ER workflows, and of the novel aspects of entity indexing and matching methods in order to cope with more than one of the Big Data characteristics simultaneously. We present the basic concepts, processing steps and execution strategies that have been proposed by different communities, i.e., database, semantic Web and machine learning, in order to cope with the loose structuredness, extreme diversity, high speed and large scale of entity descriptions used by real world applications. Finally, we provide a synthetic discussion of the existing approaches, and conclude with a detailed presentation of open research directions.


Multitype branching process with nonhomogeneous Poisson and generalized Polya immigration. In a multitype branching process, it is assumed that immigrants arrive according to a nonhomogeneous Poisson or a generalized Polya process (both processes are formulated as a nonhomogeneous birth process with an appropriate choice of transition intensities). We show that the renormalized numbers of objects of the various types alive at time t for supercritical, critical, and subcritical cases jointly converge in distribution under those two different arrival processes. Furthermore, some transient moment analysis when there are only two types of particles is provided. AMS 2000 subject classifications Primary 60J80, 60J85 secondary 60K10, 60K25, 90B15.


On Spaces of Inscribed Triangles. Meyerson's Theorem says that all but at most 2 points of any Jordan loop are vertices of inscribed equilateral triangles. We show that for any Jordan loop there are uncountable many other triangle shapes for which this same result is true. Our result comes from taking the limit of a structural result about spaces of triangles inscribed in polygons.


Stable intersection of Cantor sets in higher dimension and robust homoclinic tangency of the largest codimension. In this paper, we construct (a) a pair of two regular Cantor sets in higher dimension which exhibits C 1 stable intersection and (b) a hyperbolic basic set which exhibits C 2 robust homoclinic tangency of the largest codimension for any higher dimensional manifold, using blenders. The former implies that an analog of Moreira's theorem on Cantor sets in the real line does not hold in higher dimension. The latter solves a question posed by Barrientos and A.Raibekas.


Robust Facial Landmark Detection by Multi order Multi constraint Deep Networks. Recently, heatmap regression has been widely explored in facial landmark detection and obtained remarkable performance. However, most of the existing heatmap regression based facial landmark detection methods neglect to explore the high order feature correlations, which is very important to learn more representative features and enhance shape constraints. Moreover, no explicit global shape constraints have been added to the final predicted landmarks, which leads to a reduction in accuracy. To address these issues, in this paper, we propose a Multi order Multi constraint Deep Network (MMDN) for more powerful feature correlations and shape constraints learning. Specifically, an Implicit Multi order Correlating Geometry aware (IMCG) model is proposed to introduce the multi order spatial correlations and multi order channel correlations for more discriminative representations. Furthermore, an Explicit Probability based Boundary adaptive Regression (EPBR) method is developed to enhance the global shape constraints and further search the semantically consistent landmarks in the predicted boundary for robust facial landmark detection. It's interesting to show that the proposed MMDN can generate more accurate boundary adaptive landmark heatmaps and effectively enhance shape constraints to the predicted landmarks for faces with large pose variations and heavy occlusions. Experimental results on challenging benchmark datasets demonstrate the superiority of our MMDN over state of the art facial landmark detection methods. The code has been publicly available at https github.com junwan2014 MMDN master.


Robust fundamental theorems of asset pricing in discrete time. This paper is devoted to the study of robust fundamental theorems of asset pricing in discrete time and finite horizon settings. The new concept "robust pricing system" is introduced to rule out the existence of model independent arbitrage opportunities. Superhedging duality and strategy are obtained.


Quadratic Optimization based Clique Expansion for Overlapping Community Detection. Community detection is crucial for analyzing social and biological networks, and comprehensive approaches have been proposed in the last two decades. Nevertheless, finding all overlapping communities in large networks that could accurately approximate the ground truth communities remains challenging. In this work, we present the QOCE (Quadratic Optimization based Clique Expansion), an overlapping community detection algorithm that could scale to large networks with hundreds of thousands of nodes and millions of edges. QOCE follows the popular seed set expansion strategy, regarding each high quality maximal clique as the initial seed set and applying quadratic optimization for the expansion. We extensively evaluate our algorithm on 28 synthetic LFR networks and six real world networks of various domains and scales, and compare QOCE with four state of the art overlapping community detection algorithms. Empirical results demonstrate the competitive performance of the proposed approach in terms of detection accuracy, efficiency, and scalability.


A stabilizer free WG Method for the Stokes Equations with order two superconvergence on polytopal mesh. A stabilizer free WG method is introduced for the Stokes equations with superconvergence on polytopal mesh in primary velocity pressure formulation. Convergence rates two order higher than the optimal order for velocity of the WG approximation is proved in both an energy norm and the L 2 norm. Optimal order error estimate for pressure in the L 2 norm is also established. The numerical examples cover low and high order approximations, and 2D and 3D cases.


Auto MAP A DQN Framework for Exploring Distributed Execution Plans for DNN Workloads. The last decade has witnessed growth in the computational requirements for training deep neural networks. Current approaches (e.g., data model parallelism, pipeline parallelism) parallelize training tasks onto multiple devices. However, these approaches always rely on specific deep learning frameworks and requires elaborate manual design, which make it difficult to maintain and share between different type of models. In this paper, we propose Auto MAP, a framework for exploring distributed execution plans for DNN workloads, which can automatically discovering fast parallelization strategies through reinforcement learning on IR level of deep learning models. Efficient exploration remains a major challenge for reinforcement learning. We leverage DQN with task specific pruning strategies to help efficiently explore the search space including optimized strategies. Our evaluation shows that Auto MAP can find the optimal solution in two hours, while achieving better throughput on several NLP and convolution models.


A distributed hypergraph model for the full scale simulation of the collaborations in dblp. This study proposed a model to give a full scale simulation for the dynamics of the collaborations in the dblp dataset. It is a distributed model with the capability of simulating large hypergraphs, namely systems with heterogeneously multinary relationship. Its assembly mechanism of hyperedges is driven by Lotka's law and a cooperative game that maximizes benefit cost ratio for collaborations. The model is built on a circle to express the game, expressing the cost by the distance between nodes. The benefit of coauthoring with a productive researcher or one with many coauthors is expressed by the cumulative degree or hyperdegree of nodes. The model successfully captures the multimodality of collaboration patterns emerged in the dblp dataset, and reproduces the evolutionary trends of collaboration pattern, degree, hyperdegree, clustering, and giant component over thirty years remarkably well. This model has the potential to be extended to understand the complexity of self organized systems that evolve mainly driven by specific cooperative games, and would be capable of predicting the behavior patterns of system nodes.


DomainScope A disease network based on protein domain connections. Protein domains are highly conserved functional units of proteins. Because they carry functionally significant information, the majority of the coding disease variants are located on domains. Additionally, domains are specific units of the proteins that can be targeted for drug delivery purposes. Here, using information about variants sites associated with diseases, a disease network was built, based on their sharing the same domain and domain variation site. The result was 49,990 disease pairs linked by domain variant site and 533,687 disease pairs that share the same mutated domain. These pairs were compared to disease pairs made using previous methods such as gene identity and gene variant site identity, which revealed that over 8,000 of these pairs were not only missing from the gene pairings but also not found commonly together in literature. The disease network was analyzed from their disease subject categories, which when compared to the gene based disease network revealed that the domain method results in higher number of connections across disease categories versus within a disease category. Further, a study into the drug repurposing possibilities of the disease network created using domain revealed that 16,902 of the disease pairs had a drug reported for one disease but not the other, highlighting the drug repurposing potential of this new methodology.


Auto MVCNN Neural Architecture Search for Multi view 3D Shape Recognition. In 3D shape recognition, multi view based methods leverage human's perspective to analyze 3D shapes and have achieved significant outcomes. Most existing research works in deep learning adopt handcrafted networks as backbones due to their high capacity of feature extraction, and also benefit from ImageNet pretraining. However, whether these network architectures are suitable for 3D analysis or not remains unclear. In this paper, we propose a neural architecture search method named Auto MVCNN which is particularly designed for optimizing architecture in multi view 3D shape recognition. Auto MVCNN extends gradient based frameworks to process multi view images, by automatically searching the fusion cell to explore intrinsic correlation among view features. Moreover, we develop an end to end scheme to enhance retrieval performance through the trade off parameter search. Extensive experimental results show that the searched architectures significantly outperform manually designed counterparts in various aspects, and our method achieves state of the art performance at the same time.


Noncovalent Interactions of Hydrated DNA and RNA Mapped by 2D IR Spectroscopy. Biomolecules couple to their aqueous environment through a variety of noncovalent interactions. Local structures at the surface of DNA and RNA are frequently determined by hydrogen bonds with water molecules, complemented by non specific electrostatic and many body interactions. Structural fluctuations of the water shell result in fluctuating Coulomb forces on polar and or ionic groups of the biomolecular structure and in a breaking and reformation of hydrogen bonds. Two dimensional infrared (2D IR) spectroscopy of vibrational modes of DNA and RNA gives insight into local hydration geometries, elementary molecular dynamics, and the mechanisms behind them. In this chapter, recent results from 2D IR spectroscopy of native and artificial DNA and RNA are presented, together with theoretical calculations of molecular couplings and molecular dynamics simulations. Backbone vibrations of DNA and RNA are established as sensitive noninvasive probes of the complex behavior of hydrated helices. The results reveal the femtosecond fluctuation dynamics of the water shell, the short range character of Coulomb interactions, and the strength and fluctuation amplitudes of interfacial electric fields.


On some problems about ternary paths a linear algebra approach. Ternary paths consist of an up step of one unit, a down step of two units, never go below the x axis, and return to the x axis. This paper addresses the enumeration of partial ternary paths, ending at a given level i , reading the path either from left to right or from right to left. Since the paths are not symmetric w.r.t. left vs. right, as classical Dyck paths, this leads to different results. The right to left enumeration is quite challenging, but leads at the end to very satisfying results. The methods are elementary (solving systems of linear equations). In this way, several conjectures left open in Naiomi Cameron's Ph.D. thesis could be successfully settled.


Bogomolov multiplier and the Lazard correspondence. In this paper we extend the notion of CP covers for groups to the field of Lie algebras, and show that despite the case of groups, all CP covers of a Lie algebra are isomorphic. Finally we show that CP covers of groups and Lie rings which are in Lazard correspondence, are in Lazard correspondence too, and the Bogomolov multipliers are isomorphic.


A generalization of Fiedler's lemma and the spectra of H join of graphs. A new generalization of Fiedler's lemma is obtained by introducing the concept of the main function of a matrix. As applications, the universal spectra of the H join, the spectra of the H generalized join and the spectra of the generalized corona of any graphs (possibly non regular) are obtained.


Steinhaus Filtration and Stable Paths in the Mapper. Two central concepts from topological data analysis are persistence and the Mapper construction. Persistence employs a sequence of objects built on data called a filtration. A Mapper produces insightful summaries of data, and has found widespread applications in diverse areas. We define a new filtration called the cover filtration built from a single cover based on a generalized Steinhaus distance, which is a generalization of Jaccard distance. We prove a stability result the cover filtrations of two covers are alpha m interleaved, where alpha is a bound on bottleneck distance between covers and m is the size of smallest set in either cover. We also show our construction is equivalent to the Cech filtration under certain settings, and the Vietoris Rips filtration completely determines the cover filtration in all cases. We then develop a theory for stable paths within this filtration. Unlike standard results on stability in topological persistence, our definition of path stability aligns exactly with the above result on stability of cover filtration. We demonstrate how our framework can be employed in a variety of applications where a metric is not obvious but a cover is readily available. First we present a new model for recommendation systems using cover filtration. For an explicit example, stable paths identified on a movies data set represent sequences of movies constituting gentle transitions from one genre to another. As a second application in explainable machine learning, we apply the Mapper for model induction, providing explanations in the form of paths between subpopulations. Stable paths in the Mapper from a supervised machine learning model trained on the FashionMNIST data set provide improved explanations of relationships between subpopulations of images.


Hierarchical Representation in Neural Language Models Suppression and Recovery of Expectations. Deep learning sequence models have led to a marked increase in performance for a range of Natural Language Processing tasks, but it remains an open question whether they are able to induce proper hierarchical generalizations for representing natural language from linear input alone. Work using artificial languages as training input has shown that LSTMs are capable of inducing the stack like data structures required to represent context free and certain mildly context sensitive languages formal language classes which correspond in theory to the hierarchical structures of natural language. Here we present a suite of experiments probing whether neural language models trained on linguistic data induce these stack like data structures and deploy them while incrementally predicting words. We study two natural language phenomena center embedding sentences and syntactic island constraints on the filler gap dependency. In order to properly predict words in these structures, a model must be able to temporarily suppress certain expectations and then recover those expectations later, essentially pushing and popping these expectations on a stack. Our results provide evidence that models can successfully suppress and recover expectations in many cases, but do not fully recover their previous grammatical state.


Two More Algorithms for Randomized Signature Free Asynchronous Binary Byzantine Consensus with t n 3 and O(n 2) Messages and O(1) Round Expected Termination. This work describes two randomized, asynchronous, round based, Binary Byzantine faulty tolerant consensus algorithms based on the algorithms of 25 and 26 . Like the algorithms of 25 and 26 they do not use signatures, use O(n 2) messages per round (where each message is composed of a round number and a constant number of bits), tolerate up to one third failures, and have expected termination in constant number of rounds. The first, like 26 , uses a weak common coin (i.e. one that can return different values at different processes with a constant probability) to ensure termination. The algorithm consists of 5 to 7 message broadcasts per round. An optimization is described that reduces this to 4 to 5 broadcasts per round for rounds following the first round. Comparatively, 26 consists of 8 to 12 message broadcasts per round. The second algorithm, like 25 , uses a perfect common coin (i.e. one that returns the same value at all non faulty processes) for both termination and correctness. Unlike 25 , it does not require a fair scheduler to ensure termination. Furthermore, the algorithm consists of 2 to 3 message broadcasts for the first round and 1 to 2 broadcasts for the following rounds, while 29 consists of 2 to 3 broadcasts per round.


Left phi biprojectivity of some Banach algebras. In this paper, we introduce a homological notion of left phi biprojectivity for Banach algebras, where phi is a non zero multiplicative linear functional. We show that for a locally compact group G , the Segal algebra S(G) is left phi contractible if and only if G is compact. Also, we prove that the Fourier algebra A(G) is left phi biprojective if and only if G is discrete. Finally, we study left phi biprojectivity of certain semigroup algebras. We give some examples which show the differences between our new notion and the classical ones.


Absorbing time asymptotics in the oriented swap process. The oriented swap process is a natural directed random walk on the symmetric group that can be interpreted as a multi species version of the Totally Asymmetric Simple Exclusion Process (TASEP) on a finite interval. An open problem from a 2008 paper of Angel, Holroyd, and Romik asks for the limiting distribution of the absorbing time of the process. We resolve this question by proving that this random variable satisfies GOE Tracy Widom asymptotics. Our starting point is a distributional identity relating the behavior of the oriented swap process to last passage percolation, conjectured in a recent paper of Bisi, Cunden, Gibbons, and Romik. The main technical tool is a shift invariance principle for multi species TASEPs, obtained by exploiting recent results of Borodin, Gorin, and Wheeler for the stochastic colored six vertex model.


Go left or right? Explore the side preference behavior with circle antipode experiments. Side preference is a critical behavior in conflict handling, and here the behavior is investigated with pedestrian trajectories in circle antipode experiments that own both conflicting and symmetrical participant situations. In the series of experiments, more participants(around 70 ) prefer to walk on the right side, and the statistical analyses reveal that factors such as handedness, gender, and height have no significant impacts. Further investigations show that most pedestrians actually make the side choices at the very beginning, and empirical results suggest that selecting the dominate side preference (right side in our experiments) can benefit the individual movement efficiency. To reflect the realistic side preference characteristics in simulations, a Voronoi diagram based model is introduced as well as a side preference parameter with normal distribution is formulated and calibrated. Further simulations prove that the modified model is able to reproduce realistic side preference behaviors in circle antipode experiments and other common situations.


Visual Dialogue State Tracking for Question Generation. GuessWhat?! is a visual dialogue task between a guesser and an oracle. The guesser aims to locate an object supposed by the oracle oneself in an image by asking a sequence of Yes No questions. Asking proper questions with the progress of dialogue is vital for achieving successful final guess. As a result, the progress of dialogue should be properly represented and tracked. Previous models for question generation pay less attention on the representation and tracking of dialogue states, and therefore are prone to asking low quality questions such as repeated questions. This paper proposes visual dialogue state tracking (VDST) based method for question generation. A visual dialogue state is defined as the distribution on objects in the image as well as representations of objects. Representations of objects are updated with the change of the distribution on objects. An object difference based attention is used to decode new question. The distribution on objects is updated by comparing the question answer pair and objects. Experimental results on GuessWhat?! dataset show that our model significantly outperforms existing methods and achieves new state of the art performance. It is also noticeable that our model reduces the rate of repeated questions from more than 50 to 21.9 compared with previous state of the art methods.


Dual Set Membership Filter with Minimizing Nonlinear Transformation of Ellipsoid. In this paper, we propose a dual set membership filter for nonlinear dynamic systems with unknown but bounded noises, and it has three distinctive properties. Firstly, the nonlinear system is translated into the linear system by leveraging a semi infinite programming, rather than linearizing the nonlinear function. In fact, the semi infinite programming is to find an ellipsoid bounding the nonlinear transformation of an ellipsoid, which aims to compute a tight ellipsoid to cover the state. Secondly, the duality result of the semi infinite programming is derived by a rigorous analysis, then a first order Frank Wolfe method is developed to efficiently solve it with a lower computation complexity. Thirdly, the proposed filter can take advantage of the linear set membership filter framework and can work on line without solving the semidefinite programming problem. Furthermore, we apply the dual set membership filter to a typical scenario of mobile robot localization. Finally, two illustrative examples in the simulations show the advantages and effectiveness of the dual set membership filter.


Probabilistic Tracklet Scoring and Inpainting for Multiple Object Tracking. Despite the recent advances in multiple object tracking (MOT), achieved by joint detection and tracking, dealing with long occlusions remains a challenge. This is due to the fact that such techniques tend to ignore the long term motion information. In this paper, we introduce a probabilistic autoregressive motion model to score tracklet proposals by directly measuring their likelihood. This is achieved by training our model to learn the underlying distribution of natural tracklets. As such, our model allows us not only to assign new detections to existing tracklets, but also to inpaint a tracklet when an object has been lost for a long time, e.g., due to occlusion, by sampling tracklets so as to fill the gap caused by misdetections. Our experiments demonstrate the superiority of our approach at tracking objects in challenging sequences it outperforms the state of the art in most standard MOT metrics on multiple MOT benchmark datasets, including MOT16, MOT17, and MOT20.


VeRNAl Mining RNA Structures for Fuzzy Base Pairing Network Motifs. RNA 3D motifs are recurrent substructures, modelled as networks of base pair interactions, which are crucial for understanding structure function relationships. The task of automatically identifying such motifs is computationally hard, and remains a key challenge in the field of RNA structural biology and network analysis. State of the art methods solve special cases of the motif problem by constraining the structural variability in occurrences of a motif, and narrowing the substructure search space. Here, we relax these constraints by posing the motif finding problem as a graph representation learning and clustering task. This framing takes advantage of the continuous nature of graph representations to model the flexibility and variability of RNA motifs in an efficient manner. We propose a set of node similarity functions, clustering methods, and motif construction algorithms to recover flexible RNA motifs. Our tool, VeRNAl can be easily customized by users to desired levels of motif flexibility, abundance and size. We show that VeRNAl is able to retrieve and expand known classes of motifs, as well as to propose novel motifs.


A Closed form Solution for the Kinematics of Asymmetric Miura Vertices. The Miura vertex is a versatile origami pattern found in a variety of mechanisms. Previous papers have derived and validated a closed form solution for the kinematics of a symmetric Miura vertex, but the motion of an asymmetric vertex has only been shown numerically. In this paper, we present the trigonometric derivation of a closed form solution for the folding of an asymmetric Miura vertex.


AraELECTRA Pre Training Text Discriminators for Arabic Language Understanding. Advances in English language representation enabled a more sample efficient pre training task by Efficiently Learning an Encoder that Classifies Token Replacements Accurately (ELECTRA). Which, instead of training a model to recover masked tokens, it trains a discriminator model to distinguish true input tokens from corrupted tokens that were replaced by a generator network. On the other hand, current Arabic language representation approaches rely only on pretraining via masked language modeling. In this paper, we develop an Arabic language representation model, which we name AraELECTRA. Our model is pretrained using the replaced token detection objective on large Arabic text corpora. We evaluate our model on multiple Arabic NLP tasks, including reading comprehension, sentiment analysis, and named entity recognition and we show that AraELECTRA outperforms current state of the art Arabic language representation models, given the same pretraining data and with even a smaller model size.


Towards the theory of F rational signature. F signature is an important numeric invariant of singularities in positive characteristic that can be used to detect strong F regularity. One would like to have a variant that rather detects F rationality, which led Hochster and Yao to propose a definition of F rational signature. However, their theory seems to be missing a number of important (geometric) properties of the original F signature. We propose a modification of their definition that fills this gap, showing in particular that the modified definition can only increase upon localization and gives rise to a lower semicontinuous function. We also explore the relation with the dual F signature introduced by Sannai and conjecture that the two invariants coincide.


The central sphere of an ALE space. This paper focuses on the spherical fixed point set of a circle action on an ALE space endowed with Kronheimer's hyperkaehler metric. The induced metric on the sphere is described by using the algebraic geometry of rational curves on algebraic surfaces, in particular the lines on a cubic.


Modeling Epidemic Spreading through Public Transit using Time Varying Encounter Network. Passenger contact in public transit (PT) networks can be a key mediate in the spreading of infectious diseases. This paper proposes a time varying weighted PT encounter network to model the spreading of infectious diseases through the PT systems. Social activity contacts at both local and global levels are also considered. We select the epidemiological characteristics of coronavirus disease 2019 (COVID 19) as a case study along with smart card data from Singapore to illustrate the model at the metropolitan level. A scalable and lightweight theoretical framework is derived to capture the time varying and heterogeneous network structures, which enables to solve the problem at the whole population level with low computational costs. Different control policies from both the public health side and the transportation side are evaluated. We find that people's preventative behavior is one of the most effective measures to control the spreading of epidemics. From the transportation side, partial closure of bus routes helps to slow down but cannot fully contain the spreading of epidemics. Identifying "influential passengers" using the smart card data and isolating them at an early stage can also effectively reduce the epidemic spreading.


Self Stabilizing Snapshot Objects for Asynchronous Fail Prone Network Systems. A snapshot object simulates the behavior of an array of single writer multi reader shared registers that can be read atomically. Delporte Gallet et al. proposed two fault tolerant algorithms for snapshot objects in asynchronous crash prone message passing systems. Their first algorithm is emph non blocking it allows snapshot operations to terminate once all write operations have ceased. It uses O(n) messages of O(n nu) bits, where n is the number of nodes and nu is the number of bits it takes to represent the object. Their second algorithm allows snapshot operations to always terminate independently of write operations. It incurs O(n 2) messages. The fault model of Delporte Gallet et al. considers node crashes. We aim at the design of even more robust snapshot objects via the lenses of self stabilization a very strong notion of fault tolerance. In addition to Delporte Gallet et al.'s fault model, our self stabilizing algorithm can recover after the occurrence of transient faults these faults represent arbitrary violations of the assumptions according to which the system was designed to operate. We propose self stabilizing variations of Delporte Gallet et al.'s non blocking algorithm and always terminating algorithm. Our algorithms have similar communication costs to the ones by Delporte Gallet et al. and O(1) recovery time from transient faults. The main differences are that our proposal considers repeated gossiping of O( nu) bit messages and deals with bounded space. We also consider an input parameter, delta , for which we claim an ability to balance the costs of snapshot operations. We validate our correctness proof, evaluate the performance of Delporte Gallet et al.'s algorithms and our proposed variations and investigate the properties of delta via PlanetLab experiments, where significant latency and communication costs reduction are observed.


Combinatorial separation algorithms for the continuous knapsack polyhedra with divisible capacities. It is important to design separation algorithms of low computational complexity in mixed integer programming. We study the separation problems of the two continuous knapsack polyhedra with divisible capacities. The two polyhedra are the convex hulls of the sets which consist of n nonnegative integer variables, one unbounded continuous, m bounded continuous variables, and one linear constraint in either geq or leq form where the coefficients of integer variables are integer and divisible. Wolsey and Yaman (Math Program 156 1 20, 2016) have shown that the polyhedra can be described by adding the two closely related families of partition inequalities. However, no combinatorial separation algorithm is known yet for the polyhedra. In this paper, for each polyhedron, we provide a combinatorial separation algorithm with the complexity of mathcal O (nm m log m ) . In particular, we solve the separation problem for the continuous geq knapsack polyhedron by presenting a polynomial time separation algorithm for the family of geq partition inequalities. For the continuous leq knapsack polyhedron, we derive the complemented partition inequalities, which dominate the leq partition inequalities. The continuous leq knapsack polyhedron is completely described with the addition of the proposed inequalities. We again show that the family of the proposed inequalities can be separated in polynomial time.


Understanding Pedestrian Vehicle Interactions with Vehicle Mounted Vision An LSTM Model and Empirical Analysis. Pedestrians and vehicles often share the road in complex inner city traffic. This leads to interactions between the vehicle and pedestrians, with each affecting the other's motion. In order to create robust methods to reason about pedestrian behavior and to design interfaces of communication between self driving cars and pedestrians we need to better understand such interactions. In this paper, we present a data driven approach to implicitly model pedestrians' interactions with vehicles, to better predict pedestrian behavior. We propose a LSTM model that takes as input the past trajectories of the pedestrian and ego vehicle, and pedestrian head orientation, and predicts the future positions of the pedestrian. Our experiments based on a real world, inner city dataset captured with vehicle mounted cameras, show that the usage of such cues improve pedestrian prediction when compared to a baseline that purely uses the past trajectory of the pedestrian.


Compressible Navier Stokes equations with ripped density. Here we prove the all time propagation of the Sobolev regularity for the velocity field solution of the two dimensional compressible Navier Stokes equations, provided the volume (bulk) viscosity coefficient is large enough. The initial velocity can be arbitrarily large and the initial density is just required to be bounded. In particular, one can consider a characteristic function of a set as an initial density. Uniqueness of the solutions to the equations is shown, in the case of a perfect gas. As a by product of our results, we give a rigorous justification of the convergence to the inhomogeneous incompressible Navier Stokes equations when the volume viscosity tends to infinity. Similar results are proved in the three dimensional case, under some scaling invariant smallness condition on the velocity field.


Classifying Malware Images with Convolutional Neural Network Models. Due to increasing threats from malicious software (malware) in both number and complexity, researchers have developed approaches to automatic detection and classification of malware, instead of analyzing methods for malware files manually in a time consuming effort. At the same time, malware authors have developed techniques to evade signature based detection techniques used by antivirus companies. Most recently, deep learning is being used in malware classification to solve this issue. In this paper, we use several convolutional neural network (CNN) models for static malware classification. In particular, we use six deep learning models, three of which are past winners of the ImageNet Large Scale Visual Recognition Challenge. The other three models are CNN SVM, GRU SVM and MLP SVM, which enhance neural models with support vector machines (SVM). We perform experiments using the Malimg dataset, which has malware images that were converted from Portable Executable malware binaries. The dataset is divided into 25 malware families. Comparisons show that the Inception V3 model achieves a test accuracy of 99.24 , which is better than the accuracy of 98.52 achieved by the current state of the art system called the M CNN model.


Counting General Phylogenetic networks. We provide precise asymptotic estimates for the number of general phylogenetic networks by using analytic combinatorial methods. Recently, this approach is studied by Fuchs, Gittenberger, and the author himself (Australasian Journal of Combinatorics 73(2) 385 423, 2019), to count networks with few reticulation vertices for two subclasses tree child and normal networks. We follow this line of research to show how to obtain results on the enumeration of general phylogenetic networks.


Big Data in Cloud Computing Review and Opportunities. Big Data is used in decision making process to gain useful insights hidden in the data for business and engineering. At the same time it presents challenges in processing, cloud computing has helped in advancement of big data by providing computational, networking and storage capacity. This paper presents the review, opportunities and challenges of transforming big data using cloud computing resources.


Complexity of a Root Clustering Algorithm. Approximating the roots of a holomorphic function in an input box is a fundamental problem in many domains. Most algorithms in the literature for solving this problem are conditional, i.e., they make some simplifying assumptions, such as, all the roots are simple or there are no roots on the boundary of the input box, or the underlying machine model is Real RAM. Root clustering is a generalization of the root approximation problem that allows for errors in the computation and makes no assumption on the multiplicity of the roots. An unconditional algorithm for computing a root clustering of a holomorphic function was given by Yap, Sagraloff and Sharma in 2013. They proposed a subdivision based algorithm using effective predicates based on Pellet's test while avoiding any comparison with zeros (using soft zero comparisons instead). In this paper, we analyze the running time of their algorithm. We use the continuous amortization framework to derive an upper bound on the size of the subdivision tree. We specialize this bound to the case of polynomials and some simple transcendental functions such as exponential and trigonometric sine. We show that the algorithm takes exponential time even for these simple functions, unlike the case of polynomials. We also derive a bound on the bit precision used by the algorithm. To the best of our knowledge, this is the first such result for holomorphic functions. We introduce new geometric parameters, such as the relative growth of the function on the input box, for analyzing the algorithm. Thus, our estimates naturally generalize the known results, i.e., for the case of polynomials.


Robust image stitching with multiple registrations. Panorama creation is one of the most widely deployed techniques in computer vision. In addition to industry applications such as Google Street View, it is also used by millions of consumers in smartphones and other cameras. Traditionally, the problem is decomposed into three phases registration, which picks a single transformation of each source image to align it to the other inputs, seam finding, which selects a source image for each pixel in the final result, and blending, which fixes minor visual artifacts. Here, we observe that the use of a single registration often leads to errors, especially in scenes with significant depth variation or object motion. We propose instead the use of multiple registrations, permitting regions of the image at different depths to be captured with greater accuracy. MRF inference techniques naturally extend to seam finding over multiple registrations, and we show here that their energy functions can be readily modified with new terms that discourage duplication and tearing, common problems that are exacerbated by the use of multiple registrations. Our techniques are closely related to layer based stereo, and move image stitching closer to explicit scene modeling. Experimental evidence demonstrates that our techniques often generate significantly better panoramas when there is substantial motion or parallax.


All exact Borel subalgebras and all directed bocses are normal. Recently, Brzezi 'nski, Koenig and K "ulshammer have introduced the notion of normal exact Borel subalgebra of a quasihereditary algebra. They have shown that there exists a one to one correspondence between normal directed bocses and quasihereditary algebras with a normal and homological exact Borel subalgebra. In this short note, we prove that every exact Borel subalgebra is automatically normal. As a corollary, we conclude that every directed bocs has a group like element. These results simplify Brzezi 'nski, Koenig and K "ulshammer's bijection.


Vibro acoustic baseline free nondestructive testing. Vibro Acoustic Modulation method for detection and characterization of various structural and material flaws has been actively researched for the last two decades. Most of the studies focused on detection and monitoring of macro cracks requiring well established baseline (no damage) value of the modulation index. The baseline value is specific for a particular structure, measuring setup, and other factors and can't be established in many practical situations without a long term monitoring looking for a relative change in the Modulation Index. In this work, we propose and investigate a baseline free Vibro Acoustic Modulation method, which does not require monitoring of relative Modulation Index change, unlike conventional approach. It was hypothesized that the nonlinear mechanisms (and respective nonlinear response) of a structure are different for undamaged and damaged material. For example material without damage or at early stages of fatigue have classic elastic or hysteretic dissipative nonlinearity while damaged (cracked) material may exhibit contact bi linear or Hertzian nonlinear mechanisms. These mechanisms yield different power law dependencies of Modulation Index (MI) as function of applied vibration frequency input amplitude, B MI B b Thus, quadratic nonlinearity yields linear dependence, b 1, and Hertzian nonlinearity results in b 1. Other nonlinear mechanisms yield different power laws. Therefore, measuring power damage coefficient b instead of MI may offer testing without established reference value. It is also offer some insights into the nonlinear mechanisms transformation during damage evolution. This approach was experimentally investigated and validated.


An Evaluation of Visualization Methods for Population Statistics Based on Choropleth Maps. We evaluate several augmentations to the choropleth map to convey additional information, including glyphs, 3D, cartograms, juxtaposed maps, and shading methods. While choropleth maps are a common method used to represent societal data, with multivariate data they can impede as much as improve understanding. In particular large, low population density regions often dominate the map and can mislead the viewer as to the message conveyed. Our results highlight the potential of 3D choropleth maps as well as the low accuracy of choropleth map tasks with multivariate data. We also introduce and evaluate popcharts, four techniques designed to show the density of population at a very fine scale on top of choropleth maps. All the data, results, and scripts are available from https osf.io 8rxwg .