Impact of Thermal Throttling on Long Term Visual Inference in a CPU based Edge Device. Many application scenarios of edge visual inference, e.g., robotics or environmental monitoring, eventually require long periods of continuous operation. In such periods, the processor temperature plays a critical role to keep a prescribed frame rate. Particularly, the heavy computational load of convolutional neural networks (CNNs) may lead to thermal throttling and hence performance degradation in few seconds. In this paper, we report and analyze the long term performance of 80 different cases resulting from running 5 CNN models on 4 software frameworks and 2 operating systems without and with active cooling. This comprehensive study was conducted on a low cost edge platform, namely Raspberry Pi 4B (RPi4B), under stable indoor conditions. The results show that hysteresis based active cooling prevented thermal throttling in all cases, thereby improving the throughput up to approximately 90 versus no cooling. Interestingly, the range of fan usage during active cooling varied from 33 to 65 . Given the impact of the fan on the power consumption of the system as a whole, these results stress the importance of a suitable selection of CNN model and software components. To assess the performance in outdoor applications, we integrated an external temperature sensor with the RPi4B and conducted a set of experiments with no active cooling in a wide interval of ambient temperature, ranging from 22 deg C to 36 deg C. Variations up to 27.7 were measured with respect to the maximum throughput achieved in that interval. This demonstrates that ambient temperature is a critical parameter in case active cooling cannot be applied.


The Book of Why Review. This is a review of "The Book of Why", by Judea Pearl.


Simple tiles and attractors. We study self similar attractors in the space mathbb R d , i.e., self similar compact sets defined by several affine operators with the same linear part. The special case of attractors when the matrix M of the linear part of affine operators and the shifts are integer, is well known in the literature due to many applications in the construction of wavelet and in approximation theory. In this case, if an attractor has measure one, it is called a tile. We classify self similar attractors and tiles in case when they are either polyhedra or union of finitely many polyhedra. We obtain a complete description of the integer contraction matrices and of the digit sets for tiles parallelepipeds and for convex tiles in arbitrary dimension. It is proved that on a two dimensional plane, every polygonal tile (not necessarily convex) must be a parallelogram. Non trivial examples of multidimensional tiles which are a finite union of polyhedra are given, and in the case d 1 their complete classification is provided. Applications to orthonormal Haar systems in mathbb R d and to integer univariate tiles are considered.


Image Fine grained Inpainting. Image inpainting techniques have shown promising improvement with the assistance of generative adversarial networks (GANs) recently. However, most of them often suffered from completed results with unreasonable structure or blurriness. To mitigate this problem, in this paper, we present a one stage model that utilizes dense combinations of dilated convolutions to obtain larger and more effective receptive fields. Benefited from the property of this network, we can more easily recover large regions in an incomplete image. To better train this efficient generator, except for frequently used VGG feature matching loss, we design a novel self guided regression loss for concentrating on uncertain areas and enhancing the semantic details. Besides, we devise a geometrical alignment constraint item to compensate for the pixel based distance between prediction features and ground truth ones. We also employ a discriminator with local and global branches to ensure local global contents consistency. To further improve the quality of generated images, discriminator feature matching on the local branch is introduced, which dynamically minimizes the similarity of intermediate features between synthetic and ground truth patches. Extensive experiments on several public datasets demonstrate that our approach outperforms current state of the art methods. Code is available at https github.com Zheng222 DMFN.


Module checking of pushdown multi agent systems. In this paper, we investigate the module checking problem of pushdown multi agent systems (PMS) against ATL and ATL specifications. We establish that for ATL, module checking of PMS is 2EXPTIME complete, which is the same complexity as pushdown module checking for CTL. On the other hand, we show that ATL module checking of PMS turns out to be 4EXPTIME complete, hence exponentially harder than both CTL pushdown module checking and ATL model checking of PMS. Our result for ATL provides a rare example of a natural decision problem that is elementary yet but with a complexity that is higher than triply exponential time.


Lifting a sessile oil drop from a superamphiphobic surface with an impacting one. Colliding drops are widely encountered in everyday technologies and natural processes, from combustion engines and commodity sprays to raindrops and cloud formation. The outcome of a collision depends on many factors, including the impact velocity and the degree of head on alignment, in addition to intrinsic properties like surface tension. Yet little is known on the binary impact dynamics of low surface tension oil drops on a low wetting surface. We experimentally and numerically investigate the dynamics of an oil drop impacting an identical sessile drop sitting on a superamphiphobic surface. We observe five rebound scenarios, four of which do not involve coalescence. We describe two previously unexplored cases for sessile oil drop lift off, resulting from a drop on drop impact event. The simulations quantitatively reproduce all rebound scenarios and enable quantification of the velocity profiles, the energy transfer, and the viscous dissipation. Our results illustrate how varying the relative offset and the impact velocity results in controllable rebound dynamics for low surface tension drop collisions on superamphiphobic surfaces.


Making Asynchronous Stochastic Gradient Descent Work for Transformers. Asynchronous stochastic gradient descent (SGD) is attractive from a speed perspective because workers do not wait for synchronization. However, the Transformer model converges poorly with asynchronous SGD, resulting in substantially lower quality compared to synchronous SGD. To investigate why this is the case, we isolate differences between asynchronous and synchronous methods to investigate batch size and staleness effects. We find that summing several asynchronous updates, rather than applying them immediately, restores convergence behavior. With this hybrid method, Transformer training for neural machine translation task reaches a near convergence level 1.36x faster in single node multi GPU training with no impact on model quality.


Determination of the Charge per Micro Bunch of a Self Modulated Proton Bunch using a Streak Camera. The Advanced Wakefield Experiment (AWAKE) develops the first plasma wakefield accelerator with a high energy proton bunch as driver. The 400GeV bunch from CERN Super Proton Synchrotron (SPS) propagates through a 10m long rubidium plasma, ionized by a 4TW laser pulse co propagating with the proton bunch. The relativistic ionization front seeds a self modulation process. The seeded self modulation transforms the bunch into a train of micro bunches resonantly driving wakefields. We measure the density modulation of the bunch, in time, with a streak camera with picosecond resolution. The observed effect corresponds to alternating focusing and defocusing fields. We present a procedure recovering the charge of the bunch from the experimental streak camera images containing the charge density. These studies are important to determine the charge per micro bunch along the modulated proton bunch and to understand the wakefields driven by the modulated bunch.


New upper bounds for the bondage number of a graph in terms of its maximum degree and Euler characteristic. The bondage number b(G) of a graph G is the smallest number of edges whose removal from G results in a graph with larger domination number. Let G be embeddable on a surface whose Euler characteristic chi is as large as possible, and assume chi leq0 . Gagarin Zverovich and Huang have recently found upper bounds of b(G) in terms of the maximum degree Delta(G) and the Euler characteristic chi(G) chi . In this paper we prove a better upper bound b(G) leq Delta(G) lfloor t rfloor where t is the largest real root of the cubic equation z 3 z 2 (3 chi 8)z 9 chi 12 0 this upper bound is asymptotically equivalent to b(G) leq Delta(G) 1 lfloor sqrt 4 3 chi rfloor . We also establish further improved upper bounds for b(G) when the girth, order, or size of the graph G is large compared with its Euler characteristic chi .


Bounding Boxes Are All We Need Street View Image Classification via Context Encoding of Detected Buildings. Street view images classification aiming at urban land use analysis is difficult because the class labels (e.g., commercial area), are concepts with higher abstract level compared to the ones of general visual tasks (e.g., persons and cars). Therefore, classification models using only visual features often fail to achieve satisfactory performance. In this paper, a novel approach based on a "Detector Encoder Classifier" framework is proposed. Instead of using visual features of the whole image directly as common image level models based on convolutional neural networks (CNNs) do, the proposed framework firstly obtains the bounding boxes of buildings in street view images from a detector. Their contextual information such as the co occurrence patterns of building classes and their layout are then encoded into metadata by the proposed algorithm "CODING" (Context encOding of Detected buildINGs). Finally, these bounding box metadata are classified by a recurrent neural network (RNN). In addition, we made a dual labeled dataset named "BEAUTY" (Building dEtection And Urban funcTional zone portraYing) of 19,070 street view images and 38,857 buildings based on the existing BIC GSV 1 . The dataset can be used not only for street view image classification, but also for multi class building detection. Experiments on "BEAUTY" show that the proposed approach achieves a 12.65 performance improvement on macro precision and 12 on macro recall over image level CNN based models. Our code and dataset are available at https github.com kyle one Context Encoding of Detected Buildings


Persistent instability in a nonhomogeneous delay differential equation system of the Valsalva maneuver. Delay differential equations (DDEs) are widely used in mathematical modeling to describe physical and biological systems. Delays can impact model dynamics, resulting in oscillatory behavior. In physiological systems, this instability may signify (i) an attempt to return to homeostasis or (ii) system dysfunction. In this study, we analyze a nonlinear, nonautonomous, nonhomogeneous open loop neurological control model describing the autonomic nervous system response to the Valsalva maneuver. Unstable modes have been identified as a result of parameter interactions between the sympathetic delay and time scale. In a two parameter bifurcation analysis, we examine both the homogeneous and nonhomogeneous systems. Discrepancies between solutions result from the presence of the forcing functions which stabilize the system. We use analytical methods to determine stability regions for the homogeneous system, identifying transcendental relationships between the parameters. We also use computational methods to determine stability regions for the nonhomogeneous system. The presence of a Hopf bifurcation within the system is discussed and solution types from the sink and stable focus regions are compared to two control patients and a patient with postural orthostatic tachycardia syndrome (POTS). The model and its analysis support the current clinical hypotheses that patients suffering from POTS experience altered nervous system activity.


