Model Based Event Triggered Control over Lossy Networks. The event triggered control problem over lossy communication networks is addressed in this paper. Although packet dropouts have been considered in the implementation of event triggered controllers, the assumption of protocols that employ acknowledgement messages persists. This paper provides an approach that relaxes such assumption. An event based controller is implemented at the sensor node of the networked and uncertain system and it transmits feedback measurements to the controller node at asynchronous time instants. The transmitted packets of information are subject to dropouts by the lossy network. We show that the uncertain system can be asymptotically stabilized, that a positive minimum inter event time exists, and that the proposed approach does not require acknowledgement messages.


Gastric histopathology image segmentation using a hierarchical conditional random field. For the Convolutional Neural Networks (CNNs) applied in the intelligent diagnosis of gastric cancer, existing methods mostly focus on individual characteristics or network frameworks without a policy to depict the integral information. Mainly, Conditional Random Field (CRF), an efficient and stable algorithm for analyzing images containing complicated contents, can characterize spatial relation in images. In this paper, a novel Hierarchical Conditional Random Field (HCRF) based Gastric Histopathology Image Segmentation (GHIS) method is proposed, which can automatically localize abnormal (cancer) regions in gastric histopathology images obtained by an optical microscope to assist histopathologists in medical work. This HCRF model is built up with higher order potentials, including pixel level and patch level potentials, and graph based post processing is applied to further improve its segmentation performance. Especially, a CNN is trained to build up the pixel level potentials and another three CNNs are fine tuned to build up the patch level potentials for sufficient spatial segmentation information. In the experiment, a hematoxylin and eosin (H E) stained gastric histopathological dataset with 560 abnormal images are divided into training, validation and test sets with a ratio of 1 1 2. Finally, segmentation accuracy, recall and specificity of 78.91 , 65.59 , and 81.33 are achieved on the test set. Our HCRF model demonstrates high segmentation performance and shows its effectiveness and future potential in the GHIS field.


ColorMapGAN Unsupervised Domain Adaptation for Semantic Segmentation Using Color Mapping Generative Adversarial Networks. Due to the various reasons such as atmospheric effects and differences in acquisition, it is often the case that there exists a large difference between spectral bands of satellite images collected from different geographic locations. The large shift between spectral distributions of training and test data causes the current state of the art supervised learning approaches to output unsatisfactory maps. We present a novel semantic segmentation framework that is robust to such shift. The key component of the proposed framework is Color Mapping Generative Adversarial Networks (ColorMapGAN), which can generate fake training images that are semantically exactly the same as training images, but whose spectral distribution is similar to the distribution of the test images. We then use the fake images and the ground truth for the training images to fine tune the already trained classifier. Contrary to the existing Generative Adversarial Networks (GANs), the generator in ColorMapGAN does not have any convolutional or pooling layers. It learns to transform the colors of the training data to the colors of the test data by performing only one element wise matrix multiplication and one matrix addition operations. Thanks to the architecturally simple but powerful design of ColorMapGAN, the proposed framework outperforms the existing approaches with a large margin in terms of both accuracy and computational complexity.


Stable manifolds of biholomorphisms in mathbb C n asymptotic to formal curves. Given a germ of biholomorphism F in mathrm Diff ( mathbb C n,0) with a formal invariant curve Gamma such that the multiplier of the restricted formal diffeomorphism F Gamma is a root of unity or satisfies (F Gamma)'(0) 1 , we prove that either Gamma is contained in the set of periodic points of F or there exists a finite family of stable manifolds of F where all the orbits are asymptotic to Gamma and whose union eventually contains every orbit asymptotic to Gamma . This result generalizes to the case where Gamma is a formal periodic curve.


Sample efficient Reinforcement Learning in Robotic Table Tennis. Reinforcement learning (RL) has achieved some impressive recent successes in various computer games and simulations. Most of these successes are based on having large numbers of episodes from which the agent can learn. In typical robotic applications, however, the number of feasible attempts is very limited. In this paper we present a sample efficient RL algorithm applied to the example of a table tennis robot. In table tennis every stroke is different, with varying placement, speed and spin. An accurate return therefore has to be found depending on a high dimensional continuous state space. To make learning in few trials possible the method is embedded into our robot system. In this way we can use a one step environment. The state space depends on the ball at hitting time (position, velocity, spin) and the action is the racket state (orientation, velocity) at hitting. An actor critic based deterministic policy gradient algorithm was developed for accelerated learning. Our approach performs competitively both in a simulation and on the real robot in a number of challenging scenarios. Accurate results are obtained without pre training in under 200 episodes of training. The video presenting our experiments is available at https youtu.be uRAtdoL6Wpw.


Learning Compositional Neural Programs for Continuous Control. We propose a novel solution to challenging sparse reward, continuous control problems that require hierarchical planning at multiple levels of abstraction. Our solution, dubbed AlphaNPI X, involves three separate stages of learning. First, we use off policy reinforcement learning algorithms with experience replay to learn a set of atomic goal conditioned policies, which can be easily repurposed for many tasks. Second, we learn self models describing the effect of the atomic policies on the environment. Third, the self models are harnessed to learn recursive compositional programs with multiple levels of abstraction. The key insight is that the self models enable planning by imagination, obviating the need for interaction with the world when learning higher level compositional programs. To accomplish the third stage of learning, we extend the AlphaNPI algorithm, which applies AlphaZero to learn recursive neural programmer interpreters. We empirically show that AlphaNPI X can effectively learn to tackle challenging sparse manipulation tasks, such as stacking multiple blocks, where powerful model free baselines fail.


When mutually subisomorphic Baer modules are isomorphic. The Schr " o der Bernstein Theorem for sets is well known. The question of whether two subisomorphic algebraic structures are isomorphic to each other, is of interest. An R module M is said to satisfy the Schr " o der Bernstein (or SB) property if any pair of direct summands of M are isomorphic provided that each one is isomorphic to a direct summand of the other. A ring R (with an involution star ) is called a Baer (Baer star )ring if the right annihilator of every nonempty subset of R is generated by an idempotent (a projection). It is clear that every Baer star ring is a Baer ring. Kaplansky showed that Baer star rings satisfy the SB property. This motivated us to investigate whether any Baer ring satisfies the SB property. In this paper we carry out a study of this question and investigate when two subisomorphic Baer modules are isomorphic. Besides, we study extending modules which satisfy the SB property. We characterize a commutative domain R over which any pair of subisomorphic extending modules are isomorphic.


Bounds on the Dimension of the Brill Noether Schemes of Rank Two Bundles. The aim of this note is to find upper bounds on the dimension of Brill Noether locus' inside the moduli space of rank two vector bundles on a smooth algebraic curve. We deduce some consequences of these bounds.


On gauge groups over high dimensional manifolds and self equivalences of H spaces. Let Y be a pointed space and let mathcal E(Y r) be the group of based self equivalences of Y r , r geq 2 . For Y a homotopy commutative H group we construct a subgroup mathcal E mathrm Mat (Y r) of mathcal E(Y r) which has a group structure isomorphic to either GL r( mathbb Z) , or GL r( mathbb Z d) , d geq 2 . We classify principal bundles over connected sums of q sphere bundles over n spheres and use the group mathcal E mathrm Mat (Y r) to obtain homotopy decompositions of their gauge groups. Using these decompositions we give an integral classification, up to homotopy, of the gauge groups of principal SU(2) bundles over certain 2 connected 7 manifolds with torsion free homology.


Creativity on Paid Crowdsourcing Platforms. General purpose crowdsourcing platforms are increasingly being harnessed for creative work. The platforms' potential for creative work is clearly identified, but the workers' perspectives on such work have not been extensively documented. In this paper, we uncover what the workers have to say about creative work on paid crowdsourcing platforms. Through a quantitative and qualitative analysis of a questionnaire launched on two different crowdsourcing platforms, our results revealed clear differences between the workers on the platforms in both preferences and prior experience with creative work. We identify common pitfalls with creative work on crowdsourcing platforms, provide recommendations for requesters of creative work, and discuss the meaning of our findings within the broader scope of creativity oriented research. To the best of our knowledge, we contribute the first extensive worker oriented study of creative work on paid crowdsourcing platforms.


Suppression of Three Body Loss Near a p Wave Resonance Due to Quasi 1D Confinement. We investigate the three body recombination rate of a Fermi gas of 6 Li atoms confined in quasi 1D near a p wave Feshbach resonance. We confirm that the quasi 1D loss rate constant K 3 follows the predicted threshold scaling law that K 3 is energy independent on resonance, and find consistency with the scaling law K 3 propto (k , a 1D ) 6 far from resonance Mehta et al. Phys. Rev. A 76, 022711 (2007) . Further we develop a theory based on Breit Wigner analysis that describes the loss feature for intermediate fields. Lastly we measure how the loss rate constant scales with transverse confinement and find that K 3 propto V L 1 , where V L is the lattice depth. Importantly, at our attainable transverse confinements and temperatures, we see a 74 fold suppression of the on resonant three body loss rate constant in quasi 1D compared to 3D. With significant further enhancement of the transverse confinement, this suppression may pave the way for realizing stable p wave superfluids.


Palindromic length sequence of the ruler sequence and of the period doubling sequence. In this article, we study the palindromic length sequences of the ruler sequence and of the period doubling sequence. We give a precise formula of the palindromic length sequence of the first one and find a lower bound of the limit superior of the palindromic length sequence of the last one.


