Sample complexity of hidden subgroup problem. The hidden subgroup problem ( mathsf HSP ) has been attracting much attention in quantum computing, since several well known quantum algorithms including Shor algorithm can be described in a uniform framework as quantum methods to address different instances of it. One of the central issues about mathsf HSP is to characterize its quantum classical complexity. For example, from the viewpoint of learning theory, sample complexity is a crucial concept. However, while the quantum sample complexity of the problem has been studied, a full characterization of the classical sample complexity of mathsf HSP seems to be absent, which will thus be the topic in this paper. mathsf HSP over a finite group is defined as follows For a finite group G and a finite set V , given a function f G to V and the promise that for any x, y in G, f(x) f(xy) iff y in H for a subgroup H in mathcal H , where mathcal H is a set of candidate subgroups of G , the goal is to identify H . Our contributions are as follows For mathsf HSP , we give the upper and lower bounds on the sample complexity of mathsf HSP . Furthermore, we have applied the result to obtain the sample complexity of some concrete instances of hidden subgroup problem. Particularly, we discuss generalized Simon's problem ( mathsf GSP ), a special case of mathsf HSP , and show that the sample complexity of mathsf GSP is Theta left( max left k, sqrt k cdot p n k right right) . Thus we obtain a complete characterization of the sample complexity of mathsf GSP .


A new view on risk measures associated with acceptance sets. In this paper, we study properties of certain risk measures associated with acceptance sets. These sets describe regulatory preconditions that have to be fulfilled by financial institutions to pass a given acceptance test. If the financial position of an institution is not acceptable, the decision maker has to raise new capital and invest it into a basket of so called eligible assets to change the current position such that the resulting one corresponds with an element of the acceptance set. Risk measures have been widely studied. The risk measure that is considered here determines the minimal costs of making a financial position acceptable. In the literature, monetary risk measures are often defined as translation invariant functions and, thus, there is an equivalent formulation as Gerstewitz Functional. The Gerstewitz Functional is an useful tool for separation and scalarization in multiobjective optimization in the non convex case. In our paper, we study properties of the sublevel sets, strict sublevel sets and level lines of a risk measure defined on a linear space. Furthermore, we discuss the finiteness of the risk measure and relax the closedness assumptions.


Contextual Similarity Aggregation with Self attention for Visual Re ranking. In content based image retrieval, the first round retrieval result by simple visual feature comparison may be unsatisfactory, which can be refined by visual re ranking techniques. In image retrieval, it is observed that the contextual similarity among the top ranked images is an important clue to distinguish the semantic relevance. Inspired by this observation, in this paper, we propose a visual re ranking method by contextual similarity aggregation with self attention. In our approach, for each image in the top K ranking list, we represent it into an affinity feature vector by comparing it with a set of anchor images. Then, the affinity features of the top K images are refined by aggregating the contextual information with a transformer encoder. Finally, the affinity features are used to recalculate the similarity scores between the query and the top K images for re ranking of the latter. To further improve the robustness of our re ranking model and enhance the performance of our method, a new data augmentation scheme is designed. Since our re ranking model is not directly involved with the visual feature used in the initial retrieval, it is ready to be applied to retrieval result lists obtained from various retrieval algorithms. We conduct comprehensive experiments on four benchmark datasets to demonstrate the generality and effectiveness of our proposed visual re ranking method.


Reuse of Semantic Models for Emerging Smart Grids Applications. Data in the energy domain grows at unprecedented rates. Despite the great potential that IoT platforms and other big data driven technologies have brought in the energy sector, data exchange and data integration are still not wholly achieved. As a result, fragmented applications are developed against energy data silos, and data exchange is limited to few applications. Therefore, this paper identifies semantic models that can be reused for building interoperable energy management services and applications. The ambition is to innovate the Institute Mihajlo Pupin proprietary SCADA system and to enable integration of the Institute Mihajlo Pupin services and applications in the European Union (EU) Energy Data Space. The selection of reusable models has been done based on a set of scenarios related to electricity balancing services, predictive maintenance services, and services for the residential, commercial and industrial sectors.


The Influence of Social Networks on Human Society. This report gives a brief overview of the origin of social networks and their most popular manifestation in the modern era the Online Social Networks (OSNs) or social media. It further discusses the positive and negative implications of OSNs on human society. The coupling of Data Science and social media (social media mining) is then put forward as a powerful tool to overcome the current challenges and pave the path for futuristic advancements


Equilibrium States for the Random beta Transformation through g Measures. We consider the random beta transformation K beta , defined on 0,1 mathbb N times 0, frac lfloor beta rfloor beta 1 , that generates all possible expansions of the form x sum i 0 infty frac a i beta i , where a i in 0,1, cdots, lfloor beta rfloor . This transformation was first introduced by Dajani and Kraaikamp, and later studied by Dajani and de Vries, where two natural invariant ergodic measures were found. The first is the unique measure of maximal entropy, and the second is a measure of the form m p times mu beta , with m p the Bernoulli (p,1 p) product measure and mu beta is a measure equivalent to Lebesgue measure. In this paper, we give an uncountable family of K beta invariant exact g measures for a certain collection of algebraic beta 's.


On the p adic interpolation of unitary Friedberg Jacquet periods. We establish functoriality of higher Coleman theory for certain unitary Shimura varieties and use this to construct a p adic analytic function interpolating unitary Friedberg Jacquet periods.


Cost Problems for Parametric Time Petri Nets. We investigate the problem of parameter synthesis for time Petri nets with a cost variable that evolves both continuously with time, and discretely when firing transitions. More precisely, parameters are rational symbolic constants used for time constraints on the firing of transitions and we want to synthesise all their values such that some marking is reachable, with a cost that is either minimal or simply less than a given bound. We first prove that the mere existence of values for the parameters such that the latter property holds is undecidable. We nonetheless provide symbolic semi algorithms for the two synthesis problems and we prove them both sound and complete when they terminate. We also show how to modify them for the case when parameter values are integers. Finally, we prove that these modified versions terminate if parameters are bounded. While this is to be expected since there are now only a finite number of possible parameter values, our algorithms are symbolic and thus avoid an explicit enumeration of all those values. Furthermore, the results are symbolic constraints representing finite unions of convex polyhedra that are easily amenable to further analysis through linear programming. We finally report on the implementation of the approach in Romeo, a software tool for the analysis of time Petri nets.


TraverseNet Unifying Space and Time in Message Passing. This paper aims to unify spatial dependency and temporal dependency in a non Euclidean space while capturing the inner spatial temporal dependencies for spatial temporal graph data. For spatial temporal attribute entities with topological structure, the space time is consecutive and unified while each node's current status is influenced by its neighbors' past states over variant periods of each neighbor. Most spatial temporal neural networks study spatial dependency and temporal correlation separately in processing, gravely impaired the space time continuum, and ignore the fact that the neighbors' temporal dependency period for a node can be delayed and dynamic. To model this actual condition, we propose TraverseNet, a novel spatial temporal graph neural network, viewing space and time as an inseparable whole, to mine spatial temporal graphs while exploiting the evolving spatial temporal dependencies for each node via message traverse mechanisms. Experiments with ablation and parameter studies have validated the effectiveness of the proposed TraverseNets, and the detailed implementation can be found from https github.com nnzhan TraverseNet.


Some generalizations of Satoh's Tube map. Satoh has defined a map from virtual knots to ribbon surfaces embedded in S 4 . Herein, we generalize this map to virtual m links, and use this to construct generalizations of welded and extended welded knots to higher dimensions. This also allows us to construct two new geometric pictures of virtual m links, including 1 links.


On Automatic Text Extractive Summarization Based on Graph and pre trained Language Model Attention. Representing text as graph to solve the summarization task has been discussed for more than 10 years. However, with the development of attention or Transformer, the connection between attention and graph remains poorly understood. We demonstrate that the text structure can be analyzed through the attention matrix, which represents the relation between sentences by the attention weights. In this work, we show that the attention matrix produced in pre training language model can be used as the adjacent matrix of graph convolutional network model. Our model performs a competitive result on 2 different datasets based on the ROUGE index. Also, with fewer parameters, the model reduces the computation resource when training and inferring.


Towards FAIR Principles for Open Hardware. The lack of scientific openness is identified as one of the key challenges of computational reproducibility. In addition to Open Data, Free and Open source Software (FOSS) and Open Hardware (OH) can address this challenge by introducing open policies, standards, and recommendations. However, while both FOSS and OH are free to use, study, modify, and redistribute, there are significant differences in sharing and reusing these artifacts. FOSS is increasingly supported with software repositories, but support for OH is lacking, potentially due to the complexity of its digital format and licensing. This paper proposes leveraging FAIR principles to make OH findable, accessible, interoperable, and reusable. We define what FAIR means for OH, how it differs from FOSS, and present examples of unique demands. Also, we evaluate dissemination platforms currently used for OH and provide recommendations.


Skeletal Model Reduction with Forced Optimally Time Dependent Modes. Sensitivity analysis with forced optimally time dependent (f OTD) modes is introduced and its application for skeletal model reduction is demonstrated. f OTD expands the sensitivity coefficient matrix into a lowdimensional, time dependent, orthonormal basis which captures directions of the phase space associated with most dominant sensitivities. These directions highlight the instantaneous active species and reaction paths. Evolution equations for the orthonormal basis and the projections of sensitivity matrix onto the basis are derived, and the application of f OTD for skeletal reduction is described. In this framework, the sensitivity matrix is modeled, stored in a factorized manner, and never reconstructed at any time during the calculations. For demonstration purposes, sensitivity analysis is conducted of constant pressure ethylene air burning in a zero dimensional reactor and new skeletal models are generated. The flame speed, the ignition delay, and the extinction curve of resulted models are compared against some of the existing skeletal models. The results demonstrate the ability of f OTD approach to eliminate unimportant reactions and species in a systematic, efficient and accurate manner.


