Stability of transonic contact discontinuity for two dimensional steady compressible Euler flows in a finitely long nozzle. We consider the stability of transonic contact discontinuity for the two dimensional steady compressible Euler flows in a finitely long nozzle. This is the first work on the mixed type problem of transonic flows across a contact discontinuity as a free boundary in nozzles. We start with the Euler Lagrangian transformation to straighten the contact discontinuity in the new coordinates. However, the upper nozzle wall in the subsonic region depending on the mass flux becomes a free boundary after the transformation. Then we develop new ideas and techniques to solve the free boundary problem in three steps (1) we fix the free boundary and generate a new iteration scheme to solve the corresponding fixed boundary value problem of the hyperbolic elliptic mixed type by building some powerful estimates for both the first order hyperbolic equation and a second order nonlinear elliptic equation in a Lipschitz domain (2) we update the new free boundary by constructing a mapping that has a fixed point (3) we establish via the inverse Lagrangian coordinates transformation that the original free interface problem admits a unique piecewise smooth transonic solution near the background state, which consists of a smooth subsonic flow and a smooth supersonic flow with a contact discontinuity.


Reliability of Power System Frequency on Times Stamping Digital Recordings. Power system frequency could be captured by digital recordings and extracted to compare with a reference database for forensic time stamp verification. It is known as the electric network frequency (ENF) criterion, enabled by the properties of random fluctuation and intra grid consistency. In essence, this is a task of matching a short random sequence within a long reference, and the reliability of this criterion is mainly concerned with whether this match could be unique and correct. In this paper, we comprehensively analyze the factors affecting the reliability of ENF matching, including length of test recording, length of reference, temporal resolution, and signal to noise ratio (SNR). For synthetic analysis, we incorporate the first order autoregressive (AR) ENF model and propose an efficient time frequency domain (TFD) noisy ENF synthesis method. Then, the reliability analysis schemes for both synthetic and real world data are respectively proposed. Through a comprehensive study we reveal that while the SNR is an important external factor to determine whether time stamp verification is viable, the length of test recording is the most important inherent factor, followed by the length of reference. However, the temporal resolution has little impact on the matching process.


Memformer A Memory Augmented Transformer for Sequence Modeling. Transformers have reached remarkable success in sequence modeling. However, these models have efficiency issues as they need to store all the history token level representations as memory. We present Memformer, an efficient neural network for sequence modeling, that utilizes an external dynamic memory to encode and retrieve past information. Our model achieves linear time complexity and constant memory space complexity when processing long sequences. We also propose a new optimization scheme, memory replay back propagation (MRBP), which promotes long range back propagation through time with a significantly reduced memory requirement. Experimental results show that Memformer has achieved comparable performance compared to the baselines by using 8.1x less memory space and 3.2x faster on inference. Analysis of the attention pattern shows that our external memory slots can encode and retain important information through timesteps.


Disks area minimizing in mean convex Riemannian n manifolds. We prove the validity of an inequality involving a mean of the area and the length of the boundary of immersed disks whose boundaries are homotopically non trivial curves in an oriented compact manifold which possesses convex mean curvature boundary, positive escalar curvature and admits a map to mathbb D 2 times T n with nonzero degree, where mathbb D 2 is a disk and T n is an n dimensional torus. We also prove a rigidity result for the equality case when the boundary is totally geodesic. This can be viewed as a partial generalization of a result due to Lucas Ambr 'ozio in cite AMB to higher dimensions.


A new face iterator for polyhedra and more general finite locally branched lattices. We discuss a new memory efficient depth first algorithm and its implementation that iterates over all elements of a finite locally branched lattice. This algorithm can be applied to face lattices of polyhedra and to various generalizations such as finite polyhedral complexes and subdivisions of manifolds, extended tight spans and closed sets of matroids. Its practical implementation is very fast compared to state of the art implementations of previously considered algorithms. Based on recent work of Bruns, Garc 'ia S 'anchez, O'Neill and Wilburne, we apply this algorithm to prove Wilf's conjecture for all numerical semigroups of multiplicity 19 by iterating through the faces of the Kunz cone and identifying the possible bad faces and then checking that these do not yield counterexamples to Wilf's conjecture.


