Einstein's Working Sheets and His Search For a Unified Field Theory. The Einstein Archives contain a considerable collection of calculations in the form of working sheets and scratch paper, documenting Einstein's scientific preoccupations during the last three decades of his life until his death in 1955. This paper provides a brief description of these documents and some indications of what can be expected from a more thorough investigation of these notes.


Generic local deformation rings when l neq p . We determine the local deformation rings of sufficiently generic mod l representations of the Galois group of a p adic field, when l neq p , relating them to the space of q power stable semisimple conjugacy classes in the dual group. As a consequence we give a local proof of the l neq p Breuil M ' e zard conjecture of the author, in the tame case.


Quasisymmetric orbit flexibility of multicritical circle maps. Two given orbits of a minimal circle homeomorphism f are said to be geometrically equivalent if there exists a quasisymmetric circle homeomorphism identifying both orbits and commuting with f . By a well known theorem due to Herman and Yoccoz, if f is a smooth diffeomorphism with Diophantine rotation number, then any two orbits are geometrically equivalent. As it follows from the a priori bounds of Herman and Swiatek, the same holds if f is a critical circle map with rotation number of bounded type. By contrast, we prove in the present paper that if f is a critical circle map whose rotation number belongs to a certain full Lebesgue measure set in (0,1) , then the number of equivalence classes is uncountable (Theorem A). The proof of this result relies on the ergodicity of a two dimensional skew product over the Gauss map. As a by product of our techniques, we construct topological conjugacies between multicritical circle maps which are not quasisymmetric, and we show that this phenomenon is abundant, both from the topological and measure theoretical viewpoints (Theorems B and C).


FSD Feature Skyscraper Detector for Stem End and Blossom End of Navel Orange. To accurately and efficiently distinguish the stem end and the blossom end of navel orange from its black spots, we propose a feature skyscraper detector (FSD) with low computational cost, compact architecture and high detection accuracy. The main part of the detector is inspired from small object that stem (blossom) end is complex and black spot is densely distributed, so we design the feature skyscraper networks (FSN) based on dense connectivity. In particular, FSN is distinguished from regular feature pyramids, and which provides more intensive detection of high level features. Then we design the backbone of the FSD based on attention mechanism and dense block for better feature extraction to the FSN. In addition, the architecture of the detector is also added Swish to further improve the accuracy. And we create a dataset in Pascal VOC format annotated three types of detection targets the stem end, the blossom end and the black spot. Experimental results on our orange data set confirm that FSD has competitive results to the state of the art one stage detectors like SSD, DSOD, YOLOv2, YOLOv3, RFB and FSSD, and it achieves 87.479 mAP at 131 FPS with only 5.812M parameters.


Finite Planes, Zigzag Sequences, Fibonacci Numbers, Artin's Conjecture and Trinomials. We begin by considering faithful matrix representations of elementary abelian groups in prime characteristic. The representations considered are seen to be determined up to change of bases by a single number. Studying this number leads to a new family of polynomials which exhibit a number of special properties. These polynomials satisfy a three term recursion and are closely related to zigzag zero one sequences. Interpreting the polynomials for the "prime" 1 yields the classical Morgan Voyce polynomials, which form twoorthogonal families of polynomials and which have applications in the study of electrical resistance. Study of the general polynomials reveals deep connections with the Fibonacci series, the order of appearance of prime numbers in the Fibonacci sequence, the order of elements in cyclic groups, Artin's conjecture on primitive roots and the factorization of trinomials over finite fields.


Designing for Ambiguity Visual Analytics in Avalanche Forecasting. Ambiguity, an information state where multiple interpretations are plausible, is a common challenge in visual analytics (VA) systems. We discuss lessons learned from a case study designing VA tools for Canadian avalanche forecasters. Avalanche forecasting is a complex and collaborative risk based decision making and analysis domain, demanding experience and knowledge based interpretation of human reported and uncertain data. Differences in reporting practices, organizational contexts, and the particularities of individual reports result in a variety of potential interpretations that have to be negotiated as part of the forecaster's sensemaking processes. We describe our preliminary research using glyphs to support sensemaking under ambiguity. Ambiguity is not unique to public avalanche forecasting. There are many other domains where the way data are measured and reported vary in ways not accounted explicitly in the data and require analysts to negotiate multiple potential meanings. We argue that ambiguity is under served by visualization research and would benefit from more explicit VA support.


Meanders, zero numbers and the cell structure of Sturm global attractors. We study global attractors mathcal A mathcal A f of semiflows generated by semilinear partial parabolic differential equations of the form u t u xx f(x,u,u x), 0 x 1 , satisfying Neumann boundary conditions. The equilibria v in mathcal E subset mathcal A of the semiflow are the stationary solutions of the PDE, hence they are solutions of the corresponding second order ODE boundary value problem. Assuming hyperbolicity of all equilibria, the dynamic decomposition of mathcal A into unstable manifolds of equilibria provides a geometric and topological characterization of Sturm global attractors mathcal A as finite regular signed CW complexes, the Sturm complexes, with cells given by the unstable manifolds of equilibria. Concurrently, the permutation sigma sigma f derived from the ODE boundary value problem by ordering the equilibria according to their values at the boundaries x 0,1 , respectively, completely determines the Sturm global attractor mathcal A . Equivalently, we use a planar curve, the meander mathcal M mathcal M f , associated to the the ODE boundary value problem by shooting. The main objective of this paper is to derive a minimax property which identifies the equilibria on the cell boundary of mathcal O which are closest or most distant from mathcal O at the boundaries x 0,1 , directly from the permutation sigma , the Sturm permutation, or equivalently from the meander mathcal M , the Sturm meander, based on the Sturm nodal properties of the solutions of the ODE boundary value problem. We emphasize the local aspect of this result by applying it to an example for which the identification of the equilibria in the cell boundary of mathcal O is obtained from the knowledge of only a section of the Sturm meander mathcal M .


A brief chronology of Virtual Reality. In this article, we are going to review a brief history of the field of Virtual Reality (VR), VR systems, and applications and discuss how they evolved. After that, we will familiarize ourselves with the essential components of VR experiences and common VR terminology. Finally, we discuss the evolution of ubiquitous VR as a subfield of VR and its current trends.


Immunological determinants of clinical outcomes in COVID 19 A quantitative perspective. Severe acute respiratory syndrome coronavirus 2 (SARS CoV 2) has a variable clinical presentation that ranges from asymptomatic, to severe disease with cytokine storm. The mortality rates also differ across the globe, ranging from 0.5 13 . This variation is likely due to both pathogen and host factors. Host factors may include genetic differences in the immune response genes as well as variation in HLA and KIR allotypes. To better understand what impact these genetic variants in immune response genes may have in the differences observed in the immune response to SARS CoV 2, a quantitative analysis of a dynamical systems model that considers both, the magnitude of viral growth, and the subsequent innate and adaptive response required to achieve control of infection is considered. Based on this broad quantitative framework it may be posited that the spectrum of symptomatic to severely symptomatic presentations of COVID19 represents the balance between innate and adaptive immune responses. In asymptomatic patients, prompt and adequate adaptive immune response quells infection, whereas in those with severe symptoms a slower inadequate adaptive response leads to a runaway cytokine cascade fueled by ongoing viral replication. Polymorphisms in the various components of the innate and adaptive immune response may cause altered immune response kinetics that would result in variable severity of illness. Understanding how this genetic variation may alter the response to SARS CoV 2 infection is critical to develop successful treatment strategies.


Metaheuristic optimization of power and energy systems underlying principles and main issues of the 'rush to heuristics'. In the power and energy systems area, a progressive increase of literature contributions containing applications of metaheuristic algorithms is occurring. In many cases, these applications are merely aimed at proposing the testing of an existing metaheuristic algorithm on a specific problem, claiming that the proposed method is better than other methods based on weak comparisons. This 'rush to heuristics' does not happen in the evolutionary computation domain, where the rules for setting up rigorous comparisons are stricter, but are typical of the domains of application of the metaheuristics. This paper considers the applications to power and energy systems, and aims at providing a comprehensive view of the main issues concerning the use of metaheuristics for global optimization problems. A set of underlying principles that characterize the metaheuristic algorithms is presented. The customization of metaheuristic algorithms to fit the constraints of specific problems is discussed. Some weaknesses and pitfalls found in literature contributions are identified, and specific guidelines are provided on how to prepare sound contributions on the application of metaheuristic algorithms to specific problems.


Visible to ultraviolet ( 340 nm) photon upconversion by triplet triplet annihilation in solvents. In this article, visible to ultraviolet photon upconversion (UV UC) by triplet triplet annihilation in the emission range shorter than 340 nm, which is previously unexplored, is presented and the relevant physicochemical characteristics are elucidated. Investigations were carried out in several deaerated solvents using acridone and naphthalene derivatives as a sensitizer and emitter, respectively. Both upconversion quantum efficiency and sample photostability under continuous photoirradiation strongly depended on the solvent. The former dependence is governed by the solvent polarity, which affects the triplet energy level matching between the sensitizer and emitter because of the solvatochromism of the sensitizer. To elucidate the latter, first we investigated the photodegradation of samples without the emitter, which revealed that the sensitizer degradation rate is correlated with the difference between the frontier orbital energy levels of the sensitizer and solvent. Inclusion of the emitter effectively suppressed the degradation of the sensitizer, which is ascribed to fast quenching of the triplet sensitizer by the emitter and justifies the use of ketonic sensitizers for UV UC in solvents. A theoretical model was developed to acquire insight into the observed temporal decays of the upconverted emission intensity under continuous photoirradiation. The theoretical curves generated by this model fitted the experimental decay curves well, which allowed the reaction rate between the emitter and solvent to be obtained. This rate was also correlated with difference between the frontier orbital energy levels of the emitter and solvent. Finally, based on the acquired findings, general design guidelines for developing UV UC samples were proposed.


