Automatic Speech Summarisation A Scoping Review. Speech summarisation techniques take human speech as input and then output an abridged version as text or speech. Speech summarisation has applications in many domains from information technology to health care, for example improving speech archives or reducing clinical documentation burden. This scoping review maps the speech summarisation literature, with no restrictions on time frame, language summarised, research method, or paper type. We reviewed a total of 110 papers out of a set of 153 found through a literature search and extracted speech features used, methods, scope, and training corpora. Most studies employ one of four speech summarisation architectures (1) Sentence extraction and compaction (2) Feature extraction and classification or rank based sentence selection (3) Sentence compression and compression summarisation and (4) Language modelling. We also discuss the strengths and weaknesses of these different methods and speech features. Overall, supervised methods (e.g. Hidden Markov support vector machines, Ranking support vector machines, Conditional random fields) performed better than unsupervised methods. As supervised methods require manually annotated training data which can be costly, there was more interest in unsupervised methods. Recent research into unsupervised methods focusses on extending language modelling, for example by combining Uni gram modelling with deep neural networks. Protocol registration The protocol for this scoping review is registered at https osf.io.


Linear Work Generation of R MAT Graphs. R MAT is a simple, widely used recursive model for generating complex network' graphs with a power law degree distribution and community structure. We make R MAT even more useful by reducing the required work per edge from logarithmic to constant. The algorithm works in an embarrassingly parallel way.


Maximizers for Strichartz Inequalities on the Torus. We study the existence of maximizers for a one parameter family of Strichartz inequalities on the torus. In general maximizing sequences can fail to be precompact in L 2( mathbb T) , and maximizers can fail to exist. We provide a sufficient condition for precompactness of maximizing sequences (after translation in Fourier space), and verify the existence of maximizers for a range of values of the parameter. Maximizers for the Strichartz inequalities correspond to stable, periodic (in space and time) solutions of a model equation for optical pulses in a dispersion managed fiber.


Federated Mimic Learning for Privacy Preserving Intrusion Detection. Internet of things (IoT) devices are prone to attacks due to the limitation of their privacy and security components. These attacks vary from exploiting backdoors to disrupting the communication network of the devices. Intrusion Detection Systems (IDS) play an essential role in ensuring information privacy and security of IoT devices against these attacks. Recently, deep learning based IDS techniques are becoming more prominent due to their high classification accuracy. However, conventional deep learning techniques jeopardize user privacy due to the transfer of user data to a centralized server. Federated learning (FL) is a popular privacy preserving decentralized learning method. FL enables training models locally at the edge devices and transferring local models to a centralized server instead of transferring sensitive data. Nevertheless, FL can suffer from reverse engineering ML attacks that can learn information about the user's data from model. To overcome the problem of reverse engineering, mimic learning is another way to preserve the privacy of ML based IDS. In mimic learning, a student model is trained with the public dataset, which is labeled with the teacher model that is trained by sensitive user data. In this work, we propose a novel approach that combines the advantages of FL and mimic learning, namely federated mimic learning to create a distributed IDS while minimizing the risk of jeopardizing users' privacy, and benchmark its performance compared to other ML based IDS techniques using NSL KDD dataset. Our results show that we can achieve 98.11 detection accuracy with federated mimic learning.


Self Scheduling Robust Preview Controllers for Path Tracking and Autonomous Vehicles. In this study, we detail the procedures for designing gain scheduling controllers by Linear Quadratic H infty robust optimization methods in Linear Matrix Inequalities (LMI) framework. The controllers are aimed at steering control of the autonomous vehicles. We first construct the Linear Parameter Varying (LPV) vehicle models and synthesize the robust controllers with uncertainty and nominal plants. We choose static output and state feedback controller structure to avoid higher order controllers considering implementation issues. The robust control problems are solved by using different LMI formulations and optimization weights with and without eigenvalue location constraints. The results are compared.


Some constructions in the M anava 'Sulvas utra. The M anava 'Sulvas utra, while less sophisticated than the other 'sulvas utras, is seen to contain some mathematical ideas and constructions not found in the other 'sulvas utras. Here we discuss some of these constructions and discuss their significance in the overall context of the 'sulvas utra literature.


Optimal Feature Transport for Cross View Image Geo Localization. This paper addresses the problem of cross view image geo localization, where the geographic location of a ground level street view query image is estimated by matching it against a large scale aerial map (e.g., a high resolution satellite image). State of the art deep learning based methods tackle this problem as deep metric learning which aims to learn global feature representations of the scene seen by the two different views. Despite promising results are obtained by such deep metric learning methods, they, however, fail to exploit a crucial cue relevant for localization, namely, the spatial layout of local features. Moreover, little attention is paid to the obvious domain gap (between aerial view and ground view) in the context of cross view localization. This paper proposes a novel Cross View Feature Transport (CVFT) technique to explicitly establish cross view domain transfer that facilitates feature alignment between ground and aerial images. Specifically, we implement the CVFT as network layers, which transports features from one domain to the other, leading to more meaningful feature similarity comparison. Our model is differentiable and can be learned end to end. Experiments on large scale datasets have demonstrated that our method has remarkably boosted the state of the art cross view localization performance, e.g., on the CVUSA dataset, with significant improvements for top 1 recall from 40.79 to 61.43 , and for top 10 from 76.36 to 90.49 . We expect the key insight of the paper (i.e., explicitly handling domain difference via domain transport) will prove to be useful for other similar problems in computer vision as well.


Towards Causality Extraction from Requirements. System behavior is often based on causal relations between certain events (e.g. If event1, then event2). Consequently, those causal relations are also textually embedded in requirements. We want to extract this causal knowledge and utilize it to derive test cases automatically and to reason about dependencies between requirements. Existing NLP approaches fail to extract causality from natural language (NL) with reasonable performance. In this paper, we describe first steps towards building a new approach for causality extraction and contribute (1) an NLP architecture based on Tree Recursive Neural Networks (TRNN) that we will train to identify causal relations in NL requirements and (2) an annotation scheme and a dataset that is suitable for training TRNNs. Our dataset contains 212,186 sentences from 463 publicly available requirement documents and is a first step towards a gold standard corpus for causality extraction. We encourage fellow researchers to contribute to our dataset and help us in finalizing the causality annotation process. Additionally, the dataset can also be annotated further to serve as a benchmark for other RE relevant NLP tasks such as requirements classification.


Microwave photonic filters via radio frequency bandwidth scaling based on soliton crystal optical micro combs. We demonstrate high resolution photonic RF filters using an RF bandwidth scaling approach based on integrated Kerr optical micro combs. By employing both an active nonlinear micro ring resonator (MRR) as a high quality micro comb source and a passive high Q MRR to slice the shaped comb, a large RF instantaneous bandwidth of 4.64 GHz and a high resolution of 117 MHz are achieved, together with a broad RF operation band covering 3.28 to 19.4 GHz (L to Ku bands) using thermal tuning. We achieve programmable RF transfer functions including binary coded notch filters and RF equalizing filters with reconfigurable slopes. Our approach is an attractive solution for high performance RF spectral shaping with high performance and flexibility.


Simple Graphs of Order 12 and Minimum Degree 6 Contain K 6 Minors. We prove that every simple graph of order 12 which has minimum degree 6 contains a K 6 minor.


Generic properties of Ma n 'e's set of exact magnetic Lagrangians. Let M be a closed manifold and L an exact magnetic Lagrangian. In this paper we proved that there exists a residual mathcal G of H 1 left( M mathbb R right) such that the property begin equation widetilde mathcal M left( c right) widetilde mathcal A left( c right) widetilde mathcal N left( c right), forall c in mathcal G end equation with widetilde mathcal M left( c right) supports on a uniquely ergodic measure, is generic in the family of exact magnetic Lagrangians. We also prove that, fixed the cohomology class c , there exists a residual set of exact magnetic Lagrangians such that when this unique measure is supported on a periodic orbit, this orbit is hyperbolic and its stable and unstable manifolds intersect transversally. This result is a version of Theorem D of cite gon5 for the exact magnetic Lagrangian case.


Semisimplicity of the DS functor for the orthosymplectic Lie superalgebra. We prove that the Duflo Serganova functor DS x attached to an odd nilpotent element x of mathfrak osp (m 2n) is semisimple, i.e. sends a semisimple representation M of mathfrak osp (m 2n) to a semisimple representation of mathfrak osp (m 2k 2n 2k) where k is the rank of x . We prove a closed formula for DS x(L( lambda)) in terms of the arc diagram attached to lambda .


Stochastic Path Dependent Hamilton Jacobi Bellman Equations and Controlled Stochastic Differential Equations with Random Path Dependent Coefficients. In this paper, we propose and study the stochastic path dependent Hamilton Jacobi Bellman (SPHJB) equation that arises naturally from the optimal stochastic control problem of stochastic differential equations with path dependence and measurable randomness. Both the notions of viscosity solution and classical solution are proposed, and the value function of the optimal stochastic control problem is proved to be the viscosity solution to the associated SPHJB equation. A uniqueness result about viscosity solutions is also given for certain superparabolic cases, while the uniqueness of classical solution is addressed for general cases. In addition, an It o Kunita Wentzell Krylov formula is proved for the compositions of random fields and stochastic differential equations in the path dependent setting.


Exploring Domain Shift in Extractive Text Summarization. Although domain shift has been well explored in many NLP applications, it still has received little attention in the domain of extractive text summarization. As a result, the model is under utilizing the nature of the training data due to ignoring the difference in the distribution of training sets and shows poor generalization on the unseen domain. With the above limitation in mind, in this paper, we first extend the conventional definition of the domain from categories into data sources for the text summarization task. Then we re purpose a multi domain summarization dataset and verify how the gap between different domains influences the performance of neural summarization models. Furthermore, we investigate four learning strategies and examine their abilities to deal with the domain shift problem. Experimental results on three different settings show their different characteristics in our new testbed. Our source code including textit BERT based , textit meta learning methods for multi domain summarization learning and the re purposed dataset textsc Multi SUM will be available on our project url http pfliu.com TransferSum .


