A posteriori error estimates for the Allen Cahn problem. This work is concerned with the proof of emph a posteriori error estimates for fully discrete Galerkin approximations of the Allen Cahn equation in two and three spatial dimensions. The numerical method comprises of the backward Euler method combined with conforming finite elements in space. For this method, we prove conditional type emph a posteriori error estimates in the L 4(0,T L 4( Omega)) norm that depend polynomially upon the inverse of the interface length epsilon . The derivation relies crucially on the availability of a spectral estimate for the linearized Allen Cahn operator about the approximating solution in conjunction with a continuation argument and a variant of the elliptic reconstruction. The new analysis also appears to improve variants of known emph a posteriori error bounds in L 2(H 1) , L infty (L 2 ) norms in certain regimes.


The Impact of Turbulent Solar Wind Fluctuations on Solar Orbiter Plasma Proton Measurements. Solar Orbiter will observe the Sun and the inner heliosphere to study the connections between solar activity, coronal structure, and the origin of the solar wind. The plasma instruments on board Solar Orbiter will determine the three dimensional velocity distribution functions of the plasma ions and electrons with high time resolution. The analysis of these distributions will determine the plasma bulk parameters, such as density, velocity, and temperature. This paper examines the effects of short time scale plasma variations on particle measurements and the estimated bulk parameters of the plasma. For the purpose of this study, we simulate the expected observations of solar wind protons, taking into account the performance of the Proton Alpha Sensor (PAS) on board Solar Orbiter. We particularly examine the effects of Alfv 'enic and slow mode like fluctuations, commonly observed in the solar wind on timescales of milliseconds to hours, on the observations. We do this by constructing distribution functions from modeled observations and calculate their statistical moments in order to derive plasma bulk parameters. The comparison between the derived parameters with the known input allows us to estimate the expected accuracy of Solar Orbiter proton measurements in the solar wind under typical conditions. We find that the plasma fluctuations due to these turbulence effects have only minor effects on future SWA PAS observations


Cooperative Activity Detection Sourced and Unsourced Massive Random Access Paradigms. This paper investigates the issue of cooperative activity detection for grant free random access in the sixth generation (6G) cell free wireless networks with sourced and unsourced paradigms. First, we propose a cooperative framework for solving the problem of device activity detection in sourced random access. In particular, multiple access points (APs) cooperatively detect the device activity via exchanging low dimensional intermediate information with their neighbors. This is enabled by the proposed covariance based algorithm via exploiting both the sparsity promoting and similarity promoting terms of the device state vectors among neighboring APs. A decentralized approximate separating approach is introduced based on the forward backward splitting strategy for addressing the formulated problem. Then, the proposed activity detection algorithm is adopted as a decoder of cooperative unsourced random access, where the multiple APs cooperatively detect the list of transmitted messages regardless of the identity of the transmitting devices. Finally, we provide sufficient conditions on the step sizes that ensure the convergence of the proposed algorithm in the sense of Bregman divergence. Simulation results show that the proposed algorithm is efficient for addressing both sourced and unsourced massive random access problems, while requires a shorter signature sequence and accommodates a significantly larger number of active devices with a reasonable antenna array size, compared with the state of art algorithms.


A Geometrical Method for Low Dimensional Representations of Simulations. We propose a new data analysis approach for the efficient post processing of bundles of finite element data from numerical simulations. The approach is based on the mathematical principles of symmetry. We consider the case where simulations of an industrial product are contained in the space of surface meshes embedded in R 3. Furthermore, we assume that distance preserving transformations exist, albeit unknown, which map simulation to simulation. In this setting, a discrete Laplace Beltrami operator can be constructed on the mesh, which is invariant to isometric transformations and therefore valid for all simulations. The eigenfunctions of such an operator are used as a common basis for all (isometric) simulations. One can use the projection coefficients instead of the full simulations for further analysis. To extend the idea of invariance, we employ a discrete Fokker Planck operator, that in the continuous limit converges to an operator invariant to a nonlinear transformation, and use its eigendecomposition accordingly. The data analysis approach is applied to time dependent datasets from numerical car crash simulations. One observes that only a few spectral coefficients are necessary to describe the data variability, and low dimensional structures are obtained. The eigenvectors are seen to recover different independent variation modes such as translation, rotation, or global and local deformations. An effective analysis of the data from bundles of numerical simulations is made possible, in particular an analysis for many simulations in time.


Correcting Knowledge Base Assertions. The usefulness and usability of knowledge bases (KBs) is often limited by quality issues. One common issue is the presence of erroneous assertions, often caused by lexical or semantic confusion. We study the problem of correcting such assertions, and present a general correction framework which combines lexical matching, semantic embedding, soft constraint mining and semantic consistency checking. The framework is evaluated using DBpedia and an enterprise medical KB.


The strong approximation theorem and computing with linear groups. We obtain a computational realization of the strong approximation theorem. That is, we develop algorithms to compute all congruence quotients modulo rational primes of a finitely generated Zariski dense group H leq mathrm SL (n, mathbb Z ) for n geq 2 . More generally, we are able to compute all congruence quotients of a finitely generated Zariski dense subgroup of mathrm SL (n, mathbb Q ) for n 2 .


The Bloch equation for spin dynamics in electron storage rings computational and theoretical aspects. In this paper we describe our work on spin polarization in high energy electron storage rings which we base on the Bloch equation for the polarization density and which aims towards the e e option of the proposed Future Circular Collider (FCC ee) and the proposed Circular Electron Positron Collider (CEPC). The Bloch equation takes into account non spin flip and spin flip effects due to synchrotron radiation including the spin diffusion effects and the Sokolov Ternov effect with its Baier Katkov generalization as well as the kinetic polarization effect. This mathematical model is an alternative to the standard mathematical model based on the Derbenev Kondratenko formulas. For our numerical and analytical studies of the Bloch equation we develop an approximation to the latter to obtain an effective Bloch equation. This is accomplished by finding a third mathematical model based on a system of stochastic differential equations underlying the Bloch equation and by approximating that system via the method of averaging from perturbative ODE theory. We also give an overview of our algorithm for numerically integrating the effective Bloch equation. This discretizes the phase space using spectral methods and discretizes time via the additive Runge Kutta method which is a high order semi implicit method. We also discuss the relevance of the third mathematical model for spin tracking.


Performance analysis and optimization of power systems with spatially correlated noise. Based on stochastic differential equations (SDEs), we analyse the overall performance of heterogeneous power systems network, subject to spatially distributed and correlated noise with random initial conditions. We determine bounds on the H 2 norm of the heterogeneous system based on a closed form of the norm of the homogeneous power system. Then, we formulate possible scenarios for performance optimization and link these to applications for network design and control problems in power systems. Our results are corroborated by numerical simulations from Kundur's four machine two area network after adaption to our setup.


Monochromatic paths and cycles in 2 edge colored graphs with large minimum degree. A graph G arrows a graph H if in every 2 edge coloring of G there exists a monochromatic copy of H . Schelp had the idea that if the complete graph K n arrows a small graph H , then every "dense" subgraph of K n also arrows H , and he outlined some problems in this direction. Our main result is in this spirit. We prove that for every sufficiently large n , if n 3t r where r in 0,1,2 and G is an n vertex graph with delta(G) ge (3n 1) 4 , then for every 2 edge coloring of G , either there are cycles of every length 3, 4, 5, dots, 2t r of the same color, or there are cycles of every even length 4, 6, 8, dots, 2t 2 of the same color. Our result is tight in the sense that no longer cycles (of length 2t r ) can be guaranteed and the minimum degree condition cannot be reduced. It also implies the conjecture of Schelp that for every sufficiently large n , every (3t 1) vertex graph G with minimum degree larger than 3 V(G) 4 arrows the path P 2n with 2n vertices. Moreover, it implies for sufficiently large n the conjecture by Benevides, L uczak, Scott, Skokan and White that for n 3t r where r in 0,1,2 and every n vertex graph G with delta(G) ge 3n 4 , in each 2 edge coloring of G there exists a monochromatic cycle of length at least 2t r .


Design and Implementation of SMARTHO A Network Initiated Handover mechanism in NG RAN, on P4 based Xilinx NetFPGA switches. This report deals with the design of handover schemes for radio access networks (RAN) in 5G networks, using programmable data plane switches. In 5G networks, the NG RAN architecture splits the Base Band Unit (BBU) into Central and Distributed Units (CU and DU). This structure has created a mid haul Network, connecting CUs and DUs. The recent advancements in dataplane programmability can be used to enhance system performance. We show how P4 switches can be used to parse the packets between DU, CU, and Back Haul (Core Network) for potential system improvements. In particular, we consider the scenario of mobile handover. The proposed protocol is called SMARTHO, illustrating a smart handover. Programming Protocol Independent Packet Processors (P4) is a programming language designed to support specification and programming the forwarding plane behavior of network switches routers. In SMARTHO, we use P4 Switches to intervene in the handover process for fixed path mobile users. A resource pre allocation scheme that reserves resources before the UE reaches a future cell, is proposed. The solution is implemented using a P4 based switch introduced between the CU and the DU. The P4 switch is used to spoof the behavior of User Equipment (UE) and perform the resource allocation in advance. The proposed SMARTHO framework is implemented in the mininet emulation environment and in a reconfigurable hardware environment using NetFPGA SUME boards. The emulation results show a handover response time improvement of 18 for a tandem of two HOs and 25 for a tandem of three HOs. For testbed implementation, we used NetFPGA SUME boards as P4 switches. The handover time was measured to be approximately 50 milliseconds in the experiments conducted.


