Analytic Bipedal Walking with Fused Angles and Corrective Actions in the Tilt Phase Space. This work presents algorithms for the feedback stabilised walking of bipedal humanoid robotic platforms, along with the underlying theoretical and sensorimotor frameworks required to achieve it. Bipedal walking is inherently complex and difficult to control due to the high level of nonlinearity and significant number of degrees of freedom of the concerned robots, the limited observability and controllability of the corresponding states, and the combination of imperfect actuation with less than ideal sensing. The presented methods deal with these issues in a multitude of ways, ranging from the development of an actuator control and feed forward compensation scheme, to the inclusion of filtering in almost all of the gait stabilisation feedback pipelines. Two gaits are developed and investigated, the direct fused angle feedback gait, and the tilt phase controller. Both gaits follow the design philosophy of leveraging a semi stable open loop gait generator, and extending it through stabilising feedback via the means of so called corrective actions. The idea of using corrective actions is to modify the generation of the open loop joint waveforms in such a way that the balance of the robot is influenced and thereby ameliorated. Examples of such corrective actions include modifications of the arm swing and leg swing trajectories, the application of dynamic positional and rotational offsets to the hips and feet, and adjustments of the commanded step size and timing. Underpinning both feedback gaits and their corresponding gait generators are significant advances in the field of 3D rotation theory. These advances include the development of three novel rotation representations, the tilt angles, fused angles, and tilt phase space representations. All three of these representations are founded on a new innovative way of splitting 3D rotations into their respective yaw and tilt components.


Discrete time average cost mean field games on Polish spaces. In stochastic dynamic games, when the number of players is sufficiently large and the interactions between agents depend on empirical state distribution, one way to approximate the original game is to introduce infinite population limit of the problem. In the infinite population limit, a generic agent is faced with a emph so called mean field game. In this paper, we study discrete time mean field games with average cost criteria. Using average cost optimality equation and Kakutani's fixed point theorem, we establish the existence of Nash equilibria for mean field games under drift and minorization conditions on the dynamics of each agent. Then, we show that the equilibrium policy in the mean field game, when adopted by each agent, is an approximate Nash equilibrium for the corresponding finite agent game with sufficiently many agents.


Accelerated Calder 'on preconditioning for Maxwell transmission problems. We investigate a range of techniques for the acceleration of Calder 'on (operator) preconditioning in the context of boundary integral equation methods for electromagnetic transmission problems. Our objective is to mitigate as far as possible the high computational cost of the barycentrically refined meshes necessary for the stable discretisation of operator products. Our focus is on the well known PMCHWT formulation, but the techniques we introduce can be applied generically. By using barycentric meshes only for the preconditioner and not for the original boundary integral operator, we achieve significant reductions in computational cost by (i) using "reduced" Calder 'on preconditioners obtained by discarding constituent boundary integral operators that are not essential for regularisation, and (ii) adopting a "bi parametric" approach in which we use a lower quality (cheaper) mathcal H matrix assembly routine for the preconditioner than for the original operator, including a novel approach of discarding far field interactions in the preconditioner. Using the boundary element software Bempp (www.bempp.com), we compare the performance of different combinations of these techniques in the context of scattering by multiple dielectric particles. Applying our accelerated implementation to 3D electromagnetic scattering by an aggregate consisting of 8 monomer ice crystals of overall diameter 1cm at 664GHz leads to a 99 reduction in memory cost and at least a 75 reduction in total computation time compared to a non accelerated implementation.


Generators of Koszul homology with coefficients in a underline g weak complete intersection module. We discuss a class of modules, which we call underline g weak complete intersection modules, inspired by the weak complete intersection ideals studied by Rahmati, Striuli, and Yang and we present explicit formulas for the generators of Koszul homology with coefficients in a underline g weak complete intersection module. This generalizes work of Herzog and of Corso, Goto, Huneke, Polini, and Ulrich. We use these explicit formulas to study connections between underline g weak complete intersection ideals and weak complete intersection ideals.


All optical switching based on soliton self trapping in dual core high contrast optical fibre. A systematic numerical study of ultrafast nonlinear directional coupler performance based on soliton self trapping in a novel type of dual core optical fibre is presented. The considered highly nonlinear fibre structure is composed of a real, intentionally developed soft glass pair with high refractive index contrast at the level of 0.4 in the near infrared. Nonlinear propagation of picojoule level femtosecond pulses was studied numerically with the aim to identify the best switching performance in input parameter space of 1400 1800 nm in terms of excitation wavelengths, and of 75 150 fs in terms of pulse width, respectively. For every combination of excitation wavelength and pulse width, the switching energies together with the optimal fibre length were determined and their relation to the input and switching parameters is discussed. The highest switching contrast of 46 dB in the time window of the ultrashort soliton was predicted at combination of 1500 nm excitation wavelength and 75 fs pulse width considering 43 mm fibre length. These results represent significant improvement both from point of view of switching contrast and switching energies, which are only at level of 20 pJ, in comparison to the previously published case of air glass dual core photonic crystal fibre. Moreover, the simpler fibre design without cladding microstructure together with the all solid approach holds promise of improved dual core symmetry and therefore offers high probability of the successful realization of a low power, compact and simple switching device.


Implicit bias with Ritz Galerkin method in understanding deep learning for solving PDEs. This paper aims at studying the difference between Ritz Galerkin (R G) method and deep neural network (DNN) method in solving partial differential equations (PDEs) to better understand deep learning. To this end, we consider solving a particular Poisson problem, where the information of the right hand side of the equation f is only available at n sample points, that is, f is known at finite sample points. Through both theoretical and numerical studies, we show that solution of the R G method converges to a piecewise linear function for the one dimensional (1D) problem or functions of lower regularity for high dimensional problems. With the same setting, DNNs however learn a relative smooth solution regardless of the dimension, this is, DNNs implicitly bias towards functions with more low frequency components among all functions that can fit the equation at available data points. This bias is explained by the recent study of frequency principle (Xu et al., (2019) 17 and Zhang et al., (2019) 11, 19 ). In addition to the similarity between the traditional numerical methods and DNNs in the approximation perspective, our work shows that the implicit bias in the learning process, which is different from traditional numerical methods, could help better understand the characteristics of DNNs.


Unsupervised Evaluation of Interactive Dialog with DialoGPT. It is important to define meaningful and interpretable automatic evaluation metrics for open domain dialog research. Standard language generation metrics have been shown to be ineffective for dialog. This paper introduces the FED metric (fine grained evaluation of dialog), an automatic evaluation metric which uses DialoGPT, without any fine tuning or supervision. It also introduces the FED dataset which is constructed by annotating a set of human system and human human conversations with eighteen fine grained dialog qualities. The FED metric (1) does not rely on a ground truth response, (2) does not require training data and (3) measures fine grained dialog qualities at both the turn and whole dialog levels. FED attains moderate to strong correlation with human judgement at both levels.


Photonic bands, superchirality, and inverse design of a chiral minimal metasurface. Photonic band structures are a typical fingerprint of periodic optical structures, and are usually observed in spectroscopic quantities such as transmission, reflection and absorption. Here we show that also the chiro optical response of a metasurface constituted by a lattice of non centrosymmetric, L shaped holes in a dielectric slab shows a band structure, where intrinsic and extrinsic chirality effects are clearly recognized and connected to localized and delocalized resonances. Superchiral near fields can be excited in correspondence to these resonances, and anomalous behaviors as a function of the incidence polarization occur. Moreover, we introduce a singular value decomposition (SVD) approach to show that the above mentioned effects are connected to specific fingerprints of the SVD spectra. Finally, we demonstrate by means of an inverse design technique that the metasurface based on an L shaped hole array is a minimal one. Indeed, its unit cell geometry depends on the smallest number of parameters needed to implement arbitrary transmission matrices compliant with the general symmetries for 2d chiral structures. These observations enable more powerful wave operations in a lossless photonic environment.


physics.optics cs.NA math.NA physics.comp-ph

Forward Mode Differentiation of Maxwell's Equations. We present a previously unexplored forward mode differentiation method for Maxwell's equations, with applications in the field of sensitivity analysis. This approach yields exact gradients and is similar to the popular adjoint variable method, but provides a significant improvement in both memory and speed scaling for problems involving several output parameters, as we analyze in the context of finite difference time domain (FDTD) simulations. Furthermore, it provides an exact alternative to numerical derivative methods, based on finite difference approximations. To demonstrate the usefulness of the method, we perform sensitivity analysis of two problems. First we compute how the spatial near field intensity distribution of a scatterer changes with respect to its dielectric constant. Then, we compute how the spectral power and coupling efficiency of a surface grating coupler changes with respect to its fill factor.


Nonlinear parabolic stochastic evolution equations in critical spaces Part I. Stochastic maximal regularity and local existence. In this paper we develop a new approach to nonlinear stochastic partial differential equations with Gaussian noise. Our aim is to provide an abstract framework which is applicable to a large class of SPDEs and includes many important cases of nonlinear parabolic problems which are of quasi or semilinear type. This first part is on local existence and well posedness. A second part in preparation is on blow up criteria and regularization. Our theory is formulated in an L p setting, and because of this we can deal with nonlinearities in a very efficient way. Applications to several concrete problems and their quasilinear variants are given. This includes Burger's equation, the Allen Cahn equation, the Cahn Hilliard equation, reaction diffusion equations, and the porous media equation. The interplay of the nonlinearities and the critical spaces of initial data leads to new results and insights for these SPDEs. The proofs are based on recent developments in maximal regularity theory for the linearized problem for deterministic and stochastic evolution equations. In particular, our theory can be seen as a stochastic version of the theory of critical spaces due to Pr "uss Simonett Wilke (2018). Sharp weighted time regularity allow us to deal with rough initial values and obtain instantaneous regularization results. The abstract well posedness results are obtained by a combination of several sophisticated splitting and truncation arguments.