Continuous Transition Improving Sample Efficiency for Continuous Control Problems via MixUp. Although deep reinforcement learning (RL) has been successfully applied to a variety of robotic control tasks, it's still challenging to apply it to real world tasks, due to the poor sample efficiency. Attempting to overcome this shortcoming, several works focus on reusing the collected trajectory data during the training by decomposing them into a set of policy irrelevant discrete transitions. However, their improvements are somewhat marginal since i) the amount of the transitions is usually small, and ii) the value assignment only happens in the joint states. To address these issues, this paper introduces a concise yet powerful method to construct Continuous Transition, which exploits the trajectory information by exploiting the potential transitions along the trajectory. Specifically, we propose to synthesize new transitions for training by linearly interpolating the consecutive transitions. To keep the constructed transitions authentic, we also develop a discriminator to guide the construction process automatically. Extensive experiments demonstrate that our proposed method achieves a significant improvement in sample efficiency on various complex continuous robotic control problems in MuJoCo and outperforms the advanced model based model free RL methods. The source code is available.


On the spread of infinite groups. A group is frac32 generated if every non trivial element is part of a generating pair. In 2019, Donoven and Harper showed that many Thompson groups are frac32 generated and posed five questions. The first of these is whether there exists a 2 generated group with every proper quotient cyclic that is not frac32 generated. This is a natural question given the significant work in proving that no finite group has this property, but we show that there is such an infinite group. The groups we consider are a family of finite index subgroups of the Houghton group text FSym ( mathbb Z ) rtimes mathbb Z . We then show that the first two groups in our family are frac32 generated, and investigate the related notion of spread for these groups. We are able to show that they have finite spread which is greater than 2. These are therefore the first infinite groups to be shown to have finite positive spread, and the first to be shown to have spread greater than 2 (other than mathbb Z and the Tarski monsters, which have infinite spread).


Proof of Dudley's Convex Approximation. We provide a self contained proof of a result of Dudley Dud64 which shows that a bounded convex body in Re d can be varepsilon approximated, by the intersection of O d bigl( varepsilon (d 1) 2 bigr) halfspaces, where O d hides constants that depends on d .


Improving Tracking through Human Robot Sensory Augmentation. This paper introduces human robot sensory augmentation and illustrates it on a tracking task, where performance can be improved by the exchange of sensory information between the robot and its human user. It was recently found that during interaction between humans, the partners use each other's sensory information to improve their own sensing, thus also their performance and learning. In this paper, we develop a computational model of this unique human ability, and use it to build a novel control framework for human robot interaction. The human partner's control is formulated as a feedback control with unknown control gains and desired trajectory. A Kalman filter is used to estimate first the control gains and then the desired trajectory. The estimated human partner's desired trajectory is used as augmented sensory information about the system and combined with the robot's measurement to estimate an uncertain target trajectory. Simulations and an implementation of the presented framework on a robotic interface validate the proposed observer predictor pair for a tracking task. The results obtained using this robot demonstrate how the human user's control can be identified, and exhibit similar benefits of this sensory augmentation as was observed between interacting humans.


Analysis and design of a Germanium multi quantum well metal strip nanocavity plasmon laser. In order to achieve electrically pumped plasmon nano lasers, several structures, materials and methods, have been proposed recently. However, there is still a long way to find out a reliable appropriate on chip plasmon source for commercial plasmonic integrated circuits. In this paper, a new waveguide integrated nanocavity plasmon laser is proposed for 1550 nm free space wavelength. Due to its significant field confinement resulted by the metal strip structure and strong interaction of plasmonic modes with the germanium quantum wells and as a result a considerable Purcell factor about 291, this structure has a remarkable output performance. Using semi classical rate equations in combination with finite difference time domain (FDTD) cavity mode analysis, the output performance measures are estimated and confirmed with respect to various physical models and simulation tools. Simulation results for this tiny structure (0.073 um2 area) show a 2.8uW output power with 10uA injection current and about 4.16mW output power with the threshold pump current of 27mA while maintaining its performance in a wide modulation bandwidth of 178GHz.


Moduli space of metrics of nonnegative sectional or positive Ricci curvature on Brieskorn quotients in dimension 5. We show that the moduli space of Riemannian metrics of nonnegative sectional curvature on certain quotients of Brieskorn varieties in dimension 5 has infinitely many path components. The same is true for the corresponding moduli space of positive Ricci curvature.


Heuristic based Mining of Service Behavioral Models from Interaction Traces. Software behavioral models have proven useful for emulating and testing software systems. Many techniques have been proposed to infer behavioral models of software systems from their interaction traces. The quality of the inferred model is critical to its successful use. While generalization is necessary to deduce concise behavioral models, existing techniques of inferring models, in general, overgeneralize what behavior is valid. Imprecise models include many spurious behaviors, and thus compromise the effectiveness of their use. In this paper, we propose a novel technique that increases the accuracy of the behavioral model inferred from interaction traces. The essence of our approach is a heuristic based generalization and truthful minimization. The set of heuristics include patterns to match input traces and generalize them towards concise model representations. Furthermore, we adopt a truthful minimization technique to merge these generalized traces. The key insight of our approach is to infer a concise behavioral model without compromising its accuracy. We present an empirical evaluation of how our approach improves upon the state of the art specification inference techniques. The results show that our approach mines model with 100 precision and recall with a limited computation overhead.


Semantically Robust Unpaired Image Translation for Data with Unmatched Semantics Statistics. Many applications of unpaired image to image translation require the input contents to be preserved semantically during translations. Unaware of the inherently unmatched semantics distributions between source and target domains, existing distribution matching methods (i.e., GAN based) can give undesired solutions. In particular, although producing visually reasonable outputs, the learned models usually flip the semantics of the inputs. To tackle this without using extra supervision, we propose to enforce the translated outputs to be semantically invariant w.r.t. small perceptual variations of the inputs, a property we call "semantic robustness". By optimizing a robustness loss w.r.t. multi scale feature space perturbations of the inputs, our method effectively reduces semantics flipping and produces translations that outperform existing methods both quantitatively and qualitatively.


Wavelet Sets and Generalized Scaling Sets on Vilenkin Group. For Vilenkin group only the existence of multiwavelets associated with multiresolution analysis (MRA) is known. In this paper, we have shown that by using wavelet sets we can also construct single wavelet in case of Vilenkin group which are not associated with MRA.We have given characterization of single and multi wavelet sets on Vilenkin group. Further, we have studied generalized scaling sets, some of their properties and relation between wavelet sets and generalized scaling sets.


Signaling activations through G protein coupled receptor aggregations. Eukaryotic cells transmit extracellular signal information to cellular interiors through the formation of a ternary complex made up of a ligand (or agonist), G protein, and G protein coupled receptor (GPCR). Previously formalized theories of ternary complex formation have mainly assumed that observable states of receptors can only take the form of monomers. Here, we propose a multiary complex model of GPCR signaling activations via the vector representation of various unobserved aggregated receptor states. Our results from model simulations imply that receptor aggregation processes can govern cooperative effects in a regime inaccessible by previous theories. In particular, we show how the affinity of ligand receptor binding can be largely varied by various oligomer formations in the low concentration range of G protein stimulus.


Online and Offline Greedy Algorithms for Routing with Switching Costs. Motivated by the use of high speed circuit switches in large scale data centers, we consider the problem of circuit switch scheduling. In this problem we are given demands between pairs of servers and the goal is to schedule at every time step a matching between the servers while maximizing the total satisfied demand over time. The crux of this scheduling problem is that once one shifts from one matching to a different one a fixed delay delta is incurred during which no data can be transmitted. For the offline version of the problem we present a (1 frac 1 e epsilon) approximation ratio (for any constant epsilon 0 ). Since the natural linear programming relaxation for the problem has an unbounded integrality gap, we adopt a hybrid approach that combines the combinatorial greedy with randomized rounding of a different suitable linear program. For the online version of the problem we present a (bi criteria) ((e 1) (2e 1) epsilon) competitive ratio (for any constant epsilon 0 ) that exceeds time by an additive factor of O( frac delta epsilon ) . We note that no uni criteria online algorithm is possible. Surprisingly, we obtain the result by reducing the online version to the offline one.


A cross product free Jacobi Davidson type method for computing a partial generalized singular value decomposition (GSVD) of a large matrix pair. A Cross Product Free (CPF) Jacobi Davidson (JD) type method is proposed to compute a partial generalized singular value decomposition (GSVD) of a large regular matrix pair (A,B) . It implicitly solves the mathematically equivalent generalized eigenvalue problem of (A TA,B TB) but does not explicitly form the cross product matrices and thus avoids the possible accuracy loss of the computed generalized singular values and generalized singular vectors. The method is an inner outer iteration method, where the expansion of the right searching subspace forms the inner iterations that approximately solve the correction equations involved and the outer iterations extract approximate GSVD components with respect to the subspaces. Some convergence results are established for the inner and outer iterations, based on some of which practical stopping criteria are designed for the inner iterations. A thick restart CPF JDGSVD algorithm with deflation is developed to compute several GSVD components. Numerical experiments illustrate the efficiency of the algorithm.