Ideal Free Dispersal under General Spatial heterogeneity and Time Periodicity. A population is said to have an ideal free distribution in a spatially heterogeneous but temporally constant environment if each of its members have chosen a fixed spatial location in a way that optimizes its individual fitness, allowing for the effects of crowding. In this paper, we extend the idea of individual fitness associated with a specific location in space to account for the full path that an individual organism takes in space and time over a periodic cycle, and extend the mathematical formulation of an ideal free distribution to general time periodic environments. We find that, as in many other cases, populations using dispersal strategies that can produce a generalized ideal free distribution have a competitive advantage relative to populations using strategies that do not produce an ideal free distribution. A sharp criterion on the environmental functions is found to be necessary and sufficient for such ideal free distribution to be feasible. In the case the criterion is met, we showed that there exist dispersal strategies that can be identified as producing a time periodic version of an ideal free distribution, and such strategies are evolutionarily steady and are neighborhood invaders from the viewpoint of adaptive dynamics. Our results extend previous works in which the environments are either temporally constant, or temporally periodic but the total carrying capacity is temporally constant.


Real Time Dispatching of Large Scale Ride Sharing Systems Integrating Optimization, Machine Learning, and Model Predictive Control. This paper considers the dispatching of large scale real time ride sharing systems to address congestion issues faced by many cities. The goal is to serve all customers (service guarantees) with a small number of vehicles while minimizing waiting times under constraints on ride duration. This paper proposes an end to end approach that tightly integrates a state of the art dispatching algorithm, a machine learning model to predict zone to zone demand over time, and a model predictive control optimization to relocate idle vehicles. Experiments using historic taxi trips in New York City indicate that this integration decreases average waiting times by about 30 over all test cases and reaches close to 55 on the largest instances for high demand zones.


It's All in the Name Mitigating Gender Bias with Name Based Counterfactual Data Substitution. This paper treats gender bias latent in word embeddings. Previous mitigation attempts rely on the operationalisation of gender bias as a projection over a linear subspace. An alternative approach is Counterfactual Data Augmentation (CDA), in which a corpus is duplicated and augmented to remove bias, e.g. by swapping all inherently gendered words in the copy. We perform an empirical comparison of these approaches on the English Gigaword and Wikipedia, and find that whilst both successfully reduce direct bias and perform well in tasks which quantify embedding quality, CDA variants outperform projection based methods at the task of drawing non biased gender analogies by an average of 19 across both corpora. We propose two improvements to CDA Counterfactual Data Substitution (CDS), a variant of CDA in which potentially biased text is randomly substituted to avoid duplication, and the Names Intervention, a novel name pairing technique that vastly increases the number of words being treated. CDA S with the Names Intervention is the only approach which is able to mitigate indirect gender bias following debiasing, previously biased words are significantly less clustered according to gender (cluster purity is reduced by 49 ), thus improving on the state of the art for bias mitigation.


ORangE Operational Range Estimation for Mobile Robot Exploration on a Single Discharge Cycle. This paper presents an approach for estimating the operational range for mobile robot exploration on a single battery discharge. Deploying robots in the wild usually requires uninterrupted energy sources to maintain the robot's mobility throughout the entire mission. However, for most endeavors into the unknown environments, recharging is usually not an option, due to the lack of pre installed recharging stations or other mission constraints. In these cases, the ability to model the on board energy consumption and estimate the operational range is crucial to prevent running out of battery in the wild. To this end, this work describes our recent findings that quantitatively break down the robot's on board energy consumption and predict the operational range to guarantee safe mission completion on a single battery discharge cycle. Two range estimators with different levels of generality and model fidelity are presented, whose performances were validated on physical robot platforms in both indoor and outdoor environments. Model performance metrics are also presented as benchmarks.


SaaS CloudQual A Quality Model for Evaluating Software as a Service on the Cloud Computing Environment. Abstract The cloud computing is a key computing approach adopted by many organizations in order to share resources. It provides Everything As A Service (XaaS). Software As A Service is an important resource on the cloud computing environment. Without installing any software locally, service user can use software as a utility. And enjoy the benefits of SaaS model. Hence SaaS usage is increased drastically, the demand for selecting quality is also increased. This paper presents a novel quality model intended for evaluating software as a service (SaaS), depending on the key features of Software as a service. Because SaaS key features are playing critical role in the quality and differentiating from conventional software quality.


On the Schl "afli symbol of chiral extensions of polytopes. Given an abstract n polytope mathcal K , an abstract (n 1) polytope mathcal P is an extension of mathcal K if all the facets of mathcal P are isomorphic to mathcal K . A chiral polytope is a polytope with maximal rotational symmetry that does not admit any reflections. If mathcal P is a chiral extension of mathcal K , then all but the last entry of the Schl "afli symbol of mathcal P are determined. In this paper we introduce some constructions of chiral extensions mathcal P of certain chiral polytopes in such a way that the last entry of the Schl "afli symbol of mathcal P is arbitrarily large.


Continuous nucleation switching driven by spin orbit torques. Continuous switching driven by spin orbit torque (SOT) is preferred to realize neuromorphic computing in a spintronic manner. Here we have applied focused ion beam (FIB) to selectively illuminate patterned regions in a Pt Co MgO strip with perpendicular magnetic anisotropy (PMA), soften the illuminated areas and realize the continuous switching by a SOT driven nucleation process. It is found that a large in plane field is a benefit to reduce the nucleation barrier, increase the number of nucleated domains and intermediate states during the switching progress, and finally flatten the switching curve. We proposed a phenomenological model for descripting the current dependence of magnetization and the dependence of the number of nucleation domains on the applied current and magnetic field. This study can thus promote the birth of SOT devices, which are promising in neuromorphic computing architectures.


A Hopf Algebra from Preprojective Modules. Let Q be a finite type quiver i.e. ADE Dynkin quiver. Denote by Lambda its preprojective algebra. It is known that there are finitely many indecomposable Lambda modules if and only if Q is of type A 1,A 2,A 3,A 4 . In this paper, extending Lusztig's construction of U frak n , we study an algebra generated by these indecomposable submodules. It turns out that it forms the universal enveloping algebra of some nilpotent Lie algebra inside the function algebra on Lusztig's nilpotent scheme. The defining relations of the corresponding nilpotent Lie algebra for type A 1, A 2,A 3,A 4 are given here.


From Active Contours to Minimal Geodesic Paths New Solutions to Active Contours Problems by Eikonal Equations. In this chapter, we give an overview of part of our previous work based on the minimal path framework and the Eikonal partial differential equation (PDE). We show that by designing adequate Riemannian and Randers geodesic metrics the minimal paths can be utilized to search for solutions to almost all of the active contour problems and to the Euler Mumford elastica problem, which allows to blend the advantages from minimal geodesic paths and those original approaches, i.e. the active contours and elastica curves. The proposed minimal path based models can be applied to deal with a broad variety of image analysis tasks such as boundary detection, image segmentation and tubular structure extraction. The numerical implementations for the computation of minimal paths are known to be quite efficient thanks to the Eikonal solvers such as the Finsler variant of the fast marching method.


Fractal based Belief Entropy. The total uncertainty measurement of basic probability assignment (BPA) in Dempster Shafer evidence theory (DSET) has always been an open issue. Although some scholars put forward various measurements and entropies of BPA, due to the existence of discord and non specificity, there is no method can measure BPA reasonably. In order to utilize BPA to practical decision making, pignistic probability transformation of BPA is a significant method. In the paper, we simulate the pignistic probability transformation (PPT) process based on the fractal idea, which describes PPT process in detail and shows the process of information volume changes during transformation intuitively. Based on transformation process, we propose a new belief entropy called fractal based belief (FB) entropy. After verification, FB entropy is superior to all existing belief entropies in terms of total uncertainty measurement and physical model consistency.


A Time Segmented Consortium Blockchain for Robotic Event Registration. A blockchain, during its lifetime, records large amounts of data, that in a common usage its kept on its entirety. In a robotics environment, the old information is useful for human evaluation, or oracles interfacing with the blockchain but it is not useful for the robots that require only current information in order to continue their work. This causes a storage problem in blockchain nodes that have limited storage capacity, such as in the case of nodes attached to robots that are usually built around embedded solutions. This paper presents a time segmentation solution for devices with limited storage capacity, integrated in a particular robot directed blockchain called RobotChain. Results are presented regarding the proposed solution that show that the goal of restricting each node's capacity is reached without compromising all the benefits that arise from the use of blockchains in these contexts, and on the contrary, it allows for cheap nodes to use this blockchain, reduces storage costs and allows faster deployment of new nodes.


Simultaneous Localization and Parameter Estimation for Single Particle Tracking via Sigma Points based EM. Single Particle Tracking (SPT) is a powerful class of tools for analyzing the dynamics of individual biological macromolecules moving inside living cells. The acquired data is typically in the form of a sequence of camera images that are then post processed to reveal details about the motion. In this work, we develop an algorithm for jointly estimating both particle trajectory and motion model parameters from the data. Our approach uses Expectation Maximization (EM) combined with an Unscented Kalman filter (UKF) and an Unscented Rauch Tung Striebel smoother (URTSS), allowing us to use an accurate, nonlinear model of the observations acquired by the camera. Due to the shot noise characteristics of the photon generation process, this model uses a Poisson distribution to capture the measurement noise inherent in imaging. In order to apply a UKF, we first must transform the measurements into a model with additive Gaussian noise. We consider two approaches, one based on variance stabilizing transformations (where we compare the Anscombe and Freeman Tukey transforms) and one on a Gaussian approximation to the Poisson distribution. Through simulations, we demonstrate efficacy of the approach and explore the differences among these measurement transformations.