Finite frames, frame potentials and determinantal point processes on the sphere. Herein, we address the expectations of frame potentials of three types of determinantal point processes(DPPs) on the d dimensional unit sphere (i) spherical ensembles on the 2 dimensional unit sphere (ii) harmonic ensembles on the d dimensional unit sphere and (iii) jittered sampling point processes on the d dimensional unit sphere. The random point configurations generated by such DPPs converge more rapidly towards finite unit norm tight frames(FUNTFs) than the Poisson point processes on the unit sphere.


An Invariance Principle for the Multi slice, with Applications. Given an alphabet size m in mathbb N thought of as a constant, and vec k (k 1, ldots,k m) whose entries sum of up n , the vec k multi slice is the set of vectors x in m n in which each symbol i in m appears precisely k i times. We show an invariance principle for low degree functions over the multi slice, to functions over the product space ( m n, mu n) in which mu(i) k i n . This answers a question raised by Filmus et al. As applications of the invariance principle, we show 1. An analogue of the "dictatorship test implies computational hardness" paradigm for problems with perfect completeness, for a certain class of dictatorship tests. Our computational hardness is proved assuming a recent strengthening of the Unique Games Conjecture, called the Rich 2 to 1 Games Conjecture. Using this analogue, we show that assuming the Rich 2 to 1 Games Conjecture, (a) there is an r ary CSP mathcal P r for which it is NP hard to distinguish satisfiable instances of the CSP and instances that are at most frac 2r 1 2 r o(1) satisfiable, and (b) hardness of distinguishing 3 colorable graphs, and graphs that do not contain an independent set of size o(1) . 2. A reduction of the problem of studying expectations of products of functions on the multi slice to studying expectations of products of functions on correlated, product spaces. In particular, we are able to deduce analogues of the Gaussian bounds from cite MosselGaussian for the multi slice. 3. In a companion paper, we show further applications of our invariance principle in extremal combinatorics, and more specifically to proving removal lemmas of a wide family of hypergraphs H called zeta forests, which is a natural extension of the well studied case of matchings.


CoronaZ another distributed systems project. This brief paper describes CoronaZ, a project for the Distributed Systems course at the University of Helsinki. All the code of the project is publicly available on GitHub repository. This project simulates a contact tracing application where each node represents a person (or a unique device attached to someone) that send signals to each other when in range and communicate the data collected to a server using the publish subscribe pattern. The server, called broker, can then be polled by a node called consumer that will send the data to a database. A front end application then requests this data and displays the movement and the latest updates via the browser. The idea came from simulating this kind of movements with Arduino boards capable of communicating between themselves using the nrf24l01 and to the broker with esp8266. Unfortunately this was not possible given the relatively strict amount of time that each of the students involved could dedicate to the project and the waiting time to get the necessary hardware.


On arithmetic sums of Ahlfors regular sets. Let A,B subset mathbb R be closed Ahlfors regular sets with dimensions dim mathrm H A alpha and dim mathrm H B beta . I prove that dim mathrm H A theta B geq alpha beta cdot tfrac 1 alpha 2 alpha for all theta in mathbb R , setminus , E , where dim mathrm H E 0 .


A property of Absolute Minimizers in L infty Calculus of Variations and of solutions of the Aronsson Euler equation. We discover a new minimality property of the absolute minimisers of supremal functionals (also known as L infty Calculus of Variations problems).


Differentially Evolving Memory Ensembles Pareto Optimization based on Computational Intelligence for Embedded Memories on a System Level. As the relative power, performance, and area (PPA) impact of embedded memories continues to grow, proper parameterization of each of the thousands of memories on a chip is essential. When the parameters of all memories of a product are optimized together as part of a single system, better trade offs may be achieved than if the same memories were optimized in isolation. However, challenges such as a sparse solution space, conflicting objectives, and computationally expensive PPA estimation impede the application of common optimization heuristics. We show how the memory system optimization problem can be solved through computational intelligence. We apply a Pareto based Differential Evolution to ensure unbiased optimization of multiple PPA objectives. To ensure efficient exploration of a sparse solution space, we repair individuals to yield feasible parameterizations. PPA is estimated efficiently in large batches by pre trained regression neural networks. Our framework enables the system optimization of thousands of memories while keeping a small resource footprint. Evaluating our method on a tractable system, we find that our method finds diverse solutions which exhibit less than 0.5 distance from known global optima.


Assessing the Reliability of Word Embedding Gender Bias Measures. Various measures have been proposed to quantify human like social biases in word embeddings. However, bias scores based on these measures can suffer from measurement error. One indication of measurement quality is reliability, concerning the extent to which a measure produces consistent results. In this paper, we assess three types of reliability of word embedding gender bias measures, namely test retest reliability, inter rater consistency and internal consistency. Specifically, we investigate the consistency of bias scores across different choices of random seeds, scoring rules and words. Furthermore, we analyse the effects of various factors on these measures' reliability scores. Our findings inform better design of word embedding gender bias measures. Moreover, we urge researchers to be more critical about the application of such measures.


A Geometric Interpretation to Fixed Point Theory on S b Metric Spaces. In this paper we present some fixed figure theorems as a geometric approach to the fixed point theory when the number of fixed points of a self mapping is more than one. To do this, we modify the Jleli Samet type contraction and define new contractions on S b metric spaces. Also, we give some necessary examples to show the validity of our theoretical results. Keywords Fixed figure, fixed disc, fixed ellipse, fixed hyperbola, fixed Cassini curve, fixed Apollonius circle.


A Verification Theorem for Stackelberg Stochastic Differential Games in Feedback Information Pattern. This paper is concerned with a Stackelberg stochastic differential game on a finite horizon in feedback information pattern. A system of parabolic partial differential equations is obtained at the level of Hamiltonian to give the verification theorem of the feedback Stackelberg equilibrium. As an example, a linear quadratic Stackelberg stochastic differential game is investigated. Riccati equations are introduced to express the feedback Stackelberg equilibrium, analytical and numerical solutions to these Riccati equations are discussed in some special cases.


Grapheme to Phoneme Transformer Model for Transfer Learning Dialects. Grapheme to Phoneme (G2P) models convert words to their phonetic pronunciations. Classic G2P methods include rule based systems and pronunciation dictionaries, while modern G2P systems incorporate learning, such as, LSTM and Transformer based attention models. Usually, dictionary based methods require significant manual effort to build, and have limited adaptivity on unseen words. And transformer based models require significant training data, and do not generalize well, especially for dialects with limited data. We propose a novel use of transformer based attention model that can adapt to unseen dialects of English language, while using a small dictionary. We show that our method has potential applications for accent transfer for text to speech, and for building robust G2P models for dialects with limited pronunciation dictionary size. We experiment with two English dialects Indian and British. A model trained from scratch using 1000 words from British English dictionary, with 14211 words held out, leads to phoneme error rate (PER) of 26.877 , on a test set generated using the full dictionary. The same model pretrained on CMUDict American English dictionary, and fine tuned on the same dataset leads to PER of 2.469 on the test set.


Robust Naive Learning in Social Networks. We study a model of opinion exchange in social networks where a state of the world is realized and every agent receives a zero mean noisy signal of the realized state. It is known from Golub and Jackson that under the DeGroot dynamics agents reach a consensus which is close to the state of the world when the network is large. The DeGroot dynamics, however, is highly non robust and the presence of a single bot' that does not adhere to the updating rule, can sway the public consensus to any other value. We introduce a variant of the DeGroot dynamics which we call emph varepsilon DeGroot . The varepsilon DeGroot dynamics approximates the standard DeGroot dynamics and like the DeGroot dynamics it is Markovian and stationary. We show that in contrast to the standard DeGroot dynamics, the varepsilon DeGroot dynamics is highly robust both to the presence of bots and to certain types of misspecifications.


The history of the Russian study of Chinese astronomy. A short history of Russian researches in Chinese astronomy in 19 20 centuries


Some remarks on traces on the infinite dimensional Iwahori Hecke algebra. The infinite dimensional Iwahori Hecke algebras mathcal H infty(q) are direct limits of the usual finite dimensional Iwahori Hecke algebras. They arise in a natural way as convolution algebras of bi invariant functions on groups mathrm GLB ( mathbb F q) of infinite dimensional matrices over finite fields having only finite number of non zero matrix elements under the diagonal. In 1988 Vershik and Kerov classified all indecomposable positive traces on mathcal H infty(q) . Any such trace generates a representation of the double mathcal H infty(q) otimes mathcal H infty(q) and of the double mathrm GLB ( mathbb F q) times mathrm GLB ( mathbb F q) . We present constructions of such representations the traces are some distinguished matrix elements. We also obtain some (simple) general statements on relations between unitary representations of groups and representations of convolution algebras of measures bi invariant with respect to compact subgroups.


