Stein's method for the Poisson Dirichlet distribution and the Ewens Sampling Formula, with applications to Wright Fisher models. We provide a general theorem bounding the error in the approximation of a random measure of interest for example, the empirical population measure of types in a Wright Fisher model and a Dirichlet process, which is a measure having Poisson Dirichlet distributed atoms with i.i.d. labels from a diffuse distribution. The implicit metric of the approximation theorem captures the sizes and locations of the masses, and so also yields bounds on the approximation between the masses of the measure of interest and the Poisson Dirichlet distribution. We apply the result to bound the error in the approximation of the stationary distribution of types in the finite Wright Fisher model with infinite alleles mutation structure (not necessarily parent independent) by the Poisson Dirichlet distribution. An important consequence of our result is an explicit upper bound on the total variation distance between the random partition generated by sampling from a finite Wright Fisher stationary distribution, and the Ewens Sampling Formula. The bound is small if the sample size n is much smaller than N 1 6 log(N) 1 2 , where N is the total population size. Our analysis requires a result of separate interest, giving an explicit bound on the second moment of the number of types of a finite Wright Fisher stationary distribution. The general approximation result follows from a new development of Stein's method for the Dirichlet process, which follows by viewing the Dirichlet process as the stationary distribution of a Fleming Viot process, and then applying Barbour's generator approach.


Positive solutions for semilinear fractional elliptic problems involving an inverse fractional operator. This paper is devoted to the study of the existence of positive solutions for a problem related to a higher order fractional differential equation involving a nonlinear term depending on a fractional differential operator, ( Delta) alpha u lambda u ( Delta) beta u p 1 u quad mbox in quad Omega qquad ( Delta) j u 0 quad mbox on quad partial Omega, quad mbox for quad j in mathbb Z , 0 leq j alpha where Omega is a bounded domain in mathbb R N , 0 beta 1 , beta alpha beta 1 and lambda 0 . In particular, we study the fractional elliptic problem, ( Delta) alpha beta u lambda( Delta) beta u u p 1 u quad mbox in quad Omega qquad u 0 quad hbox on quad partial Omega, and we prove existence or nonexistence of positive solutions depending on the parameter lambda 0 , up to the critical value of the exponent p , i.e., for 1 p leq 2 mu 1 where mu alpha beta and 2 mu frac 2N N 2 mu is the critical exponent of the Sobolev embedding.


Asymptotic dimension of planes and planar graphs. We show that the asymptotic dimension of a geodesic space that is homeomorphic to a subset in the plane is at most three. In particular, the asymptotic dimension of the plane and any planar graph is at most three.


Residual equidistribution of modular symbols and cohomology classes for quotients of hyperbolic n space. We provide a new and simple automorphic method using Eisenstein series to study the equidistribution of modular symbols modulo primes, which we apply to prove an average version of a conjecture of Mazur and Rubin. More precisely, we prove that modular symbols corresponding to a Hecke basis of weight 2 cusp forms are asymptotically jointly equidistributed mod p while we allow restrictions on the location of the cusps. As an application, we obtain a residual equidistribution result for Dedekind sums. Furthermore, we calculate the variance of the distribution and show a surprising bias with connections to perturbation theory. Additionally, we prove the full conjecture in some particular cases using a connection to Eisenstein congruences. Finally, our methods generalise to equidistribution results for cohomology classes of finite volume quotients of n dimensional hyperbolic space.


Point groups over singular cubics. In this paper, we highlight that the point group structure of elliptic curves over finite or infinite fields, may be also observed on singular cubics with a quadratic component. Starting from this, we are able to introduce in a very general way a group's structure over any kind of conics. In the case of conics over finite fields, we see that the point group is cyclic and lies on the quadric the straight line component plays a role which may be not explicitly visible in the algebraic description of point composition, but it is indispensable in the geometric description. Moreover, some applications to cryptography are described, considering convenient parametrizations of the conics. Finally, we perform an evaluation of the complexity of the operations involved in the parametric groups and consequently in the cryptographic applications.


ATCN Resource Efficient Processing of Time Series on Edge. This paper presents a scalable deep learning model called Agile Temporal Convolutional Network (ATCN) for high accurate fast classification and time series prediction in resource constrained embedded systems. ATCN is a family of compact networks with formalized hyperparameters that enable application specific adjustments to be made to the model architecture. It is primarily designed for embedded edge devices with very limited performance and memory, such as wearable biomedical devices and real time reliability monitoring systems. ATCN makes fundamental improvements over the mainstream temporal convolutional neural networks, including residual connections to increase the network depth and accuracy, and the incorporation of separable depth wise convolution to reduce the computational complexity of the model. As part of the present work, two ATCN families, namely T0, and T1 are also presented and evaluated on different ranges of embedded processors Cortex M7 and Cortex A57 processor. An evaluation of the ATCN models against the best in class InceptionTime and MiniRocket shows that ATCN almost maintains accuracy while improving the execution time on a broad range of embedded and cyber physical applications with demand for real time processing on the embedded edge. At the same time, in contrast to existing solutions, ATCN is the first time series classifier based on deep learning that can be run bare metal on embedded microcontrollers (Cortex M7) with limited computational performance and memory capacity while delivering state of the art accuracy.


Non existence results for stochastic wave equations in one dimension. The purpose of this paper is extend recent results of Bonder Groisman and Foondun Nualart to the stochastic wave equation. In particular, a suitable integrability condition for non existence of global solutions is derived.


On Horadam Lucas sequence. Horadam introduced a new generalized sequence of numbers, describing its key features and the special sub sequences that are obtained depending on the choices of initial parameters. This sequence and its sub sequences are known as the Horadam, generalized Fibonacci, and generalized Lucas numbers, respectively. In the present study, we propose another new sequence, which satisfies a second order recurrence relation, in addition to Horadam's definition. Further, we prove the Binet's formula, some famous identities, and summation formulas for this new sequence. In particular, we demonstrate the interrelationships between our new sequence and the Horadam sequence.


3D Meta Point Signature Learning to Learn 3D Point Signature for 3D Dense Shape Correspondence. Point signature, a representation describing the structural neighborhood of a point in 3D shapes, can be applied to establish correspondences between points in 3D shapes. Conventional methods apply a weight sharing network, e.g., any kind of graph neural networks, across all neighborhoods to directly generate point signatures and gain the generalization ability by extensive training over a large amount of training samples from scratch. However, these methods lack the flexibility in rapidly adapting to unseen neighborhood structures and thus generalizes poorly on new point sets. In this paper, we propose a novel meta learning based 3D point signature model, named 3Dmetapointsignature (MEPS) network, that is capable of learning robust point signatures in 3D shapes. By regarding each point signature learning process as a task, our method obtains an optimized model over the best performance on the distribution of all tasks, generating reliable signatures for new tasks, i.e., signatures of unseen point neighborhoods. Specifically, the MEPS consists of two modules a base signature learner and a meta signature learner. During training, the base learner is trained to perform specific signature learning tasks. In the meantime, the meta learner is trained to update the base learner with optimal parameters. During testing, the meta learner that is learned with the distribution of all tasks can adaptively change parameters of the base learner, accommodating to unseen local neighborhoods. We evaluate the MEPS model on two datasets, e.g., FAUST and TOSCA, for dense 3Dshape correspondence. Experimental results demonstrate that our method not only gains significant improvements over the baseline model and achieves state of the art results, but also is capable of handling unseen 3D shapes.


Thresholds for low regularity solutions to wave equations with structural damping. We study the asymptotic behavior of solutions to wave equations with a structural damping term u tt Delta u Delta 2 u t 0, qquad u(0,x) u 0(x), , , , u t(0,x) u 1(x), in the whole space. New thresholds are reported in this paper that indicate which of the diffusion wave property and the non diffusive structure dominates in low regularity cases. We develop to that end the previous author's research in 2019 where they have proposed a threshold that expresses whether the parabolic like property or the wave like property strongly appears in the solution to some regularity loss type dissipative wave equation.


Neuromorphic Computing for Content based Image Retrieval. Neuromorphic computing mimics the neural activity of the brain through emulating spiking neural networks. In numerous machine learning tasks, neuromorphic chips are expected to provide superior solutions in terms of cost and power efficiency. Here, we explore the application of Loihi, a neuromorphic computing chip developed by Intel, for the computer vision task of image retrieval. We evaluated the functionalities and the performance metrics that are critical in content based visual search and recommender systems using deep learning embeddings. Our results show that the neuromorphic solution is about 2.5 times more energy efficient compared with an ARM Cortex A72 CPU and 12.5 times more energy efficient compared with NVIDIA T4 GPU for inference by a lightweight convolutional neural network without batching while maintaining the same level of matching accuracy. The study validates the potential of neuromorphic computing in low power image retrieval, as a complementary paradigm to the existing von Neumann architectures.


Variable Viewpoint Representations for 3D Object Recognition. For the problem of 3D object recognition, researchers using deep learning methods have developed several very different input representations, including "multi view" snapshots taken from discrete viewpoints around an object, as well as "spherical" representations consisting of a dense map of essentially ray traced samples of the object from all directions. These representations offer trade offs in terms of what object information is captured and to what degree of detail it is captured, but it is not clear how to measure these information trade offs since the two types of representations are so different. We demonstrate that both types of representations in fact exist at two extremes of a common representational continuum, essentially choosing to prioritize either the number of views of an object or the pixels (i.e., field of view) allotted per view. We identify interesting intermediate representations that lie at points in between these two extremes, and we show, through systematic empirical experiments, how accuracy varies along this continuum as a function of input information as well as the particular deep learning architecture that is used.