A parallel structured divide and conquer algorithm for symmetric tridiagonal eigenvalue problems. In this paper, a parallel structured divide and conquer (PSDC) eigensolver is proposed for symmetric tridiagonal matrices based on ScaLAPACK and a parallel structured matrix multiplication algorithm, called PSMMA. Computing the eigenvectors via matrix matrix multiplications is the most computationally expensive part of the divide and conquer algorithm, and one of the matrices involved in such multiplications is a rank structured Cauchy like matrix. By exploiting this particular property, PSMMA constructs the local matrices by using generators of Cauchy like matrices without any communication, and further reduces the computation costs by using a structured low rank approximation algorithm. Thus, both the communication and computation costs are reduced. Experimental results show that both PSMMA and PSDC are highly scalable and scale to 4096 processes at least. PSDC has better scalability than PHDC that was proposed in J. Comput. Appl. Math. 344 (2018) 512 520 and only scaled to 300 processes for the same matrices. Comparing with texttt PDSTEDC in ScaLAPACK, PSDC is always faster and achieves 1.4 x 1.6 x speedup for some matrices with few deflations. PSDC is also comparable with ELPA, with PSDC being faster than ELPA when using few processes and a little slower when using many processes.


Internal Dosimetry Assessment for Drinking the Groundwater of the Disi Aquifer. The quest for a better understanding of the cancer risk associated with drinking the radium contaminated groundwater of the Disi Aquifer in Jordan has become more urgent in recent years. To quantitively identify the health consequences attainable from the consumption of this groundwater source, internal dosimetry analysis was performed with emphasis on doses deliverable to bone surfaces. Moreover, the age dependent dose calculations performed in this study show that the most critical group is those who are below the age of 15, where we predict an increase in the risk of cancer by up to a factor of 5 as compared to adults. It is also demonstrated that radium radioactivity remains relatively constant in the bone even 10 years after ingestion. The whole body dose analysis concluded that it is a factor of 5 higher than what the WHO recommends as a limit.


Practical No box Adversarial Attacks against DNNs. The study of adversarial vulnerabilities of deep neural networks (DNNs) has progressed rapidly. Existing attacks require either internal access (to the architecture, parameters, or training set of the victim model) or external access (to query the model). However, both the access may be infeasible or expensive in many scenarios. We investigate no box adversarial examples, where the attacker can neither access the model information or the training set nor query the model. Instead, the attacker can only gather a small number of examples from the same problem domain as that of the victim model. Such a stronger threat model greatly expands the applicability of adversarial attacks. We propose three mechanisms for training with a very small dataset (on the order of tens of examples) and find that prototypical reconstruction is the most effective. Our experiments show that adversarial examples crafted on prototypical auto encoding models transfer well to a variety of image classification and face verification models. On a commercial celebrity recognition system held by clarifai.com, our approach significantly diminishes the average prediction accuracy of the system to only 15.40 , which is on par with the attack that transfers adversarial examples from a pre trained Arcface model.


Can ML predict the solution value for a difficult combinatorial problem?. We look at whether machine learning can predict the final objective function value of a difficult combinatorial optimisation problem from the input. Our context is the pattern reduction problem, one industrially important but difficult aspect of the cutting stock problem. Machine learning appears to have higher prediction accuracy than a na "ive model, reducing mean absolute percentage error (MAPE) from 12.0 to 8.7 .


Accurate Object Association and Pose Updating for Semantic SLAM. Current pandemic has caused the medical system to operate under high load. To relieve it, robots with high autonomy can be used to effectively execute contactless operations in hospitals and reduce cross infection between medical staff and patients. Although semantic Simultaneous Localization and Mapping (SLAM) technology can improve the autonomy of robots, semantic object association is still a problem that is worthy of being studied. The key to solving this problem is to correctly associate multiple object measurements of one object landmark by using semantic information, and to refine the pose of object landmark in real time. To this end, we propose a hierarchical object association strategy and a pose refinement approach. The former one consists of two levels, i.e., a short term object association and a global one. In the first level, we employ the multiple object tracking for short term object association, through which the incorrect association among objects whose locations are close and appearances are similar can be avoided. Moreover, the short term object association can provide more abundant object appearance and more robust estimation of object pose for the global object association in the second level. To refine the object pose in the map, we develop an approach to choose the optimal object pose from all object measurements associated with an object landmark. The proposed method is comprehensively evaluated on seven simulated hospital sequences1, a real hospital environment and the KITTI dataset. Experimental results show that our method has an obviously improvement in terms of robustness and accuracy for the object association and the trajectory estimation in the semantic SLAM.


Alsed a Misiurewicz systems with place dependent probabilities. We consider systems of two specific piecewise linear homeomorphisms of the unit interval, so called the Alsed a Misiurewicz systems, and investigate the basic properties of Markov chains which arise when these two transformations are applied randomly with probabilities depending on the point of the interval. Though this iterated function system is not contracting in average and known methods do not apply, stability and the strong law of large numbers are proven.


A foliation of the ball by complete holomorphic discs. We show that the open unit ball mathbb B n of mathbb C n (n 1) admits a nonsingular holomorphic foliation by complete properly embedded holomorphic discs.


Lattice polytopes from Schur and symmetric Grothendieck polynomials. Given a family of lattice polytopes, two common questions in Ehrhart Theory are determining when a polytope has the integer decomposition property and determining when a polytope is reflexive. While these properties are of independent interest, the confluence of these properties is a source of active investigation due to conjectures regarding the unimodality of the h ast polynomial. In this paper, we consider the Newton polytopes arising from two families of polynomials in algebraic combinatorics Schur polynomials and inflated symmetric Grothendieck polynomials. In both cases, we prove that these polytopes have the integer decomposition property by using the fact that both families of polynomials have saturated Newton polytope. Furthermore, in both cases, we provide a complete characterization of when these polytopes are reflexive. We conclude with some explicit formulas and unimodality implications of the h ast vector in the case of Schur polynomials.


Low Rank plus Sparse Decomposition of Covariance Matrices using Neural Network Parametrization. This paper revisits the problem of decomposing a positive semidefinite matrix as a sum of a matrix with a given rank plus a sparse matrix. An immediate application can be found in portfolio optimization, when the matrix to be decomposed is the covariance between the different assets in the portfolio. Our approach consists in representing the low rank part of the solution as the product MM T , where M is a rectangular matrix of appropriate size, parametrized by the coefficients of a deep neural network. We then use a gradient descent algorithm to minimize an appropriate loss function over the parameters of the network. We deduce its convergence rate to a local optimum from the Lipschitz smoothness of our loss function. We show that the rate of convergence grows polynomially in the dimensions of the input, output, and the size of each of the hidden layers.


Enumeration of irreducible and extended irreducible Goppa codes. We obtain upper bounds on the number of irreducible and extended irreducible Goppa codes over GF(p) of length q and q 1 , respectively defined by polynomials of degree r , where q p t and r geq 3 is a positive integer.


Arena A General Evaluation Platform and Building Toolkit for Multi Agent Intelligence. Learning agents that are not only capable of taking tests, but also innovating is becoming a hot topic in AI. One of the most promising paths towards this vision is multi agent learning, where agents act as the environment for each other, and improving each agent means proposing new problems for others. However, existing evaluation platforms are either not compatible with multi agent settings, or limited to a specific game. That is, there is not yet a general evaluation platform for research on multi agent intelligence. To this end, we introduce Arena, a general evaluation platform for multi agent intelligence with 35 games of diverse logics and representations. Furthermore, multi agent intelligence is still at the stage where many problems remain unexplored. Therefore, we provide a building toolkit for researchers to easily invent and build novel multi agent problems from the provided game set based on a GUI configurable social tree and five basic multi agent reward schemes. Finally, we provide Python implementations of five state of the art deep multi agent reinforcement learning baselines. Along with the baseline implementations, we release a set of 100 best agents teams that we can train with different training schemes for each game, as the base for evaluating agents with population performance. As such, the research community can perform comparisons under a stable and uniform standard. All the implementations and accompanied tutorials have been open sourced for the community at https sites.google.com view arena unity .


Generalized lattice Boltzmann method Modeling, analysis, and elements. In this paper, we first present a unified framework for the modelling of generalized lattice Boltzmann method (GLBM). We then conduct a comparison of the four popular analysis methods (Chapman Enskog analysis, Maxwell iteration, direct Taylor expansion and recurrence equations approaches) that have been used to obtain the macroscopic Navier Stokes equations and nonlinear convection diffusion equations from the GLBM, and show that from mathematical point of view, these four analysis methods are equivalent to each other. Finally, we give some elements that are needed in the implementation of the GLBM, and also find that some available LB models can be obtained from this GLBM.


Non uniform dependence for Euler equations in Besov spaces. We prove the non uniform continuity of the data to solution map of the incompressible Euler equations in Besov spaces B p,q s , where the parameters p, q and s considered here are such that the local existence and uniqueness result holds.


Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing. Weighted model integration (WMI) is a very appealing framework for probabilistic inference it allows to express the complex dependencies of real world problems where variables are both continuous and discrete, via the language of Satisfiability Modulo Theories (SMT), as well as to compute probabilistic queries with complex logical and arithmetic constraints. Yet, existing WMI solvers are not ready to scale to these problems. They either ignore the intrinsic dependency structure of the problem at all, or they are limited to too restrictive structures. To narrow this gap, we derive a factorized formalism of WMI enabling us to devise a scalable WMI solver based on message passing, MP WMI. Namely, MP WMI is the first WMI solver which allows to 1) perform exact inference on the full class of tree structured WMI problems 2) compute all marginal densities in linear time 3) amortize inference inter query. Experimental results show that our solver dramatically outperforms the existing WMI solvers on a large set of benchmarks.


