A compact flat solar still with high performance. Solar still is a convenient off grid device for desalination, which can provide fresh water for families, ships, islands and so on. The conventional inclined solar still (ISS) suffers from low efficiency and low productivity. To improve the performance of solar still, a flat solar still (FSS) is proposed, which has a working principle similar to the solar cell. The condensate water in FSS is collected by the capillary grid attached under the ultra hydrophilic glass cover, instead of by gravity. Therefore, FSS avoids the inclined structure and is much more compact than ISS. The daily productivity of FSS reaches up to 4.3 kg m2. Theoretical analysis shows that the enhanced mass transfer in FSS by the compact structure is an important factor for high performance. More interestingly, FSS can also be easily extended to more stage for latent heat recovery. The results show that the daily productivity of a double stage FSS reaches up to 7 kg m2, which is much higher than the conventional solar still. FSS paves a new way in designing and optimizing of solar still.


Hedging Non Tradable Risks with Transaction Costs and Price Impact. A risk averse agent hedges her exposure to a non tradable risk factor U using a correlated traded asset S and accounts for the impact of her trades on both factors. The effect of the agent's trades on U is referred to as cross impact. By solving the agent's stochastic control problem, we obtain a closed form expression for the optimal strategy when the agent holds a linear position in U . When the exposure to the non tradable risk factor psi(U T) is non linear, we provide an approximation to the optimal strategy in closed form, and prove that the value function is correctly approximated by this strategy when cross impact and risk aversion are small. We further prove that when psi(U T) is non linear, the approximate optimal strategy can be written in terms of the optimal strategy for a linear exposure with the size of the position changing dynamically according to the exposure's "Delta" under a particular probability measure.


Uniqueness conjectures for extended Markov numbers. We study an extension to the uniqueness conjecture for Markov numbers. For any three positive integers m geq a and m geq b satisfying a 2 b 2 m 2 3abm , this conjecture states that the triple (a,m,b) is uniquely determined by the Markov number m . The theory of Markov numbers may be described by combinatorics of the sequences (1,1) and (2,2) . There is an extension to the theory based on arbitrary sequences. We define extended uniqueness conjectures for any sequences mu and nu . We show that for certain integers a 1 and b 2 the extended uniqueness conjecture for the sequences mu (a,a) and nu (b,b) fails.


Syndrome aware Herb Recommendation with Multi Graph Convolution Network. Herb recommendation plays a crucial role in the therapeutic process of Traditional Chinese Medicine(TCM), which aims to recommend a set of herbs to treat the symptoms of a patient. While several machine learning methods have been developed for herb recommendation, they are limited in modeling only the interactions between herbs and symptoms, and ignoring the intermediate process of syndrome induction. When performing TCM diagnostics, an experienced doctor typically induces syndromes from the patient's symptoms and then suggests herbs based on the induced syndromes. As such, we believe the induction of syndromes, an overall description of the symptoms, is important for herb recommendation and should be properly handled. However, due to the ambiguity and complexity of syndrome induction, most prescriptions lack the explicit ground truth of syndromes. In this paper, we propose a new method that takes the implicit syndrome induction process into account for herb recommendation. Given a set of symptoms to treat, we aim to generate an overall syndrome representation by effectively fusing the embeddings of all the symptoms in the set, to mimic how a doctor induces the syndromes. Towards symptom embedding learning, we additionally construct a symptom symptom graph from the input prescriptions for capturing the relations between symptoms we then build graph convolution networks(GCNs) on both symptom symptom and symptom herb graphs to learn symptom embedding. Similarly, we construct a herb herb graph and build GCNs on both herb herb and symptom herb graphs to learn herb embedding, which is finally interacted with the syndrome representation to predict the scores of herbs. In this way, more comprehensive representations can be obtained. We conduct extensive experiments on a public TCM dataset, showing significant improvements over state of the art herb recommendation methods.


On the Cauchy problem for the Hunter Saxton equation on the line. In this paper, we consider the Cauchy problem for the Hunter Saxton (HS) equation on the line. Firstly, we establish the local well posedness for the integral form of the (HS) equation by constructing some special spaces E s p,r , which mix Lebesgue spaces and homogeneous Besov spaces. Then we present a global existence result and provide a sufficient condition for strong solutions to blow up in finite time for the equation. Finally, we give the ill posedness and the unique continuation of the Hunter Saxton equation.


Growth of finitely generated simple Lie algebras. We realize any submultiplicative increasing function which is equivalent to a polynomial proportion of itself as the growth function of a finitely generated simple Lie algebra. As an application, we resolve two open problems posed by Petrogradsky on Lie algebras with intermediate growth.


Strichartz estimates and local regularity for the elastic wave equation with singular potentials. We obtain weighted L 2 estimates for the elastic wave equation perturbed by singular potentials including the inverse square potential. We then deduce the Strichartz estimates under the sole ellipticity condition for the Lam 'e operator Delta ast . This improves upon the previous result in cite BFRVV which relies on a stronger condition to guarantee the self adjointness of Delta ast . Furthermore, by establishing local energy estimates for the elastic wave equation we also prove that the solution has local regularity.


Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi Agent Systems. Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about the distributed information of potentially infinite groups. We characterize the notion of distributed information of a group of agents as the infimum of the set of join preserving functions that represent the spaces of the agents in the group. We provide an alternative characterization of this notion as the greatest family of join preserving functions that satisfy certain basic properties. For completely distributive lattices, we establish that distributed information of a group is the greatest information below all possible combinations of information in the spaces of the agents in the group that derive a given piece of information. We show compositionality results for these characterizations and conditions under which information that can be obtained by an infinite group can also be obtained by a finite group. Finally, we provide an application on mathematical morphology where dilations, one of its fundamental operations, define an scs on a powerset lattice. We show that distributed information represents a particular dilation in such scs.


A finite element error analysis for axisymmetric mean curvature flow. We consider the numerical approximation of axisymmetric mean curvature flow with the help of linear finite elements. In the case of a closed genus 1 surface, we derive optimal error bounds with respect to the L 2 and H 1 norms for a fully discrete approximation. We perform convergence experiments to confirm the theoretical results, and also present numerical simulations for some genus 0 and genus 1 surfaces, including for the Angenent torus.


Quasiconformal mappings in the hyperbolic Heisenberg group and a lifting theorem. A study of smooth contact quasiconformal mappings of the hyperbolic Heisenberg group is presented in this paper. Our main result is a Lifting Theorem according to this, a symplectic quasiconformal mapping of the hyperbolic plane can be lifted to a circles preserving quasiconformal mapping of the hyperbolic Heisenberg group.


Reconfiguring dominating sets in minor closed graph classes. For a graph G , two dominating sets D and D' in G , and a non negative integer k , the set D is said to k transform to D' if there is a sequence D 0, ldots,D ell of dominating sets in G such that D D 0 , D' D ell , D i leq k for every i in 0,1, ldots, ell , and D i arises from D i 1 by adding or removing one vertex for every i in 1, ldots, ell . We prove that there is some positive constant c and there are toroidal graphs G of arbitrarily large order n , and two minimum dominating sets D and D' in G such that D k transforms to D' only if k geq max D , D' c sqrt n . Conversely, for every hereditary class cal G that has balanced separators of order n mapsto n alpha for some alpha 1 , we prove that there is some positive constant C such that, if G is a graph in cal G of order n , and D and D' are two dominating sets in G , then D k transforms to D' for k max D , D' lfloor Cn alpha rfloor .


Fermat type arrangements. The purpose of this work is to collect in one place available information on line arrangements known in the literature as braid, monomial, Ceva or Fermat arrangement. They have been studied for a long time and appeared recently in connection with highly interesting problems, namely the containment problem between symbolic and ordinary powers of ideals and the existence of unexpected hypersurfaces. We also study also derived configurations of points (or more general linear flats) which arise by intersecting hyperplanes in Fermat arrangements or by taking duals of these hyperplanes. Furthermore we discuss briefly higher dimensional generalizations and present results arising by applying this approach to problems mentioned above. Some of our results are original and appear for the first time in print.


M "obius disjointness for C 1 varepsilon skew products. We show that for varepsilon 0 , every C 1 varepsilon skew product on mathbb T 2 over a rotation of mathbb T 1 satisfies Sarnak's conjecture. This is an improvement of earlier results of Kulaga Przymus Lema 'nczyk, Huang Wang Ye, and Kanigowski Lema 'nczyk Radziwill.


Automorphism towers of groups of homeomorphisms of Cantor space. We show that for any full and sufficiently transitive (i.e. textit flexible ) group G of homeomorphisms of Cantor space, mathrm Aut ( mathrm Aut (G)) mathrm Aut (G) . This class contains many generalisations of the Higman Thompson groups G n,r , and the Rational group mathcal R 2 of Grigorchuk, Nekrashevych, and Suchanski u i . We also demonstrate that for generalisations T n,r of R. Thompson's group T , mathrm Aut ( mathrm Aut (T n,r )) mathrm Aut (T n,r ) . In the case of the groups G n,r and T n,r our results extend results of Brin and Guzm ' a n for Thompson's group T , and generalisations of Thompson's group F .