Deep learning PDEs with unlabeled data and hardwiring physics laws. Providing fast and accurate solutions to partial differential equations is a problem of continuous interest to the fields of applied mathematics and physics. With the recent advances in machine learning, the adoption learning techniques in this domain is being eagerly pursued. We build upon earlier works on linear and homogeneous PDEs, and develop convolutional deep neural networks that can accurately solve nonlinear and non homogeneous equations without the need for labeled data. The architecture of these networks is readily accessible for scientific disciplines who deal with PDEs and know the basics of deep learning.


Learning Joint Spatial Temporal Transformations for Video Inpainting. High quality video inpainting that completes missing regions in video frames is a promising yet challenging task. State of the art approaches adopt attention models to complete a frame by searching missing contents from reference frames, and further complete whole videos frame by frame. However, these approaches can suffer from inconsistent attention results along spatial and temporal dimensions, which often leads to blurriness and temporal artifacts in videos. In this paper, we propose to learn a joint Spatial Temporal Transformer Network (STTN) for video inpainting. Specifically, we simultaneously fill missing regions in all input frames by self attention, and propose to optimize STTN by a spatial temporal adversarial loss. To show the superiority of the proposed model, we conduct both quantitative and qualitative evaluations by using standard stationary masks and more realistic moving object masks. Demo videos are available at https github.com researchmm STTN.


Some remarks on the Classical KAM Theorem, following P "o schel. We propose a slight correction and a slight improvement on the main result contained in "A lecture on Classical KAM Theorem" by J. P "o schel.


On barrier and modified barrier multigrid methods for 3d topology optimization. One of the challenges encountered in optimization of mechanical structures, in particular in what is known as topology optimization, is the size of the problems, which can easily involve millions of variables. A basic example is the minimum compliance formulation of the variable thickness sheet (VTS) problem, which is equivalent to a convex problem. We propose to solve the VTS problem by the Penalty Barrier Multiplier (PBM) method, introduced by R. Polyak and later studied by Ben Tal and Zibulevsky and others. The most computationally expensive part of the algorithm is the solution of linear systems arising from the Newton method used to minimize a generalized augmented Lagrangian. We use a special structure of the Hessian of this Lagrangian to reduce the size of the linear system and to convert it to a form suitable for a standard multigrid method. This converted system is solved approximately by a multigrid preconditioned MINRES method. The proposed PBM algorithm is compared with the optimality criteria (OC) method and an interior point (IP) method, both using a similar iterative solver setup. We apply all three methods to different loading scenarios. In our experiments, the PBM method clearly outperforms the other methods in terms of computation time required to achieve a certain degree of accuracy.


ContourCNN convolutional neural network for contour data classification. This paper proposes a novel Convolutional Neural Network model for contour data analysis (ContourCNN) and shape classification. A contour is a circular sequence of points representing a closed shape. For handling the cyclical property of the contour representation, we employ circular convolution layers. Contours are often represented sparsely. To address information sparsity, we introduce priority pooling layers that select features based on their magnitudes. Priority pooling layers pool features with low magnitudes while leaving the rest unchanged. We evaluated the proposed model using letters and digits shapes extracted from the EMNIST dataset and obtained a high classification accuracy.


Spatio temporal Modeling for Massive and Sporadic Access. The vision for smart city imperiously appeals to the implementation of Internet of Things (IoT), some features of which, such as massive access and bursty short packet transmissions, require new methods to enable the cellular system to seamlessly support its integration. Rigorous theoretical analysis is indispensable to obtain constructive insight for the networking design of massive access. In this paper, we propose and define the notion of massive and sporadic access (MSA) to quantitatively describe the massive access of IoT devices. We evaluate the temporal correlation of interference and successful transmission events, and verify that such correlation is negligible in the scenario of MSA. In view of this, in order to resolve the difficulty in any precise spatio temporal analysis where complex interactions persist among the queues, we propose an approximation that all nodes are moving so fast that their locations are independent at different time slots. Furthermore, we compare the original static network and the equivalent network with high mobility to demonstrate the effectiveness of the proposed approximation approach. The proposed approach is promising for providing a convenient and general solution to evaluate and design the IoT network with massive and sporadic access.


Approximating the discrete time cost tradeoff problem with bounded depth. We revisit the deadline version of the discrete time cost tradeoff problem for the special case of bounded depth. Such instances occur for example in VLSI design. The depth of an instance is the number of jobs in a longest chain and is denoted by d . We prove new upper and lower bounds on the approximability. First we observe that the problem can be regarded as a special case of finding a minimum weight vertex cover in a d partite hypergraph. Next, we study the natural LP relaxation, which can be solved in polynomial time for fixed d and for time cost tradeoff instances up to an arbitrarily small error in general. Improving on prior work of Lov 'asz and of Aharoni, Holzman and Krivelevich, we describe a deterministic algorithm with approximation ratio slightly less than frac d 2 for minimum weight vertex cover in d partite hypergraphs for fixed d and given d partition. This is tight and yields also a frac d 2 approximation algorithm for general time cost tradeoff instances. We also study the inapproximability and show that no better approximation ratio than frac d 2 4 is possible, assuming the Unique Games Conjecture and text P neq text NP . This strengthens a result of Svensson, who showed that under the same assumptions no constant factor approximation algorithm exists for general time cost tradeoff instances (of unbounded depth). Previously, only APX hardness was known for bounded depth.


Deep Hashing with Hash Consistent Large Margin Proxy Embeddings. Image hash codes are produced by binarizing the embeddings of convolutional neural networks (CNN) trained for either classification or retrieval. While proxy embeddings achieve good performance on both tasks, they are non trivial to binarize, due to a rotational ambiguity that encourages non binary embeddings. The use of a fixed set of proxies (weights of the CNN classification layer) is proposed to eliminate this ambiguity, and a procedure to design proxy sets that are nearly optimal for both classification and hashing is introduced. The resulting hash consistent large margin (HCLM) proxies are shown to encourage saturation of hashing units, thus guaranteeing a small binarization error, while producing highly discriminative hash codes. A semantic extension (sHCLM), aimed to improve hashing performance in a transfer scenario, is also proposed. Extensive experiments show that sHCLM embeddings achieve significant improvements over state of the art hashing procedures on several small and large datasets, both within and beyond the set of training classes.


Improving blood vessel tortuosity measurements via highly sampled numerical integration of the Frenet Serret equations. Measures of vascular tortuosity how curved and twisted a vessel is are associated with a variety of vascular diseases. Consequently, measurements of vessel tortuosity that are accurate and comparable across modality, resolution, and size are greatly needed. Yet in practice, precise and consistent measurements are problematic mismeasurements, inability to calculate, or contradictory and inconsistent measurements occur within and across studies. Here, we present a new method of measuring vessel tortuosity that ensures improved accuracy. Our method relies on numerical integration of the Frenet Serret equations. By reconstructing the three dimensional vessel coordinates from tortuosity measurements, we explain how to identify and use a minimally sufficient sampling rate based on vessel radius while avoiding errors associated with oversampling and overfitting. Our work identifies a key failing in current practices of filtering asymptotic measurements and highlights inconsistencies and redundancies between existing tortuosity metrics. We demonstrate our method by applying it to manually constructed vessel phantoms with known measures of tortuousity, and 9,000 vessels from medical image data spanning human cerebral, coronary, and pulmonary vascular trees, and the carotid, abdominal, renal, and iliac arteries.


Paraphrase Augmented Task Oriented Dialog Generation. Neural generative models have achieved promising performance on dialog generation tasks if given a huge data set. However, the lack of high quality dialog data and the expensive data annotation process greatly limit their application in real world settings. We propose a paraphrase augmented response generation (PARG) framework that jointly trains a paraphrase model and a response generation model to improve the dialog generation performance. We also design a method to automatically construct paraphrase training data set based on dialog state and dialog act labels. PARG is applicable to various dialog generation models, such as TSCP (Lei et al., 2018) and DAMD (Zhang et al., 2019). Experimental results show that the proposed framework improves these state of the art dialog models further on CamRest676 and MultiWOZ. PARG also significantly outperforms other data augmentation methods in dialog generation tasks, especially under low resource settings.


Cohomological invariants of root stacks and admissible double coverings. We give a formula for the cohomological invariants of a root stack, which we apply to compute the cohomological invariants and the Brauer group of the stack of admissible double coverings.


What goes around comes around Cycle Consistency based Short Term Motion Prediction for Anomaly Detection using Generative Adversarial Networks. Anomaly detection plays in many fields of research, along with the strongly related task of outlier detection, a very important role. Especially within the context of the automated analysis of video material recorded by surveillance cameras, abnormal situations can be of very different nature. For this purpose this work investigates Generative Adversarial Network based methods (GAN) for anomaly detection related to surveillance applications. The focus is on the usage of static camera setups, since this kind of camera is one of the most often used and belongs to the lower price segment. In order to address this task, multiple subtasks are evaluated, including the influence of existing optical flow methods for the incorporation of short term temporal information, different forms of network setups and losses for GANs, and the use of morphological operations for further performance improvement. With these extension we achieved up to 2.4 better results. Furthermore, the final method reduced the anomaly detection error for GAN based methods by about 42.8 .


Comparison Between Different Topological Models of Concurrency. In this note, we provide an explicit non Quillen equivalence between the category of precubical sets and Gaucher's category of flows via a class of "realization functors" (with mild assumptions on the cofibrations of the category of precubical sets). In addition, we demonstrate a Quillen equivalence between simplicial semicategories and flows before proving that simplicial semicategories satisfy many of the same properties as flows. Finally, we introduce the category of boxed symmetric trees, presheaves on which may provide a slightly more flexible setting for concurrent computing than (pre)cubical sets, before showing that when endowed with degeneracies, the aforementioned presheaf category is a test category (although not strict test).