A staggered grid multilevel incomplete LU for steady incompressible flows. Algorithms for studying transitions and instabilities in incompressible flows typically require the solution of linear systems with the full Jacobian matrix. Other popular approaches, like gradient based design optimization and fully implicit time integration, also require very robust solvers for this type of linear system. We present a parallel fully coupled multilevel incomplete factorization preconditioner for the 3D stationary incompressible Navier Stokes equations on a structured grid. The algorithm and software are based on the robust two level method developed by Wubs and Thies. In this paper, we identify some of the weak spots of the two level scheme and propose remedies such as a different domain partitioning and recursive application of the method. We apply the method to the well known 3D lid driven cavity benchmark problem, and demonstrate its superior robustness by comparing with a segregated SIMPLE type preconditioner.


Blow up profile for spinorial Yamabe type equation on S m . Motivated by recent progress on a spinorial analogue of the Yamabe problem in the geometric literature, we study a conformally invariant spinor field equation on the m sphere, m geq2 . Via variational methods, we study analytic aspects of the associated energy functional, culminating in a blow up analysis.


Bio mimetic Adaptive Force Position Control Using Fractal Impedance. The ability of animals to interact with complex dynamics is unmatched in robots. Especially important to the interaction performances is the online adaptation of body dynamics, which can be modeled as an impedance behaviour. However, the variable impedance controller still possesses a challenge in the current control frameworks due to the difficulties of retaining stability when adapting the controller gains. The fractal impedance controller has been recently proposed to solve this issue. However, it still has limitations such as sudden jumps in force when it starts to converge to the desired position and the lack of a force feedback loop. In this manuscript, two improvements are made to the control framework to solve these limitations. The force discontinuity has been addressed introducing a modulation of the impedance via a virtual antagonist that modulates the output force. The force tracking has been modeled after the parallel force position controller architecture. In contrast to traditional methods, the fractal impedance controller enables the implementation of a search algorithm on the force feedback to adapt its behaviour on the external environment instead of on relying on textit a priori knowledge of the external dynamics. Preliminary simulation results presented in this paper show the feasibility of the proposed approach, and it allows to evaluate the trade off that needs to be made when relying on the proposed controller for interaction. In conclusion, the proposed method mimics the behaviour of an agonist antagonist system adapting to unknown external dynamics, and it may find application in computational neuroscience, haptics, and interaction control.


Understanding LSTM a tutorial into Long Short Term Memory Recurrent Neural Networks. Long Short Term Memory Recurrent Neural Networks (LSTM RNN) are one of the most powerful dynamic classifiers publicly known. The network itself and the related learning algorithms are reasonably well documented to get an idea how it works. This paper will shed more light into understanding how LSTM RNNs evolved and why they work impressively well, focusing on the early, ground breaking publications. We significantly improved documentation and fixed a number of errors and inconsistencies that accumulated in previous publications. To support understanding we as well revised and unified the notation used.


Uniqueness of solution for a nonlinear heterogeneous evolution dam problem. By choosing convenient test functions and using the method of doubling variables, we prove the uniqueness of the solution to a nonlinear evolution dam problem in an arbitrary heterogeneous porous medium of IR n with an impermeable horizontal bottom.


Dynamical System Segmentation for Information Measures in Motion. Motions carry information about the underlying task being executed. Previous work in human motion analysis suggests that complex motions may result from the composition of fundamental submovements called movemes. The existence of finite structure in motion motivates information theoretic approaches to motion analysis and robotic assistance. We define task embodiment as the amount of task information encoded in an agent's motions. By decoding task specific information embedded in motion, we can use task embodiment to create detailed performance assessments. We extract an alphabet of behaviors comprising a motion without textit a priori knowledge using a novel algorithm, which we call dynamical system segmentation. For a given task, we specify an optimal agent, and compute an alphabet of behaviors representative of the task. We identify these behaviors in data from agent executions, and compare their relative frequencies against that of the optimal agent using the Kullback Leibler divergence. We validate this approach using a dataset of human subjects (n 53) performing a dynamic task, and under this measure find that individuals receiving assistance better embody the task. Moreover, we find that task embodiment is a better predictor of assistance than integrated mean squared error.


Electing the Executive Branch. The executive branch, or government, is typically not elected directly by the people, but rather formed by another elected body or person such as the parliament or the president. As a result, its members are not directly accountable to the people, individually or as a group. We consider a scenario in which the members of the government are elected directly by the people, and wish to achieve proportionality while doing so. We propose a formal model consisting of k offices, each with its own disjoint set of candidates, and a set of voters who provide approval ballots for all offices. We wish to identify good aggregation rules that assign one candidate to each office. As using a simple majority vote for each office independently might result in disregarding minority preferences altogether, here we consider an adaptation of the greedy variant of Proportional Approval Voting (GreedyPAV) to our setting, and demonstrate through computer based simulations how voting for all offices together using this rule overcomes this weakness. We note that the approach is applicable also to a party that employs direct democracy, where party members elect the party's representatives in a coalition government.


HpGAN Sequence Search with Generative Adversarial Networks. Sequences play an important role in many engineering applications and systems. Searching sequences with desired properties has long been an interesting but also challenging research topic. This article proposes a novel method, called HpGAN, to search desired sequences algorithmically using generative adversarial networks (GAN). HpGAN is based on the idea of zero sum game to train a generative model, which can generate sequences with characteristics similar to the training sequences. In HpGAN, we design the Hopfield network as an encoder to avoid the limitations of GAN in generating discrete data. Compared with traditional sequence construction by algebraic tools, HpGAN is particularly suitable for intractable problems with complex objectives which prevent mathematical analysis. We demonstrate the search capabilities of HpGAN in two applications 1) HpGAN successfully found many different mutually orthogonal complementary code sets (MOCCS) and optimal odd length Z complementary pairs (OB ZCPs) which are not part of the training set. In the literature, both MOCSSs and OB ZCPs have found wide applications in wireless communications. 2) HpGAN found new sequences which achieve four times increase of signal to interference ratio benchmarked against the well known Legendre sequence of a mismatched filter (MMF) estimator in pulse compression radar systems. These sequences outperform those found by AlphaSeq.


Strong duality for a problem of linear copositive programming. The paper is dedicated to the study of strong duality for a problem of linear copositive programming. Based on the recently introduced concept of the set of normalized immobile indices, an extended dual problem is deduced. The dual problem satisfies the strong duality relations and does not require any additional regularity assumptions such as constraint qualifications. The main difference with the previously obtained results consists in the fact that now the extended dual problem uses neither the immobile indices themselves nor the explicit information about the convex hull of these indices. The strong duality formulations presented in the paper have similar structure and properties as that proposed in the works of M. Ramana, L. Tuncel, and H. Wolkovicz, for semidefinite programming, but are obtained using different techniques.


A diagrammatic approach to string polytopes. We prove that for every complex classical group G the string polytope associated to a special reduced decomposition and any dominant integral weight lambda will be a lattice polytope if and only if the highest weight representation of the Lie algebra of G with highest weight lambda integrates to a representation of G itself. This affirms an earlier conjecture and shows that every partial flag variety of a complex classical group admits a flat projective degeneration to a Gorenstein Fano toric variety.


Boolean lattices in finite alternating and symmetric groups. Given a group G and a subgroup H , we let mathcal O G(H) denote the lattice of subgroups of G containing H . This paper provides a classification of the subgroups H of G such that mathcal O G (H) is Boolean of rank at least 3 , when G is a finite alternating or symmetric group. Besides some sporadic examples and some twisted versions, there are two different types of such lattices. One type arises by taking stabilizers of chains of regular partitions, and the other type arises by taking stabilizers of chains of regular product structures. As an application, we prove in this case a conjecture on Boolean overgroup lattices, related to the dual Ore's theorem and to a problem of Kenneth Brown.


Partition identities and application to infinite dimensional Groebner basis and viceversa. In the first part of this article, we consider a Groebner basis of the differential ideal x 1 2 with respect to "the" weighted lexicographical monomial order and show that its computation is related with an identity involving the partitions that appear in the first Rogers Ramanujan identity. We then prove that a Grobener basis of this ideal is not differentially finite in contrary with the case of "the" weighted reverse lexicographical order. In the second part, we give a simple and direct proof of a theorem of Nguyen Duc Tam about the Groaner basis of the differential ideal x 1y 1 we then obtain identities involving partitions with 2 colors.


Nonlocal and nonlinear evolution equations in perforated domains. In this work we analyze the behavior of the solutions to nonlocal evolution equations of the form u t(x,t) int J(x y) u(y,t) , dy h epsilon(x) u(x,t) f(x,u(x,t)) with x in a perturbed domain Omega epsilon subset Omega which is thought as a fixed set Omega from where we remove a subset A epsilon called the holes. We choose an appropriated families of functions h epsilon in L infty in order to deal with both Neumann and Dirichlet conditions in the holes setting a Dirichlet condition outside Omega . Moreover, we take J as a non singular kernel and f as a nonlocal nonlinearity. Under the assumption that the characteristic functions of Omega epsilon have a weak limit, we study the limit of the solutions providing a nonlocal homogenized equation.


Some deformations of the fibred biset category. We prove the well definedness of some deformations of the fibred biset category in characteristic zero. The method is to realize the fibred biset category and the deformations as the invariant parts of some categories whose compositions are given by simpler formulas. Those larger categories are constructed from a partial category of subcharacters by linearizing and introducing a cocycle.