Computability of the Zero Error Capacity of Noisy Channels. Zero error capacity plays an important role in a whole range of operational tasks, in addition to the fact that it is necessary for practical applications. Due to the importance of zero error capacity, it is necessary to investigate its algorithmic computability, as there has been no known closed formula for the zero error capacity until now. We show that the zero error capacity of noisy channels is not Banach Mazur computable and therefore not Borel Turing computable. We also investigate the relationship between the zero error capacity of discrete memoryless channels, the Shannon capacity of graphs, and Ahlswede's characterization of the zero error capacity of noisy channels with respect to the maximum error capacity of 0 1 arbitrarily varying channels. We will show that important questions regarding semi decidability are equivalent for all three capacities. So far, the Borel Turing computability of the Shannon capacity of graphs is completely open. This is why the coupling with semi decidability is interesting.


A Phase Shift Deep Neural Network for High Frequency Approximation and Wave Problems. In this paper, we propose a phase shift deep neural network (PhaseDNN), which provides a uniform wideband convergence in approximating high frequency functions and solutions of wave equations. The PhaseDNN makes use of the fact that common DNNs often achieve convergence in the low frequency range first, and a series of moderately sized DNNs are constructed and trained for selected high frequency ranges. With the help of phase shifts in the frequency domain, each of the DNNs will be trained to approximate the function's higher frequency content over a specific range at the the speed of convergence as in the low frequency range. As a result, the proposed PhaseDNN is able to convert high frequency learning to low frequency one, allowing a uniform learning to wideband functions. The PhaseDNN will then be applied to find the solution of high frequency wave equations in inhomogeneous media through both differential and integral equation formulations with least square residual loss functions. Numerical results have demonstrated the capability of the PhaseDNN in learning high frequency functions and oscillatory solutions of interior and exterior Helmholtz equations.


Stability of solutions for a parabolic problem involving fractional p Laplacian with logarithmic nonlinearity. In this paper, we study the following Dirichlet problem for a parabolic equation involving fractional p Laplacian with logarithmic nonlinearity begin equation label eq left begin array llc u t ( Delta) s p u u p 2 u u p 2 u log( u ) text in Omega, t 0 , u 0 text in mathbb R N backslash Omega, t 0, u(x,0) u 0 (x), text in Omega , end array right. end equation where Omega subset mathbb R N , ( N geq 1) is a bounded domain with Lipschitz boundary and 2 leq p infty . The local existence will be done by using the Galerkin approximations. By combining the potential well theory with the Nehari manifold we establish the existence of global solutions. Then, by virtue of a differential inequality technique, we prove that the local solutions blow up in finite time with arbitrary negative initial energy and suitable initial values. Moreover, we give decay estimates of global solutions. The main difficulty here is the lack of logarithmic Sobolev inequality concerning fractional p Laplacian.


Wild automorphisms of projective varieties, the maps which have no invariant proper subsets. Let X be a projective variety and sigma a wild automorphism on X , i.e., whenever sigma(Z) Z for a non empty Zariski closed subset Z of X , we have Z X . Then X is conjectured to be an abelian variety with sigma of zero entropy (and proved to be so when rm dim , X le 2 ) by Z. Reichstein, D. Rogalski and J. J. Zhang in their study of projectively simple rings. This conjecture has been generally open for more than a decade. In this note, we confirm this original conjecture when rm dim , X le 3 and X is not a Calabi Yau threefold, and also show that sigma is of zero entropy when rm dim , X le 4 and the Kodaira dimension kappa(X) ge 0 .


Approximation Algorithms for Distributionally Robust Stochastic Optimization with Black Box Distributions. Two stage stochastic optimization is a framework for modeling uncertainty, where we have a probability distribution over possible realizations of the data, called scenarios, and decisions are taken in two stages we make first stage decisions knowing only the underlying distribution and before a scenario is realized, and may take additional second stage recourse actions after a scenario is realized. The goal is typically to minimize the total expected cost. A criticism of this model is that the underlying probability distribution is itself often imprecise! To address this, a versatile approach that has been proposed is the em distributionally robust 2 stage model given a collection of probability distributions, our goal now is to minimize the maximum expected total cost with respect to a distribution in this collection. We provide a framework for designing approximation algorithms in such settings when the collection is a ball around a central distribution and the central distribution is accessed em only via a sampling black box . We first show that one can utilize the em sample average approximation (SAA) method to reduce the problem to the case where the central distribution has em polynomial size support. We then show how to approximately solve a fractional relaxation of the SAA (i.e., polynomial scenario central distribution) problem. By complementing this via LP rounding algorithms that provide em local (i.e., per scenario) approximation guarantees, we obtain the em first approximation algorithms for the distributionally robust versions of a variety of discrete optimization problems including set cover, vertex cover, edge cover, facility location, and Steiner tree, with guarantees that are, except for set cover, within O(1) factors of the guarantees known for the deterministic version of the problem.


Monotone Lagrangians in cotangent bundles of spheres. We study the compact monotone Fukaya category of T S n , for n geq 2 , and show that it is split generated by two classes of objects the zero section S n (equipped with suitable bounding cochains) and a 1 parameter family of monotone Lagrangian tori (S 1 times S n 1 ) tau , with monotonicity constants tau 0 (equipped with rank 1 unitary local systems). As a consequence, any closed orientable spin monotone Lagrangian (possibly equipped with auxiliary data) with non trivial Floer cohomology is non displaceable from either S n or one of the (S 1 times S n 1 ) tau . In the case of T S 3 , the monotone Lagrangians (S 1 times S 2) tau can be replaced by a family of monotone tori T 3 tau .


Vibration Suppression for Coupled Wave PDEs in Deep Sea Construction. A deep sea construction vessel is used to install underwater parts of an off shore oil drilling platform at the designated locations on the seafloor. By using extended Hamilton's principle, a nonlinear PDE system governing the lateral longitudinal coupled vibration dynamics of the deep sea construction vessel consisting of a time varying length cable with an attached item is derived, and it is linearized at the steady state generating a linear PDE model, which is extended to a more general system including two coupled wave PDEs connected with two interacting ODEs at the uncontrolled boundaries. Through a preliminary transformation, an equivalent reformulated plant is generated as a 4 4 coupled heterodirectional hyperbolic PDE ODE system characterized by spatially varying coefficients on a time varying domain. To stabilize such a system, an observer based output feedback control design is proposed, where the measurements are only placed at the actuated boundary of the PDE, namely, at the platform at the sea surface. The exponential stability of the closed loop system, boundedness and exponential convergence of the control inputs, are proved via Lyapunov analysis. The obtained theoretical result is tested on a nonlinear model with ocean disturbances, even though the design is developed in the absence of such real world effects.


Garou An Efficient and Secure Off Blockchain Multi Party Payment Hub. To mitigate the scalability problem of decentralized cryptocurrencies such as Bitcoin and Ethereum, the payment channel, which allows two parties to perform secure coin transfers without involving the blockchain, has been proposed. The payment channel increases the transaction throughput of two parties to a level that is only limited by their network bandwidth. Recent proposals focus on extending the two party payment channel to the N party payment hub. Unfortunately, none of them can achieve efficiency, flexibility in the absence of a trusted third party. In this paper, we propose Garou, a secure N party payment hub that allows multiple parties to perform secure off chain coin transfers. Except in the case of disputes, participants within the payment hub can make concurrent and direct coin transfers with each other without the involvement of the blockchain or any third party intermediaries. This allows Garou to achieve both high performance and flexibility. Garou also guarantees that an honest party always maintains its balance security against strong adversarial capabilities. To demonstrate the feasibility of the Garou protocol, we develop a proof of concept prototype for the Ethereum network. Our evaluation results show that the maximum transaction throughput of Garou is 20 times higher than that of state of art payment hubs.


Joint Data compression and Computation offloading in Hierarchical Fog Cloud Systems. Data compression has the potential to significantly improve the computation offloading performance in hierarchical fog cloud systems. However, it remains unknown how to optimally determine the compression ratio jointly with the computation offloading decisions and the resource allocation. This joint optimization problem is studied in the current paper where we aim to minimize the maximum weighted energy and service delay cost (WEDC) of all users. First, we consider a scenario where data compression is performed only at the mobile users. We prove that the optimal offloading decisions have a threshold structure. Moreover, a novel three step approach employing convexification techniques is developed to optimize the compression ratios and the resource allocation. Then, we address the more general design where data compression is performed at both the mobile users and the fog server. We propose three efficient algorithms to overcome the strong coupling between the offloading decisions and resource allocation. We show that the proposed optimal algorithm for data compression at only the mobile users can reduce the WEDC by a few hundred percent compared to computation offloading strategies that do not leverage data compression or use sub optimal optimization approaches. Besides, the proposed algorithms for additional data compression at the fog server can further reduce the WEDC.


Optimal adaptive group testing. The group testing problem is concerned with identifying a small number k sim n theta for theta in (0,1) of infected individuals in a large population of size n . At our disposal is a testing procedure that allows us to test groups of individuals. This paper considers two stage designs where the test results of the first stage can inform the design of the second stage. We are interested in the minimum number of tests to recover the set of infected individuals w.h.p. Equipped with a novel algorithm for one stage group testing from Coja Oghlan, Gebhard, Hahn Klimroth Loick 2019 , we propose a polynomial time two stage algorithm that matches the universal information theoretic lower bound of group testing. This result improves on results from M 'ezard Toninelli 2011 and resolves open problems prominently posed in Aldridge, Johnson Scarlett 2019, Berger Levenshtein 2002, Damaschke Muhammad 2012 .