Congruences on Square Classes for the Partition Function. We considerably improve Ono's and Ahlgren Ono's work on the frequent occurrence of Ramanujan type congruences for the partition function, and demonstrate that Ramanujan type congruences occur in families that are governed by square classes. We thus elucidate for the first time an exemplary family of congruences found by Atkin O'Brien. Our results are based on a novel framework that leverages available results on integral models of modular curves via representations of finite quotients of mathrm SL 2( mathbb Z ) or mathrm Mp 1( mathbb Z ) . This framework applies to congruences of all weakly holomorphic modular forms.


NLNDE Enhancing Neural Sequence Taggers with Attention and Noisy Channel for Robust Pharmacological Entity Detection. Named entity recognition has been extensively studied on English news texts. However, the transfer to other domains and languages is still a challenging problem. In this paper, we describe the system with which we participated in the first subtrack of the PharmaCoNER competition of the BioNLP Open Shared Tasks 2019. Aiming at pharmacological entity detection in Spanish texts, the task provides a non standard domain and language setting. However, we propose an architecture that requires neither language nor domain expertise. We treat the task as a sequence labeling task and experiment with attention based embedding selection and the training on automatically annotated data to further improve our system's performance. Our system achieves promising results, especially by combining the different techniques, and reaches up to 88.6 F1 in the competition.


More on Poincare Hopf and Gauss Bonnet. We illustrate connections between differential geometry on finite simple graphs G (V,E) and Riemannian manifolds (M,g). The link is that curvature can be defined integral geometrically as an expectation in a probability space of Poincare Hopf indices of coloring or Morse functions. Regge calculus with an isometric Nash embedding links then the Gauss Bonnet Chern integrand of a Riemannian manifold with the graph curvature. There is also a direct nonstandard approach if V is a finite set containing all standard points of M and E contains pairs which are infinitesimally close in the sense of internal set theory, one gets a finite simple graph (V,E) which gets a curvature which as a measure corresponds to the standard curvature. The probabilistic approach is an umbrella framework which covers discrete spaces, piecewise linear spaces, manifolds or varieties.


Numerical Analysis of a Parabolic Variational Inequality System Modeling Biofilm Growth at the Porescale. In this paper we consider a system of two coupled nonlinear diffusion reaction partial differential equations (PDEs) which model the growth of biofilm and consumption of the nutrient. At the scale of interest the biofilm density is subject to a pointwise constraint, thus the biofilm PDE is framed as a parabolic variational inequality. We derive rigorous error estimates for a finite element (FE) approximation to the coupled nonlinear system and confirm experimentally that the numerical approximation converges at the predicted rate. We also show simulations in which we track the free boundary in the domains which resemble the pore scale geometry and in which we test the different modeling assumptions.


ANR Articulated Neural Rendering for Virtual Avatars. The combination of traditional rendering with neural networks in Deferred Neural Rendering (DNR) provides a compelling balance between computational complexity and realism of the resulting images. Using skinned meshes for rendering articulating objects is a natural extension for the DNR framework and would open it up to a plethora of applications. However, in this case the neural shading step must account for deformations that are possibly not captured in the mesh, as well as alignment inaccuracies and dynamics which can confound the DNR pipeline. We present Articulated Neural Rendering (ANR), a novel framework based on DNR which explicitly addresses its limitations for virtual human avatars. We show the superiority of ANR not only with respect to DNR but also with methods specialized for avatar creation and animation. In two user studies, we observe a clear preference for our avatar model and we demonstrate state of the art performance on quantitative evaluation metrics. Perceptually, we observe better temporal stability, level of detail and plausibility.


Imaging and Spectroscopy of Domains of the Cellular Membrane by Photothermal Induced Resonance. We use photothermal induced resonance (PTIR) imaging and spectroscopy, in resonant and non resonant mode, to study the cytoplasmic membrane and surface of intact cells. Non resonant PTIR images apparently provide rich details of the cell surface. However we show that non resonant image contrast does not arise from the infrared absorption of surface molecules and is instead dominated by the mechanics of tip sample contact. In contrast, spectra and images of the cellular surface can be selectively obtained by tuning the pulsing structure of the laser to restrict thermal wave penetration to the surface layer. Resonant PTIR images reveal surface structures and domains that range in size from about 20 nm to 1 um and are associated to the cytoplasmic membrane and its proximity. Resonant PTIR spectra of the cell surface are comparable to far field IR spectra and provide the first selective measurement of the IR absorption spectrum of the cellular membrane of an intact cell. In resonant PTIR images, signal intensity, and therefore contrast, can be ascribed to a variety of factors, including mechanical, thermodynamic and spectroscopic properties of the cellular surface. While PTIR images are difficult to interpret in terms of spectroscopic absorption, they are easy to collect and provide unique contrast mechanisms without any exogenous labeling. As such they provide a new paradigm in cellular imaging and membrane biology and can be used to address a range of critical questions, from the nature of membrane lipid domains to viral membrane fusion.


Understanding and Extending Incremental Determinization for 2QBF. Incremental determinization is a recently proposed algorithm for solving quantified Boolean formulas with one quantifier alternation. In this paper, we formalize incremental determinization as a set of inference rules to help understand the design space of similar algorithms. We then present additional inference rules that extend incremental determinization in two ways. The first extension integrates the popular CEGAR principle and the second extension allows us to analyze different cases in isolation. The experimental evaluation demonstrates that the extensions significantly improve the performance.


Drift of random walks on abelian covers of finite volume homogeneous spaces. Let G be a connected simple real Lie group, Lambda 0 subseteq G a lattice and Lambda unlhd Lambda 0 a normal subgroup such that Lambda 0 Lambda simeq mathbb Z d . We study the drift of a random walk on the mathbb Z d cover Lambda backslash G of the finite volume homogeneous space Lambda 0 backslash G . This walk is defined by a Zariski dense compactly supported probability measure mu on G . We first assume the covering map Lambda backslash G rightarrow Lambda 0 backslash G does not unfold any cusp of Lambda 0 backslash G and compute the drift at emph every starting point. Then we remove this assumption and describe the drift almost everywhere. The case of hyperbolic manifolds of dimension 2 stands out with non converging type behaviors. The recurrence of the trajectories is also characterized in this context.


Latent Relation Language Models. In this paper, we propose Latent Relation Language Models (LRLMs), a class of language models that parameterizes the joint distribution over the words in a document and the entities that occur therein via knowledge graph relations. This model has a number of attractive properties it not only improves language modeling performance, but is also able to annotate the posterior probability of entity spans for a given text through relations. Experiments demonstrate empirical improvements over both a word based baseline language model and a previous approach that incorporates knowledge graph information. Qualitative analysis further demonstrates the proposed model's ability to learn to predict appropriate relations in context.


DG Algebra structures on the quantum affine n space mathcal O 1 (k n) . Let mathcal A be a connected cochain DG algebra, whose underlying graded algebra mathcal A is the quantum affine n space mathcal O 1 (k n) . We compute all possible differential structures of mathcal A and show that there exists a one to one correspondence between text cochain DG algebra , , mathcal A , , mathcal A mathcal O 1 (k n) and the n times n matrices M n(k) . For any M in M n(k) , we write mathcal A mathcal O 1 (k 3) (M) for the DG algebra corresponding to it. We also study the isomorphism problems of these non commutative DG algebras. For the cases n le 3 , we check their homological properties. Unlike the case of n 2 , we discover that not all of them are Calabi Yau when n 3 . In spite of this, we recognize those Calabi Yau ones case by case. In brief, we solve the problem on how to judge whether a given such DG algebra mathcal A mathcal O 1 (k 3) (M) is Calabi Yau.


The Electrodynamics of Free and Bound Charge Electricity Generators using Impressed Sources and the Modification to Maxwell's Equations. The conversion of external energy into electricity is the foundation of power station and energy harvesting operation. The external source supplies an impressed force per unit charge to free or bound charge to produces AC electricity. We analyze the electrodynamics of ideal electricity generators through a time dependent permanent polarization without any applied electric field, which modifies the constitutive relations and is essential to oscillate charge in a lossless way. For both cases, we show that Maxwell's equations, and in particular Faraday's law are modified, along with the required boundary conditions through the addition of an effective impressed magnetic current boundary source. For the free charge case, we highlight the example of an electromagnetic generator based on Lorentz force, where the impressed force per unit charge that polarizes the conductor comes from mechanical motion of free charge with an impressed velocity of a conductor relative to a stationary DC magnetic field. The bound charge generator is an idealized permanently polarized bar electret with a time dependent permanent polarization, the underlying principle behind piezoelectric nano generators. In the open circuit state, both electricity generators are equivalent to idealized Hertzian dipoles, with the open circuit voltage equal to the induced emf. Analyzing the short circuit responses, we show that the bound charge electricity generator has a capacitive source impedance. In contrast, we show for the ideal free charge AC electricity generator, the back emf from the inductance of the loop that defines the short circuit, directly cancels the source emf, so the voltage across the inductor is solely determined by the magnetic current boundary source. Thus, we determine the magnetic current boundary source is the topological invariant that best describes the output voltage of an AC generator.


Diversity in Biology definitions, quantification, and models. Diversity indices are useful single number metrics for characterizing a complex distribution of a set of attributes across a population of interest. The utility of these different metrics or sets of metrics depend on the context and application, and whether a predictive mechanistic model exists. In this topical review, we first summarize the relevant mathematical principles underlying heterogeneity in a large population before outlining the various definitions of diversity' and providing examples of scientific topics in which its quantification plays an important role. We then review how diversity has been a ubiquitous concept across multiple fields including ecology, immunology, cellular barcoding experiments, and socioeconomic studies. Since many of these applications involve sampling of populations, we also review how diversity in small samples is related to the diversity in the entire population. Features that arise in each of these applications are highlighted.