Blockage Type Detection Process in Triangular wave Topology for mmWave Wireless Backhaul. Due to the rapid densification of small cells in 5G and beyond cellular networks, deploying wired high bandwidth connections to every small cell base station is difficult, particularly in older metropolitan areas where infrastructure for fiber deployment is lacking. For this reason, mmWave wireless backhaul is being considered as a cost effective and flexible alternative that has potential to support the high rate transmission needed to accommodate backhaul traffic demands. However, maintaining a high network survivability is extremely important since networks based on mmWave communication are susceptible to short term blockages or node failures caused by unforeseen events. Therefore, to realize a robust mmWave backhaul network, several works propose to adopt a triangular wave topology in roadside environments, which can eliminate the mutual interference among backhaul links, and provide robustness to blockage effects. Based on this novel topology, we investigate a blockage type detection scheme, which reacts to blockage effects quickly and assists in various path reconfiguration approaches.


At Scale Sparse Deep Neural Network Inference with Efficient GPU Implementation. This paper presents GPU performance optimization and scaling results for inference models of the Sparse Deep Neural Network Challenge 2020. Demands for network quality have increased rapidly, pushing the size and thus the memory requirements of many neural networks beyond the capacity of available accelerators. Sparse deep neural networks (SpDNN) have shown promise for reining in the memory footprint of large neural networks. However, there is room for improvement in implementing SpDNN operations on GPUs. This work presents optimized sparse matrix multiplication kernels fused with the ReLU function. The optimized kernels reuse input feature maps from the shared memory and sparse weights from registers. For multi GPU parallelism, our SpDNN implementation duplicates weights and statically partition the feature maps across GPUs. Results for the challenge benchmarks show that the proposed kernel design and multi GPU parallelization achieve up to 180 tera edges per second inference throughput. These results are up to 4.3x faster for a single GPU and an order of magnitude faster at full scale than those of the champion of the 2019 Sparse Deep Neural Network Graph Challenge for the same generation of NVIDIA V100 GPUs. Using the same implementation, we also show single GPU throughput on NVIDIA A100 is 2.37 times faster than V100.


Boosted Attention Leveraging Human Attention for Image Captioning. Visual attention has shown usefulness in image captioning, with the goal of enabling a caption model to selectively focus on regions of interest. Existing models typically rely on top down language information and learn attention implicitly by optimizing the captioning objectives. While somewhat effective, the learned top down attention can fail to focus on correct regions of interest without direct supervision of attention. Inspired by the human visual system which is driven by not only the task specific top down signals but also the visual stimuli, we in this work propose to use both types of attention for image captioning. In particular, we highlight the complementary nature of the two types of attention and develop a model (Boosted Attention) to integrate them for image captioning. We validate the proposed approach with state of the art performance across various evaluation metrics.


On the fibres of Mishchenko Fomenko systems. This work is concerned with Mishchenko and Fomenko's celebrated theory of completely integrable systems on a complex semisimple Lie algebra mathfrak g . Their theory associates a maximal Poisson commutative subalgebra of mathbb C mathfrak g to each regular element a in mathfrak g , and one can assemble free generators of this subalgebra into a moment map F a mathfrak g rightarrow mathbb C b . We examine the structure of fibres in Mishchenko Fomenko systems, building on the foundation laid by Bolsinov, Charbonnel Moreau, Moreau, and others. This includes proving that the critical values of F a have codimension 1 or 2 in mathbb C b , and that each codimension is achievable in examples. Our results on singularities make use of a subalgebra mathfrak b a subseteq mathfrak g , defined to be the intersection of all Borel subalgebras of mathfrak g containing a . In the case of a non nilpotent a in mathfrak g text reg and an element x in mathfrak b a , we prove the following x mathfrak b a, mathfrak b a lies in the singular locus of F a 1 (F a(x)) , and the fibres through points in mathfrak b a form a mathrm rank ( mathfrak g ) dimensional family of singular fibres. We next consider the irreducible components of our fibres, giving a systematic way to construct many components via Mishchenko Fomenko systems on Levi subalgebras mathfrak l subseteq mathfrak g . In addition, we obtain concrete results on irreducible components that do not arise from the aforementioned construction. Our final main result is a recursive formula for the number of irreducible components in F a 1 (0) , and it generalizes a result of Charbonnel Moreau. Illustrative examples are included at the end of this paper.


Probing slow earthquakes with deep learning. Slow earthquakes may trigger failure on neighboring locked faults that are stressed enough to break, and slow slip patterns may evolve before a nearby great earthquake. However, even in the clearest cases such as Cascadia, slow earthquakes and associated tremor have only been observed in intermittent and discrete bursts. By training a convolutional neural network to detect known tremor on a single seismic station in Cascadia, we isolate and identify tremor and slip preceding and following known larger slow events. The deep neural network can be used for the detection of quasi continuous tremor, providing a proxy that quantifies the slow slip rate. Furthermore, the model trained in Cascadia recognizes tremor in other subduction zones and also along the San Andreas Fault at Parkfield, suggesting a universality of waveform characteristics and source processes, as posited from experiments and theory.


A user's guide to the local arithmetic of hyperelliptic curves. A new approach has been recently developed to study the arithmetic of hyperelliptic curves y 2 f(x) over local fields of odd residue characteristic via combinatorial data associated to the roots of f . Since its introduction, numerous papers have used this machinery of "cluster pictures" to compute a plethora of arithmetic invariants associated to these curves. The purpose of this user's guide is to summarise and centralise all of these results in a self contained fashion, complemented by an abundance of examples.


Extensions of the Algorithmic Lovasz Local Lemma. We consider recent formulations of the algorithmic Lovasz Local Lemma by Achlioptas Iliopoulos Kolmogorov 2 and by Achlioptas Iliopoulos Sinclair 3 . These papers analyze a random walk algorithm for finding objects that avoid undesired "bad events" (or "flaws"), and prove that under certain conditions the algorithm is guaranteed to find a "flawless" object quickly. We show that conditions proposed in these papers are incomparable, and introduce a new family of conditions that includes those in 2, 3 as special cases. We also consider another condition that appeared in 3 in the context of sparse k SAT formulas. This condition imposes a constraint for each variable of the problem, whereas traditional LLL formulations impose a constraint for each clause. Achlioptas et al. handled the variable based condition via a reduction to a different condition and then applying a single clause backtracking algorithm. We propose a new condition that directly captures the sparse k SAT application considered in 3 , and allows the use of the standard local search algorithm (which offers important advantages such as parallelization). Finally, we extend our previous notion of "commutativity" from 20 and prove several implications of commutativity using some new tools that we develop. In particular, we simplify the result of Iliopoulos 16 about approximating the LLL distribution.


A New Hierarchical Software Architecture Towards Safety Critical Aspects of a Drone System. In this paper, a new hierarchical software architecture is proposed to improve the safety and reliability of a safety critical drone system from the perspective of its source code. The proposed architecture uses formal verification methods to ensure that the implementation of each module satisfies its expected design specification, so that it prevents a drone from crashing due to unexpected software failures. This study builds on top of a formally verified operating system kernel, certified kit operating system (CertiKOS). Since device drivers are considered the most important parts affecting the safety of the drone system, we focus mainly on verifying bus drivers such as the serial peripheral interface and the inter integrated circuit drivers in a drone system using a rigorous formal verification method. Experiments have been carried out to demonstrate the improvement in reliability in case of device anomalies.


Sahlqvist Correspondence Theory for Sabotage Modal Logic. Sabotage modal logic (SML) is a kind of dynamic logics. It extends static modal logic with a dynamic modality which is interpreted as "after deleting an arrow in the frame, the formula is true". In the present paper, we are aiming at solving an open problem, namely giving a Sahlqvist type correspondence theorem for sabotage modal logic. In this paper, we define sabotage Sahlqvist formulas and give an algorithm to compute the first order correspondents of sabotage Sahlqvist formulas. We give some remarks and future directions at the end of the paper.


SAC Accelerating and Structuring Self Attention via Sparse Adaptive Connection. While the self attention mechanism has been widely used in a wide variety of tasks, it has the unfortunate property of a quadratic cost with respect to the input length, which makes it difficult to deal with long inputs. In this paper, we present a method for accelerating and structuring self attentions Sparse Adaptive Connection (SAC). In SAC, we regard the input sequence as a graph and attention operations are performed between linked nodes. In contrast with previous self attention models with pre defined structures (edges), the model learns to construct attention edges to improve task specific performances. In this way, the model is able to select the most salient nodes and reduce the quadratic complexity regardless of the sequence length. Based on SAC, we show that previous variants of self attention models are its special cases. Through extensive experiments on neural machine translation, language modeling, graph representation learning and image classification, we demonstrate SAC is competitive with state of the art models while significantly reducing memory cost.


Reduction theory for connections over the formal punctured disc. We give a purely algebraic treatment of reduction theory for connections over the formal punctured disc. Our proofs apply to arbitrary connected linear algebraic groups over an algebraically closed field of characteristic 0. We also state and prove some new quantitative results.