MinMax Mean Field Team Approach for a Leader Follower Network A Saddle Point Strategy. This paper investigates a soft constrained MinMax control problem of a leader follower network. The network consists of one leader and an arbitrary number of followers that wish to reach consensus with minimum energy consumption in the presence of external disturbances. The leader and followers are coupled in the dynamics and cost function. Two non classical information structures are considered mean field sharing and intermittent mean field sharing, where the mean field refers to the aggregate state of the followers. In mean field sharing, every follower observes its local state, the state of the leader and the mean field while in the intermittent mean field sharing, the mean field is only observed at some (possibly no) time instants. A social welfare cost function is defined, and it is shown that a unique saddle point strategy exists which minimizes the worst case value of the cost function under mean field sharing information structure. The solution is obtained by two scalable Riccati equations, which depend on a prescribed attenuation parameter, serving as a robustness factor. For the intermittent mean field sharing information structure, an approximate saddle point strategy is proposed, and its converges to the saddle point is analyzed. Two numerical examples are provided to demonstrate the efficacy of the obtained results.


Interval matrices realization of ranks by rational matrices. Let alpha be a p times q interval matrix with p geq q and with the endpoints of all its entries in the set of the rational numbers. We prove that, if alpha contains a rank r real matrix with r in 2, q 2,q 1,q , then it contains a rank r rational matrix.


Spatiotemporal Learning of Multivehicle Interaction Patterns in Lane Change Scenarios. Interpretation of common yet challenging interaction scenarios can benefit well founded decisions for autonomous vehicles. Previous research achieved this using their prior knowledge of specific scenarios with predefined models, limiting their adaptive capabilities. This paper describes a Bayesian nonparametric approach that leverages continuous (i.e., Gaussian processes) and discrete (i.e., Dirichlet processes) stochastic processes to reveal underlying interaction patterns of the ego vehicle with other nearby vehicles. Our model relaxes dependency on the number of surrounding vehicles by developing an acceleration sensitive velocity field based on Gaussian processes. The experiment results demonstrate that the velocity field can represent the spatial interactions between the ego vehicle and its surroundings. Then, a discrete Bayesian nonparametric model, integrating Dirichlet processes and hidden Markov models, is developed to learn the interaction patterns over the temporal space by segmenting and clustering the sequential interaction data into interpretable granular patterns automatically. We then evaluate our approach in the highway lane change scenarios using the highD dataset collected from real world settings. Results demonstrate that our proposed Bayesian nonparametric approach provides an insight into the complicated lane change interactions of the ego vehicle with multiple surrounding traffic participants based on the interpretable interaction patterns and their transition properties in temporal relationships. Our proposed approach sheds light on efficiently analyzing other kinds of multi agent interactions, such as vehicle pedestrian interactions. View the demos via https youtu.be z vf9UHtdAM.


Chern Ricci curvatures, holomorphic sectional curvature and Hermitian metrics. We present some formulae related to the Chern Ricci curvatures and scalar curvatures of special Hermitian metrics. We prove that a compact locally conformal K " a hler manifold with constant nonpositive holomorphic sectional curvature is K " a hler. We also give examples of complete non K " a hler metrics with pointwise negative constant but not globally constant holomorphic sectional curvature, and complete non K " a hler metric with zero holomorphic sectional curvature and nonvanishing curvature tensor.


A Blockchain Framework for Secure Task Sharing in Multi access Edge Computing. In the context of Multi access Edge Computing (MEC), the task sharing mechanism among edge servers is an activity of vital importance for speeding up the computing process and thereby improve user experience. The distributed resources in the form of edge servers are expected to collaborate with each other in order to boost overall performance of a MEC system. However, there are many challenges to adopt global collaboration among the edge computing server entities among which the following two are significant ensuring trust among the servers and developing a unified scheme to enable real time collaboration and task sharing. In this article, a blockchain framework is proposed to provide a trusted collaboration mechanism between edge servers in a MEC environment. In particular, a permissioned blockchain scheme is investigated to support a trusted design that also provides incentives for collaboration. Finally, Caliper tool and Hyperledger Fabric benchmarks are used to conduct an experimental evaluation of the proposed blockchain scheme embedded in a MEC framework.


Fibonacci representations of sequences in Hilbert spaces. Dynamical sampling deals with frames of the form T n varphi n 0 infty , where T in B( mathcal H ) belongs to certain classes of linear operators and varphi in mathcal H . The purpose of this paper is to investigate a new representation, namely, Fibonacci representation of sequences f n n 1 infty in a Hilbert space mathcal H having the form f n 2 T(f n f n 1 ) for all n geqslant 1 and a linear operator T text span f n n 1 infty to text span f n n 1 infty . We apply this kind of representations for complete sequences and frames. Finally, we present some properties of Fibonacci representation operators.


Cytoskeleton polarity is essential in determining orientational order in basal bodies of multi ciliated cells. Synchronous and directed ciliary beating in trachea allows transport and ejection of virus and dust from the body. This ciliary function depends on the coordinated configuration of basal bodies (root of cilia) in apical cell membrane. However, the mechanism for their formation remains unknown. In this study, we show that the polarity in apical microtubule bundles plays a significant role in the organization of basal bodies. A mathematical model incorporating polarity has been formulated which provides a coherent explanation and is able to reproduce experimental observations. We have clarified both necessity ('why polarity is required for pattern formation') and sufficiency ('how polarity works for pattern formation') of cytoskeleton polarity for correct pattering of basal bodies with verification by experimental data. This model further leads us to a possible mechanism for cellular chirality.


A Lyapunov based small gain theorem for infinite networks. This paper presents a small gain theorem for networks composed of a countably infinite number of finite dimensional subsystems. Assuming that each subsystem is exponentially input to state stable, we show that if the gain operator, collecting all the information about the internal Lyapunov gains, has a spectral radius less than one, the overall infinite network is exponentially input to state stable. The effectiveness of our result is illustrated through several examples including nonlinear spatially invariant systems with sector nonlinearities and a road traffic network.


A Reeb sphere theorem in graph theory. We prove a Reeb sphere theorem for finite simple graphs. The result bridges two different definitions of spheres in graph theory. We also reformulate Morse conditions in terms of the center manifolds, the level surface graphs f f(x) in the unit sphere S(x). In the Morse case these graphs are either spheres, the empty graph or the product of two spheres.


Highly efficient optical add drop filter with an angle polished fiber coupler. Microbubble whispering gallery resonators have shown great promise in fiber optic communications because of their low confinement loss and hollow cores, which allow for facile stress based tunability. Usually, the transmission spectrum of taper coupled microbubbles contains closely spaced modes due to the relatively large radii and oblate geometry of microbubbles. In this letter, we develop an optical add drop filter using a microbubble coupled to fiber taper and angle polished fiber waveguides. Because of the extra degree of freedom in the angle of its polish surface, the angle polished fiber can be used for the discriminatory excitation of certain radial order modes in the optical microcavity, reducing the high modal density and enhancing add drop selectivity. Our robust and tunable add drop filter demonstrated a drop efficiency of 85.9 and quality factor of 2 x 10 7, corresponding to a linewidth of 9.68 MHz. As a proof of concept, the drop frequency was tuned using internal aerostatic pressure at a rate of 7.3 0.2 GHz bar with no diminishing effects on the add drop filter performance.


A Tailored Convolutional Neural Network for Nonlinear Manifold Learning of Computational Physics Data using Unstructured Spatial Discretizations. We propose a nonlinear manifold learning technique based on deep convolutional autoencoders that is appropriate for model order reduction of physical systems in complex geometries. Convolutional neural networks have proven to be highly advantageous for compressing data arising from systems demonstrating a slow decaying Kolmogorov n width. However, these networks are restricted to data on structured meshes. Unstructured meshes are often required for performing analyses of real systems with complex geometry. Our custom graph convolution operators based on the available differential operators for a given spatial discretization effectively extend the application space of deep convolutional autoencoders to systems with arbitrarily complex geometry that are typically discretized using unstructured meshes. We propose sets of convolution operators based on the spatial derivative operators for the underlying spatial discretization, making the method particularly well suited to data arising from the solution of partial differential equations. We demonstrate the method using examples from heat transfer and fluid mechanics and show better than an order of magnitude improvement in accuracy over linear methods.


Separating subgroups of mapping class groups in homological representations. Let Gamma be either the mapping class group of a closed surface of genus geq 2 , or the automorphism group of a free group of rank geq 3 . Given any homological representation rho of Gamma corresponding to a finite cover, and any term mathcal I k of the Johnson filtration, we show that rho( mathcal I k) has finite index in rho( mathcal I ) , the Torelli subgroup of Gamma . Since mathcal I mathcal I k infty for k 1 , this implies for instance that no such representation is faithful.


The Kodaira dimension and singularities of moduli of stable sheaves on some elliptic surfaces. Let X be an elliptic surface over bf P 1 with kappa(X) 1 , and M M(c 2) be the moduli scheme of rank two stable sheaves E on X with (c 1(E),c 2(E)) (0,c 2) in operatorname Pic (X) times mathbb Z . We look into defining equations of M at its singularity E , partly because if M admits only canonical singularities, then the Kodaira dimension kappa(M) can be calculated. We show the following. (A) E is at worst canonical singularity of M if the restriction of E eta to the generic fiber of X has no rank one subsheaf, and if the number of multiple fibers of X is a few. (B) We obtain that kappa(M) 1 dim(M) 2 and the Iitaka program of M can be described in purely moduli theoretic way for c 2 gg 0 , when chi( mathcal O X) 1 , X has just two multiple fibers, and one of its multiplicities equals 2 . (C) On the other hand, when E eta has a rank one subsheaf, it may be insufficient to look at only the degree two part of defining equations to judge whether E is at worst canonical singularity or not.