Polypositroids. We initiate the study of a class of polytopes, which we coin polypositroids, defined to be those polytopes that are simultaneously generalized permutohedra (or polymatroids) and alcoved polytopes. Whereas positroids are the matroids arising from the totally nonnegative Grassmannian, polypositroids are "positive" polymatroids. We parametrize polypositroids using Coxeter necklaces and balanced graphs, and describe the cone of polypositroids by extremal rays and facet inequalities. We introduce a notion of (W,c) polypositroid for a finite Weyl group W and a choice of Coxeter element c. We connect the theory of (W,c) polypositroids to cluster algebras of finite type and to generalized associahedra. We discuss membranes, which are certain triangulated 2 dimensional surfaces inside polypositroids. Membranes extend the notion of plabic graphs from positroids to polypositroids.


European Strategy on AI Are we truly fostering social good?. Artificial intelligence (AI) is already part of our daily lives and is playing a key role in defining the economic and social shape of the future. In 2018, the European Commission introduced its AI strategy able to compete in the next years with world powers such as China and US, but relying on the respect of European values and fundamental rights. As a result, most of the Member States have published their own National Strategy with the aim to work on a coordinated plan for Europe. In this paper, we present an ongoing study on how European countries are approaching the field of Artificial Intelligence, with its promises and risks, through the lens of their national AI strategies. In particular, we aim to investigate how European countries are investing in AI and to what extent the stated plans can contribute to the benefit of the whole society. This paper reports the main findings of a qualitative analysis of the investment plans reported in 15 European National Strategies


Compressible Navier Stokes equations with heterogeneous pressure laws. This paper concerns the existence of global weak solutions a la Leray for compressible Navier Stokes equations with a pressure law that depends on the density and on time and space variables t and x . The assumptions on the pressure contain only locally Lipschitz assumption with respect to the density variable and some hypothesis with respect to the extra time and space variables. It may be seen as a first step to consider heat conducting Navier Stokes equations with physical laws such as the truncated virial assumption. The paper focuses on the construction of approximate solutions through a new regularized and fixed point procedure and on the weak stability process taking advantage of the new method introduced by the two first authors with a careful study of an appropriate regularized quantity linked to the pressure.


Automorphic Equivalence aware Graph Neural Network. Distinguishing the automorphic equivalence of nodes in a graph plays an essential role in many scientific domains, e.g., computational biologist and social network analysis. However, existing graph neural networks (GNNs) fail to capture such an important property. To make GNN aware of automorphic equivalence, we first introduce a localized variant of this concept ego centered automorphic equivalence (Ego AE). Then, we design a novel variant of GNN, i.e., GRAPE, that uses learnable AE aware aggregators to explicitly differentiate the Ego AE of each node's neighbors with the aids of various subgraph templates. While the design of subgraph templates can be hard, we further propose a genetic algorithm to automatically search them from graph data. Moreover, we theoretically prove that GRAPE is expressive in terms of generating distinct representations for nodes with different Ego AE features, which fills in a fundamental gap of existing GNN variants. Finally, we empirically validate our model on eight real world graph data, including social network, e commerce co purchase network, and citation network, and show that it consistently outperforms existing GNNs. The source code is public available at https github.com tsinghua fib lab GRAPE.


Spin Logic Devices via Electric Field Controlled Magnetization Reversal by Spin Orbit Torque. We describe a spin logic device with controllable magnetization switching of perpendicularly magnetized ferromagnet heavy metal structures on a ferroelectric (1 x) Pb(Mg1 3Nb2 3)O3 x PbTiO3 (PMN PT) substrate using current induced spin orbit torque. The devices were operated without an external magnetic field and controlled by voltages as low as 10 V applied across the PMN PT substrate, which is much lower compared to previous reports (500 V). The deterministic switching with smaller voltage was realized from the virgin state of the PMN PT. Ferroelectric simulation shows the unsaturated minor loop exhibits obvious asymmetries in the polarizations. Larger polarization can be induced from the initial ferroelectric state, while it is difficult for opposite polarization. The XNOR, AND, NAND and NOT logic functions were demonstrated by the deterministic magnetization switching from the interaction between the spin orbit torque and electric field at the PMN PT Pt interface. The nonvolatile spin logic scheme in this work is simple, scalable, programmable, which are favorable in the logic in memory design with low energy consumption.


Covering by homothets and illuminating convex bodies. The paper is devoted to coverings by translative homothets and illuminations of convex bodies. For a given positive number alpha and a convex body B , g alpha (B) is the infimum of alpha powers of finitely many homothety coefficients less than 1 such that there is a covering of B by translative homothets with these coefficients. h alpha (B) is the minimal number of directions such that the boundary of B can be illuminated by this number of directions except for a subset whose Hausdorff dimension is less than alpha . In this paper, we prove that g alpha (B) leq h alpha (B) , find upper and lower bounds for both numbers, and discuss several general conjectures. In particular, we show that h alpha (B) 2 d alpha for almost all alpha and d when B is the d dimensional cube, thus disproving the conjecture from Research Problems in Discrete Geometry by Brass, Moser, and Pach.


StackMix A complementary Mix algorithm. Techniques combining multiple images as input output have proven to be effective data augmentations for training convolutional neural networks. In this paper, we present StackMix Each input is presented as a concatenation of two images, and the label is the mean of the two one hot labels. On its own, StackMix rivals other widely used methods in the "Mix" line of work. More importantly, unlike previous work, significant gains across a variety of benchmarks are achieved by combining StackMix with existing Mix augmentation, effectively mixing more than two images. E.g., by combining StackMix with CutMix, test error in the supervised setting is improved across a variety of settings over CutMix, including 0.8 on ImageNet, 3 on Tiny ImageNet, 2 on CIFAR 100, 0.5 on CIFAR 10, and 1.5 on STL 10. Similar results are achieved with Mixup.We further show that gains hold for robustness to common input corruptions and perturbations at varying severities with a 0.7 improvement on CIFAR 100 C, by combining StackMix with AugMix over AugMix. On its own, improvements with StackMix hold across different number of labeled samples on CIFAR 100, maintaining approximately a 2 gap in test accuracy down to using only 5 of the whole dataset and is effective in the semi supervised setting with a 2 improvement with the standard benchmark Pi model. Finally, we perform an extensive ablation study to better understand the proposed algorithm.


Diffusion plays an unusual role in ecological quasi neutral competition in metapopulations. We investigate the phenomenology emerging from a 2 species dynamics under the scenario of a quasi neutral competition within a metapopulation framework. We employ stochastic and deterministic approaches, namely spatially constrained individual based Monte Carlo simulations and coupled mean field ODEs. Our results show the multifold interplay between competition, birth death dynamics and spatial constraints induces a nonmonotonic relation between the ecological majority minority switching and the diffusion between patches. This means that diffusion can set off birth death ratios and enhance the preservation of a species.


Random k out subgraph leaves only O(n k) inter component edges. Each vertex of an arbitrary simple graph on n vertices chooses k random incident edges. What is the expected number of edges in the original graph that connect different connected components of the sampled subgraph? We prove that the answer is O(n k) , when k ge c log n , for some large enough c . We conjecture that the same holds for smaller values of k , possibly for any k ge 2 . Such a result is best possible for any k ge 2 . As an application, we use this sampling result to obtain a one way communication protocol with emph private randomness for finding a spanning forest of a graph in which each vertex sends only O ( sqrt n log n) bits to a referee.


Random pseudometrics and applications. Let T be a random ergodic pseudometric over mathbb R d . This setting generalizes the classical emph first passage percolation (FPP) over mathbb Z d . We provide simple conditions on T , the decay of instant one arms and exponential quasi independence, that ensure the positivity of its time constants, that is almost surely, the pseudo distance given by T from the origin is asymptotically a norm. Combining this general result with previously known ones, we prove that The known phase transition for Gaussian percolation in the case of fields with positive correlations with exponentially fast decayholds for Gaussian FPP, including the natural Bargmann Fock model The known phase transition for Voronoi percolation also extends to the associated FPP The same happens for Boolean percolation for radii with exponential tails, a result which was known without this condition. We prove the positivity of the constant for random continuous Riemannian metrics, including cases with infinite correlations in dimension d 2 . Finally, we show that the critical exponent for the one arm, if exists, is bounded above by d 1 . This holds forbond Bernoulli percolation, planar Gaussian fields, planar Voronoi percolation, and Boolean percolation with exponential small tails.


V.I. Arnold's "Global" KAM Theorem and geometric measure estimates. This paper continues the discussion started in CK19 concerning Arnold's legacy on classical KAM theory and (some of) its modern developments. We prove a detailed and explicit global' Arnold's KAM Theorem, which yields, in particular, the Whitney conjugacy of a non degenerate, real analytic, nearly integrable Hamiltonian system to an integrable system on a closed, nowhere dense, positive measure subset of the phase space. Detailed measure estimates on the Kolmogorov's set are provided in the case the phase space is (A) a uniform neighborhood of an arbitrary (bounded) set times the d torus and (B) a domain with C 2 boundary times the d torus. All constants are explicitly given.