Mutual influence between language and perception in multi agent communication games. Language interfaces with many other cognitive domains. This paper explores how interactions at these interfaces can be studied with deep learning methods, focusing on the relation between language emergence and visual perception. To model the emergence of language, a sender and a receiver agent are trained on a reference game. The agents are implemented as deep neural networks, with dedicated vision and language modules. Motivated by the mutual influence between language and perception in cognition, we apply systematic manipulations to the agents' (i) visual representations, to analyze the effects on emergent communication, and (ii) communication protocols, to analyze the effects on visual representations. Our analyses show that perceptual biases shape semantic categorization and communicative content. Conversely, if the communication protocol partitions object space along certain attributes, agents learn to represent visual information about these attributes more accurately, and the representations of communication partners align. Finally, an evolutionary analysis suggests that visual representations may have evolved in part to facilitate the communication of environmentally relevant distinctions. Aside from accounting for co adaptation effects between language and perception, our results point out ways to modulate and improve visual representation learning and emergent communication in artificial agents.


Reduction principle for Gaussian K inequality. We study interpolation properties of operators (not necessarily linear) which satisfy a specific K inequality corresponding to endpoints defined in terms of Orlicz Karamata spaces modeled upon the example of the Gaussian Sobolev embedding. We prove a reduction principle for a fairly wide class of such operators.


A Fast and Adaptive SVD free Algorithm for General Weighted Low rank Recovery. This paper is devoted to proposing a general weighted low rank recovery model and designs a fast SVD free computational scheme to solve it. First, our generic weighted low rank recovery model unifies several existing approaches in the literature. Moreover, our model readily extends to the non convex setting. Algorithm wise, most first order proximal algorithms in the literature for low rank recoveries require computing singular value decomposition (SVD). As SVD does not scale properly with the dimension of the matrices, these algorithms becomes slower when the problem size becomes larger. By incorporating the variational formulation of the nuclear norm into the sub problem of proximal gradient descent, we avoid to compute SVD which results in significant speed up. Moreover, our algorithm preserves the em rank identification property of nuclear norm 33 which further allows us to design a rank continuation scheme that asymptotically achieves the minimal iteration complexity. Numerical experiments on both toy example and real world problems including structure from motion (SfM) and photometric stereo, background estimation and matrix completion, demonstrate the superiority of our proposed algorithm.


Global Results for the Inhomogeneous Muskat Problem. The inhomogeneous Muskat problem models the dynamics of an interface between two fluids of differing characteristics inside a non uniform porous medium. We consider the case of a porous media with a permeability jump across a horizontal boundary away from an interface between two fluids of different viscosities and densities. For initial data of explicit medium size, depending on the characteristics of the fluids and porous media, we will prove the global existence and uniqueness of a solution which is instantly analytic and decays in time to the flat interface.


Amenable covers and integral foliated simplicial volume. In analogy with ordinary simplicial volume, we show that integral foliated simplicial volume of oriented closed connected aspherical n manifolds that admit an open amenable cover of multiplicity at most n is zero. This implies that the fundamental groups of such manifolds have fixed price and are cheap as well as reproves some statements about homology growth.


Learning Human Motion Prediction via Stochastic Differential Equations. Human motion understanding and prediction is an integral aspect in our pursuit of machine intelligence and human machine interaction systems. Current methods typically pursue a kinematics modeling approach, relying heavily upon prior anatomical knowledge and constraints. However, such an approach is hard to generalize to different skeletal model representations, and also tends to be inadequate in accounting for the dynamic range and complexity of motion, thus hindering predictive accuracy. In this work, we propose a novel approach in modeling the motion prediction problem based on stochastic differential equations and path integrals. The motion profile of each skeletal joint is formulated as a basic stochastic variable and modeled with the Langevin equation. We develop a strategy of employing GANs to simulate path integrals that amounts to optimizing over possible future paths. We conduct experiments in two large benchmark datasets, Human 3.6M and CMU MoCap. It is highlighted that our approach achieves a 12.48 accuracy improvement over current state of the art methods in average.


Exploiting the Intrinsic Neighborhood Structure for Source free Domain Adaptation. Domain adaptation (DA) aims to alleviate the domain shift between source domain and target domain. Most DA methods require access to the source data, but often that is not possible (e.g. due to data privacy or intellectual property). In this paper, we address the challenging source free domain adaptation (SFDA) problem, where the source pretrained model is adapted to the target domain in the absence of source data. Our method is based on the observation that target data, which might no longer align with the source domain classifier, still forms clear clusters. We capture this intrinsic structure by defining local affinity of the target data, and encourage label consistency among data with high local affinity. We observe that higher affinity should be assigned to reciprocal neighbors, and propose a self regularization loss to decrease the negative impact of noisy neighbors. Furthermore, to aggregate information with more context, we consider expanded neighborhoods with small affinity values. In the experimental results we verify that the inherent structure of the target features is an important source of information for domain adaptation. We demonstrate that this local structure can be efficiently captured by considering the local neighbors, the reciprocal neighbors, and the expanded neighborhood. Finally, we achieve state of the art performance on several 2D image and 3D point cloud recognition datasets. Code is available in https github.com Albert0147 SFDA neighbors.


Learning Generalizable Behavior via Visual Rewrite Rules. Though deep reinforcement learning agents have achieved unprecedented success in recent years, their learned policies can be brittle, failing to generalize to even slight modifications of their environments or unfamiliar situations. The black box nature of the neural network learning dynamics makes it impossible to audit trained deep agents and recover from such failures. In this paper, we propose a novel representation and learning approach to capture environment dynamics without using neural networks. It originates from the observation that, in games designed for people, the effect of an action can often be perceived in the form of local changes in consecutive visual observations. Our algorithm is designed to extract such vision based changes and condense them into a set of action dependent descriptive rules, which we call ''visual rewrite rules'' (VRRs). We also present preliminary results from a VRR agent that can explore, expand its rule set, and solve a game via planning with its learned VRR world model. In several classical games, our non deep agent demonstrates superior performance, extreme sample efficiency, and robust generalization ability compared with several mainstream deep agents.


Towards General purpose Infrastructure for Protecting Scientific Data Under Study. The scientific method presents a key challenge to privacy because it requires many samples to support a claim. When samples are commercially valuable or privacy sensitive enough, their owners have strong reasons to avoid releasing them for scientific study. Privacy techniques seek to mitigate this tension by enforcing limits on one's ability to use studied samples for secondary purposes. Recent work has begun combining these techniques into end to end systems for protecting data. In this work, we assemble the first such combination which is sufficient for a privacy layman to use familiar tools to experiment over private data while the infrastructure automatically prohibits privacy leakage. We support this theoretical system with a prototype within the Syft privacy platform using the PyTorch framework.


Proceedings of the 19th International Overture Workshop. This volume contains the papers presented at the 19th International Overture Workshop, which was held in an hybrid format online and physically at Aarhus, Denmark on 22th October 2021. This event was the latest in a series of workshops around the Vienna Development Method (VDM), the open source project Overture, and related tools and formalisms. VDM is one of the longest established formal methods for systems development. A lively community of researchers and practitioners has grown up in academia and industry around the modelling languages (VDM SL, VDM , VDM RT, CML) and tools (VDMTools, Overture, VDM VSCode extension, Crescendo, Symphony, the INTO CPS chain, and ViennaTalk). Together, these provide a platform for work on modelling and analysis technology that includes static and dynamic analysis, test generation, execution support, and model checking. This workshop provided updates on the emerging technology of VDM Overture, including collaboration infrastructure, collaborative modelling and co simulation for Cyber Physical Systems.


End to End Learning of Multi category 3D Pose and Shape Estimation. In this paper, we study the representation of the shape and pose of objects using their keypoints. Therefore, we propose an end to end method that simultaneously detects 2D keypoints from an image and lifts them to 3D. The proposed method learns both 2D detection and 3D lifting only from 2D keypoints annotations. In addition to being end to end from images to 3D keypoints, our method also handles objects from multiple categories using a single neural network. We use a Transformer based architecture to detect the keypoints, as well as to summarize the visual context of the image. This visual context information is then used while lifting the keypoints to 3D, to allow context based reasoning for better performance. Our method can handle occlusions as well as a wide variety of object classes. Our experiments on three benchmarks demonstrate that our method performs better than the state of the art. Our source code will be made publicly available.


FloMore Meeting bandwidth requirements of flows. Wide area cloud provider networks must support the bandwidth requirements of diverse services (e.g., applications, product groups, customers) despite failures. Existing traffic engineering (TE) schemes operate at much coarser granularity than services, which we show necessitates unduly conservative decisions. To tackle this, we present FloMore, which directly considers the bandwidth needs of individual services and ensures they are met a desired percentage of time. Rather than meet the requirements for all services over the same set of failure states, FloMore exploits a key opportunity that each service could meet its bandwidth requirements over a different set of failure states. FloMore consists of an offline phase that identifies the critical failure states of each service, and on failure allocates traffic in a manner that prioritizes those services for which that failure state is critical. We present a novel decomposition scheme to handle FloMore's offline phase in a tractable manner. Our evaluations show that FloMore outperforms state of the art TE schemes including SMORE and Teavar, and also out performs extensions of these schemes that we devise. The results also show FloMore's decomposition approach allows it to scale well to larger network topologies.


Finite element error analysis for a system coupling surface evolution to diffusion on the surface. We consider a numerical scheme for the approximation of a system that couples the evolution of a two dimensional hypersurface to a reaction diffusion equation on the surface. The surfaces are assumed to be graphs and evolve according to forced mean curvature flow. The method uses continuous, piecewise linear finite elements in space and a backward Euler scheme in time. Assuming the existence of a smooth solution we prove optimal error bounds both in L infty(L 2) and in L 2(H 1) . We present several numerical experiments that confirm our theoretical findings and apply the method in order to simulate diffusion induced grain boundary motion.