Analysis of Dominant Classes in Universal Adversarial Perturbations. The reasons why Deep Neural Networks are susceptible to being fooled by adversarial examples remains an open discussion. Indeed, many different strategies can be employed to efficiently generate adversarial attacks, some of them relying on different theoretical justifications. Among these strategies, universal (input agnostic) perturbations are of particular interest, due to their capability to fool a network independently of the input in which the perturbation is applied. In this work, we investigate an intriguing phenomenon of universal perturbations, which has been reported previously in the literature, yet without a proven justification universal perturbations change the predicted classes for most inputs into one particular (dominant) class, even if this behavior is not specified during the creation of the perturbation. In order to justify the cause of this phenomenon, we propose a number of hypotheses and experimentally test them using a speech command classification problem in the audio domain as a testbed. Our analyses reveal interesting properties of universal perturbations, suggest new methods to generate such attacks and provide an explanation of dominant classes, under both a geometric and a data feature perspective.


Learning Visual Semantic Embeddings for Reporting Abnormal Findings on Chest X rays. Automatic medical image report generation has drawn growing attention due to its potential to alleviate radiologists' workload. Existing work on report generation often trains encoder decoder networks to generate complete reports. However, such models are affected by data bias (e.g. label imbalance) and face common issues inherent in text generation models (e.g. repetition). In this work, we focus on reporting abnormal findings on radiology images instead of training on complete radiology reports, we propose a method to identify abnormal findings from the reports in addition to grouping them with unsupervised clustering and minimal rules. We formulate the task as cross modal retrieval and propose Conditional Visual Semantic Embeddings to align images and fine grained abnormal findings in a joint embedding space. We demonstrate that our method is able to retrieve abnormal findings and outperforms existing generation models on both clinical correctness and text generation metrics.


MFEM a modular finite element methods library. MFEM is an open source, lightweight, flexible and scalable C library for modular finite element methods that features arbitrary high order finite element meshes and spaces, support for a wide variety of discretization approaches and emphasis on usability, portability, and high performance computing efficiency. MFEM's goal is to provide application scientists with access to cutting edge algorithms for high order finite element meshing, discretizations and linear solvers, while enabling researchers to quickly and easily develop and test new algorithms in very general, fully unstructured, high order, parallel and GPU accelerated settings. In this paper we describe the underlying algorithms and finite element abstractions provided by MFEM, discuss the software implementation, and illustrate various applications of the library.


A construction of representations of 3 manifold groups into PU(2,1) through Lefschetz fibrations. We obtain infinitely many (non conjugate) representations of 3 manifold fundamental groups into a lattice in the holomorphic isometry group of complex hyperbolic space. The lattice is an orbifold fundamental group of a branched covering of the projective plane along an arrangement of hyperplanes constructed by Hirzebruch. The 3 manifolds are related to a Lefschetz fibration of the complex hyperbolic orbifold.


Commutators of elementary subgroups curiouser and curiouser. Let R be any associative ring with 1 , n ge 3 , and let A,B be two sided ideals of R . In our previous joint works with Roozbeh Hazrat 17,15 we have found a generating set for the mixed commutator subgroup E(n,R,A),E(n,R,B) . Later in 29,34 we noticed that our previous results can be drastically improved and that E(n,R,A),E(n,R,B) is generated by 1) the elementary conjugates z ij (ab,c) t ij (c)t ji (ab)t ij ( c) and z ij (ba,c) , 2) the elementary commutators t ij (a),t ji (b) , where 1 le i neq j le n , a in A , b in B , c in R . Later in 33,35 we noticed that for the second type of generators, it even suffices to fix one pair of indices (i,j) . Here we improve the above result in yet another completely unexpected direction and prove that E(n,R,A),E(n,R,B) is generated by the elementary commutators t ij (a),t hk (b) alone, where 1 le i neq j le n , 1 le h neq k le n , a in A , b in B . This allows us to revise the technology of relative localisation, and, in particular, to give very short proofs for a number of recent results, such as the generation of partially relativised elementary groups E(n,A) E(n,B) , normality of E(n,AB BA) inside E(n,R,A),E(n,R,B) , multiple commutator formulas, commutator width, and the like.


Estimation of Physiological Motion Using Highly Accelerated Continuous 2D MRI. Patient motion is well known for degrading image quality during medical imaging. Especially positron emission tomography (PET) is susceptible to motion due to its usually long scan times. In hybrid PET MRI (magnetic resonance imaging), simultaneously acquired dynamic MRI data can be used to correct for motion. Usually, MRI model based motion correction approaches are applied to the PET data. However, these approaches may fail for non predictable, irregular motion. We propose a novel approach for the continuous and real time tracking of motion using highly accelerated, dynamic MRI for an accurate motion estimation. For this purpose, a TurboFLASH sequence is utilized in single shot mode with additional exploiting GRAPPA acceleration. Sampling frequency for one slice is up to 26 ms and 520 ms for one 3D volume of 20 coronal slices. Principal component analysis and a phase sensitive resorting of slices is performed to restore temporal consistency of the volumes. Motion is estimated from these volumes using hyper elastic registration. The approach is validated with the help of a dynamic thorax phantom as well as with eleven healthy volunteers. Phantom ground truth data demonstrates that the approach produces an accurate motion estimation. Volunteer validation proves that the approach is also valid for different respiratory amplitudes including highly irregular breathing. The approach could be proved to be promising for a continuous PET motion correction.


High multiplicity and chaos for an indefinite problem arising from genetic models. We deal with the periodic boundary value problem associated with the parameter dependent second order nonlinear differential equation begin equation u'' cu' bigr ( lambda a (x) mu a (x) bigr ) g(u) 0, end equation where lambda, mu 0 are parameters, c in mathbb R , a(x) is a locally integrable P periodic sign changing weight function, and g colon mathopen 0,1 mathclose to mathbb R is a continuous function such that g(0) g(1) 0 , g(u) 0 for all u in mathopen 0,1 mathclose , with superlinear growth at zero. A typical example for g(u) , that is of interest in population genetics, is the logistic type nonlinearity g(u) u 2 (1 u) . Using a topological degree approach, we provide high multiplicity results by exploiting the nodal behaviour of a(x) . More precisely, when m is the number of intervals of positivity of a(x) in a P periodicity interval, we prove the existence of 3 m 1 non constant positive P periodic solutions, whenever the parameters lambda and mu are positive and large enough. Such a result extends to the case of subharmonic solutions. Moreover, by an approximation argument, we show the existence of a countable family of globally defined solutions with a complex behaviour, coded by (possibly non periodic) bi infinite sequences of 3 symbols.


A Case For Adaptive Deep Neural Networks in Edge Computing. Edge computing offers an additional layer of compute infrastructure closer to the data source before raw data from privacy sensitive and performance critical applications is transferred to a cloud data center. Deep Neural Networks (DNNs) are one class of applications that are reported to benefit from collaboratively computing between the edge and the cloud. A DNN is partitioned such that specific layers of the DNN are deployed onto the edge and the cloud to meet performance and privacy objectives. However, there is limited understanding of (a) whether and how evolving operational conditions (increased CPU and memory utilization at the edge or reduced data transfer rates between the edge and the cloud) affect the performance of already deployed DNNs, and (b) whether a new partition configuration is required to maximize performance. A DNN that adapts to changing operational conditions is referred to as an 'adaptive DNN'. This paper investigates whether there is a case for adaptive DNNs in edge computing by considering three questions (i) Are DNNs sensitive to operational conditions? (ii) How sensitive are DNNs to operational conditions? (iii) Do individual or a combination of operational conditions equally affect DNNs? (iv) Is DNN partitioning sensitive to hardware architectures on the cloud edge? The exploration is carried out in the context of 8 pre trained DNN models and the results presented are from analyzing nearly 8 million data points. The results highlight that network conditions affects DNN performance more than CPU or memory related operational conditions. Repartitioning is noted to provide a performance gain in a number of cases, but a specific trend was not noted in relation to its correlation to the underlying hardware architecture. Nonetheless, the need for adaptive DNNs is confirmed.


On the distribution of the order and index for the reductions of algebraic numbers. Let alpha 1, ldots, alpha r be algebraic numbers in a number field K generating a subgroup of rank r in K times . We investigate under GRH the number of primes mathfrak p of K such that each of the orders of ( alpha i bmod mathfrak p) lies in a given arithmetic progression associated to alpha i . We also study the primes mathfrak p for which the index of ( alpha i bmod mathfrak p) is a fixed integer or lies in a given set of integers for each i . An additional condition on the Frobenius conjugacy class of mathfrak p may be considered. Such results are generalizations of a theorem of Ziegler from 2006, which concerns the case r 1 of this problem.


Modular Construction of Free Hyperplane Arrangements. In this article, we study freeness of hyperplane arrangements. One of the most investigated arrangement is a graphic arrangement. Stanley proved that a graphic arrangement is free if and only if the corresponding graph is chordal and Dirac showed that a graph is chordal if and only if the graph is obtained by "gluing" complete graphs. We will generalize Dirac's construction to simple matroids with modular joins introduced by Ziegler and show that every arrangement whose associated matroid is constructed in the manner mentioned above is divisionally free. Moreover, we apply the result to arrangements associated with gain graphs and arrangements over finite fields.