A topological bound on the Cantor Bendixson rank of meromorphic differentials. In translation surfaces of finite area (corresponding to holomorphic differentials), directions of saddle connections are dense in the unit circle. On the contrary, saddle connections are fewer in translation surfaces with poles (corresponding to meromorphic differentials). The Cantor Bendixson rank of their set of directions is a measure of descriptive set theoretic complexity. Drawing on a previous work of David Aulicino, we prove a sharp upper bound that depends only on the genus of the underlying topological surface. The proof uses a new geometric lemma stating that in a sequence of three nested invariant subsurfaces the genus of the third one is always bigger than the genus of the first one.


Topological spectrum and perfectoid Tate rings. We study the topological spectrum of a seminormed ring R which we define as the space of prime ideals mathfrak p such that mathfrak p equals the kernel of some bounded power multiplicative seminorm. For any seminormed ring R we show that the topological spectrum is a quasi compact sober topological space. When R is a perfectoid Tate ring we construct a natural homeomorphism between the topological spectrum of R and the topological spectrum of its tilt R flat . As an application, we prove that a perfectoid Tate ring R is an integral domain if and only if its tilt is an integral domain.


Enumerating linear systems on graphs. The divisor theory of graphs views a finite connected graph G as a discrete version of a Riemann surface. Divisors on G are formal integral combinations of the vertices of G , and linear equivalence of divisors is determined by the discrete Laplacian operator for G . As in the case of Riemann surfaces, we are interested in the complete linear system D of a divisor D the collection of nonnegative divisors linearly equivalent to D . Unlike the case of Riemann surfaces, the complete linear system of a divisor on a graph is always finite. We compute generating functions encoding the sizes of all complete linear systems on G and interpret our results in terms of polyhedra associated with divisors and in terms of the invariant theory of the (dual of the) Jacobian group of G . If G is a cycle graph, our results lead to a bijection between complete linear systems and binary necklaces. The final section generalizes our results to a model based on integral M matrices.


Trustworthy AI. Modern AI systems are reaping the advantage of novel learning methods. With their increasing usage, we are realizing the limitations and shortfalls of these systems. Brittleness to minor adversarial changes in the input data, ability to explain the decisions, address the bias in their training data, high opacity in terms of revealing the lineage of the system, how they were trained and tested, and under which parameters and conditions they can reliably guarantee a certain level of performance, are some of the most prominent limitations. Ensuring the privacy and security of the data, assigning appropriate credits to data sources, and delivering decent outputs are also required features of an AI system. We propose the tutorial on Trustworthy AI to address six critical issues in enhancing user and public trust in AI systems, namely (i) bias and fairness, (ii) explainability, (iii) robust mitigation of adversarial attacks, (iv) improved privacy and security in model building, (v) being decent, and (vi) model attribution, including the right level of credit assignment to the data sources, model architectures, and transparency in lineage.


On the Relativized Alon Second Eigenvalue Conjecture VI Sharp Bounds for Ramanujan Base Graphs. This is the sixth in a series of articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs. In this article we show that if the fixed graph is regular Ramanujan, then the em algebraic power of the model of random covering graphs is infty . This implies a number of interesting results, such as (1) one obtains the upper and lower bounds matching to within a multiplicative constant for the probability that a random covering map has some new adjacency eigenvalue outside the Alon bound, and (2) with probability smaller than any negative power of the degree of the covering map, some new eigenvalue fails to be within the Alon bound without the covering map containing one of finitely many "tangles" as a subgraph (and this tangle containment event has low probability).


RGB Infrared Cross Modality Person Re Identification via Joint Pixel and Feature Alignment. RGB Infrared (IR) person re identification is an important and challenging task due to large cross modality variations between RGB and IR images. Most conventional approaches aim to bridge the cross modality gap with feature alignment by feature representation learning. Different from existing methods, in this paper, we propose a novel and end to end Alignment Generative Adversarial Network (AlignGAN) for the RGB IR RE ID task. The proposed model enjoys several merits. First, it can exploit pixel alignment and feature alignment jointly. To the best of our knowledge, this is the first work to model the two alignment strategies jointly for the RGB IR RE ID problem. Second, the proposed model consists of a pixel generator, a feature generator, and a joint discriminator. By playing a min max game among the three components, our model is able to not only alleviate the cross modality and intra modality variations but also learn identity consistent features. Extensive experimental results on two standard benchmarks demonstrate that the proposed model performs favorably against state of the art methods. Especially, on SYSU MM01 dataset, our model can achieve an absolute gain of 15.4 and 12.9 in terms of Rank 1 and mAP.


The Defocusing Energy critical Klein Gordon Hartree Equation. In this paper, we study the scattering theory for the defocusing energy critical Klein Gordon equation with a cubic convolution u tt Delta u u ( x 4 ast u 2)u 0 in the spatial dimension d geq 5 . We utilize the strategy in S. Ibrahim, N. Masmoudi and K. Nakanishi, Scattering threshold for the focusing nonlinear Klein Gordon equation. Analysis and PDE., 4 (2011), 405 460. derived from concentration compactness ideas to show that the proof of the global well posedness and scattering is reduced to disprove the existence of the soliton like solution. Employing technique from B. Pausader, Scattering for the Beam Equation in Low Dimensions. Indiana Univ. Math. J., 59 (2010), 791 822. , we consider a virial type identity in the direction orthogonal to the momentum vector so as to exclude such solution.


A Structured Table of Graphs with Symmetries and Other Special Properties. We organize a table of regular graphs with minimal diameters and minimal mean path lengths, large bisection widths and high degrees of symmetries, obtained by enumerations on supercomputers. These optimal graphs, many of which are newly discovered, may find wide applications, for example, in design of network topologies.


Nonexistence of invariant manifolds in fractional order dynamical systems. Invariant manifolds are important sets arising in the stability theory of dynamical systems. In this article, we take a brief review of invariant sets. We provide some results regarding the existence of invariant lines and parabolas in planar polynomial systems. We provide the conditions for the invariance of linear subspaces in fractional order systems. Further, we provide an important result showing the nonexistence of invariant manifolds (other than linear subspaces) in fractional order systems.


On Huisman's conjectures about unramified real curves. Let X subset mathbb P n be an unramified real curve with X( mathbb R ) neq emptyset . If n geq 3 is odd, Huisman conjectures that X is an M curve and that every branch of X( mathbb R ) is a pseudo line. If n geq 4 is even, he conjectures that X is a rational normal curve or a twisted form of a such. We disprove the first conjecture by giving a family of counterexamples. We remark that the second conjecture follows for generic curves of odd degree from the formula enumerating the number of complex inflection points.


Effects of resource competition on evolution and adaptive radiation. The entanglement of population dynamics, evolution and adaptive radiation for the species sharing common resources is studied. For the population dynamics we modify the competitive Lotka Volterra equations introducing a new resource contest principles. The functional response of the model differs from linear and ratio dependent functional response. We implement realistically the effects of beneficial and deleterious mutations on the coefficients in the equations governing the population dynamics and consider the spontaneously occurring reproductive isolation. To trace the phylogeny relations in the evolving ecosystems, we use the effective digital genomes and then use the flexible molecular clock technique. The proposed model is in agreement with the competition exclusion principle and no vacant niche axiom. We demonstrate the mechanism that contributes to prevention of the genomic decay the competition and selection between the recently diverged species populations. We demonstrate that the large resource influx and fast speciation are favorable conditions against the genomic decay. The model predicts that in the case of several constant in time resources one observes very rapid specialization and in the unstable environment the omnivory strategy was preferable.


Illustrating the Suitability of Greedy and Dynamic Algorithms Using The Economics Concept of "Opportunity Cost". Students of Computer Science often wonder when, exactly, one can apply a greedy algorithm to a problem, and when one must use the more complicated and time consuming techniques of dynamic programming. This paper argues that the existing pedagogical literature does not offer clear guidance on this issue. We suggest improving computer science pedagogy by importing a concept economists use in their own implementations of dynamic programming. That economic concept is "opportunity cost," and we explain how it can aid students in differentiating "greedy problems" from problems requiring dynamic programming


Language Based Web Session Integrity. Session management is a fundamental component of web applications despite the apparent simplicity, correctly implementing web sessions is extremely tricky, as witnessed by the large number of existing attacks. This motivated the design of formal methods to rigorously reason about web session security which, however, are not supported at present by suitable automated verification techniques. In this paper we introduce the first security type system that enforces session security on a core model of web applications, focusing in particular on server side code. We showcase the expressiveness of our type system by analyzing the session management logic of HotCRP, Moodle, and phpMyAdmin, unveiling novel security flaws that have been acknowledged by software developers.


MOTH Mobility induced Outages in THz A Beyond 5G (B5G) application. 5G will enable the growing demand for Internet of Things (IoT), high resolution video streaming, and low latency wireless services. Demand for such services is expected to growth rapid, which will require a search for Beyond 5G technological advancements in wireless communications. Part of these advancements is the need for additional spectrum, namely moving toward the terahertz (THz) range. To compensate for the high path loss in THz, narrow beamwidths are used to improve antenna gains. However, with narrow beamwidths, even minor fluctuations in device location (such as through body movement) can cause frequent link failures due to beam misalignment. In this paper, we provide a solution to these small scale indoor movement that result in mobility induced outages. Like a moth randomly flutters about, Mobility induced Outages in THz (MOTH) can be ephemeral in nature and hard to avoid. To deal with MOTH we propose two methods to predict these outage scenarios (i) Align After Failure (AAF), which predicts based on fixed time margins, and (ii) Align Before Failure (ABF), which learns the time margins through user mobility patterns. In this paper, two different online classifiers were used to train the ABF model to predicate if a mobility induced outage is going to occur thereby, significantly reducing the time spent in outage scenarios. Simulation results demonstrate a relationship between optimal beamwidth and human mobility patterns. Additionally, to cater to a future with dense deployment of Wireless Personal Area Network (WPAN), it is necessary that we have efficient deployment of resources (e.g., THz APs). One solution is to maximize the user coverage for a single AP, which might be dependent on multiple parameters. We identify these parameters and observe their tradeoffs for improving user coverage through a single THz AP.