Logarithmic Euler Maruyama Scheme for Multi Dimensional Stochastic Delay Differential Equation. In this paper, we extend the logarithmic Euler Maruyama scheme for stochastic delay differential equation in one dimension to the part where we propose a scheme for a system of stochastic delay differential equations. We then show that the scheme always maintains positivity subject to initial conditions. We then show the convergence of the proposed Euler Maruyama scheme. With this scheme, all the approximate solutions are positive and the rate of convergence of this scheme is 0.5.


5G Network Slicing for Wi Fi Networks. Future networks will pave the way for a myriad of applications with different requirements and Wi Fi will play an important role in local area networks. This is why network slicing is proposed by 5G networks, allowing to offer multiple logical networks tailored to the different user requirements, over a common infrastructure. However, this is not supported by current Wi Fi networks. In this paper, we propose a standard compliant network slicing approach for the radio access segment of Wi Fi by defining multiple Service Set Identifiers (SSIDs) per Access Point (AP). We present two algorithms, one that assigns resources according to the requirements of slices in a static way, and another that dynamically configures the slices according to the network's conditions and relevant Key Performance Indicators (KPIs). The proposed algorithms were validated through extensive simulations, conducted in the ns 3 network simulator, and complemented by theoretical assessments. The obtained results reveal that the two proposed slicing approaches outperform today's Wi Fi access technique, reaching lower error probability for bandwidth intensive slices and lower latency for time critical slices. Simultaneously, the proposed approach is up to 32 times more energy efficient, when considering slices tailored for low power and low bandwidth devices, while increasing the overall spectrum efficiency.


Augmenting On Chip Microresonator through Photonic Inverse Design. Recent advances in the design and fabrication of on chip optical microresonators has greatly expanded their applications in photonics, enabling metrology, communications, and on chip lasers. Designs for these applications require fine control of dispersion, bandwidth and high optical quality factors. Co engineering these figures of merit remains a significant technological challenge due to design strategies being largely limited to analytical tuning of cross sectional geometry. Here, we show that photonic inverse design facilitates and expands the functionality of on chip microresonators theoretically and experimentally demonstrating flexible dispersion engineering, quality factor beyond 2 million on the silicon on insulator platform with single mode operation, and selective wavelength band operation.


Minimal stretch maps between Euclidean triangle?. Given two triangles whose angles are all acute, we find a homeomorphism with the smallest Lipschitz constant between them and we give a formula for the Lipschitz constant of this map. We show that on the set of pairs of acute triangles with fixed area, the function which assigns the logarithm of the smallest Lipschitz constant of Lipschitz maps between them is a symmetric metric. We show that this metric is Finsler, we give a necessary and sufficient condition for a path in this metric space to be geodesic and we determine the isometry group of this metric space. This study is motivated by Thurston's asymmetric metric on the Teichm "u ller space of a hyperbolic surface, and the results in this paper constitute an analysis of a basic Euclidean analogue of Thurston's hyperbolic theory. Many interesting questions in the Euclidean setting deserve further attention.


Scaling of the elastic energy of small balls for maps between manifolds with different curvature tensors. Motivated by experiments and formal asymptotic expansions in the physics literature, Maor and Shachar (J. Elasticity 134 (2019), 149 173) studied the behaviour of a model elastic energy of maps between manifolds with incompatible metrics. For thin objects they analysed the scaling of the minimal elastic energy as a function of the thickness. In particular they showed that for maps from a ball of radius h in an oriented Riemannian manifold to Euclidean space, the infimum of a model elastic energy per unit volume scales like the fourth power of h and after rescaling one gets convergence to a quadratic expression in the curvature tensor R(p), where p denotes the centre of the ball. In this paper we show the same result for general compact oriented Riemannian targets with R(p) replaced by a suitable difference of the curvature tensors in the target and the domain, thus answering Open Question 1 in the paper by Maor and Shachar. The result extends noncompact targets provided they satisfy a uniform regularity condition. A key idea in the proof is to use Lipschitz approximations to define a suitable notion of convergence.


A Fuzzy Scheduling Strategy for Intelligent Workflow Decision Making in Uncertain Edge Cloud Environments. Workflow decision making is critical to performing many practical workflow applications. Scheduling in edge cloud environments can address the high complexity of workflow applications, while decreasing the data transmission delay between the cloud and end devices. However, due to the heterogeneous resources in edge cloud environments and the complicated data dependencies between the tasks in a workflow, significant challenges for workflow scheduling remain, including the selection of an optimal tasks servers solution from the possible numerous combinations. Existing studies are mainly done subject to rigorous conditions without fluctuations, ignoring the fact that workflow scheduling is typically present in uncertain environments. In this study, we focus on reducing the execution cost of workflow applications mainly caused by task computation and data transmission, while satisfying the workflow deadline in uncertain edge cloud environments. The Triangular Fuzzy Numbers (TFNs) are adopted to represent the task processing time and data transferring time. A cost driven fuzzy scheduling strategy based on an Adaptive Discrete Particle Swarm Optimization (ADPSO) algorithm is proposed, which employs the operators of Genetic Algorithm (GA). This strategy introduces the randomly two point crossover operator, neighborhood mutation operator, and adaptive multipoint mutation operator of GA to effectively avoid converging on local optima. The experimental results show that our strategy can effectively reduce the workflow execution cost in uncertain edge cloud environments, compared with other benchmark solutions.


On positive hypergraphs. Camarena, Cs ' o ka, Hubai, Lippner, and Lov ' a sz introduced the notion of positive graphs. This notion naturally extends to r uniform hypergraphs. In the case when r is odd, we prove that a hypergraph is positive if and only if its Levi graph is positive. As an application, we show that the 1 subdivision of K r,r is not a positive graph when r is odd.


On the Thom conjecture in CP 3 . What is the simplest smooth simply connected 4 manifold embedded in CP 3 homologous to a degree d hypersurface V d ? A version of this question associated with Thom asks if V d has the smallest b 2 among all such manifolds. While this is true for degree at most 4 , we show that for all d geq 5 , there is a manifold M d in this homology class with b 2(M d) b 2(V d) . This contrasts with the Kronheimer Mrowka solution of the Thom conjecture about surfaces in CP 2 , and is similar to results of Freedman for 2n manifolds in CP n 1 with n odd and greater than 1 .


Cokernels in the stable category of a left hereditary ring. It is proved that if a ring is left hereditary, left perfect and right coherent, then the stable category has cokernels. Moreover, we show that the condition for a ring to be left perfect and right coherent is also necessary for the stable category to have cokernels, provided that the ring is left hereditary and satisfies the additional condition that there are no non trivial projective injective left modules over it (satisfied, for instance, by integral domains). This, in particular, implies that, for a Dedekind domain, the stable category has cokernels if and only if the domain is left perfect. Several new necessary and sufficient conditions for a left hereditary ring to be left perfect and right coherent are found. One of them requires that the full subcategory of projective modules be reflective in the category of modules. Another one requires that any module be isomorphic to a stable module in the stable category. Yet another equivalent condition found in the paper requires that, for any module M , among all representations M K oplus P with a projective P , there should be the one with the smallest K . To accomplish the goals, a version of the well known Freyd's adjoint functor theorem, where the solution set condition is removed under some additional conditions on the categories, is given.


Telegraph systems on networks and port Hamiltonians. III. Explicit representation and long term behaviour. In this paper we present an explicit formula for the semigroup governing the solution to hyperbolic systems on a metric graph, satisfying general linear Kirchhoff's type boundary conditions. Further, we use this representation to establish the long term behaviour of the solutions. The crucial role is played by the spectral decomposition of the boundary matrix.


Morphology and high frequency bio electric fields. We investigate possible shapes of the electric field, which oscillating dipoles in a certain region of biological tissue can produce in a neighboring region, or outside the tissue boundaries. We find that a wide range of shapes, including the typical morphology of limbs and appendages, can be generated as a zone of extremely low field amplitudes embedded in a zone of much larger field amplitudes. Neutral molecules with a resonance close to the frequency of the oscillating field may be attracted to this zone or be repelled from it, while the driving effect on molecules with an electric charge is only extremely weak. The forces would be sufficient for the controlled deposition of molecules during growth or regeneration. They could also serve as a method of information transfer.


Computational modeling for high fidelity coarsening of shallow water equations based on subgrid data. Small scale features of shallow water flow obtained from direct numerical simulation (DNS) with two different computational codes for the shallow water equations are gathered offline and subsequently employed with the aim of constructing a reduced order correction. This is used to facilitate high fidelity online flow predictions at much reduced costs on coarse meshes. The resolved small scale features at high resolution represent subgrid properties for the coarse representation. Measurements of the subgrid dynamics are obtained as the difference between the evolution of a coarse grid solution and the corresponding DNS result. The measurements are sensitive to the particular numerical methods used for the simulation on coarse computational grids and can be used to approximately correct the associated discretization errors. The subgrid features are decomposed into empirical orthogonal functions (EOFs), after which a corresponding correction term is constructed. By increasing the number of EOFs in the approximation of the measured values the correction term can in principle be made arbitrarily accurate. Both computational methods investigated here show a significant decrease in the simulation error already when applying the correction based on the dominant EOFs only. The error reduction accounts for the particular discretization errors that incur and are hence specific to the particular simulation method that is adopted. This improvement is also observed for very coarse grids which may be used for computational model reduction in geophysical and turbulent flow problems.


Oscillation time and damping coefficients in a nonlinear pendulum. We establish a relationship between the normalized damping coefficients and the time that takes a nonlinear pendulum to complete one oscillation starting from an initial position with vanishing velocity. We establish some conditions on the nonlinear restitution force so that this oscillation time does not depend monotonically on the viscosity damping coefficient.