The special value u 1 of Artin Ihara L functions. We study the special value u 1 of Artin Ihara L functions associated to characters of the automorphism group of abelian covers of multigraphs. In particular, we show an annihilation statement analogous to a classical conjecture of Brumer on annihilation of class groups for abelian extensions of number fields and we also calculate the index of an ideal analogous to the classical Stickelberger ideal in algebraic number theory. Along the way, we make some observations about the number of spanning trees in abelian multigraph coverings that may be of independent interest.


On integral models of Shimura varieties. We show how to characterize integral models of Shimura varieties over places of the reflex field where the level subgroup is parahoric by formulating a definition of a "canonical" integral model. We then prove that in Hodge type cases and under a tameness hypothesis, the integral models constructed by the author and Kisin in previous work are canonical and, in particular, independent of choices. A main tool is a theory of displays with parahoric structure that we develop in this paper.


Improving Phase Change Memory Performance with Data Content Aware Access. A prominent characteristic of write operation in Phase Change Memory (PCM) is that its latency and energy are sensitive to the data to be written as well as the content that is overwritten. We observe that overwriting unknown memory content can incur significantly higher latency and energy compared to overwriting known all zeros or all ones content. This is because all zeros or all ones content is overwritten by programming the PCM cells only in one direction, i.e., using either SET or RESET operations, not both. In this paper, we propose data content aware PCM writes (DATACON), a new mechanism that reduces the latency and energy of PCM writes by redirecting these requests to overwrite memory locations containing all zeros or all ones. DATACON operates in three steps. First, it estimates how much a PCM write access would benefit from overwriting known content (e.g., all zeros, or all ones) by comprehensively considering the number of set bits in the data to be written, and the energy latency trade offs for SET and RESET operations in PCM. Second, it translates the write address to a physical address within memory that contains the best type of content to overwrite, and records this translation in a table for future accesses. We exploit data access locality in workloads to minimize the address translation overhead. Third, it re initializes unused memory locations with known all zeros or all ones content in a manner that does not interfere with regular read and write accesses. DATACON overwrites unknown content only when it is absolutely necessary to do so. We evaluate DATACON with workloads from state of the art machine learning applications, SPEC CPU2017, and NAS Parallel Benchmarks. Results demonstrate that DATACON significantly improves system performance and memory system energy consumption compared to the best of performance oriented state of the art techniques.


Optimal homogenization rates in stochastic homogenization of nonlinear uniformly elliptic equations and systems. We derive optimal order homogenization rates for random nonlinear elliptic PDEs with monotone nonlinearity in the uniformly elliptic case. More precisely, for a random monotone operator on mathbb R d with stationary law (i.e. spatially homogeneous statistics) and fast decay of correlations on scales larger than the microscale varepsilon 0 , we establish homogenization error estimates of the order varepsilon in case d geq 3 , respectively of the order varepsilon log varepsilon 1 2 in case d 2 . Previous results in nonlinear stochastic homogenization have been limited to a small algebraic rate of convergence varepsilon delta . We also establish error estimates for the approximation of the homogenized operator by the method of representative volumes of the order (L varepsilon) d 2 for a representative volume of size L . Our results also hold in the case of systems for which a (small scale) C 1, alpha regularity theory is available.


The coupling of an enhanced pseudo 3D model for hydraulic fracturing with a proppant transport model. This paper presents the coupled model of a hydraulic fracturing and proppant transport. The former is described in terms of enhanced pseudo 3D model that considers height growth across two symmetric stress barriers, while the latter is given by two dimensional transport model, stemming from the solution of an elliptical equation for fluid pressure and advection equation for the proppant transport. These two sub modules are solved numerically using implicit time integration in hydraulic part and explicit time stepping in the transport part. In addition to that, interpolation is used to couple the two models with different grids. Results of several numerical simulations are presented for different configurations to demonstrate the interplay between these two modules. In particular, the developed coupled scheme allows us to study phenomena associated with complex fluid flow within the fracture, such as for the case of Saffman Taylor instability.


Diffusion bridges for stochastic Hamiltonian systems and shape evolutions. Stochastically evolving geometric systems are studied in shape analysis and computational anatomy for modelling random evolutions of human organ shapes. The notion of geodesic paths between shapes is central to shape analysis and has a natural generalisation as diffusion bridges in a stochastic setting. Simulation of such bridges is key to solve inference and registration problems in shape analysis. We demonstrate how to apply state of the art diffusion bridge simulation methods to recently introduced stochastic shape deformation models thereby substantially expanding the applicability of such models. We exemplify these methods by estimating template shapes from observed shape configurations while simultaneously learning model parameters.


Moduli spaces of twisted K3 surfaces and cubic fourfolds. Motivated by the relation between (twisted) K3 surfaces and special cubic fourfolds, we construct moduli spaces of polarized twisted K3 surfaces of any fixed degree and order. We do this by mimicking the construction of the moduli space of untwisted polarized K3 surfaces as a quotient of a bounded symmetric domain.


A loop enhancement strategy for network robustness. Many real systems are extremely vulnerable against attacks, since they are scale free networks as commonly existing topological structure in them. Thus, in order to improve the robustness of connectivity, several edge rewiring methods have been so far proposed by enhancing degree degree correlations. In fact, onion like structures with positive degree degree correlations are optimally robust against attacks. On the other hand, recent studies suggest that the robustness and loops are strongly related to each other. Therefore, we focus on enhancing loops as a new approach for improving the robustness. In this work, we propose edge rewiring methods and evaluate the effect on the robustness by applying to real networks. Our proposed methods are two types of rewirings in preserving degrees or not for investigating the effect of the degree modification on the robustness. Numerical results show that our proposed methods improve the robustness to the level as same or more than the state of the art methods. Furthermore, our work shows that the following two points are more important for further improving the robustness. First, the robustness is strongly related to loops more than degree degree correlations. Second, it significantly improves the robustness by reducing the gap between the maximum and minimum degrees.


A robust graph based approach to observational equivalence. We propose a new approach to defining programming languages with effects, and proving observational equivalence. Operational machinery is given by a hypergraph rewriting abstract machine inspired by Girard's Geometry of Interaction. It interprets a graph calculus of only three intrinsic constructs variable binding, atom binding, and thunking. Everything else, including features which are commonly thought of as intrinsic, such as arithmetic or function abstraction and application, must be provided as extrinsic operations, with associated rewrite rules. The graph representation naturally leads to two new principles about equational reasoning, which we call emph locality and emph robustness . These concepts enable a novel flexible and powerful reasoning methodology about (type free) languages with effects. The methodology is additionally capable of proving a generalised notion of observational equivalence that can be quantified over syntactically restricted contexts instead of all contexts, and also can be quantitatively constrained in terms of the number of reduction steps. We illustrate the methodology using the call by value lambda calculus extended with (higher order) state.


Representation Learning for Sequence Data with Deep Autoencoding Predictive Components. We propose Deep Autoencoding Predictive Components (DAPC) a self supervised representation learning method for sequence data, based on the intuition that useful representations of sequence data should exhibit a simple structure in the latent space. We encourage this latent structure by maximizing an estimate of predictive information of latent feature sequences, which is the mutual information between past and future windows at each time step. In contrast to the mutual information lower bound commonly used by contrastive learning, the estimate of predictive information we adopt is exact under a Gaussian assumption. Additionally, it can be computed without negative sampling. To reduce the degeneracy of the latent space extracted by powerful encoders and keep useful information from the inputs, we regularize predictive information learning with a challenging masked reconstruction loss. We demonstrate that our method recovers the latent space of noisy dynamical systems, extracts predictive features for forecasting tasks, and improves automatic speech recognition when used to pretrain the encoder on large amounts of unlabeled data.


On k para K "ahler Lie algebras a subclass of k symplectic Lie algebras. k Para K "ahler Lie algebras are a generalization of para K "ahler Lie algebras (k 1) and constitute a subclass of k symplectic Lie algebras. In this paper, we show that the characterization of para K "ahler Lie algebras as left symmetric bialgebras can be generalized to k para K "ahler Lie algebras leading to the introduction of two new structures which are different but both generalize the notion of left symmetric algebra. This permits also the introduction of generalized S matrices. We determine then all the k symplectic Lie algebras of dimension (k 1) and all the six dimensional 2 para K "ahler Lie algebras.


Mass concentration of low regularity blow up solutions to the focusing 2D modified Zakharov Kuznetsov equation. We consider the focusing modified Zakharov Kuznetsov (mZK) equation in two space dimensions. We prove that solutions which blow up in finite time in the H 1( R 2 ) norm have the property that they concentrate a non trivial portion of their mass (more precisely, at least the amount equal to the mass of the ground state) at blow up time. For finite time blow up solutions in the H s( R 2) norm for frac 17 18 s 1 , we prove a slightly weaker result. Moreover, we prove that the stronger concentration result can be extended to the range frac 17 18 s le 1 under an additional assumption on the upper bound of the blow up rate of the solution. The main tools used here are the I method and a profile decomposition theorem for a bounded family of H 1( R 2 ) functions.


Partial regularity of stable solutions to the fractional Gel'fand Liouville equation. We analyze stable weak solutions to the fractional Gel'fand problem begin equation ( Delta) su e u quad mathrm in quad Omega subset mathbb R n. end equation We prove that the dimension of the singular set is at most n 10s.