Multi label natural language processing to identify diagnosis and procedure codes from MIMIC III inpatient notes. In the United States, 25 or greater than 200 billion dollars of hospital spending accounts for administrative costs that involve services for medical coding and billing. With the increasing number of patient records, manual assignment of the codes performed is overwhelming, time consuming and error prone, causing billing errors. Natural language processing can automate the extraction of codes labels from unstructured clinical notes, which can aid human coders to save time, increase productivity, and verify medical coding errors. Our objective is to identify appropriate diagnosis and procedure codes from clinical notes by performing multi label classification. We used de identified data of critical care patients from the MIMIC III database and subset the data to select the ten (top 10) and fifty (top 50) most common diagnoses and procedures, which covers 47.45 and 74.12 of all admissions respectively. We implemented state of the art Bidirectional Encoder Representations from Transformers (BERT) to fine tune the language model on 80 of the data and validated on the remaining 20 . The model achieved an overall accuracy of 87.08 , an F1 score of 85.82 , and an AUC of 91.76 for top 10 codes. For the top 50 codes, our model achieved an overall accuracy of 93.76 , an F1 score of 92.24 , and AUC of 91 . When compared to previously published research, our model outperforms in predicting codes from the clinical text. We discuss approaches to generalize the knowledge discovery process of our MIMIC BERT to other clinical notes. This can help human coders to save time, prevent backlogs, and additional costs due to coding errors.


Accurate Arrangements. Let mathscr A be a Coxeter arrangement of rank ell . In 1987 Orlik, Solomon and Terao conjectured that for every 1 leq d leq ell , the first d exponents of mathscr A when listed in increasing order are realized as the exponents of a free restriction of mathscr A to some intersection of reflecting hyperplanes of mathscr A of dimension d . This conjecture does follow from rather extensive case by case studies by Orlik and Terao from 1992 and 1993, where they show that all restrictions of Coxeter arrangements are free. We call a general free arrangements with this natural property involving their free restrictions accurate. In this paper we initialize their systematic study. Our principal result shows that MAT free arrangements, a notion recently introduced by Cuntz and M "ucksch, are accurate. This theorem in turn directly implies this special property for all ideal subarrangements of Weyl arrangements. In particular, this gives a new, simpler and uniform proof of the aforementioned conjecture of Orlik, Solomon and Terao for Weyl arrangements which is free of any case by case considerations. Another application of a slightly more general formulation of our main theorem shows that extended Shi arrangements, extended Catalan arrangements and ideal Shi arrangements share this property as well. We also study arrangements that satisfy a slightly weaker condition, called almost accurate arrangements, where we simply disregard the ordering of the exponents involved. This property in turn is implied by many well established concepts of freeness such as supersolvability and divisional freeness.


An Approach Based on Bayesian Networks for Query Selectivity Estimation. The efficiency of a query execution plan depends on the accuracy of the selectivity estimates given to the query optimiser by the cost model. The cost model makes simplifying assumptions in order to produce said estimates in a timely manner. These assumptions lead to selectivity estimation errors that have dramatic effects on the quality of the resulting query execution plans. A convenient assumption that is ubiquitous among current cost models is to assume that attributes are independent with each other. However, it ignores potential correlations which can have a huge negative impact on the accuracy of the cost model. In this paper we attempt to relax the attribute value independence assumption without unreasonably deteriorating the accuracy of the cost model. We propose a novel approach based on a particular type of Bayesian networks called Chow Liu trees to approximate the distribution of attribute values inside each relation of a database. Our results on the TPC DS benchmark show that our method is an order of magnitude more precise than other approaches whilst remaining reasonably efficient in terms of time and space.


Unstable Throughput When the Difficulty Algorithm Breaks. In Proof of Work blockchains, difficulty algorithms serve the crucial purpose of maintaining a stable transaction throughput by dynamically adjusting the block difficulty in response to the miners' constantly changing computational power. Blockchains that may experience severe hash rate fluctuations need difficulty algorithms that quickly adapt the mining difficulty. However, without careful design, the system could be gamed by miners using coin hopping strategies to manipulate the block difficulty for profit. Such miner behavior results in an unreliable system due to the unstable processing of transactions. We provide an empirical analysis of how Bitcoin Cash's difficulty algorithm design leads to cyclicality in block solve times as a consequence of a positive feedback loop. In response, we mathematically derive a difficulty algorithm using a negative exponential filter which prohibits the formation of positive feedback and exhibits additional desirable properties, such as history agnosticism. We compare the described algorithm to that of Bitcoin Cash in a simulated mining environment and verify that the former would eliminate the severe oscillations in transaction throughput.


Throughput Optimal Topology Design for Cross Silo Federated Learning. Federated learning usually employs a client server architecture where an orchestrator iteratively aggregates model updates from remote clients and pushes them back a refined model. This approach may be inefficient in cross silo settings, as close by data silos with high speed access links may exchange information faster than with the orchestrator, and the orchestrator may become a communication bottleneck. In this paper we define the problem of topology design for cross silo federated learning using the theory of max plus linear systems to compute the system throughput number of communication rounds per time unit. We also propose practical algorithms that, under the knowledge of measurable network characteristics, find a topology with the largest throughput or with provable throughput guarantees. In realistic Internet networks with 10 Gbps access links for silos, our algorithms speed up training by a factor 9 and 1.5 in comparison to the master slave architecture and to state of the art MATCHA, respectively. Speedups are even larger with slower access links.


Oscillating simply connected wandering domains. Although detailed descriptions of the possible types of behaviour inside periodic Fatou components have been known for over 100 years, a classification of wandering domains has only recently been given. Recently, simply connected wandering domains were classified into nine possible types and examples of escaping wandering domains of each of these types were constructed. Here we consider the case of oscillating wandering domains, for which only six of these types are possible. We use a new technique based on approximation theory to construct examples of all six types of oscillating simply connected wandering domains. This requires delicate arguments since oscillating wandering domains return infinitely often to a bounded part of the plane. Our technique is inspired by that used by Eremenko and Lyubich to construct the first example of an oscillating wandering domain, but with considerable refinements which enable us to show that the wandering domains are bounded, to specify the degree of the mappings between wandering domains and to give precise descriptions of the dynamical behaviour of these mappings.


On Romanization for Model Transfer Between Scripts in Neural Machine Translation. Transfer learning is a popular strategy to improve the quality of low resource machine translation. For an optimal transfer of the embedding layer, the child and parent model should share a substantial part of the vocabulary. This is not the case when transferring to languages with a different script. We explore the benefit of romanization in this scenario. Our results show that romanization entails information loss and is thus not always superior to simpler vocabulary transfer methods, but can improve the transfer between related languages with different scripts. We compare two romanization tools and find that they exhibit different degrees of information loss, which affects translation quality. Finally, we extend romanization to the target side, showing that this can be a successful strategy when coupled with a simple deromanization model.


Analysing Time Stamped Co Editing Networks in Software Development Teams using git2net. Data from software repositories have become an important foundation for the empirical study of software engineering processes. A recurring theme in the repository mining literature is the inference of developer networks capturing e.g. collaboration, coordination, or communication from the commit history of projects. Most of the studied networks are based on the co authorship of software artefacts. Because this neglects detailed information on code changes and code ownership we introduce git2net, a scalable python software that facilitates the extraction of fine grained co editing networks in large git repositories. It uses text mining techniques to analyse the detailed history of textual modifications within files. We apply our tool in two case studies using GitHub repositories of multiple Open Source as well as a commercial software project. Specifically, we use data on more than 1.2 million commits and more than 25'000 developers to test a hypothesis on the relation between developer productivity and co editing patterns in software teams. We argue that git2net opens up a massive new source of high resolution data on human collaboration patterns that can be used to advance theory in empirical software engineering, computational social science, and organisational studies.


The Dirichlet problem of the constant mean curvature equation in Lorentz Minkowski space and in Euclidean space. We investigate the differences and similarities of the Dirichlet problem of the mean curvature equation in the Euclidean space and in the Lorentz Minkowski space. Although the solvability of the Dirichlet problem follows standards techniques of elliptic equations, we focus in showing how the spacelike condition in the Lorentz Minkowski space allows to drop the hypothesis on the mean convexity which is required in the Euclidean case.


On Robustness and Bias Analysis of BERT based Relation Extraction. Fine tuning pre trained models have achieved impressive performance on standard natural language processing benchmarks. However, the resultant model generalizability remains poorly understood. We do not know, for example, how excellent performance can lead to the perfection of generalization models. In this study, we analyze a fine tuned BERT model from different perspectives using relation extraction. We also characterize the differences in generalization techniques according to our proposed improvements. From empirical experimentation, we find that BERT suffers a bottleneck in terms of robustness by way of randomizations, adversarial and counterfactual tests, and biases (i.e., selection and semantic). These findings highlight opportunities for future improvements. Our open sourced testbed DiagnoseRE is available in url https github.com zjunlp DiagnoseRE .


Orbits of bounded bijective operators and Gabor frames. This paper is a contribution to frame theory. Frames in a Hilbert space are generalizations of orthonormal bases. In particular, Gabor frames of L 2( mathbb R ) , which are made of translations and modulations of one or more windows, are often used in applications. More precisely, the paper deals with a question posed in the last years by Christensen and Hasannasab about the existence of overcomplete Gabor frames, with some ordering over mathbb Z , which are orbits of bounded operators on L 2( mathbb R ) . Two classes of overcomplete Gabor frames which cannot be ordered over mathbb Z and represented by orbits of operators in GL(L 2( mathbb R )) are given. Some results about operator representation are stated in a general context for arbitrary frames, covering also certain wavelet frames.