Using Physiological Information to Classify Task Difficulty in Human Swarm Interaction. Human swarm interaction has recently gained attention due to its plethora of new applications in disaster relief, surveillance, rescue, and exploration. However, if the task difficulty increases, the performance of the human operator decreases, thereby decreasing the overall efficacy of the human swarm team. Thus, it is critical to identify the task difficulty and adaptively allocate the task to the human operator to maintain optimal performance. In this direction, we study the classification of task difficulty in a human swarm interaction experiment performing a target search mission. The human may control platoons of unmanned aerial vehicles (UAVs) and unmanned ground vehicles (UGVs) to search a partially observable environment during the target search mission. The mission complexity is increased by introducing adversarial teams that humans may only see when the environment is explored. While the human is completing the mission, their brain activity is recorded using an electroencephalogram (EEG), which is used to classify the task difficulty. We have used two different approaches for classification A feature based approach using coherence values as input and a deep learning based approach using raw EEG as input. Both approaches can classify the task difficulty well above the chance. The results showed the importance of the occipital lobe (O1 and O2) coherence feature with the other brain regions. Moreover, we also study individual differences (expert vs. novice) in the classification results. The analysis revealed that the temporal lobe in experts (T4 and T3) is predominant for task difficulty classification compared with novices.


An interactive dashboard for searching and comparing soccer performance scores. The performance of soccer players is one of most discussed aspects by many actors in the soccer industry from supporters to journalists, from coaches to talent scouts. Unfortunately, the dashboards available online provide no effective way to compare the evolution of the performance of players or to find players behaving similarly on the field. This paper describes the design of a web dashboard that interacts via APIs with a performance evaluation algorithm and provides graphical tools that allow the user to perform many tasks, such as to search or compare players by age, role or trend of growth in their performance, find similar players based on their pitching behavior, change the algorithm's parameters to obtain customized performance scores. We also describe an example of how a talent scout can interact with the dashboard to find young, promising talents.


OpenHPS An Open Source Hybrid Positioning System. Positioning systems and frameworks use various techniques to determine the position of an object. Some of the existing solutions combine different sensory data at the time of positioning in order to compute more accurate positions by reducing the error introduced by the used individual positioning techniques. We present OpenHPS, a generic hybrid positioning system implemented in TypeScript, that can not only reduce the error during tracking by fusing different sensory data based on different algorithms, but also also make use of combined tracking techniques when calibrating or training the system. In addition to a detailed discussion of the architecture, features and implementation of the extensible open source OpenHPS framework, we illustrate the use of our solution in a demonstrator application fusing different positioning techniques. While OpenHPS offers a number of positioning techniques, future extensions might integrate new positioning methods or algorithms and support additional levels of abstraction including symbolic locations.