DublinCity Annotated LiDAR Point Cloud and its Applications. Scene understanding of full scale 3D models of an urban area remains a challenging task. While advanced computer vision techniques offer cost effective approaches to analyse 3D urban elements, a precise and densely labelled dataset is quintessential. The paper presents the first ever labelled dataset for a highly dense Aerial Laser Scanning (ALS) point cloud at city scale. This work introduces a novel benchmark dataset that includes a manually annotated point cloud for over 260 million laser scanning points into 100'000 (approx.) assets from Dublin LiDAR point cloud 12 in 2015. Objects are labelled into 13 classes using hierarchical levels of detail from large (i.e., building, vegetation and ground) to refined (i.e., window, door and tree) elements. To validate the performance of our dataset, two different applications are showcased. Firstly, the labelled point cloud is employed for training Convolutional Neural Networks (CNNs) to classify urban elements. The dataset is tested on the well known state of the art CNNs (i.e., PointNet, PointNet and So Net). Secondly, the complete ALS dataset is applied as detailed ground truth for city scale image based 3D reconstruction.


Towards Decentralized IoT Updates Delivery Leveraging Blockchain and Zero Knowledge Proofs. We propose CrowdPatching, a blockchain based decentralized protocol, allowing Internet of Things (IoT) manufacturers to delegate the delivery of software updates to self interested distributors in exchange for cryptocurrency. Manufacturers announce updates by deploying a smart contract (SC), which in turn will issue cryptocurrency payments to any distributor who provides an unforgeable proof of delivery. The latter is provided by IoT devices authorizing the SC to issue payment to a distributor when the required conditions are met. These conditions include the requirement for a distributor to generate a zero knowledge proof, generated with a novel proving system called zk SNARKs. Compared with related work, CrowdPatching protocol offers three main advantages. First, the number of distributors can scale indefinitely by enabling the addition of new distributors at any time after the initial distribution by manufacturers (i.e., redistribution among the distributor network). The latter is not possible in existing protocols and is not account for. Secondly, we leverage the recent common integration of gateway or Hub in IoT deployments in our protocol to make CrowdPatching feasible even for the more constraint IoT devices. Thirdly, the trustworthiness of distributors is considered in our protocol, rewarding the honest distributors' engagements. We provide both informal and formal security analysis of CrowdPatching using Tamarin Prover.


Strategic and Crowd Aware Itinerary Recommendation. There is a rapidly growing demand for itinerary planning in tourism but this task remains complex and difficult, especially when considering the need to optimize for queuing time and crowd levels for multiple users. This difficulty is further complicated by the large amount of parameters involved, i.e., attraction popularity, queuing time, walking time, operating hours, etc. Many recent works propose solutions based on the single person perspective, but otherwise do not address real world problems resulting from natural crowd behavior, such as the Selfish Routing problem, which describes the consequence of ineffective network and sub optimal social outcome by leaving agents to decide freely. In this work, we propose the Strategic and Crowd Aware Itinerary Recommendation (SCAIR) algorithm which optimizes social welfare in real world situations. We formulate the strategy of route recommendation as Markov chains which enables our simulations to be carried out in poly time. We then evaluate our proposed algorithm against various competitive and realistic baselines using a theme park dataset. Our simulation results highlight the existence of the Selfish Routing problem and show that SCAIR outperforms the baselines in handling this issue.


Mathematical Foundations for Social Computing. Social computing encompasses the mechanisms through which people interact with computational systems crowdsourcing systems, ranking and recommendation systems, online prediction markets, citizen science projects, and collaboratively edited wikis, to name a few. These systems share the common feature that humans are active participants, making choices that determine the input to, and therefore the output of, the system. The output of these systems can be viewed as a joint computation between machine and human, and can be richer than what either could produce alone. The term social computing is often used as a synonym for several related areas, such as "human computation" and subsets of "collective intelligence" we use it in its broadest sense to encompass all of these things. Social computing is blossoming into a rich research area of its own, with contributions from diverse disciplines including computer science, economics, and other social sciences. Yet a broad mathematical foundation for social computing is yet to be established, with a plethora of under explored opportunities for mathematical research to impact social computing. As in other fields, there is great potential for mathematical work to influence and shape the future of social computing. However, we are far from having the systematic and principled understanding of the advantages, limitations, and potentials of social computing required to match the impact on applications that has occurred in other fields. In June 2015, we brought together roughly 25 experts in related fields to discuss the promise and challenges of establishing mathematical foundations for social computing. This document captures several of the key ideas discussed.


Reasoning About Recursive Tree Traversals. Traversals are commonly seen in tree data structures, and performance enhancing transformations between tree traversals are critical for many applications. Existing approaches to reasoning about tree traversals and their transformations are ad hoc, with various limitations on the class of traversals they can handle, the granularity of dependence analysis, and the types of possible transformations. We propose Retreet, a framework in which one can describe general recursive tree traversals, precisely represent iterations, schedules and dependences, and automatically check data race freeness and transformation correctness. The crux of the framework is a stack based representation for iterations and an encoding to Monadic Second Order (MSO) logic over trees. Experiments show that our framework can reason about traversals with sophisticated mutual recursion on real world data structures such as CSS and cycletrees.


Electrochemical Glucose Sensor using Single Wall Carbon Nanotube Field Effect Transistor. In this paper, we present a simple yet sensitive method for glucose sensing using carbon nanotube field effect transistor (CNTFET) based biosensor. The CNTs were well dispersed to form CNT networks and maintain functional connectivity among CNTs, which increases the electron transfer through the network and thus, the electronic readout. Moreover, glucose oxidase (GOx) molecules are immobilized by CNT functionalization to form effective and sensitive CNT networks as FET channel. The CNTs are functionalized with linkers (1 pyrenebutanoic acid succinimidyl ester) to immobilize GOx on CNTs, where GOx serves as a mediator between CNTs and glucose for electron transfer. The liquid analyte glucose is adsorbed on CNTs via GOx and linkers by releasing additional electrons in the CNTFET channel and thus, increasing the CNTFET readout current. The binding of the target glucose molecules and GOx emulates the gate potential of FET channel and the electronic response of the sensor is recorded in real time. Moreover, the variations in electronic readout of CNTFET biosensor are observed and is stipulated due to variation in CNT dispersion on each device. Overall, this work presents a simple, fast, sensitive, low cost, and low concentration (0.01 mM) detection of glucose using CNTFET sensors.


Biordered Sets of Regular Rings. The set of idempotents of a regular semigroup is given an abstract characterization as a regular biordered set in 2 , and in 4 it is shown how a biordered set can be associated with a complemented modular lattice. Von Neumann has shown earlier that any complemented modular lattice of order greater than 3 can be realized as the lattice of principal right ideals of a regular ring (see 3 ). Here we try to connect these ideas to get a characterization of the biordered sets of a class of regular rings.


Octopus, a computational framework for exploring light driven phenomena and quantum dynamics in extended and finite systems. Over the last years extraordinary advances in experimental and theoretical tools have allowed us to monitor and control matter at short time and atomic scales with a high degree of precision. An appealing and challenging route towards engineering materials with tailored properties is to find ways to design or selectively manipulate materials, especially at the quantum level. To this end, having a state of the art ab initio computer simulation tool that enables a reliable and accurate simulation of light induced changes in the physical and chemical properties of complex systems is of utmost importance. The first principles real space based Octopus project was born with that idea in mind, providing an unique framework allowing to describe non equilibrium phenomena in molecular complexes, low dimensional materials, and extended systems by accounting for electronic, ionic, and photon quantum mechanical effects within a generalized time dependent density functional theory framework. The present article aims to present the new features that have been implemented over the last few years, including technical developments related to performance and massive parallelism. We also describe the major theoretical developments to address ultrafast light driven processes, like the new theoretical framework of quantum electrodynamics density functional formalism (QEDFT) for the description of novel light matter hybrid states. Those advances, and other being released soon as part of the Octopus package, will enable the scientific community to simulate and characterize spatial and time resolved spectroscopies, ultrafast phenomena in molecules and materials, and new emergent states of matter (QED materials).


Inducing Language Agnostic Multilingual Representations. Cross lingual representations have the potential to make NLP techniques available to the vast majority of languages in the world. However, they currently require large pretraining corpora or access to typologically similar languages. In this work, we address these obstacles by removing language identity signals from multilingual embeddings. We examine three approaches for this (i) re aligning the vector spaces of target languages (all together) to a pivot source language (ii) removing language specific means and variances, which yields better discriminativeness of embeddings as a by product and (iii) increasing input similarity across languages by removing morphological contractions and sentence reordering. We evaluate on XNLI and reference free MT across 19 typologically diverse languages. Our findings expose the limitations of these approaches unlike vector normalization, vector space re alignment and text normalization do not achieve consistent gains across encoders and languages. Due to the approaches' additive effects, their combination decreases the cross lingual transfer gap by 8.9 points (m BERT) and 18.2 points (XLM R) on average across all tasks and languages, however. Our code and models are publicly available.