Electron confinement by laser driven azimuthal magnetic fields during direct laser acceleration. A laser driven azimuthal plasma magnetic field is known to facilitate electron energy gain from the irradiating laser pulse. The enhancement is due to changes in the orientation between the laser electric field and electron velocity caused by magnetic field deflections. Transverse electron confinement is critical for realizing this concept experimentally. We find that the phase velocity of the laser pulse has a profound impact on the transverse size of electron trajectories. The transverse size remains constant below a threshold energy that depends on the degree of the superluminosity and it increases with the electron energy above the threshold. This increase can cause electron losses in tightly focused laser pulses. We show using 3D particle in cell simulations that the electron energy gain can be significantly increased by increasing laser power at fixed intensity due to the increased electron confinement. This finding makes a strong case for designing experiments at multi PW laser facilities.


Measuring the compositionality of noun noun compounds over time. We present work in progress on the temporal progression of compositionality in noun noun compounds. Previous work has proposed computational methods for determining the compositionality of compounds. These methods try to automatically determine how transparent the meaning of the compound as a whole is with respect to the meaning of its parts. We hypothesize that such a property might change over time. We use the time stamped Google Books corpus for our diachronic investigations, and first examine whether the vector based semantic spaces extracted from this corpus are able to predict compositionality ratings, despite their inherent limitations. We find that using temporal information helps predicting the ratings, although correlation with the ratings is lower than reported for other corpora. Finally, we show changes in compositionality over time for a selection of compounds.


DNS Study of the Global Heat Release Rate During Early Flame Kernel Development under Engine Conditions. Despite the high technical relevance of early flame kernel development for the reduction of cycle to cycle variations in spark ignition engines, there is still a need for a better fundamental understanding of the governing in cylinder phenomena in order to enable resilient early flame growth. To isolate the effects of small and large scale turbulent flow motion on the young flame kernel, a three dimensional DNS database has been designed to be representative for engine part load conditions. The analysis is focussed on flame displacement speed and flame area in order to investigate effects of flame structure and flame geometry on the global burning rate evolution. It is shown that despite a Karlovitz number of up to 13, which is at the upper range of conventional engine operation, thickening of the averaged flame structure by small scale turbulent mixing is not observed. After ignition effects have decayed, the flame normal displacement speed recovers the behavior of a laminar unstretched premixed flame under the considered unity Lewis number conditions. Run to run variations in the global heat release rate are shown to be primarily caused by flame kernel area dynamics. The analysis of the flame area balance equation shows that turbulence causes stochastic flame kernel area growth by affecting the curvature evolution, rather than by inducing variations in total flame area production by strain. Further, it is shown that in local segments of a fully developed planar flame with similar surface area as the investigated flame kernels, temporal variations in flame area rate of change occur. Contrasting to early flame kernels, these effects can be exclusively attributed to curvature variations in negatively curved flame regions.


TDAM a Topic Dependent Attention Model for Sentiment Analysis. We propose a topic dependent attention model for sentiment classification and topic extraction. Our model assumes that a global topic embedding is shared across documents and employs an attention mechanism to derive local topic embedding for words and sentences. These are subsequently incorporated in a modified Gated Recurrent Unit (GRU) for sentiment classification and extraction of topics bearing different sentiment polarities. Those topics emerge from the words' local topic embeddings learned by the internal attention of the GRU cells in the context of a multi task learning framework. In this paper, we present the hierarchical architecture, the new GRU unit and the experiments conducted on users' reviews which demonstrate classification performance on a par with the state of the art methodologies for sentiment classification and topic coherence outperforming the current approaches for supervised topic extraction. In addition, our model is able to extract coherent aspect sentiment clusters despite using no aspect level annotations for training.


Universal Domain Adaptation through Self Supervision. Unsupervised domain adaptation methods traditionally assume that all source categories are present in the target domain. In practice, little may be known about the category overlap between the two domains. While some methods address target settings with either partial or open set categories, they assume that the particular setting is known a priori. We propose a more universally applicable domain adaptation framework that can handle arbitrary category shift, called Domain Adaptative Neighborhood Clustering via Entropy optimization (DANCE). DANCE combines two novel ideas First, as we cannot fully rely on source categories to learn features discriminative for the target, we propose a novel neighborhood clustering technique to learn the structure of the target domain in a self supervised way. Second, we use entropy based feature alignment and rejection to align target features with the source, or reject them as unknown categories based on their entropy. We show through extensive experiments that DANCE outperforms baselines across open set, open partial and partial domain adaptation settings. Implementation is available at https github.com VisionLearningGroup DANCE.


Embedding based Retrieval in Facebook Search. Search in social networks such as Facebook poses different challenges than in classical web search besides the query text, it is important to take into account the searcher's context to provide relevant results. Their social graph is an integral part of this context and is a unique aspect of Facebook search. While embedding based retrieval (EBR) has been applied in eb search engines for years, Facebook search was still mainly based on a Boolean matching model. In this paper, we discuss the techniques for applying EBR to a Facebook Search system. We introduce the unified embedding framework developed to model semantic embeddings for personalized search, and the system to serve embedding based retrieval in a typical search system based on an inverted index. We discuss various tricks and experiences on end to end optimization of the whole system, including ANN parameter tuning and full stack optimization. Finally, we present our progress on two selected advanced topics about modeling. We evaluated EBR on verticals for Facebook Search with significant metrics gains observed in online A B experiments. We believe this paper will provide useful insights and experiences to help people on developing embedding based retrieval systems in search engines.


Global Regime for General Additive Functionals of Conditioned Bienaym 'e Galton Watson Trees. We give an invariance principle for very general additive functionals of conditioned Bienaym 'e Galton Watson trees in the global regime when the offspring distribution lies in the domain of attraction of a stable distribution, the limit being an additive functional of a stable L 'e vy tree. This includes the case when the offspring distribution has finite variance (the L 'e vy tree being then the Brownian tree). We also describe, using an integral test, a phase transition for toll functions depending on the size and height.


A Conversational Digital Assistant for Intelligent Process Automation. Robotic process automation (RPA) has emerged as the leading approach to automate tasks in business processes. Moving away from back end automation, RPA automated the mouse click on user interfaces this outside in approach reduced the overhead of updating legacy software. However, its many shortcomings, namely its lack of accessibility to business users, have prevented its widespread adoption in highly regulated industries. In this work, we explore interactive automation in the form of a conversational digital assistant. It allows business users to interact with and customize their automation solutions through natural language. The framework, which creates such assistants, relies on a multi agent orchestration model and conversational wrappers for autonomous agents including RPAs. We demonstrate the effectiveness of our proposed approach on a loan approval business process and a travel preapproval business process.


Lift and Relax for PDE constrained inverse problems in seismic imaging. We present Lift and Relax for Waveform Inversion (LRWI), an approach that mitigates the local minima issue in seismic full waveform inversion (FWI) via a combination of two convexification techniques. The first technique (Lift) extends the set of variables in the optimization problem to products of those variables, arranged as a moment matrix. This algebraic idea is a celebrated way to replace a hard polynomial optimization problem by a semidefinite programming approximation. Concretely, both the model and the wavefield are lifted from vectors to rank 2 matrices. The second technique (Relax) invites to consider the wave equation, not as a hard constraint, but as a soft constraint to be satisfied only approximately a technique known as wavefield reconstruction inversion (WRI). WRI weakens wave equation constraints by introducing wave equation misfits as a weighted penalty term in the objective function. The relaxed penalty formulation enables balancing the data and wave equation misfits by tuning a penalty parameter. Together, Lift and Relax help reformulate the inverse problem as a set of constraints on a rank 2 moment matrix in a higher dimensional space. Such a lifting strategy permits a good data and wave equation fit throughout the inversion process, while leaving the numerical rank of the rank 2 moment matrix to be minimized down to one. Numerical examples indicate that compared to FWI and WRI, LRWI can conduct successful inversions using an initial model that would be considered too poor, and data with a starting frequency that would be considered too high, for either method in isolation. Specifically, LRWI increases the acceptable starting frequency from 1.0 Hz and 0.5 Hz to 2.0 Hz and 2.5 for the Marmousi model and the Overthrust model, respectively, in the cases of a linear gradient starting model.


Abel Prym maps for isotypical components of Jacobians. Let C be a smooth non rational projective curve over the complex field mathbb C . If A is an abelian subvariety of the Jacobian J(C) , we consider the Abel Prym map varphi A C rightarrow A defined as the composition of the Abel map of C with the norm map of A . The goal of this work is to investigate the degree of the map varphi A in the case where A is one of the components of an isotypical decomposition of J(C) . In this case we obtained a lower bound for mathrm deg ( varphi A) and, under some hypotheses, also an upper bound. We then apply the results obtained to compute degrees of Abel Prym maps in four cases. In particular, these examples show that both bounds are sharp.


Licci binomial edge ideals. We give a complete characterization of graphs whose binomial edge ideal is licci. An important tool is a new general upper bound for the regularity of binomial edge ideals.


A Compatible Finite Element Discretisation for the Moist Compressible Euler Equations. We present new discretisation of the moist compressible Euler equations, using the compatible finite element framework identified in Cotter and Shipton (2012). The discretisation strategy is described and details of the parametrisations of moist processes are presented. A procedure for establishing hydrostatic balance for moist atmospheres is introduced, and the model's performance is demonstrated through several test cases, two of which are new.


Risk Neutral Valuation of Inflation Linked Interest Rate Derivatives. We propose a model for the joint evolution of European inflation, the European Central Bank official interest rate and the short term interest rate, in a stochastic, continuous time setting. We derive the valuation equation for a contingent claim depending potentially on all three factors. This valuation equation reduces to a finite number of Cauchy problems for a degenerate parabolic PDE with non local terms. We show that the price of the contingent claim is the only viscosity solution of the valuation equation. We also provide an efficient numerical scheme to compute the price and implement it in an example.