Scheduling for Weighted Flow and Completion Times in Reconfigurable Networks. New optical technologies offer the ability to reconfigure network topologies dynamically, rather than setting them once and for all. This is true in both optical wide area networks (optical WANs) and in datacenters, despite the many differences between these two settings. Because of these new technologies, there has been a surge of both practical and theoretical research on algorithms to take advantage of them. In particular, Jia et al. INFOCOM '17 designed online scheduling algorithms for dynamically reconfigurable topologies for both the makespan and sum of completion times objectives. In this paper, we work in the same setting but study an objective that is more meaningful in an online setting the sum of flow times. The flow time of a job is the total amount of time that it spends in the system, which may be considerably smaller than its completion time if it is released late. We provide competitive algorithms for the online setting with speed augmentation, and also give a lower bound proving that speed augmentation is in fact necessary. As a side effect of our techniques, we also improve and generalize the results of Jia et al. on completion times by giving an O(1) competitive algorithm for arbitrary sizes and release times even when nodes have different degree bounds, and moreover allow for the weighted sum of completion times (or flow times).


A Hybrid Pricing and Cutting Approach for the Multi Shift Full Truckload Vehicle Routing Problem. Full truckload transportation (FTL) in the form of freight containers represents one of the most important transportation modes in international trade. Due to large volume and scale, in FTL, delivery time is often less critical but cost and service quality are crucial. Therefore, efficiently solving large scale multiple shift FTL problems is becoming more and more important and requires further research. In one of our earlier studies, a set covering model and a three stage solution method were developed for a multi shift FTL problem. This paper extends the previous work and presents a significantly more efficient approach by hybridising pricing and cutting strategies with metaheuristics (a variable neighbourhood search and a genetic algorithm). The metaheuristics were adopted to find promising columns (vehicle routes) guided by pricing and cuts are dynamically generated to eliminate infeasible flow assignments caused by incompatible commodities. Computational experiments on real life and artificial benchmark FTL problems showed superior performance both in terms of computational time and solution quality, when compared with previous MIP based three stage methods and two existing metaheuristics. The proposed cutting and heuristic pricing approach can efficiently solve large scale real life FTL problems.


Relations in the Cremona group over perfect fields. For perfect fields k satisfying bar k k 2 , we construct new normal subgroups of the plane Cremona group and provide an elementary proof of its non simplicity, following the melody of the recent proof by Blanc, Lamy and Zimmermann that the Cremona group of rank n over (subfields of) the complex numbers is not simple for n geq3 .


Fast Algorithms for Surface Reconstruction from Point Cloud. We consider constructing a surface from a given set of point cloud data. We explore two fast algorithms to minimize the weighted minimum surface energy in Zhao, Osher, Merriman and Kang, Comp.Vision and Image Under., 80(3) 295 319, 2000 . An approach using Semi Implicit Method (SIM) improves the computational efficiency through relaxation on the time step constraint. An approach based on Augmented Lagrangian Method (ALM) reduces the run time via an Alternating Direction Method of Multipliers type algorithm, where each sub problem is solved efficiently. We analyze the effects of the parameters on the level set evolution and explore the connection between these two approaches. We present numerical examples to validate our algorithms in terms of their accuracy and efficiency.


Pseudo rotations and holomorphic curves. We prove a variant of the Chance McDuff conjecture for pseudo rotations under certain additional conditions, a closed symplectic manifold which admits a Hamiltonian pseudo rotation must have deformed quantum product and, in particular, some non zero Gromov Witten invariants. The only assumptions on the manifold are that it is weakly monotone and that its minimal Chern number is greater than one. The conditions on the pseudo rotation are expressed in terms of the linearized flow at one of the fixed points and hypothetically satisfied for most (but not all) pseudo rotations.


Generalized Markov stability of network communities. We address the problem of community detection in networks by introducing a general definition of Markov stability, based on the difference between the probability fluxes of a Markov chain on the network at different time scales. The specific implementation of the quality function and the resulting optimal community structure thus become dependent both on the type of Markov process and on the specific Markov times considered. For instance, if we use a natural Markov chain dynamics and discount its stationary distribution that is, we take as reference process the dynamics at infinite time we obtain the standard formulation of the Markov stability. Notably, the possibility to use finite time transition probabilities to define the reference process naturally allows detecting communities at different resolutions, without the need to consider a continuous time Markov chain in the small time limit. The main advantage of our general formulation of Markov stability based on dynamical flows is that we work with lumped Markov chains on network partitions, having the same stationary distribution of the original process. In this way the form of the quality function becomes invariant under partitioning, leading to a self consistent definition of community structures at different aggregation scales.


Fusion rules for mathbb Z 2 orbifolds of affine and parafermion vertex operator algebras. This paper is about the orbifold theory of affine and parafermion vertex operator algebras. It is known that the parafermion vertex operator algebra K(sl 2,k) associated to the integrable highest weight modules for the affine Kac Moody algebra A 1 (1) is the building block of the general parafermion vertex operator K( mathfrak g ,k) for any finite dimensional simple Lie algebra mathfrak g and any positive integer k . We first classify the irreducible modules of mathbb Z 2 orbifold of the simple affine vertex operator algebra of type A 1 (1) and determine their fusion rules. Then we study the representations of the mathbb Z 2 orbifold of the parafermion vertex operator algebra K(sl 2,k) , we give the quantum dimensions, and more technically, fusion rules for the mathbb Z 2 orbifold of the parafermion vertex operator algebra K(sl 2,k) are completely determined.


On the regularized L 4 norm of Eisenstein series in the level aspect. We prove an asymptotic formula expressing the regularized fourth moment of all newform Eisenstein series of primitive nebentypus as a mean value of L functions. This is an analogue of the recent work of Djankovi 'c and Khan in the spectral aspect.


On the complexity of cusped non hyperbolicity. We show that the problem of showing that a cusped 3 manifold M is not hyperbolic is in NP, assuming S 3 recognition is in coNP. Our key contribution is to certify closed essential normal surfaces as essential in polynomial time in compact orientable irreducible partial irreducible triangulations.


Classifying Constructive Comments. We introduce the Constructive Comments Corpus (C3), comprised of 12,000 annotated news comments, intended to help build new tools for online communities to improve the quality of their discussions. We define constructive comments as high quality comments that make a contribution to the conversation. We explain the crowd worker annotation scheme and define a taxonomy of sub characteristics of constructiveness. The quality of the annotation scheme and the resulting dataset is evaluated using measurements of inter annotator agreement, expert assessment of a sample, and by the constructiveness sub characteristics, which we show provide a proxy for the general constructiveness concept. We provide models for constructiveness trained on C3 using both feature based and a variety of deep learning approaches and demonstrate that these models capture general rather than topic or domain specific characteristics of constructiveness, through domain adaptation experiments. We examine the role that length plays in our models, as comment length could be easily gamed if models depend heavily upon this feature. By examining the errors made by each model and their distribution by length, we show that the best performing models are less correlated with comment length.The constructiveness corpus and our experiments pave the way for a moderation tool focused on promoting comments that make a contribution, rather than only filtering out undesirable content.


Unsupervised Method to Localize Masses in Mammograms. Breast cancer is one of the most common and prevalent type of cancer that mainly affects the women population. chances of effective treatment increases with early diagnosis. Mammography is considered one of the effective and proven techniques for early diagnosis of breast cancer. Tissues around masses look identical in mammogram, which makes automatic detection process a very challenging task. They are indistinguishable from the surrounding parenchyma. In this paper, we present an efficient and automated approach to segment masses in mammograms. The proposed method uses hierarchical clustering to isolate the salient area, and then features are extracted to reject false detection. We applied our method on two popular publicly available datasets (mini MIAS and DDSM). A total of 56 images from mini mias database, and 76 images from DDSM were randomly selected. Results are explained in terms of ROC (Receiver Operating Characteristics) curves and compared with the other techniques. Experimental results demonstrate the efficiency and advantages of the proposed system in automatic mass identification in mammograms.


Interpolation of Generalized Heegner Cycles in Coleman Families. Kobayashi recently proved that the generalized Heegner cycles of Bertolini Darmon Prasanna can be interpolated along the anticyclotomic tower, giving rise to distribution valued cohomology classes with expected growth rate. We interpolate these classes along Coleman families. This construction plays a role in the proofs of p adic Gross Zagier formulae at for non ordinary eigenforms and consequentially, also in the proof of a conjecture of Perrin Riou.


Impact of Temperature and Relative Humidity on the Transmission of COVID 19 A Modeling Study in China and the United States. Objectives We aim to assess the impact of temperature and relative humidity on the transmission of COVID 19 across communities after accounting for community level factors such as demographics, socioeconomic status, and human mobility status. Design A retrospective cross sectional regression analysis via the Fama MacBeth procedure is adopted. Setting We use the data for COVID 19 daily symptom onset cases for 100 Chinese cities and COVID 19 daily confirmed cases for 1,005 U.S. counties. Participants A total of 69,498 cases in China and 740,843 cases in the U.S. are used for calculating the effective reproductive numbers. Primary outcome measures Regression analysis of the impact of temperature and relative humidity on the effective reproductive number (R value). Results Statistically significant negative correlations are found between temperature relative humidity and the effective reproductive number (R value) in both China and the U.S. Conclusions Higher temperature and higher relative humidity potentially suppress the transmission of COVID 19. Specifically, an increase in temperature by 1 degree Celsius is associated with a reduction in the R value of COVID 19 by 0.026 (95 CI 0.0395, 0.0125 ) in China and by 0.020 (95 CI 0.0311, 0.0096 ) in the U.S. an increase in relative humidity by 1 is associated with a reduction in the R value by 0.0076 (95 CI 0.0108, 0.0045 ) in China and by 0.0080 (95 CI 0.0150, 0.0010 ) in the U.S. Therefore, the potential impact of temperature relative humidity on the effective reproductive number alone is not strong enough to stop the pandemic.