Transition path theory for Langevin dynamics on manifold optimal control and data driven solver. We present a data driven point of view for rare events, which represent conformational transitions in biochemical reactions modeled by over damped Langevin dynamics on manifolds in high dimensions. We first reinterpret the transition state theory and the transition path theory from the optimal control viewpoint. Given point clouds sampled from a reaction dynamics, we construct a discrete Markov process based on an approximated Voronoi tesselation. We use the constructed Markov process to compute a discrete committor function whose level set automatically orders the point clouds. Then based on the committor function, an optimally controlled random walk on point clouds is constructed and utilized to efficiently sample transition paths, which become an almost sure event in O(1) time instead of a rare event in the original reaction dynamics. To compute the mean transition path efficiently, a local averaging algorithm based on the optimally controlled random walk is developed, which adapts the finite temperature string method to the controlled Monte Carlo samples. Numerical examples on sphere torus including a conformational transition for the alanine dipeptide in vacuum are conducted to illustrate the data driven solver for the transition path theory on point clouds. The mean transition path obtained via the controlled Monte Carlo simulations highly coincides with the computed dominant transition path in the transition path theory.


Superpixel Soup Monocular Dense 3D Reconstruction of a Complex Dynamic Scene. This work addresses the task of dense 3D reconstruction of a complex dynamic scene from images. The prevailing idea to solve this task is composed of a sequence of steps and is dependent on the success of several pipelines in its execution. To overcome such limitations with the existing algorithm, we propose a unified approach to solve this problem. We assume that a dynamic scene can be approximated by numerous piecewise planar surfaces, where each planar surface enjoys its own rigid motion, and the global change in the scene between two frames is as rigid as possible (ARAP). Consequently, our model of a dynamic scene reduces to a soup of planar structures and rigid motion of these local planar structures. Using planar over segmentation of the scene, we reduce this task to solving a "3D jigsaw puzzle" problem. Hence, the task boils down to correctly assemble each rigid piece to construct a 3D shape that complies with the geometry of the scene under the ARAP assumption. Further, we show that our approach provides an effective solution to the inherent scale ambiguity in structure from motion under perspective projection. We provide extensive experimental results and evaluation on several benchmark datasets. Quantitative comparison with competing approaches shows state of the art performance.


Efficient Constant Factor Approximate Enumeration of Minimal Subsets for Monotone Properties with Weight Constraints. A property Pi on a finite set U is emph monotone if for every X subseteq U satisfying Pi , every superset Y subseteq U of X also satisfies Pi . Many combinatorial properties can be seen as monotone properties. The problem of finding a minimum subset of U satisfying Pi is a central problem in combinatorial optimization. Although many approximate exact algorithms have been developed to solve this kind of problem on numerous properties, a solution obtained by these algorithms is often unsuitable for real world applications due to the difficulty of building accurate mathematical models on real world problems. A promising approach to overcome this difficulty is to emph enumerate multiple small solutions rather than to emph find a single small solution. To this end, given a weight function w U to mathbb N and an integer k , we devise algorithms that emph approximately enumerate all minimal subsets of U with weight at most k satisfying Pi for various monotone properties Pi , where "approximate enumeration" means that algorithms output all minimal subsets satisfying Pi whose weight at most k and may output some minimal subsets satisfying Pi whose weight exceeds k but is at most ck for some constant c ge 1 . These algorithms allow us to efficiently enumerate minimal vertex covers, minimal dominating sets in bounded degree graphs, minimal feedback vertex sets, minimal hitting sets in bounded rank hypergraphs, etc., of weight at most k with constant approximation factors.


Characterizing Linear Memory Rate Tradeoff of Coded Caching The (N,K) (3,3) Case. We consider the cache problem introduced by Maddah ali and Niesen 1 for the (N,K) (3,3) case, and use the computer aided approach to derive the tight linear memory rate trade off. Two lower bounds 10M 6R geq 15 and 5M 4R geq 9 are proved, which are non Shannon type. A coded linear scheme of point (M,R) (0.6,1.5) is constructed with the help of symmetry reduction and brute force search.


Partially Shared Variational Auto encoders for Unsupervised Domain Adaptation with Target Shift. This paper proposes a novel approach for unsupervised domain adaptation (UDA) with target shift. Target shift is a problem of mismatch in label distribution between source and target domains. Typically it appears as class imbalance in target domain. In practice, this is an important problem in UDA as we do not know labels in target domain datasets, we do not know whether or not its distribution is identical to that in the source domain dataset. Many traditional approaches achieve UDA with distribution matching by minimizing mean maximum discrepancy or adversarial training however these approaches implicitly assume a coincidence in the distributions and do not work under situations with target shift. Some recent UDA approaches focus on class boundary and some of them are robust to target shift, but they are only applicable to classification and not to regression. To overcome the target shift problem in UDA, the proposed method, partially shared variational autoencoders (PS VAEs), uses pair wise feature alignment instead of feature distribution matching. PS VAEs inter convert domain of each sample by a CycleGAN based architecture while preserving its label related content. To evaluate the performance of PS VAEs, we carried out two experiments UDA with class unbalanced digits datasets (classification), and UDA from synthesized data to real observation in human pose estimation (regression). The proposed method presented its robustness against the class imbalance in the classification task, and outperformed the other methods in the regression task with a large margin.


Wearable Haptics for Remote Social Walking. Walking is an essential activity for a healthy life, which becomes less tiring and more enjoyable if done together. Common difficulties we have in performing sufficient physical exercise, for instance the lack of motivation, can be overcome by exploiting its social aspect. However, our lifestyle sometimes makes it very difficult to find time together with others who live far away from us to go for a walk. In this paper we propose a novel system enabling people to have a 'remote social walk' by streaming the gait cadence between two persons walking in different places, increasing the sense of mutual presence. Vibrations provided at the users' ankles display the partner's sensation perceived during the heel strike. In order to achieve the aforementioned goal in a two users experiment, we envisaged a four step incremental validation process i) a single walker has to adapt the cadence with a virtual reference generated by a software ii) a single user is tasked to follow a predefined time varying gait cadence iii) a leader follower scenario in which the haptic actuation is mono directional iv) a peer to peer case with bi directional haptic communication. Careful experimental validation was conducted involving a total of 50 people, which confirmed the efficacy of our system in perceiving the partners' gait cadence in each of the proposed scenarios.


Soliton dynamics in microresonators with XPM induced negative thermo optic effect. Optical frequency comb generation in microresonators has attracted significant attention over the past decade, as it offers the promising potential for chip scale optical frequency synthesis, optical clocks and precise optical spectroscopy. However, accessing temporal dissipative Kerr soliton (DKSs) is known to be severely hampered by thermal effects. Furthermore, due to the degeneracy of soliton existence range with respect to soliton number, deterministically accessing single soliton state is another challenge. Here, we demonstrate stable and deterministic single soliton generation in AlN on sapphire platform via auxiliary laser pumping scheme without the requirement of fast control of the pump power and detuning. Moreover, we reveal the underlying physics of soliton switching in a dual pumped microcomb, which is fully described by the Lugiato Lefever equation. The switching process is attributed to cross phase modulation (XPM) induced degeneracy lifting of the soliton existence range, corresponding to an effective negative thermo optic effect.


Vi ete's fractal distributions and their momenta. Solutions of Schr "oder Poincar 'e's polynomial equations f(az) P(f(z)) usually do not admit a simple closed form representation in terms of known standard functions. We show that there is a one to one correspondence between zeros of f and a set of discrete functions stable at infinity. The corresponding Vi ete type infinite products for zeros of f are also provided. This allows us to obtain a special kind of closed form representation for f based on the Weierstrass Hadamard factorization. From this representation, it is possible to derive explicit momenta formulas for zeros. We discuss also the rate of convergence of WH factorization and momenta formulas. Obtaining explicit closed form expressions is the main motivation for this work. Finally, all the branches of the multi valued function f 1 are computed explicitly.


Oxford Handbook on AI Ethics Book Chapter on Race and Gender. From massive face recognition based surveillance and machine learning based decision systems predicting crime recidivism rates, to the move towards automated health diagnostic systems, artificial intelligence (AI) is being used in scenarios that have serious consequences in people's lives. However, this rapid permeation of AI into society has not been accompanied by a thorough investigation of the sociopolitical issues that cause certain groups of people to be harmed rather than advantaged by it. For instance, recent studies have shown that commercial face recognition systems have much higher error rates for dark skinned women while having minimal errors on light skinned men. A 2016 ProPublica investigation uncovered that machine learning based tools that assess crime recidivism rates in the US are biased against African Americans. Other studies show that natural language processing tools trained on newspapers exhibit societal biases (e.g. finishing the analogy "Man is to computer programmer as woman is to X" by homemaker). At the same time, books such as Weapons of Math Destruction and Automated Inequality detail how people in lower socioeconomic classes in the US are subjected to more automated decision making tools than those who are in the upper class. Thus, these tools are most often used on people towards whom they exhibit the most bias. While many technical solutions have been proposed to alleviate bias in machine learning systems, we have to take a holistic and multifaceted approach. This includes standardization bodies determining what types of systems can be used in which scenarios, making sure that automated decision tools are created by people from diverse backgrounds, and understanding the historical and political factors that disadvantage certain groups who are subjected to these tools.


On P Versus NP. Consider a following NP problem DOUBLE CLIQUE (abbr. CLIQ 2 ) Given a natural number k 2 and a pair of two disjoint subgraphs of a fixed graph G decide whether each subgraph in question contains a k clique. We prove that CLIQ 2 can't be solved in polynomial time by a deterministic TM. Clearly this is equivalent to analogous claim related to the well known monotone problem CLIQUE (abbr. CLIQ), which infers mathbf P neq mathbf NP . Our proof of polynomial unsolvability of CLIQ 2 upgrades the well known "monotone" proof with respect to CLIQ. However note that problem CLIQ 2 is not monotone and it appears to be more complex than just iterated CLIQ, as the required subgraphs are mutually dependent (see also Remark 26 in the text).