Learning to Deceive Knowledge Graph Augmented Models via Targeted Perturbation. Knowledge graphs (KGs) have helped neural models improve performance on various knowledge intensive tasks, like question answering and item recommendation. By using attention over the KG, such KG augmented models can also "explain" which KG information was most relevant for making a given prediction. In this paper, we question whether these models are really behaving as we expect. We show that, through a reinforcement learning policy (or even simple heuristics), one can produce deceptively perturbed KGs, which maintain the downstream performance of the original KG while significantly deviating from the original KG's semantics and structure. Our findings raise doubts about KG augmented models' ability to reason about KG information and give sensible explanations.


Non Kolmogorov Turbulence and Inverse Energy Cascade in Intracranial Aneurysm Near Wall Scales Suggest Mechanobiological Relevance. The genesis, growth and rupture of intracranial aneurysm (IA) are open questions in neurovascular medicine until the present moment. The complexity of aneurysm mechanobiology and pathobiology staggeringly combine intertwining biological and physical processes that are tightly connected. Recently, transition to turbulence in IA blood flow is thought to play a central role in IA growth and rupture as it can be directly linked to endothelial dysfunction. However, the problem of turbulence brings unprecedented complications to the topic. We found turbulence in IA to be of non Kolmogorov type. For the first time, we detected inverse kinetic energy cascade in blood flow and in non Kolmogorov turbulence. Here, we hypothesize that the near wall turbulence undergoing inverse energy cascade have scales that could affect the mechano signaling of endothelial cells. Our findings could be a paradigm shift in the contemporary theory of aneurysm hemodynamics.


Equation satisfiability in solvable groups. The study of the complexity of the equation satisfiability problem in finite groups had been initiated by Goldmann and Russell (2002) where they showed that this problem is in polynomial time for nilpotent groups while it is NP complete for non solvable groups. Since then, several results have appeared showing that the problem can be solved in polynomial time in certain solvable groups G having a nilpotent normal subgroup H with nilpotent factor G H . This paper shows that such normal subgroup must exist in each finite group with equation satisfiability solvable in polynomial time, unless the Exponential Time Hypothesis fails.


On inequalities for A numerical radius of operators. Let A be a positive operator on a complex Hilbert space mathcal H . We present inequalities concerning upper and lower bounds for A numerical radius of operators, which improve on and generalize the existing ones, studied recently in A. Zamani, A Numerical radius inequalities for semi Hilbertian space operators, Linear Algebra Appl. 578 (2019) 159 183 . We also obtain some inequalities for B numerical radius of 2 times 2 operator matrices where B is the 2 times 2 diagonal operator matrix whose diagonal entries are A . Further we obtain upper bounds for A numerical radius for product of operators which improve on the existing bounds.


An analogue of Amitsur's property for the ring of pseudo differential operators. Let R be a ring with a derivation delta. In this paper, we prove that an analogue of Amitsur's property holds for left T nilpotent radideals of pseudo differential operator rings R((x 1 delta)), where R is a delta compatible ring. As a direct consequence of this fact, we obtain an alternative characterization of the prime radical of R((x 1 delta)).


Enriched Gradient Recovery for Interface Solutions of the Poisson Boltzmann Equation. Accurate calculation of electrostatic potential and gradient on the molecular surface is highly desirable for the continuum and hybrid modeling of large scale deformation of biomolecules in solvent. In this article a new numerical method is proposed to calculate these quantities on the dielectric interface from the numerical solutions of the Poisson Boltzmann equation. Our method reconstructs a potential field locally in the least square sense on the polynomial basis enriched with Green's functions, the latter characterize the Coulomb potential induced by charges near the position of reconstruction. This enrichment resembles the decomposition of electrostatic potential into singular Coulomb component and the regular reaction field in the Generalized Born methods. Numerical experiments demonstrate that the enrichment recovery produces drastically more accurate and stable potential gradients on molecular surfaces compared to classical recovery techniques.


Relations between two log minimal models of log canonical pairs. We study relations between two log minimal models of a fixed lc pair. For any two log minimal models of an lc pair constructed with log MMP, we prove that there are small birational models of the log minimal models which can be connected by a sequence of flops, and the two log minimal models share some properties. We also give examples of two log minimal models of an lc pair which have different properties.


On K stability of some del Pezzo surfaces of Fano index 2. For every integer a geq 2 , we relate the K stability of hypersurfaces in the weighted projective space mathbb P (1,1,a,a) of degree 2a with the GIT stability of binary forms of degree 2a . Moreover, we prove that such a hypersurface is K polystable and not K stable if it is quasi smooth.


Serre's genus 50 example. This note presents explicit equations (up to birational equivalence over mathbb F 2 ) for a complete, smooth, absolutely irreducible curve X over mathbb F 2 of genus 50 satisfying X( mathbb F 2) 40 . In his 1985 Harvard lecture notes on curves over finite fields, J P. Serre already showed the existence of such a curve he used class field theory to describe the function field mathbb F 2(X) as a certain abelian extension of the function field mathbb F 2(E) of some elliptic curve E mathbb F 2 . Although various more recent texts recall Serre's construction, explicit equations as well as a description of intermediate curves X to Y to E over mathbb F 2 seem to be new. We also describe explicit equations for a curve over mathbb F 2 of genus 8 with 11 rational points, and for a curve over mathbb F 2 of genus 22 with 21 rational points.


VeSPA Vehicular Security and Privacy preserving Architecture. Standardization and harmonization efforts have reached a consensus towards using a special purpose Vehicular Public Key Infrastructure (VPKI) in upcoming Vehicular Communication (VC) systems. However, there are still several technical challenges with no conclusive answers one such an important yet open challenge is the acquisition of short term credentials, pseudonym how should each vehicle interact with the VPKI, e.g., how frequently and for how long? Should each vehicle itself determine the pseudonym lifetime? Answering these questions is far from trivial. Each choice can affect both the user privacy and the system performance and possibly, as a result, its security. In this paper, we make a novel systematic effort to address this multifaceted question. We craft three generally applicable policies and experimentally evaluate the VPKI system performance, leveraging two large scale mobility datasets. We consider the most promising, in terms of efficiency, pseudonym acquisition policies we find that within this class of policies, the most promising policy in terms of privacy protection can be supported with moderate overhead. Moreover, in all cases, this work is the first to provide tangible evidence that the state of the art VPKI can serve sizable areas or domain with modest computing resources.


There are no sigma finite absolutely continuous invariant measures for multicritical circle maps. It is well known that every multicritical circle map without periodic orbits admits a unique invariant Borel probability measure which is purely singular with respect to Lebesgue measure. Can such a map leave invariant an infinite, sigma finite invariant measure which is absolutely continuous with respect to Lebesgue measure? In this paper, using an old criterion due to Katznelson, we show that the answer to this question is no.


BoxE A Box Embedding Model for Knowledge Base Completion. Knowledge base completion (KBC) aims to automatically infer missing facts by exploiting information already present in a knowledge base (KB). A promising approach for KBC is to embed knowledge into latent spaces and make predictions from learned embeddings. However, existing embedding models are subject to at least one of the following limitations (1) theoretical inexpressivity, (2) lack of support for prominent inference patterns (e.g., hierarchies), (3) lack of support for KBC over higher arity relations, and (4) lack of support for incorporating logical rules. Here, we propose a spatio translational embedding model, called BoxE, that simultaneously addresses all these limitations. BoxE embeds entities as points, and relations as a set of hyper rectangles (or boxes), which spatially characterize basic logical properties. This seemingly simple abstraction yields a fully expressive model offering a natural encoding for many desired logical properties. BoxE can both capture and inject rules from rich classes of rule languages, going well beyond individual inference patterns. By design, BoxE naturally applies to higher arity KBs. We conduct a detailed experimental analysis, and show that BoxE achieves state of the art performance, both on benchmark knowledge graphs and on more general KBs, and we empirically show the power of integrating logical rules.


Real space imaging of atomic scale spin textures at nanometer distances. Spin polarized scanning tunneling microscopy (SP STM) experiments on ultrathin films with non collinear spin textures demonstrate that resonant tunneling allows for atomic scale spin sensitive imaging in real space at tip sample distances of up to 8 nm. Spin polarized resonance states evolving between the foremost atom of a magnetic probe tip and the opposed magnetic surface atom are found to provide a loophole from the hitherto existing dilemma of losing spatial resolution when increasing the tip sample distance in a scanning probe setup. Bias dependent series of SP STM images recorded via resonant tunneling reveal spin sensitivity at resonance conditions, indicating that the spin polarized resonance states act as mediators for the spin contrast across the nm spaced vacuum gap. With technically feasible distances in the nm regime, resonant tunneling in SP STM qualifies for a spin sensitive read write technique with ultimate lateral resolution in future spintronic applications.


Grid Tagging Scheme for Aspect oriented Fine grained Opinion Extraction. Aspect oriented Fine grained Opinion Extraction (AFOE) aims at extracting aspect terms and opinion terms from review in the form of opinion pairs or additionally extracting sentiment polarity of aspect term to form opinion triplet. Because of containing several opinion factors, the complete AFOE task is usually divided into multiple subtasks and achieved in the pipeline. However, pipeline approaches easily suffer from error propagation and inconvenience in real world scenarios. To this end, we propose a novel tagging scheme, Grid Tagging Scheme (GTS), to address the AFOE task in an end to end fashion only with one unified grid tagging task. Additionally, we design an effective inference strategy on GTS to exploit mutual indication between different opinion factors for more accurate extractions. To validate the feasibility and compatibility of GTS, we implement three different GTS models respectively based on CNN, BiLSTM, and BERT, and conduct experiments on the aspect oriented opinion pair extraction and opinion triplet extraction datasets. Extensive experimental results indicate that GTS models outperform strong baselines significantly and achieve state of the art performance.