Non integrable stable approximation by Stein's method. We develop Stein's method for alpha stable approximation with alpha in(0,1 , continuing the recent line of research by Xu cite lihu and Chen, Nourdin and Xu cite C N X in the case alpha in(1,2). The main results include an intrinsic upper bound for the error of the approximation in a variant of Wasserstein distance that involves the characterizing differential operators for stable distributions, and an application to the generalized central limit theorem. Due to the lack of first moment for the approximating sequence in the latter result, we appeal to an additional truncation procedure and investigate fine regularity properties of the solution to Stein's equation.


Galois deformation spaces with a sparsity of automorphic points. Let k mathbb F p denote a finite field. For any split connected reductive group G W(k) and certain CM number fields F , we deform certain Galois representations overline rho Gal( overline F F) to G(k) to continuous families X overline rho of Galois representations Gal( overline F F) to G( overline mathbb Q p ) lifting overline rho such that the space of points of X overline rho which are geometric (in the sense of the Fontaine Mazur conjecture) with parallel Hodge Tate weights has positive codimension in X overline rho . Thus the set of points in X overline rho which could (conjecturally) be associated to automorphic forms is sparse. This generalizes a result of Calegari and Mazur for F mathbb Q quadratic imaginary and G GL 2 . The sparsity of automorphic points for F a CM field contrasts with the situation when F is a totally real field, where automorphic points are often provably dense.


The Fitness Value of Information with Delayed Phenotype Switching Optimal Performance with Imperfect Sensing. The ability of organisms to accurately sense their environment and respond accordingly is critical for evolutionary success. However, exactly how the sensory ability influences fitness is a topic of active research, while the necessity of a time delay between when unreliable environmental cues are sensed and when organisms can mount a response has yet to be explored at any length. Accounting for this delay in phenotype response in models of population growth, we find that a critical error probability can exist under certain environmental conditions an organism with a sensory system with any error probability less than the critical value can achieve the same long term growth rate as an organism with a perfect sensing system. We also observe a trade off between the evolutionary value of sensory information and robustness to error, mediated by the rate at which the phenotype distribution relaxes to steady state. The existence of the critical error probability could have several important evolutionary consequences, primarily that sensory systems operating at the non zero critical error probability may be evolutionarily optimal.


Global solutions for random vorticity equations perturbed by gradient dependent noise, in two and three dimensions. The aim of this work is to prove an existence and uniqueness result of Kato Fujita type for the Navier Stokes equations, in vorticity form, in 2 D and 3 D , perturbed by a gradient type multiplicative Gaussian noise (for sufficiently small initial vorticity). These equations are considered in order to model hydrodynamic turbulence. The approach was motivated by a recent result by V. Barbu and the second named author in cite b1 , that treats the stochastic 3D Navier Stokes equations, in vorticity form, perturbed by linear multiplicative Gaussian noise. More precisely, the equation is transformed to a random nonlinear parabolic equation, as in cite b1 , but the transformation is different and adapted to our gradient type noise. Then global unique existence results are proved for the transformed equation, while for the original stochastic Navier Stokes equations, existence of a solution adapted to the Brownian filtration is obtained up to some stopping time.


Equivariant Cerf theory and perturbative SU(n) Casson invariants. We develop an equivariant Cerf theory for Morse functions on finite dimensional manifolds with group actions, and adapt the technique to the infinite dimensional setting to study the moduli space of perturbed flat SU(n) connections. As a consequence, we prove the existence of perturbative SU(n) Casson invariants on integer homology spheres for all n ge 3 , and write down an explicit formula when n 4 . This generalizes the previous works of Boden and Herald.


Cross Modal Hierarchical Modelling for Fine Grained Sketch Based Image Retrieval. Sketch as an image search query is an ideal alternative to text in capturing the fine grained visual details. Prior successes on fine grained sketch based image retrieval (FG SBIR) have demonstrated the importance of tackling the unique traits of sketches as opposed to photos, e.g., temporal vs. static, strokes vs. pixels, and abstract vs. pixel perfect. In this paper, we study a further trait of sketches that has been overlooked to date, that is, they are hierarchical in terms of the levels of detail a person typically sketches up to various extents of detail to depict an object. This hierarchical structure is often visually distinct. In this paper, we design a novel network that is capable of cultivating sketch specific hierarchies and exploiting them to match sketch with photo at corresponding hierarchical levels. In particular, features from a sketch and a photo are enriched using cross modal co attention, coupled with hierarchical node fusion at every level to form a better embedding space to conduct retrieval. Experiments on common benchmarks show our method to outperform state of the arts by a significant margin.


An equivariant orbifold index for proper actions. For a proper, cocompact action by a locally compact group of the form H times G , with H compact, we define an H times G equivariant index of H transversally elliptic operators, which takes values in KK (C H, C G) . This simultaneously generalises the Baum Connes analytic assembly map, Atiyah's index of transversally elliptic operators, and Kawasaki's orbifold index. This index also generalises the assembly map to elliptic operators on orbifolds. In the special case where the manifold in question is a real semisimple Lie group, G is a cocompact lattice and H is a maximal compact subgroup, we realise the Dirac induction map from the Connes Kasparov conjecture as a Kasparov product and obtain an index theorem for Spin Dirac operators on compact locally symmetric spaces.


Edge removal in undirected networks. The edge removal problem asks whether the removal of a lambda capacity edge from a given network can decrease the communication rate between source terminal pairs by more than lambda . In this short manuscript, we prove that for undirected networks, removing a lambda capacity edge decreases the rate by O( lambda) . Through previously known reductive arguments, here newly applied to undirected networks, our result implies that the zero error capacity region of an undirected network equals its vanishing error capacity region. Whether it is possible to prove similar results for directed networks remains an open question.


PETALO Time of Flight PET with liquid xenon. The fast scintillation decay time and the high scintillation yield of liquid xenon makes it an appropriate material for nuclear medicine. Moreover, being a continuous medium with a uniform response, liquid xenon allows one to avoid most of the geometrical distortions of conventional detectors based on scintillating crystals. In this paper, we describe how these properties have motivated the development of a novel concept for positron emission tomography scanners with Time Of Flight measurement, which uses liquid xenon as a scintillating material and silicon photomultipliers as sensors. Monte Carlo studies have indicated that this technology would provide a very good intrinsic time resolution, of around 70 ps. Moreover, being liquid xenon transparent to UV and blue wavelengths, both scintillation and Cherenkov light can be exploited. While the former can be used for energy measurements, the latter is a prompt signal (of a few picoseconds), which provides a very precise time measurement. Monte Carlo simulations point to a time resolution of 30 50 ps obtained using Cherenkov light. A first prototype is being built to demonstrate the high energy, spatial and time resolution of this concept, using a ring of around 30 cm of internal diameter and a depth of 3 cm instrumented with VUV sensitive silicon photomultipliers.


Operational Valuation for Energy Storage under Multi stage Price Uncertainties. This paper presents an analytical method for calculating the operational value of an energy storage device under multi stage price uncertainties. Our solution calculates the storage value function from price distribution functions directly instead of sampling discrete scenarios, offering improved modeling accuracy over tail distribution events such as price spikes and negative prices. The analytical algorithm offers very high computational efficiency in solving multi stage stochastic programming for energy storage and can easily be implemented within any software and hardware platform, while numerical simulation results show the proposed method is up to 100,000 times faster than a benchmark stochastic dual dynamic programming solver even in small test cases. Case studies are included to demonstrate the impact of price variability on the valuation results, and a battery charging example using historical prices for New York City.


Investigation of condensation shocks and re entrant jet dynamics in a cavitating nozzle flow by Large Eddy Simulation. Cloud cavitation is related to an intrinsic instability where clouds are shed periodically. The shedding process is initiated either by the motion of a liquid re entrant jet or a condensation shock. Cloud cavitation in nozzles interacts with the flow field in the nozzle, the mass flow and the spray break up, and causes erosion damage. For nozzle geometries cloud shedding and the associated processes have not yet been studied in detail. In this paper, we investigate the process of cloud cavitation shedding, the re entrant jet and condensation shocks in a scaled up generic step nozzle with injection into gas using implicit Large Eddy Simulations (LES). For modeling of the cavitating liquid we employ a barotropic equilibrium cavitation model, embedded in a homogeneous multi component mixture model. Full compressibility of all components is taken into account to resolve the effects of collapsing vapor structures. We carry out simulations of two operating points exhibiting different cavitation regimes. The time resolved, three dimensional simulation results cover several shedding cycles and provide deeper insight into the flow field. Our results show that at lower cavitation numbers, shedding is initiated by condensation shocks, which has not yet been reported for nozzle flows with a constant cross section. We analyze the cavitation dynamics and the shedding cycles of both operating points. Based on our observations we propose modifications to established schematics of the cloud shedding process. Additionally, we analyze the near wall upstream flow in and underneath the vapor sheet and possible driving mechanism behind the formation of the re entrant jet.


Initial L 2 times cdots times L 2 bounds for multilinear operators. The L p boundedness theory of convolution operators is linebreak based on an initial L 2 to L 2 estimate derived from the Fourier transform. The corresponding theory of multilinear operators lacks such a simple initial estimate in view of the unavailability of Plancherel's identity in this setting, and up to now it has not been clear what a natural initial estimate might be. In this work we achieve exactly this goal, i.e., obtain an initial L 2 times cdots times L 2 to L 2 m estimate for general building blocks of m linear multiplier operators. We apply this result to deduce analogous bounds for multilinear rough singular integrals, multipliers of H "ormander type, and multipliers whose derivatives satisfy qualitative estimates.


Stable integral simplicial volume of 3 manifolds. We show that non elliptic prime 3 manifolds satisfy integral approximation for the simplicial volume, i.e., that their simplicial volume equals the stable integral simplicial volume. The proof makes use of integral foliated simplicial volume and tools from ergodic theory.


SOSNet Second Order Similarity Regularization for Local Descriptor Learning. Despite the fact that Second Order Similarity (SOS) has been used with significant success in tasks such as graph matching and clustering, it has not been exploited for learning local descriptors. In this work, we explore the potential of SOS in the field of descriptor learning by building upon the intuition that a positive pair of matching points should exhibit similar distances with respect to other points in the embedding space. Thus, we propose a novel regularization term, named Second Order Similarity Regularization (SOSR), that follows this principle. By incorporating SOSR into training, our learned descriptor achieves state of the art performance on several challenging benchmarks containing distinct tasks ranging from local patch retrieval to structure from motion. Furthermore, by designing a von Mises Fischer distribution based evaluation method, we link the utilization of the descriptor space to the matching performance, thus demonstrating the effectiveness of our proposed SOSR. Extensive experimental results, empirical evidence, and in depth analysis are provided, indicating that SOSR can significantly boost the matching performance of the learned descriptor.


Memory Augmented Recurrent Neural Networks Can Learn Generalized Dyck Languages. We introduce three memory augmented Recurrent Neural Networks (MARNNs) and explore their capabilities on a series of simple language modeling tasks whose solutions require stack based mechanisms. We provide the first demonstration of neural networks recognizing the generalized Dyck languages, which express the core of what it means to be a language with hierarchical structure. Our memory augmented architectures are easy to train in an end to end fashion and can learn the Dyck languages over as many as six parenthesis pairs, in addition to two deterministic palindrome languages and the string reversal transduction task, by emulating pushdown automata. Our experiments highlight the increased modeling capacity of memory augmented models over simple RNNs, while inflecting our understanding of the limitations of these models.


Reconstruction anab 'elienne du squelette des courbes analytiques. In this work we bring to light some anabelian behaviours of analytic curves in the setting of Berkovich geometry. We show more precisely that the knowledge of the tempered fundamental group of some curves that we call analytically anabelian determines their analytic skeletons as graphs. The tempered fundamental group of a Berkovich space, introduced by Andr 'e, enabled Mochizuki to prove the first result of anabelian geometry in Berkovich geometry concerning analytifications of algebraic hyperbolic curves over overline mathbb Q p . To that end, Mochizuki developed the categorical language of semi graphs of anabelio "ids and tempero "ids. Our work consists in associating a graph of anabelio "ids to a Berkovich curve equipped with a minimal triangulation and in adapting the results of Mochizuki in order to recover the analytic skeleton of the curve. The novelty of this anabelian result in Berkovich geometry is that the curves we are interested in are not supposed anymore to be of algebraic nature. We show for example that the famous Drinfeld half plane is an analytically anabelian curve.


DoQA Accessing Domain Specific FAQs via Conversational QA. The goal of this work is to build conversational Question Answering (QA) interfaces for the large body of domain specific information available in FAQ sites. We present DoQA, a dataset with 2,437 dialogues and 10,917 QA pairs. The dialogues are collected from three Stack Exchange sites using the Wizard of Oz method with crowdsourcing. Compared to previous work, DoQA comprises well defined information needs, leading to more coherent and natural conversations with less factoid questions and is multi domain. In addition, we introduce a more realistic information retrieval(IR) scenario where the system needs to find the answer in any of the FAQ documents. The results of an existing, strong, system show that, thanks to transfer learning from a Wikipedia QA dataset and fine tuning on a single FAQ domain, it is possible to build high quality conversational QA systems for FAQs without in domain training data. The good results carry over into the more challenging IR scenario. In both cases, there is still ample room for improvement, as indicated by the higher human upperbound.


Direct and inverse theorems of approximation of functions in weighted Orlicz type spaces with variable exponent. In weighted Orlicz type spaces mathcal S scriptstyle mathbf p, , mu with a variable summation exponent, the direct and inverse approximation theorems are proved in terms of best approximations of functions and moduli of smoothness of fractional order. It is shown that the constant obtained in the inverse approximation theorem is in a certain sense the best. Some applications of the results are also proposed. In particular, the constructive characteristics of functional classes defined by such moduli of smoothness are given. Equivalence between moduli of smoothness and certain Peetre K functionals is shown in the spaces mathcal S scriptstyle mathbf p, , mu .


Properties of minimal charts and their applications VI the graph Gamma m 1 in a chart Gamma of type (m 2,3,2) . Let Gamma be a chart, and we denote by Gamma m the union of all the edges of label m . A chart Gamma is of type (m 2,3,2) if w( Gamma) 7 , w( Gamma m cap Gamma m 1 ) 2 , w( Gamma m 1 cap Gamma m 2 ) 3 , and w( Gamma m 2 cap Gamma m 3 ) 2 where w(G) is the number of white vertices in G . In this paper, we prove that if there is a minimal chart Gamma of type (m 2,3,2) , then each of Gamma m 1 and Gamma m 2 contains one of three kinds of graphs. In the next paper, we shall prove that there is no minimal chart of type (m 2,3,2) .


Forward and inverse acoustic scattering problems involving the mass density. This investigation is concerned with the 2D acoustic scattering problem of a plane wave propagating in a non lossy fluid host and soliciting a linear, isotropic, macroscopically homogeneous, lossy, flat plane layer in which the mass density and wavespeed are different from those of the host. The focus is on the inverse problem of the retrieval of either the layer mass density or the real part of the layer wavespeed. The data is the transmitted pressure field, obtained by simulation (resolution of the forward problem) in exact, explicit form via separation of variables. Another form of this solution, which is exact and more explicit in terms of the mass density contrast (between the host and layer), is obtained by a domain integral method. A perturbation technique enables this solution to be cast as a series of powers of the mass density contrast, the first three terms of which are employed as the trial models in the treatment of the inverse problem. The aptitude of these models to retrieve the mass density contrast and real part of the layer wavespeed is demonstrated both theoretically and numerically. Keywords 2D acoustics, forward scattering, inverse scattering, domain integral equation, constant mass density assumption, small density contrast, retrieval accuracy


Primes in arithmetic progressions and semidefinite programming. Assuming the generalized Riemann hypothesis, we give asymptotic bounds on the size of intervals that contain primes from a given arithmetic progression using the approach developed by Carneiro, Milinovich and Soundararajan Comment. Math. Helv. 94, no. 3 (2019) . For this we extend the Guinand Weil explicit formula over all Dirichlet characters modulo q geq 3 , and we reduce the associated extremal problems to convex optimization problems that can be solved numerically via semidefinite programming.


Pointwise convergence of noncommutative Fourier series. This paper is devoted to the study of pointwise convergence of Fourier series for group von Neumann algebras and quantum groups. It is well known that a number of approximation properties of groups can be interpreted as summation methods and mean convergence of the associated noncommutative Fourier series. Based on this framework, this paper studies the refined counterpart of pointwise convergence of these Fourier series. As a key ingredient, we develop a noncommutative bootstrap method and establish a general criterion of maximal inequalities for approximate identities of noncommutative Fourier multipliers. Based on this criterion, we prove that for any countable discrete amenable group, there exists a sequence of finitely supported positive definite functions tending to 1 pointwise, so that the associated Fourier multipliers on noncommutative L p spaces satisfy the pointwise convergence for all p 1 . In a similar fashion, we also obtain results for a large subclass of groups (as well as quantum groups) with the Haagerup property and the weak amenability. We also consider the analogues of Fej ' e r and Bochner Riesz means in the noncommutative setting. Our approach heavily relies on the noncommutative ergodic theory in conjunction with abstract constructions of Markov semigroups, inspired by quantum probability and geometric group theory. Finally, we also obtain as a byproduct the dimension free bounds of the noncommutative Hardy Littlewood maximal inequalities associated with convex bodies.


A Matroid Generalization of the Super Stable Matching Problem. A super stable matching, which was introduced by Irving, is a solution concept in a variant of the stable matching problem in which the preferences may contain ties. Irving proposed a polynomial time algorithm for the problem of finding a super stable matching if a super stable matching exists. In this paper, we consider a matroid generalization of a super stable matching. We call our generalization of a super stable matching a super stable common independent set. This can be considered as a generalization of the matroid generalization of a stable matching for strict preferences proposed by Fleiner. We propose a polynomial time algorithm for the problem of finding a super stable common independent set if a super stable common independent set exists.


GSTO Gated Scale Transfer Operation for Multi Scale Feature Learning in Pixel Labeling. Existing CNN based methods for pixel labeling heavily depend on multi scale features to meet the requirements of both semantic comprehension and detail preservation. State of the art pixel labeling neural networks widely exploit conventional scale transfer operations, i.e., up sampling and down sampling to learn multi scale features. In this work, we find that these operations lead to scale confused features and suboptimal performance because they are spatial invariant and directly transit all feature information cross scales without spatial selection. To address this issue, we propose the Gated Scale Transfer Operation (GSTO) to properly transit spatial filtered features to another scale. Specifically, GSTO can work either with or without extra supervision. Unsupervised GSTO is learned from the feature itself while the supervised one is guided by the supervised probability matrix. Both forms of GSTO are lightweight and plug and play, which can be flexibly integrated into networks or modules for learning better multi scale features. In particular, by plugging GSTO into HRNet, we get a more powerful backbone (namely GSTO HRNet) for pixel labeling, and it achieves new state of the art results on the COCO benchmark for human pose estimation and other benchmarks for semantic segmentation including Cityscapes, LIP and Pascal Context, with negligible extra computational cost. Moreover, experiment results demonstrate that GSTO can also significantly boost the performance of multi scale feature aggregation modules like PPM and ASPP. Code will be made available at https github.com VDIGPKU GSTO.


On Herbrand Skeletons. Herbrand's theorem plays an important role both in proof theory and in computer science. Given a Herbrand skeleton, which is basically a number specifying the count of disjunctions of the matrix, we would like to get a computable bound on the size of terms which make the disjunction into a quasitautology. This is an important problem in logic, specifically in the complexity of proofs. In computer science, specifically in automated theorem proving, one hopes for an algorithm which avoids the guesses of existential substitution axioms involved in proving a theorem. Herbrand's theorem forms the very basis of automated theorem proving where for a given number n we would like to have an algorithm which finds the terms in the n disjunctions of matrices solely from the shape of the matrix. The main result of this paper is that both problems have negative solutions.


Chatbots as conversational healthcare services. Chatbots are emerging as a promising platform for accessing and delivering healthcare services. The evidence is in the growing number of publicly available chatbots aiming at taking an active role in the provision of prevention, diagnosis, and treatment services. This article takes a closer look at how these emerging chatbots address design aspects relevant to healthcare service provision, emphasizing the Human AI interaction aspects and the transparency in AI automation and decision making.


Quantitatively Hyper Positive Real Functions. Hyper Positive real, matrix valued, rational functions are associated with absolute stability (the Lurie problem). Here, quantitative subsets of Hyper positive functions, related through nested inclusions, are introduced. Structurally, this family of functions turns out to be matrix convex and closed under inversion. A state space characterization of these functions, through a corresponding Kalman Yakubovich Popov Lemma is given. Technically, the classical Linear Matrix Inclusions, associated with passive systems, are here substituted by Quadratic Matrix Inclusions.


Closed neighborhood ideal of a graph. We introduce a family of squarefree monomial ideals associated to finite simple graphs, whose monomial generators correspond to closed neighborhood of vertices of the underlying graph. Any such ideal is called the closed neighborhood ideal of the graph. We study some algebraic invariants of these ideals like Castelnuovo Mumford regularity and projective dimension and present some combinatorial descriptions for these invariants in terms of graph invariants.


Co Prime Order graph of a finite abelian Group and Dihedral Group. The textbf Co Prime Order Graph Theta (G) of a given finite group is a simple undirected graph whose vertex set is the group G itself, and any two vertexes x,y in Theta (G) are adjacent if and only if gcd(o(x),o(y)) 1 or prime. In this paper, we find a precise formula to count the degree of a vertex in the Co Prime Order graph of a finite abelian group or Dihedral group D n .We also investigate the Laplacian spectrum of the Co Prime Order Graph Theta (G) when G is finite abelian p group, mathbb Z p t times mathbb Z q s or Dihedral group D p n . Key Words and Phrases Co Prime Order graph,finite abelian group,Dihedral group, Laplacian spectrum.


Density of diagonalizable matrices in sets of structured matrices defined from indefinite scalar products. For an (indefinite) scalar product x,y B x HBy for B pm B H in Gl n( mathbb C ) on mathbb C n times mathbb C n we show that the set of diagonalizable matrices is dense in the set of all B selfadjoint, B skewadjoint, B unitary and B normal matrices.


Mining Message Flows from System on Chip Execution Traces. Comprehensive and well defined specifications are necessary to perform rigorous and thorough validation of system on chip (SoC) designs. Message flows specify how components of an SoC design communicate and coordinate with each other to realize various system functions. Message flow specifications are essential for efficient system level validation and debug for SoC designs. However, in practice such specifications are usually not available, often ambiguous, incomplete, or even contain errors. This paper addresses that problem by proposing a specification mining framework, FlowMiner, that automatically extracts message flows from SoC execution traces, which, unlike software traces, show a high degree of concurrency. A set of inference rules and optimization techniques are presented to improve mining performance and reduce mining complexity. Evaluation of this framework in several experiments shows promising results.


Revisiting the Threat Space for Vision based Keystroke Inference Attacks. A vision based keystroke inference attack is a side channel attack in which an attacker uses an optical device to record users on their mobile devices and infer their keystrokes. The threat space for these attacks has been studied in the past, but we argue that the defining characteristics for this threat space, namely the strength of the attacker, are outdated. Previous works do not study adversaries with vision systems that have been trained with deep neural networks because these models require large amounts of training data and curating such a dataset is expensive. To address this, we create a large scale synthetic dataset to simulate the attack scenario for a keystroke inference attack. We show that first pre training on synthetic data, followed by adopting transfer learning techniques on real life data, increases the performance of our deep learning models. This indicates that these models are able to learn rich, meaningful representations from our synthetic data and that training on the synthetic data can help overcome the issue of having small, real life datasets for vision based key stroke inference attacks. For this work, we focus on single keypress classification where the input is a frame of a keypress and the output is a predicted key. We are able to get an accuracy of 95.6 after pre training a CNN on our synthetic data and training on a small set of real life data in an adversarial domain adaptation framework. Source Code for Simulator https github.com jlim13 keystroke inference attack synthetic dataset generator


A Comparison of Empirical Tree Entropies. Whereas for strings, higher order empirical entropy is the standard entropy measure, several different notions of empirical entropy for trees have been proposed in the past, notably label entropy, degree entropy, conditional versions of the latter two, and empirical entropy of trees (here, called label shape entropy). In this paper, we carry out a systematic comparison of these entropy measures. We underpin our theoretical investigations by experimental results with real XML data.


Matrix factorizations for self orthogonal categories of modules. For a commutative ring S and self orthogonal subcategory mathsf C of mathsf Mod (S) , we consider matrix factorizations whose modules belong to mathsf C . Let f in S be a regular element. If f is M regular for every M in mathsf C , we show there is a natural embedding of the homotopy category of mathsf C factorizations of f into a corresponding homotopy category of totally acyclic complexes. Moreover, we prove this is an equivalence if mathsf C is the category of projective or flat cotorsion S modules. Dually, using divisibility in place of regularity, we observe there is a parallel equivalence when mathsf C is the category of injective S modules.


Linear Complexity of A Family of Binary pq 2 periodic Sequences From Euler Quotients. We first introduce a family of binary pq 2 periodic sequences based on the Euler quotients modulo pq , where p and q are two distinct odd primes and p divides q 1 . The minimal polynomials and linear complexities are determined for the proposed sequences provided that 2 q 1 not equiv 1 mod q 2 . The results show that the proposed sequences have high linear complexities.


Efficient Large Scale Multi Drone Delivery Using Transit Networks. We consider the problem of controlling a large fleet of drones to deliver packages simultaneously across broad urban areas. To conserve energy, drones hop between public transit vehicles (e.g., buses and trams). We design a comprehensive algorithmic framework that strives to minimize the maximum time to complete any delivery. We address the multifaceted complexity of the problem through a two layer approach. First, the upper layer assigns drones to package delivery sequences with a near optimal polynomial time task allocation algorithm. Then, the lower layer executes the allocation by periodically routing the fleet over the transit network while employing efficient bounded suboptimal multi agent pathfinding techniques tailored to our setting. Experiments demonstrate the efficiency of our approach on settings with up to 200 drones, 5000 packages, and transit networks with up to 8000 stops in San Francisco and Washington DC. Our results show that the framework computes solutions typically within a few seconds on commodity hardware, and that drones travel up to 360 of their flight range with public transit.


Largest hyperbolic actions and quasi parabolic actions in groups. The set of equivalence classes of cobounded actions of a group on different hyperbolic metric spaces carries a natural partial order. The resulting poset thus gives rise to a notion of the "best" hyperbolic action of a group as the largest element of this poset, if such an element exists. We call such an action a largest hyperbolic action. While hyperbolic groups admit largest hyperbolic actions, we give evidence in this paper that this phenomenon is rare for non hyperbolic groups. In particular, we prove that many families of groups of geometric origin do not have largest hyperbolic actions, including for instance many 3 manifold groups and most mapping class groups. Our proofs use the quasi trees of metric spaces of Bestvina Bromberg Fujiwara, among other tools. In addition, we give a complete characterization of the poset of hyperbolic actions of Anosov mapping torus groups, and we show that mapping class groups of closed surfaces of genus at least two have hyperbolic actions which are comparable only to the trivial action.


Twenty Female Mathematicians. In this explanatory work, we make an attempt to briefly discuss the work and technical achievements of twenty female mathematicians. The work may be useful as a historical resource, but there is very little biography or history, and the primary focus is on the mathematics. In fact, the main use will probably be for a student who is coming to a new area of mathematics for the first time and needs an overview of some of the key results and references viewed through the work of one of that area's main contributors. The work of the following mathematicians is discussed Sofia Kovalevskaya, Emmy Noether, Mary Cartwright, Julia Robinson, Olga Ladyzhenska, Yvonne Choquet Bruhat, Olga Oleinik, Charlotte Fischer, Karen Uhlenbeck, Krystyna Kuperberg, Nicole Tomczak Jaegermann, Dusa McDuff, Karen Vogtmann, Carolyn Gordon, Frances Kirwan, Leila Schneps, Claire Voisin, Olga Holtz, Maryam Mirzakhani and Maryna Viazowska. There is a website based on this document (https tusindfryd.github.io twenty female mathematicians ) created by Dominika G 'oral. Changes, corrections, and additions can be suggested at the website, but the website is currently not being actively maintained, so any suggestions for corrections and changes will be made to the document instead. The research areas of the mathematicians in question can be found at the website.


On p power freeness in positive characteristic. In this note, we study base point freeness up to taking p power, which we will call p power freeness. We first establish some criteria for p power freeness as analogues of criteria for semi ampleness. We then apply these results to three dimensional birational geometry.


The endoscopic fundamental lemma for unitary Friedberg Jacquet periods. We prove the endoscopic fundamental lemma for the Lie algebra of the symmetric space U(2n) U(n) times U(n) , where U(n) denotes a unitary group of rank n . This is the first major step in the stabilization of the relative trace formula associated to the U(n) times U(n) periods of automorphic forms on U(2n) .


Fast Convergent Federated Learning. Federated learning has emerged recently as a promising solution for distributing machine learning tasks through modern networks of mobile devices. Recent studies have obtained lower bounds on the expected decrease in model loss that is achieved through each round of federated learning. However, convergence generally requires a large number of communication rounds, which induces delay in model training and is costly in terms of network resources. In this paper, we propose a fast convergent federated learning algorithm, called FOLB, which performs intelligent sampling of devices in each round of model training to optimize the expected convergence speed. We first theoretically characterize a lower bound on improvement that can be obtained in each round if devices are selected according to the expected improvement their local models will provide to the current global model. Then, we show that FOLB obtains this bound through uniform sampling by weighting device updates according to their gradient information. FOLB is able to handle both communication and computation heterogeneity of devices by adapting the aggregations according to estimates of device's capabilities of contributing to the updates. We evaluate FOLB in comparison with existing federated learning algorithms and experimentally show its improvement in trained model accuracy, convergence speed, and or model stability across various machine learning tasks and datasets.


Electron stimulated desorption from molecular ices in the sub keV regime. Electron stimulated desorption (ESD) of cryosorbed molecules on surfaces is a process of relevance to fields as varied as vacuum dynamics in accelerators and astrochemistry. While desorption from such molecular systems induced by keV electrons and fast ions has been extensively studied, the sub keV electron regime is comparatively little known. We measured and quantified electron stimulated desorption from molecular ice systems (layers of N 2 , CO, CO 2 , Ar and H 2 O D 2 O condensed at cryogenic temperatures) in the 150 2000 eV electron energy range. In this regime stopping power is no longer sufficient to explain the electron energy dependence of ESD yields. We introduce the notion of desorption relevant depth, which characterizes the transition between two energy deposition regimes near the surface. We then apply this notion to the different systems, showing how ESD in the sub keV regime can for example reveal the differences in species diffusion in crystalline and porous amorphous CO 2 ices.


A complete equational axiomatisation of partial differentiation. We formalise the well known rules of partial differentiation in a version of equational logic with function variables and binding constructs. We prove the resulting theory is complete with respect to polynomial interpretations. The proof makes use of Severi's interpolation theorem that all multivariate Hermite problems are solvable. We also present a number of related results, such as decidability and equational completeness.


Understanding Echo Chambers in E commerce Recommender Systems. Personalized recommendation benefits users in accessing contents of interests effectively. Current research on recommender systems mostly focuses on matching users with proper items based on user interests. However, significant efforts are missing to understand how the recommendations influence user preferences and behaviors, e.g., if and how recommendations result in textit echo chambers . Extensive efforts have been made in examining the phenomenon in online media and social network systems. Meanwhile, there are growing concerns that recommender systems might lead to the self reinforcing of user's interests due to narrowed exposure of items, which may be the potential cause of echo chamber. In this paper, we aim to analyze the echo chamber phenomenon in Alibaba Taobao one of the largest e commerce platforms in the world. Echo chamber means the effect of user interests being reinforced through repeated exposure to similar contents. Based on the definition, we examine the presence of echo chamber in two steps. First, we explore whether user interests have been reinforced. Second, we check whether the reinforcement results from the exposure of similar contents. Our evaluations are enhanced with robust metrics, including cluster validity and statistical significance. Experiments are performed on extensive collections of real world data consisting of user clicks, purchases, and browse logs from Alibaba Taobao. Evidence suggests the tendency of echo chamber in user click behaviors, while it is relatively mitigated in user purchase behaviors. Insights from the results guide the refinement of recommendation algorithms in real world e commerce systems.


A note on the weak and pointwise convergence of BV functions. We study pointwise convergence properties of weakly converging sequences u i i in mathbb N in mathrm BV ( mathbb R n) . We show that, after passage to a suitable subsequence (not relabeled), we have pointwise convergence u i (x) to u (x) of the precise representatives for all x in mathbb R n setminus E , where the exceptional set E subset mathbb R n has on the one hand Hausdorff dimension at most n 1 , and is on the other hand also negligible with respect to the Cantor part of D u . Furthermore, we discuss the optimality of these results.


EventWarden A Decentralized Event driven Proxy Service for Outsourcing Arbitrary Transactions in Ethereum like Blockchains. Transactions represent a fundamental component in blockchains as they are the primary means for users to change the blockchain state. Current blockchain systems such as Bitcoin and Ethereum require users to constantly observe the state changes of interest or the events taking place in a blockchain and requires the user to explicitly release the required transactions to respond to the observed events in the blockchain. This paper proposes EventWarden, a decentralized event driven proxy service for users to outsource transactions in Ethereum like blockchains. EventWarden employs a novel combination of smart contracts and blockchain logs. EventWarden allows a user to create a proxy smart contract that specifies an interested event and also reserves an arbitrary transaction to release. Upon observing the occurrence of the prescribed event, anyone in the Blockchain network can call the proxy contract to earn the service fee reserved in the contract by proving to the contract that the event has been recorded into blockchain logs, which then automatically triggers the proxy contract to release the reserved transaction. We show that the reserved transaction can only get released from the proxy contract when the prescribed event has taken place. We also demonstrate that as long as a single member in the Blockchain network is incentivized by the service fee to call the proxy contract after the prescribed event has taken place, the reserved transaction is guaranteed to get released. We implement EventWarden over the Ethereum official test network. The results demonstrate that EventWarden is effective and is ready to use in practice.


On derived functors of graded local cohomology modules II. Let R K X 1, ldots, X n where K is a field of characteristic zero, and let A n(K) be the n th Weyl algebra over K . We give standard grading on R and A n(K) . Let I , J be homogeneous ideals of R . Let M H i I(R) and N H j J(R) for some i, j . We show that Ext A n(K) nu (M,N) is concentrated in degree zero for all nu geq 0 , i.e., Ext A n(K) nu (M,N) l 0 for l neq0 . This proves a conjecture stated in part I of this paper.


Essential orders on stratified algebras with duality and mathcal S subcategories in mathcal O . We prove uniqueness of the essential order for stratified algebras having simple preserving duality, generalizing a recent result of Coulembier for quasi hereditary algebras. We apply this to classify, up to equivalence, regular integral blocks of mathcal S subcategories in the BGG category mathcal O . We also describe various homological invariants of these blocks.


An O(n) time algorithm for finding Hamilton cycles with high probability. We design a randomized algorithm that finds a Hamilton cycle in mathcal O (n) time with high probability in a random graph G n,p with edge probability p ge C log n n . This closes a gap left open in a seminal paper by Angluin and Valiant from 1979.


DronePick Object Picking and Delivery Teleoperation with the Drone Controlled by a Wearable Tactile Display. We report on the teleoperation system DronePick which provides remote object picking and delivery by a human controlled quadcopter. The main novelty of the proposed system is that the human user continuously gets the visual and haptic feedback for accurate teleoperation. DronePick consists of a quadcopter equipped with a magnetic grabber, a tactile glove with finger motion tracking sensor, hand tracking system, and the Virtual Reality (VR) application. The human operator teleoperates the quadcopter by changing the position of the hand. The proposed vibrotactile patterns representing the location of the remote object relative to the quadcopter are delivered to the glove. It helps the operator to determine when the quadcopter is right above the object. When the "pick" command is sent by clasping the hand in the glove, the quadcopter decreases its altitude and the magnetic grabber attaches the target object. The whole scenario is in parallel simulated in VR. The air flow from the quadcopter and the relative positions of VR objects help the operator to determine the exact position of the delivered object to be picked. The experiments showed that the vibrotactile patterns were recognized by the users at the high recognition rates the average 99 recognition rate and the average 2.36s recognition time. The real life implementation of DronePick featuring object picking and delivering to the human was developed and tested.


Algorithms for finding k in k means. k means Clustering requires as input the exact value of k , the number of clusters. Two challenges are open (i) Is there a data determined definition of k which is provably correct and (ii) Is there a polynomial time algorithm to find k from data ? This paper provides the first affirmative answers to both these questions. As common in the literature, we assume that the data admits an unknown Ground Truth (GT) clustering with cluster centers separated. This assumption alone is not sufficient to answer Yes to (i). We assume a novel, but natural second constraint called no tight sub cluster (NTSC) which stipulates that no substantially large subset of a GT cluster can be "tighter" (in a sense we define) than the cluster. Our yes answer to (i) and (ii) are under these two deterministic assumptions. We also give polynomial time algorithm to identify k . Our algorithm relies on NTSC to peel off one cluster at a time by identifying points which are tightly packed. We are also able to show that our algorithm(s) apply to data generated by mixtures of Gaussians and more generally to mixtures of sub Gaussian pdf's and hence are able to find the number of components of the mixture from data. To our knowledge, previous results for these specialized settings as well, assume generally that k is given besides the data.


A Feasibility Study on Deep Learning Based Radiotherapy Dose Calculation. Purpose Various dose calculation algorithms are available for radiation therapy for cancer patients. However, these algorithms are faced with the tradeoff between efficiency and accuracy. The fast algorithms are generally less accurate, while the accurate dose engines are often time consuming. In this work, we try to resolve this dilemma by exploring deep learning (DL) for dose calculation. Methods We developed a new radiotherapy dose calculation engine based on a modified Hierarchically Densely Connected U net (HD U net) model and tested its feasibility with prostate intensity modulated radiation therapy (IMRT) cases. Mapping from an IMRT fluence map domain to a 3D dose domain requires a deep neural network of complicated architecture and a huge training dataset. To solve this problem, we first project the fluence maps to the dose domain using a modified ray tracing algorithm, and then we use the HD U net to map the ray tracing dose distribution into an accurate dose distribution calculated using a collapsed cone convolution superposition (CS) algorithm. Results It takes about one second to compute a 3D dose distribution for a typical 7 field prostate IMRT plan, which can be further reduced to achieve real time dose calculation by optimizing the network. For all eight testing patients, evaluation with Gamma Index and various clinical goals for IMRT optimization shows that the DL dose distributions are clinically identical to the CS dose distributions. Conclusions We have shown the feasibility of using DL for calculating radiotherapy dose distribution with high accuracy and efficiency.


Duluth at SemEval 2020 Task 7 Using Surprise as a Key to Unlock Humorous Headlines. We use pretrained transformer based language models in SemEval 2020 Task 7 Assessing the Funniness of Edited News Headlines. Inspired by the incongruity theory of humor, we use a contrastive approach to capture the surprise in the edited headlines. In the official evaluation, our system gets 0.531 RMSE in Subtask 1, 11th among 49 submissions. In Subtask 2, our system gets 0.632 accuracy, 9th among 32 submissions.


Photonic dissipation control for Kerr soliton generation in strongly Raman active media. Microcavity solitons enable miniaturized coherent frequency comb sources. However, the formation of microcavity solitons can be disrupted by stimulated Raman scattering (SRS), particularly in the emerging crystalline microcomb materials with high Raman gain. Here, we propose and implement dissipation control tailoring the energy dissipation of selected cavity modes to purposely raise lower the threshold of Raman lasing in a strongly Raman active lithium niobate microring resonator, and realize on demand soliton mode locking or Raman lasing. Numerical simulations are carried out to confirm our analyses and agree well with experiment results. Our work demonstrates an effective approach to address strong SRS for microcavity soliton generation.


Suggestion Mining from Online Reviews using ULMFiT. In this paper we present our approach and the system description for Sub Task A of SemEval 2019 Task 9 Suggestion Mining from Online Reviews and Forums. Given a sentence, the task asks to predict whether the sentence consists of a suggestion or not. Our model is based on Universal Language Model Fine tuning for Text Classification. We apply various pre processing techniques before training the language and the classification model. We further provide detailed analysis of the results obtained using the trained model. Our team ranked 10th out of 34 participants, achieving an F1 score of 0.7011. We publicly share our implementation at https github.com isarth SemEval9 MIDAS


Hotel Recommendation System Based on User Profiles and Collaborative Filtering. Nowadays, people start to use online reservation systems to plan their vacations since they have vast amount of choices available. Selecting when and where to go from this large scale options is getting harder. In addition, sometimes consumers can miss the better options due to the wealth of information to be found on the online reservation systems. In this sense, personalized services such as recommender systems play a crucial role in decision making. Two traditional recommendation techniques are content based and collaborative filtering. While both methods have their advantages, they also have certain disadvantages, some of which can be solved by combining both techniques to improve the quality of the recommendation. The resulting system is known as a hybrid recommender system. This paper presents a new hybrid hotel recommendation system that has been developed by combining content based and collaborative filtering approaches that recommends customer the hotel they need and save them from time loss.


A matrix free Discontinuous Galerkin method for the time dependent Maxwell equations in unbounded domains. A Discontinuous Galerkin (DG) Finite Element Method (FEM) approach for the 3D time dependent Maxwell equations in unbounded domains is presented. The method (implemented in the FEM library NGsolve) is based on the covariant transformation of a modal orthogonal polynomial basis, originally defined on a reference simplex. The approach leads to an explicit time stepping scheme for which the mass matrix to be inverted is at most d ! times !d block diagonal (in d ! !2,3 spatial dimensions) while the matrix which discretizes the curl operators on the right hand side of the system is a small reference matrix, independent from geometric properties of mesh elements. Furthermore, we show that the introduced optimizations are preserved when unbounded domains are also included in the formulation through a complex stretching based approach.


Regularized variational principles for the perturbed Kepler problem. The goal of the paper is to develop a method that will combine the use of variational techniques with regularization methods in order to study existence and multiplicity results for the periodic and the Dirichlet problem associated to the perturbed Kepler system ddot x frac x x 3 p(t), quad x in mathbb R d, where d geq 1 , and p mathbb R to mathbb R d is smooth and T periodic, T 0 . The existence of critical points for the action functional associated to the problem is proved via a non local change of variables inspired by Levi Civita and Kustaanheimo Stiefel techniques. As an application we will prove that the perturbed Kepler problem has infinitely many generalized T periodic solutions for d 2 and d 3 , without any symmetry assumptions on p .


A Corpus of Adpositional Supersenses for Mandarin Chinese. Adpositions are frequent markers of semantic relations, but they are highly ambiguous and vary significantly from language to language. Moreover, there is a dearth of annotated corpora for investigating the cross linguistic variation of adposition semantics, or for building multilingual disambiguation systems. This paper presents a corpus in which all adpositions have been semantically annotated in Mandarin Chinese to the best of our knowledge, this is the first Chinese corpus to be broadly annotated with adposition semantics. Our approach adapts a framework that defined a general set of supersenses according to ostensibly language independent semantic criteria, though its development focused primarily on English prepositions (Schneider et al., 2018). We find that the supersense categories are well suited to Chinese adpositions despite syntactic differences from English. On a Mandarin translation of The Little Prince, we achieve high inter annotator agreement and analyze semantic correspondences of adposition tokens in bitext.


A local systolic inequality and Gromov's filling area conjecture. The article treats some questions around Gromov's filling area conjecture. It intended to show that any filling with volume 2 pi would not be attained and to show a local systolic inequality, implying an a priori lower estimate on the total volume. The proof of both assertions, the second of which is wrong, suffered from a computational mistake.


Glycolytic pyruvate kinase moonlighting activities in DNA replication initiation and elongation. Cells have evolved a metabolic control of DNA replication to respond to a wide range of nutritional conditions. Accumulating data suggest that this poorly understood control depends, at least in part, on Central Carbon Metabolism (CCM). In Bacillus subtilis , the glycolytic pyruvate kinase (PykA) is intricately linked to replication. This 585 amino acid long enzyme comprises a catalytic (Cat) domain that binds to phosphoenolpyruvate (PEP) and ADP to produce pyruvate and ATP, and a C terminal domain of unknown function. Interestingly, the C terminal domain termed PEPut interacts with Cat and is homologous a domain that, in other metabolic enzymes, are phosphorylated at a conserved TSH motif at the expense of PEP and ATP to drive sugar import and catalytic or regulatory activities. To gain insights into the role of PykA in replication, DNA synthesis was analyzed in various Cat and PEPut mutants grown in a medium where the metabolic activity of PykA is dispensable for growth. Measurements of replication parameters ( ori ter ratio, C period and fork speed) and of the pyruvate kinase activity showed that PykA mutants exhibit replication defects resulting from side chain modifications in the PykA protein rather than from a reduction of its metabolic activity. Interestingly, Cat and PEPut have distinct commitments in replication while Cat impacts positively and negatively replication fork speed, PEPut stimulates initiation through a process depending on Cat PEPut interaction and growth conditions. Residues binding to PEP and ADP in Cat, stabilizing the Cat PEPut interaction and belonging to the TSH motif of PEPut were found important for the commitment of PykA in replication. In vitro , PykA affects the activities of replication enzymes (the polymerase DnaE, helicase DnaC and primase DnaG) essential for initiation and elongation and genetically linked to pykA . Our results thus connect replication initiation and elongation to CCM metabolites (PEP, ATP and ADP), critical Cat and PEPut residues and to multiple links between PykA and the replication enzymes DnaE, DnaC and DnaG. We propose that PykA is endowed with a moonlighting activity that senses the concentration of signaling metabolites and interacts with replication enzymes to convey information on the cellular metabolic state to the replication machinery and adjust replication initiation and elongation to metabolism. This defines a new type of replication regulator proposed to be part of the metabolic control that gates replication in the cell cycle.


Solvent reaction coordinate for an S N 2 reaction. We study the prototypical SN2 reaction Cl CH 3 Cl to CH 3 Cl Cl in water using quantum mechanics molecular mechanics (QM MM) computer simulations with transition path sampling and inertial likelihood maximization. We have identified a new solvent coordinate to complement the original atom exchange coordinate used in the classic analysis by Chandrasekhar, Smith, and Jorgensen Ref1 . The new solvent coordinate quantifies instantaneous solvent induced polarization relative to the equilibrium average charge density at each point along the reaction pathway. On the basis of likelihood scores and committor distributions, the new solvent coordinate improves upon the description of solvent dynamical effects relative to previously proposed solvent coordinates. However, it does not increase the transmission coefficient or the accuracy of a transition state theory rate calculation.


Texture and Structure Two view Classification of Images. Textural and structural features can be regraded as "two view" feature sets. Inspired by the recent progress in multi view learning, we propose a novel two view classification method that models each feature set and optimizes the process of merging these views efficiently. Examples of implementation of this approach in classification of real world data are presented, with special emphasis on medical images. We firstly decompose fully textured images into two layers of representation, corresponding to natural stochastic textures (NST) and structural layer, respectively. The structural, edge and curve type, information is mostly represented by the local spatial phase, whereas, the pure NST has random phase and is characterized by Gaussianity and self similarity. Therefore, the NST is modeled by the 2D self similar process, fractional Brownian motion (fBm). The Hurst parameter, characteristic of fBm, specifies the roughness or irregularity of the texture. This leads us to its estimation and implementation along other features extracted from the structure layer, to build the "two view" features sets used in our classification scheme. A shallow neural net (NN) is exploited to execute the process of merging these feature sets, in a straightforward and efficient manner.


Algebraicity of special L values attached to Siegel Jacobi modular forms. In this work we obtain algebraicity results on special L values attached to Siegel Jacobi modular forms. Our method relies on a generalization of the doubling method to the Jacobi group obtained in our previous work, and on introducing a notion of near holomorphy for Siegel Jacobi modular forms. Some of our results involve also holomorphic projection, which we obtain by using Siegel Jacobi Poincar 'e series of exponential type.


Cohomology and the Brauer groups of diagonal surfaces. We present a method for calculating the Brauer group of a surface given by a diagonal equation in the projective space. For diagonal quartic surfaces with coefficients in Q we determine the Brauer groups over Q and Q(i).


Secure Groupcast Extra Entropic Structure and Linear Feasibility. In the secure groupcast problem, a transmitter wants to securely groupcast a message with the maximum rate to the first N of K receivers by broadcasting with the minimum bandwidth, where the K receivers are each equipped with a key variable from a known joint distribution. Examples are provided to prove that different instances of secure groupcast that have the same entropic structure, i.e., the same entropy for all subsets of the key variables, can have different maximum groupcast rates and different minimum broadcast bandwidth. Thus, extra entropic structure matters for secure groupcast. Next, the maximum groupcast rate is explored when the key variables are generic linear combinations of a basis set of independent key symbols, i.e., the keys lie in generic subspaces. The maximum groupcast rate is characterized when the dimension of each key subspace is either small or large, i.e., the extreme regimes. For the intermediate regime, various interference alignment schemes originated from wireless interference networks, such as eigenvector based and asymptotic schemes, are shown to be useful.


Comprehensive Framework of RDMA enabled Concurrency Control Protocols. In this paper, we develop RCC, the first unified and comprehensive RDMA enabled distributed transaction processing framework supporting six serializable concurrency control protocols not only the classical protocols NOWAIT, WAITDIE, and OCC, but also more advanced MVCC and SUNDIAL, and even CALVIN, the deterministic concurrency control protocol. Our goal is to unbiasedly compare the protocols in a common execution environment with the concurrency control protocol being the only changeable component. We focus on the correct and efficient implementation using key techniques, such as co routines, outstanding requests, and doorbell batching, with two sided and one sided communication primitives. Based on RCC, we get the deep insights that cannot be obtained by any existing systems. Most importantly, we obtain the execution stage latency breakdowns with one sided and two sided primitive for each protocol, which are analyzed to develop more efficient hybrid implementations. Our results show that three hybrid designs are indeed better than both one sided and two sided implementations by up to 17.8 . We believe that RCC is a significant advance over the state of the art it can both provide performance insights and be used as the common infrastructure for fast prototyping new implementations.


Arithmeticity of the monodromy of the Wiman Edge pencil. The em Wiman Edge pencil is the universal family Cs mathcal B of projective, genus 6 , complex algebraic curves admitting a faithful action of the icosahedral group Af 5 . The goal of this paper is to prove that the monodromy of Cs mathcal B is commensurable with a Hilbert modular group in particular is arithmetic. We then give a modular interpretation of this, as well as a uniformization of mathcal B .


Predicting Evacuation Decisions using Representations of Individuals' Pre Disaster Web Search Behavior. Predicting the evacuation decisions of individuals before the disaster strikes is crucial for planning first response strategies. In addition to the studies on post disaster analysis of evacuation behavior, there are various works that attempt to predict the evacuation decisions beforehand. Most of these predictive methods, however, require real time location data for calibration, which are becoming much harder to obtain due to the rising privacy concerns. Meanwhile, web search queries of anonymous users have been collected by web companies. Although such data raise less privacy concerns, they have been under utilized for various applications. In this study, we investigate whether web search data observed prior to the disaster can be used to predict the evacuation decisions. More specifically, we utilize a "session based query encoder" that learns the representations of each user's web search behavior prior to evacuation. Our proposed approach is empirically tested using web search data collected from users affected by a major flood in Japan. Results are validated using location data collected from mobile phones of the same set of users as ground truth. We show that evacuation decisions can be accurately predicted (84 ) using only the users' pre disaster web search data as input. This study proposes an alternative method for evacuation prediction that does not require highly sensitive location data, which can assist local governments to prepare effective first response strategies.


Deep Comprehensive Correlation Mining for Image Clustering. Recent developed deep unsupervised methods allow us to jointly learn representation and cluster unlabelled data. These deep clustering methods mainly focus on the correlation among samples, e.g., selecting high precision pairs to gradually tune the feature representation, which neglects other useful correlations. In this paper, we propose a novel clustering framework, named deep comprehensive correlation mining(DCCM), for exploring and taking full advantage of various kinds of correlations behind the unlabeled data from three aspects 1) Instead of only using pair wise information, pseudo label supervision is proposed to investigate category information and learn discriminative features. 2) The features' robustness to image transformation of input space is fully explored, which benefits the network learning and significantly improves the performance. 3) The triplet mutual information among features is presented for clustering problem to lift the recently discovered instance level deep mutual information to a triplet level formation, which further helps to learn more discriminative features. Extensive experiments on several challenging datasets show that our method achieves good performance, e.g., attaining 62.3 clustering accuracy on CIFAR 10, which is 10.1 higher than the state of the art results.