Trajectory Planning for Connected and Automated Vehicles Cruising, Lane Changing, and Platooning. Autonomy and connectivity are considered among the most promising technologies to improve safety, mobility, fuel and time consumption in transportation systems. Some of the fuel efficiency benefits of connected and automated vehicles (CAVs) can be realized through platooning. A platoon is a virtual train of CAVs that travel together following the platoon head, with small gaps between them. Vehicles may also reduce travel time by lane changing. In this paper, we devise an optimal control based trajectory planning model that can provide safe and efficient trajectories for the subject vehicle and can incorporate platooning and lane changing. We embed this trajectory planning model in a simulation framework to quantify its efficiency benefits as it relates to fuel consumption and travel time, in a dynamic traffic stream. Furthermore, we perform extensive numerical experiments to investigate whether, and the circumstances under which, the vehicles in upstream of the subject vehicle may also experience second hand fuel efficiency benefits.


On a hyper singular equation. The equation v v 0 int 0 t(t s) lambda 1 v(s)ds is considered, lambda neq 0, 1, 2... and v 0 is a smooth function rapidly decaying with all its derivatives. It is proved that the solution to this equation does exist, is unique and is smoother than the singular function t frac 5 4 .


Core First Unit Propagation. Unit propagation (which is called also Boolean Constraint Propagation) has been an important component of every modern CDCL SAT solver since the CDCL solver was developed. In general, unit propagation is implemented by scanning sequentially every clause over a linear watch list. This paper presents a new unit propagation technique called core first unit propagation. The main idea is to prefer core clauses over non core ones during unit propagation, trying to generate a shorter learnt clause. Here, the core clause is defined as one with literal block distance less than or equal to 7. Empirical results show that core first unit propagation improves the performance of the winner of the SAT Competition 2018, MapleLCMDistChronoBT.


A multi scale problem for viscous heat conducting fluids in fast rotation. In the present paper, we study the combined incompressible and fast rotation limits for the full Navier Stokes Fourier system with Coriolis, centrifugal and gravitational forces, in the regime of small Mach, Froude and Rossby numbers and for general ill prepared initial data. We consider both the isotropic scaling (where all the numbers have the same order of magnitude) and the multi scale case (where some effect is predominant with respect to the others). In the case when the Mach number is of higher order than the Rossby number, we prove that the limit dynamics is described by an incompressible Oberbeck Boussinesq system, where the velocity field is horizontal (according to the Taylor Proudman theorem), but vertical effects on the temperature equation are not negligible. Instead, when the Mach and Rossby numbers have the same order of magnitude, and in absence of the centrifugal force, we show convergence to a quasi geostrophic equation for a stream function of the limit velocity field, coupled with a transport diffusion equation for a new unknown, which links the target density and temperature profiles. The proof of the convergence is based on a compensated compactness argument. The key point is to identify some compactness properties hidden in the system of acoustic Poincar 'e waves. Compared to previous results, our method enables first of all to treat the whole range of parameters in the multi scale problem, and also to consider a low Froude number regime with the somehow critical choice Fr sqrt Ma , where Ma is the Mach number. This allows us to capture some (low) stratification effects in the limit.


Structural analogy from a Single Image Pair. The task of unsupervised image to image translation has seen substantial advancements in recent years through the use of deep neural networks. Typically, the proposed solutions learn the characterizing distribution of two large, unpaired collections of images, and are able to alter the appearance of a given image, while keeping its geometry intact. In this paper, we explore the capabilities of neural networks to understand image structure given only a single pair of images, A and B. We seek to generate images that are structurally aligned that is, to generate an image that keeps the appearance and style of B, but has a structural arrangement that corresponds to A. The key idea is to map between image patches at different scales. This enables controlling the granularity at which analogies are produced, which determines the conceptual distinction between style and content. In addition to structural alignment, our method can be used to generate high quality imagery in other conditional generation tasks utilizing images A and B only guided image synthesis, style and texture transfer, text translation as well as video translation. Our code and additional results are available in https github.com rmokady structural analogy .


Spectral Bounds for Quasi Twisted Codes. New lower bounds on the minimum distance of quasi twisted codes over finite fields are proposed. They are based on spectral analysis and eigenvalues of polynomial matrices. They generalize the Semenov Trifonov and Zeh Ling bounds in a manner similar to how the Roos and shift bounds extend the BCH and HT bounds for cyclic codes.


Repair rate lower bounds for distributed storage. One of the primary objectives of a distributed storage system is to reliably store a large amount dsize of source data for a long duration using a large number N of unreliable storage nodes, each with capacity nsize . The storage overhead beta is the fraction of system capacity available beyond dsize , i.e., beta 1 frac dsize N cdot nsize . Storage nodes fail randomly over time and are replaced with initially empty nodes, and thus data is erased from the system at an average rate erate lambda cdot N cdot nsize , where 1 lambda is the average lifetime of a node before failure. To maintain recoverability of the source data, a repairer continually reads data over a network from nodes at some average rate rrate , and generates and writes data to nodes based on the read data. The main result is that, for any repairer, if the source data is recoverable at each point in time then it must be the case that rrate ge frac erate 2 cdot beta asymptotically as N goes to infinity and beta goes to zero. This inequality provides a fundamental lower bound on the average rate that any repairer needs to read data from the system in order to maintain recoverability of the source data.


Train, Sort, Explain Learning to Diagnose Translation Models. Evaluating translation models is a trade off between effort and detail. On the one end of the spectrum there are automatic count based methods such as BLEU, on the other end linguistic evaluations by humans, which arguably are more informative but also require a disproportionately high effort. To narrow the spectrum, we propose a general approach on how to automatically expose systematic differences between human and machine translations to human experts. Inspired by adversarial settings, we train a neural text classifier to distinguish human from machine translations. A classifier that performs and generalizes well after training should recognize systematic differences between the two classes, which we uncover with neural explainability methods. Our proof of concept implementation, DiaMaT, is open source. Applied to a dataset translated by a state of the art neural Transformer model, DiaMaT achieves a classification accuracy of 75 and exposes meaningful differences between humans and the Transformer, amidst the current discussion about human parity.


Optimising the flow through a concertinaed filtration membrane. Membrane filtration is a vital industrial process, with applications including air purification and blood filtration. In this paper, we study the optimal design for a concertinaed filtration membrane composed of angled porous membranes and dead ends. We examine how the filter performance depends on the angle, position, thickness, and permeance of the membrane, through a combination of numerical and asymptotic approaches, the latter in the limit of a slightly angled membrane. We find that, for a membrane of fixed angle and physical properties, there can exist multiple membrane positions that maximise the flux for an applied pressure difference. More generally, we show that while the maximal flux achievable depends on the membrane thickness and permeance, the optimal membrane configuration is always in one of two setups centred and diagonal across the full domain or angled and in the corner of the domain.


The exact complexity of the Tutte polynomial. This is a survey on the exact complexity of computing the Tutte polynomial. It is the longer 2017 version of Chapter 25 of the CRC Handbook on the Tutte polynomial and related topics, edited by J. Ellis Monaghan and I. Moffatt, which is due to appear in the first quarter of 2020. In the version to be published in the Handbook the Sections 5 and 6 are shortened and made into a single section.


Augmented Parallel Pyramid Net for Attention Guided Pose Estimation. The target of human pose estimation is to determine body part or joint locations of each person from an image. This is a challenging problems with wide applications. To address this issue, this paper proposes an augmented parallel pyramid net with attention partial module and differentiable auto data augmentation. Technically, a parallel pyramid structure is proposed to compensate the loss of information. We take the design of parallel structure for reverse compensation. Meanwhile, the overall computational complexity does not increase. We further define an Attention Partial Module (APM) operator to extract weighted features from different scale feature maps generated by the parallel pyramid structure. Compared with refining through upsampling operator, APM can better capture the relationship between channels. At last, we proposed a differentiable auto data augmentation method to further improve estimation accuracy. We define a new pose search space where the sequences of data augmentations are formulated as a trainable and operational CNN component. Experiments corroborate the effectiveness of our proposed method. Notably, our method achieves the top 1 accuracy on the challenging COCO keypoint benchmark and the state of the art results on the MPII datasets.


Deep Weakly Supervised Domain Adaptation for Pain Localization in Videos. Automatic pain assessment has an important potential diagnostic value for populations that are incapable of articulating their pain experiences. As one of the dominating nonverbal channels for eliciting pain expression events, facial expressions has been widely investigated for estimating the pain intensity of individual. However, using state of the art deep learning (DL) models in real world pain estimation applications poses several challenges related to the subjective variations of facial expressions, operational capture conditions, and lack of representative training videos with labels. Given the cost of annotating intensity levels for every video frame, we propose a weakly supervised domain adaptation (WSDA) technique that allows for training 3D CNNs for spatio temporal pain intensity estimation using weakly labeled videos, where labels are provided on a periodic basis. In particular, WSDA integrates multiple instance learning into an adversarial deep domain adaptation framework to train an Inflated 3D CNN (I3D) model such that it can accurately estimate pain intensities in the target operational domain. The training process relies on weak target loss, along with domain loss and source loss for domain adaptation of the I3D model. Experimental results obtained using labeled source domain RECOLA videos and weakly labeled target domain UNBC McMaster videos indicate that the proposed deep WSDA approach can achieve significantly higher level of sequence (bag) level and frame (instance) level pain localization accuracy than related state of the art approaches.