Interdisciplinary Relationships Between Biological and Physical Sciences. Several interdisciplinary areas have appeared at the interface between biological and physical sciences. In this work, we suggest a complex network based methodology for analyzing the interrelationships between some of these interdisciplinary areas, including Bioinformatics, Computational Biology, Biochemistry, among others. This approach has been applied over respective data derived from Wikipedia. Related reviews from the scientific literature are also considered as a reference, yielding a respective bipartite hypergraph which can be used to gain insights about the interrelationships underlying the considered interdisciplinary areas. Several interesting results are obtained, including greater interconnection between the considered interdisciplinary areas with biological than with physical sciences. A good agreement was also found between the network obtained from Wikipedia and the interrelationships revealed by the literature reviews. At the same time, the former network was found to exhibit more intricate relationships than in the hypergraph derived from the literature review.


Cross modal Zero shot Hashing. Hashing has been widely studied for big data retrieval due to its low storage cost and fast query speed. Zero shot hashing (ZSH) aims to learn a hashing model that is trained using only samples from seen categories, but can generalize well to samples of unseen categories. ZSH generally uses category attributes to seek a semantic embedding space to transfer knowledge from seen categories to unseen ones. As a result, it may perform poorly when labeled data are insufficient. ZSH methods are mainly designed for single modality data, which prevents their application to the widely spread multi modal data. On the other hand, existing cross modal hashing solutions assume that all the modalities share the same category labels, while in practice the labels of different data modalities may be different. To address these issues, we propose a general Cross modal Zero shot Hashing (CZHash) solution to effectively leverage unlabeled and labeled multi modality data with different label spaces. CZHash first quantifies the composite similarity between instances using label and feature information. It then defines an objective function to achieve deep feature learning compatible with the composite similarity preserving, category attribute space learning, and hashing coding function learning. CZHash further introduces an alternative optimization procedure to jointly optimize these learning objectives. Experiments on benchmark multi modal datasets show that CZHash significantly outperforms related representative hashing approaches both on effectiveness and adaptability.


Upper, Middle and Lower Region Learning for Facial Action Unit Detection. Facial action units (AUs) detection is fundamental to facial expression analysis. As AU occurs only in a small area of the face, region based learning has been widely recognized useful for AU detection. Most region based studies focus on a small region where the AU occurs. Focusing on a specific region helps eliminate the influence of identity, but bringing a risk for losing information. It is challenging to find balance. In this study, I propose a simple strategy. I divide the face into three broad regions, upper, middle, and lower region, and group AUs based on where it occurs. I propose a new end to end deep learning framework named three regions based attention network (TRA Net). After extracting the global feature, TRA Net uses a hard attention module to extract three feature maps, each of which contains only a specific region. Each region specific feature map is fed to an independent branch. For each branch, three continuous soft attention modules are used to extract higher level features for final AU detection. In the DISFA dataset, this model achieves the highest F1 scores for the detection of AU1, AU2, and AU4, and produces the highest accuracy in comparison with the state of the art methods.


Time modulated Measurements Material Characterization Based on Scalar Reflection Data. This paper explores the time modulated waveguide setups for unique and accurate permittivity and permeability extraction of lossy dispersive samples with phase less measurements. We theoretically demonstrate that when the position of the short circuit termination is dynamically modulated in a predefined way, the phase information of the reflection S parameter manifests itself into the amplitude level of the emerging harmonics. Being insensitive to the calibration plane shifts and phase uncertainties in reflection measurements while bypassing a priori knowledge about the material under test (MUT) and also the transmission coefficient, can be enumerated as the main advantages of the proposed time modulated retrieval scheme. Moreover, the presented reconstruction algorithm offers a simple post processing step to facilitate fast computations of varepsilon r and mu r . Several illustrative examples at X band frequencies have been presented to numerically verify the validity of the proposed approach for some applicable and practical types of homogeneous materials. Two possible realization and measurement configurations are suggested and discussed based on mechanical actuation and electrical phase control. We have also performed an uncertainty analysis to examine how the realization tolerances can affect the accuracy of results. By involving the temporal dimension, the proposed strategy takes a great step forwards in phase less reconstruction of the electromagnetic parameters.