Efficient network immunization under limited knowledge. Targeted immunization or attacks of large scale networks has attracted significant attention by the scientific community. However, in real world scenarios, knowledge and observations of the network may be limited thereby precluding a full assessment of the optimal nodes to immunize (or remove) in order to avoid epidemic spreading such as that of current COVID 19 epidemic. Here, we study a novel immunization strategy where only n nodes are observed at a time and the most central between these n nodes is immunized (or attacked). This process is continued repeatedly until 1 p fraction of nodes are immunized (or attacked). We develop an analytical framework for this approach and determine the critical percolation threshold p c and the size of the giant component P infty for networks with arbitrary degree distributions P(k) . In the limit of n to infty we recover prior work on targeted attack, whereas for n 1 we recover the known case of random failure. Between these two extremes, we observe that as n increases, p c increases quickly towards its optimal value under targeted immunization (attack) with complete information. In particular, we find a new scaling relationship between p c( infty) p c(n) and n as p c( infty) p c(n) sim n 1 exp( alpha n) . For Scale free (SF) networks, where P(k) sim k gamma , 2 gamma 3 , we find that p c has a transition from zero to non zero when n increases from n 1 to order of log N ( N is the size of network). Thus, for SF networks, knowledge of order of log N nodes and immunizing them can reduce dramatically an epidemics.


Experiments in Cuneiform Language Identification. This paper presents methods to discriminate between languages and dialects written in Cuneiform script, one of the first writing systems in the world. We report the results obtained by the PZ team in the Cuneiform Language Identification (CLI) shared task organized within the scope of the VarDial Evaluation Campaign 2019. The task included two languages, Sumerian and Akkadian. The latter is divided into six dialects Old Babylonian, Middle Babylonian peripheral, Standard Babylonian, Neo Babylonian, Late Babylonian, and Neo Assyrian. We approach the task using a meta classifier trained on various SVM models and we show the effectiveness of the system for this task. Our submission achieved 0.738 F1 score in discriminating between the seven languages and dialects and it was ranked fourth in the competition among eight teams.


Contextualized Sparse Representations for Real Time Open Domain Question Answering. Open domain question answering can be formulated as a phrase retrieval problem, in which we can expect huge scalability and speed benefit but often suffer from low accuracy due to the limitation of existing phrase representation models. In this paper, we aim to improve the quality of each phrase embedding by augmenting it with a contextualized sparse representation (Sparc). Unlike previous sparse vectors that are term frequency based (e.g., tf idf) or directly learned (only few thousand dimensions), we leverage rectified self attention to indirectly learn sparse vectors in n gram vocabulary space. By augmenting the previous phrase retrieval model (Seo et al., 2019) with Sparc, we show 4 improvement in CuratedTREC and SQuAD Open. Our CuratedTREC score is even better than the best known retrieve read model with at least 45x faster inference speed.


Fact Checking Meets Fauxtography Verifying Claims About Images. The recent explosion of false claims in social media and on the Web in general has given rise to a lot of manual fact checking initiatives. Unfortunately, the number of claims that need to be fact checked is several orders of magnitude larger than what humans can handle manually. Thus, there has been a lot of research aiming at automating the process. Interestingly, previous work has largely ignored the growing number of claims about images. This is despite the fact that visual imagery is more influential than text and naturally appears alongside fake news. Here we aim at bridging this gap. In particular, we create a new dataset for this problem, and we explore a variety of features modeling the claim, the image, and the relationship between the claim and the image. The evaluation results show sizable improvements over the baseline. We release our dataset, hoping to enable further research on fact checking claims about images.


A boundary value "reservoir problem" and boundary conditions for multi moment multifluid simulations of sheaths. Multifluid simulations of plasma sheaths are increasingly used to model a wide variety of problems in plasma physics ranging from global magnetospheric flows around celestial bodies to plasma wall interactions in thrusters and fusion devices. For multifluid problems, accurate boundary conditions to model an absorbing wall that resolves a classical sheath remains an open research area. This work justifies the use of vacuum boundary conditions for absorbing walls to show comparable accuracy between a multifluid sheath and lower moments of a continuum kinetic sheath.


On Horadam quaternions by using matrix method. In this paper, we give several matrix representations for the Horadam quaternions. We derive several identities related to these quaternions by using the matrix method. Since quaternion multiplication is not commutative, some of our results are non commutative analogues of the well known identities for the Fibonacci like integer sequences. Lastly, we derive some binomial sum identities for the Horadam quaternions as an application of the matrix method.


Towards finding hay in a haystack explicit tensors of border rank greater than 2.02m in C m otimes C m otimes C m . We write down an explicit sequence of tensors in C m otimes C m otimes C m , for all m sufficiently large, having border rank at least 2.02m , overcoming a longstanding barrier. We obtain our lower bounds via the border substitution method.


A Nonseparable Invariant Extension of Lebesgue Measure A Generalized and Abstract Approach. Here using some methods of combinatorial set theory, particularly the ones related to the construction of independent families of sets and some modified version of the notion of small sets originally introduced by Riecan, Riecan and Neubrunn, we give abstract and generalized formulation of a remarkable theorem of Kakutani and Oxtoby relating to nonseparable extension of Lebesgue measure in spaces with transformation groups


Cauchy surface area formula in the Heisenberg groups. We show the analogy of Cauchy's surface area formula for the Heisenberg groups mathbb H n for n geq 1 , which states that the p area of any compact hypersurface Sigma in mathbb H n with its p normal vector defined almost everywhere on Sigma is the average of its projected p areas onto the orthogonal complements of all p normal vectors of the Pansu spheres (up to a constant). The formula provides a geometric interpretation of the p areas defined by Cheng Hwang Malchiodi Yang 9 in mathbb H 1 and Cheng Hwang Yang 7 in mathbb H n for n geq 2 . We also characterize the projected areas for rotationally symmetric domains in mathbb H n , namely, for any rotationally symmetric domain with boundary in mathbb H n , its projected p area onto the orthogonal complement of any normal vector of the Pansu spheres is a constant, independent of the choices of the projected directions.


From QoS Distributions to QoE Distributions a System's Perspective. In the context of QoE management, network and service providers commonly rely on models that map system QoS conditions (e.g., system response time, paket loss, etc.) to estimated end user QoE values. Observable QoS conditions in the system may be assumed to follow a certain distribution, meaning that different end users will experience different conditions. On the other hand, drawing from the results of subjective user studies, we know that user diversity leads to distributions of user scores for any given test conditions (in this case referring to the QoS parameters of interest). Our previous studies have shown that to correctly derive various QoE metrics (e.g., Mean Opinion Score (MOS), quantiles, probability of users rating "good or better", etc.) in a system under given conditions, there is a need to consider rating distributions obtained from user studies, which are often times not available. In this paper we extend these findings to show how to approximate user rating distributions given a QoS to MOS mapping function and second order statistics. Such a user rating distribution may then be combined with a QoS distribution observed in a system to finally derive corresponding distributions of QoE scores. We provide two examples to illustrate this process 1) analytical results using a Web QoE model relating waiting times to QoE, and 2) numerical results using measurements relating packet losses to video stall pattern, which are in turn mapped to QoE estimates. The results in this paper provide a solution to the problem of understanding the QoE distribution in a system, in cases where the necessary data is not directly available in the form of models going beyond the MOS, or where the full details of subjective experiments are not available.


Optimal stopping contract for Public Private Partnerships under moral hazard. This paper studies optimal Public Private Partnerships contract between a public entity and a consortium, in continuous time and with a continuous payment, with the possibility for the public to stop the contract. The public ("she") pays a continuous rent to the consortium ("he"), while the latter gives a best response characterized by his effort. This effect impacts the drift of the social welfare, until a terminal date decided by the public when she stops the contract and gives compensation to the consortium. Usually, the public can not observe the effort done by the consortium, leading to a principal agent's problem with moral hazard. We solve this optimal stochastic control with optimal stopping problem in this context of moral hazard. The public value function is characterized by the solution of an associated Hamilton Jacobi Bellman Variational Inequality. The public value function and the optimal effort and rent processes are computed numerically by using the Howard algorithm. In particular, the impact of the social welfare's volatility on the optimal contract is studied.


Anticommutativity and the triangular lemma. For a variety mathcal V , it has been recently shown that binary products commute with arbitrary coequalizers locally, i.e., in every fibre of the fibration of points pi mathrm Pt ( mathbb C ) rightarrow mathbb C , if and only if Gumm's shifting lemma holds on pullbacks in mathcal V . In this paper, we establish a similar result connecting the so called triangular lemma in universal algebra with a certain categorical textit anticommutativity condition. In particular, we show that this anticommutativity and its local version are Mal'tsev conditions, the local version being equivalent to the triangular lemma on pullbacks. As a corollary, every locally anticommutative variety mathcal V has directly decomposable congruence classes in the sense of Duda, and the converse holds if mathcal V is idempotent.


TriFinger An Open Source Robot for Learning Dexterity. Dexterous object manipulation remains an open problem in robotics, despite the rapid progress in machine learning during the past decade. We argue that a hindrance is the high cost of experimentation on real systems, in terms of both time and money. We address this problem by proposing an open source robotic platform which can safely operate without human supervision. The hardware is inexpensive (about SI 5000 ) yet highly dynamic, robust, and capable of complex interaction with external objects. The software operates at 1 kilohertz and performs safety checks to prevent the hardware from breaking. The easy to use front end (in C and Python) is suitable for real time control as well as deep reinforcement learning. In addition, the software framework is largely robot agnostic and can hence be used independently of the hardware proposed herein. Finally, we illustrate the potential of the proposed platform through a number of experiments, including real time optimal control, deep reinforcement learning from scratch, throwing, and writing.