Coarse free products. We define a notion of free product for coarse spaces that generalizes the corresponding notion of a free product for groups. We show that free products preserve coarse properties such as coarse property C, finite coarse decomposition complexity, and coarse property A. We also give an upper bound estimate on the dimension of a coarse free product in terms of the dimension of its factors.


Learning to Reason in Round based Games Multi task Sequence Generation for Purchasing Decision Making in First person Shooters. Sequential reasoning is a complex human ability, with extensive previous research focusing on gaming AI in a single continuous game, round based decision makings extending to a sequence of games remain less explored. Counter Strike Global Offensive (CS GO), as a round based game with abundant expert demonstrations, provides an excellent environment for multi player round based sequential reasoning. In this work, we propose a Sequence Reasoner with Round Attribute Encoder and Multi Task Decoder to interpret the strategies behind the round based purchasing decisions. We adopt few shot learning to sample multiple rounds in a match, and modified model agnostic meta learning algorithm Reptile for the meta learning loop. We formulate each round as a multi task sequence generation problem. Our state representations combine action encoder, team encoder, player features, round attribute encoder, and economy encoders to help our agent learn to reason under this specific multi player round based scenario. A complete ablation study and comparison with the greedy approach certify the effectiveness of our model. Our research will open doors for interpretable AI for understanding episodic and long term purchasing strategies beyond the gaming community.


Expected Complexity of Routing in Theta 6 and Half Theta 6 Graphs. We study online routing algorithms on the Theta 6 graph and the half Theta 6 graph (which is equivalent to a variant of the Delaunay triangulation). Given a source vertex s and a target vertex t in the Theta 6 graph (resp. half Theta 6 graph), there exists a deterministic online routing algorithm that finds a path from s to t whose length is at most 2 st (resp. 2.89 st) which is optimal in the worst case Bose et al., siam J. on Computing, 44(6) . We propose alternative, slightly simpler routing algorithms that are optimal in the worst case and for which we provide an analysis of the average routing ratio for the Theta 6 graph and half Theta 6 graph defined on a Poisson point process. For the Theta 6 graph, our online routing algorithm has an expected routing ratio of 1.161 (when s and t random) and a maximum expected routing ratio of 1.22 (maximum for fixed s and t where all other points are random), much better than the worst case routing ratio of 2. For the half Theta 6 graph, our memoryless online routing algorithm has an expected routing ratio of 1.43 and a maximum expected routing ratio of 1.58. Our online routing algorithm that uses a constant amount of additional memory has an expected routing ratio of 1.34 and a maximum expected routing ratio of 1.40. The additional memory is only used to remember the coordinates of the starting point of the route. Both of these algorithms have an expected routing ratio that is much better than their worst case routing ratio of 2.89.


Vanadium based neutron Beam Monitor. A prototype quasi parasitic thermal neutron beam monitor based on isotropic neutron scattering from a thin natural vanadium foil and standard 3 He proportional counters is conceptualized, designed, simulated, calibrated, and commissioned. The European Spallation Source designed to deliver the highest integrated neutron flux originating from a pulsed source is currently under construction in Lund, Sweden. The effort to investigate a vanadium based neutron beam monitor was triggered by a list of requirements for Beam Monitors permanently placed in the ESS neutron beams in order to provide reliable monitoring at complex beamlines low attenuation, linear response over a wide range of neutron fluxes, near to constant efficiency for neutron wavelengths in a range of 0.6 10 r A , calibration stability and the possibility to place the system in vacuum are all desirable characteristics. The scattering based prototype, employing a natural vanadium foil and standard 3 He proportional counters, was investigated at the V17 and V20 neutron beamlines of the Helmholtz Zentrum in Berlin, Germany, in several different geometrical configurations of the 3 He proportional counters around the foil. Response linearity is successfully demonstrated for foil thicknesses ranging from 0.04 mm to 3.15 mm. Attenuation lower than 1 for thermal neutrons is demonstrated for the 0.04 mm and 0.125 mm foils. The geometries used for the experiment were simulated allowing for absolute flux calibration and establishing the possible range of efficiencies for various designs of the prototype. The operational flux limits for the beam monitor prototype were established as a dependency of the background radiation and prototype geometry. The herein demonstrated prototype monitors can be employed for neutron fluxes ranging from 10 3 10 10 n s cm 2 .


Some Research Problems in Biometrics The Future Beckons. The need for reliably determining the identity of a person is critical in a number of different domains ranging from personal smartphones to border security from autonomous vehicles to e voting from tracking child vaccinations to preventing human trafficking from crime scene investigation to personalization of customer service. Biometrics, which entails the use of biological attributes such as face, fingerprints and voice for recognizing a person, is being increasingly used in several such applications. While biometric technology has made rapid strides over the past decade, there are several fundamental issues that are yet to be satisfactorily resolved. In this article, we will discuss some of these issues and enumerate some of the exciting challenges in this field.


Algebraic groups as automorphism groups of algebras. We show that every algebraic group scheme over a field with at least 8 elements can be realized as the group of automorphisms of a nonassociative algebra. This is only a modest improvement of the theorem of Gordeev and Popov (2003), but it allows us to give a new characterization of algebraic Lie algebras and to simplify the standard descriptions of Mumford Tate domains and Shimura varieties as moduli spaces. Once the original argument of Gordeev and Popov has been rewritten in the language of schemes, we find that it also applies to algebraic groups over discrete valuation rings.


Mean value methods for solving the heat equation backwards in time. We investigate an iterative mean value method for the inverse (and highly ill posed) problem of solving the heat equation backwards in time. Semi group theory is used to rewrite the solution of the inverse problem as the solution of a fixed point equation for an affine operator, with linear part satisfying special functional analytical properties. We give a convergence proof for the method and obtain convergence rates for the residual. Convergence rates for the iterates are also obtained under the so called source conditions.


Text Data Augmentation Towards better detection of spear phishing emails. Text data augmentation, i.e., the creation of new textual data from an existing text, is challenging. Indeed, augmentation transformations should take into account language complexity while being relevant to the target Natural Language Processing (NLP) task (e.g., Machine Translation, Text Classification). Initially motivated by an application of Business Email Compromise (BEC) detection, we propose a corpus and task agnostic augmentation framework used as a service to augment English texts within our company. Our proposal combines different methods, utilizing BERT language model, multi step back translation and heuristics. We show that our augmentation framework improves performances on several text classification tasks using publicly available models and corpora as well as on a BEC detection task. We also provide a comprehensive argumentation about the limitations of our augmentation framework.


On the Energy Efficiency of Limited Backhaul Cell Free Massive MIMO. We investigate the energy efficiency performance of cell free Massive multiple input multiple output (MIMO), where the access points (APs) are connected to a central processing unit (CPU) via limited capacity links. Thanks to the distributed maximum ratio combining (MRC) weighting at the APs, we propose that only the quantized version of the weighted signals are sent back to the CPU. Considering the effects of channel estimation errors and using the Bussgang theorem to model the quantization errors, an energy efficiency maximization problem is formulated with per user power and backhaul capacity constraints as well as with throughput requirement constraints. To handle this non convex optimization problem, we decompose the original problem into two sub problems and exploit a successive convex approximation (SCA) to solve original energy efficiency maximization problem. Numerical results confirm the superiority of the proposed optimization scheme.


A data based, reduced order, dynamic estimator for reconstruction of non linear flows exhibiting limit cycle oscillations. We apply a data based, linear dynamic estimator to reconstruct the velocity field from measurements at a single sensor point in the wake of an aerofoil. In particular, we consider a NACA0012 airfoil at Re 600 and 16 deg angle of attack. Under these conditions, the flow exhibits a vortex shedding limit cycle. A reduced order model (ROM) of the flow field is extracted using proper orthogonal decomposition (POD). Subsequently, a subspace system identification algorithm (N4SID) is applied to extract directly the estimator matrices from the reduced output of the system (the POD coefficients). We explore systematically the effect of the number of states of the estimator, the sensor location, the type of sensor measurements (one or both velocity components), and the number of POD modes to be recovered. When the signal of a single velocity component (in the stream wise or cross stream directions) is measured, the reconstruction of the first two dominant POD modes strongly depends on the sensor location. We explore this behaviour and provide a physical explanation based on the non linear mode interaction and the spatial distribution of the modes. When however, both components are measured, the performance is very robust, and is almost independent of the sensor location when the optimal number of estimator states is used. Reconstruction of the less energetic modes is more difficult, but still possible.


The unbounded extension of Hille Phillips functional calculus. The extension of Hille Phillips functional calculus of semigroup generators which leads to unbounded operators is given. Connections of this calculus to Bochner Phillips functional calculus are indicated, and several examples are considered.


Generalized Drazin Meromorphic Invertible Operators and Browder's Type Theorems. In this paper we give necessary and sufficient conditions for a bounded linear operator T to be generalized Drazin Riesz invertible or generalized Drazin meromorphic invertible. Also, we study generalized Browder's theorem and generalized a Browder's theorem by means of set of interior points of various parts of spectrum of T .