Multiple Random Walks on Graphs Mixing Few to Cover Many. Random walks on graphs are an essential primitive for many randomised algorithms and stochastic processes. It is natural to ask how much can be gained by running k multiple random walks independently and in parallel. Although the cover time of multiple walks has been investigated for many natural networks, the problem of finding a general characterisation of multiple cover times for textit worst case start vertices (posed by Alon, Avin, Kouck 'y, Kozma, Lotker, and Tuttle in 2008) remains an open problem. First, we improve and tighten various bounds on the textit stationary cover time when k random walks start from vertices sampled from the stationary distribution. For example, we prove an unconditional lower bound of Omega((n k) log n) on the stationary cover time, holding for any n vertex graph G and any 1 leq k o(n log n ) . Secondly, we establish the textit stationary cover times of multiple walks on several fundamental networks up to constant factors. Thirdly, we present a framework characterising textit worst case cover times in terms of textit stationary cover times and a novel, relaxed notion of mixing time for multiple walks called the textit partial mixing time . Roughly speaking, the partial mixing time only requires a specific portion of all random walks to be mixed. Using these new concepts, we can establish (or recover) the textit worst case cover times for many networks including expanders, preferential attachment graphs, grids, binary trees and hypercubes.


Injecting Numerical Reasoning Skills into Language Models. Large pre trained language models (LMs) are known to encode substantial amounts of linguistic information. However, high level reasoning skills, such as numerical reasoning, are difficult to learn from a language modeling objective only. Consequently, existing models for numerical reasoning have used specialized architectures with limited flexibility. In this work, we show that numerical reasoning is amenable to automatic data generation, and thus one can inject this skill into pre trained LMs, by generating large amounts of data, and training in a multi task setup. We show that pre training our model, GenBERT, on this data, dramatically improves performance on DROP (49.3 rightarrow 72.3 F1), reaching performance that matches state of the art models of comparable size, while using a simple and general purpose encoder decoder architecture. Moreover, GenBERT generalizes well to math word problem datasets, while maintaining high performance on standard RC tasks. Our approach provides a general recipe for injecting skills into large pre trained LMs, whenever the skill is amenable to automatic data augmentation.


Refined Catalan and Narayana cyclic sieving. We prove several new instances of the cyclic sieving phenomenon (CSP) on Catalan objects of type A and type B. Moreover, we refine many of the known instances of the CSP on Catalan objects. For example, we consider triangulations refined by the number of "ears", non crossing matchings with a fixed number of short edges, and non crossing configurations with a fixed number of loops and edges.


Categorization of Program Regions for Agile Compilation using Machine Learning and Hardware Support. A compiler processes the code written in a high level language and produces machine executable code. The compiler writers often face the challenge of keeping the compilation times reasonable. That is because aggressive optimization passes which potentially will give rise to high performance are often expensive in terms of running time and memory footprint. Consequently the compiler designers arrive at a compromise where they either simplify the optimization algorithm which may decrease the performance of the produced code, or they will restrict the optimization to the subset of the overall input program in which case large parts of the input application will go un optimized. The problem we address in this paper is that of keeping the compilation times reasonable, and at the same time optimizing the input program to the fullest extent possible. Consequently, the performance of the produced code will match the performance when all the aggressive optimization passes are applied over the entire input program.


A Hybrid Persian Sentiment Analysis Framework Integrating Dependency Grammar Based Rules and Deep Neural Networks. Social media hold valuable, vast and unstructured information on public opinion that can be utilized to improve products and services. The automatic analysis of such data, however, requires a deep understanding of natural language. Current sentiment analysis approaches are mainly based on word co occurrence frequencies, which are inadequate in most practical cases. In this work, we propose a novel hybrid framework for concept level sentiment analysis in Persian language, that integrates linguistic rules and deep learning to optimize polarity detection. When a pattern is triggered, the framework allows sentiments to flow from words to concepts based on symbolic dependency relations. When no pattern is triggered, the framework switches to its subsymbolic counterpart and leverages deep neural networks (DNN) to perform the classification. The proposed framework outperforms state of the art approaches (including support vector machine, and logistic regression) and DNN classifiers (long short term memory, and Convolutional Neural Networks) with a margin of 10 15 and 3 4 respectively, using benchmark Persian product and hotel reviews corpora.


Manifold Modeling in Embedded Space A Perspective for Interpreting Deep Image Prior. Deep image prior (DIP), which utilizes a deep convolutional network (ConvNet) structure itself as an image prior, has attracted attentions in computer vision and machine learning communities. It empirically shows the effectiveness of ConvNet structure for various image restoration applications. However, why the DIP works so well is still unknown, and why convolution operation is useful for image reconstruction or enhancement is not very clear. In this study, we tackle these questions. The proposed approach is dividing the convolution into delay embedding'' and transformation ( ie encoder decoder)'', and proposing a simple, but essential, image tensor modeling method which is closely related to dynamical systems and self similarity. The proposed method named as manifold modeling in embedded space (MMES) is implemented by using a novel denoising auto encoder in combination with multi way delay embedding transform. In spite of its simplicity, the image tensor completion, super resolution, deconvolution, and denoising results of MMES are quite similar even competitive to DIP in our extensive experiments, and these results would help us for reinterpreting characterizing the DIP from a perspective of low dimensional patch manifold prior''.


Variation of Hodge structure and enumerating tilings of surfaces by triangles and squares. Let S be a connected closed oriented surface of genus g . Given a triangulation (resp. quadrangulation) of S , define the index of each of its vertices to be the number of edges originating from this vertex minus 6 (resp. minus 4 ). Call the set of integers recording the non zero indices the profile of the triangulation (resp. quadrangulation). If kappa is a profile for triangulations (resp. quadrangulations) of S , for any m in mathbb Z 0 , denote by mathscr T ( kappa,m) (resp. mathscr Q ( kappa,m) ) the set of (equivalence classes of) triangulations (resp. quadrangulations) with profile kappa which contain at most m triangles (resp. squares). In this paper, we will show that if kappa is a profile for triangulations (resp. for quadrangulations) of S such that none of the indices in kappa is divisible by 6 (resp. by 4 ), then mathscr T ( kappa,m) sim c 3( kappa)m 2g kappa 2 (resp. mathscr Q ( kappa,m) sim c 4( kappa)m 2g kappa 2 ), where c 3( kappa) in mathbb Q cdot( sqrt 3 pi) 2g kappa 2 and c 4( kappa) in mathbb Q cdot pi 2g kappa 2 . The key ingredient of the proof is a result of J. Koll 'ar on the link between the curvature of the Hogde metric on vector subbundles of a variation of Hodge structure over algebraic varieties, and Chern classes of their extensions. By the same method, we also obtain the rationality (up to some power of pi ) of the Masur Veech volume of arithmetic affine submanifolds of translation surfaces that are transverse to the kernel foliation.


Electromigration Response of Microjoints in 3DIC Packaging Systems. In multilevel 3D integrated packaging, three major microstructures are viable due to the application of low volume of solders in different sizes, and or processing conditions. Thermodynamics and kinetics of binary compounds in Cu Sn Cu low volume interconnection is taken into account. We show that current crowding effects can induce a driving force to cause excess vacancies saturate and ultimately cluster in the form of microvoids. A kinetic analysis is performed for electromigration mediated intermetallic growth using multi phase field approach. Faster growth of intermetallic compounds (IMCs) in anode layer in the expense of shrinkage of cathode IMC layer in shown. This work paves the road for computationally study the ductile failure due to formation of microvoids in low volume solder interconnects in 3DICs.


Lessons Learned from Real World Experiments with DyRET the Dynamic Robot for Embodied Testing. Robots are used in more and more complex environments, and are expected to be able to adapt to changes and unknown situations. The easiest and quickest way to adapt is to change the control system of the robot, but for increasingly complex environments one should also change the body of the robot its morphology to better fit the task at hand. The theory of Embodied Cognition states that control is not the only source of cognition, and the body, environment, interaction between these and the mind all contribute as cognitive resources. Taking advantage of these concepts could lead to improved adaptivity, robustness, and versatility, however, executing these concepts on real world robots puts additional requirements on the hardware and has several challenges when compared to learning just control. In contrast to the majority of work in Evolutionary Robotics, Eiben argues for real world experiments in his Grand Challenges for Evolutionary Robotics'. This requires robust hardware platforms that are capable of repeated experiments which should at the same time be flexible when unforeseen demands arise. In this paper, we introduce our unique robot platform with self adaptive morphology. We discuss the challenges we have faced when designing it, and the lessons learned from real world testing and learning.


Combinatorial proof of an identity on Genocchi numbers. In this note we present a combinatorial proof of an identity involving poly Bernoulli numbers and Genocchi numbers. We introduce the combinatorial objects, m barred Callan sequences and show that the identity holds in a more general manner.


Sharing a measure of maximal entropy in polynomial semigroups. Let P 1,P 2, dots, P k be complex polynomials of degree at least two that are not simultaneously conjugate to monomials or to Chebyshev polynomials, and S the semigroup under composition generated by P 1,P 2, dots, P k . We show that all elements of S share a measure of maximal entropy if and only if the intersection of principal right ideals SP 1 cap SP 2 cap dots cap SP k is non empty.


The cb norm approximation of generalized skew derivations by elementary operators. Let A be a ring and sigma A to A a ring endomorphism. A generalized skew (or sigma )derivation of A is an additive map d A to A for which there exists a map delta A to A such that d(xy) delta(x)y sigma(x)d(y) for all x,y in A . If A is a prime C algebra and sigma is surjective, we determine the structure of generalized sigma derivations of A that belong to the cb norm closure of elementary operators mathcal E ell(A) on A all such maps are of the form d(x) bx axc for suitable elements a,b,c of the multiplier algebra M(A) . As a consequence, if an epimorphism sigma A to A lies in the cb norm closure of mathcal E ell(A) , then sigma must be an inner automorphism. We also show that these results cannot be extended even to relatively well behaved non prime C algebras like C(X, mathbb M 2 ) .


Universal evolutionary model for periodical species. Real world examples of periods of periodical organisms range from cicadas whose life cycles are larger prime numbers, like 13 or 17, to bamboos whose periods are large multiples of small primes, like 40 or even 120. The periodicity is caused by interaction of species, be it a predator prey relationship, symbiosis, commensialism, or competition exclusion principle. We propose a simple mathematical model which explains and models all those principles, including listed extremel cases. This, rather universal, qualitative model is based on the concept of a local fitness function, where a randomly chosen new period is selected if the value of the global fitness function of the species increases. Arithmetically speaking, the different observed interactions are related to only four principles given a couple of integer periods either (1) their greatest common divisor is one, (2) one of the periods is prime, (3) both periods are equal, or (4) one period is an integer multiple of the other.


A Model Predictive Approach for Online Mobile Manipulation of Nonholonomic Objects using Learned Dynamics. A particular type of assistive robots designed for physical interaction with objects could play an important role assisting with mobility and fall prevention in healthcare facilities. Autonomous mobile manipulation presents a hurdle prior to safely using robots in real life applications. In this article, we introduce a mobile manipulation framework based on model predictive control using learned dynamics models of objects. We focus on the specific problem of manipulating legged objects such as those commonly found in healthcare environments and personal dwellings (e.g. walkers, tables, chairs). We describe a probabilistic method for autonomous learning of an approximate dynamics model for these objects. In this method, we learn dynamic parameters using a small dataset consisting of force and motion data from interactions between the robot and object. Moreover, we account for multiple manipulation strategies by formulating the manipulation planning as a mixed integer convex optimization. The proposed framework considers the hybrid control system comprised of i) choosing which leg to grasp, and ii) control of continuous applied forces for manipulation. We formalize our algorithm based on model predictive control to compensate for modeling errors and find an optimal path to manipulate the object from one configuration to another. We show results for several objects with various wheel configurations. Simulation and physical experiments show that the obtained dynamics models are sufficiently accurate for safe and collision free manipulation. When combined with the proposed manipulation planning algorithm, the robot successfully moves the object to a desired pose while avoiding collision.


Estimation of roughness measurement bias originating from background subtraction. When measuring the roughness of rough surfaces, the limited sizes of scanned areas lead to its systematic underestimation. Levelling by polynomials and other filtering used in real world processing of atomic force microscopy data increases this bias considerably. Here a framework is developed providing explicit expressions for the bias of squared mean square roughness in the case of levelling by fitting a model background function using linear least squares. The framework is then applied to polynomial levelling, for both one dimensional and two dimensional data processing, and basic models of surface autocorrelation function, Gaussian and exponential. Several other common scenarios are covered as well, including median levelling, intermediate Gaussian exponential autocorrelation model and frequency space filtering. Application of the results to other quantities, such as Rq, Sq, Ra and Sa is discussed. The results are summarized in overview plots covering a range of autocorrelation functions and polynomial degrees, which allow graphical estimation of the bias.


On flatness and coherence with respect to modules of flat dimension at most one. This paper introduces and studies homological properties of new classes of modules, namely, the mathcal F 1 flat modules and the mathcal F 1 fp flat modules, where mathcal F 1 stands for the class of right modules of flat dimension at most one and mathcal F 1 fp its subclass consisting of finitely presented elements. This leads us to introduce a new class of rings that we term mathcal F 1 fp coherent rings as they behave nicely with respect to mathcal F 1 fp flat modules as do coherent rings with respect to flat modules. The new class of mathcal F 1 fp coherent rings turns out to be a large one and it includes coherent rings, perfect rings, semi hereditary rings and all rings R such that lim limits lr mathcal P 1 mathcal F 1 . As a particular case of rings satisfying lim limits lr mathcal P 1 mathcal F 1 figures the important class of integral domains.


Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks. Textual entailment is a fundamental task in natural language processing. Most approaches for solving the problem use only the textual content present in training data. A few approaches have shown that information from external knowledge sources like knowledge graphs (KGs) can add value, in addition to the textual content, by providing background knowledge that may be critical for a task. However, the proposed models do not fully exploit the information in the usually large and noisy KGs, and it is not clear how it can be effectively encoded to be useful for entailment. We present an approach that complements text based entailment models with information from KGs by (1) using Personalized PageR ank to generate contextual subgraphs with reduced noise and (2) encoding these subgraphs using graph convolutional networks to capture KG structure. Our technique extends the capability of text models exploiting structural and semantic information found in KGs. We evaluate our approach on multiple textual entailment datasets and show that the use of external knowledge helps improve prediction accuracy. This is particularly evident in the challenging BreakingNLI dataset, where we see an absolute improvement of 5 20 over multiple text based entailment models.