Deep Reinforcement Learning with Population Coded Spiking Neural Network for Continuous Control. The energy efficient control of mobile robots is crucial as the complexity of their real world applications increasingly involves high dimensional observation and action spaces, which cannot be offset by limited on board resources. An emerging non Von Neumann model of intelligence, where spiking neural networks (SNNs) are run on neuromorphic processors, is regarded as an energy efficient and robust alternative to the state of the art real time robotic controllers for low dimensional control tasks. The challenge now for this new computing paradigm is to scale so that it can keep up with real world tasks. To do so, SNNs need to overcome the inherent limitations of their training, namely the limited ability of their spiking neurons to represent information and the lack of effective learning algorithms. Here, we propose a population coded spiking actor network (PopSAN) trained in conjunction with a deep critic network using deep reinforcement learning (DRL). The population coding scheme dramatically increased the representation capacity of the network and the hybrid learning combined the training advantages of deep networks with the energy efficient inference of spiking networks. To show the general applicability of our approach, we integrated it with a spectrum of both on policy and off policy DRL algorithms. We deployed the trained PopSAN on Intel's Loihi neuromorphic chip and benchmarked our method against the mainstream DRL algorithms for continuous control. To allow for a fair comparison among all methods, we validated them on OpenAI gym tasks. Our Loihi run PopSAN consumed 140 times less energy per inference when compared against the deep actor network on Jetson TX2, and had the same level of performance. Our results support the efficiency of neuromorphic controllers and suggest our hybrid RL as an alternative to deep learning, when both energy efficiency and robustness are important.


Aggregation in Value Based Argumentation Frameworks. Value based argumentation enhances a classical abstract argumentation graph in which arguments are modelled as nodes connected by directed arrows called attacks with labels on arguments, called values, and an ordering on values, called audience, to provide a more fine grained justification of the attack relation. With more than one agent facing such an argumentation problem, agents may differ in their ranking of values. When needing to reach a collective view, such agents face a dilemma between two equally justifiable approaches aggregating their views at the level of values, or aggregating their attack relations, remaining therefore at the level of the graphs. We explore the strenghts and limitations of both approaches, employing techniques from preference aggregation and graph aggregation, and propose a third possibility aggregating rankings extracted from given attack relations.


A Revisit of Chen Teboulle's Proximal based Decomposition Method. In this paper, we show that Chen Teboulle's proximal based decomposition method can be interpreted as a proximal augmented Lagrangian method. More precisely, it coincides with a linearized augmented Lagrangian method. We then proposed three generalized methods based on this interpretation. By invoking recent work (He et al., IMA J. Numer. Anal., 32 (2020), pp. 227 245), we show that the step size condition of Chen Teboulle's method can be relaxed without adding any further assumptions. Our analysis offers a new insight into this proximal based decomposition method.


Generalization of Klain's Theorem to Minkowski Symmetrization of compact sets and related topics. We shall prove a convergence result relative to sequences of Minkowski symmetrals of general compact sets. In particular, we investigate the case when this process is induced by sequences of subspaces whose elements belong to a finite family, following the path marked by Klain in 13 , and the generalizations in 4 and 2 . We prove an analogue result for Fiber symmetrization of a specific class of compact sets. The idempotency for symmetrization of this family of sets is investigated, leading to a simple generalization of a result from Klartag 14 regarding the approximation of a ball through a finite number of symmetrizations, and generalizing an approximation result in 9


On the Hausdorff dimension of the residual set of a packing by smooth curves. Let a planar residual set be a set obtained by removing countably many disjoint topological disks from an open set in the plane. We prove that the residual set of a planar packing by curves that satisfy a certain lower curvature bound has Hausdorff dimension bounded away from 1, quantitatively, depending only on the curvature bound. As a corollary, the residual set of any circle packing has Hausdorff dimension uniformly bounded away from 1. This result generalizes the result of Larman, who obtained the same conclusion for circle packings inside a square. We also show that our theorem is optimal and does not hold in general without lower curvature bounds. In particular, we construct packings by strictly convex, smooth curves whose residual sets have dimension 1. On the other hand, we prove that any packing by strictly convex curves cannot have sigma finite Hausdorff 1 measure.


Analytical model for quasi linear flow response to resonant magnetic perturbation in resistive inertial and viscous resistive regimes. In this work, a quasi linear model for plasma flow response to the resonant magnetic perturbation (RMP) in a tokamak has been rigorously developed in the resistive inertial (RI) and viscous resistive (VR) regimes purely from the two field reduced MHD model. Models for plasma response to RMP are commonly composed of equations for the resonant magnetic field response (i.e. the magnetic island) and the torque balance of plasma flow. However, in previous plasma response models, the magnetic island and the torque balance equations are often derived separately from reduced MHD and full MHD equations, respectively. By contrast, in this work we derive both the magnetic island response and the torque balance equations in a quasi linear model for plasma flow response entirely from a set of two field reduced MHD equations. Such a quasi linear model can recover previous plasma flow response models within certain limits and approximations. Furthermore, the physical origins of quasi linear forces and moments in the flow response equation are also accurately calculated and clarified self consistently.


On representations of mathrm Gal ( overline mathbb Q mathbb Q ) , widehat GT and mathrm Aut ( hat F 2) . By work of Belyi, the absolute Galois group G mathbb Q mathrm Gal ( overline mathbb Q mathbb Q ) of the field mathbb Q of rational numbers can be embedded into A mathrm Aut ( widehat F 2 ) , the automorphism group of the free profinite group widehat F 2 on two generators. The image of G mathbb Q lies inside widehat GT , the Grothendieck Teichm "uller group. While it is known that every abelian representation of G mathbb Q can be extended to widehat GT , Lochak and Schneps put forward the challenge of constructing irreducible non abelian representations of widehat GT . We do this virtually, namely by showing that a rich class of arithmetically defined representations of G mathbb Q can be extended to finite index subgroups of widehat GT . This is achieved, in fact, by extending these representations all the way to finite index subgroups of A mathrm Aut ( widehat F 2 ) . We do this by developing a profinite version of the work of Grunewald and Lubotzky, which provided a rich collection of representations for the discrete group mathrm Aut (F d) .


Linear Quadratic Stochastic Differential Games on Random Directed Networks. The study of linear quadratic stochastic differential games on directed networks was initiated in Feng, Fouque Ichiba cite fengFouqueIchiba2020linearquadratic . In that work, the game on a directed chain with finite or infinite players was defined as well as the game on a deterministic directed tree, and their Nash equilibria were computed. The current work continues the analysis by first developing a random directed chain structure by assuming the interaction between every two neighbors is random. We solve explicitly for an open loop Nash equilibrium for the system and we find that the dynamics under equilibrium is an infinite dimensional Gaussian process described by a Catalan Markov chain introduced in cite fengFouqueIchiba2020linearquadratic . The discussion about stochastic differential games is extended to a random two sided directed chain and a random directed tree structure.


Cross Resolution Adversarial Dual Network for Person Re Identification and Beyond. Person re identification (re ID) aims at matching images of the same person across camera views. Due to varying distances between cameras and persons of interest, resolution mismatch can be expected, which would degrade re ID performance in real world scenarios. To overcome this problem, we propose a novel generative adversarial network to address cross resolution person re ID, allowing query images with varying resolutions. By advancing adversarial learning techniques, our proposed model learns resolution invariant image representations while being able to recover the missing details in low resolution input images. The resulting features can be jointly applied for improving re ID performance due to preserving resolution invariance and recovering re ID oriented discriminative details. Extensive experimental results on five standard person re ID benchmarks confirm the effectiveness of our method and the superiority over the state of the art approaches, especially when the input resolutions are not seen during training. Furthermore, the experimental results on two vehicle re ID benchmarks also confirm the generalization of our model on cross resolution visual tasks. The extensions of semi supervised settings further support the use of our proposed approach to real world scenarios and applications.


Feature aware Adaptation and Density Alignment for Crowd Counting in Video Surveillance. With the development of deep neural networks, the performance of crowd counting and pixel wise density estimation are continually being refreshed. Despite this, there are still two challenging problems in this field 1) current supervised learning needs a large amount of training data, but collecting and annotating them is difficult 2) existing methods can not generalize well to the unseen domain. A recently released synthetic crowd dataset alleviates these two problems. However, the domain gap between the real world data and synthetic images decreases the models' performance. To reduce the gap, in this paper, we propose a domain adaptation style crowd counting method, which can effectively adapt the model from synthetic data to the specific real world scenes. It consists of Multi level Featureaware Adaptation (MFA) and Structured Density map Alignment (SDA). To be specific, MFA boosts the model to extract domain invariant features from multiple layers. SDA guarantees the network outputs fine density maps with a reasonable distribution on the real domain. Finally, we evaluate the proposed method on four mainstream surveillance crowd datasets, Shanghai Tech Part B, WorldExpo'10, Mall and UCSD. Extensive experiments evidence that our approach outperforms the state of the art methods for the same cross domain counting problem.


Tail bounds for the averaged empirical distribution on a geodesic in first passage percolation. We establish tail estimates for the averaged empirical distribution of edge weights along geodesics in first passage percolation on mathbb Z d . Our upper bounds also come with exponentially decaying tail estimates for the empirical distribution. As an application, we show that if the edge weight distribution has finite positive moments of any order, then any limit point of the averaged empirical distribution of finite geodesics has finite positive moments of all orders.


Gaps between primes. We discuss recent advances on weak forms of the Prime k tuple Conjecture, and its role in proving new estimates for the existence of small gaps between primes and the existence of large gaps between primes.