Convergence Rate of Inertial Forward Backward Algorithms Based on the Local Error Bound Condition. The "Inertial Forward Backward algorithm" (IFB) is a powerful tool for convex nonsmooth minimization problems, it gives the well known "fast iterative shrinkage thresholding algorithm " (FISTA), which enjoys O left( frac 1 k 2 right) global convergence rate of function values, however, no convergence of iterates has been proved by do a small modification, an accelerated IFB called "FISTA CD" improves the convergence rate of function values to o left( frac 1 k 2 right) and shows the weak convergence of iterates. The local error bound condition is extremely useful in analyzing the convergence rates of a host of iterative methods for solving optimization problems, and in practical application, a large number of problems with special structure often satisfy the error bound condition. Naturally, using local error bound condition to derive or improve the convergence rate of IFB is a common means. In this paper, based on the local error bound condition, we exploit an new assumption condition for the important parameter t k in IFB, and establish the improved convergence rate of function values and strong convergence of the iterates generated by the IFB algorithms with six t k satisfying the above assumption condition in Hilbert space. It is remarkable that, under the local error bound condition, we establish the strong convergence of the iterates generated by the original FISTA, and prove that the convergence rates of function values for FISTA CD is actually related to the value of parameter a, and show that the IFB algorithms with some t k mentioned above can achieve sublinear convergence rate o left( frac 1 k p right) for any positive integer p 1 . Some numerical experiments are conducted to illustrate our results.


Towards Computational Models and Applications of Insect Visual Systems for Motion Perception A Review. Motion perception is a critical capability determining a variety of aspects of insects' life, including avoiding predators, foraging and so forth. A good number of motion detectors have been identified in the insects' visual pathways. Computational modelling of these motion detectors has not only been providing effective solutions to artificial intelligence, but also benefiting the understanding of complicated biological visual systems. These biological mechanisms through millions of years of evolutionary development will have formed solid modules for constructing dynamic vision systems for future intelligent machines. This article reviews the computational motion perception models originating from biological research of insects' visual systems in the literature. These motion perception models or neural networks comprise the looming sensitive neuronal models of lobula giant movement detectors (LGMDs) in locusts, the translation sensitive neural systems of direction selective neurons (DSNs) in fruit flies, bees and locusts, as well as the small target motion detectors (STMDs) in dragonflies and hover flies. We also review the applications of these models to robots and vehicles. Through these modelling studies, we summarise the methodologies that generate different direction and size selectivity in motion perception. At last, we discuss about multiple systems integration and hardware realisation of these bio inspired motion perception models.


A Novel FPGA Based High Throughput Accelerator For Binary Search Trees. This paper presents a deeply pipelined and massively parallel Binary Search Tree (BST) accelerator for Field Programmable Gate Arrays (FPGAs). Our design relies on the extremely parallel on chip memory, or Block RAMs (BRAMs) architecture of FPGAs. To achieve significant throughput for the search operation on BST, we present several novel mechanisms including tree duplication as well as horizontal, duplicated, and hybrid (horizontal vertical) tree partitioning. Also, we present efficient techniques to decrease the stalling rates that can occur during the parallel tree search. By combining these techniques and implementations on Xilinx Virtex 7 VC709 platform, we achieve up to 8X throughput improvement gain in comparison to the baseline implementation, i.e., a fully pipelined FPGA based accelerator.


Que Sera Consensus Simple Asynchronous Agreement with Private Coins and Threshold Logical Clocks. It is commonly held that asynchronous consensus is much more complex, difficult, and costly than partially synchronous algorithms, especially without using common coins. This paper challenges that conventional wisdom with que sera consensus QSC, an approach to consensus that cleanly decomposes the agreement problem from that of network asynchrony. QSC uses only private coins and reaches consensus in O(1) expected communication rounds. It relies on "lock step" synchronous broadcast, but can run atop a threshold logical clock (TLC) algorithm to time and pace partially reliable communication atop an underlying asynchronous network. This combination is arguably simpler than partially synchronous consensus approaches like (Multi )Paxos or Raft with leader election, and is more robust to slow leaders or targeted network denial of service attacks. The simplest formulations of QSC atop TLC incur expected O(n 2) messages and O(n 4) bits per agreement, or O(n 3) bits with straightforward optimizations. An on demand implementation, in which clients act as "natural leaders" to execute the protocol atop stateful servers that merely implement passive key value stores, can achieve O(n 2) expected communication bits per client driven agreement.


The Chunks and Tasks Matrix Library 2.0. We present a C header only parallel sparse matrix library, based on sparse quadtree representation of matrices using the Chunks and Tasks programming model. The library implements a number of sparse matrix algorithms for distributed memory parallelization that are able to dynamically exploit data locality to avoid movement of data. This is demonstrated for the example of block sparse matrix matrix multiplication applied to three sequences of matrices with different nonzero structure, using the CHT MPI 2.0 runtime library implementation of the Chunks and Tasks model. The runtime library succeeds to dynamically load balance the calculation regardless of the sparsity structure.


A factorization of a quadratic pencils of accretive operators and applications. A canonical factorization is given for a quadratic pencil of accretive operators in a Hilbert space. Also, we establish some relationships between an m accretive operator and its Moore Penorse inverse. As an application, we study a result of existence, uniqueness, and maximal regularity of the strict solution for complete abstract second order differential equation in the non homogeneous case. The paper is concluded with some questions left open from the preceding discussions.


Data Series Indexing Gone Parallel. Data series similarity search is a core operation for several data series analysis applications across many different domains. However, the state of the art techniques fail to deliver the time performance required for interactive exploration, or analysis of large data series collections. In this Ph.D. work, we present the first data series indexing solutions, for both on disk and in memory data, that are designed to inherently take advantage of multi core architectures, in order to accelerate similarity search processing times. Our experiments on a variety of synthetic and real data demonstrate that our approaches are up to orders of magnitude faster than the alternatives. More specifically, our on disk solution can answer exact similarity search queries on 100GB datasets in a few seconds, and our in memory solution in a few milliseconds, which enables real time, interactive data exploration on very large data series collections.


Convexity Estimates for High Codimension Mean Curvature Flow. We consider the evolution by mean curvature of smooth n dimensional submanifolds in mathbb R n k which are compact and quadratically pinched. We will be primarily interested in flows of high codimension, the case k geq 2 . We prove that our submanifold is asymptotically convex, that is the first eigenvalue of the second fundamental form in the principal mean curvature direction blows up at a strictly slower rate than the mean curvature vector. We use this convexity estimate to show that at a singular time of the flow, there exists a rescaling that converges to a smooth codimension one limiting flow which is convex and moves by translation.


Latent learning and the formation of a spatiotemporal cognitive map of a road network. This paper discusses two main themes. First, it investigates the formation of a spatiotemporal cognitive map (mental image) of a road network in travelers memory, which entails the travelers global conceptual understanding of congestion or the degree of crowding of the network. Second, it tries to investigate how latent learning of travelers from previous experiences shapes parts of the mental image, even for the parts of the network with which the travelers are unfamiliar. An experiment of route choice experiences was conducted among 90 participants in order to gain insight into the formation of a cognitive map and latent learning. In this experiment, the following independent variables are connected to the formation of a mental image of the network and the quality of the generalization of the unfamiliar parts of the network (i) dispersion of the links travel time throughout the network, (ii) number of trips the traveler makes, (iii) travelers gender, (iv) travelers driving experiences, (v) travelers natural level of optimism or pessimism, (vi) salient or noticeable features on the network, and (vii) the presence of traffic signals. Several nonparametric (distribution free) tests are employed to test the hypotheses. The results indicate that apart from the travelers gender and salient or noticeable features on the network, the considered factors significantly affect the degree of the recognizability of the network elements by travelers.


Construction of a minimum energy path for the VT flash model by an exponential time differencing scheme with the string method. Phase equilibrium calculation, also known as flash calculation, plays significant roles in various aspects of petroleum and chemical industries. Since Michelsen proposed his milestone studies in 1982, through several decades of development, the current research interest on flash calculation has been shifted from accuracy to efficiency, but the ultimate goal remains the same focusing on estimation of the equilibrium phase amounts and phase compositions under the given variable specification. However, finding the transition route and its related saddle points are very often helpful to study the evolution of phase change and partition. Motivated by this, in this study we apply the string method to find the minimum energy paths and saddle points information of a single component VT flash model with the Peng Robinson equation of state. As the system has strong stiffness, common ordinary differential equation solvers have their limitations. To overcome these issues, a Rosenbrock type exponential time differencing scheme is employed to reduce the computational difficulty caused by the high stiffness of the investigated system. In comparison with the published results and experimental data, the proposed numerical algorithm not only shows good feasibility and accuracy on phase equilibrium calculation, but also successfully calculates the minimum energy path and and saddle point of the single component VT flash model with strong stiffness.


Bengali Abstractive News Summarization(BANS) A Neural Attention Approach. Abstractive summarization is the process of generating novel sentences based on the information extracted from the original text document while retaining the context. Due to abstractive summarization's underlying complexities, most of the past research work has been done on the extractive summarization approach. Nevertheless, with the triumph of the sequence to sequence (seq2seq) model, abstractive summarization becomes more viable. Although a significant number of notable research has been done in the English language based on abstractive summarization, only a couple of works have been done on Bengali abstractive news summarization (BANS). In this article, we presented a seq2seq based Long Short Term Memory (LSTM) network model with attention at encoder decoder. Our proposed system deploys a local attention based model that produces a long sequence of words with lucid and human like generated sentences with noteworthy information of the original document. We also prepared a dataset of more than 19k articles and corresponding human written summaries collected from bangla.bdnews24.com1 which is till now the most extensive dataset for Bengali news document summarization and publicly published in Kaggle2. We evaluated our model qualitatively and quantitatively and compared it with other published results. It showed significant improvement in terms of human evaluation scores with state of the art approaches for BANS.


Analytic Fourier Feynman transforms via the series approximation. In this paper, we first establish an evaluation formula to calculate Wiener integrals of functionals on Wiener space. We then apply our evaluation formula to carry out very easily calculating for the analytic Fourier Feynman transform of the functionals. Some examples are furnished to illustrate the usefulness of the evaluation formula. Finally, using the evaluation formula, we establish the series approximation for the analytic Fourier Feynman transform.