ESP4ML Platform Based Design of Systems on Chip for Embedded Machine Learning. We present ESP4ML, an open source system level design flow to build and program SoC architectures for embedded applications that require the hardware acceleration of machine learning and signal processing algorithms. We realized ESP4ML by combining two established open source projects (ESP and HLS4ML) into a new, fully automated design flow. For the SoC integration of accelerators generated by HLS4ML, we designed a set of new parameterized interface circuits synthesizable with high level synthesis. For accelerator configuration and management, we developed an embedded software runtime system on top of Linux. With this HW SW layer, we addressed the challenge of dynamically shaping the data traffic on a network on chip to activate and support the reconfigurable pipelines of accelerators that are needed by the application workloads currently running on the SoC. We demonstrate our vertically integrated contributions with the FPGA based implementations of complete SoC instances booting Linux and executing computer vision applications that process images taken from the Google Street View database.


Approximate Completely Positive Semidefinite Rank. In this paper we provide an approximation for completely positive semidefinite (cpsd) matrices with cpsd rank bounded above (almost) independently from the cpsd rank of the initial matrix. This is particularly relevant since the cpsd rank of a matrix cannot, in general, be upper bounded by a function only depending on its size. For this purpose, we make use of the Approximate Carath 'eodory Theorem in order to construct an approximate matrix with a low rank Gram representation. We then employ the Johnson Lindenstrauss Lemma to improve to a logarithmic dependence of the cpsd rank on the size.


What is Stablecoin? A Survey on Its Mechanism and Potential as Decentralized Payment Systems. Our study provides a survey on how existing stablecoins cryptocurrencies aiming at price stabilization peg their value to other assets, from the perspective of Decentralized Payment Systems (DPSs). This attempt is important because there has been no preceding surveys focusing on the stablecoin as DPSs, i.e., the one aiming at not only price stabilization but also decentralization. Specifically, we first classified existing stablecoins into four types according to their collaterals (fiat, commodity, crypto, and non collateralized) and pointed out the high potential of non collateralized stablecoins as DPSs then, we further classified existing non collateralized stablecoins into two types according to their intervention layers (protocol, application) and confirmed details of their representative mechanisms. Utilizing concepts such as Quantity Theory of Money (QTM), Tobin tax, and speculative attack, our survey revealed the status quo where, despite the high potential of non collateralized stablecoins, they have no standard mechanism to achieve the stablecoin for practical DPSs.


Helly gap of a graph and vertex eccentricities. A new metric parameter for a graph, Helly gap, is introduced. A graph G is called alpha weakly Helly if any system of pairwise intersecting disks in G has a nonempty common intersection when the radius of each disk is increased by an additive value alpha . The minimum alpha for which a graph G is alpha weakly Helly is called the Helly gap of G and denoted by alpha(G) . The Helly gap of a graph G is characterized by distances in the injective hull mathcal H (G) , which is a (unique) minimal Helly graph which contains G as an isometric subgraph. This characterization is used as a tool to generalize many eccentricity related results known for Helly graphs ( alpha(G) 0 ), as well as for chordal graphs ( alpha(G) le 1 ), distance hereditary graphs ( alpha(G) le 1 ) and delta hyperbolic graphs ( alpha(G) le 2 delta ), to all graphs, parameterized by their Helly gap alpha(G) . Several additional graph classes are shown to have a bounded Helly gap, including AT free graphs and graphs with bounded tree length, bounded chordality or bounded alpha i metric.


Special precovering classes in comma categories. Let T be a right exact functor from an abelian category mathscr B into another abelian category mathscr A . Then there exists a functor bf p from the product category mathscr A times mathscr B to the comma category (T downarrow mathscr A ) . In this paper, we study the property of the extension closure of some classes of objects in (T downarrow mathscr A ) , the exactness of the functor bf p and the detail description of orthogonal classes of a given class bf p ( mathcal X , mathcal Y ) in (T downarrow mathscr A ) . Moreover, we characterize when special precovering classes in abelian categories mathscr A and mathscr B can induce special precovering classes in (T downarrow mathscr A ) . As an application, we prove that under suitable cases, the class of Gorenstein projective left Lambda modules over a triangular matrix ring Lambda left( begin smallmatrix R M O S end smallmatrix right) is special precovering if and only if both the classes of Gorenstein projective left R modules and left S modules are special precovering. Consequently, we produce a large variety of examples of rings such that the class of Gorenstein projective modules is special precovering over them.


Axial DeepLab Stand Alone Axial Attention for Panoptic Segmentation. Convolution exploits locality for efficiency at a cost of missing long range context. Self attention has been adopted to augment CNNs with non local interactions. Recent works prove it possible to stack self attention layers to obtain a fully attentional network by restricting the attention to a local region. In this paper, we attempt to remove this constraint by factorizing 2D self attention into two 1D self attentions. This reduces computation complexity and allows performing attention within a larger or even global region. In companion, we also propose a position sensitive self attention design. Combining both yields our position sensitive axial attention layer, a novel building block that one could stack to form axial attention models for image classification and dense prediction. We demonstrate the effectiveness of our model on four large scale datasets. In particular, our model outperforms all existing stand alone self attention models on ImageNet. Our Axial DeepLab improves 2.8 PQ over bottom up state of the art on COCO test dev. This previous state of the art is attained by our small variant that is 3.8x parameter efficient and 27x computation efficient. Axial DeepLab also achieves state of the art results on Mapillary Vistas and Cityscapes.


Convex Hull Representations for Bounded Products of Variables. It is well known that the convex hull of (x,y,xy) , where (x,y) is constrained to lie in a box, is given by the Reformulation Linearization Technique (RLT) constraints. Belotti em et al. , (2010) and Miller em et al. , (2011) showed that if there are additional upper and or lower bounds on the product z xy , then the convex hull can be represented by adding an infinite family of inequalities, requiring a separation algorithm to implement. Nguyen em et al. , (2018) derived convex hulls with bounds on z for the more general case of z x b 1 y b 2 , where b 1 ge 1 , b 2 ge 1 . We focus on the most important case where b 1 b 2 1 and show that the convex hull with either an upper bound or lower bound on the product is given by RLT constraints, the bound on z and a single Second Order Cone (SOC) constraint. With both upper and lower bounds on the product, the convex hull can be represented using no more than three SOC constraints, each applicable on a subset of (x,y) values. In addition to the convex hull characterizations, volumes of the convex hulls with either an upper or lower bound on z are calculated and compared to the relaxation that imposes only the RLT constraints. As an application of these volume results, we show how spatial branching can be applied to the product variable so as to minimize the sum of the volumes for the two resulting subproblems.


The compressed word problem in relatively hyperbolic groups. We prove that the compressed word problem in a group that is hyperbolic relative to a collection of free abelian subgroups is solvable in polynomial time.


Swimming locomotion of Soft Robotic Snakes. Bioinspired snake robotics has been a highly active area of research over the years and resulted in many prototypes. Much of these prototypes takes the form of serially jointed rigid bodies. The emergence of soft robotics contributed to a new type of snake robots made from compliant and structurally deformable modules. Leveraging the controllable large bending, these robots can naturally generate various snake locomotion gaits. Here, we investigate the swimming locomotion of soft robotic snakes. A numerically efficient dynamic model of the robot is first derived. Then, a distributed contact modal is augmented to incorporate hydrodynamic forces. The model is then numerically tested to identify the optimal bending propagation for efficient swimming. Results show that the soft robotic snakes have high potential to be used in marine applications.


Learned Dual View Reflection Removal. Traditional reflection removal algorithms either use a single image as input, which suffers from intrinsic ambiguities, or use multiple images from a moving camera, which is inconvenient for users. We instead propose a learning based dereflection algorithm that uses stereo images as input. This is an effective trade off between the two extremes the parallax between two views provides cues to remove reflections, and two views are easy to capture due to the adoption of stereo cameras in smartphones. Our model consists of a learning based reflection invariant flow model for dual view registration, and a learned synthesis model for combining aligned image pairs. Because no dataset for dual view reflection removal exists, we render a synthetic dataset of dual views with and without reflections for use in training. Our evaluation on an additional real world dataset of stereo pairs shows that our algorithm outperforms existing single image and multi image dereflection approaches.


Survival probability and size of lineages in antibody affinity maturation. Affinity Maturation (AM) is the process through which the immune system is able to develop potent antibodies against new pathogens it encounters, and is at the base of the efficacy of vaccines. At its core AM is analogous to a Darwinian evolutionary process, where B cells mutate and are selected on the base of their affinity for an Antigen (Ag), and Ag availability tunes the selective pressure. In cases when this selective pressure is high the number of B cells might quickly decrease and the population might risk extinction in what is known as a population bottleneck. Here we study the probability for a B cell lineage to survive this bottleneck scenario as a function of the progenitor affinity for the Ag. Using recursive relations and probability generating functions we derive expressions for the average extinction time and progeny size for lineages that go extinct. We then extend our results to the full population, both in the absence and presence of competition for T cell help, and quantify the population survival probability as a function of Ag concentration and initial population size. Our study suggests the population bottleneck phenomenology might represent a limit case in the space of biologically plausible maturation scenarios, whose characterization could help guide the process of vaccine development.