Designing a Serious Game Teaching Developers to Embed Privacy into Software Systems. Software applications continue to challenge user privacy when users interact with them. Privacy practices (e.g. Data Minimisation (DM), Privacy by Design (PbD) or General Data Protection Regulation (GDPR)) and related "privacy engineering" methodologies exist and provide clear instructions for developers to implement privacy into software systems they develop that preserve user privacy. However, those practices and methodologies are not yet a common practice in the software development community. There has been no previous research focused on developing "educational" interventions such as serious games to enhance software developers' coding behaviour. Therefore, this research proposes a game design framework as an educational tool for software developers to improve (secure) coding behaviour, so they can develop privacy preserving software applications that people can use. The elements of the proposed framework were incorporated into a gaming application scenario that enhances the software developers' coding behaviour through their motivation. The proposed work not only enables the development of privacy preserving software systems but also helping the software development community to put privacy guidelines and engineering methodologies into practice.


math.NA cs.NA physics.comp-ph physics.flu-dyn

On unified preserving properties of kinetic schemes. The kinetic theory provides a physical basis for developing multiscal methods for gas flows covering a wide range of flow regimes. A particular challenge for kinetic schemes is whether they can capture the correct hydrodynamic behaviors of the system in the continuum regime (i.e., as the Knudsen number epsilon ll 1 ) without enforcing kinetic scale resolution. At the current stage, the main approach to analyze such a property is the asymptotic preserving (AP) concept, which aims to show whether a kinetic scheme reduces to a solver for the hydrodynamic equations as epsilon to 0 , such as the shock capturing scheme for the Euler equations. However, the detailed asymptotic properties of the kinetic scheme are indistinguishable when epsilon is small but finite under the AP framework . In order to distinguish different characteristics of kinetic schemes, in this paper we introduce the concept of unified preserving (UP) aiming at assessing asmyptotic orders of a kinetic scheme by employing the modified equation approach and Chapman Enskon analysis. It is shown that the UP properties of a kinetic scheme generally depend on the spatial temporal accuracy and closely on the inter connections among the three scales (kinetic scale, numerical scale, and hydrodynamic scale) and their corresponding coupled dynamics. Specifically, the numerical resolution and specific discretization of particle transport and collision determine the flow physics of the scheme in different regimes, especially in the near continuum limit. As two examples, the UP methodology is applied to analyze the discrete unified gas kinetic scheme and a second order implicit explicit Runge Kutta scheme in their asymptotic behaviors in the continuum limit.


Non Autoregressive Machine Translation with Latent Alignments. This paper presents two strong methods, CTC and Imputer, for non autoregressive machine translation that model latent alignments with dynamic programming. We revisit CTC for machine translation and demonstrate that a simple CTC model can achieve state of the art for single step non autoregressive machine translation, contrary to what prior work indicates. In addition, we adapt the Imputer model for non autoregressive machine translation and demonstrate that Imputer with just 4 generation steps can match the performance of an autoregressive Transformer baseline. Our latent alignment models are simpler than many existing non autoregressive translation baselines for example, we do not require target length prediction or re scoring with an autoregressive model. On the competitive WMT'14 En rightarrow De task, our CTC model achieves 25.7 BLEU with a single generation step, while Imputer achieves 27.5 BLEU with 2 generation steps, and 28.0 BLEU with 4 generation steps. This compares favourably to the autoregressive Transformer baseline at 27.8 BLEU.


A Toroidal Maxwell Cremona Delaunay Correspondence. We consider three classes of geodesic embeddings of graphs on Euclidean flat tori (1) A toroidal graph embedding Gamma is positive equilibrium if it is possible to place positive weights on the edges, such that the weighted edge vectors incident to each vertex of Gamma sum to zero. (2) A toroidal graph embedding Gamma is reciprocal if there is a geodesic embedding Gamma of its dual on the same flat torus, where each edge of Gamma is orthogonal to the corresponding dual edge in Gamma . (3) A toroidal graph embedding Gamma is coherent if it is possible to assign weights to the vertices, so that Gamma is the (intrinsic) weighted Delaunay graph of its vertices. The classical Maxwell Cremona correspondence and the well known correspondence between convex hulls and weighted Delaunay triangulations imply that the analogous concepts for planar graph embeddings (with convex outer faces) are equivalent. Indeed, all three conditions are equivalent to Gamma being the projection of the 1 skeleton of the lower convex hull of points in mathbb R 3 . However, this three way equivalence does not extend directly to geodesic graph embeddings on flat tori. On any flat torus, reciprocal and coherent embeddings are equivalent, and every reciprocal embedding is in positive equilibrium, but not every positive equilibrium embedding is reciprocal. We establish a weaker correspondence Every positive equilibrium embedding on any flat torus is affinely equivalent to a reciprocal coherent embedding on some flat torus.


physics.comp-ph physics.bio-ph physics.med-ph q-bio.QM

Poroelasticity as a Model of Soft Tissue Structure Hydraulic Permeability Inference for Magnetic Resonance Elastography in Silico. Magnetic Resonance Elastography allows noninvasive visualization of tissue mechanical properties by measuring the displacements resulting from applied stresses, and fitting a mechanical model. Poroelasticity naturally lends itself to describing tissue a biphasic medium, consisting of both solid and fluid components. This article reviews the theory of poroelasticity, and shows that the spatial distribution of hydraulic permeability, the ease with which the solid matrix permits the flow of fluid under a pressure gradient, can be faithfully reconstructed without spatial priors in simulated environments. The paper describes an in house MRE computational platform a multi mesh, finite element poroelastic solver coupled to an artificial epistemic agent capable of running Bayesian inference to reconstruct inhomogenous model mechanical property images from measured displacement fields. Building on prior work, the domain of convergence for inference is explored, showing that hydraulic permeabilities over several orders of magnitude can be reconstructed given very little prior knowledge of the true spatial distribution.


Burnside rings for Real 2 representation theory The linear theory. This paper is a fundamental study of the Real 2 representation theory of 2 groups. It also contains many new results in the ordinary (non Real) case. Our framework relies on a 2 equivariant Morita bicategory, where a novel construction of induction is introduced. We identify the Grothendieck ring of Real 2 representations as a Real variant of the Burnside ring of the fundamental group of the 2 group and study the Real categorical character theory. This paper unifies two previous lines of inquiry, the approach to 2 representation theory via Morita theory and Burnside rings, initiated by the first author and Wendland, and the Real 2 representation theory of 2 groups, as studied by the second author.


Random Tur 'an theorem for hypergraph cycles. Given r uniform hypergraphs G and H the Tur 'an number rm ex(G, H) is the maximum number of edges in an H free subgraph of G . We study the typical value of rm ex(G, H) when G G n,p (r) , the Erd H o s R 'enyi random r uniform hypergraph, and H C 2 ell (r) , the r uniform linear cycle of length 2 ell . The case of graphs ( r 2 ) is a longstanding open problem that has been investigated by many researchers. We determine rm ex(G n,p (r) , C 2 ell (r) ) up to polylogarithmic factors for all but a small interval of values of p p(n) whose length decreases as ell grows. Our main technical contribution is a balanced supersaturation result for linear even cycles which improves upon previous such results by Ferber Mckinley Samotij and Balogh Narayanan Skokan. The novelty is that the supersaturation result depends on the codegree of some pairs of vertices in the underlying hypergraph. This approach could be used to prove similar results for other hypergraphs H .


Deep Line Art Video Colorization with a Few References. Coloring line art images based on the colors of reference images is an important stage in animation production, which is time consuming and tedious. In this paper, we propose a deep architecture to automatically color line art videos with the same color style as the given reference images. Our framework consists of a color transform network and a temporal constraint network. The color transform network takes the target line art images as well as the line art and color images of one or more reference images as input, and generates corresponding target color images. To cope with larger differences between the target line art image and reference color images, our architecture utilizes non local similarity matching to determine the region correspondences between the target image and the reference images, which are used to transform the local color information from the references to the target. To ensure global color style consistency, we further incorporate Adaptive Instance Normalization (AdaIN) with the transformation parameters obtained from a style embedding vector that describes the global color style of the references, extracted by an embedder. The temporal constraint network takes the reference images and the target image together in chronological order, and learns the spatiotemporal features through 3D convolution to ensure the temporal consistency of the target image and the reference image. Our model can achieve even better coloring results by fine tuning the parameters with only a small amount of samples when dealing with an animation of a new style. To evaluate our method, we build a line art coloring dataset. Experiments show that our method achieves the best performance on line art video coloring compared to the state of the art methods and other baselines.


Exact solution and the multidimensional Godunov scheme for the acoustic equations. The acoustic equations derived as a linearization of the Euler equations are a valuable system for studies of multi dimensional solutions. Additionally they possess a low Mach number limit analogous to that of the Euler equations. Aiming at understanding the behaviour of the multi dimensional Godunov scheme in this limit, first the exact solution of the corresponding Cauchy problem in three spatial dimensions is derived. The appearance of logarithmic singularities in the exact solution of the 4 quadrant Riemann Problem in two dimensions is discussed. The solution formulae are then used to obtain the multidimensional Godunov finite volume scheme in two dimensions. It is shown to be superior to the dimensionally split upwind Roe scheme concerning its domain of stability and ability to resolve multi dimensional Riemann problems. It is shown experimentally and theoretically that despite taking into account multi dimensional information it is, however, not able to resolve the low Mach number limit.


Enumeration of planar Tangles. A planar Tangle is a smooth simple closed curve piecewise defined by quadrants of circles with constant curvature. We can enumerate Tangles by counting their dual graphs, which consist of a certain family of polysticks. The number of Tangles with a given length or area grows exponentially, and we show the existence of their growth constants by comparing Tangles to two families of polyominoes.