A remark on approximating permanents of positive definite matrices. Let A be an n times n positive definite Hermitian matrix with all eigenvalues between 1 and 2. We represent the permanent of A as the integral of some explicit log concave function on Bbb R 2n . Consequently, there is a fully polynomial randomized approximation scheme (FPRAS) for the permanent of A .


Elliptic problems with nonclassical boundary conditions in an extended Sobolev scale. We consider elliptic problems with nonclassical boundary conditions that contain additional unknown functions on the border of the domain of the elliptic equation and also contain boundary operators of higher orders with respect to the order of this equation. We investigate the solvability of the indicated problems and properties of their solutions in an extended Sobolev scale. It consists of Hilbert generalized Sobolev spaces for which the order of regularity is a general radial function mathrm RO varying in the sense of Avakumovi ' c at infinity. We establish a theorem on the Fredholm property of the indicated problems on appropriate pairs of these spaces and theorems on the regularity and a priori estimate of the generalized solutions to the problems. We obtain exact sufficient conditions for components of these solutions to be continuously differentiable.


Attributes Aware Face Generation with Generative Adversarial Networks. Recent studies have shown remarkable success in face image generations. However, most of the existing methods only generate face images from random noise, and cannot generate face images according to the specific attributes. In this paper, we focus on the problem of face synthesis from attributes, which aims at generating faces with specific characteristics corresponding to the given attributes. To this end, we propose a novel attributes aware face image generator method with generative adversarial networks called AFGAN. Specifically, we firstly propose a two path embedding layer and self attention mechanism to convert binary attribute vector to rich attribute features. Then three stacked generators generate 64 times 64 , 128 times 128 and 256 times 256 resolution face images respectively by taking the attribute features as input. In addition, an image attribute matching loss is proposed to enhance the correlation between the generated images and input attributes. Extensive experiments on CelebA demonstrate the superiority of our AFGAN in terms of both qualitative and quantitative evaluations.