Residual Intersections and Linear Powers. If I is an ideal in a Gorenstein ring S and S I is Cohen Macaulay, then the same is true for any linked ideal I'. However, such statements hold for residual intersections of higher codimension only under very restrictive hypotheses, not satisfied even by ideals as simple as the ideal L n of minors of a generic 2 x n matrix when n 3. In this paper we initiate the study of a different sort of Cohen Macaulay property that holds for certain general residual intersections of the maximal (interesting) codimension, one less than the analytic spread of I. For example, we prove that if K is the residual intersection of L n by 2n 3 general quadratic forms in L n, then S K is integrally closed with isolated singularity and I n 3 S K is a self dual Maximal Cohen Macaulay module over S K with linear free resolution over S. The technical heart of the paper is a result about ideals of analytic spread 1 whose high powers are linearly presented.


New Extremal bounds for Reachability and Strong Connectivity Preservers under failures. In this paper, we consider the question of computing sparse subgraphs for any input directed graph G (V,E) on n vertices and m edges, that preserves reachability and or strong connectivity structures. We show O(n min cal P sqrt n ,n sqrt cal P ) bound on a subgraph that is an 1 fault tolerant reachability preserver for a given vertex pair set cal P subseteq V times V , i.e., it preserves reachability between any pair of vertices in cal P under single edge (or vertex) failure. Our result is a significant improvement over the previous best O(n cal P ) bound obtained as a corollary of single source reachability preserver construction. We prove our upper bound by exploiting the special structure of single fault tolerant reachability preserver for any pair, and then considering the interaction among such structures for different pairs. In the lower bound side, we show that a 2 fault tolerant reachability preserver for a vertex pair set cal P subseteq V times V of size Omega(n epsilon) , for even any arbitrarily small epsilon , requires at least Omega(n 1 epsilon 8 ) edges. This refutes the existence of linear sized dual fault tolerant preservers for reachability for any polynomial sized vertex pair set. We also present the first sub quadratic bound of at most tilde O (k 2 k n 2 1 k ) size, for strong connectivity preservers of directed graphs under k failures. To the best of our knowledge no non trivial bound for this problem was known before, for a general k . We get our result by adopting the color coding technique of Alon, Yuster, and Zwick JACM'95 .


Miss Tools and Mr Fruit Emergent communication in agents learning about object affordances. Recent research studies communication emergence in communities of deep network agents assigned a joint task, hoping to gain insights on human language evolution. We propose here a new task capturing crucial aspects of the human environment, such as natural object affordances, and of human conversation, such as full symmetry among the participants. By conducting a thorough pragmatic and semantic analysis of the emergent protocol, we show that the agents solve the shared task through genuine bilateral, referential communication. However, the agents develop multiple idiolects, which makes us conclude that full symmetry is not a sufficient condition for a common language to emerge.


Your signature is your password Haptic Passwords on Mobile Devices. In this paper, a new behavioral biometric password based on haptic interaction is described. This "haptic password" system is built on a device that has a force sensitive screen. The user authentication process leverages maximal overlap discrete wavelet transform (MODWT) based feature extraction along with a customized classifier as well as an adaptive template scheme to accommodate users' variations over time. An experimental study was conducted with 29 subjects and we investigated the authentication performance with multiple user postures under simulated forgery attacks. The performance of the model is evaluated based on authentication accuracies. The results suggest that this proposed haptic password system achieves robust high authentication accuracy and scalability, as well as forgery proof performance.


Towards Fundamental Limits of Multi armed Bandits with Random Walk Feedback. In this paper, we consider a new Multi Armed Bandit (MAB) problem where arms are nodes in an unknown and possibly changing graph, and the agent (i) initiates random walks over the graph by pulling arms, (ii) observes the random walk trajectories, and (iii) receives rewards equal to the lengths of the walks. We provide a comprehensive understanding of this problem by studying both the stochastic and the adversarial setting. In the stochastic setting, we show that this problem is not easier than a standard MAB, although additional information is available through random walk trajectories. In the adversarial setting, we show that an extension of the exponential weight algorithm can achieve a regret bound of order widetilde mathcal O left( sqrt kappa T right) , where kappa is a constant that depends on the structure of the graph, instead of the number of arms.


An Image Analogies Approach for Multi Scale Contour Detection. In this paper we deal with contour detection based on the recent image analogy principle which has been successfully used for super resolution, texture and curves synthesis and interactive editing. Hand drawn outlines are initially as benchmarks. Given such a reference image, we present a new method based on this expertise to locate contours of a query image in the same way that it is done for the reference (i.e by analogy). Applying a image analogies for contour detection using hand drawn images as leaning images cannot gives good result for any query image. The contour detection may be improved if we increase the number of learning images such that there will be exist similarity between query image and some reference images. In addition of the hardness of contours drawing task, this will increase considerably the time computation. We investigated in this work, how can we avoid this constraint in order to guaranty that all contour pixels will be located for any query image. Fourteen derived stereo patches, derived from a mathematical study, are the knowledge used in order to locate contours at different scales independently of the light conditions. Comprehensive experiments are conducted on different data sets (BSD 500, Horses of Weizmann). The obtained results show superior performance via precision and recall vs. hand drawn contours at multiple resolutions to the reported state of the art.


Multi functional volumetric meta optics for color and polarization image sensors. Three dimensional elements, with refractive index distribution structured at sub wavelength scale, provide an expansive optical design space that can be harnessed for demonstrating multi functional free space optical devices. Here we present 3D dielectric elements, designed to be placed on top of the pixels of image sensors, that sort and focus light based on its color and polarization with efficiency significantly surpassing 2D absorptive and diffractive filters. The devices are designed via iterative gradient based optimization to account for multiple target functions while ensuring compatibility with existing nanofabrication processes, and experimentally validated using a scaled device that operates at microwave frequencies. This approach combines arbitrary functions into a single compact element even where there is no known equivalent in bulk optics, enabling novel integrated photonic applications.


GraphQL Live Querying with DynamoDB. We present a method of implementing GraphQL live queries at the database level. Our DynamoDB simulation in Go mimics a distributed key value store and implements live queries to expose possible pitfalls. Two key components for implementing live queries are storing fields selected in a live query and determining which object fields have been updated in each database write. A stream(key, fields) request to the system contains fields to include in the live query stream and on subsequent put(key, object) operations, the database asynchronously determines which fields were updated and pushes a new query view to the stream if those fields overlap with the stream() request. Following a discussion of our implementation, we explore motivations for using live queries such as simplifying software communication, minimizing data transfer, and enabling real time data and describe an architecture for building software with GraphQL and live queries.


Demystifying Deep Neural Networks Through Interpretation A Survey. Modern deep learning algorithms tend to optimize an objective metric, such as minimize a cross entropy loss on a training dataset, to be able to learn. The problem is that the single metric is an incomplete description of the real world tasks. The single metric cannot explain why the algorithm learn. When an erroneous happens, the lack of interpretability causes a hardness of understanding and fixing the error. Recently, there are works done to tackle the problem of interpretability to provide insights into neural networks behavior and thought process. The works are important to identify potential bias and to ensure algorithm fairness as well as expected performance.


Differential Inequalities and Univalent Functions. Let mathcal M be the class of analytic functions in the unit disk ID with the normalization f(0) f'(0) 1 0 , and satisfying the condition left z 2 left ( frac z f(z) right )'' f'(z) left( frac z f(z) right) 2 1 right leq 1, quad z in ID. Functions in mathcal M are known to be univalent in ID . In this paper, it is shown that the harmonic mean of two functions in mathcal M are closed, that is, it belongs again to mathcal M . This result also holds for other related classes of normalized univalent functions. A number of new examples of functions in mathcal M are shown to be starlike in ID . However we conjecture that functions in mathcal M are not necessarily starlike, as apparently supported by other examples.


Symmetry Breaking in UCA Based Vortex Waves. In literature, it is often said that a uniform circular array (UCA) composed of a sufficient number of radiating elements is able to generate a vortex wave with arbitrary topological charge. While providing a very simple and intuitive solution without the need for any synthesis method, the excitation of UCAs by means of a progressive phase shift does not always guarantee that vortex waves are correctly generated, since a major role is played by the symmetry and radiation properties of each individual element which constitutes the array. When the UCAs are employed in vortex communication links, these symmetry properties strongly affect the orthogonality of the channel modes and, therefore, the communication efficiency. In this work, the symmetry breaking associated with the radiation of vortex waves by UCAs and its impact on the mode orthogonality are explored in detail.


Review and experimental verification of X ray darkfield signal interpretations with respect to quantitative isotropic and anisotropic darkfield computed tomography. Talbot( Lau) interferometric X ray darkfield imaging has, over the past decade, gained substantial interest for its ability to provide insights into a sample's microstructure below the imaging resolution by means of ultra small angle scattering effects. Quantitative interpretations of such images depend on models of the signal origination process that relate the observable image contrast to underlying physical processes. A review of such models is given here and their relation to the wave optical derivations by Yashiro et al. and Lynch et al. as well as to small angle X ray scattering is discussed. Fresnel scaling is introduced to explain the characteristic distance dependence observed in cone beam geometries. Moreover, a model describing the anisotropic signals of fibrous objects is derived. The Yashiro Lynch model is experimentally verified both in radiographic and tomographic imaging in a monochromatic synchrotron setting, considering both the effects of material and positional dependence of the resulting darkfield contrast. The effect of varying sample detector distance on the darkfield signal is shown to be non negligible for tomographic imaging, yet can be largely compensated for by symmetric acquisition trajectories. The derived orientation dependence of the darkfield contrast of fibrous materials both with respect to variations in autocorrelation width and scattering cross section is experimentally validated using carbon fiber reinforced rods.


Abundance of Matrices In Gaussian Integers. In HLS , N. Hindman, I. Leader and D. Strauss proved the abundance for a matrix with rational entries. In this paper we proved it for the ring of Gaussian integers. We showed the result when the matrix is taken with entries from mathbb Q left i right . The main obstacle is in the field of complex numbers, no linear order relation exists. We overcome that in a tactful way.