Explicit construction of exact unitary designs. The purpose of this paper is to give explicit constructions of unitary t designs in the unitary group U(d) for all t and d . It seems that the explicit constructions were so far known only for very special cases. Here explicit construction means that the entries of the unitary matrices are given by the values of elementary functions at the root of some given polynomials. We will discuss what are the best such unitary 4 designs in U(4) obtained by these methods. Indeed we give an inductive construction of designs on compact groups by using Gelfand pairs (G,K) . Note that (U(n),U(m) times U(n m)) is a Gelfand pair. By using the zonal spherical functions for (G,K) , we can construct designs on G from designs on K . We remark that our proofs use the representation theory of compact groups crucially. We also remark that this method can be applied to the orthogonal groups O(d) , and thus provides another explicit construction of spherical t designs on the d dimensional sphere S d 1 by the induction on d .


Learning a Domain Classifier Bank for Unsupervised Adaptive Object Detection. In real applications, object detectors based on deep networks still face challenges of the large domain gap between the labeled training data and unlabeled testing data. To reduce the gap, recent techniques are proposed by aligning the image instance level features between source and unlabeled target domains. However, these methods suffer from the suboptimal problem mainly because of ignoring the category information of object instances. To tackle this issue, we develop a fine grained domain alignment approach with a well designed domain classifier bank that achieves the instance level alignment respecting to their categories. Specifically, we first employ the mean teacher paradigm to generate pseudo labels for unlabeled samples. Then we implement the class level domain classifiers and group them together, called domain classifier bank, in which each domain classifier is responsible for aligning features of a specific class. We assemble the bare object detector with the proposed fine grained domain alignment mechanism as the adaptive detector, and optimize it with a developed crossed adaptive weighting mechanism. Extensive experiments on three popular transferring benchmarks demonstrate the effectiveness of our method and achieve the new remarkable state of the arts.


First order linear evolution equations with c adl ag in time solutions. In this work we study first order linear parabolic evolution PDEs over mathbb R d times mathbb R and mathbb R d times mathbb R comprising a spatial operator defined through a symbol function and a source term such that its spatial Fourier transform is a slow growing measure over mathbb R d times mathbb R . When the source term is required to has its support on mathbb R d times mathbb R , it is shown that there exists a unique solution such that its spatial Fourier transform is a slow growing measure with support in mathbb R d times mathbb R , which in addition has a c adl ag in time behaviour. This allows to well pose and analyse an initial value problem associated to this class of equations and to consider cases where the spatial operator can be a pseudo differential operator. We also look at for solutions to the cases where the source term is such that its spatial and spatio temporal Fourier transforms are slow growing measures over mathbb R d times mathbb R . In such a case, it is shown that when the real part of the symbol function of the spatial operator is inferiorly bounded by a strictly positive constant, there exists a unique solution whose both spatial and spatio temporal Fourier transforms are slow growing measures over mathbb R d times mathbb R , and which also has a c adl ag in time behaviour. In addition, it is proven that the solution to an associated Cauchy problem converges spatio temporally asymptotically to this unique solution as the time flows long enough.


Manin Drinfeld cycles and derivatives of L functions. We introduce a Manin Drinfeld cycle in the moduli space of mathrm PGL 2 shtukas with r legs, arising from the diagonal torus. We show that its intersection pairing with Yun and Zhang's Heegner Drinfeld cycle is equal to the product of the r th central derivative of an automorphic L function L( pi,s) and Waldspurger's toric period integral. When L( pi, frac12) neq 0 , this gives a new geometric interpretation for the Taylor series expansion. When L( pi, frac12) 0 , the pairing vanishes, suggesting "higher" analogues of the vanishing of cusps in the modular Jacobian. Our proof sheds new light on the algebraic correspondence introduced by Yun Zhang, which is the geometric incarnation of "differentiating the L function". We realize it as the Lie algebra action of e f in mathfrak sl 2 on ( mathbb Q ell 2) otimes 2d . The comparison of relative trace formulas needed to prove our formula is then a consequence of Schur Weyl duality.


On regularizable birational maps. Bedford asked if there exists a birational self map f of the complex projective plane such that for any automorphism A of the complex projective plane A circ f is not conjugate to an automorphism. Blanc gave such a f of degree 6 and asked if there exists an example of smaller degree. In this article we give an example of degree 5 .


Logarithmic bounds for the diameters of some Cayley graphs. Let S subset text GL n( mathbb Z) be a finite symmetric set. We show that if the Zariski closure of Gamma langle S rangle is a product of text SL d or a special affine linear group, then the diameter of the Cayley graph text Cay ( Gamma Gamma(q), pi q(S)) is O( log q) , where q is an arbitrary positive integer, pi q Gamma to Gamma Gamma(q) is the canonical projection induced by the reduction modulo q , and the implied constant depends only on S .


Outlier Detection for Improved Data Quality and Diversity in Dialog Systems. In a corpus of data, outliers are either errors mistakes in the data that are counterproductive, or are unique informative samples that improve model robustness. Identifying outliers can lead to better datasets by (1) removing noise in datasets and (2) guiding collection of additional data to fill gaps. However, the problem of detecting both outlier types has received relatively little attention in NLP, particularly for dialog systems. We introduce a simple and effective technique for detecting both erroneous and unique samples in a corpus of short texts using neural sentence embeddings combined with distance based outlier detection. We also present a novel data collection pipeline built atop our detection technique to automatically and iteratively mine unique data samples while discarding erroneous samples. Experiments show that our outlier detection technique is effective at finding errors while our data collection pipeline yields highly diverse corpora that in turn produce more robust intent classification and slot filling models.


How Reversibility Can Solve Traditional Questions The Example of Hereditary History Preserving Bisimulation. Reversible computation opens up the possibility of overcoming some of the hardware's current physical limitations. It also offers theoretical insights, as it enriches multiple paradigms and models of computation, and sometimes retrospectively enlightens them. Concurrent reversible computation, for instance, offered interesting extensions to the Calculus of Communicating Systems, but was still lacking a natural and pertinent bisimulation to study processes equivalences. Our paper formulates an equivalence exploiting the two aspects of reversibility backward moves and memory mechanisms. This bisimulation captures classical equivalences relations for denotational models of concurrency (History and hereditary history preserving bisimulation, (H)HPB), that were up to now only partially characterized by process algebras. This result gives an insight on the expressiveness of reversibility, as both backward moves and a memory mechanism providing 'backward determinism' are needed to capture HHPB.


Holomorphic Distributions and Connectivity by Integral Curves of Distributions. It is known that the classical Frobenius theorem on conditions of integrability for distributions of planes can be extended to the case of complex holomorphic distributions. We show that an alternative criterion for integrability, namely, non connectivity, discovered (or at least, marked and explicitly formulated) by Carath 'eodory in relation to classical thermodynamics, also admits a holomorphic formulation.


Design of infrared microspectrometers based on phase modulated axilenses. We design and characterize a novel axilens based diffractive optics platform that flexibly combines efficient point focusing and grating selectivity and is compatible with scalable top down fabrication based on a 4 level phase mask configuration. This is achieved using phase modulated compact axilens devices that simultaneously focus incident radiation of selected wavelengths at predefined locations with larger focal depths compared to traditional Fresnel lenses. In addition, the proposed devices are polarization insensitive and maintain a large focusing efficiency over a broad spectral band. Specifically, here we discuss and characterize modulated axilens configurations designed for long wavelength infrared (LWIR) in the 6 mu m 12 mu m wavelength range and in the 4 mu m 6 mu m mid wavelength infrared (MWIR) range. These devices are ideally suited for monolithic integration atop the substrate layers of infrared focal plane arrays (IR FPAs) and for use as compact microspectrometers. We systematically study their focusing efficiency, spectral response, and cross talk ratio, and we demonstrate linear control of multi wavelength focusing on a single plane. Our design method leverages Rayleigh Sommerfeld (RS) diffraction theory and is validated numerically using the Finite Element Method (FEM). Finally, we demonstrate the application of spatially modulated axilenses to the realization of compact, single lens spectrometer. By optimizing our devices, we achieve a minimum distinguishable wavelength interval of Delta lambda 240nm at lambda 0 8 mu m and Delta lambda 165nm at lambda 0 5 mu m . The proposed devices add fundamental spectroscopic capabilities to compact imaging devices for a number of applications ranging from spectral sorting to LWIR and MWIR phase contrast imaging and detection.


Adaptive C 0 interior penalty methods for Hamilton Jacobi Bellman equations with Cordes coefficients. In this paper we conduct a priori and a posteriori error analysis of the C 0 interior penalty method for Hamilton Jacobi Bellman equations, with coefficients that satisfy the Cordes condition. These estimates show the quasi optimality of the method, and provide one with an adaptive finite element method. In accordance with the proven regularity theory, we only assume that the solution of the Hamilton Jacobi Bellman equation belongs to H 2 .


Mixed Hodge Structures on Alexander Modules. Motivated by the limit mixed Hodge structure on the Milnor fiber of a hypersurface singularity germ, we construct a natural mixed Hodge structure on the torsion part of the Alexander modules of a smooth connected complex algebraic variety. More precisely, let U be a smooth connected complex algebraic variety and let f colon U to mathbb C be an algebraic map inducing an epimorphism in fundamental groups. The pullback of the universal cover of mathbb C by f gives rise to an infinite cyclic cover U f of U . The action of the deck group mathbb Z on U f induces a mathbb Q t pm 1 module structure on H (U f mathbb Q ) . We show that the torsion parts A (U f mathbb Q ) of the Alexander modules H (U f mathbb Q ) carry canonical mathbb Q mixed Hodge structures. We also prove that the covering map U f to U induces a mixed Hodge structure morphism on the torsion parts of the Alexander modules. As applications, we investigate the semisimplicity of A (U f mathbb Q ) , as well as possible weights of the constructed mixed Hodge structures. Finally, in the case when f colon U to mathbb C is proper, we prove the semisimplicity and purity of A (U f mathbb Q ) , and we compare our mixed Hodge structure on A (U f mathbb Q ) with the limit mixed Hodge structure on the generic fiber of f .