Decentralized is not risk free Understanding public perceptions of privacy utility trade offs in COVID 19 contact tracing apps. Contact tracing apps have potential benefits in helping health authorities to act swiftly to halt the spread of COVID 19. However, their effectiveness is heavily dependent on their installation rate, which may be influenced by people's perceptions of the utility of these apps and any potential privacy risks due to the collection and releasing of sensitive user data (e.g., user identity and location). In this paper, we present a survey study that examined people's willingness to install six different contact tracing apps after informing them of the risks and benefits of each design option (with a U.S. only sample on Amazon Mechanical Turk, N 208 ). The six app designs covered two major design dimensions (centralized vs decentralized, basic contact tracing vs. also providing hotspot information), grounded in our analysis of existing contact tracing app proposals. Contrary to assumptions of some prior work, we found that the majority of people in our sample preferred to install apps that use a centralized server for contact tracing, as they are more willing to allow a centralized authority to access the identity of app users rather than allowing tech savvy users to infer the identity of diagnosed users. We also found that the majority of our sample preferred to install apps that share diagnosed users' recent locations in public places to show hotspots of infection. Our results suggest that apps using a centralized architecture with strong security protection to do basic contact tracing and providing users with other useful information such as hotspots of infection in public places may achieve a high adoption rate in the U.S.


Negative thermal expansion induced suppression of wear in dry sliding friction. Surface temperature is among crucial factors, which control wear during sliding dry contact. Using computer modeling, we study the possibility to achieve close to zero rate of surface wear during sliding friction of the special type of materials, which possess negative thermal expansion. The numerical simulations reveal two wear regimes for negative thermal expansion materials as dependent on the applied normal stress level. When the applied stress is lower than that of a critical level, a steady almost zero wear rate and nanorough surface are achieved during friction. Otherwise, wear rate is of the same order of magnitude as for positive thermal expansion materials. The critical stress value is analyzed as depending on the material's mechanical, thermophysical, and surface roughness characteristics.


Phase matched nonlinear wave mixing processes in XUV region with multicolor lasers. We report here experimental results of perturbative nonlinear optical wave mixing processes in the extreme ultraviolet region by using two color and three color laser fields. Besides the usual odd harmonic spectrum of high harmonic generation, new spectral components are observed when multiple incommensurate lasers (one driving plus one or two control field) interact with neutral krypton gas. To demonstrate the wave mixing process underlying such an observation, we firstly couple the driving field with either the signal or the idler field of an optical parametric amplifier in the gaseous ensemble to generate certain mixing frequencies. The two control fields are then simultaneously combined with the driving field to produce broad and distinguishable mixing peaks that clearly reveal the contribution of each control laser. Finally, the variation of the intensity of the mixing waves with the intensity of each control field, the gas density, and the relative focus position is examined for signatures of phase matched generation of the mixing fields in this spectral region.


Fast and Uncertainty Aware Directional Message Passing for Non Equilibrium Molecules. Many important tasks in chemistry revolve around molecules during reactions. This requires predictions far from the equilibrium, while most recent work in machine learning for molecules has been focused on equilibrium or near equilibrium states. In this paper we aim to extend this scope in three ways. First, we propose the DimeNet model, which is 8x faster and 10 more accurate than the original DimeNet on the QM9 benchmark of equilibrium molecules. Second, we validate DimeNet on highly reactive molecules by developing the challenging COLL dataset, which contains distorted configurations of small molecules during collisions. Finally, we investigate ensembling and mean variance estimation for uncertainty quantification with the goal of accelerating the exploration of the vast space of non equilibrium structures. Our DimeNet implementation as well as the COLL dataset are available online.


Connectivity concerning the last two subconstituents of a Q polynomial distance regular graph. Let Gamma be a Q polynomial distance regular graph of diameter d geq 3 . Fix a vertex gamma of Gamma and consider the subgraph induced on the union of the last two subconstituents of Gamma with respect to gamma . We prove that this subgraph is connected.


Balanced Partitioning of Several Cache Oblivious Algorithms. Frigo et al. proposed an ideal cache model and a recursive technique to design sequential cache efficient algorithms in a cache oblivious fashion. Ballard et al. pointed out that it is a fundamental open problem to extend the technique to an arbitrary architecture. Ballard et al. raised another open question on how to parallelize Strassen's algorithm exactly and efficiently on an arbitrary number of processors. We propose a novel way of partitioning a cache oblivious algorithm to achieve perfect strong scaling on an arbitrary number, even a prime number, of processors within a certain range in a shared memory setting. Our approach is Processor Aware but Cache Oblivious (PACO). We demonstrate our approach on several important cache oblivious algorithms, including LCS, 1D, GAP, classic rectangular matrix multiplication on a semiring, and Strassen's algorithm. We discuss how to extend our approach to a distributed memory architecture, or even a heterogeneous computing system. Hence, our work may provide a new perspective on the fundamental open problem of extending the recursive cache oblivious technique to an arbitrary architecture. We provide an almost exact solution to the open problem on parallelizing Strassen. Our approach may provide a new perspective on extending the recursive cache oblivious technique to an arbitrary architecture. All our algorithms demonstrate better scalability or better overall parallel cache complexities than the best known algorithms. Preliminary experiments justify our theoretical prediction that the PACO algorithms can outperform significantly state of the art Processor Oblivious (PO) and Processor Aware (PA) counterparts.


On some new neighbourhood degree based indices. In this paper, four novel topological indices named as neighbourhood version of forgotten topological index (F N), modified neighbourhood version of Forgotten topological index ( F N ), neighbourhood version of second Zagreb index ( M 2 )and neighbourhood version of hyper Zagreb index ( HM N ) are introduced. Here the relatively study depends on the structure property regression analysis is made to test and compute the chemical applicability of these indices for the prediction of physicochemical properties of octane isomers. Also it is shown that these newly presented indices have well degeneracy property in comparison with other degree based topological indices. Some mathematical properties of these indices are also discussed here.


Disentangling enantiosensitivity from dichroism using bichromatic fields. We discuss how tensorial observables, available in photoelectron angular distributions resulting from interaction between isotropic chiral samples and cross polarized omega 2 omega bichromatic fields, allow for chiral discrimination without chiral light and within the electric dipole approximation. We extend the concept of chiral setup Phys. Rev. A 98, 063428 (2018) , which explains how chiral discrimination can be achieved in the absence of chiral light, to the case of tensorial observables. We derive selection rules for the enantiosensitivity and dichroism of the b l,m coefficients describing the photoelectron angular distribution valid for both weak and strong fields and for arbitrary omega 2 omega relative phase. Explicit expressions for simple perturbative cases are given. We find that, besides the dichroic non enantiosensitive J. Chem. Phys. 151 074106 (2019) , and dichroic and enantiosensitive b l,m coefficients found recently Phys. Rev. A 99, 063406 (2019) , there are also enantiosensitive non dichroic b l,m coefficients. These reveal the molecular enantiomer independently of the relative phase between the two colors and are therefore observable even in the absence of stabilization of the omega 2 omega relative phase.


A Non Dominated Sorting Based Customized Random Key Genetic Algorithm for the Bi Objective Traveling Thief Problem. In this paper, we propose a method to solve a bi objective variant of the well studied Traveling Thief Problem (TTP). The TTP is a multi component problem that combines two classic combinatorial problems Traveling Salesman Problem (TSP) and Knapsack Problem (KP). We address the BI TTP, a bi objective version of the TTP, where the goal is to minimize the overall traveling time and to maximize the profit of the collected items. Our proposed method is based on a biased random key genetic algorithm with customizations addressing problem specific characteristics. We incorporate domain knowledge through a combination of near optimal solutions of each subproblem in the initial population and use a custom repair operator to avoid the evaluation of infeasible solutions. The bi objective aspect of the problem is addressed through an elite population extracted based on the non dominated rank and crowding distance. Furthermore, we provide a comprehensive study showing the influence of each parameter on the performance. Finally, we discuss the results of the BI TTP competitions at EMO 2019 and GECCO 2019 conferences where our method has won first and second places, respectively, thus proving its ability to find high quality solutions consistently.


Conley Morse Forman theory for generalized combinatorial multivector fields on finite topological spaces. We generalize and extend the Conley Morse Forman theory for combinatorial multivector fields introduced in cite Mr2017 . The generalization consists in dropping the restrictive assumption in cite Mr2017 that every multivector has a unique maximal element. The extension is from the setting of Lefschetz complexes to the more general situation of finite topological spaces. We define isolated invariant sets, isolating neighbourhoods, Conley index and Morse decompositions. We also establish the additivity property of the Conley index and the Morse inequalities.


Enabling certification of verification agnostic networks via memory efficient semidefinite programming. Convex relaxations have emerged as a promising approach for verifying desirable properties of neural networks like robustness to adversarial perturbations. Widely used Linear Programming (LP) relaxations only work well when networks are trained to facilitate verification. This precludes applications that involve verification agnostic networks, i.e., networks not specially trained for verification. On the other hand, semidefinite programming (SDP) relaxations have successfully be applied to verification agnostic networks, but do not currently scale beyond small networks due to poor time and space asymptotics. In this work, we propose a first order dual SDP algorithm that (1) requires memory only linear in the total number of network activations, (2) only requires a fixed number of forward backward passes through the network per iteration. By exploiting iterative eigenvector methods, we express all solver operations in terms of forward and backward passes through the network, enabling efficient use of hardware like GPUs TPUs. For two verification agnostic networks on MNIST and CIFAR 10, we significantly improve L inf verified robust accuracy from 1 to 88 and 6 to 40 respectively. We also demonstrate tight verification of a quadratic stability specification for the decoder of a variational autoencoder.


Prediction of Temperature and Rainfall in Bangladesh using Long Short Term Memory Recurrent Neural Networks. Temperature and rainfall have a significant impact on economic growth as well as the outbreak of seasonal diseases in a region. In spite of that inadequate studies have been carried out for analyzing the weather pattern of Bangladesh implementing the artificial neural network. Therefore, in this study, we are implementing a Long Short term Memory (LSTM) model to forecast the month wise temperature and rainfall by analyzing 115 years (1901 2015) of weather data of Bangladesh. The LSTM model has shown a mean error of 0.38oC in case of predicting the month wise temperature for 2 years and 17.64mm in case of predicting the rainfall. This prediction model can help to understand the weather pattern changes as well as studying seasonal diseases of Bangladesh whose outbreaks are dependent on regional temperature and or rainfall.