The entropy method under curvature dimension conditions in the spirit of Bakry 'Emery in the discrete setting of Markov chains. We consider continuous time (not necessarily finite) Markov chains on discrete spaces and identify a curvature dimension inequality, the condition CD Upsilon( kappa, infty) , which serves as a natural analogue of the classical Bakry 'Emery condition CD( kappa, infty) in several respects. In particular, it is tailor made to the classical approach of proofing the modified logarithmic Sobolev inequality via computing and estimating the second time derivative of the entropy along the heat flow generated by the generator of the Markov chain. We prove that curvature bounds in the sense of CD Upsilon are preserved under tensorization, discuss links to other notions of discrete curvature and consider a variety of examples including complete graphs, the hypercube and birth death processes. We further consider power type entropies and determine, in the same spirit, a natural CD condition which leads to Beckner inequalities. The CD Upsilon condition is also shown to be compatible with the diffusive setting, in the sense that corresponding hybrid processes enjoy a tensorization property.


Enabling Simulation of High Dimensional Micro Macro Biophysical Models through Hybrid CPU and Multi GPU Parallelism. Micro macro models provide a powerful tool to study the relationship between microscale mechanisms and emergent macroscopic behavior. However, the detailed microscopic modeling may require tracking and evolving a high dimensional configuration space at high computational cost. In this work, we present a parallel algorithm for simulation a high dimensional micro macro model of a gliding motility assay. We utilize a holistic approach aligning the data residency and simulation scales with the hybrid CPU and multi GPU hardware. With a combination of algorithmic modifications, GPU optimizations, and scaling to multiple GPUs, we achieve speedup factors of up to 27 over our previous hybrid CPU GPU implementation and up to 540 over our single threaded implementation. This approach enables micro macro simulations of higher complexity and resolution than would otherwise be feasible.