Bohr Rogosinski inequalities for bounded analytic functions. In this paper we first consider another version of the Rogosinski inequality for analytic functions f(z) sum n 0 infty a nz n in the unit disk z 1 , in which we replace the coefficients a n (n 0,1, ldots ,N) of the power series by the derivatives f (n) (z) n! (n 0,1, ldots ,N) . Secondly, we obtain improved versions of the classical Bohr inequality and Bohr's inequality for the harmonic mappings of the form f h overline g , where the analytic part h is bounded by 1 and that g'(z) le k h'(z) in z 1 and for some k in 0,1 .


Minimum pair degree condition for tight Hamiltonian cycles in 4 uniform hypergraphs. We show that every 4 uniform hypergraph with n vertices and minimum pair degree at least (5 9 o(1))n 2 2 contains a tight Hamiltonian cycle. This degree condition is asymptotically optimal.


Regularity and convergence of local first integrals of analytic differential systems. Poincar 'e proved nonexistence of formal first integrals near a nonresonant singularity of analytic autonomous differential systems. In the resonant case with one zero eigenvalue and others nonresonant, there remains an open problem on regularity and convergence of local first integrals. Here we provide an answer to this problem. The system has always a local C infty first integral near the singularity when it is nonisolated. In any finite dimensional space formed by analytic differential systems having the same linear part at the singularity, either all the systems have local analytic first integrals or only the systems in a pluripolar subset have local analytic first integrals.


A Berkeley View of Teaching CS at Scale. Over the past decade, undergraduate Computer Science (CS) programs across the nation have experienced an explosive growth in enrollment as computational skills have proven increasingly important across many domains and in the workforce at large. Motivated by this unprecedented student demand, the CS program at the University of California, Berkeley has tripled the size of its graduating class in five years. The first two introductory courses for majors, each taught by one faculty instructor and several hundred student teachers, combine to serve nearly 2,900 students per term. This report presents three strategies that have enabled the effective teaching, delivery, and management of large scale CS courses (1) the development of autograder infrastructure and online platforms to provide instant feedback with minimal instructor intervention and deliver the course at scale (2) the expansion of academic and social student support networks resulting from changes in teaching assistant responsibilities and the development of several near peer mentoring communities and (3) the expansion of undergraduate teacher preparation programs to meet the increased demand for qualified student teachers. These interventions have helped both introductory and advanced courses address capacity challenges and expand enrollments while receiving among the highest student evaluations of teaching in department history. Implications for inclusivity and diversity are discussed.


Foundations of Online Structure Theory II The Operator Approach. We introduce a framework for online structure theory. Our approach generalises notions arising independently in several areas of computability theory and complexity theory. We suggest a unifying approach using operators where we allow the input to be a countable object of an arbitrary complexity. We give a new framework which (i) ties online algorithms with computable analysis, (ii) shows how to use modifications of notions from computable analysis, such as Weihrauch reducibility, to analyse finite but uniform combinatorics, (iii) show how to finitize reverse mathematics to suggest a fine structure of finite analogs of infinite combinatorial problems, and (iv) see how similar ideas can be amalgamated from areas such as EX learning, computable analysis, distributed computing and the like. One of the key ideas is that online algorithms can be viewed as a sub area of computable analysis. Conversely, we also get an enrichment of computable analysis from classical online algorithms.


Infinite co minimal pairs in the integers and integral lattices. Given two nonempty subsets A, B of a group G , they are said to form a co minimal pair if A cdot B G , and A' cdot B subsetneq G for any emptyset neq A' subsetneq A and A cdot B' subsetneq G for any emptyset neq B' subsetneq B . In this article, we show several new results on co minimal pairs in the integers and the integral lattices. We prove that for any d geq 1 , the group mathbb Z 2d admits infinitely many automorphisms such that for each such automorphism sigma , there exists a subset A of mathbb Z 2d such that A and sigma(A) form a co minimal pair. The existence and construction of co minimal pairs in the integers with both the subsets A and B ( A neq B ) of infinite cardinality was unknown. We show that such pairs exist and explicitly construct these pairs satisfying a number of algebraic properties.


Optimal and Sub optimal Feedback Controls for Biogas Production. We revisit the optimal control problem of maximizing biogas production in continuous bio processes in two directions 1. over an infinite horizon, 2. with sub optimal controllers independent of the time horizon. For the first point, we identify a set of optimal controls for the problems with an averaged reward and with a discounted reward when the discount factor goes to 0 and we show that the value functions of both problems are equal. For the finite horizon problem, our approach relies on a framing of the value function by considering a different reward for which the optimal solution has an explicit optimal feedback that is time independent. In particular, we show that this technique allows us to provide explicit bounds on the sub optimality of the proposed controllers. The various strategies are finally illustrated on Haldane and Contois growth functions.


Remarks on the Selberg Delange method. Let varrho be a complex number and let f be a multiplicative arithmetic function whose Dirichlet series takes the form zeta(s) varrho G(s) , where G is associated to a multiplicative function g . The classical Selberg Delange method furnishes asymptotic estimates for averages of f under assumptions of either analytic continuation for G , or absolute convergence of a finite number of derivatives of G(s) at s 1 . We consider different set of hypotheses, not directly comparable to the previous ones, and investigate how they can yield sharp asymptotic estimates for the averages of f .


Normal and starlike tilings in separable Banach spaces. In this note, we provide a starlike and normal tiling in any separable Banach space. That means, there are positive constants r and R (not depending on the separable Banach space) such that every tile of this tiling is starlike, contains a ball of radius r and is contained in a ball of radius R.


Multiplicity results for fractional magnetic problems involving exponential growth. We study the following fractional elliptic equations of the type, begin equation ( Delta) frac12 A u lambda u f( u )u , textrm in ( 1, 1), u 0 textrm in mathbb R setminus ( 1, 1), end equation where lambda is a positive real parameter and ( Delta) frac12 A is the fractional magnetic operator with A mathbb R to mathbb R being a smooth magnetic field. Using a classical critical point theorems, we prove the existence of multiple solutions in the non resonant case when the nonlinear term f(t) has a critical exponential growth in the sense of Trudinger Moser inequality.


Eulerian dynamics in multi dimensions with radial symmetry. We study the global wellposedness of pressure less Eulerian dynamics in multi dimensions, with radially symmetric data. Compared with the 1D system, a major difference in multi dimensional Eulerian dynamics is the presence of the spectral gap, which is difficult to control in general. We propose a new pair of scalar quantities that provides a significant better control of the spectral gap. Two applications are presented. (i) the Euler Poisson equations we show a sharp threshold condition on initial data that distinguish global regularity and finite time blowup (ii) the Euler alignment equations we show a large subcritical region of initial data that leads to global smooth solutions.


Multi Modal Adaptive Normalization for Audio to Video Generation. Speech driven facial video generation has been a complex problem due to its multi modal aspects namely audio and video domain. The audio comprises lots of underlying features such as expression, pitch, loudness, prosody(speaking style) and facial video has lots of variability in terms of head movement, eye blinks, lip synchronization and movements of various facial action units along with temporal smoothness. Synthesizing highly expressive facial videos from the audio input and static image is still a challenging task for generative adversarial networks. In this paper, we propose a multi modal adaptive normalization(MAN) based architecture to synthesize a talking person video of arbitrary length using as input an audio signal and a single image of a person. The architecture uses the multi modal adaptive normalization, keypoint heatmap predictor, optical flow predictor and class activation map 58 based layers to learn movements of expressive facial components and hence generates a highly expressive talking head video of the given person. The multi modal adaptive normalization uses the various features of audio and video such as Mel spectrogram, pitch, energy from audio signals and predicted keypoint heatmap optical flow and a single image to learn the respective affine parameters to generate highly expressive video. Experimental evaluation demonstrates superior performance of the proposed method as compared to Realistic Speech Driven Facial Animation with GANs(RSDGAN) 53 , Speech2Vid 10 , and other approaches, on multiple quantitative metrics including SSIM (structural similarity index), PSNR (peak signal to noise ratio), CPBD (image sharpness), WER(word error rate), blinks sec and LMD(landmark distance). Further, qualitative evaluation and Online Turing tests demonstrate the efficacy of our approach.


Kuroda's formula and arithmetic statistics. Kuroda's formula relates the class number of a multi quadratic number field K to the class numbers of its quadratic subfields k i . A key component in this formula is the unit group index Q(K) mathcal O K times prod i mathcal O k i times . We study how Q(K) behaves on average in certain natural families of totally real biquadratic fields K parametrized by prime numbers.


A large deviation principle for Markovian slow fast systems. We prove pathwise large deviation principles of slow variables in slow fast systems in the limit of time scale separation tending to infinity. In the limit regime we consider, the convergence of the slow variable to its deterministic limit and the convergence of the fast variable to equilibrium are competing at the same scale. The large deviation principle is proven by relating the large deviation problem to solutions of Hamilton Jacobi Bellman equations, for which well posedness was established in the companion paper arXiv 1912.06579 . We cast the rate functions in action integral form and interpret the Lagrangians in two ways. First, in terms of a double optimization problem of the slow variable's velocity and the fast variable's distribution, similar in spirit to what one obtains from the contraction principle. Second, in terms of a principal eigenvalue problem associated to the slow fast system. The first representation proves in particular useful in the derivation of averaging principles from the large deviations principles. As main example of our general results, we consider empirical measure flux pairs coupled to a fast diffusion on a compact manifold. We prove large deviations and use the Lagrangian in double optimization form to demonstrate the validity of the averaging principle in this system.