Investigations on physical and biological range uncertainties in Krakow proton beam therapy centre. Physical and biological range uncertainties limit the clinical potential of Proton Beam Therapy (PBT). In this proceedings, we report on two research projects, which we are conducting in parallel and which both tackle the problem of range uncertainties. One aims at developing software tools and the other at developing detector instrumentation. Regarding the first, we report on our development and pre clinical application of a GPU accelerated Monte Carlo (MC) simulation toolkit Fred. Concerning the letter, we report on our investigations of plastic scintillator based PET detectors for particle therapy delivery monitoring. We study the feasibility of Jagiellonian PET detector technology for proton beam therapy range monitoring by means of MC simulations of the beta activity induced in a phantom by proton beams and present preliminary results of PET image reconstruction. Using a GPU accelerated Monte Carlo simulation toolkit Fred and plastic scintillator based PET detectors we aim to improve patient treatment quality with protons.


L1 based reduced over collocation and hyper reduction for steady state and time dependent nonlinear equations. The task of repeatedly solving parametrized partial differential equations (pPDEs) in, e.g. optimization or interactive applications, makes it imperative to design highly efficient and equally accurate surrogate models. The reduced basis method (RBM) presents as such an option. Enabled by a mathematically rigorous error estimator, RBM constructs a low dimensional subspace of the parameter induced high fidelity solution manifold from which an approximate solution is computed. It can improve efficiency by several orders of magnitudes leveraging an offline online decomposition procedure. However, this decomposition, usually through the empirical interpolation method (EIM) when the PDE is nonlinear or its parameter dependence nonaffine, is either challenging to implement, or severely degrades online efficiency. In this paper, we augment and extend the EIM approach as a direct solver, as opposed to an assistant, for solving nonlinear pPDEs on the reduced level. The resulting method, called Reduced Over Collocation method (ROC), is stable and capable of avoiding the efficiency degradation inherent to a traditional application of EIM. Two critical ingredients of the scheme are collocation at about twice as many locations as the dimension of the reduced solution space, and an efficient L1 norm based error indicator for the strategic selection of the parameter values to build the reduced solution space. Together, these two ingredients render the proposed L1 ROC scheme both offline and online efficient. A distinctive feature is that the efficiency degradation appearing in alternative RBM approaches that utilize EIM for nonlinear and nonaffine problems is circumvented, both in the offline and online stages. Numerical tests on different families of time dependent and steady state nonlinear problems demonstrate the high efficiency and accuracy of L1 ROC and its superior stability performance.


Combinatorics of the double dimer model. We prove that the partition function for tripartite double dimer configurations of a planar bipartite graph satisfies a recurrence related to the Desnanot Jacobi identity from linear algebra. A similar identity for the dimer partition function was established nearly 20 years ago by Kuo and has applications to random tiling theory and the theory of cluster algebras. This work was motivated in part by the potential for applications in these areas. Additionally, we discuss an application to Donaldson Thomas and Pandharipande Thomas theory which will be the subject of a forthcoming paper. The proof of our recurrence requires generalizing work of Kenyon and Wilson specifically, lifting their assumption that the nodes of the graph are black and odd or white and even.


Rigidity of conformal minimal immersions of constant curvature from S 2 to Q 4 . Geometry of conformal minimal two spheres immersed in G(2,6 mathbb R ) is studied in this paper by harmonic maps. We construct a non homogeneous constant curved minimal two sphere in G(2,6 mathbb R ) , and give a classification theorem of linearly full conformal minimal immersions of constant curvature from S 2 to G(2,6 mathbb R ) , or equivalently, a complex hyperquadric Q 4 , which illustrates minimal two spheres of constant curvature in Q 4 are in general not congruent.


Representations for the largest Extension of a closure system. We consider extension of a closure system on a finite set S as a closure system on the same set S containing the given one as a sublattice. A closure system can be represented in different ways, e.g. by an implicational base or by the set of its meet irreducible elements. When a closure system is described by an implicational base, we provide a characterization of the implicational base for the largest extension. We also show that the largest extension can be handled by a small modification of the implicational base of the input closure system. This answers a question asked in 12 . Second, we are interested in computing the largest extension when the closure system is given by the set of all its meet irreducible elements. We give an incremental polynomial time algorithm to compute the largest extension of a closure system, and left open if the number of meet irreducible elements grows exponentially.


Fractional Order Models for the Static and Dynamic Analysis of Nonlocal Plates. This study presents the analytical formulation and the finite element solution of fractional order nonlocal plates under both Mindlin and Kirchoff formulations. By employing consistent definitions for fractional order kinematic relations, the governing equations and the associated boundary conditions are derived based on variational principles. Remarkably, the fractional order nonlocal model gives rise to a self adjoint and positive definite system that accepts a unique solution. Further, owing to the difficulty in obtaining analytical solutions to this fractional order differ integral problem, a 2D finite element model for the fractional order governing equations is presented. Following a thorough validation with benchmark problems, the 2D fractional finite element model is used to study the static as well as the free dynamic response of fractional order plates subject to various loading and boundary conditions. It is established that the fractional order nonlocality leads to a reduction in the stiffness of the plate structure thereby increasing the displacements and reducing the natural frequency of vibration of the plates. Further, it is seen that the effect of nonlocality is stronger on the higher modes of vibration when compared to the fundamental mode. These effects of the fractional order nonlocality are noted irrespective of the nature of the boundary conditions. More specifically, the fractional order model of nonlocal plates is free from boundary effects that lead to paradoxical predictions such as hardening and absence of nonlocal effects in classical integral approaches to nonlocal elasticity. This consistency in the predictions is a result of the well posed nature of the fractional order governing equations that accept a unique solution.


Modular and fractional L intersecting families of vector spaces. In the first part of this paper, we prove a theorem which is the q analogue of a generalized modular Ray Chaudhuri Wilson Theorem shown in Alon, Babai, Suzuki, J. Combin. Theory Series A, 1991 . It is also a generalization of the main theorem in Frankl and Graham, European J. Combin. 1985 under certain circumstances. In the second part of this paper, we prove q analogues of results on a recent notion called emph fractional L intersecting family for families of subspaces of a given vector space. We use the above theorem to obtain a general upper bound to the cardinality of such families. We give an improvement to this general upper bound in certain special cases.


A Dynamic Tree Algorithm for On demand Peer to peer Ride sharing Matching. Innovative shared mobility services provide on demand flexible mobility options and have the potential to alleviate traffic congestion. These attractive services are challenging from different perspectives. One major challenge in such systems is to find suitable ride sharing matchings between drivers and passengers with respect to the system objective and constraints, and to provide optimal pickup and drop off sequence to the drivers. In this paper, we develop an efficient dynamic tree algorithm to find the optimal pickup and drop off sequence. The algorithm finds an initial solution to the problem, keeps track of previously explored feasible solutions, and reduces the solution search space when considering new requests. In addition, an efficient pre processing procedure to select candidate passenger requests is proposed, which further improves the algorithm performance. Numerical experiments are conducted on a real size network to illustrate the efficiency of our algorithm. Sensitivity analysis suggests that small vehicle capacities and loose excess travel time constraints do not guarantee overall savings in vehicle kilometer traveled.


Gradient methods exploiting spectral properties. We propose a new stepsize for the gradient method. It is shown that this new stepsize will converge to the reciprocal of the largest eigenvalue of the Hessian, when Dai Yang's asymptotic optimal gradient method (Computational Optimization and Applications, 2006, 33(1) 73 88) is applied for minimizing quadratic objective functions. Based on this spectral property, we develop a monotone gradient method that takes a certain number of steps using the asymptotically optimal stepsize by Dai and Yang, and then follows by some short steps associated with this new stepsize. By employing one step retard of the asymptotic optimal stepsize, a nonmonotone variant of this method is also proposed. Under mild conditions, R linear convergence of the proposed methods is established for minimizing quadratic functions. In addition, by combining gradient projection techniques and adaptive nonmonotone line search, we further extend those methods for general bound constrained optimization. Two variants of gradient projection methods combining with the Barzilai Borwein stepsizes are also proposed. Our numerical experiments on both quadratic and bound constrained optimization indicate that the new proposed strategies and methods are very effective.


A Multi Hidden Recurrent Neural Network with a Modified Grey Wolf Optimizer. Identifying university students' weaknesses results in better learning and can function as an early warning system to enable students to improve. However, the satisfaction level of existing systems is not promising. New and dynamic hybrid systems are needed to imitate this mechanism. A hybrid system (a modified Recurrent Neural Network with an adapted Grey Wolf Optimizer) is used to forecast students' outcomes. This proposed system would improve instruction by the faculty and enhance the students' learning experiences. The results show that a modified recurrent neural network with an adapted Grey Wolf Optimizer has the best accuracy when compared with other models.


Micro SIDs a solution for Efficient Representation of Segment IDs in SRv6 Networks. The Segment Routing (SR) architecture is based on loose source routing. A list of instructions, called segments can be added to the packet headers, to influence the forwarding and the processing of the packets in an SR enabled network. In SRv6 (Segment Routing over IPv6 data plane) the segments are represented with IPv6 addresses, which are 16 bytes long. There are some SRv6 service scenarios that may require to carry a large number of segments in the IPv6 packet headers. This can be inefficient due to the overheads of the segment list, or can even cause processing issues in the crossed nodes due to the very large header to be processed. In this paper we present the Micro SID solution for the efficient representation of segment identifiers. With this solution, the length of the segment list can be drastically reduced.