The multifractal load balancing method. The load balancing system, built on the basis of a subsystem load balancer and subsystem control and monitoring that closely interact with each other was propose in work. This system is presented as a queuing system with priority service discipline. In the described queuing system parallel processing flow applications occur in the multiple serving devices and successive junction of them into unified stream is done. The method of multifractal load balancing is submited on the basis of the developed system of load balancing.


Performance of RPL in Healthcare Wireless Sensor Network. The new advances of the Internet of Things (IoT) technology can be utilized to promote service delivery in several real life applications such as healthcare systems. The Routing Protocol for Low Power and Loss Network (RPL) is a routing protocol designed to serve as a proper routing protocol for packets in Wireless Sensor Networks (WSN). Among the most prominent issues exist in the RPL protocol are packet loss within the WSN and sensors power consumption especially in healthcare WSNs. Multiple Objective Functions (OF) in RPL intended to find the routes from source nodes to a destination node. This paper presents an evaluation to discover which OF is more efficient for a WSN in a healthcare scenario where the Packet Delivery Ratio (PDR) of WSN and the sensors' power consumption are prominent concerns. Expected transmission Count (ETX) and Objective Function Zero (OF0) of RPL were examined in various network densities and network topologies such as the grid and random topology. The simulation outcomes revealed that the OF0 is more efficient regarding the PDR and power consumption compared to the ETX in random