On URANS Congruity with Time Averaging Analytical laws suggest improved models. The standard 1 equation model of turbulence was first derived by Prandtl and has evolved to be a common method for practical flow simulations. Five fundamental laws that any URANS model should satisfy are begin array c ccc textbf 1. text Time window begin array c c tau downarrow 0 text implies v text small URANS rightarrow u text small NSE text text tau uparrow text implies nu T uparrow end array textbf 2. l(x) 0 text at walls l(x) rightarrow 0 text as x rightarrow walls, textbf 3. text Bounded energy sup t int frac 1 2 v(x,t) 2 k(x,t)dx infty textbf 4. begin array c c text Statistical text equilibrium end array lim sup T rightarrow infty frac 1 T int 0 T varepsilon text model (t)dt mathcal O left( frac U 3 L right) textbf 5. begin array c c text Backscatter text possible end array text (without negative viscosities) end array This report proves that a textit kinematic specification of the model's turbulence lengthscale by l(x,t) sqrt 2 k 1 2 (x,t) tau text , where tau is the time filter window, results in a 1 equation model satisfying Conditions 1,2,3,4 without model tweaks, adjustments or wall damping multipliers.


Nonlinear open mapping principles, with applications to the Jacobian equation and other scale invariant PDEs. For a nonlinear operator T satisfying certain structural assumptions, our main theorem states that the following claims are equivalent i) T is surjective, ii) T is open at zero, and iii) T has a bounded right inverse. The theorem applies to numerous scale invariant PDEs in regularity regimes where the equations are stable under weak convergence. Two particular examples we explore are the Jacobian equation and the equations of incompressible fluid flow. For the Jacobian, it is a long standing open problem to decide whether it is onto between the critical Sobolev space and the Hardy space. Towards a negative answer, we show that, if the Jacobian is onto, then it suffices to rule out the existence of surprisingly well behaved solutions. For the incompressible Euler equations, we show that, for any p infty , the set of initial data for which there are dissipative weak solutions in L p t L 2 x is meagre in the space of solenoidal L 2 fields. Similar results hold for other equations of incompressible fluid dynamics.


Vertex algebraic intertwining operators among generalized Verma modules for affine Lie algebras. We find sufficient conditions for the construction of vertex algebraic intertwining operators, among generalized Verma modules for an affine Lie algebra hat mathfrak g , from mathfrak g module homomorphisms. When mathfrak g mathfrak sl 2 , these results extend previous joint work with J. Yang, but the method used here is different. Here, we construct intertwining operators by solving Knizhnik Zamolodchikov equations for three point correlation functions associated to hat mathfrak g , and we identify obstructions to the construction arising from the possible non existence of series solutions having a prescribed form.


Augmenting Neural Nets with Symbolic Synthesis Applications to Few Shot Learning. We propose symbolic learning as extensions to standard inductive learning models such as neural nets as a means to solve few shot learning problems. We device a class of visual discrimination puzzles that calls for recognizing objects and object relationships as well learning higher level concepts from very few images. We propose a two phase learning framework that combines models learned from large data sets using neural nets and symbolic first order logic formulas learned from a few shot learning instance. We develop first order logic synthesis techniques for discriminating images by using symbolic search and logic constraint solvers. By augmenting neural nets with them, we develop and evaluate a tool that can solve few shot visual discrimination puzzles with interpretable concepts.


Building Movie Map A Tool for Exploring Areas in a City and its Evaluation. We propose a new Movie Map system, with an interface for exploring cities. The system consists of four stages acquisition, analysis, management, and interaction. In the acquisition stage, omnidirectional videos are taken along streets in target areas. Frames of the video are localized on the map, intersections are detected, and videos are segmented. Turning views at intersections are subsequently generated. By connecting the video segments following the specified movement in an area, we can view the streets better. The interface allows for easy exploration of a target area, and it can show virtual billboards of stores in the view. We conducted user studies to compare our system to the GSV in a scenario where users could freely move and explore to find a landmark. The experiment showed that our system had a better user experience than GSV.


Hyperbolic Groups and Non Compact Real Algebraic Curves. In this paper we study the spaces of non compact real algebraic curves, i.e. pairs (P, tau) , where P is a compact Riemann surface with a finite number of holes and punctures and tau P to P is an anti holomorphic involution. We describe the uniformisation of non compact real algebraic curves by Fuchsian groups. We construct the spaces of non compact real algebraic curves and describe their connected components. We prove that any connected component is homeomorphic to a quotient of a finite dimensional real vector space by a discrete group and determine the dimensions of these vector spaces.


Enforcing Annual Emission Constraints in Short Term Operation of Local Energy Systems. This paper presents new methods for ensuring that the energy system of a neighborhood that is designed with the objective of being zero emission is actually operated in a way that allows it to reach net zero emissions in its lifetime. This paper highlights the necessity of taking into account realistic operation strategies when designing the energy system of such neighborhoods. It also suggests methods that can be used in the operation of ZENs to ensure carbon neutrality. An optimization model for designing the energy system of a Zero Emission Neighborhood (ZEN) is first presented and used to produce two designs for a campus in the South of Norway in the case where the amount of PV is limited (PVlim) and when it is not (Base). Several operation approaches are then introduced to compare their operation cost and the CO2 emissions and compensations. These approaches are perfect foresight used as a reference (Ref.),a purely economic model predictive control (E MPC), an MPC with penalization if deviating from emission targets (EmE MPC)and a receding horizon MPC where we have a net zero emission constraint over the year (RH MPC). The resulting energy systems are, in the Base case, PV, heat pumps, a gas boiler and heat storage and, in the PVlim case, a smaller amount of PV, a CHP plant, and heat storage. In the Base case all operation strategies manage to reach net zero emissions, largely due to the passive compensations obtained from the PV. RH MPC offers the lowest cost. In the PVlim case, the passive effect of the PV is not sufficient to reach net zero emissions and an operation approach specifically taking into account the emissions is necessary. EmE MPC achieves the lowest emissions but it comes at a much higher cost. We conclude that the best overall strategy is RH MPC which maintains both the cost and the emission compensation balance close to the reference case with perfect foresight.


Analysis of Users' Behaviour and Adoption Trends of Social Media Payment Platforms. The recent proliferation of Electronic Commerce (E commerce) has been further escalated by multifaceted emerging payment solutions such as cryptocurrencies, mobile, peer to peer (P2P) and social media payment platforms. While these technological advancements are gaining tremendous popularity, mostly for their ease of use, various impediments such as security and privacy concerns, societal and cultural norms etc. forbear the users' adoption trends to some extents. This article examines the current status of the social media payment platforms as well as the projection of future adoption trends. Our research underlines the motivations and obstacles to the adoption of social media platforms.


Electrochemically Induced pH Change Time Resolved Confocal Fluorescence Microscopy Measurements and Comparison with Numerical Model. Confocal fluorescence microscopy is a proven technique, which can image near electrode pH changes. For a complete understanding of electrode processes, time resolved measurements are required, which have not yet been provided. Here we present the first measurements of time resolved pH profiles with confocal fluorescence microscopy. The experimental results compare favorably with a one dimensional reaction diffusion model this holds up to the point where the measurements reveal three dimensionality in the pH distribution. Specific factors affecting the pH measurement such as attenuation of light and the role of dye migration are also discussed in detail. The method is further applied to reveal the buffer effects observed in sulfate containing electrolytes. The work presented here is paving the way toward the use of confocal fluorescence microscopy in the measurement of 3D time resolved pH changes in numerous electrochemical settings, for example in the vicinity of bubbles.


Safeguarding the IoT from Malware Epidemics A Percolation Theory Approach. The upcoming Internet of things (IoT) is foreseen to encompass massive numbers of connected devices, smart objects, and cyber physical systems. Due to the large scale and massive deployment of devices, it is deemed infeasible to safeguard 100 of the devices with state of the art security countermeasures. Hence, large scale IoT has inevitable loopholes for network intrusion and malware infiltration. Even worse, exploiting the high density of devices and direct wireless connectivity, malware infection can stealthily propagate through susceptible (i.e., unsecured) devices and form an epidemic outbreak without being noticed to security administration. A malware outbreak enables adversaries to compromise large population of devices, which can be exploited to launch versatile cyber and physical malicious attacks. In this context, we utilize spatial firewalls, to safeguard the IoT from malware outbreak. In particular, spatial firewalls are computationally capable devices equipped with state of the art security and anti malware programs that are spatially deployed across the network to filter the wireless traffic in order to detect and thwart malware propagation. Using tools from percolation theory, we prove that there exists a critical density of spatial firewalls beyond which malware outbreak is impossible. This, in turns, safeguards the IoT from malware epidemics regardless of the infection treatment rates. To this end, a tractable upper bound for the critical density of spatial firewalls is obtained. Furthermore, we characterize the relative communications ranges of the spatial firewalls and IoT devices to ensure secure network connectivity. The percentage of devices secured by the firewalls is also characterized.


On the Equivalence of SDP Feasibility and a Convex Hull Relaxation for System of Quadratic Equations. We show it semidefinite programming (SDP) feasibility problem is equivalent to solving a it convex hull relaxation (CHR) for a finite system of quadratic equations. On the one hand, this offers a simple description of SDP. On the other hand, this equivalence makes it possible to describe a version of the it Triangle Algorithm for SDP feasibility based on solving CHR. Specifically, the Triangle Algorithm either computes an approximation to the least norm feasible solution of SDP, or using its it distance duality , provides a separation when no solution within a prescribed norm exists. The worst case complexity of each iteration is computing the largest eigenvalue of a symmetric matrix arising in that iteration. Alternate complexity bounds on the total number of iterations can be derived. The Triangle Algorithm thus provides an alternative to the existing interior point algorithms for SDP feasibility and SDP optimization. In particular, based on a preliminary computational result, we can efficiently solve SDP relaxation of it binary quadratic feasibility via the Triangle Algorithm. This finds application in solving SDP relaxation of MAX CUT. We also show in the case of testing the feasibility of a system of convex quadratic inequalities, the problem is reducible to a corresponding CHR, where the worst case complexity of each iteration via the Triangle Algorithm is solving a it trust region subproblem . Gaining from these results, we discuss potential extension of CHR and the Triangle Algorithm to solving general system of polynomial equations.