Deep Cross Networks with Aesthetic Preference for Cross domain Recommendation. When purchasing appearance first products, e.g., clothes, product appearance aesthetics plays an important role in the decision process. Moreover, user's aesthetic preference, which can be regarded as a personality trait and a basic requirement, is domain independent and could be used as a bridge between domains for knowledge transfer. However, existing work has rarely considered the aesthetic information in product photos for cross domain recommendation. To this end, in this paper, we propose a new deep Aesthetic preference Cross Domain Network (ACDN), in which parameters characterizing personal aesthetic preferences are shared across networks to transfer knowledge between domains. Specifically, we first leverage an aesthetic network to extract relevant features. Then, we integrate the aesthetic features into a cross domain network to transfer users' domain independent aesthetic preferences. Moreover, network cross connections are introduced to enable dual knowledge transfer across domains. Finally, the experimental results on real world data show that our proposed ACDN outperforms other benchmark methods in terms of recommendation accuracy. The results also show that users' aesthetic preferences are effective in alleviating the data sparsity issue on the cross domain recommendation.


An optimal transport problem with storage fees. We introduce and investigate properties of a variant of the semi discrete optimal transport problem. In this problem, one is given an absolutely continuous source measure and cost function, along with a finite set which will be the support of the target measure, and a "storage fee" function. The goal is then to find a map for which the total transport cost plus the storage fee evaluated on the masses of the pushforward of the source measure is minimized. We prove existence and uniqueness for the problem, derive a dual problem for which strong duality holds, and give a characterization of dual maximizers and primal minimizers. Additionally, we find some stability results for minimizers.


Constants of the Kahane Salem Zygmund inequality asymptotically bounded by 1 . The Kahane Salem Zygmund inequality for multilinear forms in ell infty spaces claims that, for all positive integers m,n 1 ,...,n m , there exists an m linear form A colon ell infty n 1 times cdots times ell infty n m longrightarrow mathbb K ( mathbb K mathbb R or mathbb C ) of the type A(z (1) ,...,z (m) ) sum j 1 1 n 1 cdots sum j m 1 n m pm z j 1 left( 1 right) cdots z j m left( m right) text , satisfying Vert A Vert leq C m max left n 1 1 2 , ldots,n m 1 2 right textstyle prod limits j 1 m n j 1 2 text , for C m leq kappa sqrt m log m sqrt m! and a certain kappa 0. Our main result shows that given any epsilon 0 and any positive integer m, there exists a positive integer N such that C m 1 epsilon text , when we consider n 1 ,...,n m N . In addition, while the original proof of the Kahane Salem Zygmund relies in highly non deterministic arguments, our approach is constructive. We also provide the same asymptotic bound (which is shown to be optimal in some cases) for the constant of a related non deterministic inequality proved by G. Bennett in 1977. Applications to Berlekamp's switching game are given.


AlphaX eXploring Neural Architectures with Deep Neural Networks and Monte Carlo Tree Search. Neural Architecture Search (NAS) has shown great success in automating the design of neural networks, but the prohibitive amount of computations behind current NAS methods requires further investigations in improving the sample efficiency and the network evaluation cost to get better results in a shorter time. In this paper, we present a novel scalable Monte Carlo Tree Search (MCTS) based NAS agent, named AlphaX, to tackle these two aspects. AlphaX improves the search efficiency by adaptively balancing the exploration and exploitation at the state level, and by a Meta Deep Neural Network (DNN) to predict network accuracies for biasing the search toward a promising region. To amortize the network evaluation cost, AlphaX accelerates MCTS rollouts with a distributed design and reduces the number of epochs in evaluating a network by transfer learning guided with the tree structure in MCTS. In 12 GPU days and 1000 samples, AlphaX found an architecture that reaches 97.84 top 1 accuracy on CIFAR 10, and 75.5 top 1 accuracy on ImageNet, exceeding SOTA NAS methods in both the accuracy and sampling efficiency. Particularly, we also evaluate AlphaX on NASBench 101, a large scale NAS dataset AlphaX is 3x and 2.8x more sample efficient than Random Search and Regularized Evolution in finding the global optimum. Finally, we show the searched architecture improves a variety of vision applications from Neural Style Transfer, to Image Captioning and Object Detection.


Shallow Characters and Supercuspidal Representations. In 2014, Reeder and Yu constructed epipelagic representations of a reductive p adic group G from stable functions on shallowest Moy Prasad quotients. In this paper, we extend these methods when G is split. In particular, we classify all complex valued characters vanshing on a slightly deeper Moy Prasad subgroup and show that, while sufficient, a naive extension of Reeder Yu's stability condition is not necessary for constructing supercuspidal representations.


On construction and (non)existence of c (almost) perfect nonlinear functions. Functions with low differential uniformity have relevant applications in cryptography. Recently, functions with low c differential uniformity attracted lots of attention. In particular, so called APcN and PcN functions (generalization of APN and PN functions) have been investigated. Here, we provide a characterization of such functions via quadratic polynomials as well as non existence results.


Mechanism Design for Online Resource Allocation A Unified Approach. This paper concerns the mechanism design for online resource allocation in a strategic setting. In this setting, a single supplier allocates capacity limited resources to requests that arrive in a sequential and arbitrary manner. Each request is associated with an agent who may act selfishly to misreport the requirement and valuation of her request. The supplier charges payment from agents whose requests are satisfied, but incurs a load dependent supply cost. The goal is to design an incentive compatible online mechanism, which determines not only the resource allocation of each request, but also the payment of each agent, so as to (approximately) maximize the social welfare (i.e., aggregate valuations minus supply cost). We study this problem under the framework of competitive analysis. The major contribution of this paper is the development of a unified approach that achieves the best possible competitive ratios for setups with different supply costs. Specifically, we show that when there is no supply cost or the supply cost function is linear, our model is essentially a standard 0 1 knapsack problem, for which our approach achieves logarithmic competitive ratios that match the state of the art (which is optimal). For the more challenging setup when the supply cost is strictly convex, we provide online mechanisms, for the first time, that lead to the optimal competitive ratios as well. To the best of our knowledge, this is the first approach that unifies the characterization of optimal competitive ratios in online resource allocation for different setups including zero, linear and strictly convex supply costs.


Quantized tensor FEM for multiscale problems diffusion problems in two and three dimensions. Homogenization in terms of multiscale limits transforms a multiscale problem with n 1 asymptotically separated microscales posed on a physical domain D subset mathbb R d into a one scale problem posed on a product domain of dimension (n 1)d by introducing n so called "fast variables". This procedure allows to convert n 1 scales in d physical dimensions into a single scale structure in (n 1)d dimensions. We prove here that both the original, physical multiscale problem and the corresponding high dimensional, one scale limiting problem can be efficiently treated numerically with the recently developed quantized tensor train finite element method (QTT FEM). The method is based on restricting computation to sequences of nested subspaces of low dimensions (which are called tensor ranks) within a vast but generic "virtual" (background) discretization space. In the course of computation, these subspaces are computed iteratively and data adaptively at runtime, bypassing any "offline precomputation". For the purpose of theoretical analysis, such low dimensional subspaces are constructed analytically to bound the tensor ranks vs. error tau 0 . We consider a model linear elliptic multiscale problem in several physical dimensions and show, theoretically and experimentally, that both (i) the solution of the associated high dimensional one scale problem and (ii) the corresponding approximation to the solution of the multiscale problem admit efficient approximation by the QTT FEM. These problems can therefore be numerically solved in a scale robust fashion by standard (low order) PDE discretizations combined with state of the art general purpose solvers for tensor structured linear systems. We prove scale robust exponential convergence, i.e., that QTT FEM achieves accuracy tau with the number of effective degrees of freedom scaling polynomially in log tau .


Building an ID Card Repository with Progressive Web Application to Mitigate Fraud. A lot of service requires identity of users to mitigate undesirable incidents such as fraud. To cut down probability of potential fraud, ID Card of users are collected to be verified so people can verify users whenever an undesirable activity happens. However, to verify identity through an ID card, a repository for the ID Card is required. To verify ID cards, the ID Card repository will be connected to an automated ID Card Verification API. The ID Card repository is meant to be used both on mobile phones and desktop computers, so the concept of progressive web application is used. To be able to upload images smoothly and build progressive web application, the ID Card repository is built using ReactJS and Ant Design. Server side is powered by Strapi and MongoDB. GraphQL API is utilized to connect client side and server side. It involves queries to fetch data. To fetch data on the client side, Apollo client is used to in ReactJS. Git is utilized for version control system which gives contribution to Continuous Integration and Continuous Delivery. In this paper, we will discuss why Strapi is best suited on server side and how Ant Design, a library to style components in a web page, can provide required components in this web application.


Schur's lemma for exact categories implies abelian. We show that for a given exact category, there exists a bijection between semibricks (pairwise Hom orthogonal set of bricks) and length wide subcategories (exact extension closed length abelian subcategories). In particular, we show that a length exact category is abelian if and only if simple objects form a semibrick, that is, the Schur's lemma holds.


'I Updated the ref ' The Evolution of References in the English Wikipedia and the Implications for Altmetrics. With this work, we present a publicly available dataset of the history of all the references (more than 55 million) ever used in the English Wikipedia until June 2019. We have applied a new method for identifying and monitoring references in Wikipedia, so that for each reference we can provide data about associated actions creation, modifications, deletions, and reinsertions. The high accuracy of this method and the resulting dataset was confirmed via a comprehensive crowdworker labelling campaign. We use the dataset to study the temporal evolution of Wikipedia references as well as users' editing behaviour. We find evidence of a mostly productive and continuous effort to improve the quality of references (1) there is a persistent increase of reference and document identifiers (DOI, PubMedID, PMC, ISBN, ISSN, ArXiv ID), and (2) most of the reference curation work is done by registered humans (not bots or anonymous editors). We conclude that the evolution of Wikipedia references, including the dynamics of the community processes that tend to them should be leveraged in the design of relevance indexes for altmetrics, and our dataset can be pivotal for such effort.