When Wireless Communication Faces COVID 19 Combating the Pandemic and Saving the Economy. The year 2020 is experiencing a global health and economic crisis due to the COVID 19 pandemic. Countries across the world are using digital technologies to fight this global crisis. These digital technologies, in one way or another, strongly rely on the availability of wireless communication technologies. In this paper, we present the role of wireless communications in the COVID 19 pandemic from different perspectives. First, we show how these technologies are helping to combat this pandemic, including monitoring of the virus spread, enabling healthcare automation, and allowing virtual education and conferencing. Also, we show the importance of digital inclusiveness in the pandemic and possible solutions to connect the unconnected. Next, we discuss the challenges faced by wireless technologies, including privacy, security, and misinformation. Then, we present the importance of wireless communication technologies in the survival of the global economy, such as automation of industries and supply chain, e commerce, and supporting occupations that are at risk. Finally, we reveal that how the technologies developed during the pandemic can be helpful in the post pandemic era.


Breeding Gender aware Direct Speech Translation Systems. In automatic speech translation (ST), traditional cascade approaches involving separate transcription and translation steps are giving ground to increasingly competitive and more robust direct solutions. In particular, by translating speech audio data without intermediate transcription, direct ST models are able to leverage and preserve essential information present in the input (e.g. speaker's vocal characteristics) that is otherwise lost in the cascade framework. Although such ability proved to be useful for gender translation, direct ST is nonetheless affected by gender bias just like its cascade counterpart, as well as machine translation and numerous other natural language processing applications. Moreover, direct ST systems that exclusively rely on vocal biometric features as a gender cue can be unsuitable and potentially harmful for certain users. Going beyond speech signals, in this paper we compare different approaches to inform direct ST models about the speaker's gender and test their ability to handle gender translation from English into Italian and French. To this aim, we manually annotated large datasets with speakers' gender information and used them for experiments reflecting different possible real world scenarios. Our results show that gender aware direct ST solutions can significantly outperform strong but gender unaware direct ST models. In particular, the translation of gender marked words can increase up to 30 points in accuracy while preserving overall translation quality.


Properties of sets of Subspaces with Constant Intersection Dimension. A (k,k t) SCID (set of Subspaces with Constant Intersection Dimension) is a set of k dimensional vector spaces that have pairwise intersections of dimension k t . Let mathcal C pi 1, ldots, pi n be a (k,k t) SCID. Define S langle pi 1, ldots, pi n rangle and I langle pi i cap pi j mid 1 leq i j leq n rangle . We establish several upper bounds for dim S dim I in different situations. We give a spectrum result for the case (n 1)(k t) leq k and for the case n leq frac q t(n eta) 1 q t 1 , giving examples of (k,k t) SCIDs reaching a large interval of values for dim S dim I .


Spectral data asymptotics for the matrix Sturm Liouville operator. The self adjoint matrix Sturm Liouville operator on a finite interval with a boundary condition in the general form is studied. We obtain asymptotic formulas for the eigenvalues and the weight matrices of the considered operator. These spectral characteristics play an important role in the inverse spectral theory. Our technique is based on analysis of analytic functions and on the contour integration in the complex plane of the spectral parameter. In addition, we adapt the obtained asymptotic formulas to the Sturm Liouville operators on a star shaped graph with two different types of matching conditions.


A branched covering of degree 2 of the sphere with a completely invariant indecomposable continuum. We construct a branched covering of degree 2 of the sphere S 2 having a completely invariant indecomposable continuum K . The existence of such an object is not known for rational maps of the sphere.


Mend The Learning Approach, Not the Data Insights for Ranking E Commerce Products. Improved search quality enhances users' satisfaction, which directly impacts sales growth of an E Commerce (E Com) platform. Traditional Learning to Rank (LTR) algorithms require relevance judgments on products. In E Com, getting such judgments poses an immense challenge. In the literature, it is proposed to employ user feedback (such as clicks, add to basket (AtB) clicks and orders) to generate relevance judgments. It is done in two steps first, query product pair data are aggregated from the logs and then order rate etc are calculated for each pair in the logs. In this paper, we advocate counterfactual risk minimization (CRM) approach which circumvents the need of relevance judgements, data aggregation and is better suited for learning from logged data, i.e. contextual bandit feedback. Due to unavailability of public E Com LTR dataset, we provide textit Mercateo dataset from our platform. It contains more than 10 million AtB click logs and 1 million order logs from a catalogue of about 3.5 million products associated with 3060 queries. To the best of our knowledge, this is the first work which examines effectiveness of CRM approach in learning ranking model from real world logged data. Our empirical evaluation shows that our CRM approach learns effectively from logged data and beats a strong baseline ranker ( lambda MART) by a huge margin. Our method outperforms full information loss (e.g. cross entropy) on various deep neural network models. These findings demonstrate that by adopting CRM approach, E Com platforms can get better product search quality compared to full information approach. The code and dataset can be accessed at https github.com ecom research CRM LTR.


Tight Analysis of Asynchronous Rumor Spreading in Dynamic Networks. The asynchronous rumor algorithm spreading propagates a piece of information, the so called rumor, in a network. Starting with a single informed node, each node is associated with an exponential time clock with rate 1 and calls a random neighbor in order to possibly exchange the rumor. Spread time is the first time when all nodes of a network are informed with high probability. We consider spread time of the algorithm in any dynamic evolving network, mathcal G G (t) t 0 infty , which is a sequence of graphs exposed at discrete time step t 0,1 ldots . We observe that besides the expansion profile of a dynamic network, the degree distribution of nodes over time effect the spread time. We establish upper bounds for the spread time in terms of graph conductance and diligence. For a given connected simple graph G (V,E) , the diligence of cut set E(S, overline S ) is defined as rho(S) min u,v in E(S, overline S ) max bar d d u, bar d d v where d u is the degree of u and bar d is the average degree of nodes in the one side of the cut with smaller volume (i.e., mathtt vol (S) sum u in S d u ). The diligence of G is also defined as rho(G) min emptyset neq S subset V rho(S) . We show that the spread time of the algorithm in mathcal G is bounded by T , where T is the first time that sum t 0 T Phi(G (t) ) cdot rho(G (t) ) exceeds C log n , where Phi(G (t) ) denotes the conductance of G (t) and C is a specified constant. We also define the absolute diligence as overline rho (G) min u,v in E max 1 d u,1 d v and establish upper bound T for the spread time in terms of absolute diligence, which is the first time when sum t 0 T lceil Phi(G (t) ) rceil cdot overline rho (G (t) ) ge 2n . We present dynamic networks where the given upper bounds are almost tight.


Quasi invariant Gaussian measures for the cubic fourth order nonlinear Schr "odinger equation in negative Sobolev spaces. We continue the study on the transport properties of the Gaussian measures on Sobolev spaces under the dynamics of the cubic fourth order nonlinear Schr "odinger equation. By considering the renormalized equation, we extend the quasi invariance results in 30, 27 to Sobolev spaces of negative regularity. Our proof combines the approach introduced by Planchon, Tzvetkov, and Visciglia 35 with the normal form approach in 30, 27 .


Relative Vertex Asphericity. Diagrammatic reducibility DR and its generalization vertex asphericity VA are combinatorial tools developed for detecting asphericity of a 2 complex. Here we present tests for a relative version of VA that apply to pairs of 2 complexes (L,K) , where K is a subcomplex of L . We show that a relative weight test holds for injective labeled oriented trees, implying that they are VA and hence aspherical. This strengthens a result obtained by the authors in 2017 and simplifies the original proof.


Modeling cities. Cities are systems with a large number of constituents and agents interacting with each other and can be considered as emblematic of complex systems. Modeling these systems is a real challenge and triggered the interest of many disciplines such as quantitative geography, spatial economics, geomatics and urbanism, and more recently physics. (Statistical) Physics plays a major role by bringing tools and concepts able to bridge theory and empirical results, and we will illustrate this on some fundamental aspects of cities the growth of their surface area and their population, their spatial organization, and the spatial distribution of activities. We will present state of the art results and models but also open problems for which we still have a partial understanding and where physics approaches could be particularly helpful. We will end this short review with a discussion about the possibility of constructing a science of cities.


Hybrid CO mathrm 2 Ti sapphire laser with tunable pulse duration for mid infrared pump terahertz probe spectroscopy. Ultrafast optical excitation with intense mid infrared and terahertz pulses has emerged as a new tool to control materials dynamically. As most experiments are performed with femtosecond pulse excitation, typical lifetimes of most light induced phenomena in solids are of only few picoseconds. Yet, many scientific applications require longer drive pulses and lifetimes. Here, we describe a mid infrared pump terahertz probe setup based on a CO mathrm 2 laser seeded with 10.6 mathrm mu m wavelength pulses from an optical parametric amplifier, itself pumped by a Ti Al mathrm 2 O mathrm 3 laser. The output of the seeded CO mathrm 2 laser produces high power pulses of nanosecond duration, which are synchronized to the femtosecond laser. Hence, these pulses can be tuned in pulse duration by slicing their front and back edges with semiconductor plasma mirrors irradiated by replicas of the femtosecond seed laser pulses. Variable pulse lengths from 5 ps to 1.3 ns are achieved, and used in mid infrared pump, terahertz probe experiments with probe pulses generated and electro optically sampled by the femtosecond laser.


On Parameterized Complexity of Binary Networked Public Goods Game. In the Binary Networked Public Goods game, every player needs to decide if she participates in a public project whose utility is shared equally by the community. We study the problem of deciding if there exists a pure strategy Nash equilibrium (PSNE) in such games. The problem is already known to be NP complete. We provide fine grained analysis of this problem under the lens of parameterized complexity theory. We consider various natural graph parameters and show either W 1 hardness or exhibit an FPT algorithm. We finally exhibit some special graph classes, for example path, cycle, bi clique, complete graph, etc., which always have a PSNE if the utility function of the players are fully homogeneous.


Perfect points on genus one curves and consequences for supersingular K3 surfaces. We describe a method to show that certain elliptic surfaces do not admit purely inseparable multisections (equivalently, that genus one curves over function fields admit no points over the perfect closure of the base field) and use it to show that any non Jacobian elliptic structure on a very general supersingular K3 surface has no purely inseparable multisections. We also describe specific examples of such fibrations without purely inseparable multisections. Finally, we discuss the consequences for the claimed proof of the Artin conjecture on unirationality of supersingular K3 surfaces.


Evaluation Pattern on Refugee Crisis. For nowadays severe refugee issue, we primarily set up an evaluation pattern on refugee crisis. Then, we modify our model in the consideration that time and external factors. Besides, we propose a set of policy to facilitate migration movement on optimal route before discussing the extendibility of our model.


Ultrasound imaging with three dimensional full wave nonlinear acoustic simulations. Part 2 sources of image degradation in intercostal imaging. Fullwave simulations are applied to an intercostal imaging scenario to determine the sources of fundamental and harmonic image degradation with respect to aberration and reverberation. These simulations are based on Part I of this two part paper, which established the Fullwave simulation methods to generate realistic ultrasound images based directly on the first principles of wave propagation in the human body. The ultasound images are generated based on the first principles of propagation and reflection and they describe interplay between distributed aberration and reverberation clutter. Three imaging scenarios that would not be realizable in vivo are investigated in silico. First, the ribs were completely removed and replaced with fat. Then, the ribs were maintained in their anatomically correct configuration to yield a reference image. Finally the ribs were placed closer together in elevation. The propagation based B mode images show that of these three scenarios the second, anatomically correct configuration, has the best contrast to noise ratio. This is due to two competing effects. First the ribs effectively apodize the fundamental and harmonic beams by 3 5 dB. This effect alone would predict an improvement in image quality. However, the B mode image quality, measured by the contrast to noise ratio degrades by 8 . To explain these changes, it is shown that a second effect, multiple reverberation, must be taken into account. A point spread function analysis shows that when the ribs are placed closer together they generate significantly more reverberation clutter (by 2.4 to 2.9 dB), degrading the image quality even though the beamplot has lower sidelobes. In this intercostal imaging scenario the effects of the ribs on beam shape and reverberation are therefore in competition in terms of image quality and there is an optimal acoustic window that balances them out.


Power Control for Wireless VBR Video Streaming From Optimization to Reinforcement Learning. In this paper, we investigate the problem of power control for streaming variable bit rate (VBR) videos over wireless links. A system model involving a transmitter (e.g., a base station) that sends VBR video data to a receiver (e.g., a mobile user) equipped with a playout buffer is adopted, as used in dynamic adaptive streaming video applications. In this setting, we analyze power control policies considering the following two objectives 1) the minimization of the transmit power consumption, and 2) the minimization of the transmission completion time of the communication session. In order to play the video without interruptions, the power control policy should also satisfy the requirement that the VBR video data is delivered to the mobile user without causing playout buffer underflow or overflows. A directional water filling algorithm, which provides a simple and concise interpretation of the necessary optimality conditions, is identified as the optimal offline policy. Following this, two online policies are proposed for power control based on channel side information (CSI) prediction within a short time window. Dynamic programming is employed to implement the optimal offline and the initial online power control policies that minimize the transmit power consumption in the communication session. Subsequently, reinforcement learning (RL) based approach is employed for the second online power control policy. Via simulation results, we show that the optimal offline power control policy that minimizes the overall power consumption leads to substantial energy savings compared to the strategy of minimizing the time duration of video streaming. We also demonstrate that the RL algorithm performs better than the dynamic programming based online grouped water filling (GWF) strategy unless the channel is highly correlated.