L p functional Busemann Petty centroid inequality. If K subset mathbb R n is a convex body and Gamma pK is the p centroid body of K , the L p Busemann Petty centroid inequality states that vol( Gamma pK) geq vol(K) , with equality if and only if K is an ellipsoid centered at the origin. In this work, we prove inequalities for a type of functional r mixed volume for 1 leq r n , and establish as a consequence, a functional version of the L p Busemann Petty centroid inequality. keywords Convex body, Moment body, Busemann Petty centroid


AriEL volume coding for sentence generation. Mapping sequences of discrete data to a point in a continuous space makes it difficult to retrieve those sequences via random sampling. Mapping the input to a volume would make it easier to retrieve at test time, and that's the strategy followed by the family of approaches based on Variational Autoencoder. However the fact that they are at the same time optimizing for prediction and for smoothness of representation, forces them to trade off between the two. We improve on the performance of some of the standard methods in deep learning to generate sentences by uniformly sampling a continuous space. We do it by proposing AriEL, that constructs volumes in a continuous space, without the need of encouraging the creation of volumes through the loss function. We first benchmark on a toy grammar, that allows to automatically evaluate the language learned and generated by the models. Then, we benchmark on a real dataset of human dialogues. Our results indicate that the random access to the stored information is dramatically improved, and our method AriEL is able to generate a wider variety of correct language by randomly sampling the latent space. VAE follows in performance for the toy dataset while, AE and Transformer follow for the real dataset. This partially supports to the hypothesis that encoding information into volumes instead of into points, can lead to improved retrieval of learned information with random sampling. This can lead to better generators and we also discuss potential disadvantages.


The dynamical Schr "odinger problem in abstract metric spaces. In this paper we introduce the dynamical Schr "odinger problem on abstract metric spaces, defined for a wide class of entropy and Fisher information functionals. Under very mild assumptions we prove a generic Gamma convergence result towards the geodesic problem as the noise parameter varepsilon downarrow 0 . We also investigate the connection with geodesic convexity of the driving entropy, and study the dependence of the entropic cost on the parameter varepsilon . Some examples and applications are discussed.


Dynamic Asymptotic Dimension of Translation Actions on Compact Lie Groups. We develop a method to bound the dynamic asymptotic dimension of isometric group actions Gamma curvearrowright X in terms of the asymptotic dimension of a space of graphs similar to a box space of Gamma (which also determines finite dimensionality), and a geometric property of X related to the doubling dimension. We apply this method to describe the DAD of translation actions by finitely generated subgroups of compact Lie groups, characterize finite dimensionality of such actions, and consequently bound the nuclear dimension of C algebras arising from such actions by amenable groups.


On Trilinear Oscillatory Integral Inequalities and Related Topics. Inequalities are established for certain trilinear scalar valued functionals. These functionals act on measurable functions of one real variable, are defined by integration over two or three dimensional spaces, and are controlled in terms of Lebesgue space norms of the functions, and of negative powers of large parameters describing a degree of oscillation. Related sublevel set inequalities are a central element of the analysis. The main results and the main lines of their proofs are largely unchanged in this draft, but some details have been corrected. The analysis has already been extended in work of the author, Durcik, and Roos.


The close relation between border and Pommaret marked bases. Given a finite order ideal mathcal O in the polynomial ring K x 1, dots, x n over a field K , let partial mathcal O be the border of mathcal O and mathcal P mathcal O the Pommaret basis of the ideal generated by the terms outside mathcal O . In the framework of reduction structures introduced by Ceria, Mora, Roggero in 2019, we investigate relations among partial mathcal O marked sets (resp. bases) and mathcal P mathcal O marked sets (resp. bases). We prove that a partial mathcal O marked set B is a marked basis if and only if the mathcal P mathcal O marked set P contained in B is a marked basis and generates the same ideal as B . Using a functorial description of these marked bases, as a byproduct we obtain that the affine schemes respectively parameterizing partial mathcal O marked bases and mathcal P mathcal O marked bases are isomorphic. We are able to describe this isomorphism as a projection that can be explicitly constructed without the use of Gr "obner elimination techniques. In particular, we obtain a straightforward embedding of border schemes in smaller affine spaces. Furthermore, we observe that Pommaret marked schemes give an open covering of punctual Hilbert schemes. Several examples are given along all the paper.


Structured Query Construction via Knowledge Graph Embedding. In order to facilitate the accesses of general users to knowledge graphs, an increasing effort is being exerted to construct graph structured queries of given natural language questions. At the core of the construction is to deduce the structure of the target query and determine the vertices edges which constitute the query. Existing query construction methods rely on question understanding and conventional graph based algorithms which lead to inefficient and degraded performances facing complex natural language questions over knowledge graphs with large scales. In this paper, we focus on this problem and propose a novel framework standing on recent knowledge graph embedding techniques. Our framework first encodes the underlying knowledge graph into a low dimensional embedding space by leveraging generalized local knowledge graphs. Given a natural language question, the learned embedding representations of the knowledge graph are utilized to compute the query structure and assemble vertices edges into the target query. Extensive experiments were conducted on the benchmark dataset, and the results demonstrate that our framework outperforms state of the art baseline models regarding effectiveness and efficiency.


Scale Groups. Closed subgroups of the group of isometries of the regular tree treeq that fix an end of the tree and are vertex transitive are shown to correspond, on one hand, to self replicating groups acting on rooted trees and, on the other hand, to elements of totally disconnected, locally compact groups having positive scale.


Blockage detection in networks the area reconstruction method. In this note we present a reconstructive algorithm for solving the cross sectional pipe area from boundary measurements in a tree network with one inaccessbile end. This is equivalent to reconstructing the first order perturbation to a wave equation on a quantum graph from boundary measurements at all network ends except one. The method presented here is based on a time reversal boundary control method originally presented by Sondhi and Gopinath for one dimensional problems and later by Oksanen to higher dimensional manifolds. The algorithm is local, so is applicable to complicated networks if we are interested only in a part isomorphic to a tree. Moreover the numerical implementation requires only one matrix inversion or least squares minimization per discretization point in the physical network. We present a theoretical solution existence proof, a step by step algorithm, and a numerical implementation applied to two numerical experiments.


TanhExp A Smooth Activation Function with High Convergence Speed for Lightweight Neural Networks. Lightweight or mobile neural networks used for real time computer vision tasks contain fewer parameters than normal networks, which lead to a constrained performance. In this work, we proposed a novel activation function named Tanh Exponential Activation Function (TanhExp) which can improve the performance for these networks on image classification task significantly. The definition of TanhExp is f(x) xtanh(e x). We demonstrate the simplicity, efficiency, and robustness of TanhExp on various datasets and network models and TanhExp outperforms its counterparts in both convergence speed and accuracy. Its behaviour also remains stable even with noise added and dataset altered. We show that without increasing the size of the network, the capacity of lightweight neural networks can be enhanced by TanhExp with only a few training epochs and no extra parameters added.


Human Spermbots for Cancer Relevant Drug Delivery. Cellular micromotors are attractive for locally delivering high concentrations of drug and targeting hard to reach disease sites such as cervical cancer and early ovarian cancer lesions by non invasive means. Spermatozoa are highly efficient micromotors perfectly adapted to traveling up the female reproductive system. Indeed, bovine sperm based micromotors have recently been reported as a potential candidate for the drug delivery toward gynecological cancers of clinical unmet need. However, due to major differences in the molecular make up of bovine and human sperm, a key translational bottleneck for bringing this technology closer to the clinic is to transfer this concept to human sperm. Here, we successfully load human sperm with a chemotherapeutic drug and perform treatment of relevant 3D cervical cancer and patient representative 3D ovarian cancer cell cultures, resulting in strong anti cancer effects. Additionally, we show the subcellular localization of the chemotherapeutic drug within human sperm heads and assess drug effects on sperm motility and viability over time. Finally, we demonstrate guidance and release of human drug loaded sperm onto cancer cell cultures by using streamlined microcap designs capable of simultaneously carrying multiple human sperm towards controlled drug dosing by transporting known numbers of sperm loaded with defined amounts of chemotherapeutic drug.


Sum frequency generation spectroscopy of the attachment disc of a spider. The pyriform silk of the attachment disc of a spider was studied using infrared visible vibrational sum frequency generation (SFG) spectroscopy. The spider can attach dragline and radial lines to many kinds of substrates in nature (concrete, alloy, metal, glass, plant branches, leaves, etc.) with the attachment disc. The adhesion can bear the spider's own weight, and resist the wind on its orb web. From our SFG spectroscopy study, the NH group of arginine side chain and or NH 2 group of arginine and glutamine side chain in the amino acid sequence of the attachment silk proteins are suggested to be oriented in the disc. It was inferred from the observed doublet SFG peaks at around 3300 cm 1 that the oriented peptide contains two kinds of structures.


On the tail distribution of the solution to some law equation. We consider a distribution equation which was initially studied by Bertoin cite Bertoin M stackrel d max widetilde nu , max 1 leq k leq nu M k . where M k k geq 1 are i.i.d. copies of M and independent of ( widetilde nu , nu) in mathbb R times mathbb N . We obtain the tail behaviour of the solution of a generalised equation in a different but direct method by considering the joint tail of ( widetilde nu , nu) .