Empirical Study of Market Impact Conditional on Order Flow Imbalance. In this research, we have empirically investigated the key drivers affecting liquidity in equity markets. We illustrated how theoretical models, such as Kyle's model, of agents' interplay in the financial markets, are aligned with the phenomena observed in publicly available trades and quotes data. Specifically, we confirmed that for small signed order flows, the price impact grows linearly with increase in the order flow imbalance. We have, further, implemented a machine learning algorithm to forecast market impact given a signed order flow. Our findings suggest that machine learning models can be used in estimation of financial variables and predictive accuracy of such learning algorithms can surpass the performance of traditional statistical approaches. Understanding the determinants of price impact is crucial for several reasons. From a theoretical stance, modelling the impact provides a statistical measure of liquidity. Practitioners adopt impact models as a pre trade tool to estimate expected transaction costs and optimize the execution of their strategies. This further serves as a post trade valuation benchmark as suboptimal execution can significantly deteriorate a portfolio performance. More broadly, the price impact reflects the balance of liquidity across markets. This is of central importance to regulators as it provides an all encompassing explanation of the correlation between market design and systemic risk, enabling regulators to design more stable and efficient markets.


Lipschitz Regularity in Vectorial Linear Transmission Problems. We consider vector valued solutions to a linear transmission problem, and we prove that Lipschitz regularity on one phase is transmitted to the next phase. More exactly, given a solution u B 1 subset mathbb R n to mathbb R m to the elliptic system begin equation mbox div ((A (B A) chi D ) nabla u) 0 quad text in B 1, end equation where A and B are Dini continuous, uniformly elliptic matrices, we prove that if nabla u in L infty (D) then u is Lipschitz in B 1 2 . A similar result is also derived for the parabolic counterpart of this problem.


Invariants and semi invariants in the cohomology of the complement of a reflection arrangement. Suppose V is a finite dimensional, complex vector space, A is a finite set of codimension one subspaces of V, and G is a finite subgroup of the general linear group GL(V) that permutes the hyperplanes in A. In this paper we study invariants and semi invariants in the graded QG module H (M(A)), where M(A) denotes the complement in V of the hyperplanes in A and H denotes rational singular cohomology, in the case when G is generated by reflections in V and A is the set of reflecting hyperplanes determined by G, or a closely related arrangement. Our main result is the construction of an explicit, natural (from the point of view of Coxeter groups) basis of the space of invariants, H (M(A)) G. In addition to leading to proof of the description of the space of invariants conjectured by Felder and Veselov for Coxeter groups that does not rely on computer calculations, this construction provides an extension of the description of the space of invariants proposed by Felder and Veselov to arbitrary finite unitary reflection groups.


A library to compute the density of the distance between a point and a random variable uniformly distributed in some sets. In 3 , algorithms to compute the density of the distance to a random variable uniformly distributed in (a) a ball, (b) a disk, (c) a line segment, or (d) a polygone were introduced. For case (d), the algorithm, based on Green's theorem, has complexity nlog(n) where n is the number of vertices of the polygone. In this paper, we present for case (d) another algorithm with the same complexity, based on a triangulation of the polygone. We also describe an open source library providing this algorithm as well as the algorithms from 3 . 3 V. Guigues, Computation of the cumulative distribution function of the Euclidean distance between a point and a random variable uniformly distributed in disks, balls, or polyhedrons and application to Probabilistic Seismic Hazard Analysis, arXiv, available at arXiv 1809.02007, 2015.


A Verifiable Quantum Secret Sharing Scheme Based on a Single Qubit. To detect frauds from some internal participants or external attackers, some verifiable threshold quantum secret sharing schemes have been proposed. In this paper, we present a new verifiable threshold structure based on a single qubit using bivariate polynomial. First, Alice chooses an asymmetric bivariate polynomial and sends a pair of values from this polynomial to each participant. Then Alice and participants implement in sequence unitary transformation on the d dimensional quantum state based on unbiased bases, where those unitary transformations are contacted by this polynomial. Finally, security analysis shows that the proposed scheme can detect the fraud from external and internal attacks compared with the exiting schemes and is comparable to the recent schemes.


On the convergence of an improved and adaptive kinetic simulated annealing. Inspired by the work of Fang et al.. An improved annealing method and its large time behaviour. Stochastic Process. Appl. (1997), Volume 71 Issue 1 Page 55 74. , who propose an improved simulated annealing algorithm based on a variant of overdamped Langevin diffusion with state dependent diffusion coefficient, we cast this idea in the kinetic setting and develop an improved kinetic simulated annealing (IKSA) method for minimizing a target function U . To analyze its convergence, we utilize the framework recently introduced by Monmarch ' e . Hypocoercivity in metastable settings and kinetic simulated annealing. Probab. Theory Related Fields (2018), Volume 172 Page 1215 1248. for the case of kinetic simulated annealing (KSA). The core idea of IKSA rests on introducing a parameter c inf U , which de facto modifies the optimization landscape and clips the critical height in IKSA at a maximum of c inf U . Consequently IKSA enjoys improved convergence with faster logarithmic cooling than KSA. To tune the parameter c , we propose an adaptive method that we call IAKSA which utilizes the running minimum generated by the algorithm on the fly, thus avoiding the need to manually adjust c for better performance. We present positive numerical results on some standard global optimization benchmark functions that verify the improved convergence of IAKSA over other Langevin based annealing methods.


Indicating Asynchronous Array Multipliers. Multiplication is an important arithmetic operation that is frequently encountered in microprocessing and digital signal processing applications, and multiplication is physically realized using a multiplier. This paper discusses the physical implementation of many indicating asynchronous array multipliers, which are inherently elastic and modular and are robust to timing, process and parametric variations. We consider the physical realization of many indicating asynchronous array multipliers using a 32 28nm CMOS technology. The weak indication array multipliers comprise strong indication or weak indication full adders, and strong indication 2 input AND functions to realize the partial products. The multipliers were synthesized in a semi custom ASIC design style using standard library cells including a custom designed 2 input C element. 4x4 and 8x8 multiplication operations were considered for the physical implementations. The 4 phase return to zero (RTZ) and the 4 phase return to one (RTO) handshake protocols were utilized for data communication, and the delay insensitive dual rail code was used for data encoding. Among several weak indication array multipliers, a weak indication array multiplier utilizing a biased weak indication full adder and the strong indication 2 input AND function is found to have reduced cycle time and power cycle time product with respect to RTZ and RTO handshaking for 4x4 and 8x8 multiplications. Further, the 4 phase RTO handshaking is found to be preferable to the 4 phase RTZ handshaking for achieving enhanced optimizations of the design metrics.


Khovanskii's theorem and effective results on sumset structure. A remarkable theorem due to Khovanskii asserts that for any finite subset A of an abelian group, the cardinality of the h fold sumset hA grows like a polynomial for all sufficiently large h . Currently, neither the polynomial nor what sufficiently large means are understood. In this paper we obtain an effective version of Khovanskii's theorem for any A subset mathbb Z d whose convex hull is a simplex previously, such results were only available for d 1 . Our approach gives information about not just the cardinality of hA , but also its structure, and we prove two effective theorems describing hA as a set one answering a recent question posed by Granville and Shakan, the other a Brion type formula that provides a compact description of hA for all large h . As a further illustration of our approach, we derive a completely explicit formula for hA whenever A subset mathbb Z d consists of d 2 points.


Challenge report Recognizing Families In the Wild Data Challenge. This paper is a brief report to our submission to the Recognizing Families In the Wild Data Challenge (4th Edition), in conjunction with FG 2020 Forum. Automatic kinship recognition has attracted many researchers' attention for its full application, but it is still a very challenging task because of the limited information that can be used to determine whether a pair of faces are blood relatives or not. In this paper, we studied previous methods and proposed our method. We try many methods, like deep metric learning based, to extract deep embedding feature for every image, then determine if they are blood relatives by Euclidean distance or method based on classes. Finally, we find some tricks like sampling more negative samples and high resolution that can help get better performance. Moreover, we proposed a symmetric network with a binary classification based method to get our best score in all tasks.


Fast Rule Based Graph Programs. Implementing graph algorithms efficiently in a rule based language is challenging because graph pattern matching is expensive. In this paper, we present a number of linear time implementations of graph algorithms in GP 2, an experimental programming language based on graph transformation rules which aims to facilitate program analysis and verification. We focus on two classes of rule based graph programs graph reduction programs which check some graph property, and programs using a depth first search to test some property or perform an operation such as producing a 2 colouring or a topological sorting. Programs of the first type run in linear time without any constraints on input graphs while programs of the second type require input graphs of bounded degree to run in linear time. Essential for achieving the linear time complexity are so called rooted rules in GP 2, which, in many situations, can be matched in constant time. For each of our programs, we prove both correctness and complexity, and also give empirical evidence for their run time.


Hypergraph regularity and higher arity VC dimension. We generalize the fact that graphs with small VC dimension can be approximated by rectangles, showing that hypergraphs with small VC k dimension (equivalently, omitting a fixed finite (k 1) partite (k 1) uniform hypergraph) can be approximated by k ary cylinder sets. In the language of hypergraph regularity, this shows that when H is a k' uniform hypergraph with small VC k dimension for some k k', the decomposition of H given by hypergraph regularity only needs the first k levels one can approximate H using sets of vertices, sets of pairs, and so on up to sets of k tuples and that on most of the resulting k ary cylinder sets, the density of H is either close to 0 or close to 1. We also show a suitable converse k' uniform hypergraphs with large VC k dimension cannot have such approximations uniformly under all measures on the vertices.