Trees, length spectra for rational maps via barycentric extensions and Berkovich spaces. In this paper, we study the dynamics of degenerating sequences of rational maps on Riemann sphere hat mathbb C using mathbb R trees. Given a sequence of degenerating rational maps, we give two constructions for limiting dynamics on mathbb R trees one geometric and one algebraic. The geometric construction uses the ultralimit of rescalings of barycentric extensions of rational maps, while the algebraic construction uses the Berkovich space of complexified Robinson's field. We show the two approaches are equivalent. The limiting dynamics on the mathbb R tree are analogues to isometric group actions on mathbb R trees studied in Kleinian groups and Teichm "uller theory. We use the limiting map to classify hyperbolic components of rational maps that admit degeneracies with bounded length spectra (multipliers).


Discretization by euler's method for regular lagrangian flow. This paper is concerned with the numerical analysis of the explicit Euler scheme for ordinary differential equations with non Lipschitz vector fields. We prove the convergence of the Euler scheme to regular lagrangian flow (Diperna Lions flows) which is the right concept of the solution in this context. Moreover, we show that order of convergence is frac 1 2 .


The preservability of the curvature adaptedness along the mean curvature flow. In this paper, we investigate the preservability of the curvature adaptedness along the mean curvature flow starting from a compact curvature adapted hypersurface in locally symmetric spaces, where the curvature adaptedness means that the shape operator and the normal Jacobi operator of the hypersurface commute.


The incremental bulk modulus, Young's modulus and Poisson's ratio in nonlinear isotropic elasticity physically reasonable response. An incremental (or tangent) bulk modulus for finite isotropic elasticity is defined which compares an increment in hydrostatic pressure with the corresponding increment in relative volume. Its positivity provides a stringent criterion for physically reasonable response involving the second derivatives of the strain energy function. Also, an average (or secant) bulk modulus is defined by comparing the current stress with the relative volume change. The positivity of this bulk modulus provides a physically reasonable response criterion less stringent than the former. The concept of incremental bulk modulus is extended to anisotropic elasticity. For states of uniaxial tension an incremental Poisson's ratio and an incremental Young's modulus are similarly defined for nonlinear isotropic elasticity and have properties similar to those of the incremental bulk modulus. The incremental Poisson's ratios for the isotropic constraints of incompressibility, Bell, Ericksen, and constant area are considered. The incremental moduli are all evaluated for a specific example of the compressible neo Hookean solid. Bounds on the ground state Lam ' e elastic moduli, assumed positive, are given which are sufficient to guarantee the positivity of the incremental bulk and Young's moduli for all strains. However, although the ground state Poisson's ratio is positive we find that the incremental Poisson's ratio becomes negative for large enough axial extensions.


Presence Only Geographical Priors for Fine Grained Image Classification. Appearance information alone is often not sufficient to accurately differentiate between fine grained visual categories. Human experts make use of additional cues such as where, and when, a given image was taken in order to inform their final decision. This contextual information is readily available in many online image collections but has been underutilized by existing image classifiers that focus solely on making predictions based on the image contents. We propose an efficient spatio temporal prior, that when conditioned on a geographical location and time, estimates the probability that a given object category occurs at that location. Our prior is trained from presence only observation data and jointly models object categories, their spatio temporal distributions, and photographer biases. Experiments performed on multiple challenging image classification datasets show that combining our prior with the predictions from image classifiers results in a large improvement in final classification performance.


Local Symplectic Homology of Reeb Orbits. In this paper we prove two isomorphisms in the local symplectic homology of a simple, which is to say non iterated, isolated Reeb orbit. The isomorphisms are in S 1 equivariant and nonequivariant symplectic homology, relating the local Floer homology group of the orbit to that of the return map. The isomorphism we prove in S 1 equivariant symplectic homology can be stated succinctly as the local S 1 equivariant symplectic homology of a simple isolated Reeb orbit is isomorphic to the local Hamiltonian Floer homology of the return map. We also prove the equivalence of two different definitions of a Reeb orbit being a symplectically degenerate maximum.


Stratified Homotopy Theory. A stratified space is a topological space together with a decomposition into strata corresponding to different types of singularities. Examples of such spaces appear everywhere in topology and geometry. The study of stratified spaces involves invariants such as intersection cohomology which are only invariants under stratification preserving homotopies. In this thesis, we study the homotopy theory of stratified spaces with respect to those stratified homotopies. To do so, we construct model categories for stratified spaces and we introduce new invariants to characterize them, the filtered homotopy groups. A stratified space can be seen as a topological space X together with a continuous map to a poset of strata X to P . We begin our study by restricting ourselves to the filtered case, where the poset of strata is fixed. We define the model category of filtered simplicial sets, show that it admits a description " a la Kan", and characterize its weak equivalences using the filtered homotopy groups. We deduce a proof of a filtered version of Whitehead theorem. We then construct a model category of filtered spaces. Its weak equivalences are the morphisms that induce isomorphisms on all filtered homotopy groups, and its fibrations satisfy a filtered version of Serre's lifting conditions. We show that it is Quillen equivalent to a category of diagrams of simplicial sets. We then work toward a comparison between the model categories of filtered simplicial sets and of filtered spaces. They are connected by a Quillen adjunction, similar to the classical Kan Quillen adjunction. We conjecture that it is in fact a Quillen equivalence. Lastly, working with the notion of Quillen bifibration, we show that there are model categories of stratified spaces and of stratified simplicial sets. We show that the two are related by an adjunction that preserve weak equivalences.


Interpolation and stability properties of low order face and edge virtual element spaces. We analyse the interpolation properties of 2D and 3D low order virtual element face and edge spaces, which generalize N 'ed 'elec and Raviart Thomas polynomials to polygonal polyhedral meshes. Moreover, we investigate the stability properties of the associated L 2 discrete bilinear forms, which typically appear in the virtual element discretization of problems in electromagnetism.