Fr 'echet algebras with a dominating Hilbert algebra norm. Let mathscr L (s) be the maximal mathcal O algebra of unbounded operators on ell 2 whose domain is the space s of rapidly decreasing sequences. This is a noncommutative topological algebra with involution which can be identified, for instance, with the algebra mathscr L(s) cap mathscr L(s') or the algebra of multipliers for the algebra mathscr L (s',s) of smooth compact operators. We give a simple characterization of unital commutative Fr 'echet subalgebras of mathscr L (s) isomorphic as a Fr 'echet spaces to nuclear power series spaces Lambda infty( alpha) of infinite type. It appears that many natural Fr 'echet algebras are closed subalgebras of mathscr L (s) , for example, the algebras C infty(M) of smooth functions on smooth compact manifolds and the algebra mathscr S ( mathbb R n) of smooth rapidly decreasing functions on mathbb R n .


Rainbow spanning structures in graph and hypergraph systems. We study the following rainbow version of subgraph containment problems in a family of (hyper)graphs, which generalizes the classical subgraph containment problems in a single host graph. For a collection textbf G G 1, G 2, ldots, G m of not necessarily distinct graphs on the same vertex set n , a (sub)graph H on n is rainbow if E(H) subseteq bigcup i in m E(G i) and E(H) cap E(G i) le 1 for i in m . Note that if E(H) m , then a rainbow H consists of exactly one edge from each G i . Our main results are on rainbow clique factors in (hyper)graph systems with minimum d degree conditions. In particular, (1) we obtain a rainbow analogue of an asymptotical version of the Hajnal Szemer ' e di theorem, namely, if t mid n and delta(G i) geq(1 frac 1 t varepsilon)n for each i in frac n t binom t 2 , then textbf G contains a rainbow K t factor (2) we prove that for 1 le d le k 1 , essentially a minimum d degree condition forcing a perfect matching in a k graph also forces rainbow perfect matchings in k graph systems. The degree assumptions in both results are asymptotically best possible (although the minimum d degree condition forcing a perfect matching in a k graph is in general unknown). For (1) we also discuss two directed versions and a multipartite version. Finally, to establish these results, we in fact provide a general framework to attack this type of problems, which reduces it to subproblems with finitely many colors.


We've had this conversation before A Novel Approach to Measuring Dialog Similarity. Dialog is a core building block of human natural language interactions. It contains multi party utterances used to convey information from one party to another in a dynamic and evolving manner. The ability to compare dialogs is beneficial in many real world use cases, such as conversation analytics for contact center calls and virtual agent design. We propose a novel adaptation of the edit distance metric to the scenario of dialog similarity. Our approach takes into account various conversation aspects such as utterance semantics, conversation flow, and the participants. We evaluate this new approach and compare it to existing document similarity measures on two publicly available datasets. The results demonstrate that our method outperforms the other approaches in capturing dialog flow, and is better aligned with the human perception of conversation similarity.


Learning Wildfire Model from Incomplete State Observations. As wildfires are expected to become more frequent and severe, improved prediction models are vital to mitigating risk and allocating resources. With remote sensing data, valuable spatiotemporal statistical models can be created and used for resource management practices. In this paper, we create a dynamic model for future wildfire predictions of five locations within the western United States through a deep neural network via historical burned area and climate data. The proposed model has distinct features that address the characteristic need in prediction evaluations, including dynamic online estimation and time series modeling. Between locations, local fire event triggers are not isolated, and there are confounding factors when local data is analyzed due to incomplete state observations. When compared to existing approaches that do not account for incomplete state observation within wildfire time series data, on average, we are able to achieve higher prediction performances.


On Demand and Lightweight Knowledge Graph Generation a Demonstration with DBpedia. Modern large scale knowledge graphs, such as DBpedia, are datasets which require large computational resources to serve and process. Moreover, they often have longer release cycles, which leads to outdated information in those graphs. In this paper, we present DBpedia on Demand a system which serves DBpedia resources on demand without the need to materialize and store the entire graph, and which even provides limited querying functionality.


Documenting Large Webtext Corpora A Case Study on the Colossal Clean Crawled Corpus. Large language models have led to remarkable progress on many NLP tasks, and researchers are turning to ever larger text corpora to train them. Some of the largest corpora available are made by scraping significant portions of the internet, and are frequently introduced with only minimal documentation. In this work we provide some of the first documentation for the Colossal Clean Crawled Corpus (C4 Raffel et al., 2020), a dataset created by applying a set of filters to a single snapshot of Common Crawl. We begin by investigating where the data came from, and find a significant amount of text from unexpected sources like patents and US military websites. Then we explore the content of the text itself, and find machine generated text (e.g., from machine translation systems) and evaluation examples from other benchmark NLP datasets. To understand the impact of the filters applied to create this dataset, we evaluate the text that was removed, and show that blocklist filtering disproportionately removes text from and about minority individuals. Finally, we conclude with some recommendations for how to created and document web scale datasets from a scrape of the internet.


Rectangular eigenvalue problems. Often the easiest way to discretize an ordinary or partial differential equation is by a rectangular numerical method, in which n basis functions are sampled at m n collocation points. We show how eigenvalue problems can be solved in this setting by QR reduction to square matrix generalized eigenvalue problems. The method applies equally in the limit "m infinity" of eigenvalue problems for quasimatrices. Numerical examples are presented as well as pointers to some related literature.


Yamabe systems and optimal partitions on manifolds with symmetries. We prove the existence of regular optimal G invariant partitions, with an arbitrary number ell geq 2 of components, for the Yamabe equation on a closed Riemannian manifold (M,g) when G is a compact group of isometries of M with infinite orbits. To this aim, we study a weakly coupled competitive elliptic system of ell equations, related to the Yamabe equation. We show that this system has a least energy G invariant solution with nontrivial components and we show that the limit profiles of the its components separate spatially as the competition parameter goes to infty , giving rise to an optimal partition. For ell 2 the optimal partition obtained yields a least energy sign changing G invariant solution to the Yamabe equation with precisely two nodal domains.


Bumblebee A Path Towards Fully Autonomous Robotic Vine Pruning. Dormant season grapevine pruning requires skilled seasonal workers during the winter season which are becoming less available. As workers hasten to prune more vines in less time amid to the short term seasonal hiring culture and low wages, vines are often pruned inconsistently leading to imbalanced grapevines. In addition to this, currently existing mechanical methods cannot selectively prune grapevines and manual follow up operations are often required that further increase production cost. In this paper, we present the design and field evaluation of a rugged, and fully autonomous robot for end to end pruning of dormant season grapevines. The proposed design incorporates novel camera systems, a kinematically redundant manipulator, a ground robot, and novel algorithms in the perception system. The presented research prototype robot system was able to spur prune a row of vines from both sides completely in 213 sec vine with a total pruning accuracy of 87 . Initial field tests of the autonomous system in a commercial vineyard have shown significant variability reduction in dormant season pruning when compared to mechanical pre pruning trials. The design approach, system components, lessons learned, future enhancements as well as a brief economic analysis are described in the manuscript.


A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. The Bernays Sch "onfinkel first order logic fragment over simple linear real arithmetic constraints BS(SLR) is known to be decidable. We prove that BS(SLR) clause sets with both universally and existentially quantified verification conditions (conjectures) can be translated into BS(SLR) clause sets over a finite set of first order constants. For the Horn case, we provide a Datalog hammer preserving validity and satisfiability. A toolchain from the BS(LRA) prover SPASS SPL to the Datalog reasoner VLog establishes an effective way of deciding verification conditions in the Horn fragment. This is exemplified by the verification of supervisor code for a lane change assistant in a car and of an electronic control unit for a supercharged combustion engine.


Exploration of Dark Chemical Genomics Space via Portal Learning Applied to Targeting the Undruggable Genome and COVID 19 Anti Infective Polypharmacology. Advances in biomedicine are largely fueled by exploring uncharted territories of human biology. Machine learning can both enable and accelerate discovery, but faces a fundamental hurdle when applied to unseen data with distributions that differ from previously observed ones a common dilemma in scientific inquiry. We have developed a new deep learning framework, called textit Portal Learning , to explore dark chemical and biological space. Three key, novel components of our approach include (i) end to end, step wise transfer learning, in recognition of biology's sequence structure function paradigm, (ii) out of cluster meta learning, and (iii) stress model selection. Portal Learning provides a practical solution to the out of distribution (OOD) problem in statistical machine learning. Here, we have implemented Portal Learning to predict chemical protein interactions on a genome wide scale. Systematic studies demonstrate that Portal Learning can effectively assign ligands to unexplored gene families (unknown functions), versus existing state of the art methods, thereby allowing us to target previously "undruggable" proteins and design novel polypharmacological agents for disrupting interactions between SARS CoV 2 and human proteins. Portal Learning is general purpose and can be further applied to other areas of scientific inquiry.


UltraBot Autonomous Mobile Robot for Indoor UV C Disinfection with Non trivial Shape of Disinfection Zone. The paper focuses on the development of an autonomous disinfection robot UltraBot to reduce COVID 19 transmission along with other harmful bacteria and viruses. The motivation behind the research is to develop such a robot that is capable of performing disinfection tasks without the use of harmful sprays and chemicals that can leave residues and require airing the room afterward for a long time. UltraBot technology has the potential to offer the most optimal autonomous disinfection performance along with taking care of people, keeping them from getting under the UV C radiation. The paper highlights UltraBot's mechanical and electrical design as well as disinfection performance. The conducted experiments demonstrate the effectiveness of robot disinfection ability and actual disinfection area per each side with UV C lamp array. The disinfection effectiveness results show actual performance for the multi pass technique that provides 1 log reduction with combined direct UV C exposure and ozone based air purification after two robot passes at a speed of 0.14 m s. This technique has the same performance as ten minutes static disinfection. Finally, we have calculated the non trivial form of the robot disinfection zone by two consecutive experiment to produce optimal path planning and to provide full disinfection in selected areas.


Towards formally analyzed Cyber Physical Systems. Cyber physical systems (CPS) can be found everywhere smart homes, autonomous vehicles, aircrafts, healthcare, agriculture and industrial production lines. CPSs are often critical, as system failure can cause serious damage to property and human lives. Today's cyber physical systems are extremely complex, heterogeneous systems to be able to manage their complexity in a unified way, we need an infrastructure that ensures that our systems operate with the high reliability as intended. In addition to the infrastructure, we need to provide engineers a method to ensure system reliability at design time. The paradigm of model driven design provides a toolkit supporting the design and analysis and by choosing the proper formalisms, the model driven design approach allows us to validate our system at design time.


Robust Physical World Attacks on Face Recognition. Face recognition has been greatly facilitated by the development of deep neural networks (DNNs) and has been widely applied to many safety critical applications. However, recent studies have shown that DNNs are very vulnerable to adversarial examples, raising serious concerns on the security of real world face recognition. In this work, we study sticker based physical attacks on face recognition for better understanding its adversarial robustness. To this end, we first analyze in depth the complicated physical world conditions confronted by attacking face recognition, including the different variations of stickers, faces, and environmental conditions. Then, we propose a novel robust physical attack framework, dubbed PadvFace, to model these challenging variations specifically. Furthermore, considering the difference in attack complexity, we propose an efficient Curriculum Adversarial Attack (CAA) algorithm that gradually adapts adversarial stickers to environmental variations from easy to complex. Finally, we construct a standardized testing protocol to facilitate the fair evaluation of physical attacks on face recognition, and extensive experiments on both dodging and impersonation attacks demonstrate the superior performance of the proposed method.


ZeroWaste Dataset Towards Deformable Object Segmentation in Cluttered Scenes. Less than 35 of recyclable waste is being actually recycled in the US, which leads to increased soil and sea pollution and is one of the major concerns of environmental researchers as well as the common public. At the heart of the problem are the inefficiencies of the waste sorting process (separating paper, plastic, metal, glass, etc.) due to the extremely complex and cluttered nature of the waste stream. Recyclable waste detection poses a unique computer vision challenge as it requires detection of highly deformable and often translucent objects in cluttered scenes without the kind of context information usually present in human centric datasets. This challenging computer vision task currently lacks suitable datasets or methods in the available literature. In this paper, we take a step towards computer aided waste detection and present the first in the wild industrial grade waste detection and segmentation dataset, ZeroWaste. We believe that ZeroWaste will catalyze research in object detection and semantic segmentation in extreme clutter as well as applications in the recycling domain. Our project page can be found at http ai.bu.edu zerowaste .


Age of information without service preemption. When designing a message transmission system, from the point of view of making sure that the information transmitted is as fresh as possible, two rules of thumb seem reasonable use small buffers and adopt a last in first out policy. In this paper, we measure freshness of information using the "age of information" performance measure. Considering it as a stochastic process operating in a stationary regime, we compute not just the first moment but the whole marginal distribution of the age of information (something important in applications) for two well performing systems. In neither case do we allow for preemption of the message being processed because this may be difficult to implement in practice. We assume that the arrival process is Poisson and that the messages have independent sizes (service times) with common distribution. We use Palm and Markov renewal theory to derive explicit results for Laplace transforms. In particular, this approach can be used to analyze more complex last in first out systems with larger buffer sizes.


Genus of surcircular fields. We show that Riemann Hurwitz style translation formulas obtained by Kuz'min, Kida, Iwasawa, Wingberg et alii for the lambda invariant attached to certain Iwasawa moduli in cyclotomic Z ell extension of number fields are essentially equivalent. More precisely, we prove that all these formulas,including those stated in terms of representations, resul tidentically for purely algebraic reasons from the arithmetic computation of a suitable Herbrand quotient which it suffices to carry out in the cyclic case of prime degree ell .


High rate of SARS CoV2 nonsense spike genomes coding for prematurely truncated proteins. Replication of SARS CoV2 virions is an error prone process which may eventually generate a percentage of impaired protein copies with complete lack of functionality. For instance, after RNA mis replication, a very premature stop codon (UAG, UAA, UGA) coding for a prematurely truncated (nonsense mutated) spike protein may occur. In the natural virus replication process via cell infection, the nonsense genomes are corrected by the proofreading enzymes of the virus, strongly penalized by natural selection and condemned to a very short life by the host cell's mRNA watching mechanisms. However, for the very long spike genome of 1273 codons, a truncated non functional spike protein may potentially still occur with a high frequency, even in presence of a low mutation rate per single nucleotide. With this paper, a hi fidelity post processing of SARS CoV2 spike sequences is provided in ex vivo samples from patients, an impressively high rate of 26 of prematurely stopped (nonsense mutated) spike genomes sequences due to insertions deletions is found, compared with a 9.7 obtained from in vitro cell culture. A general warning on the possible high rate of prematurely stopped spike protein sequences is also raised for "artificial" de novo DNA synthesis processes of SARS CoV2 spike genomes with no associated natural proofreading selection, possibly including vaccine preparations. Finally, a metric based on the ratio between prematurely stopped and "normal" genomes is proposed as a potential host independent variant watching tool, able to classify the infectivity of new spike mutations.


Discussing the Risks of Adaptive Virtual Environments for User Autonomy. Adaptive virtual environments are an opportunity to support users and increase their flow, presence, immersion, and overall experience. Possible fields of application are adaptive individual education, gameplay adjustment, professional work, and personalized content. But who benefits more from this adaptivity, the users who can enjoy a greater user experience or the companies or governments who are completely in control of the provided content. While the user autonomy decreases for individuals, the power of institutions raises, and the risk exists that personal opinions are precisely controlled. In this position paper, we will argue that researchers should not only propose the benefits of their work but also critically discuss what are possible abusive use cases. Therefore, we will examine two use cases in the fields of professional work and personalized content and show possible abusive use.


Model based Task Analysis and Large scale Video based Remote Evaluation Methods for Extended Reality Research. In this paper, we introduce two remote extended reality (XR) research methods that can overcome the limitations of lab based controlled experiments, especially during the COVID 19 pandemic (1) a predictive model based task analysis and (2) a large scale video based remote evaluation. We used a box stacking task including three interaction modalities two multimodal gaze based interactions as well as a unimodal hand based interaction which is defined as our baseline. For the first evaluation, a GOMS based task analysis was performed by analyzing the tasks to understand human behaviors in XR and predict task execution times. For the second evaluation, an online survey was administered using a series of the first person point of view videos where a user performs the corresponding task with three interaction modalities. A total of 118 participants were asked to compare the interaction modes based on their judgment. Two standard questionnaires were used to measure perceived workload and the usability of the modalities.


Resource Allocation for Vehicle Platooning in 5G NR V2X via Deep Reinforcement Learning. Vehicle platooning, one of the advanced services supported by 5G NR V2X, improves traffic efficiency in the connected intelligent transportation systems (C ITSs). However, the packet delivery ratio of platoon communication, especially in the out of coverage area, is significantly impacted by the random selection algorithms employed in the current resource allocation scheme. In this paper, we first analyze the collision probability via the random selection algorithm adopted in the current standard. Subsequently, we then investigate the deep reinforcement learning (DRL) algorithm that decreases the collision probability by letting the agent (vehicle) learn from the communication environment. Monte Carlo simulation is utilized to verify the results obtained in the analytical model and to compare the results between the two discussed algorithms. Numerical results show that the proposed DRL algorithm outperforms the random selection algorithm in terms of different vehicle density, which at least lowering the collision probability by 73 and 45 in low and high vehicle density respectively.


Reducing Annotating Load Active Learning with Synthetic Images in Surgical Instrument Segmentation. Accurate instrument segmentation in endoscopic vision of robot assisted surgery is challenging due to reflection on the instruments and frequent contacts with tissue. Deep neural networks (DNN) show competitive performance and are in favor in recent years. However, the hunger of DNN for labeled data poses a huge workload of annotation. Motivated by alleviating this workload, we propose a general embeddable method to decrease the usage of labeled real images, using active generated synthetic images. In each active learning iteration, the most informative unlabeled images are first queried by active learning and then labeled. Next, synthetic images are generated based on these selected images. The instruments and backgrounds are cropped out and randomly combined with each other with blending and fusion near the boundary. The effectiveness of the proposed method is validated on 2 sinus surgery datasets and 1 intraabdominal surgery dataset. The results indicate a considerable improvement in performance, especially when the budget for annotation is small. The effectiveness of different types of synthetic images, blending methods, and external background are also studied. All the code is open sourced at https github.com HaonanPeng active syn generator.


Precarity Modeling the Long Term Effects of Compounded Decisions on Individual Instability. When it comes to studying the impacts of decision making, the research has been largely focused on examining the fairness of the decisions, the long term effects of the decision pipelines, and utility based perspectives considering both the decision maker and the individuals. However, there has hardly been any focus on precarity which is the term that encapsulates the instability in people's lives. That is, a negative outcome can overspread to other decisions and measures of well being. Studying precarity necessitates a shift in focus from the point of view of the decision maker to the perspective of the decision subject. This centering of the subject is an important direction that unlocks the importance of parting with aggregate measures to examine the long term effects of decision making. To address this issue, in this paper, we propose a modeling framework that simulates the effects of compounded decision making on precarity over time. Through our simulations, we are able to show the heterogeneity of precarity by the non uniform ruinous aftereffects of negative decisions on different income classes of the underlying population and how policy interventions can help mitigate such effects.


Ideal Partition of Resources for Metareasoning. We can achieve significant gains in the value of computation by metareasoning about the nature or extent of base level problem solving before executing a solution. However, resources that are irrevocably committed to metareasoning are not available for executing a solution. Thus, it is important to determine the portion of resources we wish to apply to metareasoning and control versus to the execution of a solution plan. Recent research on rational agency has highlighted the importance of limiting the consumption of resources by metareasoning machinery. We shall introduce the metareasoning partition problem the problem of ideally apportioning costly reasoning resources to planning a solution versus applying resource to executing a solution to a problem. We exercise prototypical metareasoning partition models to probe the relationships between time allocated to metareasoning and to execution for different problem classes. Finally, we examine the value of metareasoning in the context of our functional analyses.


An Extension of the Erd H o s Ko Rado Theorem to uniform set partitions. A (k, ell) partition is a set partition which has ell blocks each of size k . Two uniform set partitions P and Q are said to be partially t intersecting if there exist blocks P i in P and Q j in Q such that left P i cap Q j right geq t . In this paper we prove a version of the Erd H o s Ko Rado theorem for partially 2 intersecting (k, ell) partitions. In particular, we show for ell sufficiently large, the set of all (k, ell) partitions in which a block contains a fixed pair is the largest set of 2 partially intersecting (k, ell) partitions. For for k 3 , we show this result holds for all ell .


How Many Structure Constants Do Exist in Riemannian Geometry. After reading such a question, any mathematician will say that, according to a well known result of L.P. Eisenhart found in 1926, the answer is " One " of course, namely the only constant allowing to describe the so called " it constant riemannian curvature " condition. The purpose of this paper is to prove the contrary by studying the case of two dimensional riemannian geometry in the light of an old work of E. Vessiot published in 1903 but it still totally unknown today after more than a century. In fact, we shall compute locally the it Vessiot structure equations and prove that there are indeed " Two " it Vessiot structure constants satisfying a single it linear Jacobi condition showing that one of them must vanish while the other one must be equal to the known one. This result depends on deep mathematical reasons in the formal theory of Lie pseudogroups, which are involving both the Spencer delta cohomology and diagram chasing in homological algebra. Another similar example will illustrate and justify this comment out of the classical tensorial framework of the famous " it equivalence problem ". The case of contact transformations will also be studied. Though it is quite unexpected, we shall reach the conclusion that the mathematical foundations of both classical and conformal riemannian geometry must be revisited. We have treated the case of conformal geometry in a recent arXiv preprint.


Ontology drift is a challenge for explainable data governance. We introduce the needs for explainable AI that arise from Standard No. 239 from the Basel Committee on Banking Standards (BCBS 239), which outlines 11 principles for effective risk data aggregation and risk reporting for financial institutions. Of these, explainableAI is necessary for compliance in two key aspects data quality, and appropriate reporting for multiple stakeholders. We describe the implementation challenges for one specific regulatory requirement that of having a complete data taxonomy that is appropriate for firmwide use. The constantly evolving nature of financial ontologies necessitate a continuous updating process to ensure ongoing compliance.


A survey on quasi isometries of pairs invariants and rigidity. This survey studies pairs (G, mathcal P ) with G a finitely generated group and mathcal P a (finite) collection of subgroups of G . We explore the notion of quasi isometry of such pairs and the notion of a qi characteristic collection of subgroups. Both notions are abstractions of phenomena that have appeared repeatedly in the work of several people within the quasi isometric rigidity realm.


CDRec Cayley Dickson Recommender. In this paper, we propose a recommendation framework named Cayley Dickson Recommender. We introduce Cayley Dickson construction which uses a recursive process to define hypercomplex algebras and their mathematical operations. We also design a graph convolution operator to learn representations in the hypercomplex space. To the best of our knowledge, it is the first time that Cayley Dickson construction and graph convolution techniques have been used in hypercomplex recommendation. Compared with the state of the art recommendation methods, our method achieves superior performance on real world datasets.


TensorFlow RiemOpt a library for optimization on Riemannian manifolds. The adoption of neural networks and deep learning in non Euclidean domains has been hindered until recently by the lack of scalable and efficient learning frameworks. Existing toolboxes in this space were mainly motivated by research and education use cases, whereas practical aspects, such as deploying and maintaining machine learning models, were often overlooked. We attempt to bridge this gap by proposing TensorFlow RiemOpt, a Python library for optimization on Riemannian manifolds in TensorFlow. The library is designed with the aim for a seamless integration with the TensorFlow ecosystem, targeting not only research, but also streamlining production machine learning pipelines.


Herd Behaviors in Epidemics A Dynamics Coupled Evolutionary Games Approach. The recent COVID 19 pandemic has led to an increasing interest in the modeling and analysis of infectious diseases. The pandemic has made a significant impact on the way we behave and interact in our daily life. The past year has witnessed a strong interplay between human behaviors and epidemic spreading. In this paper, we propose an evolutionary game theoretic framework to study the coupled evolutions of herd behaviors and epidemics. Our framework extends the classical degree based mean field epidemic model over complex networks by coupling it with the evolutionary game dynamics. The statistically equivalent individuals in a population choose their social activity intensities based on the fitness or the payoffs that depend on the state of the epidemics. Meanwhile, the spreading of the infectious disease over the complex network is reciprocally influenced by the players' social activities. We analyze the coupled dynamics by studying the stationary properties of the epidemic for a given herd behavior and the structural properties of the game for a given epidemic process. The decisions of the herd turn out to be strategic substitutes. We formulate an equivalent finite player game and an equivalent network to represent the interactions among the finite populations. We develop structure preserving approximation techniques to study time dependent properties of the joint evolution of the behavioral and epidemic dynamics. The resemblance between the simulated coupled dynamics and the real COVID 19 statistics in the numerical experiments indicates the predictive power of our framework.


An SEIR epidemic model of fractional order to analyze the evolution of the COVID 19 epidemic in Argentina. A pandemic caused by a new coronavirus (COVID 19) has spread worldwide, inducing an epidemic still active in Argentina. In this chapter, we present a case study using an SEIR (Susceptible Exposed Infected Recovered) diffusion model of fractional order in time to analyze the evolution of the epidemic in Buenos Aires and neighboring areas (Regi 'on Metropolitana de Buenos Aires, (RMBA)) comprising about 15 million inhabitants. In the SEIR model, individuals are divided into four classes, namely, susceptible (S), exposed (E), infected (I) and recovered (R). The SEIR model of fractional order allows for the incorporation of memory, with hereditary properties of the system, being a generalization of the classic SEIR first order system, where such effects are ignored. Furthermore, the fractional model provides one additional parameter to obtain a better fit of the data. The parameters of the model are calibrated by using as data the number of casualties officially reported. Since infinite solutions honour the data, we show a set of cases with different values of the lockdown parameters, fatality rate, and incubation and infectious periods. The different reproduction ratios R0 and infection fatality rates (IFR) so obtained indicate the results may differ from recent reported values, constituting possible alternative solutions. A comparison with results obtained with the classic SEIR model is also included. The analysis allows us to study how isolation and social distancing measures affect the time evolution of the epidemic.


Renormalized Singles Green's Function in the T Matrix Approximation for Accurate Quasiparticle Energy Calculation. We combine the renormalized singles (RS) Green's function with the T Matrix approximation for the single particle Green's function to compute quasiparticle energies for valence and core states of molecular systems. The G text RS T 0 method uses the RS Green's function that incorporates singles contributions as the initial Green's function. The G text RS T text RS method further calculates the generalized effective interaction with the RS Green's function by using RS eigenvalues in the T Matrix calculation through the particle particle random phase approximation. The G text RS T text RS method provides significant improvements over the one shot T Matrix method G 0T 0 as demonstrated in calculations for GW100 and CORE65 test sets. It also systematically eliminates the dependence of G 0 T 0 on the choice of density functional approximations (DFAs). For valence states, the G text RS T text RS method provides an excellent accuracy, which is better than G 0T 0 with Hartree Fock (HF) or other DFAs. For core states, the G text RS T text RS method correctly identifies desired peaks in the spectral function and significantly outperforms G 0T 0 on core level binding energies (CLBEs) and relative CLBEs, with any commonly used DFAs.


Attestation Infrastructures for Private Wallets. In this paper we focus on one part of the trust infrastructures needed for the future virtual assets industry, namely the attestation infrastructure related to key management in private wallet systems. Our focus is on regulated private wallets utilizing trusted hardware, and the capability of the wallet to yield attestation evidence suitable to address requirements in several use cases, such as asset insurance and regulatory compliance. We argue that attestation services will be needed as a core part of the key management lifecycle for private wallets in true decentralized systems.


Regularizing Transformers With Deep Probabilistic Layers. Language models (LM) have grown with non stop in the last decade, from sequence to sequence architectures to the state of the art and utter attention based Transformers. In this work, we demonstrate how the inclusion of deep generative models within BERT can bring more versatile models, able to impute missing noisy words with richer text or even improve BLEU score. More precisely, we use a Gaussian Mixture Variational Autoencoder (GMVAE) as a regularizer layer and prove its effectiveness not only in Transformers but also in the most relevant encoder decoder based LM, seq2seq with and without attention.


Multiplicity structure of the arc space of a fat point. The equation x m 0 defines a fat point on a line. The algebra of regular functions on the arc space of this scheme is the quotient of k x, x', x (2) , ldots by all differential consequences of x m 0 . This infinite dimensional algebra admits a natural filtration by finite dimensional algebras corresponding to the truncations of arcs. We show that the generating series for their dimensions equals frac m 1 mt . We also determine the lexicographic initial ideal of the defining ideal of the arc space. These results are motivated by nonreduced version of the geometric motivic Poincar 'e series, multiplicities in differential algebra, and connections between arc spaces and the Rogers Ramanujan identities. We also prove a recent conjecture put forth by Afsharijoo in the latter context.


SPAGAN Shortest Path Graph Attention Network. Graph convolutional networks (GCN) have recently demonstrated their potential in analyzing non grid structure data that can be represented as graphs. The core idea is to encode the local topology of a graph, via convolutions, into the feature of a center node. In this paper, we propose a novel GCN model, which we term as Shortest Path Graph Attention Network (SPAGAN). Unlike conventional GCN models that carry out node based attentions within each layer, the proposed SPAGAN conducts path based attention that explicitly accounts for the influence of a sequence of nodes yielding the minimum cost, or shortest path, between the center node and its higher order neighbors. SPAGAN therefore allows for a more informative and intact exploration of the graph structure and further a more effective aggregation of information from distant neighbors into the center node, as compared to node based GCN methods. We test SPAGAN on the downstream classification task on several standard datasets, and achieve performances superior to the state of the art. Code is publicly available at https github.com ihollywhy SPAGAN.


Knot Floer homology of some even 3 stranded pretzel knots. We apply the theory of "peculiar modules" for the Floer homology of 4 ended tangles developed by Zibrowius (specifically, the immersed curve interpretation of the tangle invariants) to compute the Knot Floer Homology ( widehat HFK ) of 3 stranded pretzel knots of the form P(2a, 2b 1, pm(2c 1)) for positive integers a,b,c . This corrects a previous computation by Eftekhary in particular, for the case of P(2a, 2b 1,2c 1) where b c and b a 1 , it turns out the rank of widehat HFK is larger than that predicted by that work.


Howe Duality of Type P. We establish classical and categorical Howe dualities between the Lie superalgebras mathfrak p (m) and mathfrak p (n) , for m,n geq 1 . We also describe a presentation via generators and relations as well as a Kostant mathbb Z form for the universal enveloping superalgebra U( mathfrak p (m)) .


Autonomous Reconfigurable Intelligent Surfaces Through Wireless Energy Harvesting. In this paper, we examine the potential for a reconfigurable intelligent surface (RIS) to be powered by energy harvested from information signals. This feature might be key to reap the benefits of RIS technology's lower power consumption compared to active relays. We first identify the main RIS power consuming components and then propose an energy harvesting and power consumption model. Furthermore, we formulate and solve the problem of the optimal RIS placement together with the amplitude and phase response adjustment of its elements in order to maximize the signal to noise ratio (SNR) while harvesting sufficient energy for its operation. Finally, numerical results validate the autonomous operation potential and reveal the range of power consumption values that enables it.


Wave Function Collapse Coloring A New Heuristic for Fast Vertex Coloring. In this paper, we propose a high speed greedy sequential algorithm for the vertex coloring problem (VCP), based on the Wave Function Collapse algorithm, called Wave Function Collapse Coloring (WFC C). An iteration of this algorithm goes through three distinct phases vertex selection, color restriction through wave function collapsing, and domain propagation. In effect, WFC C propagates color choices or "domain" restrictions beyond immediate neighbourhoods. This heuristic, combined with a series of other greedy optimizations, allows for a fast algorithm that prevents certain color conflicts. Through extensive experiments, we show that WFC C remains competitive (and occasionally better) in terms of optimal coloring, and dramatically outperforms existing high speed VCP, with on average speed differences ranging from 2000 times to 16000 times, on the most difficult instances of the DIMACS benchmark.


Enabling Visual Action Planning for Object Manipulation through Latent Space Roadmap. We present a framework for visual action planning of complex manipulation tasks with high dimensional state spaces, focusing on manipulation of deformable objects. We propose a Latent Space Roadmap (LSR) for task planning which is a graph based structure globally capturing the system dynamics in a low dimensional latent space. Our framework consists of three parts (1) a Mapping Module (MM) that maps observations given in the form of images into a structured latent space extracting the respective states as well as generates observations from the latent states, (2) the LSR which builds and connects clusters containing similar states in order to find the latent plans between start and goal states extracted by MM, and (3) the Action Proposal Module that complements the latent plan found by the LSR with the corresponding actions. We present a thorough investigation of our framework on simulated box stacking and rope box manipulation tasks, and a folding task executed on a real robot.


Linear growth of translation lengths of random isometries on Gromov hyperbolic spaces and Teichm "uller spaces. We investigate the translation lengths of group elements that arise in random walks on weakly hyperbolic groups. In particular, without any moment condition, we prove that non elementary random walks exhibit at least linear growth of translation lengths. As a corollary, almost every random walk on mapping class groups eventually becomes pseudo Anosov and almost every random walk on mathrm Out (F n) eventually becomes fully irreducible. If the underlying measure further has finite first moment, then the growth rate of translation lengths is equal to the drift, the escape rate of the random walk. We then apply our technique to investigate the random walks induced by the action of mapping class groups on Teichm "uller spaces. In particular, we prove the spectral theorem under finite first moment condition, generalizing a result of Dahmani and Horbez.


On the Generalization of the Gap Principle. Let alpha be a complex algebraic number of degree d geq 3 and let beta in mathbb Q( alpha) be irrational. Let mu be a real number such that (d 2) 1 mu d and C 0 a positive real number. We prove that there exist positive real numbers C 1 and C 2 , which depend only on alpha , beta , mu and C 0 , with the following property. If x 1 y 1 and x 2 y 2 are rational numbers in lowest terms such that H(x 2, y 2) geq H(x 1, y 1) geq C 1 and left alpha frac x 1 y 1 right frac C 0 H(x 1, y 1) mu , quad left beta frac x 2 y 2 right frac C 0 H(x 2, y 2) mu , then either H(x 2, y 2) C 2 1 H(x 1, y 1) mu d 2 or there exist integers s, t, u, v , with sv tu neq 0 , such that beta frac s alpha t u alpha v quad text and quad frac x 2 y 2 frac sx 1 ty 1 ux 1 vy 1 . Here H(x, y) max( x , y ) is the height of x y . Since mu d 2 1 , our result demonstrates that, unless alpha and beta are connected by means of a linear fractional transformation with integer coefficients, the heights of x 1 y 1 and x 2 y 2 have to be exponentially far apart from each other. An analogous result is established in the case when alpha and beta are p adic algebraic numbers.