Families of Geometries, Real Algebras, and Transitions. This thesis details the results of four interrelated projects. The first of these presents a new proof of the theorem of Cooper, Danciger and Wienhard classifying the limits under conjugacy of the orthogonal groups in GL(n R). The second provides a detailed investigation into Heisenberg geometry, which is the maximally degenerate such limit in dimension two. The remaining two projects concern understanding geometric transitions which do not occur naturally as limits under conjugacy in some ambient geometry. The third project describes a new degeneration of complex hyperbolic space, formed by degenerating the complex numbers as a real algebra, into the algebra R R. Inspired by this example, the final project attempts to build the beginnings of a framework for studying transitions between geometries abstractly. As a first application of this, we generalize the previous result and describe a collection of new geometric transitions, defined by constructing analogs of familiar geometries (projective geometry, hyperbolic geometry, etc) over real algebras, and then allowing this algebra to vary.


On second order and fourth order elliptic systems consisting of bulk and surface PDEs Well posedness, regularity theory and eigenvalue problems. In this paper, we study second order and fourth order elliptic problems which include not only a Poisson equation in the bulk but also an inhomogeneous Laplace Beltrami equation on the boundary of the domain. The bulk and the surface PDE are coupled by a boundary condition that is either of Dirichlet or Robin type. We point out that both the Dirichlet and the Robin type boundary condition can be handled simultaneously through our formalism without having to change the framework. Moreover, we investigate the eigenvalue problems associated with these second order and fourth order elliptic systems. We further discuss the relation between these elliptic problems and certain parabolic problems, especially the Allen Cahn equation and the Cahn Hilliard equation with dynamic boundary conditions.


Root of unity quantum cluster algebras and discriminants. We describe a connection between the subjects of cluster algebras, polynomial identity algebras and discriminants. For this, we define the notion of root of unity quantum cluster algebras and prove that they are polynomial identity algebras. Inside each such algebra we construct a (large) canonical central subalgebra, which can be viewed as a far reaching generalization of the central subalgebras of big quantum groups constructed by De Concini, Kac and Procesi and used in representation theory. Each such central subalgebra is proved to be isomorphic to the underlying classical cluster algebra of geometric type. When the root of unity quantum cluster algebra is free over its central subalgebra, we prove that the discriminant of the pair is a product of powers of the frozen variables times an integer. An extension of this result is also proved for the discriminants of all subalgebras generated by the cluster variables of nerves in the exchange graph. These results can be used for the effective computation of discriminants. As an application we prove an explicit formula for the discriminant of the integral form over mathbb Z varepsilon of each quantum unipotent cells of De Concini, Kac and Procesi for arbitrary symmetrizable Kac Moody algebras, where varepsilon is a root of unity.


Quantitative two scale stabilization on the Poisson space. We establish inequalities for assessing the distance between the distribution of a (possibly multidimensional) functional of a Poisson random measure and that of a Gaussian element. Our bounds only involve add one cost operators at the order one that we evaluate and compare at two different scales and are specifically tailored for studying the Gaussian fluctuations of sequences of geometric functionals displaying a form of weak stabilization see Penrose and Yukich (2001) and Penrose (2005). Our main bounds extend the estimates recently exploited by Chatterjee and Sen (2017) in the proof of a quantitative version of the central limit theorem (CLT) for the length of the Poisson based Euclidean minimal spanning tree (MST). We develop in full detail three applications of our bounds, namely (i) to a quantitative multidimensional spatial CLT for functionals of the on line nearest neighbor graph, (ii) to a quantitative multidimensional CLT involving functionals of the empirical measure associated with the edge length of the Euclidean MST, and (iii) to a collection of multidimensional CLTs for geometric functionals of the excursion set of heavy tailed shot noise random fields. Application (i) is based on a collection of general probabilistic approximations for strongly stabilizing functionals, that is of independent interest.


Transformer ratio enhancement at wakefield excitation in blowout regime in plasma by electron bunch with semi gaussian charge distribution. Using 2d3v code LCODE, the numerical simulation of nonlinear wakefield excitation in plasma by shaped relativistic electron bunch with charge distribution, which increases according to Gaussian charge distribution up to the maximum value, and then decreases sharply to zero, has been performed. Transformer ratio, as the ratio of the maximum accelerating field to the maximum decelerating field inside the bunch, and accelerating the wakefield have been investigated taking into account nonlinearity of the wakefield. The dependence of the transformer ratio and the maximum accelerating field on the length of the bunch was investigated with a constant charge of the bunch. It was taken into account that the length of the nonlinear wakefield increases with increasing length of the bunch. It is shown that the transformer ratio reaches its maximum value for a certain length of the bunch. The maximum value of the transformer ratio reaches six as due to the profiling of the bunch, and due to the non linearity of the wakefield.