EPW sextics associated to K3 surfaces. We give necessary and sufficient conditions for a langle 10 rangle polarized Brill Noether general K3 surface to be associated to a double EPW sextic which is a hyperk "ahler manifold. As a consequence, we induce a symplectic automorphism of order 2 , 3 or 5 on a family of hyperk "ahler double EPW sextics. We study the rational map which sends a langle 10 rangle polarized Brill Noether general K3 surface to the associated langle 2 rangle polarized double EPW sextic. For each of these K3 surfaces, we describe the automorphisms of the associated EPW sextic in terms of the action on the conics of the K3 surface. We provide some bounds for the automorphisms of Gushel Mukai varieties in any dimension and the associated EPW sextics.


Common Artist Music Assistance. In today's world of growing number of songs, the need of finding apposite music content according to a user's interest is crucial. Furthermore, recommendations suitable to one user may be irrelevant to another. In this paper, we propose a recommendation system for users with common artist music listening patterns. We use "random walk with restart" algorithm to get relevant recommendations and conduct experiments to find the optimal values of multiple parameters.


Computing and Proving Well founded Orderings through Finite Abstractions. A common technique for checking properties of complex state machines is to build a finite abstraction then check the property on the abstract system where a passing check on the abstract system is only transferred to the original system if the abstraction is proven to be representative. This approach does require the derivation or definition of the finite abstraction, but can avoid the need for complex invariant definition. For our work in checking progress of memory transactions in microprocessors, we need to prove that transactions in complex state machines always make progress to completion. As a part of this effort, we developed a process for computing a finite abstract graph of the target state machine along with annotations on whether certain measures decrease or not on arcs in the abstract graph. We then iteratively divide the abstract graph by splitting into strongly connected components and then building a measure for every node in the abstract graph which is ensured to be reducing on every transition of the original system guaranteeing progress. For finite state target systems (e.g. hardware designs), we present approaches for extracting the abstract graph efficiently using incremental SAT through GL and then the application of our process to check for progress. We present an implementation of the Bakery algorithm as an example application.


Using Punkt for Sentence Segmentation in non Latin Scripts Experiments on Kurdish (Sorani) Texts. Segmentation is a fundamental step for most Natural Language Processing tasks. The Kurdish language is a multi dialect, under resourced language which is written in different scripts. The lack of various segmented corpora is one of the major bottlenecks in Kurdish language processing. We used Punkt, an unsupervised machine learning method, to segment a Kurdish corpus of Sorani dialect, written in Persian Arabic script. According to the literature, studies on using Punkt on non Latin data are scanty. In our experiment, we achieved an F1 score of 91.10 and had an Error Rate of 16.32 . The high Error Rate is mainly due to the situation of abbreviations in Kurdish and partly because of ordinal numerals. The data is publicly available at https github.com KurdishBLARK KTC Segmented for non commercial use under the CC BY NC SA 4.0 licence.


Revisiting turbulence small scale behavior using velocity gradient triple decomposition. Turbulence small scale behavior has been commonly investigated in literature by decomposing the velocity gradient tensor ( A ij ) into the symmetric strain rate ( S ij ) and anti symmetric rotation rate ( W ij ) tensors. To develop further insight, we revisit some of the key studies using a triple decomposition of the velocity gradient tensor. The additive triple decomposition formally segregates the contributions of normal strain rate ( N ij ), pure shear ( H ij ) and rigid body rotation rate ( R ij ). The decomposition not only highlights the key role of shear, but it also provides a more accurate account of the influence of normal strain and pure rotation on important small scale features. First, the local streamline topology and geometry are described in terms of the three constituent tensors in velocity gradient invariants' space. Using DNS data sets of forced isotropic turbulence, the velocity gradient and pressure field fluctuations are examined at different Reynolds numbers. At all Reynolds numbers, shear contributes the most and rigid body rotation the least toward the velocity gradient magnitude ( A 2 ). Especially, shear contribution is dominant in regions of intermittency (high values of A 2 ). It is also shown that the high degree of enstrophy intermittency reported in literature is due to the shear contribution toward vorticity rather than that of rigid body rotation. The study also provides an explanation for the absence of intermittency of the pressure Laplacian, despite the strong intermittency of enstrophy and dissipation fields. Overall, it is demonstrated that triple decomposition offers unique and deeper understanding of velocity gradient behavior in turbulence.


On weak strong uniqueness and singular limit for the compressible Primitive Equations. This paper addresses the weak strong uniqueness property and singular limit for the compressible Primitive Equations (PE). We show that a weak solution coincides with the strong solution emanating from the same initial data. On the other hand, we prove compressible PE will approach the incompressible inviscid PE equations in the regime of low Mach number and large Reynolds number in the case of well prepared initial data. To the best of the authors' knowledge, this is the first work to bridge the link between the compressible PE with incompressible inviscid PE.


Fusion supervised Deep Cross modal Hashing. Deep hashing has recently received attention in cross modal retrieval for its impressive advantages. However, existing hashing methods for cross modal retrieval cannot fully capture the heterogeneous multi modal correlation and exploit the semantic information. In this paper, we propose a novel emph Fusion supervised Deep Cross modal Hashing (FDCH) approach. Firstly, FDCH learns unified binary codes through a fusion hash network with paired samples as input, which effectively enhances the modeling of the correlation of heterogeneous multi modal data. Then, these high quality unified hash codes further supervise the training of the modality specific hash networks for encoding out of sample queries. Meanwhile, both pair wise similarity information and classification information are embedded in the hash networks under one stream framework, which simultaneously preserves cross modal similarity and keeps semantic consistency. Experimental results on two benchmark datasets demonstrate the state of the art performance of FDCH.


Better Robustness by More Coverage Adversarial Training with Mixup Augmentation for Robust Fine tuning. Pretrained language models (PLMs) perform poorly under adversarial attacks. To improve the adversarial robustness, adversarial data augmentation (ADA) has been widely adopted to cover more search space of adversarial attacks by adding textual adversarial examples during training. However, the number of adversarial examples for text augmentation is still extremely insufficient due to the exponentially large attack search space. In this work, we propose a simple and effective method to cover a much larger proportion of the attack search space, called Adversarial and Mixup Data Augmentation (AMDA). Specifically, AMDA linearly interpolates the representations of pairs of training samples to form new virtual samples, which are more abundant and diverse than the discrete text adversarial examples in conventional ADA. Moreover, to fairly evaluate the robustness of different models, we adopt a challenging evaluation setup, which generates a new set of adversarial examples targeting each model. In text classification experiments of BERT and RoBERTa, AMDA achieves significant robustness gains under two strong adversarial attacks and alleviates the performance degradation of ADA on the clean data. Our code is available at https github.com thunlp MixADA .


Joint Device Edge Inference over Wireless Links with Pruning. We propose a joint feature compression and transmission scheme for efficient inference at the wireless network edge. Our goal is to enable efficient and reliable inference at the edge server assuming limited computational resources at the edge device. Previous work focused mainly on feature compression, ignoring the computational cost of channel coding. We incorporate the recently proposed deep joint source channel coding (DeepJSCC) scheme, and combine it with novel filter pruning strategies aimed at reducing the redundant complexity from neural networks. We evaluate our approach on a classification task, and show improved results in both end to end reliability and workload reduction at the edge device. This is the first work that combines DeepJSCC with network pruning, and applies it to image classification over the wireless edge.


Topological fields with a generic derivation. We study a class of tame mathcal L theories T of topological fields and their mathcal L delta extension T delta by a generic derivation delta . The topological fields under consideration include henselian valued fields of characteristic 0 and real closed fields. We show that the associated expansion by a generic derivation has mathcal L open core (i.e., every mathcal L delta definable open set is mathcal L definable) and derive both a cell decomposition theorem and a transfer result of elimination of imaginaries. Other tame properties of T such as relative elimination of field sort quantifiers, NIP and distality also transfer to T delta . As an application, we derive consequences for the corresponding theories of dense pairs. In particular, we show that the theory of pairs of real closed fields (resp. of p adically closed fields and real closed valued fields) admits a distal expansion. This gives a partial answer to a question of P. Simon.


DeepTIO A Deep Thermal Inertial Odometry with Visual Hallucination. Visual odometry shows excellent performance in a wide range of environments. However, in visually denied scenarios (e.g. heavy smoke or darkness), pose estimates degrade or even fail. Thermal cameras are commonly used for perception and inspection when the environment has low visibility. However, their use in odometry estimation is hampered by the lack of robust visual features. In part, this is as a result of the sensor measuring the ambient temperature profile rather than scene appearance and geometry. To overcome this issue, we propose a Deep Neural Network model for thermal inertial odometry (DeepTIO) by incorporating a visual hallucination network to provide the thermal network with complementary information. The hallucination network is taught to predict fake visual features from thermal images by using Huber loss. We also employ selective fusion to attentively fuse the features from three different modalities, i.e thermal, hallucination, and inertial features. Extensive experiments are performed in hand held and mobile robot data in benign and smoke filled environments, showing the efficacy of the proposed model.


Incentives to Invite Others to Form Larger Coalitions. We study a cooperative game setting where the grand coalition may change since the initial players can invite more players. We focus on monotone games, i.e., adding more players to the grand coalition is not harmful. We model the invitation relationship as a directed acyclic graph. Our goal is to design a reward distribution mechanism for this new cooperative game setting such that players are incentivized to invite new players. In this paper, we propose the weighted permission Shapley value (inspired by permission structure and the weighted Shapley value) to achieve the goal. Our solution offers the very first attempt to incentivize players to invite more players to form a larger coalition via their private invitations in cooperative settings.