Airfoil Lift Calculation Using Wind Tunnel Wall Pressures. An experimental method to calculate lift using static pressure ports on the wind tunnel walls and its associated limits has been explored in this paper. While the wall pressure measurement (WPM) technique for lift calculation has been implemented by other researchers, there is a lack of literature on the sensitivity of the WPM method to test section size, airfoil chord, and model thickness. Chord sensitivity studies showed that the airfoil chord plays an important role in the accuracy of the measurements and needs to be appropriately sized for a given test section dimensions for optimum performance of the WPM method. A chord sensitivity parameter ( CSP ) was formulated and a lower limit ( 0.025 ) was established to relate the ideal chord length to wind tunnel test section dimensions to ensure best lift measuring capabilities. Finally, a combination of symmetric and cambered airfoils with thicknesses varying from 6 21 were tested and successfully validated against reference data for a freestream chord Reynolds number range of 100,000 to 550,000. The WPM method was found to be sensitive to varying surface flow conditions and airfoil thickness and has been shown to be a viable replacement to traditional lift measurement techniques using load balances or surface pressure ports.


Sparse Fourier Transforms on Rank 1 Lattices for the Rapid and Low Memory Approximation of Functions of Many Variables. We consider fast, provably accurate algorithms for approximating functions on the d dimensional torus, f mathbb T d rightarrow mathbb C , that are sparse (or compressible) in the Fourier basis. In particular, suppose that the Fourier coefficients of f , c bf k (f) bf k in mathbb Z d , are concentrated in a finite set I subset mathbb Z d so that min Omega subset I s.t. Omega s left f sum bf k in Omega c bf k (f) e 2 pi i bf k cdot circ right 2 epsilon f 2 holds for s ll I and epsilon in (0,1) . We aim to identify a near minimizing subset Omega subset I and accurately approximate the associated Fourier coefficients c bf k (f) bf k in Omega as rapidly as possible. We present both deterministic as well as randomized algorithms using O(s 2 d log c ( I )) time memory and O(s d log c ( I )) time memory, respectively. Most crucially, all of the methods proposed herein achieve these runtimes while satisfying theoretical best s term approximation guarantees which guarantee their numerical accuracy and robustness to noise for general functions. These are achieved by modifying several one dimensional Sparse Fourier Transform (SFT) methods to subsample a function along a reconstructing rank 1 lattice for the given frequency set I to rapidly identify a near minimizing subset Omega subset I without using anything about the lattice beyond its generating vector. This requires new fast and low memory frequency identification techniques capable of rapidly recovering vector valued frequencies in mathbb Z d as opposed to simple integer frequencies in the univariate setting. Two different strategies are proposed and analyzed, each with different accuracy versus computational speed and memory tradeoffs.


Robotic Arm Control and Task Training through Deep Reinforcement Learning. This paper proposes a detailed and extensive comparison of the Trust Region Policy Optimization and DeepQ Network with Normalized Advantage Functions with respect to other state of the art algorithms, namely Deep Deterministic Policy Gradient and Vanilla Policy Gradient. Comparisons demonstrate that the former have better performances then the latter when asking robotic arms to accomplish manipulation tasks such as reaching a random target pose and pick placing an object. Both simulated and real world experiments are provided. Simulation lets us show the procedures that we adopted to precisely estimate the algorithms hyper parameters and to correctly design good policies. Real world experiments let show that our polices, if correctly trained on simulation, can be transferred and executed in a real environment with almost no changes.


Wireless Federated Learning with Local Differential Privacy. In this paper, we study the problem of federated learning (FL) over a wireless channel, modeled by a Gaussian multiple access channel (MAC), subject to local differential privacy (LDP) constraints. We show that the superposition nature of the wireless channel provides a dual benefit of bandwidth efficient gradient aggregation, in conjunction with strong LDP guarantees for the users. We propose a private wireless gradient aggregation scheme, which shows that when aggregating gradients from K users, the privacy leakage per user scales as mathcal O big( frac 1 sqrt K big) compared to orthogonal transmission in which the privacy leakage scales as a constant. We also present analysis for the convergence rate of the proposed private FL aggregation algorithm and study the tradeoffs between wireless resources, convergence, and privacy.


Semicontinuity of Singularity Invariants in Families of Formal Power Series. The problem we are considering came up in connection with the classification of singularities in positive characteristic. Then it is important that certain invariants like the determinacy can be bounded simultaneously in families of formal power series parametrized by some algebraic variety. In contrast to the case of analytic or algebraic families, where such a bound is well known, the problem is rather subtle, since the modules defining the invariants are quasi finite but not finite over the base space. In fact, in general the fibre dimension is not semicontinuous and the quasi finite locus is not open. However, if we pass to the completed fibers in a family of modules we can prove that their fiber dimension is semicontinuous under some mild conditions. We prove this in a rather general framework by introducing and using the completed and the Henselian tensor product, the proof being more involved as one might think. Finally we apply this to the Milnor number and the Tjurina number in families of hypersurfaces and complete intersections and to the determinacy in a family of ideals.


On the number of symmetric presentations of a determinantal hypersurface. A hypersurface H in mathbb P r of degree n is called determinantal if it is the zero locus of a polynomial of the form operatorname det (x 0 A 0 ldots x r A r) for some (r 1) tuple of n times n matrices A (A 0, ldots, A r) . We will refer to A as a presentation of H . Another presentation B (B 0, B 1, ldots, B r) of H can be obtained by choosing g 1, g 2 in operatorname GL n and setting B i g 1 A i g 2 for every i 0, 1, ldots, r . In this case A and B are called equivalent. The second author and A. Vistoli have shown that for r geq 3 a general determinantal hypersurface admits only finitely many presentations up to equivalence. In this paper we prove a similar result for symmetric presentations for every r geq 2 . Here the matrices A 0, ldots, A r are required to be symmetric, and two (r 1) tuples of n times n symmetric matrices A (A 0, A 1, ldots, A r) and B (B 0, B 1, ldots, B r) are considered equivalent if there exists a g in operatorname GL n such that B i g rm transpose A i g for every i 0, ldots, r .


A Survey on Machine Reading Comprehension Tasks, Evaluation Metrics and Benchmark Datasets. Machine Reading Comprehension (MRC) is a challenging Natural Language Processing(NLP) research field with wide real world applications. The great progress of this field in recent years is mainly due to the emergence of large scale datasets and deep learning. At present, a lot of MRC models have already surpassed human performance on various benchmark datasets despite the obvious giant gap between existing MRC models and genuine human level reading comprehension. This shows the need for improving existing datasets, evaluation metrics, and models to move current MRC models toward "real" understanding. To address the current lack of comprehensive survey of existing MRC tasks, evaluation metrics, and datasets, herein, (1) we analyze 57 MRC tasks and datasets and propose a more precise classification method of MRC tasks with 4 different attributes (2) we summarized 9 evaluation metrics of MRC tasks, 7 attributes and 10 characteristics of MRC datasets (3) We also discuss key open issues in MRC research and highlighted future research directions. In addition, we have collected, organized, and published our data on the companion website(https mrc datasets.github.io ) where MRC researchers could directly access each MRC dataset, papers, baseline projects, and the leaderboard.


Iterative Paraphrastic Augmentation with Discriminative Span Alignment. We introduce a novel paraphrastic augmentation strategy based on sentence level lexically constrained paraphrasing and discriminative span alignment. Our approach allows for the large scale expansion of existing resources, or the rapid creation of new resources from a small, manually produced seed corpus. We illustrate our framework on the Berkeley FrameNet Project, a large scale language understanding effort spanning more than two decades of human labor. Based on roughly four days of collecting training data for the alignment model and approximately one day of parallel compute, we automatically generate 495,300 unique (Frame, Trigger) combinations annotated in context, a roughly 50x expansion atop FrameNet v1.7.


Deep Multi Facial patches Aggregation Network for Expression Classification from Face Images. Emotional Intelligence in Human Computer Interaction has attracted increasing attention from researchers in multidisciplinary research fields including psychology, computer vision, neuroscience, artificial intelligence, and related disciplines. Human prone to naturally interact with computers face to face. Human Expressions is an important key to better link human and computers. Thus, designing interfaces able to understand human expressions and emotions can improve Human Computer Interaction (HCI) for better communication. In this paper, we investigate HCI via a deep multi facial patches aggregation network for Face Expression Recognition (FER). Deep features are extracted from facial parts and aggregated for expression classification. Several problems may affect the performance of the proposed framework like the small size of FER datasets and the high number of parameters to learn. For That, two data augmentation techniques are proposed for facial expression generation to expand the labeled training. The proposed framework is evaluated on the extended Cohn Konade dataset (CK ) and promising results are achieved.


How do academic topics shift across altmetric sources? A case study of the research area of Big Data. Taking the research area of Big Data as a case study, we propose an approach for exploring how academic topics shift through the interactions among audiences across different altmetric sources. Data used is obtained from Web of Science (WoS) and Altmetric.com, with a focus on Blog, News, Policy, Wikipedia, and Twitter. Author keywords from publications and terms from online events are extracted as the main topics of the publications and the online discussion of their audiences at Altmetric. Different measures are applied to determine the (dis)similarities between the topics put forward by the publication authors and those by the online audiences. Results show that overall there are substantial differences between the two sets of topics around Big Data scientific research. The main exception is Twitter, where high frequency hashtags in tweets have a stronger concordance with the author keywords in publications. Among the online communities, Blogs and News show a strong similarity in the terms commonly used, while Policy documents and Wikipedia articles exhibit the strongest dissimilarity in considering and interpreting Big Data related research. Specifically, the audiences not only focus on more easy to understand academic topics related to social or general issues, but also extend them to a broader range of topics in their online discussions. This study lays the foundations for further investigations about the role of online audiences in the transformation of academic topics across altmetric sources, and the degree of concern and reception of scholarly contents by online communities.