Metasurface Modeling by a Thin Slab. We investigate the possibility to model a metasurface, defined as a zero thickness sheet of surface polarization currents, by a thin slab, characterized by a subwavelength thickness and usual voluminal medium parameters. First, we elaborate a general equivalence relation between the metasurface and the slab in terms of average electromagnetic fields. Then, we derive exact relations between the metasurface and slab susceptibilities and validate them by full wave simulations. Finally, we discuss the simple and insightful Average Field Approximation (AFA) formula, illustrate its inappropriate for strong metasurface field transformations, and establish its range of validity. All of these developments are restricted to the simplest case of a uniform isotropic metasurface under normal plane wave incidence. We conclude from the complexity of the equivalence for this case, that a metasurface is generally best modeled in terms of Generalized Sheet Transition Conditions (GSTCs).


High order numerical integrators for single integrand Stratonovich SDEs. We show that applying any deterministic B series method of order p d with a random step size to single integrand SDEs gives a numerical method converging in the mean square and weak sense with order lfloor p d 2 rfloor .As an application, we derive high order energy preserving methods for stochastic Poisson systems as well as further geometric numerical schemes for this wide class of Stratonovich SDEs.


Generative Model Enhanced Human Motion Prediction. The task of predicting human motion is complicated by the natural heterogeneity and compositionality of actions, necessitating robustness to distributional shifts as far as out of distribution (OoD). Here we formulate a new OoD benchmark based on the Human3.6M and CMU motion capture datasets, and introduce a hybrid framework for hardening discriminative architectures to OoD failure by augmenting them with a generative model. When applied to current state of the art discriminative models, we show that the proposed approach improves OoD robustness without sacrificing in distribution performance, and can theoretically facilitate model interpretability. We suggest human motion predictors ought to be constructed with OoD challenges in mind, and provide an extensible general framework for hardening diverse discriminative architectures to extreme distributional shift. The code is available at https github.com bouracha OoDMotion.


Visual Storytelling via Predicting Anchor Word Embeddings in the Stories. We propose a learning model for the task of visual storytelling. The main idea is to predict anchor word embeddings from the images and use the embeddings and the image features jointly to generate narrative sentences. We use the embeddings of randomly sampled nouns from the groundtruth stories as the target anchor word embeddings to learn the predictor. To narrate a sequence of images, we use the predicted anchor word embeddings and the image features as the joint input to a seq2seq model. As opposed to state of the art methods, the proposed model is simple in design, easy to optimize, and attains the best results in most automatic evaluation metrics. In human evaluation, the method also outperforms competing methods.


Near Memory Computing Past, Present, and Future. The conventional approach of moving data to the CPU for computation has become a significant performance bottleneck for emerging scale out data intensive applications due to their limited data reuse. At the same time, the advancement in 3D integration technologies has made the decade old concept of coupling compute units close to the memory called near memory computing (NMC) more viable. Processing right at the "home" of data can significantly diminish the data movement problem of data intensive applications. In this paper, we survey the prior art on NMC across various dimensions (architecture, applications, tools, etc.) and identify the key challenges and open issues with future research directions. We also provide a glimpse of our approach to near memory computing that includes i) NMC specific microarchitecture independent application characterization ii) a compiler framework to offload the NMC kernels on our target NMC platform and iii) an analytical model to evaluate the potential of NMC.


An Astrocyte Modulated Neuromorphic Central Pattern Generator for Hexapod Robot Locomotion on Intel's Loihi. Locomotion is a crucial challenge for legged robots that is addressed "effortlessly" by biological networks abundant in nature, named central pattern generators (CPG). The multitude of CPG network models that have so far become biomimetic robotic controllers is not applicable to the emerging neuromorphic hardware, depriving mobile robots of a robust walking mechanism that would result in inherently energy efficient systems. Here, we propose a brain morphic CPG controler based on a comprehensive spiking neural astrocytic network that generates two gait patterns for a hexapod robot. Building on the recently identified astrocytic mechanisms for neuromodulation, our proposed CPG architecture is seamlessly integrated into Intel's Loihi neuromorphic chip by leveraging a real time interaction framework between the chip and the robotic operating system (ROS) environment, that we also propose. Here, we demonstrate that a Loihi run CPG can be used to control a walking robot with robustness to sensory noise and varying speed profiles. Our results pave the way for scaling this and other approaches towards Loihi controlled locomotion in autonomous mobile robots.


Discrete Laplace Method and Truncation Error of Gauss Continued Fraction. The leading asymptotics of the truncation error for Gauss's continued fraction is determined exactly. Not only for this purpose but also for wider applicability elsewhere the discrete analogue of Laplace's method for hypergeometric series containing a large parameter, which was developed in a previous paper, is generalized in two directions.


Chebyshev Inertial Iteration for Accelerating Fixed Point Iterations. A novel method which is called the Chebyshev inertial iteration for accelerating the convergence speed of fixed point iterations is presented. The Chebyshev inertial iteration can be regarded as a valiant of the successive over relaxation or Krasnosel'ski v i Mann iteration utilizing the inverse of roots of a Chebyshev polynomial as iteration dependent inertial factors. One of the most notable features of the proposed method is that it can be applied to nonlinear fixed point iterations in addition to linear fixed point iterations. Linearization around the fixed point is the key for the analysis on the local convergence rate of the proposed method. The proposed method appears effective in particular for accelerating the proximal gradient methods such as ISTA. It is also proved that the proposed method can successfully accelerate almost any fixed point iterations if all the eigenvalues of the Jacobian at the fixed point are real.


Finding Skewed Subcubes Under a Distribution. Say that we are given samples from a distribution psi over an n dimensional space. We expect or desire psi to behave like a product distribution (or a k wise independent distribution over its marginals for small k ). We propose the problem of enumerating list decoding all large subcubes where the distribution psi deviates markedly from what we expect we refer to such subcubes as skewed subcubes. Skewed subcubes are certificates of dependencies between small subsets of variables in psi . We motivate this problem by showing that it arises naturally in the context of algorithmic fairness and anomaly detection. In this work we focus on the special but important case where the space is the Boolean hypercube, and the expected marginals are uniform. We show that the obvious definition of skewed subcubes can lead to intractable list sizes, and propose a better definition of a minimal skewed subcube, which are subcubes whose skew cannot be attributed to a larger subcube that contains it. Our main technical contribution is a list size bound for this definition and an algorithm to efficiently find all such subcubes. Both the bound and the algorithm rely on Fourier analytic techniques, especially the powerful hypercontractive inequality. On the lower bounds side, we show that finding skewed subcubes is as hard as the sparse noisy parity problem, and hence our algorithms cannot be improved on substantially without a breakthrough on this problem which is believed to be intractable. Motivated by this, we study alternate models allowing query access to psi where finding skewed subcubes might be easier.


Subcritical dynamos in rapidly rotating planar convection. We study dynamo action using numerical simulations of planar Boussinesq convection at rapid rotation (low Ekman numbers, Ek), focusing on subcritical dynamo action in which the dynamo is sustained for Rayleigh numbers, Ra, below the critical Rayleigh number for the onset of nonmagnetic convection, Ra c . These solutions are found by first investigating the supercritical regime, in which the dynamo is able to generate a large scale magnetic field that significantly influences the convective motions, with an associated Elsasser number of order Ek 1 3 . Subcritical solutions are then found by tracking this solution branch into the subcritical regime, taking a supercritical solution and then gradually lowering the corresponding Rayleigh number. We show that decreasing the Ekman number leads to an extension of the subcritical range of Ra Ra c , down to an optimal value of Ek 10 5 . For magnetic Prandtl numbers of order unity, subcriticality is then hampered by the emergence of a large scale mode at lower Ekman numbers when the dynamo driven by the smaller scale convection generates relatively stronger large scale magnetic field. The inability of the large scale mode to sustain dynamo action leads to an intermittent behaviour that appears to inhibit subcriticality. The subcritical solutions are also sensitive to the value of the magnetic Reynolds number (or equivalently, the magnetic Prandtl number, Pm), as values of the magnetic Reynolds number greater than 70 are required to produce dynamo action, but large values lead to fluctuations that are able to push the system too far from the subcritical branch and towards the trivial conducting state.


Lattice Boltzmann scheme for hydrodynamic equation of phonon transport. In this work, a lattice Boltzmann scheme is developed for numerical solution of the phonon Boltzmann equation under Callaway's dual relaxation model in the hydrodynamic limit. Through a Chapman Enskog expansion to the lattice Boltzmann equation with the resistive scattering term as an equivalent source term, we recover a phonon hydrodynamic equation which is reduced to the Guyer Krumhansl heat transport equation and the Fourier's law in the limit of dominant normal scattering and dominant resistive scattering respectively. Several cases of heat transport from diffusive regime to hydrodynamic regime are modeled extensively by the present numerical scheme, which produces results in good agreement with the benchmark solutions. Two well known phonon hydrodynamic phenomena including the phonon Poiseuille flow and second sound propagation are well captured by the lattice Boltzmann scheme. This work will promote the numerical modeling and deeper understanding of the non Fourier heat transport induced by phonon normal scattering.


Bright single cycle terahertz source based on gas cells irradiated by two color laser pulses. We study the excitation of electron currents in a transparent cell of sub millimeter size filled by an atomic gas and illuminated by an intense two color femtosecond laser pulse. The pulse consists of a strong fundamental component and its second harmonic of low intensity, both circularly polarized. We show that for sufficiently small 20 mu m cells the plasma oscillation excited by asymmetric ionization is almost spatially homogeneous within the interaction volume. This coherent dipole plasma oscillation results in a remarkably efficient conversion of the electron energy into that of radiation emitted in the terahertz frequency domain. Simultaneously, strong quasi static electric fields of maximal strength E m simeq 10 MV cm are shown to exist inside the cell during several hundred femtoseconds after the ionizing two color laser pulse has gone.