Using math in physics 2. Estimation. Learning to use math in science is a non trivial task. It involves many different skills (not usually taught in a math class) that help blend physical knowledge with mathematical symbology. One of these is the idea of quantification that physical quantities can be assigned specific numbers. A second is to develop an intuition for scale. One way to help students develop these skills is to teach estimation the ability to consider a physical situation and put reasonable approximate numbers to it


Geometric and spectral properties of directed graphs under a lower Ricci curvature bound. For undirected graphs, the Ricci curvature introduced by Lin Lu Yau has been widely studied from various perspectives, especially geometric analysis. In the present paper, we discuss generalization problem of their Ricci curvature for directed graphs. We introduce a new generalization by using the mean transition probability kernel which appears in the formulation of the Chung Laplacian. We conclude several geometric and spectral properties of directed graphs under a lower Ricci curvature bound extending previous results in the undirected case.


Open Cross Domain Visual Search. This paper addresses cross domain visual search, where visual queries retrieve category samples from a different domain. For example, we may want to sketch an airplane and retrieve photographs of airplanes. Despite considerable progress, the search occurs in a closed setting between two pre defined domains. In this paper, we make the step towards an open setting where multiple visual domains are available. This notably translates into a search between any pair of domains, from a combination of domains or within multiple domains. We introduce a simple yet effective approach. We formulate the search as a mapping from every visual domain to a common semantic space, where categories are represented by hyperspherical prototypes. Open cross domain visual search is then performed by searching in the common semantic space, regardless of which domains are used as source or target. Domains are combined in the common space to search from or within multiple domains simultaneously. A separate training of every domain specific mapping function enables an efficient scaling to any number of domains without affecting the search performance. We empirically illustrate our capability to perform open cross domain visual search in three different scenarios. Our approach is competitive with respect to existing closed settings, where we obtain state of the art results on several benchmarks for three sketch based search tasks.


Symmetries of a two dimensional continued fraction. In this paper we describe the group of symmetries of a two dimensional continued fraction. As a multidimensional generalization of continued fractions we consider Klein polyhedra. We distinguish two types of symmetries the Dirichlet type ones, that correspond to the multiplication by units of the corresponding number field, and so called palindromic ones. The main result of the paper is a criterion for a two dimensional continued fraction to have a palindromic symmetry. This criterion is analogous to the criterion for the period of a quadratic irrationality to be symmetric.


Asynchronous Reconfiguration with Byzantine Failures. Replicated services are inherently vulnerable to failures and security breaches. In a long running system, it is, therefore, indispensable to maintain a reconfiguration mechanism that would replace faulty replicas with correct ones. An important challenge is to enable reconfiguration without affecting the availability and consistency of the replicated data the clients should be able to get correct service even when the set of service replicas is being updated. In this paper, we address the problem of reconfiguration in the presence of Byzantine failures faulty replicas or clients may arbitrarily deviate from their expected behavior. We describe a generic technique for building asynchronous and Byzantine fault tolerant reconfigurable objects clients can manipulate the object data and issue reconfiguration calls without reaching consensus on the current configuration. With the help of forward secure digital signatures, our solution makes sure that superseded and possibly compromised configurations are harmless, that slow clients cannot be fooled into reading stale data, and that Byzantine clients cannot cause a denial of service by flooding the system with reconfiguration requests. Our approach is modular and based on dynamic Byzantine lattice agreement abstraction, and we discuss how to extend it to enable Byzantine fault tolerant implementations of a large class of reconfigurable replicated services.


The powers of two as sums over partitions. In this paper, we investigate two methods to express the natural powers of 2 as sums over integer partitions. First we consider a formula by N. J. Fine that allows us to express a binomial coefficient in terms of multinomial coefficients as a sum over partitions. The second method invokes the central binomial coefficients and the logarithmic differentiation of their generating function. Some experimental results suggest the existence of other methods of decomposing the power of 2 as sums over partitions.


Group measure space construction, ergodicity and W ast rigidity for stable random fields. This work discovers a new link between probability theory (of stable random fields) and von Neumann algebras. It is established that the group measure space construction corresponding to a minimal representation is an invariant of a stationary symmetric alpha stable (S alpha S) random field indexed by any countable group G . When G mathbb Z d , we characterize ergodicity (and also absolute non ergodicity) of stationary S alpha S fields in terms of the central decomposition of this crossed product von Neumann algebra coming from any (not necessarily minimal) Rosinski representation. This shows that ergodicity (or the complete absence of it) is a W ast rigid property (in a suitable sense) for this class of fields. All our results have analogues for stationary max stable random fields as well.


Lorentz Karamata spaces. In this paper, we consider Lorentz Karamata spaces with slowly varying fuctions and study their properties. We consider Lorentz Karamata functionals over an arbitrary sigma finite measure space equipped with a non atomic measure and corresponding Lorentz Karamata spaces. We characterise non triviality of said spaces, then study when they are equivalent to a Banach function space and obtain a complete characterisation. We further provide a complete characterisation of embeddings between Lorentz Karamata spaces. At last, we describe the associate spaces of Lorentz Karamata spaces in some of the limiting and sublimiting cases.


A Class of Hessian quotient equations in Euclidean space. In this paper, we consider a Class of Hessian quotient equations in Euclidean space. Under some sufficient condition, we obtain an existence result by the standard degree theory based on the a prior estimates for the solutions to the Hessian quotient equations.


From noisy data to feedback controllers non conservative design via a matrix S lemma. We propose a new method to obtain feedback controllers of an unknown dynamical system directly from noisy input state data. The key ingredient of our design is a new matrix S lemma that will be proven in this paper. We provide both strict and non strict versions of this S lemma, that are of interest in their own right. Thereafter, we will apply these results to data driven control. In particular, we will derive non conservative design methods for quadratic stabilization, H 2 and H inf control, all in terms of data based linear matrix inequalities. In contrast to previous work, the dimensions of our decision variables are independent of the time horizon of the experiment. Our approach thus enables control design from large data sets.


Collisionless shock acceleration of quasi monoenergetic ions in ultra relativistic regime. Collisionless shock acceleration of carbon ions (C 6 ) is investigated in the ultra relativistic regime of laser plasma interaction by accounting for the radiation reaction force and the pair production in particle in cell simulations. Both radiation reaction force and pair plasma formation tend to slow down the shock velocity, reducing the energy of the accelerated ions, albeit extending the time scales of the acceleration process. Slab plasma target achieves lower energy spread while target with a tailored density profile yields higher ion acceleration energies.


Metadynamics for Automatic Sampling of Quantum Property Manifolds Exploration of Molecular Biradicality Landscapes. We present a general extension of the metadynamics allowing for an automatic sampling of quantum property manifolds (ASQPM) giving rise to functional landscapes that are analogous to the potential energy surfaces in the frame of the Born Oppenheimer approximation. For this purpose, we employ generalized electronic collective variables to carry out biased molecular dynamics simulations in the framework of quantum chemical methods that explore the desired property manifold. We illustrate our method on the example of the "biradicality landscapes", which we explore by introducing the natural orbital occupation numbers (NOONs) as the electronic collective variable driving the dynamics. We demonstrate the applicability of the method on the simulation of textit p xylylene and 8 annulene allowing to automatically extract the biradical geometries. In the case of 8 annulene the ASQPM metadynamics leads to the prediction of biradical scaffolds that can be stabilized by a suitable chemical substitution, leading to the design of novel functional molecules exhibiting biradical functionality.


Whitehead group of the ring of smooth functions definable in an o minimal structure. The Whitney group K 1(A) is isomorphic to A times times operatorname SK 1(A) for some subgroup operatorname SK 1(A) , where A is a commutative ring and A times denotes the set of units in A . Consider an o minimal expansion of a real closed field mathcal R (R,0,1, , cdot, ldots) . Let M be an affine definable C r manifold, where r is a nonnegative integer. We demonstrate its homotopy theorem and that the group operatorname SK 1(C text df r) is isomorphic to operatorname SK 1(C text df 0(M)) , where C text df r(M) denotes the ring of definable C r functions on M .


Ruelle resonances from cohomological equations. These notes are based on lectures given by the author at the Summer School on Teichm "uller dynamics, mapping class groups and applications in Grenoble, France, in June 2018 and at the Oberwolfach Seminar on Anisotropic Spaces and their Applications to Hyperbolic and Parabolic Systems in June 2019. We derive results about the so called Ruelle resonances and the asymptotics of correlations for several classes of systems from known results on cohomological equations and invariant distributions for the respective unstable vector fields. In particular, we consider pseudo Anosov diffeomorphisms on surfaces of higher genus, for horocycle flows on surfaces of constant negative curvature and for partially hyperbolic automorphisms of Heisenberg 3 dimensional nilmanfolds. Ruelles resonances for pseudo Anosov maps with applications to the cohomological equation for their unstable translation flows was recently studied in depth by F. Faure, S. Gou "ezel and E. Lanneau FGL by methods based on the analysis of the transfer operator of the pseudo Anosov map. Ruelle resonances for geodesic flows on hyperbolic compact manifolds of any dimension and of partially hyperbolic automorphisms of Heisenberg 3 dimensional nilmanfolds are studied by general results of Dyatlov, Faure and Guillarmou DFG and Faure and Tsujii FT15 based on methods of semi classical analysis. These works do not derive results on cohomological equations for unstable flows or horospherical foliations of these systems.