Stationary queue and server content distribution of a batch size dependent service queue with batch Markovian arrival process BMAP G (a,b) n 1. Queueing systems with batch Markovian arrival process (BMAP) have paramount applications in the domain of wireless communication. The BMAP has been used to model the superposition of video sources and to approximate the super position of data, voice and video traffic. This paper analyzes an infinite buffer generally distributed batch service queue with BMAP, general bulk service ( a,b ) rule and batch size dependent service time. In this proposed analysis, we mainly focus on deriving the bivariate vector generating function of queue and server content distribution together at departure epoch using supplementary variable technique. The mathematical procedure for the complete extraction of distribution at departure epoch has been discussed and using those extracted probabilities, we achieve the queue and server content distribution at arbitrary epoch. Finally, numerical illustrations have been carried out in order to make a deep insight to the readers which contains deterministic as well as phase type service time distributions.


A spatially extended model to assess the role of landscape structure on the pollination service of Apis mellifera. Apis mellifera plays a crucial role as pollinator of the majority of crops linked to food production and thus its presence is currently fundamental to our health and survival. The composition and configuration of the landscape in which Apis mellifera lives will likely determine the well being of the hives and the pollination service that their members can provide to the crops. Here we present a spatially explicit model that predicts the spatial distribution of visits by Apis mellifera to crops, by simulating daily trips of honey bees, the demographical dynamic of each hive and their honey production. This model goes beyond existing approaches by including 1) a flower resource affected by the feedback interaction between nectar extraction, pollination, blossoming and repeated visits, 2) a pollinators dynamic that allows competition through short term resource depletion, 3) a probabilistic approach of the foraging behavior, modeling the fact that the pollinators have only partial knowledge of the resource on their surroundings, and 4) the specific and systematic foraging behavior and strategies of Apis mellifera at the moment of choosing foraging sites, as opposed to those adopted by solitary and wild pollinators. With a balance between simplicity and realism we show the importance of keeping a minimal fraction of natural habitat in an agricultural landscape. We also evaluate the effects of the landscape's structure on pollination, and demonstrate that there exists an optimal size of natural habitat patches that maximizes the pollination service for a fixed fraction of natural habitat.


Some remarks on one basedness. A type analysable in one based types in a simple theory is itself one based.


Towards a Multiphysics Model for Tumor Response to Combined Hyperthermia Radiotherapy Treatment. We develop a multiphysics based model to predict the response of localized tumors to combined hyperthermia radiotherapy (CHR) treatment. This procedure combines hyperthermia (tumor heating) with standard radiotherapy to improve efficacy of the overall treatment. In addition to directly killing tumor cells, tumor heating amends several parameters within the tumor microenvironment. This leads to radiosensitization, which improves the performance of radiotherapy while reducing the side effects of excess radiation in the surrounding normal tissue. Existing tools to model this kind of treatment consider each of the physics separately. The model presented in this paper accounts for the synergy between hyperthermia and radiotherapy providing a more realistic and holistic approach to simulate CHR treatment. Our model couples radiation transport and heat transfer with cell population dynamics.


Sharp results concerning disjoint cross intersecting families. For an n element set X let binom X k be the collection of all its k subsets. Two families of sets mathcal A and mathcal B are called cross intersecting if A cap B neq emptyset holds for all A in mathcal A , B in mathcal B . Let f(n,k) denote the maximum of min mathcal A , mathcal B where the maximum is taken over all pairs of em disjoint , cross intersecting families mathcal A, mathcal B subset binom n k . Let c log 2e . We prove that f(n,k) left lfloor frac12 binom n 1 k 1 right rfloor essentially iff n ck 2 (cf. Theorem 1.4 for the exact statement). Let f (n,k) denote the same maximum under the additional restriction that the intersection of all members of both mathcal A and mathcal B are empty. For k ge5 and n ge k 3 we show that f (n,k) left lfloor frac12 left( binom n 1 k 1 binom n 2k k 1 right) right rfloor 1 and the restriction on n is essentially sharp (cf. Theorem 5.4).


On Weakly 1 Absorbing Prime Ideals. This paper introduce and study weakly 1 absorbing prime ideals in commutative rings. Let A be a commutative ring with a nonzero identity 1 neq 0 . A proper ideal P of A is said to be a weakly 1 absorbing prime ideal if for each nonunits x, y, z in A with 0 neq xyz in P , then either xy in P or z in P . In addition to give many properties and characterizations of weakly 1 absorbing prime ideals, we also determine rings in which every proper ideal is weakly 1 absorbing prime. Furthermore, we investigate weakly 1 absorbing prime ideals in C(X) , which is the ring of continuous functions of a topological space X.


Linked Credibility Reviews for Explainable Misinformation Detection. In recent years, misinformation on the Web has become increasingly rampant. The research community has responded by proposing systems and challenges, which are beginning to be useful for (various subtasks of) detecting misinformation. However, most proposed systems are based on deep learning techniques which are fine tuned to specific domains, are difficult to interpret and produce results which are not machine readable. This limits their applicability and adoption as they can only be used by a select expert audience in very specific settings. In this paper we propose an architecture based on a core concept of Credibility Reviews (CRs) that can be used to build networks of distributed bots that collaborate for misinformation detection. The CRs serve as building blocks to compose graphs of (i) web content, (ii) existing credibility signals fact checked claims and reputation reviews of websites , and (iii) automatically computed reviews. We implement this architecture on top of lightweight extensions to Schema.org and services providing generic NLP tasks for semantic similarity and stance detection. Evaluations on existing datasets of social media posts, fake news and political speeches demonstrates several advantages over existing systems extensibility, domain independence, composability, explainability and transparency via provenance. Furthermore, we obtain competitive results without requiring finetuning and establish a new state of the art on the Clef'18 CheckThat! Factuality task.


Method for the generation of depth images for view based shape retrieval of 3D CAD model from partial point cloud. A laser scanner can easily acquire the geometric data of physical environments in the form of a point cloud. Recognizing objects from a point cloud is often required for industrial 3D reconstruction, which should include not only geometry information but also semantic information. However, recognition process is often a bottleneck in 3D reconstruction because it requires expertise on domain knowledge and intensive labor. To address this problem, various methods have been developed to recognize objects by retrieving the corresponding model in the database from an input geometry query. In recent years, the technique of converting geometric data into an image and applying view based 3D shape retrieval has demonstrated high accuracy. Depth image which encodes depth value as intensity of pixel is frequently used for view based 3D shape retrieval. However, geometric data collected from objects is often incomplete due to the occlusions and the limit of line of sight. Image generated by occluded point clouds lowers the performance of view based 3D object retrieval due to loss of information. In this paper, we propose a method of viewpoint and image resolution estimation method for view based 3D shape retrieval from point cloud query. Automatic selection of viewpoint and image resolution by calculating the data acquisition rate and density from the sampled viewpoints and image resolutions are proposed. The retrieval performance from the images generated by the proposed method is experimented and compared for various dataset. Additionally, view based 3D shape retrieval performance with deep convolutional neural network has been experimented with the proposed method.


On Words of non Hermitian Random Matrices. We consider words G i 1 cdots G i m involving i.i.d. complex Ginibre matrices, and study tracial expressions of their eigenvalues and singular values. We show that the limit distribution of the squared singular values of every word of length m is a Fuss Catalan distribution with parameter m 1 . This generalizes previous results concerning powers of a complex Ginibre matrix, and products of independent Ginibre matrices. In addition, we find other combinatorial parameters of the word that determine the second order limits of the spectral statistics. For instance, the so called coperiod of a word characterizes the fluctuations of the eigenvalues. We extend these results to words of general non Hermitian matrices with i.i.d. entries under moment matching assumptions, band matrices, and sparse matrices. These results rely on the moments method and genus expansion, relating Gaussian matrix integrals to the counting of compact orientable surfaces of a given genus. This allows us to derive a central limit theorem for the trace of any word of complex Ginibre matrices and their conjugate transposes, where all parameters are defined topologically.


Flint for Safer Smart Contracts. The Ethereum blockchain platform supports the execution of decentralised applications or smart contracts. These typically hold and transfer digital currency to other parties on the platform however, they have been subject to numerous attacks due to the unintentional introduction of bugs. Over a billion dollars worth of currency has been stolen since its release in July 2015. As smart contracts cannot be updated after deployment, it is imperative that the programming language supports the development of robust contracts. We propose Flint, a new statically typed programming language specifically designed for writing robust smart contracts. Flint's features enforce the writing of safe and predictable code. To encourage good practices, we introduce protection blocks. Protection blocks restrict who can run code and when (using typestate) it can be executed. To prevent vulnerabilities relating to the unintentional loss of currency, Flint Asset traits provide safe atomic operations, ensuring the state of contracts is always consistent. Writes to state are restricted, simplifying reasoning about smart contracts.


A1 A Distributed In Memory Graph Database. A1 is an in memory distributed database used by the Bing search engine to support complex queries over structured data. The key enablers for A1 are availability of cheap DRAM and high speed RDMA (Remote Direct Memory Access) networking in commodity hardware. A1 uses FaRM as its underlying storage layer and builds the graph abstraction and query engine on top. The combination of in memory storage and RDMA access requires rethinking how data is allocated, organized and queried in a large distributed system. A single A1 cluster can store tens of billions of vertices and edges and support a throughput of 350 million of vertex reads per second with end to end query latency in single digit milliseconds. In this paper we describe the A1 data model, RDMA optimized data structures and query execution.