Reference guided Face Component Editing. Face portrait editing has achieved great progress in recent years. However, previous methods either 1) operate on pre defined face attributes, lacking the flexibility of controlling shapes of high level semantic facial components (e.g., eyes, nose, mouth), or 2) take manually edited mask or sketch as an intermediate representation for observable changes, but such additional input usually requires extra efforts to obtain. To break the limitations (e.g. shape, mask or sketch) of the existing methods, we propose a novel framework termed r FACE (Reference guided FAce Component Editing) for diverse and controllable face component editing with geometric changes. Specifically, r FACE takes an image inpainting model as the backbone, utilizing reference images as conditions for controlling the shape of face components. In order to encourage the framework to concentrate on the target face components, an example guided attention module is designed to fuse attention features and the target face component features extracted from the reference image. Through extensive experimental validation and comparisons, we verify the effectiveness of the proposed framework.


Secure Boot from Non Volatile Memory for Programmable SoC Architectures. In modern embedded systems, the trust in comprehensive security standards all along the product life cycle has become an increasingly important access to market requirement. However, these security standards rely on mandatory immunity assumptions such as the integrity and authenticity of an initial system configuration typically loaded from Non Volatile Memory (NVM). This applies especially to FPGA based Programmable System on Chip (PSoC) architectures, since object codes as well as configuration data easily exceed the capacity of a secure bootROM. In this context, an attacker could try to alter the content of the NVM device in order to manipulate the system. The PSoC therefore relies on the integrity of the NVM particularly at boot time. In this paper, we propose a methodology for securely booting from an NVM in a potentially unsecure environment by exploiting the reconfigurable logic of the FPGA. Here, the FPGA serves as a secure anchor point by performing required integrity and authenticity verifications prior to the configuration and execution of any user application loaded from the NVM on the PSoC. The proposed secure boot process is based on the following assumptions and steps 1) The boot configurationis stored on a fully encrypted Secure Digital memory card (SD card) or alternatively Flash acting as NVM. 2) At boot time, a hardware design called Trusted Memory Interface Unit (TMIU) is loaded to verify first the authenticity of the deployed NVM and then after decryption the integrity of its content. To demonstrate the practicability of our approach, we integrated the methodology into the vendor specific secure boot process of a Xilinx Zynq PSoC and evaluated the design objectives performance, power and resource costs.


Near Optimal Algorithms for Point Line Covering Problems. We study fundamental point line covering problems in computational geometry, in which the input is a set S of points in the plane. The first is the Rich Lines problem, which asks for the set of all lines that each covers at least lambda points from S , for a given integer parameter lambda geq 2 this problem subsumes the 3 Points on Line problem and the Exact Fitting problem, which the latter asks for a line containing the maximum number of points. The second is the NP hard problem Line Cover, which asks for a set of k lines that cover the points of S , for a given parameter k in mathbb N . Both problems have been extensively studied. In particular, the Rich Lines problem is a fundamental problem whose solution serves as a building block for several algorithms in computational geometry. For Rich Lines and Exact Fitting, we present a randomized Monte Carlo algorithm that achieves a lower running time than that of Guibas et al.'s algorithm Computational Geometry 1996 , for a wide range of the parameter lambda . We derive lower bound results showing that, for lambda Omega( sqrt n log n ) , the upper bound on the running time of this randomized algorithm matches the lower bound that we derive on the time complexity of Rich Lines in the algebraic computation trees model. For Line Cover, we present two kernelization algorithms a randomized Monte Carlo algorithm and a deterministic algorithm. Both algorithms improve the running time of existing kernelization algorithms for Line Cover. We derive lower bound results showing that the running time of the randomized algorithm we present comes close to the lower bound we derive on the time complexity of kernelization algorithms for Line Cover in the algebraic computation trees model.


Palpatine Mining Frequent Sequences for Data Prefetching in NoSQL Distributed Key Value Stores. This paper presents PALPATINE, the first in memory application level cache for Distributed Key Value (DKV) data stores, capable of prefetching data that is likely to be accessed in an immediate future. To predict data accesses, PALPATINE continuously captures frequent access patterns to the back store by means of data mining techniques. With these patterns, PALPATINE builds a stochastic graph of accessed items, and makes prefetching decisions based on it. Experimental evaluation indicates that PALPATINE can improve the latency of a specific DKV store by more that an order of magnitude.


New Research Trends in Unconventional Oil and Gas Environmental Issue A Bibliometric Analysis. With the booming of unconventional gas production in the world, how to balance environment pollution risk and economy of unconventional gas have become a common dilemma around the world. The aim of this study is to elucidate the research about environmental issue brought with development of unconventional oil and gas industry. To achieve this goal, we present a bibliometrics overview of this field from 1990 to 2018. Firstly, this study outlines a basic statistical analysis over journals, publications, authors, institutions and documents. Secondly, VOSviewer is employed to visualize the collaborative relationship to show the link between different author, institutions, regions and journals. Finally, document bibliographic coupling, cooccurrence and keyword burst detection are analyzed to reveal the emerging trend and hot topic. The results indicate that among all countries, America was the most productive country as well as cooperated the most with other countries, followed by China, while the China University of Petroleum is the most productive institution in the world, with 105 publications. Additionally, most articles were classified as energy fuels, environmental sciences and geosciences multidisciplinary. Furthermore, based on emerging trends analysis, it was concluded that hydraulic fracturing technology has become a hot topic, other popular research topics include energy policy and regulation of unconventional gas development, greenhouse gas emissions, energy and water consumption of unconventional gas life cycle assessment.


On the determination of ischemic regions in the monodomain model of cardiac electrophysiology from boundary measurements. In this paper we consider the monodomain model of cardiac electrophysiology. After an analysis of the well posedness of the model, we determine an asymptotic expansion of the perturbed potential due to the presence of small conductivity inhomogeneities (modeling small ischemic regions in the cardiac tissue) and use it to detect the anomalies from partial boundary measurements. This is done by determining the topological gradient of a suitable boundary misfit functional. The robustness of the algorithm is confirmed by several numerical experiments.


The chromatic profile of locally bipartite graphs. In 1973, Erd H o s and Simonovits asked whether every n vertex triangle free graph with minimum degree greater than 1 3 cdot n is 3 colourable. This question initiated the study of the chromatic profile of triangle free graphs for each k , what minimum degree guarantees that a triangle free graph is k colourable. This problem has a rich history which culminated in its complete solution by Brandt and Thomass ' e . Much less is known about the chromatic profile of H free graphs for general H . Triangle free graphs are exactly those in which each neighbourhood is one colourable. Locally bipartite graphs, first mentioned by Luczak and Thomass ' e , are the natural variant of triangle free graphs in which each neighbourhood is bipartite. Here we study the chromatic profile of locally bipartite graphs. We show that every n vertex locally bipartite graph with minimum degree greater than 4 7 cdot n is 3 colourable ( 4 7 is tight) and with minimum degree greater than 6 11 cdot n is 4 colourable. Although the chromatic profiles of locally bipartite and triangle free graphs bear some similarities, we will see there are striking differences.


Learning visual servo policies via planner cloning. Learning control policies for visual servoing in novel environments is an important problem. However, standard model free policy learning methods are slow. This paper explores planner cloning using behavior cloning to learn policies that mimic the behavior of a full state motion planner in simulation. We propose Penalized Q Cloning (PQC), a new behavior cloning algorithm. We show that it outperforms several baselines and ablations on some challenging problems involving visual servoing in novel environments while avoiding obstacles. Finally, we demonstrate that these policies can be transferred effectively onto a real robotic platform, achieving approximately an 87 success rate both in simulation and on a real robot.


Prototype design of singles processing unit for the small animal PET. Position Emission Tomography (PET) is an advanced clinical diagnostic imaging technique for nuclear medicine. Small animal PET is increasingly uesd for studying the animal model of disease, new drugs and new therapies. A prototype of Singles Processing Unit (SPU) for a small animal PET system was designed to obtain the time, energy, and position information. The energy and position is actually calculated through high precison charge measurement, which is based on amplification, shaping, A D conversion and area calculation in digital signal processing domian. Analysis and simulations were also conducted to optimize the key parameters in system design. Initial tests indicate that the charge and time precision is better than 0.3 FWHM and 350 ps FWHM respectively, while the position resolution is better than 0.35 FWHM. Commination tests of the SPU prototype with the PET detector indicate that the system time precision is better than 2.5 ns, while the flood map and energy spectra concored well with the expected.


Some Energy Estimates for Stable Solutions to Fractional Allen Cahn Equations. In this paper we study stable solutions to the fractional equation begin align ( Delta) s u f(u), quad u 1 quad mbox in mathbb R d , end align where 0 s 1 and f 1,1 rightarrow mathbb R is a C 1, alpha function for alpha max 0, 1 2s . We obtain sharp energy estimates for 0 s 1 2 and rough energy estimates for 1 2 le s 1 . These lead to a different proof from literature of the fact that when d 2, , 0 s 1 , entire stable solutions are 1 D solutions. The scheme used in this paper is inspired by Cinti Serra Valdinoci CSV17 which deals with stable nonlocal sets, and Figalli Serra FS17 which studies stable solutions for the case s 1 2 .


Berge cycles in non uniform hypergraphs. We consider two extremal problems for set systems without long Berge cycles. First we give Dirac type minimum degree conditions that force long Berge cycles. Next we give an upper bound for the number of hyperedges in a hypergraph with bounded circumference. Both results are best possible in infinitely many cases.