Stereotypical Bias Removal for Hate Speech Detection Task using Knowledge based Generalizations. With the ever increasing cases of hate spread on social media platforms, it is critical to design abuse detection mechanisms to proactively avoid and control such incidents. While there exist methods for hate speech detection, they stereotype words and hence suffer from inherently biased training. Bias removal has been traditionally studied for structured datasets, but we aim at bias mitigation from unstructured text data. In this paper, we make two important contributions. First, we systematically design methods to quantify the bias for any model and propose algorithms for identifying the set of words which the model stereotypes. Second, we propose novel methods leveraging knowledge based generalizations for bias free learning. Knowledge based generalization provides an effective way to encode knowledge because the abstraction they provide not only generalizes content but also facilitates retraction of information from the hate speech detection classifier, thereby reducing the imbalance. We experiment with multiple knowledge generalization policies and analyze their effect on general performance and in mitigating bias. Our experiments with two real world datasets, a Wikipedia Talk Pages dataset (WikiDetox) of size 96k and a Twitter dataset of size 24k, show that the use of knowledge based generalizations results in better performance by forcing the classifier to learn from generalized content. Our methods utilize existing knowledge bases and can easily be extended to other tasks


q-bio.MN physics.bio-ph physics.chem-ph q-bio.BM

Transients generate memory and break hyperbolicity in stochastic enzymatic networks. The hyperbolic dependence of catalytic rate on substrate concentration is a classical result in enzyme kinetics, quantified by the celebrated Michaelis Menten equation. The ubiquity of this relation in diverse chemical and biological contexts has recently been rationalized by a graph theoretic analysis of deterministic reaction networks. Experiments, however, have revealed that "molecular noise" intrinsic stochasticity at the molecular scale leads to significant deviations from classical results and to unexpected effects like "molecular memory", i.e., the breakdown of statistical independence between turnover events. Here we show, through a new method of analysis, that memory and non hyperbolicity have a common source in an initial, and observably long, transient peculiar to stochastic reaction networks of multiple enzymes. Networks of single enzymes do not admit such transients. The transient yields, asymptotically, to a steady state in which memory vanishes and hyperbolicity is recovered. We propose new statistical measures, defined in terms of turnover times, to distinguish between the transient and steady states and apply these to experimental data from a landmark experiment that first observed molecular memory in a single enzyme with multiple binding sites. Our study shows that catalysis at the molecular level with more than one enzyme always contains a non classical regime and provides insight on how the classical limit is attained.


On the radical of a Hecke Kiselman algebra. The Hecke Kiselman algebra of a finite oriented graph Theta over a field K is studied. If Theta is an oriented cycle, it is shown that the algebra is semiprime and its central localization is a finite direct product of matrix algebras over the field of rational functions K(x) . More generally, the radical is described in the case of PI algebras, and it is shown that it comes from an explicitly described congruence on the underlying Hecke Kiselman monoid. Moreover, the algebra modulo the radical is again a Hecke Kiselman algebra and it is a finite module over its center.


Unramified F divided objects and the 'etale fundamental pro groupoid in positive characteristic. Fix a scheme S of characteristic p . Let mathscr M be an S algebraic stack and let mbox Fdiv ( mathscr M ) be the stack of mbox F divided objects, that is sequences of objects x i in mathscr M with isomorphisms sigma i x i to mbox F x i 1 . Let mathscr X be a flat, finitely presented S algebraic stack and mathscr X to Pi 1( mathscr X S) the 'etale fundamental pro groupoid, constructed in the present text. We prove that if mathscr M is a quasi separated Deligne Mumford stack and mathscr X to S has geometrically reduced fibres, there is a bifunctorial isomorphism of stacks mathscr H !om( Pi 1( mathscr X S), mathscr M ) simeq mathscr H !om( mathscr X , mbox Fdiv ( mathscr M )). In particular, the system of relative Frobenius morphisms mathscr X to mathscr X p S to mathscr X p 2 S to dots allows to recover the space of connected components pi 0( mathscr X S) and the relative 'etale fundamental gerbe. In order to obtain these results, we study the existence and properties of relative perfection for algebras in characteristic p .


Polarized Low Density Parity Check Codes on the BSC. The connections between variable nodes and check nodes have a great influence on the performance of low density parity check (LDPC) codes. Inspired by the unique structure of polar code's generator matrix, we proposed a new method of constructing LDPC codes that achieves a polarization effect. The new code, named as polarized LDPC codes, is shown to achieve lower or no error floor in the binary symmetric channel (BSC)


On Warped Product Gradient Ricci Harmonic Soliton. In this paper we study gradient Ricci Harmonic soliton with structure of warped product manifold. We obtain some triviality results for the potential function, warping function and the harmonic map which reaches maximum or minimum. In order to obtain nontrivial examples of warped product gradient Ricci harmonic soliton, we consider the base and fiber conformal to a semi Euclidean space which is invariant under the action of a translation group of co dimension one. This approach provide infinitely many geodesically complete examples in the semi Riemannian context, which is not contemplated in the Riemannian case by the Theorem 1.2 in 17 .


Degree and height estimates for modular equations on PEL Shimura varieties. We define modular equations in the setting of PEL Shimura varieties as equations describing Hecke correspondences, and prove upper bounds on their degrees and heights. This extends known results about elliptic modular polynomials, and implies complexity bounds for number theoretic algorithms using these modular equations. In particular, we obtain tight degree bounds for modular equations of Siegel and Hilbert type for abelian surfaces.


On inverse problems modeled by PDE's. We investigate the iterative methods proposed by Maz'ya and Kozlov (see 3 , 4 ) for solving ill posed reconstruction problems modeled by PDE's. We consider linear time dependent problems of elliptic, hyperbolic and parabolic types. Each iteration of the analyzed methods consists on the solution of a well posed boundary (or initial) value problem. The iterations are described as powers of affine operators, as in 4 . We give alternative convergence proofs for the algorithms, using spectral theory and some functional analytical results (see 5 , 6 ).


Derived Langlands VI Monomial resolutions and 2 variable L functions. In this brief essay a construction of the 2 variable L function of Langlands is sketched in terms of monomial resolutions of admissible representations of reductive locally p adic Lie groups.


Network Design for Social Welfare. In this paper, we consider the problem of network design on network games. We study the conditions on the adjacency matrix of the underlying network to design a game such that the Nash equilibrium coincides with the social optimum. We provide the examples for linear quadratic games that satisfy this condition. Furthermore, we identify conditions on properties of adjacency matrix that provide a unique solution using variational inequality formulation, and verify the robustness and continuity of the social cost under perturbations of the network. Finally we comment on individual rationality and extension of our results to large random networked games.


Equivariant Dimensions of Graph C algebras. We explore the recently introduced local triviality dimensions by studying gauge actions on graph C algebras, as well as the restrictions of the gauge action to finite cyclic subgroups. For C algebras of finite acyclic graphs and finite cycles, we characterize the finiteness of these dimensions, and we further study the gauge actions on many examples of graph C algebras. These include the Toeplitz algebra, Cuntz algebras, and q deformed spheres.


FreeDOM A Transferable Neural Architecture for Structured Information Extraction on Web Documents. Extracting structured data from HTML documents is a long studied problem with a broad range of applications like augmenting knowledge bases, supporting faceted search, and providing domain specific experiences for key verticals like shopping and movies. Previous approaches have either required a small number of examples for each target site or relied on carefully handcrafted heuristics built over visual renderings of websites. In this paper, we present a novel two stage neural approach, named FreeDOM, which overcomes both these limitations. The first stage learns a representation for each DOM node in the page by combining both the text and markup information. The second stage captures longer range distance and semantic relatedness using a relational neural network. By combining these stages, FreeDOM is able to generalize to unseen sites after training on a small number of seed sites from that vertical without requiring expensive hand crafted features over visual renderings of the page. Through experiments on a public dataset with 8 different verticals, we show that FreeDOM beats the previous state of the art by nearly 3.7 F1 points on average without requiring features over rendered pages or expensive hand crafted features.


Rigidification of connective comodules. We show that we can rigidify homotopy coherent comodules in connective modules over the Eilenberg Mac Lane spectrum of a field, or more generally of a finite product of fields mathbb k . That is, the infty category of homotopy coherent comodules is represented by a model category of strict comodules in non negative chain complexes over mathbb k or in simplicial mathbb k modules. These comodules are over a discrete coalgebra that is strict and simply connected. The rigidification result allows us to derive the notion of cotensor product of comodules and endows the infty category of comodules with a symmetric monoidal structure. To prove these results, we introduce Postnikov towers of comodules that dualize the cellularity of combinatorial model categories.


Bi directional Domain Adaptation for Sim2Real Transfer of Embodied Navigation Agents. Deep reinforcement learning models are notoriously data hungry, yet real world data is expensive and time consuming to obtain. The solution that many have turned to is to use simulation for training before deploying the robot in a real environment. Simulation offers the ability to train large numbers of robots in parallel, and offers an abundance of data. However, no simulation is perfect, and robots trained solely in simulation fail to generalize to the real world, resulting in a "sim vs real gap". How can we overcome the trade off between the abundance of less accurate, artificial data from simulators and the scarcity of reliable, real world data? In this paper, we propose Bi directional Domain Adaptation (BDA), a novel approach to bridge the sim vs real gap in both directions real2sim to bridge the visual domain gap, and sim2real to bridge the dynamics domain gap. We demonstrate the benefits of BDA on the task of PointGoal Navigation. BDA with only 5k real world (state, action, next state) samples matches the performance of a policy fine tuned with 600k samples, resulting in a speed up of 120x.