Analysis of Commutativity with State Chart Graph Representation of Concurrent Programs. We present a new approach to check for commutativity in concurrent programs from their state chart graphs. A set of operations are commutative if changing the order of their execution on an object does not affect the abstract state of the object and returns the same response. Concurrent operations that commute at object level can be executed concurrently at transaction level, which boosts performance while preserving the appearance of atomicity and isolation. Utilizing object level commutativity in transactional execution enables the reuse of existing non blocking programming techniques for thread level synchronization. In our approach, we generate state chart graphs by tracking data on the atomic instructions invoked on the concurrent object during model checking and represent the atomic instructions as states in a state transition representation. Considering the non deterministic nature of concurrent programs, we determine commutativity by exhaustively searching for identical object states captured at a thread level granularity across all thread interleavings. With this methodology, a user can not only verify commutativity among operations, but also can visually check ways in which methods commute at object level, which is an edge over current state of the art tools. The object level commutative information helps in identifying faulty implementations and performance improvement considerations. We use the graph database, Neo4j, to represent object states as nodes that further assists the user to check for concurrency properties using Cypher queries.


Vertical Genera. Generalised characteristic classes are constructed for bordism cohomologies which allow a natural extension of classical genera to these bordism cohomology rings taking values in singular cohomology.


A Survey of Deep Learning Techniques for Autonomous Driving. The last decade witnessed increasingly rapid progress in self driving vehicle technology, mainly backed up by advances in the area of deep learning and artificial intelligence. The objective of this paper is to survey the current state of the art on deep learning technologies used in autonomous driving. We start by presenting AI based self driving architectures, convolutional and recurrent neural networks, as well as the deep reinforcement learning paradigm. These methodologies form a base for the surveyed driving scene perception, path planning, behavior arbitration and motion control algorithms. We investigate both the modular perception planning action pipeline, where each module is built using deep learning methods, as well as End2End systems, which directly map sensory information to steering commands. Additionally, we tackle current challenges encountered in designing AI architectures for autonomous driving, such as their safety, training data sources and computational hardware. The comparison presented in this survey helps to gain insight into the strengths and limitations of deep learning and AI approaches for autonomous driving and assist with design choices


Petri Nets with Parameterised Data Modelling and Verification (Extended Version). During the last decade, various approaches have been put forward to integrate business processes with different types of data. Each of such approaches reflects specific demands in the whole process data integration spectrum. One particular important point is the capability of these approaches to flexibly accommodate processes with multiple cases that need to co evolve. In this work, we introduce and study an extension of coloured Petri nets, called catalog nets, providing two key features to capture this type of processes. On the one hand, net transitions are equipped with guards that simultaneously inspect the content of tokens and query facts stored in a read only, persistent database. On the other hand, such transitions can inject data into tokens by extracting relevant values from the database or by generating genuinely fresh ones. We systematically encode catalog nets into one of the reference frameworks for the (parameterised) verification of data and processes. We show that fresh value injection is a particularly complex feature to handle, and discuss strategies to tame it. Finally, we discuss how catalog nets relate to well known formalisms in this area.


Contiguous Cake Cutting Hardness Results and Approximation Algorithms. We study the fair allocation of a cake, which serves as a metaphor for a divisible resource, under the requirement that each agent should receive a contiguous piece of the cake. While it is known that no finite envy free algorithm exists in this setting, we exhibit efficient algorithms that produce allocations with low envy among the agents. We then establish NP hardness results for various decision problems on the existence of envy free allocations, such as when we fix the ordering of the agents or constrain the positions of certain cuts. In addition, we consider a discretized setting where indivisible items lie on a line and show a number of hardness results extending and strengthening those from prior work. Finally, we investigate connections between approximate and exact envy freeness, as well as between continuous and discrete cake cutting.


Polymer multimode waveguide bend based on a multilayered Eaton lens. Reducing the bending radius of low index contrast waveguides is essential in reducing the size of the integrated optical components. A polymeric multimode waveguide bend is presented based on the Eaton lens. The ray tracing calculations are utilized to truncate the Eaton lens in order to improve the performance of the bend. The truncation of the lens decreases the footprint of the bend as well. The designed waveguide bend with a radius of 18.4 mu m is implemented by concentric cylindrical multilayer structure. The average bend losses of 0.69 and 0.87 dB are achieved for the TM 0 and TM 1 modes in the C band of optical communication, respectively. The bend loss is lower than 1 dB in a bandwidth of 1520 1675 nm for both modes.


REST A Thread Embedding Approach for Identifying and Classifying User specified Information in Security Forums. How can we extract useful information from a security forum? We focus on identifying threads of interest to a security professional (a) alerts of worrisome events, such as attacks, (b) offering of malicious services and products, (c) hacking information to perform malicious acts, and (d) useful security related experiences. The analysis of security forums is in its infancy despite several promising recent works. Novel approaches are needed to address the challenges in this domain (a) the difficulty in specifying the "topics" of interest efficiently, and (b) the unstructured and informal nature of the text. We propose, REST, a systematic methodology to (a) identify threads of interest based on a, possibly incomplete, bag of words, and (b) classify them into one of the four classes above. The key novelty of the work is a multi step weighted embedding approach we project words, threads and classes in appropriate embedding spaces and establish relevance and similarity there. We evaluate our method with real data from three security forums with a total of 164k posts and 21K threads. First, REST robustness to initial keyword selection can extend the user provided keyword set and thus, it can recover from missing keywords. Second, REST categorizes the threads into the classes of interest with superior accuracy compared to five other methods REST exhibits an accuracy between 63.3 76.9 . We see our approach as a first step for harnessing the wealth of information of online forums in a user friendly way, since the user can loosely specify her keywords of interest.


H "olderian convergence of fractional extended nabla operator to fractional derivative. In this paper, we construct the fractional extended nabla operator as fractional power of linear spline of backward difference operator. Then we prove the strong convergence of this operator to fractional derivative in a H "older space setting. Finally numerical examples are presented.


Estimating decision tree learnability with polylogarithmic sample complexity. We show that top down decision tree learning heuristics are amenable to highly efficient learnability estimation for monotone target functions, the error of the decision tree hypothesis constructed by these heuristics can be estimated with polylogarithmically many labeled examples, exponentially smaller than the number necessary to run these heuristics, and indeed, exponentially smaller than information theoretic minimum required to learn a good decision tree. This adds to a small but growing list of fundamental learning algorithms that have been shown to be amenable to learnability estimation. En route to this result, we design and analyze sample efficient minibatch versions of top down decision tree learning heuristics and show that they achieve the same provable guarantees as the full batch versions. We further give "active local" versions of these heuristics given a test point x star , we show how the label T(x star) of the decision tree hypothesis T can be computed with polylogarithmically many labeled examples, exponentially smaller than the number necessary to learn T .


Sufficient condition for rectifiability involving Wasserstein distance W 2 . A Radon measure mu is n rectifiable if it is absolutely continuous with respect to mathcal H n and mu almost all of text supp , mu can be covered by Lipschitz images of mathbb R n . In this paper we give two sufficient conditions for rectifiability, both in terms of square functions of flatness quantifying coefficients. The first condition involves the so called alpha and beta 2 numbers. The second one involves alpha 2 numbers coefficients quantifying flatness via Wasserstein distance W 2 . Both conditions are necessary for rectifiability, too the first one was shown to be necessary by Tolsa, while the necessity of the alpha 2 condition is established in our recent paper. Thus, we get two new characterizations of rectifiability.


A Novel Cryptography Based Privacy Preserving Decentralized Optimization Paradigm. Existing large scale optimization schemes are challenged by both scalability and cyber security. With the favorable scalability, adaptability, and flexibility, decentralized and distributed optimization paradigms are widely adopted in cyber physical system applications. However, most existing approaches heavily rely on explicit information exchange between agents or between agents and the system operator, leading the entire framework prone to privacy risks. To tackle this issue, this paper synthesizes cryptography and decentralized optimization techniques to develop a novel privacy preserving decentralized optimization paradigm. The proposed paradigm is generically applicable to strongly coupled convex optimization problems with nonseparable objective functions and linearly coupled constraints. The security and accuracy of the proposed paradigm are verified via numerical examples.


On the stability of compact pseudo K "ahler and neutral Calabi Yau manifolds. We study the stability of compact pseudo K "ahler manifolds, i.e. compact complex manifolds X endowed with a symplectic form compatible with the complex structure of X . When the corresponding metric is positive definite, X is K "ahler and any sufficiently small deformation of X admits a K "ahler metric by a well known result of Kodaira and Spencer. We prove that compact pseudo K "ahler surfaces are also stable, but we show that stability fails in every complex dimension n geq 3 . Similar results are obtained for compact neutral K "ahler and neutral Calabi Yau manifolds. Finally, motivated by a question of Streets and Tian in the positive definite case, we construct compact complex manifolds with pseudo Hermitian symplectic structures that do not admit any pseudo K "ahler metric.


A Fractional 3n 1 Conjecture. In this paper we introduce and discuss the sequence of emph real numbers defined as u 0 in mathbb R and u n 1 Delta(u n) where begin equation Delta(x) begin cases frac x 2 text if operatorname frac (x) frac 1 2 4px frac 3x 1 2 text if operatorname frac (x) geq frac 1 2 end cases end equation This sequence is reminiscent of the famous Collatz sequence, and seems to exhibit an interesting behaviour. Indeed, we conjecture that iterating Delta will eventually either converge to zero, or loop over sequences of real numbers with integer parts 1,2,4,7,11,18,9,4,7,3,5,9,4,7,11,18,9,4,7,3,6,3,1,2,4,7,3,6,3 . We prove this conjecture for u 0 in 0, 100 . Extending the proof to larger fixed values seems to be a matter of computing power. The authors pledge to offer a reward to the first person who proves or refutes the conjecture completely with a proof published in a serious refereed mathematical conference or journal.