Momentum Contrast for Unsupervised Visual Representation Learning. We present Momentum Contrast (MoCo) for unsupervised visual representation learning. From a perspective on contrastive learning as dictionary look up, we build a dynamic dictionary with a queue and a moving averaged encoder. This enables building a large and consistent dictionary on the fly that facilitates contrastive unsupervised learning. MoCo provides competitive results under the common linear protocol on ImageNet classification. More importantly, the representations learned by MoCo transfer well to downstream tasks. MoCo can outperform its supervised pre training counterpart in 7 detection segmentation tasks on PASCAL VOC, COCO, and other datasets, sometimes surpassing it by large margins. This suggests that the gap between unsupervised and supervised representation learning has been largely closed in many vision tasks.


Cardiovascular deconditioning during long term spaceflight through multiscale modeling. Human spaceflight has been fascinating man for centuries, representing the intangible need to explore the unknown, challenge new frontiers, advance technology and push scientific boundaries further. A key area of importance is cardiovascular deconditioning, that is, the collection of hemodynamic changes from blood volume shift and reduction to altered cardiac function induced by sustained presence in microgravity. A thorough grasp of the 0G adjustment point per se is important from a physiological viewpoint and fundamental for astronauts' safety and physical capability on long spaceflights. However, hemodynamic details of cardiovascular deconditioning are incomplete, inconsistent and poorly measured to date thus a computational approach can be quite valuable. We present a validated 1D 0D multiscale model to study the cardiovascular response to long term 0G spaceflight in comparison to the 1G supine reference condition. Cardiac work, oxygen consumption and contractility indexes, as well as central mean and pulse pressures were reduced, augmenting the cardiac deconditioning scenario. Exercise tolerance of a spaceflight traveler was found to be comparable to an untrained person with a sedentary lifestyle. At the capillary venous level significant waveform alterations were observed which can modify the regular perfusion and average nutrient supply at the cellular level. The present study suggests special attention should be paid to future long spaceflights which demand prompt physical capacity at the time of restoration of partial gravity (e.g., Moon Mars landing). Since spaceflight deconditioning has features similar to accelerated aging understanding deconditioning mechanisms in microgravity are also relevant to the understanding of aging physiology on Earth.


Vidange d'un r 'eservoir. We show in this article that depending on the flow conditions the same fluid can be considered as a perfect fluid or on the contrary as viscous fluid. These properties are addressed by emptying a tank. we show that we pass from one regime to another by just changing the length of the outlet tube of the tank is drained. This change of regime takes place in accordance with a criterion defined in the theoretical part.


Best First Beam Search. Decoding for many NLP tasks requires an effective heuristic algorithm for approximating exact search since the problem of searching the full output space is often intractable, or impractical in many settings. The default algorithm for this job is beam search a pruned version of breadth first search. Quite surprisingly, beam search often returns better results than exact inference due to beneficial search bias for NLP tasks. In this work, we show that the standard implementation of beam search can be made up to 10x faster in practice. Our method assumes that the scoring function is monotonic in the sequence length, which allows us to safely prune hypotheses that cannot be in the final set of hypotheses early on. We devise effective monotonic approximations to popular nonmonontic scoring functions, including length normalization and mutual information decoding. Lastly, we propose a memory reduced variant of Best First Beam Search, which has a similar beneficial search bias in terms of downstream performance, but runs in a fraction of the time.


Automatic Registration between Cone Beam CT and Scanned Surface via Deep Pose Regression Neural Networks and Clustered Similarities. Computerized registration between maxillofacial cone beam computed tomography (CT) images and a scanned dental model is an essential prerequisite in surgical planning for dental implants or orthognathic surgery. We propose a novel method that performs fully automatic registration between a cone beam CT image and an optically scanned model. To build a robust and automatic initial registration method, our method applies deep pose regression neural networks in a reduced domain (i.e., 2 dimensional image). Subsequently, fine registration is performed via optimal clusters. Majority voting system achieves globally optimal transformations while each cluster attempts to optimize local transformation parameters. The coherency of clusters determines their candidacy for the optimal cluster set. The outlying regions in the iso surface are effectively removed based on the consensus among the optimal clusters. The accuracy of registration was evaluated by the Euclidean distance of 10 landmarks on a scanned model which were annotated by the experts in the field. The experiments show that the proposed method's registration accuracy, measured in landmark distance, outperforms other existing methods by 30.77 to 70 . In addition to achieving high accuracy, our proposed method requires neither human interactions nor priors (e.g., iso surface extraction). The main significance of our study is twofold 1) the employment of light weighted neural networks which indicates the applicability of neural network in extracting pose cues that can be easily obtained and 2) the introduction of an optimal cluster based registration method that can avoid metal artifacts during the matching procedures.


Blade Products and the Angle Bivector of Subspaces. Principal angles are used to define an angle bivector of subspaces, which fully describes their relative inclination. Its exponential is related to the Clifford geometric product of blades, gives rotors connecting subspaces via minimal geodesics in Grassmannians, and decomposes giving Pl "ucker coordinates, projection factors and angles with various subspaces. This leads to new geometric interpretations for this product and its properties, and to formulas relating other blade products (scalar, inner, outer, etc., including those of Grassmann algebra) to angles between subspaces. Contractions are linked to an asymmetric angle, while commutators and anticommutators involve hyperbolic functions of the angle bivector, shedding new light on their properties.


Another look at the Hofer Zehnder conjecture. We give a different and simpler proof of a slightly modified (and weaker) variant of a recent theorem of Shelukhin extending Franks' "two or infinitely many" theorem to Hamiltonian diffeomorphisms in higher dimensions and establishing a sufficiently general case of the Hofer Zehnder conjecture. A few ingredients of our proof are common with Shelukhin's original argument, the key of which is Seidel's equivariant pair of pants product, but the new proof highlights a different aspect of the periodic orbit dynamics of Hamiltonian diffeomorphisms.


Terawatt attosecond X ray source driven by a plasma accelerator. Plasma accelerators can generate ultra high brightness electron beams which open the door to light sources with smaller physical footprint and properties un achievable with conventional accelerator technology. In this paper we show that electron beams from Plasma WakeField Accelerators (PWFAs) can generate few cycle coherent tunable soft X ray pulses with TW peak power and a duration of tens of attoseconds, an order of magnitude more powerful, shorter and with better stability than state of the art X ray Free Electron Lasers (XFELs). Such a light source would significantly enhance the ability to experimentally investigate electron dynamics on ultrafast timescales, having broad ranging impact across multiple scientific fields. Rather than starting from noise as in typical XFELs, the X rays emission in this approach is driven by coherent radiation from a pre bunched, near Mega Ampere (MA) current electron beam of attosecond duration. This relaxes the restrictive tolerances which have hindered progress towards utilizing plasma accelerators as coherent X ray drivers thus far, presenting a new paradigm for advanced accelerator light source applications.


Desiderata for Planning Systems in General Purpose Service Robots. General purpose service robots are expected to undertake a broad range of tasks at the request of users. Knowledge representation and planning systems are essential to flexible autonomous robots, but the field lacks a unified perspective on which features are essential for general purpose service robots. Progress towards planning and reasoning for general purpose service robots is hindered by differing assumptions about users, the environment, and the overall robot system. In this position paper, we propose desiderata for planning and reasoning systems to promote general purpose service robots. Each proposed item draws on our experience with research on service robots in the office and home and on the demands of these environments. Our desiderata emphasize support for natural human interfaces as well as for robust fallback methods when interactions with humans and the environment fail. We highlight relevant work towards these goals.


Height estimation from single aerial images using a deep ordinal regression network. Understanding the 3D geometric structure of the Earth's surface has been an active research topic in photogrammetry and remote sensing community for decades, serving as an essential building block for various applications such as 3D digital city modeling, change detection, and city management. Previous researches have extensively studied the problem of height estimation from aerial images based on stereo or multi view image matching. These methods require two or more images from different perspectives to reconstruct 3D coordinates with camera information provided. In this paper, we deal with the ambiguous and unsolved problem of height estimation from a single aerial image. Driven by the great success of deep learning, especially deep convolution neural networks (CNNs), some researches have proposed to estimate height information from a single aerial image by training a deep CNN model with large scale annotated datasets. These methods treat height estimation as a regression problem and directly use an encoder decoder network to regress the height values. In this paper, we proposed to divide height values into spacing increasing intervals and transform the regression problem into an ordinal regression problem, using an ordinal loss for network training. To enable multi scale feature extraction, we further incorporate an Atrous Spatial Pyramid Pooling (ASPP) module to extract features from multiple dilated convolution layers. After that, a post processing technique is designed to transform the predicted height map of each patch into a seamless height map. Finally, we conduct extensive experiments on ISPRS Vaihingen and Potsdam datasets. Experimental results demonstrate significantly better performance of our method compared to the state of the art methods.