Topological Studies related to Molecular Systems formed soon after the Big Bang HeH2 as the Precursor for HeH . In the early universe, following the nucleosynthesis, conditions were right for recombination processes to take place yielding neutral atoms H, He and Li. The understanding so far in astrophysics is that the first molecule to be formed was HeH by radiative association (He H HeH h(nu) and He H HeH h(nu). The recent report by Guesten et al (Nature, 568, 357, 2019) of detection of HeH in planetary Nebula NGC 7027 confirms its presence, but it does not conclusively prove the origin of this species. To create molecules from free moving quasi ions surrounded by an electronic cloud, the Born Oppenheimer Huang (BOH) theory furnishes two kinds of forces, namely, one that results from the Potential Energy Surfaces (PESs) and the other from Non Adiabatic Coupling Terms (NACTs). Whereas the PESs are known to manage slow moving quasi ions the NACTs, with their, frequently, infinitely large values at the vicinity of the singularities can control the fast moving quasi ions. To achieve that the BOH equation indicates that the NACTs are affecting the fast moving quasi ions directly and if they are attributed with dissipative features or in other words to behave as a Friction Force they indeed could serve (like any other ordinary friction) as moderators for the fast atomic(ionic) species. It is proposed in the present paper that the triatomic HeH2 was the precursor to HeH and it could have been formed by the (He, H, H) nuclei coming together under the electron cloud, facilitated by the NACTs between different electronic states acting as an astronomical friction force. This is possible because of the singularities in the NACTs for triatomic systems and NOT for diatomic systems. Although the existence of HeH2 was established in the laboratory in 1996, it has not been detected in the interstellar media so far. But, there is no reason why it cannot be detected in near future.


A Survey of Protocols and Standards for Internet of Things. The rapid growth in technology and internet connected devices has enabled Internet of Things (IoT) to be one of the important fields in computing. Standards, technologies and platforms targeting IoT ecosystem are being developed at a very fast pace. IoT enables things to communicate and coordinate decisions for many different types of applications including healthcare, home automation, disaster recovery, and industry automation. It is expected to expand to even more applications in the future. This paper surveys several standards by IEEE, IETF and ITU that enable technologies enabling the rapid growth of IoT. These standards include communications, routing, network and session layer protocols that are being developed to meet IoT requirements. The discussion also includes management and security protocols in addition to the current challenges in IoT which gives insights into the current research to solve such challenges.


Katecheo A Portable and Modular System for Multi Topic Question Answering. We introduce a modular system that can be deployed on any Kubernetes cluster for question answering via REST API. This system, called Katecheo, includes three configurable modules that collectively enable identification of questions, classification of those questions into topics, document search, and reading comprehension. We demonstrate the system using publicly available knowledge base articles extracted from Stack Exchange sites. However, users can extend the system to any number of topics, or domains, without the need to modify any of the model serving code or train their own models. All components of the system are open source and available under a permissive Apache 2 License.


An End to End Network Architecture for Fundamental Matrix Estimation. In this paper, we present a novel end to end network architecture to estimate fundamental matrix directly from stereo images. To establish a complete working pipeline, different deep neural networks in charge of finding correspondences in images, performing outlier rejection and calculating fundamental matrix, are integrated into an end to end network architecture. To well train the network and preserve geometry properties of fundamental matrix, a new loss function is introduced. To evaluate the accuracy of estimated fundamental matrix more reasonably, we design a new evaluation metric which is highly consistent with visualization result. Experiments conducted on both outdoor and indoor data sets show that this network outperforms traditional methods as well as previous deep learning based methods on various metrics and achieves significant performance improvements.


ViGGO A Video Game Corpus for Data To Text Generation in Open Domain Conversation. The uptake of deep learning in natural language generation (NLG) led to the release of both small and relatively large parallel corpora for training neural models. The existing data to text datasets are, however, aimed at task oriented dialogue systems, and often thus limited in diversity and versatility. They are typically crowdsourced, with much of the noise left in them. Moreover, current neural NLG models do not take full advantage of large training data, and due to their strong generalizing properties produce sentences that look template like regardless. We therefore present a new corpus of 7K samples, which (1) is clean despite being crowdsourced, (2) has utterances of 9 generalizable and conversational dialogue act types, making it more suitable for open domain dialogue systems, and (3) explores the domain of video games, which is new to dialogue systems despite having excellent potential for supporting rich conversations.


FairCVtest Demo Understanding Bias in Multimodal Learning with a Testbed in Fair Automatic Recruitment. With the aim of studying how current multimodal AI algorithms based on heterogeneous sources of information are affected by sensitive elements and inner biases in the data, this demonstrator experiments over an automated recruitment testbed based on Curriculum Vitae FairCVtest. The presence of decision making algorithms in society is rapidly increasing nowadays, while concerns about their transparency and the possibility of these algorithms becoming new sources of discrimination are arising. This demo shows the capacity of the Artificial Intelligence (AI) behind a recruitment tool to extract sensitive information from unstructured data, and exploit it in combination to data biases in undesirable (unfair) ways. Aditionally, the demo includes a new algorithm (SensitiveNets) for discrimination aware learning which eliminates sensitive information in our multimodal AI framework.


Making the Best Use of Review Summary for Sentiment Analysis. Sentiment analysis provides a useful overview of customer review contents. Many review websites allow a user to enter a summary in addition to a full review. Intuitively, summary information may give additional benefit for review sentiment analysis. In this paper, we conduct a study to exploit methods for better use of summary information. We start by finding out that the sentimental signal distribution of a review and that of its corresponding summary are in fact complementary to each other. We thus explore various architectures to better guide the interactions between the two and propose a hierarchically refined review centric attention model. Empirical results show that our review centric model can make better use of user written summaries for review sentiment analysis, and is also more effective compared to existing methods when the user summary is replaced with summary generated by an automatic summarization system.


Ultra narrowband polarization insensitive transmission filter using a coupled dielectric metal metasurface. A coupled dielectric metal metasurface (CDMM) consisting of amorphous silicon (a textit Si ) rings and subwavelength holes in textit Au layer separated by a textit SiO 2 layer is presented. The design parameters of the CDMM is numerically optimized to have a polarization independent peak transmittance of 0.55 at 1540 nm with a Full Width at Half Maximum ( FWHM ) of 10 nm. The filter also has a 100 nm quite zone with sim 10 2 transmittance. A radiating two oscillator model reveals the fundamental resonances in the filter which interfere to produce the electromagnetically induced transparency (EIT) like effect. Multipole expansion of the currents in the structure validates the fundamental resonances predicted by the two oscillator model. The presented CDMM filter is robust to artifacts in device fabrication and has performances comparable to a conventional Fabry P ' e rot filter. However, it is easier to be integrated in image sensors as the transmittance peak can be tuned by only changing the periodicity resulting in a planar structure with a fixed height.


Discounted Reinforcement Learning Is Not an Optimization Problem. Discounted reinforcement learning is fundamentally incompatible with function approximation for control in continuing tasks. It is not an optimization problem in its usual formulation, so when using function approximation there is no optimal policy. We substantiate these claims, then go on to address some misconceptions about discounting and its connection to the average reward formulation. We encourage researchers to adopt rigorous optimization approaches, such as maximizing average reward, for reinforcement learning in continuing tasks.


Unconstrained Foreground Object Search. Many people search for foreground objects to use when editing images. While existing methods can retrieve candidates to aid in this, they are constrained to returning objects that belong to a pre specified semantic class. We instead propose a novel problem of unconstrained foreground object (UFO) search and introduce a solution that supports efficient search by encoding the background image in the same latent space as the candidate foreground objects. A key contribution of our work is a cost free, scalable approach for creating a large scale training dataset with a variety of foreground objects of differing semantic categories per image location. Quantitative and human perception experiments with two diverse datasets demonstrate the advantage of our UFO search solution over related baselines.


Decompositions of Schubert Varieties and Small Resolutions. We provide a method for gluing (small) resolutions of singularities of Schubert varieties (X w ). An explicit isomorphism of (X w ) with an (iterated) bundle is constructed when (w ) has an (iterated) BP decomposition. Combined with the first result this gives many new small resolutions of Schubert varieties. In type A, this can be expressed in terms of pattern avoidance. Also we show resolutions of Schubert varieties constructed quite generally are in fact Gelfand MacPherson resolutions.


Unary and binary Leibniz algebras. An algebra is said to be a unary Leibniz algebra if every one generated subalgebra is a Leibniz algebra. An algebra is said to be a binary Leibniz algebra if every two generated subalgebra is a Leibniz algebra. We give characterizations of unary and binary Leibniz algebras in terms of identities.


Unconventional light scattering from glassy photonic films and metasurfaces. The propagation of light through a random medium is an important problem in photonics. When the random fluctuations of the orientation for individual rods were introduced to the ideal woodpile photonic structure, a crossover from Laue diffraction to randomly scattered fields which is similar in appearance to speckle patterns was observed and investigated. Unexpected interplay between order and disorder was discovered from anisotropic glassy samples when orientational disorder was added only in one direction of square woodpile structure. It is found that the ordered sets of rods produced disordered patterns and vice versa the disordered sets of rods produced ordered patterns that continue to be bright and sharp with increasing disorder. To explain this effect, it was demonstrated theoretically and experimentally that the light scattering can be described purely in terms of the intersection points of the rods.


NLP CIC DIACR Ita POS and Neighbor Based Distributional Models for Lexical Semantic Change in Diachronic Italian Corpora. We present our systems and findings on unsupervised lexical semantic change for the Italian language in the DIACR Ita shared task at EVALITA 2020. The task is to determine whether a target word has evolved its meaning with time, only relying on raw text from two time specific datasets. We propose two models representing the target words across the periods to predict the changing words using threshold and voting schemes. Our first model solely relies on part of speech usage and an ensemble of distance measures. The second model uses word embedding representation to extract the neighbor's relative distances across spaces and propose "the average of absolute differences" to estimate lexical semantic change. Our models achieved competent results, ranking third in the DIACR Ita competition. Furthermore, we experiment with the k neighbor parameter of our second model to compare the impact of using "the average of absolute differences" versus the cosine distance used in Hamilton et al. (2016).


Nonlocal and local models for taxis in cell migration a rigorous limit procedure. A rigorous limit procedure is presented which links nonlocal models involving adhesion or nonlocal chemotaxis to their local counterparts featuring haptotaxis and classical chemotaxis, respectively. It relies on a novel reformulation of the involved nonlocalities in terms of integral operators applied directly to the gradients of signal dependent quantities. The proposed approach handles both model types in a unified way and extends the previous mathematical framework to settings that allow for general solution dependent coefficient functions. The previous forms of nonlocal operators are compared with the new ones introduced in this paper and the advantages of the latter are highlighted by concrete examples. Numerical simulations in 1D provide an illustration of some of the theoretical findings.


Finite Element Approximation of the Modified Maxwell's Stekloff Eigenvalues. The modified Maxwell's Stekloff eigenvalue problem arises recently from the inverse electromagnetic scattering theory for inhomogeneous media. This paper contains a rigorous analysis of both the eigenvalue problem and the associated source problem on Lipschitz polyhedra. A new finite element method is proposed to compute Stekloff eigenvalues. By applying the Babuska Osborn theory, we prove an error estimate without additional regularity assumptions. Numerical results are presented for validation.


From complex contact structures to real almost contact 3 structures. In this work, we prove that every complex contact structure gives rise to a distinguished type of almost contact metric 3 structure. As an application of our main result, we provide several new examples of manifolds which admit taut contact circles, taut and round almost cosymplectic 2 spheres, and almost hypercontact (metric) structures. These examples generalize, in a suitable sense, the well known examples of contact circles defined by the Liouville Cartan forms on the unit cotangent bundle of Riemann surfaces. Furthermore, we provide sufficient conditions for a compact complex contact manifold to be the twistor space of a positive quaternionic K " a hler manifold. In the particular setting of Fano contact manifolds, from our main result, we also obtain new evidences supporting the LeBrun Salamon conjecture.


Ultrathin carpet cloak enabled by infinitely anisotropic medium. Thanks to the pioneering studies conducted on the fields of transformation optics (TO) and metasurfaces, many unprecedented devices such as invisibility cloaks have been recently realized. However, each of these methods has some drawbacks limiting the applicability of the designed devices for real life scenarios. For instance, TO studies lead to bulky coating layer with the thickness that is comparable to, or even larger than the dimension of the concealed object. In this paper, based on the coordinate transformation, an ultrathin carpet cloak is proposed to hide objects with arbitrary shape and size using a thin anisotropic material, called as infinitely anisotropic medium (IAM). It is shown that unlike the previous metasurface based carpet cloaks, the proposed IAM hides objects from all viewing incident angles while it is extremely thin compared with the object dimensions. This material also circumvents the conventional transformation optics complexities and could be easily implemented in practical scenarios. To demonstrate the capability of the proposed carpet cloak, several full wave simulations are carried out. Finally, as a proof of concept, the IAM is implemented based on the effective medium theory which exhibits good agreement with the results obtained from the theoretical investigations. The introduced material not only constitutes a significant step towards the invisibility cloak but also can greatly promote the practical application of the other TO based devices.


Market Efficient Portfolios in a Systemic Economy. We study the ex ante minimization of market inefficiency, defined in terms of minimum deviation of market prices from fundamental values, from a centralized planner's perspective. Prices are pressured from exogenous trading actions of leverage targeting banks, which rebalance their portfolios in response to asset shocks. We characterize market inefficiency in terms of two key drivers, the banks' systemic significance and the statistical moments of asset shocks, and develop an explicit expression for the matrix of asset holdings which minimizes such inefficiency. Our analysis shows that to reduce inefficiencies, portfolio holdings should deviate more from a full diversification strategy if there is little heterogeneity in banks' systemic significance.


OrgMining 2.0 A Novel Framework for Organizational Model Mining from Event Logs. Providing appropriate structures around human resources can streamline operations and thus facilitate the competitiveness of an organization. To achieve this goal, modern organizations need to acquire an accurate and timely understanding of human resource grouping while faced with an ever changing environment. The use of process mining offers a promising way to help address the need through utilizing event log data stored in information systems. By extracting knowledge about the actual behavior of resources participating in business processes from event logs, organizational models can be constructed, which facilitate the analysis of the de facto grouping of human resources relevant to process execution. Nevertheless, open research gaps remain to be addressed when applying the state of the art process mining to analyze resource grouping. For one, the discovery of organizational models has only limited connections with the context of process execution. For another, a rigorous solution that evaluates organizational models against event log data is yet to be proposed. In this paper, we aim to tackle these research challenges by developing a novel framework built upon a richer definition of organizational models coupling resource grouping with process execution knowledge. By introducing notions of conformance checking for organizational models, the framework allows effective evaluation of organizational models, and therefore provides a foundation for analyzing and improving resource grouping based on event logs. We demonstrate the feasibility of this framework by proposing an approach underpinned by the framework for organizational model discovery, and also conduct experiments on real life event logs to discover and evaluate organizational models.


Randomized extended block Kaczmarz for solving least squares. Randomized iterative algorithms have recently been proposed to solve large scale linear systems. In this paper, we present a simple randomized extended block Kaczmarz algorithm that exponentially converges in the mean square to the unique minimum ell 2 norm least squares solution of a given linear system of equations. The proposed algorithm is pseudoinverse free and therefore different from the projection based randomized double block Kaczmarz algorithm of Needell, Zhao, and Zouzias. We emphasize that our method works for all types of linear systems (consistent or inconsistent, overdetermined or underdetermined, full rank or rank deficient). Moreover, our approach can utilize efficient implementations on distributed computing units, yielding remarkable improvements in computational time. Numerical examples are given to show the efficiency of the new algorithm.


Large deviations of the greedy independent set algorithm on sparse random graphs. We study the greedy independent set algorithm on sparse Erd H o s R 'enyi random graphs mathcal G (n,c n) . This range of p is of interest due to the threshold at c e , beyond which it appears that greedy algorithms are affected by a sudden change in the independent set landscape. A large deviation principle was recently established by Bermolen et al. (2020), however, the proof and rate function are somewhat involved. Upper bounds for the rate function were obtained earlier by Pittel (1982). By discrete calculus, we identify the optimal trajectory realizing a given large deviation and obtain the rate function in a simple closed form. In particular, we show that Pittel's bounds are sharp. The proof is brief and elementary. We think the methods presented here will be useful in analyzing the tail behavior of other random growth and exploration processes.


Alexa as a CALL platform for children Where do we start?. Amazon's Alexa is now widely available and shows interesting potential as a platform for hosting CALL games aimed at children. In this paper, we describe an initial informal experiment where we created some simple CALL games and made them available to a few child testers. We report the children's and parents' reactions. Our overall conclusion is that, although Alexa has many positive features, there are still fundamental platform issues in the current version that make it very difficult to build compelling CALL games for children. The games used will soon be freely available for download on the Alexa store.


Comparison of the Shakhov and ellipsoidal models for the Boltzmann equation and DSMC for ab initio based particle interactions. In this paper, we consider the capabilities of the Boltzmann equation with the Shakhov and ellipsoidal models for the collision term to capture the characteristics of rarefied gas flows. The benchmark is performed by comparing the results obtained using these kinetic model equations with direct simulation Monte Carlo (DSMC) results for particles interacting via ab initio potentials. The analysis is restricted to channel flows between parallel plates and we consider three flow problems, namely the heat transfer between stationary plates, the Couette flow and the heat transfer under shear. The simulations are performed in the non linear regime for the 3He, 4He, and Ne gases. The reference temperature ranges between 1 K and 3000 K for 3He and 4He and between 20 K and 5000 K for Ne. While good agreement is seen up to the transition regime for the direct phenomena (shear stress, heat flux driven by temperature gradient), the relative errors in the cross phenomena (heat flux perpendicular to the temperature gradient) exceed 10 even in the slip flow regime. The kinetic model equations are solved using the finite difference lattice Boltzmann algorithm based on half range Gauss Hermite quadratures with the third order upwind method used for the implementation of the advection.


X LXMERT Paint, Caption and Answer Questions with Multi Modal Transformers. Mirroring the success of masked language models, vision and language counterparts like ViLBERT, LXMERT and UNITER have achieved state of the art performance on a variety of multimodal discriminative tasks like visual question answering and visual grounding. Recent work has also successfully adapted such models towards the generative task of image captioning. This begs the question Can these models go the other way and generate images from pieces of text? Our analysis of a popular representative from this model family LXMERT finds that it is unable to generate rich and semantically meaningful imagery with its current training setup. We introduce X LXMERT, an extension to LXMERT with training refinements including discretizing visual representations, using uniform masking with a large range of masking ratios and aligning the right pre training datasets to the right objectives which enables it to paint. X LXMERT's image generation capabilities rival state of the art generative models while its question answering and captioning abilities remains comparable to LXMERT. Finally, we demonstrate the generality of these training refinements by adding image generation capabilities into UNITER to produce X UNITER.


The essential numerical range for unbounded linear operators. We introduce the concept of essential numerical range W !e (T) for unbounded Hilbert space operators T and study its fundamental properties including possible equivalent characterizations and perturbation results. Many of the properties known for the bounded case do emph not carry over to the unbounded case, and new interesting phenomena arise which we illustrate by some striking examples. A key feature of the essential numerical range W !e (T) is that it captures spectral pollution in a unified and minimal way when approximating T by projection methods or domain truncation methods for PDEs.


Regularizing CNN Transfer Learning with Randomised Regression. This paper is about regularizing deep convolutional networks (CNNs) based on an adaptive framework for transfer learning with limited training data in the target domain. Recent advances of CNN regularization in this context are commonly due to the use of additional regularization objectives. They guide the training away from the target task using some forms of concrete tasks. Unlike those related approaches, we suggest that an objective without a concrete goal can still serve well as a regularized. In particular, we demonstrate Pseudo task Regularization (PtR) which dynamically regularizes a network by simply attempting to regress image representations to pseudo regression targets during fine tuning. That is, a CNN is efficiently regularized without additional resources of data or prior domain expertise. In sum, the proposed PtR provides a) an alternative for network regularization without dependence on the design of concrete regularization objectives or extra annotations b) a dynamically adjusted and maintained strength of regularization effect by balancing the gradient norms between objectives on line. Through numerous experiments, surprisingly, the improvements on classification accuracy by PtR are shown greater or on a par to the recent state of the art methods.