Rhythm Dungeon A Blockchain based Music Roguelike Game. Rhythm Dungeon is a rhythm game which leverages the blockchain as a shared open database. During the gaming session, the player explores a roguelike dungeon by inputting specific sequences in time to music rhythm. By integrating smart contract to the game program, the enemies through the venture are generated from other games which share the identical blockchain. On the other hand, the player may upload their characters at the end of their journey, so that their own character may appear in other games and make an influence. Rhythm Dungeon is designed and implemented to show the potential of decentralized gaming experience, which utilizes the blockchain to provide asynchronous interactions among massive players.


A Unified Approach to Interpreting and Boosting Adversarial Transferability. In this paper, we use the interaction inside adversarial perturbations to explain and boost the adversarial transferability. We discover and prove the negative correlation between the adversarial transferability and the interaction inside adversarial perturbations. The negative correlation is further verified through different DNNs with various inputs. Moreover, this negative correlation can be regarded as a unified perspective to understand current transferability boosting methods. To this end, we prove that some classic methods of enhancing the transferability essentially decease interactions inside adversarial perturbations. Based on this, we propose to directly penalize interactions during the attacking process, which significantly improves the adversarial transferability.


Ignition of a helium nanoplasma by x ray multiple ionization of a heavy rare gas core. The dynamics of an x ray ionized two component core shell nanosystem is probed using doped helium (He) nanodroplets. First, a soft x ray pump pulse selectively inner shell ionizes the core cluster formed of heavier rare gas atoms, causing electron migration from the He shell to the highly charged core. This ignites a He nanoplasma which is then driven by an intense near infrared probe pulse. The ultrafast charge redistribution, evidenced by the rise of He and He 2 ion yields from the nanoplasma within 70 fs, leads to strong damping of the core cluster expansion. Thus, He droplets act as efficient tampers that reduce the radiation damage of embedded nanostructures, a property that could be exploited for improving coherent diffraction images.