Thermodynamically Consistent Darcy Brinkman Forchheimer Framework in Matrix Acidization. Matrix acidization is an important technique to enhance oil production at the tertiary recovery stage, and its numerical simulation is never concluded. From one of the earliest models, i.e. the two scale model (Darcy framework), the Darcy Brinkman Forchheimer (DBF) framework is developed by adding Brinkman term and Forchheimer term to the momentum conservation equation. However, in the momentum conservation equation of the DBF framework, porosity is put outside of the time derivation term, which cannot describe the change of porosity well. Thus, this work changes the expression so that the modified momentum conservation equation can satisfy Newton's second law. The modified framework is called improved DBF framework. Furthermore, based on the improved DBF framework, the thermal DBF framework is given by introducing the energy balance equation to the improved DBF framework. Both of the frameworks are verified by the former works through numerical experiments and chemical experiments in labs. Parallelization to the codes of the complicated frameworks is also realized, and good scalability can be achieved.


Online platforms of public participation a deliberative democracy or a delusion?. Trust and confidence in democratic institutions is at an all time low. At the same time, many of the complex issues faced by city administrators and politicians remain unresolved. To tackle these concerns, many argue that citizens should, through the use of digital platforms, have greater involvement in decision making processes. This paper describes research into two such platforms, 'Decide Madrid' and 'Better Reykjavik'. Through the use of interviews, questionnaires, ethnographic observation, and analysis of platform data, the study will determine if these platforms provide greater participation or simply replicate what is already offered by numerous other digital tools. The findings so far suggest that to be successful platforms must take on a form of deliberative democracy, allowing for knowledge co production and the emergence of collective intelligence. Based on this, we aim to identify key features of sustainable models of online participation.


Towards a Theoretical Foundation of PID Control for Uncertain Nonlinear Systems. As is well known, the classical PID control plays a dominating role in various control loops of industrial processes. However, a theory that can explain the rationale why the linear PID can successfully deal with the ubiquitous uncertain nonlinear dynamical systems and a method that can provide explicit design formulae for the PID parameters are still lacking. This paper is a continuation of the authors recent endeavor towards establishing a theoretical foundation of PID. We will investigate the rationale of PID control for a general class of high dimensional second order non affine uncertain systems. We will show that a three dimensional parameter set can be constructed explicitly, such that whenever the PID parameters are chosen from this set, the closed loop systems will be globally stable and the regulation error will converge to zero exponentially fast, under some suitable conditions on the system uncertainties. Moreover, we will show that the PD(PI) control can globally stabilize several special classes of high dimensional uncertain nonlinear systems. Furthermore, we will apply the Markus Yamabe theorem in differential equations to provide a necessary and sufficient condition for the choice of the PI parameters for a class of one dimensional non affine uncertain systems. These theoretical results show explicitly that the controller parameters are not necessary to be of high gain, and that the ubiquitous PID control does indeed have strong robustness with respect to both the system structure uncertainties and the selection of the controller parameters.


Discrete Empirical Interpolation and unfitted mesh FEMs application in PDE constrained optimization. In this work, we investigate the performance CutFEM as a high fidelity solver as well as we construct a competent and economical reduced order solver for PDE constrained optimization problems in parametrized domains that live in a fixed background geometry and mesh. Its effectiveness and reliability will be assessed through its application for the numerical solution of quadratic optimization problems with elliptic equations as constraints, examining an archetypal case. The reduction strategy will be via Proper Orthogonal Decomposition of suitable FE snapshots, using an aggregated state and adjoint test space, while the efficiency of the offline online decoupling will be ensured by means of Discrete Empirical Interpolation of the optimality system matrix and right hand side, enabling thus a rapid resolution of the reduced order model for each new spatial configuration.


On product identities and the Chow rings of holomorphic symplectic varieties. For a moduli space M of stable sheaves over a K3 surface X , we propose a series of conjectural identities in the Chow rings CH star (M times X ell), , ell geq 1, generalizing the classic Beauville Voisin identity for a K3 surface. We emphasize consequences of the conjecture for the structure of the tautological subring R star (M) subset CH star (M). The conjecture places all tautological classes in the lowest piece of a natural filtration emerging on CH star (M) , which we also discuss. We prove the proposed identities when M is the Hilbert scheme of points on a K3 surface.


Decision Procedures for Guarded Logics. An important class of decidable first order logic fragments are those satisfying a guardedness condition, such as the guarded fragment (GF). Usually, decidability for these logics is closely linked to the tree like model property the fact that satisfying models can be taken to have tree like form. Decision procedures for the guarded fragment based on the tree like model property are difficult to implement. An alternative approach, based on restricting first order resolution, has been proposed, and this shows more promise from the point of view of implementation. In this work, we connect the tree like model property of the guarded fragment with the resolution based approach. We derive efficient resolution based rewriting algorithms that solve the Quantifier Free Query Answering Problem under Guarded Tuple Generating Dependencies (GTGDs) and Disjunctive Guarded Tuple Generating Dependencies (DisGTGDs). The Query Answering Problem for these classes subsumes many cases of GF satisfiability. Our algorithms, in addition to making the connection to the tree like model property clear, give a natural account of the selection and ordering strategies used by resolution procedures for the guarded fragment. We also believe that our rewriting algorithm for the special case of GTGDs may prove itself valuable in practice as it does not require any Skolemisation step and its theoretical runtime outperforms those of known GF resolution procedures in case of fixed dependencies. Moreover, we show a novel normalisation procedure for the widely used chase procedure in case of (disjunctive) GTGDs, which could be useful for future studies.


Towards Zero Shot Learning with Fewer Seen Class Examples. We present a meta learning based generative model for zero shot learning (ZSL) towards a challenging setting when the number of training examples from each emph seen class is very few. This setup contrasts with the conventional ZSL approaches, where training typically assumes the availability of a sufficiently large number of training examples from each of the seen classes. The proposed approach leverages meta learning to train a deep generative model that integrates variational autoencoder and generative adversarial networks. We propose a novel task distribution where meta train and meta validation classes are disjoint to simulate the ZSL behaviour in training. Once trained, the model can generate synthetic examples from seen and unseen classes. Synthesize samples can then be used to train the ZSL framework in a supervised manner. The meta learner enables our model to generates high fidelity samples using only a small number of training examples from seen classes. We conduct extensive experiments and ablation studies on four benchmark datasets of ZSL and observe that the proposed model outperforms state of the art approaches by a significant margin when the number of examples per seen class is very small.


On Approximating Polynomial Quadratic Regulator Problems. Feedback control problems involving autonomous polynomial systems are prevalent, yet there are limited algorithms and software for approximating their solution. This paper represents a step forward by considering the special case of the regulator problem where the state equation has polynomial nonlinearity, control costs are quadratic, and the feedback control is approximated by low degree polynomials. As this represents the natural extension of the linear quadratic regulator (LQR) and quadratic quadratic regulator (QQR) problems, we denote this class as polynomial quadratic regulator (PQR) problems. The present approach is amenable to feedback approximations with low degree polynomials and to problems of modest model dimension. This setting can be achieved in many problems using modern model reduction methods. The Al'Brekht algorithm, when applied to polynomial nonlinearities represented as Kronecker products leads to an elegant formulation. The terms of the feedback control lead to large linear systems that can be effectively solved with an N way generalization of the Bartels Stewart algorithm. We demonstrate our algorithm with numerical examples that include the Lorenz equations, a ring of van der Pol oscillators, and a discretized version of the Burgers equation. The software described here is available on Github.


Clique immersion in graph products. Let G,H be graphs and G H represent a particular graph product of G and H . We define im(G) to be the largest t such that G has a K t immersion and ask given im(G) t and im(H) r , how large is im(G H) ? Best possible lower bounds are provided when is the Cartesian or lexicographic product, and a conjecture is offered for each of the direct and strong products, along with some partial results.


Electrostatic cooling at electrolyte electrolyte junctions. Electrostatic cooling is known to occur in conductors and in porous electrodes in contact with aqueous electrolytes. Here we present for the first time evidence of electrostatic cooling at the junction of two electrolyte phases. These are, first, water containing salt, and, second, an ion exchange membrane, which is a water filled porous layer containing a large concentration of fixed charges. When ionic current is directed through such a membrane in contact with aqueous phases on both sides, a temperature difference develops across the membrane which rapidly switches sign when the current direction is reversed. The temperature difference develops because one water membrane junction cools down, while the other heats up. Cooling takes place when the inner product of ionic current textbf I and field strength textbf E is a negative quantity, which is possible in the electrical double layers that form on the surface of the membrane. Theory reproduces the magnitude of the effect but overestimates the rate by which the temperature difference across the membrane adjusts itself to a reversal in current.


Introducing a new intrinsic metric. A new intrinsic metric called t metric is introduced. Several sharp inequalities between this metric and the most common hyperbolic type metrics are proven for various domains G subsetneq mathbb R n . The behaviour of the new metric is also studied under a few examples of conformal and quasiconformal mappings, and the differences between the balls drawn with all the metrics considered are compared by both graphical and analytical means.


Cache Aided Matrix Multiplication Retrieval. Coded caching is a promising technique to smooth out network traffic by storing part of the library content at the users' local caches. The seminal work on coded caching for single file retrieval by Maddah Ali and Niesen (MAN) showed the existence of a global caching gain that scales with the total memory in the system, in addition to the known local caching gain in uncoded systems. This paper formulates a novel cache aided matrix multiplication retrieval problem, relevant for data analytics and machine learning applications. In the considered problem, each cache aided user requests the product of two matrices from the library. A structure agnostic solution is to treat each possible matrix product as an independent file and use the MAN coded caching scheme for single file retrieval. This paper proposes two structure aware schemes, which partition each matrix in the library by either rows or columns and let a subset of users cache some sub matrices, that improve on the structure agnostic scheme. For the case where the library matrices are "fat" matrices, the structure aware row partition scheme is shown to be order optimal under some constraint.