On 3 braids and L space knots. We classify closed 3 braids which are L space knots.


The partial duplication random graph with edge deletion. We study a random graph model in continuous time. Each vertex is partially copied with the same rate, i.e. an existing vertex is copied and every edge leading to the copied vertex is copied with independent probability p . In addition, every edge is deleted at constant rate, a mechanism which extends previous partial duplication models. In this model, we obtain results on the degree distribution, which shows a phase transition such that either if p is small enough the frequency of isolated vertices converges to 1, or there is a positive fraction of vertices with unbounded degree. We derive results on the degrees of the initial vertices as well as on the sub graph of non isolated vertices. In particular, we obtain expressions for the number of star like subgraphs and cliques.


Counting Domineering Positions. Domineering is a two player game played on a checkerboard in which one player places dominoes vertically and the other places them horizontally. We give bivariate generating polynomials enumerating Domineering positions by the number of each player's pieces. We enumerate all positions, maximal positions, and positions where one player has no move. Using these polynomials we count the number of positions that occur during alternating play. Our method extends to enumerating positions from mid game positions and we include an analysis of a tournament game.


On the Discrepancy between the Theoretical Analysis and Practical Implementations of Compressed Communication for Distributed Deep Learning. Compressed communication, in the form of sparsification or quantization of stochastic gradients, is employed to reduce communication costs in distributed data parallel training of deep neural networks. However, there exists a discrepancy between theory and practice while theoretical analysis of most existing compression methods assumes compression is applied to the gradients of the entire model, many practical implementations operate individually on the gradients of each layer of the model. In this paper, we prove that layer wise compression is, in theory, better, because the convergence rate is upper bounded by that of entire model compression for a wide range of biased and unbiased compression methods. However, despite the theoretical bound, our experimental study of six well known methods shows that convergence, in practice, may or may not be better, depending on the actual trained model and compression ratio. Our findings suggest that it would be advantageous for deep learning frameworks to include support for both layer wise and entire model compression.


Controlled density downramp injection in a beam driven plasma wakefield accelerator. This paper describes the utilization of beam driven plasma wakefield acceleration to implement a high quality plasma cathode via density downramp injection in a short injector stage at the FLASHForward facility at DESY. Electron beams with charge of up to 105 pC and energy spread of a few percent were accelerated by a tunable effective accelerating field of up to 2.7 GV m. The plasma cathode was operated drift free with very high injection efficiency. Sources of jitter, the emittance and divergence of the resulting beam were investigated and modeled, as were strategies for performance improvements that would further increase the wide ranging applications for a plasma cathode with the demonstrated operational stability


Thermo Optic Properties of Silicon Rich Silicon Nitride for On chip Applications. We demonstrate the thermo optic properties of silicon rich silicon nitride (SRN) films deposited using plasma enhanced chemical vapor deposition (PECVD). Shifts in the spectral response of Mach Zehnder Interferometers (MZIs) as a function of temperature were used to characterize the thermo optic coefficients of silicon nitride films with varying silicon contents. A clear relation is demonstrated between the silicon content and the exhibited thermo optic coefficient in silicon nitride films, with the highest achievable coefficient being as high as (1.65 0.08) x 10 4 K 1. Furthermore, we realize an SRN Multi Mode Interferometer (MMI) based thermo optic switch with over 20 dB extinction ratio and total power consumption for two port switching of 50 mW.