Accurate Vision based Manipulation through Contact Reasoning. Planning contact interactions is one of the core challenges of many robotic tasks. Optimizing contact locations while taking dynamics into account is computationally costly and, in environments that are only partially observable, executing contact based tasks often suffers from low accuracy. We present an approach that addresses these two challenges for the problem of vision based manipulation. First, we propose to disentangle contact from motion optimization. Thereby, we improve planning efficiency by focusing computation on promising contact locations. Second, we use a hybrid approach for perception and state estimation that combines neural networks with a physically meaningful state representation. In simulation and real world experiments on the task of planar pushing, we show that our method is more efficient and achieves a higher manipulation accuracy than previous vision based approaches.


A tractable mathematical model for tissue growth. Using formal asymptotic methods we derive a free boundary problem representing one of the simplest mathematical descriptions of the growth and death of a tumour or other biological tissue. The mathematical model takes the form of a closed interface evolving via forced mean curvature flow (together with a kinetic under cooling' regularisation) where the forcing depends on the solution of a PDE that holds in the domain enclosed by the interface. We perform linear stability analysis and derive a diffuse interface approximation of the model. Finite element discretisations of two closely related models are presented, together with computational results comparing the approximate solutions.


Adaptive Importance Sampling based Neural Network framework for Reliability and Sensitivity Prediction for Variable Stiffness Composite Laminates with hybrid uncertainties. In this work, we propose to leverage the advantages of both the Artificial Neural Network (ANN) based Second Order Reliability Method (SORM) and Importance sampling to yield an Adaptive Importance Sampling based ANN, with specific application towards failure probability and sensitivity estimates of Variable Stiffness Composite Laminate (VSCL) plates, in the presence of multiple independent geometric and material uncertainties. The performance function for the case studies is defined based on the fundamental frequency of the VSCL plate. The accuracy in both the reliability estimates and sensitivity studies using the proposed method were found to be in close agreement with that obtained using the ANN based brute force MCS method, with a significant computational savings of 95 . Moreover, the importance of taking into account the randomness in ply thickness for failure probability estimates is also highlighted quantitatively under the sensitivity studies section.


Action Duration Prediction for Segment Level Alignment of Weakly Labeled Videos. This paper focuses on weakly supervised action alignment, where only the ordered sequence of video level actions is available for training. We propose a novel Duration Network, which captures a short temporal window of the video and learns to predict the remaining duration of a given action at any point in time with a level of granularity based on the type of that action. Further, we introduce a Segment Level Beam Search to obtain the best alignment, that maximizes our posterior probability. Segment Level Beam Search efficiently aligns actions by considering only a selected set of frames that have more confident predictions. The experimental results show that our alignments for long videos are more robust than existing models. Moreover, the proposed method achieves state of the art results in certain cases on the popular Breakfast and Hollywood Extended datasets.


Partial solutions to several conjectures on completely monotonic degrees for remainders in asymptotic expansions of the digamma function. Motivated by several conjectures posed in the paper "F. Qi and A. Q. Liu, Completely monotonic degrees for a difference between the logarithmic and psi functions, J. Comput. Appl. Math., vol. 361, pp. 366 371 (2019) available online at https doi.org 10.1016 j.cam.2019.05.001", the authors compute several completely monotonic degrees of the remainders in the asymptotic expansions of the logarithm of the gamma function and in the asymptotic expansions of the logarithm of the digamma function.


Training Quantized Neural Networks with a Full precision Auxiliary Module. In this paper, we seek to tackle a challenge in training low precision networks the notorious difficulty in propagating gradient through a low precision network due to the non differentiable quantization function. We propose a solution by training the low precision network with a fullprecision auxiliary module. Specifically, during training, we construct a mix precision network by augmenting the original low precision network with the full precision auxiliary module. Then the augmented mix precision network and the low precision network are jointly optimized. This strategy creates additional full precision routes to update the parameters of the low precision model, thus making the gradient back propagates more easily. At the inference time, we discard the auxiliary module without introducing any computational complexity to the low precision network. We evaluate the proposed method on image classification and object detection over various quantization approaches and show consistent performance increase. In particular, we achieve near lossless performance to the full precision model by using a 4 bit detector, which is of great practical value.


Hamiltonian and Pseudo Hamiltonian Cycles and Fillings In Simplicial Complexes. We introduce and study a d dimensional generalization of Hamiltonian cycles in graphs the Hamiltonian d cycles in K n d (the complete simplicial d complex over a vertex set of size n ). Those are the simple d cycles of a complete rank, or, equivalently, of size 1 n 1 choose d . The discussion is restricted to the fields F 2 and Q . For d 2 , we characterize the n 's for which Hamiltonian 2 cycles exist. For d 3 it is shown that Hamiltonian 3 cycles exist for infinitely many n 's. In general, it is shown that there always exist simple d cycles of size n 1 choose d O(n d 3 ) . All the above results are constructive. Our approach naturally extends to (and in fact, involves) d fillings, generalizing the notion of T joins in graphs. Given a (d 1) cycle Z d 1 in K n d , F is its d filling if partial F Z d 1 . We call a d filling Hamiltonian if it is acyclic and of a complete rank, or, equivalently, is of size n 1 choose d . If a Hamiltonian d cycle Z over F 2 contains a d simplex sigma , then Z setminus sigma is a a Hamiltonian d filling of partial sigma (a closely related fact is also true for cycles over Q ). Thus, the two notions are closely related. Most of the above results about Hamiltonian d cycles hold for Hamiltonian d fillings as well.


Integer Programming Approaches to Balanced Connected k Partition. We address the problem of partitioning a vertex weighted connected graph into k connected subgraphs that have similar weights, for a fixed integer k geq 2 . This problem, known as the emph balanced connected k partition problem ( BCP k ), is defined as follows. Given a connected graph G with nonnegative weights on the vertices, find a partition V i i 1 k of V(G) such that each class V i induces a connected subgraph of G , and the weight of a class with the minimum weight is as large as possible. It is known that BCP k is NP hard even on bipartite graphs and on interval graphs. It has been largely investigated under different approaches and perspectives. On the practical side, BCP k is used to model many applications arising in police patrolling, image processing, cluster analysis, operating systems and robotics. We propose three integer linear programming formulations for the balanced connected k partition problem. The first one contains only binary variables and a potentially large number of constraints that are separable in polynomial time. Some polyhedral results on this formulation, when all vertices have unit weight, are also presented. The other formulations are based on flows and have a polynomial number of constraints and variables. Preliminary computational experiments have shown that the proposed formulations outperform the other formulations presented in the literature.


HMG Homogeneous multigrid for HDG. We introduce a homogeneous multigrid method in the sense that it uses the same HDG discretization scheme for Poisson's equation on all levels. In particular, we construct a stable injection operator and prove optimal convergence of the method under the assumption of elliptic regularity. Numerical experiments underline our analytical findings.


M "obius orthogonality of sequences with maximal entropy. We prove that strongly b multiplicative functions of modulus 1 along squares are asymptotically orthogonal to the M "obius function. This provides examples of sequences having maximal entropy and satisfying this property.


Lobachevsky type Formulas via Fourier Analysis. Recently renewed interest in the Lobachevsky type integrals and interesting identities involving the cardinal sine motivate an extension of the classical Parseval formula involving both periodic and non periodic functions. We develop a version of the Parseval formula that is often more practical in applications and illustrate its use by extending recent results on Lobachevsky type integrals. Some previously known, interesting identities are re proved in a more transparent manner and new formulas for integrals involving cardinal sine and Bessel functions are given.


Towards Generating Benchmark Datasets for Worm Infection Studies. Worm origin identification and propagation path reconstruction are among the essential problems in digital forensics. Until now, several methods have been proposed for this purpose. However, evaluating these methods is a big challenge because there are no suitable datasets containing both normal background traffic and worm traffic to evaluate these methods. In this paper, we investigate different methods of generating such datasets and suggest a technique for this purpose. ReaSE is a tool for the creation of realistic simulation environments. However, it needs some modifications to be suitable for generating the datasets. So we make required modifications to it. Then, we generate several datasets for Slammer, Code Red I, Code Red II and modified versions of these worms in different scenarios using our technique and make them publicly available.


Generating an Overview Report over Many Documents. How to efficiently generate an accurate, well structured overview report (ORPT) over thousands of related documents is challenging. A well structured ORPT consists of sections of multiple levels (e.g., sections and subsections). None of the existing multi document summarization (MDS) algorithms is directed toward this task. To overcome this obstacle, we present NDORGS (Numerous Documents' Overview Report Generation Scheme) that integrates text filtering, keyword scoring, single document summarization (SDS), topic modeling, MDS, and title generation to generate a coherent, well structured ORPT. We then devise a multi criteria evaluation method using techniques of text mining and multi attribute decision making on a combination of human judgments, running time, information coverage, and topic diversity. We evaluate ORPTs generated by NDORGS on two large corpora of documents, where one is classified and the other unclassified. We show that, using Saaty's pairwise comparison 9 point scale and under TOPSIS, the ORPTs generated on SDS's with the length of 20 of the original documents are the best overall on both datasets.


ClusterFace Joint Clustering and Classification for Set Based Face Recognition. Deep learning technology has enabled successful modeling of complex facial features when high quality images are available. Nonetheless, accurate modeling and recognition of human faces in real world scenarios on the wild' or under adverse conditions remains an open problem. When unconstrained faces are mapped into deep features, variations such as illumination, pose, occlusion, etc., can create inconsistencies in the resultant feature space. Hence, deriving conclusions based on direct associations could lead to degraded performance. This rises the requirement for a basic feature space analysis prior to face recognition. This paper devises a joint clustering and classification scheme which learns deep face associations in an easy to hard way. Our method is based on hierarchical clustering where the early iterations tend to preserve high reliability. The rationale of our method is that a reliable clustering result can provide insights on the distribution of the feature space, that can guide the classification that follows. Experimental evaluations on three tasks, face verification, face identification and rank order search, demonstrates better or competitive performance compared to the state of the art, on all three experiments.


Green functions of Energized complexes. If h is a ring valued function on a simplicial complex G we can define two matrices L and g, where the matrix entries are the h energy of homoclinic intersections. We know that the sum over all h values on G is equal to the sum of the Green matrix entries g(x,y). We also have already seen that that the determinants of L or g are both the product of the h(x). In the case where h(x) is the parity of dimension, the sum of the energy values was the standard Euler characteristic and the determinant was a unit. If h(x) was the unit in the ring then L,g are integral quadratic forms which are isospectral and inverse matrices of each other. We prove here that the quadratic energy expression summing over all pairs h(x) h(y) of intersecting sets is a signed sum of squares of Green function entries. The quadratic energy expression is Wu characteristic in the case when h is dimension parity. For general h, the quadratic energy expression resembles an Ising Heisenberg type interaction. The conjugate of g is the inverse of L if h takes unit values in a normed ring or in the group of unitary operators in an operator algebra.


A Conservative Finite Element ALE Scheme for Mass Conserving Reaction Diffusion Equations on Evolving Two Dimensional Domains. Mass conservative reaction diffusion systems have recently been proposed as a general framework to describe intracellular pattern formation. These systems have been used to model the conformational switching of proteins as they cycle from an inactive state in the cell cytoplasm, to an active state at the cell membrane. The active state then acts as input to downstream effectors. The paradigm of activation by recruitment to the membrane underpins a range of biological pathways including G protein signalling, growth control through Ras and PI 3 kinase, and cell polarity through Rac and Rho all activate their targets by recruiting them from the cytoplasm to the membrane. Global mass conservation lies at the heart of these models reflecting the property that the total number of active and inactive forms, and targets, remains constant. Here we present a conservative arbitrary Lagrangian Eulerian (ALE) finite element method for the approximate solution of systems of bulk surface reaction diffusion equations on an evolving two dimensional domain. Fundamental to the success of the method is the robust generation of bulk and surface meshes. For this purpose, we use a moving mesh partial differential equation (MMPDE) approach. Global conservation of the fully discrete finite element solution is established independently of the ALE velocity field and the time step size. The developed method is applied to model problems with known analytical solutions these experiments indicate that the method is second order accurate and globally conservative. The method is further applied to a model of a single cell migrating in the presence of an external chemotactic signal.


Viscosity Solutions to Second Order Path Dependent Hamilton Jacobi Bellman Equations and Applications. In this article, a notion of viscosity solutions is introduced for second order path dependent Hamilton Jacobi Bellman (PHJB) equations associated with optimal control problems for path dependent stochastic differential equations. We identify the value functional of optimal control problems as unique viscosity solution to the associated PHJB equations. We also show that our notion of viscosity solutions is consistent with the corresponding notion of classical solutions, and satisfies a stability property. Applications to backward stochastic Hamilton Jacobi Bellman equations are also given.