Reconstruction of Multi user Binary Subspace Chirps. We consider codebooks of Complex Grassmannian Lines consisting of Binary Subspace Chirps (BSSCs) in N 2 m dimensions. BSSCs are generalizations of Binary Chirps (BCs), their entries are either fourth roots of unity, or zero. BSSCs consist of a BC in a non zero subspace, described by an on off pattern. Exploring the underlying binary symplectic geometry, we provide a unified framework for BSSC reconstruction both on off pattern and BC identification are related to stabilizer states of the underlying Heisenberg Weyl algebra. In a multi user random access scenario we show feasibility of reliable reconstruction of multiple simultaneously transmitted BSSCs with low complexity.


Breaking the Hidden Irreducible Polynomials Scheme. In 2019 G 'omez described a new public key cryptography scheme based on ideas from multivariate public key cryptography using hidden irreducible polynomials. We show that the scheme's design has a flaw which lets an attacker recover the private key directly from the public key.


Class Aware Domain Adaptation for Improving Adversarial Robustness. Recent works have demonstrated convolutional neural networks are vulnerable to adversarial examples, i.e., inputs to machine learning models that an attacker has intentionally designed to cause the models to make a mistake. To improve the adversarial robustness of neural networks, adversarial training has been proposed to train networks by injecting adversarial examples into the training data. However, adversarial training could overfit to a specific type of adversarial attack and also lead to standard accuracy drop on clean images. To this end, we propose a novel Class Aware Domain Adaptation (CADA) method for adversarial defense without directly applying adversarial training. Specifically, we propose to learn domain invariant features for adversarial examples and clean images via a domain discriminator. Furthermore, we introduce a class aware component into the discriminator to increase the discriminative power of the network for adversarial examples. We evaluate our newly proposed approach using multiple benchmark datasets. The results demonstrate that our method can significantly improve the state of the art of adversarial robustness for various attacks and maintain high performances on clean images.


Smooth subsolutions of the discounted Hamilton Jacobi equations. For the discounted Hamilton Jacobi equation, lambda u H(x,d x u) 0, x in M, we construct C 1,1 subsolutions which are indeed solutions on the projected Aubry set. The smoothness of such subsolutions can be improved under additional hyperbolicity assumptions. As applications, we can use such subsolutions to identify the maximal global attractor of the associated conformally symplectic flow and to control the convergent speed of the Lax Oleinik semigroups


On localized signature and higher rho invariant of fibered manifolds. Higher index of signature operator is a far reaching generalization of signature of a closed oriented manifold. When two closed oriented manifolds are homotopy equivalent, one can define a secondary invariant of the relative signature operator called higher rho invariant. The higher rho invariant detects the topological nonrigidity of a manifold. In this paper, we prove product formulas for higher index and higher rho invariant of signature operator on fibered manifolds. Our result implies the classical product formula for numerical signature of fiber manifolds obtained by Chern, Hirzebruch, and Serre in "On the index of a fibered manifold". We also give a new proof of the product formula for higher rho invariant of signature operator on product manifolds, which is parallel to the product formula for higher rho invariant of Dirac operator on product manifolds obtained by Xie and Yu in "Positive scalar curvature, higher rho invariants and localization algebras" and Zeidler in "Positive scalar curvature and product formulas for secondary index invariants".


Estimates of the Bergman kernel on Teichmuller space. In this paper, a comparison between the Bergman kernel form and the pushforward measure of the Masur Veech meaure on the Teichmuller space of genus g ge 2 is obtained.


Thermodynamic Consistent Neural Networks for Learning Material Interfacial Mechanics. For multilayer materials in thin substrate systems, interfacial failure is one of the most challenges. The traction separation relations (TSR) quantitatively describe the mechanical behavior of a material interface undergoing openings, which is critical to understand and predict interfacial failures under complex loadings. However, existing theoretical models have limitations on enough complexity and flexibility to well learn the real world TSR from experimental observations. A neural network can fit well along with the loading paths but often fails to obey the laws of physics, due to a lack of experimental data and understanding of the hidden physical mechanism. In this paper, we propose a thermodynamic consistent neural network (TCNN) approach to build a data driven model of the TSR with sparse experimental data. The TCNN leverages recent advances in physics informed neural networks (PINN) that encode prior physical information into the loss function and efficiently train the neural networks using automatic differentiation. We investigate three thermodynamic consistent principles, i.e., positive energy dissipation, steepest energy dissipation gradient, and energy conservative loading path. All of them are mathematically formulated and embedded into a neural network model with a novel defined loss function. A real world experiment demonstrates the superior performance of TCNN, and we find that TCNN provides an accurate prediction of the whole TSR surface and significantly reduces the violated prediction against the laws of physics.


Counting integral points on some homogeneous varieties with large reductive stabilizers. Let G be a semisimple group over rational numbers and H is a subgroup over rational numbers. Given a representation of G and an integral vector x whose stabilizer is equal to H. In this paper we investigate the asymptotic of integral points on Gx with bounded height. We find its asymptotic up to an implicit constant when H is large in G but we allow the presence of intermediate subgroups. This is achieved by a novel combination of two equidistribution results in two different settings one is that of Eskin, Mozes and Shah on a Lie group modulo a lattice and the other one is a result of Chamber Loir and Tschinkel on a smooth projective variety with a normal crossing divisor.


Generating clause sequences of a CNF formula. Given a CNF formula Phi with clauses C 1, ldots,C m and variables V x 1, ldots,x n , a truth assignment a V rightarrow 0,1 of Phi leads to a clause sequence sigma Phi(a) (C 1(a), ldots,C m(a)) in 0,1 m where C i(a) 1 if clause C i evaluates to 1 under assignment a , otherwise C i(a) 0 . The set of all possible clause sequences carries a lot of information on the formula, e.g. SAT, MAX SAT and MIN SAT can be encoded in terms of finding a clause sequence with extremal properties. We consider a problem posed at Dagstuhl Seminar 19211 "Enumeration in Data Management" (2019) about the generation of all possible clause sequences of a given CNF with bounded dimension. We prove that the problem can be solved in incremental polynomial time. We further give an algorithm with polynomial delay for the class of tractable CNF formulas. We also consider the generation of maximal and minimal clause sequences, and show that generating maximal clause sequences is NP hard, while minimal clause sequences can be generated with polynomial delay.


Large deviations for random walks on Gromov hyperbolic spaces. Let Gamma be a countable group acting on a geodesic Gromov hyperbolic metric space X and mu a probability measure on Gamma whose support generates a non elementary subsemigroup. Under the assumption that mu has a finite exponential moment, we establish large deviations results for the distance and the translation length of a random walk with driving measure mu . From our results, we deduce a special case of a conjecture regarding large deviations of spectral radii of random matrix products.


Evaluation of Abramowitz functions in the right half of the complex plane. A numerical scheme is developed for the evaluation of Abramowitz functions J n in the right half of the complex plane. For n 1, , ldots, , 2 , the scheme utilizes series expansions for z 1 and asymptotic expansions for z R with R determined by the required precision, and modified Laurent series expansions which are precomputed via a least squares procedure to approximate J n accurately and efficiently on each sub region in the intermediate region 1 le z le R . For n 2 , J n is evaluated via a recurrence relation. The scheme achieves nearly machine precision for n 1, ldots, 2 , with the cost about four times of evaluating a complex exponential per function evaluation.


Spectral multipliers for Schr "odinger operators. We prove a sharp H "ormander multiplier theorem for Schr "odinger operators H Delta V on mathbb R n . The result is obtained under certain condition on a weighted L infty estimate, coupled with a weighted L 2 estimate for H , which is a weaker condition than that for nonnegative operators via the heat kernel approach. Our approach is elaborated in one dimension with potential V belonging to certain critical weighted L 1 class. Namely, we assume that int (1 x ) V(x) dx is finite and H has no resonance at zero. In the resonance case we assume int (1 x 2) V(x) dx is finite.


Computing actions on cusp forms. For positive integers k and N , we describe how to compute the natural action of SL 2( mathbb Z ) on the space of cusp forms S k( Gamma(N)) , where a cusp form is given by sufficiently many terms of its q expansion. This will reduce to computing the action of the Atkin Lehner operator on S k( Gamma) for a congruence subgroup Gamma 1(N) subseteq Gamma subseteq Gamma 0(N) . Our motivating application of such fundamental computations is to compute explicit models of some modular curves X G .


Tightening Curves on Surfaces Monotonically with Applications. We prove the first polynomial bound on the number of monotonic homotopy moves required to tighten a collection of closed curves on any compact orientable surface, where the number of crossings in the curve is not allowed to increase at any time during the process. The best known upper bound before was exponential, which can be obtained by combining the algorithm of de Graaf and Schrijver J. Comb. Theory Ser. B, 1997 together with an exponential upper bound on the number of possible surface maps. To obtain the new upper bound we apply tools from hyperbolic geometry, as well as operations in graph drawing algorithms the cluster and pipe expansions to the study of curves on surfaces. As corollaries, we present two efficient algorithms for curves and graphs on surfaces. First, we provide a polynomial time algorithm to convert any given multicurve on a surface into minimal position. Such an algorithm only existed for single closed curves, and it is known that previous techniques do not generalize to the multicurve case. Second, we provide a polynomial time algorithm to reduce any k terminal plane graph (and more generally, surface graph) using degree 1 reductions, series parallel reductions, and Delta Y transformations for arbitrary integer k . Previous algorithms only existed in the planar setting when k le 4 , and all of them rely on extensive case by case analysis based on different values of k . Our algorithm makes use of the connection between electrical transformations and homotopy moves, and thus solves the problem in a unified fashion.


Generalized Calabi type Kahler surfaces. In this paper we give classification of K "ahler surfaces of generalized Calabi type.