Optical Kerr soliton crystal microcomb source for RF photonic fractional differentiation. We report a photonic radio frequency (RF) fractional differentiator based on an integrated Kerr micro comb source. The micro comb source has a free spectral range (FSR) of 49 GHz, generating a large number of comb lines that serve as a high performance multi wavelength source for the differentiator. By programming and shaping the comb lines according to calculated tap weights, arbitrary fractional orders ranging from 0.15 to 0.90 are achieved over a broad RF operation bandwidth of 15.49 GHz. We experimentally characterize the frequency domain RF amplitude and phase responses as well as the temporal responses with a Gaussian pulse input. The experimental results show good agreement with theory, confirming the effectiveness of our approach towards high performance fractional differentiators featuring broad processing bandwidth, high reconfigurability, and potentially greatly reduced size and cost.


Direct Sum Testing The General Case. A function f n 1 times dots times n d to mathbb F 2 is a direct sum if it is of the form f left(a 1, dots,a d right) f 1(a 1) oplus dots oplus f d (a d), for some d functions f i n i to mathbb F 2 for all i 1, dots, d , and where n 1, dots,n d in mathbb N . We present a 4 query test which distinguishes between direct sums and functions that are far from them. The test relies on the BLR linearity test (Blum, Luby, Rubinfeld, 1993) and on an agreement test which slightly generalizes the direct product test (Dinur, Steurer, 2014). In multiplicative pm 1 notation, our result reads as follows. A d dimensional tensor with pm 1 entries is called a tensor product if it is a tensor product of d vectors with pm 1 entries, or equivalently, if it is of rank 1 . The presented tests can be read as tests for distinguishing between tensor products and tensors that are far from being tensor products. We also present a different test, which queries the function at most (d 2) times, but is easier to analyze.


On the Role of Conceptualization in Commonsense Knowledge Graph Construction. Commonsense knowledge graphs (CKGs) like Atomic and ASER are substantially different from conventional KGs as they consist of much larger number of nodes formed by loosely structured text, which, though, enables them to handle highly diverse queries in natural language related to commonsense, leads to unique challenges for automatic KG construction methods. Besides identifying relations absent from the KG between nodes, such methods are also expected to explore absent nodes represented by text, in which different real world things, or entities, may appear. To deal with the innumerable entities involved with commonsense in the real world, we introduce to CKG construction methods conceptualization, i.e., to view entities mentioned in text as instances of specific concepts or vice versa. We build synthetic triples by conceptualization, and further formulate the task as triple classification, handled by a discriminatory model with knowledge transferred from pretrained language models and fine tuned by negative sampling. Experiments demonstrate that our methods can effectively identify plausible triples and expand the KG by triples of both new nodes and edges of high diversity and novelty.


Ultrafast Intercavity Nonlinear Couplings between Polaritons. Realizing nonlinear coupling across space can enable new scientific and technological advances, including ultrafast operation and propagation of information in IR photonic circuitry, remote triggering or catalyzing of chemical reactions, and new platforms for quantum simulations with increased complexities. In this report, we show that ultrafast nonlinear couplings are achieved between polaritons residing in different cavities, in the mid infrared (IR) regime, e.g. by pumping polaritons in one cavity, the polaritons in the adjacent cavity can be affected. By hybridizing photon and molecular vibrational modes, molecular vibrational polaritons are formed that have the combined characteristic of both photon delocalization and molecular nonlinearity. Thus, although photons have little nonlinear coupling cross section, and molecular nonlinearity is localized, the dual photon molecule character of polaritons allows photons to affect each other across different cavities, through coupling to the same molecules a novel property that neither molecular nor cavity mode would possess alone.


Toward a Knowledge based Personalised Recommender System for Mobile App Development. Over the last few years, the arena of mobile application development has expanded considerably beyond the balance of the world 's software markets. With the growing number of mobile software companies, and the mounting sophistication of smartphones ' technology, developers have been building several categories of applications on dissimilar platforms. However, developers confront several challenges through the implementation of mobile application projects. In particular, there is a lack of consolidated systems that are competent to provide developers with personalised services promptly and efficiently. Hence, it is essential to develop tailored systems which can recommend appropriate tools, IDEs, platforms, software components and other correlated artifacts to mobile application developers. This paper proposes a new recommender system framework comprising a fortified set of techniques that are designed to provide mobile app developers with a distinctive platform to browse and search for the personalised artifacts. The proposed system make use of ontology and semantic web technology as well as machine learning techniques. In particular, the new RS framework comprises the following components (i) domain knowledge inference module including various semantic web technologies and lightweight ontologies (ii) profiling and preferencing a new proposed time aware multidimensional user modelling (iii) query expansion to improve and enhance the retrieved results by semantically augmenting users ' query and (iv) recommendation and information filtration to make use of the aforementioned components to provide personalised services to the designated users and to answer a user 's query with the minimum mismatches.


Matrix Poincar 'e inequalities and concentration. We show that any probability measure satisfying a Matrix Poincar 'e inequality with respect to some reversible Markov generator satisfies an exponential matrix concentration inequality depending on the associated matrix carr 'e du champ operator. This extends to the matrix setting a classical phenomenon in the scalar case. Moreover, the proof gives rise to new matrix trace inequalities which could be of independent interest. We then apply this general fact by establishing matrix Poincar ' e inequalities to derive matrix concentration inequalities for Gaussian measures, product measures and for Strong Rayleigh measures. The latter represents the first instance of matrix concentration for general matrix functions of negatively dependent random variables.


Notes on Deep Learning Theory. These are the notes for the lectures that I was giving during Fall 2020 at the Moscow Institute of Physics and Technology (MIPT) and at the Yandex School of Data Analysis (YSDA). The notes cover some aspects of initialization, loss landscape, generalization, and a neural tangent kernel theory. While many other topics (e.g. expressivity, a mean field theory, a double descent phenomenon) are missing in the current version, we plan to add them in future revisions.


Vorticity Confinement and TVD Applied to Wing Tip Vortices for Accurate Drag Prediction. The vorticity confinement (VC) method was used with total variation diminishing (TVD) schemes to reduce possible over confinement and applied to tip vortices shed by edges of wings in order to predict induced drag using far field integration. The optimal VC parameter was determined first by application to 2 D vortices and then to tip vortices shed by a 3 D wing. The 3 D inviscid simulations were post processed using the wake integral technique to determine lift induced drag force. Dependence of the VC parameter on the flight Mach number and the angle of attack was evaluated. Grid convergence studies were conducted for 2 D vortices and for induced drag generated by 3 D wing. VC was used with TVD minmod and differentiable flux limiters to evaluate their effect on the VC method. Finally, the VC approach was combined with the Reynolds stress equation turbulence model, and the results were compared to experimental data of tip vortex evolution.


A matter of time publication dates in Web of Science Core Collection. Web of Science Core Collection, one of the most authoritative bibliographic databases, is widely used in academia to track high quality research. This database has begun to index online first articles since December 2017. This new practice has introduced two different publication dates (online and final publication dates) into the database for more and more early access publications. It may confuse many users who want to search or analyze literature by using the publication year related tools provided by Web of Science Core Collection. By developing custom retrieval strategies and checking manually, this study finds that the "year published" field in search page searches in both online and final publication date fields of indexed records. Each indexed record is allocated to only one "publication year" on the left of the search results page which will inherit first from online publication date field even when the online publication date is later than the final publication date. The "publication year" field in the results analysis page and the timespan "custom year range" field in the search page have the same function as that of the filter "publication year" in search results page. The potential impact of the availability of two different publication dates in calculating bibliometric indicators is also discussed at the end of the article.


Cyclic cohomology of entwining structures. In this paper, we introduce and study a cyclic cohomology theory H bullet lambda(A,C, psi) for an entwining structure (A,C, psi) over a field k . We then provide a complete description of the cocycles and the coboundaries in this theory using entwined traces applied to dg entwining structures over (A,C, psi) . We then apply these descriptions to construct a pairing H m lambda(A,C, psi) otimes H n lambda(A',C', psi') longrightarrow H m n lambda(A otimes A', C otimes C', psi otimes psi') , where (A,C, psi) and (A',C', psi') are entwining structures.


Multi Label Activity Recognition using Activity specific Features and Activity Correlations. Multi label activity recognition is designed for recognizing multiple activities that are performed simultaneously or sequentially in each video. Most recent activity recognition networks focus on single activities, that assume only one activity in each video. These networks extract shared features for all the activities, which are not designed for multi label activities. We introduce an approach to multi label activity recognition that extracts independent feature descriptors for each activity and learns activity correlations. This structure can be trained end to end and plugged into any existing network structures for video classification. Our method outperformed state of the art approaches on four multi label activity recognition datasets. To better understand the activity specific features that the system generated, we visualized these activity specific features in the Charades dataset.


A note on a Bonnet Myers type diameter bound for graphs with positive entropic Ricci curvature. An equivalent definition of entropic Ricci curvature on discrete spaces was given in terms of the global gradient estimate. With a particular choice of the density function rho , we obtain a localized gradient estimate, which in turns allow us to derive a Bonnet Myers type diameter bound for graphs with positive entropic Ricci curvature. However, the case of the hypercubes indicates that the bound may be not optimal (where theta is chosen to be logarithmic mean by default). If theta is arithmetic mean, the Bakry 'Emery criterion can be recovered and the diameter bound is optimal as it can be attained by the hypercubes.