Almost Split Triangles and Morphisms Determined by Objects in Extriangulated Categories. Let ( mathfrak C , mathbb E , mathfrak s ) be an Ext finite, Krull Schmidt and k linear extriangulated category with k a commutative artinian ring. We define an additive subcategory mathfrak C r (respectively, mathfrak C l ) of mathfrak C in terms of the representable functors from the stable category of mathfrak C modulo mathfrak s injectives (respectively, mathfrak s projectives) to k modules, which consists of all mathfrak s projective (respectively, mathfrak s injective) objects and objects isomorphic to direct summands of finite direct sums of all third (respectively, first) terms of almost split mathfrak s triangles. We investigate the subcategories mathfrak C r and mathfrak C l in terms of morphisms determined by objects, and then give equivalent characterizations on the existence of almost split mathfrak s triangles.


Mori dream K3 surfaces of Picard number four projective models and Cox rings. In this paper we study the geometry of the 14 families of K3 surfaces of Picard number four with finite automorphism group, whose N 'eron Severi lattices have been classified by E.B. Vinberg. We provide projective models, we identify the degrees of a generating set of the Cox ring and in some cases we prove the unirationality of the associated moduli space.


Competitive Balance in Team Sports Games. Competition is a primary driver of player satisfaction and engagement in multiplayer online games. Traditional matchmaking systems aim at creating matches involving teams of similar aggregated individual skill levels, such as Elo score or TrueSkill. However, team dynamics cannot be solely captured using such linear predictors. Recently, it has been shown that nonlinear predictors that target to learn probability of winning as a function of player and team features significantly outperforms these linear skill based methods. In this paper, we show that using final score difference provides yet a better prediction metric for competitive balance. We also show that a linear model trained on a carefully selected set of team and individual features achieves almost the performance of the more powerful neural network model while offering two orders of magnitude inference speed improvement. This shows significant promise for implementation in online matchmaking systems.


On Descartes' rule of signs. A sequence of d 1 signs and beginning with a is called a em sign pattern (SP) . We say that the real polynomial P x d sum j 0 d 1 a jx j , a j neq 0 , defines the SP sigma ( ,sgn (a d 1 ) , ldots , sgn (a 0)) . By Descartes' rule of signs, for the quantity pos of positive (resp. neg of negative) roots of P , one has pos leq c (resp. neg leq p d c ), where c and p are the numbers of sign changes and sign preservations in sigma the numbers c pos and p neg are even. We say that P realizes the SP sigma with the pair (pos, neg) . For SPs with c 2 , we give some sufficient conditions for the (non)realizability of pairs (pos, neg) of the form (0,d 2k) , k 1 , ldots , (d 2) 2 .


Thermodynamically Stable DNA Code Design using a Similarity Significance Model. DNA code design aims to generate a set of DNA sequences (codewords) with minimum likelihood of undesired hybridizations among sequences and their reverse complement (RC) pairs (cross hybridization). Inspired by the distinct hybridization affinities (or stabilities) of perfect double helix constructed by individual single stranded DNA (ssDNA) and its RC pair, we propose a novel similarity significance (SS) model to measure the similarity between DNA sequences. Particularly, instead of directly measuring the similarity of two sequences by any metric approach, the proposed SS works in a way to evaluate how more likely will the undesirable hybridizations occur over the desirable hybridizations in the presence of the two measured sequences and their RC pairs. With this SS model, we construct thermodynamically stable DNA codes subject to several combinatorial constraints using a sorting based algorithm. The proposed scheme results in DNA codes with larger code sizes and wider free energy gaps (hence better cross hybridization performance) compared to the existing methods.


Manipulating neutral particles in Bessel beams from rings, through fixed helices to 3D traps. The motion of neutral, polarizable atoms (also called neutral particles in this work) in the field of the Bessel beam is considered. It is shown in the numerical way, that the Bessel rings, i.e., the regions of high energy concentration can trap particles of positive polarizability (atoms in red detuned beams). This trapping occurs only in the plane perpendicular to the wave propagation, and the motion along the beam is unrestricted. When the beam is superposed with the plane wave of the same frequency propagating in the same direction, the particles are guided along helices, fixed in space. The shape of these helices depends on the parameters characterizing the electromagnetic fields but not on the initial state of guided particles. Depending on the vorticity of the Bessel beam, these helices can be made left or right handed. In the special case of zero vorticity, the helices get degenerated to the true, three dimensional rings, which can serve as 3D traps. The emerging structure of potential valleys can be applied to parallel guidance or capture several independent atoms, each in its own trap.


Automated machine vision enabled detection of movement disorders from hand drawn spirals. A widely used test for the diagnosis of Parkinson's disease (PD) and Essential tremor (ET) is hand drawn shapes,where the analysis is observationally performed by the examining neurologist. This method is subjective and is prone to bias amongst different physicians. Due to the similarities in the symptoms of the two diseases, they are often misdiagnosed.Studies which attempt to automate the process typically use digitized input, where the tablet or specialized equipment are not affordable in many clinical settings. This study uses a dataset of scanned pen and paper drawings and a convolutional neural network (CNN) to perform classification between PD, ET and control subjects. The discrimination accuracy of PD from controls was 98.2 . The discrimination accuracy of PD from ET and from controls was 92 . An ablation study was conducted and indicated that correct hyper parameter optimization can increases the accuracy up to 4.33 . Finally, the study indicates the viability of using a CNN enabled machine vision system to provide robust and accurate detection of movement disorders from hand drawn spirals.


Real motivic and C 2 equivariant Mahowald invariants. We generalize the Mahowald invariant to the mathbb R motivic and C 2 equivariant settings. For all i 0 with i equiv 2,3 mod 4 , we show that the mathbb R motivic Mahowald invariant of (2 rho eta) i in pi 0,0 mathbb R (S 0,0 ) contains a lift of a certain element in Adams' classical v 1 periodic families, and for all i 0 , we show that the mathbb R motivic Mahowald invariant of eta i in pi i,i mathbb R (S 0,0 ) contains a lift of a certain element in Andrews' mathbb C motivic w 1 periodic families. We prove analogous results about the C 2 equivariant Mahowald invariants of (2 rho eta) i in pi 0,0 C 2 (S 0,0 ) and eta i in pi i,i C 2 (S 0,0 ) by leveraging connections between the classical, motivic, and equivariant stable homotopy categories. The infinite families we construct are some of the first periodic families of their kind studied in the mathbb R motivic and C 2 equivariant settings.


Extreme antagonism arising from gene environment interactions. Antagonistic interactions in biological systems, which occur when one perturbation blunts the effect of another, are typically interpreted as evidence that the two perturbations impact the same cellular pathway or function. Yet, this interpretation ignores extreme antagonistic interactions wherein an otherwise deleterious perturbation compensates for the function lost due to a prior perturbation. Here, we report on gene environment interactions involving genetic mutations that are deleterious in a permissive environment but beneficial in a specific environment that restricts growth. These extreme antagonistic interactions constitute gene environment analogs of synthetic rescues previously observed for gene gene interactions. Our approach uses two independent adaptive evolution steps to address the lack of experimental methods to systematically identify such extreme interactions. We apply the approach to Escherichia coli by successively adapting it to defined glucose media without and with the antibiotic rifampicin. The approach identified multiple mutations that are beneficial in the presence of rifampicin and deleterious in its absence. The analysis of transcription shows that the antagonistic adaptive mutations repress a stringent response like transcriptional program, while non antagonistic mutations have an opposite transcriptional profile. Our approach represents a step toward the systematic characterization of extreme antagonistic gene drug interactions, which can be used to identify targets to select against antibiotic resistance.


A UV laser test bench for micro pattern gaseous detectors. UV lasers for the calibration of gaseous detectors have seen newfound employment with current generation micro pattern gaseous detectors (MPGDs), especially those devices not suitable for tests with traditional sources (e.g. cosmic rays or X ray beams) by design constraints. An apparatus made of a UV laser designed for the characterization of the fast timing MPGD (FTM) is here described, together with the measurements of gain curve and electron drift velocity performed on a prototype of Time Projection GEM (TPG) to validate the setup.


Dungeons for Science Mapping Belief Places and Spaces. Tabletop fantasy role playing games (TFRPGs) have existed in offline and online contexts for many decades, yet are rarely featured in scientific literature. This paper presents a case study where TFRPGs were used to generate and collect data for maps of belief environments using fiction co created by multiple small groups of online tabletop gamers. The affordances of TFRPGs allowed us to collect repeatable, targeted data in online field conditions. These data not only included terms that allowed us to build our maps, but also to explore nuanced ethical problems from a situated, collaborative perspective.


Basis shape loci and the positive Grassmannian. A basis shape locus takes as input data a zero nonzero pattern in an n times k matrix, which is equivalent to a presentation of a transversal matroid. The locus is defined as the set of points in the Grassmannian of k planes in mathbb R n which are the row space of a matrix with the prescribed zero nonzero pattern. We show that this locus depends only on the transversal matroid, not on the specific presentation. When a transversal matroid is a positroid, the closure of its basis shape locus is the associated positroid variety. We give a sufficient, and conjecturally necessary, condition for when a transversal matroid is a positroid. Finally, we discus applications to two programs for computing scattering amplitudes in mathcal N 4 SYM theory one trying to prove that projections of certain positroid cells triangulate the amplituhedron, and another using Wilson loop diagrams.


On Distributed Runtime Verification by Aggregate Computing. Runtime verification is a computing analysis paradigm based on observing a system at runtime (to check its expected behaviour) by means of monitors generated from formal specifications. Distributed runtime verification is runtime verification in connection with distributed systems it comprises both monitoring of distributed systems and using distributed systems for monitoring. Aggregate computing is a programming paradigm based on a reference computing machine that is the aggregate collection of devices that cooperatively carry out a computational process the details of behaviour, position and number of devices are largely abstracted away, to be replaced with a space filling computational environment. In this position paper we argue, by means of simple examples, that aggregate computing is particularly well suited for implementing distributed monitors. Our aim is to foster further research on how to generate aggregate computing monitors from suitable formal specifications.