Learning Condition Invariant Features for Retrieval Based Localization from 1M Images. Image features for retrieval based localization must be invariant to dynamic objects (e.g. cars) as well as seasonal and daytime changes. Such invariances are, up to some extent, learnable with existing methods using triplet like losses, given a large number of diverse training images. However, due to the high algorithmic training complexity, there exists insufficient comparison between different loss functions on large datasets. In this paper, we train and evaluate several localization methods on three different benchmark datasets, including Oxford RobotCar with over one million images. This large scale evaluation yields valuable insights into the generalizability and performance of retrieval based localization. Based on our findings, we develop a novel method for learning more accurate and better generalizing localization features. It consists of two main contributions (i) a feature volume based loss function, and (ii) hard positive and pairwise negative mining. On the challenging Oxford RobotCar night condition, our method outperforms the well known triplet loss by 24.4 in localization accuracy within 5m.


Morphological properties of 2D symmetric Airy beams extracted from the stationary wave approximation. We explore the morphological properties of symmetric Airy beams in the paraxial and nonparaxial regimes. We consider a 2D electromagnetic realization with a single transverse component of the electric field, and in the nonparaxial regime, the longitudinal component along the optic axis. The general structure of these beams is analyzed with the combination of several approaches geometrical optics through the use of caustics, the asymptotic wave properties of the light field using the stationary wave approximation and numerical integration. The geometrical optics approach involves locating the critical points that are later used in the stationary phase approximation. In the paraxial regime the highest order of the roots is 3, while in the nonparaxial regime, the order can be of up to 6. The technique yields conditions to identify interesting features on the beam, like the number of waves interfering constructively destructively at the critical positions. The results are confirmed by the numerical simulations. In this way it is possible to distinguish and classify phase singularities like optical vortices and dislocations. The developed algorithm could be used to study any structured light field.


Artificial Intelligence (AI) Centric Management of Resources in Modern Distributed Computing Systems. Contemporary Distributed Computing Systems (DCS) such as Cloud Data Centres are large scale, complex, heterogeneous, and distributed across multiple networks and geographical boundaries. On the other hand, the Internet of Things (IoT) driven applications are producing a huge amount of data that requires real time processing and fast response. Managing these resources efficiently to provide reliable services to end users or applications is a challenging task. The existing Resource Management Systems (RMS) rely on either static or heuristic solutions inadequate for such composite and dynamic systems. The advent of Artificial Intelligence (AI) due to data availability and processing capabilities manifested into possibilities of exploring data driven solutions in RMS tasks that are adaptive, accurate, and efficient. In this regard, this paper aims to draw the motivations and necessities for data driven solutions in resource management. It identifies the challenges associated with it and outlines the potential future research directions detailing where and how to apply the data driven techniques in the different RMS tasks. Finally, it provides a conceptual data driven RMS model for DCS and presents the two real time use cases (GPU frequency scaling and data centre resource management from Google Cloud and Microsoft Azure) demonstrating AI centric approaches' feasibility.


Distributed Constructions of Dual Failure Fault Tolerant Distance Preservers. Fault tolerant distance preservers (spanners) are sparse subgraphs that preserve (approximate) distances between given pairs of vertices under edge or vertex failures. So far, these structures have been studied mainly from a centralized viewpoint. Despite the fact fault tolerant preservers are mainly motivated by the error prone nature of distributed networks, not much is known on the distributed computational aspects of these structures. In this paper, we present distributed algorithms for constructing fault tolerant distance preservers and 2 additive spanners that are resilient to at most emph two edge faults. Prior to our work, the only non trivial constructions known were for the emph single fault and emph single source setting by Ghaffari and Parter SPAA'16 . Our key technical contribution is a distributed algorithm for computing distance preservers w.r.t. a subset S of source vertices, resilient to two edge faults. The output structure contains a BFS tree BFS(s,G setminus e 1,e 2 ) for every s in S and every e 1,e 2 in G . The distributed construction of this structure is based on a delicate balance between the edge congestion (formed by running multiple BFS trees simultaneously) and the sparsity of the output subgraph. No sublinear round algorithms for constructing these structures have been known before.


On the linking of number lattices. In this paper we study ideas which have proved useful in topological network theory in the context of lattices of numbers. A number lattice L S is a collection of row vectors, over mathbb Q on a finite column set S, generated by integral linear combination of a finite set of row vectors. A generalized number lattice K S is the sum of a number lattice L S and a vector space V S which has only the zero vector in common with it. The dual K d S of a generalized number lattice is the collection of all vectors whose dot product with vectors in K S are integral and is another generalized number lattice. We consider a linking operation ('matched composition ) between generalized number lattices K SP ,K P (regarded as collections of row vectors on column sets S cup P, P, respectively with S,P, disjoint) defined by K SP leftrightarrow K P equiv f S ((f S,g P) in K SP , g P in K P . We show that this operation together with contraction and restriction, and the results, the implicit inversion theorem (which gives simple conditions for the equality K SP leftrightarrow (K SP leftrightarrow K S) K S, to hold) and implicit duality theorem ( (K SP leftrightarrow K P ) d K SP d leftrightarrow K P d )), are both relevant and useful in suggesting problems concerning number lattices and their solutions. Using the implicit duality theorem, we give simple methods of constructing new self dual lattices from old. We also give new and efficient algorithms for the following. Given V SP ,K P, such that V SP leftrightarrow (V SP leftrightarrow K P) K P, where V SP is a vector space with a totally unimodular basis matrix, to construct reduced bases for the number lattice part of V SP leftrightarrow K P, K P d, (V SP leftrightarrow K P) d, from a reduced basis for the number lattice part of K P.


Memory embedded non intrusive reduced order modeling of non ergodic flows. Generating a digital twin of any complex system requires modeling and computational approaches that are efficient, accurate, and modular. Traditional reduced order modeling techniques are targeted at only the first two but the novel non intrusive approach presented in this study is an attempt at taking all three into account effectively compared to their traditional counterparts. Based on dimensionality reduction using proper orthogonal decomposition (POD), we introduce a long short term memory (LSTM) neural network architecture together with a principal interval decomposition (PID) framework as an enabler to account for localized modal deformation, which is a key element in accurate reduced order modeling of convective flows. Our applications for convection dominated systems governed by Burgers, Navier Stokes, and Boussinesq equations demonstrate that the proposed approach yields significantly more accurate predictions than the POD Galerkin method, and could be a key enabler towards near real time predictions of unsteady flows.


Optimal Curve Straightening is exists mathbb R Complete. We prove that the following problem has the same computational complexity as the existential theory of the reals Given a generic self intersecting closed curve gamma in the plane and an integer m , is there a polygon with m vertices that is isotopic to gamma ? Our reduction implies implies two stronger results, as corollaries of similar results for pseudoline arrangements. First, there are isotopy classes in which every m gon with integer coordinates requires 2 Omega(m) bits of precision. Second, for any semi algebraic set V , there is an integer m and a closed curve gamma such that the space of all m gons isotopic to gamma is homotopy equivalent to V .


Idealizers in the Second Weyl Algebra. Given a right ideal I in a ring R , the idealizer of I in R is the largest subring of R in which I becomes a two sided ideal. In this paper we consider idealizers in the second Weyl algebra A 2 , which is the ring of differential operators on mathbb k x,y (in characteristic 0 ). Specifically, let f be a polynomial in x and y which defines an irreducible curve whose singularities are all cusps. We show that the idealizer of the right ideal fA 2 in A 2 is always left and right noetherian, extending the work of McCaffrey.


Linear sets from projection of Desarguesian spreads. Every linear set in a Galois space is the projection of a subgeometry, and most known characterizations of linear sets are given under this point of view. For instance, scattered linear sets of pseudoregulus type are obtained by considering a Desarguesian spread of a subgeometry and projecting from a vertex which is spanned by all but two director spaces. In this paper we introduce the concept of linear sets of h pseudoregulus type, which turns out to be projected from the span of an arbitrary number of director spaces of a Desarguesian spread of a subgeometry. Among these linear sets, we characterize those which are h scattered and solve the equivalence problem between them a key role is played by an algebraic tool recently introduced in the literature and known as Moore exponent set. As a byproduct, we classify asymptotically h scattered linear sets of h pseudoregulus type.


The role of vascular complexity on optimal junction exponents. We examine the role of complexity on arterial tree structures, determining globally optimal vessel arrangements using the Simulated AnneaLing Vascular Optimization (SALVO) algorithm, which we have previously used to reproduce features of cardiac and cerebral vasculatures. Fundamental biophysical understanding of complex vascular structure has applications to modelling of cardiovascular diseases, and for improved representations of vasculatures in large artificial tissues. In order to progress in silico methods for growing arterial networks, we need to understand the stability of computational arterial growth algorithms to complexity, variations in physiological parameters such as tissue demand, and underlying assumptions regarding the value of junction exponents. We determine the globally optimal structure of two dimensional arterial trees analysing sensitivity of tree morphology and optimal bifurcation exponent to physiological parameters. We find that, for physiologically relevant simulation parameters, arterial structure is stable, whereas optimal junction exponents vary. We conclude that the full complexity of arterial trees is essential for determining the fundamental properties of vasculatures. These results are important for establishing that optimisation based arterial growth algorithms are stable against uncertainties in physiological parameters, while identifying that optimal bifurcation exponents (a key parameter for many arterial growth algorithms) are sensitive to complexity and the boundary conditions dictated by organs.


On curves with high multiplicity on mathbb P (a,b,c) for min(a,b,c) leq4 . On a weighted projective surface mathbb P (a,b,c) with min(a,b,c) leq 4 , we compute lower bounds for the em effective threshold of an ample divisor, in other words, the highest multiplicity a section of the divisor can have at a specified point. We expect that these bounds are close to being sharp. This translates into finding divisor classes on the blowup of mathbb P (a,b,c) that generate a cone contained in, and probably close to, the effective cone.